From b95df124b26deae9221c05ea994464e4b5bc7f29 Mon Sep 17 00:00:00 2001 From: Owen Anderson Date: Tue, 31 Aug 2010 18:49:12 +0000 Subject: [PATCH] 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 --- test/Transforms/JumpThreading/basic.ll | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/test/Transforms/JumpThreading/basic.ll b/test/Transforms/JumpThreading/basic.ll index a2a5c1b3fe3..cd274e78c9f 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: } +} + -- 2.34.1