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 5 define 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 12 define i1 @test2(i1 zeroext %b) { 13 entry: 14 %cmptmp = icmp slt i1 %b, true ; <i1> [#uses=1] 15 ret i1 %cmptmp 16 } 17 18
