summaryrefslogtreecommitdiff
path: root/test/Transforms/InstCombine/2008-07-10-CastSextBool.ll
blob: e91153202519a06ea2917c6674d2850d0fcf8fdb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
; RUN: opt < %s -instcombine -S | grep {%C = xor i1 %A, true}
; RUN: opt < %s -instcombine -S | grep {ret i1 false}
; PR2539

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
}