llvm/test/CodeGen/X86/fp-strict-scalar-inttofp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686-unknown-unknown -mattr=+sse2 -O3 | FileCheck %s --check-prefixes=SSE-X86
   3 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+sse2 -O3 | FileCheck %s --check-prefixes=SSE-X64
   4 ; RUN: llc < %s -mtriple=i686-unknown-unknown -mattr=+avx -O3 | FileCheck %s --check-prefixes=AVX-X86,AVX1-X86
   5 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx -O3 | FileCheck %s --check-prefixes=AVX-X64,AVX1-X64
   6 ; RUN: llc < %s -mtriple=i686-unknown-unknown -mattr=+avx512f -mattr=+avx512vl -O3 | FileCheck %s --check-prefixes=AVX-X86,AVX512-X86
   7 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx512f -mattr=+avx512vl -O3 | FileCheck %s --check-prefixes=AVX-X64,AVX512-X64
   8 ; RUN: llc < %s -mtriple=i686-unknown-unknown -mattr=-sse -O3 | FileCheck %s --check-prefixes=X87
   9
  10 declare float @llvm.experimental.constrained.sitofp.f32.i1(i1, metadata, metadata)
  11 declare float @llvm.experimental.constrained.sitofp.f32.i8(i8, metadata, metadata)
  12 declare float @llvm.experimental.constrained.sitofp.f32.i16(i16, metadata, metadata)
  13 declare float @llvm.experimental.constrained.sitofp.f32.i32(i32, metadata, metadata)
  14 declare float @llvm.experimental.constrained.sitofp.f32.i64(i64, metadata, metadata)
  15 declare float @llvm.experimental.constrained.uitofp.f32.i1(i1, metadata, metadata)
  16 declare float @llvm.experimental.constrained.uitofp.f32.i8(i8, metadata, metadata)
  17 declare float @llvm.experimental.constrained.uitofp.f32.i16(i16, metadata, metadata)
  18 declare float @llvm.experimental.constrained.uitofp.f32.i32(i32, metadata, metadata)
  19 declare float @llvm.experimental.constrained.uitofp.f32.i64(i64, metadata, metadata)
  20
  21 declare double @llvm.experimental.constrained.sitofp.f64.i1(i1, metadata, metadata)
  22 declare double @llvm.experimental.constrained.sitofp.f64.i8(i8, metadata, metadata)
  23 declare double @llvm.experimental.constrained.sitofp.f64.i16(i16, metadata, metadata)
  24 declare double @llvm.experimental.constrained.sitofp.f64.i32(i32, metadata, metadata)
  25 declare double @llvm.experimental.constrained.sitofp.f64.i64(i64, metadata, metadata)
  26 declare double @llvm.experimental.constrained.uitofp.f64.i1(i1, metadata, metadata)
  27 declare double @llvm.experimental.constrained.uitofp.f64.i8(i8, metadata, metadata)
  28 declare double @llvm.experimental.constrained.uitofp.f64.i16(i16, metadata, metadata)
  29 declare double @llvm.experimental.constrained.uitofp.f64.i32(i32, metadata, metadata)
  30 declare double @llvm.experimental.constrained.uitofp.f64.i64(i64, metadata, metadata)
  31
  32 define float @sitofp_i1tof32(i1 %x) #0 {
  33 ; SSE-X86-LABEL: sitofp_i1tof32:
  34 ; SSE-X86:       # %bb.0:
  35 ; SSE-X86-NEXT:    pushl %eax
  36 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
  37 ; SSE-X86-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
  38 ; SSE-X86-NEXT:    andb $1, %al
  39 ; SSE-X86-NEXT:    negb %al
  40 ; SSE-X86-NEXT:    movsbl %al, %eax
  41 ; SSE-X86-NEXT:    cvtsi2ss %eax, %xmm0
  42 ; SSE-X86-NEXT:    movss %xmm0, (%esp)
  43 ; SSE-X86-NEXT:    flds (%esp)
  44 ; SSE-X86-NEXT:    wait
  45 ; SSE-X86-NEXT:    popl %eax
  46 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 4
  47 ; SSE-X86-NEXT:    retl
  48 ;
  49 ; SSE-X64-LABEL: sitofp_i1tof32:
  50 ; SSE-X64:       # %bb.0:
  51 ; SSE-X64-NEXT:    andb $1, %dil
  52 ; SSE-X64-NEXT:    negb %dil
  53 ; SSE-X64-NEXT:    movsbl %dil, %eax
  54 ; SSE-X64-NEXT:    cvtsi2ss %eax, %xmm0
  55 ; SSE-X64-NEXT:    retq
  56 ;
  57 ; AVX-X86-LABEL: sitofp_i1tof32:
  58 ; AVX-X86:       # %bb.0:
  59 ; AVX-X86-NEXT:    pushl %eax
  60 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
  61 ; AVX-X86-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
  62 ; AVX-X86-NEXT:    andb $1, %al
  63 ; AVX-X86-NEXT:    negb %al
  64 ; AVX-X86-NEXT:    movsbl %al, %eax
  65 ; AVX-X86-NEXT:    vcvtsi2ss %eax, %xmm0, %xmm0
  66 ; AVX-X86-NEXT:    vmovss %xmm0, (%esp)
  67 ; AVX-X86-NEXT:    flds (%esp)
  68 ; AVX-X86-NEXT:    wait
  69 ; AVX-X86-NEXT:    popl %eax
  70 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 4
  71 ; AVX-X86-NEXT:    retl
  72 ;
  73 ; AVX-X64-LABEL: sitofp_i1tof32:
  74 ; AVX-X64:       # %bb.0:
  75 ; AVX-X64-NEXT:    andb $1, %dil
  76 ; AVX-X64-NEXT:    negb %dil
  77 ; AVX-X64-NEXT:    movsbl %dil, %eax
  78 ; AVX-X64-NEXT:    vcvtsi2ss %eax, %xmm0, %xmm0
  79 ; AVX-X64-NEXT:    retq
  80 ;
  81 ; X87-LABEL: sitofp_i1tof32:
  82 ; X87:       # %bb.0:
  83 ; X87-NEXT:    pushl %eax
  84 ; X87-NEXT:    .cfi_def_cfa_offset 8
  85 ; X87-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
  86 ; X87-NEXT:    andb $1, %al
  87 ; X87-NEXT:    negb %al
  88 ; X87-NEXT:    movsbl %al, %eax
  89 ; X87-NEXT:    movw %ax, {{[0-9]+}}(%esp)
  90 ; X87-NEXT:    filds {{[0-9]+}}(%esp)
  91 ; X87-NEXT:    wait
  92 ; X87-NEXT:    popl %eax
  93 ; X87-NEXT:    .cfi_def_cfa_offset 4
  94 ; X87-NEXT:    retl
  95   %result = call float @llvm.experimental.constrained.sitofp.f32.i1(i1 %x,
  96                                                metadata !"round.dynamic",
  97                                                metadata !"fpexcept.strict") #0
  98   ret float %result
  99 }
 100
 101 define float @sitofp_i8tof32(i8 %x) #0 {
 102 ; SSE-X86-LABEL: sitofp_i8tof32:
 103 ; SSE-X86:       # %bb.0:
 104 ; SSE-X86-NEXT:    pushl %eax
 105 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
 106 ; SSE-X86-NEXT:    movsbl {{[0-9]+}}(%esp), %eax
 107 ; SSE-X86-NEXT:    cvtsi2ss %eax, %xmm0
 108 ; SSE-X86-NEXT:    movss %xmm0, (%esp)
 109 ; SSE-X86-NEXT:    flds (%esp)
 110 ; SSE-X86-NEXT:    wait
 111 ; SSE-X86-NEXT:    popl %eax
 112 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 4
 113 ; SSE-X86-NEXT:    retl
 114 ;
 115 ; SSE-X64-LABEL: sitofp_i8tof32:
 116 ; SSE-X64:       # %bb.0:
 117 ; SSE-X64-NEXT:    movsbl %dil, %eax
 118 ; SSE-X64-NEXT:    cvtsi2ss %eax, %xmm0
 119 ; SSE-X64-NEXT:    retq
 120 ;
 121 ; AVX-X86-LABEL: sitofp_i8tof32:
 122 ; AVX-X86:       # %bb.0:
 123 ; AVX-X86-NEXT:    pushl %eax
 124 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
 125 ; AVX-X86-NEXT:    movsbl {{[0-9]+}}(%esp), %eax
 126 ; AVX-X86-NEXT:    vcvtsi2ss %eax, %xmm0, %xmm0
 127 ; AVX-X86-NEXT:    vmovss %xmm0, (%esp)
 128 ; AVX-X86-NEXT:    flds (%esp)
 129 ; AVX-X86-NEXT:    wait
 130 ; AVX-X86-NEXT:    popl %eax
 131 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 4
 132 ; AVX-X86-NEXT:    retl
 133 ;
 134 ; AVX-X64-LABEL: sitofp_i8tof32:
 135 ; AVX-X64:       # %bb.0:
 136 ; AVX-X64-NEXT:    movsbl %dil, %eax
 137 ; AVX-X64-NEXT:    vcvtsi2ss %eax, %xmm0, %xmm0
 138 ; AVX-X64-NEXT:    retq
 139 ;
 140 ; X87-LABEL: sitofp_i8tof32:
 141 ; X87:       # %bb.0:
 142 ; X87-NEXT:    pushl %eax
 143 ; X87-NEXT:    .cfi_def_cfa_offset 8
 144 ; X87-NEXT:    movsbl {{[0-9]+}}(%esp), %eax
 145 ; X87-NEXT:    movw %ax, {{[0-9]+}}(%esp)
 146 ; X87-NEXT:    filds {{[0-9]+}}(%esp)
 147 ; X87-NEXT:    wait
 148 ; X87-NEXT:    popl %eax
 149 ; X87-NEXT:    .cfi_def_cfa_offset 4
 150 ; X87-NEXT:    retl
 151   %result = call float @llvm.experimental.constrained.sitofp.f32.i8(i8 %x,
 152                                                metadata !"round.dynamic",
 153                                                metadata !"fpexcept.strict") #0
 154   ret float %result
 155 }
 156
 157 define float @sitofp_i16tof32(i16 %x) #0 {
 158 ; SSE-X86-LABEL: sitofp_i16tof32:
 159 ; SSE-X86:       # %bb.0:
 160 ; SSE-X86-NEXT:    pushl %eax
 161 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
 162 ; SSE-X86-NEXT:    movswl {{[0-9]+}}(%esp), %eax
 163 ; SSE-X86-NEXT:    cvtsi2ss %eax, %xmm0
 164 ; SSE-X86-NEXT:    movss %xmm0, (%esp)
 165 ; SSE-X86-NEXT:    flds (%esp)
 166 ; SSE-X86-NEXT:    wait
 167 ; SSE-X86-NEXT:    popl %eax
 168 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 4
 169 ; SSE-X86-NEXT:    retl
 170 ;
 171 ; SSE-X64-LABEL: sitofp_i16tof32:
 172 ; SSE-X64:       # %bb.0:
 173 ; SSE-X64-NEXT:    movswl %di, %eax
 174 ; SSE-X64-NEXT:    cvtsi2ss %eax, %xmm0
 175 ; SSE-X64-NEXT:    retq
 176 ;
 177 ; AVX-X86-LABEL: sitofp_i16tof32:
 178 ; AVX-X86:       # %bb.0:
 179 ; AVX-X86-NEXT:    pushl %eax
 180 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
 181 ; AVX-X86-NEXT:    movswl {{[0-9]+}}(%esp), %eax
 182 ; AVX-X86-NEXT:    vcvtsi2ss %eax, %xmm0, %xmm0
 183 ; AVX-X86-NEXT:    vmovss %xmm0, (%esp)
 184 ; AVX-X86-NEXT:    flds (%esp)
 185 ; AVX-X86-NEXT:    wait
 186 ; AVX-X86-NEXT:    popl %eax
 187 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 4
 188 ; AVX-X86-NEXT:    retl
 189 ;
 190 ; AVX-X64-LABEL: sitofp_i16tof32:
 191 ; AVX-X64:       # %bb.0:
 192 ; AVX-X64-NEXT:    movswl %di, %eax
 193 ; AVX-X64-NEXT:    vcvtsi2ss %eax, %xmm0, %xmm0
 194 ; AVX-X64-NEXT:    retq
 195 ;
 196 ; X87-LABEL: sitofp_i16tof32:
 197 ; X87:       # %bb.0:
 198 ; X87-NEXT:    pushl %eax
 199 ; X87-NEXT:    .cfi_def_cfa_offset 8
 200 ; X87-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
 201 ; X87-NEXT:    movw %ax, {{[0-9]+}}(%esp)
 202 ; X87-NEXT:    filds {{[0-9]+}}(%esp)
 203 ; X87-NEXT:    wait
 204 ; X87-NEXT:    popl %eax
 205 ; X87-NEXT:    .cfi_def_cfa_offset 4
 206 ; X87-NEXT:    retl
 207   %result = call float @llvm.experimental.constrained.sitofp.f32.i16(i16 %x,
 208                                                metadata !"round.dynamic",
 209                                                metadata !"fpexcept.strict") #0
 210   ret float %result
 211 }
 212
 213 define float @sitofp_i32tof32(i32 %x) #0 {
 214 ; SSE-X86-LABEL: sitofp_i32tof32:
 215 ; SSE-X86:       # %bb.0:
 216 ; SSE-X86-NEXT:    pushl %eax
 217 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
 218 ; SSE-X86-NEXT:    cvtsi2ssl {{[0-9]+}}(%esp), %xmm0
 219 ; SSE-X86-NEXT:    movss %xmm0, (%esp)
 220 ; SSE-X86-NEXT:    flds (%esp)
 221 ; SSE-X86-NEXT:    wait
 222 ; SSE-X86-NEXT:    popl %eax
 223 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 4
 224 ; SSE-X86-NEXT:    retl
 225 ;
 226 ; SSE-X64-LABEL: sitofp_i32tof32:
 227 ; SSE-X64:       # %bb.0:
 228 ; SSE-X64-NEXT:    cvtsi2ss %edi, %xmm0
 229 ; SSE-X64-NEXT:    retq
 230 ;
 231 ; AVX-X86-LABEL: sitofp_i32tof32:
 232 ; AVX-X86:       # %bb.0:
 233 ; AVX-X86-NEXT:    pushl %eax
 234 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
 235 ; AVX-X86-NEXT:    vcvtsi2ssl {{[0-9]+}}(%esp), %xmm0, %xmm0
 236 ; AVX-X86-NEXT:    vmovss %xmm0, (%esp)
 237 ; AVX-X86-NEXT:    flds (%esp)
 238 ; AVX-X86-NEXT:    wait
 239 ; AVX-X86-NEXT:    popl %eax
 240 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 4
 241 ; AVX-X86-NEXT:    retl
 242 ;
 243 ; AVX-X64-LABEL: sitofp_i32tof32:
 244 ; AVX-X64:       # %bb.0:
 245 ; AVX-X64-NEXT:    vcvtsi2ss %edi, %xmm0, %xmm0
 246 ; AVX-X64-NEXT:    retq
 247 ;
 248 ; X87-LABEL: sitofp_i32tof32:
 249 ; X87:       # %bb.0:
 250 ; X87-NEXT:    pushl %eax
 251 ; X87-NEXT:    .cfi_def_cfa_offset 8
 252 ; X87-NEXT:    movl {{[0-9]+}}(%esp), %eax
 253 ; X87-NEXT:    movl %eax, (%esp)
 254 ; X87-NEXT:    fildl (%esp)
 255 ; X87-NEXT:    wait
 256 ; X87-NEXT:    popl %eax
 257 ; X87-NEXT:    .cfi_def_cfa_offset 4
 258 ; X87-NEXT:    retl
 259   %result = call float @llvm.experimental.constrained.sitofp.f32.i32(i32 %x,
 260                                                metadata !"round.dynamic",
 261                                                metadata !"fpexcept.strict") #0
 262   ret float %result
 263 }
 264
 265 define float @sitofp_i64tof32(i64 %x) #0 {
 266 ; SSE-X86-LABEL: sitofp_i64tof32:
 267 ; SSE-X86:       # %bb.0:
 268 ; SSE-X86-NEXT:    pushl %eax
 269 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
 270 ; SSE-X86-NEXT:    fildll {{[0-9]+}}(%esp)
 271 ; SSE-X86-NEXT:    fstps (%esp)
 272 ; SSE-X86-NEXT:    flds (%esp)
 273 ; SSE-X86-NEXT:    wait
 274 ; SSE-X86-NEXT:    popl %eax
 275 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 4
 276 ; SSE-X86-NEXT:    retl
 277 ;
 278 ; SSE-X64-LABEL: sitofp_i64tof32:
 279 ; SSE-X64:       # %bb.0:
 280 ; SSE-X64-NEXT:    cvtsi2ss %rdi, %xmm0
 281 ; SSE-X64-NEXT:    retq
 282 ;
 283 ; AVX-X86-LABEL: sitofp_i64tof32:
 284 ; AVX-X86:       # %bb.0:
 285 ; AVX-X86-NEXT:    pushl %eax
 286 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
 287 ; AVX-X86-NEXT:    fildll {{[0-9]+}}(%esp)
 288 ; AVX-X86-NEXT:    fstps (%esp)
 289 ; AVX-X86-NEXT:    flds (%esp)
 290 ; AVX-X86-NEXT:    wait
 291 ; AVX-X86-NEXT:    popl %eax
 292 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 4
 293 ; AVX-X86-NEXT:    retl
 294 ;
 295 ; AVX-X64-LABEL: sitofp_i64tof32:
 296 ; AVX-X64:       # %bb.0:
 297 ; AVX-X64-NEXT:    vcvtsi2ss %rdi, %xmm0, %xmm0
 298 ; AVX-X64-NEXT:    retq
 299 ;
 300 ; X87-LABEL: sitofp_i64tof32:
 301 ; X87:       # %bb.0:
 302 ; X87-NEXT:    fildll {{[0-9]+}}(%esp)
 303 ; X87-NEXT:    wait
 304 ; X87-NEXT:    retl
 305   %result = call float @llvm.experimental.constrained.sitofp.f32.i64(i64 %x,
 306                                                metadata !"round.dynamic",
 307                                                metadata !"fpexcept.strict") #0
 308   ret float %result
 309 }
 310
 311 define float @uitofp_i1tof32(i1 %x) #0 {
 312 ; SSE-X86-LABEL: uitofp_i1tof32:
 313 ; SSE-X86:       # %bb.0:
 314 ; SSE-X86-NEXT:    pushl %eax
 315 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
 316 ; SSE-X86-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
 317 ; SSE-X86-NEXT:    andb $1, %al
 318 ; SSE-X86-NEXT:    movzbl %al, %eax
 319 ; SSE-X86-NEXT:    cvtsi2ss %eax, %xmm0
 320 ; SSE-X86-NEXT:    movss %xmm0, (%esp)
 321 ; SSE-X86-NEXT:    flds (%esp)
 322 ; SSE-X86-NEXT:    wait
 323 ; SSE-X86-NEXT:    popl %eax
 324 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 4
 325 ; SSE-X86-NEXT:    retl
 326 ;
 327 ; SSE-X64-LABEL: uitofp_i1tof32:
 328 ; SSE-X64:       # %bb.0:
 329 ; SSE-X64-NEXT:    andl $1, %edi
 330 ; SSE-X64-NEXT:    cvtsi2ss %edi, %xmm0
 331 ; SSE-X64-NEXT:    retq
 332 ;
 333 ; AVX-X86-LABEL: uitofp_i1tof32:
 334 ; AVX-X86:       # %bb.0:
 335 ; AVX-X86-NEXT:    pushl %eax
 336 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
 337 ; AVX-X86-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
 338 ; AVX-X86-NEXT:    andb $1, %al
 339 ; AVX-X86-NEXT:    movzbl %al, %eax
 340 ; AVX-X86-NEXT:    vcvtsi2ss %eax, %xmm0, %xmm0
 341 ; AVX-X86-NEXT:    vmovss %xmm0, (%esp)
 342 ; AVX-X86-NEXT:    flds (%esp)
 343 ; AVX-X86-NEXT:    wait
 344 ; AVX-X86-NEXT:    popl %eax
 345 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 4
 346 ; AVX-X86-NEXT:    retl
 347 ;
 348 ; AVX-X64-LABEL: uitofp_i1tof32:
 349 ; AVX-X64:       # %bb.0:
 350 ; AVX-X64-NEXT:    andl $1, %edi
 351 ; AVX-X64-NEXT:    vcvtsi2ss %edi, %xmm0, %xmm0
 352 ; AVX-X64-NEXT:    retq
 353 ;
 354 ; X87-LABEL: uitofp_i1tof32:
 355 ; X87:       # %bb.0:
 356 ; X87-NEXT:    pushl %eax
 357 ; X87-NEXT:    .cfi_def_cfa_offset 8
 358 ; X87-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
 359 ; X87-NEXT:    andb $1, %al
 360 ; X87-NEXT:    movzbl %al, %eax
 361 ; X87-NEXT:    movw %ax, {{[0-9]+}}(%esp)
 362 ; X87-NEXT:    filds {{[0-9]+}}(%esp)
 363 ; X87-NEXT:    wait
 364 ; X87-NEXT:    popl %eax
 365 ; X87-NEXT:    .cfi_def_cfa_offset 4
 366 ; X87-NEXT:    retl
 367   %result = call float @llvm.experimental.constrained.uitofp.f32.i1(i1 %x,
 368                                                metadata !"round.dynamic",
 369                                                metadata !"fpexcept.strict") #0
 370   ret float %result
 371 }
 372
 373 define float @uitofp_i8tof32(i8 %x) #0 {
 374 ; SSE-X86-LABEL: uitofp_i8tof32:
 375 ; SSE-X86:       # %bb.0:
 376 ; SSE-X86-NEXT:    pushl %eax
 377 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
 378 ; SSE-X86-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
 379 ; SSE-X86-NEXT:    cvtsi2ss %eax, %xmm0
 380 ; SSE-X86-NEXT:    movss %xmm0, (%esp)
 381 ; SSE-X86-NEXT:    flds (%esp)
 382 ; SSE-X86-NEXT:    wait
 383 ; SSE-X86-NEXT:    popl %eax
 384 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 4
 385 ; SSE-X86-NEXT:    retl
 386 ;
 387 ; SSE-X64-LABEL: uitofp_i8tof32:
 388 ; SSE-X64:       # %bb.0:
 389 ; SSE-X64-NEXT:    movzbl %dil, %eax
 390 ; SSE-X64-NEXT:    cvtsi2ss %eax, %xmm0
 391 ; SSE-X64-NEXT:    retq
 392 ;
 393 ; AVX-X86-LABEL: uitofp_i8tof32:
 394 ; AVX-X86:       # %bb.0:
 395 ; AVX-X86-NEXT:    pushl %eax
 396 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
 397 ; AVX-X86-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
 398 ; AVX-X86-NEXT:    vcvtsi2ss %eax, %xmm0, %xmm0
 399 ; AVX-X86-NEXT:    vmovss %xmm0, (%esp)
 400 ; AVX-X86-NEXT:    flds (%esp)
 401 ; AVX-X86-NEXT:    wait
 402 ; AVX-X86-NEXT:    popl %eax
 403 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 4
 404 ; AVX-X86-NEXT:    retl
 405 ;
 406 ; AVX-X64-LABEL: uitofp_i8tof32:
 407 ; AVX-X64:       # %bb.0:
 408 ; AVX-X64-NEXT:    movzbl %dil, %eax
 409 ; AVX-X64-NEXT:    vcvtsi2ss %eax, %xmm0, %xmm0
 410 ; AVX-X64-NEXT:    retq
 411 ;
 412 ; X87-LABEL: uitofp_i8tof32:
 413 ; X87:       # %bb.0:
 414 ; X87-NEXT:    pushl %eax
 415 ; X87-NEXT:    .cfi_def_cfa_offset 8
 416 ; X87-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
 417 ; X87-NEXT:    movw %ax, {{[0-9]+}}(%esp)
 418 ; X87-NEXT:    filds {{[0-9]+}}(%esp)
 419 ; X87-NEXT:    wait
 420 ; X87-NEXT:    popl %eax
 421 ; X87-NEXT:    .cfi_def_cfa_offset 4
 422 ; X87-NEXT:    retl
 423   %result = call float @llvm.experimental.constrained.uitofp.f32.i8(i8 %x,
 424                                                metadata !"round.dynamic",
 425                                                metadata !"fpexcept.strict") #0
 426   ret float %result
 427 }
 428
 429 define float @uitofp_i16tof32(i16 %x) #0 {
 430 ; SSE-X86-LABEL: uitofp_i16tof32:
 431 ; SSE-X86:       # %bb.0:
 432 ; SSE-X86-NEXT:    pushl %eax
 433 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
 434 ; SSE-X86-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
 435 ; SSE-X86-NEXT:    cvtsi2ss %eax, %xmm0
 436 ; SSE-X86-NEXT:    movss %xmm0, (%esp)
 437 ; SSE-X86-NEXT:    flds (%esp)
 438 ; SSE-X86-NEXT:    wait
 439 ; SSE-X86-NEXT:    popl %eax
 440 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 4
 441 ; SSE-X86-NEXT:    retl
 442 ;
 443 ; SSE-X64-LABEL: uitofp_i16tof32:
 444 ; SSE-X64:       # %bb.0:
 445 ; SSE-X64-NEXT:    movzwl %di, %eax
 446 ; SSE-X64-NEXT:    cvtsi2ss %eax, %xmm0
 447 ; SSE-X64-NEXT:    retq
 448 ;
 449 ; AVX-X86-LABEL: uitofp_i16tof32:
 450 ; AVX-X86:       # %bb.0:
 451 ; AVX-X86-NEXT:    pushl %eax
 452 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
 453 ; AVX-X86-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
 454 ; AVX-X86-NEXT:    vcvtsi2ss %eax, %xmm0, %xmm0
 455 ; AVX-X86-NEXT:    vmovss %xmm0, (%esp)
 456 ; AVX-X86-NEXT:    flds (%esp)
 457 ; AVX-X86-NEXT:    wait
 458 ; AVX-X86-NEXT:    popl %eax
 459 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 4
 460 ; AVX-X86-NEXT:    retl
 461 ;
 462 ; AVX-X64-LABEL: uitofp_i16tof32:
 463 ; AVX-X64:       # %bb.0:
 464 ; AVX-X64-NEXT:    movzwl %di, %eax
 465 ; AVX-X64-NEXT:    vcvtsi2ss %eax, %xmm0, %xmm0
 466 ; AVX-X64-NEXT:    retq
 467 ;
 468 ; X87-LABEL: uitofp_i16tof32:
 469 ; X87:       # %bb.0:
 470 ; X87-NEXT:    pushl %eax
 471 ; X87-NEXT:    .cfi_def_cfa_offset 8
 472 ; X87-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
 473 ; X87-NEXT:    movl %eax, (%esp)
 474 ; X87-NEXT:    fildl (%esp)
 475 ; X87-NEXT:    wait
 476 ; X87-NEXT:    popl %eax
 477 ; X87-NEXT:    .cfi_def_cfa_offset 4
 478 ; X87-NEXT:    retl
 479   %result = call float @llvm.experimental.constrained.uitofp.f32.i16(i16 %x,
 480                                                metadata !"round.dynamic",
 481                                                metadata !"fpexcept.strict") #0
 482   ret float %result
 483 }
 484
 485 define float @uitofp_i32tof32(i32 %x) #0 {
 486 ; SSE-X86-LABEL: uitofp_i32tof32:
 487 ; SSE-X86:       # %bb.0:
 488 ; SSE-X86-NEXT:    pushl %ebp
 489 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
 490 ; SSE-X86-NEXT:    .cfi_offset %ebp, -8
 491 ; SSE-X86-NEXT:    movl %esp, %ebp
 492 ; SSE-X86-NEXT:    .cfi_def_cfa_register %ebp
 493 ; SSE-X86-NEXT:    andl $-8, %esp
 494 ; SSE-X86-NEXT:    subl $16, %esp
 495 ; SSE-X86-NEXT:    movl 8(%ebp), %eax
 496 ; SSE-X86-NEXT:    movl %eax, {{[0-9]+}}(%esp)
 497 ; SSE-X86-NEXT:    movl $0, {{[0-9]+}}(%esp)
 498 ; SSE-X86-NEXT:    fildll {{[0-9]+}}(%esp)
 499 ; SSE-X86-NEXT:    fstps {{[0-9]+}}(%esp)
 500 ; SSE-X86-NEXT:    flds {{[0-9]+}}(%esp)
 501 ; SSE-X86-NEXT:    wait
 502 ; SSE-X86-NEXT:    movl %ebp, %esp
 503 ; SSE-X86-NEXT:    popl %ebp
 504 ; SSE-X86-NEXT:    .cfi_def_cfa %esp, 4
 505 ; SSE-X86-NEXT:    retl
 506 ;
 507 ; SSE-X64-LABEL: uitofp_i32tof32:
 508 ; SSE-X64:       # %bb.0:
 509 ; SSE-X64-NEXT:    movl %edi, %eax
 510 ; SSE-X64-NEXT:    cvtsi2ss %rax, %xmm0
 511 ; SSE-X64-NEXT:    retq
 512 ;
 513 ; AVX1-X86-LABEL: uitofp_i32tof32:
 514 ; AVX1-X86:       # %bb.0:
 515 ; AVX1-X86-NEXT:    pushl %ebp
 516 ; AVX1-X86-NEXT:    .cfi_def_cfa_offset 8
 517 ; AVX1-X86-NEXT:    .cfi_offset %ebp, -8
 518 ; AVX1-X86-NEXT:    movl %esp, %ebp
 519 ; AVX1-X86-NEXT:    .cfi_def_cfa_register %ebp
 520 ; AVX1-X86-NEXT:    andl $-8, %esp
 521 ; AVX1-X86-NEXT:    subl $16, %esp
 522 ; AVX1-X86-NEXT:    movl 8(%ebp), %eax
 523 ; AVX1-X86-NEXT:    movl %eax, {{[0-9]+}}(%esp)
 524 ; AVX1-X86-NEXT:    movl $0, {{[0-9]+}}(%esp)
 525 ; AVX1-X86-NEXT:    fildll {{[0-9]+}}(%esp)
 526 ; AVX1-X86-NEXT:    fstps {{[0-9]+}}(%esp)
 527 ; AVX1-X86-NEXT:    flds {{[0-9]+}}(%esp)
 528 ; AVX1-X86-NEXT:    wait
 529 ; AVX1-X86-NEXT:    movl %ebp, %esp
 530 ; AVX1-X86-NEXT:    popl %ebp
 531 ; AVX1-X86-NEXT:    .cfi_def_cfa %esp, 4
 532 ; AVX1-X86-NEXT:    retl
 533 ;
 534 ; AVX1-X64-LABEL: uitofp_i32tof32:
 535 ; AVX1-X64:       # %bb.0:
 536 ; AVX1-X64-NEXT:    movl %edi, %eax
 537 ; AVX1-X64-NEXT:    vcvtsi2ss %rax, %xmm0, %xmm0
 538 ; AVX1-X64-NEXT:    retq
 539 ;
 540 ; AVX512-X86-LABEL: uitofp_i32tof32:
 541 ; AVX512-X86:       # %bb.0:
 542 ; AVX512-X86-NEXT:    pushl %eax
 543 ; AVX512-X86-NEXT:    .cfi_def_cfa_offset 8
 544 ; AVX512-X86-NEXT:    vcvtusi2ssl {{[0-9]+}}(%esp), %xmm0, %xmm0
 545 ; AVX512-X86-NEXT:    vmovss %xmm0, (%esp)
 546 ; AVX512-X86-NEXT:    flds (%esp)
 547 ; AVX512-X86-NEXT:    wait
 548 ; AVX512-X86-NEXT:    popl %eax
 549 ; AVX512-X86-NEXT:    .cfi_def_cfa_offset 4
 550 ; AVX512-X86-NEXT:    retl
 551 ;
 552 ; AVX512-X64-LABEL: uitofp_i32tof32:
 553 ; AVX512-X64:       # %bb.0:
 554 ; AVX512-X64-NEXT:    vcvtusi2ss %edi, %xmm0, %xmm0
 555 ; AVX512-X64-NEXT:    retq
 556 ;
 557 ; X87-LABEL: uitofp_i32tof32:
 558 ; X87:       # %bb.0:
 559 ; X87-NEXT:    pushl %ebp
 560 ; X87-NEXT:    .cfi_def_cfa_offset 8
 561 ; X87-NEXT:    .cfi_offset %ebp, -8
 562 ; X87-NEXT:    movl %esp, %ebp
 563 ; X87-NEXT:    .cfi_def_cfa_register %ebp
 564 ; X87-NEXT:    andl $-8, %esp
 565 ; X87-NEXT:    subl $8, %esp
 566 ; X87-NEXT:    movl 8(%ebp), %eax
 567 ; X87-NEXT:    movl %eax, (%esp)
 568 ; X87-NEXT:    movl $0, {{[0-9]+}}(%esp)
 569 ; X87-NEXT:    fildll (%esp)
 570 ; X87-NEXT:    wait
 571 ; X87-NEXT:    movl %ebp, %esp
 572 ; X87-NEXT:    popl %ebp
 573 ; X87-NEXT:    .cfi_def_cfa %esp, 4
 574 ; X87-NEXT:    retl
 575   %result = call float @llvm.experimental.constrained.uitofp.f32.i32(i32 %x,
 576                                                metadata !"round.dynamic",
 577                                                metadata !"fpexcept.strict") #0
 578   ret float %result
 579 }
 580
 581 define float @uitofp_i64tof32(i64 %x) #0 {
 582 ; SSE-X86-LABEL: uitofp_i64tof32:
 583 ; SSE-X86:       # %bb.0:
 584 ; SSE-X86-NEXT:    pushl %ebp
 585 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
 586 ; SSE-X86-NEXT:    .cfi_offset %ebp, -8
 587 ; SSE-X86-NEXT:    movl %esp, %ebp
 588 ; SSE-X86-NEXT:    .cfi_def_cfa_register %ebp
 589 ; SSE-X86-NEXT:    andl $-8, %esp
 590 ; SSE-X86-NEXT:    subl $16, %esp
 591 ; SSE-X86-NEXT:    movl 12(%ebp), %eax
 592 ; SSE-X86-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
 593 ; SSE-X86-NEXT:    movlps %xmm0, {{[0-9]+}}(%esp)
 594 ; SSE-X86-NEXT:    shrl $31, %eax
 595 ; SSE-X86-NEXT:    fildll {{[0-9]+}}(%esp)
 596 ; SSE-X86-NEXT:    fadds {{\.?LCPI[0-9]+_[0-9]+}}(,%eax,4)
 597 ; SSE-X86-NEXT:    fstps {{[0-9]+}}(%esp)
 598 ; SSE-X86-NEXT:    wait
 599 ; SSE-X86-NEXT:    movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
 600 ; SSE-X86-NEXT:    movss %xmm0, (%esp)
 601 ; SSE-X86-NEXT:    flds (%esp)
 602 ; SSE-X86-NEXT:    wait
 603 ; SSE-X86-NEXT:    movl %ebp, %esp
 604 ; SSE-X86-NEXT:    popl %ebp
 605 ; SSE-X86-NEXT:    .cfi_def_cfa %esp, 4
 606 ; SSE-X86-NEXT:    retl
 607 ;
 608 ; SSE-X64-LABEL: uitofp_i64tof32:
 609 ; SSE-X64:       # %bb.0:
 610 ; SSE-X64-NEXT:    movq %rdi, %rax
 611 ; SSE-X64-NEXT:    shrq %rax
 612 ; SSE-X64-NEXT:    movl %edi, %ecx
 613 ; SSE-X64-NEXT:    andl $1, %ecx
 614 ; SSE-X64-NEXT:    orq %rax, %rcx
 615 ; SSE-X64-NEXT:    testq %rdi, %rdi
 616 ; SSE-X64-NEXT:    cmovnsq %rdi, %rcx
 617 ; SSE-X64-NEXT:    cvtsi2ss %rcx, %xmm0
 618 ; SSE-X64-NEXT:    jns .LBB9_2
 619 ; SSE-X64-NEXT:  # %bb.1:
 620 ; SSE-X64-NEXT:    addss %xmm0, %xmm0
 621 ; SSE-X64-NEXT:  .LBB9_2:
 622 ; SSE-X64-NEXT:    retq
 623 ;
 624 ; AVX-X86-LABEL: uitofp_i64tof32:
 625 ; AVX-X86:       # %bb.0:
 626 ; AVX-X86-NEXT:    pushl %ebp
 627 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
 628 ; AVX-X86-NEXT:    .cfi_offset %ebp, -8
 629 ; AVX-X86-NEXT:    movl %esp, %ebp
 630 ; AVX-X86-NEXT:    .cfi_def_cfa_register %ebp
 631 ; AVX-X86-NEXT:    andl $-8, %esp
 632 ; AVX-X86-NEXT:    subl $16, %esp
 633 ; AVX-X86-NEXT:    movl 12(%ebp), %eax
 634 ; AVX-X86-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
 635 ; AVX-X86-NEXT:    vmovlps %xmm0, {{[0-9]+}}(%esp)
 636 ; AVX-X86-NEXT:    shrl $31, %eax
 637 ; AVX-X86-NEXT:    fildll {{[0-9]+}}(%esp)
 638 ; AVX-X86-NEXT:    fadds {{\.?LCPI[0-9]+_[0-9]+}}(,%eax,4)
 639 ; AVX-X86-NEXT:    fstps {{[0-9]+}}(%esp)
 640 ; AVX-X86-NEXT:    wait
 641 ; AVX-X86-NEXT:    vmovss {{.*#+}} xmm0 = mem[0],zero,zero,zero
 642 ; AVX-X86-NEXT:    vmovss %xmm0, (%esp)
 643 ; AVX-X86-NEXT:    flds (%esp)
 644 ; AVX-X86-NEXT:    wait
 645 ; AVX-X86-NEXT:    movl %ebp, %esp
 646 ; AVX-X86-NEXT:    popl %ebp
 647 ; AVX-X86-NEXT:    .cfi_def_cfa %esp, 4
 648 ; AVX-X86-NEXT:    retl
 649 ;
 650 ; AVX1-X64-LABEL: uitofp_i64tof32:
 651 ; AVX1-X64:       # %bb.0:
 652 ; AVX1-X64-NEXT:    movq %rdi, %rax
 653 ; AVX1-X64-NEXT:    shrq %rax
 654 ; AVX1-X64-NEXT:    movl %edi, %ecx
 655 ; AVX1-X64-NEXT:    andl $1, %ecx
 656 ; AVX1-X64-NEXT:    orq %rax, %rcx
 657 ; AVX1-X64-NEXT:    testq %rdi, %rdi
 658 ; AVX1-X64-NEXT:    cmovnsq %rdi, %rcx
 659 ; AVX1-X64-NEXT:    vcvtsi2ss %rcx, %xmm0, %xmm0
 660 ; AVX1-X64-NEXT:    jns .LBB9_2
 661 ; AVX1-X64-NEXT:  # %bb.1:
 662 ; AVX1-X64-NEXT:    vaddss %xmm0, %xmm0, %xmm0
 663 ; AVX1-X64-NEXT:  .LBB9_2:
 664 ; AVX1-X64-NEXT:    retq
 665 ;
 666 ; AVX512-X64-LABEL: uitofp_i64tof32:
 667 ; AVX512-X64:       # %bb.0:
 668 ; AVX512-X64-NEXT:    vcvtusi2ss %rdi, %xmm0, %xmm0
 669 ; AVX512-X64-NEXT:    retq
 670 ;
 671 ; X87-LABEL: uitofp_i64tof32:
 672 ; X87:       # %bb.0:
 673 ; X87-NEXT:    pushl %ebp
 674 ; X87-NEXT:    .cfi_def_cfa_offset 8
 675 ; X87-NEXT:    .cfi_offset %ebp, -8
 676 ; X87-NEXT:    movl %esp, %ebp
 677 ; X87-NEXT:    .cfi_def_cfa_register %ebp
 678 ; X87-NEXT:    andl $-8, %esp
 679 ; X87-NEXT:    subl $16, %esp
 680 ; X87-NEXT:    movl 8(%ebp), %eax
 681 ; X87-NEXT:    movl 12(%ebp), %ecx
 682 ; X87-NEXT:    movl %ecx, {{[0-9]+}}(%esp)
 683 ; X87-NEXT:    movl %eax, {{[0-9]+}}(%esp)
 684 ; X87-NEXT:    shrl $31, %ecx
 685 ; X87-NEXT:    fildll {{[0-9]+}}(%esp)
 686 ; X87-NEXT:    fadds {{\.?LCPI[0-9]+_[0-9]+}}(,%ecx,4)
 687 ; X87-NEXT:    fstps {{[0-9]+}}(%esp)
 688 ; X87-NEXT:    flds {{[0-9]+}}(%esp)
 689 ; X87-NEXT:    wait
 690 ; X87-NEXT:    movl %ebp, %esp
 691 ; X87-NEXT:    popl %ebp
 692 ; X87-NEXT:    .cfi_def_cfa %esp, 4
 693 ; X87-NEXT:    retl
 694   %result = call float @llvm.experimental.constrained.uitofp.f32.i64(i64 %x,
 695                                                metadata !"round.dynamic",
 696                                                metadata !"fpexcept.strict") #0
 697   ret float %result
 698 }
 699
 700 define double @sitofp_i8tof64(i8 %x) #0 {
 701 ; SSE-X86-LABEL: sitofp_i8tof64:
 702 ; SSE-X86:       # %bb.0:
 703 ; SSE-X86-NEXT:    pushl %ebp
 704 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
 705 ; SSE-X86-NEXT:    .cfi_offset %ebp, -8
 706 ; SSE-X86-NEXT:    movl %esp, %ebp
 707 ; SSE-X86-NEXT:    .cfi_def_cfa_register %ebp
 708 ; SSE-X86-NEXT:    andl $-8, %esp
 709 ; SSE-X86-NEXT:    subl $8, %esp
 710 ; SSE-X86-NEXT:    movsbl 8(%ebp), %eax
 711 ; SSE-X86-NEXT:    cvtsi2sd %eax, %xmm0
 712 ; SSE-X86-NEXT:    movsd %xmm0, (%esp)
 713 ; SSE-X86-NEXT:    fldl (%esp)
 714 ; SSE-X86-NEXT:    wait
 715 ; SSE-X86-NEXT:    movl %ebp, %esp
 716 ; SSE-X86-NEXT:    popl %ebp
 717 ; SSE-X86-NEXT:    .cfi_def_cfa %esp, 4
 718 ; SSE-X86-NEXT:    retl
 719 ;
 720 ; SSE-X64-LABEL: sitofp_i8tof64:
 721 ; SSE-X64:       # %bb.0:
 722 ; SSE-X64-NEXT:    movsbl %dil, %eax
 723 ; SSE-X64-NEXT:    cvtsi2sd %eax, %xmm0
 724 ; SSE-X64-NEXT:    retq
 725 ;
 726 ; AVX-X86-LABEL: sitofp_i8tof64:
 727 ; AVX-X86:       # %bb.0:
 728 ; AVX-X86-NEXT:    pushl %ebp
 729 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
 730 ; AVX-X86-NEXT:    .cfi_offset %ebp, -8
 731 ; AVX-X86-NEXT:    movl %esp, %ebp
 732 ; AVX-X86-NEXT:    .cfi_def_cfa_register %ebp
 733 ; AVX-X86-NEXT:    andl $-8, %esp
 734 ; AVX-X86-NEXT:    subl $8, %esp
 735 ; AVX-X86-NEXT:    movsbl 8(%ebp), %eax
 736 ; AVX-X86-NEXT:    vcvtsi2sd %eax, %xmm0, %xmm0
 737 ; AVX-X86-NEXT:    vmovsd %xmm0, (%esp)
 738 ; AVX-X86-NEXT:    fldl (%esp)
 739 ; AVX-X86-NEXT:    wait
 740 ; AVX-X86-NEXT:    movl %ebp, %esp
 741 ; AVX-X86-NEXT:    popl %ebp
 742 ; AVX-X86-NEXT:    .cfi_def_cfa %esp, 4
 743 ; AVX-X86-NEXT:    retl
 744 ;
 745 ; AVX-X64-LABEL: sitofp_i8tof64:
 746 ; AVX-X64:       # %bb.0:
 747 ; AVX-X64-NEXT:    movsbl %dil, %eax
 748 ; AVX-X64-NEXT:    vcvtsi2sd %eax, %xmm0, %xmm0
 749 ; AVX-X64-NEXT:    retq
 750 ;
 751 ; X87-LABEL: sitofp_i8tof64:
 752 ; X87:       # %bb.0:
 753 ; X87-NEXT:    pushl %eax
 754 ; X87-NEXT:    .cfi_def_cfa_offset 8
 755 ; X87-NEXT:    movsbl {{[0-9]+}}(%esp), %eax
 756 ; X87-NEXT:    movw %ax, {{[0-9]+}}(%esp)
 757 ; X87-NEXT:    filds {{[0-9]+}}(%esp)
 758 ; X87-NEXT:    wait
 759 ; X87-NEXT:    popl %eax
 760 ; X87-NEXT:    .cfi_def_cfa_offset 4
 761 ; X87-NEXT:    retl
 762   %result = call double @llvm.experimental.constrained.sitofp.f64.i8(i8 %x,
 763                                                metadata !"round.dynamic",
 764                                                metadata !"fpexcept.strict") #0
 765   ret double %result
 766 }
 767
 768 define double @sitofp_i16tof64(i16 %x) #0 {
 769 ; SSE-X86-LABEL: sitofp_i16tof64:
 770 ; SSE-X86:       # %bb.0:
 771 ; SSE-X86-NEXT:    pushl %ebp
 772 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
 773 ; SSE-X86-NEXT:    .cfi_offset %ebp, -8
 774 ; SSE-X86-NEXT:    movl %esp, %ebp
 775 ; SSE-X86-NEXT:    .cfi_def_cfa_register %ebp
 776 ; SSE-X86-NEXT:    andl $-8, %esp
 777 ; SSE-X86-NEXT:    subl $8, %esp
 778 ; SSE-X86-NEXT:    movswl 8(%ebp), %eax
 779 ; SSE-X86-NEXT:    cvtsi2sd %eax, %xmm0
 780 ; SSE-X86-NEXT:    movsd %xmm0, (%esp)
 781 ; SSE-X86-NEXT:    fldl (%esp)
 782 ; SSE-X86-NEXT:    wait
 783 ; SSE-X86-NEXT:    movl %ebp, %esp
 784 ; SSE-X86-NEXT:    popl %ebp
 785 ; SSE-X86-NEXT:    .cfi_def_cfa %esp, 4
 786 ; SSE-X86-NEXT:    retl
 787 ;
 788 ; SSE-X64-LABEL: sitofp_i16tof64:
 789 ; SSE-X64:       # %bb.0:
 790 ; SSE-X64-NEXT:    movswl %di, %eax
 791 ; SSE-X64-NEXT:    cvtsi2sd %eax, %xmm0
 792 ; SSE-X64-NEXT:    retq
 793 ;
 794 ; AVX-X86-LABEL: sitofp_i16tof64:
 795 ; AVX-X86:       # %bb.0:
 796 ; AVX-X86-NEXT:    pushl %ebp
 797 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
 798 ; AVX-X86-NEXT:    .cfi_offset %ebp, -8
 799 ; AVX-X86-NEXT:    movl %esp, %ebp
 800 ; AVX-X86-NEXT:    .cfi_def_cfa_register %ebp
 801 ; AVX-X86-NEXT:    andl $-8, %esp
 802 ; AVX-X86-NEXT:    subl $8, %esp
 803 ; AVX-X86-NEXT:    movswl 8(%ebp), %eax
 804 ; AVX-X86-NEXT:    vcvtsi2sd %eax, %xmm0, %xmm0
 805 ; AVX-X86-NEXT:    vmovsd %xmm0, (%esp)
 806 ; AVX-X86-NEXT:    fldl (%esp)
 807 ; AVX-X86-NEXT:    wait
 808 ; AVX-X86-NEXT:    movl %ebp, %esp
 809 ; AVX-X86-NEXT:    popl %ebp
 810 ; AVX-X86-NEXT:    .cfi_def_cfa %esp, 4
 811 ; AVX-X86-NEXT:    retl
 812 ;
 813 ; AVX-X64-LABEL: sitofp_i16tof64:
 814 ; AVX-X64:       # %bb.0:
 815 ; AVX-X64-NEXT:    movswl %di, %eax
 816 ; AVX-X64-NEXT:    vcvtsi2sd %eax, %xmm0, %xmm0
 817 ; AVX-X64-NEXT:    retq
 818 ;
 819 ; X87-LABEL: sitofp_i16tof64:
 820 ; X87:       # %bb.0:
 821 ; X87-NEXT:    pushl %eax
 822 ; X87-NEXT:    .cfi_def_cfa_offset 8
 823 ; X87-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
 824 ; X87-NEXT:    movw %ax, {{[0-9]+}}(%esp)
 825 ; X87-NEXT:    filds {{[0-9]+}}(%esp)
 826 ; X87-NEXT:    wait
 827 ; X87-NEXT:    popl %eax
 828 ; X87-NEXT:    .cfi_def_cfa_offset 4
 829 ; X87-NEXT:    retl
 830   %result = call double @llvm.experimental.constrained.sitofp.f64.i16(i16 %x,
 831                                                metadata !"round.dynamic",
 832                                                metadata !"fpexcept.strict") #0
 833   ret double %result
 834 }
 835
 836 define double @sitofp_i32tof64(i32 %x) #0 {
 837 ; SSE-X86-LABEL: sitofp_i32tof64:
 838 ; SSE-X86:       # %bb.0:
 839 ; SSE-X86-NEXT:    pushl %ebp
 840 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
 841 ; SSE-X86-NEXT:    .cfi_offset %ebp, -8
 842 ; SSE-X86-NEXT:    movl %esp, %ebp
 843 ; SSE-X86-NEXT:    .cfi_def_cfa_register %ebp
 844 ; SSE-X86-NEXT:    andl $-8, %esp
 845 ; SSE-X86-NEXT:    subl $8, %esp
 846 ; SSE-X86-NEXT:    cvtsi2sdl 8(%ebp), %xmm0
 847 ; SSE-X86-NEXT:    movsd %xmm0, (%esp)
 848 ; SSE-X86-NEXT:    fldl (%esp)
 849 ; SSE-X86-NEXT:    wait
 850 ; SSE-X86-NEXT:    movl %ebp, %esp
 851 ; SSE-X86-NEXT:    popl %ebp
 852 ; SSE-X86-NEXT:    .cfi_def_cfa %esp, 4
 853 ; SSE-X86-NEXT:    retl
 854 ;
 855 ; SSE-X64-LABEL: sitofp_i32tof64:
 856 ; SSE-X64:       # %bb.0:
 857 ; SSE-X64-NEXT:    cvtsi2sd %edi, %xmm0
 858 ; SSE-X64-NEXT:    retq
 859 ;
 860 ; AVX-X86-LABEL: sitofp_i32tof64:
 861 ; AVX-X86:       # %bb.0:
 862 ; AVX-X86-NEXT:    pushl %ebp
 863 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
 864 ; AVX-X86-NEXT:    .cfi_offset %ebp, -8
 865 ; AVX-X86-NEXT:    movl %esp, %ebp
 866 ; AVX-X86-NEXT:    .cfi_def_cfa_register %ebp
 867 ; AVX-X86-NEXT:    andl $-8, %esp
 868 ; AVX-X86-NEXT:    subl $8, %esp
 869 ; AVX-X86-NEXT:    vcvtsi2sdl 8(%ebp), %xmm0, %xmm0
 870 ; AVX-X86-NEXT:    vmovsd %xmm0, (%esp)
 871 ; AVX-X86-NEXT:    fldl (%esp)
 872 ; AVX-X86-NEXT:    wait
 873 ; AVX-X86-NEXT:    movl %ebp, %esp
 874 ; AVX-X86-NEXT:    popl %ebp
 875 ; AVX-X86-NEXT:    .cfi_def_cfa %esp, 4
 876 ; AVX-X86-NEXT:    retl
 877 ;
 878 ; AVX-X64-LABEL: sitofp_i32tof64:
 879 ; AVX-X64:       # %bb.0:
 880 ; AVX-X64-NEXT:    vcvtsi2sd %edi, %xmm0, %xmm0
 881 ; AVX-X64-NEXT:    retq
 882 ;
 883 ; X87-LABEL: sitofp_i32tof64:
 884 ; X87:       # %bb.0:
 885 ; X87-NEXT:    pushl %eax
 886 ; X87-NEXT:    .cfi_def_cfa_offset 8
 887 ; X87-NEXT:    movl {{[0-9]+}}(%esp), %eax
 888 ; X87-NEXT:    movl %eax, (%esp)
 889 ; X87-NEXT:    fildl (%esp)
 890 ; X87-NEXT:    wait
 891 ; X87-NEXT:    popl %eax
 892 ; X87-NEXT:    .cfi_def_cfa_offset 4
 893 ; X87-NEXT:    retl
 894   %result = call double @llvm.experimental.constrained.sitofp.f64.i32(i32 %x,
 895                                                metadata !"round.dynamic",
 896                                                metadata !"fpexcept.strict") #0
 897   ret double %result
 898 }
 899
 900 define double @sitofp_i64tof64(i64 %x) #0 {
 901 ; SSE-X86-LABEL: sitofp_i64tof64:
 902 ; SSE-X86:       # %bb.0:
 903 ; SSE-X86-NEXT:    pushl %ebp
 904 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
 905 ; SSE-X86-NEXT:    .cfi_offset %ebp, -8
 906 ; SSE-X86-NEXT:    movl %esp, %ebp
 907 ; SSE-X86-NEXT:    .cfi_def_cfa_register %ebp
 908 ; SSE-X86-NEXT:    andl $-8, %esp
 909 ; SSE-X86-NEXT:    subl $8, %esp
 910 ; SSE-X86-NEXT:    fildll 8(%ebp)
 911 ; SSE-X86-NEXT:    fstpl (%esp)
 912 ; SSE-X86-NEXT:    fldl (%esp)
 913 ; SSE-X86-NEXT:    wait
 914 ; SSE-X86-NEXT:    movl %ebp, %esp
 915 ; SSE-X86-NEXT:    popl %ebp
 916 ; SSE-X86-NEXT:    .cfi_def_cfa %esp, 4
 917 ; SSE-X86-NEXT:    retl
 918 ;
 919 ; SSE-X64-LABEL: sitofp_i64tof64:
 920 ; SSE-X64:       # %bb.0:
 921 ; SSE-X64-NEXT:    cvtsi2sd %rdi, %xmm0
 922 ; SSE-X64-NEXT:    retq
 923 ;
 924 ; AVX-X86-LABEL: sitofp_i64tof64:
 925 ; AVX-X86:       # %bb.0:
 926 ; AVX-X86-NEXT:    pushl %ebp
 927 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
 928 ; AVX-X86-NEXT:    .cfi_offset %ebp, -8
 929 ; AVX-X86-NEXT:    movl %esp, %ebp
 930 ; AVX-X86-NEXT:    .cfi_def_cfa_register %ebp
 931 ; AVX-X86-NEXT:    andl $-8, %esp
 932 ; AVX-X86-NEXT:    subl $8, %esp
 933 ; AVX-X86-NEXT:    fildll 8(%ebp)
 934 ; AVX-X86-NEXT:    fstpl (%esp)
 935 ; AVX-X86-NEXT:    fldl (%esp)
 936 ; AVX-X86-NEXT:    wait
 937 ; AVX-X86-NEXT:    movl %ebp, %esp
 938 ; AVX-X86-NEXT:    popl %ebp
 939 ; AVX-X86-NEXT:    .cfi_def_cfa %esp, 4
 940 ; AVX-X86-NEXT:    retl
 941 ;
 942 ; AVX-X64-LABEL: sitofp_i64tof64:
 943 ; AVX-X64:       # %bb.0:
 944 ; AVX-X64-NEXT:    vcvtsi2sd %rdi, %xmm0, %xmm0
 945 ; AVX-X64-NEXT:    retq
 946 ;
 947 ; X87-LABEL: sitofp_i64tof64:
 948 ; X87:       # %bb.0:
 949 ; X87-NEXT:    fildll {{[0-9]+}}(%esp)
 950 ; X87-NEXT:    wait
 951 ; X87-NEXT:    retl
 952   %result = call double @llvm.experimental.constrained.sitofp.f64.i64(i64 %x,
 953                                                metadata !"round.dynamic",
 954                                                metadata !"fpexcept.strict") #0
 955   ret double %result
 956 }
 957
 958 define double @uitofp_i1tof64(i1 %x) #0 {
 959 ; SSE-X86-LABEL: uitofp_i1tof64:
 960 ; SSE-X86:       # %bb.0:
 961 ; SSE-X86-NEXT:    pushl %ebp
 962 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
 963 ; SSE-X86-NEXT:    .cfi_offset %ebp, -8
 964 ; SSE-X86-NEXT:    movl %esp, %ebp
 965 ; SSE-X86-NEXT:    .cfi_def_cfa_register %ebp
 966 ; SSE-X86-NEXT:    andl $-8, %esp
 967 ; SSE-X86-NEXT:    subl $8, %esp
 968 ; SSE-X86-NEXT:    movzbl 8(%ebp), %eax
 969 ; SSE-X86-NEXT:    andb $1, %al
 970 ; SSE-X86-NEXT:    movzbl %al, %eax
 971 ; SSE-X86-NEXT:    cvtsi2sd %eax, %xmm0
 972 ; SSE-X86-NEXT:    movsd %xmm0, (%esp)
 973 ; SSE-X86-NEXT:    fldl (%esp)
 974 ; SSE-X86-NEXT:    wait
 975 ; SSE-X86-NEXT:    movl %ebp, %esp
 976 ; SSE-X86-NEXT:    popl %ebp
 977 ; SSE-X86-NEXT:    .cfi_def_cfa %esp, 4
 978 ; SSE-X86-NEXT:    retl
 979 ;
 980 ; SSE-X64-LABEL: uitofp_i1tof64:
 981 ; SSE-X64:       # %bb.0:
 982 ; SSE-X64-NEXT:    andl $1, %edi
 983 ; SSE-X64-NEXT:    cvtsi2sd %edi, %xmm0
 984 ; SSE-X64-NEXT:    retq
 985 ;
 986 ; AVX-X86-LABEL: uitofp_i1tof64:
 987 ; AVX-X86:       # %bb.0:
 988 ; AVX-X86-NEXT:    pushl %ebp
 989 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
 990 ; AVX-X86-NEXT:    .cfi_offset %ebp, -8
 991 ; AVX-X86-NEXT:    movl %esp, %ebp
 992 ; AVX-X86-NEXT:    .cfi_def_cfa_register %ebp
 993 ; AVX-X86-NEXT:    andl $-8, %esp
 994 ; AVX-X86-NEXT:    subl $8, %esp
 995 ; AVX-X86-NEXT:    movzbl 8(%ebp), %eax
 996 ; AVX-X86-NEXT:    andb $1, %al
 997 ; AVX-X86-NEXT:    movzbl %al, %eax
 998 ; AVX-X86-NEXT:    vcvtsi2sd %eax, %xmm0, %xmm0
 999 ; AVX-X86-NEXT:    vmovsd %xmm0, (%esp)
1000 ; AVX-X86-NEXT:    fldl (%esp)
1001 ; AVX-X86-NEXT:    wait
1002 ; AVX-X86-NEXT:    movl %ebp, %esp
1003 ; AVX-X86-NEXT:    popl %ebp
1004 ; AVX-X86-NEXT:    .cfi_def_cfa %esp, 4
1005 ; AVX-X86-NEXT:    retl
1006 ;
1007 ; AVX-X64-LABEL: uitofp_i1tof64:
1008 ; AVX-X64:       # %bb.0:
1009 ; AVX-X64-NEXT:    andl $1, %edi
1010 ; AVX-X64-NEXT:    vcvtsi2sd %edi, %xmm0, %xmm0
1011 ; AVX-X64-NEXT:    retq
1012 ;
1013 ; X87-LABEL: uitofp_i1tof64:
1014 ; X87:       # %bb.0:
1015 ; X87-NEXT:    pushl %eax
1016 ; X87-NEXT:    .cfi_def_cfa_offset 8
1017 ; X87-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
1018 ; X87-NEXT:    andb $1, %al
1019 ; X87-NEXT:    movzbl %al, %eax
1020 ; X87-NEXT:    movw %ax, {{[0-9]+}}(%esp)
1021 ; X87-NEXT:    filds {{[0-9]+}}(%esp)
1022 ; X87-NEXT:    wait
1023 ; X87-NEXT:    popl %eax
1024 ; X87-NEXT:    .cfi_def_cfa_offset 4
1025 ; X87-NEXT:    retl
1026   %result = call double @llvm.experimental.constrained.uitofp.f64.i1(i1 %x,
1027                                                metadata !"round.dynamic",
1028                                                metadata !"fpexcept.strict") #0
1029   ret double %result
1030 }
1031
1032 define double @uitofp_i8tof64(i8 %x) #0 {
1033 ; SSE-X86-LABEL: uitofp_i8tof64:
1034 ; SSE-X86:       # %bb.0:
1035 ; SSE-X86-NEXT:    pushl %ebp
1036 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
1037 ; SSE-X86-NEXT:    .cfi_offset %ebp, -8
1038 ; SSE-X86-NEXT:    movl %esp, %ebp
1039 ; SSE-X86-NEXT:    .cfi_def_cfa_register %ebp
1040 ; SSE-X86-NEXT:    andl $-8, %esp
1041 ; SSE-X86-NEXT:    subl $8, %esp
1042 ; SSE-X86-NEXT:    movzbl 8(%ebp), %eax
1043 ; SSE-X86-NEXT:    cvtsi2sd %eax, %xmm0
1044 ; SSE-X86-NEXT:    movsd %xmm0, (%esp)
1045 ; SSE-X86-NEXT:    fldl (%esp)
1046 ; SSE-X86-NEXT:    wait
1047 ; SSE-X86-NEXT:    movl %ebp, %esp
1048 ; SSE-X86-NEXT:    popl %ebp
1049 ; SSE-X86-NEXT:    .cfi_def_cfa %esp, 4
1050 ; SSE-X86-NEXT:    retl
1051 ;
1052 ; SSE-X64-LABEL: uitofp_i8tof64:
1053 ; SSE-X64:       # %bb.0:
1054 ; SSE-X64-NEXT:    movzbl %dil, %eax
1055 ; SSE-X64-NEXT:    cvtsi2sd %eax, %xmm0
1056 ; SSE-X64-NEXT:    retq
1057 ;
1058 ; AVX-X86-LABEL: uitofp_i8tof64:
1059 ; AVX-X86:       # %bb.0:
1060 ; AVX-X86-NEXT:    pushl %ebp
1061 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
1062 ; AVX-X86-NEXT:    .cfi_offset %ebp, -8
1063 ; AVX-X86-NEXT:    movl %esp, %ebp
1064 ; AVX-X86-NEXT:    .cfi_def_cfa_register %ebp
1065 ; AVX-X86-NEXT:    andl $-8, %esp
1066 ; AVX-X86-NEXT:    subl $8, %esp
1067 ; AVX-X86-NEXT:    movzbl 8(%ebp), %eax
1068 ; AVX-X86-NEXT:    vcvtsi2sd %eax, %xmm0, %xmm0
1069 ; AVX-X86-NEXT:    vmovsd %xmm0, (%esp)
1070 ; AVX-X86-NEXT:    fldl (%esp)
1071 ; AVX-X86-NEXT:    wait
1072 ; AVX-X86-NEXT:    movl %ebp, %esp
1073 ; AVX-X86-NEXT:    popl %ebp
1074 ; AVX-X86-NEXT:    .cfi_def_cfa %esp, 4
1075 ; AVX-X86-NEXT:    retl
1076 ;
1077 ; AVX-X64-LABEL: uitofp_i8tof64:
1078 ; AVX-X64:       # %bb.0:
1079 ; AVX-X64-NEXT:    movzbl %dil, %eax
1080 ; AVX-X64-NEXT:    vcvtsi2sd %eax, %xmm0, %xmm0
1081 ; AVX-X64-NEXT:    retq
1082 ;
1083 ; X87-LABEL: uitofp_i8tof64:
1084 ; X87:       # %bb.0:
1085 ; X87-NEXT:    pushl %eax
1086 ; X87-NEXT:    .cfi_def_cfa_offset 8
1087 ; X87-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
1088 ; X87-NEXT:    movw %ax, {{[0-9]+}}(%esp)
1089 ; X87-NEXT:    filds {{[0-9]+}}(%esp)
1090 ; X87-NEXT:    wait
1091 ; X87-NEXT:    popl %eax
1092 ; X87-NEXT:    .cfi_def_cfa_offset 4
1093 ; X87-NEXT:    retl
1094   %result = call double @llvm.experimental.constrained.uitofp.f64.i8(i8 %x,
1095                                                metadata !"round.dynamic",
1096                                                metadata !"fpexcept.strict") #0
1097   ret double %result
1098 }
1099
1100 define double @uitofp_i16tof64(i16 %x) #0 {
1101 ; SSE-X86-LABEL: uitofp_i16tof64:
1102 ; SSE-X86:       # %bb.0:
1103 ; SSE-X86-NEXT:    pushl %ebp
1104 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
1105 ; SSE-X86-NEXT:    .cfi_offset %ebp, -8
1106 ; SSE-X86-NEXT:    movl %esp, %ebp
1107 ; SSE-X86-NEXT:    .cfi_def_cfa_register %ebp
1108 ; SSE-X86-NEXT:    andl $-8, %esp
1109 ; SSE-X86-NEXT:    subl $8, %esp
1110 ; SSE-X86-NEXT:    movzwl 8(%ebp), %eax
1111 ; SSE-X86-NEXT:    cvtsi2sd %eax, %xmm0
1112 ; SSE-X86-NEXT:    movsd %xmm0, (%esp)
1113 ; SSE-X86-NEXT:    fldl (%esp)
1114 ; SSE-X86-NEXT:    wait
1115 ; SSE-X86-NEXT:    movl %ebp, %esp
1116 ; SSE-X86-NEXT:    popl %ebp
1117 ; SSE-X86-NEXT:    .cfi_def_cfa %esp, 4
1118 ; SSE-X86-NEXT:    retl
1119 ;
1120 ; SSE-X64-LABEL: uitofp_i16tof64:
1121 ; SSE-X64:       # %bb.0:
1122 ; SSE-X64-NEXT:    movzwl %di, %eax
1123 ; SSE-X64-NEXT:    cvtsi2sd %eax, %xmm0
1124 ; SSE-X64-NEXT:    retq
1125 ;
1126 ; AVX-X86-LABEL: uitofp_i16tof64:
1127 ; AVX-X86:       # %bb.0:
1128 ; AVX-X86-NEXT:    pushl %ebp
1129 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
1130 ; AVX-X86-NEXT:    .cfi_offset %ebp, -8
1131 ; AVX-X86-NEXT:    movl %esp, %ebp
1132 ; AVX-X86-NEXT:    .cfi_def_cfa_register %ebp
1133 ; AVX-X86-NEXT:    andl $-8, %esp
1134 ; AVX-X86-NEXT:    subl $8, %esp
1135 ; AVX-X86-NEXT:    movzwl 8(%ebp), %eax
1136 ; AVX-X86-NEXT:    vcvtsi2sd %eax, %xmm0, %xmm0
1137 ; AVX-X86-NEXT:    vmovsd %xmm0, (%esp)
1138 ; AVX-X86-NEXT:    fldl (%esp)
1139 ; AVX-X86-NEXT:    wait
1140 ; AVX-X86-NEXT:    movl %ebp, %esp
1141 ; AVX-X86-NEXT:    popl %ebp
1142 ; AVX-X86-NEXT:    .cfi_def_cfa %esp, 4
1143 ; AVX-X86-NEXT:    retl
1144 ;
1145 ; AVX-X64-LABEL: uitofp_i16tof64:
1146 ; AVX-X64:       # %bb.0:
1147 ; AVX-X64-NEXT:    movzwl %di, %eax
1148 ; AVX-X64-NEXT:    vcvtsi2sd %eax, %xmm0, %xmm0
1149 ; AVX-X64-NEXT:    retq
1150 ;
1151 ; X87-LABEL: uitofp_i16tof64:
1152 ; X87:       # %bb.0:
1153 ; X87-NEXT:    pushl %eax
1154 ; X87-NEXT:    .cfi_def_cfa_offset 8
1155 ; X87-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
1156 ; X87-NEXT:    movl %eax, (%esp)
1157 ; X87-NEXT:    fildl (%esp)
1158 ; X87-NEXT:    wait
1159 ; X87-NEXT:    popl %eax
1160 ; X87-NEXT:    .cfi_def_cfa_offset 4
1161 ; X87-NEXT:    retl
1162   %result = call double @llvm.experimental.constrained.uitofp.f64.i16(i16 %x,
1163                                                metadata !"round.dynamic",
1164                                                metadata !"fpexcept.strict") #0
1165   ret double %result
1166 }
1167
1168 define double @uitofp_i32tof64(i32 %x) #0 {
1169 ; SSE-X86-LABEL: uitofp_i32tof64:
1170 ; SSE-X86:       # %bb.0:
1171 ; SSE-X86-NEXT:    pushl %ebp
1172 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
1173 ; SSE-X86-NEXT:    .cfi_offset %ebp, -8
1174 ; SSE-X86-NEXT:    movl %esp, %ebp
1175 ; SSE-X86-NEXT:    .cfi_def_cfa_register %ebp
1176 ; SSE-X86-NEXT:    andl $-8, %esp
1177 ; SSE-X86-NEXT:    subl $16, %esp
1178 ; SSE-X86-NEXT:    movl 8(%ebp), %eax
1179 ; SSE-X86-NEXT:    movl %eax, (%esp)
1180 ; SSE-X86-NEXT:    movl $0, {{[0-9]+}}(%esp)
1181 ; SSE-X86-NEXT:    fildll (%esp)
1182 ; SSE-X86-NEXT:    fstpl {{[0-9]+}}(%esp)
1183 ; SSE-X86-NEXT:    fldl {{[0-9]+}}(%esp)
1184 ; SSE-X86-NEXT:    wait
1185 ; SSE-X86-NEXT:    movl %ebp, %esp
1186 ; SSE-X86-NEXT:    popl %ebp
1187 ; SSE-X86-NEXT:    .cfi_def_cfa %esp, 4
1188 ; SSE-X86-NEXT:    retl
1189 ;
1190 ; SSE-X64-LABEL: uitofp_i32tof64:
1191 ; SSE-X64:       # %bb.0:
1192 ; SSE-X64-NEXT:    movl %edi, %eax
1193 ; SSE-X64-NEXT:    cvtsi2sd %rax, %xmm0
1194 ; SSE-X64-NEXT:    retq
1195 ;
1196 ; AVX1-X86-LABEL: uitofp_i32tof64:
1197 ; AVX1-X86:       # %bb.0:
1198 ; AVX1-X86-NEXT:    pushl %ebp
1199 ; AVX1-X86-NEXT:    .cfi_def_cfa_offset 8
1200 ; AVX1-X86-NEXT:    .cfi_offset %ebp, -8
1201 ; AVX1-X86-NEXT:    movl %esp, %ebp
1202 ; AVX1-X86-NEXT:    .cfi_def_cfa_register %ebp
1203 ; AVX1-X86-NEXT:    andl $-8, %esp
1204 ; AVX1-X86-NEXT:    subl $16, %esp
1205 ; AVX1-X86-NEXT:    movl 8(%ebp), %eax
1206 ; AVX1-X86-NEXT:    movl %eax, (%esp)
1207 ; AVX1-X86-NEXT:    movl $0, {{[0-9]+}}(%esp)
1208 ; AVX1-X86-NEXT:    fildll (%esp)
1209 ; AVX1-X86-NEXT:    fstpl {{[0-9]+}}(%esp)
1210 ; AVX1-X86-NEXT:    fldl {{[0-9]+}}(%esp)
1211 ; AVX1-X86-NEXT:    wait
1212 ; AVX1-X86-NEXT:    movl %ebp, %esp
1213 ; AVX1-X86-NEXT:    popl %ebp
1214 ; AVX1-X86-NEXT:    .cfi_def_cfa %esp, 4
1215 ; AVX1-X86-NEXT:    retl
1216 ;
1217 ; AVX1-X64-LABEL: uitofp_i32tof64:
1218 ; AVX1-X64:       # %bb.0:
1219 ; AVX1-X64-NEXT:    movl %edi, %eax
1220 ; AVX1-X64-NEXT:    vcvtsi2sd %rax, %xmm0, %xmm0
1221 ; AVX1-X64-NEXT:    retq
1222 ;
1223 ; AVX512-X86-LABEL: uitofp_i32tof64:
1224 ; AVX512-X86:       # %bb.0:
1225 ; AVX512-X86-NEXT:    pushl %ebp
1226 ; AVX512-X86-NEXT:    .cfi_def_cfa_offset 8
1227 ; AVX512-X86-NEXT:    .cfi_offset %ebp, -8
1228 ; AVX512-X86-NEXT:    movl %esp, %ebp
1229 ; AVX512-X86-NEXT:    .cfi_def_cfa_register %ebp
1230 ; AVX512-X86-NEXT:    andl $-8, %esp
1231 ; AVX512-X86-NEXT:    subl $8, %esp
1232 ; AVX512-X86-NEXT:    vcvtusi2sdl 8(%ebp), %xmm0, %xmm0
1233 ; AVX512-X86-NEXT:    vmovsd %xmm0, (%esp)
1234 ; AVX512-X86-NEXT:    fldl (%esp)
1235 ; AVX512-X86-NEXT:    wait
1236 ; AVX512-X86-NEXT:    movl %ebp, %esp
1237 ; AVX512-X86-NEXT:    popl %ebp
1238 ; AVX512-X86-NEXT:    .cfi_def_cfa %esp, 4
1239 ; AVX512-X86-NEXT:    retl
1240 ;
1241 ; AVX512-X64-LABEL: uitofp_i32tof64:
1242 ; AVX512-X64:       # %bb.0:
1243 ; AVX512-X64-NEXT:    vcvtusi2sd %edi, %xmm0, %xmm0
1244 ; AVX512-X64-NEXT:    retq
1245 ;
1246 ; X87-LABEL: uitofp_i32tof64:
1247 ; X87:       # %bb.0:
1248 ; X87-NEXT:    pushl %ebp
1249 ; X87-NEXT:    .cfi_def_cfa_offset 8
1250 ; X87-NEXT:    .cfi_offset %ebp, -8
1251 ; X87-NEXT:    movl %esp, %ebp
1252 ; X87-NEXT:    .cfi_def_cfa_register %ebp
1253 ; X87-NEXT:    andl $-8, %esp
1254 ; X87-NEXT:    subl $8, %esp
1255 ; X87-NEXT:    movl 8(%ebp), %eax
1256 ; X87-NEXT:    movl %eax, (%esp)
1257 ; X87-NEXT:    movl $0, {{[0-9]+}}(%esp)
1258 ; X87-NEXT:    fildll (%esp)
1259 ; X87-NEXT:    wait
1260 ; X87-NEXT:    movl %ebp, %esp
1261 ; X87-NEXT:    popl %ebp
1262 ; X87-NEXT:    .cfi_def_cfa %esp, 4
1263 ; X87-NEXT:    retl
1264   %result = call double @llvm.experimental.constrained.uitofp.f64.i32(i32 %x,
1265                                                metadata !"round.dynamic",
1266                                                metadata !"fpexcept.strict") #0
1267   ret double %result
1268 }
1269
1270 define double @uitofp_i64tof64(i64 %x) #0 {
1271 ; SSE-X86-LABEL: uitofp_i64tof64:
1272 ; SSE-X86:       # %bb.0:
1273 ; SSE-X86-NEXT:    pushl %ebp
1274 ; SSE-X86-NEXT:    .cfi_def_cfa_offset 8
1275 ; SSE-X86-NEXT:    .cfi_offset %ebp, -8
1276 ; SSE-X86-NEXT:    movl %esp, %ebp
1277 ; SSE-X86-NEXT:    .cfi_def_cfa_register %ebp
1278 ; SSE-X86-NEXT:    andl $-8, %esp
1279 ; SSE-X86-NEXT:    subl $24, %esp
1280 ; SSE-X86-NEXT:    movl 12(%ebp), %eax
1281 ; SSE-X86-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
1282 ; SSE-X86-NEXT:    movlps %xmm0, {{[0-9]+}}(%esp)
1283 ; SSE-X86-NEXT:    shrl $31, %eax
1284 ; SSE-X86-NEXT:    fildll {{[0-9]+}}(%esp)
1285 ; SSE-X86-NEXT:    fadds {{\.?LCPI[0-9]+_[0-9]+}}(,%eax,4)
1286 ; SSE-X86-NEXT:    fstpl {{[0-9]+}}(%esp)
1287 ; SSE-X86-NEXT:    wait
1288 ; SSE-X86-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
1289 ; SSE-X86-NEXT:    movsd %xmm0, (%esp)
1290 ; SSE-X86-NEXT:    fldl (%esp)
1291 ; SSE-X86-NEXT:    wait
1292 ; SSE-X86-NEXT:    movl %ebp, %esp
1293 ; SSE-X86-NEXT:    popl %ebp
1294 ; SSE-X86-NEXT:    .cfi_def_cfa %esp, 4
1295 ; SSE-X86-NEXT:    retl
1296 ;
1297 ; SSE-X64-LABEL: uitofp_i64tof64:
1298 ; SSE-X64:       # %bb.0:
1299 ; SSE-X64-NEXT:    movq %rdi, %rax
1300 ; SSE-X64-NEXT:    shrq %rax
1301 ; SSE-X64-NEXT:    movl %edi, %ecx
1302 ; SSE-X64-NEXT:    andl $1, %ecx
1303 ; SSE-X64-NEXT:    orq %rax, %rcx
1304 ; SSE-X64-NEXT:    testq %rdi, %rdi
1305 ; SSE-X64-NEXT:    cmovnsq %rdi, %rcx
1306 ; SSE-X64-NEXT:    cvtsi2sd %rcx, %xmm0
1307 ; SSE-X64-NEXT:    jns .LBB18_2
1308 ; SSE-X64-NEXT:  # %bb.1:
1309 ; SSE-X64-NEXT:    addsd %xmm0, %xmm0
1310 ; SSE-X64-NEXT:  .LBB18_2:
1311 ; SSE-X64-NEXT:    retq
1312 ;
1313 ; AVX-X86-LABEL: uitofp_i64tof64:
1314 ; AVX-X86:       # %bb.0:
1315 ; AVX-X86-NEXT:    pushl %ebp
1316 ; AVX-X86-NEXT:    .cfi_def_cfa_offset 8
1317 ; AVX-X86-NEXT:    .cfi_offset %ebp, -8
1318 ; AVX-X86-NEXT:    movl %esp, %ebp
1319 ; AVX-X86-NEXT:    .cfi_def_cfa_register %ebp
1320 ; AVX-X86-NEXT:    andl $-8, %esp
1321 ; AVX-X86-NEXT:    subl $24, %esp
1322 ; AVX-X86-NEXT:    movl 12(%ebp), %eax
1323 ; AVX-X86-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
1324 ; AVX-X86-NEXT:    vmovlps %xmm0, {{[0-9]+}}(%esp)
1325 ; AVX-X86-NEXT:    shrl $31, %eax
1326 ; AVX-X86-NEXT:    fildll {{[0-9]+}}(%esp)
1327 ; AVX-X86-NEXT:    fadds {{\.?LCPI[0-9]+_[0-9]+}}(,%eax,4)
1328 ; AVX-X86-NEXT:    fstpl {{[0-9]+}}(%esp)
1329 ; AVX-X86-NEXT:    wait
1330 ; AVX-X86-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
1331 ; AVX-X86-NEXT:    vmovsd %xmm0, (%esp)
1332 ; AVX-X86-NEXT:    fldl (%esp)
1333 ; AVX-X86-NEXT:    wait
1334 ; AVX-X86-NEXT:    movl %ebp, %esp
1335 ; AVX-X86-NEXT:    popl %ebp
1336 ; AVX-X86-NEXT:    .cfi_def_cfa %esp, 4
1337 ; AVX-X86-NEXT:    retl
1338 ;
1339 ; AVX1-X64-LABEL: uitofp_i64tof64:
1340 ; AVX1-X64:       # %bb.0:
1341 ; AVX1-X64-NEXT:    movq %rdi, %rax
1342 ; AVX1-X64-NEXT:    shrq %rax
1343 ; AVX1-X64-NEXT:    movl %edi, %ecx
1344 ; AVX1-X64-NEXT:    andl $1, %ecx
1345 ; AVX1-X64-NEXT:    orq %rax, %rcx
1346 ; AVX1-X64-NEXT:    testq %rdi, %rdi
1347 ; AVX1-X64-NEXT:    cmovnsq %rdi, %rcx
1348 ; AVX1-X64-NEXT:    vcvtsi2sd %rcx, %xmm0, %xmm0
1349 ; AVX1-X64-NEXT:    jns .LBB18_2
1350 ; AVX1-X64-NEXT:  # %bb.1:
1351 ; AVX1-X64-NEXT:    vaddsd %xmm0, %xmm0, %xmm0
1352 ; AVX1-X64-NEXT:  .LBB18_2:
1353 ; AVX1-X64-NEXT:    retq
1354 ;
1355 ; AVX512-X64-LABEL: uitofp_i64tof64:
1356 ; AVX512-X64:       # %bb.0:
1357 ; AVX512-X64-NEXT:    vcvtusi2sd %rdi, %xmm0, %xmm0
1358 ; AVX512-X64-NEXT:    retq
1359 ;
1360 ; X87-LABEL: uitofp_i64tof64:
1361 ; X87:       # %bb.0:
1362 ; X87-NEXT:    pushl %ebp
1363 ; X87-NEXT:    .cfi_def_cfa_offset 8
1364 ; X87-NEXT:    .cfi_offset %ebp, -8
1365 ; X87-NEXT:    movl %esp, %ebp
1366 ; X87-NEXT:    .cfi_def_cfa_register %ebp
1367 ; X87-NEXT:    andl $-8, %esp
1368 ; X87-NEXT:    subl $16, %esp
1369 ; X87-NEXT:    movl 8(%ebp), %eax
1370 ; X87-NEXT:    movl 12(%ebp), %ecx
1371 ; X87-NEXT:    movl %ecx, {{[0-9]+}}(%esp)
1372 ; X87-NEXT:    movl %eax, (%esp)
1373 ; X87-NEXT:    shrl $31, %ecx
1374 ; X87-NEXT:    fildll (%esp)
1375 ; X87-NEXT:    fadds {{\.?LCPI[0-9]+_[0-9]+}}(,%ecx,4)
1376 ; X87-NEXT:    fstpl {{[0-9]+}}(%esp)
1377 ; X87-NEXT:    fldl {{[0-9]+}}(%esp)
1378 ; X87-NEXT:    wait
1379 ; X87-NEXT:    movl %ebp, %esp
1380 ; X87-NEXT:    popl %ebp
1381 ; X87-NEXT:    .cfi_def_cfa %esp, 4
1382 ; X87-NEXT:    retl
1383   %result = call double @llvm.experimental.constrained.uitofp.f64.i64(i64 %x,
1384                                                metadata !"round.dynamic",
1385                                                metadata !"fpexcept.strict") #0
1386   ret double %result
1387 }
1388
1389 attributes #0 = { strictfp }