X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FTransforms%2FInstCombine%2F2008-07-10-CastSextBool.ll;fp=test%2FTransforms%2FInstCombine%2F2008-07-10-CastSextBool.ll;h=205e57d797384aa85cf9d46bdea9eb27747f6381;hb=85b5eb050572f787331cc6af573b7f72bd174d79;hp=f5efefb0a0be48c7895ce4878d9e51031ce5da1f;hpb=f299184565f5f0ff9e3bbb94dad184fd5a690c2c;p=oota-llvm.git

diff --git a/test/Transforms/InstCombine/2008-07-10-CastSextBool.ll b/test/Transforms/InstCombine/2008-07-10-CastSextBool.ll
index f5efefb0a0b..205e57d7973 100644
--- a/test/Transforms/InstCombine/2008-07-10-CastSextBool.ll
+++ b/test/Transforms/InstCombine/2008-07-10-CastSextBool.ll
@@ -1,8 +1,17 @@
 ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {%C = xor i1 %A, true}
+; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {ret i1 false}
 ; PR2539
 
-define i1 @test(i1 %A) {
+define i1 @test1(i1 %A) {
 	%B = zext i1 %A to i32
 	%C = icmp slt i32 %B, 1
 	ret i1 %C
 }
+
+
+define i1 @test2(i1 zeroext  %b) {
+entry:
+	%cmptmp = icmp slt i1 %b, true		; <i1> [#uses=1]
+	ret i1 %cmptmp
+}
+