llvm/test/Transforms/InstCombine/sitofp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   3
   4 define i1 @test1(i8 %A) {
   5 ; CHECK-LABEL: @test1(
   6 ; CHECK-NEXT:    ret i1 true
   7 ;
   8   %B = sitofp i8 %A to double
   9   %C = fcmp ult double %B, 128.0
  10   ret i1 %C
  11 }
  12
  13 define i1 @test2(i8 %A) {
  14 ; CHECK-LABEL: @test2(
  15 ; CHECK-NEXT:    ret i1 true
  16 ;
  17   %B = sitofp i8 %A to double
  18   %C = fcmp ugt double %B, -128.1
  19   ret i1 %C
  20 }
  21
  22 define i1 @test3(i8 %A) {
  23 ; CHECK-LABEL: @test3(
  24 ; CHECK-NEXT:    ret i1 true
  25 ;
  26   %B = sitofp i8 %A to double
  27   %C = fcmp ule double %B, 127.0
  28   ret i1 %C
  29 }
  30
  31 define i1 @test4(i8 %A) {
  32 ; CHECK-LABEL: @test4(
  33 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i8 [[A:%.*]], 127
  34 ; CHECK-NEXT:    ret i1 [[C]]
  35 ;
  36   %B = sitofp i8 %A to double
  37   %C = fcmp ult double %B, 127.0
  38   ret i1 %C
  39 }
  40
  41 define i32 @test5(i32 %A) {
  42 ; CHECK-LABEL: @test5(
  43 ; CHECK-NEXT:    ret i32 [[A:%.*]]
  44 ;
  45   %B = sitofp i32 %A to double
  46   %C = fptosi double %B to i32
  47   %D = uitofp i32 %C to double
  48   %E = fptoui double %D to i32
  49   ret i32 %E
  50 }
  51
  52 define i32 @test6(i32 %A) {
  53 ; CHECK-LABEL: @test6(
  54 ; CHECK-NEXT:    [[ADDCONV:%.*]] = and i32 [[A:%.*]], 39
  55 ; CHECK-NEXT:    ret i32 [[ADDCONV]]
  56 ;
  57   %B = and i32 %A, 7
  58   %C = and i32 %A, 32
  59   %D = sitofp i32 %B to double
  60   %E = sitofp i32 %C to double
  61   %F = fadd double %D, %E
  62   %G = fptosi double %F to i32
  63   ret i32 %G
  64 }
  65
  66 define i32 @test7(i32 %A) {
  67 ; CHECK-LABEL: @test7(
  68 ; CHECK-NEXT:    ret i32 [[A:%.*]]
  69 ;
  70   %B = sitofp i32 %A to double
  71   %C = fptoui double %B to i32
  72   ret i32 %C
  73 }
  74
  75 define i32 @test8(i32 %A) {
  76 ; CHECK-LABEL: @test8(
  77 ; CHECK-NEXT:    ret i32 [[A:%.*]]
  78 ;
  79   %B = uitofp i32 %A to double
  80   %C = fptosi double %B to i32
  81   ret i32 %C
  82 }
  83
  84 define i32 @test9(i8 %A) {
  85 ; CHECK-LABEL: @test9(
  86 ; CHECK-NEXT:    [[C:%.*]] = zext i8 [[A:%.*]] to i32
  87 ; CHECK-NEXT:    ret i32 [[C]]
  88 ;
  89   %B = sitofp i8 %A to float
  90   %C = fptoui float %B to i32
  91   ret i32 %C
  92 }
  93
  94 define i32 @test10(i8 %A) {
  95 ; CHECK-LABEL: @test10(
  96 ; CHECK-NEXT:    [[C:%.*]] = sext i8 [[A:%.*]] to i32
  97 ; CHECK-NEXT:    ret i32 [[C]]
  98 ;
  99   %B = sitofp i8 %A to float
 100   %C = fptosi float %B to i32
 101   ret i32 %C
 102 }
 103
 104 ; If the input value is outside of the range of the output cast, it's
 105 ; undefined behavior, so we can assume it fits.
 106
 107 define i8 @test11(i32 %A) {
 108 ; CHECK-LABEL: @test11(
 109 ; CHECK-NEXT:    [[C:%.*]] = trunc i32 [[A:%.*]] to i8
 110 ; CHECK-NEXT:    ret i8 [[C]]
 111 ;
 112   %B = sitofp i32 %A to float
 113   %C = fptosi float %B to i8
 114   ret i8 %C
 115 }
 116
 117 ; If the input value is negative, it'll be outside the range of the
 118 ; output cast, and thus undefined behavior.
 119
 120 define i32 @test12(i8 %A) {
 121 ; CHECK-LABEL: @test12(
 122 ; CHECK-NEXT:    [[C:%.*]] = zext i8 [[A:%.*]] to i32
 123 ; CHECK-NEXT:    ret i32 [[C]]
 124 ;
 125   %B = sitofp i8 %A to float
 126   %C = fptoui float %B to i32
 127   ret i32 %C
 128 }
 129
 130 ; This can't fold because the 25-bit input doesn't fit in the mantissa.
 131
 132 define i32 @test13(i25 %A) {
 133 ; CHECK-LABEL: @test13(
 134 ; CHECK-NEXT:    [[B:%.*]] = uitofp i25 [[A:%.*]] to float
 135 ; CHECK-NEXT:    [[C:%.*]] = fptoui float [[B]] to i32
 136 ; CHECK-NEXT:    ret i32 [[C]]
 137 ;
 138   %B = uitofp i25 %A to float
 139   %C = fptoui float %B to i32
 140   ret i32 %C
 141 }
 142
 143 ; But this one can.
 144
 145 define i32 @test14(i24 %A) {
 146 ; CHECK-LABEL: @test14(
 147 ; CHECK-NEXT:    [[C:%.*]] = zext i24 [[A:%.*]] to i32
 148 ; CHECK-NEXT:    ret i32 [[C]]
 149 ;
 150   %B = uitofp i24 %A to float
 151   %C = fptoui float %B to i32
 152   ret i32 %C
 153 }
 154
 155 ; And this one can too.
 156
 157 define i24 @test15(i32 %A) {
 158 ; CHECK-LABEL: @test15(
 159 ; CHECK-NEXT:    [[C:%.*]] = trunc i32 [[A:%.*]] to i24
 160 ; CHECK-NEXT:    ret i24 [[C]]
 161 ;
 162   %B = uitofp i32 %A to float
 163   %C = fptoui float %B to i24
 164   ret i24 %C
 165 }
 166
 167 ; This can fold because the 25-bit input is signed and we discard the sign bit.
 168
 169 define i32 @test16(i25 %A) {
 170 ; CHECK-LABEL: @test16(
 171 ; CHECK-NEXT:    [[C:%.*]] = zext i25 [[A:%.*]] to i32
 172 ; CHECK-NEXT:    ret i32 [[C]]
 173 ;
 174   %B = sitofp i25 %A to float
 175   %C = fptoui float %B to i32
 176   ret i32 %C
 177 }
 178
 179 ; This can't fold because the 26-bit input won't fit the mantissa
 180 ; even after discarding the signed bit.
 181
 182 define i32 @test17(i26 %A) {
 183 ; CHECK-LABEL: @test17(
 184 ; CHECK-NEXT:    [[B:%.*]] = sitofp i26 [[A:%.*]] to float
 185 ; CHECK-NEXT:    [[C:%.*]] = fptoui float [[B]] to i32
 186 ; CHECK-NEXT:    ret i32 [[C]]
 187 ;
 188   %B = sitofp i26 %A to float
 189   %C = fptoui float %B to i32
 190   ret i32 %C
 191 }
 192
 193 ; This can't fold because the 54-bit output is big enough to hold an input
 194 ; that was rounded when converted to double.
 195
 196 define i54 @test18(i64 %A) {
 197 ; CHECK-LABEL: @test18(
 198 ; CHECK-NEXT:    [[B:%.*]] = sitofp i64 [[A:%.*]] to double
 199 ; CHECK-NEXT:    [[C:%.*]] = fptosi double [[B]] to i54
 200 ; CHECK-NEXT:    ret i54 [[C]]
 201 ;
 202   %B = sitofp i64 %A to double
 203   %C = fptosi double %B to i54
 204   ret i54 %C
 205 }
 206
 207 ; This can't fold because the 55-bit output won't fit the mantissa
 208 ; even after discarding the sign bit.
 209
 210 define i55 @test19(i64 %A) {
 211 ; CHECK-LABEL: @test19(
 212 ; CHECK-NEXT:    [[B:%.*]] = sitofp i64 [[A:%.*]] to double
 213 ; CHECK-NEXT:    [[C:%.*]] = fptosi double [[B]] to i55
 214 ; CHECK-NEXT:    ret i55 [[C]]
 215 ;
 216   %B = sitofp i64 %A to double
 217   %C = fptosi double %B to i55
 218   ret i55 %C
 219 }
 220
 221 ; TODO: The mask guarantees that the input is small enough to eliminate the FP casts.
 222
 223 define i25 @masked_input(i25 %A) {
 224 ; CHECK-LABEL: @masked_input(
 225 ; CHECK-NEXT:    [[M:%.*]] = and i25 [[A:%.*]], 65535
 226 ; CHECK-NEXT:    [[B:%.*]] = uitofp i25 [[M]] to float
 227 ; CHECK-NEXT:    [[C:%.*]] = fptoui float [[B]] to i25
 228 ; CHECK-NEXT:    ret i25 [[C]]
 229 ;
 230   %m = and i25 %A, 65535
 231   %B = uitofp i25 %m to float
 232   %C = fptoui float %B to i25
 233   ret i25 %C
 234 }
 235
 236 ; TODO: Clear the low bit - guarantees that the input is converted to FP without rounding.
 237
 238 define i25 @low_masked_input(i25 %A) {
 239 ; CHECK-LABEL: @low_masked_input(
 240 ; CHECK-NEXT:    [[M:%.*]] = and i25 [[A:%.*]], -2
 241 ; CHECK-NEXT:    [[B:%.*]] = uitofp i25 [[M]] to float
 242 ; CHECK-NEXT:    [[C:%.*]] = fptoui float [[B]] to i25
 243 ; CHECK-NEXT:    ret i25 [[C]]
 244 ;
 245   %m = and i25 %A, -2
 246   %B = uitofp i25 %m to float
 247   %C = fptoui float %B to i25
 248   ret i25 %C
 249 }
 250
 251 ; Output is small enough to ensure exact cast (overflow produces poison).
 252
 253 define i11 @s32_half_s11(i32 %x) {
 254 ; CHECK-LABEL: @s32_half_s11(
 255 ; CHECK-NEXT:    [[R:%.*]] = trunc i32 [[X:%.*]] to i11
 256 ; CHECK-NEXT:    ret i11 [[R]]
 257 ;
 258   %h = sitofp i32 %x to half
 259   %r = fptosi half %h to i11
 260   ret i11 %r
 261 }
 262
 263 ; Output is small enough to ensure exact cast (overflow produces poison).
 264
 265 define i11 @s32_half_u11(i32 %x) {
 266 ; CHECK-LABEL: @s32_half_u11(
 267 ; CHECK-NEXT:    [[R:%.*]] = trunc i32 [[X:%.*]] to i11
 268 ; CHECK-NEXT:    ret i11 [[R]]
 269 ;
 270   %h = sitofp i32 %x to half
 271   %r = fptoui half %h to i11
 272   ret i11 %r
 273 }
 274
 275 ; Output is small enough to ensure exact cast (overflow produces poison).
 276
 277 define i11 @u32_half_s11(i32 %x) {
 278 ; CHECK-LABEL: @u32_half_s11(
 279 ; CHECK-NEXT:    [[R:%.*]] = trunc i32 [[X:%.*]] to i11
 280 ; CHECK-NEXT:    ret i11 [[R]]
 281 ;
 282   %h = uitofp i32 %x to half
 283   %r = fptosi half %h to i11
 284   ret i11 %r
 285 }
 286
 287 ; Output is small enough to ensure exact cast (overflow produces poison).
 288
 289 define i11 @u32_half_u11(i32 %x) {
 290 ; CHECK-LABEL: @u32_half_u11(
 291 ; CHECK-NEXT:    [[R:%.*]] = trunc i32 [[X:%.*]] to i11
 292 ; CHECK-NEXT:    ret i11 [[R]]
 293 ;
 294   %h = uitofp i32 %x to half
 295   %r = fptoui half %h to i11
 296   ret i11 %r
 297 }
 298
 299 ; Too many bits in output to ensure exact cast.
 300
 301 define i12 @s32_half_s12(i32 %x) {
 302 ; CHECK-LABEL: @s32_half_s12(
 303 ; CHECK-NEXT:    [[H:%.*]] = sitofp i32 [[X:%.*]] to half
 304 ; CHECK-NEXT:    [[R:%.*]] = fptosi half [[H]] to i12
 305 ; CHECK-NEXT:    ret i12 [[R]]
 306 ;
 307   %h = sitofp i32 %x to half
 308   %r = fptosi half %h to i12
 309   ret i12 %r
 310 }
 311
 312 ; Too many bits in output to ensure exact cast.
 313
 314 define i12 @s32_half_u12(i32 %x) {
 315 ; CHECK-LABEL: @s32_half_u12(
 316 ; CHECK-NEXT:    [[H:%.*]] = sitofp i32 [[X:%.*]] to half
 317 ; CHECK-NEXT:    [[R:%.*]] = fptoui half [[H]] to i12
 318 ; CHECK-NEXT:    ret i12 [[R]]
 319 ;
 320   %h = sitofp i32 %x to half
 321   %r = fptoui half %h to i12
 322   ret i12 %r
 323 }
 324
 325 ; TODO: This is safe to convert to trunc.
 326
 327 define i12 @u32_half_s12(i32 %x) {
 328 ; CHECK-LABEL: @u32_half_s12(
 329 ; CHECK-NEXT:    [[H:%.*]] = uitofp i32 [[X:%.*]] to half
 330 ; CHECK-NEXT:    [[R:%.*]] = fptosi half [[H]] to i12
 331 ; CHECK-NEXT:    ret i12 [[R]]
 332 ;
 333   %h = uitofp i32 %x to half
 334   %r = fptosi half %h to i12
 335   ret i12 %r
 336 }
 337
 338 ; Too many bits in output to ensure exact cast.
 339
 340 define i12 @u32_half_u12(i32 %x) {
 341 ; CHECK-LABEL: @u32_half_u12(
 342 ; CHECK-NEXT:    [[H:%.*]] = uitofp i32 [[X:%.*]] to half
 343 ; CHECK-NEXT:    [[R:%.*]] = fptoui half [[H]] to i12
 344 ; CHECK-NEXT:    ret i12 [[R]]
 345 ;
 346   %h = uitofp i32 %x to half
 347   %r = fptoui half %h to i12
 348   ret i12 %r
 349 }