// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding < %s | FileCheck %s
// CHECK: vmovsh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x00,0x10,0xf4]
vmovsh %xmm28, %xmm29, %xmm30
// CHECK: vmovsh 268435456(%rbp,%r14,8), %xmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7e,0x0f,0x10,0xb4,0xf5,0x00,0x00,0x00,0x10]
vmovsh 268435456(%rbp,%r14,8), %xmm30 {%k7}
// CHECK: vmovsh (%r9), %xmm30
// CHECK: encoding: [0x62,0x45,0x7e,0x08,0x10,0x31]
vmovsh (%r9), %xmm30
// CHECK: vmovsh 254(%rcx), %xmm30
// CHECK: encoding: [0x62,0x65,0x7e,0x08,0x10,0x71,0x7f]
vmovsh 254(%rcx), %xmm30
// CHECK: vmovsh -256(%rdx), %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7e,0x8f,0x10,0x72,0x80]
vmovsh -256(%rdx), %xmm30 {%k7} {z}
// CHECK: vmovsh %xmm30, 268435456(%rbp,%r14,8) {%k7}
// CHECK: encoding: [0x62,0x25,0x7e,0x0f,0x11,0xb4,0xf5,0x00,0x00,0x00,0x10]
vmovsh %xmm30, 268435456(%rbp,%r14,8) {%k7}
// CHECK: vmovsh %xmm30, (%r9)
// CHECK: encoding: [0x62,0x45,0x7e,0x08,0x11,0x31]
vmovsh %xmm30, (%r9)
// CHECK: vmovsh %xmm30, 254(%rcx)
// CHECK: encoding: [0x62,0x65,0x7e,0x08,0x11,0x71,0x7f]
vmovsh %xmm30, 254(%rcx)
// CHECK: vmovsh %xmm30, -256(%rdx) {%k7}
// CHECK: encoding: [0x62,0x65,0x7e,0x0f,0x11,0x72,0x80]
vmovsh %xmm30, -256(%rdx) {%k7}
// CHECK: vmovw %r12d, %xmm30
// CHECK: encoding: [0x62,0x45,0x7d,0x08,0x6e,0xf4]
vmovw %r12d, %xmm30
// CHECK: vmovw %xmm30, %r12d
// CHECK: encoding: [0x62,0x45,0x7d,0x08,0x7e,0xf4]
vmovw %xmm30, %r12d
// CHECK: vmovw 268435456(%rbp,%r14,8), %xmm30
// CHECK: encoding: [0x62,0x25,0x7d,0x08,0x6e,0xb4,0xf5,0x00,0x00,0x00,0x10]
vmovw 268435456(%rbp,%r14,8), %xmm30
// CHECK: vmovw (%r9), %xmm30
// CHECK: encoding: [0x62,0x45,0x7d,0x08,0x6e,0x31]
vmovw (%r9), %xmm30
// CHECK: vmovw 254(%rcx), %xmm30
// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x6e,0x71,0x7f]
vmovw 254(%rcx), %xmm30
// CHECK: vmovw -256(%rdx), %xmm30
// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x6e,0x72,0x80]
vmovw -256(%rdx), %xmm30
// CHECK: vmovw %xmm30, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0x62,0x25,0x7d,0x08,0x7e,0xb4,0xf5,0x00,0x00,0x00,0x10]
vmovw %xmm30, 268435456(%rbp,%r14,8)
// CHECK: vmovw %xmm30, (%r9)
// CHECK: encoding: [0x62,0x45,0x7d,0x08,0x7e,0x31]
vmovw %xmm30, (%r9)
// CHECK: vmovw %xmm30, 254(%rcx)
// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x7e,0x71,0x7f]
vmovw %xmm30, 254(%rcx)
// CHECK: vmovw %xmm30, -256(%rdx)
// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x7e,0x72,0x80]
vmovw %xmm30, -256(%rdx)
// CHECK: vaddph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x14,0x40,0x58,0xf4]
vaddph %zmm28, %zmm29, %zmm30
// CHECK: vaddph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x14,0x10,0x58,0xf4]
vaddph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vaddph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x14,0x47,0x58,0xb4,0xf5,0x00,0x00,0x00,0x10]
vaddph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vaddph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x45,0x14,0x50,0x58,0x31]
vaddph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vaddph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x65,0x14,0x40,0x58,0x71,0x7f]
vaddph 8128(%rcx), %zmm29, %zmm30
// CHECK: vaddph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x58,0x72,0x80]
vaddph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vaddsh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x00,0x58,0xf4]
vaddsh %xmm28, %xmm29, %xmm30
// CHECK: vaddsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x10,0x58,0xf4]
vaddsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vaddsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x16,0x07,0x58,0xb4,0xf5,0x00,0x00,0x00,0x10]
vaddsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vaddsh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x45,0x16,0x00,0x58,0x31]
vaddsh (%r9), %xmm29, %xmm30
// CHECK: vaddsh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x16,0x00,0x58,0x71,0x7f]
vaddsh 254(%rcx), %xmm29, %xmm30
// CHECK: vaddsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x16,0x87,0x58,0x72,0x80]
vaddsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vcmpneq_usph %zmm28, %zmm29, %k5
// CHECK: encoding: [0x62,0x93,0x14,0x40,0xc2,0xec,0x14]
vcmpneq_usph %zmm28, %zmm29, %k5
// CHECK: vcmpnlt_uqph {sae}, %zmm28, %zmm29, %k5
// CHECK: encoding: [0x62,0x93,0x14,0x10,0xc2,0xec,0x15]
vcmpnlt_uqph {sae}, %zmm28, %zmm29, %k5
// CHECK: vcmpnle_uqph 268435456(%rbp,%r14,8), %zmm29, %k5 {%k7}
// CHECK: encoding: [0x62,0xb3,0x14,0x47,0xc2,0xac,0xf5,0x00,0x00,0x00,0x10,0x16]
vcmpnle_uqph 268435456(%rbp,%r14,8), %zmm29, %k5 {%k7}
// CHECK: vcmpord_sph (%r9){1to32}, %zmm29, %k5
// CHECK: encoding: [0x62,0xd3,0x14,0x50,0xc2,0x29,0x17]
vcmpord_sph (%r9){1to32}, %zmm29, %k5
// CHECK: vcmpeq_usph 8128(%rcx), %zmm29, %k5
// CHECK: encoding: [0x62,0xf3,0x14,0x40,0xc2,0x69,0x7f,0x18]
vcmpeq_usph 8128(%rcx), %zmm29, %k5
// CHECK: vcmpnge_uqph -256(%rdx){1to32}, %zmm29, %k5 {%k7}
// CHECK: encoding: [0x62,0xf3,0x14,0x57,0xc2,0x6a,0x80,0x19]
vcmpnge_uqph -256(%rdx){1to32}, %zmm29, %k5 {%k7}
// CHECK: vcmpngt_uqsh %xmm28, %xmm29, %k5
// CHECK: encoding: [0x62,0x93,0x16,0x00,0xc2,0xec,0x1a]
vcmpngt_uqsh %xmm28, %xmm29, %k5
// CHECK: vcmpfalse_ossh {sae}, %xmm28, %xmm29, %k5
// CHECK: encoding: [0x62,0x93,0x16,0x10,0xc2,0xec,0x1b]
vcmpfalse_ossh {sae}, %xmm28, %xmm29, %k5
// CHECK: vcmpneq_ossh 268435456(%rbp,%r14,8), %xmm29, %k5 {%k7}
// CHECK: encoding: [0x62,0xb3,0x16,0x07,0xc2,0xac,0xf5,0x00,0x00,0x00,0x10,0x1c]
vcmpneq_ossh 268435456(%rbp,%r14,8), %xmm29, %k5 {%k7}
// CHECK: vcmpge_oqsh (%r9), %xmm29, %k5
// CHECK: encoding: [0x62,0xd3,0x16,0x00,0xc2,0x29,0x1d]
vcmpge_oqsh (%r9), %xmm29, %k5
// CHECK: vcmpgt_oqsh 254(%rcx), %xmm29, %k5
// CHECK: encoding: [0x62,0xf3,0x16,0x00,0xc2,0x69,0x7f,0x1e]
vcmpgt_oqsh 254(%rcx), %xmm29, %k5
// CHECK: vcmptrue_ussh -256(%rdx), %xmm29, %k5 {%k7}
// CHECK: encoding: [0x62,0xf3,0x16,0x07,0xc2,0x6a,0x80,0x1f]
vcmptrue_ussh -256(%rdx), %xmm29, %k5 {%k7}
// CHECK: vcomish %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x7c,0x08,0x2f,0xf5]
vcomish %xmm29, %xmm30
// CHECK: vcomish {sae}, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x2f,0xf5]
vcomish {sae}, %xmm29, %xmm30
// CHECK: vcomish 268435456(%rbp,%r14,8), %xmm30
// CHECK: encoding: [0x62,0x25,0x7c,0x08,0x2f,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcomish 268435456(%rbp,%r14,8), %xmm30
// CHECK: vcomish (%r9), %xmm30
// CHECK: encoding: [0x62,0x45,0x7c,0x08,0x2f,0x31]
vcomish (%r9), %xmm30
// CHECK: vcomish 254(%rcx), %xmm30
// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x2f,0x71,0x7f]
vcomish 254(%rcx), %xmm30
// CHECK: vcomish -256(%rdx), %xmm30
// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x2f,0x72,0x80]
vcomish -256(%rdx), %xmm30
// CHECK: vdivph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x14,0x40,0x5e,0xf4]
vdivph %zmm28, %zmm29, %zmm30
// CHECK: vdivph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x14,0x10,0x5e,0xf4]
vdivph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vdivph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x14,0x47,0x5e,0xb4,0xf5,0x00,0x00,0x00,0x10]
vdivph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vdivph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x45,0x14,0x50,0x5e,0x31]
vdivph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vdivph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x65,0x14,0x40,0x5e,0x71,0x7f]
vdivph 8128(%rcx), %zmm29, %zmm30
// CHECK: vdivph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x5e,0x72,0x80]
vdivph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vdivsh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x00,0x5e,0xf4]
vdivsh %xmm28, %xmm29, %xmm30
// CHECK: vdivsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x10,0x5e,0xf4]
vdivsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vdivsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x16,0x07,0x5e,0xb4,0xf5,0x00,0x00,0x00,0x10]
vdivsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vdivsh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x45,0x16,0x00,0x5e,0x31]
vdivsh (%r9), %xmm29, %xmm30
// CHECK: vdivsh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x16,0x00,0x5e,0x71,0x7f]
vdivsh 254(%rcx), %xmm29, %xmm30
// CHECK: vdivsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x16,0x87,0x5e,0x72,0x80]
vdivsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vmaxph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x14,0x40,0x5f,0xf4]
vmaxph %zmm28, %zmm29, %zmm30
// CHECK: vmaxph {sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x14,0x10,0x5f,0xf4]
vmaxph {sae}, %zmm28, %zmm29, %zmm30
// CHECK: vmaxph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x14,0x47,0x5f,0xb4,0xf5,0x00,0x00,0x00,0x10]
vmaxph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vmaxph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x45,0x14,0x50,0x5f,0x31]
vmaxph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vmaxph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x65,0x14,0x40,0x5f,0x71,0x7f]
vmaxph 8128(%rcx), %zmm29, %zmm30
// CHECK: vmaxph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x5f,0x72,0x80]
vmaxph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vmaxsh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x00,0x5f,0xf4]
vmaxsh %xmm28, %xmm29, %xmm30
// CHECK: vmaxsh {sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x10,0x5f,0xf4]
vmaxsh {sae}, %xmm28, %xmm29, %xmm30
// CHECK: vmaxsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x16,0x07,0x5f,0xb4,0xf5,0x00,0x00,0x00,0x10]
vmaxsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vmaxsh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x45,0x16,0x00,0x5f,0x31]
vmaxsh (%r9), %xmm29, %xmm30
// CHECK: vmaxsh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x16,0x00,0x5f,0x71,0x7f]
vmaxsh 254(%rcx), %xmm29, %xmm30
// CHECK: vmaxsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x16,0x87,0x5f,0x72,0x80]
vmaxsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vminph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x14,0x40,0x5d,0xf4]
vminph %zmm28, %zmm29, %zmm30
// CHECK: vminph {sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x14,0x10,0x5d,0xf4]
vminph {sae}, %zmm28, %zmm29, %zmm30
// CHECK: vminph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x14,0x47,0x5d,0xb4,0xf5,0x00,0x00,0x00,0x10]
vminph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vminph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x45,0x14,0x50,0x5d,0x31]
vminph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vminph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x65,0x14,0x40,0x5d,0x71,0x7f]
vminph 8128(%rcx), %zmm29, %zmm30
// CHECK: vminph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x5d,0x72,0x80]
vminph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vminsh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x00,0x5d,0xf4]
vminsh %xmm28, %xmm29, %xmm30
// CHECK: vminsh {sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x10,0x5d,0xf4]
vminsh {sae}, %xmm28, %xmm29, %xmm30
// CHECK: vminsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x16,0x07,0x5d,0xb4,0xf5,0x00,0x00,0x00,0x10]
vminsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vminsh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x45,0x16,0x00,0x5d,0x31]
vminsh (%r9), %xmm29, %xmm30
// CHECK: vminsh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x16,0x00,0x5d,0x71,0x7f]
vminsh 254(%rcx), %xmm29, %xmm30
// CHECK: vminsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x16,0x87,0x5d,0x72,0x80]
vminsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vmulph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x14,0x40,0x59,0xf4]
vmulph %zmm28, %zmm29, %zmm30
// CHECK: vmulph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x14,0x10,0x59,0xf4]
vmulph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vmulph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x14,0x47,0x59,0xb4,0xf5,0x00,0x00,0x00,0x10]
vmulph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vmulph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x45,0x14,0x50,0x59,0x31]
vmulph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vmulph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x65,0x14,0x40,0x59,0x71,0x7f]
vmulph 8128(%rcx), %zmm29, %zmm30
// CHECK: vmulph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x59,0x72,0x80]
vmulph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vmulsh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x00,0x59,0xf4]
vmulsh %xmm28, %xmm29, %xmm30
// CHECK: vmulsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x10,0x59,0xf4]
vmulsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vmulsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x16,0x07,0x59,0xb4,0xf5,0x00,0x00,0x00,0x10]
vmulsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vmulsh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x45,0x16,0x00,0x59,0x31]
vmulsh (%r9), %xmm29, %xmm30
// CHECK: vmulsh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x16,0x00,0x59,0x71,0x7f]
vmulsh 254(%rcx), %xmm29, %xmm30
// CHECK: vmulsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x16,0x87,0x59,0x72,0x80]
vmulsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vsubph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x14,0x40,0x5c,0xf4]
vsubph %zmm28, %zmm29, %zmm30
// CHECK: vsubph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x14,0x10,0x5c,0xf4]
vsubph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vsubph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x14,0x47,0x5c,0xb4,0xf5,0x00,0x00,0x00,0x10]
vsubph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vsubph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x45,0x14,0x50,0x5c,0x31]
vsubph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vsubph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x65,0x14,0x40,0x5c,0x71,0x7f]
vsubph 8128(%rcx), %zmm29, %zmm30
// CHECK: vsubph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x5c,0x72,0x80]
vsubph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vsubsh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x00,0x5c,0xf4]
vsubsh %xmm28, %xmm29, %xmm30
// CHECK: vsubsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x10,0x5c,0xf4]
vsubsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vsubsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x16,0x07,0x5c,0xb4,0xf5,0x00,0x00,0x00,0x10]
vsubsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vsubsh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x45,0x16,0x00,0x5c,0x31]
vsubsh (%r9), %xmm29, %xmm30
// CHECK: vsubsh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x16,0x00,0x5c,0x71,0x7f]
vsubsh 254(%rcx), %xmm29, %xmm30
// CHECK: vsubsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x16,0x87,0x5c,0x72,0x80]
vsubsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vucomish %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x7c,0x08,0x2e,0xf5]
vucomish %xmm29, %xmm30
// CHECK: vucomish {sae}, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x2e,0xf5]
vucomish {sae}, %xmm29, %xmm30
// CHECK: vucomish 268435456(%rbp,%r14,8), %xmm30
// CHECK: encoding: [0x62,0x25,0x7c,0x08,0x2e,0xb4,0xf5,0x00,0x00,0x00,0x10]
vucomish 268435456(%rbp,%r14,8), %xmm30
// CHECK: vucomish (%r9), %xmm30
// CHECK: encoding: [0x62,0x45,0x7c,0x08,0x2e,0x31]
vucomish (%r9), %xmm30
// CHECK: vucomish 254(%rcx), %xmm30
// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x2e,0x71,0x7f]
vucomish 254(%rcx), %xmm30
// CHECK: vucomish -256(%rdx), %xmm30
// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x2e,0x72,0x80]
vucomish -256(%rdx), %xmm30
// CHECK: vcvtdq2ph %zmm29, %ymm30
// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x5b,0xf5]
vcvtdq2ph %zmm29, %ymm30
// CHECK: vcvtdq2ph {rn-sae}, %zmm29, %ymm30
// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x5b,0xf5]
vcvtdq2ph {rn-sae}, %zmm29, %ymm30
// CHECK: vcvtdq2ph 268435456(%rbp,%r14,8), %ymm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtdq2ph 268435456(%rbp,%r14,8), %ymm30 {%k7}
// CHECK: vcvtdq2ph (%r9){1to16}, %ymm30
// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x5b,0x31]
vcvtdq2ph (%r9){1to16}, %ymm30
// CHECK: vcvtdq2ph 8128(%rcx), %ymm30
// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x5b,0x71,0x7f]
vcvtdq2ph 8128(%rcx), %ymm30
// CHECK: vcvtdq2ph -512(%rdx){1to16}, %ymm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x5b,0x72,0x80]
vcvtdq2ph -512(%rdx){1to16}, %ymm30 {%k7} {z}
// CHECK: vcvtpd2ph %zmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0xfd,0x48,0x5a,0xf5]
vcvtpd2ph %zmm29, %xmm30
// CHECK: vcvtpd2ph {rn-sae}, %zmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0xfd,0x18,0x5a,0xf5]
vcvtpd2ph {rn-sae}, %zmm29, %xmm30
// CHECK: vcvtpd2phz 268435456(%rbp,%r14,8), %xmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0xfd,0x4f,0x5a,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtpd2phz 268435456(%rbp,%r14,8), %xmm30 {%k7}
// CHECK: vcvtpd2ph (%r9){1to8}, %xmm30
// CHECK: encoding: [0x62,0x45,0xfd,0x58,0x5a,0x31]
vcvtpd2ph (%r9){1to8}, %xmm30
// CHECK: vcvtpd2phz 8128(%rcx), %xmm30
// CHECK: encoding: [0x62,0x65,0xfd,0x48,0x5a,0x71,0x7f]
vcvtpd2phz 8128(%rcx), %xmm30
// CHECK: vcvtpd2ph -1024(%rdx){1to8}, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0xfd,0xdf,0x5a,0x72,0x80]
vcvtpd2ph -1024(%rdx){1to8}, %xmm30 {%k7} {z}
// CHECK: vcvtph2dq %ymm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x5b,0xf5]
vcvtph2dq %ymm29, %zmm30
// CHECK: vcvtph2dq {rn-sae}, %ymm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x5b,0xf5]
vcvtph2dq {rn-sae}, %ymm29, %zmm30
// CHECK: vcvtph2dq 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtph2dq 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vcvtph2dq (%r9){1to16}, %zmm30
// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x5b,0x31]
vcvtph2dq (%r9){1to16}, %zmm30
// CHECK: vcvtph2dq 4064(%rcx), %zmm30
// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x5b,0x71,0x7f]
vcvtph2dq 4064(%rcx), %zmm30
// CHECK: vcvtph2dq -256(%rdx){1to16}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x5b,0x72,0x80]
vcvtph2dq -256(%rdx){1to16}, %zmm30 {%k7} {z}
// CHECK: vcvtph2pd %xmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x5a,0xf5]
vcvtph2pd %xmm29, %zmm30
// CHECK: vcvtph2pd {sae}, %xmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x5a,0xf5]
vcvtph2pd {sae}, %xmm29, %zmm30
// CHECK: vcvtph2pd 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x5a,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtph2pd 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vcvtph2pd (%r9){1to8}, %zmm30
// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x5a,0x31]
vcvtph2pd (%r9){1to8}, %zmm30
// CHECK: vcvtph2pd 2032(%rcx), %zmm30
// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x5a,0x71,0x7f]
vcvtph2pd 2032(%rcx), %zmm30
// CHECK: vcvtph2pd -256(%rdx){1to8}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x5a,0x72,0x80]
vcvtph2pd -256(%rdx){1to8}, %zmm30 {%k7} {z}
// CHECK: vcvtph2psx %ymm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x7d,0x48,0x13,0xf5]
vcvtph2psx %ymm29, %zmm30
// CHECK: vcvtph2psx {sae}, %ymm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x7d,0x18,0x13,0xf5]
vcvtph2psx {sae}, %ymm29, %zmm30
// CHECK: vcvtph2psx 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x7d,0x4f,0x13,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtph2psx 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vcvtph2psx (%r9){1to16}, %zmm30
// CHECK: encoding: [0x62,0x46,0x7d,0x58,0x13,0x31]
vcvtph2psx (%r9){1to16}, %zmm30
// CHECK: vcvtph2psx 4064(%rcx), %zmm30
// CHECK: encoding: [0x62,0x66,0x7d,0x48,0x13,0x71,0x7f]
vcvtph2psx 4064(%rcx), %zmm30
// CHECK: vcvtph2psx -256(%rdx){1to16}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x7d,0xdf,0x13,0x72,0x80]
vcvtph2psx -256(%rdx){1to16}, %zmm30 {%k7} {z}
// CHECK: vcvtph2qq %xmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x7b,0xf5]
vcvtph2qq %xmm29, %zmm30
// CHECK: vcvtph2qq {rn-sae}, %xmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x7b,0xf5]
vcvtph2qq {rn-sae}, %xmm29, %zmm30
// CHECK: vcvtph2qq 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x7b,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtph2qq 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vcvtph2qq (%r9){1to8}, %zmm30
// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x7b,0x31]
vcvtph2qq (%r9){1to8}, %zmm30
// CHECK: vcvtph2qq 2032(%rcx), %zmm30
// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x7b,0x71,0x7f]
vcvtph2qq 2032(%rcx), %zmm30
// CHECK: vcvtph2qq -256(%rdx){1to8}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x7b,0x72,0x80]
vcvtph2qq -256(%rdx){1to8}, %zmm30 {%k7} {z}
// CHECK: vcvtph2udq %ymm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x79,0xf5]
vcvtph2udq %ymm29, %zmm30
// CHECK: vcvtph2udq {rn-sae}, %ymm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x79,0xf5]
vcvtph2udq {rn-sae}, %ymm29, %zmm30
// CHECK: vcvtph2udq 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x79,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtph2udq 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vcvtph2udq (%r9){1to16}, %zmm30
// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x79,0x31]
vcvtph2udq (%r9){1to16}, %zmm30
// CHECK: vcvtph2udq 4064(%rcx), %zmm30
// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x79,0x71,0x7f]
vcvtph2udq 4064(%rcx), %zmm30
// CHECK: vcvtph2udq -256(%rdx){1to16}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x79,0x72,0x80]
vcvtph2udq -256(%rdx){1to16}, %zmm30 {%k7} {z}
// CHECK: vcvtph2uqq %xmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x79,0xf5]
vcvtph2uqq %xmm29, %zmm30
// CHECK: vcvtph2uqq {rn-sae}, %xmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x79,0xf5]
vcvtph2uqq {rn-sae}, %xmm29, %zmm30
// CHECK: vcvtph2uqq 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x79,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtph2uqq 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vcvtph2uqq (%r9){1to8}, %zmm30
// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x79,0x31]
vcvtph2uqq (%r9){1to8}, %zmm30
// CHECK: vcvtph2uqq 2032(%rcx), %zmm30
// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x79,0x71,0x7f]
vcvtph2uqq 2032(%rcx), %zmm30
// CHECK: vcvtph2uqq -256(%rdx){1to8}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x79,0x72,0x80]
vcvtph2uqq -256(%rdx){1to8}, %zmm30 {%k7} {z}
// CHECK: vcvtph2uw %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x7d,0xf5]
vcvtph2uw %zmm29, %zmm30
// CHECK: vcvtph2uw {rn-sae}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x7d,0xf5]
vcvtph2uw {rn-sae}, %zmm29, %zmm30
// CHECK: vcvtph2uw 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtph2uw 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vcvtph2uw (%r9){1to32}, %zmm30
// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x7d,0x31]
vcvtph2uw (%r9){1to32}, %zmm30
// CHECK: vcvtph2uw 8128(%rcx), %zmm30
// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x7d,0x71,0x7f]
vcvtph2uw 8128(%rcx), %zmm30
// CHECK: vcvtph2uw -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x7d,0x72,0x80]
vcvtph2uw -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: vcvtph2w %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x7d,0xf5]
vcvtph2w %zmm29, %zmm30
// CHECK: vcvtph2w {rn-sae}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x7d,0xf5]
vcvtph2w {rn-sae}, %zmm29, %zmm30
// CHECK: vcvtph2w 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtph2w 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vcvtph2w (%r9){1to32}, %zmm30
// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x7d,0x31]
vcvtph2w (%r9){1to32}, %zmm30
// CHECK: vcvtph2w 8128(%rcx), %zmm30
// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x7d,0x71,0x7f]
vcvtph2w 8128(%rcx), %zmm30
// CHECK: vcvtph2w -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x7d,0x72,0x80]
vcvtph2w -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: vcvtps2phx %zmm29, %ymm30
// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x1d,0xf5]
vcvtps2phx %zmm29, %ymm30
// CHECK: vcvtps2phx {rn-sae}, %zmm29, %ymm30
// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x1d,0xf5]
vcvtps2phx {rn-sae}, %zmm29, %ymm30
// CHECK: vcvtps2phx 268435456(%rbp,%r14,8), %ymm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x1d,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtps2phx 268435456(%rbp,%r14,8), %ymm30 {%k7}
// CHECK: vcvtps2phx (%r9){1to16}, %ymm30
// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x1d,0x31]
vcvtps2phx (%r9){1to16}, %ymm30
// CHECK: vcvtps2phx 8128(%rcx), %ymm30
// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x1d,0x71,0x7f]
vcvtps2phx 8128(%rcx), %ymm30
// CHECK: vcvtps2phx -512(%rdx){1to16}, %ymm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x1d,0x72,0x80]
vcvtps2phx -512(%rdx){1to16}, %ymm30 {%k7} {z}
// CHECK: vcvtqq2ph %zmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0xfc,0x48,0x5b,0xf5]
vcvtqq2ph %zmm29, %xmm30
// CHECK: vcvtqq2ph {rn-sae}, %zmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0xfc,0x18,0x5b,0xf5]
vcvtqq2ph {rn-sae}, %zmm29, %xmm30
// CHECK: vcvtqq2phz 268435456(%rbp,%r14,8), %xmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0xfc,0x4f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtqq2phz 268435456(%rbp,%r14,8), %xmm30 {%k7}
// CHECK: vcvtqq2ph (%r9){1to8}, %xmm30
// CHECK: encoding: [0x62,0x45,0xfc,0x58,0x5b,0x31]
vcvtqq2ph (%r9){1to8}, %xmm30
// CHECK: vcvtqq2phz 8128(%rcx), %xmm30
// CHECK: encoding: [0x62,0x65,0xfc,0x48,0x5b,0x71,0x7f]
vcvtqq2phz 8128(%rcx), %xmm30
// CHECK: vcvtqq2ph -1024(%rdx){1to8}, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0xfc,0xdf,0x5b,0x72,0x80]
vcvtqq2ph -1024(%rdx){1to8}, %xmm30 {%k7} {z}
// CHECK: vcvtsd2sh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x97,0x00,0x5a,0xf4]
vcvtsd2sh %xmm28, %xmm29, %xmm30
// CHECK: vcvtsd2sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x97,0x10,0x5a,0xf4]
vcvtsd2sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vcvtsd2sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x97,0x07,0x5a,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtsd2sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vcvtsd2sh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x45,0x97,0x00,0x5a,0x31]
vcvtsd2sh (%r9), %xmm29, %xmm30
// CHECK: vcvtsd2sh 1016(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x97,0x00,0x5a,0x71,0x7f]
vcvtsd2sh 1016(%rcx), %xmm29, %xmm30
// CHECK: vcvtsd2sh -1024(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x97,0x87,0x5a,0x72,0x80]
vcvtsd2sh -1024(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vcvtsh2sd %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x00,0x5a,0xf4]
vcvtsh2sd %xmm28, %xmm29, %xmm30
// CHECK: vcvtsh2sd {sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x10,0x5a,0xf4]
vcvtsh2sd {sae}, %xmm28, %xmm29, %xmm30
// CHECK: vcvtsh2sd 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x16,0x07,0x5a,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtsh2sd 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vcvtsh2sd (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x45,0x16,0x00,0x5a,0x31]
vcvtsh2sd (%r9), %xmm29, %xmm30
// CHECK: vcvtsh2sd 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x16,0x00,0x5a,0x71,0x7f]
vcvtsh2sd 254(%rcx), %xmm29, %xmm30
// CHECK: vcvtsh2sd -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x16,0x87,0x5a,0x72,0x80]
vcvtsh2sd -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vcvtsh2si %xmm30, %edx
// CHECK: encoding: [0x62,0x95,0x7e,0x08,0x2d,0xd6]
vcvtsh2si %xmm30, %edx
// CHECK: vcvtsh2si {rn-sae}, %xmm30, %edx
// CHECK: encoding: [0x62,0x95,0x7e,0x18,0x2d,0xd6]
vcvtsh2si {rn-sae}, %xmm30, %edx
// CHECK: vcvtsh2si %xmm30, %r12
// CHECK: encoding: [0x62,0x15,0xfe,0x08,0x2d,0xe6]
vcvtsh2si %xmm30, %r12
// CHECK: vcvtsh2si {rn-sae}, %xmm30, %r12
// CHECK: encoding: [0x62,0x15,0xfe,0x18,0x2d,0xe6]
vcvtsh2si {rn-sae}, %xmm30, %r12
// CHECK: vcvtsh2si 268435456(%rbp,%r14,8), %edx
// CHECK: encoding: [0x62,0xb5,0x7e,0x08,0x2d,0x94,0xf5,0x00,0x00,0x00,0x10]
vcvtsh2si 268435456(%rbp,%r14,8), %edx
// CHECK: vcvtsh2si (%r9), %edx
// CHECK: encoding: [0x62,0xd5,0x7e,0x08,0x2d,0x11]
vcvtsh2si (%r9), %edx
// CHECK: vcvtsh2si 254(%rcx), %edx
// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2d,0x51,0x7f]
vcvtsh2si 254(%rcx), %edx
// CHECK: vcvtsh2si -256(%rdx), %edx
// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2d,0x52,0x80]
vcvtsh2si -256(%rdx), %edx
// CHECK: vcvtsh2si 268435456(%rbp,%r14,8), %r12
// CHECK: encoding: [0x62,0x35,0xfe,0x08,0x2d,0xa4,0xf5,0x00,0x00,0x00,0x10]
vcvtsh2si 268435456(%rbp,%r14,8), %r12
// CHECK: vcvtsh2si (%r9), %r12
// CHECK: encoding: [0x62,0x55,0xfe,0x08,0x2d,0x21]
vcvtsh2si (%r9), %r12
// CHECK: vcvtsh2si 254(%rcx), %r12
// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x2d,0x61,0x7f]
vcvtsh2si 254(%rcx), %r12
// CHECK: vcvtsh2si -256(%rdx), %r12
// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x2d,0x62,0x80]
vcvtsh2si -256(%rdx), %r12
// CHECK: vcvtsh2ss %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x14,0x00,0x13,0xf4]
vcvtsh2ss %xmm28, %xmm29, %xmm30
// CHECK: vcvtsh2ss {sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x14,0x10,0x13,0xf4]
vcvtsh2ss {sae}, %xmm28, %xmm29, %xmm30
// CHECK: vcvtsh2ss 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x14,0x07,0x13,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtsh2ss 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vcvtsh2ss (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x14,0x00,0x13,0x31]
vcvtsh2ss (%r9), %xmm29, %xmm30
// CHECK: vcvtsh2ss 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x14,0x00,0x13,0x71,0x7f]
vcvtsh2ss 254(%rcx), %xmm29, %xmm30
// CHECK: vcvtsh2ss -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x14,0x87,0x13,0x72,0x80]
vcvtsh2ss -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vcvtsh2usi %xmm30, %edx
// CHECK: encoding: [0x62,0x95,0x7e,0x08,0x79,0xd6]
vcvtsh2usi %xmm30, %edx
// CHECK: vcvtsh2usi {rn-sae}, %xmm30, %edx
// CHECK: encoding: [0x62,0x95,0x7e,0x18,0x79,0xd6]
vcvtsh2usi {rn-sae}, %xmm30, %edx
// CHECK: vcvtsh2usi %xmm30, %r12
// CHECK: encoding: [0x62,0x15,0xfe,0x08,0x79,0xe6]
vcvtsh2usi %xmm30, %r12
// CHECK: vcvtsh2usi {rn-sae}, %xmm30, %r12
// CHECK: encoding: [0x62,0x15,0xfe,0x18,0x79,0xe6]
vcvtsh2usi {rn-sae}, %xmm30, %r12
// CHECK: vcvtsh2usi 268435456(%rbp,%r14,8), %edx
// CHECK: encoding: [0x62,0xb5,0x7e,0x08,0x79,0x94,0xf5,0x00,0x00,0x00,0x10]
vcvtsh2usi 268435456(%rbp,%r14,8), %edx
// CHECK: vcvtsh2usi (%r9), %edx
// CHECK: encoding: [0x62,0xd5,0x7e,0x08,0x79,0x11]
vcvtsh2usi (%r9), %edx
// CHECK: vcvtsh2usi 254(%rcx), %edx
// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x79,0x51,0x7f]
vcvtsh2usi 254(%rcx), %edx
// CHECK: vcvtsh2usi -256(%rdx), %edx
// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x79,0x52,0x80]
vcvtsh2usi -256(%rdx), %edx
// CHECK: vcvtsh2usi 268435456(%rbp,%r14,8), %r12
// CHECK: encoding: [0x62,0x35,0xfe,0x08,0x79,0xa4,0xf5,0x00,0x00,0x00,0x10]
vcvtsh2usi 268435456(%rbp,%r14,8), %r12
// CHECK: vcvtsh2usi (%r9), %r12
// CHECK: encoding: [0x62,0x55,0xfe,0x08,0x79,0x21]
vcvtsh2usi (%r9), %r12
// CHECK: vcvtsh2usi 254(%rcx), %r12
// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x79,0x61,0x7f]
vcvtsh2usi 254(%rcx), %r12
// CHECK: vcvtsh2usi -256(%rdx), %r12
// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x79,0x62,0x80]
vcvtsh2usi -256(%rdx), %r12
// CHECK: vcvtsi2sh %r12, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x45,0x96,0x00,0x2a,0xf4]
vcvtsi2sh %r12, %xmm29, %xmm30
// CHECK: vcvtsi2sh %r12, {rn-sae}, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x45,0x96,0x10,0x2a,0xf4]
vcvtsi2sh %r12, {rn-sae}, %xmm29, %xmm30
// CHECK: vcvtsi2sh %edx, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x16,0x00,0x2a,0xf2]
vcvtsi2sh %edx, %xmm29, %xmm30
// CHECK: vcvtsi2sh %edx, {rn-sae}, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x16,0x10,0x2a,0xf2]
vcvtsi2sh %edx, {rn-sae}, %xmm29, %xmm30
// CHECK: vcvtsi2shl 268435456(%rbp,%r14,8), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x25,0x16,0x00,0x2a,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtsi2shl 268435456(%rbp,%r14,8), %xmm29, %xmm30
// CHECK: vcvtsi2shl (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x45,0x16,0x00,0x2a,0x31]
vcvtsi2shl (%r9), %xmm29, %xmm30
// CHECK: vcvtsi2shl 508(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x16,0x00,0x2a,0x71,0x7f]
vcvtsi2shl 508(%rcx), %xmm29, %xmm30
// CHECK: vcvtsi2shl -512(%rdx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x16,0x00,0x2a,0x72,0x80]
vcvtsi2shl -512(%rdx), %xmm29, %xmm30
// CHECK: vcvtsi2shq 1016(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x96,0x00,0x2a,0x71,0x7f]
vcvtsi2shq 1016(%rcx), %xmm29, %xmm30
// CHECK: vcvtsi2shq -1024(%rdx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x96,0x00,0x2a,0x72,0x80]
vcvtsi2shq -1024(%rdx), %xmm29, %xmm30
// CHECK: vcvtss2sh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x14,0x00,0x1d,0xf4]
vcvtss2sh %xmm28, %xmm29, %xmm30
// CHECK: vcvtss2sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x14,0x10,0x1d,0xf4]
vcvtss2sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vcvtss2sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x14,0x07,0x1d,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtss2sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vcvtss2sh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x45,0x14,0x00,0x1d,0x31]
vcvtss2sh (%r9), %xmm29, %xmm30
// CHECK: vcvtss2sh 508(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x14,0x00,0x1d,0x71,0x7f]
vcvtss2sh 508(%rcx), %xmm29, %xmm30
// CHECK: vcvtss2sh -512(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x14,0x87,0x1d,0x72,0x80]
vcvtss2sh -512(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vcvttph2dq %ymm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7e,0x48,0x5b,0xf5]
vcvttph2dq %ymm29, %zmm30
// CHECK: vcvttph2dq {sae}, %ymm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7e,0x18,0x5b,0xf5]
vcvttph2dq {sae}, %ymm29, %zmm30
// CHECK: vcvttph2dq 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7e,0x4f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvttph2dq 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vcvttph2dq (%r9){1to16}, %zmm30
// CHECK: encoding: [0x62,0x45,0x7e,0x58,0x5b,0x31]
vcvttph2dq (%r9){1to16}, %zmm30
// CHECK: vcvttph2dq 4064(%rcx), %zmm30
// CHECK: encoding: [0x62,0x65,0x7e,0x48,0x5b,0x71,0x7f]
vcvttph2dq 4064(%rcx), %zmm30
// CHECK: vcvttph2dq -256(%rdx){1to16}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7e,0xdf,0x5b,0x72,0x80]
vcvttph2dq -256(%rdx){1to16}, %zmm30 {%k7} {z}
// CHECK: vcvttph2qq %xmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x7a,0xf5]
vcvttph2qq %xmm29, %zmm30
// CHECK: vcvttph2qq {sae}, %xmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x7a,0xf5]
vcvttph2qq {sae}, %xmm29, %zmm30
// CHECK: vcvttph2qq 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x7a,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvttph2qq 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vcvttph2qq (%r9){1to8}, %zmm30
// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x7a,0x31]
vcvttph2qq (%r9){1to8}, %zmm30
// CHECK: vcvttph2qq 2032(%rcx), %zmm30
// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x7a,0x71,0x7f]
vcvttph2qq 2032(%rcx), %zmm30
// CHECK: vcvttph2qq -256(%rdx){1to8}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x7a,0x72,0x80]
vcvttph2qq -256(%rdx){1to8}, %zmm30 {%k7} {z}
// CHECK: vcvttph2udq %ymm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x78,0xf5]
vcvttph2udq %ymm29, %zmm30
// CHECK: vcvttph2udq {sae}, %ymm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x78,0xf5]
vcvttph2udq {sae}, %ymm29, %zmm30
// CHECK: vcvttph2udq 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x78,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvttph2udq 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vcvttph2udq (%r9){1to16}, %zmm30
// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x78,0x31]
vcvttph2udq (%r9){1to16}, %zmm30
// CHECK: vcvttph2udq 4064(%rcx), %zmm30
// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x78,0x71,0x7f]
vcvttph2udq 4064(%rcx), %zmm30
// CHECK: vcvttph2udq -256(%rdx){1to16}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x78,0x72,0x80]
vcvttph2udq -256(%rdx){1to16}, %zmm30 {%k7} {z}
// CHECK: vcvttph2uqq %xmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x78,0xf5]
vcvttph2uqq %xmm29, %zmm30
// CHECK: vcvttph2uqq {sae}, %xmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x78,0xf5]
vcvttph2uqq {sae}, %xmm29, %zmm30
// CHECK: vcvttph2uqq 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x78,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvttph2uqq 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vcvttph2uqq (%r9){1to8}, %zmm30
// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x78,0x31]
vcvttph2uqq (%r9){1to8}, %zmm30
// CHECK: vcvttph2uqq 2032(%rcx), %zmm30
// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x78,0x71,0x7f]
vcvttph2uqq 2032(%rcx), %zmm30
// CHECK: vcvttph2uqq -256(%rdx){1to8}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x78,0x72,0x80]
vcvttph2uqq -256(%rdx){1to8}, %zmm30 {%k7} {z}
// CHECK: vcvttph2uw %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x7c,0xf5]
vcvttph2uw %zmm29, %zmm30
// CHECK: vcvttph2uw {sae}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x7c,0xf5]
vcvttph2uw {sae}, %zmm29, %zmm30
// CHECK: vcvttph2uw 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x7c,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvttph2uw 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vcvttph2uw (%r9){1to32}, %zmm30
// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x7c,0x31]
vcvttph2uw (%r9){1to32}, %zmm30
// CHECK: vcvttph2uw 8128(%rcx), %zmm30
// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x7c,0x71,0x7f]
vcvttph2uw 8128(%rcx), %zmm30
// CHECK: vcvttph2uw -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x7c,0x72,0x80]
vcvttph2uw -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: vcvttph2w %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x7c,0xf5]
vcvttph2w %zmm29, %zmm30
// CHECK: vcvttph2w {sae}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x7c,0xf5]
vcvttph2w {sae}, %zmm29, %zmm30
// CHECK: vcvttph2w 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x7c,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvttph2w 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vcvttph2w (%r9){1to32}, %zmm30
// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x7c,0x31]
vcvttph2w (%r9){1to32}, %zmm30
// CHECK: vcvttph2w 8128(%rcx), %zmm30
// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x7c,0x71,0x7f]
vcvttph2w 8128(%rcx), %zmm30
// CHECK: vcvttph2w -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x7c,0x72,0x80]
vcvttph2w -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: vcvttsh2si %xmm30, %edx
// CHECK: encoding: [0x62,0x95,0x7e,0x08,0x2c,0xd6]
vcvttsh2si %xmm30, %edx
// CHECK: vcvttsh2si {sae}, %xmm30, %edx
// CHECK: encoding: [0x62,0x95,0x7e,0x18,0x2c,0xd6]
vcvttsh2si {sae}, %xmm30, %edx
// CHECK: vcvttsh2si %xmm30, %r12
// CHECK: encoding: [0x62,0x15,0xfe,0x08,0x2c,0xe6]
vcvttsh2si %xmm30, %r12
// CHECK: vcvttsh2si {sae}, %xmm30, %r12
// CHECK: encoding: [0x62,0x15,0xfe,0x18,0x2c,0xe6]
vcvttsh2si {sae}, %xmm30, %r12
// CHECK: vcvttsh2si 268435456(%rbp,%r14,8), %edx
// CHECK: encoding: [0x62,0xb5,0x7e,0x08,0x2c,0x94,0xf5,0x00,0x00,0x00,0x10]
vcvttsh2si 268435456(%rbp,%r14,8), %edx
// CHECK: vcvttsh2si (%r9), %edx
// CHECK: encoding: [0x62,0xd5,0x7e,0x08,0x2c,0x11]
vcvttsh2si (%r9), %edx
// CHECK: vcvttsh2si 254(%rcx), %edx
// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2c,0x51,0x7f]
vcvttsh2si 254(%rcx), %edx
// CHECK: vcvttsh2si -256(%rdx), %edx
// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2c,0x52,0x80]
vcvttsh2si -256(%rdx), %edx
// CHECK: vcvttsh2si 268435456(%rbp,%r14,8), %r12
// CHECK: encoding: [0x62,0x35,0xfe,0x08,0x2c,0xa4,0xf5,0x00,0x00,0x00,0x10]
vcvttsh2si 268435456(%rbp,%r14,8), %r12
// CHECK: vcvttsh2si (%r9), %r12
// CHECK: encoding: [0x62,0x55,0xfe,0x08,0x2c,0x21]
vcvttsh2si (%r9), %r12
// CHECK: vcvttsh2si 254(%rcx), %r12
// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x2c,0x61,0x7f]
vcvttsh2si 254(%rcx), %r12
// CHECK: vcvttsh2si -256(%rdx), %r12
// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x2c,0x62,0x80]
vcvttsh2si -256(%rdx), %r12
// CHECK: vcvttsh2usi %xmm30, %edx
// CHECK: encoding: [0x62,0x95,0x7e,0x08,0x78,0xd6]
vcvttsh2usi %xmm30, %edx
// CHECK: vcvttsh2usi {sae}, %xmm30, %edx
// CHECK: encoding: [0x62,0x95,0x7e,0x18,0x78,0xd6]
vcvttsh2usi {sae}, %xmm30, %edx
// CHECK: vcvttsh2usi %xmm30, %r12
// CHECK: encoding: [0x62,0x15,0xfe,0x08,0x78,0xe6]
vcvttsh2usi %xmm30, %r12
// CHECK: vcvttsh2usi {sae}, %xmm30, %r12
// CHECK: encoding: [0x62,0x15,0xfe,0x18,0x78,0xe6]
vcvttsh2usi {sae}, %xmm30, %r12
// CHECK: vcvttsh2usi 268435456(%rbp,%r14,8), %edx
// CHECK: encoding: [0x62,0xb5,0x7e,0x08,0x78,0x94,0xf5,0x00,0x00,0x00,0x10]
vcvttsh2usi 268435456(%rbp,%r14,8), %edx
// CHECK: vcvttsh2usi (%r9), %edx
// CHECK: encoding: [0x62,0xd5,0x7e,0x08,0x78,0x11]
vcvttsh2usi (%r9), %edx
// CHECK: vcvttsh2usi 254(%rcx), %edx
// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x78,0x51,0x7f]
vcvttsh2usi 254(%rcx), %edx
// CHECK: vcvttsh2usi -256(%rdx), %edx
// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x78,0x52,0x80]
vcvttsh2usi -256(%rdx), %edx
// CHECK: vcvttsh2usi 268435456(%rbp,%r14,8), %r12
// CHECK: encoding: [0x62,0x35,0xfe,0x08,0x78,0xa4,0xf5,0x00,0x00,0x00,0x10]
vcvttsh2usi 268435456(%rbp,%r14,8), %r12
// CHECK: vcvttsh2usi (%r9), %r12
// CHECK: encoding: [0x62,0x55,0xfe,0x08,0x78,0x21]
vcvttsh2usi (%r9), %r12
// CHECK: vcvttsh2usi 254(%rcx), %r12
// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x78,0x61,0x7f]
vcvttsh2usi 254(%rcx), %r12
// CHECK: vcvttsh2usi -256(%rdx), %r12
// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x78,0x62,0x80]
vcvttsh2usi -256(%rdx), %r12
// CHECK: vcvtudq2ph %zmm29, %ymm30
// CHECK: encoding: [0x62,0x05,0x7f,0x48,0x7a,0xf5]
vcvtudq2ph %zmm29, %ymm30
// CHECK: vcvtudq2ph {rn-sae}, %zmm29, %ymm30
// CHECK: encoding: [0x62,0x05,0x7f,0x18,0x7a,0xf5]
vcvtudq2ph {rn-sae}, %zmm29, %ymm30
// CHECK: vcvtudq2ph 268435456(%rbp,%r14,8), %ymm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7f,0x4f,0x7a,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtudq2ph 268435456(%rbp,%r14,8), %ymm30 {%k7}
// CHECK: vcvtudq2ph (%r9){1to16}, %ymm30
// CHECK: encoding: [0x62,0x45,0x7f,0x58,0x7a,0x31]
vcvtudq2ph (%r9){1to16}, %ymm30
// CHECK: vcvtudq2ph 8128(%rcx), %ymm30
// CHECK: encoding: [0x62,0x65,0x7f,0x48,0x7a,0x71,0x7f]
vcvtudq2ph 8128(%rcx), %ymm30
// CHECK: vcvtudq2ph -512(%rdx){1to16}, %ymm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7f,0xdf,0x7a,0x72,0x80]
vcvtudq2ph -512(%rdx){1to16}, %ymm30 {%k7} {z}
// CHECK: vcvtuqq2ph %zmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0xff,0x48,0x7a,0xf5]
vcvtuqq2ph %zmm29, %xmm30
// CHECK: vcvtuqq2ph {rn-sae}, %zmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0xff,0x18,0x7a,0xf5]
vcvtuqq2ph {rn-sae}, %zmm29, %xmm30
// CHECK: vcvtuqq2phz 268435456(%rbp,%r14,8), %xmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0xff,0x4f,0x7a,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtuqq2phz 268435456(%rbp,%r14,8), %xmm30 {%k7}
// CHECK: vcvtuqq2ph (%r9){1to8}, %xmm30
// CHECK: encoding: [0x62,0x45,0xff,0x58,0x7a,0x31]
vcvtuqq2ph (%r9){1to8}, %xmm30
// CHECK: vcvtuqq2phz 8128(%rcx), %xmm30
// CHECK: encoding: [0x62,0x65,0xff,0x48,0x7a,0x71,0x7f]
vcvtuqq2phz 8128(%rcx), %xmm30
// CHECK: vcvtuqq2ph -1024(%rdx){1to8}, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0xff,0xdf,0x7a,0x72,0x80]
vcvtuqq2ph -1024(%rdx){1to8}, %xmm30 {%k7} {z}
// CHECK: vcvtusi2sh %r12, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x45,0x96,0x00,0x7b,0xf4]
vcvtusi2sh %r12, %xmm29, %xmm30
// CHECK: vcvtusi2sh %r12, {rn-sae}, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x45,0x96,0x10,0x7b,0xf4]
vcvtusi2sh %r12, {rn-sae}, %xmm29, %xmm30
// CHECK: vcvtusi2sh %edx, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x16,0x00,0x7b,0xf2]
vcvtusi2sh %edx, %xmm29, %xmm30
// CHECK: vcvtusi2sh %edx, {rn-sae}, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x16,0x10,0x7b,0xf2]
vcvtusi2sh %edx, {rn-sae}, %xmm29, %xmm30
// CHECK: vcvtusi2shl 268435456(%rbp,%r14,8), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x25,0x16,0x00,0x7b,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtusi2shl 268435456(%rbp,%r14,8), %xmm29, %xmm30
// CHECK: vcvtusi2shl (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x45,0x16,0x00,0x7b,0x31]
vcvtusi2shl (%r9), %xmm29, %xmm30
// CHECK: vcvtusi2shl 508(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x16,0x00,0x7b,0x71,0x7f]
vcvtusi2shl 508(%rcx), %xmm29, %xmm30
// CHECK: vcvtusi2shl -512(%rdx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x16,0x00,0x7b,0x72,0x80]
vcvtusi2shl -512(%rdx), %xmm29, %xmm30
// CHECK: vcvtusi2shq 1016(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x96,0x00,0x7b,0x71,0x7f]
vcvtusi2shq 1016(%rcx), %xmm29, %xmm30
// CHECK: vcvtusi2shq -1024(%rdx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x96,0x00,0x7b,0x72,0x80]
vcvtusi2shq -1024(%rdx), %xmm29, %xmm30
// CHECK: vcvtuw2ph %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7f,0x48,0x7d,0xf5]
vcvtuw2ph %zmm29, %zmm30
// CHECK: vcvtuw2ph {rn-sae}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7f,0x18,0x7d,0xf5]
vcvtuw2ph {rn-sae}, %zmm29, %zmm30
// CHECK: vcvtuw2ph 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7f,0x4f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtuw2ph 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vcvtuw2ph (%r9){1to32}, %zmm30
// CHECK: encoding: [0x62,0x45,0x7f,0x58,0x7d,0x31]
vcvtuw2ph (%r9){1to32}, %zmm30
// CHECK: vcvtuw2ph 8128(%rcx), %zmm30
// CHECK: encoding: [0x62,0x65,0x7f,0x48,0x7d,0x71,0x7f]
vcvtuw2ph 8128(%rcx), %zmm30
// CHECK: vcvtuw2ph -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7f,0xdf,0x7d,0x72,0x80]
vcvtuw2ph -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: vcvtw2ph %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7e,0x48,0x7d,0xf5]
vcvtw2ph %zmm29, %zmm30
// CHECK: vcvtw2ph {rn-sae}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7e,0x18,0x7d,0xf5]
vcvtw2ph {rn-sae}, %zmm29, %zmm30
// CHECK: vcvtw2ph 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7e,0x4f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10]
vcvtw2ph 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vcvtw2ph (%r9){1to32}, %zmm30
// CHECK: encoding: [0x62,0x45,0x7e,0x58,0x7d,0x31]
vcvtw2ph (%r9){1to32}, %zmm30
// CHECK: vcvtw2ph 8128(%rcx), %zmm30
// CHECK: encoding: [0x62,0x65,0x7e,0x48,0x7d,0x71,0x7f]
vcvtw2ph 8128(%rcx), %zmm30
// CHECK: vcvtw2ph -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7e,0xdf,0x7d,0x72,0x80]
vcvtw2ph -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: vfpclassph $123, %zmm30, %k5
// CHECK: encoding: [0x62,0x93,0x7c,0x48,0x66,0xee,0x7b]
vfpclassph $123, %zmm30, %k5
// CHECK: vfpclassphz $123, 268435456(%rbp,%r14,8), %k5 {%k7}
// CHECK: encoding: [0x62,0xb3,0x7c,0x4f,0x66,0xac,0xf5,0x00,0x00,0x00,0x10,0x7b]
vfpclassphz $123, 268435456(%rbp,%r14,8), %k5 {%k7}
// CHECK: vfpclassph $123, (%r9){1to32}, %k5
// CHECK: encoding: [0x62,0xd3,0x7c,0x58,0x66,0x29,0x7b]
vfpclassph $123, (%r9){1to32}, %k5
// CHECK: vfpclassphz $123, 8128(%rcx), %k5
// CHECK: encoding: [0x62,0xf3,0x7c,0x48,0x66,0x69,0x7f,0x7b]
vfpclassphz $123, 8128(%rcx), %k5
// CHECK: vfpclassph $123, -256(%rdx){1to32}, %k5 {%k7}
// CHECK: encoding: [0x62,0xf3,0x7c,0x5f,0x66,0x6a,0x80,0x7b]
vfpclassph $123, -256(%rdx){1to32}, %k5 {%k7}
// CHECK: vfpclasssh $123, %xmm30, %k5
// CHECK: encoding: [0x62,0x93,0x7c,0x08,0x67,0xee,0x7b]
vfpclasssh $123, %xmm30, %k5
// CHECK: vfpclasssh $123, 268435456(%rbp,%r14,8), %k5 {%k7}
// CHECK: encoding: [0x62,0xb3,0x7c,0x0f,0x67,0xac,0xf5,0x00,0x00,0x00,0x10,0x7b]
vfpclasssh $123, 268435456(%rbp,%r14,8), %k5 {%k7}
// CHECK: vfpclasssh $123, (%r9), %k5
// CHECK: encoding: [0x62,0xd3,0x7c,0x08,0x67,0x29,0x7b]
vfpclasssh $123, (%r9), %k5
// CHECK: vfpclasssh $123, 254(%rcx), %k5
// CHECK: encoding: [0x62,0xf3,0x7c,0x08,0x67,0x69,0x7f,0x7b]
vfpclasssh $123, 254(%rcx), %k5
// CHECK: vfpclasssh $123, -256(%rdx), %k5 {%k7}
// CHECK: encoding: [0x62,0xf3,0x7c,0x0f,0x67,0x6a,0x80,0x7b]
vfpclasssh $123, -256(%rdx), %k5 {%k7}
// CHECK: vgetexpph %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x7d,0x48,0x42,0xf5]
vgetexpph %zmm29, %zmm30
// CHECK: vgetexpph {sae}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x7d,0x18,0x42,0xf5]
vgetexpph {sae}, %zmm29, %zmm30
// CHECK: vgetexpph 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x7d,0x4f,0x42,0xb4,0xf5,0x00,0x00,0x00,0x10]
vgetexpph 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vgetexpph (%r9){1to32}, %zmm30
// CHECK: encoding: [0x62,0x46,0x7d,0x58,0x42,0x31]
vgetexpph (%r9){1to32}, %zmm30
// CHECK: vgetexpph 8128(%rcx), %zmm30
// CHECK: encoding: [0x62,0x66,0x7d,0x48,0x42,0x71,0x7f]
vgetexpph 8128(%rcx), %zmm30
// CHECK: vgetexpph -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x7d,0xdf,0x42,0x72,0x80]
vgetexpph -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: vgetexpsh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x00,0x43,0xf4]
vgetexpsh %xmm28, %xmm29, %xmm30
// CHECK: vgetexpsh {sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0x43,0xf4]
vgetexpsh {sae}, %xmm28, %xmm29, %xmm30
// CHECK: vgetexpsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x07,0x43,0xb4,0xf5,0x00,0x00,0x00,0x10]
vgetexpsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vgetexpsh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x15,0x00,0x43,0x31]
vgetexpsh (%r9), %xmm29, %xmm30
// CHECK: vgetexpsh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x15,0x00,0x43,0x71,0x7f]
vgetexpsh 254(%rcx), %xmm29, %xmm30
// CHECK: vgetexpsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0x87,0x43,0x72,0x80]
vgetexpsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vgetmantph $123, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x03,0x7c,0x48,0x26,0xf5,0x7b]
vgetmantph $123, %zmm29, %zmm30
// CHECK: vgetmantph $123, {sae}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x03,0x7c,0x18,0x26,0xf5,0x7b]
vgetmantph $123, {sae}, %zmm29, %zmm30
// CHECK: vgetmantph $123, 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x23,0x7c,0x4f,0x26,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]
vgetmantph $123, 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vgetmantph $123, (%r9){1to32}, %zmm30
// CHECK: encoding: [0x62,0x43,0x7c,0x58,0x26,0x31,0x7b]
vgetmantph $123, (%r9){1to32}, %zmm30
// CHECK: vgetmantph $123, 8128(%rcx), %zmm30
// CHECK: encoding: [0x62,0x63,0x7c,0x48,0x26,0x71,0x7f,0x7b]
vgetmantph $123, 8128(%rcx), %zmm30
// CHECK: vgetmantph $123, -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x63,0x7c,0xdf,0x26,0x72,0x80,0x7b]
vgetmantph $123, -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: vgetmantsh $123, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x03,0x14,0x00,0x27,0xf4,0x7b]
vgetmantsh $123, %xmm28, %xmm29, %xmm30
// CHECK: vgetmantsh $123, {sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x03,0x14,0x10,0x27,0xf4,0x7b]
vgetmantsh $123, {sae}, %xmm28, %xmm29, %xmm30
// CHECK: vgetmantsh $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x23,0x14,0x07,0x27,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]
vgetmantsh $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vgetmantsh $123, (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x43,0x14,0x00,0x27,0x31,0x7b]
vgetmantsh $123, (%r9), %xmm29, %xmm30
// CHECK: vgetmantsh $123, 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x63,0x14,0x00,0x27,0x71,0x7f,0x7b]
vgetmantsh $123, 254(%rcx), %xmm29, %xmm30
// CHECK: vgetmantsh $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x63,0x14,0x87,0x27,0x72,0x80,0x7b]
vgetmantsh $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vrcpph %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x7d,0x48,0x4c,0xf5]
vrcpph %zmm29, %zmm30
// CHECK: vrcpph 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x7d,0x4f,0x4c,0xb4,0xf5,0x00,0x00,0x00,0x10]
vrcpph 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vrcpph (%r9){1to32}, %zmm30
// CHECK: encoding: [0x62,0x46,0x7d,0x58,0x4c,0x31]
vrcpph (%r9){1to32}, %zmm30
// CHECK: vrcpph 8128(%rcx), %zmm30
// CHECK: encoding: [0x62,0x66,0x7d,0x48,0x4c,0x71,0x7f]
vrcpph 8128(%rcx), %zmm30
// CHECK: vrcpph -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x7d,0xdf,0x4c,0x72,0x80]
vrcpph -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: vrcpsh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x00,0x4d,0xf4]
vrcpsh %xmm28, %xmm29, %xmm30
// CHECK: vrcpsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x07,0x4d,0xb4,0xf5,0x00,0x00,0x00,0x10]
vrcpsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vrcpsh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x15,0x00,0x4d,0x31]
vrcpsh (%r9), %xmm29, %xmm30
// CHECK: vrcpsh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x15,0x00,0x4d,0x71,0x7f]
vrcpsh 254(%rcx), %xmm29, %xmm30
// CHECK: vrcpsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0x87,0x4d,0x72,0x80]
vrcpsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vreduceph $123, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x03,0x7c,0x48,0x56,0xf5,0x7b]
vreduceph $123, %zmm29, %zmm30
// CHECK: vreduceph $123, {sae}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x03,0x7c,0x18,0x56,0xf5,0x7b]
vreduceph $123, {sae}, %zmm29, %zmm30
// CHECK: vreduceph $123, 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x23,0x7c,0x4f,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]
vreduceph $123, 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vreduceph $123, (%r9){1to32}, %zmm30
// CHECK: encoding: [0x62,0x43,0x7c,0x58,0x56,0x31,0x7b]
vreduceph $123, (%r9){1to32}, %zmm30
// CHECK: vreduceph $123, 8128(%rcx), %zmm30
// CHECK: encoding: [0x62,0x63,0x7c,0x48,0x56,0x71,0x7f,0x7b]
vreduceph $123, 8128(%rcx), %zmm30
// CHECK: vreduceph $123, -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x63,0x7c,0xdf,0x56,0x72,0x80,0x7b]
vreduceph $123, -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: vreducesh $123, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x03,0x14,0x00,0x57,0xf4,0x7b]
vreducesh $123, %xmm28, %xmm29, %xmm30
// CHECK: vreducesh $123, {sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x03,0x14,0x10,0x57,0xf4,0x7b]
vreducesh $123, {sae}, %xmm28, %xmm29, %xmm30
// CHECK: vreducesh $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x23,0x14,0x07,0x57,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]
vreducesh $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vreducesh $123, (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x43,0x14,0x00,0x57,0x31,0x7b]
vreducesh $123, (%r9), %xmm29, %xmm30
// CHECK: vreducesh $123, 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x63,0x14,0x00,0x57,0x71,0x7f,0x7b]
vreducesh $123, 254(%rcx), %xmm29, %xmm30
// CHECK: vreducesh $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x63,0x14,0x87,0x57,0x72,0x80,0x7b]
vreducesh $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vrndscaleph $123, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x03,0x7c,0x48,0x08,0xf5,0x7b]
vrndscaleph $123, %zmm29, %zmm30
// CHECK: vrndscaleph $123, {sae}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x03,0x7c,0x18,0x08,0xf5,0x7b]
vrndscaleph $123, {sae}, %zmm29, %zmm30
// CHECK: vrndscaleph $123, 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x23,0x7c,0x4f,0x08,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]
vrndscaleph $123, 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vrndscaleph $123, (%r9){1to32}, %zmm30
// CHECK: encoding: [0x62,0x43,0x7c,0x58,0x08,0x31,0x7b]
vrndscaleph $123, (%r9){1to32}, %zmm30
// CHECK: vrndscaleph $123, 8128(%rcx), %zmm30
// CHECK: encoding: [0x62,0x63,0x7c,0x48,0x08,0x71,0x7f,0x7b]
vrndscaleph $123, 8128(%rcx), %zmm30
// CHECK: vrndscaleph $123, -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x63,0x7c,0xdf,0x08,0x72,0x80,0x7b]
vrndscaleph $123, -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: vrndscalesh $123, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x03,0x14,0x00,0x0a,0xf4,0x7b]
vrndscalesh $123, %xmm28, %xmm29, %xmm30
// CHECK: vrndscalesh $123, {sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x03,0x14,0x10,0x0a,0xf4,0x7b]
vrndscalesh $123, {sae}, %xmm28, %xmm29, %xmm30
// CHECK: vrndscalesh $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x23,0x14,0x07,0x0a,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]
vrndscalesh $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vrndscalesh $123, (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x43,0x14,0x00,0x0a,0x31,0x7b]
vrndscalesh $123, (%r9), %xmm29, %xmm30
// CHECK: vrndscalesh $123, 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x63,0x14,0x00,0x0a,0x71,0x7f,0x7b]
vrndscalesh $123, 254(%rcx), %xmm29, %xmm30
// CHECK: vrndscalesh $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x63,0x14,0x87,0x0a,0x72,0x80,0x7b]
vrndscalesh $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vrsqrtph %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x7d,0x48,0x4e,0xf5]
vrsqrtph %zmm29, %zmm30
// CHECK: vrsqrtph 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x7d,0x4f,0x4e,0xb4,0xf5,0x00,0x00,0x00,0x10]
vrsqrtph 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vrsqrtph (%r9){1to32}, %zmm30
// CHECK: encoding: [0x62,0x46,0x7d,0x58,0x4e,0x31]
vrsqrtph (%r9){1to32}, %zmm30
// CHECK: vrsqrtph 8128(%rcx), %zmm30
// CHECK: encoding: [0x62,0x66,0x7d,0x48,0x4e,0x71,0x7f]
vrsqrtph 8128(%rcx), %zmm30
// CHECK: vrsqrtph -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x7d,0xdf,0x4e,0x72,0x80]
vrsqrtph -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: vrsqrtsh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x00,0x4f,0xf4]
vrsqrtsh %xmm28, %xmm29, %xmm30
// CHECK: vrsqrtsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x07,0x4f,0xb4,0xf5,0x00,0x00,0x00,0x10]
vrsqrtsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vrsqrtsh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x15,0x00,0x4f,0x31]
vrsqrtsh (%r9), %xmm29, %xmm30
// CHECK: vrsqrtsh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x15,0x00,0x4f,0x71,0x7f]
vrsqrtsh 254(%rcx), %xmm29, %xmm30
// CHECK: vrsqrtsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0x87,0x4f,0x72,0x80]
vrsqrtsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vscalefph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0x2c,0xf4]
vscalefph %zmm28, %zmm29, %zmm30
// CHECK: vscalefph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0x2c,0xf4]
vscalefph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vscalefph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0x2c,0xb4,0xf5,0x00,0x00,0x00,0x10]
vscalefph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vscalefph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0x2c,0x31]
vscalefph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vscalefph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0x2c,0x71,0x7f]
vscalefph 8128(%rcx), %zmm29, %zmm30
// CHECK: vscalefph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x2c,0x72,0x80]
vscalefph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vscalefsh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x00,0x2d,0xf4]
vscalefsh %xmm28, %xmm29, %xmm30
// CHECK: vscalefsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0x2d,0xf4]
vscalefsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vscalefsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x07,0x2d,0xb4,0xf5,0x00,0x00,0x00,0x10]
vscalefsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vscalefsh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x15,0x00,0x2d,0x31]
vscalefsh (%r9), %xmm29, %xmm30
// CHECK: vscalefsh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x15,0x00,0x2d,0x71,0x7f]
vscalefsh 254(%rcx), %xmm29, %xmm30
// CHECK: vscalefsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0x87,0x2d,0x72,0x80]
vscalefsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vsqrtph %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x51,0xf5]
vsqrtph %zmm29, %zmm30
// CHECK: vsqrtph {rn-sae}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x51,0xf5]
vsqrtph {rn-sae}, %zmm29, %zmm30
// CHECK: vsqrtph 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x51,0xb4,0xf5,0x00,0x00,0x00,0x10]
vsqrtph 268435456(%rbp,%r14,8), %zmm30 {%k7}
// CHECK: vsqrtph (%r9){1to32}, %zmm30
// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x51,0x31]
vsqrtph (%r9){1to32}, %zmm30
// CHECK: vsqrtph 8128(%rcx), %zmm30
// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x51,0x71,0x7f]
vsqrtph 8128(%rcx), %zmm30
// CHECK: vsqrtph -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x51,0x72,0x80]
vsqrtph -256(%rdx){1to32}, %zmm30 {%k7} {z}
// CHECK: vsqrtsh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x00,0x51,0xf4]
vsqrtsh %xmm28, %xmm29, %xmm30
// CHECK: vsqrtsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x05,0x16,0x10,0x51,0xf4]
vsqrtsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vsqrtsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x25,0x16,0x07,0x51,0xb4,0xf5,0x00,0x00,0x00,0x10]
vsqrtsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vsqrtsh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x45,0x16,0x00,0x51,0x31]
vsqrtsh (%r9), %xmm29, %xmm30
// CHECK: vsqrtsh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x65,0x16,0x00,0x51,0x71,0x7f]
vsqrtsh 254(%rcx), %xmm29, %xmm30
// CHECK: vsqrtsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x65,0x16,0x87,0x51,0x72,0x80]
vsqrtsh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vfmadd132ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0x98,0xf4]
vfmadd132ph %zmm28, %zmm29, %zmm30
// CHECK: vfmadd132ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0x98,0xf4]
vfmadd132ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfmadd132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0x98,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmadd132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfmadd132ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0x98,0x31]
vfmadd132ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfmadd132ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0x98,0x71,0x7f]
vfmadd132ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfmadd132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x98,0x72,0x80]
vfmadd132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfmadd132sh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x00,0x99,0xf4]
vfmadd132sh %xmm28, %xmm29, %xmm30
// CHECK: vfmadd132sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0x99,0xf4]
vfmadd132sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vfmadd132sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x07,0x99,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmadd132sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vfmadd132sh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x15,0x00,0x99,0x31]
vfmadd132sh (%r9), %xmm29, %xmm30
// CHECK: vfmadd132sh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x15,0x00,0x99,0x71,0x7f]
vfmadd132sh 254(%rcx), %xmm29, %xmm30
// CHECK: vfmadd132sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0x87,0x99,0x72,0x80]
vfmadd132sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vfmadd213ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0xa8,0xf4]
vfmadd213ph %zmm28, %zmm29, %zmm30
// CHECK: vfmadd213ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xa8,0xf4]
vfmadd213ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfmadd213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0xa8,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmadd213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfmadd213ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0xa8,0x31]
vfmadd213ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfmadd213ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0xa8,0x71,0x7f]
vfmadd213ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfmadd213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xa8,0x72,0x80]
vfmadd213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfmadd213sh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x00,0xa9,0xf4]
vfmadd213sh %xmm28, %xmm29, %xmm30
// CHECK: vfmadd213sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xa9,0xf4]
vfmadd213sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vfmadd213sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x07,0xa9,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmadd213sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vfmadd213sh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x15,0x00,0xa9,0x31]
vfmadd213sh (%r9), %xmm29, %xmm30
// CHECK: vfmadd213sh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x15,0x00,0xa9,0x71,0x7f]
vfmadd213sh 254(%rcx), %xmm29, %xmm30
// CHECK: vfmadd213sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0x87,0xa9,0x72,0x80]
vfmadd213sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vfmadd231ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0xb8,0xf4]
vfmadd231ph %zmm28, %zmm29, %zmm30
// CHECK: vfmadd231ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xb8,0xf4]
vfmadd231ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfmadd231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0xb8,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmadd231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfmadd231ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0xb8,0x31]
vfmadd231ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfmadd231ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0xb8,0x71,0x7f]
vfmadd231ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfmadd231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xb8,0x72,0x80]
vfmadd231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfmadd231sh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x00,0xb9,0xf4]
vfmadd231sh %xmm28, %xmm29, %xmm30
// CHECK: vfmadd231sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xb9,0xf4]
vfmadd231sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vfmadd231sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x07,0xb9,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmadd231sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vfmadd231sh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x15,0x00,0xb9,0x31]
vfmadd231sh (%r9), %xmm29, %xmm30
// CHECK: vfmadd231sh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x15,0x00,0xb9,0x71,0x7f]
vfmadd231sh 254(%rcx), %xmm29, %xmm30
// CHECK: vfmadd231sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0x87,0xb9,0x72,0x80]
vfmadd231sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vfmaddsub132ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0x96,0xf4]
vfmaddsub132ph %zmm28, %zmm29, %zmm30
// CHECK: vfmaddsub132ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0x96,0xf4]
vfmaddsub132ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfmaddsub132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0x96,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmaddsub132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfmaddsub132ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0x96,0x31]
vfmaddsub132ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfmaddsub132ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0x96,0x71,0x7f]
vfmaddsub132ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfmaddsub132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x96,0x72,0x80]
vfmaddsub132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfmaddsub213ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0xa6,0xf4]
vfmaddsub213ph %zmm28, %zmm29, %zmm30
// CHECK: vfmaddsub213ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xa6,0xf4]
vfmaddsub213ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfmaddsub213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0xa6,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmaddsub213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfmaddsub213ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0xa6,0x31]
vfmaddsub213ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfmaddsub213ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0xa6,0x71,0x7f]
vfmaddsub213ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfmaddsub213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xa6,0x72,0x80]
vfmaddsub213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfmaddsub231ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0xb6,0xf4]
vfmaddsub231ph %zmm28, %zmm29, %zmm30
// CHECK: vfmaddsub231ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xb6,0xf4]
vfmaddsub231ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfmaddsub231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0xb6,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmaddsub231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfmaddsub231ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0xb6,0x31]
vfmaddsub231ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfmaddsub231ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0xb6,0x71,0x7f]
vfmaddsub231ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfmaddsub231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xb6,0x72,0x80]
vfmaddsub231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfmsub132ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0x9a,0xf4]
vfmsub132ph %zmm28, %zmm29, %zmm30
// CHECK: vfmsub132ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9a,0xf4]
vfmsub132ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfmsub132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0x9a,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmsub132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfmsub132ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0x9a,0x31]
vfmsub132ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfmsub132ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0x9a,0x71,0x7f]
vfmsub132ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfmsub132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x9a,0x72,0x80]
vfmsub132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfmsub132sh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x00,0x9b,0xf4]
vfmsub132sh %xmm28, %xmm29, %xmm30
// CHECK: vfmsub132sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9b,0xf4]
vfmsub132sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vfmsub132sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x07,0x9b,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmsub132sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vfmsub132sh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x15,0x00,0x9b,0x31]
vfmsub132sh (%r9), %xmm29, %xmm30
// CHECK: vfmsub132sh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x15,0x00,0x9b,0x71,0x7f]
vfmsub132sh 254(%rcx), %xmm29, %xmm30
// CHECK: vfmsub132sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0x87,0x9b,0x72,0x80]
vfmsub132sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vfmsub213ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0xaa,0xf4]
vfmsub213ph %zmm28, %zmm29, %zmm30
// CHECK: vfmsub213ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xaa,0xf4]
vfmsub213ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfmsub213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0xaa,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmsub213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfmsub213ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0xaa,0x31]
vfmsub213ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfmsub213ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0xaa,0x71,0x7f]
vfmsub213ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfmsub213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xaa,0x72,0x80]
vfmsub213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfmsub213sh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x00,0xab,0xf4]
vfmsub213sh %xmm28, %xmm29, %xmm30
// CHECK: vfmsub213sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xab,0xf4]
vfmsub213sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vfmsub213sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x07,0xab,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmsub213sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vfmsub213sh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x15,0x00,0xab,0x31]
vfmsub213sh (%r9), %xmm29, %xmm30
// CHECK: vfmsub213sh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x15,0x00,0xab,0x71,0x7f]
vfmsub213sh 254(%rcx), %xmm29, %xmm30
// CHECK: vfmsub213sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0x87,0xab,0x72,0x80]
vfmsub213sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vfmsub231ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0xba,0xf4]
vfmsub231ph %zmm28, %zmm29, %zmm30
// CHECK: vfmsub231ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xba,0xf4]
vfmsub231ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfmsub231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0xba,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmsub231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfmsub231ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0xba,0x31]
vfmsub231ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfmsub231ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0xba,0x71,0x7f]
vfmsub231ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfmsub231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xba,0x72,0x80]
vfmsub231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfmsub231sh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x00,0xbb,0xf4]
vfmsub231sh %xmm28, %xmm29, %xmm30
// CHECK: vfmsub231sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xbb,0xf4]
vfmsub231sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vfmsub231sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x07,0xbb,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmsub231sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vfmsub231sh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x15,0x00,0xbb,0x31]
vfmsub231sh (%r9), %xmm29, %xmm30
// CHECK: vfmsub231sh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x15,0x00,0xbb,0x71,0x7f]
vfmsub231sh 254(%rcx), %xmm29, %xmm30
// CHECK: vfmsub231sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0x87,0xbb,0x72,0x80]
vfmsub231sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vfmsubadd132ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0x97,0xf4]
vfmsubadd132ph %zmm28, %zmm29, %zmm30
// CHECK: vfmsubadd132ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0x97,0xf4]
vfmsubadd132ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfmsubadd132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0x97,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmsubadd132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfmsubadd132ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0x97,0x31]
vfmsubadd132ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfmsubadd132ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0x97,0x71,0x7f]
vfmsubadd132ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfmsubadd132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x97,0x72,0x80]
vfmsubadd132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfmsubadd213ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0xa7,0xf4]
vfmsubadd213ph %zmm28, %zmm29, %zmm30
// CHECK: vfmsubadd213ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xa7,0xf4]
vfmsubadd213ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfmsubadd213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0xa7,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmsubadd213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfmsubadd213ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0xa7,0x31]
vfmsubadd213ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfmsubadd213ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0xa7,0x71,0x7f]
vfmsubadd213ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfmsubadd213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xa7,0x72,0x80]
vfmsubadd213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfmsubadd231ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0xb7,0xf4]
vfmsubadd231ph %zmm28, %zmm29, %zmm30
// CHECK: vfmsubadd231ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xb7,0xf4]
vfmsubadd231ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfmsubadd231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0xb7,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmsubadd231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfmsubadd231ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0xb7,0x31]
vfmsubadd231ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfmsubadd231ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0xb7,0x71,0x7f]
vfmsubadd231ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfmsubadd231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xb7,0x72,0x80]
vfmsubadd231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfnmadd132ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0x9c,0xf4]
vfnmadd132ph %zmm28, %zmm29, %zmm30
// CHECK: vfnmadd132ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9c,0xf4]
vfnmadd132ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfnmadd132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0x9c,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfnmadd132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfnmadd132ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0x9c,0x31]
vfnmadd132ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfnmadd132ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0x9c,0x71,0x7f]
vfnmadd132ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfnmadd132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x9c,0x72,0x80]
vfnmadd132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfnmadd132sh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x00,0x9d,0xf4]
vfnmadd132sh %xmm28, %xmm29, %xmm30
// CHECK: vfnmadd132sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9d,0xf4]
vfnmadd132sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vfnmadd132sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x07,0x9d,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfnmadd132sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vfnmadd132sh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x15,0x00,0x9d,0x31]
vfnmadd132sh (%r9), %xmm29, %xmm30
// CHECK: vfnmadd132sh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x15,0x00,0x9d,0x71,0x7f]
vfnmadd132sh 254(%rcx), %xmm29, %xmm30
// CHECK: vfnmadd132sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0x87,0x9d,0x72,0x80]
vfnmadd132sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vfnmadd213ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0xac,0xf4]
vfnmadd213ph %zmm28, %zmm29, %zmm30
// CHECK: vfnmadd213ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xac,0xf4]
vfnmadd213ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfnmadd213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0xac,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfnmadd213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfnmadd213ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0xac,0x31]
vfnmadd213ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfnmadd213ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0xac,0x71,0x7f]
vfnmadd213ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfnmadd213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xac,0x72,0x80]
vfnmadd213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfnmadd213sh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x00,0xad,0xf4]
vfnmadd213sh %xmm28, %xmm29, %xmm30
// CHECK: vfnmadd213sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xad,0xf4]
vfnmadd213sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vfnmadd213sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x07,0xad,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfnmadd213sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vfnmadd213sh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x15,0x00,0xad,0x31]
vfnmadd213sh (%r9), %xmm29, %xmm30
// CHECK: vfnmadd213sh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x15,0x00,0xad,0x71,0x7f]
vfnmadd213sh 254(%rcx), %xmm29, %xmm30
// CHECK: vfnmadd213sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0x87,0xad,0x72,0x80]
vfnmadd213sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vfnmadd231ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0xbc,0xf4]
vfnmadd231ph %zmm28, %zmm29, %zmm30
// CHECK: vfnmadd231ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xbc,0xf4]
vfnmadd231ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfnmadd231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0xbc,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfnmadd231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfnmadd231ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0xbc,0x31]
vfnmadd231ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfnmadd231ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0xbc,0x71,0x7f]
vfnmadd231ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfnmadd231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xbc,0x72,0x80]
vfnmadd231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfnmadd231sh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x00,0xbd,0xf4]
vfnmadd231sh %xmm28, %xmm29, %xmm30
// CHECK: vfnmadd231sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xbd,0xf4]
vfnmadd231sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vfnmadd231sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x07,0xbd,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfnmadd231sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vfnmadd231sh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x15,0x00,0xbd,0x31]
vfnmadd231sh (%r9), %xmm29, %xmm30
// CHECK: vfnmadd231sh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x15,0x00,0xbd,0x71,0x7f]
vfnmadd231sh 254(%rcx), %xmm29, %xmm30
// CHECK: vfnmadd231sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0x87,0xbd,0x72,0x80]
vfnmadd231sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vfnmsub132ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0x9e,0xf4]
vfnmsub132ph %zmm28, %zmm29, %zmm30
// CHECK: vfnmsub132ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9e,0xf4]
vfnmsub132ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfnmsub132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0x9e,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfnmsub132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfnmsub132ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0x9e,0x31]
vfnmsub132ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfnmsub132ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0x9e,0x71,0x7f]
vfnmsub132ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfnmsub132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x9e,0x72,0x80]
vfnmsub132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfnmsub132sh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x00,0x9f,0xf4]
vfnmsub132sh %xmm28, %xmm29, %xmm30
// CHECK: vfnmsub132sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9f,0xf4]
vfnmsub132sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vfnmsub132sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x07,0x9f,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfnmsub132sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vfnmsub132sh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x15,0x00,0x9f,0x31]
vfnmsub132sh (%r9), %xmm29, %xmm30
// CHECK: vfnmsub132sh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x15,0x00,0x9f,0x71,0x7f]
vfnmsub132sh 254(%rcx), %xmm29, %xmm30
// CHECK: vfnmsub132sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0x87,0x9f,0x72,0x80]
vfnmsub132sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vfnmsub213ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0xae,0xf4]
vfnmsub213ph %zmm28, %zmm29, %zmm30
// CHECK: vfnmsub213ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xae,0xf4]
vfnmsub213ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfnmsub213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0xae,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfnmsub213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfnmsub213ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0xae,0x31]
vfnmsub213ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfnmsub213ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0xae,0x71,0x7f]
vfnmsub213ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfnmsub213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xae,0x72,0x80]
vfnmsub213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfnmsub213sh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x00,0xaf,0xf4]
vfnmsub213sh %xmm28, %xmm29, %xmm30
// CHECK: vfnmsub213sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xaf,0xf4]
vfnmsub213sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vfnmsub213sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x07,0xaf,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfnmsub213sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vfnmsub213sh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x15,0x00,0xaf,0x31]
vfnmsub213sh (%r9), %xmm29, %xmm30
// CHECK: vfnmsub213sh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x15,0x00,0xaf,0x71,0x7f]
vfnmsub213sh 254(%rcx), %xmm29, %xmm30
// CHECK: vfnmsub213sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0x87,0xaf,0x72,0x80]
vfnmsub213sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vfnmsub231ph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x40,0xbe,0xf4]
vfnmsub231ph %zmm28, %zmm29, %zmm30
// CHECK: vfnmsub231ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xbe,0xf4]
vfnmsub231ph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfnmsub231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x47,0xbe,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfnmsub231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfnmsub231ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x15,0x50,0xbe,0x31]
vfnmsub231ph (%r9){1to32}, %zmm29, %zmm30
// CHECK: vfnmsub231ph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x15,0x40,0xbe,0x71,0x7f]
vfnmsub231ph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfnmsub231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xbe,0x72,0x80]
vfnmsub231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfnmsub231sh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x00,0xbf,0xf4]
vfnmsub231sh %xmm28, %xmm29, %xmm30
// CHECK: vfnmsub231sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x15,0x10,0xbf,0xf4]
vfnmsub231sh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vfnmsub231sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x15,0x07,0xbf,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfnmsub231sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vfnmsub231sh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x15,0x00,0xbf,0x31]
vfnmsub231sh (%r9), %xmm29, %xmm30
// CHECK: vfnmsub231sh 254(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x15,0x00,0xbf,0x71,0x7f]
vfnmsub231sh 254(%rcx), %xmm29, %xmm30
// CHECK: vfnmsub231sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x15,0x87,0xbf,0x72,0x80]
vfnmsub231sh -256(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vfcmaddcph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x17,0x40,0x56,0xf4]
vfcmaddcph %zmm28, %zmm29, %zmm30
// CHECK: vfcmaddcph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x17,0x10,0x56,0xf4]
vfcmaddcph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfcmaddcph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x17,0x47,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfcmaddcph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfcmaddcph (%r9){1to16}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x17,0x50,0x56,0x31]
vfcmaddcph (%r9){1to16}, %zmm29, %zmm30
// CHECK: vfcmaddcph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x17,0x40,0x56,0x71,0x7f]
vfcmaddcph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfcmaddcph -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x17,0xd7,0x56,0x72,0x80]
vfcmaddcph -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfcmaddcsh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x17,0x00,0x57,0xf4]
vfcmaddcsh %xmm28, %xmm29, %xmm30
// CHECK: vfcmaddcsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x17,0x10,0x57,0xf4]
vfcmaddcsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vfcmaddcsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x17,0x07,0x57,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfcmaddcsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vfcmaddcsh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x17,0x00,0x57,0x31]
vfcmaddcsh (%r9), %xmm29, %xmm30
// CHECK: vfcmaddcsh 508(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x17,0x00,0x57,0x71,0x7f]
vfcmaddcsh 508(%rcx), %xmm29, %xmm30
// CHECK: vfcmaddcsh -512(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x17,0x87,0x57,0x72,0x80]
vfcmaddcsh -512(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vfcmulcph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x17,0x40,0xd6,0xf4]
vfcmulcph %zmm28, %zmm29, %zmm30
// CHECK: vfcmulcph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x17,0x10,0xd6,0xf4]
vfcmulcph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfcmulcph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x17,0x47,0xd6,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfcmulcph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfcmulcph (%r9){1to16}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x17,0x50,0xd6,0x31]
vfcmulcph (%r9){1to16}, %zmm29, %zmm30
// CHECK: vfcmulcph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x17,0x40,0xd6,0x71,0x7f]
vfcmulcph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfcmulcph -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x17,0xd7,0xd6,0x72,0x80]
vfcmulcph -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfcmulcsh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x17,0x00,0xd7,0xf4]
vfcmulcsh %xmm28, %xmm29, %xmm30
// CHECK: vfcmulcsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x17,0x10,0xd7,0xf4]
vfcmulcsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vfcmulcsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x17,0x07,0xd7,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfcmulcsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vfcmulcsh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x17,0x00,0xd7,0x31]
vfcmulcsh (%r9), %xmm29, %xmm30
// CHECK: vfcmulcsh 508(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x17,0x00,0xd7,0x71,0x7f]
vfcmulcsh 508(%rcx), %xmm29, %xmm30
// CHECK: vfcmulcsh -512(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x17,0x87,0xd7,0x72,0x80]
vfcmulcsh -512(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vfmaddcph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x16,0x40,0x56,0xf4]
vfmaddcph %zmm28, %zmm29, %zmm30
// CHECK: vfmaddcph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x16,0x10,0x56,0xf4]
vfmaddcph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfmaddcph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x16,0x47,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmaddcph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfmaddcph (%r9){1to16}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x16,0x50,0x56,0x31]
vfmaddcph (%r9){1to16}, %zmm29, %zmm30
// CHECK: vfmaddcph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x16,0x40,0x56,0x71,0x7f]
vfmaddcph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfmaddcph -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x16,0xd7,0x56,0x72,0x80]
vfmaddcph -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfmaddcsh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x16,0x00,0x57,0xf4]
vfmaddcsh %xmm28, %xmm29, %xmm30
// CHECK: vfmaddcsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x16,0x10,0x57,0xf4]
vfmaddcsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vfmaddcsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x16,0x07,0x57,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmaddcsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vfmaddcsh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x16,0x00,0x57,0x31]
vfmaddcsh (%r9), %xmm29, %xmm30
// CHECK: vfmaddcsh 508(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x16,0x00,0x57,0x71,0x7f]
vfmaddcsh 508(%rcx), %xmm29, %xmm30
// CHECK: vfmaddcsh -512(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x16,0x87,0x57,0x72,0x80]
vfmaddcsh -512(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: vfmulcph %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x16,0x40,0xd6,0xf4]
vfmulcph %zmm28, %zmm29, %zmm30
// CHECK: vfmulcph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x06,0x16,0x10,0xd6,0xf4]
vfmulcph {rn-sae}, %zmm28, %zmm29, %zmm30
// CHECK: vfmulcph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x16,0x47,0xd6,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmulcph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7}
// CHECK: vfmulcph (%r9){1to16}, %zmm29, %zmm30
// CHECK: encoding: [0x62,0x46,0x16,0x50,0xd6,0x31]
vfmulcph (%r9){1to16}, %zmm29, %zmm30
// CHECK: vfmulcph 8128(%rcx), %zmm29, %zmm30
// CHECK: encoding: [0x62,0x66,0x16,0x40,0xd6,0x71,0x7f]
vfmulcph 8128(%rcx), %zmm29, %zmm30
// CHECK: vfmulcph -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x16,0xd7,0xd6,0x72,0x80]
vfmulcph -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z}
// CHECK: vfmulcsh %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x16,0x00,0xd7,0xf4]
vfmulcsh %xmm28, %xmm29, %xmm30
// CHECK: vfmulcsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: encoding: [0x62,0x06,0x16,0x10,0xd7,0xf4]
vfmulcsh {rn-sae}, %xmm28, %xmm29, %xmm30
// CHECK: vfmulcsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: encoding: [0x62,0x26,0x16,0x07,0xd7,0xb4,0xf5,0x00,0x00,0x00,0x10]
vfmulcsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7}
// CHECK: vfmulcsh (%r9), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x46,0x16,0x00,0xd7,0x31]
vfmulcsh (%r9), %xmm29, %xmm30
// CHECK: vfmulcsh 508(%rcx), %xmm29, %xmm30
// CHECK: encoding: [0x62,0x66,0x16,0x00,0xd7,0x71,0x7f]
vfmulcsh 508(%rcx), %xmm29, %xmm30
// CHECK: vfmulcsh -512(%rdx), %xmm29, %xmm30 {%k7} {z}
// CHECK: encoding: [0x62,0x66,0x16,0x87,0xd7,0x72,0x80]
vfmulcsh -512(%rdx), %xmm29, %xmm30 {%k7} {z}