test/Transforms/InstCombine/sitofp.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 ; CHECK-LABEL: test1
   4 ; CHECK: ret i1 true
   5 define i1 @test1(i8 %A) {
   6   %B = sitofp i8 %A to double
   7   %C = fcmp ult double %B, 128.0
   8   ret i1 %C
   9 }
  10
  11 ; CHECK-LABEL: test2
  12 ; CHECK: ret i1 true
  13 define i1 @test2(i8 %A) {
  14   %B = sitofp i8 %A to double
  15   %C = fcmp ugt double %B, -128.1
  16   ret i1 %C
  17 }
  18
  19 ; CHECK-LABEL: test3
  20 ; CHECK: ret i1 true
  21 define i1 @test3(i8 %A) {
  22   %B = sitofp i8 %A to double
  23   %C = fcmp ule double %B, 127.0
  24   ret i1 %C
  25 }
  26
  27 ; CHECK-LABEL: test4
  28 ; CHECK: icmp ne i8 %A, 127
  29 ; CHECK-NEXT: ret i1
  30 define i1 @test4(i8 %A) {
  31   %B = sitofp i8 %A to double
  32   %C = fcmp ult double %B, 127.0
  33   ret i1 %C
  34 }
  35
  36 ; CHECK-LABEL: test5
  37 ; CHECK: ret i32
  38 define i32 @test5(i32 %A) {
  39   %B = sitofp i32 %A to double
  40   %C = fptosi double %B to i32
  41   %D = uitofp i32 %C to double
  42   %E = fptoui double %D to i32
  43   ret i32 %E
  44 }
  45
  46 ; CHECK-LABEL: test6
  47 ; CHECK: and i32 %A, 39
  48 ; CHECK-NEXT: ret i32
  49 define i32 @test6(i32 %A) {
  50   %B = and i32 %A, 7
  51   %C = and i32 %A, 32
  52   %D = sitofp i32 %B to double
  53   %E = sitofp i32 %C to double
  54   %F = fadd double %D, %E
  55   %G = fptosi double %F to i32
  56   ret i32 %G
  57 }
  58
  59 ; CHECK-LABEL: test7
  60 ; CHECK: ret i32
  61 define i32 @test7(i32 %A) nounwind {
  62   %B = sitofp i32 %A to double
  63   %C = fptoui double %B to i32
  64   ret i32 %C
  65 }
  66
  67 ; CHECK-LABEL: test8
  68 ; CHECK: ret i32
  69 define i32 @test8(i32 %A) nounwind {
  70   %B = uitofp i32 %A to double
  71   %C = fptosi double %B to i32
  72   ret i32 %C
  73 }
  74
  75 ; CHECK-LABEL: test9
  76 ; CHECK: zext i8
  77 ; CHECK-NEXT: ret i32
  78 define i32 @test9(i8 %A) nounwind {
  79   %B = sitofp i8 %A to float
  80   %C = fptoui float %B to i32
  81   ret i32 %C
  82 }
  83
  84 ; CHECK-LABEL: test10
  85 ; CHECK: sext i8
  86 ; CHECK-NEXT: ret i32
  87 define i32 @test10(i8 %A) nounwind {
  88   %B = sitofp i8 %A to float
  89   %C = fptosi float %B to i32
  90   ret i32 %C
  91 }
  92
  93 ; If the input value is outside of the range of the output cast, it's
  94 ; undefined behavior, so we can assume it fits.
  95 ; CHECK-LABEL: test11
  96 ; CHECK: trunc
  97 ; CHECK-NEXT: ret i8
  98 define i8 @test11(i32 %A) nounwind {
  99   %B = sitofp i32 %A to float
 100   %C = fptosi float %B to i8
 101   ret i8 %C
 102 }
 103
 104 ; If the input value is negative, it'll be outside the range of the
 105 ; output cast, and thus undefined behavior.
 106 ; CHECK-LABEL: test12
 107 ; CHECK: zext i8
 108 ; CHECK-NEXT: ret i32
 109 define i32 @test12(i8 %A) nounwind {
 110   %B = sitofp i8 %A to float
 111   %C = fptoui float %B to i32
 112   ret i32 %C
 113 }
 114
 115 ; This can't fold because the 25-bit input doesn't fit in the mantissa.
 116 ; CHECK-LABEL: test13
 117 ; CHECK: uitofp
 118 ; CHECK-NEXT: fptoui
 119 define i32 @test13(i25 %A) nounwind {
 120   %B = uitofp i25 %A to float
 121   %C = fptoui float %B to i32
 122   ret i32 %C
 123 }
 124
 125 ; But this one can.
 126 ; CHECK-LABEL: test14
 127 ; CHECK: zext i24
 128 ; CHECK-NEXT: ret i32
 129 define i32 @test14(i24 %A) nounwind {
 130   %B = uitofp i24 %A to float
 131   %C = fptoui float %B to i32
 132   ret i32 %C
 133 }
 134
 135 ; And this one can too.
 136 ; CHECK-LABEL: test15
 137 ; CHECK: trunc i32
 138 ; CHECK-NEXT: ret i24
 139 define i24 @test15(i32 %A) nounwind {
 140   %B = uitofp i32 %A to float
 141   %C = fptoui float %B to i24
 142   ret i24 %C
 143 }
 144
 145 ; This can fold because the 25-bit input is signed and we disard the sign bit.
 146 ; CHECK-LABEL: test16
 147 ; CHECK: zext
 148 define i32 @test16(i25 %A) nounwind {
 149  %B = sitofp i25 %A to float
 150  %C = fptoui float %B to i32
 151  ret i32 %C
 152 }
 153
 154 ; This can't fold because the 26-bit input won't fit the mantissa
 155 ; even after disarding the signed bit.
 156 ; CHECK-LABEL: test17
 157 ; CHECK: sitofp
 158 ; CHECK-NEXT: fptoui
 159 define i32 @test17(i26 %A) nounwind {
 160  %B = sitofp i26 %A to float
 161  %C = fptoui float %B to i32
 162  ret i32 %C
 163 }
 164
 165 ; This can fold because the 54-bit output is signed and we disard the sign bit.
 166 ; CHECK-LABEL: test18
 167 ; CHECK: trunc
 168 define i54 @test18(i64 %A) nounwind {
 169  %B = sitofp i64 %A to double
 170  %C = fptosi double %B to i54
 171  ret i54 %C
 172 }
 173
 174 ; This can't fold because the 55-bit output won't fit the mantissa
 175 ; even after disarding the sign bit.
 176 ; CHECK-LABEL: test19
 177 ; CHECK: sitofp
 178 ; CHECK-NEXT: fptosi
 179 define i55 @test19(i64 %A) nounwind {
 180  %B = sitofp i64 %A to double
 181  %C = fptosi double %B to i55
 182  ret i55 %C
 183 }
 184