test/Transforms/InstCombine/2008-07-10-CastSextBool.ll

   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