blob: 989effae40def97c555b552f99ed24d12e9d1594 [file] [log] [blame]
// RUN: llvm-mc -triple i686-unknown-unknown --show-encoding < %s | FileCheck %s
// CHECK: vaddph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x28,0x58,0xf4]
vaddph %ymm4, %ymm5, %ymm6
// CHECK: vaddph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x08,0x58,0xf4]
vaddph %xmm4, %xmm5, %xmm6
// CHECK: vaddph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x54,0x2f,0x58,0xb4,0xf4,0x00,0x00,0x00,0x10]
vaddph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vaddph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x38,0x58,0x31]
vaddph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vaddph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x28,0x58,0x71,0x7f]
vaddph 4064(%ecx), %ymm5, %ymm6
// CHECK: vaddph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x54,0xbf,0x58,0x72,0x80]
vaddph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vaddph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x54,0x0f,0x58,0xb4,0xf4,0x00,0x00,0x00,0x10]
vaddph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vaddph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x18,0x58,0x31]
vaddph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vaddph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x08,0x58,0x71,0x7f]
vaddph 2032(%ecx), %xmm5, %xmm6
// CHECK: vaddph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x54,0x9f,0x58,0x72,0x80]
vaddph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vcmpeqph %ymm4, %ymm5, %k5
// CHECK: encoding: [0x62,0xf3,0x54,0x28,0xc2,0xec,0x00]
vcmpph $0, %ymm4, %ymm5, %k5
// CHECK: vcmpltph %xmm4, %xmm5, %k5
// CHECK: encoding: [0x62,0xf3,0x54,0x08,0xc2,0xec,0x01]
vcmpph $1, %xmm4, %xmm5, %k5
// CHECK: vcmpleph 268435456(%esp,%esi,8), %xmm5, %k5 {%k7}
// CHECK: encoding: [0x62,0xf3,0x54,0x0f,0xc2,0xac,0xf4,0x00,0x00,0x00,0x10,0x02]
vcmpph $2, 268435456(%esp,%esi,8), %xmm5, %k5 {%k7}
// CHECK: vcmpunordph (%ecx){1to8}, %xmm5, %k5
// CHECK: encoding: [0x62,0xf3,0x54,0x18,0xc2,0x29,0x03]
vcmpph $3, (%ecx){1to8}, %xmm5, %k5
// CHECK: vcmpneqph 2032(%ecx), %xmm5, %k5
// CHECK: encoding: [0x62,0xf3,0x54,0x08,0xc2,0x69,0x7f,0x04]
vcmpph $4, 2032(%ecx), %xmm5, %k5
// CHECK: vcmpnltph -256(%edx){1to8}, %xmm5, %k5 {%k7}
// CHECK: encoding: [0x62,0xf3,0x54,0x1f,0xc2,0x6a,0x80,0x05]
vcmpph $5, -256(%edx){1to8}, %xmm5, %k5 {%k7}
// CHECK: vcmpnleph 268435456(%esp,%esi,8), %ymm5, %k5 {%k7}
// CHECK: encoding: [0x62,0xf3,0x54,0x2f,0xc2,0xac,0xf4,0x00,0x00,0x00,0x10,0x06]
vcmpph $6, 268435456(%esp,%esi,8), %ymm5, %k5 {%k7}
// CHECK: vcmpordph (%ecx){1to16}, %ymm5, %k5
// CHECK: encoding: [0x62,0xf3,0x54,0x38,0xc2,0x29,0x07]
vcmpph $7, (%ecx){1to16}, %ymm5, %k5
// CHECK: vcmpeq_uqph 4064(%ecx), %ymm5, %k5
// CHECK: encoding: [0x62,0xf3,0x54,0x28,0xc2,0x69,0x7f,0x08]
vcmpph $8, 4064(%ecx), %ymm5, %k5
// CHECK: vcmpngeph -256(%edx){1to16}, %ymm5, %k5 {%k7}
// CHECK: encoding: [0x62,0xf3,0x54,0x3f,0xc2,0x6a,0x80,0x09]
vcmpph $9, -256(%edx){1to16}, %ymm5, %k5 {%k7}
// CHECK: vdivph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x28,0x5e,0xf4]
vdivph %ymm4, %ymm5, %ymm6
// CHECK: vdivph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x08,0x5e,0xf4]
vdivph %xmm4, %xmm5, %xmm6
// CHECK: vdivph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x54,0x2f,0x5e,0xb4,0xf4,0x00,0x00,0x00,0x10]
vdivph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vdivph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x38,0x5e,0x31]
vdivph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vdivph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x28,0x5e,0x71,0x7f]
vdivph 4064(%ecx), %ymm5, %ymm6
// CHECK: vdivph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x54,0xbf,0x5e,0x72,0x80]
vdivph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vdivph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x54,0x0f,0x5e,0xb4,0xf4,0x00,0x00,0x00,0x10]
vdivph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vdivph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x18,0x5e,0x31]
vdivph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vdivph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x08,0x5e,0x71,0x7f]
vdivph 2032(%ecx), %xmm5, %xmm6
// CHECK: vdivph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x54,0x9f,0x5e,0x72,0x80]
vdivph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vmaxph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x28,0x5f,0xf4]
vmaxph %ymm4, %ymm5, %ymm6
// CHECK: vmaxph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x08,0x5f,0xf4]
vmaxph %xmm4, %xmm5, %xmm6
// CHECK: vmaxph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x54,0x2f,0x5f,0xb4,0xf4,0x00,0x00,0x00,0x10]
vmaxph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vmaxph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x38,0x5f,0x31]
vmaxph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vmaxph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x28,0x5f,0x71,0x7f]
vmaxph 4064(%ecx), %ymm5, %ymm6
// CHECK: vmaxph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x54,0xbf,0x5f,0x72,0x80]
vmaxph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vmaxph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x54,0x0f,0x5f,0xb4,0xf4,0x00,0x00,0x00,0x10]
vmaxph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vmaxph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x18,0x5f,0x31]
vmaxph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vmaxph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x08,0x5f,0x71,0x7f]
vmaxph 2032(%ecx), %xmm5, %xmm6
// CHECK: vmaxph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x54,0x9f,0x5f,0x72,0x80]
vmaxph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vminph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x28,0x5d,0xf4]
vminph %ymm4, %ymm5, %ymm6
// CHECK: vminph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x08,0x5d,0xf4]
vminph %xmm4, %xmm5, %xmm6
// CHECK: vminph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x54,0x2f,0x5d,0xb4,0xf4,0x00,0x00,0x00,0x10]
vminph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vminph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x38,0x5d,0x31]
vminph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vminph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x28,0x5d,0x71,0x7f]
vminph 4064(%ecx), %ymm5, %ymm6
// CHECK: vminph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x54,0xbf,0x5d,0x72,0x80]
vminph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vminph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x54,0x0f,0x5d,0xb4,0xf4,0x00,0x00,0x00,0x10]
vminph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vminph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x18,0x5d,0x31]
vminph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vminph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x08,0x5d,0x71,0x7f]
vminph 2032(%ecx), %xmm5, %xmm6
// CHECK: vminph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x54,0x9f,0x5d,0x72,0x80]
vminph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vmulph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x28,0x59,0xf4]
vmulph %ymm4, %ymm5, %ymm6
// CHECK: vmulph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x08,0x59,0xf4]
vmulph %xmm4, %xmm5, %xmm6
// CHECK: vmulph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x54,0x2f,0x59,0xb4,0xf4,0x00,0x00,0x00,0x10]
vmulph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vmulph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x38,0x59,0x31]
vmulph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vmulph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x28,0x59,0x71,0x7f]
vmulph 4064(%ecx), %ymm5, %ymm6
// CHECK: vmulph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x54,0xbf,0x59,0x72,0x80]
vmulph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vmulph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x54,0x0f,0x59,0xb4,0xf4,0x00,0x00,0x00,0x10]
vmulph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vmulph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x18,0x59,0x31]
vmulph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vmulph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x08,0x59,0x71,0x7f]
vmulph 2032(%ecx), %xmm5, %xmm6
// CHECK: vmulph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x54,0x9f,0x59,0x72,0x80]
vmulph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vsubph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x28,0x5c,0xf4]
vsubph %ymm4, %ymm5, %ymm6
// CHECK: vsubph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x08,0x5c,0xf4]
vsubph %xmm4, %xmm5, %xmm6
// CHECK: vsubph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x54,0x2f,0x5c,0xb4,0xf4,0x00,0x00,0x00,0x10]
vsubph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vsubph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x38,0x5c,0x31]
vsubph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vsubph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x54,0x28,0x5c,0x71,0x7f]
vsubph 4064(%ecx), %ymm5, %ymm6
// CHECK: vsubph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x54,0xbf,0x5c,0x72,0x80]
vsubph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vsubph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x54,0x0f,0x5c,0xb4,0xf4,0x00,0x00,0x00,0x10]
vsubph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vsubph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x18,0x5c,0x31]
vsubph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vsubph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x54,0x08,0x5c,0x71,0x7f]
vsubph 2032(%ecx), %xmm5, %xmm6
// CHECK: vsubph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x54,0x9f,0x5c,0x72,0x80]
vsubph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vcvtdq2ph %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x5b,0xf5]
vcvtdq2ph %xmm5, %xmm6
// CHECK: vcvtdq2ph %ymm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x28,0x5b,0xf5]
vcvtdq2ph %ymm5, %xmm6
// CHECK: vcvtdq2phx 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7c,0x0f,0x5b,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtdq2phx 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvtdq2ph (%ecx){1to4}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x18,0x5b,0x31]
vcvtdq2ph (%ecx){1to4}, %xmm6
// CHECK: vcvtdq2phx 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x5b,0x71,0x7f]
vcvtdq2phx 2032(%ecx), %xmm6
// CHECK: vcvtdq2ph -512(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7c,0x9f,0x5b,0x72,0x80]
vcvtdq2ph -512(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: vcvtdq2ph (%ecx){1to8}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x38,0x5b,0x31]
vcvtdq2ph (%ecx){1to8}, %xmm6
// CHECK: vcvtdq2phy 4064(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x28,0x5b,0x71,0x7f]
vcvtdq2phy 4064(%ecx), %xmm6
// CHECK: vcvtdq2ph -512(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7c,0xbf,0x5b,0x72,0x80]
vcvtdq2ph -512(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: vcvtpd2ph %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0xfd,0x08,0x5a,0xf5]
vcvtpd2ph %xmm5, %xmm6
// CHECK: vcvtpd2ph %ymm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0xfd,0x28,0x5a,0xf5]
vcvtpd2ph %ymm5, %xmm6
// CHECK: vcvtpd2phx 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0xfd,0x0f,0x5a,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtpd2phx 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvtpd2ph (%ecx){1to2}, %xmm6
// CHECK: encoding: [0x62,0xf5,0xfd,0x18,0x5a,0x31]
vcvtpd2ph (%ecx){1to2}, %xmm6
// CHECK: vcvtpd2phx 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0xfd,0x08,0x5a,0x71,0x7f]
vcvtpd2phx 2032(%ecx), %xmm6
// CHECK: vcvtpd2ph -1024(%edx){1to2}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0xfd,0x9f,0x5a,0x72,0x80]
vcvtpd2ph -1024(%edx){1to2}, %xmm6 {%k7} {z}
// CHECK: vcvtpd2ph (%ecx){1to4}, %xmm6
// CHECK: encoding: [0x62,0xf5,0xfd,0x38,0x5a,0x31]
vcvtpd2ph (%ecx){1to4}, %xmm6
// CHECK: vcvtpd2phy 4064(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0xfd,0x28,0x5a,0x71,0x7f]
vcvtpd2phy 4064(%ecx), %xmm6
// CHECK: vcvtpd2ph -1024(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0xfd,0xbf,0x5a,0x72,0x80]
vcvtpd2ph -1024(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: vcvtph2dq %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x5b,0xf5]
vcvtph2dq %xmm5, %xmm6
// CHECK: vcvtph2dq %xmm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x28,0x5b,0xf5]
vcvtph2dq %xmm5, %ymm6
// CHECK: vcvtph2dq 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7d,0x0f,0x5b,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtph2dq 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvtph2dq (%ecx){1to4}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x18,0x5b,0x31]
vcvtph2dq (%ecx){1to4}, %xmm6
// CHECK: vcvtph2dq 1016(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x5b,0x71,0x7f]
vcvtph2dq 1016(%ecx), %xmm6
// CHECK: vcvtph2dq -256(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7d,0x9f,0x5b,0x72,0x80]
vcvtph2dq -256(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: vcvtph2dq 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7d,0x2f,0x5b,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtph2dq 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vcvtph2dq (%ecx){1to8}, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x38,0x5b,0x31]
vcvtph2dq (%ecx){1to8}, %ymm6
// CHECK: vcvtph2dq 2032(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x28,0x5b,0x71,0x7f]
vcvtph2dq 2032(%ecx), %ymm6
// CHECK: vcvtph2dq -256(%edx){1to8}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7d,0xbf,0x5b,0x72,0x80]
vcvtph2dq -256(%edx){1to8}, %ymm6 {%k7} {z}
// CHECK: vcvtph2pd %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x5a,0xf5]
vcvtph2pd %xmm5, %xmm6
// CHECK: vcvtph2pd %xmm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x28,0x5a,0xf5]
vcvtph2pd %xmm5, %ymm6
// CHECK: vcvtph2pd 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7c,0x0f,0x5a,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtph2pd 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvtph2pd (%ecx){1to2}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x18,0x5a,0x31]
vcvtph2pd (%ecx){1to2}, %xmm6
// CHECK: vcvtph2pd 508(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x5a,0x71,0x7f]
vcvtph2pd 508(%ecx), %xmm6
// CHECK: vcvtph2pd -256(%edx){1to2}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7c,0x9f,0x5a,0x72,0x80]
vcvtph2pd -256(%edx){1to2}, %xmm6 {%k7} {z}
// CHECK: vcvtph2pd 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7c,0x2f,0x5a,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtph2pd 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vcvtph2pd (%ecx){1to4}, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x38,0x5a,0x31]
vcvtph2pd (%ecx){1to4}, %ymm6
// CHECK: vcvtph2pd 1016(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x28,0x5a,0x71,0x7f]
vcvtph2pd 1016(%ecx), %ymm6
// CHECK: vcvtph2pd -256(%edx){1to4}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7c,0xbf,0x5a,0x72,0x80]
vcvtph2pd -256(%edx){1to4}, %ymm6 {%k7} {z}
// CHECK: vcvtph2psx %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x08,0x13,0xf5]
vcvtph2psx %xmm5, %xmm6
// CHECK: vcvtph2psx %xmm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x28,0x13,0xf5]
vcvtph2psx %xmm5, %ymm6
// CHECK: vcvtph2psx 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x7d,0x0f,0x13,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtph2psx 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvtph2psx (%ecx){1to4}, %xmm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x18,0x13,0x31]
vcvtph2psx (%ecx){1to4}, %xmm6
// CHECK: vcvtph2psx 1016(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x08,0x13,0x71,0x7f]
vcvtph2psx 1016(%ecx), %xmm6
// CHECK: vcvtph2psx -256(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x7d,0x9f,0x13,0x72,0x80]
vcvtph2psx -256(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: vcvtph2psx 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x7d,0x2f,0x13,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtph2psx 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vcvtph2psx (%ecx){1to8}, %ymm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x38,0x13,0x31]
vcvtph2psx (%ecx){1to8}, %ymm6
// CHECK: vcvtph2psx 2032(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x28,0x13,0x71,0x7f]
vcvtph2psx 2032(%ecx), %ymm6
// CHECK: vcvtph2psx -256(%edx){1to8}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x7d,0xbf,0x13,0x72,0x80]
vcvtph2psx -256(%edx){1to8}, %ymm6 {%k7} {z}
// CHECK: vcvtph2qq %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x7b,0xf5]
vcvtph2qq %xmm5, %xmm6
// CHECK: vcvtph2qq %xmm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x28,0x7b,0xf5]
vcvtph2qq %xmm5, %ymm6
// CHECK: vcvtph2qq 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7d,0x0f,0x7b,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtph2qq 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvtph2qq (%ecx){1to2}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x18,0x7b,0x31]
vcvtph2qq (%ecx){1to2}, %xmm6
// CHECK: vcvtph2qq 508(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x7b,0x71,0x7f]
vcvtph2qq 508(%ecx), %xmm6
// CHECK: vcvtph2qq -256(%edx){1to2}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7d,0x9f,0x7b,0x72,0x80]
vcvtph2qq -256(%edx){1to2}, %xmm6 {%k7} {z}
// CHECK: vcvtph2qq 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7d,0x2f,0x7b,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtph2qq 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vcvtph2qq (%ecx){1to4}, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x38,0x7b,0x31]
vcvtph2qq (%ecx){1to4}, %ymm6
// CHECK: vcvtph2qq 1016(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x28,0x7b,0x71,0x7f]
vcvtph2qq 1016(%ecx), %ymm6
// CHECK: vcvtph2qq -256(%edx){1to4}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7d,0xbf,0x7b,0x72,0x80]
vcvtph2qq -256(%edx){1to4}, %ymm6 {%k7} {z}
// CHECK: vcvtph2udq %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x79,0xf5]
vcvtph2udq %xmm5, %xmm6
// CHECK: vcvtph2udq %xmm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x28,0x79,0xf5]
vcvtph2udq %xmm5, %ymm6
// CHECK: vcvtph2udq 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7c,0x0f,0x79,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtph2udq 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvtph2udq (%ecx){1to4}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x18,0x79,0x31]
vcvtph2udq (%ecx){1to4}, %xmm6
// CHECK: vcvtph2udq 1016(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x79,0x71,0x7f]
vcvtph2udq 1016(%ecx), %xmm6
// CHECK: vcvtph2udq -256(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7c,0x9f,0x79,0x72,0x80]
vcvtph2udq -256(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: vcvtph2udq 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7c,0x2f,0x79,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtph2udq 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vcvtph2udq (%ecx){1to8}, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x38,0x79,0x31]
vcvtph2udq (%ecx){1to8}, %ymm6
// CHECK: vcvtph2udq 2032(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x28,0x79,0x71,0x7f]
vcvtph2udq 2032(%ecx), %ymm6
// CHECK: vcvtph2udq -256(%edx){1to8}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7c,0xbf,0x79,0x72,0x80]
vcvtph2udq -256(%edx){1to8}, %ymm6 {%k7} {z}
// CHECK: vcvtph2uqq %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x79,0xf5]
vcvtph2uqq %xmm5, %xmm6
// CHECK: vcvtph2uqq %xmm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x28,0x79,0xf5]
vcvtph2uqq %xmm5, %ymm6
// CHECK: vcvtph2uqq 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7d,0x0f,0x79,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtph2uqq 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvtph2uqq (%ecx){1to2}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x18,0x79,0x31]
vcvtph2uqq (%ecx){1to2}, %xmm6
// CHECK: vcvtph2uqq 508(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x79,0x71,0x7f]
vcvtph2uqq 508(%ecx), %xmm6
// CHECK: vcvtph2uqq -256(%edx){1to2}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7d,0x9f,0x79,0x72,0x80]
vcvtph2uqq -256(%edx){1to2}, %xmm6 {%k7} {z}
// CHECK: vcvtph2uqq 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7d,0x2f,0x79,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtph2uqq 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vcvtph2uqq (%ecx){1to4}, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x38,0x79,0x31]
vcvtph2uqq (%ecx){1to4}, %ymm6
// CHECK: vcvtph2uqq 1016(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x28,0x79,0x71,0x7f]
vcvtph2uqq 1016(%ecx), %ymm6
// CHECK: vcvtph2uqq -256(%edx){1to4}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7d,0xbf,0x79,0x72,0x80]
vcvtph2uqq -256(%edx){1to4}, %ymm6 {%k7} {z}
// CHECK: vcvtph2uw %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x7d,0xf5]
vcvtph2uw %xmm5, %xmm6
// CHECK: vcvtph2uw %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x28,0x7d,0xf5]
vcvtph2uw %ymm5, %ymm6
// CHECK: vcvtph2uw 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7c,0x0f,0x7d,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtph2uw 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvtph2uw (%ecx){1to8}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x18,0x7d,0x31]
vcvtph2uw (%ecx){1to8}, %xmm6
// CHECK: vcvtph2uw 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x7d,0x71,0x7f]
vcvtph2uw 2032(%ecx), %xmm6
// CHECK: vcvtph2uw -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7c,0x9f,0x7d,0x72,0x80]
vcvtph2uw -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: vcvtph2uw 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7c,0x2f,0x7d,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtph2uw 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vcvtph2uw (%ecx){1to16}, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x38,0x7d,0x31]
vcvtph2uw (%ecx){1to16}, %ymm6
// CHECK: vcvtph2uw 4064(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x28,0x7d,0x71,0x7f]
vcvtph2uw 4064(%ecx), %ymm6
// CHECK: vcvtph2uw -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7c,0xbf,0x7d,0x72,0x80]
vcvtph2uw -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: vcvtph2w %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x7d,0xf5]
vcvtph2w %xmm5, %xmm6
// CHECK: vcvtph2w %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x28,0x7d,0xf5]
vcvtph2w %ymm5, %ymm6
// CHECK: vcvtph2w 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7d,0x0f,0x7d,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtph2w 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvtph2w (%ecx){1to8}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x18,0x7d,0x31]
vcvtph2w (%ecx){1to8}, %xmm6
// CHECK: vcvtph2w 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x7d,0x71,0x7f]
vcvtph2w 2032(%ecx), %xmm6
// CHECK: vcvtph2w -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7d,0x9f,0x7d,0x72,0x80]
vcvtph2w -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: vcvtph2w 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7d,0x2f,0x7d,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtph2w 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vcvtph2w (%ecx){1to16}, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x38,0x7d,0x31]
vcvtph2w (%ecx){1to16}, %ymm6
// CHECK: vcvtph2w 4064(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x28,0x7d,0x71,0x7f]
vcvtph2w 4064(%ecx), %ymm6
// CHECK: vcvtph2w -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7d,0xbf,0x7d,0x72,0x80]
vcvtph2w -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: vcvtps2phx %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x1d,0xf5]
vcvtps2phx %xmm5, %xmm6
// CHECK: vcvtps2phx %ymm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x28,0x1d,0xf5]
vcvtps2phx %ymm5, %xmm6
// CHECK: vcvtps2phxx 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7d,0x0f,0x1d,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtps2phxx 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvtps2phx (%ecx){1to4}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x18,0x1d,0x31]
vcvtps2phx (%ecx){1to4}, %xmm6
// CHECK: vcvtps2phxx 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x1d,0x71,0x7f]
vcvtps2phxx 2032(%ecx), %xmm6
// CHECK: vcvtps2phx -512(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7d,0x9f,0x1d,0x72,0x80]
vcvtps2phx -512(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: vcvtps2phx (%ecx){1to8}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x38,0x1d,0x31]
vcvtps2phx (%ecx){1to8}, %xmm6
// CHECK: vcvtps2phxy 4064(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x28,0x1d,0x71,0x7f]
vcvtps2phxy 4064(%ecx), %xmm6
// CHECK: vcvtps2phx -512(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7d,0xbf,0x1d,0x72,0x80]
vcvtps2phx -512(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: vcvtqq2ph %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0xfc,0x08,0x5b,0xf5]
vcvtqq2ph %xmm5, %xmm6
// CHECK: vcvtqq2ph %ymm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0xfc,0x28,0x5b,0xf5]
vcvtqq2ph %ymm5, %xmm6
// CHECK: vcvtqq2phx 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0xfc,0x0f,0x5b,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtqq2phx 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvtqq2ph (%ecx){1to2}, %xmm6
// CHECK: encoding: [0x62,0xf5,0xfc,0x18,0x5b,0x31]
vcvtqq2ph (%ecx){1to2}, %xmm6
// CHECK: vcvtqq2phx 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0xfc,0x08,0x5b,0x71,0x7f]
vcvtqq2phx 2032(%ecx), %xmm6
// CHECK: vcvtqq2ph -1024(%edx){1to2}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0xfc,0x9f,0x5b,0x72,0x80]
vcvtqq2ph -1024(%edx){1to2}, %xmm6 {%k7} {z}
// CHECK: vcvtqq2ph (%ecx){1to4}, %xmm6
// CHECK: encoding: [0x62,0xf5,0xfc,0x38,0x5b,0x31]
vcvtqq2ph (%ecx){1to4}, %xmm6
// CHECK: vcvtqq2phy 4064(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0xfc,0x28,0x5b,0x71,0x7f]
vcvtqq2phy 4064(%ecx), %xmm6
// CHECK: vcvtqq2ph -1024(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0xfc,0xbf,0x5b,0x72,0x80]
vcvtqq2ph -1024(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: vcvttph2dq %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x5b,0xf5]
vcvttph2dq %xmm5, %xmm6
// CHECK: vcvttph2dq %xmm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7e,0x28,0x5b,0xf5]
vcvttph2dq %xmm5, %ymm6
// CHECK: vcvttph2dq 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7e,0x0f,0x5b,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvttph2dq 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvttph2dq (%ecx){1to4}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7e,0x18,0x5b,0x31]
vcvttph2dq (%ecx){1to4}, %xmm6
// CHECK: vcvttph2dq 1016(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x5b,0x71,0x7f]
vcvttph2dq 1016(%ecx), %xmm6
// CHECK: vcvttph2dq -256(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7e,0x9f,0x5b,0x72,0x80]
vcvttph2dq -256(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: vcvttph2dq 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7e,0x2f,0x5b,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvttph2dq 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vcvttph2dq (%ecx){1to8}, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7e,0x38,0x5b,0x31]
vcvttph2dq (%ecx){1to8}, %ymm6
// CHECK: vcvttph2dq 2032(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf5,0x7e,0x28,0x5b,0x71,0x7f]
vcvttph2dq 2032(%ecx), %ymm6
// CHECK: vcvttph2dq -256(%edx){1to8}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7e,0xbf,0x5b,0x72,0x80]
vcvttph2dq -256(%edx){1to8}, %ymm6 {%k7} {z}
// CHECK: vcvttph2qq %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x7a,0xf5]
vcvttph2qq %xmm5, %xmm6
// CHECK: vcvttph2qq %xmm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x28,0x7a,0xf5]
vcvttph2qq %xmm5, %ymm6
// CHECK: vcvttph2qq 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7d,0x0f,0x7a,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvttph2qq 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvttph2qq (%ecx){1to2}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x18,0x7a,0x31]
vcvttph2qq (%ecx){1to2}, %xmm6
// CHECK: vcvttph2qq 508(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x7a,0x71,0x7f]
vcvttph2qq 508(%ecx), %xmm6
// CHECK: vcvttph2qq -256(%edx){1to2}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7d,0x9f,0x7a,0x72,0x80]
vcvttph2qq -256(%edx){1to2}, %xmm6 {%k7} {z}
// CHECK: vcvttph2qq 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7d,0x2f,0x7a,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvttph2qq 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vcvttph2qq (%ecx){1to4}, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x38,0x7a,0x31]
vcvttph2qq (%ecx){1to4}, %ymm6
// CHECK: vcvttph2qq 1016(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x28,0x7a,0x71,0x7f]
vcvttph2qq 1016(%ecx), %ymm6
// CHECK: vcvttph2qq -256(%edx){1to4}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7d,0xbf,0x7a,0x72,0x80]
vcvttph2qq -256(%edx){1to4}, %ymm6 {%k7} {z}
// CHECK: vcvttph2udq %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x78,0xf5]
vcvttph2udq %xmm5, %xmm6
// CHECK: vcvttph2udq %xmm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x28,0x78,0xf5]
vcvttph2udq %xmm5, %ymm6
// CHECK: vcvttph2udq 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7c,0x0f,0x78,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvttph2udq 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvttph2udq (%ecx){1to4}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x18,0x78,0x31]
vcvttph2udq (%ecx){1to4}, %xmm6
// CHECK: vcvttph2udq 1016(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x78,0x71,0x7f]
vcvttph2udq 1016(%ecx), %xmm6
// CHECK: vcvttph2udq -256(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7c,0x9f,0x78,0x72,0x80]
vcvttph2udq -256(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: vcvttph2udq 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7c,0x2f,0x78,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvttph2udq 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vcvttph2udq (%ecx){1to8}, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x38,0x78,0x31]
vcvttph2udq (%ecx){1to8}, %ymm6
// CHECK: vcvttph2udq 2032(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x28,0x78,0x71,0x7f]
vcvttph2udq 2032(%ecx), %ymm6
// CHECK: vcvttph2udq -256(%edx){1to8}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7c,0xbf,0x78,0x72,0x80]
vcvttph2udq -256(%edx){1to8}, %ymm6 {%k7} {z}
// CHECK: vcvttph2uqq %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x78,0xf5]
vcvttph2uqq %xmm5, %xmm6
// CHECK: vcvttph2uqq %xmm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x28,0x78,0xf5]
vcvttph2uqq %xmm5, %ymm6
// CHECK: vcvttph2uqq 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7d,0x0f,0x78,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvttph2uqq 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvttph2uqq (%ecx){1to2}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x18,0x78,0x31]
vcvttph2uqq (%ecx){1to2}, %xmm6
// CHECK: vcvttph2uqq 508(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x78,0x71,0x7f]
vcvttph2uqq 508(%ecx), %xmm6
// CHECK: vcvttph2uqq -256(%edx){1to2}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7d,0x9f,0x78,0x72,0x80]
vcvttph2uqq -256(%edx){1to2}, %xmm6 {%k7} {z}
// CHECK: vcvttph2uqq 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7d,0x2f,0x78,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvttph2uqq 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vcvttph2uqq (%ecx){1to4}, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x38,0x78,0x31]
vcvttph2uqq (%ecx){1to4}, %ymm6
// CHECK: vcvttph2uqq 1016(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x28,0x78,0x71,0x7f]
vcvttph2uqq 1016(%ecx), %ymm6
// CHECK: vcvttph2uqq -256(%edx){1to4}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7d,0xbf,0x78,0x72,0x80]
vcvttph2uqq -256(%edx){1to4}, %ymm6 {%k7} {z}
// CHECK: vcvttph2uw %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x7c,0xf5]
vcvttph2uw %xmm5, %xmm6
// CHECK: vcvttph2uw %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x28,0x7c,0xf5]
vcvttph2uw %ymm5, %ymm6
// CHECK: vcvttph2uw 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7c,0x0f,0x7c,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvttph2uw 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvttph2uw (%ecx){1to8}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x18,0x7c,0x31]
vcvttph2uw (%ecx){1to8}, %xmm6
// CHECK: vcvttph2uw 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x7c,0x71,0x7f]
vcvttph2uw 2032(%ecx), %xmm6
// CHECK: vcvttph2uw -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7c,0x9f,0x7c,0x72,0x80]
vcvttph2uw -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: vcvttph2uw 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7c,0x2f,0x7c,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvttph2uw 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vcvttph2uw (%ecx){1to16}, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x38,0x7c,0x31]
vcvttph2uw (%ecx){1to16}, %ymm6
// CHECK: vcvttph2uw 4064(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x28,0x7c,0x71,0x7f]
vcvttph2uw 4064(%ecx), %ymm6
// CHECK: vcvttph2uw -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7c,0xbf,0x7c,0x72,0x80]
vcvttph2uw -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: vcvttph2w %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x7c,0xf5]
vcvttph2w %xmm5, %xmm6
// CHECK: vcvttph2w %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x28,0x7c,0xf5]
vcvttph2w %ymm5, %ymm6
// CHECK: vcvttph2w 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7d,0x0f,0x7c,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvttph2w 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvttph2w (%ecx){1to8}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x18,0x7c,0x31]
vcvttph2w (%ecx){1to8}, %xmm6
// CHECK: vcvttph2w 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x08,0x7c,0x71,0x7f]
vcvttph2w 2032(%ecx), %xmm6
// CHECK: vcvttph2w -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7d,0x9f,0x7c,0x72,0x80]
vcvttph2w -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: vcvttph2w 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7d,0x2f,0x7c,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvttph2w 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vcvttph2w (%ecx){1to16}, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x38,0x7c,0x31]
vcvttph2w (%ecx){1to16}, %ymm6
// CHECK: vcvttph2w 4064(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf5,0x7d,0x28,0x7c,0x71,0x7f]
vcvttph2w 4064(%ecx), %ymm6
// CHECK: vcvttph2w -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7d,0xbf,0x7c,0x72,0x80]
vcvttph2w -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: vcvtudq2ph %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7f,0x08,0x7a,0xf5]
vcvtudq2ph %xmm5, %xmm6
// CHECK: vcvtudq2ph %ymm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7f,0x28,0x7a,0xf5]
vcvtudq2ph %ymm5, %xmm6
// CHECK: vcvtudq2phx 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7f,0x0f,0x7a,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtudq2phx 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvtudq2ph (%ecx){1to4}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7f,0x18,0x7a,0x31]
vcvtudq2ph (%ecx){1to4}, %xmm6
// CHECK: vcvtudq2phx 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7f,0x08,0x7a,0x71,0x7f]
vcvtudq2phx 2032(%ecx), %xmm6
// CHECK: vcvtudq2ph -512(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7f,0x9f,0x7a,0x72,0x80]
vcvtudq2ph -512(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: vcvtudq2ph (%ecx){1to8}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7f,0x38,0x7a,0x31]
vcvtudq2ph (%ecx){1to8}, %xmm6
// CHECK: vcvtudq2phy 4064(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7f,0x28,0x7a,0x71,0x7f]
vcvtudq2phy 4064(%ecx), %xmm6
// CHECK: vcvtudq2ph -512(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7f,0xbf,0x7a,0x72,0x80]
vcvtudq2ph -512(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: vcvtuqq2ph %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0xff,0x08,0x7a,0xf5]
vcvtuqq2ph %xmm5, %xmm6
// CHECK: vcvtuqq2ph %ymm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0xff,0x28,0x7a,0xf5]
vcvtuqq2ph %ymm5, %xmm6
// CHECK: vcvtuqq2phx 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0xff,0x0f,0x7a,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtuqq2phx 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvtuqq2ph (%ecx){1to2}, %xmm6
// CHECK: encoding: [0x62,0xf5,0xff,0x18,0x7a,0x31]
vcvtuqq2ph (%ecx){1to2}, %xmm6
// CHECK: vcvtuqq2phx 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0xff,0x08,0x7a,0x71,0x7f]
vcvtuqq2phx 2032(%ecx), %xmm6
// CHECK: vcvtuqq2ph -1024(%edx){1to2}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0xff,0x9f,0x7a,0x72,0x80]
vcvtuqq2ph -1024(%edx){1to2}, %xmm6 {%k7} {z}
// CHECK: vcvtuqq2ph (%ecx){1to4}, %xmm6
// CHECK: encoding: [0x62,0xf5,0xff,0x38,0x7a,0x31]
vcvtuqq2ph (%ecx){1to4}, %xmm6
// CHECK: vcvtuqq2phy 4064(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0xff,0x28,0x7a,0x71,0x7f]
vcvtuqq2phy 4064(%ecx), %xmm6
// CHECK: vcvtuqq2ph -1024(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0xff,0xbf,0x7a,0x72,0x80]
vcvtuqq2ph -1024(%edx){1to4}, %xmm6 {%k7} {z}
// CHECK: vcvtuw2ph %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7f,0x08,0x7d,0xf5]
vcvtuw2ph %xmm5, %xmm6
// CHECK: vcvtuw2ph %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7f,0x28,0x7d,0xf5]
vcvtuw2ph %ymm5, %ymm6
// CHECK: vcvtuw2ph 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7f,0x0f,0x7d,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtuw2ph 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvtuw2ph (%ecx){1to8}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7f,0x18,0x7d,0x31]
vcvtuw2ph (%ecx){1to8}, %xmm6
// CHECK: vcvtuw2ph 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7f,0x08,0x7d,0x71,0x7f]
vcvtuw2ph 2032(%ecx), %xmm6
// CHECK: vcvtuw2ph -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7f,0x9f,0x7d,0x72,0x80]
vcvtuw2ph -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: vcvtuw2ph 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7f,0x2f,0x7d,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtuw2ph 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vcvtuw2ph (%ecx){1to16}, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7f,0x38,0x7d,0x31]
vcvtuw2ph (%ecx){1to16}, %ymm6
// CHECK: vcvtuw2ph 4064(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf5,0x7f,0x28,0x7d,0x71,0x7f]
vcvtuw2ph 4064(%ecx), %ymm6
// CHECK: vcvtuw2ph -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7f,0xbf,0x7d,0x72,0x80]
vcvtuw2ph -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: vcvtw2ph %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x7d,0xf5]
vcvtw2ph %xmm5, %xmm6
// CHECK: vcvtw2ph %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7e,0x28,0x7d,0xf5]
vcvtw2ph %ymm5, %ymm6
// CHECK: vcvtw2ph 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7e,0x0f,0x7d,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtw2ph 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vcvtw2ph (%ecx){1to8}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7e,0x18,0x7d,0x31]
vcvtw2ph (%ecx){1to8}, %xmm6
// CHECK: vcvtw2ph 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x7d,0x71,0x7f]
vcvtw2ph 2032(%ecx), %xmm6
// CHECK: vcvtw2ph -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7e,0x9f,0x7d,0x72,0x80]
vcvtw2ph -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: vcvtw2ph 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7e,0x2f,0x7d,0xb4,0xf4,0x00,0x00,0x00,0x10]
vcvtw2ph 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vcvtw2ph (%ecx){1to16}, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7e,0x38,0x7d,0x31]
vcvtw2ph (%ecx){1to16}, %ymm6
// CHECK: vcvtw2ph 4064(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf5,0x7e,0x28,0x7d,0x71,0x7f]
vcvtw2ph 4064(%ecx), %ymm6
// CHECK: vcvtw2ph -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7e,0xbf,0x7d,0x72,0x80]
vcvtw2ph -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: vfpclassph $123, %xmm6, %k5
// CHECK: encoding: [0x62,0xf3,0x7c,0x08,0x66,0xee,0x7b]
vfpclassph $123, %xmm6, %k5
// CHECK: vfpclassph $123, %ymm6, %k5
// CHECK: encoding: [0x62,0xf3,0x7c,0x28,0x66,0xee,0x7b]
vfpclassph $123, %ymm6, %k5
// CHECK: vfpclassphx $123, 268435456(%esp,%esi,8), %k5 {%k7}
// CHECK: encoding: [0x62,0xf3,0x7c,0x0f,0x66,0xac,0xf4,0x00,0x00,0x00,0x10,0x7b]
vfpclassphx $123, 268435456(%esp,%esi,8), %k5 {%k7}
// CHECK: vfpclassph $123, (%ecx){1to8}, %k5
// CHECK: encoding: [0x62,0xf3,0x7c,0x18,0x66,0x29,0x7b]
vfpclassph $123, (%ecx){1to8}, %k5
// CHECK: vfpclassphx $123, 2032(%ecx), %k5
// CHECK: encoding: [0x62,0xf3,0x7c,0x08,0x66,0x69,0x7f,0x7b]
vfpclassphx $123, 2032(%ecx), %k5
// CHECK: vfpclassph $123, -256(%edx){1to8}, %k5 {%k7}
// CHECK: encoding: [0x62,0xf3,0x7c,0x1f,0x66,0x6a,0x80,0x7b]
vfpclassph $123, -256(%edx){1to8}, %k5 {%k7}
// CHECK: vfpclassph $123, (%ecx){1to16}, %k5
// CHECK: encoding: [0x62,0xf3,0x7c,0x38,0x66,0x29,0x7b]
vfpclassph $123, (%ecx){1to16}, %k5
// CHECK: vfpclassphy $123, 4064(%ecx), %k5
// CHECK: encoding: [0x62,0xf3,0x7c,0x28,0x66,0x69,0x7f,0x7b]
vfpclassphy $123, 4064(%ecx), %k5
// CHECK: vfpclassph $123, -256(%edx){1to16}, %k5 {%k7}
// CHECK: encoding: [0x62,0xf3,0x7c,0x3f,0x66,0x6a,0x80,0x7b]
vfpclassph $123, -256(%edx){1to16}, %k5 {%k7}
// CHECK: vgetexpph %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x08,0x42,0xf5]
vgetexpph %xmm5, %xmm6
// CHECK: vgetexpph %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x28,0x42,0xf5]
vgetexpph %ymm5, %ymm6
// CHECK: vgetexpph 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x7d,0x0f,0x42,0xb4,0xf4,0x00,0x00,0x00,0x10]
vgetexpph 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vgetexpph (%ecx){1to8}, %xmm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x18,0x42,0x31]
vgetexpph (%ecx){1to8}, %xmm6
// CHECK: vgetexpph 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x08,0x42,0x71,0x7f]
vgetexpph 2032(%ecx), %xmm6
// CHECK: vgetexpph -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x7d,0x9f,0x42,0x72,0x80]
vgetexpph -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: vgetexpph 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x7d,0x2f,0x42,0xb4,0xf4,0x00,0x00,0x00,0x10]
vgetexpph 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vgetexpph (%ecx){1to16}, %ymm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x38,0x42,0x31]
vgetexpph (%ecx){1to16}, %ymm6
// CHECK: vgetexpph 4064(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x28,0x42,0x71,0x7f]
vgetexpph 4064(%ecx), %ymm6
// CHECK: vgetexpph -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x7d,0xbf,0x42,0x72,0x80]
vgetexpph -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: vgetmantph $123, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x28,0x26,0xf5,0x7b]
vgetmantph $123, %ymm5, %ymm6
// CHECK: vgetmantph $123, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x08,0x26,0xf5,0x7b]
vgetmantph $123, %xmm5, %xmm6
// CHECK: vgetmantph $123, 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf3,0x7c,0x0f,0x26,0xb4,0xf4,0x00,0x00,0x00,0x10,0x7b]
vgetmantph $123, 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vgetmantph $123, (%ecx){1to8}, %xmm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x18,0x26,0x31,0x7b]
vgetmantph $123, (%ecx){1to8}, %xmm6
// CHECK: vgetmantph $123, 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x08,0x26,0x71,0x7f,0x7b]
vgetmantph $123, 2032(%ecx), %xmm6
// CHECK: vgetmantph $123, -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf3,0x7c,0x9f,0x26,0x72,0x80,0x7b]
vgetmantph $123, -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: vgetmantph $123, 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf3,0x7c,0x2f,0x26,0xb4,0xf4,0x00,0x00,0x00,0x10,0x7b]
vgetmantph $123, 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vgetmantph $123, (%ecx){1to16}, %ymm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x38,0x26,0x31,0x7b]
vgetmantph $123, (%ecx){1to16}, %ymm6
// CHECK: vgetmantph $123, 4064(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x28,0x26,0x71,0x7f,0x7b]
vgetmantph $123, 4064(%ecx), %ymm6
// CHECK: vgetmantph $123, -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf3,0x7c,0xbf,0x26,0x72,0x80,0x7b]
vgetmantph $123, -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: vrcpph %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x08,0x4c,0xf5]
vrcpph %xmm5, %xmm6
// CHECK: vrcpph %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x28,0x4c,0xf5]
vrcpph %ymm5, %ymm6
// CHECK: vrcpph 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x7d,0x0f,0x4c,0xb4,0xf4,0x00,0x00,0x00,0x10]
vrcpph 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vrcpph (%ecx){1to8}, %xmm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x18,0x4c,0x31]
vrcpph (%ecx){1to8}, %xmm6
// CHECK: vrcpph 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x08,0x4c,0x71,0x7f]
vrcpph 2032(%ecx), %xmm6
// CHECK: vrcpph -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x7d,0x9f,0x4c,0x72,0x80]
vrcpph -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: vrcpph 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x7d,0x2f,0x4c,0xb4,0xf4,0x00,0x00,0x00,0x10]
vrcpph 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vrcpph (%ecx){1to16}, %ymm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x38,0x4c,0x31]
vrcpph (%ecx){1to16}, %ymm6
// CHECK: vrcpph 4064(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x28,0x4c,0x71,0x7f]
vrcpph 4064(%ecx), %ymm6
// CHECK: vrcpph -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x7d,0xbf,0x4c,0x72,0x80]
vrcpph -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: vreduceph $123, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x28,0x56,0xf5,0x7b]
vreduceph $123, %ymm5, %ymm6
// CHECK: vreduceph $123, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x08,0x56,0xf5,0x7b]
vreduceph $123, %xmm5, %xmm6
// CHECK: vreduceph $123, 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf3,0x7c,0x0f,0x56,0xb4,0xf4,0x00,0x00,0x00,0x10,0x7b]
vreduceph $123, 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vreduceph $123, (%ecx){1to8}, %xmm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x18,0x56,0x31,0x7b]
vreduceph $123, (%ecx){1to8}, %xmm6
// CHECK: vreduceph $123, 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x08,0x56,0x71,0x7f,0x7b]
vreduceph $123, 2032(%ecx), %xmm6
// CHECK: vreduceph $123, -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf3,0x7c,0x9f,0x56,0x72,0x80,0x7b]
vreduceph $123, -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: vreduceph $123, 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf3,0x7c,0x2f,0x56,0xb4,0xf4,0x00,0x00,0x00,0x10,0x7b]
vreduceph $123, 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vreduceph $123, (%ecx){1to16}, %ymm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x38,0x56,0x31,0x7b]
vreduceph $123, (%ecx){1to16}, %ymm6
// CHECK: vreduceph $123, 4064(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x28,0x56,0x71,0x7f,0x7b]
vreduceph $123, 4064(%ecx), %ymm6
// CHECK: vreduceph $123, -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf3,0x7c,0xbf,0x56,0x72,0x80,0x7b]
vreduceph $123, -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: vrndscaleph $123, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x28,0x08,0xf5,0x7b]
vrndscaleph $123, %ymm5, %ymm6
// CHECK: vrndscaleph $123, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x08,0x08,0xf5,0x7b]
vrndscaleph $123, %xmm5, %xmm6
// CHECK: vrndscaleph $123, 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf3,0x7c,0x0f,0x08,0xb4,0xf4,0x00,0x00,0x00,0x10,0x7b]
vrndscaleph $123, 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vrndscaleph $123, (%ecx){1to8}, %xmm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x18,0x08,0x31,0x7b]
vrndscaleph $123, (%ecx){1to8}, %xmm6
// CHECK: vrndscaleph $123, 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x08,0x08,0x71,0x7f,0x7b]
vrndscaleph $123, 2032(%ecx), %xmm6
// CHECK: vrndscaleph $123, -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf3,0x7c,0x9f,0x08,0x72,0x80,0x7b]
vrndscaleph $123, -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: vrndscaleph $123, 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf3,0x7c,0x2f,0x08,0xb4,0xf4,0x00,0x00,0x00,0x10,0x7b]
vrndscaleph $123, 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vrndscaleph $123, (%ecx){1to16}, %ymm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x38,0x08,0x31,0x7b]
vrndscaleph $123, (%ecx){1to16}, %ymm6
// CHECK: vrndscaleph $123, 4064(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf3,0x7c,0x28,0x08,0x71,0x7f,0x7b]
vrndscaleph $123, 4064(%ecx), %ymm6
// CHECK: vrndscaleph $123, -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf3,0x7c,0xbf,0x08,0x72,0x80,0x7b]
vrndscaleph $123, -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: vrsqrtph %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x08,0x4e,0xf5]
vrsqrtph %xmm5, %xmm6
// CHECK: vrsqrtph %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x28,0x4e,0xf5]
vrsqrtph %ymm5, %ymm6
// CHECK: vrsqrtph 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x7d,0x0f,0x4e,0xb4,0xf4,0x00,0x00,0x00,0x10]
vrsqrtph 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vrsqrtph (%ecx){1to8}, %xmm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x18,0x4e,0x31]
vrsqrtph (%ecx){1to8}, %xmm6
// CHECK: vrsqrtph 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x08,0x4e,0x71,0x7f]
vrsqrtph 2032(%ecx), %xmm6
// CHECK: vrsqrtph -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x7d,0x9f,0x4e,0x72,0x80]
vrsqrtph -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: vrsqrtph 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x7d,0x2f,0x4e,0xb4,0xf4,0x00,0x00,0x00,0x10]
vrsqrtph 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vrsqrtph (%ecx){1to16}, %ymm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x38,0x4e,0x31]
vrsqrtph (%ecx){1to16}, %ymm6
// CHECK: vrsqrtph 4064(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf6,0x7d,0x28,0x4e,0x71,0x7f]
vrsqrtph 4064(%ecx), %ymm6
// CHECK: vrsqrtph -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x7d,0xbf,0x4e,0x72,0x80]
vrsqrtph -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: vscalefph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0x2c,0xf4]
vscalefph %ymm4, %ymm5, %ymm6
// CHECK: vscalefph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0x2c,0xf4]
vscalefph %xmm4, %xmm5, %xmm6
// CHECK: vscalefph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0x2c,0xb4,0xf4,0x00,0x00,0x00,0x10]
vscalefph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vscalefph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0x2c,0x31]
vscalefph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vscalefph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0x2c,0x71,0x7f]
vscalefph 4064(%ecx), %ymm5, %ymm6
// CHECK: vscalefph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0x2c,0x72,0x80]
vscalefph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vscalefph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0x2c,0xb4,0xf4,0x00,0x00,0x00,0x10]
vscalefph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vscalefph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0x2c,0x31]
vscalefph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vscalefph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0x2c,0x71,0x7f]
vscalefph 2032(%ecx), %xmm5, %xmm6
// CHECK: vscalefph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0x2c,0x72,0x80]
vscalefph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vsqrtph %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x51,0xf5]
vsqrtph %xmm5, %xmm6
// CHECK: vsqrtph %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x28,0x51,0xf5]
vsqrtph %ymm5, %ymm6
// CHECK: vsqrtph 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7c,0x0f,0x51,0xb4,0xf4,0x00,0x00,0x00,0x10]
vsqrtph 268435456(%esp,%esi,8), %xmm6 {%k7}
// CHECK: vsqrtph (%ecx){1to8}, %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x18,0x51,0x31]
vsqrtph (%ecx){1to8}, %xmm6
// CHECK: vsqrtph 2032(%ecx), %xmm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x08,0x51,0x71,0x7f]
vsqrtph 2032(%ecx), %xmm6
// CHECK: vsqrtph -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7c,0x9f,0x51,0x72,0x80]
vsqrtph -256(%edx){1to8}, %xmm6 {%k7} {z}
// CHECK: vsqrtph 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf5,0x7c,0x2f,0x51,0xb4,0xf4,0x00,0x00,0x00,0x10]
vsqrtph 268435456(%esp,%esi,8), %ymm6 {%k7}
// CHECK: vsqrtph (%ecx){1to16}, %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x38,0x51,0x31]
vsqrtph (%ecx){1to16}, %ymm6
// CHECK: vsqrtph 4064(%ecx), %ymm6
// CHECK: encoding: [0x62,0xf5,0x7c,0x28,0x51,0x71,0x7f]
vsqrtph 4064(%ecx), %ymm6
// CHECK: vsqrtph -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf5,0x7c,0xbf,0x51,0x72,0x80]
vsqrtph -256(%edx){1to16}, %ymm6 {%k7} {z}
// CHECK: vfmadd132ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0x98,0xf4]
vfmadd132ph %ymm4, %ymm5, %ymm6
// CHECK: vfmadd132ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0x98,0xf4]
vfmadd132ph %xmm4, %xmm5, %xmm6
// CHECK: vfmadd132ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0x98,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmadd132ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfmadd132ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0x98,0x31]
vfmadd132ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfmadd132ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0x98,0x71,0x7f]
vfmadd132ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfmadd132ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0x98,0x72,0x80]
vfmadd132ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfmadd132ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0x98,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmadd132ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfmadd132ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0x98,0x31]
vfmadd132ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfmadd132ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0x98,0x71,0x7f]
vfmadd132ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfmadd132ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0x98,0x72,0x80]
vfmadd132ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfmadd213ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xa8,0xf4]
vfmadd213ph %ymm4, %ymm5, %ymm6
// CHECK: vfmadd213ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xa8,0xf4]
vfmadd213ph %xmm4, %xmm5, %xmm6
// CHECK: vfmadd213ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0xa8,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmadd213ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfmadd213ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0xa8,0x31]
vfmadd213ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfmadd213ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xa8,0x71,0x7f]
vfmadd213ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfmadd213ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0xa8,0x72,0x80]
vfmadd213ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfmadd213ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xa8,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmadd213ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfmadd213ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0xa8,0x31]
vfmadd213ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfmadd213ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xa8,0x71,0x7f]
vfmadd213ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfmadd213ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0xa8,0x72,0x80]
vfmadd213ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfmadd231ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xb8,0xf4]
vfmadd231ph %ymm4, %ymm5, %ymm6
// CHECK: vfmadd231ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xb8,0xf4]
vfmadd231ph %xmm4, %xmm5, %xmm6
// CHECK: vfmadd231ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0xb8,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmadd231ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfmadd231ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0xb8,0x31]
vfmadd231ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfmadd231ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xb8,0x71,0x7f]
vfmadd231ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfmadd231ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0xb8,0x72,0x80]
vfmadd231ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfmadd231ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xb8,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmadd231ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfmadd231ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0xb8,0x31]
vfmadd231ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfmadd231ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xb8,0x71,0x7f]
vfmadd231ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfmadd231ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0xb8,0x72,0x80]
vfmadd231ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfmaddsub132ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0x96,0xf4]
vfmaddsub132ph %ymm4, %ymm5, %ymm6
// CHECK: vfmaddsub132ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0x96,0xf4]
vfmaddsub132ph %xmm4, %xmm5, %xmm6
// CHECK: vfmaddsub132ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0x96,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmaddsub132ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfmaddsub132ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0x96,0x31]
vfmaddsub132ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfmaddsub132ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0x96,0x71,0x7f]
vfmaddsub132ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfmaddsub132ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0x96,0x72,0x80]
vfmaddsub132ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfmaddsub132ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0x96,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmaddsub132ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfmaddsub132ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0x96,0x31]
vfmaddsub132ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfmaddsub132ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0x96,0x71,0x7f]
vfmaddsub132ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfmaddsub132ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0x96,0x72,0x80]
vfmaddsub132ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfmaddsub213ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xa6,0xf4]
vfmaddsub213ph %ymm4, %ymm5, %ymm6
// CHECK: vfmaddsub213ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xa6,0xf4]
vfmaddsub213ph %xmm4, %xmm5, %xmm6
// CHECK: vfmaddsub213ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0xa6,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmaddsub213ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfmaddsub213ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0xa6,0x31]
vfmaddsub213ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfmaddsub213ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xa6,0x71,0x7f]
vfmaddsub213ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfmaddsub213ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0xa6,0x72,0x80]
vfmaddsub213ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfmaddsub213ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xa6,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmaddsub213ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfmaddsub213ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0xa6,0x31]
vfmaddsub213ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfmaddsub213ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xa6,0x71,0x7f]
vfmaddsub213ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfmaddsub213ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0xa6,0x72,0x80]
vfmaddsub213ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfmaddsub231ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xb6,0xf4]
vfmaddsub231ph %ymm4, %ymm5, %ymm6
// CHECK: vfmaddsub231ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xb6,0xf4]
vfmaddsub231ph %xmm4, %xmm5, %xmm6
// CHECK: vfmaddsub231ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0xb6,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmaddsub231ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfmaddsub231ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0xb6,0x31]
vfmaddsub231ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfmaddsub231ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xb6,0x71,0x7f]
vfmaddsub231ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfmaddsub231ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0xb6,0x72,0x80]
vfmaddsub231ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfmaddsub231ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xb6,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmaddsub231ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfmaddsub231ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0xb6,0x31]
vfmaddsub231ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfmaddsub231ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xb6,0x71,0x7f]
vfmaddsub231ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfmaddsub231ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0xb6,0x72,0x80]
vfmaddsub231ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfmsub132ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0x9a,0xf4]
vfmsub132ph %ymm4, %ymm5, %ymm6
// CHECK: vfmsub132ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0x9a,0xf4]
vfmsub132ph %xmm4, %xmm5, %xmm6
// CHECK: vfmsub132ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0x9a,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmsub132ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfmsub132ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0x9a,0x31]
vfmsub132ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfmsub132ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0x9a,0x71,0x7f]
vfmsub132ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfmsub132ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0x9a,0x72,0x80]
vfmsub132ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfmsub132ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0x9a,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmsub132ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfmsub132ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0x9a,0x31]
vfmsub132ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfmsub132ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0x9a,0x71,0x7f]
vfmsub132ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfmsub132ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0x9a,0x72,0x80]
vfmsub132ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfmsub213ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xaa,0xf4]
vfmsub213ph %ymm4, %ymm5, %ymm6
// CHECK: vfmsub213ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xaa,0xf4]
vfmsub213ph %xmm4, %xmm5, %xmm6
// CHECK: vfmsub213ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0xaa,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmsub213ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfmsub213ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0xaa,0x31]
vfmsub213ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfmsub213ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xaa,0x71,0x7f]
vfmsub213ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfmsub213ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0xaa,0x72,0x80]
vfmsub213ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfmsub213ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xaa,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmsub213ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfmsub213ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0xaa,0x31]
vfmsub213ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfmsub213ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xaa,0x71,0x7f]
vfmsub213ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfmsub213ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0xaa,0x72,0x80]
vfmsub213ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfmsub231ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xba,0xf4]
vfmsub231ph %ymm4, %ymm5, %ymm6
// CHECK: vfmsub231ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xba,0xf4]
vfmsub231ph %xmm4, %xmm5, %xmm6
// CHECK: vfmsub231ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0xba,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmsub231ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfmsub231ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0xba,0x31]
vfmsub231ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfmsub231ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xba,0x71,0x7f]
vfmsub231ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfmsub231ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0xba,0x72,0x80]
vfmsub231ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfmsub231ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xba,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmsub231ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfmsub231ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0xba,0x31]
vfmsub231ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfmsub231ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xba,0x71,0x7f]
vfmsub231ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfmsub231ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0xba,0x72,0x80]
vfmsub231ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfmsubadd132ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0x97,0xf4]
vfmsubadd132ph %ymm4, %ymm5, %ymm6
// CHECK: vfmsubadd132ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0x97,0xf4]
vfmsubadd132ph %xmm4, %xmm5, %xmm6
// CHECK: vfmsubadd132ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0x97,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmsubadd132ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfmsubadd132ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0x97,0x31]
vfmsubadd132ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfmsubadd132ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0x97,0x71,0x7f]
vfmsubadd132ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfmsubadd132ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0x97,0x72,0x80]
vfmsubadd132ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfmsubadd132ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0x97,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmsubadd132ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfmsubadd132ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0x97,0x31]
vfmsubadd132ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfmsubadd132ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0x97,0x71,0x7f]
vfmsubadd132ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfmsubadd132ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0x97,0x72,0x80]
vfmsubadd132ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfmsubadd213ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xa7,0xf4]
vfmsubadd213ph %ymm4, %ymm5, %ymm6
// CHECK: vfmsubadd213ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xa7,0xf4]
vfmsubadd213ph %xmm4, %xmm5, %xmm6
// CHECK: vfmsubadd213ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0xa7,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmsubadd213ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfmsubadd213ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0xa7,0x31]
vfmsubadd213ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfmsubadd213ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xa7,0x71,0x7f]
vfmsubadd213ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfmsubadd213ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0xa7,0x72,0x80]
vfmsubadd213ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfmsubadd213ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xa7,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmsubadd213ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfmsubadd213ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0xa7,0x31]
vfmsubadd213ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfmsubadd213ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xa7,0x71,0x7f]
vfmsubadd213ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfmsubadd213ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0xa7,0x72,0x80]
vfmsubadd213ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfmsubadd231ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xb7,0xf4]
vfmsubadd231ph %ymm4, %ymm5, %ymm6
// CHECK: vfmsubadd231ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xb7,0xf4]
vfmsubadd231ph %xmm4, %xmm5, %xmm6
// CHECK: vfmsubadd231ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0xb7,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmsubadd231ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfmsubadd231ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0xb7,0x31]
vfmsubadd231ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfmsubadd231ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xb7,0x71,0x7f]
vfmsubadd231ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfmsubadd231ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0xb7,0x72,0x80]
vfmsubadd231ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfmsubadd231ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xb7,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmsubadd231ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfmsubadd231ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0xb7,0x31]
vfmsubadd231ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfmsubadd231ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xb7,0x71,0x7f]
vfmsubadd231ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfmsubadd231ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0xb7,0x72,0x80]
vfmsubadd231ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfnmadd132ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0x9c,0xf4]
vfnmadd132ph %ymm4, %ymm5, %ymm6
// CHECK: vfnmadd132ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0x9c,0xf4]
vfnmadd132ph %xmm4, %xmm5, %xmm6
// CHECK: vfnmadd132ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0x9c,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfnmadd132ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfnmadd132ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0x9c,0x31]
vfnmadd132ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfnmadd132ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0x9c,0x71,0x7f]
vfnmadd132ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfnmadd132ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0x9c,0x72,0x80]
vfnmadd132ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfnmadd132ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0x9c,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfnmadd132ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfnmadd132ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0x9c,0x31]
vfnmadd132ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfnmadd132ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0x9c,0x71,0x7f]
vfnmadd132ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfnmadd132ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0x9c,0x72,0x80]
vfnmadd132ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfnmadd213ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xac,0xf4]
vfnmadd213ph %ymm4, %ymm5, %ymm6
// CHECK: vfnmadd213ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xac,0xf4]
vfnmadd213ph %xmm4, %xmm5, %xmm6
// CHECK: vfnmadd213ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0xac,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfnmadd213ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfnmadd213ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0xac,0x31]
vfnmadd213ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfnmadd213ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xac,0x71,0x7f]
vfnmadd213ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfnmadd213ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0xac,0x72,0x80]
vfnmadd213ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfnmadd213ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xac,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfnmadd213ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfnmadd213ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0xac,0x31]
vfnmadd213ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfnmadd213ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xac,0x71,0x7f]
vfnmadd213ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfnmadd213ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0xac,0x72,0x80]
vfnmadd213ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfnmadd231ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xbc,0xf4]
vfnmadd231ph %ymm4, %ymm5, %ymm6
// CHECK: vfnmadd231ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xbc,0xf4]
vfnmadd231ph %xmm4, %xmm5, %xmm6
// CHECK: vfnmadd231ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0xbc,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfnmadd231ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfnmadd231ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0xbc,0x31]
vfnmadd231ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfnmadd231ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xbc,0x71,0x7f]
vfnmadd231ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfnmadd231ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0xbc,0x72,0x80]
vfnmadd231ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfnmadd231ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xbc,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfnmadd231ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfnmadd231ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0xbc,0x31]
vfnmadd231ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfnmadd231ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xbc,0x71,0x7f]
vfnmadd231ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfnmadd231ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0xbc,0x72,0x80]
vfnmadd231ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfnmsub132ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0x9e,0xf4]
vfnmsub132ph %ymm4, %ymm5, %ymm6
// CHECK: vfnmsub132ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0x9e,0xf4]
vfnmsub132ph %xmm4, %xmm5, %xmm6
// CHECK: vfnmsub132ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0x9e,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfnmsub132ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfnmsub132ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0x9e,0x31]
vfnmsub132ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfnmsub132ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0x9e,0x71,0x7f]
vfnmsub132ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfnmsub132ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0x9e,0x72,0x80]
vfnmsub132ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfnmsub132ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0x9e,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfnmsub132ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfnmsub132ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0x9e,0x31]
vfnmsub132ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfnmsub132ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0x9e,0x71,0x7f]
vfnmsub132ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfnmsub132ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0x9e,0x72,0x80]
vfnmsub132ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfnmsub213ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xae,0xf4]
vfnmsub213ph %ymm4, %ymm5, %ymm6
// CHECK: vfnmsub213ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xae,0xf4]
vfnmsub213ph %xmm4, %xmm5, %xmm6
// CHECK: vfnmsub213ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0xae,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfnmsub213ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfnmsub213ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0xae,0x31]
vfnmsub213ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfnmsub213ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xae,0x71,0x7f]
vfnmsub213ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfnmsub213ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0xae,0x72,0x80]
vfnmsub213ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfnmsub213ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xae,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfnmsub213ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfnmsub213ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0xae,0x31]
vfnmsub213ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfnmsub213ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xae,0x71,0x7f]
vfnmsub213ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfnmsub213ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0xae,0x72,0x80]
vfnmsub213ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfnmsub231ph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xbe,0xf4]
vfnmsub231ph %ymm4, %ymm5, %ymm6
// CHECK: vfnmsub231ph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xbe,0xf4]
vfnmsub231ph %xmm4, %xmm5, %xmm6
// CHECK: vfnmsub231ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x2f,0xbe,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfnmsub231ph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfnmsub231ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x38,0xbe,0x31]
vfnmsub231ph (%ecx){1to16}, %ymm5, %ymm6
// CHECK: vfnmsub231ph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x55,0x28,0xbe,0x71,0x7f]
vfnmsub231ph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfnmsub231ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0xbf,0xbe,0x72,0x80]
vfnmsub231ph -256(%edx){1to16}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfnmsub231ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x55,0x0f,0xbe,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfnmsub231ph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfnmsub231ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x18,0xbe,0x31]
vfnmsub231ph (%ecx){1to8}, %xmm5, %xmm6
// CHECK: vfnmsub231ph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x55,0x08,0xbe,0x71,0x7f]
vfnmsub231ph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfnmsub231ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x55,0x9f,0xbe,0x72,0x80]
vfnmsub231ph -256(%edx){1to8}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfcmaddcph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x57,0x28,0x56,0xf4]
vfcmaddcph %ymm4, %ymm5, %ymm6
// CHECK: vfcmaddcph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x57,0x08,0x56,0xf4]
vfcmaddcph %xmm4, %xmm5, %xmm6
// CHECK: vfcmaddcph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x57,0x2f,0x56,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfcmaddcph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfcmaddcph (%ecx){1to8}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x57,0x38,0x56,0x31]
vfcmaddcph (%ecx){1to8}, %ymm5, %ymm6
// CHECK: vfcmaddcph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x57,0x28,0x56,0x71,0x7f]
vfcmaddcph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfcmaddcph -512(%edx){1to8}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x57,0xbf,0x56,0x72,0x80]
vfcmaddcph -512(%edx){1to8}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfcmaddcph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x57,0x0f,0x56,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfcmaddcph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfcmaddcph (%ecx){1to4}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x57,0x18,0x56,0x31]
vfcmaddcph (%ecx){1to4}, %xmm5, %xmm6
// CHECK: vfcmaddcph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x57,0x08,0x56,0x71,0x7f]
vfcmaddcph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfcmaddcph -512(%edx){1to4}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x57,0x9f,0x56,0x72,0x80]
vfcmaddcph -512(%edx){1to4}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfcmulcph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x57,0x28,0xd6,0xf4]
vfcmulcph %ymm4, %ymm5, %ymm6
// CHECK: vfcmulcph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x57,0x08,0xd6,0xf4]
vfcmulcph %xmm4, %xmm5, %xmm6
// CHECK: vfcmulcph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x57,0x2f,0xd6,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfcmulcph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfcmulcph (%ecx){1to8}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x57,0x38,0xd6,0x31]
vfcmulcph (%ecx){1to8}, %ymm5, %ymm6
// CHECK: vfcmulcph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x57,0x28,0xd6,0x71,0x7f]
vfcmulcph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfcmulcph -512(%edx){1to8}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x57,0xbf,0xd6,0x72,0x80]
vfcmulcph -512(%edx){1to8}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfcmulcph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x57,0x0f,0xd6,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfcmulcph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfcmulcph (%ecx){1to4}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x57,0x18,0xd6,0x31]
vfcmulcph (%ecx){1to4}, %xmm5, %xmm6
// CHECK: vfcmulcph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x57,0x08,0xd6,0x71,0x7f]
vfcmulcph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfcmulcph -512(%edx){1to4}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x57,0x9f,0xd6,0x72,0x80]
vfcmulcph -512(%edx){1to4}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfmaddcph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x56,0x28,0x56,0xf4]
vfmaddcph %ymm4, %ymm5, %ymm6
// CHECK: vfmaddcph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x56,0x08,0x56,0xf4]
vfmaddcph %xmm4, %xmm5, %xmm6
// CHECK: vfmaddcph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x56,0x2f,0x56,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmaddcph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfmaddcph (%ecx){1to8}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x56,0x38,0x56,0x31]
vfmaddcph (%ecx){1to8}, %ymm5, %ymm6
// CHECK: vfmaddcph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x56,0x28,0x56,0x71,0x7f]
vfmaddcph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfmaddcph -512(%edx){1to8}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x56,0xbf,0x56,0x72,0x80]
vfmaddcph -512(%edx){1to8}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfmaddcph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x56,0x0f,0x56,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmaddcph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfmaddcph (%ecx){1to4}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x56,0x18,0x56,0x31]
vfmaddcph (%ecx){1to4}, %xmm5, %xmm6
// CHECK: vfmaddcph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x56,0x08,0x56,0x71,0x7f]
vfmaddcph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfmaddcph -512(%edx){1to4}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x56,0x9f,0x56,0x72,0x80]
vfmaddcph -512(%edx){1to4}, %xmm5, %xmm6 {%k7} {z}
// CHECK: vfmulcph %ymm4, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x56,0x28,0xd6,0xf4]
vfmulcph %ymm4, %ymm5, %ymm6
// CHECK: vfmulcph %xmm4, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x56,0x08,0xd6,0xf4]
vfmulcph %xmm4, %xmm5, %xmm6
// CHECK: vfmulcph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x56,0x2f,0xd6,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmulcph 268435456(%esp,%esi,8), %ymm5, %ymm6 {%k7}
// CHECK: vfmulcph (%ecx){1to8}, %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x56,0x38,0xd6,0x31]
vfmulcph (%ecx){1to8}, %ymm5, %ymm6
// CHECK: vfmulcph 4064(%ecx), %ymm5, %ymm6
// CHECK: encoding: [0x62,0xf6,0x56,0x28,0xd6,0x71,0x7f]
vfmulcph 4064(%ecx), %ymm5, %ymm6
// CHECK: vfmulcph -512(%edx){1to8}, %ymm5, %ymm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x56,0xbf,0xd6,0x72,0x80]
vfmulcph -512(%edx){1to8}, %ymm5, %ymm6 {%k7} {z}
// CHECK: vfmulcph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: encoding: [0x62,0xf6,0x56,0x0f,0xd6,0xb4,0xf4,0x00,0x00,0x00,0x10]
vfmulcph 268435456(%esp,%esi,8), %xmm5, %xmm6 {%k7}
// CHECK: vfmulcph (%ecx){1to4}, %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x56,0x18,0xd6,0x31]
vfmulcph (%ecx){1to4}, %xmm5, %xmm6
// CHECK: vfmulcph 2032(%ecx), %xmm5, %xmm6
// CHECK: encoding: [0x62,0xf6,0x56,0x08,0xd6,0x71,0x7f]
vfmulcph 2032(%ecx), %xmm5, %xmm6
// CHECK: vfmulcph -512(%edx){1to4}, %xmm5, %xmm6 {%k7} {z}
// CHECK: encoding: [0x62,0xf6,0x56,0x9f,0xd6,0x72,0x80]
vfmulcph -512(%edx){1to4}, %xmm5, %xmm6 {%k7} {z}