diff options
Diffstat (limited to 'llvm/test/Transforms/GVN/condprop.ll')
| -rw-r--r-- | llvm/test/Transforms/GVN/condprop.ll | 42 |
1 files changed, 33 insertions, 9 deletions
diff --git a/llvm/test/Transforms/GVN/condprop.ll b/llvm/test/Transforms/GVN/condprop.ll index b0728565f38..705490b67ff 100644 --- a/llvm/test/Transforms/GVN/condprop.ll +++ b/llvm/test/Transforms/GVN/condprop.ll @@ -2,8 +2,8 @@ @a = external global i32 ; <i32*> [#uses=7] -; CHECK: @foo -define i32 @foo() nounwind { +; CHECK: @test1 +define i32 @test1() nounwind { entry: %0 = load i32* @a, align 4 %1 = icmp eq i32 %0, 4 @@ -54,22 +54,46 @@ return: ; preds = %bb8 ret i32 %.0 } -declare void @ext(i1) +declare void @foo(i1) -; CHECK: @bar -define void @bar(i1 %x, i1 %y) { +; CHECK: @test2 +define void @test2(i1 %x, i1 %y) { %z = or i1 %x, %y br i1 %z, label %true, label %false true: ; CHECK: true: %z2 = or i1 %x, %y - call void @ext(i1 %z2) -; CHECK: call void @ext(i1 true) + call void @foo(i1 %z2) +; CHECK: call void @foo(i1 true) br label %true false: ; CHECK: false: %z3 = or i1 %x, %y - call void @ext(i1 %z3) -; CHECK: call void @ext(i1 false) + call void @foo(i1 %z3) +; CHECK: call void @foo(i1 false) br label %false } + +declare void @bar(i32) + +; CHECK: @test3 +define void @test3(i32 %x, i32 %y) { + %xz = icmp eq i32 %x, 0 + %yz = icmp eq i32 %y, 0 + %z = and i1 %xz, %yz + br i1 %z, label %both_zero, label %nope +both_zero: + call void @foo(i1 %xz) +; CHECK: call void @foo(i1 true) + call void @foo(i1 %yz) +; CHECK: call void @foo(i1 true) + call void @bar(i32 %x) +; CHECK: call void @bar(i32 0) + call void @bar(i32 %y) +; CHECK: call void @bar(i32 0) + ret void +nope: + call void @foo(i1 %z) +; CHECK: call void @foo(i1 false) + ret void +} |
