llvm/test/MC/X86/intel-syntax-avx512fp16.s

   1 // RUN: llvm-mc -triple i686-unknown-unknown -x86-asm-syntax=intel -output-asm-variant=1 --show-encoding %s | FileCheck %s
   2
   3 // CHECK: vmovsh xmm6, xmm5, xmm4
   4 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x10,0xf4]
   5           vmovsh xmm6, xmm5, xmm4
   6
   7 // CHECK: vmovsh xmm6 {k7}, word ptr [esp + 8*esi + 268435456]
   8 // CHECK: encoding: [0x62,0xf5,0x7e,0x0f,0x10,0xb4,0xf4,0x00,0x00,0x00,0x10]
   9           vmovsh xmm6 {k7}, word ptr [esp + 8*esi + 268435456]
  10
  11 // CHECK: vmovsh xmm6, word ptr [ecx]
  12 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x10,0x31]
  13           vmovsh xmm6, word ptr [ecx]
  14
  15 // CHECK: vmovsh xmm6, word ptr [ecx + 254]
  16 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x10,0x71,0x7f]
  17           vmovsh xmm6, word ptr [ecx + 254]
  18
  19 // CHECK: vmovsh xmm6 {k7} {z}, word ptr [edx - 256]
  20 // CHECK: encoding: [0x62,0xf5,0x7e,0x8f,0x10,0x72,0x80]
  21           vmovsh xmm6 {k7} {z}, word ptr [edx - 256]
  22
  23 // CHECK: vmovsh word ptr [esp + 8*esi + 268435456] {k7}, xmm6
  24 // CHECK: encoding: [0x62,0xf5,0x7e,0x0f,0x11,0xb4,0xf4,0x00,0x00,0x00,0x10]
  25           vmovsh word ptr [esp + 8*esi + 268435456] {k7}, xmm6
  26
  27 // CHECK: vmovsh word ptr [ecx], xmm6
  28 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x11,0x31]
  29           vmovsh word ptr [ecx], xmm6
  30
  31 // CHECK: vmovsh word ptr [ecx + 254], xmm6
  32 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x11,0x71,0x7f]
  33           vmovsh word ptr [ecx + 254], xmm6
  34
  35 // CHECK: vmovsh word ptr [edx - 256] {k7}, xmm6
  36 // CHECK: encoding: [0x62,0xf5,0x7e,0x0f,0x11,0x72,0x80]
  37           vmovsh word ptr [edx - 256] {k7}, xmm6
  38
  39 // CHECK: vmovw xmm6, edx
  40 // CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x6e,0xf2]
  41           vmovw xmm6, edx
  42
  43 // CHECK: vmovw edx, xmm6
  44 // CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x7e,0xf2]
  45           vmovw edx, xmm6
  46
  47 // CHECK: vmovw xmm6, word ptr [esp + 8*esi + 268435456]
  48 // CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x6e,0xb4,0xf4,0x00,0x00,0x00,0x10]
  49           vmovw xmm6, word ptr [esp + 8*esi + 268435456]
  50
  51 // CHECK: vmovw xmm6, word ptr [ecx]
  52 // CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x6e,0x31]
  53           vmovw xmm6, word ptr [ecx]
  54
  55 // CHECK: vmovw xmm6, word ptr [ecx + 254]
  56 // CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x6e,0x71,0x7f]
  57           vmovw xmm6, word ptr [ecx + 254]
  58
  59 // CHECK: vmovw xmm6, word ptr [edx - 256]
  60 // CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x6e,0x72,0x80]
  61           vmovw xmm6, word ptr [edx - 256]
  62
  63 // CHECK: vmovw word ptr [esp + 8*esi + 268435456], xmm6
  64 // CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x7e,0xb4,0xf4,0x00,0x00,0x00,0x10]
  65           vmovw word ptr [esp + 8*esi + 268435456], xmm6
  66
  67 // CHECK: vmovw word ptr [ecx], xmm6
  68 // CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x7e,0x31]
  69           vmovw word ptr [ecx], xmm6
  70
  71 // CHECK: vmovw word ptr [ecx + 254], xmm6
  72 // CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x7e,0x71,0x7f]
  73           vmovw word ptr [ecx + 254], xmm6
  74
  75 // CHECK: vmovw word ptr [edx - 256], xmm6
  76 // CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x7e,0x72,0x80]
  77           vmovw word ptr [edx - 256], xmm6
  78
  79 // CHECK: vaddph zmm6, zmm5, zmm4
  80 // CHECK: encoding: [0x62,0xf5,0x54,0x48,0x58,0xf4]
  81           vaddph zmm6, zmm5, zmm4
  82
  83 // CHECK: vaddph zmm6, zmm5, zmm4, {rn-sae}
  84 // CHECK: encoding: [0x62,0xf5,0x54,0x18,0x58,0xf4]
  85           vaddph zmm6, zmm5, zmm4, {rn-sae}
  86
  87 // CHECK: vaddph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
  88 // CHECK: encoding: [0x62,0xf5,0x54,0x4f,0x58,0xb4,0xf4,0x00,0x00,0x00,0x10]
  89           vaddph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
  90
  91 // CHECK: vaddph zmm6, zmm5, word ptr [ecx]{1to32}
  92 // CHECK: encoding: [0x62,0xf5,0x54,0x58,0x58,0x31]
  93           vaddph zmm6, zmm5, word ptr [ecx]{1to32}
  94
  95 // CHECK: vaddph zmm6, zmm5, zmmword ptr [ecx + 8128]
  96 // CHECK: encoding: [0x62,0xf5,0x54,0x48,0x58,0x71,0x7f]
  97           vaddph zmm6, zmm5, zmmword ptr [ecx + 8128]
  98
  99 // CHECK: vaddph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
 100 // CHECK: encoding: [0x62,0xf5,0x54,0xdf,0x58,0x72,0x80]
 101           vaddph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
 102
 103 // CHECK: vaddsh xmm6, xmm5, xmm4
 104 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x58,0xf4]
 105           vaddsh xmm6, xmm5, xmm4
 106
 107 // CHECK: vaddsh xmm6, xmm5, xmm4, {rn-sae}
 108 // CHECK: encoding: [0x62,0xf5,0x56,0x18,0x58,0xf4]
 109           vaddsh xmm6, xmm5, xmm4, {rn-sae}
 110
 111 // CHECK: vaddsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 112 // CHECK: encoding: [0x62,0xf5,0x56,0x0f,0x58,0xb4,0xf4,0x00,0x00,0x00,0x10]
 113           vaddsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 114
 115 // CHECK: vaddsh xmm6, xmm5, word ptr [ecx]
 116 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x58,0x31]
 117           vaddsh xmm6, xmm5, word ptr [ecx]
 118
 119 // CHECK: vaddsh xmm6, xmm5, word ptr [ecx + 254]
 120 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x58,0x71,0x7f]
 121           vaddsh xmm6, xmm5, word ptr [ecx + 254]
 122
 123 // CHECK: vaddsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
 124 // CHECK: encoding: [0x62,0xf5,0x56,0x8f,0x58,0x72,0x80]
 125           vaddsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
 126
 127 // CHECK: vcmpneq_usph k5, zmm5, zmm4
 128 // CHECK: encoding: [0x62,0xf3,0x54,0x48,0xc2,0xec,0x14]
 129           vcmpneq_usph k5, zmm5, zmm4
 130
 131 // CHECK: vcmpnlt_uqph k5, zmm5, zmm4, {sae}
 132 // CHECK: encoding: [0x62,0xf3,0x54,0x18,0xc2,0xec,0x15]
 133           vcmpnlt_uqph k5, zmm5, zmm4, {sae}
 134
 135 // CHECK: vcmpnle_uqph k5 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
 136 // CHECK: encoding: [0x62,0xf3,0x54,0x4f,0xc2,0xac,0xf4,0x00,0x00,0x00,0x10,0x16]
 137           vcmpnle_uqph k5 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
 138
 139 // CHECK: vcmpord_sph k5, zmm5, word ptr [ecx]{1to32}
 140 // CHECK: encoding: [0x62,0xf3,0x54,0x58,0xc2,0x29,0x17]
 141           vcmpord_sph k5, zmm5, word ptr [ecx]{1to32}
 142
 143 // CHECK: vcmpeq_usph k5, zmm5, zmmword ptr [ecx + 8128]
 144 // CHECK: encoding: [0x62,0xf3,0x54,0x48,0xc2,0x69,0x7f,0x18]
 145           vcmpeq_usph k5, zmm5, zmmword ptr [ecx + 8128]
 146
 147 // CHECK: vcmpnge_uqph k5 {k7}, zmm5, word ptr [edx - 256]{1to32}
 148 // CHECK: encoding: [0x62,0xf3,0x54,0x5f,0xc2,0x6a,0x80,0x19]
 149           vcmpnge_uqph k5 {k7}, zmm5, word ptr [edx - 256]{1to32}
 150
 151 // CHECK: vcmpngt_uqsh k5, xmm5, xmm4
 152 // CHECK: encoding: [0x62,0xf3,0x56,0x08,0xc2,0xec,0x1a]
 153           vcmpngt_uqsh k5, xmm5, xmm4
 154
 155 // CHECK: vcmpfalse_ossh k5, xmm5, xmm4, {sae}
 156 // CHECK: encoding: [0x62,0xf3,0x56,0x18,0xc2,0xec,0x1b]
 157           vcmpfalse_ossh k5, xmm5, xmm4, {sae}
 158
 159 // CHECK: vcmpneq_ossh k5 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 160 // CHECK: encoding: [0x62,0xf3,0x56,0x0f,0xc2,0xac,0xf4,0x00,0x00,0x00,0x10,0x1c]
 161           vcmpneq_ossh k5 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 162
 163 // CHECK: vcmpge_oqsh k5, xmm5, word ptr [ecx]
 164 // CHECK: encoding: [0x62,0xf3,0x56,0x08,0xc2,0x29,0x1d]
 165           vcmpge_oqsh k5, xmm5, word ptr [ecx]
 166
 167 // CHECK: vcmpgt_oqsh k5, xmm5, word ptr [ecx + 254]
 168 // CHECK: encoding: [0x62,0xf3,0x56,0x08,0xc2,0x69,0x7f,0x1e]
 169           vcmpgt_oqsh k5, xmm5, word ptr [ecx + 254]
 170
 171 // CHECK: vcmptrue_ussh k5 {k7}, xmm5, word ptr [edx - 256]
 172 // CHECK: encoding: [0x62,0xf3,0x56,0x0f,0xc2,0x6a,0x80,0x1f]
 173           vcmptrue_ussh k5 {k7}, xmm5, word ptr [edx - 256]
 174
 175 // CHECK: vcomish xmm6, xmm5
 176 // CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x2f,0xf5]
 177           vcomish xmm6, xmm5
 178
 179 // CHECK: vcomish xmm6, xmm5, {sae}
 180 // CHECK: encoding: [0x62,0xf5,0x7c,0x18,0x2f,0xf5]
 181           vcomish xmm6, xmm5, {sae}
 182
 183 // CHECK: vcomish xmm6, word ptr [esp + 8*esi + 268435456]
 184 // CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x2f,0xb4,0xf4,0x00,0x00,0x00,0x10]
 185           vcomish xmm6, word ptr [esp + 8*esi + 268435456]
 186
 187 // CHECK: vcomish xmm6, word ptr [ecx]
 188 // CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x2f,0x31]
 189           vcomish xmm6, word ptr [ecx]
 190
 191 // CHECK: vcomish xmm6, word ptr [ecx + 254]
 192 // CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x2f,0x71,0x7f]
 193           vcomish xmm6, word ptr [ecx + 254]
 194
 195 // CHECK: vcomish xmm6, word ptr [edx - 256]
 196 // CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x2f,0x72,0x80]
 197           vcomish xmm6, word ptr [edx - 256]
 198
 199 // CHECK: vdivph zmm6, zmm5, zmm4
 200 // CHECK: encoding: [0x62,0xf5,0x54,0x48,0x5e,0xf4]
 201           vdivph zmm6, zmm5, zmm4
 202
 203 // CHECK: vdivph zmm6, zmm5, zmm4, {rn-sae}
 204 // CHECK: encoding: [0x62,0xf5,0x54,0x18,0x5e,0xf4]
 205           vdivph zmm6, zmm5, zmm4, {rn-sae}
 206
 207 // CHECK: vdivph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
 208 // CHECK: encoding: [0x62,0xf5,0x54,0x4f,0x5e,0xb4,0xf4,0x00,0x00,0x00,0x10]
 209           vdivph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
 210
 211 // CHECK: vdivph zmm6, zmm5, word ptr [ecx]{1to32}
 212 // CHECK: encoding: [0x62,0xf5,0x54,0x58,0x5e,0x31]
 213           vdivph zmm6, zmm5, word ptr [ecx]{1to32}
 214
 215 // CHECK: vdivph zmm6, zmm5, zmmword ptr [ecx + 8128]
 216 // CHECK: encoding: [0x62,0xf5,0x54,0x48,0x5e,0x71,0x7f]
 217           vdivph zmm6, zmm5, zmmword ptr [ecx + 8128]
 218
 219 // CHECK: vdivph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
 220 // CHECK: encoding: [0x62,0xf5,0x54,0xdf,0x5e,0x72,0x80]
 221           vdivph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
 222
 223 // CHECK: vdivsh xmm6, xmm5, xmm4
 224 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x5e,0xf4]
 225           vdivsh xmm6, xmm5, xmm4
 226
 227 // CHECK: vdivsh xmm6, xmm5, xmm4, {rn-sae}
 228 // CHECK: encoding: [0x62,0xf5,0x56,0x18,0x5e,0xf4]
 229           vdivsh xmm6, xmm5, xmm4, {rn-sae}
 230
 231 // CHECK: vdivsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 232 // CHECK: encoding: [0x62,0xf5,0x56,0x0f,0x5e,0xb4,0xf4,0x00,0x00,0x00,0x10]
 233           vdivsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 234
 235 // CHECK: vdivsh xmm6, xmm5, word ptr [ecx]
 236 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x5e,0x31]
 237           vdivsh xmm6, xmm5, word ptr [ecx]
 238
 239 // CHECK: vdivsh xmm6, xmm5, word ptr [ecx + 254]
 240 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x5e,0x71,0x7f]
 241           vdivsh xmm6, xmm5, word ptr [ecx + 254]
 242
 243 // CHECK: vdivsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
 244 // CHECK: encoding: [0x62,0xf5,0x56,0x8f,0x5e,0x72,0x80]
 245           vdivsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
 246
 247 // CHECK: vmaxph zmm6, zmm5, zmm4
 248 // CHECK: encoding: [0x62,0xf5,0x54,0x48,0x5f,0xf4]
 249           vmaxph zmm6, zmm5, zmm4
 250
 251 // CHECK: vmaxph zmm6, zmm5, zmm4, {sae}
 252 // CHECK: encoding: [0x62,0xf5,0x54,0x18,0x5f,0xf4]
 253           vmaxph zmm6, zmm5, zmm4, {sae}
 254
 255 // CHECK: vmaxph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
 256 // CHECK: encoding: [0x62,0xf5,0x54,0x4f,0x5f,0xb4,0xf4,0x00,0x00,0x00,0x10]
 257           vmaxph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
 258
 259 // CHECK: vmaxph zmm6, zmm5, word ptr [ecx]{1to32}
 260 // CHECK: encoding: [0x62,0xf5,0x54,0x58,0x5f,0x31]
 261           vmaxph zmm6, zmm5, word ptr [ecx]{1to32}
 262
 263 // CHECK: vmaxph zmm6, zmm5, zmmword ptr [ecx + 8128]
 264 // CHECK: encoding: [0x62,0xf5,0x54,0x48,0x5f,0x71,0x7f]
 265           vmaxph zmm6, zmm5, zmmword ptr [ecx + 8128]
 266
 267 // CHECK: vmaxph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
 268 // CHECK: encoding: [0x62,0xf5,0x54,0xdf,0x5f,0x72,0x80]
 269           vmaxph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
 270
 271 // CHECK: vmaxsh xmm6, xmm5, xmm4
 272 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x5f,0xf4]
 273           vmaxsh xmm6, xmm5, xmm4
 274
 275 // CHECK: vmaxsh xmm6, xmm5, xmm4, {sae}
 276 // CHECK: encoding: [0x62,0xf5,0x56,0x18,0x5f,0xf4]
 277           vmaxsh xmm6, xmm5, xmm4, {sae}
 278
 279 // CHECK: vmaxsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 280 // CHECK: encoding: [0x62,0xf5,0x56,0x0f,0x5f,0xb4,0xf4,0x00,0x00,0x00,0x10]
 281           vmaxsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 282
 283 // CHECK: vmaxsh xmm6, xmm5, word ptr [ecx]
 284 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x5f,0x31]
 285           vmaxsh xmm6, xmm5, word ptr [ecx]
 286
 287 // CHECK: vmaxsh xmm6, xmm5, word ptr [ecx + 254]
 288 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x5f,0x71,0x7f]
 289           vmaxsh xmm6, xmm5, word ptr [ecx + 254]
 290
 291 // CHECK: vmaxsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
 292 // CHECK: encoding: [0x62,0xf5,0x56,0x8f,0x5f,0x72,0x80]
 293           vmaxsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
 294
 295 // CHECK: vminph zmm6, zmm5, zmm4
 296 // CHECK: encoding: [0x62,0xf5,0x54,0x48,0x5d,0xf4]
 297           vminph zmm6, zmm5, zmm4
 298
 299 // CHECK: vminph zmm6, zmm5, zmm4, {sae}
 300 // CHECK: encoding: [0x62,0xf5,0x54,0x18,0x5d,0xf4]
 301           vminph zmm6, zmm5, zmm4, {sae}
 302
 303 // CHECK: vminph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
 304 // CHECK: encoding: [0x62,0xf5,0x54,0x4f,0x5d,0xb4,0xf4,0x00,0x00,0x00,0x10]
 305           vminph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
 306
 307 // CHECK: vminph zmm6, zmm5, word ptr [ecx]{1to32}
 308 // CHECK: encoding: [0x62,0xf5,0x54,0x58,0x5d,0x31]
 309           vminph zmm6, zmm5, word ptr [ecx]{1to32}
 310
 311 // CHECK: vminph zmm6, zmm5, zmmword ptr [ecx + 8128]
 312 // CHECK: encoding: [0x62,0xf5,0x54,0x48,0x5d,0x71,0x7f]
 313           vminph zmm6, zmm5, zmmword ptr [ecx + 8128]
 314
 315 // CHECK: vminph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
 316 // CHECK: encoding: [0x62,0xf5,0x54,0xdf,0x5d,0x72,0x80]
 317           vminph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
 318
 319 // CHECK: vminsh xmm6, xmm5, xmm4
 320 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x5d,0xf4]
 321           vminsh xmm6, xmm5, xmm4
 322
 323 // CHECK: vminsh xmm6, xmm5, xmm4, {sae}
 324 // CHECK: encoding: [0x62,0xf5,0x56,0x18,0x5d,0xf4]
 325           vminsh xmm6, xmm5, xmm4, {sae}
 326
 327 // CHECK: vminsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 328 // CHECK: encoding: [0x62,0xf5,0x56,0x0f,0x5d,0xb4,0xf4,0x00,0x00,0x00,0x10]
 329           vminsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 330
 331 // CHECK: vminsh xmm6, xmm5, word ptr [ecx]
 332 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x5d,0x31]
 333           vminsh xmm6, xmm5, word ptr [ecx]
 334
 335 // CHECK: vminsh xmm6, xmm5, word ptr [ecx + 254]
 336 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x5d,0x71,0x7f]
 337           vminsh xmm6, xmm5, word ptr [ecx + 254]
 338
 339 // CHECK: vminsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
 340 // CHECK: encoding: [0x62,0xf5,0x56,0x8f,0x5d,0x72,0x80]
 341           vminsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
 342
 343 // CHECK: vmulph zmm6, zmm5, zmm4
 344 // CHECK: encoding: [0x62,0xf5,0x54,0x48,0x59,0xf4]
 345           vmulph zmm6, zmm5, zmm4
 346
 347 // CHECK: vmulph zmm6, zmm5, zmm4, {rn-sae}
 348 // CHECK: encoding: [0x62,0xf5,0x54,0x18,0x59,0xf4]
 349           vmulph zmm6, zmm5, zmm4, {rn-sae}
 350
 351 // CHECK: vmulph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
 352 // CHECK: encoding: [0x62,0xf5,0x54,0x4f,0x59,0xb4,0xf4,0x00,0x00,0x00,0x10]
 353           vmulph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
 354
 355 // CHECK: vmulph zmm6, zmm5, word ptr [ecx]{1to32}
 356 // CHECK: encoding: [0x62,0xf5,0x54,0x58,0x59,0x31]
 357           vmulph zmm6, zmm5, word ptr [ecx]{1to32}
 358
 359 // CHECK: vmulph zmm6, zmm5, zmmword ptr [ecx + 8128]
 360 // CHECK: encoding: [0x62,0xf5,0x54,0x48,0x59,0x71,0x7f]
 361           vmulph zmm6, zmm5, zmmword ptr [ecx + 8128]
 362
 363 // CHECK: vmulph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
 364 // CHECK: encoding: [0x62,0xf5,0x54,0xdf,0x59,0x72,0x80]
 365           vmulph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
 366
 367 // CHECK: vmulsh xmm6, xmm5, xmm4
 368 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x59,0xf4]
 369           vmulsh xmm6, xmm5, xmm4
 370
 371 // CHECK: vmulsh xmm6, xmm5, xmm4, {rn-sae}
 372 // CHECK: encoding: [0x62,0xf5,0x56,0x18,0x59,0xf4]
 373           vmulsh xmm6, xmm5, xmm4, {rn-sae}
 374
 375 // CHECK: vmulsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 376 // CHECK: encoding: [0x62,0xf5,0x56,0x0f,0x59,0xb4,0xf4,0x00,0x00,0x00,0x10]
 377           vmulsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 378
 379 // CHECK: vmulsh xmm6, xmm5, word ptr [ecx]
 380 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x59,0x31]
 381           vmulsh xmm6, xmm5, word ptr [ecx]
 382
 383 // CHECK: vmulsh xmm6, xmm5, word ptr [ecx + 254]
 384 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x59,0x71,0x7f]
 385           vmulsh xmm6, xmm5, word ptr [ecx + 254]
 386
 387 // CHECK: vmulsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
 388 // CHECK: encoding: [0x62,0xf5,0x56,0x8f,0x59,0x72,0x80]
 389           vmulsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
 390
 391 // CHECK: vsubph zmm6, zmm5, zmm4
 392 // CHECK: encoding: [0x62,0xf5,0x54,0x48,0x5c,0xf4]
 393           vsubph zmm6, zmm5, zmm4
 394
 395 // CHECK: vsubph zmm6, zmm5, zmm4, {rn-sae}
 396 // CHECK: encoding: [0x62,0xf5,0x54,0x18,0x5c,0xf4]
 397           vsubph zmm6, zmm5, zmm4, {rn-sae}
 398
 399 // CHECK: vsubph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
 400 // CHECK: encoding: [0x62,0xf5,0x54,0x4f,0x5c,0xb4,0xf4,0x00,0x00,0x00,0x10]
 401           vsubph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
 402
 403 // CHECK: vsubph zmm6, zmm5, word ptr [ecx]{1to32}
 404 // CHECK: encoding: [0x62,0xf5,0x54,0x58,0x5c,0x31]
 405           vsubph zmm6, zmm5, word ptr [ecx]{1to32}
 406
 407 // CHECK: vsubph zmm6, zmm5, zmmword ptr [ecx + 8128]
 408 // CHECK: encoding: [0x62,0xf5,0x54,0x48,0x5c,0x71,0x7f]
 409           vsubph zmm6, zmm5, zmmword ptr [ecx + 8128]
 410
 411 // CHECK: vsubph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
 412 // CHECK: encoding: [0x62,0xf5,0x54,0xdf,0x5c,0x72,0x80]
 413           vsubph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
 414
 415 // CHECK: vsubsh xmm6, xmm5, xmm4
 416 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x5c,0xf4]
 417           vsubsh xmm6, xmm5, xmm4
 418
 419 // CHECK: vsubsh xmm6, xmm5, xmm4, {rn-sae}
 420 // CHECK: encoding: [0x62,0xf5,0x56,0x18,0x5c,0xf4]
 421           vsubsh xmm6, xmm5, xmm4, {rn-sae}
 422
 423 // CHECK: vsubsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 424 // CHECK: encoding: [0x62,0xf5,0x56,0x0f,0x5c,0xb4,0xf4,0x00,0x00,0x00,0x10]
 425           vsubsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 426
 427 // CHECK: vsubsh xmm6, xmm5, word ptr [ecx]
 428 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x5c,0x31]
 429           vsubsh xmm6, xmm5, word ptr [ecx]
 430
 431 // CHECK: vsubsh xmm6, xmm5, word ptr [ecx + 254]
 432 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x5c,0x71,0x7f]
 433           vsubsh xmm6, xmm5, word ptr [ecx + 254]
 434
 435 // CHECK: vsubsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
 436 // CHECK: encoding: [0x62,0xf5,0x56,0x8f,0x5c,0x72,0x80]
 437           vsubsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
 438
 439 // CHECK: vucomish xmm6, xmm5
 440 // CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x2e,0xf5]
 441           vucomish xmm6, xmm5
 442
 443 // CHECK: vucomish xmm6, xmm5, {sae}
 444 // CHECK: encoding: [0x62,0xf5,0x7c,0x18,0x2e,0xf5]
 445           vucomish xmm6, xmm5, {sae}
 446
 447 // CHECK: vucomish xmm6, word ptr [esp + 8*esi + 268435456]
 448 // CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x2e,0xb4,0xf4,0x00,0x00,0x00,0x10]
 449           vucomish xmm6, word ptr [esp + 8*esi + 268435456]
 450
 451 // CHECK: vucomish xmm6, word ptr [ecx]
 452 // CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x2e,0x31]
 453           vucomish xmm6, word ptr [ecx]
 454
 455 // CHECK: vucomish xmm6, word ptr [ecx + 254]
 456 // CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x2e,0x71,0x7f]
 457           vucomish xmm6, word ptr [ecx + 254]
 458
 459 // CHECK: vucomish xmm6, word ptr [edx - 256]
 460 // CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x2e,0x72,0x80]
 461           vucomish xmm6, word ptr [edx - 256]
 462
 463 // CHECK: vcvtdq2ph ymm6, zmm5
 464 // CHECK: encoding: [0x62,0xf5,0x7c,0x48,0x5b,0xf5]
 465           vcvtdq2ph ymm6, zmm5
 466
 467 // CHECK: vcvtdq2ph ymm6, zmm5, {rn-sae}
 468 // CHECK: encoding: [0x62,0xf5,0x7c,0x18,0x5b,0xf5]
 469           vcvtdq2ph ymm6, zmm5, {rn-sae}
 470
 471 // CHECK: vcvtdq2ph ymm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
 472 // CHECK: encoding: [0x62,0xf5,0x7c,0x4f,0x5b,0xb4,0xf4,0x00,0x00,0x00,0x10]
 473           vcvtdq2ph ymm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
 474
 475 // CHECK: vcvtdq2ph ymm6, dword ptr [ecx]{1to16}
 476 // CHECK: encoding: [0x62,0xf5,0x7c,0x58,0x5b,0x31]
 477           vcvtdq2ph ymm6, dword ptr [ecx]{1to16}
 478
 479 // CHECK: vcvtdq2ph ymm6, zmmword ptr [ecx + 8128]
 480 // CHECK: encoding: [0x62,0xf5,0x7c,0x48,0x5b,0x71,0x7f]
 481           vcvtdq2ph ymm6, zmmword ptr [ecx + 8128]
 482
 483 // CHECK: vcvtdq2ph ymm6 {k7} {z}, dword ptr [edx - 512]{1to16}
 484 // CHECK: encoding: [0x62,0xf5,0x7c,0xdf,0x5b,0x72,0x80]
 485           vcvtdq2ph ymm6 {k7} {z}, dword ptr [edx - 512]{1to16}
 486
 487 // CHECK: vcvtpd2ph xmm6, zmm5
 488 // CHECK: encoding: [0x62,0xf5,0xfd,0x48,0x5a,0xf5]
 489           vcvtpd2ph xmm6, zmm5
 490
 491 // CHECK: vcvtpd2ph xmm6, zmm5, {rn-sae}
 492 // CHECK: encoding: [0x62,0xf5,0xfd,0x18,0x5a,0xf5]
 493           vcvtpd2ph xmm6, zmm5, {rn-sae}
 494
 495 // CHECK: vcvtpd2ph xmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
 496 // CHECK: encoding: [0x62,0xf5,0xfd,0x4f,0x5a,0xb4,0xf4,0x00,0x00,0x00,0x10]
 497           vcvtpd2ph xmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
 498
 499 // CHECK: vcvtpd2ph xmm6, qword ptr [ecx]{1to8}
 500 // CHECK: encoding: [0x62,0xf5,0xfd,0x58,0x5a,0x31]
 501           vcvtpd2ph xmm6, qword ptr [ecx]{1to8}
 502
 503 // CHECK: vcvtpd2ph xmm6, zmmword ptr [ecx + 8128]
 504 // CHECK: encoding: [0x62,0xf5,0xfd,0x48,0x5a,0x71,0x7f]
 505           vcvtpd2ph xmm6, zmmword ptr [ecx + 8128]
 506
 507 // CHECK: vcvtpd2ph xmm6 {k7} {z}, qword ptr [edx - 1024]{1to8}
 508 // CHECK: encoding: [0x62,0xf5,0xfd,0xdf,0x5a,0x72,0x80]
 509           vcvtpd2ph xmm6 {k7} {z}, qword ptr [edx - 1024]{1to8}
 510
 511 // CHECK: vcvtph2dq zmm6, ymm5
 512 // CHECK: encoding: [0x62,0xf5,0x7d,0x48,0x5b,0xf5]
 513           vcvtph2dq zmm6, ymm5
 514
 515 // CHECK: vcvtph2dq zmm6, ymm5, {rn-sae}
 516 // CHECK: encoding: [0x62,0xf5,0x7d,0x18,0x5b,0xf5]
 517           vcvtph2dq zmm6, ymm5, {rn-sae}
 518
 519 // CHECK: vcvtph2dq zmm6 {k7}, ymmword ptr [esp + 8*esi + 268435456]
 520 // CHECK: encoding: [0x62,0xf5,0x7d,0x4f,0x5b,0xb4,0xf4,0x00,0x00,0x00,0x10]
 521           vcvtph2dq zmm6 {k7}, ymmword ptr [esp + 8*esi + 268435456]
 522
 523 // CHECK: vcvtph2dq zmm6, word ptr [ecx]{1to16}
 524 // CHECK: encoding: [0x62,0xf5,0x7d,0x58,0x5b,0x31]
 525           vcvtph2dq zmm6, word ptr [ecx]{1to16}
 526
 527 // CHECK: vcvtph2dq zmm6, ymmword ptr [ecx + 4064]
 528 // CHECK: encoding: [0x62,0xf5,0x7d,0x48,0x5b,0x71,0x7f]
 529           vcvtph2dq zmm6, ymmword ptr [ecx + 4064]
 530
 531 // CHECK: vcvtph2dq zmm6 {k7} {z}, word ptr [edx - 256]{1to16}
 532 // CHECK: encoding: [0x62,0xf5,0x7d,0xdf,0x5b,0x72,0x80]
 533           vcvtph2dq zmm6 {k7} {z}, word ptr [edx - 256]{1to16}
 534
 535 // CHECK: vcvtph2pd zmm6, xmm5
 536 // CHECK: encoding: [0x62,0xf5,0x7c,0x48,0x5a,0xf5]
 537           vcvtph2pd zmm6, xmm5
 538
 539 // CHECK: vcvtph2pd zmm6, xmm5, {sae}
 540 // CHECK: encoding: [0x62,0xf5,0x7c,0x18,0x5a,0xf5]
 541           vcvtph2pd zmm6, xmm5, {sae}
 542
 543 // CHECK: vcvtph2pd zmm6 {k7}, xmmword ptr [esp + 8*esi + 268435456]
 544 // CHECK: encoding: [0x62,0xf5,0x7c,0x4f,0x5a,0xb4,0xf4,0x00,0x00,0x00,0x10]
 545           vcvtph2pd zmm6 {k7}, xmmword ptr [esp + 8*esi + 268435456]
 546
 547 // CHECK: vcvtph2pd zmm6, word ptr [ecx]{1to8}
 548 // CHECK: encoding: [0x62,0xf5,0x7c,0x58,0x5a,0x31]
 549           vcvtph2pd zmm6, word ptr [ecx]{1to8}
 550
 551 // CHECK: vcvtph2pd zmm6, xmmword ptr [ecx + 2032]
 552 // CHECK: encoding: [0x62,0xf5,0x7c,0x48,0x5a,0x71,0x7f]
 553           vcvtph2pd zmm6, xmmword ptr [ecx + 2032]
 554
 555 // CHECK: vcvtph2pd zmm6 {k7} {z}, word ptr [edx - 256]{1to8}
 556 // CHECK: encoding: [0x62,0xf5,0x7c,0xdf,0x5a,0x72,0x80]
 557           vcvtph2pd zmm6 {k7} {z}, word ptr [edx - 256]{1to8}
 558
 559 // CHECK: vcvtph2psx zmm6, ymm5
 560 // CHECK: encoding: [0x62,0xf6,0x7d,0x48,0x13,0xf5]
 561           vcvtph2psx zmm6, ymm5
 562
 563 // CHECK: vcvtph2psx zmm6, ymm5, {sae}
 564 // CHECK: encoding: [0x62,0xf6,0x7d,0x18,0x13,0xf5]
 565           vcvtph2psx zmm6, ymm5, {sae}
 566
 567 // CHECK: vcvtph2psx zmm6 {k7}, ymmword ptr [esp + 8*esi + 268435456]
 568 // CHECK: encoding: [0x62,0xf6,0x7d,0x4f,0x13,0xb4,0xf4,0x00,0x00,0x00,0x10]
 569           vcvtph2psx zmm6 {k7}, ymmword ptr [esp + 8*esi + 268435456]
 570
 571 // CHECK: vcvtph2psx zmm6, word ptr [ecx]{1to16}
 572 // CHECK: encoding: [0x62,0xf6,0x7d,0x58,0x13,0x31]
 573           vcvtph2psx zmm6, word ptr [ecx]{1to16}
 574
 575 // CHECK: vcvtph2psx zmm6, ymmword ptr [ecx + 4064]
 576 // CHECK: encoding: [0x62,0xf6,0x7d,0x48,0x13,0x71,0x7f]
 577           vcvtph2psx zmm6, ymmword ptr [ecx + 4064]
 578
 579 // CHECK: vcvtph2psx zmm6 {k7} {z}, word ptr [edx - 256]{1to16}
 580 // CHECK: encoding: [0x62,0xf6,0x7d,0xdf,0x13,0x72,0x80]
 581           vcvtph2psx zmm6 {k7} {z}, word ptr [edx - 256]{1to16}
 582
 583 // CHECK: vcvtph2qq zmm6, xmm5
 584 // CHECK: encoding: [0x62,0xf5,0x7d,0x48,0x7b,0xf5]
 585           vcvtph2qq zmm6, xmm5
 586
 587 // CHECK: vcvtph2qq zmm6, xmm5, {rn-sae}
 588 // CHECK: encoding: [0x62,0xf5,0x7d,0x18,0x7b,0xf5]
 589           vcvtph2qq zmm6, xmm5, {rn-sae}
 590
 591 // CHECK: vcvtph2qq zmm6 {k7}, xmmword ptr [esp + 8*esi + 268435456]
 592 // CHECK: encoding: [0x62,0xf5,0x7d,0x4f,0x7b,0xb4,0xf4,0x00,0x00,0x00,0x10]
 593           vcvtph2qq zmm6 {k7}, xmmword ptr [esp + 8*esi + 268435456]
 594
 595 // CHECK: vcvtph2qq zmm6, word ptr [ecx]{1to8}
 596 // CHECK: encoding: [0x62,0xf5,0x7d,0x58,0x7b,0x31]
 597           vcvtph2qq zmm6, word ptr [ecx]{1to8}
 598
 599 // CHECK: vcvtph2qq zmm6, xmmword ptr [ecx + 2032]
 600 // CHECK: encoding: [0x62,0xf5,0x7d,0x48,0x7b,0x71,0x7f]
 601           vcvtph2qq zmm6, xmmword ptr [ecx + 2032]
 602
 603 // CHECK: vcvtph2qq zmm6 {k7} {z}, word ptr [edx - 256]{1to8}
 604 // CHECK: encoding: [0x62,0xf5,0x7d,0xdf,0x7b,0x72,0x80]
 605           vcvtph2qq zmm6 {k7} {z}, word ptr [edx - 256]{1to8}
 606
 607 // CHECK: vcvtph2udq zmm6, ymm5
 608 // CHECK: encoding: [0x62,0xf5,0x7c,0x48,0x79,0xf5]
 609           vcvtph2udq zmm6, ymm5
 610
 611 // CHECK: vcvtph2udq zmm6, ymm5, {rn-sae}
 612 // CHECK: encoding: [0x62,0xf5,0x7c,0x18,0x79,0xf5]
 613           vcvtph2udq zmm6, ymm5, {rn-sae}
 614
 615 // CHECK: vcvtph2udq zmm6 {k7}, ymmword ptr [esp + 8*esi + 268435456]
 616 // CHECK: encoding: [0x62,0xf5,0x7c,0x4f,0x79,0xb4,0xf4,0x00,0x00,0x00,0x10]
 617           vcvtph2udq zmm6 {k7}, ymmword ptr [esp + 8*esi + 268435456]
 618
 619 // CHECK: vcvtph2udq zmm6, word ptr [ecx]{1to16}
 620 // CHECK: encoding: [0x62,0xf5,0x7c,0x58,0x79,0x31]
 621           vcvtph2udq zmm6, word ptr [ecx]{1to16}
 622
 623 // CHECK: vcvtph2udq zmm6, ymmword ptr [ecx + 4064]
 624 // CHECK: encoding: [0x62,0xf5,0x7c,0x48,0x79,0x71,0x7f]
 625           vcvtph2udq zmm6, ymmword ptr [ecx + 4064]
 626
 627 // CHECK: vcvtph2udq zmm6 {k7} {z}, word ptr [edx - 256]{1to16}
 628 // CHECK: encoding: [0x62,0xf5,0x7c,0xdf,0x79,0x72,0x80]
 629           vcvtph2udq zmm6 {k7} {z}, word ptr [edx - 256]{1to16}
 630
 631 // CHECK: vcvtph2uqq zmm6, xmm5
 632 // CHECK: encoding: [0x62,0xf5,0x7d,0x48,0x79,0xf5]
 633           vcvtph2uqq zmm6, xmm5
 634
 635 // CHECK: vcvtph2uqq zmm6, xmm5, {rn-sae}
 636 // CHECK: encoding: [0x62,0xf5,0x7d,0x18,0x79,0xf5]
 637           vcvtph2uqq zmm6, xmm5, {rn-sae}
 638
 639 // CHECK: vcvtph2uqq zmm6 {k7}, xmmword ptr [esp + 8*esi + 268435456]
 640 // CHECK: encoding: [0x62,0xf5,0x7d,0x4f,0x79,0xb4,0xf4,0x00,0x00,0x00,0x10]
 641           vcvtph2uqq zmm6 {k7}, xmmword ptr [esp + 8*esi + 268435456]
 642
 643 // CHECK: vcvtph2uqq zmm6, word ptr [ecx]{1to8}
 644 // CHECK: encoding: [0x62,0xf5,0x7d,0x58,0x79,0x31]
 645           vcvtph2uqq zmm6, word ptr [ecx]{1to8}
 646
 647 // CHECK: vcvtph2uqq zmm6, xmmword ptr [ecx + 2032]
 648 // CHECK: encoding: [0x62,0xf5,0x7d,0x48,0x79,0x71,0x7f]
 649           vcvtph2uqq zmm6, xmmword ptr [ecx + 2032]
 650
 651 // CHECK: vcvtph2uqq zmm6 {k7} {z}, word ptr [edx - 256]{1to8}
 652 // CHECK: encoding: [0x62,0xf5,0x7d,0xdf,0x79,0x72,0x80]
 653           vcvtph2uqq zmm6 {k7} {z}, word ptr [edx - 256]{1to8}
 654
 655 // CHECK: vcvtph2uw zmm6, zmm5
 656 // CHECK: encoding: [0x62,0xf5,0x7c,0x48,0x7d,0xf5]
 657           vcvtph2uw zmm6, zmm5
 658
 659 // CHECK: vcvtph2uw zmm6, zmm5, {rn-sae}
 660 // CHECK: encoding: [0x62,0xf5,0x7c,0x18,0x7d,0xf5]
 661           vcvtph2uw zmm6, zmm5, {rn-sae}
 662
 663 // CHECK: vcvtph2uw zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
 664 // CHECK: encoding: [0x62,0xf5,0x7c,0x4f,0x7d,0xb4,0xf4,0x00,0x00,0x00,0x10]
 665           vcvtph2uw zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
 666
 667 // CHECK: vcvtph2uw zmm6, word ptr [ecx]{1to32}
 668 // CHECK: encoding: [0x62,0xf5,0x7c,0x58,0x7d,0x31]
 669           vcvtph2uw zmm6, word ptr [ecx]{1to32}
 670
 671 // CHECK: vcvtph2uw zmm6, zmmword ptr [ecx + 8128]
 672 // CHECK: encoding: [0x62,0xf5,0x7c,0x48,0x7d,0x71,0x7f]
 673           vcvtph2uw zmm6, zmmword ptr [ecx + 8128]
 674
 675 // CHECK: vcvtph2uw zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
 676 // CHECK: encoding: [0x62,0xf5,0x7c,0xdf,0x7d,0x72,0x80]
 677           vcvtph2uw zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
 678
 679 // CHECK: vcvtph2w zmm6, zmm5
 680 // CHECK: encoding: [0x62,0xf5,0x7d,0x48,0x7d,0xf5]
 681           vcvtph2w zmm6, zmm5
 682
 683 // CHECK: vcvtph2w zmm6, zmm5, {rn-sae}
 684 // CHECK: encoding: [0x62,0xf5,0x7d,0x18,0x7d,0xf5]
 685           vcvtph2w zmm6, zmm5, {rn-sae}
 686
 687 // CHECK: vcvtph2w zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
 688 // CHECK: encoding: [0x62,0xf5,0x7d,0x4f,0x7d,0xb4,0xf4,0x00,0x00,0x00,0x10]
 689           vcvtph2w zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
 690
 691 // CHECK: vcvtph2w zmm6, word ptr [ecx]{1to32}
 692 // CHECK: encoding: [0x62,0xf5,0x7d,0x58,0x7d,0x31]
 693           vcvtph2w zmm6, word ptr [ecx]{1to32}
 694
 695 // CHECK: vcvtph2w zmm6, zmmword ptr [ecx + 8128]
 696 // CHECK: encoding: [0x62,0xf5,0x7d,0x48,0x7d,0x71,0x7f]
 697           vcvtph2w zmm6, zmmword ptr [ecx + 8128]
 698
 699 // CHECK: vcvtph2w zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
 700 // CHECK: encoding: [0x62,0xf5,0x7d,0xdf,0x7d,0x72,0x80]
 701           vcvtph2w zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
 702
 703 // CHECK: vcvtps2phx ymm6, zmm5
 704 // CHECK: encoding: [0x62,0xf5,0x7d,0x48,0x1d,0xf5]
 705           vcvtps2phx ymm6, zmm5
 706
 707 // CHECK: vcvtps2phx ymm6, zmm5, {rn-sae}
 708 // CHECK: encoding: [0x62,0xf5,0x7d,0x18,0x1d,0xf5]
 709           vcvtps2phx ymm6, zmm5, {rn-sae}
 710
 711 // CHECK: vcvtps2phx ymm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
 712 // CHECK: encoding: [0x62,0xf5,0x7d,0x4f,0x1d,0xb4,0xf4,0x00,0x00,0x00,0x10]
 713           vcvtps2phx ymm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
 714
 715 // CHECK: vcvtps2phx ymm6, dword ptr [ecx]{1to16}
 716 // CHECK: encoding: [0x62,0xf5,0x7d,0x58,0x1d,0x31]
 717           vcvtps2phx ymm6, dword ptr [ecx]{1to16}
 718
 719 // CHECK: vcvtps2phx ymm6, zmmword ptr [ecx + 8128]
 720 // CHECK: encoding: [0x62,0xf5,0x7d,0x48,0x1d,0x71,0x7f]
 721           vcvtps2phx ymm6, zmmword ptr [ecx + 8128]
 722
 723 // CHECK: vcvtps2phx ymm6 {k7} {z}, dword ptr [edx - 512]{1to16}
 724 // CHECK: encoding: [0x62,0xf5,0x7d,0xdf,0x1d,0x72,0x80]
 725           vcvtps2phx ymm6 {k7} {z}, dword ptr [edx - 512]{1to16}
 726
 727 // CHECK: vcvtqq2ph xmm6, zmm5
 728 // CHECK: encoding: [0x62,0xf5,0xfc,0x48,0x5b,0xf5]
 729           vcvtqq2ph xmm6, zmm5
 730
 731 // CHECK: vcvtqq2ph xmm6, zmm5, {rn-sae}
 732 // CHECK: encoding: [0x62,0xf5,0xfc,0x18,0x5b,0xf5]
 733           vcvtqq2ph xmm6, zmm5, {rn-sae}
 734
 735 // CHECK: vcvtqq2ph xmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
 736 // CHECK: encoding: [0x62,0xf5,0xfc,0x4f,0x5b,0xb4,0xf4,0x00,0x00,0x00,0x10]
 737           vcvtqq2ph xmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
 738
 739 // CHECK: vcvtqq2ph xmm6, qword ptr [ecx]{1to8}
 740 // CHECK: encoding: [0x62,0xf5,0xfc,0x58,0x5b,0x31]
 741           vcvtqq2ph xmm6, qword ptr [ecx]{1to8}
 742
 743 // CHECK: vcvtqq2ph xmm6, zmmword ptr [ecx + 8128]
 744 // CHECK: encoding: [0x62,0xf5,0xfc,0x48,0x5b,0x71,0x7f]
 745           vcvtqq2ph xmm6, zmmword ptr [ecx + 8128]
 746
 747 // CHECK: vcvtqq2ph xmm6 {k7} {z}, qword ptr [edx - 1024]{1to8}
 748 // CHECK: encoding: [0x62,0xf5,0xfc,0xdf,0x5b,0x72,0x80]
 749           vcvtqq2ph xmm6 {k7} {z}, qword ptr [edx - 1024]{1to8}
 750
 751 // CHECK: vcvtsd2sh xmm6, xmm5, xmm4
 752 // CHECK: encoding: [0x62,0xf5,0xd7,0x08,0x5a,0xf4]
 753           vcvtsd2sh xmm6, xmm5, xmm4
 754
 755 // CHECK: vcvtsd2sh xmm6, xmm5, xmm4, {rn-sae}
 756 // CHECK: encoding: [0x62,0xf5,0xd7,0x18,0x5a,0xf4]
 757           vcvtsd2sh xmm6, xmm5, xmm4, {rn-sae}
 758
 759 // CHECK: vcvtsd2sh xmm6 {k7}, xmm5, qword ptr [esp + 8*esi + 268435456]
 760 // CHECK: encoding: [0x62,0xf5,0xd7,0x0f,0x5a,0xb4,0xf4,0x00,0x00,0x00,0x10]
 761           vcvtsd2sh xmm6 {k7}, xmm5, qword ptr [esp + 8*esi + 268435456]
 762
 763 // CHECK: vcvtsd2sh xmm6, xmm5, qword ptr [ecx]
 764 // CHECK: encoding: [0x62,0xf5,0xd7,0x08,0x5a,0x31]
 765           vcvtsd2sh xmm6, xmm5, qword ptr [ecx]
 766
 767 // CHECK: vcvtsd2sh xmm6, xmm5, qword ptr [ecx + 1016]
 768 // CHECK: encoding: [0x62,0xf5,0xd7,0x08,0x5a,0x71,0x7f]
 769           vcvtsd2sh xmm6, xmm5, qword ptr [ecx + 1016]
 770
 771 // CHECK: vcvtsd2sh xmm6 {k7} {z}, xmm5, qword ptr [edx - 1024]
 772 // CHECK: encoding: [0x62,0xf5,0xd7,0x8f,0x5a,0x72,0x80]
 773           vcvtsd2sh xmm6 {k7} {z}, xmm5, qword ptr [edx - 1024]
 774
 775 // CHECK: vcvtsh2sd xmm6, xmm5, xmm4
 776 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x5a,0xf4]
 777           vcvtsh2sd xmm6, xmm5, xmm4
 778
 779 // CHECK: vcvtsh2sd xmm6, xmm5, xmm4, {sae}
 780 // CHECK: encoding: [0x62,0xf5,0x56,0x18,0x5a,0xf4]
 781           vcvtsh2sd xmm6, xmm5, xmm4, {sae}
 782
 783 // CHECK: vcvtsh2sd xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 784 // CHECK: encoding: [0x62,0xf5,0x56,0x0f,0x5a,0xb4,0xf4,0x00,0x00,0x00,0x10]
 785           vcvtsh2sd xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 786
 787 // CHECK: vcvtsh2sd xmm6, xmm5, word ptr [ecx]
 788 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x5a,0x31]
 789           vcvtsh2sd xmm6, xmm5, word ptr [ecx]
 790
 791 // CHECK: vcvtsh2sd xmm6, xmm5, word ptr [ecx + 254]
 792 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x5a,0x71,0x7f]
 793           vcvtsh2sd xmm6, xmm5, word ptr [ecx + 254]
 794
 795 // CHECK: vcvtsh2sd xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
 796 // CHECK: encoding: [0x62,0xf5,0x56,0x8f,0x5a,0x72,0x80]
 797           vcvtsh2sd xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
 798
 799 // CHECK: vcvtsh2si edx, xmm6
 800 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2d,0xd6]
 801           vcvtsh2si edx, xmm6
 802
 803 // CHECK: vcvtsh2si edx, xmm6, {rn-sae}
 804 // CHECK: encoding: [0x62,0xf5,0x7e,0x18,0x2d,0xd6]
 805           vcvtsh2si edx, xmm6, {rn-sae}
 806
 807 // CHECK: vcvtsh2si edx, word ptr [esp + 8*esi + 268435456]
 808 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2d,0x94,0xf4,0x00,0x00,0x00,0x10]
 809           vcvtsh2si edx, word ptr [esp + 8*esi + 268435456]
 810
 811 // CHECK: vcvtsh2si edx, word ptr [ecx]
 812 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2d,0x11]
 813           vcvtsh2si edx, word ptr [ecx]
 814
 815 // CHECK: vcvtsh2si edx, word ptr [ecx + 254]
 816 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2d,0x51,0x7f]
 817           vcvtsh2si edx, word ptr [ecx + 254]
 818
 819 // CHECK: vcvtsh2si edx, word ptr [edx - 256]
 820 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2d,0x52,0x80]
 821           vcvtsh2si edx, word ptr [edx - 256]
 822
 823 // CHECK: vcvtsh2ss xmm6, xmm5, xmm4
 824 // CHECK: encoding: [0x62,0xf6,0x54,0x08,0x13,0xf4]
 825           vcvtsh2ss xmm6, xmm5, xmm4
 826
 827 // CHECK: vcvtsh2ss xmm6, xmm5, xmm4, {sae}
 828 // CHECK: encoding: [0x62,0xf6,0x54,0x18,0x13,0xf4]
 829           vcvtsh2ss xmm6, xmm5, xmm4, {sae}
 830
 831 // CHECK: vcvtsh2ss xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 832 // CHECK: encoding: [0x62,0xf6,0x54,0x0f,0x13,0xb4,0xf4,0x00,0x00,0x00,0x10]
 833           vcvtsh2ss xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
 834
 835 // CHECK: vcvtsh2ss xmm6, xmm5, word ptr [ecx]
 836 // CHECK: encoding: [0x62,0xf6,0x54,0x08,0x13,0x31]
 837           vcvtsh2ss xmm6, xmm5, word ptr [ecx]
 838
 839 // CHECK: vcvtsh2ss xmm6, xmm5, word ptr [ecx + 254]
 840 // CHECK: encoding: [0x62,0xf6,0x54,0x08,0x13,0x71,0x7f]
 841           vcvtsh2ss xmm6, xmm5, word ptr [ecx + 254]
 842
 843 // CHECK: vcvtsh2ss xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
 844 // CHECK: encoding: [0x62,0xf6,0x54,0x8f,0x13,0x72,0x80]
 845           vcvtsh2ss xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
 846
 847 // CHECK: vcvtsh2usi edx, xmm6
 848 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x79,0xd6]
 849           vcvtsh2usi edx, xmm6
 850
 851 // CHECK: vcvtsh2usi edx, xmm6, {rn-sae}
 852 // CHECK: encoding: [0x62,0xf5,0x7e,0x18,0x79,0xd6]
 853           vcvtsh2usi edx, xmm6, {rn-sae}
 854
 855 // CHECK: vcvtsh2usi edx, word ptr [esp + 8*esi + 268435456]
 856 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x79,0x94,0xf4,0x00,0x00,0x00,0x10]
 857           vcvtsh2usi edx, word ptr [esp + 8*esi + 268435456]
 858
 859 // CHECK: vcvtsh2usi edx, word ptr [ecx]
 860 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x79,0x11]
 861           vcvtsh2usi edx, word ptr [ecx]
 862
 863 // CHECK: vcvtsh2usi edx, word ptr [ecx + 254]
 864 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x79,0x51,0x7f]
 865           vcvtsh2usi edx, word ptr [ecx + 254]
 866
 867 // CHECK: vcvtsh2usi edx, word ptr [edx - 256]
 868 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x79,0x52,0x80]
 869           vcvtsh2usi edx, word ptr [edx - 256]
 870
 871 // CHECK: vcvtsi2sh xmm6, xmm5, edx
 872 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x2a,0xf2]
 873           vcvtsi2sh xmm6, xmm5, edx
 874
 875 // CHECK: vcvtsi2sh xmm6, xmm5, {rn-sae}, edx
 876 // CHECK: encoding: [0x62,0xf5,0x56,0x18,0x2a,0xf2]
 877           vcvtsi2sh xmm6, xmm5, {rn-sae}, edx
 878
 879 // CHECK: vcvtsi2sh xmm6, xmm5, dword ptr [esp + 8*esi + 268435456]
 880 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x2a,0xb4,0xf4,0x00,0x00,0x00,0x10]
 881           vcvtsi2sh xmm6, xmm5, dword ptr [esp + 8*esi + 268435456]
 882
 883 // CHECK: vcvtsi2sh xmm6, xmm5, dword ptr [ecx]
 884 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x2a,0x31]
 885           vcvtsi2sh xmm6, xmm5, dword ptr [ecx]
 886
 887 // CHECK: vcvtsi2sh xmm6, xmm5, dword ptr [ecx + 508]
 888 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x2a,0x71,0x7f]
 889           vcvtsi2sh xmm6, xmm5, dword ptr [ecx + 508]
 890
 891 // CHECK: vcvtsi2sh xmm6, xmm5, dword ptr [edx - 512]
 892 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x2a,0x72,0x80]
 893           vcvtsi2sh xmm6, xmm5, dword ptr [edx - 512]
 894
 895 // CHECK: vcvtss2sh xmm6, xmm5, xmm4
 896 // CHECK: encoding: [0x62,0xf5,0x54,0x08,0x1d,0xf4]
 897           vcvtss2sh xmm6, xmm5, xmm4
 898
 899 // CHECK: vcvtss2sh xmm6, xmm5, xmm4, {rn-sae}
 900 // CHECK: encoding: [0x62,0xf5,0x54,0x18,0x1d,0xf4]
 901           vcvtss2sh xmm6, xmm5, xmm4, {rn-sae}
 902
 903 // CHECK: vcvtss2sh xmm6 {k7}, xmm5, dword ptr [esp + 8*esi + 268435456]
 904 // CHECK: encoding: [0x62,0xf5,0x54,0x0f,0x1d,0xb4,0xf4,0x00,0x00,0x00,0x10]
 905           vcvtss2sh xmm6 {k7}, xmm5, dword ptr [esp + 8*esi + 268435456]
 906
 907 // CHECK: vcvtss2sh xmm6, xmm5, dword ptr [ecx]
 908 // CHECK: encoding: [0x62,0xf5,0x54,0x08,0x1d,0x31]
 909           vcvtss2sh xmm6, xmm5, dword ptr [ecx]
 910
 911 // CHECK: vcvtss2sh xmm6, xmm5, dword ptr [ecx + 508]
 912 // CHECK: encoding: [0x62,0xf5,0x54,0x08,0x1d,0x71,0x7f]
 913           vcvtss2sh xmm6, xmm5, dword ptr [ecx + 508]
 914
 915 // CHECK: vcvtss2sh xmm6 {k7} {z}, xmm5, dword ptr [edx - 512]
 916 // CHECK: encoding: [0x62,0xf5,0x54,0x8f,0x1d,0x72,0x80]
 917           vcvtss2sh xmm6 {k7} {z}, xmm5, dword ptr [edx - 512]
 918
 919 // CHECK: vcvttph2dq zmm6, ymm5
 920 // CHECK: encoding: [0x62,0xf5,0x7e,0x48,0x5b,0xf5]
 921           vcvttph2dq zmm6, ymm5
 922
 923 // CHECK: vcvttph2dq zmm6, ymm5, {sae}
 924 // CHECK: encoding: [0x62,0xf5,0x7e,0x18,0x5b,0xf5]
 925           vcvttph2dq zmm6, ymm5, {sae}
 926
 927 // CHECK: vcvttph2dq zmm6 {k7}, ymmword ptr [esp + 8*esi + 268435456]
 928 // CHECK: encoding: [0x62,0xf5,0x7e,0x4f,0x5b,0xb4,0xf4,0x00,0x00,0x00,0x10]
 929           vcvttph2dq zmm6 {k7}, ymmword ptr [esp + 8*esi + 268435456]
 930
 931 // CHECK: vcvttph2dq zmm6, word ptr [ecx]{1to16}
 932 // CHECK: encoding: [0x62,0xf5,0x7e,0x58,0x5b,0x31]
 933           vcvttph2dq zmm6, word ptr [ecx]{1to16}
 934
 935 // CHECK: vcvttph2dq zmm6, ymmword ptr [ecx + 4064]
 936 // CHECK: encoding: [0x62,0xf5,0x7e,0x48,0x5b,0x71,0x7f]
 937           vcvttph2dq zmm6, ymmword ptr [ecx + 4064]
 938
 939 // CHECK: vcvttph2dq zmm6 {k7} {z}, word ptr [edx - 256]{1to16}
 940 // CHECK: encoding: [0x62,0xf5,0x7e,0xdf,0x5b,0x72,0x80]
 941           vcvttph2dq zmm6 {k7} {z}, word ptr [edx - 256]{1to16}
 942
 943 // CHECK: vcvttph2qq zmm6, xmm5
 944 // CHECK: encoding: [0x62,0xf5,0x7d,0x48,0x7a,0xf5]
 945           vcvttph2qq zmm6, xmm5
 946
 947 // CHECK: vcvttph2qq zmm6, xmm5, {sae}
 948 // CHECK: encoding: [0x62,0xf5,0x7d,0x18,0x7a,0xf5]
 949           vcvttph2qq zmm6, xmm5, {sae}
 950
 951 // CHECK: vcvttph2qq zmm6 {k7}, xmmword ptr [esp + 8*esi + 268435456]
 952 // CHECK: encoding: [0x62,0xf5,0x7d,0x4f,0x7a,0xb4,0xf4,0x00,0x00,0x00,0x10]
 953           vcvttph2qq zmm6 {k7}, xmmword ptr [esp + 8*esi + 268435456]
 954
 955 // CHECK: vcvttph2qq zmm6, word ptr [ecx]{1to8}
 956 // CHECK: encoding: [0x62,0xf5,0x7d,0x58,0x7a,0x31]
 957           vcvttph2qq zmm6, word ptr [ecx]{1to8}
 958
 959 // CHECK: vcvttph2qq zmm6, xmmword ptr [ecx + 2032]
 960 // CHECK: encoding: [0x62,0xf5,0x7d,0x48,0x7a,0x71,0x7f]
 961           vcvttph2qq zmm6, xmmword ptr [ecx + 2032]
 962
 963 // CHECK: vcvttph2qq zmm6 {k7} {z}, word ptr [edx - 256]{1to8}
 964 // CHECK: encoding: [0x62,0xf5,0x7d,0xdf,0x7a,0x72,0x80]
 965           vcvttph2qq zmm6 {k7} {z}, word ptr [edx - 256]{1to8}
 966
 967 // CHECK: vcvttph2udq zmm6, ymm5
 968 // CHECK: encoding: [0x62,0xf5,0x7c,0x48,0x78,0xf5]
 969           vcvttph2udq zmm6, ymm5
 970
 971 // CHECK: vcvttph2udq zmm6, ymm5, {sae}
 972 // CHECK: encoding: [0x62,0xf5,0x7c,0x18,0x78,0xf5]
 973           vcvttph2udq zmm6, ymm5, {sae}
 974
 975 // CHECK: vcvttph2udq zmm6 {k7}, ymmword ptr [esp + 8*esi + 268435456]
 976 // CHECK: encoding: [0x62,0xf5,0x7c,0x4f,0x78,0xb4,0xf4,0x00,0x00,0x00,0x10]
 977           vcvttph2udq zmm6 {k7}, ymmword ptr [esp + 8*esi + 268435456]
 978
 979 // CHECK: vcvttph2udq zmm6, word ptr [ecx]{1to16}
 980 // CHECK: encoding: [0x62,0xf5,0x7c,0x58,0x78,0x31]
 981           vcvttph2udq zmm6, word ptr [ecx]{1to16}
 982
 983 // CHECK: vcvttph2udq zmm6, ymmword ptr [ecx + 4064]
 984 // CHECK: encoding: [0x62,0xf5,0x7c,0x48,0x78,0x71,0x7f]
 985           vcvttph2udq zmm6, ymmword ptr [ecx + 4064]
 986
 987 // CHECK: vcvttph2udq zmm6 {k7} {z}, word ptr [edx - 256]{1to16}
 988 // CHECK: encoding: [0x62,0xf5,0x7c,0xdf,0x78,0x72,0x80]
 989           vcvttph2udq zmm6 {k7} {z}, word ptr [edx - 256]{1to16}
 990
 991 // CHECK: vcvttph2uqq zmm6, xmm5
 992 // CHECK: encoding: [0x62,0xf5,0x7d,0x48,0x78,0xf5]
 993           vcvttph2uqq zmm6, xmm5
 994
 995 // CHECK: vcvttph2uqq zmm6, xmm5, {sae}
 996 // CHECK: encoding: [0x62,0xf5,0x7d,0x18,0x78,0xf5]
 997           vcvttph2uqq zmm6, xmm5, {sae}
 998
 999 // CHECK: vcvttph2uqq zmm6 {k7}, xmmword ptr [esp + 8*esi + 268435456]
1000 // CHECK: encoding: [0x62,0xf5,0x7d,0x4f,0x78,0xb4,0xf4,0x00,0x00,0x00,0x10]
1001           vcvttph2uqq zmm6 {k7}, xmmword ptr [esp + 8*esi + 268435456]
1002
1003 // CHECK: vcvttph2uqq zmm6, word ptr [ecx]{1to8}
1004 // CHECK: encoding: [0x62,0xf5,0x7d,0x58,0x78,0x31]
1005           vcvttph2uqq zmm6, word ptr [ecx]{1to8}
1006
1007 // CHECK: vcvttph2uqq zmm6, xmmword ptr [ecx + 2032]
1008 // CHECK: encoding: [0x62,0xf5,0x7d,0x48,0x78,0x71,0x7f]
1009           vcvttph2uqq zmm6, xmmword ptr [ecx + 2032]
1010
1011 // CHECK: vcvttph2uqq zmm6 {k7} {z}, word ptr [edx - 256]{1to8}
1012 // CHECK: encoding: [0x62,0xf5,0x7d,0xdf,0x78,0x72,0x80]
1013           vcvttph2uqq zmm6 {k7} {z}, word ptr [edx - 256]{1to8}
1014
1015 // CHECK: vcvttph2uw zmm6, zmm5
1016 // CHECK: encoding: [0x62,0xf5,0x7c,0x48,0x7c,0xf5]
1017           vcvttph2uw zmm6, zmm5
1018
1019 // CHECK: vcvttph2uw zmm6, zmm5, {sae}
1020 // CHECK: encoding: [0x62,0xf5,0x7c,0x18,0x7c,0xf5]
1021           vcvttph2uw zmm6, zmm5, {sae}
1022
1023 // CHECK: vcvttph2uw zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1024 // CHECK: encoding: [0x62,0xf5,0x7c,0x4f,0x7c,0xb4,0xf4,0x00,0x00,0x00,0x10]
1025           vcvttph2uw zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1026
1027 // CHECK: vcvttph2uw zmm6, word ptr [ecx]{1to32}
1028 // CHECK: encoding: [0x62,0xf5,0x7c,0x58,0x7c,0x31]
1029           vcvttph2uw zmm6, word ptr [ecx]{1to32}
1030
1031 // CHECK: vcvttph2uw zmm6, zmmword ptr [ecx + 8128]
1032 // CHECK: encoding: [0x62,0xf5,0x7c,0x48,0x7c,0x71,0x7f]
1033           vcvttph2uw zmm6, zmmword ptr [ecx + 8128]
1034
1035 // CHECK: vcvttph2uw zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
1036 // CHECK: encoding: [0x62,0xf5,0x7c,0xdf,0x7c,0x72,0x80]
1037           vcvttph2uw zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
1038
1039 // CHECK: vcvttph2w zmm6, zmm5
1040 // CHECK: encoding: [0x62,0xf5,0x7d,0x48,0x7c,0xf5]
1041           vcvttph2w zmm6, zmm5
1042
1043 // CHECK: vcvttph2w zmm6, zmm5, {sae}
1044 // CHECK: encoding: [0x62,0xf5,0x7d,0x18,0x7c,0xf5]
1045           vcvttph2w zmm6, zmm5, {sae}
1046
1047 // CHECK: vcvttph2w zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1048 // CHECK: encoding: [0x62,0xf5,0x7d,0x4f,0x7c,0xb4,0xf4,0x00,0x00,0x00,0x10]
1049           vcvttph2w zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1050
1051 // CHECK: vcvttph2w zmm6, word ptr [ecx]{1to32}
1052 // CHECK: encoding: [0x62,0xf5,0x7d,0x58,0x7c,0x31]
1053           vcvttph2w zmm6, word ptr [ecx]{1to32}
1054
1055 // CHECK: vcvttph2w zmm6, zmmword ptr [ecx + 8128]
1056 // CHECK: encoding: [0x62,0xf5,0x7d,0x48,0x7c,0x71,0x7f]
1057           vcvttph2w zmm6, zmmword ptr [ecx + 8128]
1058
1059 // CHECK: vcvttph2w zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
1060 // CHECK: encoding: [0x62,0xf5,0x7d,0xdf,0x7c,0x72,0x80]
1061           vcvttph2w zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
1062
1063 // CHECK: vcvttsh2si edx, xmm6
1064 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2c,0xd6]
1065           vcvttsh2si edx, xmm6
1066
1067 // CHECK: vcvttsh2si edx, xmm6, {sae}
1068 // CHECK: encoding: [0x62,0xf5,0x7e,0x18,0x2c,0xd6]
1069           vcvttsh2si edx, xmm6, {sae}
1070
1071 // CHECK: vcvttsh2si edx, word ptr [esp + 8*esi + 268435456]
1072 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2c,0x94,0xf4,0x00,0x00,0x00,0x10]
1073           vcvttsh2si edx, word ptr [esp + 8*esi + 268435456]
1074
1075 // CHECK: vcvttsh2si edx, word ptr [ecx]
1076 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2c,0x11]
1077           vcvttsh2si edx, word ptr [ecx]
1078
1079 // CHECK: vcvttsh2si edx, word ptr [ecx + 254]
1080 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2c,0x51,0x7f]
1081           vcvttsh2si edx, word ptr [ecx + 254]
1082
1083 // CHECK: vcvttsh2si edx, word ptr [edx - 256]
1084 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2c,0x52,0x80]
1085           vcvttsh2si edx, word ptr [edx - 256]
1086
1087 // CHECK: vcvttsh2usi edx, xmm6
1088 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x78,0xd6]
1089           vcvttsh2usi edx, xmm6
1090
1091 // CHECK: vcvttsh2usi edx, xmm6, {sae}
1092 // CHECK: encoding: [0x62,0xf5,0x7e,0x18,0x78,0xd6]
1093           vcvttsh2usi edx, xmm6, {sae}
1094
1095 // CHECK: vcvttsh2usi edx, word ptr [esp + 8*esi + 268435456]
1096 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x78,0x94,0xf4,0x00,0x00,0x00,0x10]
1097           vcvttsh2usi edx, word ptr [esp + 8*esi + 268435456]
1098
1099 // CHECK: vcvttsh2usi edx, word ptr [ecx]
1100 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x78,0x11]
1101           vcvttsh2usi edx, word ptr [ecx]
1102
1103 // CHECK: vcvttsh2usi edx, word ptr [ecx + 254]
1104 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x78,0x51,0x7f]
1105           vcvttsh2usi edx, word ptr [ecx + 254]
1106
1107 // CHECK: vcvttsh2usi edx, word ptr [edx - 256]
1108 // CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x78,0x52,0x80]
1109           vcvttsh2usi edx, word ptr [edx - 256]
1110
1111 // CHECK: vcvtudq2ph ymm6, zmm5
1112 // CHECK: encoding: [0x62,0xf5,0x7f,0x48,0x7a,0xf5]
1113           vcvtudq2ph ymm6, zmm5
1114
1115 // CHECK: vcvtudq2ph ymm6, zmm5, {rn-sae}
1116 // CHECK: encoding: [0x62,0xf5,0x7f,0x18,0x7a,0xf5]
1117           vcvtudq2ph ymm6, zmm5, {rn-sae}
1118
1119 // CHECK: vcvtudq2ph ymm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1120 // CHECK: encoding: [0x62,0xf5,0x7f,0x4f,0x7a,0xb4,0xf4,0x00,0x00,0x00,0x10]
1121           vcvtudq2ph ymm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1122
1123 // CHECK: vcvtudq2ph ymm6, dword ptr [ecx]{1to16}
1124 // CHECK: encoding: [0x62,0xf5,0x7f,0x58,0x7a,0x31]
1125           vcvtudq2ph ymm6, dword ptr [ecx]{1to16}
1126
1127 // CHECK: vcvtudq2ph ymm6, zmmword ptr [ecx + 8128]
1128 // CHECK: encoding: [0x62,0xf5,0x7f,0x48,0x7a,0x71,0x7f]
1129           vcvtudq2ph ymm6, zmmword ptr [ecx + 8128]
1130
1131 // CHECK: vcvtudq2ph ymm6 {k7} {z}, dword ptr [edx - 512]{1to16}
1132 // CHECK: encoding: [0x62,0xf5,0x7f,0xdf,0x7a,0x72,0x80]
1133           vcvtudq2ph ymm6 {k7} {z}, dword ptr [edx - 512]{1to16}
1134
1135 // CHECK: vcvtuqq2ph xmm6, zmm5
1136 // CHECK: encoding: [0x62,0xf5,0xff,0x48,0x7a,0xf5]
1137           vcvtuqq2ph xmm6, zmm5
1138
1139 // CHECK: vcvtuqq2ph xmm6, zmm5, {rn-sae}
1140 // CHECK: encoding: [0x62,0xf5,0xff,0x18,0x7a,0xf5]
1141           vcvtuqq2ph xmm6, zmm5, {rn-sae}
1142
1143 // CHECK: vcvtuqq2ph xmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1144 // CHECK: encoding: [0x62,0xf5,0xff,0x4f,0x7a,0xb4,0xf4,0x00,0x00,0x00,0x10]
1145           vcvtuqq2ph xmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1146
1147 // CHECK: vcvtuqq2ph xmm6, qword ptr [ecx]{1to8}
1148 // CHECK: encoding: [0x62,0xf5,0xff,0x58,0x7a,0x31]
1149           vcvtuqq2ph xmm6, qword ptr [ecx]{1to8}
1150
1151 // CHECK: vcvtuqq2ph xmm6, zmmword ptr [ecx + 8128]
1152 // CHECK: encoding: [0x62,0xf5,0xff,0x48,0x7a,0x71,0x7f]
1153           vcvtuqq2ph xmm6, zmmword ptr [ecx + 8128]
1154
1155 // CHECK: vcvtuqq2ph xmm6 {k7} {z}, qword ptr [edx - 1024]{1to8}
1156 // CHECK: encoding: [0x62,0xf5,0xff,0xdf,0x7a,0x72,0x80]
1157           vcvtuqq2ph xmm6 {k7} {z}, qword ptr [edx - 1024]{1to8}
1158
1159 // CHECK: vcvtusi2sh xmm6, xmm5, edx
1160 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x7b,0xf2]
1161           vcvtusi2sh xmm6, xmm5, edx
1162
1163 // CHECK: vcvtusi2sh xmm6, xmm5, {rn-sae}, edx
1164 // CHECK: encoding: [0x62,0xf5,0x56,0x18,0x7b,0xf2]
1165           vcvtusi2sh xmm6, xmm5, {rn-sae}, edx
1166
1167 // CHECK: vcvtusi2sh xmm6, xmm5, dword ptr [esp + 8*esi + 268435456]
1168 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x7b,0xb4,0xf4,0x00,0x00,0x00,0x10]
1169           vcvtusi2sh xmm6, xmm5, dword ptr [esp + 8*esi + 268435456]
1170
1171 // CHECK: vcvtusi2sh xmm6, xmm5, dword ptr [ecx]
1172 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x7b,0x31]
1173           vcvtusi2sh xmm6, xmm5, dword ptr [ecx]
1174
1175 // CHECK: vcvtusi2sh xmm6, xmm5, dword ptr [ecx + 508]
1176 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x7b,0x71,0x7f]
1177           vcvtusi2sh xmm6, xmm5, dword ptr [ecx + 508]
1178
1179 // CHECK: vcvtusi2sh xmm6, xmm5, dword ptr [edx - 512]
1180 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x7b,0x72,0x80]
1181           vcvtusi2sh xmm6, xmm5, dword ptr [edx - 512]
1182
1183 // CHECK: vcvtuw2ph zmm6, zmm5
1184 // CHECK: encoding: [0x62,0xf5,0x7f,0x48,0x7d,0xf5]
1185           vcvtuw2ph zmm6, zmm5
1186
1187 // CHECK: vcvtuw2ph zmm6, zmm5, {rn-sae}
1188 // CHECK: encoding: [0x62,0xf5,0x7f,0x18,0x7d,0xf5]
1189           vcvtuw2ph zmm6, zmm5, {rn-sae}
1190
1191 // CHECK: vcvtuw2ph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1192 // CHECK: encoding: [0x62,0xf5,0x7f,0x4f,0x7d,0xb4,0xf4,0x00,0x00,0x00,0x10]
1193           vcvtuw2ph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1194
1195 // CHECK: vcvtuw2ph zmm6, word ptr [ecx]{1to32}
1196 // CHECK: encoding: [0x62,0xf5,0x7f,0x58,0x7d,0x31]
1197           vcvtuw2ph zmm6, word ptr [ecx]{1to32}
1198
1199 // CHECK: vcvtuw2ph zmm6, zmmword ptr [ecx + 8128]
1200 // CHECK: encoding: [0x62,0xf5,0x7f,0x48,0x7d,0x71,0x7f]
1201           vcvtuw2ph zmm6, zmmword ptr [ecx + 8128]
1202
1203 // CHECK: vcvtuw2ph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
1204 // CHECK: encoding: [0x62,0xf5,0x7f,0xdf,0x7d,0x72,0x80]
1205           vcvtuw2ph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
1206
1207 // CHECK: vcvtw2ph zmm6, zmm5
1208 // CHECK: encoding: [0x62,0xf5,0x7e,0x48,0x7d,0xf5]
1209           vcvtw2ph zmm6, zmm5
1210
1211 // CHECK: vcvtw2ph zmm6, zmm5, {rn-sae}
1212 // CHECK: encoding: [0x62,0xf5,0x7e,0x18,0x7d,0xf5]
1213           vcvtw2ph zmm6, zmm5, {rn-sae}
1214
1215 // CHECK: vcvtw2ph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1216 // CHECK: encoding: [0x62,0xf5,0x7e,0x4f,0x7d,0xb4,0xf4,0x00,0x00,0x00,0x10]
1217           vcvtw2ph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1218
1219 // CHECK: vcvtw2ph zmm6, word ptr [ecx]{1to32}
1220 // CHECK: encoding: [0x62,0xf5,0x7e,0x58,0x7d,0x31]
1221           vcvtw2ph zmm6, word ptr [ecx]{1to32}
1222
1223 // CHECK: vcvtw2ph zmm6, zmmword ptr [ecx + 8128]
1224 // CHECK: encoding: [0x62,0xf5,0x7e,0x48,0x7d,0x71,0x7f]
1225           vcvtw2ph zmm6, zmmword ptr [ecx + 8128]
1226
1227 // CHECK: vcvtw2ph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
1228 // CHECK: encoding: [0x62,0xf5,0x7e,0xdf,0x7d,0x72,0x80]
1229           vcvtw2ph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
1230
1231 // CHECK: vfpclassph k5, zmm6, 123
1232 // CHECK: encoding: [0x62,0xf3,0x7c,0x48,0x66,0xee,0x7b]
1233           vfpclassph k5, zmm6, 123
1234
1235 // CHECK: vfpclassph k5 {k7}, zmmword ptr [esp + 8*esi + 268435456], 123
1236 // CHECK: encoding: [0x62,0xf3,0x7c,0x4f,0x66,0xac,0xf4,0x00,0x00,0x00,0x10,0x7b]
1237           vfpclassph k5 {k7}, zmmword ptr [esp + 8*esi + 268435456], 123
1238
1239 // CHECK: vfpclassph k5, word ptr [ecx]{1to32}, 123
1240 // CHECK: encoding: [0x62,0xf3,0x7c,0x58,0x66,0x29,0x7b]
1241           vfpclassph k5, word ptr [ecx]{1to32}, 123
1242
1243 // CHECK: vfpclassph k5, zmmword ptr [ecx + 8128], 123
1244 // CHECK: encoding: [0x62,0xf3,0x7c,0x48,0x66,0x69,0x7f,0x7b]
1245           vfpclassph k5, zmmword ptr [ecx + 8128], 123
1246
1247 // CHECK: vfpclassph k5 {k7}, word ptr [edx - 256]{1to32}, 123
1248 // CHECK: encoding: [0x62,0xf3,0x7c,0x5f,0x66,0x6a,0x80,0x7b]
1249           vfpclassph k5 {k7}, word ptr [edx - 256]{1to32}, 123
1250
1251 // CHECK: vfpclasssh k5, xmm6, 123
1252 // CHECK: encoding: [0x62,0xf3,0x7c,0x08,0x67,0xee,0x7b]
1253           vfpclasssh k5, xmm6, 123
1254
1255 // CHECK: vfpclasssh k5 {k7}, word ptr [esp + 8*esi + 268435456], 123
1256 // CHECK: encoding: [0x62,0xf3,0x7c,0x0f,0x67,0xac,0xf4,0x00,0x00,0x00,0x10,0x7b]
1257           vfpclasssh k5 {k7}, word ptr [esp + 8*esi + 268435456], 123
1258
1259 // CHECK: vfpclasssh k5, word ptr [ecx], 123
1260 // CHECK: encoding: [0x62,0xf3,0x7c,0x08,0x67,0x29,0x7b]
1261           vfpclasssh k5, word ptr [ecx], 123
1262
1263 // CHECK: vfpclasssh k5, word ptr [ecx + 254], 123
1264 // CHECK: encoding: [0x62,0xf3,0x7c,0x08,0x67,0x69,0x7f,0x7b]
1265           vfpclasssh k5, word ptr [ecx + 254], 123
1266
1267 // CHECK: vfpclasssh k5 {k7}, word ptr [edx - 256], 123
1268 // CHECK: encoding: [0x62,0xf3,0x7c,0x0f,0x67,0x6a,0x80,0x7b]
1269           vfpclasssh k5 {k7}, word ptr [edx - 256], 123
1270
1271 // CHECK: vgetexpph zmm6, zmm5
1272 // CHECK: encoding: [0x62,0xf6,0x7d,0x48,0x42,0xf5]
1273           vgetexpph zmm6, zmm5
1274
1275 // CHECK: vgetexpph zmm6, zmm5, {sae}
1276 // CHECK: encoding: [0x62,0xf6,0x7d,0x18,0x42,0xf5]
1277           vgetexpph zmm6, zmm5, {sae}
1278
1279 // CHECK: vgetexpph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1280 // CHECK: encoding: [0x62,0xf6,0x7d,0x4f,0x42,0xb4,0xf4,0x00,0x00,0x00,0x10]
1281           vgetexpph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1282
1283 // CHECK: vgetexpph zmm6, word ptr [ecx]{1to32}
1284 // CHECK: encoding: [0x62,0xf6,0x7d,0x58,0x42,0x31]
1285           vgetexpph zmm6, word ptr [ecx]{1to32}
1286
1287 // CHECK: vgetexpph zmm6, zmmword ptr [ecx + 8128]
1288 // CHECK: encoding: [0x62,0xf6,0x7d,0x48,0x42,0x71,0x7f]
1289           vgetexpph zmm6, zmmword ptr [ecx + 8128]
1290
1291 // CHECK: vgetexpph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
1292 // CHECK: encoding: [0x62,0xf6,0x7d,0xdf,0x42,0x72,0x80]
1293           vgetexpph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
1294
1295 // CHECK: vgetexpsh xmm6, xmm5, xmm4
1296 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x43,0xf4]
1297           vgetexpsh xmm6, xmm5, xmm4
1298
1299 // CHECK: vgetexpsh xmm6, xmm5, xmm4, {sae}
1300 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0x43,0xf4]
1301           vgetexpsh xmm6, xmm5, xmm4, {sae}
1302
1303 // CHECK: vgetexpsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1304 // CHECK: encoding: [0x62,0xf6,0x55,0x0f,0x43,0xb4,0xf4,0x00,0x00,0x00,0x10]
1305           vgetexpsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1306
1307 // CHECK: vgetexpsh xmm6, xmm5, word ptr [ecx]
1308 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x43,0x31]
1309           vgetexpsh xmm6, xmm5, word ptr [ecx]
1310
1311 // CHECK: vgetexpsh xmm6, xmm5, word ptr [ecx + 254]
1312 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x43,0x71,0x7f]
1313           vgetexpsh xmm6, xmm5, word ptr [ecx + 254]
1314
1315 // CHECK: vgetexpsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1316 // CHECK: encoding: [0x62,0xf6,0x55,0x8f,0x43,0x72,0x80]
1317           vgetexpsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1318
1319 // CHECK: vgetmantph zmm6, zmm5, 123
1320 // CHECK: encoding: [0x62,0xf3,0x7c,0x48,0x26,0xf5,0x7b]
1321           vgetmantph zmm6, zmm5, 123
1322
1323 // CHECK: vgetmantph zmm6, zmm5, {sae}, 123
1324 // CHECK: encoding: [0x62,0xf3,0x7c,0x18,0x26,0xf5,0x7b]
1325           vgetmantph zmm6, zmm5, {sae}, 123
1326
1327 // CHECK: vgetmantph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456], 123
1328 // CHECK: encoding: [0x62,0xf3,0x7c,0x4f,0x26,0xb4,0xf4,0x00,0x00,0x00,0x10,0x7b]
1329           vgetmantph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456], 123
1330
1331 // CHECK: vgetmantph zmm6, word ptr [ecx]{1to32}, 123
1332 // CHECK: encoding: [0x62,0xf3,0x7c,0x58,0x26,0x31,0x7b]
1333           vgetmantph zmm6, word ptr [ecx]{1to32}, 123
1334
1335 // CHECK: vgetmantph zmm6, zmmword ptr [ecx + 8128], 123
1336 // CHECK: encoding: [0x62,0xf3,0x7c,0x48,0x26,0x71,0x7f,0x7b]
1337           vgetmantph zmm6, zmmword ptr [ecx + 8128], 123
1338
1339 // CHECK: vgetmantph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}, 123
1340 // CHECK: encoding: [0x62,0xf3,0x7c,0xdf,0x26,0x72,0x80,0x7b]
1341           vgetmantph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}, 123
1342
1343 // CHECK: vgetmantsh xmm6, xmm5, xmm4, 123
1344 // CHECK: encoding: [0x62,0xf3,0x54,0x08,0x27,0xf4,0x7b]
1345           vgetmantsh xmm6, xmm5, xmm4, 123
1346
1347 // CHECK: vgetmantsh xmm6, xmm5, xmm4, {sae}, 123
1348 // CHECK: encoding: [0x62,0xf3,0x54,0x18,0x27,0xf4,0x7b]
1349           vgetmantsh xmm6, xmm5, xmm4, {sae}, 123
1350
1351 // CHECK: vgetmantsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456], 123
1352 // CHECK: encoding: [0x62,0xf3,0x54,0x0f,0x27,0xb4,0xf4,0x00,0x00,0x00,0x10,0x7b]
1353           vgetmantsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456], 123
1354
1355 // CHECK: vgetmantsh xmm6, xmm5, word ptr [ecx], 123
1356 // CHECK: encoding: [0x62,0xf3,0x54,0x08,0x27,0x31,0x7b]
1357           vgetmantsh xmm6, xmm5, word ptr [ecx], 123
1358
1359 // CHECK: vgetmantsh xmm6, xmm5, word ptr [ecx + 254], 123
1360 // CHECK: encoding: [0x62,0xf3,0x54,0x08,0x27,0x71,0x7f,0x7b]
1361           vgetmantsh xmm6, xmm5, word ptr [ecx + 254], 123
1362
1363 // CHECK: vgetmantsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256], 123
1364 // CHECK: encoding: [0x62,0xf3,0x54,0x8f,0x27,0x72,0x80,0x7b]
1365           vgetmantsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256], 123
1366
1367 // CHECK: vrcpph zmm6, zmm5
1368 // CHECK: encoding: [0x62,0xf6,0x7d,0x48,0x4c,0xf5]
1369           vrcpph zmm6, zmm5
1370
1371 // CHECK: vrcpph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1372 // CHECK: encoding: [0x62,0xf6,0x7d,0x4f,0x4c,0xb4,0xf4,0x00,0x00,0x00,0x10]
1373           vrcpph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1374
1375 // CHECK: vrcpph zmm6, word ptr [ecx]{1to32}
1376 // CHECK: encoding: [0x62,0xf6,0x7d,0x58,0x4c,0x31]
1377           vrcpph zmm6, word ptr [ecx]{1to32}
1378
1379 // CHECK: vrcpph zmm6, zmmword ptr [ecx + 8128]
1380 // CHECK: encoding: [0x62,0xf6,0x7d,0x48,0x4c,0x71,0x7f]
1381           vrcpph zmm6, zmmword ptr [ecx + 8128]
1382
1383 // CHECK: vrcpph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
1384 // CHECK: encoding: [0x62,0xf6,0x7d,0xdf,0x4c,0x72,0x80]
1385           vrcpph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
1386
1387 // CHECK: vrcpsh xmm6, xmm5, xmm4
1388 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x4d,0xf4]
1389           vrcpsh xmm6, xmm5, xmm4
1390
1391 // CHECK: vrcpsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1392 // CHECK: encoding: [0x62,0xf6,0x55,0x0f,0x4d,0xb4,0xf4,0x00,0x00,0x00,0x10]
1393           vrcpsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1394
1395 // CHECK: vrcpsh xmm6, xmm5, word ptr [ecx]
1396 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x4d,0x31]
1397           vrcpsh xmm6, xmm5, word ptr [ecx]
1398
1399 // CHECK: vrcpsh xmm6, xmm5, word ptr [ecx + 254]
1400 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x4d,0x71,0x7f]
1401           vrcpsh xmm6, xmm5, word ptr [ecx + 254]
1402
1403 // CHECK: vrcpsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1404 // CHECK: encoding: [0x62,0xf6,0x55,0x8f,0x4d,0x72,0x80]
1405           vrcpsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1406
1407 // CHECK: vreduceph zmm6, zmm5, 123
1408 // CHECK: encoding: [0x62,0xf3,0x7c,0x48,0x56,0xf5,0x7b]
1409           vreduceph zmm6, zmm5, 123
1410
1411 // CHECK: vreduceph zmm6, zmm5, {sae}, 123
1412 // CHECK: encoding: [0x62,0xf3,0x7c,0x18,0x56,0xf5,0x7b]
1413           vreduceph zmm6, zmm5, {sae}, 123
1414
1415 // CHECK: vreduceph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456], 123
1416 // CHECK: encoding: [0x62,0xf3,0x7c,0x4f,0x56,0xb4,0xf4,0x00,0x00,0x00,0x10,0x7b]
1417           vreduceph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456], 123
1418
1419 // CHECK: vreduceph zmm6, word ptr [ecx]{1to32}, 123
1420 // CHECK: encoding: [0x62,0xf3,0x7c,0x58,0x56,0x31,0x7b]
1421           vreduceph zmm6, word ptr [ecx]{1to32}, 123
1422
1423 // CHECK: vreduceph zmm6, zmmword ptr [ecx + 8128], 123
1424 // CHECK: encoding: [0x62,0xf3,0x7c,0x48,0x56,0x71,0x7f,0x7b]
1425           vreduceph zmm6, zmmword ptr [ecx + 8128], 123
1426
1427 // CHECK: vreduceph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}, 123
1428 // CHECK: encoding: [0x62,0xf3,0x7c,0xdf,0x56,0x72,0x80,0x7b]
1429           vreduceph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}, 123
1430
1431 // CHECK: vreducesh xmm6, xmm5, xmm4, 123
1432 // CHECK: encoding: [0x62,0xf3,0x54,0x08,0x57,0xf4,0x7b]
1433           vreducesh xmm6, xmm5, xmm4, 123
1434
1435 // CHECK: vreducesh xmm6, xmm5, xmm4, {sae}, 123
1436 // CHECK: encoding: [0x62,0xf3,0x54,0x18,0x57,0xf4,0x7b]
1437           vreducesh xmm6, xmm5, xmm4, {sae}, 123
1438
1439 // CHECK: vreducesh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456], 123
1440 // CHECK: encoding: [0x62,0xf3,0x54,0x0f,0x57,0xb4,0xf4,0x00,0x00,0x00,0x10,0x7b]
1441           vreducesh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456], 123
1442
1443 // CHECK: vreducesh xmm6, xmm5, word ptr [ecx], 123
1444 // CHECK: encoding: [0x62,0xf3,0x54,0x08,0x57,0x31,0x7b]
1445           vreducesh xmm6, xmm5, word ptr [ecx], 123
1446
1447 // CHECK: vreducesh xmm6, xmm5, word ptr [ecx + 254], 123
1448 // CHECK: encoding: [0x62,0xf3,0x54,0x08,0x57,0x71,0x7f,0x7b]
1449           vreducesh xmm6, xmm5, word ptr [ecx + 254], 123
1450
1451 // CHECK: vreducesh xmm6 {k7} {z}, xmm5, word ptr [edx - 256], 123
1452 // CHECK: encoding: [0x62,0xf3,0x54,0x8f,0x57,0x72,0x80,0x7b]
1453           vreducesh xmm6 {k7} {z}, xmm5, word ptr [edx - 256], 123
1454
1455 // CHECK: vrndscaleph zmm6, zmm5, 123
1456 // CHECK: encoding: [0x62,0xf3,0x7c,0x48,0x08,0xf5,0x7b]
1457           vrndscaleph zmm6, zmm5, 123
1458
1459 // CHECK: vrndscaleph zmm6, zmm5, {sae}, 123
1460 // CHECK: encoding: [0x62,0xf3,0x7c,0x18,0x08,0xf5,0x7b]
1461           vrndscaleph zmm6, zmm5, {sae}, 123
1462
1463 // CHECK: vrndscaleph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456], 123
1464 // CHECK: encoding: [0x62,0xf3,0x7c,0x4f,0x08,0xb4,0xf4,0x00,0x00,0x00,0x10,0x7b]
1465           vrndscaleph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456], 123
1466
1467 // CHECK: vrndscaleph zmm6, word ptr [ecx]{1to32}, 123
1468 // CHECK: encoding: [0x62,0xf3,0x7c,0x58,0x08,0x31,0x7b]
1469           vrndscaleph zmm6, word ptr [ecx]{1to32}, 123
1470
1471 // CHECK: vrndscaleph zmm6, zmmword ptr [ecx + 8128], 123
1472 // CHECK: encoding: [0x62,0xf3,0x7c,0x48,0x08,0x71,0x7f,0x7b]
1473           vrndscaleph zmm6, zmmword ptr [ecx + 8128], 123
1474
1475 // CHECK: vrndscaleph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}, 123
1476 // CHECK: encoding: [0x62,0xf3,0x7c,0xdf,0x08,0x72,0x80,0x7b]
1477           vrndscaleph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}, 123
1478
1479 // CHECK: vrndscalesh xmm6, xmm5, xmm4, 123
1480 // CHECK: encoding: [0x62,0xf3,0x54,0x08,0x0a,0xf4,0x7b]
1481           vrndscalesh xmm6, xmm5, xmm4, 123
1482
1483 // CHECK: vrndscalesh xmm6, xmm5, xmm4, {sae}, 123
1484 // CHECK: encoding: [0x62,0xf3,0x54,0x18,0x0a,0xf4,0x7b]
1485           vrndscalesh xmm6, xmm5, xmm4, {sae}, 123
1486
1487 // CHECK: vrndscalesh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456], 123
1488 // CHECK: encoding: [0x62,0xf3,0x54,0x0f,0x0a,0xb4,0xf4,0x00,0x00,0x00,0x10,0x7b]
1489           vrndscalesh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456], 123
1490
1491 // CHECK: vrndscalesh xmm6, xmm5, word ptr [ecx], 123
1492 // CHECK: encoding: [0x62,0xf3,0x54,0x08,0x0a,0x31,0x7b]
1493           vrndscalesh xmm6, xmm5, word ptr [ecx], 123
1494
1495 // CHECK: vrndscalesh xmm6, xmm5, word ptr [ecx + 254], 123
1496 // CHECK: encoding: [0x62,0xf3,0x54,0x08,0x0a,0x71,0x7f,0x7b]
1497           vrndscalesh xmm6, xmm5, word ptr [ecx + 254], 123
1498
1499 // CHECK: vrndscalesh xmm6 {k7} {z}, xmm5, word ptr [edx - 256], 123
1500 // CHECK: encoding: [0x62,0xf3,0x54,0x8f,0x0a,0x72,0x80,0x7b]
1501           vrndscalesh xmm6 {k7} {z}, xmm5, word ptr [edx - 256], 123
1502
1503 // CHECK: vrsqrtph zmm6, zmm5
1504 // CHECK: encoding: [0x62,0xf6,0x7d,0x48,0x4e,0xf5]
1505           vrsqrtph zmm6, zmm5
1506
1507 // CHECK: vrsqrtph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1508 // CHECK: encoding: [0x62,0xf6,0x7d,0x4f,0x4e,0xb4,0xf4,0x00,0x00,0x00,0x10]
1509           vrsqrtph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1510
1511 // CHECK: vrsqrtph zmm6, word ptr [ecx]{1to32}
1512 // CHECK: encoding: [0x62,0xf6,0x7d,0x58,0x4e,0x31]
1513           vrsqrtph zmm6, word ptr [ecx]{1to32}
1514
1515 // CHECK: vrsqrtph zmm6, zmmword ptr [ecx + 8128]
1516 // CHECK: encoding: [0x62,0xf6,0x7d,0x48,0x4e,0x71,0x7f]
1517           vrsqrtph zmm6, zmmword ptr [ecx + 8128]
1518
1519 // CHECK: vrsqrtph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
1520 // CHECK: encoding: [0x62,0xf6,0x7d,0xdf,0x4e,0x72,0x80]
1521           vrsqrtph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
1522
1523 // CHECK: vrsqrtsh xmm6, xmm5, xmm4
1524 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x4f,0xf4]
1525           vrsqrtsh xmm6, xmm5, xmm4
1526
1527 // CHECK: vrsqrtsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1528 // CHECK: encoding: [0x62,0xf6,0x55,0x0f,0x4f,0xb4,0xf4,0x00,0x00,0x00,0x10]
1529           vrsqrtsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1530
1531 // CHECK: vrsqrtsh xmm6, xmm5, word ptr [ecx]
1532 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x4f,0x31]
1533           vrsqrtsh xmm6, xmm5, word ptr [ecx]
1534
1535 // CHECK: vrsqrtsh xmm6, xmm5, word ptr [ecx + 254]
1536 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x4f,0x71,0x7f]
1537           vrsqrtsh xmm6, xmm5, word ptr [ecx + 254]
1538
1539 // CHECK: vrsqrtsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1540 // CHECK: encoding: [0x62,0xf6,0x55,0x8f,0x4f,0x72,0x80]
1541           vrsqrtsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1542
1543 // CHECK: vscalefph zmm6, zmm5, zmm4
1544 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0x2c,0xf4]
1545           vscalefph zmm6, zmm5, zmm4
1546
1547 // CHECK: vscalefph zmm6, zmm5, zmm4, {rn-sae}
1548 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0x2c,0xf4]
1549           vscalefph zmm6, zmm5, zmm4, {rn-sae}
1550
1551 // CHECK: vscalefph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1552 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0x2c,0xb4,0xf4,0x00,0x00,0x00,0x10]
1553           vscalefph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1554
1555 // CHECK: vscalefph zmm6, zmm5, word ptr [ecx]{1to32}
1556 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0x2c,0x31]
1557           vscalefph zmm6, zmm5, word ptr [ecx]{1to32}
1558
1559 // CHECK: vscalefph zmm6, zmm5, zmmword ptr [ecx + 8128]
1560 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0x2c,0x71,0x7f]
1561           vscalefph zmm6, zmm5, zmmword ptr [ecx + 8128]
1562
1563 // CHECK: vscalefph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1564 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0x2c,0x72,0x80]
1565           vscalefph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1566
1567 // CHECK: vscalefsh xmm6, xmm5, xmm4
1568 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x2d,0xf4]
1569           vscalefsh xmm6, xmm5, xmm4
1570
1571 // CHECK: vscalefsh xmm6, xmm5, xmm4, {rn-sae}
1572 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0x2d,0xf4]
1573           vscalefsh xmm6, xmm5, xmm4, {rn-sae}
1574
1575 // CHECK: vscalefsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1576 // CHECK: encoding: [0x62,0xf6,0x55,0x0f,0x2d,0xb4,0xf4,0x00,0x00,0x00,0x10]
1577           vscalefsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1578
1579 // CHECK: vscalefsh xmm6, xmm5, word ptr [ecx]
1580 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x2d,0x31]
1581           vscalefsh xmm6, xmm5, word ptr [ecx]
1582
1583 // CHECK: vscalefsh xmm6, xmm5, word ptr [ecx + 254]
1584 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x2d,0x71,0x7f]
1585           vscalefsh xmm6, xmm5, word ptr [ecx + 254]
1586
1587 // CHECK: vscalefsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1588 // CHECK: encoding: [0x62,0xf6,0x55,0x8f,0x2d,0x72,0x80]
1589           vscalefsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1590
1591 // CHECK: vsqrtph zmm6, zmm5
1592 // CHECK: encoding: [0x62,0xf5,0x7c,0x48,0x51,0xf5]
1593           vsqrtph zmm6, zmm5
1594
1595 // CHECK: vsqrtph zmm6, zmm5, {rn-sae}
1596 // CHECK: encoding: [0x62,0xf5,0x7c,0x18,0x51,0xf5]
1597           vsqrtph zmm6, zmm5, {rn-sae}
1598
1599 // CHECK: vsqrtph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1600 // CHECK: encoding: [0x62,0xf5,0x7c,0x4f,0x51,0xb4,0xf4,0x00,0x00,0x00,0x10]
1601           vsqrtph zmm6 {k7}, zmmword ptr [esp + 8*esi + 268435456]
1602
1603 // CHECK: vsqrtph zmm6, word ptr [ecx]{1to32}
1604 // CHECK: encoding: [0x62,0xf5,0x7c,0x58,0x51,0x31]
1605           vsqrtph zmm6, word ptr [ecx]{1to32}
1606
1607 // CHECK: vsqrtph zmm6, zmmword ptr [ecx + 8128]
1608 // CHECK: encoding: [0x62,0xf5,0x7c,0x48,0x51,0x71,0x7f]
1609           vsqrtph zmm6, zmmword ptr [ecx + 8128]
1610
1611 // CHECK: vsqrtph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
1612 // CHECK: encoding: [0x62,0xf5,0x7c,0xdf,0x51,0x72,0x80]
1613           vsqrtph zmm6 {k7} {z}, word ptr [edx - 256]{1to32}
1614
1615 // CHECK: vsqrtsh xmm6, xmm5, xmm4
1616 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x51,0xf4]
1617           vsqrtsh xmm6, xmm5, xmm4
1618
1619 // CHECK: vsqrtsh xmm6, xmm5, xmm4, {rn-sae}
1620 // CHECK: encoding: [0x62,0xf5,0x56,0x18,0x51,0xf4]
1621           vsqrtsh xmm6, xmm5, xmm4, {rn-sae}
1622
1623 // CHECK: vsqrtsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1624 // CHECK: encoding: [0x62,0xf5,0x56,0x0f,0x51,0xb4,0xf4,0x00,0x00,0x00,0x10]
1625           vsqrtsh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1626
1627 // CHECK: vsqrtsh xmm6, xmm5, word ptr [ecx]
1628 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x51,0x31]
1629           vsqrtsh xmm6, xmm5, word ptr [ecx]
1630
1631 // CHECK: vsqrtsh xmm6, xmm5, word ptr [ecx + 254]
1632 // CHECK: encoding: [0x62,0xf5,0x56,0x08,0x51,0x71,0x7f]
1633           vsqrtsh xmm6, xmm5, word ptr [ecx + 254]
1634
1635 // CHECK: vsqrtsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1636 // CHECK: encoding: [0x62,0xf5,0x56,0x8f,0x51,0x72,0x80]
1637           vsqrtsh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1638
1639 // CHECK: vfmadd132ph zmm6, zmm5, zmm4
1640 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0x98,0xf4]
1641           vfmadd132ph zmm6, zmm5, zmm4
1642
1643 // CHECK: vfmadd132ph zmm6, zmm5, zmm4, {rn-sae}
1644 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0x98,0xf4]
1645           vfmadd132ph zmm6, zmm5, zmm4, {rn-sae}
1646
1647 // CHECK: vfmadd132ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1648 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0x98,0xb4,0xf4,0x00,0x00,0x00,0x10]
1649           vfmadd132ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1650
1651 // CHECK: vfmadd132ph zmm6, zmm5, word ptr [ecx]{1to32}
1652 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0x98,0x31]
1653           vfmadd132ph zmm6, zmm5, word ptr [ecx]{1to32}
1654
1655 // CHECK: vfmadd132ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1656 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0x98,0x71,0x7f]
1657           vfmadd132ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1658
1659 // CHECK: vfmadd132ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1660 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0x98,0x72,0x80]
1661           vfmadd132ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1662
1663 // CHECK: vfmadd132sh xmm6, xmm5, xmm4
1664 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x99,0xf4]
1665           vfmadd132sh xmm6, xmm5, xmm4
1666
1667 // CHECK: vfmadd132sh xmm6, xmm5, xmm4, {rn-sae}
1668 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0x99,0xf4]
1669           vfmadd132sh xmm6, xmm5, xmm4, {rn-sae}
1670
1671 // CHECK: vfmadd132sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1672 // CHECK: encoding: [0x62,0xf6,0x55,0x0f,0x99,0xb4,0xf4,0x00,0x00,0x00,0x10]
1673           vfmadd132sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1674
1675 // CHECK: vfmadd132sh xmm6, xmm5, word ptr [ecx]
1676 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x99,0x31]
1677           vfmadd132sh xmm6, xmm5, word ptr [ecx]
1678
1679 // CHECK: vfmadd132sh xmm6, xmm5, word ptr [ecx + 254]
1680 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x99,0x71,0x7f]
1681           vfmadd132sh xmm6, xmm5, word ptr [ecx + 254]
1682
1683 // CHECK: vfmadd132sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1684 // CHECK: encoding: [0x62,0xf6,0x55,0x8f,0x99,0x72,0x80]
1685           vfmadd132sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1686
1687 // CHECK: vfmadd213ph zmm6, zmm5, zmm4
1688 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xa8,0xf4]
1689           vfmadd213ph zmm6, zmm5, zmm4
1690
1691 // CHECK: vfmadd213ph zmm6, zmm5, zmm4, {rn-sae}
1692 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xa8,0xf4]
1693           vfmadd213ph zmm6, zmm5, zmm4, {rn-sae}
1694
1695 // CHECK: vfmadd213ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1696 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0xa8,0xb4,0xf4,0x00,0x00,0x00,0x10]
1697           vfmadd213ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1698
1699 // CHECK: vfmadd213ph zmm6, zmm5, word ptr [ecx]{1to32}
1700 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0xa8,0x31]
1701           vfmadd213ph zmm6, zmm5, word ptr [ecx]{1to32}
1702
1703 // CHECK: vfmadd213ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1704 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xa8,0x71,0x7f]
1705           vfmadd213ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1706
1707 // CHECK: vfmadd213ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1708 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0xa8,0x72,0x80]
1709           vfmadd213ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1710
1711 // CHECK: vfmadd213sh xmm6, xmm5, xmm4
1712 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xa9,0xf4]
1713           vfmadd213sh xmm6, xmm5, xmm4
1714
1715 // CHECK: vfmadd213sh xmm6, xmm5, xmm4, {rn-sae}
1716 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xa9,0xf4]
1717           vfmadd213sh xmm6, xmm5, xmm4, {rn-sae}
1718
1719 // CHECK: vfmadd213sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1720 // CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xa9,0xb4,0xf4,0x00,0x00,0x00,0x10]
1721           vfmadd213sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1722
1723 // CHECK: vfmadd213sh xmm6, xmm5, word ptr [ecx]
1724 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xa9,0x31]
1725           vfmadd213sh xmm6, xmm5, word ptr [ecx]
1726
1727 // CHECK: vfmadd213sh xmm6, xmm5, word ptr [ecx + 254]
1728 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xa9,0x71,0x7f]
1729           vfmadd213sh xmm6, xmm5, word ptr [ecx + 254]
1730
1731 // CHECK: vfmadd213sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1732 // CHECK: encoding: [0x62,0xf6,0x55,0x8f,0xa9,0x72,0x80]
1733           vfmadd213sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1734
1735 // CHECK: vfmadd231ph zmm6, zmm5, zmm4
1736 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xb8,0xf4]
1737           vfmadd231ph zmm6, zmm5, zmm4
1738
1739 // CHECK: vfmadd231ph zmm6, zmm5, zmm4, {rn-sae}
1740 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xb8,0xf4]
1741           vfmadd231ph zmm6, zmm5, zmm4, {rn-sae}
1742
1743 // CHECK: vfmadd231ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1744 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0xb8,0xb4,0xf4,0x00,0x00,0x00,0x10]
1745           vfmadd231ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1746
1747 // CHECK: vfmadd231ph zmm6, zmm5, word ptr [ecx]{1to32}
1748 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0xb8,0x31]
1749           vfmadd231ph zmm6, zmm5, word ptr [ecx]{1to32}
1750
1751 // CHECK: vfmadd231ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1752 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xb8,0x71,0x7f]
1753           vfmadd231ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1754
1755 // CHECK: vfmadd231ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1756 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0xb8,0x72,0x80]
1757           vfmadd231ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1758
1759 // CHECK: vfmadd231sh xmm6, xmm5, xmm4
1760 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xb9,0xf4]
1761           vfmadd231sh xmm6, xmm5, xmm4
1762
1763 // CHECK: vfmadd231sh xmm6, xmm5, xmm4, {rn-sae}
1764 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xb9,0xf4]
1765           vfmadd231sh xmm6, xmm5, xmm4, {rn-sae}
1766
1767 // CHECK: vfmadd231sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1768 // CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xb9,0xb4,0xf4,0x00,0x00,0x00,0x10]
1769           vfmadd231sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1770
1771 // CHECK: vfmadd231sh xmm6, xmm5, word ptr [ecx]
1772 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xb9,0x31]
1773           vfmadd231sh xmm6, xmm5, word ptr [ecx]
1774
1775 // CHECK: vfmadd231sh xmm6, xmm5, word ptr [ecx + 254]
1776 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xb9,0x71,0x7f]
1777           vfmadd231sh xmm6, xmm5, word ptr [ecx + 254]
1778
1779 // CHECK: vfmadd231sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1780 // CHECK: encoding: [0x62,0xf6,0x55,0x8f,0xb9,0x72,0x80]
1781           vfmadd231sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1782
1783 // CHECK: vfmaddsub132ph zmm6, zmm5, zmm4
1784 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0x96,0xf4]
1785           vfmaddsub132ph zmm6, zmm5, zmm4
1786
1787 // CHECK: vfmaddsub132ph zmm6, zmm5, zmm4, {rn-sae}
1788 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0x96,0xf4]
1789           vfmaddsub132ph zmm6, zmm5, zmm4, {rn-sae}
1790
1791 // CHECK: vfmaddsub132ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1792 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0x96,0xb4,0xf4,0x00,0x00,0x00,0x10]
1793           vfmaddsub132ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1794
1795 // CHECK: vfmaddsub132ph zmm6, zmm5, word ptr [ecx]{1to32}
1796 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0x96,0x31]
1797           vfmaddsub132ph zmm6, zmm5, word ptr [ecx]{1to32}
1798
1799 // CHECK: vfmaddsub132ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1800 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0x96,0x71,0x7f]
1801           vfmaddsub132ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1802
1803 // CHECK: vfmaddsub132ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1804 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0x96,0x72,0x80]
1805           vfmaddsub132ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1806
1807 // CHECK: vfmaddsub213ph zmm6, zmm5, zmm4
1808 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xa6,0xf4]
1809           vfmaddsub213ph zmm6, zmm5, zmm4
1810
1811 // CHECK: vfmaddsub213ph zmm6, zmm5, zmm4, {rn-sae}
1812 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xa6,0xf4]
1813           vfmaddsub213ph zmm6, zmm5, zmm4, {rn-sae}
1814
1815 // CHECK: vfmaddsub213ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1816 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0xa6,0xb4,0xf4,0x00,0x00,0x00,0x10]
1817           vfmaddsub213ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1818
1819 // CHECK: vfmaddsub213ph zmm6, zmm5, word ptr [ecx]{1to32}
1820 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0xa6,0x31]
1821           vfmaddsub213ph zmm6, zmm5, word ptr [ecx]{1to32}
1822
1823 // CHECK: vfmaddsub213ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1824 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xa6,0x71,0x7f]
1825           vfmaddsub213ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1826
1827 // CHECK: vfmaddsub213ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1828 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0xa6,0x72,0x80]
1829           vfmaddsub213ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1830
1831 // CHECK: vfmaddsub231ph zmm6, zmm5, zmm4
1832 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xb6,0xf4]
1833           vfmaddsub231ph zmm6, zmm5, zmm4
1834
1835 // CHECK: vfmaddsub231ph zmm6, zmm5, zmm4, {rn-sae}
1836 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xb6,0xf4]
1837           vfmaddsub231ph zmm6, zmm5, zmm4, {rn-sae}
1838
1839 // CHECK: vfmaddsub231ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1840 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0xb6,0xb4,0xf4,0x00,0x00,0x00,0x10]
1841           vfmaddsub231ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1842
1843 // CHECK: vfmaddsub231ph zmm6, zmm5, word ptr [ecx]{1to32}
1844 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0xb6,0x31]
1845           vfmaddsub231ph zmm6, zmm5, word ptr [ecx]{1to32}
1846
1847 // CHECK: vfmaddsub231ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1848 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xb6,0x71,0x7f]
1849           vfmaddsub231ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1850
1851 // CHECK: vfmaddsub231ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1852 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0xb6,0x72,0x80]
1853           vfmaddsub231ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1854
1855 // CHECK: vfmsub132ph zmm6, zmm5, zmm4
1856 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0x9a,0xf4]
1857           vfmsub132ph zmm6, zmm5, zmm4
1858
1859 // CHECK: vfmsub132ph zmm6, zmm5, zmm4, {rn-sae}
1860 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0x9a,0xf4]
1861           vfmsub132ph zmm6, zmm5, zmm4, {rn-sae}
1862
1863 // CHECK: vfmsub132ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1864 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0x9a,0xb4,0xf4,0x00,0x00,0x00,0x10]
1865           vfmsub132ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1866
1867 // CHECK: vfmsub132ph zmm6, zmm5, word ptr [ecx]{1to32}
1868 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0x9a,0x31]
1869           vfmsub132ph zmm6, zmm5, word ptr [ecx]{1to32}
1870
1871 // CHECK: vfmsub132ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1872 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0x9a,0x71,0x7f]
1873           vfmsub132ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1874
1875 // CHECK: vfmsub132ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1876 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0x9a,0x72,0x80]
1877           vfmsub132ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1878
1879 // CHECK: vfmsub132sh xmm6, xmm5, xmm4
1880 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x9b,0xf4]
1881           vfmsub132sh xmm6, xmm5, xmm4
1882
1883 // CHECK: vfmsub132sh xmm6, xmm5, xmm4, {rn-sae}
1884 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0x9b,0xf4]
1885           vfmsub132sh xmm6, xmm5, xmm4, {rn-sae}
1886
1887 // CHECK: vfmsub132sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1888 // CHECK: encoding: [0x62,0xf6,0x55,0x0f,0x9b,0xb4,0xf4,0x00,0x00,0x00,0x10]
1889           vfmsub132sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1890
1891 // CHECK: vfmsub132sh xmm6, xmm5, word ptr [ecx]
1892 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x9b,0x31]
1893           vfmsub132sh xmm6, xmm5, word ptr [ecx]
1894
1895 // CHECK: vfmsub132sh xmm6, xmm5, word ptr [ecx + 254]
1896 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x9b,0x71,0x7f]
1897           vfmsub132sh xmm6, xmm5, word ptr [ecx + 254]
1898
1899 // CHECK: vfmsub132sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1900 // CHECK: encoding: [0x62,0xf6,0x55,0x8f,0x9b,0x72,0x80]
1901           vfmsub132sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1902
1903 // CHECK: vfmsub213ph zmm6, zmm5, zmm4
1904 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xaa,0xf4]
1905           vfmsub213ph zmm6, zmm5, zmm4
1906
1907 // CHECK: vfmsub213ph zmm6, zmm5, zmm4, {rn-sae}
1908 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xaa,0xf4]
1909           vfmsub213ph zmm6, zmm5, zmm4, {rn-sae}
1910
1911 // CHECK: vfmsub213ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1912 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0xaa,0xb4,0xf4,0x00,0x00,0x00,0x10]
1913           vfmsub213ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1914
1915 // CHECK: vfmsub213ph zmm6, zmm5, word ptr [ecx]{1to32}
1916 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0xaa,0x31]
1917           vfmsub213ph zmm6, zmm5, word ptr [ecx]{1to32}
1918
1919 // CHECK: vfmsub213ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1920 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xaa,0x71,0x7f]
1921           vfmsub213ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1922
1923 // CHECK: vfmsub213ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1924 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0xaa,0x72,0x80]
1925           vfmsub213ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1926
1927 // CHECK: vfmsub213sh xmm6, xmm5, xmm4
1928 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xab,0xf4]
1929           vfmsub213sh xmm6, xmm5, xmm4
1930
1931 // CHECK: vfmsub213sh xmm6, xmm5, xmm4, {rn-sae}
1932 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xab,0xf4]
1933           vfmsub213sh xmm6, xmm5, xmm4, {rn-sae}
1934
1935 // CHECK: vfmsub213sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1936 // CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xab,0xb4,0xf4,0x00,0x00,0x00,0x10]
1937           vfmsub213sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1938
1939 // CHECK: vfmsub213sh xmm6, xmm5, word ptr [ecx]
1940 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xab,0x31]
1941           vfmsub213sh xmm6, xmm5, word ptr [ecx]
1942
1943 // CHECK: vfmsub213sh xmm6, xmm5, word ptr [ecx + 254]
1944 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xab,0x71,0x7f]
1945           vfmsub213sh xmm6, xmm5, word ptr [ecx + 254]
1946
1947 // CHECK: vfmsub213sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1948 // CHECK: encoding: [0x62,0xf6,0x55,0x8f,0xab,0x72,0x80]
1949           vfmsub213sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1950
1951 // CHECK: vfmsub231ph zmm6, zmm5, zmm4
1952 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xba,0xf4]
1953           vfmsub231ph zmm6, zmm5, zmm4
1954
1955 // CHECK: vfmsub231ph zmm6, zmm5, zmm4, {rn-sae}
1956 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xba,0xf4]
1957           vfmsub231ph zmm6, zmm5, zmm4, {rn-sae}
1958
1959 // CHECK: vfmsub231ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1960 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0xba,0xb4,0xf4,0x00,0x00,0x00,0x10]
1961           vfmsub231ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
1962
1963 // CHECK: vfmsub231ph zmm6, zmm5, word ptr [ecx]{1to32}
1964 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0xba,0x31]
1965           vfmsub231ph zmm6, zmm5, word ptr [ecx]{1to32}
1966
1967 // CHECK: vfmsub231ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1968 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xba,0x71,0x7f]
1969           vfmsub231ph zmm6, zmm5, zmmword ptr [ecx + 8128]
1970
1971 // CHECK: vfmsub231ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1972 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0xba,0x72,0x80]
1973           vfmsub231ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
1974
1975 // CHECK: vfmsub231sh xmm6, xmm5, xmm4
1976 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xbb,0xf4]
1977           vfmsub231sh xmm6, xmm5, xmm4
1978
1979 // CHECK: vfmsub231sh xmm6, xmm5, xmm4, {rn-sae}
1980 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xbb,0xf4]
1981           vfmsub231sh xmm6, xmm5, xmm4, {rn-sae}
1982
1983 // CHECK: vfmsub231sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1984 // CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xbb,0xb4,0xf4,0x00,0x00,0x00,0x10]
1985           vfmsub231sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
1986
1987 // CHECK: vfmsub231sh xmm6, xmm5, word ptr [ecx]
1988 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xbb,0x31]
1989           vfmsub231sh xmm6, xmm5, word ptr [ecx]
1990
1991 // CHECK: vfmsub231sh xmm6, xmm5, word ptr [ecx + 254]
1992 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xbb,0x71,0x7f]
1993           vfmsub231sh xmm6, xmm5, word ptr [ecx + 254]
1994
1995 // CHECK: vfmsub231sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1996 // CHECK: encoding: [0x62,0xf6,0x55,0x8f,0xbb,0x72,0x80]
1997           vfmsub231sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
1998
1999 // CHECK: vfmsubadd132ph zmm6, zmm5, zmm4
2000 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0x97,0xf4]
2001           vfmsubadd132ph zmm6, zmm5, zmm4
2002
2003 // CHECK: vfmsubadd132ph zmm6, zmm5, zmm4, {rn-sae}
2004 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0x97,0xf4]
2005           vfmsubadd132ph zmm6, zmm5, zmm4, {rn-sae}
2006
2007 // CHECK: vfmsubadd132ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2008 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0x97,0xb4,0xf4,0x00,0x00,0x00,0x10]
2009           vfmsubadd132ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2010
2011 // CHECK: vfmsubadd132ph zmm6, zmm5, word ptr [ecx]{1to32}
2012 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0x97,0x31]
2013           vfmsubadd132ph zmm6, zmm5, word ptr [ecx]{1to32}
2014
2015 // CHECK: vfmsubadd132ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2016 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0x97,0x71,0x7f]
2017           vfmsubadd132ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2018
2019 // CHECK: vfmsubadd132ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2020 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0x97,0x72,0x80]
2021           vfmsubadd132ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2022
2023 // CHECK: vfmsubadd213ph zmm6, zmm5, zmm4
2024 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xa7,0xf4]
2025           vfmsubadd213ph zmm6, zmm5, zmm4
2026
2027 // CHECK: vfmsubadd213ph zmm6, zmm5, zmm4, {rn-sae}
2028 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xa7,0xf4]
2029           vfmsubadd213ph zmm6, zmm5, zmm4, {rn-sae}
2030
2031 // CHECK: vfmsubadd213ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2032 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0xa7,0xb4,0xf4,0x00,0x00,0x00,0x10]
2033           vfmsubadd213ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2034
2035 // CHECK: vfmsubadd213ph zmm6, zmm5, word ptr [ecx]{1to32}
2036 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0xa7,0x31]
2037           vfmsubadd213ph zmm6, zmm5, word ptr [ecx]{1to32}
2038
2039 // CHECK: vfmsubadd213ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2040 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xa7,0x71,0x7f]
2041           vfmsubadd213ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2042
2043 // CHECK: vfmsubadd213ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2044 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0xa7,0x72,0x80]
2045           vfmsubadd213ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2046
2047 // CHECK: vfmsubadd231ph zmm6, zmm5, zmm4
2048 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xb7,0xf4]
2049           vfmsubadd231ph zmm6, zmm5, zmm4
2050
2051 // CHECK: vfmsubadd231ph zmm6, zmm5, zmm4, {rn-sae}
2052 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xb7,0xf4]
2053           vfmsubadd231ph zmm6, zmm5, zmm4, {rn-sae}
2054
2055 // CHECK: vfmsubadd231ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2056 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0xb7,0xb4,0xf4,0x00,0x00,0x00,0x10]
2057           vfmsubadd231ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2058
2059 // CHECK: vfmsubadd231ph zmm6, zmm5, word ptr [ecx]{1to32}
2060 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0xb7,0x31]
2061           vfmsubadd231ph zmm6, zmm5, word ptr [ecx]{1to32}
2062
2063 // CHECK: vfmsubadd231ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2064 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xb7,0x71,0x7f]
2065           vfmsubadd231ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2066
2067 // CHECK: vfmsubadd231ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2068 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0xb7,0x72,0x80]
2069           vfmsubadd231ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2070
2071 // CHECK: vfnmadd132ph zmm6, zmm5, zmm4
2072 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0x9c,0xf4]
2073           vfnmadd132ph zmm6, zmm5, zmm4
2074
2075 // CHECK: vfnmadd132ph zmm6, zmm5, zmm4, {rn-sae}
2076 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0x9c,0xf4]
2077           vfnmadd132ph zmm6, zmm5, zmm4, {rn-sae}
2078
2079 // CHECK: vfnmadd132ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2080 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0x9c,0xb4,0xf4,0x00,0x00,0x00,0x10]
2081           vfnmadd132ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2082
2083 // CHECK: vfnmadd132ph zmm6, zmm5, word ptr [ecx]{1to32}
2084 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0x9c,0x31]
2085           vfnmadd132ph zmm6, zmm5, word ptr [ecx]{1to32}
2086
2087 // CHECK: vfnmadd132ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2088 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0x9c,0x71,0x7f]
2089           vfnmadd132ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2090
2091 // CHECK: vfnmadd132ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2092 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0x9c,0x72,0x80]
2093           vfnmadd132ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2094
2095 // CHECK: vfnmadd132sh xmm6, xmm5, xmm4
2096 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x9d,0xf4]
2097           vfnmadd132sh xmm6, xmm5, xmm4
2098
2099 // CHECK: vfnmadd132sh xmm6, xmm5, xmm4, {rn-sae}
2100 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0x9d,0xf4]
2101           vfnmadd132sh xmm6, xmm5, xmm4, {rn-sae}
2102
2103 // CHECK: vfnmadd132sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
2104 // CHECK: encoding: [0x62,0xf6,0x55,0x0f,0x9d,0xb4,0xf4,0x00,0x00,0x00,0x10]
2105           vfnmadd132sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
2106
2107 // CHECK: vfnmadd132sh xmm6, xmm5, word ptr [ecx]
2108 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x9d,0x31]
2109           vfnmadd132sh xmm6, xmm5, word ptr [ecx]
2110
2111 // CHECK: vfnmadd132sh xmm6, xmm5, word ptr [ecx + 254]
2112 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x9d,0x71,0x7f]
2113           vfnmadd132sh xmm6, xmm5, word ptr [ecx + 254]
2114
2115 // CHECK: vfnmadd132sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
2116 // CHECK: encoding: [0x62,0xf6,0x55,0x8f,0x9d,0x72,0x80]
2117           vfnmadd132sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
2118
2119 // CHECK: vfnmadd213ph zmm6, zmm5, zmm4
2120 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xac,0xf4]
2121           vfnmadd213ph zmm6, zmm5, zmm4
2122
2123 // CHECK: vfnmadd213ph zmm6, zmm5, zmm4, {rn-sae}
2124 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xac,0xf4]
2125           vfnmadd213ph zmm6, zmm5, zmm4, {rn-sae}
2126
2127 // CHECK: vfnmadd213ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2128 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0xac,0xb4,0xf4,0x00,0x00,0x00,0x10]
2129           vfnmadd213ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2130
2131 // CHECK: vfnmadd213ph zmm6, zmm5, word ptr [ecx]{1to32}
2132 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0xac,0x31]
2133           vfnmadd213ph zmm6, zmm5, word ptr [ecx]{1to32}
2134
2135 // CHECK: vfnmadd213ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2136 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xac,0x71,0x7f]
2137           vfnmadd213ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2138
2139 // CHECK: vfnmadd213ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2140 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0xac,0x72,0x80]
2141           vfnmadd213ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2142
2143 // CHECK: vfnmadd213sh xmm6, xmm5, xmm4
2144 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xad,0xf4]
2145           vfnmadd213sh xmm6, xmm5, xmm4
2146
2147 // CHECK: vfnmadd213sh xmm6, xmm5, xmm4, {rn-sae}
2148 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xad,0xf4]
2149           vfnmadd213sh xmm6, xmm5, xmm4, {rn-sae}
2150
2151 // CHECK: vfnmadd213sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
2152 // CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xad,0xb4,0xf4,0x00,0x00,0x00,0x10]
2153           vfnmadd213sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
2154
2155 // CHECK: vfnmadd213sh xmm6, xmm5, word ptr [ecx]
2156 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xad,0x31]
2157           vfnmadd213sh xmm6, xmm5, word ptr [ecx]
2158
2159 // CHECK: vfnmadd213sh xmm6, xmm5, word ptr [ecx + 254]
2160 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xad,0x71,0x7f]
2161           vfnmadd213sh xmm6, xmm5, word ptr [ecx + 254]
2162
2163 // CHECK: vfnmadd213sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
2164 // CHECK: encoding: [0x62,0xf6,0x55,0x8f,0xad,0x72,0x80]
2165           vfnmadd213sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
2166
2167 // CHECK: vfnmadd231ph zmm6, zmm5, zmm4
2168 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xbc,0xf4]
2169           vfnmadd231ph zmm6, zmm5, zmm4
2170
2171 // CHECK: vfnmadd231ph zmm6, zmm5, zmm4, {rn-sae}
2172 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xbc,0xf4]
2173           vfnmadd231ph zmm6, zmm5, zmm4, {rn-sae}
2174
2175 // CHECK: vfnmadd231ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2176 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0xbc,0xb4,0xf4,0x00,0x00,0x00,0x10]
2177           vfnmadd231ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2178
2179 // CHECK: vfnmadd231ph zmm6, zmm5, word ptr [ecx]{1to32}
2180 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0xbc,0x31]
2181           vfnmadd231ph zmm6, zmm5, word ptr [ecx]{1to32}
2182
2183 // CHECK: vfnmadd231ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2184 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xbc,0x71,0x7f]
2185           vfnmadd231ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2186
2187 // CHECK: vfnmadd231ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2188 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0xbc,0x72,0x80]
2189           vfnmadd231ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2190
2191 // CHECK: vfnmadd231sh xmm6, xmm5, xmm4
2192 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xbd,0xf4]
2193           vfnmadd231sh xmm6, xmm5, xmm4
2194
2195 // CHECK: vfnmadd231sh xmm6, xmm5, xmm4, {rn-sae}
2196 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xbd,0xf4]
2197           vfnmadd231sh xmm6, xmm5, xmm4, {rn-sae}
2198
2199 // CHECK: vfnmadd231sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
2200 // CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xbd,0xb4,0xf4,0x00,0x00,0x00,0x10]
2201           vfnmadd231sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
2202
2203 // CHECK: vfnmadd231sh xmm6, xmm5, word ptr [ecx]
2204 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xbd,0x31]
2205           vfnmadd231sh xmm6, xmm5, word ptr [ecx]
2206
2207 // CHECK: vfnmadd231sh xmm6, xmm5, word ptr [ecx + 254]
2208 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xbd,0x71,0x7f]
2209           vfnmadd231sh xmm6, xmm5, word ptr [ecx + 254]
2210
2211 // CHECK: vfnmadd231sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
2212 // CHECK: encoding: [0x62,0xf6,0x55,0x8f,0xbd,0x72,0x80]
2213           vfnmadd231sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
2214
2215 // CHECK: vfnmsub132ph zmm6, zmm5, zmm4
2216 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0x9e,0xf4]
2217           vfnmsub132ph zmm6, zmm5, zmm4
2218
2219 // CHECK: vfnmsub132ph zmm6, zmm5, zmm4, {rn-sae}
2220 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0x9e,0xf4]
2221           vfnmsub132ph zmm6, zmm5, zmm4, {rn-sae}
2222
2223 // CHECK: vfnmsub132ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2224 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0x9e,0xb4,0xf4,0x00,0x00,0x00,0x10]
2225           vfnmsub132ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2226
2227 // CHECK: vfnmsub132ph zmm6, zmm5, word ptr [ecx]{1to32}
2228 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0x9e,0x31]
2229           vfnmsub132ph zmm6, zmm5, word ptr [ecx]{1to32}
2230
2231 // CHECK: vfnmsub132ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2232 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0x9e,0x71,0x7f]
2233           vfnmsub132ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2234
2235 // CHECK: vfnmsub132ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2236 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0x9e,0x72,0x80]
2237           vfnmsub132ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2238
2239 // CHECK: vfnmsub132sh xmm6, xmm5, xmm4
2240 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x9f,0xf4]
2241           vfnmsub132sh xmm6, xmm5, xmm4
2242
2243 // CHECK: vfnmsub132sh xmm6, xmm5, xmm4, {rn-sae}
2244 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0x9f,0xf4]
2245           vfnmsub132sh xmm6, xmm5, xmm4, {rn-sae}
2246
2247 // CHECK: vfnmsub132sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
2248 // CHECK: encoding: [0x62,0xf6,0x55,0x0f,0x9f,0xb4,0xf4,0x00,0x00,0x00,0x10]
2249           vfnmsub132sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
2250
2251 // CHECK: vfnmsub132sh xmm6, xmm5, word ptr [ecx]
2252 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x9f,0x31]
2253           vfnmsub132sh xmm6, xmm5, word ptr [ecx]
2254
2255 // CHECK: vfnmsub132sh xmm6, xmm5, word ptr [ecx + 254]
2256 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0x9f,0x71,0x7f]
2257           vfnmsub132sh xmm6, xmm5, word ptr [ecx + 254]
2258
2259 // CHECK: vfnmsub132sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
2260 // CHECK: encoding: [0x62,0xf6,0x55,0x8f,0x9f,0x72,0x80]
2261           vfnmsub132sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
2262
2263 // CHECK: vfnmsub213ph zmm6, zmm5, zmm4
2264 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xae,0xf4]
2265           vfnmsub213ph zmm6, zmm5, zmm4
2266
2267 // CHECK: vfnmsub213ph zmm6, zmm5, zmm4, {rn-sae}
2268 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xae,0xf4]
2269           vfnmsub213ph zmm6, zmm5, zmm4, {rn-sae}
2270
2271 // CHECK: vfnmsub213ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2272 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0xae,0xb4,0xf4,0x00,0x00,0x00,0x10]
2273           vfnmsub213ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2274
2275 // CHECK: vfnmsub213ph zmm6, zmm5, word ptr [ecx]{1to32}
2276 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0xae,0x31]
2277           vfnmsub213ph zmm6, zmm5, word ptr [ecx]{1to32}
2278
2279 // CHECK: vfnmsub213ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2280 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xae,0x71,0x7f]
2281           vfnmsub213ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2282
2283 // CHECK: vfnmsub213ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2284 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0xae,0x72,0x80]
2285           vfnmsub213ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2286
2287 // CHECK: vfnmsub213sh xmm6, xmm5, xmm4
2288 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xaf,0xf4]
2289           vfnmsub213sh xmm6, xmm5, xmm4
2290
2291 // CHECK: vfnmsub213sh xmm6, xmm5, xmm4, {rn-sae}
2292 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xaf,0xf4]
2293           vfnmsub213sh xmm6, xmm5, xmm4, {rn-sae}
2294
2295 // CHECK: vfnmsub213sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
2296 // CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xaf,0xb4,0xf4,0x00,0x00,0x00,0x10]
2297           vfnmsub213sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
2298
2299 // CHECK: vfnmsub213sh xmm6, xmm5, word ptr [ecx]
2300 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xaf,0x31]
2301           vfnmsub213sh xmm6, xmm5, word ptr [ecx]
2302
2303 // CHECK: vfnmsub213sh xmm6, xmm5, word ptr [ecx + 254]
2304 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xaf,0x71,0x7f]
2305           vfnmsub213sh xmm6, xmm5, word ptr [ecx + 254]
2306
2307 // CHECK: vfnmsub213sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
2308 // CHECK: encoding: [0x62,0xf6,0x55,0x8f,0xaf,0x72,0x80]
2309           vfnmsub213sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
2310
2311 // CHECK: vfnmsub231ph zmm6, zmm5, zmm4
2312 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xbe,0xf4]
2313           vfnmsub231ph zmm6, zmm5, zmm4
2314
2315 // CHECK: vfnmsub231ph zmm6, zmm5, zmm4, {rn-sae}
2316 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xbe,0xf4]
2317           vfnmsub231ph zmm6, zmm5, zmm4, {rn-sae}
2318
2319 // CHECK: vfnmsub231ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2320 // CHECK: encoding: [0x62,0xf6,0x55,0x4f,0xbe,0xb4,0xf4,0x00,0x00,0x00,0x10]
2321           vfnmsub231ph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2322
2323 // CHECK: vfnmsub231ph zmm6, zmm5, word ptr [ecx]{1to32}
2324 // CHECK: encoding: [0x62,0xf6,0x55,0x58,0xbe,0x31]
2325           vfnmsub231ph zmm6, zmm5, word ptr [ecx]{1to32}
2326
2327 // CHECK: vfnmsub231ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2328 // CHECK: encoding: [0x62,0xf6,0x55,0x48,0xbe,0x71,0x7f]
2329           vfnmsub231ph zmm6, zmm5, zmmword ptr [ecx + 8128]
2330
2331 // CHECK: vfnmsub231ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2332 // CHECK: encoding: [0x62,0xf6,0x55,0xdf,0xbe,0x72,0x80]
2333           vfnmsub231ph zmm6 {k7} {z}, zmm5, word ptr [edx - 256]{1to32}
2334
2335 // CHECK: vfnmsub231sh xmm6, xmm5, xmm4
2336 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xbf,0xf4]
2337           vfnmsub231sh xmm6, xmm5, xmm4
2338
2339 // CHECK: vfnmsub231sh xmm6, xmm5, xmm4, {rn-sae}
2340 // CHECK: encoding: [0x62,0xf6,0x55,0x18,0xbf,0xf4]
2341           vfnmsub231sh xmm6, xmm5, xmm4, {rn-sae}
2342
2343 // CHECK: vfnmsub231sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
2344 // CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xbf,0xb4,0xf4,0x00,0x00,0x00,0x10]
2345           vfnmsub231sh xmm6 {k7}, xmm5, word ptr [esp + 8*esi + 268435456]
2346
2347 // CHECK: vfnmsub231sh xmm6, xmm5, word ptr [ecx]
2348 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xbf,0x31]
2349           vfnmsub231sh xmm6, xmm5, word ptr [ecx]
2350
2351 // CHECK: vfnmsub231sh xmm6, xmm5, word ptr [ecx + 254]
2352 // CHECK: encoding: [0x62,0xf6,0x55,0x08,0xbf,0x71,0x7f]
2353           vfnmsub231sh xmm6, xmm5, word ptr [ecx + 254]
2354
2355 // CHECK: vfnmsub231sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
2356 // CHECK: encoding: [0x62,0xf6,0x55,0x8f,0xbf,0x72,0x80]
2357           vfnmsub231sh xmm6 {k7} {z}, xmm5, word ptr [edx - 256]
2358
2359 // CHECK: vfcmaddcph zmm6, zmm5, zmm4
2360 // CHECK: encoding: [0x62,0xf6,0x57,0x48,0x56,0xf4]
2361           vfcmaddcph zmm6, zmm5, zmm4
2362
2363 // CHECK: vfcmaddcph zmm6, zmm5, zmm4, {rn-sae}
2364 // CHECK: encoding: [0x62,0xf6,0x57,0x18,0x56,0xf4]
2365           vfcmaddcph zmm6, zmm5, zmm4, {rn-sae}
2366
2367 // CHECK: vfcmaddcph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2368 // CHECK: encoding: [0x62,0xf6,0x57,0x4f,0x56,0xb4,0xf4,0x00,0x00,0x00,0x10]
2369           vfcmaddcph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2370
2371 // CHECK: vfcmaddcph zmm6, zmm5, dword ptr [ecx]{1to16}
2372 // CHECK: encoding: [0x62,0xf6,0x57,0x58,0x56,0x31]
2373           vfcmaddcph zmm6, zmm5, dword ptr [ecx]{1to16}
2374
2375 // CHECK: vfcmaddcph zmm6, zmm5, zmmword ptr [ecx + 8128]
2376 // CHECK: encoding: [0x62,0xf6,0x57,0x48,0x56,0x71,0x7f]
2377           vfcmaddcph zmm6, zmm5, zmmword ptr [ecx + 8128]
2378
2379 // CHECK: vfcmaddcph zmm6 {k7} {z}, zmm5, dword ptr [edx - 512]{1to16}
2380 // CHECK: encoding: [0x62,0xf6,0x57,0xdf,0x56,0x72,0x80]
2381           vfcmaddcph zmm6 {k7} {z}, zmm5, dword ptr [edx - 512]{1to16}
2382
2383 // CHECK: vfcmaddcsh xmm6, xmm5, xmm4
2384 // CHECK: encoding: [0x62,0xf6,0x57,0x08,0x57,0xf4]
2385           vfcmaddcsh xmm6, xmm5, xmm4
2386
2387 // CHECK: vfcmaddcsh xmm6, xmm5, xmm4, {rn-sae}
2388 // CHECK: encoding: [0x62,0xf6,0x57,0x18,0x57,0xf4]
2389           vfcmaddcsh xmm6, xmm5, xmm4, {rn-sae}
2390
2391 // CHECK: vfcmaddcsh xmm6 {k7}, xmm5, dword ptr [esp + 8*esi + 268435456]
2392 // CHECK: encoding: [0x62,0xf6,0x57,0x0f,0x57,0xb4,0xf4,0x00,0x00,0x00,0x10]
2393           vfcmaddcsh xmm6 {k7}, xmm5, dword ptr [esp + 8*esi + 268435456]
2394
2395 // CHECK: vfcmaddcsh xmm6, xmm5, dword ptr [ecx]
2396 // CHECK: encoding: [0x62,0xf6,0x57,0x08,0x57,0x31]
2397           vfcmaddcsh xmm6, xmm5, dword ptr [ecx]
2398
2399 // CHECK: vfcmaddcsh xmm6, xmm5, dword ptr [ecx + 508]
2400 // CHECK: encoding: [0x62,0xf6,0x57,0x08,0x57,0x71,0x7f]
2401           vfcmaddcsh xmm6, xmm5, dword ptr [ecx + 508]
2402
2403 // CHECK: vfcmaddcsh xmm6 {k7} {z}, xmm5, dword ptr [edx - 512]
2404 // CHECK: encoding: [0x62,0xf6,0x57,0x8f,0x57,0x72,0x80]
2405           vfcmaddcsh xmm6 {k7} {z}, xmm5, dword ptr [edx - 512]
2406
2407 // CHECK: vfcmulcph zmm6, zmm5, zmm4
2408 // CHECK: encoding: [0x62,0xf6,0x57,0x48,0xd6,0xf4]
2409           vfcmulcph zmm6, zmm5, zmm4
2410
2411 // CHECK: vfcmulcph zmm6, zmm5, zmm4, {rn-sae}
2412 // CHECK: encoding: [0x62,0xf6,0x57,0x18,0xd6,0xf4]
2413           vfcmulcph zmm6, zmm5, zmm4, {rn-sae}
2414
2415 // CHECK: vfcmulcph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2416 // CHECK: encoding: [0x62,0xf6,0x57,0x4f,0xd6,0xb4,0xf4,0x00,0x00,0x00,0x10]
2417           vfcmulcph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2418
2419 // CHECK: vfcmulcph zmm6, zmm5, dword ptr [ecx]{1to16}
2420 // CHECK: encoding: [0x62,0xf6,0x57,0x58,0xd6,0x31]
2421           vfcmulcph zmm6, zmm5, dword ptr [ecx]{1to16}
2422
2423 // CHECK: vfcmulcph zmm6, zmm5, zmmword ptr [ecx + 8128]
2424 // CHECK: encoding: [0x62,0xf6,0x57,0x48,0xd6,0x71,0x7f]
2425           vfcmulcph zmm6, zmm5, zmmword ptr [ecx + 8128]
2426
2427 // CHECK: vfcmulcph zmm6 {k7} {z}, zmm5, dword ptr [edx - 512]{1to16}
2428 // CHECK: encoding: [0x62,0xf6,0x57,0xdf,0xd6,0x72,0x80]
2429           vfcmulcph zmm6 {k7} {z}, zmm5, dword ptr [edx - 512]{1to16}
2430
2431 // CHECK: vfcmulcsh xmm6, xmm5, xmm4
2432 // CHECK: encoding: [0x62,0xf6,0x57,0x08,0xd7,0xf4]
2433           vfcmulcsh xmm6, xmm5, xmm4
2434
2435 // CHECK: vfcmulcsh xmm6, xmm5, xmm4, {rn-sae}
2436 // CHECK: encoding: [0x62,0xf6,0x57,0x18,0xd7,0xf4]
2437           vfcmulcsh xmm6, xmm5, xmm4, {rn-sae}
2438
2439 // CHECK: vfcmulcsh xmm6 {k7}, xmm5, dword ptr [esp + 8*esi + 268435456]
2440 // CHECK: encoding: [0x62,0xf6,0x57,0x0f,0xd7,0xb4,0xf4,0x00,0x00,0x00,0x10]
2441           vfcmulcsh xmm6 {k7}, xmm5, dword ptr [esp + 8*esi + 268435456]
2442
2443 // CHECK: vfcmulcsh xmm6, xmm5, dword ptr [ecx]
2444 // CHECK: encoding: [0x62,0xf6,0x57,0x08,0xd7,0x31]
2445           vfcmulcsh xmm6, xmm5, dword ptr [ecx]
2446
2447 // CHECK: vfcmulcsh xmm6, xmm5, dword ptr [ecx + 508]
2448 // CHECK: encoding: [0x62,0xf6,0x57,0x08,0xd7,0x71,0x7f]
2449           vfcmulcsh xmm6, xmm5, dword ptr [ecx + 508]
2450
2451 // CHECK: vfcmulcsh xmm6 {k7} {z}, xmm5, dword ptr [edx - 512]
2452 // CHECK: encoding: [0x62,0xf6,0x57,0x8f,0xd7,0x72,0x80]
2453           vfcmulcsh xmm6 {k7} {z}, xmm5, dword ptr [edx - 512]
2454
2455 // CHECK: vfmaddcph zmm6, zmm5, zmm4
2456 // CHECK: encoding: [0x62,0xf6,0x56,0x48,0x56,0xf4]
2457           vfmaddcph zmm6, zmm5, zmm4
2458
2459 // CHECK: vfmaddcph zmm6, zmm5, zmm4, {rn-sae}
2460 // CHECK: encoding: [0x62,0xf6,0x56,0x18,0x56,0xf4]
2461           vfmaddcph zmm6, zmm5, zmm4, {rn-sae}
2462
2463 // CHECK: vfmaddcph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2464 // CHECK: encoding: [0x62,0xf6,0x56,0x4f,0x56,0xb4,0xf4,0x00,0x00,0x00,0x10]
2465           vfmaddcph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2466
2467 // CHECK: vfmaddcph zmm6, zmm5, dword ptr [ecx]{1to16}
2468 // CHECK: encoding: [0x62,0xf6,0x56,0x58,0x56,0x31]
2469           vfmaddcph zmm6, zmm5, dword ptr [ecx]{1to16}
2470
2471 // CHECK: vfmaddcph zmm6, zmm5, zmmword ptr [ecx + 8128]
2472 // CHECK: encoding: [0x62,0xf6,0x56,0x48,0x56,0x71,0x7f]
2473           vfmaddcph zmm6, zmm5, zmmword ptr [ecx + 8128]
2474
2475 // CHECK: vfmaddcph zmm6 {k7} {z}, zmm5, dword ptr [edx - 512]{1to16}
2476 // CHECK: encoding: [0x62,0xf6,0x56,0xdf,0x56,0x72,0x80]
2477           vfmaddcph zmm6 {k7} {z}, zmm5, dword ptr [edx - 512]{1to16}
2478
2479 // CHECK: vfmaddcsh xmm6, xmm5, xmm4
2480 // CHECK: encoding: [0x62,0xf6,0x56,0x08,0x57,0xf4]
2481           vfmaddcsh xmm6, xmm5, xmm4
2482
2483 // CHECK: vfmaddcsh xmm6, xmm5, xmm4, {rn-sae}
2484 // CHECK: encoding: [0x62,0xf6,0x56,0x18,0x57,0xf4]
2485           vfmaddcsh xmm6, xmm5, xmm4, {rn-sae}
2486
2487 // CHECK: vfmaddcsh xmm6 {k7}, xmm5, dword ptr [esp + 8*esi + 268435456]
2488 // CHECK: encoding: [0x62,0xf6,0x56,0x0f,0x57,0xb4,0xf4,0x00,0x00,0x00,0x10]
2489           vfmaddcsh xmm6 {k7}, xmm5, dword ptr [esp + 8*esi + 268435456]
2490
2491 // CHECK: vfmaddcsh xmm6, xmm5, dword ptr [ecx]
2492 // CHECK: encoding: [0x62,0xf6,0x56,0x08,0x57,0x31]
2493           vfmaddcsh xmm6, xmm5, dword ptr [ecx]
2494
2495 // CHECK: vfmaddcsh xmm6, xmm5, dword ptr [ecx + 508]
2496 // CHECK: encoding: [0x62,0xf6,0x56,0x08,0x57,0x71,0x7f]
2497           vfmaddcsh xmm6, xmm5, dword ptr [ecx + 508]
2498
2499 // CHECK: vfmaddcsh xmm6 {k7} {z}, xmm5, dword ptr [edx - 512]
2500 // CHECK: encoding: [0x62,0xf6,0x56,0x8f,0x57,0x72,0x80]
2501           vfmaddcsh xmm6 {k7} {z}, xmm5, dword ptr [edx - 512]
2502
2503 // CHECK: vfmulcph zmm6, zmm5, zmm4
2504 // CHECK: encoding: [0x62,0xf6,0x56,0x48,0xd6,0xf4]
2505           vfmulcph zmm6, zmm5, zmm4
2506
2507 // CHECK: vfmulcph zmm6, zmm5, zmm4, {rn-sae}
2508 // CHECK: encoding: [0x62,0xf6,0x56,0x18,0xd6,0xf4]
2509           vfmulcph zmm6, zmm5, zmm4, {rn-sae}
2510
2511 // CHECK: vfmulcph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2512 // CHECK: encoding: [0x62,0xf6,0x56,0x4f,0xd6,0xb4,0xf4,0x00,0x00,0x00,0x10]
2513           vfmulcph zmm6 {k7}, zmm5, zmmword ptr [esp + 8*esi + 268435456]
2514
2515 // CHECK: vfmulcph zmm6, zmm5, dword ptr [ecx]{1to16}
2516 // CHECK: encoding: [0x62,0xf6,0x56,0x58,0xd6,0x31]
2517           vfmulcph zmm6, zmm5, dword ptr [ecx]{1to16}
2518
2519 // CHECK: vfmulcph zmm6, zmm5, zmmword ptr [ecx + 8128]
2520 // CHECK: encoding: [0x62,0xf6,0x56,0x48,0xd6,0x71,0x7f]
2521           vfmulcph zmm6, zmm5, zmmword ptr [ecx + 8128]
2522
2523 // CHECK: vfmulcph zmm6 {k7} {z}, zmm5, dword ptr [edx - 512]{1to16}
2524 // CHECK: encoding: [0x62,0xf6,0x56,0xdf,0xd6,0x72,0x80]
2525           vfmulcph zmm6 {k7} {z}, zmm5, dword ptr [edx - 512]{1to16}
2526
2527 // CHECK: vfmulcsh xmm6, xmm5, xmm4
2528 // CHECK: encoding: [0x62,0xf6,0x56,0x08,0xd7,0xf4]
2529           vfmulcsh xmm6, xmm5, xmm4
2530
2531 // CHECK: vfmulcsh xmm6, xmm5, xmm4, {rn-sae}
2532 // CHECK: encoding: [0x62,0xf6,0x56,0x18,0xd7,0xf4]
2533           vfmulcsh xmm6, xmm5, xmm4, {rn-sae}
2534
2535 // CHECK: vfmulcsh xmm6 {k7}, xmm5, dword ptr [esp + 8*esi + 268435456]
2536 // CHECK: encoding: [0x62,0xf6,0x56,0x0f,0xd7,0xb4,0xf4,0x00,0x00,0x00,0x10]
2537           vfmulcsh xmm6 {k7}, xmm5, dword ptr [esp + 8*esi + 268435456]
2538
2539 // CHECK: vfmulcsh xmm6, xmm5, dword ptr [ecx]
2540 // CHECK: encoding: [0x62,0xf6,0x56,0x08,0xd7,0x31]
2541           vfmulcsh xmm6, xmm5, dword ptr [ecx]
2542
2543 // CHECK: vfmulcsh xmm6, xmm5, dword ptr [ecx + 508]
2544 // CHECK: encoding: [0x62,0xf6,0x56,0x08,0xd7,0x71,0x7f]
2545           vfmulcsh xmm6, xmm5, dword ptr [ecx + 508]
2546
2547 // CHECK: vfmulcsh xmm6 {k7} {z}, xmm5, dword ptr [edx - 512]
2548 // CHECK: encoding: [0x62,0xf6,0x56,0x8f,0xd7,0x72,0x80]
2549           vfmulcsh xmm6 {k7} {z}, xmm5, dword ptr [edx - 512]