llvm/test/CodeGen/X86/avx512fp16vl-fma-intrinsics.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686-unknown-unknown -mattr=+avx512vl -mattr=+avx512fp16 --show-mc-encoding | FileCheck %s --check-prefixes=CHECK,X86
   3 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx512vl -mattr=+avx512fp16 --show-mc-encoding | FileCheck %s --check-prefixes=CHECK,X64
   4
   5
   6 define <16 x half> @test_x86_vfnmadd_ph_z_256(<16 x half> %a0, <16 x half> %a1, <16 x half> %a2) {
   7 ; CHECK-LABEL: test_x86_vfnmadd_ph_z_256:
   8 ; CHECK:       # %bb.0:
   9 ; CHECK-NEXT:    vfnmadd213ph %ymm2, %ymm1, %ymm0 # encoding: [0x62,0xf6,0x75,0x28,0xac,0xc2]
  10 ; CHECK-NEXT:    ret{{[l|q]}} # encoding: [0xc3]
  11   %1 = fsub <16 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a1
  12   %2 = call <16 x half> @llvm.fma.v16f16(<16 x half> %a0, <16 x half> %1, <16 x half> %a2)
  13   ret <16 x half> %2
  14 }
  15
  16 define <16 x half> @test_mask_vfnmadd_ph_256(<16 x half> %a0, <16 x half> %a1, <16 x half> %a2, i16 %mask) {
  17 ; X86-LABEL: test_mask_vfnmadd_ph_256:
  18 ; X86:       # %bb.0:
  19 ; X86-NEXT:    kmovw {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf8,0x90,0x4c,0x24,0x04]
  20 ; X86-NEXT:    vfnmadd132ph %ymm1, %ymm2, %ymm0 {%k1} # encoding: [0x62,0xf6,0x6d,0x29,0x9c,0xc1]
  21 ; X86-NEXT:    retl # encoding: [0xc3]
  22 ;
  23 ; X64-LABEL: test_mask_vfnmadd_ph_256:
  24 ; X64:       # %bb.0:
  25 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
  26 ; X64-NEXT:    vfnmadd132ph %ymm1, %ymm2, %ymm0 {%k1} # encoding: [0x62,0xf6,0x6d,0x29,0x9c,0xc1]
  27 ; X64-NEXT:    retq # encoding: [0xc3]
  28   %1 = fsub <16 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a1
  29   %2 = call <16 x half> @llvm.fma.v16f16(<16 x half> %a0, <16 x half> %1, <16 x half> %a2)
  30   %3 = bitcast i16 %mask to <16 x i1>
  31   %4 = select <16 x i1> %3, <16 x half> %2, <16 x half> %a0
  32   ret <16 x half> %4
  33 }
  34
  35 define <16 x half> @test_x86_vfnmsubph_z_256(<16 x half> %a0, <16 x half> %a1, <16 x half> %a2) {
  36 ; CHECK-LABEL: test_x86_vfnmsubph_z_256:
  37 ; CHECK:       # %bb.0:
  38 ; CHECK-NEXT:    vfnmsub213ph %ymm2, %ymm1, %ymm0 # encoding: [0x62,0xf6,0x75,0x28,0xae,0xc2]
  39 ; CHECK-NEXT:    ret{{[l|q]}} # encoding: [0xc3]
  40   %1 = fsub <16 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a1
  41   %2 = fsub <16 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a2
  42   %3 = call <16 x half> @llvm.fma.v16f16(<16 x half> %a0, <16 x half> %1, <16 x half> %2)
  43   ret <16 x half> %3
  44 }
  45
  46 define <16 x half> @test_mask_vfnmsub_ph_256(<16 x half> %a0, <16 x half> %a1, <16 x half> %a2, i16 %mask) {
  47 ; X86-LABEL: test_mask_vfnmsub_ph_256:
  48 ; X86:       # %bb.0:
  49 ; X86-NEXT:    kmovw {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf8,0x90,0x4c,0x24,0x04]
  50 ; X86-NEXT:    vfnmsub132ph %ymm1, %ymm2, %ymm0 {%k1} # encoding: [0x62,0xf6,0x6d,0x29,0x9e,0xc1]
  51 ; X86-NEXT:    retl # encoding: [0xc3]
  52 ;
  53 ; X64-LABEL: test_mask_vfnmsub_ph_256:
  54 ; X64:       # %bb.0:
  55 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
  56 ; X64-NEXT:    vfnmsub132ph %ymm1, %ymm2, %ymm0 {%k1} # encoding: [0x62,0xf6,0x6d,0x29,0x9e,0xc1]
  57 ; X64-NEXT:    retq # encoding: [0xc3]
  58   %1 = fsub <16 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a1
  59   %2 = fsub <16 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a2
  60   %3 = call <16 x half> @llvm.fma.v16f16(<16 x half> %a0, <16 x half> %1, <16 x half> %2)
  61   %4 = bitcast i16 %mask to <16 x i1>
  62   %5 = select <16 x i1> %4, <16 x half> %3, <16 x half> %a0
  63   ret <16 x half> %5
  64 }
  65
  66 define <16 x half>@test_int_x86_avx512_mask3_vfmaddsub_ph_256(<16 x half> %x0, <16 x half> %x1, <16 x half> %x2, i16 %x3){
  67 ; X86-LABEL: test_int_x86_avx512_mask3_vfmaddsub_ph_256:
  68 ; X86:       # %bb.0:
  69 ; X86-NEXT:    kmovw {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf8,0x90,0x4c,0x24,0x04]
  70 ; X86-NEXT:    vfmaddsub231ph %ymm1, %ymm0, %ymm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x29,0xb6,0xd1]
  71 ; X86-NEXT:    vmovaps %ymm2, %ymm0 # EVEX TO VEX Compression encoding: [0xc5,0xfc,0x28,0xc2]
  72 ; X86-NEXT:    retl # encoding: [0xc3]
  73 ;
  74 ; X64-LABEL: test_int_x86_avx512_mask3_vfmaddsub_ph_256:
  75 ; X64:       # %bb.0:
  76 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
  77 ; X64-NEXT:    vfmaddsub231ph %ymm1, %ymm0, %ymm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x29,0xb6,0xd1]
  78 ; X64-NEXT:    vmovaps %ymm2, %ymm0 # EVEX TO VEX Compression encoding: [0xc5,0xfc,0x28,0xc2]
  79 ; X64-NEXT:    retq # encoding: [0xc3]
  80   %res = call <16 x half> @llvm.x86.avx512fp16.vfmaddsub.ph.256(<16 x half> %x0, <16 x half> %x1, <16 x half> %x2)
  81   %bc = bitcast i16 %x3 to <16 x i1>
  82   %sel = select <16 x i1> %bc, <16 x half> %res, <16 x half> %x2
  83   ret <16 x half> %sel
  84 }
  85 declare <16 x half> @llvm.x86.avx512fp16.vfmaddsub.ph.256(<16 x half>, <16 x half>, <16 x half>)
  86
  87 define <16 x half>@test_int_x86_avx512_maskz_vfmaddsub_ph_256(<16 x half> %x0, <16 x half> %x1, <16 x half> %x2, i16 %x3){
  88 ; X86-LABEL: test_int_x86_avx512_maskz_vfmaddsub_ph_256:
  89 ; X86:       # %bb.0:
  90 ; X86-NEXT:    kmovw {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf8,0x90,0x4c,0x24,0x04]
  91 ; X86-NEXT:    vfmaddsub213ph %ymm2, %ymm1, %ymm0 {%k1} {z} # encoding: [0x62,0xf6,0x75,0xa9,0xa6,0xc2]
  92 ; X86-NEXT:    retl # encoding: [0xc3]
  93 ;
  94 ; X64-LABEL: test_int_x86_avx512_maskz_vfmaddsub_ph_256:
  95 ; X64:       # %bb.0:
  96 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
  97 ; X64-NEXT:    vfmaddsub213ph %ymm2, %ymm1, %ymm0 {%k1} {z} # encoding: [0x62,0xf6,0x75,0xa9,0xa6,0xc2]
  98 ; X64-NEXT:    retq # encoding: [0xc3]
  99   %res = call <16 x half> @llvm.x86.avx512fp16.vfmaddsub.ph.256(<16 x half> %x0, <16 x half> %x1, <16 x half> %x2)
 100   %bc = bitcast i16 %x3 to <16 x i1>
 101   %sel = select <16 x i1> %bc, <16 x half> %res, <16 x half> zeroinitializer
 102   ret <16 x half> %sel
 103 }
 104
 105 define <16 x half>@test_int_x86_avx512_mask3_vfmsubadd_ph_256(<16 x half> %x0, <16 x half> %x1, <16 x half> %x2, i16 %x3){
 106 ; X86-LABEL: test_int_x86_avx512_mask3_vfmsubadd_ph_256:
 107 ; X86:       # %bb.0:
 108 ; X86-NEXT:    kmovw {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf8,0x90,0x4c,0x24,0x04]
 109 ; X86-NEXT:    vfmsubadd231ph %ymm1, %ymm0, %ymm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x29,0xb7,0xd1]
 110 ; X86-NEXT:    vmovaps %ymm2, %ymm0 # EVEX TO VEX Compression encoding: [0xc5,0xfc,0x28,0xc2]
 111 ; X86-NEXT:    retl # encoding: [0xc3]
 112 ;
 113 ; X64-LABEL: test_int_x86_avx512_mask3_vfmsubadd_ph_256:
 114 ; X64:       # %bb.0:
 115 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 116 ; X64-NEXT:    vfmsubadd231ph %ymm1, %ymm0, %ymm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x29,0xb7,0xd1]
 117 ; X64-NEXT:    vmovaps %ymm2, %ymm0 # EVEX TO VEX Compression encoding: [0xc5,0xfc,0x28,0xc2]
 118 ; X64-NEXT:    retq # encoding: [0xc3]
 119   %neg = fneg <16 x half> %x2
 120   %res = call <16 x half> @llvm.x86.avx512fp16.vfmaddsub.ph.256(<16 x half> %x0, <16 x half> %x1, <16 x half> %neg)
 121   %bc = bitcast i16 %x3 to <16 x i1>
 122   %sel = select <16 x i1> %bc, <16 x half> %res, <16 x half> %x2
 123   ret <16 x half> %sel
 124 }
 125
 126 define <16 x half>@test_int_x86_avx512_mask3_vfmsub_ph_256(<16 x half> %x0, <16 x half> %x1, <16 x half> %x2, i16 %x3){
 127 ; X86-LABEL: test_int_x86_avx512_mask3_vfmsub_ph_256:
 128 ; X86:       # %bb.0:
 129 ; X86-NEXT:    kmovw {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf8,0x90,0x4c,0x24,0x04]
 130 ; X86-NEXT:    vfmsub231ph %ymm1, %ymm0, %ymm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x29,0xba,0xd1]
 131 ; X86-NEXT:    vmovaps %ymm2, %ymm0 # EVEX TO VEX Compression encoding: [0xc5,0xfc,0x28,0xc2]
 132 ; X86-NEXT:    retl # encoding: [0xc3]
 133 ;
 134 ; X64-LABEL: test_int_x86_avx512_mask3_vfmsub_ph_256:
 135 ; X64:       # %bb.0:
 136 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 137 ; X64-NEXT:    vfmsub231ph %ymm1, %ymm0, %ymm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x29,0xba,0xd1]
 138 ; X64-NEXT:    vmovaps %ymm2, %ymm0 # EVEX TO VEX Compression encoding: [0xc5,0xfc,0x28,0xc2]
 139 ; X64-NEXT:    retq # encoding: [0xc3]
 140   %1 = fsub <16 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %x2
 141   %2 = call <16 x half> @llvm.fma.v16f16(<16 x half> %x0, <16 x half> %x1, <16 x half> %1)
 142   %3 = bitcast i16 %x3 to <16 x i1>
 143   %4 = select <16 x i1> %3, <16 x half> %2, <16 x half> %x2
 144   ret <16 x half> %4
 145 }
 146
 147 define <16 x half>@test_int_x86_avx512_mask3_vfmadd_ph_256(<16 x half> %x0, <16 x half> %x1, <16 x half> %x2, i16 %x3){
 148 ; X86-LABEL: test_int_x86_avx512_mask3_vfmadd_ph_256:
 149 ; X86:       # %bb.0:
 150 ; X86-NEXT:    kmovw {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf8,0x90,0x4c,0x24,0x04]
 151 ; X86-NEXT:    vfmadd231ph %ymm1, %ymm0, %ymm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x29,0xb8,0xd1]
 152 ; X86-NEXT:    vmovaps %ymm2, %ymm0 # EVEX TO VEX Compression encoding: [0xc5,0xfc,0x28,0xc2]
 153 ; X86-NEXT:    retl # encoding: [0xc3]
 154 ;
 155 ; X64-LABEL: test_int_x86_avx512_mask3_vfmadd_ph_256:
 156 ; X64:       # %bb.0:
 157 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 158 ; X64-NEXT:    vfmadd231ph %ymm1, %ymm0, %ymm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x29,0xb8,0xd1]
 159 ; X64-NEXT:    vmovaps %ymm2, %ymm0 # EVEX TO VEX Compression encoding: [0xc5,0xfc,0x28,0xc2]
 160 ; X64-NEXT:    retq # encoding: [0xc3]
 161   %1 = call <16 x half> @llvm.fma.v16f16(<16 x half> %x0, <16 x half> %x1, <16 x half> %x2)
 162   %2 = bitcast i16 %x3 to <16 x i1>
 163   %3 = select <16 x i1> %2, <16 x half> %1, <16 x half> %x2
 164   ret <16 x half> %3
 165 }
 166
 167 define <16 x half> @test_int_x86_avx512_maskz_vfmadd_ph_256(<16 x half> %x0, <16 x half> %x1, <16 x half> %x2, i16 %x3) {
 168 ; X86-LABEL: test_int_x86_avx512_maskz_vfmadd_ph_256:
 169 ; X86:       # %bb.0:
 170 ; X86-NEXT:    kmovw {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf8,0x90,0x4c,0x24,0x04]
 171 ; X86-NEXT:    vfmadd213ph %ymm2, %ymm1, %ymm0 {%k1} {z} # encoding: [0x62,0xf6,0x75,0xa9,0xa8,0xc2]
 172 ; X86-NEXT:    retl # encoding: [0xc3]
 173 ;
 174 ; X64-LABEL: test_int_x86_avx512_maskz_vfmadd_ph_256:
 175 ; X64:       # %bb.0:
 176 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 177 ; X64-NEXT:    vfmadd213ph %ymm2, %ymm1, %ymm0 {%k1} {z} # encoding: [0x62,0xf6,0x75,0xa9,0xa8,0xc2]
 178 ; X64-NEXT:    retq # encoding: [0xc3]
 179   %1 = call <16 x half> @llvm.fma.v16f16(<16 x half> %x0, <16 x half> %x1, <16 x half> %x2)
 180   %2 = bitcast i16 %x3 to <16 x i1>
 181   %3 = select <16 x i1> %2, <16 x half> %1, <16 x half> zeroinitializer
 182   ret <16 x half> %3
 183 }
 184
 185 define <16 x half>@test_int_x86_avx512_mask_vfnmsub_ph_256(<16 x half> %x0, <16 x half> %x1, <16 x half> %x2, i16 %x3){
 186 ; X86-LABEL: test_int_x86_avx512_mask_vfnmsub_ph_256:
 187 ; X86:       # %bb.0:
 188 ; X86-NEXT:    kmovw {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf8,0x90,0x4c,0x24,0x04]
 189 ; X86-NEXT:    vfnmsub132ph %ymm1, %ymm2, %ymm0 {%k1} # encoding: [0x62,0xf6,0x6d,0x29,0x9e,0xc1]
 190 ; X86-NEXT:    retl # encoding: [0xc3]
 191 ;
 192 ; X64-LABEL: test_int_x86_avx512_mask_vfnmsub_ph_256:
 193 ; X64:       # %bb.0:
 194 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 195 ; X64-NEXT:    vfnmsub132ph %ymm1, %ymm2, %ymm0 {%k1} # encoding: [0x62,0xf6,0x6d,0x29,0x9e,0xc1]
 196 ; X64-NEXT:    retq # encoding: [0xc3]
 197   %1 = fsub <16 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %x1
 198   %2 = fsub <16 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %x2
 199   %3 = call <16 x half> @llvm.fma.v16f16(<16 x half> %x0, <16 x half> %1, <16 x half> %2)
 200   %4 = bitcast i16 %x3 to <16 x i1>
 201   %5 = select <16 x i1> %4, <16 x half> %3, <16 x half> %x0
 202   ret <16 x half> %5
 203 }
 204
 205 define <16 x half>@test_int_x86_avx512_mask3_vfnmsub_ph_256(<16 x half> %x0, <16 x half> %x1, <16 x half> %x2, i16 %x3){
 206 ; X86-LABEL: test_int_x86_avx512_mask3_vfnmsub_ph_256:
 207 ; X86:       # %bb.0:
 208 ; X86-NEXT:    kmovw {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf8,0x90,0x4c,0x24,0x04]
 209 ; X86-NEXT:    vfnmsub231ph %ymm1, %ymm0, %ymm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x29,0xbe,0xd1]
 210 ; X86-NEXT:    vmovaps %ymm2, %ymm0 # EVEX TO VEX Compression encoding: [0xc5,0xfc,0x28,0xc2]
 211 ; X86-NEXT:    retl # encoding: [0xc3]
 212 ;
 213 ; X64-LABEL: test_int_x86_avx512_mask3_vfnmsub_ph_256:
 214 ; X64:       # %bb.0:
 215 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 216 ; X64-NEXT:    vfnmsub231ph %ymm1, %ymm0, %ymm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x29,0xbe,0xd1]
 217 ; X64-NEXT:    vmovaps %ymm2, %ymm0 # EVEX TO VEX Compression encoding: [0xc5,0xfc,0x28,0xc2]
 218 ; X64-NEXT:    retq # encoding: [0xc3]
 219   %1 = fsub <16 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %x0
 220   %2 = fsub <16 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %x2
 221   %3 = call <16 x half> @llvm.fma.v16f16(<16 x half> %1, <16 x half> %x1, <16 x half> %2)
 222   %4 = bitcast i16 %x3 to <16 x i1>
 223   %5 = select <16 x i1> %4, <16 x half> %3, <16 x half> %x2
 224   ret <16 x half> %5
 225 }
 226
 227 define <16 x half>@test_int_x86_avx512_mask_vfnmadd_ph_256(<16 x half> %x0, <16 x half> %x1, <16 x half> %x2, i16 %x3){
 228 ; X86-LABEL: test_int_x86_avx512_mask_vfnmadd_ph_256:
 229 ; X86:       # %bb.0:
 230 ; X86-NEXT:    kmovw {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf8,0x90,0x4c,0x24,0x04]
 231 ; X86-NEXT:    vfnmadd132ph %ymm1, %ymm2, %ymm0 {%k1} # encoding: [0x62,0xf6,0x6d,0x29,0x9c,0xc1]
 232 ; X86-NEXT:    retl # encoding: [0xc3]
 233 ;
 234 ; X64-LABEL: test_int_x86_avx512_mask_vfnmadd_ph_256:
 235 ; X64:       # %bb.0:
 236 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 237 ; X64-NEXT:    vfnmadd132ph %ymm1, %ymm2, %ymm0 {%k1} # encoding: [0x62,0xf6,0x6d,0x29,0x9c,0xc1]
 238 ; X64-NEXT:    retq # encoding: [0xc3]
 239   %1 = fsub <16 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %x1
 240   %2 = call <16 x half> @llvm.fma.v16f16(<16 x half> %x0, <16 x half> %1, <16 x half> %x2)
 241   %3 = bitcast i16 %x3 to <16 x i1>
 242   %4 = select <16 x i1> %3, <16 x half> %2, <16 x half> %x0
 243   ret <16 x half> %4
 244 }
 245
 246 define <16 x half> @test_x86_fma_vfnmadd_ph_256(<16 x half> %a0, <16 x half> %a1, <16 x half> %a2) #0 {
 247 ; CHECK-LABEL: test_x86_fma_vfnmadd_ph_256:
 248 ; CHECK:       # %bb.0:
 249 ; CHECK-NEXT:    vfnmadd213ph %ymm2, %ymm1, %ymm0 # encoding: [0x62,0xf6,0x75,0x28,0xac,0xc2]
 250 ; CHECK-NEXT:    ret{{[l|q]}} # encoding: [0xc3]
 251   %1 = fsub <16 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a0
 252   %2 = call <16 x half> @llvm.fma.v16f16(<16 x half> %1, <16 x half> %a1, <16 x half> %a2)
 253   ret <16 x half> %2
 254 }
 255
 256 define <16 x half> @test_x86_fma_vfnmsub_ph_256(<16 x half> %a0, <16 x half> %a1, <16 x half> %a2) #0 {
 257 ; CHECK-LABEL: test_x86_fma_vfnmsub_ph_256:
 258 ; CHECK:       # %bb.0:
 259 ; CHECK-NEXT:    vfnmsub213ph %ymm0, %ymm1, %ymm0 # encoding: [0x62,0xf6,0x75,0x28,0xae,0xc0]
 260 ; CHECK-NEXT:    ret{{[l|q]}} # encoding: [0xc3]
 261   %1 = fsub <16 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a0
 262   %2 = fsub <16 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a0
 263   %3 = call <16 x half> @llvm.fma.v16f16(<16 x half> %1, <16 x half> %a1, <16 x half> %2)
 264   ret <16 x half> %3
 265 }
 266
 267 declare <16 x half> @llvm.fma.v16f16(<16 x half>, <16 x half>, <16 x half>)
 268
 269 define <8 x half> @test_x86_vfnmadd_ph_z_128(<8 x half> %a0, <8 x half> %a1, <8 x half> %a2) {
 270 ; CHECK-LABEL: test_x86_vfnmadd_ph_z_128:
 271 ; CHECK:       # %bb.0:
 272 ; CHECK-NEXT:    vfnmadd213ph %xmm2, %xmm1, %xmm0 # encoding: [0x62,0xf6,0x75,0x08,0xac,0xc2]
 273 ; CHECK-NEXT:    ret{{[l|q]}} # encoding: [0xc3]
 274   %1 = fsub <8 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a1
 275   %2 = call <8 x half> @llvm.fma.v8f16(<8 x half> %a0, <8 x half> %1, <8 x half> %a2)
 276   ret <8 x half> %2
 277 }
 278
 279 define <8 x half> @test_mask_vfnmadd_ph_128(<8 x half> %a0, <8 x half> %a1, <8 x half> %a2, i8 %mask) {
 280 ; X86-LABEL: test_mask_vfnmadd_ph_128:
 281 ; X86:       # %bb.0:
 282 ; X86-NEXT:    kmovb {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf9,0x90,0x4c,0x24,0x04]
 283 ; X86-NEXT:    vfnmadd132ph %xmm1, %xmm2, %xmm0 {%k1} # encoding: [0x62,0xf6,0x6d,0x09,0x9c,0xc1]
 284 ; X86-NEXT:    retl # encoding: [0xc3]
 285 ;
 286 ; X64-LABEL: test_mask_vfnmadd_ph_128:
 287 ; X64:       # %bb.0:
 288 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 289 ; X64-NEXT:    vfnmadd132ph %xmm1, %xmm2, %xmm0 {%k1} # encoding: [0x62,0xf6,0x6d,0x09,0x9c,0xc1]
 290 ; X64-NEXT:    retq # encoding: [0xc3]
 291   %1 = fsub <8 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a1
 292   %2 = call <8 x half> @llvm.fma.v8f16(<8 x half> %a0, <8 x half> %1, <8 x half> %a2)
 293   %3 = bitcast i8 %mask to <8 x i1>
 294   %4 = select <8 x i1> %3, <8 x half> %2, <8 x half> %a0
 295   ret <8 x half> %4
 296 }
 297
 298 define <8 x half> @test_x86_vfnmsubph_z_128(<8 x half> %a0, <8 x half> %a1, <8 x half> %a2) {
 299 ; CHECK-LABEL: test_x86_vfnmsubph_z_128:
 300 ; CHECK:       # %bb.0:
 301 ; CHECK-NEXT:    vfnmsub213ph %xmm2, %xmm1, %xmm0 # encoding: [0x62,0xf6,0x75,0x08,0xae,0xc2]
 302 ; CHECK-NEXT:    ret{{[l|q]}} # encoding: [0xc3]
 303   %1 = fsub <8 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a1
 304   %2 = fsub <8 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a2
 305   %3 = call <8 x half> @llvm.fma.v8f16(<8 x half> %a0, <8 x half> %1, <8 x half> %2)
 306   ret <8 x half> %3
 307 }
 308
 309 define <8 x half> @test_mask_vfnmsub_ph_128(<8 x half> %a0, <8 x half> %a1, <8 x half> %a2, i8 %mask) {
 310 ; X86-LABEL: test_mask_vfnmsub_ph_128:
 311 ; X86:       # %bb.0:
 312 ; X86-NEXT:    kmovb {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf9,0x90,0x4c,0x24,0x04]
 313 ; X86-NEXT:    vfnmsub132ph %xmm1, %xmm2, %xmm0 {%k1} # encoding: [0x62,0xf6,0x6d,0x09,0x9e,0xc1]
 314 ; X86-NEXT:    retl # encoding: [0xc3]
 315 ;
 316 ; X64-LABEL: test_mask_vfnmsub_ph_128:
 317 ; X64:       # %bb.0:
 318 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 319 ; X64-NEXT:    vfnmsub132ph %xmm1, %xmm2, %xmm0 {%k1} # encoding: [0x62,0xf6,0x6d,0x09,0x9e,0xc1]
 320 ; X64-NEXT:    retq # encoding: [0xc3]
 321   %1 = fsub <8 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a1
 322   %2 = fsub <8 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a2
 323   %3 = call <8 x half> @llvm.fma.v8f16(<8 x half> %a0, <8 x half> %1, <8 x half> %2)
 324   %4 = bitcast i8 %mask to <8 x i1>
 325   %5 = select <8 x i1> %4, <8 x half> %3, <8 x half> %a0
 326   ret <8 x half> %5
 327 }
 328
 329 define <8 x half>@test_int_x86_avx512_mask3_vfmaddsub_ph_128(<8 x half> %x0, <8 x half> %x1, <8 x half> %x2, i8 %x3){
 330 ; X86-LABEL: test_int_x86_avx512_mask3_vfmaddsub_ph_128:
 331 ; X86:       # %bb.0:
 332 ; X86-NEXT:    kmovb {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf9,0x90,0x4c,0x24,0x04]
 333 ; X86-NEXT:    vfmaddsub231ph %xmm1, %xmm0, %xmm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x09,0xb6,0xd1]
 334 ; X86-NEXT:    vmovaps %xmm2, %xmm0 # EVEX TO VEX Compression encoding: [0xc5,0xf8,0x28,0xc2]
 335 ; X86-NEXT:    retl # encoding: [0xc3]
 336 ;
 337 ; X64-LABEL: test_int_x86_avx512_mask3_vfmaddsub_ph_128:
 338 ; X64:       # %bb.0:
 339 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 340 ; X64-NEXT:    vfmaddsub231ph %xmm1, %xmm0, %xmm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x09,0xb6,0xd1]
 341 ; X64-NEXT:    vmovaps %xmm2, %xmm0 # EVEX TO VEX Compression encoding: [0xc5,0xf8,0x28,0xc2]
 342 ; X64-NEXT:    retq # encoding: [0xc3]
 343   %res = call <8 x half> @llvm.x86.avx512fp16.vfmaddsub.ph.128(<8 x half> %x0, <8 x half> %x1, <8 x half> %x2)
 344   %bc = bitcast i8 %x3 to <8 x i1>
 345   %sel = select <8 x i1> %bc, <8 x half> %res, <8 x half> %x2
 346   ret <8 x half> %sel
 347 }
 348 declare <8 x half> @llvm.x86.avx512fp16.vfmaddsub.ph.128(<8 x half>, <8 x half>, <8 x half>)
 349
 350 define <8 x half>@test_int_x86_avx512_maskz_vfmaddsub_ph_128(<8 x half> %x0, <8 x half> %x1, <8 x half> %x2, i8 %x3){
 351 ; X86-LABEL: test_int_x86_avx512_maskz_vfmaddsub_ph_128:
 352 ; X86:       # %bb.0:
 353 ; X86-NEXT:    kmovb {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf9,0x90,0x4c,0x24,0x04]
 354 ; X86-NEXT:    vfmaddsub213ph %xmm2, %xmm1, %xmm0 {%k1} {z} # encoding: [0x62,0xf6,0x75,0x89,0xa6,0xc2]
 355 ; X86-NEXT:    retl # encoding: [0xc3]
 356 ;
 357 ; X64-LABEL: test_int_x86_avx512_maskz_vfmaddsub_ph_128:
 358 ; X64:       # %bb.0:
 359 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 360 ; X64-NEXT:    vfmaddsub213ph %xmm2, %xmm1, %xmm0 {%k1} {z} # encoding: [0x62,0xf6,0x75,0x89,0xa6,0xc2]
 361 ; X64-NEXT:    retq # encoding: [0xc3]
 362   %res = call <8 x half> @llvm.x86.avx512fp16.vfmaddsub.ph.128(<8 x half> %x0, <8 x half> %x1, <8 x half> %x2)
 363   %bc = bitcast i8 %x3 to <8 x i1>
 364   %sel = select <8 x i1> %bc, <8 x half> %res, <8 x half> zeroinitializer
 365   ret <8 x half> %sel
 366 }
 367
 368 define <8 x half>@test_int_x86_avx512_mask3_vfmsubadd_ph_128(<8 x half> %x0, <8 x half> %x1, <8 x half> %x2, i8 %x3){
 369 ; X86-LABEL: test_int_x86_avx512_mask3_vfmsubadd_ph_128:
 370 ; X86:       # %bb.0:
 371 ; X86-NEXT:    kmovb {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf9,0x90,0x4c,0x24,0x04]
 372 ; X86-NEXT:    vfmsubadd231ph %xmm1, %xmm0, %xmm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x09,0xb7,0xd1]
 373 ; X86-NEXT:    vmovaps %xmm2, %xmm0 # EVEX TO VEX Compression encoding: [0xc5,0xf8,0x28,0xc2]
 374 ; X86-NEXT:    retl # encoding: [0xc3]
 375 ;
 376 ; X64-LABEL: test_int_x86_avx512_mask3_vfmsubadd_ph_128:
 377 ; X64:       # %bb.0:
 378 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 379 ; X64-NEXT:    vfmsubadd231ph %xmm1, %xmm0, %xmm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x09,0xb7,0xd1]
 380 ; X64-NEXT:    vmovaps %xmm2, %xmm0 # EVEX TO VEX Compression encoding: [0xc5,0xf8,0x28,0xc2]
 381 ; X64-NEXT:    retq # encoding: [0xc3]
 382   %neg = fneg <8 x half> %x2
 383   %res = call <8 x half> @llvm.x86.avx512fp16.vfmaddsub.ph.128(<8 x half> %x0, <8 x half> %x1, <8 x half> %neg)
 384   %bc = bitcast i8 %x3 to <8 x i1>
 385   %sel = select <8 x i1> %bc, <8 x half> %res, <8 x half> %x2
 386   ret <8 x half> %sel
 387 }
 388
 389 define <8 x half>@test_int_x86_avx512_mask3_vfmsub_ph_128(<8 x half> %x0, <8 x half> %x1, <8 x half> %x2, i8 %x3){
 390 ; X86-LABEL: test_int_x86_avx512_mask3_vfmsub_ph_128:
 391 ; X86:       # %bb.0:
 392 ; X86-NEXT:    kmovb {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf9,0x90,0x4c,0x24,0x04]
 393 ; X86-NEXT:    vfmsub231ph %xmm1, %xmm0, %xmm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x09,0xba,0xd1]
 394 ; X86-NEXT:    vmovaps %xmm2, %xmm0 # EVEX TO VEX Compression encoding: [0xc5,0xf8,0x28,0xc2]
 395 ; X86-NEXT:    retl # encoding: [0xc3]
 396 ;
 397 ; X64-LABEL: test_int_x86_avx512_mask3_vfmsub_ph_128:
 398 ; X64:       # %bb.0:
 399 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 400 ; X64-NEXT:    vfmsub231ph %xmm1, %xmm0, %xmm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x09,0xba,0xd1]
 401 ; X64-NEXT:    vmovaps %xmm2, %xmm0 # EVEX TO VEX Compression encoding: [0xc5,0xf8,0x28,0xc2]
 402 ; X64-NEXT:    retq # encoding: [0xc3]
 403   %1 = fsub <8 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %x2
 404   %2 = call <8 x half> @llvm.fma.v8f16(<8 x half> %x0, <8 x half> %x1, <8 x half> %1)
 405   %3 = bitcast i8 %x3 to <8 x i1>
 406   %4 = select <8 x i1> %3, <8 x half> %2, <8 x half> %x2
 407   ret <8 x half> %4
 408 }
 409
 410 define <8 x half>@test_int_x86_avx512_mask3_vfmadd_ph_128(<8 x half> %x0, <8 x half> %x1, <8 x half> %x2, i8 %x3){
 411 ; X86-LABEL: test_int_x86_avx512_mask3_vfmadd_ph_128:
 412 ; X86:       # %bb.0:
 413 ; X86-NEXT:    kmovb {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf9,0x90,0x4c,0x24,0x04]
 414 ; X86-NEXT:    vfmadd231ph %xmm1, %xmm0, %xmm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x09,0xb8,0xd1]
 415 ; X86-NEXT:    vmovaps %xmm2, %xmm0 # EVEX TO VEX Compression encoding: [0xc5,0xf8,0x28,0xc2]
 416 ; X86-NEXT:    retl # encoding: [0xc3]
 417 ;
 418 ; X64-LABEL: test_int_x86_avx512_mask3_vfmadd_ph_128:
 419 ; X64:       # %bb.0:
 420 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 421 ; X64-NEXT:    vfmadd231ph %xmm1, %xmm0, %xmm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x09,0xb8,0xd1]
 422 ; X64-NEXT:    vmovaps %xmm2, %xmm0 # EVEX TO VEX Compression encoding: [0xc5,0xf8,0x28,0xc2]
 423 ; X64-NEXT:    retq # encoding: [0xc3]
 424   %1 = call <8 x half> @llvm.fma.v8f16(<8 x half> %x0, <8 x half> %x1, <8 x half> %x2)
 425   %2 = bitcast i8 %x3 to <8 x i1>
 426   %3 = select <8 x i1> %2, <8 x half> %1, <8 x half> %x2
 427   ret <8 x half> %3
 428 }
 429
 430 define <8 x half> @test_int_x86_avx512_maskz_vfmadd_ph_128(<8 x half> %x0, <8 x half> %x1, <8 x half> %x2, i8 %x3) {
 431 ; X86-LABEL: test_int_x86_avx512_maskz_vfmadd_ph_128:
 432 ; X86:       # %bb.0:
 433 ; X86-NEXT:    kmovb {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf9,0x90,0x4c,0x24,0x04]
 434 ; X86-NEXT:    vfmadd213ph %xmm2, %xmm1, %xmm0 {%k1} {z} # encoding: [0x62,0xf6,0x75,0x89,0xa8,0xc2]
 435 ; X86-NEXT:    retl # encoding: [0xc3]
 436 ;
 437 ; X64-LABEL: test_int_x86_avx512_maskz_vfmadd_ph_128:
 438 ; X64:       # %bb.0:
 439 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 440 ; X64-NEXT:    vfmadd213ph %xmm2, %xmm1, %xmm0 {%k1} {z} # encoding: [0x62,0xf6,0x75,0x89,0xa8,0xc2]
 441 ; X64-NEXT:    retq # encoding: [0xc3]
 442   %1 = call <8 x half> @llvm.fma.v8f16(<8 x half> %x0, <8 x half> %x1, <8 x half> %x2)
 443   %2 = bitcast i8 %x3 to <8 x i1>
 444   %3 = select <8 x i1> %2, <8 x half> %1, <8 x half> zeroinitializer
 445   ret <8 x half> %3
 446 }
 447
 448 define <8 x half>@test_int_x86_avx512_mask_vfnmsub_ph_128(<8 x half> %x0, <8 x half> %x1, <8 x half> %x2, i8 %x3){
 449 ; X86-LABEL: test_int_x86_avx512_mask_vfnmsub_ph_128:
 450 ; X86:       # %bb.0:
 451 ; X86-NEXT:    kmovb {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf9,0x90,0x4c,0x24,0x04]
 452 ; X86-NEXT:    vfnmsub132ph %xmm1, %xmm2, %xmm0 {%k1} # encoding: [0x62,0xf6,0x6d,0x09,0x9e,0xc1]
 453 ; X86-NEXT:    retl # encoding: [0xc3]
 454 ;
 455 ; X64-LABEL: test_int_x86_avx512_mask_vfnmsub_ph_128:
 456 ; X64:       # %bb.0:
 457 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 458 ; X64-NEXT:    vfnmsub132ph %xmm1, %xmm2, %xmm0 {%k1} # encoding: [0x62,0xf6,0x6d,0x09,0x9e,0xc1]
 459 ; X64-NEXT:    retq # encoding: [0xc3]
 460   %1 = fsub <8 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %x1
 461   %2 = fsub <8 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %x2
 462   %3 = call <8 x half> @llvm.fma.v8f16(<8 x half> %x0, <8 x half> %1, <8 x half> %2)
 463   %4 = bitcast i8 %x3 to <8 x i1>
 464   %5 = select <8 x i1> %4, <8 x half> %3, <8 x half> %x0
 465   ret <8 x half> %5
 466 }
 467
 468 define <8 x half>@test_int_x86_avx512_mask3_vfnmsub_ph_128(<8 x half> %x0, <8 x half> %x1, <8 x half> %x2, i8 %x3){
 469 ; X86-LABEL: test_int_x86_avx512_mask3_vfnmsub_ph_128:
 470 ; X86:       # %bb.0:
 471 ; X86-NEXT:    kmovb {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf9,0x90,0x4c,0x24,0x04]
 472 ; X86-NEXT:    vfnmsub231ph %xmm1, %xmm0, %xmm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x09,0xbe,0xd1]
 473 ; X86-NEXT:    vmovaps %xmm2, %xmm0 # EVEX TO VEX Compression encoding: [0xc5,0xf8,0x28,0xc2]
 474 ; X86-NEXT:    retl # encoding: [0xc3]
 475 ;
 476 ; X64-LABEL: test_int_x86_avx512_mask3_vfnmsub_ph_128:
 477 ; X64:       # %bb.0:
 478 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 479 ; X64-NEXT:    vfnmsub231ph %xmm1, %xmm0, %xmm2 {%k1} # encoding: [0x62,0xf6,0x7d,0x09,0xbe,0xd1]
 480 ; X64-NEXT:    vmovaps %xmm2, %xmm0 # EVEX TO VEX Compression encoding: [0xc5,0xf8,0x28,0xc2]
 481 ; X64-NEXT:    retq # encoding: [0xc3]
 482   %1 = fsub <8 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %x0
 483   %2 = fsub <8 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %x2
 484   %3 = call <8 x half> @llvm.fma.v8f16(<8 x half> %1, <8 x half> %x1, <8 x half> %2)
 485   %4 = bitcast i8 %x3 to <8 x i1>
 486   %5 = select <8 x i1> %4, <8 x half> %3, <8 x half> %x2
 487   ret <8 x half> %5
 488 }
 489
 490 define <8 x half>@test_int_x86_avx512_mask_vfnmadd_ph_128(<8 x half> %x0, <8 x half> %x1, <8 x half> %x2, i8 %x3){
 491 ; X86-LABEL: test_int_x86_avx512_mask_vfnmadd_ph_128:
 492 ; X86:       # %bb.0:
 493 ; X86-NEXT:    kmovb {{[0-9]+}}(%esp), %k1 # encoding: [0xc5,0xf9,0x90,0x4c,0x24,0x04]
 494 ; X86-NEXT:    vfnmadd132ph %xmm1, %xmm2, %xmm0 {%k1} # encoding: [0x62,0xf6,0x6d,0x09,0x9c,0xc1]
 495 ; X86-NEXT:    retl # encoding: [0xc3]
 496 ;
 497 ; X64-LABEL: test_int_x86_avx512_mask_vfnmadd_ph_128:
 498 ; X64:       # %bb.0:
 499 ; X64-NEXT:    kmovd %edi, %k1 # encoding: [0xc5,0xfb,0x92,0xcf]
 500 ; X64-NEXT:    vfnmadd132ph %xmm1, %xmm2, %xmm0 {%k1} # encoding: [0x62,0xf6,0x6d,0x09,0x9c,0xc1]
 501 ; X64-NEXT:    retq # encoding: [0xc3]
 502   %1 = fsub <8 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %x1
 503   %2 = call <8 x half> @llvm.fma.v8f16(<8 x half> %x0, <8 x half> %1, <8 x half> %x2)
 504   %3 = bitcast i8 %x3 to <8 x i1>
 505   %4 = select <8 x i1> %3, <8 x half> %2, <8 x half> %x0
 506   ret <8 x half> %4
 507 }
 508
 509 define <8 x half> @test_x86_fma_vfnmadd_ph_128(<8 x half> %a0, <8 x half> %a1, <8 x half> %a2) #0 {
 510 ; CHECK-LABEL: test_x86_fma_vfnmadd_ph_128:
 511 ; CHECK:       # %bb.0:
 512 ; CHECK-NEXT:    vfnmadd213ph %xmm2, %xmm1, %xmm0 # encoding: [0x62,0xf6,0x75,0x08,0xac,0xc2]
 513 ; CHECK-NEXT:    ret{{[l|q]}} # encoding: [0xc3]
 514   %1 = fsub <8 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a0
 515   %2 = call <8 x half> @llvm.fma.v8f16(<8 x half> %1, <8 x half> %a1, <8 x half> %a2)
 516   ret <8 x half> %2
 517 }
 518
 519 define <8 x half> @test_x86_fma_vfnmsub_ph_128(<8 x half> %a0, <8 x half> %a1, <8 x half> %a2) #0 {
 520 ; CHECK-LABEL: test_x86_fma_vfnmsub_ph_128:
 521 ; CHECK:       # %bb.0:
 522 ; CHECK-NEXT:    vfnmsub213ph %xmm0, %xmm1, %xmm0 # encoding: [0x62,0xf6,0x75,0x08,0xae,0xc0]
 523 ; CHECK-NEXT:    ret{{[l|q]}} # encoding: [0xc3]
 524   %1 = fsub <8 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a0
 525   %2 = fsub <8 x half> <half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00, half -0.000000e+00>, %a0
 526   %3 = call <8 x half> @llvm.fma.v8f16(<8 x half> %1, <8 x half> %a1, <8 x half> %2)
 527   ret <8 x half> %3
 528 }
 529
 530 declare <8 x half> @llvm.fma.v8f16(<8 x half>, <8 x half>, <8 x half>)