llvm/test/CodeGen/Generic/2003-07-08-BadCastToBool.ll

   1 ; RUN: llc < %s
   2
   3 ;; Date:     Jul 8, 2003.
   4 ;; From:     test/Programs/MultiSource/Olden-perimeter
   5 ;; Function: int %adj(uint %d.1, uint %ct.1)
   6 ;;
   7 ;; Errors: (1) cast-int-to-bool was being treated as a NOP (i.e., the int
   8 ;;             register was treated as effectively true if non-zero).
   9 ;;             This cannot be used for later boolean operations.
  10 ;;         (2) (A or NOT(B)) was being folded into A orn B, which is ok
  11 ;;             for bitwise operations but not booleans!  For booleans,
  12 ;;             the result has to be compared with 0.
  13
  14 @.str_1 = internal constant [30 x i8] c"d = %d, ct = %d, d ^ ct = %d\0A\00"
  15
  16 declare i32 @printf(ptr, ...)
  17
  18 define i32 @adj(i32 %d.1, i32 %ct.1) {
  19 entry:
  20         %tmp.19 = icmp eq i32 %ct.1, 2          ; <i1> [#uses=1]
  21         %tmp.22.not = trunc i32 %ct.1 to i1              ; <i1> [#uses=1]
  22         %tmp.221 = xor i1 %tmp.22.not, true             ; <i1> [#uses=1]
  23         %tmp.26 = or i1 %tmp.19, %tmp.221               ; <i1> [#uses=1]
  24         %tmp.27 = zext i1 %tmp.26 to i32                ; <i32> [#uses=1]
  25         ret i32 %tmp.27
  26 }
  27
  28 define i32 @main() {
  29 entry:
  30         %result = call i32 @adj( i32 3, i32 2 )         ; <i32> [#uses=1]
  31         %tmp.0 = call i32 (ptr, ...) @printf( ptr @.str_1, i32 3, i32 2, i32 %result )              ; <i32> [#uses=0]
  32         ret i32 0
  33 }
  34