brintos / llvm-project-archived public Read only

1// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding < %s  | FileCheck %s2// RUN: llvm-mc -triple x86_64-unknown-unknown < %s 2>&1 | FileCheck %s --check-prefix=CHECK-NO-WARN3 4// CHECK-NO-WARN-NOT: warning5 6// CHECK: vmovsh %xmm28, %xmm29, %xmm307// CHECK: encoding: [0x62,0x05,0x16,0x00,0x10,0xf4]8          vmovsh %xmm28, %xmm29, %xmm309 10// CHECK: vmovsh 268435456(%rbp,%r14,8), %xmm30 {%k7}11// CHECK: encoding: [0x62,0x25,0x7e,0x0f,0x10,0xb4,0xf5,0x00,0x00,0x00,0x10]12          vmovsh 268435456(%rbp,%r14,8), %xmm30 {%k7}13 14// CHECK: vmovsh (%r9), %xmm3015// CHECK: encoding: [0x62,0x45,0x7e,0x08,0x10,0x31]16          vmovsh (%r9), %xmm3017 18// CHECK: vmovsh 254(%rcx), %xmm3019// CHECK: encoding: [0x62,0x65,0x7e,0x08,0x10,0x71,0x7f]20          vmovsh 254(%rcx), %xmm3021 22// CHECK: vmovsh -256(%rdx), %xmm30 {%k7} {z}23// CHECK: encoding: [0x62,0x65,0x7e,0x8f,0x10,0x72,0x80]24          vmovsh -256(%rdx), %xmm30 {%k7} {z}25 26// CHECK: vmovsh %xmm30, 268435456(%rbp,%r14,8) {%k7}27// CHECK: encoding: [0x62,0x25,0x7e,0x0f,0x11,0xb4,0xf5,0x00,0x00,0x00,0x10]28          vmovsh %xmm30, 268435456(%rbp,%r14,8) {%k7}29 30// CHECK: vmovsh %xmm30, (%r9)31// CHECK: encoding: [0x62,0x45,0x7e,0x08,0x11,0x31]32          vmovsh %xmm30, (%r9)33 34// CHECK: vmovsh %xmm30, 254(%rcx)35// CHECK: encoding: [0x62,0x65,0x7e,0x08,0x11,0x71,0x7f]36          vmovsh %xmm30, 254(%rcx)37 38// CHECK: vmovsh %xmm30, -256(%rdx) {%k7}39// CHECK: encoding: [0x62,0x65,0x7e,0x0f,0x11,0x72,0x80]40          vmovsh %xmm30, -256(%rdx) {%k7}41 42// CHECK: vmovw %r12d, %xmm3043// CHECK: encoding: [0x62,0x45,0x7d,0x08,0x6e,0xf4]44          vmovw %r12d, %xmm3045 46// CHECK: vmovw %xmm30, %r12d47// CHECK: encoding: [0x62,0x45,0x7d,0x08,0x7e,0xf4]48          vmovw %xmm30, %r12d49 50// CHECK: vmovw 268435456(%rbp,%r14,8), %xmm3051// CHECK: encoding: [0x62,0x25,0x7d,0x08,0x6e,0xb4,0xf5,0x00,0x00,0x00,0x10]52          vmovw 268435456(%rbp,%r14,8), %xmm3053 54// CHECK: vmovw (%r9), %xmm3055// CHECK: encoding: [0x62,0x45,0x7d,0x08,0x6e,0x31]56          vmovw (%r9), %xmm3057 58// CHECK: vmovw 254(%rcx), %xmm3059// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x6e,0x71,0x7f]60          vmovw 254(%rcx), %xmm3061 62// CHECK: vmovw -256(%rdx), %xmm3063// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x6e,0x72,0x80]64          vmovw -256(%rdx), %xmm3065 66// CHECK: vmovw %xmm30, 268435456(%rbp,%r14,8)67// CHECK: encoding: [0x62,0x25,0x7d,0x08,0x7e,0xb4,0xf5,0x00,0x00,0x00,0x10]68          vmovw %xmm30, 268435456(%rbp,%r14,8)69 70// CHECK: vmovw %xmm30, (%r9)71// CHECK: encoding: [0x62,0x45,0x7d,0x08,0x7e,0x31]72          vmovw %xmm30, (%r9)73 74// CHECK: vmovw %xmm30, 254(%rcx)75// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x7e,0x71,0x7f]76          vmovw %xmm30, 254(%rcx)77 78// CHECK: vmovw %xmm30, -256(%rdx)79// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x7e,0x72,0x80]80          vmovw %xmm30, -256(%rdx)81 82// CHECK: vaddph %zmm28, %zmm29, %zmm3083// CHECK: encoding: [0x62,0x05,0x14,0x40,0x58,0xf4]84          vaddph %zmm28, %zmm29, %zmm3085 86// CHECK: vaddph {rn-sae}, %zmm28, %zmm29, %zmm3087// CHECK: encoding: [0x62,0x05,0x14,0x10,0x58,0xf4]88          vaddph {rn-sae}, %zmm28, %zmm29, %zmm3089 90// CHECK: vaddph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}91// CHECK: encoding: [0x62,0x25,0x14,0x47,0x58,0xb4,0xf5,0x00,0x00,0x00,0x10]92          vaddph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}93 94// CHECK: vaddph  (%r9){1to32}, %zmm29, %zmm3095// CHECK: encoding: [0x62,0x45,0x14,0x50,0x58,0x31]96          vaddph  (%r9){1to32}, %zmm29, %zmm3097 98// CHECK: vaddph  8128(%rcx), %zmm29, %zmm3099// CHECK: encoding: [0x62,0x65,0x14,0x40,0x58,0x71,0x7f]100          vaddph  8128(%rcx), %zmm29, %zmm30101 102// CHECK: vaddph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}103// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x58,0x72,0x80]104          vaddph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}105 106// CHECK: vaddsh %xmm28, %xmm29, %xmm30107// CHECK: encoding: [0x62,0x05,0x16,0x00,0x58,0xf4]108          vaddsh %xmm28, %xmm29, %xmm30109 110// CHECK: vaddsh {rn-sae}, %xmm28, %xmm29, %xmm30111// CHECK: encoding: [0x62,0x05,0x16,0x10,0x58,0xf4]112          vaddsh {rn-sae}, %xmm28, %xmm29, %xmm30113 114// CHECK: vaddsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}115// CHECK: encoding: [0x62,0x25,0x16,0x07,0x58,0xb4,0xf5,0x00,0x00,0x00,0x10]116          vaddsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}117 118// CHECK: vaddsh  (%r9), %xmm29, %xmm30119// CHECK: encoding: [0x62,0x45,0x16,0x00,0x58,0x31]120          vaddsh  (%r9), %xmm29, %xmm30121 122// CHECK: vaddsh  254(%rcx), %xmm29, %xmm30123// CHECK: encoding: [0x62,0x65,0x16,0x00,0x58,0x71,0x7f]124          vaddsh  254(%rcx), %xmm29, %xmm30125 126// CHECK: vaddsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}127// CHECK: encoding: [0x62,0x65,0x16,0x87,0x58,0x72,0x80]128          vaddsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}129 130// CHECK: vcmpneq_usph %zmm28, %zmm29, %k5131// CHECK: encoding: [0x62,0x93,0x14,0x40,0xc2,0xec,0x14]132          vcmpneq_usph %zmm28, %zmm29, %k5133 134// CHECK: vcmpnlt_uqph {sae}, %zmm28, %zmm29, %k5135// CHECK: encoding: [0x62,0x93,0x14,0x10,0xc2,0xec,0x15]136          vcmpnlt_uqph {sae}, %zmm28, %zmm29, %k5137 138// CHECK: vcmpnle_uqph 268435456(%rbp,%r14,8), %zmm29, %k5 {%k7}139// CHECK: encoding: [0x62,0xb3,0x14,0x47,0xc2,0xac,0xf5,0x00,0x00,0x00,0x10,0x16]140          vcmpnle_uqph 268435456(%rbp,%r14,8), %zmm29, %k5 {%k7}141 142// CHECK: vcmpord_sph (%r9){1to32}, %zmm29, %k5143// CHECK: encoding: [0x62,0xd3,0x14,0x50,0xc2,0x29,0x17]144          vcmpord_sph (%r9){1to32}, %zmm29, %k5145 146// CHECK: vcmpeq_usph 8128(%rcx), %zmm29, %k5147// CHECK: encoding: [0x62,0xf3,0x14,0x40,0xc2,0x69,0x7f,0x18]148          vcmpeq_usph 8128(%rcx), %zmm29, %k5149 150// CHECK: vcmpnge_uqph -256(%rdx){1to32}, %zmm29, %k5 {%k7}151// CHECK: encoding: [0x62,0xf3,0x14,0x57,0xc2,0x6a,0x80,0x19]152          vcmpnge_uqph -256(%rdx){1to32}, %zmm29, %k5 {%k7}153 154// CHECK: vcmpngt_uqsh %xmm28, %xmm29, %k5155// CHECK: encoding: [0x62,0x93,0x16,0x00,0xc2,0xec,0x1a]156          vcmpngt_uqsh %xmm28, %xmm29, %k5157 158// CHECK: vcmpfalse_ossh {sae}, %xmm28, %xmm29, %k5159// CHECK: encoding: [0x62,0x93,0x16,0x10,0xc2,0xec,0x1b]160          vcmpfalse_ossh {sae}, %xmm28, %xmm29, %k5161 162// CHECK: vcmpneq_ossh 268435456(%rbp,%r14,8), %xmm29, %k5 {%k7}163// CHECK: encoding: [0x62,0xb3,0x16,0x07,0xc2,0xac,0xf5,0x00,0x00,0x00,0x10,0x1c]164          vcmpneq_ossh 268435456(%rbp,%r14,8), %xmm29, %k5 {%k7}165 166// CHECK: vcmpge_oqsh (%r9), %xmm29, %k5167// CHECK: encoding: [0x62,0xd3,0x16,0x00,0xc2,0x29,0x1d]168          vcmpge_oqsh (%r9), %xmm29, %k5169 170// CHECK: vcmpgt_oqsh 254(%rcx), %xmm29, %k5171// CHECK: encoding: [0x62,0xf3,0x16,0x00,0xc2,0x69,0x7f,0x1e]172          vcmpgt_oqsh 254(%rcx), %xmm29, %k5173 174// CHECK: vcmptrue_ussh -256(%rdx), %xmm29, %k5 {%k7}175// CHECK: encoding: [0x62,0xf3,0x16,0x07,0xc2,0x6a,0x80,0x1f]176          vcmptrue_ussh -256(%rdx), %xmm29, %k5 {%k7}177 178// CHECK: vcomish %xmm29, %xmm30179// CHECK: encoding: [0x62,0x05,0x7c,0x08,0x2f,0xf5]180          vcomish %xmm29, %xmm30181 182// CHECK: vcomish {sae}, %xmm29, %xmm30183// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x2f,0xf5]184          vcomish {sae}, %xmm29, %xmm30185 186// CHECK: vcomish  268435456(%rbp,%r14,8), %xmm30187// CHECK: encoding: [0x62,0x25,0x7c,0x08,0x2f,0xb4,0xf5,0x00,0x00,0x00,0x10]188          vcomish  268435456(%rbp,%r14,8), %xmm30189 190// CHECK: vcomish  (%r9), %xmm30191// CHECK: encoding: [0x62,0x45,0x7c,0x08,0x2f,0x31]192          vcomish  (%r9), %xmm30193 194// CHECK: vcomish  254(%rcx), %xmm30195// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x2f,0x71,0x7f]196          vcomish  254(%rcx), %xmm30197 198// CHECK: vcomish  -256(%rdx), %xmm30199// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x2f,0x72,0x80]200          vcomish  -256(%rdx), %xmm30201 202// CHECK: vdivph %zmm28, %zmm29, %zmm30203// CHECK: encoding: [0x62,0x05,0x14,0x40,0x5e,0xf4]204          vdivph %zmm28, %zmm29, %zmm30205 206// CHECK: vdivph {rn-sae}, %zmm28, %zmm29, %zmm30207// CHECK: encoding: [0x62,0x05,0x14,0x10,0x5e,0xf4]208          vdivph {rn-sae}, %zmm28, %zmm29, %zmm30209 210// CHECK: vdivph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}211// CHECK: encoding: [0x62,0x25,0x14,0x47,0x5e,0xb4,0xf5,0x00,0x00,0x00,0x10]212          vdivph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}213 214// CHECK: vdivph  (%r9){1to32}, %zmm29, %zmm30215// CHECK: encoding: [0x62,0x45,0x14,0x50,0x5e,0x31]216          vdivph  (%r9){1to32}, %zmm29, %zmm30217 218// CHECK: vdivph  8128(%rcx), %zmm29, %zmm30219// CHECK: encoding: [0x62,0x65,0x14,0x40,0x5e,0x71,0x7f]220          vdivph  8128(%rcx), %zmm29, %zmm30221 222// CHECK: vdivph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}223// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x5e,0x72,0x80]224          vdivph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}225 226// CHECK: vdivsh %xmm28, %xmm29, %xmm30227// CHECK: encoding: [0x62,0x05,0x16,0x00,0x5e,0xf4]228          vdivsh %xmm28, %xmm29, %xmm30229 230// CHECK: vdivsh {rn-sae}, %xmm28, %xmm29, %xmm30231// CHECK: encoding: [0x62,0x05,0x16,0x10,0x5e,0xf4]232          vdivsh {rn-sae}, %xmm28, %xmm29, %xmm30233 234// CHECK: vdivsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}235// CHECK: encoding: [0x62,0x25,0x16,0x07,0x5e,0xb4,0xf5,0x00,0x00,0x00,0x10]236          vdivsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}237 238// CHECK: vdivsh  (%r9), %xmm29, %xmm30239// CHECK: encoding: [0x62,0x45,0x16,0x00,0x5e,0x31]240          vdivsh  (%r9), %xmm29, %xmm30241 242// CHECK: vdivsh  254(%rcx), %xmm29, %xmm30243// CHECK: encoding: [0x62,0x65,0x16,0x00,0x5e,0x71,0x7f]244          vdivsh  254(%rcx), %xmm29, %xmm30245 246// CHECK: vdivsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}247// CHECK: encoding: [0x62,0x65,0x16,0x87,0x5e,0x72,0x80]248          vdivsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}249 250// CHECK: vmaxph %zmm28, %zmm29, %zmm30251// CHECK: encoding: [0x62,0x05,0x14,0x40,0x5f,0xf4]252          vmaxph %zmm28, %zmm29, %zmm30253 254// CHECK: vmaxph {sae}, %zmm28, %zmm29, %zmm30255// CHECK: encoding: [0x62,0x05,0x14,0x10,0x5f,0xf4]256          vmaxph {sae}, %zmm28, %zmm29, %zmm30257 258// CHECK: vmaxph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}259// CHECK: encoding: [0x62,0x25,0x14,0x47,0x5f,0xb4,0xf5,0x00,0x00,0x00,0x10]260          vmaxph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}261 262// CHECK: vmaxph  (%r9){1to32}, %zmm29, %zmm30263// CHECK: encoding: [0x62,0x45,0x14,0x50,0x5f,0x31]264          vmaxph  (%r9){1to32}, %zmm29, %zmm30265 266// CHECK: vmaxph  8128(%rcx), %zmm29, %zmm30267// CHECK: encoding: [0x62,0x65,0x14,0x40,0x5f,0x71,0x7f]268          vmaxph  8128(%rcx), %zmm29, %zmm30269 270// CHECK: vmaxph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}271// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x5f,0x72,0x80]272          vmaxph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}273 274// CHECK: vmaxsh %xmm28, %xmm29, %xmm30275// CHECK: encoding: [0x62,0x05,0x16,0x00,0x5f,0xf4]276          vmaxsh %xmm28, %xmm29, %xmm30277 278// CHECK: vmaxsh {sae}, %xmm28, %xmm29, %xmm30279// CHECK: encoding: [0x62,0x05,0x16,0x10,0x5f,0xf4]280          vmaxsh {sae}, %xmm28, %xmm29, %xmm30281 282// CHECK: vmaxsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}283// CHECK: encoding: [0x62,0x25,0x16,0x07,0x5f,0xb4,0xf5,0x00,0x00,0x00,0x10]284          vmaxsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}285 286// CHECK: vmaxsh  (%r9), %xmm29, %xmm30287// CHECK: encoding: [0x62,0x45,0x16,0x00,0x5f,0x31]288          vmaxsh  (%r9), %xmm29, %xmm30289 290// CHECK: vmaxsh  254(%rcx), %xmm29, %xmm30291// CHECK: encoding: [0x62,0x65,0x16,0x00,0x5f,0x71,0x7f]292          vmaxsh  254(%rcx), %xmm29, %xmm30293 294// CHECK: vmaxsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}295// CHECK: encoding: [0x62,0x65,0x16,0x87,0x5f,0x72,0x80]296          vmaxsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}297 298// CHECK: vminph %zmm28, %zmm29, %zmm30299// CHECK: encoding: [0x62,0x05,0x14,0x40,0x5d,0xf4]300          vminph %zmm28, %zmm29, %zmm30301 302// CHECK: vminph {sae}, %zmm28, %zmm29, %zmm30303// CHECK: encoding: [0x62,0x05,0x14,0x10,0x5d,0xf4]304          vminph {sae}, %zmm28, %zmm29, %zmm30305 306// CHECK: vminph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}307// CHECK: encoding: [0x62,0x25,0x14,0x47,0x5d,0xb4,0xf5,0x00,0x00,0x00,0x10]308          vminph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}309 310// CHECK: vminph  (%r9){1to32}, %zmm29, %zmm30311// CHECK: encoding: [0x62,0x45,0x14,0x50,0x5d,0x31]312          vminph  (%r9){1to32}, %zmm29, %zmm30313 314// CHECK: vminph  8128(%rcx), %zmm29, %zmm30315// CHECK: encoding: [0x62,0x65,0x14,0x40,0x5d,0x71,0x7f]316          vminph  8128(%rcx), %zmm29, %zmm30317 318// CHECK: vminph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}319// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x5d,0x72,0x80]320          vminph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}321 322// CHECK: vminsh %xmm28, %xmm29, %xmm30323// CHECK: encoding: [0x62,0x05,0x16,0x00,0x5d,0xf4]324          vminsh %xmm28, %xmm29, %xmm30325 326// CHECK: vminsh {sae}, %xmm28, %xmm29, %xmm30327// CHECK: encoding: [0x62,0x05,0x16,0x10,0x5d,0xf4]328          vminsh {sae}, %xmm28, %xmm29, %xmm30329 330// CHECK: vminsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}331// CHECK: encoding: [0x62,0x25,0x16,0x07,0x5d,0xb4,0xf5,0x00,0x00,0x00,0x10]332          vminsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}333 334// CHECK: vminsh  (%r9), %xmm29, %xmm30335// CHECK: encoding: [0x62,0x45,0x16,0x00,0x5d,0x31]336          vminsh  (%r9), %xmm29, %xmm30337 338// CHECK: vminsh  254(%rcx), %xmm29, %xmm30339// CHECK: encoding: [0x62,0x65,0x16,0x00,0x5d,0x71,0x7f]340          vminsh  254(%rcx), %xmm29, %xmm30341 342// CHECK: vminsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}343// CHECK: encoding: [0x62,0x65,0x16,0x87,0x5d,0x72,0x80]344          vminsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}345 346// CHECK: vmulph %zmm28, %zmm29, %zmm30347// CHECK: encoding: [0x62,0x05,0x14,0x40,0x59,0xf4]348          vmulph %zmm28, %zmm29, %zmm30349 350// CHECK: vmulph {rn-sae}, %zmm28, %zmm29, %zmm30351// CHECK: encoding: [0x62,0x05,0x14,0x10,0x59,0xf4]352          vmulph {rn-sae}, %zmm28, %zmm29, %zmm30353 354// CHECK: vmulph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}355// CHECK: encoding: [0x62,0x25,0x14,0x47,0x59,0xb4,0xf5,0x00,0x00,0x00,0x10]356          vmulph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}357 358// CHECK: vmulph  (%r9){1to32}, %zmm29, %zmm30359// CHECK: encoding: [0x62,0x45,0x14,0x50,0x59,0x31]360          vmulph  (%r9){1to32}, %zmm29, %zmm30361 362// CHECK: vmulph  8128(%rcx), %zmm29, %zmm30363// CHECK: encoding: [0x62,0x65,0x14,0x40,0x59,0x71,0x7f]364          vmulph  8128(%rcx), %zmm29, %zmm30365 366// CHECK: vmulph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}367// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x59,0x72,0x80]368          vmulph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}369 370// CHECK: vmulsh %xmm28, %xmm29, %xmm30371// CHECK: encoding: [0x62,0x05,0x16,0x00,0x59,0xf4]372          vmulsh %xmm28, %xmm29, %xmm30373 374// CHECK: vmulsh {rn-sae}, %xmm28, %xmm29, %xmm30375// CHECK: encoding: [0x62,0x05,0x16,0x10,0x59,0xf4]376          vmulsh {rn-sae}, %xmm28, %xmm29, %xmm30377 378// CHECK: vmulsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}379// CHECK: encoding: [0x62,0x25,0x16,0x07,0x59,0xb4,0xf5,0x00,0x00,0x00,0x10]380          vmulsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}381 382// CHECK: vmulsh  (%r9), %xmm29, %xmm30383// CHECK: encoding: [0x62,0x45,0x16,0x00,0x59,0x31]384          vmulsh  (%r9), %xmm29, %xmm30385 386// CHECK: vmulsh  254(%rcx), %xmm29, %xmm30387// CHECK: encoding: [0x62,0x65,0x16,0x00,0x59,0x71,0x7f]388          vmulsh  254(%rcx), %xmm29, %xmm30389 390// CHECK: vmulsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}391// CHECK: encoding: [0x62,0x65,0x16,0x87,0x59,0x72,0x80]392          vmulsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}393 394// CHECK: vsubph %zmm28, %zmm29, %zmm30395// CHECK: encoding: [0x62,0x05,0x14,0x40,0x5c,0xf4]396          vsubph %zmm28, %zmm29, %zmm30397 398// CHECK: vsubph {rn-sae}, %zmm28, %zmm29, %zmm30399// CHECK: encoding: [0x62,0x05,0x14,0x10,0x5c,0xf4]400          vsubph {rn-sae}, %zmm28, %zmm29, %zmm30401 402// CHECK: vsubph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}403// CHECK: encoding: [0x62,0x25,0x14,0x47,0x5c,0xb4,0xf5,0x00,0x00,0x00,0x10]404          vsubph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}405 406// CHECK: vsubph  (%r9){1to32}, %zmm29, %zmm30407// CHECK: encoding: [0x62,0x45,0x14,0x50,0x5c,0x31]408          vsubph  (%r9){1to32}, %zmm29, %zmm30409 410// CHECK: vsubph  8128(%rcx), %zmm29, %zmm30411// CHECK: encoding: [0x62,0x65,0x14,0x40,0x5c,0x71,0x7f]412          vsubph  8128(%rcx), %zmm29, %zmm30413 414// CHECK: vsubph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}415// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x5c,0x72,0x80]416          vsubph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}417 418// CHECK: vsubsh %xmm28, %xmm29, %xmm30419// CHECK: encoding: [0x62,0x05,0x16,0x00,0x5c,0xf4]420          vsubsh %xmm28, %xmm29, %xmm30421 422// CHECK: vsubsh {rn-sae}, %xmm28, %xmm29, %xmm30423// CHECK: encoding: [0x62,0x05,0x16,0x10,0x5c,0xf4]424          vsubsh {rn-sae}, %xmm28, %xmm29, %xmm30425 426// CHECK: vsubsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}427// CHECK: encoding: [0x62,0x25,0x16,0x07,0x5c,0xb4,0xf5,0x00,0x00,0x00,0x10]428          vsubsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}429 430// CHECK: vsubsh  (%r9), %xmm29, %xmm30431// CHECK: encoding: [0x62,0x45,0x16,0x00,0x5c,0x31]432          vsubsh  (%r9), %xmm29, %xmm30433 434// CHECK: vsubsh  254(%rcx), %xmm29, %xmm30435// CHECK: encoding: [0x62,0x65,0x16,0x00,0x5c,0x71,0x7f]436          vsubsh  254(%rcx), %xmm29, %xmm30437 438// CHECK: vsubsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}439// CHECK: encoding: [0x62,0x65,0x16,0x87,0x5c,0x72,0x80]440          vsubsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}441 442// CHECK: vucomish %xmm29, %xmm30443// CHECK: encoding: [0x62,0x05,0x7c,0x08,0x2e,0xf5]444          vucomish %xmm29, %xmm30445 446// CHECK: vucomish {sae}, %xmm29, %xmm30447// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x2e,0xf5]448          vucomish {sae}, %xmm29, %xmm30449 450// CHECK: vucomish  268435456(%rbp,%r14,8), %xmm30451// CHECK: encoding: [0x62,0x25,0x7c,0x08,0x2e,0xb4,0xf5,0x00,0x00,0x00,0x10]452          vucomish  268435456(%rbp,%r14,8), %xmm30453 454// CHECK: vucomish  (%r9), %xmm30455// CHECK: encoding: [0x62,0x45,0x7c,0x08,0x2e,0x31]456          vucomish  (%r9), %xmm30457 458// CHECK: vucomish  254(%rcx), %xmm30459// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x2e,0x71,0x7f]460          vucomish  254(%rcx), %xmm30461 462// CHECK: vucomish  -256(%rdx), %xmm30463// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x2e,0x72,0x80]464          vucomish  -256(%rdx), %xmm30465 466// CHECK: vcvtdq2ph %zmm29, %ymm30467// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x5b,0xf5]468          vcvtdq2ph %zmm29, %ymm30469 470// CHECK: vcvtdq2ph {rn-sae}, %zmm29, %ymm30471// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x5b,0xf5]472          vcvtdq2ph {rn-sae}, %zmm29, %ymm30473 474// CHECK: vcvtdq2ph  268435456(%rbp,%r14,8), %ymm30 {%k7}475// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10]476          vcvtdq2ph  268435456(%rbp,%r14,8), %ymm30 {%k7}477 478// CHECK: vcvtdq2ph  (%r9){1to16}, %ymm30479// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x5b,0x31]480          vcvtdq2ph  (%r9){1to16}, %ymm30481 482// CHECK: vcvtdq2ph  8128(%rcx), %ymm30483// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x5b,0x71,0x7f]484          vcvtdq2ph  8128(%rcx), %ymm30485 486// CHECK: vcvtdq2ph  -512(%rdx){1to16}, %ymm30 {%k7} {z}487// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x5b,0x72,0x80]488          vcvtdq2ph  -512(%rdx){1to16}, %ymm30 {%k7} {z}489 490// CHECK: vcvtpd2ph %zmm29, %xmm30491// CHECK: encoding: [0x62,0x05,0xfd,0x48,0x5a,0xf5]492          vcvtpd2ph %zmm29, %xmm30493 494// CHECK: vcvtpd2ph {rn-sae}, %zmm29, %xmm30495// CHECK: encoding: [0x62,0x05,0xfd,0x18,0x5a,0xf5]496          vcvtpd2ph {rn-sae}, %zmm29, %xmm30497 498// CHECK: vcvtpd2phz  268435456(%rbp,%r14,8), %xmm30 {%k7}499// CHECK: encoding: [0x62,0x25,0xfd,0x4f,0x5a,0xb4,0xf5,0x00,0x00,0x00,0x10]500          vcvtpd2phz  268435456(%rbp,%r14,8), %xmm30 {%k7}501 502// CHECK: vcvtpd2ph  (%r9){1to8}, %xmm30503// CHECK: encoding: [0x62,0x45,0xfd,0x58,0x5a,0x31]504          vcvtpd2ph  (%r9){1to8}, %xmm30505 506// CHECK: vcvtpd2phz  8128(%rcx), %xmm30507// CHECK: encoding: [0x62,0x65,0xfd,0x48,0x5a,0x71,0x7f]508          vcvtpd2phz  8128(%rcx), %xmm30509 510// CHECK: vcvtpd2ph  -1024(%rdx){1to8}, %xmm30 {%k7} {z}511// CHECK: encoding: [0x62,0x65,0xfd,0xdf,0x5a,0x72,0x80]512          vcvtpd2ph  -1024(%rdx){1to8}, %xmm30 {%k7} {z}513 514// CHECK: vcvtph2dq %ymm29, %zmm30515// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x5b,0xf5]516          vcvtph2dq %ymm29, %zmm30517 518// CHECK: vcvtph2dq {rn-sae}, %ymm29, %zmm30519// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x5b,0xf5]520          vcvtph2dq {rn-sae}, %ymm29, %zmm30521 522// CHECK: vcvtph2dq  268435456(%rbp,%r14,8), %zmm30 {%k7}523// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10]524          vcvtph2dq  268435456(%rbp,%r14,8), %zmm30 {%k7}525 526// CHECK: vcvtph2dq  (%r9){1to16}, %zmm30527// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x5b,0x31]528          vcvtph2dq  (%r9){1to16}, %zmm30529 530// CHECK: vcvtph2dq  4064(%rcx), %zmm30531// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x5b,0x71,0x7f]532          vcvtph2dq  4064(%rcx), %zmm30533 534// CHECK: vcvtph2dq  -256(%rdx){1to16}, %zmm30 {%k7} {z}535// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x5b,0x72,0x80]536          vcvtph2dq  -256(%rdx){1to16}, %zmm30 {%k7} {z}537 538// CHECK: vcvtph2pd %xmm29, %zmm30539// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x5a,0xf5]540          vcvtph2pd %xmm29, %zmm30541 542// CHECK: vcvtph2pd {sae}, %xmm29, %zmm30543// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x5a,0xf5]544          vcvtph2pd {sae}, %xmm29, %zmm30545 546// CHECK: vcvtph2pd  268435456(%rbp,%r14,8), %zmm30 {%k7}547// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x5a,0xb4,0xf5,0x00,0x00,0x00,0x10]548          vcvtph2pd  268435456(%rbp,%r14,8), %zmm30 {%k7}549 550// CHECK: vcvtph2pd  (%r9){1to8}, %zmm30551// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x5a,0x31]552          vcvtph2pd  (%r9){1to8}, %zmm30553 554// CHECK: vcvtph2pd  2032(%rcx), %zmm30555// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x5a,0x71,0x7f]556          vcvtph2pd  2032(%rcx), %zmm30557 558// CHECK: vcvtph2pd  -256(%rdx){1to8}, %zmm30 {%k7} {z}559// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x5a,0x72,0x80]560          vcvtph2pd  -256(%rdx){1to8}, %zmm30 {%k7} {z}561 562// CHECK: vcvtph2psx %ymm29, %zmm30563// CHECK: encoding: [0x62,0x06,0x7d,0x48,0x13,0xf5]564          vcvtph2psx %ymm29, %zmm30565 566// CHECK: vcvtph2psx {sae}, %ymm29, %zmm30567// CHECK: encoding: [0x62,0x06,0x7d,0x18,0x13,0xf5]568          vcvtph2psx {sae}, %ymm29, %zmm30569 570// CHECK: vcvtph2psx  268435456(%rbp,%r14,8), %zmm30 {%k7}571// CHECK: encoding: [0x62,0x26,0x7d,0x4f,0x13,0xb4,0xf5,0x00,0x00,0x00,0x10]572          vcvtph2psx  268435456(%rbp,%r14,8), %zmm30 {%k7}573 574// CHECK: vcvtph2psx  (%r9){1to16}, %zmm30575// CHECK: encoding: [0x62,0x46,0x7d,0x58,0x13,0x31]576          vcvtph2psx  (%r9){1to16}, %zmm30577 578// CHECK: vcvtph2psx  4064(%rcx), %zmm30579// CHECK: encoding: [0x62,0x66,0x7d,0x48,0x13,0x71,0x7f]580          vcvtph2psx  4064(%rcx), %zmm30581 582// CHECK: vcvtph2psx  -256(%rdx){1to16}, %zmm30 {%k7} {z}583// CHECK: encoding: [0x62,0x66,0x7d,0xdf,0x13,0x72,0x80]584          vcvtph2psx  -256(%rdx){1to16}, %zmm30 {%k7} {z}585 586// CHECK: vcvtph2qq %xmm29, %zmm30587// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x7b,0xf5]588          vcvtph2qq %xmm29, %zmm30589 590// CHECK: vcvtph2qq {rn-sae}, %xmm29, %zmm30591// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x7b,0xf5]592          vcvtph2qq {rn-sae}, %xmm29, %zmm30593 594// CHECK: vcvtph2qq  268435456(%rbp,%r14,8), %zmm30 {%k7}595// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x7b,0xb4,0xf5,0x00,0x00,0x00,0x10]596          vcvtph2qq  268435456(%rbp,%r14,8), %zmm30 {%k7}597 598// CHECK: vcvtph2qq  (%r9){1to8}, %zmm30599// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x7b,0x31]600          vcvtph2qq  (%r9){1to8}, %zmm30601 602// CHECK: vcvtph2qq  2032(%rcx), %zmm30603// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x7b,0x71,0x7f]604          vcvtph2qq  2032(%rcx), %zmm30605 606// CHECK: vcvtph2qq  -256(%rdx){1to8}, %zmm30 {%k7} {z}607// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x7b,0x72,0x80]608          vcvtph2qq  -256(%rdx){1to8}, %zmm30 {%k7} {z}609 610// CHECK: vcvtph2udq %ymm29, %zmm30611// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x79,0xf5]612          vcvtph2udq %ymm29, %zmm30613 614// CHECK: vcvtph2udq {rn-sae}, %ymm29, %zmm30615// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x79,0xf5]616          vcvtph2udq {rn-sae}, %ymm29, %zmm30617 618// CHECK: vcvtph2udq  268435456(%rbp,%r14,8), %zmm30 {%k7}619// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x79,0xb4,0xf5,0x00,0x00,0x00,0x10]620          vcvtph2udq  268435456(%rbp,%r14,8), %zmm30 {%k7}621 622// CHECK: vcvtph2udq  (%r9){1to16}, %zmm30623// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x79,0x31]624          vcvtph2udq  (%r9){1to16}, %zmm30625 626// CHECK: vcvtph2udq  4064(%rcx), %zmm30627// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x79,0x71,0x7f]628          vcvtph2udq  4064(%rcx), %zmm30629 630// CHECK: vcvtph2udq  -256(%rdx){1to16}, %zmm30 {%k7} {z}631// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x79,0x72,0x80]632          vcvtph2udq  -256(%rdx){1to16}, %zmm30 {%k7} {z}633 634// CHECK: vcvtph2uqq %xmm29, %zmm30635// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x79,0xf5]636          vcvtph2uqq %xmm29, %zmm30637 638// CHECK: vcvtph2uqq {rn-sae}, %xmm29, %zmm30639// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x79,0xf5]640          vcvtph2uqq {rn-sae}, %xmm29, %zmm30641 642// CHECK: vcvtph2uqq  268435456(%rbp,%r14,8), %zmm30 {%k7}643// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x79,0xb4,0xf5,0x00,0x00,0x00,0x10]644          vcvtph2uqq  268435456(%rbp,%r14,8), %zmm30 {%k7}645 646// CHECK: vcvtph2uqq  (%r9){1to8}, %zmm30647// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x79,0x31]648          vcvtph2uqq  (%r9){1to8}, %zmm30649 650// CHECK: vcvtph2uqq  2032(%rcx), %zmm30651// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x79,0x71,0x7f]652          vcvtph2uqq  2032(%rcx), %zmm30653 654// CHECK: vcvtph2uqq  -256(%rdx){1to8}, %zmm30 {%k7} {z}655// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x79,0x72,0x80]656          vcvtph2uqq  -256(%rdx){1to8}, %zmm30 {%k7} {z}657 658// CHECK: vcvtph2uw %zmm29, %zmm30659// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x7d,0xf5]660          vcvtph2uw %zmm29, %zmm30661 662// CHECK: vcvtph2uw {rn-sae}, %zmm29, %zmm30663// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x7d,0xf5]664          vcvtph2uw {rn-sae}, %zmm29, %zmm30665 666// CHECK: vcvtph2uw  268435456(%rbp,%r14,8), %zmm30 {%k7}667// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10]668          vcvtph2uw  268435456(%rbp,%r14,8), %zmm30 {%k7}669 670// CHECK: vcvtph2uw  (%r9){1to32}, %zmm30671// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x7d,0x31]672          vcvtph2uw  (%r9){1to32}, %zmm30673 674// CHECK: vcvtph2uw  8128(%rcx), %zmm30675// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x7d,0x71,0x7f]676          vcvtph2uw  8128(%rcx), %zmm30677 678// CHECK: vcvtph2uw  -256(%rdx){1to32}, %zmm30 {%k7} {z}679// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x7d,0x72,0x80]680          vcvtph2uw  -256(%rdx){1to32}, %zmm30 {%k7} {z}681 682// CHECK: vcvtph2w %zmm29, %zmm30683// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x7d,0xf5]684          vcvtph2w %zmm29, %zmm30685 686// CHECK: vcvtph2w {rn-sae}, %zmm29, %zmm30687// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x7d,0xf5]688          vcvtph2w {rn-sae}, %zmm29, %zmm30689 690// CHECK: vcvtph2w  268435456(%rbp,%r14,8), %zmm30 {%k7}691// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10]692          vcvtph2w  268435456(%rbp,%r14,8), %zmm30 {%k7}693 694// CHECK: vcvtph2w  (%r9){1to32}, %zmm30695// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x7d,0x31]696          vcvtph2w  (%r9){1to32}, %zmm30697 698// CHECK: vcvtph2w  8128(%rcx), %zmm30699// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x7d,0x71,0x7f]700          vcvtph2w  8128(%rcx), %zmm30701 702// CHECK: vcvtph2w  -256(%rdx){1to32}, %zmm30 {%k7} {z}703// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x7d,0x72,0x80]704          vcvtph2w  -256(%rdx){1to32}, %zmm30 {%k7} {z}705 706// CHECK: vcvtps2phx %zmm29, %ymm30707// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x1d,0xf5]708          vcvtps2phx %zmm29, %ymm30709 710// CHECK: vcvtps2phx {rn-sae}, %zmm29, %ymm30711// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x1d,0xf5]712          vcvtps2phx {rn-sae}, %zmm29, %ymm30713 714// CHECK: vcvtps2phx  268435456(%rbp,%r14,8), %ymm30 {%k7}715// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x1d,0xb4,0xf5,0x00,0x00,0x00,0x10]716          vcvtps2phx  268435456(%rbp,%r14,8), %ymm30 {%k7}717 718// CHECK: vcvtps2phx  (%r9){1to16}, %ymm30719// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x1d,0x31]720          vcvtps2phx  (%r9){1to16}, %ymm30721 722// CHECK: vcvtps2phx  8128(%rcx), %ymm30723// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x1d,0x71,0x7f]724          vcvtps2phx  8128(%rcx), %ymm30725 726// CHECK: vcvtps2phx  -512(%rdx){1to16}, %ymm30 {%k7} {z}727// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x1d,0x72,0x80]728          vcvtps2phx  -512(%rdx){1to16}, %ymm30 {%k7} {z}729 730// CHECK: vcvtqq2ph %zmm29, %xmm30731// CHECK: encoding: [0x62,0x05,0xfc,0x48,0x5b,0xf5]732          vcvtqq2ph %zmm29, %xmm30733 734// CHECK: vcvtqq2ph {rn-sae}, %zmm29, %xmm30735// CHECK: encoding: [0x62,0x05,0xfc,0x18,0x5b,0xf5]736          vcvtqq2ph {rn-sae}, %zmm29, %xmm30737 738// CHECK: vcvtqq2phz  268435456(%rbp,%r14,8), %xmm30 {%k7}739// CHECK: encoding: [0x62,0x25,0xfc,0x4f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10]740          vcvtqq2phz  268435456(%rbp,%r14,8), %xmm30 {%k7}741 742// CHECK: vcvtqq2ph  (%r9){1to8}, %xmm30743// CHECK: encoding: [0x62,0x45,0xfc,0x58,0x5b,0x31]744          vcvtqq2ph  (%r9){1to8}, %xmm30745 746// CHECK: vcvtqq2phz  8128(%rcx), %xmm30747// CHECK: encoding: [0x62,0x65,0xfc,0x48,0x5b,0x71,0x7f]748          vcvtqq2phz  8128(%rcx), %xmm30749 750// CHECK: vcvtqq2ph  -1024(%rdx){1to8}, %xmm30 {%k7} {z}751// CHECK: encoding: [0x62,0x65,0xfc,0xdf,0x5b,0x72,0x80]752          vcvtqq2ph  -1024(%rdx){1to8}, %xmm30 {%k7} {z}753 754// CHECK: vcvtsd2sh %xmm28, %xmm29, %xmm30755// CHECK: encoding: [0x62,0x05,0x97,0x00,0x5a,0xf4]756          vcvtsd2sh %xmm28, %xmm29, %xmm30757 758// CHECK: vcvtsd2sh {rn-sae}, %xmm28, %xmm29, %xmm30759// CHECK: encoding: [0x62,0x05,0x97,0x10,0x5a,0xf4]760          vcvtsd2sh {rn-sae}, %xmm28, %xmm29, %xmm30761 762// CHECK: vcvtsd2sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}763// CHECK: encoding: [0x62,0x25,0x97,0x07,0x5a,0xb4,0xf5,0x00,0x00,0x00,0x10]764          vcvtsd2sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}765 766// CHECK: vcvtsd2sh  (%r9), %xmm29, %xmm30767// CHECK: encoding: [0x62,0x45,0x97,0x00,0x5a,0x31]768          vcvtsd2sh  (%r9), %xmm29, %xmm30769 770// CHECK: vcvtsd2sh  1016(%rcx), %xmm29, %xmm30771// CHECK: encoding: [0x62,0x65,0x97,0x00,0x5a,0x71,0x7f]772          vcvtsd2sh  1016(%rcx), %xmm29, %xmm30773 774// CHECK: vcvtsd2sh  -1024(%rdx), %xmm29, %xmm30 {%k7} {z}775// CHECK: encoding: [0x62,0x65,0x97,0x87,0x5a,0x72,0x80]776          vcvtsd2sh  -1024(%rdx), %xmm29, %xmm30 {%k7} {z}777 778// CHECK: vcvtsh2sd %xmm28, %xmm29, %xmm30779// CHECK: encoding: [0x62,0x05,0x16,0x00,0x5a,0xf4]780          vcvtsh2sd %xmm28, %xmm29, %xmm30781 782// CHECK: vcvtsh2sd {sae}, %xmm28, %xmm29, %xmm30783// CHECK: encoding: [0x62,0x05,0x16,0x10,0x5a,0xf4]784          vcvtsh2sd {sae}, %xmm28, %xmm29, %xmm30785 786// CHECK: vcvtsh2sd  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}787// CHECK: encoding: [0x62,0x25,0x16,0x07,0x5a,0xb4,0xf5,0x00,0x00,0x00,0x10]788          vcvtsh2sd  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}789 790// CHECK: vcvtsh2sd  (%r9), %xmm29, %xmm30791// CHECK: encoding: [0x62,0x45,0x16,0x00,0x5a,0x31]792          vcvtsh2sd  (%r9), %xmm29, %xmm30793 794// CHECK: vcvtsh2sd  254(%rcx), %xmm29, %xmm30795// CHECK: encoding: [0x62,0x65,0x16,0x00,0x5a,0x71,0x7f]796          vcvtsh2sd  254(%rcx), %xmm29, %xmm30797 798// CHECK: vcvtsh2sd  -256(%rdx), %xmm29, %xmm30 {%k7} {z}799// CHECK: encoding: [0x62,0x65,0x16,0x87,0x5a,0x72,0x80]800          vcvtsh2sd  -256(%rdx), %xmm29, %xmm30 {%k7} {z}801 802// CHECK: vcvtsh2si %xmm30, %edx803// CHECK: encoding: [0x62,0x95,0x7e,0x08,0x2d,0xd6]804          vcvtsh2si %xmm30, %edx805 806// CHECK: vcvtsh2si {rn-sae}, %xmm30, %edx807// CHECK: encoding: [0x62,0x95,0x7e,0x18,0x2d,0xd6]808          vcvtsh2si {rn-sae}, %xmm30, %edx809 810// CHECK: vcvtsh2si %xmm30, %r12811// CHECK: encoding: [0x62,0x15,0xfe,0x08,0x2d,0xe6]812          vcvtsh2si %xmm30, %r12813 814// CHECK: vcvtsh2si {rn-sae}, %xmm30, %r12815// CHECK: encoding: [0x62,0x15,0xfe,0x18,0x2d,0xe6]816          vcvtsh2si {rn-sae}, %xmm30, %r12817 818// CHECK: vcvtsh2si  268435456(%rbp,%r14,8), %edx819// CHECK: encoding: [0x62,0xb5,0x7e,0x08,0x2d,0x94,0xf5,0x00,0x00,0x00,0x10]820          vcvtsh2si  268435456(%rbp,%r14,8), %edx821 822// CHECK: vcvtsh2si  (%r9), %edx823// CHECK: encoding: [0x62,0xd5,0x7e,0x08,0x2d,0x11]824          vcvtsh2si  (%r9), %edx825 826// CHECK: vcvtsh2si  254(%rcx), %edx827// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2d,0x51,0x7f]828          vcvtsh2si  254(%rcx), %edx829 830// CHECK: vcvtsh2si  -256(%rdx), %edx831// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2d,0x52,0x80]832          vcvtsh2si  -256(%rdx), %edx833 834// CHECK: vcvtsh2si  268435456(%rbp,%r14,8), %r12835// CHECK: encoding: [0x62,0x35,0xfe,0x08,0x2d,0xa4,0xf5,0x00,0x00,0x00,0x10]836          vcvtsh2si  268435456(%rbp,%r14,8), %r12837 838// CHECK: vcvtsh2si  (%r9), %r12839// CHECK: encoding: [0x62,0x55,0xfe,0x08,0x2d,0x21]840          vcvtsh2si  (%r9), %r12841 842// CHECK: vcvtsh2si  254(%rcx), %r12843// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x2d,0x61,0x7f]844          vcvtsh2si  254(%rcx), %r12845 846// CHECK: vcvtsh2si  -256(%rdx), %r12847// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x2d,0x62,0x80]848          vcvtsh2si  -256(%rdx), %r12849 850// CHECK: vcvtsh2ss %xmm28, %xmm29, %xmm30851// CHECK: encoding: [0x62,0x06,0x14,0x00,0x13,0xf4]852          vcvtsh2ss %xmm28, %xmm29, %xmm30853 854// CHECK: vcvtsh2ss {sae}, %xmm28, %xmm29, %xmm30855// CHECK: encoding: [0x62,0x06,0x14,0x10,0x13,0xf4]856          vcvtsh2ss {sae}, %xmm28, %xmm29, %xmm30857 858// CHECK: vcvtsh2ss  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}859// CHECK: encoding: [0x62,0x26,0x14,0x07,0x13,0xb4,0xf5,0x00,0x00,0x00,0x10]860          vcvtsh2ss  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}861 862// CHECK: vcvtsh2ss  (%r9), %xmm29, %xmm30863// CHECK: encoding: [0x62,0x46,0x14,0x00,0x13,0x31]864          vcvtsh2ss  (%r9), %xmm29, %xmm30865 866// CHECK: vcvtsh2ss  254(%rcx), %xmm29, %xmm30867// CHECK: encoding: [0x62,0x66,0x14,0x00,0x13,0x71,0x7f]868          vcvtsh2ss  254(%rcx), %xmm29, %xmm30869 870// CHECK: vcvtsh2ss  -256(%rdx), %xmm29, %xmm30 {%k7} {z}871// CHECK: encoding: [0x62,0x66,0x14,0x87,0x13,0x72,0x80]872          vcvtsh2ss  -256(%rdx), %xmm29, %xmm30 {%k7} {z}873 874// CHECK: vcvtsh2usi %xmm30, %edx875// CHECK: encoding: [0x62,0x95,0x7e,0x08,0x79,0xd6]876          vcvtsh2usi %xmm30, %edx877 878// CHECK: vcvtsh2usi {rn-sae}, %xmm30, %edx879// CHECK: encoding: [0x62,0x95,0x7e,0x18,0x79,0xd6]880          vcvtsh2usi {rn-sae}, %xmm30, %edx881 882// CHECK: vcvtsh2usi %xmm30, %r12883// CHECK: encoding: [0x62,0x15,0xfe,0x08,0x79,0xe6]884          vcvtsh2usi %xmm30, %r12885 886// CHECK: vcvtsh2usi {rn-sae}, %xmm30, %r12887// CHECK: encoding: [0x62,0x15,0xfe,0x18,0x79,0xe6]888          vcvtsh2usi {rn-sae}, %xmm30, %r12889 890// CHECK: vcvtsh2usi  268435456(%rbp,%r14,8), %edx891// CHECK: encoding: [0x62,0xb5,0x7e,0x08,0x79,0x94,0xf5,0x00,0x00,0x00,0x10]892          vcvtsh2usi  268435456(%rbp,%r14,8), %edx893 894// CHECK: vcvtsh2usi  (%r9), %edx895// CHECK: encoding: [0x62,0xd5,0x7e,0x08,0x79,0x11]896          vcvtsh2usi  (%r9), %edx897 898// CHECK: vcvtsh2usi  254(%rcx), %edx899// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x79,0x51,0x7f]900          vcvtsh2usi  254(%rcx), %edx901 902// CHECK: vcvtsh2usi  -256(%rdx), %edx903// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x79,0x52,0x80]904          vcvtsh2usi  -256(%rdx), %edx905 906// CHECK: vcvtsh2usi  268435456(%rbp,%r14,8), %r12907// CHECK: encoding: [0x62,0x35,0xfe,0x08,0x79,0xa4,0xf5,0x00,0x00,0x00,0x10]908          vcvtsh2usi  268435456(%rbp,%r14,8), %r12909 910// CHECK: vcvtsh2usi  (%r9), %r12911// CHECK: encoding: [0x62,0x55,0xfe,0x08,0x79,0x21]912          vcvtsh2usi  (%r9), %r12913 914// CHECK: vcvtsh2usi  254(%rcx), %r12915// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x79,0x61,0x7f]916          vcvtsh2usi  254(%rcx), %r12917 918// CHECK: vcvtsh2usi  -256(%rdx), %r12919// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x79,0x62,0x80]920          vcvtsh2usi  -256(%rdx), %r12921 922// CHECK: vcvtsi2sh %r12, %xmm29, %xmm30923// CHECK: encoding: [0x62,0x45,0x96,0x00,0x2a,0xf4]924          vcvtsi2sh %r12, %xmm29, %xmm30925 926// CHECK: vcvtsi2sh %r12, {rn-sae}, %xmm29, %xmm30927// CHECK: encoding: [0x62,0x45,0x96,0x10,0x2a,0xf4]928          vcvtsi2sh %r12, {rn-sae}, %xmm29, %xmm30929 930// CHECK: vcvtsi2sh %edx, %xmm29, %xmm30931// CHECK: encoding: [0x62,0x65,0x16,0x00,0x2a,0xf2]932          vcvtsi2sh %edx, %xmm29, %xmm30933 934// CHECK: vcvtsi2sh %edx, {rn-sae}, %xmm29, %xmm30935// CHECK: encoding: [0x62,0x65,0x16,0x10,0x2a,0xf2]936          vcvtsi2sh %edx, {rn-sae}, %xmm29, %xmm30937 938// CHECK: vcvtsi2shl  268435456(%rbp,%r14,8), %xmm29, %xmm30939// CHECK: encoding: [0x62,0x25,0x16,0x00,0x2a,0xb4,0xf5,0x00,0x00,0x00,0x10]940          vcvtsi2shl  268435456(%rbp,%r14,8), %xmm29, %xmm30941 942// CHECK: vcvtsi2shl  (%r9), %xmm29, %xmm30943// CHECK: encoding: [0x62,0x45,0x16,0x00,0x2a,0x31]944          vcvtsi2shl  (%r9), %xmm29, %xmm30945 946// CHECK: vcvtsi2shl  508(%rcx), %xmm29, %xmm30947// CHECK: encoding: [0x62,0x65,0x16,0x00,0x2a,0x71,0x7f]948          vcvtsi2shl  508(%rcx), %xmm29, %xmm30949 950// CHECK: vcvtsi2shl  -512(%rdx), %xmm29, %xmm30951// CHECK: encoding: [0x62,0x65,0x16,0x00,0x2a,0x72,0x80]952          vcvtsi2shl  -512(%rdx), %xmm29, %xmm30953 954// CHECK: vcvtsi2shq  1016(%rcx), %xmm29, %xmm30955// CHECK: encoding: [0x62,0x65,0x96,0x00,0x2a,0x71,0x7f]956          vcvtsi2shq  1016(%rcx), %xmm29, %xmm30957 958// CHECK: vcvtsi2shq  -1024(%rdx), %xmm29, %xmm30959// CHECK: encoding: [0x62,0x65,0x96,0x00,0x2a,0x72,0x80]960          vcvtsi2shq  -1024(%rdx), %xmm29, %xmm30961 962// CHECK: vcvtss2sh %xmm28, %xmm29, %xmm30963// CHECK: encoding: [0x62,0x05,0x14,0x00,0x1d,0xf4]964          vcvtss2sh %xmm28, %xmm29, %xmm30965 966// CHECK: vcvtss2sh {rn-sae}, %xmm28, %xmm29, %xmm30967// CHECK: encoding: [0x62,0x05,0x14,0x10,0x1d,0xf4]968          vcvtss2sh {rn-sae}, %xmm28, %xmm29, %xmm30969 970// CHECK: vcvtss2sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}971// CHECK: encoding: [0x62,0x25,0x14,0x07,0x1d,0xb4,0xf5,0x00,0x00,0x00,0x10]972          vcvtss2sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}973 974// CHECK: vcvtss2sh  (%r9), %xmm29, %xmm30975// CHECK: encoding: [0x62,0x45,0x14,0x00,0x1d,0x31]976          vcvtss2sh  (%r9), %xmm29, %xmm30977 978// CHECK: vcvtss2sh  508(%rcx), %xmm29, %xmm30979// CHECK: encoding: [0x62,0x65,0x14,0x00,0x1d,0x71,0x7f]980          vcvtss2sh  508(%rcx), %xmm29, %xmm30981 982// CHECK: vcvtss2sh  -512(%rdx), %xmm29, %xmm30 {%k7} {z}983// CHECK: encoding: [0x62,0x65,0x14,0x87,0x1d,0x72,0x80]984          vcvtss2sh  -512(%rdx), %xmm29, %xmm30 {%k7} {z}985 986// CHECK: vcvttph2dq %ymm29, %zmm30987// CHECK: encoding: [0x62,0x05,0x7e,0x48,0x5b,0xf5]988          vcvttph2dq %ymm29, %zmm30989 990// CHECK: vcvttph2dq {sae}, %ymm29, %zmm30991// CHECK: encoding: [0x62,0x05,0x7e,0x18,0x5b,0xf5]992          vcvttph2dq {sae}, %ymm29, %zmm30993 994// CHECK: vcvttph2dq  268435456(%rbp,%r14,8), %zmm30 {%k7}995// CHECK: encoding: [0x62,0x25,0x7e,0x4f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10]996          vcvttph2dq  268435456(%rbp,%r14,8), %zmm30 {%k7}997 998// CHECK: vcvttph2dq  (%r9){1to16}, %zmm30999// CHECK: encoding: [0x62,0x45,0x7e,0x58,0x5b,0x31]1000          vcvttph2dq  (%r9){1to16}, %zmm301001 1002// CHECK: vcvttph2dq  4064(%rcx), %zmm301003// CHECK: encoding: [0x62,0x65,0x7e,0x48,0x5b,0x71,0x7f]1004          vcvttph2dq  4064(%rcx), %zmm301005 1006// CHECK: vcvttph2dq  -256(%rdx){1to16}, %zmm30 {%k7} {z}1007// CHECK: encoding: [0x62,0x65,0x7e,0xdf,0x5b,0x72,0x80]1008          vcvttph2dq  -256(%rdx){1to16}, %zmm30 {%k7} {z}1009 1010// CHECK: vcvttph2qq %xmm29, %zmm301011// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x7a,0xf5]1012          vcvttph2qq %xmm29, %zmm301013 1014// CHECK: vcvttph2qq {sae}, %xmm29, %zmm301015// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x7a,0xf5]1016          vcvttph2qq {sae}, %xmm29, %zmm301017 1018// CHECK: vcvttph2qq  268435456(%rbp,%r14,8), %zmm30 {%k7}1019// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x7a,0xb4,0xf5,0x00,0x00,0x00,0x10]1020          vcvttph2qq  268435456(%rbp,%r14,8), %zmm30 {%k7}1021 1022// CHECK: vcvttph2qq  (%r9){1to8}, %zmm301023// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x7a,0x31]1024          vcvttph2qq  (%r9){1to8}, %zmm301025 1026// CHECK: vcvttph2qq  2032(%rcx), %zmm301027// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x7a,0x71,0x7f]1028          vcvttph2qq  2032(%rcx), %zmm301029 1030// CHECK: vcvttph2qq  -256(%rdx){1to8}, %zmm30 {%k7} {z}1031// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x7a,0x72,0x80]1032          vcvttph2qq  -256(%rdx){1to8}, %zmm30 {%k7} {z}1033 1034// CHECK: vcvttph2udq %ymm29, %zmm301035// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x78,0xf5]1036          vcvttph2udq %ymm29, %zmm301037 1038// CHECK: vcvttph2udq {sae}, %ymm29, %zmm301039// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x78,0xf5]1040          vcvttph2udq {sae}, %ymm29, %zmm301041 1042// CHECK: vcvttph2udq  268435456(%rbp,%r14,8), %zmm30 {%k7}1043// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x78,0xb4,0xf5,0x00,0x00,0x00,0x10]1044          vcvttph2udq  268435456(%rbp,%r14,8), %zmm30 {%k7}1045 1046// CHECK: vcvttph2udq  (%r9){1to16}, %zmm301047// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x78,0x31]1048          vcvttph2udq  (%r9){1to16}, %zmm301049 1050// CHECK: vcvttph2udq  4064(%rcx), %zmm301051// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x78,0x71,0x7f]1052          vcvttph2udq  4064(%rcx), %zmm301053 1054// CHECK: vcvttph2udq  -256(%rdx){1to16}, %zmm30 {%k7} {z}1055// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x78,0x72,0x80]1056          vcvttph2udq  -256(%rdx){1to16}, %zmm30 {%k7} {z}1057 1058// CHECK: vcvttph2uqq %xmm29, %zmm301059// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x78,0xf5]1060          vcvttph2uqq %xmm29, %zmm301061 1062// CHECK: vcvttph2uqq {sae}, %xmm29, %zmm301063// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x78,0xf5]1064          vcvttph2uqq {sae}, %xmm29, %zmm301065 1066// CHECK: vcvttph2uqq  268435456(%rbp,%r14,8), %zmm30 {%k7}1067// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x78,0xb4,0xf5,0x00,0x00,0x00,0x10]1068          vcvttph2uqq  268435456(%rbp,%r14,8), %zmm30 {%k7}1069 1070// CHECK: vcvttph2uqq  (%r9){1to8}, %zmm301071// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x78,0x31]1072          vcvttph2uqq  (%r9){1to8}, %zmm301073 1074// CHECK: vcvttph2uqq  2032(%rcx), %zmm301075// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x78,0x71,0x7f]1076          vcvttph2uqq  2032(%rcx), %zmm301077 1078// CHECK: vcvttph2uqq  -256(%rdx){1to8}, %zmm30 {%k7} {z}1079// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x78,0x72,0x80]1080          vcvttph2uqq  -256(%rdx){1to8}, %zmm30 {%k7} {z}1081 1082// CHECK: vcvttph2uw %zmm29, %zmm301083// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x7c,0xf5]1084          vcvttph2uw %zmm29, %zmm301085 1086// CHECK: vcvttph2uw {sae}, %zmm29, %zmm301087// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x7c,0xf5]1088          vcvttph2uw {sae}, %zmm29, %zmm301089 1090// CHECK: vcvttph2uw  268435456(%rbp,%r14,8), %zmm30 {%k7}1091// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x7c,0xb4,0xf5,0x00,0x00,0x00,0x10]1092          vcvttph2uw  268435456(%rbp,%r14,8), %zmm30 {%k7}1093 1094// CHECK: vcvttph2uw  (%r9){1to32}, %zmm301095// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x7c,0x31]1096          vcvttph2uw  (%r9){1to32}, %zmm301097 1098// CHECK: vcvttph2uw  8128(%rcx), %zmm301099// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x7c,0x71,0x7f]1100          vcvttph2uw  8128(%rcx), %zmm301101 1102// CHECK: vcvttph2uw  -256(%rdx){1to32}, %zmm30 {%k7} {z}1103// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x7c,0x72,0x80]1104          vcvttph2uw  -256(%rdx){1to32}, %zmm30 {%k7} {z}1105 1106// CHECK: vcvttph2w %zmm29, %zmm301107// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x7c,0xf5]1108          vcvttph2w %zmm29, %zmm301109 1110// CHECK: vcvttph2w {sae}, %zmm29, %zmm301111// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x7c,0xf5]1112          vcvttph2w {sae}, %zmm29, %zmm301113 1114// CHECK: vcvttph2w  268435456(%rbp,%r14,8), %zmm30 {%k7}1115// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x7c,0xb4,0xf5,0x00,0x00,0x00,0x10]1116          vcvttph2w  268435456(%rbp,%r14,8), %zmm30 {%k7}1117 1118// CHECK: vcvttph2w  (%r9){1to32}, %zmm301119// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x7c,0x31]1120          vcvttph2w  (%r9){1to32}, %zmm301121 1122// CHECK: vcvttph2w  8128(%rcx), %zmm301123// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x7c,0x71,0x7f]1124          vcvttph2w  8128(%rcx), %zmm301125 1126// CHECK: vcvttph2w  -256(%rdx){1to32}, %zmm30 {%k7} {z}1127// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x7c,0x72,0x80]1128          vcvttph2w  -256(%rdx){1to32}, %zmm30 {%k7} {z}1129 1130// CHECK: vcvttsh2si %xmm30, %edx1131// CHECK: encoding: [0x62,0x95,0x7e,0x08,0x2c,0xd6]1132          vcvttsh2si %xmm30, %edx1133 1134// CHECK: vcvttsh2si {sae}, %xmm30, %edx1135// CHECK: encoding: [0x62,0x95,0x7e,0x18,0x2c,0xd6]1136          vcvttsh2si {sae}, %xmm30, %edx1137 1138// CHECK: vcvttsh2si %xmm30, %r121139// CHECK: encoding: [0x62,0x15,0xfe,0x08,0x2c,0xe6]1140          vcvttsh2si %xmm30, %r121141 1142// CHECK: vcvttsh2si {sae}, %xmm30, %r121143// CHECK: encoding: [0x62,0x15,0xfe,0x18,0x2c,0xe6]1144          vcvttsh2si {sae}, %xmm30, %r121145 1146// CHECK: vcvttsh2si  268435456(%rbp,%r14,8), %edx1147// CHECK: encoding: [0x62,0xb5,0x7e,0x08,0x2c,0x94,0xf5,0x00,0x00,0x00,0x10]1148          vcvttsh2si  268435456(%rbp,%r14,8), %edx1149 1150// CHECK: vcvttsh2si  (%r9), %edx1151// CHECK: encoding: [0x62,0xd5,0x7e,0x08,0x2c,0x11]1152          vcvttsh2si  (%r9), %edx1153 1154// CHECK: vcvttsh2si  254(%rcx), %edx1155// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2c,0x51,0x7f]1156          vcvttsh2si  254(%rcx), %edx1157 1158// CHECK: vcvttsh2si  -256(%rdx), %edx1159// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2c,0x52,0x80]1160          vcvttsh2si  -256(%rdx), %edx1161 1162// CHECK: vcvttsh2si  268435456(%rbp,%r14,8), %r121163// CHECK: encoding: [0x62,0x35,0xfe,0x08,0x2c,0xa4,0xf5,0x00,0x00,0x00,0x10]1164          vcvttsh2si  268435456(%rbp,%r14,8), %r121165 1166// CHECK: vcvttsh2si  (%r9), %r121167// CHECK: encoding: [0x62,0x55,0xfe,0x08,0x2c,0x21]1168          vcvttsh2si  (%r9), %r121169 1170// CHECK: vcvttsh2si  254(%rcx), %r121171// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x2c,0x61,0x7f]1172          vcvttsh2si  254(%rcx), %r121173 1174// CHECK: vcvttsh2si  -256(%rdx), %r121175// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x2c,0x62,0x80]1176          vcvttsh2si  -256(%rdx), %r121177 1178// CHECK: vcvttsh2usi %xmm30, %edx1179// CHECK: encoding: [0x62,0x95,0x7e,0x08,0x78,0xd6]1180          vcvttsh2usi %xmm30, %edx1181 1182// CHECK: vcvttsh2usi {sae}, %xmm30, %edx1183// CHECK: encoding: [0x62,0x95,0x7e,0x18,0x78,0xd6]1184          vcvttsh2usi {sae}, %xmm30, %edx1185 1186// CHECK: vcvttsh2usi %xmm30, %r121187// CHECK: encoding: [0x62,0x15,0xfe,0x08,0x78,0xe6]1188          vcvttsh2usi %xmm30, %r121189 1190// CHECK: vcvttsh2usi {sae}, %xmm30, %r121191// CHECK: encoding: [0x62,0x15,0xfe,0x18,0x78,0xe6]1192          vcvttsh2usi {sae}, %xmm30, %r121193 1194// CHECK: vcvttsh2usi  268435456(%rbp,%r14,8), %edx1195// CHECK: encoding: [0x62,0xb5,0x7e,0x08,0x78,0x94,0xf5,0x00,0x00,0x00,0x10]1196          vcvttsh2usi  268435456(%rbp,%r14,8), %edx1197 1198// CHECK: vcvttsh2usi  (%r9), %edx1199// CHECK: encoding: [0x62,0xd5,0x7e,0x08,0x78,0x11]1200          vcvttsh2usi  (%r9), %edx1201 1202// CHECK: vcvttsh2usi  254(%rcx), %edx1203// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x78,0x51,0x7f]1204          vcvttsh2usi  254(%rcx), %edx1205 1206// CHECK: vcvttsh2usi  -256(%rdx), %edx1207// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x78,0x52,0x80]1208          vcvttsh2usi  -256(%rdx), %edx1209 1210// CHECK: vcvttsh2usi  268435456(%rbp,%r14,8), %r121211// CHECK: encoding: [0x62,0x35,0xfe,0x08,0x78,0xa4,0xf5,0x00,0x00,0x00,0x10]1212          vcvttsh2usi  268435456(%rbp,%r14,8), %r121213 1214// CHECK: vcvttsh2usi  (%r9), %r121215// CHECK: encoding: [0x62,0x55,0xfe,0x08,0x78,0x21]1216          vcvttsh2usi  (%r9), %r121217 1218// CHECK: vcvttsh2usi  254(%rcx), %r121219// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x78,0x61,0x7f]1220          vcvttsh2usi  254(%rcx), %r121221 1222// CHECK: vcvttsh2usi  -256(%rdx), %r121223// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x78,0x62,0x80]1224          vcvttsh2usi  -256(%rdx), %r121225 1226// CHECK: vcvtudq2ph %zmm29, %ymm301227// CHECK: encoding: [0x62,0x05,0x7f,0x48,0x7a,0xf5]1228          vcvtudq2ph %zmm29, %ymm301229 1230// CHECK: vcvtudq2ph {rn-sae}, %zmm29, %ymm301231// CHECK: encoding: [0x62,0x05,0x7f,0x18,0x7a,0xf5]1232          vcvtudq2ph {rn-sae}, %zmm29, %ymm301233 1234// CHECK: vcvtudq2ph  268435456(%rbp,%r14,8), %ymm30 {%k7}1235// CHECK: encoding: [0x62,0x25,0x7f,0x4f,0x7a,0xb4,0xf5,0x00,0x00,0x00,0x10]1236          vcvtudq2ph  268435456(%rbp,%r14,8), %ymm30 {%k7}1237 1238// CHECK: vcvtudq2ph  (%r9){1to16}, %ymm301239// CHECK: encoding: [0x62,0x45,0x7f,0x58,0x7a,0x31]1240          vcvtudq2ph  (%r9){1to16}, %ymm301241 1242// CHECK: vcvtudq2ph  8128(%rcx), %ymm301243// CHECK: encoding: [0x62,0x65,0x7f,0x48,0x7a,0x71,0x7f]1244          vcvtudq2ph  8128(%rcx), %ymm301245 1246// CHECK: vcvtudq2ph  -512(%rdx){1to16}, %ymm30 {%k7} {z}1247// CHECK: encoding: [0x62,0x65,0x7f,0xdf,0x7a,0x72,0x80]1248          vcvtudq2ph  -512(%rdx){1to16}, %ymm30 {%k7} {z}1249 1250// CHECK: vcvtuqq2ph %zmm29, %xmm301251// CHECK: encoding: [0x62,0x05,0xff,0x48,0x7a,0xf5]1252          vcvtuqq2ph %zmm29, %xmm301253 1254// CHECK: vcvtuqq2ph {rn-sae}, %zmm29, %xmm301255// CHECK: encoding: [0x62,0x05,0xff,0x18,0x7a,0xf5]1256          vcvtuqq2ph {rn-sae}, %zmm29, %xmm301257 1258// CHECK: vcvtuqq2phz  268435456(%rbp,%r14,8), %xmm30 {%k7}1259// CHECK: encoding: [0x62,0x25,0xff,0x4f,0x7a,0xb4,0xf5,0x00,0x00,0x00,0x10]1260          vcvtuqq2phz  268435456(%rbp,%r14,8), %xmm30 {%k7}1261 1262// CHECK: vcvtuqq2ph  (%r9){1to8}, %xmm301263// CHECK: encoding: [0x62,0x45,0xff,0x58,0x7a,0x31]1264          vcvtuqq2ph  (%r9){1to8}, %xmm301265 1266// CHECK: vcvtuqq2phz  8128(%rcx), %xmm301267// CHECK: encoding: [0x62,0x65,0xff,0x48,0x7a,0x71,0x7f]1268          vcvtuqq2phz  8128(%rcx), %xmm301269 1270// CHECK: vcvtuqq2ph  -1024(%rdx){1to8}, %xmm30 {%k7} {z}1271// CHECK: encoding: [0x62,0x65,0xff,0xdf,0x7a,0x72,0x80]1272          vcvtuqq2ph  -1024(%rdx){1to8}, %xmm30 {%k7} {z}1273 1274// CHECK: vcvtusi2sh %r12, %xmm29, %xmm301275// CHECK: encoding: [0x62,0x45,0x96,0x00,0x7b,0xf4]1276          vcvtusi2sh %r12, %xmm29, %xmm301277 1278// CHECK: vcvtusi2sh %r12, {rn-sae}, %xmm29, %xmm301279// CHECK: encoding: [0x62,0x45,0x96,0x10,0x7b,0xf4]1280          vcvtusi2sh %r12, {rn-sae}, %xmm29, %xmm301281 1282// CHECK: vcvtusi2sh %edx, %xmm29, %xmm301283// CHECK: encoding: [0x62,0x65,0x16,0x00,0x7b,0xf2]1284          vcvtusi2sh %edx, %xmm29, %xmm301285 1286// CHECK: vcvtusi2sh %edx, {rn-sae}, %xmm29, %xmm301287// CHECK: encoding: [0x62,0x65,0x16,0x10,0x7b,0xf2]1288          vcvtusi2sh %edx, {rn-sae}, %xmm29, %xmm301289 1290// CHECK: vcvtusi2shl  268435456(%rbp,%r14,8), %xmm29, %xmm301291// CHECK: encoding: [0x62,0x25,0x16,0x00,0x7b,0xb4,0xf5,0x00,0x00,0x00,0x10]1292          vcvtusi2shl  268435456(%rbp,%r14,8), %xmm29, %xmm301293 1294// CHECK: vcvtusi2shl  (%r9), %xmm29, %xmm301295// CHECK: encoding: [0x62,0x45,0x16,0x00,0x7b,0x31]1296          vcvtusi2shl  (%r9), %xmm29, %xmm301297 1298// CHECK: vcvtusi2shl  508(%rcx), %xmm29, %xmm301299// CHECK: encoding: [0x62,0x65,0x16,0x00,0x7b,0x71,0x7f]1300          vcvtusi2shl  508(%rcx), %xmm29, %xmm301301 1302// CHECK: vcvtusi2shl  -512(%rdx), %xmm29, %xmm301303// CHECK: encoding: [0x62,0x65,0x16,0x00,0x7b,0x72,0x80]1304          vcvtusi2shl  -512(%rdx), %xmm29, %xmm301305 1306// CHECK: vcvtusi2shq  1016(%rcx), %xmm29, %xmm301307// CHECK: encoding: [0x62,0x65,0x96,0x00,0x7b,0x71,0x7f]1308          vcvtusi2shq  1016(%rcx), %xmm29, %xmm301309 1310// CHECK: vcvtusi2shq  -1024(%rdx), %xmm29, %xmm301311// CHECK: encoding: [0x62,0x65,0x96,0x00,0x7b,0x72,0x80]1312          vcvtusi2shq  -1024(%rdx), %xmm29, %xmm301313 1314// CHECK: vcvtuw2ph %zmm29, %zmm301315// CHECK: encoding: [0x62,0x05,0x7f,0x48,0x7d,0xf5]1316          vcvtuw2ph %zmm29, %zmm301317 1318// CHECK: vcvtuw2ph {rn-sae}, %zmm29, %zmm301319// CHECK: encoding: [0x62,0x05,0x7f,0x18,0x7d,0xf5]1320          vcvtuw2ph {rn-sae}, %zmm29, %zmm301321 1322// CHECK: vcvtuw2ph  268435456(%rbp,%r14,8), %zmm30 {%k7}1323// CHECK: encoding: [0x62,0x25,0x7f,0x4f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10]1324          vcvtuw2ph  268435456(%rbp,%r14,8), %zmm30 {%k7}1325 1326// CHECK: vcvtuw2ph  (%r9){1to32}, %zmm301327// CHECK: encoding: [0x62,0x45,0x7f,0x58,0x7d,0x31]1328          vcvtuw2ph  (%r9){1to32}, %zmm301329 1330// CHECK: vcvtuw2ph  8128(%rcx), %zmm301331// CHECK: encoding: [0x62,0x65,0x7f,0x48,0x7d,0x71,0x7f]1332          vcvtuw2ph  8128(%rcx), %zmm301333 1334// CHECK: vcvtuw2ph  -256(%rdx){1to32}, %zmm30 {%k7} {z}1335// CHECK: encoding: [0x62,0x65,0x7f,0xdf,0x7d,0x72,0x80]1336          vcvtuw2ph  -256(%rdx){1to32}, %zmm30 {%k7} {z}1337 1338// CHECK: vcvtw2ph %zmm29, %zmm301339// CHECK: encoding: [0x62,0x05,0x7e,0x48,0x7d,0xf5]1340          vcvtw2ph %zmm29, %zmm301341 1342// CHECK: vcvtw2ph {rn-sae}, %zmm29, %zmm301343// CHECK: encoding: [0x62,0x05,0x7e,0x18,0x7d,0xf5]1344          vcvtw2ph {rn-sae}, %zmm29, %zmm301345 1346// CHECK: vcvtw2ph  268435456(%rbp,%r14,8), %zmm30 {%k7}1347// CHECK: encoding: [0x62,0x25,0x7e,0x4f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10]1348          vcvtw2ph  268435456(%rbp,%r14,8), %zmm30 {%k7}1349 1350// CHECK: vcvtw2ph  (%r9){1to32}, %zmm301351// CHECK: encoding: [0x62,0x45,0x7e,0x58,0x7d,0x31]1352          vcvtw2ph  (%r9){1to32}, %zmm301353 1354// CHECK: vcvtw2ph  8128(%rcx), %zmm301355// CHECK: encoding: [0x62,0x65,0x7e,0x48,0x7d,0x71,0x7f]1356          vcvtw2ph  8128(%rcx), %zmm301357 1358// CHECK: vcvtw2ph  -256(%rdx){1to32}, %zmm30 {%k7} {z}1359// CHECK: encoding: [0x62,0x65,0x7e,0xdf,0x7d,0x72,0x80]1360          vcvtw2ph  -256(%rdx){1to32}, %zmm30 {%k7} {z}1361 1362// CHECK: vfpclassph $123, %zmm30, %k51363// CHECK: encoding: [0x62,0x93,0x7c,0x48,0x66,0xee,0x7b]1364          vfpclassph $123, %zmm30, %k51365 1366// CHECK: vfpclassphz  $123, 268435456(%rbp,%r14,8), %k5 {%k7}1367// CHECK: encoding: [0x62,0xb3,0x7c,0x4f,0x66,0xac,0xf5,0x00,0x00,0x00,0x10,0x7b]1368          vfpclassphz  $123, 268435456(%rbp,%r14,8), %k5 {%k7}1369 1370// CHECK: vfpclassph  $123, (%r9){1to32}, %k51371// CHECK: encoding: [0x62,0xd3,0x7c,0x58,0x66,0x29,0x7b]1372          vfpclassph  $123, (%r9){1to32}, %k51373 1374// CHECK: vfpclassphz  $123, 8128(%rcx), %k51375// CHECK: encoding: [0x62,0xf3,0x7c,0x48,0x66,0x69,0x7f,0x7b]1376          vfpclassphz  $123, 8128(%rcx), %k51377 1378// CHECK: vfpclassph  $123, -256(%rdx){1to32}, %k5 {%k7}1379// CHECK: encoding: [0x62,0xf3,0x7c,0x5f,0x66,0x6a,0x80,0x7b]1380          vfpclassph  $123, -256(%rdx){1to32}, %k5 {%k7}1381 1382// CHECK: vfpclasssh $123, %xmm30, %k51383// CHECK: encoding: [0x62,0x93,0x7c,0x08,0x67,0xee,0x7b]1384          vfpclasssh $123, %xmm30, %k51385 1386// CHECK: vfpclasssh  $123, 268435456(%rbp,%r14,8), %k5 {%k7}1387// CHECK: encoding: [0x62,0xb3,0x7c,0x0f,0x67,0xac,0xf5,0x00,0x00,0x00,0x10,0x7b]1388          vfpclasssh  $123, 268435456(%rbp,%r14,8), %k5 {%k7}1389 1390// CHECK: vfpclasssh  $123, (%r9), %k51391// CHECK: encoding: [0x62,0xd3,0x7c,0x08,0x67,0x29,0x7b]1392          vfpclasssh  $123, (%r9), %k51393 1394// CHECK: vfpclasssh  $123, 254(%rcx), %k51395// CHECK: encoding: [0x62,0xf3,0x7c,0x08,0x67,0x69,0x7f,0x7b]1396          vfpclasssh  $123, 254(%rcx), %k51397 1398// CHECK: vfpclasssh  $123, -256(%rdx), %k5 {%k7}1399// CHECK: encoding: [0x62,0xf3,0x7c,0x0f,0x67,0x6a,0x80,0x7b]1400          vfpclasssh  $123, -256(%rdx), %k5 {%k7}1401 1402// CHECK: vgetexpph %zmm29, %zmm301403// CHECK: encoding: [0x62,0x06,0x7d,0x48,0x42,0xf5]1404          vgetexpph %zmm29, %zmm301405 1406// CHECK: vgetexpph {sae}, %zmm29, %zmm301407// CHECK: encoding: [0x62,0x06,0x7d,0x18,0x42,0xf5]1408          vgetexpph {sae}, %zmm29, %zmm301409 1410// CHECK: vgetexpph  268435456(%rbp,%r14,8), %zmm30 {%k7}1411// CHECK: encoding: [0x62,0x26,0x7d,0x4f,0x42,0xb4,0xf5,0x00,0x00,0x00,0x10]1412          vgetexpph  268435456(%rbp,%r14,8), %zmm30 {%k7}1413 1414// CHECK: vgetexpph  (%r9){1to32}, %zmm301415// CHECK: encoding: [0x62,0x46,0x7d,0x58,0x42,0x31]1416          vgetexpph  (%r9){1to32}, %zmm301417 1418// CHECK: vgetexpph  8128(%rcx), %zmm301419// CHECK: encoding: [0x62,0x66,0x7d,0x48,0x42,0x71,0x7f]1420          vgetexpph  8128(%rcx), %zmm301421 1422// CHECK: vgetexpph  -256(%rdx){1to32}, %zmm30 {%k7} {z}1423// CHECK: encoding: [0x62,0x66,0x7d,0xdf,0x42,0x72,0x80]1424          vgetexpph  -256(%rdx){1to32}, %zmm30 {%k7} {z}1425 1426// CHECK: vgetexpsh %xmm28, %xmm29, %xmm301427// CHECK: encoding: [0x62,0x06,0x15,0x00,0x43,0xf4]1428          vgetexpsh %xmm28, %xmm29, %xmm301429 1430// CHECK: vgetexpsh {sae}, %xmm28, %xmm29, %xmm301431// CHECK: encoding: [0x62,0x06,0x15,0x10,0x43,0xf4]1432          vgetexpsh {sae}, %xmm28, %xmm29, %xmm301433 1434// CHECK: vgetexpsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1435// CHECK: encoding: [0x62,0x26,0x15,0x07,0x43,0xb4,0xf5,0x00,0x00,0x00,0x10]1436          vgetexpsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1437 1438// CHECK: vgetexpsh  (%r9), %xmm29, %xmm301439// CHECK: encoding: [0x62,0x46,0x15,0x00,0x43,0x31]1440          vgetexpsh  (%r9), %xmm29, %xmm301441 1442// CHECK: vgetexpsh  254(%rcx), %xmm29, %xmm301443// CHECK: encoding: [0x62,0x66,0x15,0x00,0x43,0x71,0x7f]1444          vgetexpsh  254(%rcx), %xmm29, %xmm301445 1446// CHECK: vgetexpsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}1447// CHECK: encoding: [0x62,0x66,0x15,0x87,0x43,0x72,0x80]1448          vgetexpsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}1449 1450// CHECK: vgetmantph $123, %zmm29, %zmm301451// CHECK: encoding: [0x62,0x03,0x7c,0x48,0x26,0xf5,0x7b]1452          vgetmantph $123, %zmm29, %zmm301453 1454// CHECK: vgetmantph $123, {sae}, %zmm29, %zmm301455// CHECK: encoding: [0x62,0x03,0x7c,0x18,0x26,0xf5,0x7b]1456          vgetmantph $123, {sae}, %zmm29, %zmm301457 1458// CHECK: vgetmantph  $123, 268435456(%rbp,%r14,8), %zmm30 {%k7}1459// CHECK: encoding: [0x62,0x23,0x7c,0x4f,0x26,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]1460          vgetmantph  $123, 268435456(%rbp,%r14,8), %zmm30 {%k7}1461 1462// CHECK: vgetmantph  $123, (%r9){1to32}, %zmm301463// CHECK: encoding: [0x62,0x43,0x7c,0x58,0x26,0x31,0x7b]1464          vgetmantph  $123, (%r9){1to32}, %zmm301465 1466// CHECK: vgetmantph  $123, 8128(%rcx), %zmm301467// CHECK: encoding: [0x62,0x63,0x7c,0x48,0x26,0x71,0x7f,0x7b]1468          vgetmantph  $123, 8128(%rcx), %zmm301469 1470// CHECK: vgetmantph  $123, -256(%rdx){1to32}, %zmm30 {%k7} {z}1471// CHECK: encoding: [0x62,0x63,0x7c,0xdf,0x26,0x72,0x80,0x7b]1472          vgetmantph  $123, -256(%rdx){1to32}, %zmm30 {%k7} {z}1473 1474// CHECK: vgetmantsh $123, %xmm28, %xmm29, %xmm301475// CHECK: encoding: [0x62,0x03,0x14,0x00,0x27,0xf4,0x7b]1476          vgetmantsh $123, %xmm28, %xmm29, %xmm301477 1478// CHECK: vgetmantsh $123, {sae}, %xmm28, %xmm29, %xmm301479// CHECK: encoding: [0x62,0x03,0x14,0x10,0x27,0xf4,0x7b]1480          vgetmantsh $123, {sae}, %xmm28, %xmm29, %xmm301481 1482// CHECK: vgetmantsh  $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1483// CHECK: encoding: [0x62,0x23,0x14,0x07,0x27,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]1484          vgetmantsh  $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1485 1486// CHECK: vgetmantsh  $123, (%r9), %xmm29, %xmm301487// CHECK: encoding: [0x62,0x43,0x14,0x00,0x27,0x31,0x7b]1488          vgetmantsh  $123, (%r9), %xmm29, %xmm301489 1490// CHECK: vgetmantsh  $123, 254(%rcx), %xmm29, %xmm301491// CHECK: encoding: [0x62,0x63,0x14,0x00,0x27,0x71,0x7f,0x7b]1492          vgetmantsh  $123, 254(%rcx), %xmm29, %xmm301493 1494// CHECK: vgetmantsh  $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z}1495// CHECK: encoding: [0x62,0x63,0x14,0x87,0x27,0x72,0x80,0x7b]1496          vgetmantsh  $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z}1497 1498// CHECK: vrcpph %zmm29, %zmm301499// CHECK: encoding: [0x62,0x06,0x7d,0x48,0x4c,0xf5]1500          vrcpph %zmm29, %zmm301501 1502// CHECK: vrcpph  268435456(%rbp,%r14,8), %zmm30 {%k7}1503// CHECK: encoding: [0x62,0x26,0x7d,0x4f,0x4c,0xb4,0xf5,0x00,0x00,0x00,0x10]1504          vrcpph  268435456(%rbp,%r14,8), %zmm30 {%k7}1505 1506// CHECK: vrcpph  (%r9){1to32}, %zmm301507// CHECK: encoding: [0x62,0x46,0x7d,0x58,0x4c,0x31]1508          vrcpph  (%r9){1to32}, %zmm301509 1510// CHECK: vrcpph  8128(%rcx), %zmm301511// CHECK: encoding: [0x62,0x66,0x7d,0x48,0x4c,0x71,0x7f]1512          vrcpph  8128(%rcx), %zmm301513 1514// CHECK: vrcpph  -256(%rdx){1to32}, %zmm30 {%k7} {z}1515// CHECK: encoding: [0x62,0x66,0x7d,0xdf,0x4c,0x72,0x80]1516          vrcpph  -256(%rdx){1to32}, %zmm30 {%k7} {z}1517 1518// CHECK: vrcpsh %xmm28, %xmm29, %xmm301519// CHECK: encoding: [0x62,0x06,0x15,0x00,0x4d,0xf4]1520          vrcpsh %xmm28, %xmm29, %xmm301521 1522// CHECK: vrcpsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1523// CHECK: encoding: [0x62,0x26,0x15,0x07,0x4d,0xb4,0xf5,0x00,0x00,0x00,0x10]1524          vrcpsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1525 1526// CHECK: vrcpsh  (%r9), %xmm29, %xmm301527// CHECK: encoding: [0x62,0x46,0x15,0x00,0x4d,0x31]1528          vrcpsh  (%r9), %xmm29, %xmm301529 1530// CHECK: vrcpsh  254(%rcx), %xmm29, %xmm301531// CHECK: encoding: [0x62,0x66,0x15,0x00,0x4d,0x71,0x7f]1532          vrcpsh  254(%rcx), %xmm29, %xmm301533 1534// CHECK: vrcpsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}1535// CHECK: encoding: [0x62,0x66,0x15,0x87,0x4d,0x72,0x80]1536          vrcpsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}1537 1538// CHECK: vreduceph $123, %zmm29, %zmm301539// CHECK: encoding: [0x62,0x03,0x7c,0x48,0x56,0xf5,0x7b]1540          vreduceph $123, %zmm29, %zmm301541 1542// CHECK: vreduceph $123, {sae}, %zmm29, %zmm301543// CHECK: encoding: [0x62,0x03,0x7c,0x18,0x56,0xf5,0x7b]1544          vreduceph $123, {sae}, %zmm29, %zmm301545 1546// CHECK: vreduceph  $123, 268435456(%rbp,%r14,8), %zmm30 {%k7}1547// CHECK: encoding: [0x62,0x23,0x7c,0x4f,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]1548          vreduceph  $123, 268435456(%rbp,%r14,8), %zmm30 {%k7}1549 1550// CHECK: vreduceph  $123, (%r9){1to32}, %zmm301551// CHECK: encoding: [0x62,0x43,0x7c,0x58,0x56,0x31,0x7b]1552          vreduceph  $123, (%r9){1to32}, %zmm301553 1554// CHECK: vreduceph  $123, 8128(%rcx), %zmm301555// CHECK: encoding: [0x62,0x63,0x7c,0x48,0x56,0x71,0x7f,0x7b]1556          vreduceph  $123, 8128(%rcx), %zmm301557 1558// CHECK: vreduceph  $123, -256(%rdx){1to32}, %zmm30 {%k7} {z}1559// CHECK: encoding: [0x62,0x63,0x7c,0xdf,0x56,0x72,0x80,0x7b]1560          vreduceph  $123, -256(%rdx){1to32}, %zmm30 {%k7} {z}1561 1562// CHECK: vreducesh $123, %xmm28, %xmm29, %xmm301563// CHECK: encoding: [0x62,0x03,0x14,0x00,0x57,0xf4,0x7b]1564          vreducesh $123, %xmm28, %xmm29, %xmm301565 1566// CHECK: vreducesh $123, {sae}, %xmm28, %xmm29, %xmm301567// CHECK: encoding: [0x62,0x03,0x14,0x10,0x57,0xf4,0x7b]1568          vreducesh $123, {sae}, %xmm28, %xmm29, %xmm301569 1570// CHECK: vreducesh  $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1571// CHECK: encoding: [0x62,0x23,0x14,0x07,0x57,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]1572          vreducesh  $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1573 1574// CHECK: vreducesh  $123, (%r9), %xmm29, %xmm301575// CHECK: encoding: [0x62,0x43,0x14,0x00,0x57,0x31,0x7b]1576          vreducesh  $123, (%r9), %xmm29, %xmm301577 1578// CHECK: vreducesh  $123, 254(%rcx), %xmm29, %xmm301579// CHECK: encoding: [0x62,0x63,0x14,0x00,0x57,0x71,0x7f,0x7b]1580          vreducesh  $123, 254(%rcx), %xmm29, %xmm301581 1582// CHECK: vreducesh  $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z}1583// CHECK: encoding: [0x62,0x63,0x14,0x87,0x57,0x72,0x80,0x7b]1584          vreducesh  $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z}1585 1586// CHECK: vrndscaleph $123, %zmm29, %zmm301587// CHECK: encoding: [0x62,0x03,0x7c,0x48,0x08,0xf5,0x7b]1588          vrndscaleph $123, %zmm29, %zmm301589 1590// CHECK: vrndscaleph $123, {sae}, %zmm29, %zmm301591// CHECK: encoding: [0x62,0x03,0x7c,0x18,0x08,0xf5,0x7b]1592          vrndscaleph $123, {sae}, %zmm29, %zmm301593 1594// CHECK: vrndscaleph  $123, 268435456(%rbp,%r14,8), %zmm30 {%k7}1595// CHECK: encoding: [0x62,0x23,0x7c,0x4f,0x08,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]1596          vrndscaleph  $123, 268435456(%rbp,%r14,8), %zmm30 {%k7}1597 1598// CHECK: vrndscaleph  $123, (%r9){1to32}, %zmm301599// CHECK: encoding: [0x62,0x43,0x7c,0x58,0x08,0x31,0x7b]1600          vrndscaleph  $123, (%r9){1to32}, %zmm301601 1602// CHECK: vrndscaleph  $123, 8128(%rcx), %zmm301603// CHECK: encoding: [0x62,0x63,0x7c,0x48,0x08,0x71,0x7f,0x7b]1604          vrndscaleph  $123, 8128(%rcx), %zmm301605 1606// CHECK: vrndscaleph  $123, -256(%rdx){1to32}, %zmm30 {%k7} {z}1607// CHECK: encoding: [0x62,0x63,0x7c,0xdf,0x08,0x72,0x80,0x7b]1608          vrndscaleph  $123, -256(%rdx){1to32}, %zmm30 {%k7} {z}1609 1610// CHECK: vrndscalesh $123, %xmm28, %xmm29, %xmm301611// CHECK: encoding: [0x62,0x03,0x14,0x00,0x0a,0xf4,0x7b]1612          vrndscalesh $123, %xmm28, %xmm29, %xmm301613 1614// CHECK: vrndscalesh $123, {sae}, %xmm28, %xmm29, %xmm301615// CHECK: encoding: [0x62,0x03,0x14,0x10,0x0a,0xf4,0x7b]1616          vrndscalesh $123, {sae}, %xmm28, %xmm29, %xmm301617 1618// CHECK: vrndscalesh  $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1619// CHECK: encoding: [0x62,0x23,0x14,0x07,0x0a,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]1620          vrndscalesh  $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1621 1622// CHECK: vrndscalesh  $123, (%r9), %xmm29, %xmm301623// CHECK: encoding: [0x62,0x43,0x14,0x00,0x0a,0x31,0x7b]1624          vrndscalesh  $123, (%r9), %xmm29, %xmm301625 1626// CHECK: vrndscalesh  $123, 254(%rcx), %xmm29, %xmm301627// CHECK: encoding: [0x62,0x63,0x14,0x00,0x0a,0x71,0x7f,0x7b]1628          vrndscalesh  $123, 254(%rcx), %xmm29, %xmm301629 1630// CHECK: vrndscalesh  $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z}1631// CHECK: encoding: [0x62,0x63,0x14,0x87,0x0a,0x72,0x80,0x7b]1632          vrndscalesh  $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z}1633 1634// CHECK: vrsqrtph %zmm29, %zmm301635// CHECK: encoding: [0x62,0x06,0x7d,0x48,0x4e,0xf5]1636          vrsqrtph %zmm29, %zmm301637 1638// CHECK: vrsqrtph  268435456(%rbp,%r14,8), %zmm30 {%k7}1639// CHECK: encoding: [0x62,0x26,0x7d,0x4f,0x4e,0xb4,0xf5,0x00,0x00,0x00,0x10]1640          vrsqrtph  268435456(%rbp,%r14,8), %zmm30 {%k7}1641 1642// CHECK: vrsqrtph  (%r9){1to32}, %zmm301643// CHECK: encoding: [0x62,0x46,0x7d,0x58,0x4e,0x31]1644          vrsqrtph  (%r9){1to32}, %zmm301645 1646// CHECK: vrsqrtph  8128(%rcx), %zmm301647// CHECK: encoding: [0x62,0x66,0x7d,0x48,0x4e,0x71,0x7f]1648          vrsqrtph  8128(%rcx), %zmm301649 1650// CHECK: vrsqrtph  -256(%rdx){1to32}, %zmm30 {%k7} {z}1651// CHECK: encoding: [0x62,0x66,0x7d,0xdf,0x4e,0x72,0x80]1652          vrsqrtph  -256(%rdx){1to32}, %zmm30 {%k7} {z}1653 1654// CHECK: vrsqrtsh %xmm28, %xmm29, %xmm301655// CHECK: encoding: [0x62,0x06,0x15,0x00,0x4f,0xf4]1656          vrsqrtsh %xmm28, %xmm29, %xmm301657 1658// CHECK: vrsqrtsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1659// CHECK: encoding: [0x62,0x26,0x15,0x07,0x4f,0xb4,0xf5,0x00,0x00,0x00,0x10]1660          vrsqrtsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1661 1662// CHECK: vrsqrtsh  (%r9), %xmm29, %xmm301663// CHECK: encoding: [0x62,0x46,0x15,0x00,0x4f,0x31]1664          vrsqrtsh  (%r9), %xmm29, %xmm301665 1666// CHECK: vrsqrtsh  254(%rcx), %xmm29, %xmm301667// CHECK: encoding: [0x62,0x66,0x15,0x00,0x4f,0x71,0x7f]1668          vrsqrtsh  254(%rcx), %xmm29, %xmm301669 1670// CHECK: vrsqrtsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}1671// CHECK: encoding: [0x62,0x66,0x15,0x87,0x4f,0x72,0x80]1672          vrsqrtsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}1673 1674// CHECK: vscalefph %zmm28, %zmm29, %zmm301675// CHECK: encoding: [0x62,0x06,0x15,0x40,0x2c,0xf4]1676          vscalefph %zmm28, %zmm29, %zmm301677 1678// CHECK: vscalefph {rn-sae}, %zmm28, %zmm29, %zmm301679// CHECK: encoding: [0x62,0x06,0x15,0x10,0x2c,0xf4]1680          vscalefph {rn-sae}, %zmm28, %zmm29, %zmm301681 1682// CHECK: vscalefph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}1683// CHECK: encoding: [0x62,0x26,0x15,0x47,0x2c,0xb4,0xf5,0x00,0x00,0x00,0x10]1684          vscalefph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}1685 1686// CHECK: vscalefph  (%r9){1to32}, %zmm29, %zmm301687// CHECK: encoding: [0x62,0x46,0x15,0x50,0x2c,0x31]1688          vscalefph  (%r9){1to32}, %zmm29, %zmm301689 1690// CHECK: vscalefph  8128(%rcx), %zmm29, %zmm301691// CHECK: encoding: [0x62,0x66,0x15,0x40,0x2c,0x71,0x7f]1692          vscalefph  8128(%rcx), %zmm29, %zmm301693 1694// CHECK: vscalefph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}1695// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x2c,0x72,0x80]1696          vscalefph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}1697 1698// CHECK: vscalefsh %xmm28, %xmm29, %xmm301699// CHECK: encoding: [0x62,0x06,0x15,0x00,0x2d,0xf4]1700          vscalefsh %xmm28, %xmm29, %xmm301701 1702// CHECK: vscalefsh {rn-sae}, %xmm28, %xmm29, %xmm301703// CHECK: encoding: [0x62,0x06,0x15,0x10,0x2d,0xf4]1704          vscalefsh {rn-sae}, %xmm28, %xmm29, %xmm301705 1706// CHECK: vscalefsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1707// CHECK: encoding: [0x62,0x26,0x15,0x07,0x2d,0xb4,0xf5,0x00,0x00,0x00,0x10]1708          vscalefsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1709 1710// CHECK: vscalefsh  (%r9), %xmm29, %xmm301711// CHECK: encoding: [0x62,0x46,0x15,0x00,0x2d,0x31]1712          vscalefsh  (%r9), %xmm29, %xmm301713 1714// CHECK: vscalefsh  254(%rcx), %xmm29, %xmm301715// CHECK: encoding: [0x62,0x66,0x15,0x00,0x2d,0x71,0x7f]1716          vscalefsh  254(%rcx), %xmm29, %xmm301717 1718// CHECK: vscalefsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}1719// CHECK: encoding: [0x62,0x66,0x15,0x87,0x2d,0x72,0x80]1720          vscalefsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}1721 1722// CHECK: vsqrtph %zmm29, %zmm301723// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x51,0xf5]1724          vsqrtph %zmm29, %zmm301725 1726// CHECK: vsqrtph {rn-sae}, %zmm29, %zmm301727// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x51,0xf5]1728          vsqrtph {rn-sae}, %zmm29, %zmm301729 1730// CHECK: vsqrtph  268435456(%rbp,%r14,8), %zmm30 {%k7}1731// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x51,0xb4,0xf5,0x00,0x00,0x00,0x10]1732          vsqrtph  268435456(%rbp,%r14,8), %zmm30 {%k7}1733 1734// CHECK: vsqrtph  (%r9){1to32}, %zmm301735// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x51,0x31]1736          vsqrtph  (%r9){1to32}, %zmm301737 1738// CHECK: vsqrtph  8128(%rcx), %zmm301739// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x51,0x71,0x7f]1740          vsqrtph  8128(%rcx), %zmm301741 1742// CHECK: vsqrtph  -256(%rdx){1to32}, %zmm30 {%k7} {z}1743// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x51,0x72,0x80]1744          vsqrtph  -256(%rdx){1to32}, %zmm30 {%k7} {z}1745 1746// CHECK: vsqrtsh %xmm28, %xmm29, %xmm301747// CHECK: encoding: [0x62,0x05,0x16,0x00,0x51,0xf4]1748          vsqrtsh %xmm28, %xmm29, %xmm301749 1750// CHECK: vsqrtsh {rn-sae}, %xmm28, %xmm29, %xmm301751// CHECK: encoding: [0x62,0x05,0x16,0x10,0x51,0xf4]1752          vsqrtsh {rn-sae}, %xmm28, %xmm29, %xmm301753 1754// CHECK: vsqrtsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1755// CHECK: encoding: [0x62,0x25,0x16,0x07,0x51,0xb4,0xf5,0x00,0x00,0x00,0x10]1756          vsqrtsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1757 1758// CHECK: vsqrtsh  (%r9), %xmm29, %xmm301759// CHECK: encoding: [0x62,0x45,0x16,0x00,0x51,0x31]1760          vsqrtsh  (%r9), %xmm29, %xmm301761 1762// CHECK: vsqrtsh  254(%rcx), %xmm29, %xmm301763// CHECK: encoding: [0x62,0x65,0x16,0x00,0x51,0x71,0x7f]1764          vsqrtsh  254(%rcx), %xmm29, %xmm301765 1766// CHECK: vsqrtsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}1767// CHECK: encoding: [0x62,0x65,0x16,0x87,0x51,0x72,0x80]1768          vsqrtsh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}1769 1770// CHECK: vfmadd132ph %zmm28, %zmm29, %zmm301771// CHECK: encoding: [0x62,0x06,0x15,0x40,0x98,0xf4]1772          vfmadd132ph %zmm28, %zmm29, %zmm301773 1774// CHECK: vfmadd132ph {rn-sae}, %zmm28, %zmm29, %zmm301775// CHECK: encoding: [0x62,0x06,0x15,0x10,0x98,0xf4]1776          vfmadd132ph {rn-sae}, %zmm28, %zmm29, %zmm301777 1778// CHECK: vfmadd132ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}1779// CHECK: encoding: [0x62,0x26,0x15,0x47,0x98,0xb4,0xf5,0x00,0x00,0x00,0x10]1780          vfmadd132ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}1781 1782// CHECK: vfmadd132ph  (%r9){1to32}, %zmm29, %zmm301783// CHECK: encoding: [0x62,0x46,0x15,0x50,0x98,0x31]1784          vfmadd132ph  (%r9){1to32}, %zmm29, %zmm301785 1786// CHECK: vfmadd132ph  8128(%rcx), %zmm29, %zmm301787// CHECK: encoding: [0x62,0x66,0x15,0x40,0x98,0x71,0x7f]1788          vfmadd132ph  8128(%rcx), %zmm29, %zmm301789 1790// CHECK: vfmadd132ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}1791// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x98,0x72,0x80]1792          vfmadd132ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}1793 1794// CHECK: vfmadd132sh %xmm28, %xmm29, %xmm301795// CHECK: encoding: [0x62,0x06,0x15,0x00,0x99,0xf4]1796          vfmadd132sh %xmm28, %xmm29, %xmm301797 1798// CHECK: vfmadd132sh {rn-sae}, %xmm28, %xmm29, %xmm301799// CHECK: encoding: [0x62,0x06,0x15,0x10,0x99,0xf4]1800          vfmadd132sh {rn-sae}, %xmm28, %xmm29, %xmm301801 1802// CHECK: vfmadd132sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1803// CHECK: encoding: [0x62,0x26,0x15,0x07,0x99,0xb4,0xf5,0x00,0x00,0x00,0x10]1804          vfmadd132sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1805 1806// CHECK: vfmadd132sh  (%r9), %xmm29, %xmm301807// CHECK: encoding: [0x62,0x46,0x15,0x00,0x99,0x31]1808          vfmadd132sh  (%r9), %xmm29, %xmm301809 1810// CHECK: vfmadd132sh  254(%rcx), %xmm29, %xmm301811// CHECK: encoding: [0x62,0x66,0x15,0x00,0x99,0x71,0x7f]1812          vfmadd132sh  254(%rcx), %xmm29, %xmm301813 1814// CHECK: vfmadd132sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}1815// CHECK: encoding: [0x62,0x66,0x15,0x87,0x99,0x72,0x80]1816          vfmadd132sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}1817 1818// CHECK: vfmadd213ph %zmm28, %zmm29, %zmm301819// CHECK: encoding: [0x62,0x06,0x15,0x40,0xa8,0xf4]1820          vfmadd213ph %zmm28, %zmm29, %zmm301821 1822// CHECK: vfmadd213ph {rn-sae}, %zmm28, %zmm29, %zmm301823// CHECK: encoding: [0x62,0x06,0x15,0x10,0xa8,0xf4]1824          vfmadd213ph {rn-sae}, %zmm28, %zmm29, %zmm301825 1826// CHECK: vfmadd213ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}1827// CHECK: encoding: [0x62,0x26,0x15,0x47,0xa8,0xb4,0xf5,0x00,0x00,0x00,0x10]1828          vfmadd213ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}1829 1830// CHECK: vfmadd213ph  (%r9){1to32}, %zmm29, %zmm301831// CHECK: encoding: [0x62,0x46,0x15,0x50,0xa8,0x31]1832          vfmadd213ph  (%r9){1to32}, %zmm29, %zmm301833 1834// CHECK: vfmadd213ph  8128(%rcx), %zmm29, %zmm301835// CHECK: encoding: [0x62,0x66,0x15,0x40,0xa8,0x71,0x7f]1836          vfmadd213ph  8128(%rcx), %zmm29, %zmm301837 1838// CHECK: vfmadd213ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}1839// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xa8,0x72,0x80]1840          vfmadd213ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}1841 1842// CHECK: vfmadd213sh %xmm28, %xmm29, %xmm301843// CHECK: encoding: [0x62,0x06,0x15,0x00,0xa9,0xf4]1844          vfmadd213sh %xmm28, %xmm29, %xmm301845 1846// CHECK: vfmadd213sh {rn-sae}, %xmm28, %xmm29, %xmm301847// CHECK: encoding: [0x62,0x06,0x15,0x10,0xa9,0xf4]1848          vfmadd213sh {rn-sae}, %xmm28, %xmm29, %xmm301849 1850// CHECK: vfmadd213sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1851// CHECK: encoding: [0x62,0x26,0x15,0x07,0xa9,0xb4,0xf5,0x00,0x00,0x00,0x10]1852          vfmadd213sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1853 1854// CHECK: vfmadd213sh  (%r9), %xmm29, %xmm301855// CHECK: encoding: [0x62,0x46,0x15,0x00,0xa9,0x31]1856          vfmadd213sh  (%r9), %xmm29, %xmm301857 1858// CHECK: vfmadd213sh  254(%rcx), %xmm29, %xmm301859// CHECK: encoding: [0x62,0x66,0x15,0x00,0xa9,0x71,0x7f]1860          vfmadd213sh  254(%rcx), %xmm29, %xmm301861 1862// CHECK: vfmadd213sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}1863// CHECK: encoding: [0x62,0x66,0x15,0x87,0xa9,0x72,0x80]1864          vfmadd213sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}1865 1866// CHECK: vfmadd231ph %zmm28, %zmm29, %zmm301867// CHECK: encoding: [0x62,0x06,0x15,0x40,0xb8,0xf4]1868          vfmadd231ph %zmm28, %zmm29, %zmm301869 1870// CHECK: vfmadd231ph {rn-sae}, %zmm28, %zmm29, %zmm301871// CHECK: encoding: [0x62,0x06,0x15,0x10,0xb8,0xf4]1872          vfmadd231ph {rn-sae}, %zmm28, %zmm29, %zmm301873 1874// CHECK: vfmadd231ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}1875// CHECK: encoding: [0x62,0x26,0x15,0x47,0xb8,0xb4,0xf5,0x00,0x00,0x00,0x10]1876          vfmadd231ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}1877 1878// CHECK: vfmadd231ph  (%r9){1to32}, %zmm29, %zmm301879// CHECK: encoding: [0x62,0x46,0x15,0x50,0xb8,0x31]1880          vfmadd231ph  (%r9){1to32}, %zmm29, %zmm301881 1882// CHECK: vfmadd231ph  8128(%rcx), %zmm29, %zmm301883// CHECK: encoding: [0x62,0x66,0x15,0x40,0xb8,0x71,0x7f]1884          vfmadd231ph  8128(%rcx), %zmm29, %zmm301885 1886// CHECK: vfmadd231ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}1887// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xb8,0x72,0x80]1888          vfmadd231ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}1889 1890// CHECK: vfmadd231sh %xmm28, %xmm29, %xmm301891// CHECK: encoding: [0x62,0x06,0x15,0x00,0xb9,0xf4]1892          vfmadd231sh %xmm28, %xmm29, %xmm301893 1894// CHECK: vfmadd231sh {rn-sae}, %xmm28, %xmm29, %xmm301895// CHECK: encoding: [0x62,0x06,0x15,0x10,0xb9,0xf4]1896          vfmadd231sh {rn-sae}, %xmm28, %xmm29, %xmm301897 1898// CHECK: vfmadd231sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1899// CHECK: encoding: [0x62,0x26,0x15,0x07,0xb9,0xb4,0xf5,0x00,0x00,0x00,0x10]1900          vfmadd231sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}1901 1902// CHECK: vfmadd231sh  (%r9), %xmm29, %xmm301903// CHECK: encoding: [0x62,0x46,0x15,0x00,0xb9,0x31]1904          vfmadd231sh  (%r9), %xmm29, %xmm301905 1906// CHECK: vfmadd231sh  254(%rcx), %xmm29, %xmm301907// CHECK: encoding: [0x62,0x66,0x15,0x00,0xb9,0x71,0x7f]1908          vfmadd231sh  254(%rcx), %xmm29, %xmm301909 1910// CHECK: vfmadd231sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}1911// CHECK: encoding: [0x62,0x66,0x15,0x87,0xb9,0x72,0x80]1912          vfmadd231sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}1913 1914// CHECK: vfmaddsub132ph %zmm28, %zmm29, %zmm301915// CHECK: encoding: [0x62,0x06,0x15,0x40,0x96,0xf4]1916          vfmaddsub132ph %zmm28, %zmm29, %zmm301917 1918// CHECK: vfmaddsub132ph {rn-sae}, %zmm28, %zmm29, %zmm301919// CHECK: encoding: [0x62,0x06,0x15,0x10,0x96,0xf4]1920          vfmaddsub132ph {rn-sae}, %zmm28, %zmm29, %zmm301921 1922// CHECK: vfmaddsub132ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}1923// CHECK: encoding: [0x62,0x26,0x15,0x47,0x96,0xb4,0xf5,0x00,0x00,0x00,0x10]1924          vfmaddsub132ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}1925 1926// CHECK: vfmaddsub132ph  (%r9){1to32}, %zmm29, %zmm301927// CHECK: encoding: [0x62,0x46,0x15,0x50,0x96,0x31]1928          vfmaddsub132ph  (%r9){1to32}, %zmm29, %zmm301929 1930// CHECK: vfmaddsub132ph  8128(%rcx), %zmm29, %zmm301931// CHECK: encoding: [0x62,0x66,0x15,0x40,0x96,0x71,0x7f]1932          vfmaddsub132ph  8128(%rcx), %zmm29, %zmm301933 1934// CHECK: vfmaddsub132ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}1935// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x96,0x72,0x80]1936          vfmaddsub132ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}1937 1938// CHECK: vfmaddsub213ph %zmm28, %zmm29, %zmm301939// CHECK: encoding: [0x62,0x06,0x15,0x40,0xa6,0xf4]1940          vfmaddsub213ph %zmm28, %zmm29, %zmm301941 1942// CHECK: vfmaddsub213ph {rn-sae}, %zmm28, %zmm29, %zmm301943// CHECK: encoding: [0x62,0x06,0x15,0x10,0xa6,0xf4]1944          vfmaddsub213ph {rn-sae}, %zmm28, %zmm29, %zmm301945 1946// CHECK: vfmaddsub213ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}1947// CHECK: encoding: [0x62,0x26,0x15,0x47,0xa6,0xb4,0xf5,0x00,0x00,0x00,0x10]1948          vfmaddsub213ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}1949 1950// CHECK: vfmaddsub213ph  (%r9){1to32}, %zmm29, %zmm301951// CHECK: encoding: [0x62,0x46,0x15,0x50,0xa6,0x31]1952          vfmaddsub213ph  (%r9){1to32}, %zmm29, %zmm301953 1954// CHECK: vfmaddsub213ph  8128(%rcx), %zmm29, %zmm301955// CHECK: encoding: [0x62,0x66,0x15,0x40,0xa6,0x71,0x7f]1956          vfmaddsub213ph  8128(%rcx), %zmm29, %zmm301957 1958// CHECK: vfmaddsub213ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}1959// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xa6,0x72,0x80]1960          vfmaddsub213ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}1961 1962// CHECK: vfmaddsub231ph %zmm28, %zmm29, %zmm301963// CHECK: encoding: [0x62,0x06,0x15,0x40,0xb6,0xf4]1964          vfmaddsub231ph %zmm28, %zmm29, %zmm301965 1966// CHECK: vfmaddsub231ph {rn-sae}, %zmm28, %zmm29, %zmm301967// CHECK: encoding: [0x62,0x06,0x15,0x10,0xb6,0xf4]1968          vfmaddsub231ph {rn-sae}, %zmm28, %zmm29, %zmm301969 1970// CHECK: vfmaddsub231ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}1971// CHECK: encoding: [0x62,0x26,0x15,0x47,0xb6,0xb4,0xf5,0x00,0x00,0x00,0x10]1972          vfmaddsub231ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}1973 1974// CHECK: vfmaddsub231ph  (%r9){1to32}, %zmm29, %zmm301975// CHECK: encoding: [0x62,0x46,0x15,0x50,0xb6,0x31]1976          vfmaddsub231ph  (%r9){1to32}, %zmm29, %zmm301977 1978// CHECK: vfmaddsub231ph  8128(%rcx), %zmm29, %zmm301979// CHECK: encoding: [0x62,0x66,0x15,0x40,0xb6,0x71,0x7f]1980          vfmaddsub231ph  8128(%rcx), %zmm29, %zmm301981 1982// CHECK: vfmaddsub231ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}1983// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xb6,0x72,0x80]1984          vfmaddsub231ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}1985 1986// CHECK: vfmsub132ph %zmm28, %zmm29, %zmm301987// CHECK: encoding: [0x62,0x06,0x15,0x40,0x9a,0xf4]1988          vfmsub132ph %zmm28, %zmm29, %zmm301989 1990// CHECK: vfmsub132ph {rn-sae}, %zmm28, %zmm29, %zmm301991// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9a,0xf4]1992          vfmsub132ph {rn-sae}, %zmm28, %zmm29, %zmm301993 1994// CHECK: vfmsub132ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}1995// CHECK: encoding: [0x62,0x26,0x15,0x47,0x9a,0xb4,0xf5,0x00,0x00,0x00,0x10]1996          vfmsub132ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}1997 1998// CHECK: vfmsub132ph  (%r9){1to32}, %zmm29, %zmm301999// CHECK: encoding: [0x62,0x46,0x15,0x50,0x9a,0x31]2000          vfmsub132ph  (%r9){1to32}, %zmm29, %zmm302001 2002// CHECK: vfmsub132ph  8128(%rcx), %zmm29, %zmm302003// CHECK: encoding: [0x62,0x66,0x15,0x40,0x9a,0x71,0x7f]2004          vfmsub132ph  8128(%rcx), %zmm29, %zmm302005 2006// CHECK: vfmsub132ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2007// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x9a,0x72,0x80]2008          vfmsub132ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2009 2010// CHECK: vfmsub132sh %xmm28, %xmm29, %xmm302011// CHECK: encoding: [0x62,0x06,0x15,0x00,0x9b,0xf4]2012          vfmsub132sh %xmm28, %xmm29, %xmm302013 2014// CHECK: vfmsub132sh {rn-sae}, %xmm28, %xmm29, %xmm302015// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9b,0xf4]2016          vfmsub132sh {rn-sae}, %xmm28, %xmm29, %xmm302017 2018// CHECK: vfmsub132sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2019// CHECK: encoding: [0x62,0x26,0x15,0x07,0x9b,0xb4,0xf5,0x00,0x00,0x00,0x10]2020          vfmsub132sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2021 2022// CHECK: vfmsub132sh  (%r9), %xmm29, %xmm302023// CHECK: encoding: [0x62,0x46,0x15,0x00,0x9b,0x31]2024          vfmsub132sh  (%r9), %xmm29, %xmm302025 2026// CHECK: vfmsub132sh  254(%rcx), %xmm29, %xmm302027// CHECK: encoding: [0x62,0x66,0x15,0x00,0x9b,0x71,0x7f]2028          vfmsub132sh  254(%rcx), %xmm29, %xmm302029 2030// CHECK: vfmsub132sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2031// CHECK: encoding: [0x62,0x66,0x15,0x87,0x9b,0x72,0x80]2032          vfmsub132sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2033 2034// CHECK: vfmsub213ph %zmm28, %zmm29, %zmm302035// CHECK: encoding: [0x62,0x06,0x15,0x40,0xaa,0xf4]2036          vfmsub213ph %zmm28, %zmm29, %zmm302037 2038// CHECK: vfmsub213ph {rn-sae}, %zmm28, %zmm29, %zmm302039// CHECK: encoding: [0x62,0x06,0x15,0x10,0xaa,0xf4]2040          vfmsub213ph {rn-sae}, %zmm28, %zmm29, %zmm302041 2042// CHECK: vfmsub213ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2043// CHECK: encoding: [0x62,0x26,0x15,0x47,0xaa,0xb4,0xf5,0x00,0x00,0x00,0x10]2044          vfmsub213ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2045 2046// CHECK: vfmsub213ph  (%r9){1to32}, %zmm29, %zmm302047// CHECK: encoding: [0x62,0x46,0x15,0x50,0xaa,0x31]2048          vfmsub213ph  (%r9){1to32}, %zmm29, %zmm302049 2050// CHECK: vfmsub213ph  8128(%rcx), %zmm29, %zmm302051// CHECK: encoding: [0x62,0x66,0x15,0x40,0xaa,0x71,0x7f]2052          vfmsub213ph  8128(%rcx), %zmm29, %zmm302053 2054// CHECK: vfmsub213ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2055// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xaa,0x72,0x80]2056          vfmsub213ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2057 2058// CHECK: vfmsub213sh %xmm28, %xmm29, %xmm302059// CHECK: encoding: [0x62,0x06,0x15,0x00,0xab,0xf4]2060          vfmsub213sh %xmm28, %xmm29, %xmm302061 2062// CHECK: vfmsub213sh {rn-sae}, %xmm28, %xmm29, %xmm302063// CHECK: encoding: [0x62,0x06,0x15,0x10,0xab,0xf4]2064          vfmsub213sh {rn-sae}, %xmm28, %xmm29, %xmm302065 2066// CHECK: vfmsub213sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2067// CHECK: encoding: [0x62,0x26,0x15,0x07,0xab,0xb4,0xf5,0x00,0x00,0x00,0x10]2068          vfmsub213sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2069 2070// CHECK: vfmsub213sh  (%r9), %xmm29, %xmm302071// CHECK: encoding: [0x62,0x46,0x15,0x00,0xab,0x31]2072          vfmsub213sh  (%r9), %xmm29, %xmm302073 2074// CHECK: vfmsub213sh  254(%rcx), %xmm29, %xmm302075// CHECK: encoding: [0x62,0x66,0x15,0x00,0xab,0x71,0x7f]2076          vfmsub213sh  254(%rcx), %xmm29, %xmm302077 2078// CHECK: vfmsub213sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2079// CHECK: encoding: [0x62,0x66,0x15,0x87,0xab,0x72,0x80]2080          vfmsub213sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2081 2082// CHECK: vfmsub231ph %zmm28, %zmm29, %zmm302083// CHECK: encoding: [0x62,0x06,0x15,0x40,0xba,0xf4]2084          vfmsub231ph %zmm28, %zmm29, %zmm302085 2086// CHECK: vfmsub231ph {rn-sae}, %zmm28, %zmm29, %zmm302087// CHECK: encoding: [0x62,0x06,0x15,0x10,0xba,0xf4]2088          vfmsub231ph {rn-sae}, %zmm28, %zmm29, %zmm302089 2090// CHECK: vfmsub231ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2091// CHECK: encoding: [0x62,0x26,0x15,0x47,0xba,0xb4,0xf5,0x00,0x00,0x00,0x10]2092          vfmsub231ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2093 2094// CHECK: vfmsub231ph  (%r9){1to32}, %zmm29, %zmm302095// CHECK: encoding: [0x62,0x46,0x15,0x50,0xba,0x31]2096          vfmsub231ph  (%r9){1to32}, %zmm29, %zmm302097 2098// CHECK: vfmsub231ph  8128(%rcx), %zmm29, %zmm302099// CHECK: encoding: [0x62,0x66,0x15,0x40,0xba,0x71,0x7f]2100          vfmsub231ph  8128(%rcx), %zmm29, %zmm302101 2102// CHECK: vfmsub231ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2103// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xba,0x72,0x80]2104          vfmsub231ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2105 2106// CHECK: vfmsub231sh %xmm28, %xmm29, %xmm302107// CHECK: encoding: [0x62,0x06,0x15,0x00,0xbb,0xf4]2108          vfmsub231sh %xmm28, %xmm29, %xmm302109 2110// CHECK: vfmsub231sh {rn-sae}, %xmm28, %xmm29, %xmm302111// CHECK: encoding: [0x62,0x06,0x15,0x10,0xbb,0xf4]2112          vfmsub231sh {rn-sae}, %xmm28, %xmm29, %xmm302113 2114// CHECK: vfmsub231sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2115// CHECK: encoding: [0x62,0x26,0x15,0x07,0xbb,0xb4,0xf5,0x00,0x00,0x00,0x10]2116          vfmsub231sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2117 2118// CHECK: vfmsub231sh  (%r9), %xmm29, %xmm302119// CHECK: encoding: [0x62,0x46,0x15,0x00,0xbb,0x31]2120          vfmsub231sh  (%r9), %xmm29, %xmm302121 2122// CHECK: vfmsub231sh  254(%rcx), %xmm29, %xmm302123// CHECK: encoding: [0x62,0x66,0x15,0x00,0xbb,0x71,0x7f]2124          vfmsub231sh  254(%rcx), %xmm29, %xmm302125 2126// CHECK: vfmsub231sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2127// CHECK: encoding: [0x62,0x66,0x15,0x87,0xbb,0x72,0x80]2128          vfmsub231sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2129 2130// CHECK: vfmsubadd132ph %zmm28, %zmm29, %zmm302131// CHECK: encoding: [0x62,0x06,0x15,0x40,0x97,0xf4]2132          vfmsubadd132ph %zmm28, %zmm29, %zmm302133 2134// CHECK: vfmsubadd132ph {rn-sae}, %zmm28, %zmm29, %zmm302135// CHECK: encoding: [0x62,0x06,0x15,0x10,0x97,0xf4]2136          vfmsubadd132ph {rn-sae}, %zmm28, %zmm29, %zmm302137 2138// CHECK: vfmsubadd132ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2139// CHECK: encoding: [0x62,0x26,0x15,0x47,0x97,0xb4,0xf5,0x00,0x00,0x00,0x10]2140          vfmsubadd132ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2141 2142// CHECK: vfmsubadd132ph  (%r9){1to32}, %zmm29, %zmm302143// CHECK: encoding: [0x62,0x46,0x15,0x50,0x97,0x31]2144          vfmsubadd132ph  (%r9){1to32}, %zmm29, %zmm302145 2146// CHECK: vfmsubadd132ph  8128(%rcx), %zmm29, %zmm302147// CHECK: encoding: [0x62,0x66,0x15,0x40,0x97,0x71,0x7f]2148          vfmsubadd132ph  8128(%rcx), %zmm29, %zmm302149 2150// CHECK: vfmsubadd132ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2151// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x97,0x72,0x80]2152          vfmsubadd132ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2153 2154// CHECK: vfmsubadd213ph %zmm28, %zmm29, %zmm302155// CHECK: encoding: [0x62,0x06,0x15,0x40,0xa7,0xf4]2156          vfmsubadd213ph %zmm28, %zmm29, %zmm302157 2158// CHECK: vfmsubadd213ph {rn-sae}, %zmm28, %zmm29, %zmm302159// CHECK: encoding: [0x62,0x06,0x15,0x10,0xa7,0xf4]2160          vfmsubadd213ph {rn-sae}, %zmm28, %zmm29, %zmm302161 2162// CHECK: vfmsubadd213ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2163// CHECK: encoding: [0x62,0x26,0x15,0x47,0xa7,0xb4,0xf5,0x00,0x00,0x00,0x10]2164          vfmsubadd213ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2165 2166// CHECK: vfmsubadd213ph  (%r9){1to32}, %zmm29, %zmm302167// CHECK: encoding: [0x62,0x46,0x15,0x50,0xa7,0x31]2168          vfmsubadd213ph  (%r9){1to32}, %zmm29, %zmm302169 2170// CHECK: vfmsubadd213ph  8128(%rcx), %zmm29, %zmm302171// CHECK: encoding: [0x62,0x66,0x15,0x40,0xa7,0x71,0x7f]2172          vfmsubadd213ph  8128(%rcx), %zmm29, %zmm302173 2174// CHECK: vfmsubadd213ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2175// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xa7,0x72,0x80]2176          vfmsubadd213ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2177 2178// CHECK: vfmsubadd231ph %zmm28, %zmm29, %zmm302179// CHECK: encoding: [0x62,0x06,0x15,0x40,0xb7,0xf4]2180          vfmsubadd231ph %zmm28, %zmm29, %zmm302181 2182// CHECK: vfmsubadd231ph {rn-sae}, %zmm28, %zmm29, %zmm302183// CHECK: encoding: [0x62,0x06,0x15,0x10,0xb7,0xf4]2184          vfmsubadd231ph {rn-sae}, %zmm28, %zmm29, %zmm302185 2186// CHECK: vfmsubadd231ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2187// CHECK: encoding: [0x62,0x26,0x15,0x47,0xb7,0xb4,0xf5,0x00,0x00,0x00,0x10]2188          vfmsubadd231ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2189 2190// CHECK: vfmsubadd231ph  (%r9){1to32}, %zmm29, %zmm302191// CHECK: encoding: [0x62,0x46,0x15,0x50,0xb7,0x31]2192          vfmsubadd231ph  (%r9){1to32}, %zmm29, %zmm302193 2194// CHECK: vfmsubadd231ph  8128(%rcx), %zmm29, %zmm302195// CHECK: encoding: [0x62,0x66,0x15,0x40,0xb7,0x71,0x7f]2196          vfmsubadd231ph  8128(%rcx), %zmm29, %zmm302197 2198// CHECK: vfmsubadd231ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2199// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xb7,0x72,0x80]2200          vfmsubadd231ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2201 2202// CHECK: vfnmadd132ph %zmm28, %zmm29, %zmm302203// CHECK: encoding: [0x62,0x06,0x15,0x40,0x9c,0xf4]2204          vfnmadd132ph %zmm28, %zmm29, %zmm302205 2206// CHECK: vfnmadd132ph {rn-sae}, %zmm28, %zmm29, %zmm302207// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9c,0xf4]2208          vfnmadd132ph {rn-sae}, %zmm28, %zmm29, %zmm302209 2210// CHECK: vfnmadd132ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2211// CHECK: encoding: [0x62,0x26,0x15,0x47,0x9c,0xb4,0xf5,0x00,0x00,0x00,0x10]2212          vfnmadd132ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2213 2214// CHECK: vfnmadd132ph  (%r9){1to32}, %zmm29, %zmm302215// CHECK: encoding: [0x62,0x46,0x15,0x50,0x9c,0x31]2216          vfnmadd132ph  (%r9){1to32}, %zmm29, %zmm302217 2218// CHECK: vfnmadd132ph  8128(%rcx), %zmm29, %zmm302219// CHECK: encoding: [0x62,0x66,0x15,0x40,0x9c,0x71,0x7f]2220          vfnmadd132ph  8128(%rcx), %zmm29, %zmm302221 2222// CHECK: vfnmadd132ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2223// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x9c,0x72,0x80]2224          vfnmadd132ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2225 2226// CHECK: vfnmadd132sh %xmm28, %xmm29, %xmm302227// CHECK: encoding: [0x62,0x06,0x15,0x00,0x9d,0xf4]2228          vfnmadd132sh %xmm28, %xmm29, %xmm302229 2230// CHECK: vfnmadd132sh {rn-sae}, %xmm28, %xmm29, %xmm302231// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9d,0xf4]2232          vfnmadd132sh {rn-sae}, %xmm28, %xmm29, %xmm302233 2234// CHECK: vfnmadd132sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2235// CHECK: encoding: [0x62,0x26,0x15,0x07,0x9d,0xb4,0xf5,0x00,0x00,0x00,0x10]2236          vfnmadd132sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2237 2238// CHECK: vfnmadd132sh  (%r9), %xmm29, %xmm302239// CHECK: encoding: [0x62,0x46,0x15,0x00,0x9d,0x31]2240          vfnmadd132sh  (%r9), %xmm29, %xmm302241 2242// CHECK: vfnmadd132sh  254(%rcx), %xmm29, %xmm302243// CHECK: encoding: [0x62,0x66,0x15,0x00,0x9d,0x71,0x7f]2244          vfnmadd132sh  254(%rcx), %xmm29, %xmm302245 2246// CHECK: vfnmadd132sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2247// CHECK: encoding: [0x62,0x66,0x15,0x87,0x9d,0x72,0x80]2248          vfnmadd132sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2249 2250// CHECK: vfnmadd213ph %zmm28, %zmm29, %zmm302251// CHECK: encoding: [0x62,0x06,0x15,0x40,0xac,0xf4]2252          vfnmadd213ph %zmm28, %zmm29, %zmm302253 2254// CHECK: vfnmadd213ph {rn-sae}, %zmm28, %zmm29, %zmm302255// CHECK: encoding: [0x62,0x06,0x15,0x10,0xac,0xf4]2256          vfnmadd213ph {rn-sae}, %zmm28, %zmm29, %zmm302257 2258// CHECK: vfnmadd213ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2259// CHECK: encoding: [0x62,0x26,0x15,0x47,0xac,0xb4,0xf5,0x00,0x00,0x00,0x10]2260          vfnmadd213ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2261 2262// CHECK: vfnmadd213ph  (%r9){1to32}, %zmm29, %zmm302263// CHECK: encoding: [0x62,0x46,0x15,0x50,0xac,0x31]2264          vfnmadd213ph  (%r9){1to32}, %zmm29, %zmm302265 2266// CHECK: vfnmadd213ph  8128(%rcx), %zmm29, %zmm302267// CHECK: encoding: [0x62,0x66,0x15,0x40,0xac,0x71,0x7f]2268          vfnmadd213ph  8128(%rcx), %zmm29, %zmm302269 2270// CHECK: vfnmadd213ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2271// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xac,0x72,0x80]2272          vfnmadd213ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2273 2274// CHECK: vfnmadd213sh %xmm28, %xmm29, %xmm302275// CHECK: encoding: [0x62,0x06,0x15,0x00,0xad,0xf4]2276          vfnmadd213sh %xmm28, %xmm29, %xmm302277 2278// CHECK: vfnmadd213sh {rn-sae}, %xmm28, %xmm29, %xmm302279// CHECK: encoding: [0x62,0x06,0x15,0x10,0xad,0xf4]2280          vfnmadd213sh {rn-sae}, %xmm28, %xmm29, %xmm302281 2282// CHECK: vfnmadd213sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2283// CHECK: encoding: [0x62,0x26,0x15,0x07,0xad,0xb4,0xf5,0x00,0x00,0x00,0x10]2284          vfnmadd213sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2285 2286// CHECK: vfnmadd213sh  (%r9), %xmm29, %xmm302287// CHECK: encoding: [0x62,0x46,0x15,0x00,0xad,0x31]2288          vfnmadd213sh  (%r9), %xmm29, %xmm302289 2290// CHECK: vfnmadd213sh  254(%rcx), %xmm29, %xmm302291// CHECK: encoding: [0x62,0x66,0x15,0x00,0xad,0x71,0x7f]2292          vfnmadd213sh  254(%rcx), %xmm29, %xmm302293 2294// CHECK: vfnmadd213sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2295// CHECK: encoding: [0x62,0x66,0x15,0x87,0xad,0x72,0x80]2296          vfnmadd213sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2297 2298// CHECK: vfnmadd231ph %zmm28, %zmm29, %zmm302299// CHECK: encoding: [0x62,0x06,0x15,0x40,0xbc,0xf4]2300          vfnmadd231ph %zmm28, %zmm29, %zmm302301 2302// CHECK: vfnmadd231ph {rn-sae}, %zmm28, %zmm29, %zmm302303// CHECK: encoding: [0x62,0x06,0x15,0x10,0xbc,0xf4]2304          vfnmadd231ph {rn-sae}, %zmm28, %zmm29, %zmm302305 2306// CHECK: vfnmadd231ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2307// CHECK: encoding: [0x62,0x26,0x15,0x47,0xbc,0xb4,0xf5,0x00,0x00,0x00,0x10]2308          vfnmadd231ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2309 2310// CHECK: vfnmadd231ph  (%r9){1to32}, %zmm29, %zmm302311// CHECK: encoding: [0x62,0x46,0x15,0x50,0xbc,0x31]2312          vfnmadd231ph  (%r9){1to32}, %zmm29, %zmm302313 2314// CHECK: vfnmadd231ph  8128(%rcx), %zmm29, %zmm302315// CHECK: encoding: [0x62,0x66,0x15,0x40,0xbc,0x71,0x7f]2316          vfnmadd231ph  8128(%rcx), %zmm29, %zmm302317 2318// CHECK: vfnmadd231ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2319// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xbc,0x72,0x80]2320          vfnmadd231ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2321 2322// CHECK: vfnmadd231sh %xmm28, %xmm29, %xmm302323// CHECK: encoding: [0x62,0x06,0x15,0x00,0xbd,0xf4]2324          vfnmadd231sh %xmm28, %xmm29, %xmm302325 2326// CHECK: vfnmadd231sh {rn-sae}, %xmm28, %xmm29, %xmm302327// CHECK: encoding: [0x62,0x06,0x15,0x10,0xbd,0xf4]2328          vfnmadd231sh {rn-sae}, %xmm28, %xmm29, %xmm302329 2330// CHECK: vfnmadd231sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2331// CHECK: encoding: [0x62,0x26,0x15,0x07,0xbd,0xb4,0xf5,0x00,0x00,0x00,0x10]2332          vfnmadd231sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2333 2334// CHECK: vfnmadd231sh  (%r9), %xmm29, %xmm302335// CHECK: encoding: [0x62,0x46,0x15,0x00,0xbd,0x31]2336          vfnmadd231sh  (%r9), %xmm29, %xmm302337 2338// CHECK: vfnmadd231sh  254(%rcx), %xmm29, %xmm302339// CHECK: encoding: [0x62,0x66,0x15,0x00,0xbd,0x71,0x7f]2340          vfnmadd231sh  254(%rcx), %xmm29, %xmm302341 2342// CHECK: vfnmadd231sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2343// CHECK: encoding: [0x62,0x66,0x15,0x87,0xbd,0x72,0x80]2344          vfnmadd231sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2345 2346// CHECK: vfnmsub132ph %zmm28, %zmm29, %zmm302347// CHECK: encoding: [0x62,0x06,0x15,0x40,0x9e,0xf4]2348          vfnmsub132ph %zmm28, %zmm29, %zmm302349 2350// CHECK: vfnmsub132ph {rn-sae}, %zmm28, %zmm29, %zmm302351// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9e,0xf4]2352          vfnmsub132ph {rn-sae}, %zmm28, %zmm29, %zmm302353 2354// CHECK: vfnmsub132ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2355// CHECK: encoding: [0x62,0x26,0x15,0x47,0x9e,0xb4,0xf5,0x00,0x00,0x00,0x10]2356          vfnmsub132ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2357 2358// CHECK: vfnmsub132ph  (%r9){1to32}, %zmm29, %zmm302359// CHECK: encoding: [0x62,0x46,0x15,0x50,0x9e,0x31]2360          vfnmsub132ph  (%r9){1to32}, %zmm29, %zmm302361 2362// CHECK: vfnmsub132ph  8128(%rcx), %zmm29, %zmm302363// CHECK: encoding: [0x62,0x66,0x15,0x40,0x9e,0x71,0x7f]2364          vfnmsub132ph  8128(%rcx), %zmm29, %zmm302365 2366// CHECK: vfnmsub132ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2367// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x9e,0x72,0x80]2368          vfnmsub132ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2369 2370// CHECK: vfnmsub132sh %xmm28, %xmm29, %xmm302371// CHECK: encoding: [0x62,0x06,0x15,0x00,0x9f,0xf4]2372          vfnmsub132sh %xmm28, %xmm29, %xmm302373 2374// CHECK: vfnmsub132sh {rn-sae}, %xmm28, %xmm29, %xmm302375// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9f,0xf4]2376          vfnmsub132sh {rn-sae}, %xmm28, %xmm29, %xmm302377 2378// CHECK: vfnmsub132sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2379// CHECK: encoding: [0x62,0x26,0x15,0x07,0x9f,0xb4,0xf5,0x00,0x00,0x00,0x10]2380          vfnmsub132sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2381 2382// CHECK: vfnmsub132sh  (%r9), %xmm29, %xmm302383// CHECK: encoding: [0x62,0x46,0x15,0x00,0x9f,0x31]2384          vfnmsub132sh  (%r9), %xmm29, %xmm302385 2386// CHECK: vfnmsub132sh  254(%rcx), %xmm29, %xmm302387// CHECK: encoding: [0x62,0x66,0x15,0x00,0x9f,0x71,0x7f]2388          vfnmsub132sh  254(%rcx), %xmm29, %xmm302389 2390// CHECK: vfnmsub132sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2391// CHECK: encoding: [0x62,0x66,0x15,0x87,0x9f,0x72,0x80]2392          vfnmsub132sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2393 2394// CHECK: vfnmsub213ph %zmm28, %zmm29, %zmm302395// CHECK: encoding: [0x62,0x06,0x15,0x40,0xae,0xf4]2396          vfnmsub213ph %zmm28, %zmm29, %zmm302397 2398// CHECK: vfnmsub213ph {rn-sae}, %zmm28, %zmm29, %zmm302399// CHECK: encoding: [0x62,0x06,0x15,0x10,0xae,0xf4]2400          vfnmsub213ph {rn-sae}, %zmm28, %zmm29, %zmm302401 2402// CHECK: vfnmsub213ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2403// CHECK: encoding: [0x62,0x26,0x15,0x47,0xae,0xb4,0xf5,0x00,0x00,0x00,0x10]2404          vfnmsub213ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2405 2406// CHECK: vfnmsub213ph  (%r9){1to32}, %zmm29, %zmm302407// CHECK: encoding: [0x62,0x46,0x15,0x50,0xae,0x31]2408          vfnmsub213ph  (%r9){1to32}, %zmm29, %zmm302409 2410// CHECK: vfnmsub213ph  8128(%rcx), %zmm29, %zmm302411// CHECK: encoding: [0x62,0x66,0x15,0x40,0xae,0x71,0x7f]2412          vfnmsub213ph  8128(%rcx), %zmm29, %zmm302413 2414// CHECK: vfnmsub213ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2415// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xae,0x72,0x80]2416          vfnmsub213ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2417 2418// CHECK: vfnmsub213sh %xmm28, %xmm29, %xmm302419// CHECK: encoding: [0x62,0x06,0x15,0x00,0xaf,0xf4]2420          vfnmsub213sh %xmm28, %xmm29, %xmm302421 2422// CHECK: vfnmsub213sh {rn-sae}, %xmm28, %xmm29, %xmm302423// CHECK: encoding: [0x62,0x06,0x15,0x10,0xaf,0xf4]2424          vfnmsub213sh {rn-sae}, %xmm28, %xmm29, %xmm302425 2426// CHECK: vfnmsub213sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2427// CHECK: encoding: [0x62,0x26,0x15,0x07,0xaf,0xb4,0xf5,0x00,0x00,0x00,0x10]2428          vfnmsub213sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2429 2430// CHECK: vfnmsub213sh  (%r9), %xmm29, %xmm302431// CHECK: encoding: [0x62,0x46,0x15,0x00,0xaf,0x31]2432          vfnmsub213sh  (%r9), %xmm29, %xmm302433 2434// CHECK: vfnmsub213sh  254(%rcx), %xmm29, %xmm302435// CHECK: encoding: [0x62,0x66,0x15,0x00,0xaf,0x71,0x7f]2436          vfnmsub213sh  254(%rcx), %xmm29, %xmm302437 2438// CHECK: vfnmsub213sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2439// CHECK: encoding: [0x62,0x66,0x15,0x87,0xaf,0x72,0x80]2440          vfnmsub213sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2441 2442// CHECK: vfnmsub231ph %zmm28, %zmm29, %zmm302443// CHECK: encoding: [0x62,0x06,0x15,0x40,0xbe,0xf4]2444          vfnmsub231ph %zmm28, %zmm29, %zmm302445 2446// CHECK: vfnmsub231ph {rn-sae}, %zmm28, %zmm29, %zmm302447// CHECK: encoding: [0x62,0x06,0x15,0x10,0xbe,0xf4]2448          vfnmsub231ph {rn-sae}, %zmm28, %zmm29, %zmm302449 2450// CHECK: vfnmsub231ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2451// CHECK: encoding: [0x62,0x26,0x15,0x47,0xbe,0xb4,0xf5,0x00,0x00,0x00,0x10]2452          vfnmsub231ph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2453 2454// CHECK: vfnmsub231ph  (%r9){1to32}, %zmm29, %zmm302455// CHECK: encoding: [0x62,0x46,0x15,0x50,0xbe,0x31]2456          vfnmsub231ph  (%r9){1to32}, %zmm29, %zmm302457 2458// CHECK: vfnmsub231ph  8128(%rcx), %zmm29, %zmm302459// CHECK: encoding: [0x62,0x66,0x15,0x40,0xbe,0x71,0x7f]2460          vfnmsub231ph  8128(%rcx), %zmm29, %zmm302461 2462// CHECK: vfnmsub231ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2463// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xbe,0x72,0x80]2464          vfnmsub231ph  -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}2465 2466// CHECK: vfnmsub231sh %xmm28, %xmm29, %xmm302467// CHECK: encoding: [0x62,0x06,0x15,0x00,0xbf,0xf4]2468          vfnmsub231sh %xmm28, %xmm29, %xmm302469 2470// CHECK: vfnmsub231sh {rn-sae}, %xmm28, %xmm29, %xmm302471// CHECK: encoding: [0x62,0x06,0x15,0x10,0xbf,0xf4]2472          vfnmsub231sh {rn-sae}, %xmm28, %xmm29, %xmm302473 2474// CHECK: vfnmsub231sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2475// CHECK: encoding: [0x62,0x26,0x15,0x07,0xbf,0xb4,0xf5,0x00,0x00,0x00,0x10]2476          vfnmsub231sh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2477 2478// CHECK: vfnmsub231sh  (%r9), %xmm29, %xmm302479// CHECK: encoding: [0x62,0x46,0x15,0x00,0xbf,0x31]2480          vfnmsub231sh  (%r9), %xmm29, %xmm302481 2482// CHECK: vfnmsub231sh  254(%rcx), %xmm29, %xmm302483// CHECK: encoding: [0x62,0x66,0x15,0x00,0xbf,0x71,0x7f]2484          vfnmsub231sh  254(%rcx), %xmm29, %xmm302485 2486// CHECK: vfnmsub231sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2487// CHECK: encoding: [0x62,0x66,0x15,0x87,0xbf,0x72,0x80]2488          vfnmsub231sh  -256(%rdx), %xmm29, %xmm30 {%k7} {z}2489 2490// CHECK: vfcmaddcph %zmm28, %zmm29, %zmm302491// CHECK: encoding: [0x62,0x06,0x17,0x40,0x56,0xf4]2492          vfcmaddcph %zmm28, %zmm29, %zmm302493 2494// CHECK: vfcmaddcph {rn-sae}, %zmm28, %zmm29, %zmm302495// CHECK: encoding: [0x62,0x06,0x17,0x10,0x56,0xf4]2496          vfcmaddcph {rn-sae}, %zmm28, %zmm29, %zmm302497 2498// CHECK: vfcmaddcph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2499// CHECK: encoding: [0x62,0x26,0x17,0x47,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10]2500          vfcmaddcph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2501 2502// CHECK: vfcmaddcph  (%r9){1to16}, %zmm29, %zmm302503// CHECK: encoding: [0x62,0x46,0x17,0x50,0x56,0x31]2504          vfcmaddcph  (%r9){1to16}, %zmm29, %zmm302505 2506// CHECK: vfcmaddcph  8128(%rcx), %zmm29, %zmm302507// CHECK: encoding: [0x62,0x66,0x17,0x40,0x56,0x71,0x7f]2508          vfcmaddcph  8128(%rcx), %zmm29, %zmm302509 2510// CHECK: vfcmaddcph  -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z}2511// CHECK: encoding: [0x62,0x66,0x17,0xd7,0x56,0x72,0x80]2512          vfcmaddcph  -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z}2513 2514// CHECK: vfcmaddcsh %xmm28, %xmm29, %xmm302515// CHECK: encoding: [0x62,0x06,0x17,0x00,0x57,0xf4]2516          vfcmaddcsh %xmm28, %xmm29, %xmm302517 2518// CHECK: vfcmaddcsh {rn-sae}, %xmm28, %xmm29, %xmm302519// CHECK: encoding: [0x62,0x06,0x17,0x10,0x57,0xf4]2520          vfcmaddcsh {rn-sae}, %xmm28, %xmm29, %xmm302521 2522// CHECK: vfcmaddcsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2523// CHECK: encoding: [0x62,0x26,0x17,0x07,0x57,0xb4,0xf5,0x00,0x00,0x00,0x10]2524          vfcmaddcsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2525 2526// CHECK: vfcmaddcsh  (%r9), %xmm29, %xmm302527// CHECK: encoding: [0x62,0x46,0x17,0x00,0x57,0x31]2528          vfcmaddcsh  (%r9), %xmm29, %xmm302529 2530// CHECK: vfcmaddcsh  508(%rcx), %xmm29, %xmm302531// CHECK: encoding: [0x62,0x66,0x17,0x00,0x57,0x71,0x7f]2532          vfcmaddcsh  508(%rcx), %xmm29, %xmm302533 2534// CHECK: vfcmaddcsh  -512(%rdx), %xmm29, %xmm30 {%k7} {z}2535// CHECK: encoding: [0x62,0x66,0x17,0x87,0x57,0x72,0x80]2536          vfcmaddcsh  -512(%rdx), %xmm29, %xmm30 {%k7} {z}2537 2538// CHECK: vfcmulcph %zmm28, %zmm29, %zmm302539// CHECK: encoding: [0x62,0x06,0x17,0x40,0xd6,0xf4]2540          vfcmulcph %zmm28, %zmm29, %zmm302541 2542// CHECK: vfcmulcph {rn-sae}, %zmm28, %zmm29, %zmm302543// CHECK: encoding: [0x62,0x06,0x17,0x10,0xd6,0xf4]2544          vfcmulcph {rn-sae}, %zmm28, %zmm29, %zmm302545 2546// CHECK: vfcmulcph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2547// CHECK: encoding: [0x62,0x26,0x17,0x47,0xd6,0xb4,0xf5,0x00,0x00,0x00,0x10]2548          vfcmulcph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2549 2550// CHECK: vfcmulcph  (%r9){1to16}, %zmm29, %zmm302551// CHECK: encoding: [0x62,0x46,0x17,0x50,0xd6,0x31]2552          vfcmulcph  (%r9){1to16}, %zmm29, %zmm302553 2554// CHECK: vfcmulcph  8128(%rcx), %zmm29, %zmm302555// CHECK: encoding: [0x62,0x66,0x17,0x40,0xd6,0x71,0x7f]2556          vfcmulcph  8128(%rcx), %zmm29, %zmm302557 2558// CHECK: vfcmulcph  -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z}2559// CHECK: encoding: [0x62,0x66,0x17,0xd7,0xd6,0x72,0x80]2560          vfcmulcph  -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z}2561 2562// CHECK: vfcmulcsh %xmm28, %xmm29, %xmm302563// CHECK: encoding: [0x62,0x06,0x17,0x00,0xd7,0xf4]2564          vfcmulcsh %xmm28, %xmm29, %xmm302565 2566// CHECK: vfcmulcsh {rn-sae}, %xmm28, %xmm29, %xmm302567// CHECK: encoding: [0x62,0x06,0x17,0x10,0xd7,0xf4]2568          vfcmulcsh {rn-sae}, %xmm28, %xmm29, %xmm302569 2570// CHECK: vfcmulcsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2571// CHECK: encoding: [0x62,0x26,0x17,0x07,0xd7,0xb4,0xf5,0x00,0x00,0x00,0x10]2572          vfcmulcsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2573 2574// CHECK: vfcmulcsh  (%r9), %xmm29, %xmm302575// CHECK: encoding: [0x62,0x46,0x17,0x00,0xd7,0x31]2576          vfcmulcsh  (%r9), %xmm29, %xmm302577 2578// CHECK: vfcmulcsh  508(%rcx), %xmm29, %xmm302579// CHECK: encoding: [0x62,0x66,0x17,0x00,0xd7,0x71,0x7f]2580          vfcmulcsh  508(%rcx), %xmm29, %xmm302581 2582// CHECK: vfcmulcsh  -512(%rdx), %xmm29, %xmm30 {%k7} {z}2583// CHECK: encoding: [0x62,0x66,0x17,0x87,0xd7,0x72,0x80]2584          vfcmulcsh  -512(%rdx), %xmm29, %xmm30 {%k7} {z}2585 2586// CHECK: vfmaddcph %zmm28, %zmm29, %zmm302587// CHECK: encoding: [0x62,0x06,0x16,0x40,0x56,0xf4]2588          vfmaddcph %zmm28, %zmm29, %zmm302589 2590// CHECK: vfmaddcph {rn-sae}, %zmm28, %zmm29, %zmm302591// CHECK: encoding: [0x62,0x06,0x16,0x10,0x56,0xf4]2592          vfmaddcph {rn-sae}, %zmm28, %zmm29, %zmm302593 2594// CHECK: vfmaddcph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2595// CHECK: encoding: [0x62,0x26,0x16,0x47,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10]2596          vfmaddcph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2597 2598// CHECK: vfmaddcph  (%r9){1to16}, %zmm29, %zmm302599// CHECK: encoding: [0x62,0x46,0x16,0x50,0x56,0x31]2600          vfmaddcph  (%r9){1to16}, %zmm29, %zmm302601 2602// CHECK: vfmaddcph  8128(%rcx), %zmm29, %zmm302603// CHECK: encoding: [0x62,0x66,0x16,0x40,0x56,0x71,0x7f]2604          vfmaddcph  8128(%rcx), %zmm29, %zmm302605 2606// CHECK: vfmaddcph  -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z}2607// CHECK: encoding: [0x62,0x66,0x16,0xd7,0x56,0x72,0x80]2608          vfmaddcph  -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z}2609 2610// CHECK: vfmaddcsh %xmm28, %xmm29, %xmm302611// CHECK: encoding: [0x62,0x06,0x16,0x00,0x57,0xf4]2612          vfmaddcsh %xmm28, %xmm29, %xmm302613 2614// CHECK: vfmaddcsh {rn-sae}, %xmm28, %xmm29, %xmm302615// CHECK: encoding: [0x62,0x06,0x16,0x10,0x57,0xf4]2616          vfmaddcsh {rn-sae}, %xmm28, %xmm29, %xmm302617 2618// CHECK: vfmaddcsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2619// CHECK: encoding: [0x62,0x26,0x16,0x07,0x57,0xb4,0xf5,0x00,0x00,0x00,0x10]2620          vfmaddcsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2621 2622// CHECK: vfmaddcsh  (%r9), %xmm29, %xmm302623// CHECK: encoding: [0x62,0x46,0x16,0x00,0x57,0x31]2624          vfmaddcsh  (%r9), %xmm29, %xmm302625 2626// CHECK: vfmaddcsh  508(%rcx), %xmm29, %xmm302627// CHECK: encoding: [0x62,0x66,0x16,0x00,0x57,0x71,0x7f]2628          vfmaddcsh  508(%rcx), %xmm29, %xmm302629 2630// CHECK: vfmaddcsh  -512(%rdx), %xmm29, %xmm30 {%k7} {z}2631// CHECK: encoding: [0x62,0x66,0x16,0x87,0x57,0x72,0x80]2632          vfmaddcsh  -512(%rdx), %xmm29, %xmm30 {%k7} {z}2633 2634// CHECK: vfmulcph %zmm28, %zmm29, %zmm302635// CHECK: encoding: [0x62,0x06,0x16,0x40,0xd6,0xf4]2636          vfmulcph %zmm28, %zmm29, %zmm302637 2638// CHECK: vfmulcph {rn-sae}, %zmm28, %zmm29, %zmm302639// CHECK: encoding: [0x62,0x06,0x16,0x10,0xd6,0xf4]2640          vfmulcph {rn-sae}, %zmm28, %zmm29, %zmm302641 2642// CHECK: vfmulcph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2643// CHECK: encoding: [0x62,0x26,0x16,0x47,0xd6,0xb4,0xf5,0x00,0x00,0x00,0x10]2644          vfmulcph  268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}2645 2646// CHECK: vfmulcph  (%r9){1to16}, %zmm29, %zmm302647// CHECK: encoding: [0x62,0x46,0x16,0x50,0xd6,0x31]2648          vfmulcph  (%r9){1to16}, %zmm29, %zmm302649 2650// CHECK: vfmulcph  8128(%rcx), %zmm29, %zmm302651// CHECK: encoding: [0x62,0x66,0x16,0x40,0xd6,0x71,0x7f]2652          vfmulcph  8128(%rcx), %zmm29, %zmm302653 2654// CHECK: vfmulcph  -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z}2655// CHECK: encoding: [0x62,0x66,0x16,0xd7,0xd6,0x72,0x80]2656          vfmulcph  -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z}2657 2658// CHECK: vfmulcsh %xmm28, %xmm29, %xmm302659// CHECK: encoding: [0x62,0x06,0x16,0x00,0xd7,0xf4]2660          vfmulcsh %xmm28, %xmm29, %xmm302661 2662// CHECK: vfmulcsh {rn-sae}, %xmm28, %xmm29, %xmm302663// CHECK: encoding: [0x62,0x06,0x16,0x10,0xd7,0xf4]2664          vfmulcsh {rn-sae}, %xmm28, %xmm29, %xmm302665 2666// CHECK: vfmulcsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2667// CHECK: encoding: [0x62,0x26,0x16,0x07,0xd7,0xb4,0xf5,0x00,0x00,0x00,0x10]2668          vfmulcsh  268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}2669 2670// CHECK: vfmulcsh  (%r9), %xmm29, %xmm302671// CHECK: encoding: [0x62,0x46,0x16,0x00,0xd7,0x31]2672          vfmulcsh  (%r9), %xmm29, %xmm302673 2674// CHECK: vfmulcsh  508(%rcx), %xmm29, %xmm302675// CHECK: encoding: [0x62,0x66,0x16,0x00,0xd7,0x71,0x7f]2676          vfmulcsh  508(%rcx), %xmm29, %xmm302677 2678// CHECK: vfmulcsh  -512(%rdx), %xmm29, %xmm30 {%k7} {z}2679// CHECK: encoding: [0x62,0x66,0x16,0x87,0xd7,0x72,0x80]2680          vfmulcsh  -512(%rdx), %xmm29, %xmm30 {%k7} {z}2681