llvm/test/CodeGen/X86/avx512fp16-arith-vl-intrinsics.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-unkown-unkown -mattr=+avx512bw -mattr=+avx512vl -mattr=+avx512fp16 | FileCheck %s
   3
   4 define <16 x half> @test_int_x86_avx512fp16_add_ph_256(<16 x half> %x1, <16 x half> %x2) {
   5 ; CHECK-LABEL: test_int_x86_avx512fp16_add_ph_256:
   6 ; CHECK:       # %bb.0:
   7 ; CHECK-NEXT:    vaddph %ymm1, %ymm0, %ymm0
   8 ; CHECK-NEXT:    retq
   9   %res = fadd <16 x half> %x1, %x2
  10   ret <16 x half> %res
  11 }
  12
  13 define <16 x half> @test_int_x86_avx512fp16_mask_add_ph_256(<16 x half> %x1, <16 x half> %x2, <16 x half> %src, i16 %mask, <16 x half>* %ptr) {
  14 ; CHECK-LABEL: test_int_x86_avx512fp16_mask_add_ph_256:
  15 ; CHECK:       # %bb.0:
  16 ; CHECK-NEXT:    kmovd %edi, %k1
  17 ; CHECK-NEXT:    vmovaps %ymm2, %ymm3
  18 ; CHECK-NEXT:    vaddph %ymm1, %ymm0, %ymm3 {%k1}
  19 ; CHECK-NEXT:    vaddph (%rsi), %ymm0, %ymm2 {%k1}
  20 ; CHECK-NEXT:    vaddph %ymm2, %ymm3, %ymm0
  21 ; CHECK-NEXT:    retq
  22   %msk = bitcast i16 %mask to <16 x i1>
  23   %val = load <16 x half>, <16 x half>* %ptr
  24   %res0 = fadd <16 x half> %x1, %x2
  25   %res1 = select <16 x i1> %msk, <16 x half> %res0, <16 x half> %src
  26   %t3 = fadd <16 x half> %x1, %val
  27   %res2 = select <16 x i1> %msk, <16 x half> %t3, <16 x half> %src
  28   %res   =  fadd <16 x half> %res1 , %res2
  29   ret <16 x half> %res
  30 }
  31
  32 define <16 x half> @test_int_x86_avx512fp16_maskz_add_ph_256(<16 x half> %x1, <16 x half> %x2, i16 %mask, <16 x half>* %ptr) {
  33 ; CHECK-LABEL: test_int_x86_avx512fp16_maskz_add_ph_256:
  34 ; CHECK:       # %bb.0:
  35 ; CHECK-NEXT:    kmovd %edi, %k1
  36 ; CHECK-NEXT:    vaddph %ymm1, %ymm0, %ymm0 {%k1} {z}
  37 ; CHECK-NEXT:    retq
  38   %msk = bitcast i16 %mask to <16 x i1>
  39   %res0 = fadd <16 x half> %x1, %x2
  40   %res1 = select <16 x i1> %msk, <16 x half> %res0, <16 x half> zeroinitializer
  41   ret <16 x half> %res1
  42 }
  43
  44 define <8 x half> @test_int_x86_avx512fp16_add_ph_128(<8 x half> %x1, <8 x half> %x2) {
  45 ; CHECK-LABEL: test_int_x86_avx512fp16_add_ph_128:
  46 ; CHECK:       # %bb.0:
  47 ; CHECK-NEXT:    vaddph %xmm1, %xmm0, %xmm0
  48 ; CHECK-NEXT:    retq
  49   %res = fadd <8 x half> %x1, %x2
  50   ret <8 x half> %res
  51 }
  52
  53 define <8 x half> @test_int_x86_avx512fp16_mask_add_ph_128(<8 x half> %x1, <8 x half> %x2, <8 x half> %src, i8 %mask, <8 x half>* %ptr) {
  54 ; CHECK-LABEL: test_int_x86_avx512fp16_mask_add_ph_128:
  55 ; CHECK:       # %bb.0:
  56 ; CHECK-NEXT:    kmovd %edi, %k1
  57 ; CHECK-NEXT:    vmovaps %xmm2, %xmm3
  58 ; CHECK-NEXT:    vaddph %xmm1, %xmm0, %xmm3 {%k1}
  59 ; CHECK-NEXT:    vaddph (%rsi), %xmm0, %xmm2 {%k1}
  60 ; CHECK-NEXT:    vaddph %xmm2, %xmm3, %xmm0
  61 ; CHECK-NEXT:    retq
  62   %msk = bitcast i8 %mask to <8 x i1>
  63   %val = load <8 x half>, <8 x half>* %ptr
  64   %res0 = fadd <8 x half> %x1, %x2
  65   %res1 = select <8 x i1> %msk, <8 x half> %res0, <8 x half> %src
  66   %t3 = fadd <8 x half> %x1, %val
  67   %res2 = select <8 x i1> %msk, <8 x half> %t3, <8 x half> %src
  68   %res   =  fadd <8 x half> %res1 , %res2
  69   ret <8 x half> %res
  70 }
  71
  72 define <8 x half> @test_int_x86_avx512fp16_maskz_add_ph_128(<8 x half> %x1, <8 x half> %x2, i8 %mask, <8 x half>* %ptr) {
  73 ; CHECK-LABEL: test_int_x86_avx512fp16_maskz_add_ph_128:
  74 ; CHECK:       # %bb.0:
  75 ; CHECK-NEXT:    kmovd %edi, %k1
  76 ; CHECK-NEXT:    vaddph %xmm1, %xmm0, %xmm0 {%k1} {z}
  77 ; CHECK-NEXT:    retq
  78   %msk = bitcast i8 %mask to <8 x i1>
  79   %res0 = fadd <8 x half> %x1, %x2
  80   %res1 = select <8 x i1> %msk, <8 x half> %res0, <8 x half> zeroinitializer
  81   ret <8 x half> %res1
  82 }
  83
  84 define <16 x half> @test_int_x86_avx512fp16_sub_ph_256(<16 x half> %x1, <16 x half> %x2) {
  85 ; CHECK-LABEL: test_int_x86_avx512fp16_sub_ph_256:
  86 ; CHECK:       # %bb.0:
  87 ; CHECK-NEXT:    vsubph %ymm1, %ymm0, %ymm0
  88 ; CHECK-NEXT:    retq
  89   %res = fsub <16 x half> %x1, %x2
  90   ret <16 x half> %res
  91 }
  92
  93 define <16 x half> @test_int_x86_avx512fp16_mask_sub_ph_256(<16 x half> %x1, <16 x half> %x2, <16 x half> %src, i16 %mask, <16 x half>* %ptr) {
  94 ; CHECK-LABEL: test_int_x86_avx512fp16_mask_sub_ph_256:
  95 ; CHECK:       # %bb.0:
  96 ; CHECK-NEXT:    kmovd %edi, %k1
  97 ; CHECK-NEXT:    vmovaps %ymm2, %ymm3
  98 ; CHECK-NEXT:    vsubph %ymm1, %ymm0, %ymm3 {%k1}
  99 ; CHECK-NEXT:    vsubph (%rsi), %ymm0, %ymm2 {%k1}
 100 ; CHECK-NEXT:    vsubph %ymm2, %ymm3, %ymm0
 101 ; CHECK-NEXT:    retq
 102   %msk = bitcast i16 %mask to <16 x i1>
 103   %val = load <16 x half>, <16 x half>* %ptr
 104   %res0 = fsub <16 x half> %x1, %x2
 105   %res1 = select <16 x i1> %msk, <16 x half> %res0, <16 x half> %src
 106   %t3 = fsub <16 x half> %x1, %val
 107   %res2 = select <16 x i1> %msk, <16 x half> %t3, <16 x half> %src
 108   %res   =  fsub <16 x half> %res1 , %res2
 109   ret <16 x half> %res
 110 }
 111
 112 define <16 x half> @test_int_x86_avx512fp16_maskz_sub_ph_256(<16 x half> %x1, <16 x half> %x2, i16 %mask, <16 x half>* %ptr) {
 113 ; CHECK-LABEL: test_int_x86_avx512fp16_maskz_sub_ph_256:
 114 ; CHECK:       # %bb.0:
 115 ; CHECK-NEXT:    kmovd %edi, %k1
 116 ; CHECK-NEXT:    vsubph %ymm1, %ymm0, %ymm0 {%k1} {z}
 117 ; CHECK-NEXT:    retq
 118   %msk = bitcast i16 %mask to <16 x i1>
 119   %res0 = fsub <16 x half> %x1, %x2
 120   %res1 = select <16 x i1> %msk, <16 x half> %res0, <16 x half> zeroinitializer
 121   ret <16 x half> %res1
 122 }
 123
 124 define <8 x half> @test_int_x86_avx512fp16_sub_ph_128(<8 x half> %x1, <8 x half> %x2) {
 125 ; CHECK-LABEL: test_int_x86_avx512fp16_sub_ph_128:
 126 ; CHECK:       # %bb.0:
 127 ; CHECK-NEXT:    vsubph %xmm1, %xmm0, %xmm0
 128 ; CHECK-NEXT:    retq
 129   %res = fsub <8 x half> %x1, %x2
 130   ret <8 x half> %res
 131 }
 132
 133 define <8 x half> @test_int_x86_avx512fp16_mask_sub_ph_128(<8 x half> %x1, <8 x half> %x2, <8 x half> %src, i8 %mask, <8 x half>* %ptr) {
 134 ; CHECK-LABEL: test_int_x86_avx512fp16_mask_sub_ph_128:
 135 ; CHECK:       # %bb.0:
 136 ; CHECK-NEXT:    kmovd %edi, %k1
 137 ; CHECK-NEXT:    vmovaps %xmm2, %xmm3
 138 ; CHECK-NEXT:    vsubph %xmm1, %xmm0, %xmm3 {%k1}
 139 ; CHECK-NEXT:    vsubph (%rsi), %xmm0, %xmm2 {%k1}
 140 ; CHECK-NEXT:    vsubph %xmm2, %xmm3, %xmm0
 141 ; CHECK-NEXT:    retq
 142   %msk = bitcast i8 %mask to <8 x i1>
 143   %val = load <8 x half>, <8 x half>* %ptr
 144   %res0 = fsub <8 x half> %x1, %x2
 145   %res1 = select <8 x i1> %msk, <8 x half> %res0, <8 x half> %src
 146   %t3 = fsub <8 x half> %x1, %val
 147   %res2 = select <8 x i1> %msk, <8 x half> %t3, <8 x half> %src
 148   %res   =  fsub <8 x half> %res1 , %res2
 149   ret <8 x half> %res
 150 }
 151
 152 define <8 x half> @test_int_x86_avx512fp16_maskz_sub_ph_128(<8 x half> %x1, <8 x half> %x2, i8 %mask, <8 x half>* %ptr) {
 153 ; CHECK-LABEL: test_int_x86_avx512fp16_maskz_sub_ph_128:
 154 ; CHECK:       # %bb.0:
 155 ; CHECK-NEXT:    kmovd %edi, %k1
 156 ; CHECK-NEXT:    vsubph %xmm1, %xmm0, %xmm0 {%k1} {z}
 157 ; CHECK-NEXT:    retq
 158   %msk = bitcast i8 %mask to <8 x i1>
 159   %res0 = fsub <8 x half> %x1, %x2
 160   %res1 = select <8 x i1> %msk, <8 x half> %res0, <8 x half> zeroinitializer
 161   ret <8 x half> %res1
 162 }
 163
 164 define <16 x half> @test_int_x86_avx512fp16_mul_ph_256(<16 x half> %x1, <16 x half> %x2) {
 165 ; CHECK-LABEL: test_int_x86_avx512fp16_mul_ph_256:
 166 ; CHECK:       # %bb.0:
 167 ; CHECK-NEXT:    vmulph %ymm1, %ymm0, %ymm0
 168 ; CHECK-NEXT:    retq
 169   %res = fmul <16 x half> %x1, %x2
 170   ret <16 x half> %res
 171 }
 172
 173 define <16 x half> @test_int_x86_avx512fp16_mask_mul_ph_256(<16 x half> %x1, <16 x half> %x2, <16 x half> %src, i16 %mask, <16 x half>* %ptr) {
 174 ; CHECK-LABEL: test_int_x86_avx512fp16_mask_mul_ph_256:
 175 ; CHECK:       # %bb.0:
 176 ; CHECK-NEXT:    kmovd %edi, %k1
 177 ; CHECK-NEXT:    vmovaps %ymm2, %ymm3
 178 ; CHECK-NEXT:    vmulph %ymm1, %ymm0, %ymm3 {%k1}
 179 ; CHECK-NEXT:    vmulph (%rsi), %ymm0, %ymm2 {%k1}
 180 ; CHECK-NEXT:    vmulph %ymm2, %ymm3, %ymm0
 181 ; CHECK-NEXT:    retq
 182   %msk = bitcast i16 %mask to <16 x i1>
 183   %val = load <16 x half>, <16 x half>* %ptr
 184   %res0 = fmul <16 x half> %x1, %x2
 185   %res1 = select <16 x i1> %msk, <16 x half> %res0, <16 x half> %src
 186   %t3 = fmul <16 x half> %x1, %val
 187   %res2 = select <16 x i1> %msk, <16 x half> %t3, <16 x half> %src
 188   %res   =  fmul <16 x half> %res1 , %res2
 189   ret <16 x half> %res
 190 }
 191
 192 define <16 x half> @test_int_x86_avx512fp16_maskz_mul_ph_256(<16 x half> %x1, <16 x half> %x2, i16 %mask, <16 x half>* %ptr) {
 193 ; CHECK-LABEL: test_int_x86_avx512fp16_maskz_mul_ph_256:
 194 ; CHECK:       # %bb.0:
 195 ; CHECK-NEXT:    kmovd %edi, %k1
 196 ; CHECK-NEXT:    vmulph %ymm1, %ymm0, %ymm0 {%k1} {z}
 197 ; CHECK-NEXT:    retq
 198   %msk = bitcast i16 %mask to <16 x i1>
 199   %res0 = fmul <16 x half> %x1, %x2
 200   %res1 = select <16 x i1> %msk, <16 x half> %res0, <16 x half> zeroinitializer
 201   ret <16 x half> %res1
 202 }
 203
 204 define <8 x half> @test_int_x86_avx512fp16_mul_ph_128(<8 x half> %x1, <8 x half> %x2) {
 205 ; CHECK-LABEL: test_int_x86_avx512fp16_mul_ph_128:
 206 ; CHECK:       # %bb.0:
 207 ; CHECK-NEXT:    vmulph %xmm1, %xmm0, %xmm0
 208 ; CHECK-NEXT:    retq
 209   %res = fmul <8 x half> %x1, %x2
 210   ret <8 x half> %res
 211 }
 212
 213 define <8 x half> @test_int_x86_avx512fp16_mask_mul_ph_128(<8 x half> %x1, <8 x half> %x2, <8 x half> %src, i8 %mask, <8 x half>* %ptr) {
 214 ; CHECK-LABEL: test_int_x86_avx512fp16_mask_mul_ph_128:
 215 ; CHECK:       # %bb.0:
 216 ; CHECK-NEXT:    kmovd %edi, %k1
 217 ; CHECK-NEXT:    vmovaps %xmm2, %xmm3
 218 ; CHECK-NEXT:    vmulph %xmm1, %xmm0, %xmm3 {%k1}
 219 ; CHECK-NEXT:    vmulph (%rsi), %xmm0, %xmm2 {%k1}
 220 ; CHECK-NEXT:    vmulph %xmm2, %xmm3, %xmm0
 221 ; CHECK-NEXT:    retq
 222   %msk = bitcast i8 %mask to <8 x i1>
 223   %val = load <8 x half>, <8 x half>* %ptr
 224   %res0 = fmul <8 x half> %x1, %x2
 225   %res1 = select <8 x i1> %msk, <8 x half> %res0, <8 x half> %src
 226   %t3 = fmul <8 x half> %x1, %val
 227   %res2 = select <8 x i1> %msk, <8 x half> %t3, <8 x half> %src
 228   %res   =  fmul <8 x half> %res1 , %res2
 229   ret <8 x half> %res
 230 }
 231
 232 define <8 x half> @test_int_x86_avx512fp16_maskz_mul_ph_128(<8 x half> %x1, <8 x half> %x2, i8 %mask, <8 x half>* %ptr) {
 233 ; CHECK-LABEL: test_int_x86_avx512fp16_maskz_mul_ph_128:
 234 ; CHECK:       # %bb.0:
 235 ; CHECK-NEXT:    kmovd %edi, %k1
 236 ; CHECK-NEXT:    vmulph %xmm1, %xmm0, %xmm0 {%k1} {z}
 237 ; CHECK-NEXT:    retq
 238   %msk = bitcast i8 %mask to <8 x i1>
 239   %res0 = fmul <8 x half> %x1, %x2
 240   %res1 = select <8 x i1> %msk, <8 x half> %res0, <8 x half> zeroinitializer
 241   ret <8 x half> %res1
 242 }
 243
 244 define <16 x half> @test_int_x86_avx512fp16_div_ph_256(<16 x half> %x1, <16 x half> %x2) {
 245 ; CHECK-LABEL: test_int_x86_avx512fp16_div_ph_256:
 246 ; CHECK:       # %bb.0:
 247 ; CHECK-NEXT:    vdivph %ymm1, %ymm0, %ymm0
 248 ; CHECK-NEXT:    retq
 249   %res = fdiv <16 x half> %x1, %x2
 250   ret <16 x half> %res
 251 }
 252
 253 define <16 x half> @test_int_x86_avx512fp16_mask_div_ph_256(<16 x half> %x1, <16 x half> %x2, <16 x half> %src, i16 %mask, <16 x half>* %ptr) {
 254 ; CHECK-LABEL: test_int_x86_avx512fp16_mask_div_ph_256:
 255 ; CHECK:       # %bb.0:
 256 ; CHECK-NEXT:    kmovd %edi, %k1
 257 ; CHECK-NEXT:    vmovaps %ymm2, %ymm3
 258 ; CHECK-NEXT:    vdivph %ymm1, %ymm0, %ymm3 {%k1}
 259 ; CHECK-NEXT:    vdivph (%rsi), %ymm0, %ymm2 {%k1}
 260 ; CHECK-NEXT:    vdivph %ymm2, %ymm3, %ymm0
 261 ; CHECK-NEXT:    retq
 262   %msk = bitcast i16 %mask to <16 x i1>
 263   %val = load <16 x half>, <16 x half>* %ptr
 264   %res0 = fdiv <16 x half> %x1, %x2
 265   %res1 = select <16 x i1> %msk, <16 x half> %res0, <16 x half> %src
 266   %t3 = fdiv <16 x half> %x1, %val
 267   %res2 = select <16 x i1> %msk, <16 x half> %t3, <16 x half> %src
 268   %res   =  fdiv <16 x half> %res1 , %res2
 269   ret <16 x half> %res
 270 }
 271
 272 define <16 x half> @test_int_x86_avx512fp16_maskz_div_ph_256(<16 x half> %x1, <16 x half> %x2, i16 %mask, <16 x half>* %ptr) {
 273 ; CHECK-LABEL: test_int_x86_avx512fp16_maskz_div_ph_256:
 274 ; CHECK:       # %bb.0:
 275 ; CHECK-NEXT:    kmovd %edi, %k1
 276 ; CHECK-NEXT:    vdivph %ymm1, %ymm0, %ymm0 {%k1} {z}
 277 ; CHECK-NEXT:    retq
 278   %msk = bitcast i16 %mask to <16 x i1>
 279   %res0 = fdiv <16 x half> %x1, %x2
 280   %res1 = select <16 x i1> %msk, <16 x half> %res0, <16 x half> zeroinitializer
 281   ret <16 x half> %res1
 282 }
 283
 284 define <8 x half> @test_int_x86_avx512fp16_div_ph_128(<8 x half> %x1, <8 x half> %x2) {
 285 ; CHECK-LABEL: test_int_x86_avx512fp16_div_ph_128:
 286 ; CHECK:       # %bb.0:
 287 ; CHECK-NEXT:    vdivph %xmm1, %xmm0, %xmm0
 288 ; CHECK-NEXT:    retq
 289   %res = fdiv <8 x half> %x1, %x2
 290   ret <8 x half> %res
 291 }
 292
 293 define <8 x half> @test_int_x86_avx512fp16_mask_div_ph_128(<8 x half> %x1, <8 x half> %x2, <8 x half> %src, i8 %mask, <8 x half>* %ptr) {
 294 ; CHECK-LABEL: test_int_x86_avx512fp16_mask_div_ph_128:
 295 ; CHECK:       # %bb.0:
 296 ; CHECK-NEXT:    kmovd %edi, %k1
 297 ; CHECK-NEXT:    vmovaps %xmm2, %xmm3
 298 ; CHECK-NEXT:    vdivph %xmm1, %xmm0, %xmm3 {%k1}
 299 ; CHECK-NEXT:    vdivph (%rsi), %xmm0, %xmm2 {%k1}
 300 ; CHECK-NEXT:    vdivph %xmm2, %xmm3, %xmm0
 301 ; CHECK-NEXT:    retq
 302   %msk = bitcast i8 %mask to <8 x i1>
 303   %val = load <8 x half>, <8 x half>* %ptr
 304   %res0 = fdiv <8 x half> %x1, %x2
 305   %res1 = select <8 x i1> %msk, <8 x half> %res0, <8 x half> %src
 306   %t3 = fdiv <8 x half> %x1, %val
 307   %res2 = select <8 x i1> %msk, <8 x half> %t3, <8 x half> %src
 308   %res   =  fdiv <8 x half> %res1 , %res2
 309   ret <8 x half> %res
 310 }
 311
 312 define <8 x half> @test_int_x86_avx512fp16_maskz_div_ph_128(<8 x half> %x1, <8 x half> %x2, i8 %mask, <8 x half>* %ptr) {
 313 ; CHECK-LABEL: test_int_x86_avx512fp16_maskz_div_ph_128:
 314 ; CHECK:       # %bb.0:
 315 ; CHECK-NEXT:    kmovd %edi, %k1
 316 ; CHECK-NEXT:    vdivph %xmm1, %xmm0, %xmm0 {%k1} {z}
 317 ; CHECK-NEXT:    retq
 318   %msk = bitcast i8 %mask to <8 x i1>
 319   %res0 = fdiv <8 x half> %x1, %x2
 320   %res1 = select <8 x i1> %msk, <8 x half> %res0, <8 x half> zeroinitializer
 321   ret <8 x half> %res1
 322 }
 323
 324 define <16 x half> @test_min_ph_256(<16 x half> %x1, <16 x half> %x2) {
 325 ; CHECK-LABEL: test_min_ph_256:
 326 ; CHECK:       # %bb.0:
 327 ; CHECK-NEXT:    vminph %ymm1, %ymm0, %ymm0
 328 ; CHECK-NEXT:    retq
 329   %res0 = fcmp olt <16 x half> %x1, %x2
 330   %res1 = select <16 x i1> %res0, <16 x half> %x1, <16 x half> %x2
 331   ret  <16 x half> %res1
 332 }
 333
 334 define <16 x half> @test_max_ph_256(<16 x half> %x1, <16 x half> %x2) {
 335 ; CHECK-LABEL: test_max_ph_256:
 336 ; CHECK:       # %bb.0:
 337 ; CHECK-NEXT:    vmaxph %ymm1, %ymm0, %ymm0
 338 ; CHECK-NEXT:    retq
 339   %res0 = fcmp ogt <16 x half> %x1, %x2
 340   %res1 = select <16 x i1> %res0, <16 x half> %x1, <16 x half> %x2
 341   ret  <16 x half> %res1
 342 }
 343
 344 define <8 x half> @test_min_ph_128(<8 x half> %x1, <8 x half> %x2) {
 345 ; CHECK-LABEL: test_min_ph_128:
 346 ; CHECK:       # %bb.0:
 347 ; CHECK-NEXT:    vminph %xmm1, %xmm0, %xmm0
 348 ; CHECK-NEXT:    retq
 349   %res0 = fcmp olt <8 x half> %x1, %x2
 350   %res1 = select <8 x i1> %res0, <8 x half> %x1, <8 x half> %x2
 351   ret  <8 x half> %res1
 352 }
 353
 354 define <8 x half> @test_max_ph_128(<8 x half> %x1, <8 x half> %x2) {
 355 ; CHECK-LABEL: test_max_ph_128:
 356 ; CHECK:       # %bb.0:
 357 ; CHECK-NEXT:    vmaxph %xmm1, %xmm0, %xmm0
 358 ; CHECK-NEXT:    retq
 359   %res0 = fcmp ogt <8 x half> %x1, %x2
 360   %res1 = select <8 x i1> %res0, <8 x half> %x1, <8 x half> %x2
 361   ret  <8 x half> %res1
 362 }
 363
 364 declare <8 x half> @llvm.x86.avx512fp16.max.ph.128(<8 x half>, <8 x half>)
 365 declare <16 x half> @llvm.x86.avx512fp16.max.ph.256(<16 x half>, <16 x half>)
 366
 367 define <8 x half> @test_max_ph_128_2(<8 x half> %x1, <8 x half> %x2) {
 368 ; CHECK-LABEL: test_max_ph_128_2:
 369 ; CHECK:       # %bb.0:
 370 ; CHECK-NEXT:    vmaxph %xmm1, %xmm0, %xmm0
 371 ; CHECK-NEXT:    retq
 372   %res0 = call <8 x half> @llvm.x86.avx512fp16.max.ph.128(<8 x half> %x1, <8 x half> %x2)
 373   ret  <8 x half> %res0
 374 }
 375
 376 define <16 x half> @test_max_ph_256_2(<16 x half> %x1, <16 x half> %x2) {
 377 ; CHECK-LABEL: test_max_ph_256_2:
 378 ; CHECK:       # %bb.0:
 379 ; CHECK-NEXT:    vmaxph %ymm1, %ymm0, %ymm0
 380 ; CHECK-NEXT:    retq
 381   %res0 = call <16 x half> @llvm.x86.avx512fp16.max.ph.256(<16 x half> %x1, <16 x half> %x2)
 382   ret  <16 x half> %res0
 383 }
 384
 385 declare <8 x half> @llvm.x86.avx512fp16.min.ph.128(<8 x half>, <8 x half>)
 386 declare <16 x half> @llvm.x86.avx512fp16.min.ph.256(<16 x half>, <16 x half>)
 387
 388 define <8 x half> @test_min_ph_128_2(<8 x half> %x1, <8 x half> %x2) {
 389 ; CHECK-LABEL: test_min_ph_128_2:
 390 ; CHECK:       # %bb.0:
 391 ; CHECK-NEXT:    vminph %xmm1, %xmm0, %xmm0
 392 ; CHECK-NEXT:    retq
 393   %res0 = call <8 x half> @llvm.x86.avx512fp16.min.ph.128(<8 x half> %x1, <8 x half> %x2)
 394   ret  <8 x half> %res0
 395 }
 396
 397 define <16 x half> @test_min_ph_256_2(<16 x half> %x1, <16 x half> %x2) {
 398 ; CHECK-LABEL: test_min_ph_256_2:
 399 ; CHECK:       # %bb.0:
 400 ; CHECK-NEXT:    vminph %ymm1, %ymm0, %ymm0
 401 ; CHECK-NEXT:    retq
 402   %res0 = call <16 x half> @llvm.x86.avx512fp16.min.ph.256(<16 x half> %x1, <16 x half> %x2)
 403   ret  <16 x half> %res0
 404 }
 405
 406 declare <4 x double> @llvm.x86.avx512fp16.mask.vcvtph2pd.256(<8 x half>, <4 x double>, i8)
 407
 408 define <4 x double> @test_int_x86_avx512_mask_vcvt_ph2pd_256(<8 x half> %x0, <4 x double> %x1, i8 %x2) {
 409 ; CHECK-LABEL: test_int_x86_avx512_mask_vcvt_ph2pd_256:
 410 ; CHECK:       # %bb.0:
 411 ; CHECK-NEXT:    kmovd %edi, %k1
 412 ; CHECK-NEXT:    vcvtph2pd %xmm0, %ymm1 {%k1}
 413 ; CHECK-NEXT:    vmovaps %ymm1, %ymm0
 414 ; CHECK-NEXT:    retq
 415   %res = call <4 x double> @llvm.x86.avx512fp16.mask.vcvtph2pd.256(<8 x half> %x0, <4 x double> %x1, i8 %x2)
 416   ret <4 x double> %res
 417 }
 418
 419 define <4 x double> @test_int_x86_avx512_mask_vcvt_ph2pd_256_nomask(<8 x half> %x0, <4 x double> %x1) {
 420 ; CHECK-LABEL: test_int_x86_avx512_mask_vcvt_ph2pd_256_nomask:
 421 ; CHECK:       # %bb.0:
 422 ; CHECK-NEXT:    vcvtph2pd %xmm0, %ymm0
 423 ; CHECK-NEXT:    retq
 424   %res = call <4 x double> @llvm.x86.avx512fp16.mask.vcvtph2pd.256(<8 x half> %x0, <4 x double> %x1, i8 -1)
 425   ret <4 x double> %res
 426 }
 427
 428 declare <2 x double> @llvm.x86.avx512fp16.mask.vcvtph2pd.128(<8 x half>, <2 x double>, i8)
 429
 430 define <2 x double> @test_int_x86_avx512_mask_vcvt_ph2pd_128(<8 x half> %x0, <2 x double> %x1, i8 %x2) {
 431 ; CHECK-LABEL: test_int_x86_avx512_mask_vcvt_ph2pd_128:
 432 ; CHECK:       # %bb.0:
 433 ; CHECK-NEXT:    kmovd %edi, %k1
 434 ; CHECK-NEXT:    vcvtph2pd %xmm0, %xmm1 {%k1}
 435 ; CHECK-NEXT:    vmovaps %xmm1, %xmm0
 436 ; CHECK-NEXT:    retq
 437   %res = call <2 x double> @llvm.x86.avx512fp16.mask.vcvtph2pd.128(<8 x half> %x0, <2 x double> %x1, i8 %x2)
 438   ret <2 x double> %res
 439 }
 440
 441 define <2 x double> @test_int_x86_avx512_mask_vcvt_ph2pd_128_nomask(<8 x half> %x0, <2 x double> %x1) {
 442 ; CHECK-LABEL: test_int_x86_avx512_mask_vcvt_ph2pd_128_nomask:
 443 ; CHECK:       # %bb.0:
 444 ; CHECK-NEXT:    vcvtph2pd %xmm0, %xmm0
 445 ; CHECK-NEXT:    retq
 446   %res = call <2 x double> @llvm.x86.avx512fp16.mask.vcvtph2pd.128(<8 x half> %x0, <2 x double> %x1, i8 -1)
 447   ret <2 x double> %res
 448 }
 449
 450 declare <8 x half> @llvm.x86.avx512fp16.mask.vcvtpd2ph.256(<4 x double>, <8 x half>, i8)
 451
 452 define <8 x half> @test_int_x86_avx512_mask_vcvt_pd2ph_256(<4 x double> %x0, <8 x half> %x1, i8 %x2) {
 453 ; CHECK-LABEL: test_int_x86_avx512_mask_vcvt_pd2ph_256:
 454 ; CHECK:       # %bb.0:
 455 ; CHECK-NEXT:    kmovd %edi, %k1
 456 ; CHECK-NEXT:    vcvtpd2ph %ymm0, %xmm1 {%k1}
 457 ; CHECK-NEXT:    vmovaps %xmm1, %xmm0
 458 ; CHECK-NEXT:    vzeroupper
 459 ; CHECK-NEXT:    retq
 460   %res = call <8 x half> @llvm.x86.avx512fp16.mask.vcvtpd2ph.256(<4 x double> %x0, <8 x half> %x1, i8 %x2)
 461   ret <8 x half> %res
 462 }
 463
 464 define <8 x half> @test_int_x86_avx512_mask_vcvt_pd2ph_256_load(<4 x double>* %px0, <8 x half> %x1, i8 %x2) {
 465 ; CHECK-LABEL: test_int_x86_avx512_mask_vcvt_pd2ph_256_load:
 466 ; CHECK:       # %bb.0:
 467 ; CHECK-NEXT:    kmovd %esi, %k1
 468 ; CHECK-NEXT:    vcvtpd2phy (%rdi), %xmm0 {%k1}
 469 ; CHECK-NEXT:    retq
 470   %x0 = load <4 x double>, <4 x double>* %px0, align 32
 471   %res = call <8 x half> @llvm.x86.avx512fp16.mask.vcvtpd2ph.256(<4 x double> %x0, <8 x half> %x1, i8 %x2)
 472   ret <8 x half> %res
 473 }
 474
 475 declare <8 x half> @llvm.x86.avx512fp16.mask.vcvtpd2ph.128(<2 x double>, <8 x half>, i8)
 476
 477 define <8 x half> @test_int_x86_avx512_mask_vcvt_pd2ph_128(<2 x double> %x0, <8 x half> %x1, i8 %x2) {
 478 ; CHECK-LABEL: test_int_x86_avx512_mask_vcvt_pd2ph_128:
 479 ; CHECK:       # %bb.0:
 480 ; CHECK-NEXT:    kmovd %edi, %k1
 481 ; CHECK-NEXT:    vcvtpd2ph %xmm0, %xmm1 {%k1}
 482 ; CHECK-NEXT:    vmovaps %xmm1, %xmm0
 483 ; CHECK-NEXT:    retq
 484   %res = call <8 x half> @llvm.x86.avx512fp16.mask.vcvtpd2ph.128(<2 x double> %x0, <8 x half> %x1, i8 %x2)
 485   ret <8 x half> %res
 486 }
 487
 488 define <8 x half> @test_int_x86_avx512_mask_vcvt_pd2ph_128_load(<2 x double>* %px0, <8 x half> %x1, i8 %x2) {
 489 ; CHECK-LABEL: test_int_x86_avx512_mask_vcvt_pd2ph_128_load:
 490 ; CHECK:       # %bb.0:
 491 ; CHECK-NEXT:    kmovd %esi, %k1
 492 ; CHECK-NEXT:    vcvtpd2phx (%rdi), %xmm0 {%k1}
 493 ; CHECK-NEXT:    retq
 494   %x0 = load <2 x double>, <2 x double>* %px0, align 16
 495   %res = call <8 x half> @llvm.x86.avx512fp16.mask.vcvtpd2ph.128(<2 x double> %x0, <8 x half> %x1, i8 %x2)
 496   ret <8 x half> %res
 497 }
 498
 499 declare <4 x i32> @llvm.x86.avx512fp16.mask.vcvtph2udq.128(<8 x half>, <4 x i32>, i8)
 500
 501 define <4 x i32> @test_int_x86_avx512_cvt_ph2udq_128(<8 x half> %x0) {
 502 ; CHECK-LABEL: test_int_x86_avx512_cvt_ph2udq_128:
 503 ; CHECK:       # %bb.0:
 504 ; CHECK-NEXT:    vcvtph2udq %xmm0, %xmm0
 505 ; CHECK-NEXT:    retq
 506   %res = call <4 x i32> @llvm.x86.avx512fp16.mask.vcvtph2udq.128(<8 x half> %x0, <4 x i32> undef, i8 -1)
 507   ret <4 x i32> %res
 508 }
 509
 510 define <4 x i32> @test_int_x86_avx512_mask_cvt_ph2udq_128(<8 x half> %x0, <4 x i32> %x1, i8 %x2) {
 511 ; CHECK-LABEL: test_int_x86_avx512_mask_cvt_ph2udq_128:
 512 ; CHECK:       # %bb.0:
 513 ; CHECK-NEXT:    kmovd %edi, %k1
 514 ; CHECK-NEXT:    vcvtph2udq %xmm0, %xmm1 {%k1}
 515 ; CHECK-NEXT:    vmovaps %xmm1, %xmm0
 516 ; CHECK-NEXT:    retq
 517   %res = call <4 x i32> @llvm.x86.avx512fp16.mask.vcvtph2udq.128(<8 x half> %x0, <4 x i32> %x1, i8 %x2)
 518   ret <4 x i32> %res
 519 }
 520
 521 define <4 x i32> @test_int_x86_avx512_maskz_cvt_ph2udq_128(<8 x half> %x0, i8 %x2) {
 522 ; CHECK-LABEL: test_int_x86_avx512_maskz_cvt_ph2udq_128:
 523 ; CHECK:       # %bb.0:
 524 ; CHECK-NEXT:    kmovd %edi, %k1
 525 ; CHECK-NEXT:    vcvtph2udq %xmm0, %xmm0 {%k1} {z}
 526 ; CHECK-NEXT:    retq
 527   %res = call <4 x i32> @llvm.x86.avx512fp16.mask.vcvtph2udq.128(<8 x half> %x0, <4 x i32> zeroinitializer, i8 %x2)
 528   ret <4 x i32> %res
 529 }
 530
 531 declare <8 x i32> @llvm.x86.avx512fp16.mask.vcvtph2udq.256(<8 x half>, <8 x i32>, i8)
 532
 533 define <8 x i32> @test_int_x86_avx512_cvt_ph2udq_256(<8 x half> %x0) {
 534 ; CHECK-LABEL: test_int_x86_avx512_cvt_ph2udq_256:
 535 ; CHECK:       # %bb.0:
 536 ; CHECK-NEXT:    vcvtph2udq %xmm0, %ymm0
 537 ; CHECK-NEXT:    retq
 538   %res = call <8 x i32> @llvm.x86.avx512fp16.mask.vcvtph2udq.256(<8 x half> %x0, <8 x i32> undef, i8 -1)
 539   ret <8 x i32> %res
 540 }
 541
 542 define <8 x i32> @test_int_x86_avx512_mask_cvt_ph2udq_256(<8 x half> %x0, <8 x i32> %x1, i8 %x2) {
 543 ; CHECK-LABEL: test_int_x86_avx512_mask_cvt_ph2udq_256:
 544 ; CHECK:       # %bb.0:
 545 ; CHECK-NEXT:    kmovd %edi, %k1
 546 ; CHECK-NEXT:    vcvtph2udq %xmm0, %ymm1 {%k1}
 547 ; CHECK-NEXT:    vmovaps %ymm1, %ymm0
 548 ; CHECK-NEXT:    retq
 549   %res = call <8 x i32> @llvm.x86.avx512fp16.mask.vcvtph2udq.256(<8 x half> %x0, <8 x i32> %x1, i8 %x2)
 550   ret <8 x i32> %res
 551 }
 552
 553 define <8 x i32> @test_int_x86_avx512_maskz_cvt_ph2udq_256(<8 x half> %x0, i8 %x2) {
 554 ; CHECK-LABEL: test_int_x86_avx512_maskz_cvt_ph2udq_256:
 555 ; CHECK:       # %bb.0:
 556 ; CHECK-NEXT:    kmovd %edi, %k1
 557 ; CHECK-NEXT:    vcvtph2udq %xmm0, %ymm0 {%k1} {z}
 558 ; CHECK-NEXT:    retq
 559   %res = call <8 x i32> @llvm.x86.avx512fp16.mask.vcvtph2udq.256(<8 x half> %x0, <8 x i32> zeroinitializer, i8 %x2)
 560   ret <8 x i32> %res
 561 }
 562
 563 declare <4 x i32> @llvm.x86.avx512fp16.mask.vcvttph2dq.128(<8 x half>, <4 x i32>, i8)
 564
 565 define <4 x i32> @test_int_x86_avx512_cvtt_ph2dq_128(<8 x half> %x0) {
 566 ; CHECK-LABEL: test_int_x86_avx512_cvtt_ph2dq_128:
 567 ; CHECK:       # %bb.0:
 568 ; CHECK-NEXT:    vcvttph2dq %xmm0, %xmm0
 569 ; CHECK-NEXT:    retq
 570   %res = call <4 x i32> @llvm.x86.avx512fp16.mask.vcvttph2dq.128(<8 x half> %x0, <4 x i32> undef, i8 -1)
 571   ret <4 x i32> %res
 572 }
 573
 574 define <4 x i32> @test_int_x86_avx512_mask_cvtt_ph2dq_128(<8 x half> %x0, <4 x i32> %x1, i8 %x2) {
 575 ; CHECK-LABEL: test_int_x86_avx512_mask_cvtt_ph2dq_128:
 576 ; CHECK:       # %bb.0:
 577 ; CHECK-NEXT:    kmovd %edi, %k1
 578 ; CHECK-NEXT:    vcvttph2dq %xmm0, %xmm1 {%k1}
 579 ; CHECK-NEXT:    vmovaps %xmm1, %xmm0
 580 ; CHECK-NEXT:    retq
 581   %res = call <4 x i32> @llvm.x86.avx512fp16.mask.vcvttph2dq.128(<8 x half> %x0, <4 x i32> %x1, i8 %x2)
 582   ret <4 x i32> %res
 583 }
 584
 585 define <4 x i32> @test_int_x86_avx512_maskz_cvtt_ph2dq_128(<8 x half> %x0, i8 %x2) {
 586 ; CHECK-LABEL: test_int_x86_avx512_maskz_cvtt_ph2dq_128:
 587 ; CHECK:       # %bb.0:
 588 ; CHECK-NEXT:    kmovd %edi, %k1
 589 ; CHECK-NEXT:    vcvttph2dq %xmm0, %xmm0 {%k1} {z}
 590 ; CHECK-NEXT:    retq
 591   %res = call <4 x i32> @llvm.x86.avx512fp16.mask.vcvttph2dq.128(<8 x half> %x0, <4 x i32> zeroinitializer, i8 %x2)
 592   ret <4 x i32> %res
 593 }
 594
 595 declare <8 x i32> @llvm.x86.avx512fp16.mask.vcvttph2dq.256(<8 x half>, <8 x i32>, i8)
 596
 597 define <8 x i32> @test_int_x86_avx512_cvtt_ph2dq_256(<8 x half> %x0) {
 598 ; CHECK-LABEL: test_int_x86_avx512_cvtt_ph2dq_256:
 599 ; CHECK:       # %bb.0:
 600 ; CHECK-NEXT:    vcvttph2dq %xmm0, %ymm0
 601 ; CHECK-NEXT:    retq
 602   %res = call <8 x i32> @llvm.x86.avx512fp16.mask.vcvttph2dq.256(<8 x half> %x0, <8 x i32> undef, i8 -1)
 603   ret <8 x i32> %res
 604 }
 605
 606 define <8 x i32> @test_int_x86_avx512_mask_cvtt_ph2dq_256(<8 x half> %x0, <8 x i32> %x1, i8 %x2) {
 607 ; CHECK-LABEL: test_int_x86_avx512_mask_cvtt_ph2dq_256:
 608 ; CHECK:       # %bb.0:
 609 ; CHECK-NEXT:    kmovd %edi, %k1
 610 ; CHECK-NEXT:    vcvttph2dq %xmm0, %ymm1 {%k1}
 611 ; CHECK-NEXT:    vmovaps %ymm1, %ymm0
 612 ; CHECK-NEXT:    retq
 613   %res = call <8 x i32> @llvm.x86.avx512fp16.mask.vcvttph2dq.256(<8 x half> %x0, <8 x i32> %x1, i8 %x2)
 614   ret <8 x i32> %res
 615 }
 616
 617 define <8 x i32> @test_int_x86_avx512_maskz_cvtt_ph2dq_256(<8 x half> %x0, i8 %x2) {
 618 ; CHECK-LABEL: test_int_x86_avx512_maskz_cvtt_ph2dq_256:
 619 ; CHECK:       # %bb.0:
 620 ; CHECK-NEXT:    kmovd %edi, %k1
 621 ; CHECK-NEXT:    vcvttph2dq %xmm0, %ymm0 {%k1} {z}
 622 ; CHECK-NEXT:    retq
 623   %res = call <8 x i32> @llvm.x86.avx512fp16.mask.vcvttph2dq.256(<8 x half> %x0, <8 x i32> zeroinitializer, i8 %x2)
 624   ret <8 x i32> %res
 625 }
 626
 627 declare <4 x i32> @llvm.x86.avx512fp16.mask.vcvttph2udq.128(<8 x half>, <4 x i32>, i8)
 628
 629 define <4 x i32> @test_int_x86_avx512_cvtt_ph2udq_128(<8 x half> %x0) {
 630 ; CHECK-LABEL: test_int_x86_avx512_cvtt_ph2udq_128:
 631 ; CHECK:       # %bb.0:
 632 ; CHECK-NEXT:    vcvttph2udq %xmm0, %xmm0
 633 ; CHECK-NEXT:    retq
 634   %res = call <4 x i32> @llvm.x86.avx512fp16.mask.vcvttph2udq.128(<8 x half> %x0, <4 x i32> undef, i8 -1)
 635   ret <4 x i32> %res
 636 }
 637
 638 define <4 x i32> @test_int_x86_avx512_mask_cvtt_ph2udq_128(<8 x half> %x0, <4 x i32> %x1, i8 %x2) {
 639 ; CHECK-LABEL: test_int_x86_avx512_mask_cvtt_ph2udq_128:
 640 ; CHECK:       # %bb.0:
 641 ; CHECK-NEXT:    kmovd %edi, %k1
 642 ; CHECK-NEXT:    vcvttph2udq %xmm0, %xmm1 {%k1}
 643 ; CHECK-NEXT:    vmovaps %xmm1, %xmm0
 644 ; CHECK-NEXT:    retq
 645   %res = call <4 x i32> @llvm.x86.avx512fp16.mask.vcvttph2udq.128(<8 x half> %x0, <4 x i32> %x1, i8 %x2)
 646   ret <4 x i32> %res
 647 }
 648
 649 define <4 x i32> @test_int_x86_avx512_maskz_cvtt_ph2udq_128(<8 x half> %x0, i8 %x2) {
 650 ; CHECK-LABEL: test_int_x86_avx512_maskz_cvtt_ph2udq_128:
 651 ; CHECK:       # %bb.0:
 652 ; CHECK-NEXT:    kmovd %edi, %k1
 653 ; CHECK-NEXT:    vcvttph2udq %xmm0, %xmm0 {%k1} {z}
 654 ; CHECK-NEXT:    retq
 655   %res = call <4 x i32> @llvm.x86.avx512fp16.mask.vcvttph2udq.128(<8 x half> %x0, <4 x i32> zeroinitializer, i8 %x2)
 656   ret <4 x i32> %res
 657 }
 658
 659 declare <8 x i32> @llvm.x86.avx512fp16.mask.vcvttph2udq.256(<8 x half>, <8 x i32>, i8)
 660
 661 define <8 x i32> @test_int_x86_avx512_cvtt_ph2udq_256(<8 x half> %x0) {
 662 ; CHECK-LABEL: test_int_x86_avx512_cvtt_ph2udq_256:
 663 ; CHECK:       # %bb.0:
 664 ; CHECK-NEXT:    vcvttph2udq %xmm0, %ymm0
 665 ; CHECK-NEXT:    retq
 666   %res = call <8 x i32> @llvm.x86.avx512fp16.mask.vcvttph2udq.256(<8 x half> %x0, <8 x i32> undef, i8 -1)
 667   ret <8 x i32> %res
 668 }
 669
 670 define <8 x i32> @test_int_x86_avx512_mask_cvtt_ph2udq_256(<8 x half> %x0, <8 x i32> %x1, i8 %x2) {
 671 ; CHECK-LABEL: test_int_x86_avx512_mask_cvtt_ph2udq_256:
 672 ; CHECK:       # %bb.0:
 673 ; CHECK-NEXT:    kmovd %edi, %k1
 674 ; CHECK-NEXT:    vcvttph2udq %xmm0, %ymm1 {%k1}
 675 ; CHECK-NEXT:    vmovaps %ymm1, %ymm0
 676 ; CHECK-NEXT:    retq
 677   %res = call <8 x i32> @llvm.x86.avx512fp16.mask.vcvttph2udq.256(<8 x half> %x0, <8 x i32> %x1, i8 %x2)
 678   ret <8 x i32> %res
 679 }
 680
 681 define <8 x i32> @test_int_x86_avx512_maskz_cvtt_ph2udq_256(<8 x half> %x0, i8 %x2) {
 682 ; CHECK-LABEL: test_int_x86_avx512_maskz_cvtt_ph2udq_256:
 683 ; CHECK:       # %bb.0:
 684 ; CHECK-NEXT:    kmovd %edi, %k1
 685 ; CHECK-NEXT:    vcvttph2udq %xmm0, %ymm0 {%k1} {z}
 686 ; CHECK-NEXT:    retq
 687   %res = call <8 x i32> @llvm.x86.avx512fp16.mask.vcvttph2udq.256(<8 x half> %x0, <8 x i32> zeroinitializer, i8 %x2)
 688   ret <8 x i32> %res
 689 }
 690
 691 declare <4 x float> @llvm.x86.avx512fp16.mask.vcvtph2psx.128(<8 x half>, <4 x float>, i8)
 692
 693 define <4 x float> @test_int_x86_avx512_cvt_ph2psx_128(<8 x half> %x0) {
 694 ; CHECK-LABEL: test_int_x86_avx512_cvt_ph2psx_128:
 695 ; CHECK:       # %bb.0:
 696 ; CHECK-NEXT:    vcvtph2psx %xmm0, %xmm0
 697 ; CHECK-NEXT:    retq
 698   %res = call <4 x float> @llvm.x86.avx512fp16.mask.vcvtph2psx.128(<8 x half> %x0, <4 x float> undef, i8 -1)
 699   ret <4 x float> %res
 700 }
 701
 702 define <4 x float> @test_int_x86_avx512_mask_cvt_ph2psx_128(<8 x half> %x0, <4 x float> %x1, i8 %x2) {
 703 ; CHECK-LABEL: test_int_x86_avx512_mask_cvt_ph2psx_128:
 704 ; CHECK:       # %bb.0:
 705 ; CHECK-NEXT:    kmovd %edi, %k1
 706 ; CHECK-NEXT:    vcvtph2psx %xmm0, %xmm1 {%k1}
 707 ; CHECK-NEXT:    vmovaps %xmm1, %xmm0
 708 ; CHECK-NEXT:    retq
 709   %res = call <4 x float> @llvm.x86.avx512fp16.mask.vcvtph2psx.128(<8 x half> %x0, <4 x float> %x1, i8 %x2)
 710   ret <4 x float> %res
 711 }
 712
 713 define <4 x float> @test_int_x86_avx512_maskz_cvt_ph2psx_128(<8 x half> %x0, i8 %x2) {
 714 ; CHECK-LABEL: test_int_x86_avx512_maskz_cvt_ph2psx_128:
 715 ; CHECK:       # %bb.0:
 716 ; CHECK-NEXT:    kmovd %edi, %k1
 717 ; CHECK-NEXT:    vcvtph2psx %xmm0, %xmm0 {%k1} {z}
 718 ; CHECK-NEXT:    retq
 719   %res = call <4 x float> @llvm.x86.avx512fp16.mask.vcvtph2psx.128(<8 x half> %x0, <4 x float> zeroinitializer, i8 %x2)
 720   ret <4 x float> %res
 721 }
 722
 723 declare <8 x float> @llvm.x86.avx512fp16.mask.vcvtph2psx.256(<8 x half>, <8 x float>, i8)
 724
 725 define <8 x float> @test_int_x86_avx512_cvt_ph2psx_256(<8 x half> %x0) {
 726 ; CHECK-LABEL: test_int_x86_avx512_cvt_ph2psx_256:
 727 ; CHECK:       # %bb.0:
 728 ; CHECK-NEXT:    vcvtph2psx %xmm0, %ymm0
 729 ; CHECK-NEXT:    retq
 730   %res = call <8 x float> @llvm.x86.avx512fp16.mask.vcvtph2psx.256(<8 x half> %x0, <8 x float> undef, i8 -1)
 731   ret <8 x float> %res
 732 }
 733
 734 define <8 x float> @test_int_x86_avx512_mask_cvt_ph2psx_256(<8 x half> %x0, <8 x float> %x1, i8 %x2) {
 735 ; CHECK-LABEL: test_int_x86_avx512_mask_cvt_ph2psx_256:
 736 ; CHECK:       # %bb.0:
 737 ; CHECK-NEXT:    kmovd %edi, %k1
 738 ; CHECK-NEXT:    vcvtph2psx %xmm0, %ymm1 {%k1}
 739 ; CHECK-NEXT:    vmovaps %ymm1, %ymm0
 740 ; CHECK-NEXT:    retq
 741   %res = call <8 x float> @llvm.x86.avx512fp16.mask.vcvtph2psx.256(<8 x half> %x0, <8 x float> %x1, i8 %x2)
 742   ret <8 x float> %res
 743 }
 744
 745 define <8 x float> @test_int_x86_avx512_maskz_cvt_ph2psx_256(<8 x half> %x0, i8 %x2) {
 746 ; CHECK-LABEL: test_int_x86_avx512_maskz_cvt_ph2psx_256:
 747 ; CHECK:       # %bb.0:
 748 ; CHECK-NEXT:    kmovd %edi, %k1
 749 ; CHECK-NEXT:    vcvtph2psx %xmm0, %ymm0 {%k1} {z}
 750 ; CHECK-NEXT:    retq
 751   %res = call <8 x float> @llvm.x86.avx512fp16.mask.vcvtph2psx.256(<8 x half> %x0, <8 x float> zeroinitializer, i8 %x2)
 752   ret <8 x float> %res
 753 }
 754
 755 declare <8 x half> @llvm.x86.avx512fp16.mask.vcvtps2phx.128(<4 x float>, <8 x half>, i8)
 756
 757 define <8 x half> @test_int_x86_avx512_mask_cvt_ps2phx_128(<4 x float> %x0, <8 x half> %x1, i8 %x2) {
 758 ; CHECK-LABEL: test_int_x86_avx512_mask_cvt_ps2phx_128:
 759 ; CHECK:       # %bb.0:
 760 ; CHECK-NEXT:    kmovd %edi, %k1
 761 ; CHECK-NEXT:    vcvtps2phx %xmm0, %xmm1 {%k1}
 762 ; CHECK-NEXT:    vcvtps2phx %xmm0, %xmm0
 763 ; CHECK-NEXT:    vaddph %xmm0, %xmm1, %xmm0
 764 ; CHECK-NEXT:    retq
 765   %res = call <8 x half> @llvm.x86.avx512fp16.mask.vcvtps2phx.128(<4 x float> %x0, <8 x half> %x1, i8 %x2)
 766   %res1 = call <8 x half> @llvm.x86.avx512fp16.mask.vcvtps2phx.128(<4 x float> %x0, <8 x half> %x1, i8 -1)
 767   %res2 = fadd <8 x half> %res, %res1
 768   ret <8 x half> %res2
 769 }
 770
 771 declare <8 x half> @llvm.x86.avx512fp16.mask.vcvtps2phx.256(<8 x float>, <8 x half>, i8)
 772
 773 define <8 x half> @test_int_x86_avx512_cvt_ps2phx_256(<8 x float> %x0) {
 774 ; CHECK-LABEL: test_int_x86_avx512_cvt_ps2phx_256:
 775 ; CHECK:       # %bb.0:
 776 ; CHECK-NEXT:    vcvtps2phx %ymm0, %xmm0
 777 ; CHECK-NEXT:    vzeroupper
 778 ; CHECK-NEXT:    retq
 779   %res = call <8 x half> @llvm.x86.avx512fp16.mask.vcvtps2phx.256(<8 x float> %x0, <8 x half> undef, i8 -1)
 780   ret <8 x half> %res
 781 }
 782
 783 define <8 x half> @test_int_x86_avx512_mask_cvt_ps2phx_256(<8 x float> %x0, <8 x half> %x1, i8 %x2) {
 784 ; CHECK-LABEL: test_int_x86_avx512_mask_cvt_ps2phx_256:
 785 ; CHECK:       # %bb.0:
 786 ; CHECK-NEXT:    kmovd %edi, %k1
 787 ; CHECK-NEXT:    vcvtps2phx %ymm0, %xmm1 {%k1}
 788 ; CHECK-NEXT:    vmovaps %xmm1, %xmm0
 789 ; CHECK-NEXT:    vzeroupper
 790 ; CHECK-NEXT:    retq
 791   %res = call <8 x half> @llvm.x86.avx512fp16.mask.vcvtps2phx.256(<8 x float> %x0, <8 x half> %x1, i8 %x2)
 792   ret <8 x half> %res
 793 }
 794
 795 define <8 x half> @test_int_x86_avx512_maskz_cvt_ps2phx_256(<8 x float> %x0, i8 %x2) {
 796 ; CHECK-LABEL: test_int_x86_avx512_maskz_cvt_ps2phx_256:
 797 ; CHECK:       # %bb.0:
 798 ; CHECK-NEXT:    kmovd %edi, %k1
 799 ; CHECK-NEXT:    vcvtps2phx %ymm0, %xmm0 {%k1} {z}
 800 ; CHECK-NEXT:    vzeroupper
 801 ; CHECK-NEXT:    retq
 802   %res = call <8 x half> @llvm.x86.avx512fp16.mask.vcvtps2phx.256(<8 x float> %x0, <8 x half> zeroinitializer, i8 %x2)
 803   ret <8 x half> %res
 804 }