2008-07-10-CastSextBool.ll 327 B

1234567891011121314151617
  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. define i1 @test1(i1 %A) {
  5. %B = zext i1 %A to i32
  6. %C = icmp slt i32 %B, 1
  7. ret i1 %C
  8. }
  9. define i1 @test2(i1 zeroext %b) {
  10. entry:
  11. %cmptmp = icmp slt i1 %b, true ; <i1> [#uses=1]
  12. ret i1 %cmptmp
  13. }