test/CodeGen/X86/avx512-cvt-widen.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -x86-experimental-vector-widening-legalization -mtriple=x86_64-unknown-unknown -mattr=+avx512f | FileCheck %s --check-prefix=ALL --check-prefix=NOVL --check-prefix=NODQ --check-prefix=NOVLDQ --check-prefix=KNL
   3 ; RUN: llc < %s -x86-experimental-vector-widening-legalization -mtriple=x86_64-unknown-unknown -mattr=+avx512f,+avx512bw,+avx512vl,+avx512dq | FileCheck %s --check-prefix=ALL --check-prefix=VL --check-prefix=VLDQ --check-prefix=VLBW --check-prefix=SKX
   4 ; RUN: llc < %s -x86-experimental-vector-widening-legalization -mtriple=x86_64-unknown-unknown -mattr=avx512vl  | FileCheck %s --check-prefix=ALL --check-prefix=NODQ --check-prefix=VL --check-prefix=VLNODQ --check-prefix=VLNOBW --check-prefix=AVX512VL
   5 ; RUN: llc < %s -x86-experimental-vector-widening-legalization -mtriple=x86_64-unknown-unknown -mattr=avx512dq  | FileCheck %s --check-prefix=ALL --check-prefix=NOVL --check-prefix=DQNOVL --check-prefix=AVX512DQ
   6 ; RUN: llc < %s -x86-experimental-vector-widening-legalization -mtriple=x86_64-unknown-unknown -mattr=avx512bw  | FileCheck %s --check-prefix=ALL --check-prefix=NOVL --check-prefix=NODQ --check-prefix=NOVLDQ --check-prefix=AVX512BW
   7 ; RUN: llc < %s -x86-experimental-vector-widening-legalization -mtriple=x86_64-unknown-unknown -mattr=avx512vl,avx512dq  | FileCheck %s --check-prefix=ALL --check-prefix=VL --check-prefix=VLDQ --check-prefix=VLNOBW --check-prefix=AVX512VLDQ
   8 ; RUN: llc < %s -x86-experimental-vector-widening-legalization -mtriple=x86_64-unknown-unknown -mattr=avx512vl,avx512bw  | FileCheck %s --check-prefix=ALL --check-prefix=NODQ --check-prefix=VL --check-prefix=VLNODQ --check-prefix=VLBW --check-prefix=AVX512VLBW
   9
  10
  11 define <16 x float> @sitof32(<16 x i32> %a) nounwind {
  12 ; ALL-LABEL: sitof32:
  13 ; ALL:       # %bb.0:
  14 ; ALL-NEXT:    vcvtdq2ps %zmm0, %zmm0
  15 ; ALL-NEXT:    retq
  16   %b = sitofp <16 x i32> %a to <16 x float>
  17   ret <16 x float> %b
  18 }
  19
  20 define <8 x double> @sltof864(<8 x i64> %a) {
  21 ; NODQ-LABEL: sltof864:
  22 ; NODQ:       # %bb.0:
  23 ; NODQ-NEXT:    vextracti32x4 $3, %zmm0, %xmm1
  24 ; NODQ-NEXT:    vpextrq $1, %xmm1, %rax
  25 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm2, %xmm2
  26 ; NODQ-NEXT:    vmovq %xmm1, %rax
  27 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm3, %xmm1
  28 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm1 = xmm1[0],xmm2[0]
  29 ; NODQ-NEXT:    vextracti32x4 $2, %zmm0, %xmm2
  30 ; NODQ-NEXT:    vpextrq $1, %xmm2, %rax
  31 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm3, %xmm3
  32 ; NODQ-NEXT:    vmovq %xmm2, %rax
  33 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm4, %xmm2
  34 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm2 = xmm2[0],xmm3[0]
  35 ; NODQ-NEXT:    vinsertf128 $1, %xmm1, %ymm2, %ymm1
  36 ; NODQ-NEXT:    vextracti128 $1, %ymm0, %xmm2
  37 ; NODQ-NEXT:    vpextrq $1, %xmm2, %rax
  38 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm4, %xmm3
  39 ; NODQ-NEXT:    vmovq %xmm2, %rax
  40 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm4, %xmm2
  41 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm2 = xmm2[0],xmm3[0]
  42 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
  43 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm4, %xmm3
  44 ; NODQ-NEXT:    vmovq %xmm0, %rax
  45 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm4, %xmm0
  46 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm0 = xmm0[0],xmm3[0]
  47 ; NODQ-NEXT:    vinsertf128 $1, %xmm2, %ymm0, %ymm0
  48 ; NODQ-NEXT:    vinsertf64x4 $1, %ymm1, %zmm0, %zmm0
  49 ; NODQ-NEXT:    retq
  50 ;
  51 ; VLDQ-LABEL: sltof864:
  52 ; VLDQ:       # %bb.0:
  53 ; VLDQ-NEXT:    vcvtqq2pd %zmm0, %zmm0
  54 ; VLDQ-NEXT:    retq
  55 ;
  56 ; DQNOVL-LABEL: sltof864:
  57 ; DQNOVL:       # %bb.0:
  58 ; DQNOVL-NEXT:    vcvtqq2pd %zmm0, %zmm0
  59 ; DQNOVL-NEXT:    retq
  60   %b = sitofp <8 x i64> %a to <8 x double>
  61   ret <8 x double> %b
  62 }
  63
  64 define <4 x double> @slto4f64(<4 x i64> %a) {
  65 ; NODQ-LABEL: slto4f64:
  66 ; NODQ:       # %bb.0:
  67 ; NODQ-NEXT:    vextracti128 $1, %ymm0, %xmm1
  68 ; NODQ-NEXT:    vpextrq $1, %xmm1, %rax
  69 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm2, %xmm2
  70 ; NODQ-NEXT:    vmovq %xmm1, %rax
  71 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm3, %xmm1
  72 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm1 = xmm1[0],xmm2[0]
  73 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
  74 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm3, %xmm2
  75 ; NODQ-NEXT:    vmovq %xmm0, %rax
  76 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm3, %xmm0
  77 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm0 = xmm0[0],xmm2[0]
  78 ; NODQ-NEXT:    vinsertf128 $1, %xmm1, %ymm0, %ymm0
  79 ; NODQ-NEXT:    retq
  80 ;
  81 ; VLDQ-LABEL: slto4f64:
  82 ; VLDQ:       # %bb.0:
  83 ; VLDQ-NEXT:    vcvtqq2pd %ymm0, %ymm0
  84 ; VLDQ-NEXT:    retq
  85 ;
  86 ; DQNOVL-LABEL: slto4f64:
  87 ; DQNOVL:       # %bb.0:
  88 ; DQNOVL-NEXT:    # kill: def $ymm0 killed $ymm0 def $zmm0
  89 ; DQNOVL-NEXT:    vcvtqq2pd %zmm0, %zmm0
  90 ; DQNOVL-NEXT:    # kill: def $ymm0 killed $ymm0 killed $zmm0
  91 ; DQNOVL-NEXT:    retq
  92   %b = sitofp <4 x i64> %a to <4 x double>
  93   ret <4 x double> %b
  94 }
  95
  96 define <2 x double> @slto2f64(<2 x i64> %a) {
  97 ; NODQ-LABEL: slto2f64:
  98 ; NODQ:       # %bb.0:
  99 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
 100 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm1, %xmm1
 101 ; NODQ-NEXT:    vmovq %xmm0, %rax
 102 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm2, %xmm0
 103 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm0 = xmm0[0],xmm1[0]
 104 ; NODQ-NEXT:    retq
 105 ;
 106 ; VLDQ-LABEL: slto2f64:
 107 ; VLDQ:       # %bb.0:
 108 ; VLDQ-NEXT:    vcvtqq2pd %xmm0, %xmm0
 109 ; VLDQ-NEXT:    retq
 110 ;
 111 ; DQNOVL-LABEL: slto2f64:
 112 ; DQNOVL:       # %bb.0:
 113 ; DQNOVL-NEXT:    # kill: def $xmm0 killed $xmm0 def $zmm0
 114 ; DQNOVL-NEXT:    vcvtqq2pd %zmm0, %zmm0
 115 ; DQNOVL-NEXT:    # kill: def $xmm0 killed $xmm0 killed $zmm0
 116 ; DQNOVL-NEXT:    vzeroupper
 117 ; DQNOVL-NEXT:    retq
 118   %b = sitofp <2 x i64> %a to <2 x double>
 119   ret <2 x double> %b
 120 }
 121
 122 define <2 x float> @sltof2f32(<2 x i64> %a) {
 123 ; NODQ-LABEL: sltof2f32:
 124 ; NODQ:       # %bb.0:
 125 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
 126 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm1, %xmm1
 127 ; NODQ-NEXT:    vmovq %xmm0, %rax
 128 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm2, %xmm0
 129 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm0 = xmm0[0],xmm1[0],xmm0[2,3]
 130 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm2, %xmm1
 131 ; NODQ-NEXT:    vshufps {{.*#+}} xmm0 = xmm0[0,1],xmm1[0,0]
 132 ; NODQ-NEXT:    retq
 133 ;
 134 ; VLDQ-LABEL: sltof2f32:
 135 ; VLDQ:       # %bb.0:
 136 ; VLDQ-NEXT:    vcvtqq2ps %xmm0, %xmm0
 137 ; VLDQ-NEXT:    retq
 138 ;
 139 ; DQNOVL-LABEL: sltof2f32:
 140 ; DQNOVL:       # %bb.0:
 141 ; DQNOVL-NEXT:    # kill: def $xmm0 killed $xmm0 def $zmm0
 142 ; DQNOVL-NEXT:    vcvtqq2ps %zmm0, %ymm0
 143 ; DQNOVL-NEXT:    # kill: def $xmm0 killed $xmm0 killed $ymm0
 144 ; DQNOVL-NEXT:    vzeroupper
 145 ; DQNOVL-NEXT:    retq
 146   %b = sitofp <2 x i64> %a to <2 x float>
 147   ret <2 x float>%b
 148 }
 149
 150 define <4 x float> @slto4f32_mem(<4 x i64>* %a) {
 151 ; NODQ-LABEL: slto4f32_mem:
 152 ; NODQ:       # %bb.0:
 153 ; NODQ-NEXT:    vmovdqu (%rdi), %xmm0
 154 ; NODQ-NEXT:    vmovdqu 16(%rdi), %xmm1
 155 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
 156 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm2, %xmm2
 157 ; NODQ-NEXT:    vmovq %xmm0, %rax
 158 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm3, %xmm0
 159 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm0 = xmm0[0],xmm2[0],xmm0[2,3]
 160 ; NODQ-NEXT:    vmovq %xmm1, %rax
 161 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm3, %xmm2
 162 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm0 = xmm0[0,1],xmm2[0],xmm0[3]
 163 ; NODQ-NEXT:    vpextrq $1, %xmm1, %rax
 164 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm3, %xmm1
 165 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm0 = xmm0[0,1,2],xmm1[0]
 166 ; NODQ-NEXT:    retq
 167 ;
 168 ; VLDQ-LABEL: slto4f32_mem:
 169 ; VLDQ:       # %bb.0:
 170 ; VLDQ-NEXT:    vcvtqq2psy (%rdi), %xmm0
 171 ; VLDQ-NEXT:    retq
 172 ;
 173 ; DQNOVL-LABEL: slto4f32_mem:
 174 ; DQNOVL:       # %bb.0:
 175 ; DQNOVL-NEXT:    vmovups (%rdi), %ymm0
 176 ; DQNOVL-NEXT:    vcvtqq2ps %zmm0, %ymm0
 177 ; DQNOVL-NEXT:    # kill: def $xmm0 killed $xmm0 killed $ymm0
 178 ; DQNOVL-NEXT:    vzeroupper
 179 ; DQNOVL-NEXT:    retq
 180   %a1 = load <4 x i64>, <4 x i64>* %a, align 8
 181   %b = sitofp <4 x i64> %a1 to <4 x float>
 182   ret <4 x float>%b
 183 }
 184
 185 define <4 x i64> @f64to4sl(<4 x double> %a) {
 186 ; NODQ-LABEL: f64to4sl:
 187 ; NODQ:       # %bb.0:
 188 ; NODQ-NEXT:    vextractf128 $1, %ymm0, %xmm1
 189 ; NODQ-NEXT:    vcvttsd2si %xmm1, %rax
 190 ; NODQ-NEXT:    vmovq %rax, %xmm2
 191 ; NODQ-NEXT:    vpermilpd {{.*#+}} xmm1 = xmm1[1,0]
 192 ; NODQ-NEXT:    vcvttsd2si %xmm1, %rax
 193 ; NODQ-NEXT:    vmovq %rax, %xmm1
 194 ; NODQ-NEXT:    vpunpcklqdq {{.*#+}} xmm1 = xmm2[0],xmm1[0]
 195 ; NODQ-NEXT:    vcvttsd2si %xmm0, %rax
 196 ; NODQ-NEXT:    vmovq %rax, %xmm2
 197 ; NODQ-NEXT:    vpermilpd {{.*#+}} xmm0 = xmm0[1,0]
 198 ; NODQ-NEXT:    vcvttsd2si %xmm0, %rax
 199 ; NODQ-NEXT:    vmovq %rax, %xmm0
 200 ; NODQ-NEXT:    vpunpcklqdq {{.*#+}} xmm0 = xmm2[0],xmm0[0]
 201 ; NODQ-NEXT:    vinserti128 $1, %xmm1, %ymm0, %ymm0
 202 ; NODQ-NEXT:    retq
 203 ;
 204 ; VLDQ-LABEL: f64to4sl:
 205 ; VLDQ:       # %bb.0:
 206 ; VLDQ-NEXT:    vcvttpd2qq %ymm0, %ymm0
 207 ; VLDQ-NEXT:    retq
 208 ;
 209 ; DQNOVL-LABEL: f64to4sl:
 210 ; DQNOVL:       # %bb.0:
 211 ; DQNOVL-NEXT:    # kill: def $ymm0 killed $ymm0 def $zmm0
 212 ; DQNOVL-NEXT:    vcvttpd2qq %zmm0, %zmm0
 213 ; DQNOVL-NEXT:    # kill: def $ymm0 killed $ymm0 killed $zmm0
 214 ; DQNOVL-NEXT:    retq
 215   %b = fptosi <4 x double> %a to <4 x i64>
 216   ret <4 x i64> %b
 217 }
 218
 219 define <4 x i64> @f32to4sl(<4 x float> %a) {
 220 ; NODQ-LABEL: f32to4sl:
 221 ; NODQ:       # %bb.0:
 222 ; NODQ-NEXT:    vpermilps {{.*#+}} xmm1 = xmm0[3,1,2,3]
 223 ; NODQ-NEXT:    vcvttss2si %xmm1, %rax
 224 ; NODQ-NEXT:    vmovq %rax, %xmm1
 225 ; NODQ-NEXT:    vpermilpd {{.*#+}} xmm2 = xmm0[1,0]
 226 ; NODQ-NEXT:    vcvttss2si %xmm2, %rax
 227 ; NODQ-NEXT:    vmovq %rax, %xmm2
 228 ; NODQ-NEXT:    vpunpcklqdq {{.*#+}} xmm1 = xmm2[0],xmm1[0]
 229 ; NODQ-NEXT:    vcvttss2si %xmm0, %rax
 230 ; NODQ-NEXT:    vmovq %rax, %xmm2
 231 ; NODQ-NEXT:    vmovshdup {{.*#+}} xmm0 = xmm0[1,1,3,3]
 232 ; NODQ-NEXT:    vcvttss2si %xmm0, %rax
 233 ; NODQ-NEXT:    vmovq %rax, %xmm0
 234 ; NODQ-NEXT:    vpunpcklqdq {{.*#+}} xmm0 = xmm2[0],xmm0[0]
 235 ; NODQ-NEXT:    vinserti128 $1, %xmm1, %ymm0, %ymm0
 236 ; NODQ-NEXT:    retq
 237 ;
 238 ; VLDQ-LABEL: f32to4sl:
 239 ; VLDQ:       # %bb.0:
 240 ; VLDQ-NEXT:    vcvttps2qq %xmm0, %ymm0
 241 ; VLDQ-NEXT:    retq
 242 ;
 243 ; DQNOVL-LABEL: f32to4sl:
 244 ; DQNOVL:       # %bb.0:
 245 ; DQNOVL-NEXT:    # kill: def $xmm0 killed $xmm0 def $ymm0
 246 ; DQNOVL-NEXT:    vcvttps2qq %ymm0, %zmm0
 247 ; DQNOVL-NEXT:    # kill: def $ymm0 killed $ymm0 killed $zmm0
 248 ; DQNOVL-NEXT:    retq
 249   %b = fptosi <4 x float> %a to <4 x i64>
 250   ret <4 x i64> %b
 251 }
 252
 253 define <4 x float> @slto4f32(<4 x i64> %a) {
 254 ; NODQ-LABEL: slto4f32:
 255 ; NODQ:       # %bb.0:
 256 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
 257 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm1, %xmm1
 258 ; NODQ-NEXT:    vmovq %xmm0, %rax
 259 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm2, %xmm2
 260 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm1 = xmm2[0],xmm1[0],xmm2[2,3]
 261 ; NODQ-NEXT:    vextracti128 $1, %ymm0, %xmm0
 262 ; NODQ-NEXT:    vmovq %xmm0, %rax
 263 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm3, %xmm2
 264 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm1 = xmm1[0,1],xmm2[0],xmm1[3]
 265 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
 266 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm3, %xmm0
 267 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm0 = xmm1[0,1,2],xmm0[0]
 268 ; NODQ-NEXT:    vzeroupper
 269 ; NODQ-NEXT:    retq
 270 ;
 271 ; VLDQ-LABEL: slto4f32:
 272 ; VLDQ:       # %bb.0:
 273 ; VLDQ-NEXT:    vcvtqq2ps %ymm0, %xmm0
 274 ; VLDQ-NEXT:    vzeroupper
 275 ; VLDQ-NEXT:    retq
 276 ;
 277 ; DQNOVL-LABEL: slto4f32:
 278 ; DQNOVL:       # %bb.0:
 279 ; DQNOVL-NEXT:    # kill: def $ymm0 killed $ymm0 def $zmm0
 280 ; DQNOVL-NEXT:    vcvtqq2ps %zmm0, %ymm0
 281 ; DQNOVL-NEXT:    # kill: def $xmm0 killed $xmm0 killed $ymm0
 282 ; DQNOVL-NEXT:    vzeroupper
 283 ; DQNOVL-NEXT:    retq
 284   %b = sitofp <4 x i64> %a to <4 x float>
 285   ret <4 x float> %b
 286 }
 287
 288 define <4 x float> @ulto4f32(<4 x i64> %a) {
 289 ; NODQ-LABEL: ulto4f32:
 290 ; NODQ:       # %bb.0:
 291 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
 292 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm1, %xmm1
 293 ; NODQ-NEXT:    vmovq %xmm0, %rax
 294 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm2, %xmm2
 295 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm1 = xmm2[0],xmm1[0],xmm2[2,3]
 296 ; NODQ-NEXT:    vextracti128 $1, %ymm0, %xmm0
 297 ; NODQ-NEXT:    vmovq %xmm0, %rax
 298 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm3, %xmm2
 299 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm1 = xmm1[0,1],xmm2[0],xmm1[3]
 300 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
 301 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm3, %xmm0
 302 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm0 = xmm1[0,1,2],xmm0[0]
 303 ; NODQ-NEXT:    vzeroupper
 304 ; NODQ-NEXT:    retq
 305 ;
 306 ; VLDQ-LABEL: ulto4f32:
 307 ; VLDQ:       # %bb.0:
 308 ; VLDQ-NEXT:    vcvtuqq2ps %ymm0, %xmm0
 309 ; VLDQ-NEXT:    vzeroupper
 310 ; VLDQ-NEXT:    retq
 311 ;
 312 ; DQNOVL-LABEL: ulto4f32:
 313 ; DQNOVL:       # %bb.0:
 314 ; DQNOVL-NEXT:    # kill: def $ymm0 killed $ymm0 def $zmm0
 315 ; DQNOVL-NEXT:    vcvtuqq2ps %zmm0, %ymm0
 316 ; DQNOVL-NEXT:    # kill: def $xmm0 killed $xmm0 killed $ymm0
 317 ; DQNOVL-NEXT:    vzeroupper
 318 ; DQNOVL-NEXT:    retq
 319   %b = uitofp <4 x i64> %a to <4 x float>
 320   ret <4 x float> %b
 321 }
 322
 323 define <8 x double> @ulto8f64(<8 x i64> %a) {
 324 ; NODQ-LABEL: ulto8f64:
 325 ; NODQ:       # %bb.0:
 326 ; NODQ-NEXT:    vpandq {{.*}}(%rip){1to8}, %zmm0, %zmm1
 327 ; NODQ-NEXT:    vporq {{.*}}(%rip){1to8}, %zmm1, %zmm1
 328 ; NODQ-NEXT:    vpsrlq $32, %zmm0, %zmm0
 329 ; NODQ-NEXT:    vporq {{.*}}(%rip){1to8}, %zmm0, %zmm0
 330 ; NODQ-NEXT:    vsubpd {{.*}}(%rip){1to8}, %zmm0, %zmm0
 331 ; NODQ-NEXT:    vaddpd %zmm0, %zmm1, %zmm0
 332 ; NODQ-NEXT:    retq
 333 ;
 334 ; VLDQ-LABEL: ulto8f64:
 335 ; VLDQ:       # %bb.0:
 336 ; VLDQ-NEXT:    vcvtuqq2pd %zmm0, %zmm0
 337 ; VLDQ-NEXT:    retq
 338 ;
 339 ; DQNOVL-LABEL: ulto8f64:
 340 ; DQNOVL:       # %bb.0:
 341 ; DQNOVL-NEXT:    vcvtuqq2pd %zmm0, %zmm0
 342 ; DQNOVL-NEXT:    retq
 343   %b = uitofp <8 x i64> %a to <8 x double>
 344   ret <8 x double> %b
 345 }
 346
 347 define <16 x double> @ulto16f64(<16 x i64> %a) {
 348 ; NODQ-LABEL: ulto16f64:
 349 ; NODQ:       # %bb.0:
 350 ; NODQ-NEXT:    vpbroadcastq {{.*#+}} zmm2 = [4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295]
 351 ; NODQ-NEXT:    vpandq %zmm2, %zmm0, %zmm3
 352 ; NODQ-NEXT:    vpbroadcastq {{.*#+}} zmm4 = [4841369599423283200,4841369599423283200,4841369599423283200,4841369599423283200,4841369599423283200,4841369599423283200,4841369599423283200,4841369599423283200]
 353 ; NODQ-NEXT:    vporq %zmm4, %zmm3, %zmm3
 354 ; NODQ-NEXT:    vpsrlq $32, %zmm0, %zmm0
 355 ; NODQ-NEXT:    vpbroadcastq {{.*#+}} zmm5 = [4985484787499139072,4985484787499139072,4985484787499139072,4985484787499139072,4985484787499139072,4985484787499139072,4985484787499139072,4985484787499139072]
 356 ; NODQ-NEXT:    vporq %zmm5, %zmm0, %zmm0
 357 ; NODQ-NEXT:    vbroadcastsd {{.*#+}} zmm6 = [1.9342813118337666E+25,1.9342813118337666E+25,1.9342813118337666E+25,1.9342813118337666E+25,1.9342813118337666E+25,1.9342813118337666E+25,1.9342813118337666E+25,1.9342813118337666E+25]
 358 ; NODQ-NEXT:    vsubpd %zmm6, %zmm0, %zmm0
 359 ; NODQ-NEXT:    vaddpd %zmm0, %zmm3, %zmm0
 360 ; NODQ-NEXT:    vpandq %zmm2, %zmm1, %zmm2
 361 ; NODQ-NEXT:    vporq %zmm4, %zmm2, %zmm2
 362 ; NODQ-NEXT:    vpsrlq $32, %zmm1, %zmm1
 363 ; NODQ-NEXT:    vporq %zmm5, %zmm1, %zmm1
 364 ; NODQ-NEXT:    vsubpd %zmm6, %zmm1, %zmm1
 365 ; NODQ-NEXT:    vaddpd %zmm1, %zmm2, %zmm1
 366 ; NODQ-NEXT:    retq
 367 ;
 368 ; VLDQ-LABEL: ulto16f64:
 369 ; VLDQ:       # %bb.0:
 370 ; VLDQ-NEXT:    vcvtuqq2pd %zmm0, %zmm0
 371 ; VLDQ-NEXT:    vcvtuqq2pd %zmm1, %zmm1
 372 ; VLDQ-NEXT:    retq
 373 ;
 374 ; DQNOVL-LABEL: ulto16f64:
 375 ; DQNOVL:       # %bb.0:
 376 ; DQNOVL-NEXT:    vcvtuqq2pd %zmm0, %zmm0
 377 ; DQNOVL-NEXT:    vcvtuqq2pd %zmm1, %zmm1
 378 ; DQNOVL-NEXT:    retq
 379   %b = uitofp <16 x i64> %a to <16 x double>
 380   ret <16 x double> %b
 381 }
 382
 383 define <16 x i32> @f64to16si(<16 x float> %a) nounwind {
 384 ; ALL-LABEL: f64to16si:
 385 ; ALL:       # %bb.0:
 386 ; ALL-NEXT:    vcvttps2dq %zmm0, %zmm0
 387 ; ALL-NEXT:    retq
 388   %b = fptosi <16 x float> %a to <16 x i32>
 389   ret <16 x i32> %b
 390 }
 391
 392 define <16 x i8> @f32to16sc(<16 x float> %f) {
 393 ; ALL-LABEL: f32to16sc:
 394 ; ALL:       # %bb.0:
 395 ; ALL-NEXT:    vcvttps2dq %zmm0, %zmm0
 396 ; ALL-NEXT:    vpmovdb %zmm0, %xmm0
 397 ; ALL-NEXT:    vzeroupper
 398 ; ALL-NEXT:    retq
 399   %res = fptosi <16 x float> %f to <16 x i8>
 400   ret <16 x i8> %res
 401 }
 402
 403 define <16 x i16> @f32to16ss(<16 x float> %f) {
 404 ; ALL-LABEL: f32to16ss:
 405 ; ALL:       # %bb.0:
 406 ; ALL-NEXT:    vcvttps2dq %zmm0, %zmm0
 407 ; ALL-NEXT:    vpmovdw %zmm0, %ymm0
 408 ; ALL-NEXT:    retq
 409   %res = fptosi <16 x float> %f to <16 x i16>
 410   ret <16 x i16> %res
 411 }
 412
 413 define <16 x i32> @f32to16ui(<16 x float> %a) nounwind {
 414 ; ALL-LABEL: f32to16ui:
 415 ; ALL:       # %bb.0:
 416 ; ALL-NEXT:    vcvttps2udq %zmm0, %zmm0
 417 ; ALL-NEXT:    retq
 418   %b = fptoui <16 x float> %a to <16 x i32>
 419   ret <16 x i32> %b
 420 }
 421
 422 define <16 x i8> @f32to16uc(<16 x float> %f) {
 423 ; ALL-LABEL: f32to16uc:
 424 ; ALL:       # %bb.0:
 425 ; ALL-NEXT:    vcvttps2dq %zmm0, %zmm0
 426 ; ALL-NEXT:    vpmovdb %zmm0, %xmm0
 427 ; ALL-NEXT:    vzeroupper
 428 ; ALL-NEXT:    retq
 429   %res = fptoui <16 x float> %f to <16 x i8>
 430   ret <16 x i8> %res
 431 }
 432
 433 define <16 x i16> @f32to16us(<16 x float> %f) {
 434 ; ALL-LABEL: f32to16us:
 435 ; ALL:       # %bb.0:
 436 ; ALL-NEXT:    vcvttps2dq %zmm0, %zmm0
 437 ; ALL-NEXT:    vpmovdw %zmm0, %ymm0
 438 ; ALL-NEXT:    retq
 439   %res = fptoui <16 x float> %f to <16 x i16>
 440   ret <16 x i16> %res
 441 }
 442
 443 define <8 x i32> @f32to8ui(<8 x float> %a) nounwind {
 444 ; NOVL-LABEL: f32to8ui:
 445 ; NOVL:       # %bb.0:
 446 ; NOVL-NEXT:    # kill: def $ymm0 killed $ymm0 def $zmm0
 447 ; NOVL-NEXT:    vcvttps2udq %zmm0, %zmm0
 448 ; NOVL-NEXT:    # kill: def $ymm0 killed $ymm0 killed $zmm0
 449 ; NOVL-NEXT:    retq
 450 ;
 451 ; VL-LABEL: f32to8ui:
 452 ; VL:       # %bb.0:
 453 ; VL-NEXT:    vcvttps2udq %ymm0, %ymm0
 454 ; VL-NEXT:    retq
 455   %b = fptoui <8 x float> %a to <8 x i32>
 456   ret <8 x i32> %b
 457 }
 458
 459 define <4 x i32> @f32to4ui(<4 x float> %a) nounwind {
 460 ; NOVL-LABEL: f32to4ui:
 461 ; NOVL:       # %bb.0:
 462 ; NOVL-NEXT:    # kill: def $xmm0 killed $xmm0 def $zmm0
 463 ; NOVL-NEXT:    vcvttps2udq %zmm0, %zmm0
 464 ; NOVL-NEXT:    # kill: def $xmm0 killed $xmm0 killed $zmm0
 465 ; NOVL-NEXT:    vzeroupper
 466 ; NOVL-NEXT:    retq
 467 ;
 468 ; VL-LABEL: f32to4ui:
 469 ; VL:       # %bb.0:
 470 ; VL-NEXT:    vcvttps2udq %xmm0, %xmm0
 471 ; VL-NEXT:    retq
 472   %b = fptoui <4 x float> %a to <4 x i32>
 473   ret <4 x i32> %b
 474 }
 475
 476 define <8 x i32> @f64to8ui(<8 x double> %a) nounwind {
 477 ; ALL-LABEL: f64to8ui:
 478 ; ALL:       # %bb.0:
 479 ; ALL-NEXT:    vcvttpd2udq %zmm0, %ymm0
 480 ; ALL-NEXT:    retq
 481   %b = fptoui <8 x double> %a to <8 x i32>
 482   ret <8 x i32> %b
 483 }
 484
 485 define <8 x i16> @f64to8us(<8 x double> %f) {
 486 ; NOVL-LABEL: f64to8us:
 487 ; NOVL:       # %bb.0:
 488 ; NOVL-NEXT:    vcvttpd2dq %zmm0, %ymm0
 489 ; NOVL-NEXT:    vpmovdw %zmm0, %ymm0
 490 ; NOVL-NEXT:    # kill: def $xmm0 killed $xmm0 killed $ymm0
 491 ; NOVL-NEXT:    vzeroupper
 492 ; NOVL-NEXT:    retq
 493 ;
 494 ; VL-LABEL: f64to8us:
 495 ; VL:       # %bb.0:
 496 ; VL-NEXT:    vcvttpd2dq %zmm0, %ymm0
 497 ; VL-NEXT:    vpmovdw %ymm0, %xmm0
 498 ; VL-NEXT:    vzeroupper
 499 ; VL-NEXT:    retq
 500   %res = fptoui <8 x double> %f to <8 x i16>
 501   ret <8 x i16> %res
 502 }
 503
 504 define <8 x i8> @f64to8uc(<8 x double> %f) {
 505 ; NOVL-LABEL: f64to8uc:
 506 ; NOVL:       # %bb.0:
 507 ; NOVL-NEXT:    vcvttpd2dq %zmm0, %ymm0
 508 ; NOVL-NEXT:    vpmovdb %zmm0, %xmm0
 509 ; NOVL-NEXT:    vzeroupper
 510 ; NOVL-NEXT:    retq
 511 ;
 512 ; VL-LABEL: f64to8uc:
 513 ; VL:       # %bb.0:
 514 ; VL-NEXT:    vcvttpd2dq %zmm0, %ymm0
 515 ; VL-NEXT:    vpmovdb %ymm0, %xmm0
 516 ; VL-NEXT:    vzeroupper
 517 ; VL-NEXT:    retq
 518   %res = fptoui <8 x double> %f to <8 x i8>
 519   ret <8 x i8> %res
 520 }
 521
 522 define <4 x i32> @f64to4ui(<4 x double> %a) nounwind {
 523 ; NOVL-LABEL: f64to4ui:
 524 ; NOVL:       # %bb.0:
 525 ; NOVL-NEXT:    # kill: def $ymm0 killed $ymm0 def $zmm0
 526 ; NOVL-NEXT:    vcvttpd2udq %zmm0, %ymm0
 527 ; NOVL-NEXT:    # kill: def $xmm0 killed $xmm0 killed $ymm0
 528 ; NOVL-NEXT:    vzeroupper
 529 ; NOVL-NEXT:    retq
 530 ;
 531 ; VL-LABEL: f64to4ui:
 532 ; VL:       # %bb.0:
 533 ; VL-NEXT:    vcvttpd2udq %ymm0, %xmm0
 534 ; VL-NEXT:    vzeroupper
 535 ; VL-NEXT:    retq
 536   %b = fptoui <4 x double> %a to <4 x i32>
 537   ret <4 x i32> %b
 538 }
 539
 540 define <8 x double> @sito8f64(<8 x i32> %a) {
 541 ; ALL-LABEL: sito8f64:
 542 ; ALL:       # %bb.0:
 543 ; ALL-NEXT:    vcvtdq2pd %ymm0, %zmm0
 544 ; ALL-NEXT:    retq
 545   %b = sitofp <8 x i32> %a to <8 x double>
 546   ret <8 x double> %b
 547 }
 548 define <8 x double> @i32to8f64_mask(<8 x double> %a, <8 x i32> %b, i8 %c) nounwind {
 549 ; KNL-LABEL: i32to8f64_mask:
 550 ; KNL:       # %bb.0:
 551 ; KNL-NEXT:    kmovw %edi, %k1
 552 ; KNL-NEXT:    vcvtdq2pd %ymm1, %zmm0 {%k1}
 553 ; KNL-NEXT:    retq
 554 ;
 555 ; VLBW-LABEL: i32to8f64_mask:
 556 ; VLBW:       # %bb.0:
 557 ; VLBW-NEXT:    kmovd %edi, %k1
 558 ; VLBW-NEXT:    vcvtdq2pd %ymm1, %zmm0 {%k1}
 559 ; VLBW-NEXT:    retq
 560 ;
 561 ; VLNOBW-LABEL: i32to8f64_mask:
 562 ; VLNOBW:       # %bb.0:
 563 ; VLNOBW-NEXT:    kmovw %edi, %k1
 564 ; VLNOBW-NEXT:    vcvtdq2pd %ymm1, %zmm0 {%k1}
 565 ; VLNOBW-NEXT:    retq
 566 ;
 567 ; DQNOVL-LABEL: i32to8f64_mask:
 568 ; DQNOVL:       # %bb.0:
 569 ; DQNOVL-NEXT:    kmovw %edi, %k1
 570 ; DQNOVL-NEXT:    vcvtdq2pd %ymm1, %zmm0 {%k1}
 571 ; DQNOVL-NEXT:    retq
 572 ;
 573 ; AVX512BW-LABEL: i32to8f64_mask:
 574 ; AVX512BW:       # %bb.0:
 575 ; AVX512BW-NEXT:    kmovd %edi, %k1
 576 ; AVX512BW-NEXT:    vcvtdq2pd %ymm1, %zmm0 {%k1}
 577 ; AVX512BW-NEXT:    retq
 578   %1 = bitcast i8 %c to <8 x i1>
 579   %2 = sitofp <8 x i32> %b to <8 x double>
 580   %3 = select <8 x i1> %1, <8 x double> %2, <8 x double> %a
 581   ret <8 x double> %3
 582 }
 583 define <8 x double> @sito8f64_maskz(<8 x i32> %a, i8 %b) nounwind {
 584 ; KNL-LABEL: sito8f64_maskz:
 585 ; KNL:       # %bb.0:
 586 ; KNL-NEXT:    kmovw %edi, %k1
 587 ; KNL-NEXT:    vcvtdq2pd %ymm0, %zmm0 {%k1} {z}
 588 ; KNL-NEXT:    retq
 589 ;
 590 ; VLBW-LABEL: sito8f64_maskz:
 591 ; VLBW:       # %bb.0:
 592 ; VLBW-NEXT:    kmovd %edi, %k1
 593 ; VLBW-NEXT:    vcvtdq2pd %ymm0, %zmm0 {%k1} {z}
 594 ; VLBW-NEXT:    retq
 595 ;
 596 ; VLNOBW-LABEL: sito8f64_maskz:
 597 ; VLNOBW:       # %bb.0:
 598 ; VLNOBW-NEXT:    kmovw %edi, %k1
 599 ; VLNOBW-NEXT:    vcvtdq2pd %ymm0, %zmm0 {%k1} {z}
 600 ; VLNOBW-NEXT:    retq
 601 ;
 602 ; DQNOVL-LABEL: sito8f64_maskz:
 603 ; DQNOVL:       # %bb.0:
 604 ; DQNOVL-NEXT:    kmovw %edi, %k1
 605 ; DQNOVL-NEXT:    vcvtdq2pd %ymm0, %zmm0 {%k1} {z}
 606 ; DQNOVL-NEXT:    retq
 607 ;
 608 ; AVX512BW-LABEL: sito8f64_maskz:
 609 ; AVX512BW:       # %bb.0:
 610 ; AVX512BW-NEXT:    kmovd %edi, %k1
 611 ; AVX512BW-NEXT:    vcvtdq2pd %ymm0, %zmm0 {%k1} {z}
 612 ; AVX512BW-NEXT:    retq
 613   %1 = bitcast i8 %b to <8 x i1>
 614   %2 = sitofp <8 x i32> %a to <8 x double>
 615   %3 = select <8 x i1> %1, <8 x double> %2, <8 x double> zeroinitializer
 616   ret <8 x double> %3
 617 }
 618
 619 define <8 x i32> @f64to8si(<8 x double> %a) {
 620 ; ALL-LABEL: f64to8si:
 621 ; ALL:       # %bb.0:
 622 ; ALL-NEXT:    vcvttpd2dq %zmm0, %ymm0
 623 ; ALL-NEXT:    retq
 624   %b = fptosi <8 x double> %a to <8 x i32>
 625   ret <8 x i32> %b
 626 }
 627
 628 define <8 x i16> @f64to8ss(<8 x double> %f) {
 629 ; NOVL-LABEL: f64to8ss:
 630 ; NOVL:       # %bb.0:
 631 ; NOVL-NEXT:    vcvttpd2dq %zmm0, %ymm0
 632 ; NOVL-NEXT:    vpmovdw %zmm0, %ymm0
 633 ; NOVL-NEXT:    # kill: def $xmm0 killed $xmm0 killed $ymm0
 634 ; NOVL-NEXT:    vzeroupper
 635 ; NOVL-NEXT:    retq
 636 ;
 637 ; VL-LABEL: f64to8ss:
 638 ; VL:       # %bb.0:
 639 ; VL-NEXT:    vcvttpd2dq %zmm0, %ymm0
 640 ; VL-NEXT:    vpmovdw %ymm0, %xmm0
 641 ; VL-NEXT:    vzeroupper
 642 ; VL-NEXT:    retq
 643   %res = fptosi <8 x double> %f to <8 x i16>
 644   ret <8 x i16> %res
 645 }
 646
 647 define <8 x i8> @f64to8sc(<8 x double> %f) {
 648 ; NOVL-LABEL: f64to8sc:
 649 ; NOVL:       # %bb.0:
 650 ; NOVL-NEXT:    vcvttpd2dq %zmm0, %ymm0
 651 ; NOVL-NEXT:    vpmovdb %zmm0, %xmm0
 652 ; NOVL-NEXT:    vzeroupper
 653 ; NOVL-NEXT:    retq
 654 ;
 655 ; VL-LABEL: f64to8sc:
 656 ; VL:       # %bb.0:
 657 ; VL-NEXT:    vcvttpd2dq %zmm0, %ymm0
 658 ; VL-NEXT:    vpmovdb %ymm0, %xmm0
 659 ; VL-NEXT:    vzeroupper
 660 ; VL-NEXT:    retq
 661   %res = fptosi <8 x double> %f to <8 x i8>
 662   ret <8 x i8> %res
 663 }
 664
 665 define <4 x i32> @f64to4si(<4 x double> %a) {
 666 ; ALL-LABEL: f64to4si:
 667 ; ALL:       # %bb.0:
 668 ; ALL-NEXT:    vcvttpd2dq %ymm0, %xmm0
 669 ; ALL-NEXT:    vzeroupper
 670 ; ALL-NEXT:    retq
 671   %b = fptosi <4 x double> %a to <4 x i32>
 672   ret <4 x i32> %b
 673 }
 674
 675 define <16 x float> @f64to16f32(<16 x double> %b) nounwind {
 676 ; ALL-LABEL: f64to16f32:
 677 ; ALL:       # %bb.0:
 678 ; ALL-NEXT:    vcvtpd2ps %zmm0, %ymm0
 679 ; ALL-NEXT:    vcvtpd2ps %zmm1, %ymm1
 680 ; ALL-NEXT:    vinsertf64x4 $1, %ymm1, %zmm0, %zmm0
 681 ; ALL-NEXT:    retq
 682   %a = fptrunc <16 x double> %b to <16 x float>
 683   ret <16 x float> %a
 684 }
 685
 686 define <4 x float> @f64to4f32(<4 x double> %b) {
 687 ; ALL-LABEL: f64to4f32:
 688 ; ALL:       # %bb.0:
 689 ; ALL-NEXT:    vcvtpd2ps %ymm0, %xmm0
 690 ; ALL-NEXT:    vzeroupper
 691 ; ALL-NEXT:    retq
 692   %a = fptrunc <4 x double> %b to <4 x float>
 693   ret <4 x float> %a
 694 }
 695
 696 define <4 x float> @f64to4f32_mask(<4 x double> %b, <4 x i1> %mask) {
 697 ; NOVLDQ-LABEL: f64to4f32_mask:
 698 ; NOVLDQ:       # %bb.0:
 699 ; NOVLDQ-NEXT:    vpslld $31, %xmm1, %xmm1
 700 ; NOVLDQ-NEXT:    vptestmd %zmm1, %zmm1, %k1
 701 ; NOVLDQ-NEXT:    vcvtpd2ps %ymm0, %xmm0
 702 ; NOVLDQ-NEXT:    vmovaps %zmm0, %zmm0 {%k1} {z}
 703 ; NOVLDQ-NEXT:    # kill: def $xmm0 killed $xmm0 killed $zmm0
 704 ; NOVLDQ-NEXT:    vzeroupper
 705 ; NOVLDQ-NEXT:    retq
 706 ;
 707 ; VLDQ-LABEL: f64to4f32_mask:
 708 ; VLDQ:       # %bb.0:
 709 ; VLDQ-NEXT:    vpslld $31, %xmm1, %xmm1
 710 ; VLDQ-NEXT:    vpmovd2m %xmm1, %k1
 711 ; VLDQ-NEXT:    vcvtpd2ps %ymm0, %xmm0 {%k1} {z}
 712 ; VLDQ-NEXT:    vzeroupper
 713 ; VLDQ-NEXT:    retq
 714 ;
 715 ; VLNODQ-LABEL: f64to4f32_mask:
 716 ; VLNODQ:       # %bb.0:
 717 ; VLNODQ-NEXT:    vpslld $31, %xmm1, %xmm1
 718 ; VLNODQ-NEXT:    vptestmd %xmm1, %xmm1, %k1
 719 ; VLNODQ-NEXT:    vcvtpd2ps %ymm0, %xmm0 {%k1} {z}
 720 ; VLNODQ-NEXT:    vzeroupper
 721 ; VLNODQ-NEXT:    retq
 722 ;
 723 ; DQNOVL-LABEL: f64to4f32_mask:
 724 ; DQNOVL:       # %bb.0:
 725 ; DQNOVL-NEXT:    vpslld $31, %xmm1, %xmm1
 726 ; DQNOVL-NEXT:    vpmovd2m %zmm1, %k1
 727 ; DQNOVL-NEXT:    vcvtpd2ps %ymm0, %xmm0
 728 ; DQNOVL-NEXT:    vmovaps %zmm0, %zmm0 {%k1} {z}
 729 ; DQNOVL-NEXT:    # kill: def $xmm0 killed $xmm0 killed $zmm0
 730 ; DQNOVL-NEXT:    vzeroupper
 731 ; DQNOVL-NEXT:    retq
 732   %a = fptrunc <4 x double> %b to <4 x float>
 733   %c = select <4 x i1>%mask, <4 x float>%a, <4 x float> zeroinitializer
 734   ret <4 x float> %c
 735 }
 736
 737 define <4 x float> @f64tof32_inreg(<2 x double> %a0, <4 x float> %a1) nounwind {
 738 ; ALL-LABEL: f64tof32_inreg:
 739 ; ALL:       # %bb.0:
 740 ; ALL-NEXT:    vcvtsd2ss %xmm0, %xmm1, %xmm0
 741 ; ALL-NEXT:    retq
 742   %ext = extractelement <2 x double> %a0, i32 0
 743   %cvt = fptrunc double %ext to float
 744   %res = insertelement <4 x float> %a1, float %cvt, i32 0
 745   ret <4 x float> %res
 746 }
 747
 748 define <8 x double> @f32to8f64(<8 x float> %b) nounwind {
 749 ; ALL-LABEL: f32to8f64:
 750 ; ALL:       # %bb.0:
 751 ; ALL-NEXT:    vcvtps2pd %ymm0, %zmm0
 752 ; ALL-NEXT:    retq
 753   %a = fpext <8 x float> %b to <8 x double>
 754   ret <8 x double> %a
 755 }
 756
 757 define <4 x double> @f32to4f64_mask(<4 x float> %b, <4 x double> %b1, <4 x double> %a1) {
 758 ; NOVL-LABEL: f32to4f64_mask:
 759 ; NOVL:       # %bb.0:
 760 ; NOVL-NEXT:    # kill: def $ymm2 killed $ymm2 def $zmm2
 761 ; NOVL-NEXT:    # kill: def $ymm1 killed $ymm1 def $zmm1
 762 ; NOVL-NEXT:    vcvtps2pd %xmm0, %ymm0
 763 ; NOVL-NEXT:    vcmpltpd %zmm2, %zmm1, %k1
 764 ; NOVL-NEXT:    vmovapd %zmm0, %zmm0 {%k1} {z}
 765 ; NOVL-NEXT:    # kill: def $ymm0 killed $ymm0 killed $zmm0
 766 ; NOVL-NEXT:    retq
 767 ;
 768 ; VL-LABEL: f32to4f64_mask:
 769 ; VL:       # %bb.0:
 770 ; VL-NEXT:    vcmpltpd %ymm2, %ymm1, %k1
 771 ; VL-NEXT:    vcvtps2pd %xmm0, %ymm0 {%k1} {z}
 772 ; VL-NEXT:    retq
 773   %a = fpext <4 x float> %b to <4 x double>
 774   %mask = fcmp ogt <4 x double> %a1, %b1
 775   %c = select <4 x i1> %mask, <4 x double> %a, <4 x double> zeroinitializer
 776   ret <4 x double> %c
 777 }
 778
 779 define <2 x double> @f32tof64_inreg(<2 x double> %a0, <4 x float> %a1) nounwind {
 780 ; ALL-LABEL: f32tof64_inreg:
 781 ; ALL:       # %bb.0:
 782 ; ALL-NEXT:    vcvtss2sd %xmm1, %xmm0, %xmm0
 783 ; ALL-NEXT:    retq
 784   %ext = extractelement <4 x float> %a1, i32 0
 785   %cvt = fpext float %ext to double
 786   %res = insertelement <2 x double> %a0, double %cvt, i32 0
 787   ret <2 x double> %res
 788 }
 789
 790 define double @sltof64_load(i64* nocapture %e) {
 791 ; ALL-LABEL: sltof64_load:
 792 ; ALL:       # %bb.0: # %entry
 793 ; ALL-NEXT:    vcvtsi2sdq (%rdi), %xmm0, %xmm0
 794 ; ALL-NEXT:    retq
 795 entry:
 796   %tmp1 = load i64, i64* %e, align 8
 797   %conv = sitofp i64 %tmp1 to double
 798   ret double %conv
 799 }
 800
 801 define double @sitof64_load(i32* %e) {
 802 ; ALL-LABEL: sitof64_load:
 803 ; ALL:       # %bb.0: # %entry
 804 ; ALL-NEXT:    vcvtsi2sdl (%rdi), %xmm0, %xmm0
 805 ; ALL-NEXT:    retq
 806 entry:
 807   %tmp1 = load i32, i32* %e, align 4
 808   %conv = sitofp i32 %tmp1 to double
 809   ret double %conv
 810 }
 811
 812 define float @sitof32_load(i32* %e) {
 813 ; ALL-LABEL: sitof32_load:
 814 ; ALL:       # %bb.0: # %entry
 815 ; ALL-NEXT:    vcvtsi2ssl (%rdi), %xmm0, %xmm0
 816 ; ALL-NEXT:    retq
 817 entry:
 818   %tmp1 = load i32, i32* %e, align 4
 819   %conv = sitofp i32 %tmp1 to float
 820   ret float %conv
 821 }
 822
 823 define float @sltof32_load(i64* %e) {
 824 ; ALL-LABEL: sltof32_load:
 825 ; ALL:       # %bb.0: # %entry
 826 ; ALL-NEXT:    vcvtsi2ssq (%rdi), %xmm0, %xmm0
 827 ; ALL-NEXT:    retq
 828 entry:
 829   %tmp1 = load i64, i64* %e, align 8
 830   %conv = sitofp i64 %tmp1 to float
 831   ret float %conv
 832 }
 833
 834 define void @f32tof64_loadstore() {
 835 ; ALL-LABEL: f32tof64_loadstore:
 836 ; ALL:       # %bb.0: # %entry
 837 ; ALL-NEXT:    vmovss {{.*#+}} xmm0 = mem[0],zero,zero,zero
 838 ; ALL-NEXT:    vcvtss2sd %xmm0, %xmm0, %xmm0
 839 ; ALL-NEXT:    vmovsd %xmm0, -{{[0-9]+}}(%rsp)
 840 ; ALL-NEXT:    retq
 841 entry:
 842   %f = alloca float, align 4
 843   %d = alloca double, align 8
 844   %tmp = load float, float* %f, align 4
 845   %conv = fpext float %tmp to double
 846   store double %conv, double* %d, align 8
 847   ret void
 848 }
 849
 850 define void @f64tof32_loadstore() nounwind uwtable {
 851 ; ALL-LABEL: f64tof32_loadstore:
 852 ; ALL:       # %bb.0: # %entry
 853 ; ALL-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
 854 ; ALL-NEXT:    vcvtsd2ss %xmm0, %xmm0, %xmm0
 855 ; ALL-NEXT:    vmovss %xmm0, -{{[0-9]+}}(%rsp)
 856 ; ALL-NEXT:    retq
 857 entry:
 858   %f = alloca float, align 4
 859   %d = alloca double, align 8
 860   %tmp = load double, double* %d, align 8
 861   %conv = fptrunc double %tmp to float
 862   store float %conv, float* %f, align 4
 863   ret void
 864 }
 865
 866 define double @long_to_double(i64 %x) {
 867 ; ALL-LABEL: long_to_double:
 868 ; ALL:       # %bb.0:
 869 ; ALL-NEXT:    vmovq %rdi, %xmm0
 870 ; ALL-NEXT:    retq
 871    %res = bitcast i64 %x to double
 872    ret double %res
 873 }
 874
 875 define i64 @double_to_long(double %x) {
 876 ; ALL-LABEL: double_to_long:
 877 ; ALL:       # %bb.0:
 878 ; ALL-NEXT:    vmovq %xmm0, %rax
 879 ; ALL-NEXT:    retq
 880    %res = bitcast double %x to i64
 881    ret i64 %res
 882 }
 883
 884 define float @int_to_float(i32 %x) {
 885 ; ALL-LABEL: int_to_float:
 886 ; ALL:       # %bb.0:
 887 ; ALL-NEXT:    vmovd %edi, %xmm0
 888 ; ALL-NEXT:    retq
 889    %res = bitcast i32 %x to float
 890    ret float %res
 891 }
 892
 893 define i32 @float_to_int(float %x) {
 894 ; ALL-LABEL: float_to_int:
 895 ; ALL:       # %bb.0:
 896 ; ALL-NEXT:    vmovd %xmm0, %eax
 897 ; ALL-NEXT:    retq
 898    %res = bitcast float %x to i32
 899    ret i32 %res
 900 }
 901
 902 define <16 x double> @uito16f64(<16 x i32> %a) nounwind {
 903 ; ALL-LABEL: uito16f64:
 904 ; ALL:       # %bb.0:
 905 ; ALL-NEXT:    vcvtudq2pd %ymm0, %zmm2
 906 ; ALL-NEXT:    vextractf64x4 $1, %zmm0, %ymm0
 907 ; ALL-NEXT:    vcvtudq2pd %ymm0, %zmm1
 908 ; ALL-NEXT:    vmovaps %zmm2, %zmm0
 909 ; ALL-NEXT:    retq
 910   %b = uitofp <16 x i32> %a to <16 x double>
 911   ret <16 x double> %b
 912 }
 913
 914 define <8 x float> @slto8f32(<8 x i64> %a) {
 915 ; NODQ-LABEL: slto8f32:
 916 ; NODQ:       # %bb.0:
 917 ; NODQ-NEXT:    vextracti32x4 $2, %zmm0, %xmm1
 918 ; NODQ-NEXT:    vpextrq $1, %xmm1, %rax
 919 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm2, %xmm2
 920 ; NODQ-NEXT:    vmovq %xmm1, %rax
 921 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm3, %xmm1
 922 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm1 = xmm1[0],xmm2[0],xmm1[2,3]
 923 ; NODQ-NEXT:    vextracti32x4 $3, %zmm0, %xmm2
 924 ; NODQ-NEXT:    vmovq %xmm2, %rax
 925 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm3, %xmm3
 926 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm1 = xmm1[0,1],xmm3[0],xmm1[3]
 927 ; NODQ-NEXT:    vpextrq $1, %xmm2, %rax
 928 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm4, %xmm2
 929 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm1 = xmm1[0,1,2],xmm2[0]
 930 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
 931 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm4, %xmm2
 932 ; NODQ-NEXT:    vmovq %xmm0, %rax
 933 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm4, %xmm3
 934 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm2 = xmm3[0],xmm2[0],xmm3[2,3]
 935 ; NODQ-NEXT:    vextracti128 $1, %ymm0, %xmm0
 936 ; NODQ-NEXT:    vmovq %xmm0, %rax
 937 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm4, %xmm3
 938 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm2 = xmm2[0,1],xmm3[0],xmm2[3]
 939 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
 940 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm4, %xmm0
 941 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm0 = xmm2[0,1,2],xmm0[0]
 942 ; NODQ-NEXT:    vinsertf128 $1, %xmm1, %ymm0, %ymm0
 943 ; NODQ-NEXT:    retq
 944 ;
 945 ; VLDQ-LABEL: slto8f32:
 946 ; VLDQ:       # %bb.0:
 947 ; VLDQ-NEXT:    vcvtqq2ps %zmm0, %ymm0
 948 ; VLDQ-NEXT:    retq
 949 ;
 950 ; DQNOVL-LABEL: slto8f32:
 951 ; DQNOVL:       # %bb.0:
 952 ; DQNOVL-NEXT:    vcvtqq2ps %zmm0, %ymm0
 953 ; DQNOVL-NEXT:    retq
 954   %b = sitofp <8 x i64> %a to <8 x float>
 955   ret <8 x float> %b
 956 }
 957
 958 define <16 x float> @slto16f32(<16 x i64> %a) {
 959 ; NODQ-LABEL: slto16f32:
 960 ; NODQ:       # %bb.0:
 961 ; NODQ-NEXT:    vextracti32x4 $2, %zmm1, %xmm2
 962 ; NODQ-NEXT:    vpextrq $1, %xmm2, %rax
 963 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm3, %xmm3
 964 ; NODQ-NEXT:    vmovq %xmm2, %rax
 965 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm4, %xmm2
 966 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm2 = xmm2[0],xmm3[0],xmm2[2,3]
 967 ; NODQ-NEXT:    vextracti32x4 $3, %zmm1, %xmm3
 968 ; NODQ-NEXT:    vmovq %xmm3, %rax
 969 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm4, %xmm4
 970 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm2 = xmm2[0,1],xmm4[0],xmm2[3]
 971 ; NODQ-NEXT:    vpextrq $1, %xmm3, %rax
 972 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm5, %xmm3
 973 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm2 = xmm2[0,1,2],xmm3[0]
 974 ; NODQ-NEXT:    vpextrq $1, %xmm1, %rax
 975 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm5, %xmm3
 976 ; NODQ-NEXT:    vmovq %xmm1, %rax
 977 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm5, %xmm4
 978 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm3 = xmm4[0],xmm3[0],xmm4[2,3]
 979 ; NODQ-NEXT:    vextracti128 $1, %ymm1, %xmm1
 980 ; NODQ-NEXT:    vmovq %xmm1, %rax
 981 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm5, %xmm4
 982 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm3 = xmm3[0,1],xmm4[0],xmm3[3]
 983 ; NODQ-NEXT:    vpextrq $1, %xmm1, %rax
 984 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm5, %xmm1
 985 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm1 = xmm3[0,1,2],xmm1[0]
 986 ; NODQ-NEXT:    vinsertf128 $1, %xmm2, %ymm1, %ymm1
 987 ; NODQ-NEXT:    vextracti32x4 $2, %zmm0, %xmm2
 988 ; NODQ-NEXT:    vpextrq $1, %xmm2, %rax
 989 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm5, %xmm3
 990 ; NODQ-NEXT:    vmovq %xmm2, %rax
 991 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm5, %xmm2
 992 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm2 = xmm2[0],xmm3[0],xmm2[2,3]
 993 ; NODQ-NEXT:    vextracti32x4 $3, %zmm0, %xmm3
 994 ; NODQ-NEXT:    vmovq %xmm3, %rax
 995 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm5, %xmm4
 996 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm2 = xmm2[0,1],xmm4[0],xmm2[3]
 997 ; NODQ-NEXT:    vpextrq $1, %xmm3, %rax
 998 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm5, %xmm3
 999 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm2 = xmm2[0,1,2],xmm3[0]
1000 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
1001 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm5, %xmm3
1002 ; NODQ-NEXT:    vmovq %xmm0, %rax
1003 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm5, %xmm4
1004 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm3 = xmm4[0],xmm3[0],xmm4[2,3]
1005 ; NODQ-NEXT:    vextracti128 $1, %ymm0, %xmm0
1006 ; NODQ-NEXT:    vmovq %xmm0, %rax
1007 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm5, %xmm4
1008 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm3 = xmm3[0,1],xmm4[0],xmm3[3]
1009 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
1010 ; NODQ-NEXT:    vcvtsi2ssq %rax, %xmm5, %xmm0
1011 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm0 = xmm3[0,1,2],xmm0[0]
1012 ; NODQ-NEXT:    vinsertf128 $1, %xmm2, %ymm0, %ymm0
1013 ; NODQ-NEXT:    vinsertf64x4 $1, %ymm1, %zmm0, %zmm0
1014 ; NODQ-NEXT:    retq
1015 ;
1016 ; VLDQ-LABEL: slto16f32:
1017 ; VLDQ:       # %bb.0:
1018 ; VLDQ-NEXT:    vcvtqq2ps %zmm0, %ymm0
1019 ; VLDQ-NEXT:    vcvtqq2ps %zmm1, %ymm1
1020 ; VLDQ-NEXT:    vinsertf64x4 $1, %ymm1, %zmm0, %zmm0
1021 ; VLDQ-NEXT:    retq
1022 ;
1023 ; DQNOVL-LABEL: slto16f32:
1024 ; DQNOVL:       # %bb.0:
1025 ; DQNOVL-NEXT:    vcvtqq2ps %zmm0, %ymm0
1026 ; DQNOVL-NEXT:    vcvtqq2ps %zmm1, %ymm1
1027 ; DQNOVL-NEXT:    vinsertf64x4 $1, %ymm1, %zmm0, %zmm0
1028 ; DQNOVL-NEXT:    retq
1029   %b = sitofp <16 x i64> %a to <16 x float>
1030   ret <16 x float> %b
1031 }
1032
1033 define <8 x double> @slto8f64(<8 x i64> %a) {
1034 ; NODQ-LABEL: slto8f64:
1035 ; NODQ:       # %bb.0:
1036 ; NODQ-NEXT:    vextracti32x4 $3, %zmm0, %xmm1
1037 ; NODQ-NEXT:    vpextrq $1, %xmm1, %rax
1038 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm2, %xmm2
1039 ; NODQ-NEXT:    vmovq %xmm1, %rax
1040 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm3, %xmm1
1041 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm1 = xmm1[0],xmm2[0]
1042 ; NODQ-NEXT:    vextracti32x4 $2, %zmm0, %xmm2
1043 ; NODQ-NEXT:    vpextrq $1, %xmm2, %rax
1044 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm3, %xmm3
1045 ; NODQ-NEXT:    vmovq %xmm2, %rax
1046 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm4, %xmm2
1047 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm2 = xmm2[0],xmm3[0]
1048 ; NODQ-NEXT:    vinsertf128 $1, %xmm1, %ymm2, %ymm1
1049 ; NODQ-NEXT:    vextracti128 $1, %ymm0, %xmm2
1050 ; NODQ-NEXT:    vpextrq $1, %xmm2, %rax
1051 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm4, %xmm3
1052 ; NODQ-NEXT:    vmovq %xmm2, %rax
1053 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm4, %xmm2
1054 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm2 = xmm2[0],xmm3[0]
1055 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
1056 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm4, %xmm3
1057 ; NODQ-NEXT:    vmovq %xmm0, %rax
1058 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm4, %xmm0
1059 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm0 = xmm0[0],xmm3[0]
1060 ; NODQ-NEXT:    vinsertf128 $1, %xmm2, %ymm0, %ymm0
1061 ; NODQ-NEXT:    vinsertf64x4 $1, %ymm1, %zmm0, %zmm0
1062 ; NODQ-NEXT:    retq
1063 ;
1064 ; VLDQ-LABEL: slto8f64:
1065 ; VLDQ:       # %bb.0:
1066 ; VLDQ-NEXT:    vcvtqq2pd %zmm0, %zmm0
1067 ; VLDQ-NEXT:    retq
1068 ;
1069 ; DQNOVL-LABEL: slto8f64:
1070 ; DQNOVL:       # %bb.0:
1071 ; DQNOVL-NEXT:    vcvtqq2pd %zmm0, %zmm0
1072 ; DQNOVL-NEXT:    retq
1073   %b = sitofp <8 x i64> %a to <8 x double>
1074   ret <8 x double> %b
1075 }
1076
1077 define <16 x double> @slto16f64(<16 x i64> %a) {
1078 ; NODQ-LABEL: slto16f64:
1079 ; NODQ:       # %bb.0:
1080 ; NODQ-NEXT:    vextracti32x4 $3, %zmm0, %xmm2
1081 ; NODQ-NEXT:    vpextrq $1, %xmm2, %rax
1082 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm3, %xmm3
1083 ; NODQ-NEXT:    vmovq %xmm2, %rax
1084 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm4, %xmm2
1085 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm2 = xmm2[0],xmm3[0]
1086 ; NODQ-NEXT:    vextracti32x4 $2, %zmm0, %xmm3
1087 ; NODQ-NEXT:    vpextrq $1, %xmm3, %rax
1088 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm4, %xmm4
1089 ; NODQ-NEXT:    vmovq %xmm3, %rax
1090 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm5, %xmm3
1091 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm3 = xmm3[0],xmm4[0]
1092 ; NODQ-NEXT:    vinsertf128 $1, %xmm2, %ymm3, %ymm2
1093 ; NODQ-NEXT:    vextracti128 $1, %ymm0, %xmm3
1094 ; NODQ-NEXT:    vpextrq $1, %xmm3, %rax
1095 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm5, %xmm4
1096 ; NODQ-NEXT:    vmovq %xmm3, %rax
1097 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm5, %xmm3
1098 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm3 = xmm3[0],xmm4[0]
1099 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
1100 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm5, %xmm4
1101 ; NODQ-NEXT:    vmovq %xmm0, %rax
1102 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm5, %xmm0
1103 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm0 = xmm0[0],xmm4[0]
1104 ; NODQ-NEXT:    vinsertf128 $1, %xmm3, %ymm0, %ymm0
1105 ; NODQ-NEXT:    vinsertf64x4 $1, %ymm2, %zmm0, %zmm0
1106 ; NODQ-NEXT:    vextracti32x4 $3, %zmm1, %xmm2
1107 ; NODQ-NEXT:    vpextrq $1, %xmm2, %rax
1108 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm5, %xmm3
1109 ; NODQ-NEXT:    vmovq %xmm2, %rax
1110 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm5, %xmm2
1111 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm2 = xmm2[0],xmm3[0]
1112 ; NODQ-NEXT:    vextracti32x4 $2, %zmm1, %xmm3
1113 ; NODQ-NEXT:    vpextrq $1, %xmm3, %rax
1114 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm5, %xmm4
1115 ; NODQ-NEXT:    vmovq %xmm3, %rax
1116 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm5, %xmm3
1117 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm3 = xmm3[0],xmm4[0]
1118 ; NODQ-NEXT:    vinsertf128 $1, %xmm2, %ymm3, %ymm2
1119 ; NODQ-NEXT:    vextracti128 $1, %ymm1, %xmm3
1120 ; NODQ-NEXT:    vpextrq $1, %xmm3, %rax
1121 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm5, %xmm4
1122 ; NODQ-NEXT:    vmovq %xmm3, %rax
1123 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm5, %xmm3
1124 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm3 = xmm3[0],xmm4[0]
1125 ; NODQ-NEXT:    vpextrq $1, %xmm1, %rax
1126 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm5, %xmm4
1127 ; NODQ-NEXT:    vmovq %xmm1, %rax
1128 ; NODQ-NEXT:    vcvtsi2sdq %rax, %xmm5, %xmm1
1129 ; NODQ-NEXT:    vmovlhps {{.*#+}} xmm1 = xmm1[0],xmm4[0]
1130 ; NODQ-NEXT:    vinsertf128 $1, %xmm3, %ymm1, %ymm1
1131 ; NODQ-NEXT:    vinsertf64x4 $1, %ymm2, %zmm1, %zmm1
1132 ; NODQ-NEXT:    retq
1133 ;
1134 ; VLDQ-LABEL: slto16f64:
1135 ; VLDQ:       # %bb.0:
1136 ; VLDQ-NEXT:    vcvtqq2pd %zmm0, %zmm0
1137 ; VLDQ-NEXT:    vcvtqq2pd %zmm1, %zmm1
1138 ; VLDQ-NEXT:    retq
1139 ;
1140 ; DQNOVL-LABEL: slto16f64:
1141 ; DQNOVL:       # %bb.0:
1142 ; DQNOVL-NEXT:    vcvtqq2pd %zmm0, %zmm0
1143 ; DQNOVL-NEXT:    vcvtqq2pd %zmm1, %zmm1
1144 ; DQNOVL-NEXT:    retq
1145   %b = sitofp <16 x i64> %a to <16 x double>
1146   ret <16 x double> %b
1147 }
1148
1149 define <8 x float> @ulto8f32(<8 x i64> %a) {
1150 ; NODQ-LABEL: ulto8f32:
1151 ; NODQ:       # %bb.0:
1152 ; NODQ-NEXT:    vextracti32x4 $2, %zmm0, %xmm1
1153 ; NODQ-NEXT:    vpextrq $1, %xmm1, %rax
1154 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm2, %xmm2
1155 ; NODQ-NEXT:    vmovq %xmm1, %rax
1156 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm3, %xmm1
1157 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm1 = xmm1[0],xmm2[0],xmm1[2,3]
1158 ; NODQ-NEXT:    vextracti32x4 $3, %zmm0, %xmm2
1159 ; NODQ-NEXT:    vmovq %xmm2, %rax
1160 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm3, %xmm3
1161 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm1 = xmm1[0,1],xmm3[0],xmm1[3]
1162 ; NODQ-NEXT:    vpextrq $1, %xmm2, %rax
1163 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm4, %xmm2
1164 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm1 = xmm1[0,1,2],xmm2[0]
1165 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
1166 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm4, %xmm2
1167 ; NODQ-NEXT:    vmovq %xmm0, %rax
1168 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm4, %xmm3
1169 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm2 = xmm3[0],xmm2[0],xmm3[2,3]
1170 ; NODQ-NEXT:    vextracti128 $1, %ymm0, %xmm0
1171 ; NODQ-NEXT:    vmovq %xmm0, %rax
1172 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm4, %xmm3
1173 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm2 = xmm2[0,1],xmm3[0],xmm2[3]
1174 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
1175 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm4, %xmm0
1176 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm0 = xmm2[0,1,2],xmm0[0]
1177 ; NODQ-NEXT:    vinsertf128 $1, %xmm1, %ymm0, %ymm0
1178 ; NODQ-NEXT:    retq
1179 ;
1180 ; VLDQ-LABEL: ulto8f32:
1181 ; VLDQ:       # %bb.0:
1182 ; VLDQ-NEXT:    vcvtuqq2ps %zmm0, %ymm0
1183 ; VLDQ-NEXT:    retq
1184 ;
1185 ; DQNOVL-LABEL: ulto8f32:
1186 ; DQNOVL:       # %bb.0:
1187 ; DQNOVL-NEXT:    vcvtuqq2ps %zmm0, %ymm0
1188 ; DQNOVL-NEXT:    retq
1189   %b = uitofp <8 x i64> %a to <8 x float>
1190   ret <8 x float> %b
1191 }
1192
1193 define <16 x float> @ulto16f32(<16 x i64> %a) {
1194 ; NODQ-LABEL: ulto16f32:
1195 ; NODQ:       # %bb.0:
1196 ; NODQ-NEXT:    vextracti32x4 $2, %zmm1, %xmm2
1197 ; NODQ-NEXT:    vpextrq $1, %xmm2, %rax
1198 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm3, %xmm3
1199 ; NODQ-NEXT:    vmovq %xmm2, %rax
1200 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm4, %xmm2
1201 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm2 = xmm2[0],xmm3[0],xmm2[2,3]
1202 ; NODQ-NEXT:    vextracti32x4 $3, %zmm1, %xmm3
1203 ; NODQ-NEXT:    vmovq %xmm3, %rax
1204 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm4, %xmm4
1205 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm2 = xmm2[0,1],xmm4[0],xmm2[3]
1206 ; NODQ-NEXT:    vpextrq $1, %xmm3, %rax
1207 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm5, %xmm3
1208 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm2 = xmm2[0,1,2],xmm3[0]
1209 ; NODQ-NEXT:    vpextrq $1, %xmm1, %rax
1210 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm5, %xmm3
1211 ; NODQ-NEXT:    vmovq %xmm1, %rax
1212 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm5, %xmm4
1213 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm3 = xmm4[0],xmm3[0],xmm4[2,3]
1214 ; NODQ-NEXT:    vextracti128 $1, %ymm1, %xmm1
1215 ; NODQ-NEXT:    vmovq %xmm1, %rax
1216 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm5, %xmm4
1217 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm3 = xmm3[0,1],xmm4[0],xmm3[3]
1218 ; NODQ-NEXT:    vpextrq $1, %xmm1, %rax
1219 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm5, %xmm1
1220 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm1 = xmm3[0,1,2],xmm1[0]
1221 ; NODQ-NEXT:    vinsertf128 $1, %xmm2, %ymm1, %ymm1
1222 ; NODQ-NEXT:    vextracti32x4 $2, %zmm0, %xmm2
1223 ; NODQ-NEXT:    vpextrq $1, %xmm2, %rax
1224 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm5, %xmm3
1225 ; NODQ-NEXT:    vmovq %xmm2, %rax
1226 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm5, %xmm2
1227 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm2 = xmm2[0],xmm3[0],xmm2[2,3]
1228 ; NODQ-NEXT:    vextracti32x4 $3, %zmm0, %xmm3
1229 ; NODQ-NEXT:    vmovq %xmm3, %rax
1230 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm5, %xmm4
1231 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm2 = xmm2[0,1],xmm4[0],xmm2[3]
1232 ; NODQ-NEXT:    vpextrq $1, %xmm3, %rax
1233 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm5, %xmm3
1234 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm2 = xmm2[0,1,2],xmm3[0]
1235 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
1236 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm5, %xmm3
1237 ; NODQ-NEXT:    vmovq %xmm0, %rax
1238 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm5, %xmm4
1239 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm3 = xmm4[0],xmm3[0],xmm4[2,3]
1240 ; NODQ-NEXT:    vextracti128 $1, %ymm0, %xmm0
1241 ; NODQ-NEXT:    vmovq %xmm0, %rax
1242 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm5, %xmm4
1243 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm3 = xmm3[0,1],xmm4[0],xmm3[3]
1244 ; NODQ-NEXT:    vpextrq $1, %xmm0, %rax
1245 ; NODQ-NEXT:    vcvtusi2ssq %rax, %xmm5, %xmm0
1246 ; NODQ-NEXT:    vinsertps {{.*#+}} xmm0 = xmm3[0,1,2],xmm0[0]
1247 ; NODQ-NEXT:    vinsertf128 $1, %xmm2, %ymm0, %ymm0
1248 ; NODQ-NEXT:    vinsertf64x4 $1, %ymm1, %zmm0, %zmm0
1249 ; NODQ-NEXT:    retq
1250 ;
1251 ; VLDQ-LABEL: ulto16f32:
1252 ; VLDQ:       # %bb.0:
1253 ; VLDQ-NEXT:    vcvtuqq2ps %zmm0, %ymm0
1254 ; VLDQ-NEXT:    vcvtuqq2ps %zmm1, %ymm1
1255 ; VLDQ-NEXT:    vinsertf64x4 $1, %ymm1, %zmm0, %zmm0
1256 ; VLDQ-NEXT:    retq
1257 ;
1258 ; DQNOVL-LABEL: ulto16f32:
1259 ; DQNOVL:       # %bb.0:
1260 ; DQNOVL-NEXT:    vcvtuqq2ps %zmm0, %ymm0
1261 ; DQNOVL-NEXT:    vcvtuqq2ps %zmm1, %ymm1
1262 ; DQNOVL-NEXT:    vinsertf64x4 $1, %ymm1, %zmm0, %zmm0
1263 ; DQNOVL-NEXT:    retq
1264   %b = uitofp <16 x i64> %a to <16 x float>
1265   ret <16 x float> %b
1266 }
1267
1268 define <8 x double> @uito8f64_mask(<8 x double> %a, <8 x i32> %b, i8 %c) nounwind {
1269 ; KNL-LABEL: uito8f64_mask:
1270 ; KNL:       # %bb.0:
1271 ; KNL-NEXT:    kmovw %edi, %k1
1272 ; KNL-NEXT:    vcvtudq2pd %ymm1, %zmm0 {%k1}
1273 ; KNL-NEXT:    retq
1274 ;
1275 ; VLBW-LABEL: uito8f64_mask:
1276 ; VLBW:       # %bb.0:
1277 ; VLBW-NEXT:    kmovd %edi, %k1
1278 ; VLBW-NEXT:    vcvtudq2pd %ymm1, %zmm0 {%k1}
1279 ; VLBW-NEXT:    retq
1280 ;
1281 ; VLNOBW-LABEL: uito8f64_mask:
1282 ; VLNOBW:       # %bb.0:
1283 ; VLNOBW-NEXT:    kmovw %edi, %k1
1284 ; VLNOBW-NEXT:    vcvtudq2pd %ymm1, %zmm0 {%k1}
1285 ; VLNOBW-NEXT:    retq
1286 ;
1287 ; DQNOVL-LABEL: uito8f64_mask:
1288 ; DQNOVL:       # %bb.0:
1289 ; DQNOVL-NEXT:    kmovw %edi, %k1
1290 ; DQNOVL-NEXT:    vcvtudq2pd %ymm1, %zmm0 {%k1}
1291 ; DQNOVL-NEXT:    retq
1292 ;
1293 ; AVX512BW-LABEL: uito8f64_mask:
1294 ; AVX512BW:       # %bb.0:
1295 ; AVX512BW-NEXT:    kmovd %edi, %k1
1296 ; AVX512BW-NEXT:    vcvtudq2pd %ymm1, %zmm0 {%k1}
1297 ; AVX512BW-NEXT:    retq
1298   %1 = bitcast i8 %c to <8 x i1>
1299   %2 = uitofp <8 x i32> %b to <8 x double>
1300   %3 = select <8 x i1> %1, <8 x double> %2, <8 x double> %a
1301   ret <8 x double> %3
1302 }
1303 define <8 x double> @uito8f64_maskz(<8 x i32> %a, i8 %b) nounwind {
1304 ; KNL-LABEL: uito8f64_maskz:
1305 ; KNL:       # %bb.0:
1306 ; KNL-NEXT:    kmovw %edi, %k1
1307 ; KNL-NEXT:    vcvtudq2pd %ymm0, %zmm0 {%k1} {z}
1308 ; KNL-NEXT:    retq
1309 ;
1310 ; VLBW-LABEL: uito8f64_maskz:
1311 ; VLBW:       # %bb.0:
1312 ; VLBW-NEXT:    kmovd %edi, %k1
1313 ; VLBW-NEXT:    vcvtudq2pd %ymm0, %zmm0 {%k1} {z}
1314 ; VLBW-NEXT:    retq
1315 ;
1316 ; VLNOBW-LABEL: uito8f64_maskz:
1317 ; VLNOBW:       # %bb.0:
1318 ; VLNOBW-NEXT:    kmovw %edi, %k1
1319 ; VLNOBW-NEXT:    vcvtudq2pd %ymm0, %zmm0 {%k1} {z}
1320 ; VLNOBW-NEXT:    retq
1321 ;
1322 ; DQNOVL-LABEL: uito8f64_maskz:
1323 ; DQNOVL:       # %bb.0:
1324 ; DQNOVL-NEXT:    kmovw %edi, %k1
1325 ; DQNOVL-NEXT:    vcvtudq2pd %ymm0, %zmm0 {%k1} {z}
1326 ; DQNOVL-NEXT:    retq
1327 ;
1328 ; AVX512BW-LABEL: uito8f64_maskz:
1329 ; AVX512BW:       # %bb.0:
1330 ; AVX512BW-NEXT:    kmovd %edi, %k1
1331 ; AVX512BW-NEXT:    vcvtudq2pd %ymm0, %zmm0 {%k1} {z}
1332 ; AVX512BW-NEXT:    retq
1333   %1 = bitcast i8 %b to <8 x i1>
1334   %2 = uitofp <8 x i32> %a to <8 x double>
1335   %3 = select <8 x i1> %1, <8 x double> %2, <8 x double> zeroinitializer
1336   ret <8 x double> %3
1337 }
1338
1339 define <4 x double> @uito4f64(<4 x i32> %a) nounwind {
1340 ; NOVL-LABEL: uito4f64:
1341 ; NOVL:       # %bb.0:
1342 ; NOVL-NEXT:    # kill: def $xmm0 killed $xmm0 def $ymm0
1343 ; NOVL-NEXT:    vcvtudq2pd %ymm0, %zmm0
1344 ; NOVL-NEXT:    # kill: def $ymm0 killed $ymm0 killed $zmm0
1345 ; NOVL-NEXT:    retq
1346 ;
1347 ; VL-LABEL: uito4f64:
1348 ; VL:       # %bb.0:
1349 ; VL-NEXT:    vcvtudq2pd %xmm0, %ymm0
1350 ; VL-NEXT:    retq
1351   %b = uitofp <4 x i32> %a to <4 x double>
1352   ret <4 x double> %b
1353 }
1354
1355 define <16 x float> @uito16f32(<16 x i32> %a) nounwind {
1356 ; ALL-LABEL: uito16f32:
1357 ; ALL:       # %bb.0:
1358 ; ALL-NEXT:    vcvtudq2ps %zmm0, %zmm0
1359 ; ALL-NEXT:    retq
1360   %b = uitofp <16 x i32> %a to <16 x float>
1361   ret <16 x float> %b
1362 }
1363
1364 define <8 x double> @uito8f64(<8 x i32> %a) {
1365 ; ALL-LABEL: uito8f64:
1366 ; ALL:       # %bb.0:
1367 ; ALL-NEXT:    vcvtudq2pd %ymm0, %zmm0
1368 ; ALL-NEXT:    retq
1369   %b = uitofp <8 x i32> %a to <8 x double>
1370   ret <8 x double> %b
1371 }
1372
1373 define <8 x float> @uito8f32(<8 x i32> %a) nounwind {
1374 ; NOVL-LABEL: uito8f32:
1375 ; NOVL:       # %bb.0:
1376 ; NOVL-NEXT:    # kill: def $ymm0 killed $ymm0 def $zmm0
1377 ; NOVL-NEXT:    vcvtudq2ps %zmm0, %zmm0
1378 ; NOVL-NEXT:    # kill: def $ymm0 killed $ymm0 killed $zmm0
1379 ; NOVL-NEXT:    retq
1380 ;
1381 ; VL-LABEL: uito8f32:
1382 ; VL:       # %bb.0:
1383 ; VL-NEXT:    vcvtudq2ps %ymm0, %ymm0
1384 ; VL-NEXT:    retq
1385   %b = uitofp <8 x i32> %a to <8 x float>
1386   ret <8 x float> %b
1387 }
1388
1389 define <4 x float> @uito4f32(<4 x i32> %a) nounwind {
1390 ; NOVL-LABEL: uito4f32:
1391 ; NOVL:       # %bb.0:
1392 ; NOVL-NEXT:    # kill: def $xmm0 killed $xmm0 def $zmm0
1393 ; NOVL-NEXT:    vcvtudq2ps %zmm0, %zmm0
1394 ; NOVL-NEXT:    # kill: def $xmm0 killed $xmm0 killed $zmm0
1395 ; NOVL-NEXT:    vzeroupper
1396 ; NOVL-NEXT:    retq
1397 ;
1398 ; VL-LABEL: uito4f32:
1399 ; VL:       # %bb.0:
1400 ; VL-NEXT:    vcvtudq2ps %xmm0, %xmm0
1401 ; VL-NEXT:    retq
1402   %b = uitofp <4 x i32> %a to <4 x float>
1403   ret <4 x float> %b
1404 }
1405
1406 define i32 @fptosi(float %a) nounwind {
1407 ; ALL-LABEL: fptosi:
1408 ; ALL:       # %bb.0:
1409 ; ALL-NEXT:    vcvttss2si %xmm0, %eax
1410 ; ALL-NEXT:    retq
1411   %b = fptosi float %a to i32
1412   ret i32 %b
1413 }
1414
1415 define i32 @fptoui(float %a) nounwind {
1416 ; ALL-LABEL: fptoui:
1417 ; ALL:       # %bb.0:
1418 ; ALL-NEXT:    vcvttss2usi %xmm0, %eax
1419 ; ALL-NEXT:    retq
1420   %b = fptoui float %a to i32
1421   ret i32 %b
1422 }
1423
1424 define float @uitof32(i32 %a) nounwind {
1425 ; ALL-LABEL: uitof32:
1426 ; ALL:       # %bb.0:
1427 ; ALL-NEXT:    vcvtusi2ssl %edi, %xmm0, %xmm0
1428 ; ALL-NEXT:    retq
1429   %b = uitofp i32 %a to float
1430   ret float %b
1431 }
1432
1433 define double @uitof64(i32 %a) nounwind {
1434 ; ALL-LABEL: uitof64:
1435 ; ALL:       # %bb.0:
1436 ; ALL-NEXT:    vcvtusi2sdl %edi, %xmm0, %xmm0
1437 ; ALL-NEXT:    retq
1438   %b = uitofp i32 %a to double
1439   ret double %b
1440 }
1441
1442 define <16 x float> @sbto16f32(<16 x i32> %a) {
1443 ; NODQ-LABEL: sbto16f32:
1444 ; NODQ:       # %bb.0:
1445 ; NODQ-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1446 ; NODQ-NEXT:    vpcmpgtd %zmm0, %zmm1, %k1
1447 ; NODQ-NEXT:    vpternlogd $255, %zmm0, %zmm0, %zmm0 {%k1} {z}
1448 ; NODQ-NEXT:    vcvtdq2ps %zmm0, %zmm0
1449 ; NODQ-NEXT:    retq
1450 ;
1451 ; VLDQ-LABEL: sbto16f32:
1452 ; VLDQ:       # %bb.0:
1453 ; VLDQ-NEXT:    vpmovd2m %zmm0, %k0
1454 ; VLDQ-NEXT:    vpmovm2d %k0, %zmm0
1455 ; VLDQ-NEXT:    vcvtdq2ps %zmm0, %zmm0
1456 ; VLDQ-NEXT:    retq
1457 ;
1458 ; DQNOVL-LABEL: sbto16f32:
1459 ; DQNOVL:       # %bb.0:
1460 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k0
1461 ; DQNOVL-NEXT:    vpmovm2d %k0, %zmm0
1462 ; DQNOVL-NEXT:    vcvtdq2ps %zmm0, %zmm0
1463 ; DQNOVL-NEXT:    retq
1464   %mask = icmp slt <16 x i32> %a, zeroinitializer
1465   %1 = sitofp <16 x i1> %mask to <16 x float>
1466   ret <16 x float> %1
1467 }
1468
1469 define <16 x float> @scto16f32(<16 x i8> %a) {
1470 ; ALL-LABEL: scto16f32:
1471 ; ALL:       # %bb.0:
1472 ; ALL-NEXT:    vpmovsxbd %xmm0, %zmm0
1473 ; ALL-NEXT:    vcvtdq2ps %zmm0, %zmm0
1474 ; ALL-NEXT:    retq
1475   %1 = sitofp <16 x i8> %a to <16 x float>
1476   ret <16 x float> %1
1477 }
1478
1479 define <16 x float> @ssto16f32(<16 x i16> %a) {
1480 ; ALL-LABEL: ssto16f32:
1481 ; ALL:       # %bb.0:
1482 ; ALL-NEXT:    vpmovsxwd %ymm0, %zmm0
1483 ; ALL-NEXT:    vcvtdq2ps %zmm0, %zmm0
1484 ; ALL-NEXT:    retq
1485   %1 = sitofp <16 x i16> %a to <16 x float>
1486   ret <16 x float> %1
1487 }
1488
1489 define <8 x double> @ssto16f64(<8 x i16> %a) {
1490 ; ALL-LABEL: ssto16f64:
1491 ; ALL:       # %bb.0:
1492 ; ALL-NEXT:    vpmovsxwd %xmm0, %ymm0
1493 ; ALL-NEXT:    vcvtdq2pd %ymm0, %zmm0
1494 ; ALL-NEXT:    retq
1495   %1 = sitofp <8 x i16> %a to <8 x double>
1496   ret <8 x double> %1
1497 }
1498
1499 define <8 x double> @scto8f64(<8 x i8> %a) {
1500 ; ALL-LABEL: scto8f64:
1501 ; ALL:       # %bb.0:
1502 ; ALL-NEXT:    vpmovsxbd %xmm0, %ymm0
1503 ; ALL-NEXT:    vcvtdq2pd %ymm0, %zmm0
1504 ; ALL-NEXT:    retq
1505   %1 = sitofp <8 x i8> %a to <8 x double>
1506   ret <8 x double> %1
1507 }
1508
1509 define <16 x double> @scto16f64(<16 x i8> %a) {
1510 ; ALL-LABEL: scto16f64:
1511 ; ALL:       # %bb.0:
1512 ; ALL-NEXT:    vpmovsxbd %xmm0, %zmm1
1513 ; ALL-NEXT:    vcvtdq2pd %ymm1, %zmm0
1514 ; ALL-NEXT:    vextracti64x4 $1, %zmm1, %ymm1
1515 ; ALL-NEXT:    vcvtdq2pd %ymm1, %zmm1
1516 ; ALL-NEXT:    retq
1517   %b = sitofp <16 x i8> %a to <16 x double>
1518   ret <16 x double> %b
1519 }
1520
1521 define <16 x double> @sbto16f64(<16 x double> %a) {
1522 ; NODQ-LABEL: sbto16f64:
1523 ; NODQ:       # %bb.0:
1524 ; NODQ-NEXT:    vxorpd %xmm2, %xmm2, %xmm2
1525 ; NODQ-NEXT:    vcmpltpd %zmm0, %zmm2, %k0
1526 ; NODQ-NEXT:    vcmpltpd %zmm1, %zmm2, %k1
1527 ; NODQ-NEXT:    kunpckbw %k0, %k1, %k1
1528 ; NODQ-NEXT:    vpternlogd $255, %zmm1, %zmm1, %zmm1 {%k1} {z}
1529 ; NODQ-NEXT:    vcvtdq2pd %ymm1, %zmm0
1530 ; NODQ-NEXT:    vextracti64x4 $1, %zmm1, %ymm1
1531 ; NODQ-NEXT:    vcvtdq2pd %ymm1, %zmm1
1532 ; NODQ-NEXT:    retq
1533 ;
1534 ; VLDQ-LABEL: sbto16f64:
1535 ; VLDQ:       # %bb.0:
1536 ; VLDQ-NEXT:    vxorpd %xmm2, %xmm2, %xmm2
1537 ; VLDQ-NEXT:    vcmpltpd %zmm0, %zmm2, %k0
1538 ; VLDQ-NEXT:    vcmpltpd %zmm1, %zmm2, %k1
1539 ; VLDQ-NEXT:    kunpckbw %k0, %k1, %k0
1540 ; VLDQ-NEXT:    vpmovm2d %k0, %zmm1
1541 ; VLDQ-NEXT:    vcvtdq2pd %ymm1, %zmm0
1542 ; VLDQ-NEXT:    vextracti64x4 $1, %zmm1, %ymm1
1543 ; VLDQ-NEXT:    vcvtdq2pd %ymm1, %zmm1
1544 ; VLDQ-NEXT:    retq
1545 ;
1546 ; DQNOVL-LABEL: sbto16f64:
1547 ; DQNOVL:       # %bb.0:
1548 ; DQNOVL-NEXT:    vxorpd %xmm2, %xmm2, %xmm2
1549 ; DQNOVL-NEXT:    vcmpltpd %zmm0, %zmm2, %k0
1550 ; DQNOVL-NEXT:    vcmpltpd %zmm1, %zmm2, %k1
1551 ; DQNOVL-NEXT:    kunpckbw %k0, %k1, %k0
1552 ; DQNOVL-NEXT:    vpmovm2d %k0, %zmm1
1553 ; DQNOVL-NEXT:    vcvtdq2pd %ymm1, %zmm0
1554 ; DQNOVL-NEXT:    vextracti64x4 $1, %zmm1, %ymm1
1555 ; DQNOVL-NEXT:    vcvtdq2pd %ymm1, %zmm1
1556 ; DQNOVL-NEXT:    retq
1557   %cmpres = fcmp ogt <16 x double> %a, zeroinitializer
1558   %1 = sitofp <16 x i1> %cmpres to <16 x double>
1559   ret <16 x double> %1
1560 }
1561
1562 define <8 x double> @sbto8f64(<8 x double> %a) {
1563 ; NOVLDQ-LABEL: sbto8f64:
1564 ; NOVLDQ:       # %bb.0:
1565 ; NOVLDQ-NEXT:    vxorpd %xmm1, %xmm1, %xmm1
1566 ; NOVLDQ-NEXT:    vcmpltpd %zmm0, %zmm1, %k1
1567 ; NOVLDQ-NEXT:    vpternlogd $255, %zmm0, %zmm0, %zmm0 {%k1} {z}
1568 ; NOVLDQ-NEXT:    vcvtdq2pd %ymm0, %zmm0
1569 ; NOVLDQ-NEXT:    retq
1570 ;
1571 ; VLDQ-LABEL: sbto8f64:
1572 ; VLDQ:       # %bb.0:
1573 ; VLDQ-NEXT:    vxorpd %xmm1, %xmm1, %xmm1
1574 ; VLDQ-NEXT:    vcmpltpd %zmm0, %zmm1, %k0
1575 ; VLDQ-NEXT:    vpmovm2d %k0, %ymm0
1576 ; VLDQ-NEXT:    vcvtdq2pd %ymm0, %zmm0
1577 ; VLDQ-NEXT:    retq
1578 ;
1579 ; VLNODQ-LABEL: sbto8f64:
1580 ; VLNODQ:       # %bb.0:
1581 ; VLNODQ-NEXT:    vxorpd %xmm1, %xmm1, %xmm1
1582 ; VLNODQ-NEXT:    vcmpltpd %zmm0, %zmm1, %k1
1583 ; VLNODQ-NEXT:    vpcmpeqd %ymm0, %ymm0, %ymm0
1584 ; VLNODQ-NEXT:    vmovdqa32 %ymm0, %ymm0 {%k1} {z}
1585 ; VLNODQ-NEXT:    vcvtdq2pd %ymm0, %zmm0
1586 ; VLNODQ-NEXT:    retq
1587 ;
1588 ; DQNOVL-LABEL: sbto8f64:
1589 ; DQNOVL:       # %bb.0:
1590 ; DQNOVL-NEXT:    vxorpd %xmm1, %xmm1, %xmm1
1591 ; DQNOVL-NEXT:    vcmpltpd %zmm0, %zmm1, %k0
1592 ; DQNOVL-NEXT:    vpmovm2d %k0, %zmm0
1593 ; DQNOVL-NEXT:    vcvtdq2pd %ymm0, %zmm0
1594 ; DQNOVL-NEXT:    retq
1595   %cmpres = fcmp ogt <8 x double> %a, zeroinitializer
1596   %1 = sitofp <8 x i1> %cmpres to <8 x double>
1597   ret <8 x double> %1
1598 }
1599
1600 define <8 x float> @sbto8f32(<8 x float> %a) {
1601 ; ALL-LABEL: sbto8f32:
1602 ; ALL:       # %bb.0:
1603 ; ALL-NEXT:    vxorps %xmm1, %xmm1, %xmm1
1604 ; ALL-NEXT:    vcmpltps %ymm0, %ymm1, %ymm0
1605 ; ALL-NEXT:    vcvtdq2ps %ymm0, %ymm0
1606 ; ALL-NEXT:    retq
1607   %cmpres = fcmp ogt <8 x float> %a, zeroinitializer
1608   %1 = sitofp <8 x i1> %cmpres to <8 x float>
1609   ret <8 x float> %1
1610 }
1611
1612 define <4 x float> @sbto4f32(<4 x float> %a) {
1613 ; ALL-LABEL: sbto4f32:
1614 ; ALL:       # %bb.0:
1615 ; ALL-NEXT:    vxorps %xmm1, %xmm1, %xmm1
1616 ; ALL-NEXT:    vcmpltps %xmm0, %xmm1, %xmm0
1617 ; ALL-NEXT:    vcvtdq2ps %xmm0, %xmm0
1618 ; ALL-NEXT:    retq
1619   %cmpres = fcmp ogt <4 x float> %a, zeroinitializer
1620   %1 = sitofp <4 x i1> %cmpres to <4 x float>
1621   ret <4 x float> %1
1622 }
1623
1624 define <4 x double> @sbto4f64(<4 x double> %a) {
1625 ; NOVL-LABEL: sbto4f64:
1626 ; NOVL:       # %bb.0:
1627 ; NOVL-NEXT:    vxorpd %xmm1, %xmm1, %xmm1
1628 ; NOVL-NEXT:    vcmpltpd %ymm0, %ymm1, %ymm0
1629 ; NOVL-NEXT:    vpmovqd %zmm0, %ymm0
1630 ; NOVL-NEXT:    vcvtdq2pd %xmm0, %ymm0
1631 ; NOVL-NEXT:    retq
1632 ;
1633 ; VLDQ-LABEL: sbto4f64:
1634 ; VLDQ:       # %bb.0:
1635 ; VLDQ-NEXT:    vxorpd %xmm1, %xmm1, %xmm1
1636 ; VLDQ-NEXT:    vcmpltpd %ymm0, %ymm1, %k0
1637 ; VLDQ-NEXT:    vpmovm2d %k0, %xmm0
1638 ; VLDQ-NEXT:    vcvtdq2pd %xmm0, %ymm0
1639 ; VLDQ-NEXT:    retq
1640 ;
1641 ; VLNODQ-LABEL: sbto4f64:
1642 ; VLNODQ:       # %bb.0:
1643 ; VLNODQ-NEXT:    vxorpd %xmm1, %xmm1, %xmm1
1644 ; VLNODQ-NEXT:    vcmpltpd %ymm0, %ymm1, %k1
1645 ; VLNODQ-NEXT:    vpcmpeqd %xmm0, %xmm0, %xmm0
1646 ; VLNODQ-NEXT:    vmovdqa32 %xmm0, %xmm0 {%k1} {z}
1647 ; VLNODQ-NEXT:    vcvtdq2pd %xmm0, %ymm0
1648 ; VLNODQ-NEXT:    retq
1649   %cmpres = fcmp ogt <4 x double> %a, zeroinitializer
1650   %1 = sitofp <4 x i1> %cmpres to <4 x double>
1651   ret <4 x double> %1
1652 }
1653
1654 define <2 x float> @sbto2f32(<2 x float> %a) {
1655 ; ALL-LABEL: sbto2f32:
1656 ; ALL:       # %bb.0:
1657 ; ALL-NEXT:    vxorps %xmm1, %xmm1, %xmm1
1658 ; ALL-NEXT:    vcmpltps %xmm0, %xmm1, %xmm0
1659 ; ALL-NEXT:    vcvtdq2ps %xmm0, %xmm0
1660 ; ALL-NEXT:    retq
1661   %cmpres = fcmp ogt <2 x float> %a, zeroinitializer
1662   %1 = sitofp <2 x i1> %cmpres to <2 x float>
1663   ret <2 x float> %1
1664 }
1665
1666 define <2 x double> @sbto2f64(<2 x double> %a) {
1667 ; NOVL-LABEL: sbto2f64:
1668 ; NOVL:       # %bb.0:
1669 ; NOVL-NEXT:    vxorpd %xmm1, %xmm1, %xmm1
1670 ; NOVL-NEXT:    vcmpltpd %xmm0, %xmm1, %xmm0
1671 ; NOVL-NEXT:    vpermilps {{.*#+}} xmm0 = xmm0[0,2,2,3]
1672 ; NOVL-NEXT:    vcvtdq2pd %xmm0, %xmm0
1673 ; NOVL-NEXT:    retq
1674 ;
1675 ; VLDQ-LABEL: sbto2f64:
1676 ; VLDQ:       # %bb.0:
1677 ; VLDQ-NEXT:    vxorpd %xmm1, %xmm1, %xmm1
1678 ; VLDQ-NEXT:    vcmpltpd %xmm0, %xmm1, %k0
1679 ; VLDQ-NEXT:    vpmovm2d %k0, %xmm0
1680 ; VLDQ-NEXT:    vcvtdq2pd %xmm0, %xmm0
1681 ; VLDQ-NEXT:    retq
1682 ;
1683 ; VLNODQ-LABEL: sbto2f64:
1684 ; VLNODQ:       # %bb.0:
1685 ; VLNODQ-NEXT:    vxorpd %xmm1, %xmm1, %xmm1
1686 ; VLNODQ-NEXT:    vcmpltpd %xmm0, %xmm1, %k1
1687 ; VLNODQ-NEXT:    vpcmpeqd %xmm0, %xmm0, %xmm0
1688 ; VLNODQ-NEXT:    vmovdqa32 %xmm0, %xmm0 {%k1} {z}
1689 ; VLNODQ-NEXT:    vcvtdq2pd %xmm0, %xmm0
1690 ; VLNODQ-NEXT:    retq
1691   %cmpres = fcmp ogt <2 x double> %a, zeroinitializer
1692   %1 = sitofp <2 x i1> %cmpres to <2 x double>
1693   ret <2 x double> %1
1694 }
1695
1696 define <16 x float> @ucto16f32(<16 x i8> %a) {
1697 ; ALL-LABEL: ucto16f32:
1698 ; ALL:       # %bb.0:
1699 ; ALL-NEXT:    vpmovzxbd {{.*#+}} zmm0 = xmm0[0],zero,zero,zero,xmm0[1],zero,zero,zero,xmm0[2],zero,zero,zero,xmm0[3],zero,zero,zero,xmm0[4],zero,zero,zero,xmm0[5],zero,zero,zero,xmm0[6],zero,zero,zero,xmm0[7],zero,zero,zero,xmm0[8],zero,zero,zero,xmm0[9],zero,zero,zero,xmm0[10],zero,zero,zero,xmm0[11],zero,zero,zero,xmm0[12],zero,zero,zero,xmm0[13],zero,zero,zero,xmm0[14],zero,zero,zero,xmm0[15],zero,zero,zero
1700 ; ALL-NEXT:    vcvtdq2ps %zmm0, %zmm0
1701 ; ALL-NEXT:    retq
1702   %b = uitofp <16 x i8> %a to <16 x float>
1703   ret <16 x float>%b
1704 }
1705
1706 define <8 x double> @ucto8f64(<8 x i8> %a) {
1707 ; ALL-LABEL: ucto8f64:
1708 ; ALL:       # %bb.0:
1709 ; ALL-NEXT:    vpmovzxbd {{.*#+}} ymm0 = xmm0[0],zero,zero,zero,xmm0[1],zero,zero,zero,xmm0[2],zero,zero,zero,xmm0[3],zero,zero,zero,xmm0[4],zero,zero,zero,xmm0[5],zero,zero,zero,xmm0[6],zero,zero,zero,xmm0[7],zero,zero,zero
1710 ; ALL-NEXT:    vcvtdq2pd %ymm0, %zmm0
1711 ; ALL-NEXT:    retq
1712   %b = uitofp <8 x i8> %a to <8 x double>
1713   ret <8 x double> %b
1714 }
1715
1716 define <16 x float> @swto16f32(<16 x i16> %a) {
1717 ; ALL-LABEL: swto16f32:
1718 ; ALL:       # %bb.0:
1719 ; ALL-NEXT:    vpmovsxwd %ymm0, %zmm0
1720 ; ALL-NEXT:    vcvtdq2ps %zmm0, %zmm0
1721 ; ALL-NEXT:    retq
1722   %b = sitofp <16 x i16> %a to <16 x float>
1723   ret <16 x float> %b
1724 }
1725
1726 define <8 x double> @swto8f64(<8 x i16> %a) {
1727 ; ALL-LABEL: swto8f64:
1728 ; ALL:       # %bb.0:
1729 ; ALL-NEXT:    vpmovsxwd %xmm0, %ymm0
1730 ; ALL-NEXT:    vcvtdq2pd %ymm0, %zmm0
1731 ; ALL-NEXT:    retq
1732   %b = sitofp <8 x i16> %a to <8 x double>
1733   ret <8 x double> %b
1734 }
1735
1736 define <16 x double> @swto16f64(<16 x i16> %a) {
1737 ; ALL-LABEL: swto16f64:
1738 ; ALL:       # %bb.0:
1739 ; ALL-NEXT:    vpmovsxwd %ymm0, %zmm1
1740 ; ALL-NEXT:    vcvtdq2pd %ymm1, %zmm0
1741 ; ALL-NEXT:    vextracti64x4 $1, %zmm1, %ymm1
1742 ; ALL-NEXT:    vcvtdq2pd %ymm1, %zmm1
1743 ; ALL-NEXT:    retq
1744   %b = sitofp <16 x i16> %a to <16 x double>
1745   ret <16 x double> %b
1746 }
1747
1748 define <16 x double> @ucto16f64(<16 x i8> %a) {
1749 ; ALL-LABEL: ucto16f64:
1750 ; ALL:       # %bb.0:
1751 ; ALL-NEXT:    vpmovzxbd {{.*#+}} zmm1 = xmm0[0],zero,zero,zero,xmm0[1],zero,zero,zero,xmm0[2],zero,zero,zero,xmm0[3],zero,zero,zero,xmm0[4],zero,zero,zero,xmm0[5],zero,zero,zero,xmm0[6],zero,zero,zero,xmm0[7],zero,zero,zero,xmm0[8],zero,zero,zero,xmm0[9],zero,zero,zero,xmm0[10],zero,zero,zero,xmm0[11],zero,zero,zero,xmm0[12],zero,zero,zero,xmm0[13],zero,zero,zero,xmm0[14],zero,zero,zero,xmm0[15],zero,zero,zero
1752 ; ALL-NEXT:    vcvtdq2pd %ymm1, %zmm0
1753 ; ALL-NEXT:    vextracti64x4 $1, %zmm1, %ymm1
1754 ; ALL-NEXT:    vcvtdq2pd %ymm1, %zmm1
1755 ; ALL-NEXT:    retq
1756   %b = uitofp <16 x i8> %a to <16 x double>
1757   ret <16 x double> %b
1758 }
1759
1760 define <16 x float> @uwto16f32(<16 x i16> %a) {
1761 ; ALL-LABEL: uwto16f32:
1762 ; ALL:       # %bb.0:
1763 ; ALL-NEXT:    vpmovzxwd {{.*#+}} zmm0 = ymm0[0],zero,ymm0[1],zero,ymm0[2],zero,ymm0[3],zero,ymm0[4],zero,ymm0[5],zero,ymm0[6],zero,ymm0[7],zero,ymm0[8],zero,ymm0[9],zero,ymm0[10],zero,ymm0[11],zero,ymm0[12],zero,ymm0[13],zero,ymm0[14],zero,ymm0[15],zero
1764 ; ALL-NEXT:    vcvtdq2ps %zmm0, %zmm0
1765 ; ALL-NEXT:    retq
1766   %b = uitofp <16 x i16> %a to <16 x float>
1767   ret <16 x float> %b
1768 }
1769
1770 define <8 x double> @uwto8f64(<8 x i16> %a) {
1771 ; ALL-LABEL: uwto8f64:
1772 ; ALL:       # %bb.0:
1773 ; ALL-NEXT:    vpmovzxwd {{.*#+}} ymm0 = xmm0[0],zero,xmm0[1],zero,xmm0[2],zero,xmm0[3],zero,xmm0[4],zero,xmm0[5],zero,xmm0[6],zero,xmm0[7],zero
1774 ; ALL-NEXT:    vcvtdq2pd %ymm0, %zmm0
1775 ; ALL-NEXT:    retq
1776   %b = uitofp <8 x i16> %a to <8 x double>
1777   ret <8 x double> %b
1778 }
1779
1780 define <16 x double> @uwto16f64(<16 x i16> %a) {
1781 ; ALL-LABEL: uwto16f64:
1782 ; ALL:       # %bb.0:
1783 ; ALL-NEXT:    vpmovzxwd {{.*#+}} zmm1 = ymm0[0],zero,ymm0[1],zero,ymm0[2],zero,ymm0[3],zero,ymm0[4],zero,ymm0[5],zero,ymm0[6],zero,ymm0[7],zero,ymm0[8],zero,ymm0[9],zero,ymm0[10],zero,ymm0[11],zero,ymm0[12],zero,ymm0[13],zero,ymm0[14],zero,ymm0[15],zero
1784 ; ALL-NEXT:    vcvtdq2pd %ymm1, %zmm0
1785 ; ALL-NEXT:    vextracti64x4 $1, %zmm1, %ymm1
1786 ; ALL-NEXT:    vcvtdq2pd %ymm1, %zmm1
1787 ; ALL-NEXT:    retq
1788   %b = uitofp <16 x i16> %a to <16 x double>
1789   ret <16 x double> %b
1790 }
1791
1792 define <16 x float> @sito16f32(<16 x i32> %a) {
1793 ; ALL-LABEL: sito16f32:
1794 ; ALL:       # %bb.0:
1795 ; ALL-NEXT:    vcvtdq2ps %zmm0, %zmm0
1796 ; ALL-NEXT:    retq
1797   %b = sitofp <16 x i32> %a to <16 x float>
1798   ret <16 x float> %b
1799 }
1800
1801 define <16 x double> @sito16f64(<16 x i32> %a) {
1802 ; ALL-LABEL: sito16f64:
1803 ; ALL:       # %bb.0:
1804 ; ALL-NEXT:    vcvtdq2pd %ymm0, %zmm2
1805 ; ALL-NEXT:    vextractf64x4 $1, %zmm0, %ymm0
1806 ; ALL-NEXT:    vcvtdq2pd %ymm0, %zmm1
1807 ; ALL-NEXT:    vmovaps %zmm2, %zmm0
1808 ; ALL-NEXT:    retq
1809   %b = sitofp <16 x i32> %a to <16 x double>
1810   ret <16 x double> %b
1811 }
1812
1813 define <16 x float> @usto16f32(<16 x i16> %a) {
1814 ; ALL-LABEL: usto16f32:
1815 ; ALL:       # %bb.0:
1816 ; ALL-NEXT:    vpmovzxwd {{.*#+}} zmm0 = ymm0[0],zero,ymm0[1],zero,ymm0[2],zero,ymm0[3],zero,ymm0[4],zero,ymm0[5],zero,ymm0[6],zero,ymm0[7],zero,ymm0[8],zero,ymm0[9],zero,ymm0[10],zero,ymm0[11],zero,ymm0[12],zero,ymm0[13],zero,ymm0[14],zero,ymm0[15],zero
1817 ; ALL-NEXT:    vcvtdq2ps %zmm0, %zmm0
1818 ; ALL-NEXT:    retq
1819   %b = uitofp <16 x i16> %a to <16 x float>
1820   ret <16 x float> %b
1821 }
1822
1823 define <16 x float> @ubto16f32(<16 x i32> %a) {
1824 ; NODQ-LABEL: ubto16f32:
1825 ; NODQ:       # %bb.0:
1826 ; NODQ-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1827 ; NODQ-NEXT:    vpcmpgtd %zmm0, %zmm1, %k1
1828 ; NODQ-NEXT:    vpternlogd $255, %zmm0, %zmm0, %zmm0 {%k1} {z}
1829 ; NODQ-NEXT:    vpsrld $31, %zmm0, %zmm0
1830 ; NODQ-NEXT:    vcvtdq2ps %zmm0, %zmm0
1831 ; NODQ-NEXT:    retq
1832 ;
1833 ; VLDQ-LABEL: ubto16f32:
1834 ; VLDQ:       # %bb.0:
1835 ; VLDQ-NEXT:    vpmovd2m %zmm0, %k0
1836 ; VLDQ-NEXT:    vpmovm2d %k0, %zmm0
1837 ; VLDQ-NEXT:    vpsrld $31, %zmm0, %zmm0
1838 ; VLDQ-NEXT:    vcvtdq2ps %zmm0, %zmm0
1839 ; VLDQ-NEXT:    retq
1840 ;
1841 ; DQNOVL-LABEL: ubto16f32:
1842 ; DQNOVL:       # %bb.0:
1843 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k0
1844 ; DQNOVL-NEXT:    vpmovm2d %k0, %zmm0
1845 ; DQNOVL-NEXT:    vpsrld $31, %zmm0, %zmm0
1846 ; DQNOVL-NEXT:    vcvtdq2ps %zmm0, %zmm0
1847 ; DQNOVL-NEXT:    retq
1848   %mask = icmp slt <16 x i32> %a, zeroinitializer
1849   %1 = uitofp <16 x i1> %mask to <16 x float>
1850   ret <16 x float> %1
1851 }
1852
1853 define <16 x double> @ubto16f64(<16 x i32> %a) {
1854 ; NODQ-LABEL: ubto16f64:
1855 ; NODQ:       # %bb.0:
1856 ; NODQ-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1857 ; NODQ-NEXT:    vpcmpgtd %zmm0, %zmm1, %k1
1858 ; NODQ-NEXT:    vpternlogd $255, %zmm0, %zmm0, %zmm0 {%k1} {z}
1859 ; NODQ-NEXT:    vpsrld $31, %zmm0, %zmm1
1860 ; NODQ-NEXT:    vcvtdq2pd %ymm1, %zmm0
1861 ; NODQ-NEXT:    vextracti64x4 $1, %zmm1, %ymm1
1862 ; NODQ-NEXT:    vcvtdq2pd %ymm1, %zmm1
1863 ; NODQ-NEXT:    retq
1864 ;
1865 ; VLDQ-LABEL: ubto16f64:
1866 ; VLDQ:       # %bb.0:
1867 ; VLDQ-NEXT:    vpmovd2m %zmm0, %k0
1868 ; VLDQ-NEXT:    vpmovm2d %k0, %zmm0
1869 ; VLDQ-NEXT:    vpsrld $31, %zmm0, %zmm1
1870 ; VLDQ-NEXT:    vcvtdq2pd %ymm1, %zmm0
1871 ; VLDQ-NEXT:    vextracti64x4 $1, %zmm1, %ymm1
1872 ; VLDQ-NEXT:    vcvtdq2pd %ymm1, %zmm1
1873 ; VLDQ-NEXT:    retq
1874 ;
1875 ; DQNOVL-LABEL: ubto16f64:
1876 ; DQNOVL:       # %bb.0:
1877 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k0
1878 ; DQNOVL-NEXT:    vpmovm2d %k0, %zmm0
1879 ; DQNOVL-NEXT:    vpsrld $31, %zmm0, %zmm1
1880 ; DQNOVL-NEXT:    vcvtdq2pd %ymm1, %zmm0
1881 ; DQNOVL-NEXT:    vextracti64x4 $1, %zmm1, %ymm1
1882 ; DQNOVL-NEXT:    vcvtdq2pd %ymm1, %zmm1
1883 ; DQNOVL-NEXT:    retq
1884   %mask = icmp slt <16 x i32> %a, zeroinitializer
1885   %1 = uitofp <16 x i1> %mask to <16 x double>
1886   ret <16 x double> %1
1887 }
1888
1889 define <8 x float> @ubto8f32(<8 x i32> %a) {
1890 ; NOVL-LABEL: ubto8f32:
1891 ; NOVL:       # %bb.0:
1892 ; NOVL-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1893 ; NOVL-NEXT:    vpcmpgtd %ymm0, %ymm1, %ymm0
1894 ; NOVL-NEXT:    vpbroadcastd {{.*#+}} ymm1 = [1065353216,1065353216,1065353216,1065353216,1065353216,1065353216,1065353216,1065353216]
1895 ; NOVL-NEXT:    vpand %ymm1, %ymm0, %ymm0
1896 ; NOVL-NEXT:    retq
1897 ;
1898 ; VL-LABEL: ubto8f32:
1899 ; VL:       # %bb.0:
1900 ; VL-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1901 ; VL-NEXT:    vpcmpgtd %ymm0, %ymm1, %ymm0
1902 ; VL-NEXT:    vpandd {{.*}}(%rip){1to8}, %ymm0, %ymm0
1903 ; VL-NEXT:    retq
1904   %mask = icmp slt <8 x i32> %a, zeroinitializer
1905   %1 = uitofp <8 x i1> %mask to <8 x float>
1906   ret <8 x float> %1
1907 }
1908
1909 define <8 x double> @ubto8f64(<8 x i32> %a) {
1910 ; ALL-LABEL: ubto8f64:
1911 ; ALL:       # %bb.0:
1912 ; ALL-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1913 ; ALL-NEXT:    vpcmpgtd %ymm0, %ymm1, %ymm0
1914 ; ALL-NEXT:    vpsrld $31, %ymm0, %ymm0
1915 ; ALL-NEXT:    vcvtdq2pd %ymm0, %zmm0
1916 ; ALL-NEXT:    retq
1917   %mask = icmp slt <8 x i32> %a, zeroinitializer
1918   %1 = uitofp <8 x i1> %mask to <8 x double>
1919   ret <8 x double> %1
1920 }
1921
1922 define <4 x float> @ubto4f32(<4 x i32> %a) {
1923 ; NOVL-LABEL: ubto4f32:
1924 ; NOVL:       # %bb.0:
1925 ; NOVL-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1926 ; NOVL-NEXT:    vpcmpgtd %xmm0, %xmm1, %xmm0
1927 ; NOVL-NEXT:    vpbroadcastd {{.*#+}} xmm1 = [1065353216,1065353216,1065353216,1065353216]
1928 ; NOVL-NEXT:    vpand %xmm1, %xmm0, %xmm0
1929 ; NOVL-NEXT:    retq
1930 ;
1931 ; VL-LABEL: ubto4f32:
1932 ; VL:       # %bb.0:
1933 ; VL-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1934 ; VL-NEXT:    vpcmpgtd %xmm0, %xmm1, %xmm0
1935 ; VL-NEXT:    vpandd {{.*}}(%rip){1to4}, %xmm0, %xmm0
1936 ; VL-NEXT:    retq
1937   %mask = icmp slt <4 x i32> %a, zeroinitializer
1938   %1 = uitofp <4 x i1> %mask to <4 x float>
1939   ret <4 x float> %1
1940 }
1941
1942 define <4 x double> @ubto4f64(<4 x i32> %a) {
1943 ; ALL-LABEL: ubto4f64:
1944 ; ALL:       # %bb.0:
1945 ; ALL-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1946 ; ALL-NEXT:    vpcmpgtd %xmm0, %xmm1, %xmm0
1947 ; ALL-NEXT:    vpsrld $31, %xmm0, %xmm0
1948 ; ALL-NEXT:    vcvtdq2pd %xmm0, %ymm0
1949 ; ALL-NEXT:    retq
1950   %mask = icmp slt <4 x i32> %a, zeroinitializer
1951   %1 = uitofp <4 x i1> %mask to <4 x double>
1952   ret <4 x double> %1
1953 }
1954
1955 define <2 x float> @ubto2f32(<2 x i32> %a) {
1956 ; NOVL-LABEL: ubto2f32:
1957 ; NOVL:       # %bb.0:
1958 ; NOVL-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1959 ; NOVL-NEXT:    vpcmpeqd %xmm1, %xmm0, %xmm0
1960 ; NOVL-NEXT:    vpbroadcastd {{.*#+}} xmm1 = [1065353216,1065353216,1065353216,1065353216]
1961 ; NOVL-NEXT:    vpandn %xmm1, %xmm0, %xmm0
1962 ; NOVL-NEXT:    retq
1963 ;
1964 ; VL-LABEL: ubto2f32:
1965 ; VL:       # %bb.0:
1966 ; VL-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1967 ; VL-NEXT:    vpcmpeqd %xmm1, %xmm0, %xmm0
1968 ; VL-NEXT:    vpandnd {{.*}}(%rip){1to4}, %xmm0, %xmm0
1969 ; VL-NEXT:    retq
1970   %mask = icmp ne <2 x i32> %a, zeroinitializer
1971   %1 = uitofp <2 x i1> %mask to <2 x float>
1972   ret <2 x float> %1
1973 }
1974
1975 define <2 x double> @ubto2f64(<2 x i32> %a) {
1976 ; NOVL-LABEL: ubto2f64:
1977 ; NOVL:       # %bb.0:
1978 ; NOVL-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1979 ; NOVL-NEXT:    vpcmpeqd %xmm1, %xmm0, %xmm0
1980 ; NOVL-NEXT:    vpbroadcastd {{.*#+}} xmm1 = [1,1,1,1]
1981 ; NOVL-NEXT:    vpandn %xmm1, %xmm0, %xmm0
1982 ; NOVL-NEXT:    vcvtdq2pd %xmm0, %xmm0
1983 ; NOVL-NEXT:    retq
1984 ;
1985 ; VL-LABEL: ubto2f64:
1986 ; VL:       # %bb.0:
1987 ; VL-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1988 ; VL-NEXT:    vpcmpeqd %xmm1, %xmm0, %xmm0
1989 ; VL-NEXT:    vpandnd {{.*}}(%rip){1to4}, %xmm0, %xmm0
1990 ; VL-NEXT:    vcvtdq2pd %xmm0, %xmm0
1991 ; VL-NEXT:    retq
1992   %mask = icmp ne <2 x i32> %a, zeroinitializer
1993   %1 = uitofp <2 x i1> %mask to <2 x double>
1994   ret <2 x double> %1
1995 }
1996
1997 define <2 x i64> @test_2f64toub(<2 x double> %a, <2 x i64> %passthru) {
1998 ; NOVLDQ-LABEL: test_2f64toub:
1999 ; NOVLDQ:       # %bb.0:
2000 ; NOVLDQ-NEXT:    # kill: def $xmm1 killed $xmm1 def $zmm1
2001 ; NOVLDQ-NEXT:    # kill: def $xmm0 killed $xmm0 def $zmm0
2002 ; NOVLDQ-NEXT:    vcvttpd2udq %zmm0, %ymm0
2003 ; NOVLDQ-NEXT:    vpslld $31, %ymm0, %ymm0
2004 ; NOVLDQ-NEXT:    vptestmd %zmm0, %zmm0, %k1
2005 ; NOVLDQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2006 ; NOVLDQ-NEXT:    # kill: def $xmm0 killed $xmm0 killed $zmm0
2007 ; NOVLDQ-NEXT:    vzeroupper
2008 ; NOVLDQ-NEXT:    retq
2009 ;
2010 ; VLDQ-LABEL: test_2f64toub:
2011 ; VLDQ:       # %bb.0:
2012 ; VLDQ-NEXT:    vcvttpd2udq %xmm0, %xmm0
2013 ; VLDQ-NEXT:    vpslld $31, %xmm0, %xmm0
2014 ; VLDQ-NEXT:    vpmovd2m %xmm0, %k1
2015 ; VLDQ-NEXT:    vmovdqa64 %xmm1, %xmm0 {%k1} {z}
2016 ; VLDQ-NEXT:    retq
2017 ;
2018 ; VLNODQ-LABEL: test_2f64toub:
2019 ; VLNODQ:       # %bb.0:
2020 ; VLNODQ-NEXT:    vcvttpd2udq %xmm0, %xmm0
2021 ; VLNODQ-NEXT:    vpslld $31, %xmm0, %xmm0
2022 ; VLNODQ-NEXT:    vptestmd %xmm0, %xmm0, %k1
2023 ; VLNODQ-NEXT:    vmovdqa64 %xmm1, %xmm0 {%k1} {z}
2024 ; VLNODQ-NEXT:    retq
2025 ;
2026 ; DQNOVL-LABEL: test_2f64toub:
2027 ; DQNOVL:       # %bb.0:
2028 ; DQNOVL-NEXT:    # kill: def $xmm1 killed $xmm1 def $zmm1
2029 ; DQNOVL-NEXT:    # kill: def $xmm0 killed $xmm0 def $zmm0
2030 ; DQNOVL-NEXT:    vcvttpd2udq %zmm0, %ymm0
2031 ; DQNOVL-NEXT:    vpslld $31, %ymm0, %ymm0
2032 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k1
2033 ; DQNOVL-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2034 ; DQNOVL-NEXT:    # kill: def $xmm0 killed $xmm0 killed $zmm0
2035 ; DQNOVL-NEXT:    vzeroupper
2036 ; DQNOVL-NEXT:    retq
2037   %mask = fptoui <2 x double> %a to <2 x i1>
2038   %select = select <2 x i1> %mask, <2 x i64> %passthru, <2 x i64> zeroinitializer
2039   ret <2 x i64> %select
2040 }
2041
2042 define <4 x i64> @test_4f64toub(<4 x double> %a, <4 x i64> %passthru) {
2043 ; NOVLDQ-LABEL: test_4f64toub:
2044 ; NOVLDQ:       # %bb.0:
2045 ; NOVLDQ-NEXT:    # kill: def $ymm1 killed $ymm1 def $zmm1
2046 ; NOVLDQ-NEXT:    vcvttpd2dq %ymm0, %xmm0
2047 ; NOVLDQ-NEXT:    vpslld $31, %xmm0, %xmm0
2048 ; NOVLDQ-NEXT:    vptestmd %zmm0, %zmm0, %k1
2049 ; NOVLDQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2050 ; NOVLDQ-NEXT:    # kill: def $ymm0 killed $ymm0 killed $zmm0
2051 ; NOVLDQ-NEXT:    retq
2052 ;
2053 ; VLDQ-LABEL: test_4f64toub:
2054 ; VLDQ:       # %bb.0:
2055 ; VLDQ-NEXT:    vcvttpd2dq %ymm0, %xmm0
2056 ; VLDQ-NEXT:    vpslld $31, %xmm0, %xmm0
2057 ; VLDQ-NEXT:    vpmovd2m %xmm0, %k1
2058 ; VLDQ-NEXT:    vmovdqa64 %ymm1, %ymm0 {%k1} {z}
2059 ; VLDQ-NEXT:    retq
2060 ;
2061 ; VLNODQ-LABEL: test_4f64toub:
2062 ; VLNODQ:       # %bb.0:
2063 ; VLNODQ-NEXT:    vcvttpd2dq %ymm0, %xmm0
2064 ; VLNODQ-NEXT:    vpslld $31, %xmm0, %xmm0
2065 ; VLNODQ-NEXT:    vptestmd %xmm0, %xmm0, %k1
2066 ; VLNODQ-NEXT:    vmovdqa64 %ymm1, %ymm0 {%k1} {z}
2067 ; VLNODQ-NEXT:    retq
2068 ;
2069 ; DQNOVL-LABEL: test_4f64toub:
2070 ; DQNOVL:       # %bb.0:
2071 ; DQNOVL-NEXT:    # kill: def $ymm1 killed $ymm1 def $zmm1
2072 ; DQNOVL-NEXT:    vcvttpd2dq %ymm0, %xmm0
2073 ; DQNOVL-NEXT:    vpslld $31, %xmm0, %xmm0
2074 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k1
2075 ; DQNOVL-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2076 ; DQNOVL-NEXT:    # kill: def $ymm0 killed $ymm0 killed $zmm0
2077 ; DQNOVL-NEXT:    retq
2078   %mask = fptoui <4 x double> %a to <4 x i1>
2079   %select = select <4 x i1> %mask, <4 x i64> %passthru, <4 x i64> zeroinitializer
2080   ret <4 x i64> %select
2081 }
2082
2083 define <8 x i64> @test_8f64toub(<8 x double> %a, <8 x i64> %passthru) {
2084 ; NOVLDQ-LABEL: test_8f64toub:
2085 ; NOVLDQ:       # %bb.0:
2086 ; NOVLDQ-NEXT:    vcvttpd2dq %zmm0, %ymm0
2087 ; NOVLDQ-NEXT:    vpslld $31, %ymm0, %ymm0
2088 ; NOVLDQ-NEXT:    vptestmd %zmm0, %zmm0, %k1
2089 ; NOVLDQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2090 ; NOVLDQ-NEXT:    retq
2091 ;
2092 ; VLDQ-LABEL: test_8f64toub:
2093 ; VLDQ:       # %bb.0:
2094 ; VLDQ-NEXT:    vcvttpd2dq %zmm0, %ymm0
2095 ; VLDQ-NEXT:    vpslld $31, %ymm0, %ymm0
2096 ; VLDQ-NEXT:    vpmovd2m %ymm0, %k1
2097 ; VLDQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2098 ; VLDQ-NEXT:    retq
2099 ;
2100 ; VLNODQ-LABEL: test_8f64toub:
2101 ; VLNODQ:       # %bb.0:
2102 ; VLNODQ-NEXT:    vcvttpd2dq %zmm0, %ymm0
2103 ; VLNODQ-NEXT:    vpslld $31, %ymm0, %ymm0
2104 ; VLNODQ-NEXT:    vptestmd %ymm0, %ymm0, %k1
2105 ; VLNODQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2106 ; VLNODQ-NEXT:    retq
2107 ;
2108 ; DQNOVL-LABEL: test_8f64toub:
2109 ; DQNOVL:       # %bb.0:
2110 ; DQNOVL-NEXT:    vcvttpd2dq %zmm0, %ymm0
2111 ; DQNOVL-NEXT:    vpslld $31, %ymm0, %ymm0
2112 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k1
2113 ; DQNOVL-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2114 ; DQNOVL-NEXT:    retq
2115   %mask = fptoui <8 x double> %a to <8 x i1>
2116   %select = select <8 x i1> %mask, <8 x i64> %passthru, <8 x i64> zeroinitializer
2117   ret <8 x i64> %select
2118 }
2119
2120 define <2 x i64> @test_2f32toub(<2 x float> %a, <2 x i64> %passthru) {
2121 ; NOVLDQ-LABEL: test_2f32toub:
2122 ; NOVLDQ:       # %bb.0:
2123 ; NOVLDQ-NEXT:    # kill: def $xmm1 killed $xmm1 def $zmm1
2124 ; NOVLDQ-NEXT:    vcvttps2dq %xmm0, %xmm0
2125 ; NOVLDQ-NEXT:    vpslld $31, %xmm0, %xmm0
2126 ; NOVLDQ-NEXT:    vptestmd %zmm0, %zmm0, %k1
2127 ; NOVLDQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2128 ; NOVLDQ-NEXT:    # kill: def $xmm0 killed $xmm0 killed $zmm0
2129 ; NOVLDQ-NEXT:    vzeroupper
2130 ; NOVLDQ-NEXT:    retq
2131 ;
2132 ; VLDQ-LABEL: test_2f32toub:
2133 ; VLDQ:       # %bb.0:
2134 ; VLDQ-NEXT:    vcvttps2dq %xmm0, %xmm0
2135 ; VLDQ-NEXT:    vpslld $31, %xmm0, %xmm0
2136 ; VLDQ-NEXT:    vpmovd2m %xmm0, %k1
2137 ; VLDQ-NEXT:    vmovdqa64 %xmm1, %xmm0 {%k1} {z}
2138 ; VLDQ-NEXT:    retq
2139 ;
2140 ; VLNODQ-LABEL: test_2f32toub:
2141 ; VLNODQ:       # %bb.0:
2142 ; VLNODQ-NEXT:    vcvttps2dq %xmm0, %xmm0
2143 ; VLNODQ-NEXT:    vpslld $31, %xmm0, %xmm0
2144 ; VLNODQ-NEXT:    vptestmd %xmm0, %xmm0, %k1
2145 ; VLNODQ-NEXT:    vmovdqa64 %xmm1, %xmm0 {%k1} {z}
2146 ; VLNODQ-NEXT:    retq
2147 ;
2148 ; DQNOVL-LABEL: test_2f32toub:
2149 ; DQNOVL:       # %bb.0:
2150 ; DQNOVL-NEXT:    # kill: def $xmm1 killed $xmm1 def $zmm1
2151 ; DQNOVL-NEXT:    vcvttps2dq %xmm0, %xmm0
2152 ; DQNOVL-NEXT:    vpslld $31, %xmm0, %xmm0
2153 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k1
2154 ; DQNOVL-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2155 ; DQNOVL-NEXT:    # kill: def $xmm0 killed $xmm0 killed $zmm0
2156 ; DQNOVL-NEXT:    vzeroupper
2157 ; DQNOVL-NEXT:    retq
2158   %mask = fptoui <2 x float> %a to <2 x i1>
2159   %select = select <2 x i1> %mask, <2 x i64> %passthru, <2 x i64> zeroinitializer
2160   ret <2 x i64> %select
2161 }
2162
2163 define <4 x i64> @test_4f32toub(<4 x float> %a, <4 x i64> %passthru) {
2164 ; NOVLDQ-LABEL: test_4f32toub:
2165 ; NOVLDQ:       # %bb.0:
2166 ; NOVLDQ-NEXT:    # kill: def $ymm1 killed $ymm1 def $zmm1
2167 ; NOVLDQ-NEXT:    vcvttps2dq %xmm0, %xmm0
2168 ; NOVLDQ-NEXT:    vpslld $31, %xmm0, %xmm0
2169 ; NOVLDQ-NEXT:    vptestmd %zmm0, %zmm0, %k1
2170 ; NOVLDQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2171 ; NOVLDQ-NEXT:    # kill: def $ymm0 killed $ymm0 killed $zmm0
2172 ; NOVLDQ-NEXT:    retq
2173 ;
2174 ; VLDQ-LABEL: test_4f32toub:
2175 ; VLDQ:       # %bb.0:
2176 ; VLDQ-NEXT:    vcvttps2dq %xmm0, %xmm0
2177 ; VLDQ-NEXT:    vpslld $31, %xmm0, %xmm0
2178 ; VLDQ-NEXT:    vpmovd2m %xmm0, %k1
2179 ; VLDQ-NEXT:    vmovdqa64 %ymm1, %ymm0 {%k1} {z}
2180 ; VLDQ-NEXT:    retq
2181 ;
2182 ; VLNODQ-LABEL: test_4f32toub:
2183 ; VLNODQ:       # %bb.0:
2184 ; VLNODQ-NEXT:    vcvttps2dq %xmm0, %xmm0
2185 ; VLNODQ-NEXT:    vpslld $31, %xmm0, %xmm0
2186 ; VLNODQ-NEXT:    vptestmd %xmm0, %xmm0, %k1
2187 ; VLNODQ-NEXT:    vmovdqa64 %ymm1, %ymm0 {%k1} {z}
2188 ; VLNODQ-NEXT:    retq
2189 ;
2190 ; DQNOVL-LABEL: test_4f32toub:
2191 ; DQNOVL:       # %bb.0:
2192 ; DQNOVL-NEXT:    # kill: def $ymm1 killed $ymm1 def $zmm1
2193 ; DQNOVL-NEXT:    vcvttps2dq %xmm0, %xmm0
2194 ; DQNOVL-NEXT:    vpslld $31, %xmm0, %xmm0
2195 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k1
2196 ; DQNOVL-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2197 ; DQNOVL-NEXT:    # kill: def $ymm0 killed $ymm0 killed $zmm0
2198 ; DQNOVL-NEXT:    retq
2199   %mask = fptoui <4 x float> %a to <4 x i1>
2200   %select = select <4 x i1> %mask, <4 x i64> %passthru, <4 x i64> zeroinitializer
2201   ret <4 x i64> %select
2202 }
2203
2204 define <8 x i64> @test_8f32toub(<8 x float> %a, <8 x i64> %passthru) {
2205 ; NOVLDQ-LABEL: test_8f32toub:
2206 ; NOVLDQ:       # %bb.0:
2207 ; NOVLDQ-NEXT:    vcvttps2dq %ymm0, %ymm0
2208 ; NOVLDQ-NEXT:    vpslld $31, %ymm0, %ymm0
2209 ; NOVLDQ-NEXT:    vptestmd %zmm0, %zmm0, %k1
2210 ; NOVLDQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2211 ; NOVLDQ-NEXT:    retq
2212 ;
2213 ; VLDQ-LABEL: test_8f32toub:
2214 ; VLDQ:       # %bb.0:
2215 ; VLDQ-NEXT:    vcvttps2dq %ymm0, %ymm0
2216 ; VLDQ-NEXT:    vpslld $31, %ymm0, %ymm0
2217 ; VLDQ-NEXT:    vpmovd2m %ymm0, %k1
2218 ; VLDQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2219 ; VLDQ-NEXT:    retq
2220 ;
2221 ; VLNODQ-LABEL: test_8f32toub:
2222 ; VLNODQ:       # %bb.0:
2223 ; VLNODQ-NEXT:    vcvttps2dq %ymm0, %ymm0
2224 ; VLNODQ-NEXT:    vpslld $31, %ymm0, %ymm0
2225 ; VLNODQ-NEXT:    vptestmd %ymm0, %ymm0, %k1
2226 ; VLNODQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2227 ; VLNODQ-NEXT:    retq
2228 ;
2229 ; DQNOVL-LABEL: test_8f32toub:
2230 ; DQNOVL:       # %bb.0:
2231 ; DQNOVL-NEXT:    vcvttps2dq %ymm0, %ymm0
2232 ; DQNOVL-NEXT:    vpslld $31, %ymm0, %ymm0
2233 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k1
2234 ; DQNOVL-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2235 ; DQNOVL-NEXT:    retq
2236   %mask = fptoui <8 x float> %a to <8 x i1>
2237   %select = select <8 x i1> %mask, <8 x i64> %passthru, <8 x i64> zeroinitializer
2238   ret <8 x i64> %select
2239 }
2240
2241 define <16 x i32> @test_16f32toub(<16 x float> %a, <16 x i32> %passthru) {
2242 ; NODQ-LABEL: test_16f32toub:
2243 ; NODQ:       # %bb.0:
2244 ; NODQ-NEXT:    vcvttps2dq %zmm0, %zmm0
2245 ; NODQ-NEXT:    vpslld $31, %zmm0, %zmm0
2246 ; NODQ-NEXT:    vptestmd %zmm0, %zmm0, %k1
2247 ; NODQ-NEXT:    vmovdqa32 %zmm1, %zmm0 {%k1} {z}
2248 ; NODQ-NEXT:    retq
2249 ;
2250 ; VLDQ-LABEL: test_16f32toub:
2251 ; VLDQ:       # %bb.0:
2252 ; VLDQ-NEXT:    vcvttps2dq %zmm0, %zmm0
2253 ; VLDQ-NEXT:    vpslld $31, %zmm0, %zmm0
2254 ; VLDQ-NEXT:    vpmovd2m %zmm0, %k1
2255 ; VLDQ-NEXT:    vmovdqa32 %zmm1, %zmm0 {%k1} {z}
2256 ; VLDQ-NEXT:    retq
2257 ;
2258 ; DQNOVL-LABEL: test_16f32toub:
2259 ; DQNOVL:       # %bb.0:
2260 ; DQNOVL-NEXT:    vcvttps2dq %zmm0, %zmm0
2261 ; DQNOVL-NEXT:    vpslld $31, %zmm0, %zmm0
2262 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k1
2263 ; DQNOVL-NEXT:    vmovdqa32 %zmm1, %zmm0 {%k1} {z}
2264 ; DQNOVL-NEXT:    retq
2265   %mask = fptoui <16 x float> %a to <16 x i1>
2266   %select = select <16 x i1> %mask, <16 x i32> %passthru, <16 x i32> zeroinitializer
2267   ret <16 x i32> %select
2268 }
2269
2270 define <2 x i64> @test_2f64tosb(<2 x double> %a, <2 x i64> %passthru) {
2271 ; NOVLDQ-LABEL: test_2f64tosb:
2272 ; NOVLDQ:       # %bb.0:
2273 ; NOVLDQ-NEXT:    # kill: def $xmm1 killed $xmm1 def $zmm1
2274 ; NOVLDQ-NEXT:    vcvttpd2dq %xmm0, %xmm0
2275 ; NOVLDQ-NEXT:    vpslld $31, %xmm0, %xmm0
2276 ; NOVLDQ-NEXT:    vptestmd %zmm0, %zmm0, %k1
2277 ; NOVLDQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2278 ; NOVLDQ-NEXT:    # kill: def $xmm0 killed $xmm0 killed $zmm0
2279 ; NOVLDQ-NEXT:    vzeroupper
2280 ; NOVLDQ-NEXT:    retq
2281 ;
2282 ; VLDQ-LABEL: test_2f64tosb:
2283 ; VLDQ:       # %bb.0:
2284 ; VLDQ-NEXT:    vcvttpd2dq %xmm0, %xmm0
2285 ; VLDQ-NEXT:    vpslld $31, %xmm0, %xmm0
2286 ; VLDQ-NEXT:    vpmovd2m %xmm0, %k1
2287 ; VLDQ-NEXT:    vmovdqa64 %xmm1, %xmm0 {%k1} {z}
2288 ; VLDQ-NEXT:    retq
2289 ;
2290 ; VLNODQ-LABEL: test_2f64tosb:
2291 ; VLNODQ:       # %bb.0:
2292 ; VLNODQ-NEXT:    vcvttpd2dq %xmm0, %xmm0
2293 ; VLNODQ-NEXT:    vpslld $31, %xmm0, %xmm0
2294 ; VLNODQ-NEXT:    vptestmd %xmm0, %xmm0, %k1
2295 ; VLNODQ-NEXT:    vmovdqa64 %xmm1, %xmm0 {%k1} {z}
2296 ; VLNODQ-NEXT:    retq
2297 ;
2298 ; DQNOVL-LABEL: test_2f64tosb:
2299 ; DQNOVL:       # %bb.0:
2300 ; DQNOVL-NEXT:    # kill: def $xmm1 killed $xmm1 def $zmm1
2301 ; DQNOVL-NEXT:    vcvttpd2dq %xmm0, %xmm0
2302 ; DQNOVL-NEXT:    vpslld $31, %xmm0, %xmm0
2303 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k1
2304 ; DQNOVL-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2305 ; DQNOVL-NEXT:    # kill: def $xmm0 killed $xmm0 killed $zmm0
2306 ; DQNOVL-NEXT:    vzeroupper
2307 ; DQNOVL-NEXT:    retq
2308   %mask = fptosi <2 x double> %a to <2 x i1>
2309   %select = select <2 x i1> %mask, <2 x i64> %passthru, <2 x i64> zeroinitializer
2310   ret <2 x i64> %select
2311 }
2312
2313 define <4 x i64> @test_4f64tosb(<4 x double> %a, <4 x i64> %passthru) {
2314 ; NOVLDQ-LABEL: test_4f64tosb:
2315 ; NOVLDQ:       # %bb.0:
2316 ; NOVLDQ-NEXT:    # kill: def $ymm1 killed $ymm1 def $zmm1
2317 ; NOVLDQ-NEXT:    vcvttpd2dq %ymm0, %xmm0
2318 ; NOVLDQ-NEXT:    vptestmd %zmm0, %zmm0, %k1
2319 ; NOVLDQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2320 ; NOVLDQ-NEXT:    # kill: def $ymm0 killed $ymm0 killed $zmm0
2321 ; NOVLDQ-NEXT:    retq
2322 ;
2323 ; VLDQ-LABEL: test_4f64tosb:
2324 ; VLDQ:       # %bb.0:
2325 ; VLDQ-NEXT:    vcvttpd2dq %ymm0, %xmm0
2326 ; VLDQ-NEXT:    vpmovd2m %xmm0, %k1
2327 ; VLDQ-NEXT:    vmovdqa64 %ymm1, %ymm0 {%k1} {z}
2328 ; VLDQ-NEXT:    retq
2329 ;
2330 ; VLNODQ-LABEL: test_4f64tosb:
2331 ; VLNODQ:       # %bb.0:
2332 ; VLNODQ-NEXT:    vcvttpd2dq %ymm0, %xmm0
2333 ; VLNODQ-NEXT:    vptestmd %xmm0, %xmm0, %k1
2334 ; VLNODQ-NEXT:    vmovdqa64 %ymm1, %ymm0 {%k1} {z}
2335 ; VLNODQ-NEXT:    retq
2336 ;
2337 ; DQNOVL-LABEL: test_4f64tosb:
2338 ; DQNOVL:       # %bb.0:
2339 ; DQNOVL-NEXT:    # kill: def $ymm1 killed $ymm1 def $zmm1
2340 ; DQNOVL-NEXT:    vcvttpd2dq %ymm0, %xmm0
2341 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k1
2342 ; DQNOVL-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2343 ; DQNOVL-NEXT:    # kill: def $ymm0 killed $ymm0 killed $zmm0
2344 ; DQNOVL-NEXT:    retq
2345   %mask = fptosi <4 x double> %a to <4 x i1>
2346   %select = select <4 x i1> %mask, <4 x i64> %passthru, <4 x i64> zeroinitializer
2347   ret <4 x i64> %select
2348 }
2349
2350 define <8 x i64> @test_8f64tosb(<8 x double> %a, <8 x i64> %passthru) {
2351 ; NOVLDQ-LABEL: test_8f64tosb:
2352 ; NOVLDQ:       # %bb.0:
2353 ; NOVLDQ-NEXT:    vcvttpd2dq %zmm0, %ymm0
2354 ; NOVLDQ-NEXT:    vptestmd %zmm0, %zmm0, %k1
2355 ; NOVLDQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2356 ; NOVLDQ-NEXT:    retq
2357 ;
2358 ; VLDQ-LABEL: test_8f64tosb:
2359 ; VLDQ:       # %bb.0:
2360 ; VLDQ-NEXT:    vcvttpd2dq %zmm0, %ymm0
2361 ; VLDQ-NEXT:    vpmovd2m %ymm0, %k1
2362 ; VLDQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2363 ; VLDQ-NEXT:    retq
2364 ;
2365 ; VLNODQ-LABEL: test_8f64tosb:
2366 ; VLNODQ:       # %bb.0:
2367 ; VLNODQ-NEXT:    vcvttpd2dq %zmm0, %ymm0
2368 ; VLNODQ-NEXT:    vptestmd %ymm0, %ymm0, %k1
2369 ; VLNODQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2370 ; VLNODQ-NEXT:    retq
2371 ;
2372 ; DQNOVL-LABEL: test_8f64tosb:
2373 ; DQNOVL:       # %bb.0:
2374 ; DQNOVL-NEXT:    vcvttpd2dq %zmm0, %ymm0
2375 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k1
2376 ; DQNOVL-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2377 ; DQNOVL-NEXT:    retq
2378   %mask = fptosi <8 x double> %a to <8 x i1>
2379   %select = select <8 x i1> %mask, <8 x i64> %passthru, <8 x i64> zeroinitializer
2380   ret <8 x i64> %select
2381 }
2382
2383 define <2 x i64> @test_2f32tosb(<2 x float> %a, <2 x i64> %passthru) {
2384 ; NOVLDQ-LABEL: test_2f32tosb:
2385 ; NOVLDQ:       # %bb.0:
2386 ; NOVLDQ-NEXT:    # kill: def $xmm1 killed $xmm1 def $zmm1
2387 ; NOVLDQ-NEXT:    vcvttps2dq %xmm0, %xmm0
2388 ; NOVLDQ-NEXT:    vptestmd %zmm0, %zmm0, %k1
2389 ; NOVLDQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2390 ; NOVLDQ-NEXT:    # kill: def $xmm0 killed $xmm0 killed $zmm0
2391 ; NOVLDQ-NEXT:    vzeroupper
2392 ; NOVLDQ-NEXT:    retq
2393 ;
2394 ; VLDQ-LABEL: test_2f32tosb:
2395 ; VLDQ:       # %bb.0:
2396 ; VLDQ-NEXT:    vcvttps2dq %xmm0, %xmm0
2397 ; VLDQ-NEXT:    vpmovd2m %xmm0, %k1
2398 ; VLDQ-NEXT:    vmovdqa64 %xmm1, %xmm0 {%k1} {z}
2399 ; VLDQ-NEXT:    retq
2400 ;
2401 ; VLNODQ-LABEL: test_2f32tosb:
2402 ; VLNODQ:       # %bb.0:
2403 ; VLNODQ-NEXT:    vcvttps2dq %xmm0, %xmm0
2404 ; VLNODQ-NEXT:    vptestmd %xmm0, %xmm0, %k1
2405 ; VLNODQ-NEXT:    vmovdqa64 %xmm1, %xmm0 {%k1} {z}
2406 ; VLNODQ-NEXT:    retq
2407 ;
2408 ; DQNOVL-LABEL: test_2f32tosb:
2409 ; DQNOVL:       # %bb.0:
2410 ; DQNOVL-NEXT:    # kill: def $xmm1 killed $xmm1 def $zmm1
2411 ; DQNOVL-NEXT:    vcvttps2dq %xmm0, %xmm0
2412 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k1
2413 ; DQNOVL-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2414 ; DQNOVL-NEXT:    # kill: def $xmm0 killed $xmm0 killed $zmm0
2415 ; DQNOVL-NEXT:    vzeroupper
2416 ; DQNOVL-NEXT:    retq
2417   %mask = fptosi <2 x float> %a to <2 x i1>
2418   %select = select <2 x i1> %mask, <2 x i64> %passthru, <2 x i64> zeroinitializer
2419   ret <2 x i64> %select
2420 }
2421
2422 define <4 x i64> @test_4f32tosb(<4 x float> %a, <4 x i64> %passthru) {
2423 ; NOVLDQ-LABEL: test_4f32tosb:
2424 ; NOVLDQ:       # %bb.0:
2425 ; NOVLDQ-NEXT:    # kill: def $ymm1 killed $ymm1 def $zmm1
2426 ; NOVLDQ-NEXT:    vcvttps2dq %xmm0, %xmm0
2427 ; NOVLDQ-NEXT:    vptestmd %zmm0, %zmm0, %k1
2428 ; NOVLDQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2429 ; NOVLDQ-NEXT:    # kill: def $ymm0 killed $ymm0 killed $zmm0
2430 ; NOVLDQ-NEXT:    retq
2431 ;
2432 ; VLDQ-LABEL: test_4f32tosb:
2433 ; VLDQ:       # %bb.0:
2434 ; VLDQ-NEXT:    vcvttps2dq %xmm0, %xmm0
2435 ; VLDQ-NEXT:    vpmovd2m %xmm0, %k1
2436 ; VLDQ-NEXT:    vmovdqa64 %ymm1, %ymm0 {%k1} {z}
2437 ; VLDQ-NEXT:    retq
2438 ;
2439 ; VLNODQ-LABEL: test_4f32tosb:
2440 ; VLNODQ:       # %bb.0:
2441 ; VLNODQ-NEXT:    vcvttps2dq %xmm0, %xmm0
2442 ; VLNODQ-NEXT:    vptestmd %xmm0, %xmm0, %k1
2443 ; VLNODQ-NEXT:    vmovdqa64 %ymm1, %ymm0 {%k1} {z}
2444 ; VLNODQ-NEXT:    retq
2445 ;
2446 ; DQNOVL-LABEL: test_4f32tosb:
2447 ; DQNOVL:       # %bb.0:
2448 ; DQNOVL-NEXT:    # kill: def $ymm1 killed $ymm1 def $zmm1
2449 ; DQNOVL-NEXT:    vcvttps2dq %xmm0, %xmm0
2450 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k1
2451 ; DQNOVL-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2452 ; DQNOVL-NEXT:    # kill: def $ymm0 killed $ymm0 killed $zmm0
2453 ; DQNOVL-NEXT:    retq
2454   %mask = fptosi <4 x float> %a to <4 x i1>
2455   %select = select <4 x i1> %mask, <4 x i64> %passthru, <4 x i64> zeroinitializer
2456   ret <4 x i64> %select
2457 }
2458
2459 define <8 x i64> @test_8f32tosb(<8 x float> %a, <8 x i64> %passthru) {
2460 ; NOVLDQ-LABEL: test_8f32tosb:
2461 ; NOVLDQ:       # %bb.0:
2462 ; NOVLDQ-NEXT:    vcvttps2dq %ymm0, %ymm0
2463 ; NOVLDQ-NEXT:    vptestmd %zmm0, %zmm0, %k1
2464 ; NOVLDQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2465 ; NOVLDQ-NEXT:    retq
2466 ;
2467 ; VLDQ-LABEL: test_8f32tosb:
2468 ; VLDQ:       # %bb.0:
2469 ; VLDQ-NEXT:    vcvttps2dq %ymm0, %ymm0
2470 ; VLDQ-NEXT:    vpmovd2m %ymm0, %k1
2471 ; VLDQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2472 ; VLDQ-NEXT:    retq
2473 ;
2474 ; VLNODQ-LABEL: test_8f32tosb:
2475 ; VLNODQ:       # %bb.0:
2476 ; VLNODQ-NEXT:    vcvttps2dq %ymm0, %ymm0
2477 ; VLNODQ-NEXT:    vptestmd %ymm0, %ymm0, %k1
2478 ; VLNODQ-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2479 ; VLNODQ-NEXT:    retq
2480 ;
2481 ; DQNOVL-LABEL: test_8f32tosb:
2482 ; DQNOVL:       # %bb.0:
2483 ; DQNOVL-NEXT:    vcvttps2dq %ymm0, %ymm0
2484 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k1
2485 ; DQNOVL-NEXT:    vmovdqa64 %zmm1, %zmm0 {%k1} {z}
2486 ; DQNOVL-NEXT:    retq
2487   %mask = fptosi <8 x float> %a to <8 x i1>
2488   %select = select <8 x i1> %mask, <8 x i64> %passthru, <8 x i64> zeroinitializer
2489   ret <8 x i64> %select
2490 }
2491
2492 define <16 x i32> @test_16f32tosb(<16 x float> %a, <16 x i32> %passthru) {
2493 ; NODQ-LABEL: test_16f32tosb:
2494 ; NODQ:       # %bb.0:
2495 ; NODQ-NEXT:    vcvttps2dq %zmm0, %zmm0
2496 ; NODQ-NEXT:    vptestmd %zmm0, %zmm0, %k1
2497 ; NODQ-NEXT:    vmovdqa32 %zmm1, %zmm0 {%k1} {z}
2498 ; NODQ-NEXT:    retq
2499 ;
2500 ; VLDQ-LABEL: test_16f32tosb:
2501 ; VLDQ:       # %bb.0:
2502 ; VLDQ-NEXT:    vcvttps2dq %zmm0, %zmm0
2503 ; VLDQ-NEXT:    vpmovd2m %zmm0, %k1
2504 ; VLDQ-NEXT:    vmovdqa32 %zmm1, %zmm0 {%k1} {z}
2505 ; VLDQ-NEXT:    retq
2506 ;
2507 ; DQNOVL-LABEL: test_16f32tosb:
2508 ; DQNOVL:       # %bb.0:
2509 ; DQNOVL-NEXT:    vcvttps2dq %zmm0, %zmm0
2510 ; DQNOVL-NEXT:    vpmovd2m %zmm0, %k1
2511 ; DQNOVL-NEXT:    vmovdqa32 %zmm1, %zmm0 {%k1} {z}
2512 ; DQNOVL-NEXT:    retq
2513   %mask = fptosi <16 x float> %a to <16 x i1>
2514   %select = select <16 x i1> %mask, <16 x i32> %passthru, <16 x i32> zeroinitializer
2515   ret <16 x i32> %select
2516 }