1; RUN: opt < %s -instcombine -S | grep "%C = xor i1 %A, true"
2; RUN: opt < %s -instcombine -S | grep "ret i1 false"
3; PR2539
4
5define i1 @test1(i1 %A) {
6	%B = zext i1 %A to i32
7	%C = icmp slt i32 %B, 1
8	ret i1 %C
9}
10
11
12define i1 @test2(i1 zeroext  %b) {
13entry:
14	%cmptmp = icmp slt i1 %b, true		; <i1> [#uses=1]
15	ret i1 %cmptmp
16}
17
18