diff options
| author | Chris Lattner <sabre@nondot.org> | 2009-11-12 01:41:34 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2009-11-12 01:41:34 +0000 |
| commit | 87e9f59c7a823ba86d8aafa4e15ac03e6db244c3 (patch) | |
| tree | e83afecfd662d89dd8a570f1954de4aab4b6a6b5 /test/Transforms/JumpThreading | |
| parent | 1c96b4187be7589492dccf33e9fe7679ac61023d (diff) | |
| download | llvm-87e9f59c7a823ba86d8aafa4e15ac03e6db244c3.tar.gz llvm-87e9f59c7a823ba86d8aafa4e15ac03e6db244c3.tar.bz2 llvm-87e9f59c7a823ba86d8aafa4e15ac03e6db244c3.tar.xz | |
with the new code we can thread non-instruction values. This
allows us to handle the test10 testcase.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@86924 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/JumpThreading')
| -rw-r--r-- | test/Transforms/JumpThreading/basic.ll | 42 |
1 files changed, 40 insertions, 2 deletions
diff --git a/test/Transforms/JumpThreading/basic.ll b/test/Transforms/JumpThreading/basic.ll index 514c865f9c..4a1a2868ca 100644 --- a/test/Transforms/JumpThreading/basic.ll +++ b/test/Transforms/JumpThreading/basic.ll @@ -285,12 +285,50 @@ F2: +; CHECK: @test10 +declare i32 @test10f1() +declare i32 @test10f2() +declare void @test10f3() + +;; Non-local condition threading. +define i32 @test10(i1 %cond) { +; CHECK: @test10 +; CHECK-NEXT: br i1 %cond, label %T2, label %F2 + br i1 %cond, label %T1, label %F1 + +T1: + %v1 = call i32 @test10f1() + br label %Merge + +; CHECK: %v1 = call i32 @test10f1() +; CHECK-NEXT: call void @f3() +; CHeCK-NEXT: ret i32 %v1 + +F1: + %v2 = call i32 @test10f2() + br label %Merge + +Merge: + %B = phi i32 [%v1, %T1], [%v2, %F1] + br i1 %cond, label %T2, label %F2 + +T2: + call void @f3() + ret i32 %B + +F2: + ret i32 %B +} + + + + ;;; Duplicate condition to avoid xor of cond. ;;; TODO: Make this happen. -define i32 @test10(i1 %cond, i1 %cond2) { +define i32 @test11(i1 %cond, i1 %cond2) { Entry: -; CHECK: @test10 +; CHECK: @test11 %v1 = call i32 @f1() br i1 %cond, label %Merge, label %F1 |