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 | 799a08ae480c9c6cc30d856e94d29268ade29ee0 (patch) | |
| tree | b42b3a4399447e230c3aa063cbbfb51abef02c5a /llvm/test/Transforms/JumpThreading/basic.ll | |
| parent | cd4de7f39975b3e6abe0e27325dd7b8b3c15b6fc (diff) | |
| download | bcm5719-llvm-799a08ae480c9c6cc30d856e94d29268ade29ee0.tar.gz bcm5719-llvm-799a08ae480c9c6cc30d856e94d29268ade29ee0.zip | |
Add a test for the duplicated-conditional situation illutrated by PR5652.
llvm-svn: 112621
Diffstat (limited to 'llvm/test/Transforms/JumpThreading/basic.ll')
| -rw-r--r-- | llvm/test/Transforms/JumpThreading/basic.ll | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/llvm/test/Transforms/JumpThreading/basic.ll b/llvm/test/Transforms/JumpThreading/basic.ll index a2a5c1b3fe3..cd274e78c9f 100644 --- a/llvm/test/Transforms/JumpThreading/basic.ll +++ b/llvm/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: } +} + |
