diff options
author | Chris Lattner <sabre@nondot.org> | 2009-11-11 00:22:30 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2009-11-11 00:22:30 +0000 |
commit | 10f2d13d580da348ba9769864f02d0d5a862c1e0 (patch) | |
tree | d2bc48620d1f25d724e0b2b486975e622f4f93f1 /test/Transforms/JumpThreading/basic.ll | |
parent | b14b88a40ab12996c2982c4bc10fd35bb9a371d4 (diff) | |
download | llvm-10f2d13d580da348ba9769864f02d0d5a862c1e0.tar.gz llvm-10f2d13d580da348ba9769864f02d0d5a862c1e0.tar.bz2 llvm-10f2d13d580da348ba9769864f02d0d5a862c1e0.tar.xz |
Stub out a new lazy value info pass, which will eventually
vend value constraint information to the optimizer.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@86767 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/JumpThreading/basic.ll')
-rw-r--r-- | test/Transforms/JumpThreading/basic.ll | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/test/Transforms/JumpThreading/basic.ll b/test/Transforms/JumpThreading/basic.ll index c161a772f2..a2a9712754 100644 --- a/test/Transforms/JumpThreading/basic.ll +++ b/test/Transforms/JumpThreading/basic.ll @@ -284,3 +284,29 @@ F2: } + + +;;; Duplicate condition to avoid xor of cond. +define i32 @test10(i1 %cond, i1 %cond2) { +Entry: +; CHECK: @test10 + %v1 = call i32 @f1() + br i1 %cond, label %Merge, label %F1 + +F1: + br label %Merge + +Merge: + %B = phi i1 [true, %Entry], [%cond2, %F1] + %M = icmp eq i32 %v1, 192 + %N = xor i1 %B, %M + br i1 %N, label %T2, label %F2 + +T2: + ret i32 123 + +F2: + ret i32 %v1 +} + + |