diff options
| author | Daniel Berlin <dberlin@dberlin.org> | 2017-02-12 23:24:47 +0000 |
|---|---|---|
| committer | Daniel Berlin <dberlin@dberlin.org> | 2017-02-12 23:24:47 +0000 |
| commit | 2ef385d0198b9f1636c6c3fe1f6058d4a9ec9e03 (patch) | |
| tree | 65122fcb7b28c1482a1098c5de5c5b83ef2aaaaf /llvm | |
| parent | 4d54796f87a803b54228eb128c4ac641a37d1e8a (diff) | |
| download | bcm5719-llvm-2ef385d0198b9f1636c6c3fe1f6058d4a9ec9e03.tar.gz bcm5719-llvm-2ef385d0198b9f1636c6c3fe1f6058d4a9ec9e03.zip | |
NewGVN: We really pass TBAA if we enable DCE and fix the test. Note that GVN eliminates no-use readonly/readnone calls, even if they are not marked nounwind. NewGVN only eliminates them if they are marked nounwind, and thus, trivially dead.
llvm-svn: 294927
Diffstat (limited to 'llvm')
| -rw-r--r-- | llvm/test/Transforms/NewGVN/tbaa.ll | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/llvm/test/Transforms/NewGVN/tbaa.ll b/llvm/test/Transforms/NewGVN/tbaa.ll index 47e20fae7f9..f13f4631073 100644 --- a/llvm/test/Transforms/NewGVN/tbaa.ll +++ b/llvm/test/Transforms/NewGVN/tbaa.ll @@ -1,5 +1,7 @@ -; XFAIL: * -; RUN: opt -tbaa -basicaa -newgvn -S < %s | FileCheck %s +; NewGVN lets DCE take care of the dead code +; Some of it is gotten, some of it is not, because NewGVN does +; not attempt to spend large amounts of time doing DCE +; RUN: opt -tbaa -basicaa -newgvn -dce -S < %s | FileCheck %s define i32 @test1(i8* %p, i8* %q) { ; CHECK: @test1(i8* %p, i8* %q) @@ -104,7 +106,7 @@ define i32 @test9(i32* %p, i32* %q) { declare void @clobber() -declare i32 @foo(i8*) readonly +declare i32 @foo(i8*) readonly nounwind ; CHECK: [[TAGC]] = !{[[TYPEC:!.*]], [[TYPEC]], i64 0} ; CHECK: [[TYPEC]] = !{!"C", [[TYPEA:!.*]]} |
