diff options
| author | Chris Lattner <sabre@nondot.org> | 2009-11-07 08:05:03 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2009-11-07 08:05:03 +0000 |
| commit | 5729d38c81bc2e3b21a2bb7a80a8cde384fc7b7b (patch) | |
| tree | b65141b577e196b507417ee4c73f18d74ccf70c6 /test/Transforms/JumpThreading/basic.ll | |
| parent | e880efe446f731b73558542c12a6f980b8baa765 (diff) | |
| download | external_llvm-5729d38c81bc2e3b21a2bb7a80a8cde384fc7b7b.zip external_llvm-5729d38c81bc2e3b21a2bb7a80a8cde384fc7b7b.tar.gz external_llvm-5729d38c81bc2e3b21a2bb7a80a8cde384fc7b7b.tar.bz2 | |
reapply 86289, 86278, 86270, 86267, 86266 & 86264 plus a fix
(making pred factoring only happen if threading is guaranteed
to be successful).
This now survives an X86-64 bootstrap of llvm-gcc.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@86355 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/JumpThreading/basic.ll')
| -rw-r--r-- | test/Transforms/JumpThreading/basic.ll | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/test/Transforms/JumpThreading/basic.ll b/test/Transforms/JumpThreading/basic.ll index 3d936b8..7b444ad 100644 --- a/test/Transforms/JumpThreading/basic.ll +++ b/test/Transforms/JumpThreading/basic.ll @@ -170,5 +170,36 @@ BB4: } +;; This tests that the branch in 'merge' can be cloned up into T1. +;; rdar://7367025 +define i32 @test7(i1 %cond, i1 %cond2) { +Entry: +; CHECK: @test7 + %v1 = call i32 @f1() + br i1 %cond, label %Merge, label %F1 + +F1: + %v2 = call i32 @f2() + br label %Merge + +Merge: + %B = phi i32 [%v1, %Entry], [%v2, %F1] + %M = icmp ne i32 %B, %v1 + %N = icmp eq i32 %B, 47 + %O = and i1 %M, %N + br i1 %O, label %T2, label %F2 +; CHECK: Merge: +; CHECK-NOT: phi +; CHECK-NEXT: %v2 = call i32 @f2() + +T2: + call void @f3() + ret i32 %B + +F2: + ret i32 %B +; CHECK: F2: +; CHECK-NEXT: phi i32 +} |