diff options
| author | Owen Anderson <resistor@mac.com> | 2010-08-31 18:49:12 +0000 |
|---|---|---|
| committer | Owen Anderson <resistor@mac.com> | 2010-08-31 18:49:12 +0000 |
| commit | b95df124b26deae9221c05ea994464e4b5bc7f29 (patch) | |
| tree | 07e15e157fd6be1467b70881c914bacd927b43d8 /test/Transforms | |
| parent | c1bdac66fff1e65aba02ec853cc0693dcc967f33 (diff) | |
| download | external_llvm-b95df124b26deae9221c05ea994464e4b5bc7f29.zip external_llvm-b95df124b26deae9221c05ea994464e4b5bc7f29.tar.gz external_llvm-b95df124b26deae9221c05ea994464e4b5bc7f29.tar.bz2 | |
Add a test for the duplicated-conditional situation illutrated by PR5652.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112621 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms')
| -rw-r--r-- | test/Transforms/JumpThreading/basic.ll | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/test/Transforms/JumpThreading/basic.ll b/test/Transforms/JumpThreading/basic.ll index a2a5c1b..cd274e7 100644 --- a/test/Transforms/JumpThreading/basic.ll +++ b/test/Transforms/JumpThreading/basic.ll @@ -452,3 +452,27 @@ right_ret: ret i32 1 } +; PR5652 +; CHECK: @test15 +define i32 @test15(i32 %len) { +entry: +; CHECK: icmp ult i32 %len, 13 + %tmp = icmp ult i32 %len, 13 + br i1 %tmp, label %check, label %exit0 + +exit0: + ret i32 0 + +check: + %tmp9 = icmp ult i32 %len, 21 + br i1 %tmp9, label %exit1, label %exit2 + +exit2: +; CHECK-NOT: ret i32 2 + ret i32 2 + +exit1: + ret i32 1 +; CHECK: } +} + |