diff options
Diffstat (limited to 'llvm/test/Transforms/NewGVN/2010-11-13-Simplify.ll')
| -rw-r--r-- | llvm/test/Transforms/NewGVN/2010-11-13-Simplify.ll | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/llvm/test/Transforms/NewGVN/2010-11-13-Simplify.ll b/llvm/test/Transforms/NewGVN/2010-11-13-Simplify.ll new file mode 100644 index 00000000000..635c4b801b4 --- /dev/null +++ b/llvm/test/Transforms/NewGVN/2010-11-13-Simplify.ll @@ -0,0 +1,15 @@ +; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s + +declare i32 @foo(i32) readnone + +define i1 @bar() { +; CHECK-LABEL: @bar( + %a = call i32 @foo (i32 0) readnone + %b = call i32 @foo (i32 0) readnone + %c = and i32 %a, %b + %x = call i32 @foo (i32 %a) readnone + %y = call i32 @foo (i32 %c) readnone + %z = icmp eq i32 %x, %y + ret i1 %z +; CHECK: ret i1 true +} |
