llvm/test/CodeGen/X86/int-to-fp-demanded.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 4
   2 ; RUN: llc < %s -mtriple=i686-unknown-unknown | FileCheck %s --check-prefix=X86
   3 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s --check-prefix=X64
   4
   5 declare void @use.i1(i1)
   6 declare void @use.i32(i32)
   7 define i32 @sitofp_signbit_only(i32 %i_in) nounwind {
   8 ; X86-LABEL: sitofp_signbit_only:
   9 ; X86:       # %bb.0:
  10 ; X86-NEXT:    subl $8, %esp
  11 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
  12 ; X86-NEXT:    movl %eax, (%esp)
  13 ; X86-NEXT:    fildl (%esp)
  14 ; X86-NEXT:    fstps {{[0-9]+}}(%esp)
  15 ; X86-NEXT:    movl $-2147483648, %eax # imm = 0x80000000
  16 ; X86-NEXT:    andl {{[0-9]+}}(%esp), %eax
  17 ; X86-NEXT:    addl $8, %esp
  18 ; X86-NEXT:    retl
  19 ;
  20 ; X64-LABEL: sitofp_signbit_only:
  21 ; X64:       # %bb.0:
  22 ; X64-NEXT:    cvtsi2ss %edi, %xmm0
  23 ; X64-NEXT:    movmskps %xmm0, %eax
  24 ; X64-NEXT:    shll $31, %eax
  25 ; X64-NEXT:    retq
  26   %f = sitofp i32 %i_in to float
  27   %i = bitcast float %f to i32
  28   %r = and i32 %i, 2147483648
  29   ret i32 %r
  30 }
  31
  32 define i32 @sitofp_signbit_only_okay_width(i16 %i_in) nounwind {
  33 ; X86-LABEL: sitofp_signbit_only_okay_width:
  34 ; X86:       # %bb.0:
  35 ; X86-NEXT:    subl $8, %esp
  36 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
  37 ; X86-NEXT:    movw %ax, {{[0-9]+}}(%esp)
  38 ; X86-NEXT:    filds {{[0-9]+}}(%esp)
  39 ; X86-NEXT:    fstps {{[0-9]+}}(%esp)
  40 ; X86-NEXT:    movl $-2147483648, %eax # imm = 0x80000000
  41 ; X86-NEXT:    andl {{[0-9]+}}(%esp), %eax
  42 ; X86-NEXT:    addl $8, %esp
  43 ; X86-NEXT:    retl
  44 ;
  45 ; X64-LABEL: sitofp_signbit_only_okay_width:
  46 ; X64:       # %bb.0:
  47 ; X64-NEXT:    movswl %di, %eax
  48 ; X64-NEXT:    cvtsi2ss %eax, %xmm0
  49 ; X64-NEXT:    movmskps %xmm0, %eax
  50 ; X64-NEXT:    shll $31, %eax
  51 ; X64-NEXT:    retq
  52   %f = sitofp i16 %i_in to float
  53   %i = bitcast float %f to i32
  54   %r = and i32 %i, 2147483648
  55   ret i32 %r
  56 }
  57
  58 define i32 @sitofp_signbit_only_fail_bad_width1(i64 %i_in) nounwind {
  59 ; X86-LABEL: sitofp_signbit_only_fail_bad_width1:
  60 ; X86:       # %bb.0:
  61 ; X86-NEXT:    pushl %eax
  62 ; X86-NEXT:    fildll {{[0-9]+}}(%esp)
  63 ; X86-NEXT:    fstps (%esp)
  64 ; X86-NEXT:    movl $-2147483648, %eax # imm = 0x80000000
  65 ; X86-NEXT:    andl (%esp), %eax
  66 ; X86-NEXT:    popl %ecx
  67 ; X86-NEXT:    retl
  68 ;
  69 ; X64-LABEL: sitofp_signbit_only_fail_bad_width1:
  70 ; X64:       # %bb.0:
  71 ; X64-NEXT:    cvtsi2ss %rdi, %xmm0
  72 ; X64-NEXT:    movmskps %xmm0, %eax
  73 ; X64-NEXT:    shll $31, %eax
  74 ; X64-NEXT:    retq
  75   %f = sitofp i64 %i_in to float
  76   %i = bitcast float %f to i32
  77   %r = and i32 %i, 2147483648
  78   ret i32 %r
  79 }
  80
  81 define <2 x i16> @sitofp_signbit_only_fail_bad_width2(i32 %i_in) nounwind {
  82 ; X86-LABEL: sitofp_signbit_only_fail_bad_width2:
  83 ; X86:       # %bb.0:
  84 ; X86-NEXT:    subl $8, %esp
  85 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
  86 ; X86-NEXT:    movl %eax, (%esp)
  87 ; X86-NEXT:    fildl (%esp)
  88 ; X86-NEXT:    fstps {{[0-9]+}}(%esp)
  89 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
  90 ; X86-NEXT:    movl %eax, %edx
  91 ; X86-NEXT:    shrl $16, %edx
  92 ; X86-NEXT:    andl $32768, %eax # imm = 0x8000
  93 ; X86-NEXT:    andl $32768, %edx # imm = 0x8000
  94 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
  95 ; X86-NEXT:    # kill: def $dx killed $dx killed $edx
  96 ; X86-NEXT:    addl $8, %esp
  97 ; X86-NEXT:    retl
  98 ;
  99 ; X64-LABEL: sitofp_signbit_only_fail_bad_width2:
 100 ; X64:       # %bb.0:
 101 ; X64-NEXT:    cvtsi2ss %edi, %xmm0
 102 ; X64-NEXT:    andps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
 103 ; X64-NEXT:    retq
 104   %f = sitofp i32 %i_in to float
 105   %i2xi16 = bitcast float %f to <2 x i16>
 106   %r = and <2 x i16> %i2xi16, <i16 32768, i16 32768>
 107   ret <2 x i16> %r
 108 }
 109
 110 define i32 @sitofp_many_bits_fail(i32 %i_in) nounwind {
 111 ; X86-LABEL: sitofp_many_bits_fail:
 112 ; X86:       # %bb.0:
 113 ; X86-NEXT:    subl $8, %esp
 114 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 115 ; X86-NEXT:    movl %eax, (%esp)
 116 ; X86-NEXT:    fildl (%esp)
 117 ; X86-NEXT:    fstps {{[0-9]+}}(%esp)
 118 ; X86-NEXT:    movl $-2147483647, %eax # imm = 0x80000001
 119 ; X86-NEXT:    andl {{[0-9]+}}(%esp), %eax
 120 ; X86-NEXT:    addl $8, %esp
 121 ; X86-NEXT:    retl
 122 ;
 123 ; X64-LABEL: sitofp_many_bits_fail:
 124 ; X64:       # %bb.0:
 125 ; X64-NEXT:    cvtsi2ss %edi, %xmm0
 126 ; X64-NEXT:    movd %xmm0, %eax
 127 ; X64-NEXT:    andl $-2147483647, %eax # imm = 0x80000001
 128 ; X64-NEXT:    retq
 129   %f = sitofp i32 %i_in to float
 130   %i = bitcast float %f to i32
 131   %r = and i32 %i, 2147483649
 132   ret i32 %r
 133 }
 134
 135 define i32 @sitofp_multiuse_fail(i32 %i_in) nounwind {
 136 ; X86-LABEL: sitofp_multiuse_fail:
 137 ; X86:       # %bb.0:
 138 ; X86-NEXT:    subl $12, %esp
 139 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 140 ; X86-NEXT:    movl %eax, {{[0-9]+}}(%esp)
 141 ; X86-NEXT:    fildl {{[0-9]+}}(%esp)
 142 ; X86-NEXT:    fsts {{[0-9]+}}(%esp)
 143 ; X86-NEXT:    fstps (%esp)
 144 ; X86-NEXT:    calll use.i32@PLT
 145 ; X86-NEXT:    movl $-2147483648, %eax # imm = 0x80000000
 146 ; X86-NEXT:    andl {{[0-9]+}}(%esp), %eax
 147 ; X86-NEXT:    addl $12, %esp
 148 ; X86-NEXT:    retl
 149 ;
 150 ; X64-LABEL: sitofp_multiuse_fail:
 151 ; X64:       # %bb.0:
 152 ; X64-NEXT:    pushq %rbx
 153 ; X64-NEXT:    cvtsi2ss %edi, %xmm0
 154 ; X64-NEXT:    movd %xmm0, %ebx
 155 ; X64-NEXT:    movl %ebx, %edi
 156 ; X64-NEXT:    callq use.i32@PLT
 157 ; X64-NEXT:    andl $-2147483648, %ebx # imm = 0x80000000
 158 ; X64-NEXT:    movl %ebx, %eax
 159 ; X64-NEXT:    popq %rbx
 160 ; X64-NEXT:    retq
 161   %f = sitofp i32 %i_in to float
 162   %i = bitcast float %f to i32
 163   call void @use.i32(i32 %i)
 164   %r = and i32 %i, 2147483648
 165   ret i32 %r
 166 }
 167
 168 define i32 @sitofp_multiuse_okay(i32 %i_in) nounwind {
 169 ; X86-LABEL: sitofp_multiuse_okay:
 170 ; X86:       # %bb.0:
 171 ; X86-NEXT:    subl $12, %esp
 172 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 173 ; X86-NEXT:    movl %eax, {{[0-9]+}}(%esp)
 174 ; X86-NEXT:    fildl {{[0-9]+}}(%esp)
 175 ; X86-NEXT:    fsts {{[0-9]+}}(%esp)
 176 ; X86-NEXT:    fstps (%esp)
 177 ; X86-NEXT:    calll use.i1@PLT
 178 ; X86-NEXT:    movl $-2147483648, %eax # imm = 0x80000000
 179 ; X86-NEXT:    andl {{[0-9]+}}(%esp), %eax
 180 ; X86-NEXT:    addl $12, %esp
 181 ; X86-NEXT:    retl
 182 ;
 183 ; X64-LABEL: sitofp_multiuse_okay:
 184 ; X64:       # %bb.0:
 185 ; X64-NEXT:    pushq %rbx
 186 ; X64-NEXT:    cvtsi2ss %edi, %xmm0
 187 ; X64-NEXT:    movd %xmm0, %ebx
 188 ; X64-NEXT:    movl %ebx, %edi
 189 ; X64-NEXT:    callq use.i1@PLT
 190 ; X64-NEXT:    andl $-2147483648, %ebx # imm = 0x80000000
 191 ; X64-NEXT:    movl %ebx, %eax
 192 ; X64-NEXT:    popq %rbx
 193 ; X64-NEXT:    retq
 194   %f = sitofp i32 %i_in to float
 195   %i = bitcast float %f to i32
 196   %cmp = icmp slt i32 %i, 0
 197   call void @use.i1(i32 %i)
 198   %r = and i32 %i, 2147483648
 199   ret i32 %r
 200 }
 201
 202 define i32 @uitofp_signbit_only(i32 %i_in) nounwind {
 203 ; X86-LABEL: uitofp_signbit_only:
 204 ; X86:       # %bb.0:
 205 ; X86-NEXT:    xorl %eax, %eax
 206 ; X86-NEXT:    retl
 207 ;
 208 ; X64-LABEL: uitofp_signbit_only:
 209 ; X64:       # %bb.0:
 210 ; X64-NEXT:    xorl %eax, %eax
 211 ; X64-NEXT:    retq
 212   %f = uitofp i32 %i_in to float
 213   %i = bitcast float %f to i32
 214   %r = and i32 %i, 2147483648
 215   ret i32 %r
 216 }
 217
 218 define i32 @uitofp_signbit_only_okay_width(i16 %i_in) nounwind {
 219 ; X86-LABEL: uitofp_signbit_only_okay_width:
 220 ; X86:       # %bb.0:
 221 ; X86-NEXT:    xorl %eax, %eax
 222 ; X86-NEXT:    retl
 223 ;
 224 ; X64-LABEL: uitofp_signbit_only_okay_width:
 225 ; X64:       # %bb.0:
 226 ; X64-NEXT:    xorl %eax, %eax
 227 ; X64-NEXT:    retq
 228   %f = uitofp i16 %i_in to float
 229   %i = bitcast float %f to i32
 230   %r = and i32 %i, 2147483648
 231   ret i32 %r
 232 }
 233
 234 define i32 @uitofp_signbit_only_okay_width1(i64 %i_in) nounwind {
 235 ; X86-LABEL: uitofp_signbit_only_okay_width1:
 236 ; X86:       # %bb.0:
 237 ; X86-NEXT:    xorl %eax, %eax
 238 ; X86-NEXT:    retl
 239 ;
 240 ; X64-LABEL: uitofp_signbit_only_okay_width1:
 241 ; X64:       # %bb.0:
 242 ; X64-NEXT:    xorl %eax, %eax
 243 ; X64-NEXT:    retq
 244   %f = uitofp i64 %i_in to float
 245   %i = bitcast float %f to i32
 246   %r = and i32 %i, 2147483648
 247   ret i32 %r
 248 }
 249
 250 define <2 x i16> @uitofp_signbit_only_fail_bad_width2(i32 %i_in) nounwind {
 251 ; X86-LABEL: uitofp_signbit_only_fail_bad_width2:
 252 ; X86:       # %bb.0:
 253 ; X86-NEXT:    pushl %ebp
 254 ; X86-NEXT:    movl %esp, %ebp
 255 ; X86-NEXT:    andl $-8, %esp
 256 ; X86-NEXT:    subl $16, %esp
 257 ; X86-NEXT:    movl 8(%ebp), %eax
 258 ; X86-NEXT:    movl %eax, {{[0-9]+}}(%esp)
 259 ; X86-NEXT:    movl $0, {{[0-9]+}}(%esp)
 260 ; X86-NEXT:    fildll {{[0-9]+}}(%esp)
 261 ; X86-NEXT:    fstps {{[0-9]+}}(%esp)
 262 ; X86-NEXT:    movl $32768, %eax # imm = 0x8000
 263 ; X86-NEXT:    andl {{[0-9]+}}(%esp), %eax
 264 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 265 ; X86-NEXT:    xorl %edx, %edx
 266 ; X86-NEXT:    movl %ebp, %esp
 267 ; X86-NEXT:    popl %ebp
 268 ; X86-NEXT:    retl
 269 ;
 270 ; X64-LABEL: uitofp_signbit_only_fail_bad_width2:
 271 ; X64:       # %bb.0:
 272 ; X64-NEXT:    movl %edi, %eax
 273 ; X64-NEXT:    cvtsi2ss %rax, %xmm0
 274 ; X64-NEXT:    andps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
 275 ; X64-NEXT:    retq
 276   %f = uitofp i32 %i_in to float
 277   %i2xi16 = bitcast float %f to <2 x i16>
 278   %r = and <2 x i16> %i2xi16, <i16 32768, i16 32768>
 279   ret <2 x i16> %r
 280 }
 281
 282 define i32 @uitofp_many_bits_fail(i32 %i_in) nounwind {
 283 ; X86-LABEL: uitofp_many_bits_fail:
 284 ; X86:       # %bb.0:
 285 ; X86-NEXT:    pushl %ebp
 286 ; X86-NEXT:    movl %esp, %ebp
 287 ; X86-NEXT:    andl $-8, %esp
 288 ; X86-NEXT:    subl $16, %esp
 289 ; X86-NEXT:    movl 8(%ebp), %eax
 290 ; X86-NEXT:    movl %eax, {{[0-9]+}}(%esp)
 291 ; X86-NEXT:    movl $0, {{[0-9]+}}(%esp)
 292 ; X86-NEXT:    fildll {{[0-9]+}}(%esp)
 293 ; X86-NEXT:    fstps {{[0-9]+}}(%esp)
 294 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 295 ; X86-NEXT:    andl $1, %eax
 296 ; X86-NEXT:    movl %ebp, %esp
 297 ; X86-NEXT:    popl %ebp
 298 ; X86-NEXT:    retl
 299 ;
 300 ; X64-LABEL: uitofp_many_bits_fail:
 301 ; X64:       # %bb.0:
 302 ; X64-NEXT:    movl %edi, %eax
 303 ; X64-NEXT:    cvtsi2ss %rax, %xmm0
 304 ; X64-NEXT:    movd %xmm0, %eax
 305 ; X64-NEXT:    andl $1, %eax
 306 ; X64-NEXT:    retq
 307   %f = uitofp i32 %i_in to float
 308   %i = bitcast float %f to i32
 309   %r = and i32 %i, 2147483649
 310   ret i32 %r
 311 }
 312
 313 define i32 @uitofp_multiuse_fail(i32 %i_in) nounwind {
 314 ; X86-LABEL: uitofp_multiuse_fail:
 315 ; X86:       # %bb.0:
 316 ; X86-NEXT:    pushl %ebp
 317 ; X86-NEXT:    movl %esp, %ebp
 318 ; X86-NEXT:    andl $-8, %esp
 319 ; X86-NEXT:    subl $16, %esp
 320 ; X86-NEXT:    movl 8(%ebp), %eax
 321 ; X86-NEXT:    movl %eax, {{[0-9]+}}(%esp)
 322 ; X86-NEXT:    movl $0, {{[0-9]+}}(%esp)
 323 ; X86-NEXT:    fildll {{[0-9]+}}(%esp)
 324 ; X86-NEXT:    fstps (%esp)
 325 ; X86-NEXT:    calll use.i32@PLT
 326 ; X86-NEXT:    xorl %eax, %eax
 327 ; X86-NEXT:    movl %ebp, %esp
 328 ; X86-NEXT:    popl %ebp
 329 ; X86-NEXT:    retl
 330 ;
 331 ; X64-LABEL: uitofp_multiuse_fail:
 332 ; X64:       # %bb.0:
 333 ; X64-NEXT:    pushq %rax
 334 ; X64-NEXT:    movl %edi, %eax
 335 ; X64-NEXT:    cvtsi2ss %rax, %xmm0
 336 ; X64-NEXT:    movd %xmm0, %edi
 337 ; X64-NEXT:    callq use.i32@PLT
 338 ; X64-NEXT:    xorl %eax, %eax
 339 ; X64-NEXT:    popq %rcx
 340 ; X64-NEXT:    retq
 341   %f = uitofp i32 %i_in to float
 342   %i = bitcast float %f to i32
 343   call void @use.i32(i32 %i)
 344   %r = and i32 %i, 2147483648
 345   ret i32 %r
 346 }
 347
 348 define i32 @uitofp_multiuse_okay(i32 %i_in) nounwind {
 349 ; X86-LABEL: uitofp_multiuse_okay:
 350 ; X86:       # %bb.0:
 351 ; X86-NEXT:    pushl %ebp
 352 ; X86-NEXT:    movl %esp, %ebp
 353 ; X86-NEXT:    andl $-8, %esp
 354 ; X86-NEXT:    subl $16, %esp
 355 ; X86-NEXT:    movl 8(%ebp), %eax
 356 ; X86-NEXT:    movl %eax, {{[0-9]+}}(%esp)
 357 ; X86-NEXT:    movl $0, {{[0-9]+}}(%esp)
 358 ; X86-NEXT:    fildll {{[0-9]+}}(%esp)
 359 ; X86-NEXT:    fstps (%esp)
 360 ; X86-NEXT:    calll use.i1@PLT
 361 ; X86-NEXT:    xorl %eax, %eax
 362 ; X86-NEXT:    movl %ebp, %esp
 363 ; X86-NEXT:    popl %ebp
 364 ; X86-NEXT:    retl
 365 ;
 366 ; X64-LABEL: uitofp_multiuse_okay:
 367 ; X64:       # %bb.0:
 368 ; X64-NEXT:    pushq %rax
 369 ; X64-NEXT:    movl %edi, %eax
 370 ; X64-NEXT:    cvtsi2ss %rax, %xmm0
 371 ; X64-NEXT:    movd %xmm0, %edi
 372 ; X64-NEXT:    callq use.i1@PLT
 373 ; X64-NEXT:    xorl %eax, %eax
 374 ; X64-NEXT:    popq %rcx
 375 ; X64-NEXT:    retq
 376   %f = uitofp i32 %i_in to float
 377   %i = bitcast float %f to i32
 378   %cmp = icmp slt i32 %i, 0
 379   call void @use.i1(i32 %i)
 380   %r = and i32 %i, 2147483648
 381   ret i32 %r
 382 }