diff options
| author | Owen Anderson <resistor@mac.com> | 2010-08-27 17:12:29 +0000 |
|---|---|---|
| committer | Owen Anderson <resistor@mac.com> | 2010-08-27 17:12:29 +0000 |
| commit | 660cab32fe5105bcaa17daa4704c24065ac0a7e6 (patch) | |
| tree | 0fb70ca06ea4d8d01b26f861c227238e53ebbd64 /test/Transforms/JumpThreading/basic.ll | |
| parent | 67ef74e0e5863e32e4d581d5e197bf00cccddd01 (diff) | |
Use LVI to eliminate conditional branches where we've tested a related condition previously. Update tests for this change.
This fixes PR5652.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112270 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/JumpThreading/basic.ll')
| -rw-r--r-- | test/Transforms/JumpThreading/basic.ll | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/test/Transforms/JumpThreading/basic.ll b/test/Transforms/JumpThreading/basic.ll index 503d301892..ab1ab73f4e 100644 --- a/test/Transforms/JumpThreading/basic.ll +++ b/test/Transforms/JumpThreading/basic.ll @@ -147,11 +147,17 @@ define i32 @test6(i32 %A) { ; CHECK: @test6 %tmp455 = icmp eq i32 %A, 42 br i1 %tmp455, label %BB1, label %BB2 - -BB2: + +; CHECK: call i32 @f2() +; CHECK-NEXT: ret i32 3 + ; CHECK: call i32 @f1() -; CHECK-NEXT: call void @f3() -; CHECK-NEXT: ret i32 4 +; CHECK-NOT: br +; CHECK: call void @f3() +; CHECK-NOT: br +; CHECK: ret i32 4 + +BB2: call i32 @f1() br label %BB1 |