blob: 0030e2e5de0e8d974f480a4e91908a04352fad31 [file] [log] [blame]
// RUN: llvm-mc -triple i386-unknown-unknown --show-encoding %s | FileCheck %s
// CHECK: vaddpd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x58,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vaddpd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vaddpd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x58,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vaddpd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vaddpd -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x58,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vaddpd -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vaddpd 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x58,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vaddpd 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vaddpd 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x58,0x8a,0xf0,0x1c,0xf0,0x1c]
vaddpd 485498096(%edx), %xmm1, %xmm1
// CHECK: vaddpd 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x58,0xa2,0xf0,0x1c,0xf0,0x1c]
vaddpd 485498096(%edx), %ymm4, %ymm4
// CHECK: vaddpd 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x58,0x0d,0xf0,0x1c,0xf0,0x1c]
vaddpd 485498096, %xmm1, %xmm1
// CHECK: vaddpd 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x58,0x25,0xf0,0x1c,0xf0,0x1c]
vaddpd 485498096, %ymm4, %ymm4
// CHECK: vaddpd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x58,0x4c,0x02,0x40]
vaddpd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vaddpd 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x58,0x64,0x02,0x40]
vaddpd 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vaddpd (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x58,0x0a]
vaddpd (%edx), %xmm1, %xmm1
// CHECK: vaddpd (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x58,0x22]
vaddpd (%edx), %ymm4, %ymm4
// CHECK: vaddpd %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x58,0xc9]
vaddpd %xmm1, %xmm1, %xmm1
// CHECK: vaddpd %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x58,0xe4]
vaddpd %ymm4, %ymm4, %ymm4
// CHECK: vaddps -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x58,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vaddps -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vaddps 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x58,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vaddps 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vaddps -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x58,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vaddps -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vaddps 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x58,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vaddps 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vaddps 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x58,0x8a,0xf0,0x1c,0xf0,0x1c]
vaddps 485498096(%edx), %xmm1, %xmm1
// CHECK: vaddps 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x58,0xa2,0xf0,0x1c,0xf0,0x1c]
vaddps 485498096(%edx), %ymm4, %ymm4
// CHECK: vaddps 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x58,0x0d,0xf0,0x1c,0xf0,0x1c]
vaddps 485498096, %xmm1, %xmm1
// CHECK: vaddps 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x58,0x25,0xf0,0x1c,0xf0,0x1c]
vaddps 485498096, %ymm4, %ymm4
// CHECK: vaddps 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x58,0x4c,0x02,0x40]
vaddps 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vaddps 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x58,0x64,0x02,0x40]
vaddps 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vaddps (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x58,0x0a]
vaddps (%edx), %xmm1, %xmm1
// CHECK: vaddps (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x58,0x22]
vaddps (%edx), %ymm4, %ymm4
// CHECK: vaddps %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x58,0xc9]
vaddps %xmm1, %xmm1, %xmm1
// CHECK: vaddps %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x58,0xe4]
vaddps %ymm4, %ymm4, %ymm4
// CHECK: vaddsd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x58,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vaddsd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vaddsd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x58,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vaddsd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vaddsd 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x58,0x8a,0xf0,0x1c,0xf0,0x1c]
vaddsd 485498096(%edx), %xmm1, %xmm1
// CHECK: vaddsd 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x58,0x0d,0xf0,0x1c,0xf0,0x1c]
vaddsd 485498096, %xmm1, %xmm1
// CHECK: vaddsd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x58,0x4c,0x02,0x40]
vaddsd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vaddsd (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x58,0x0a]
vaddsd (%edx), %xmm1, %xmm1
// CHECK: vaddsd %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x58,0xc9]
vaddsd %xmm1, %xmm1, %xmm1
// CHECK: vaddss -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x58,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vaddss -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vaddss 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x58,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vaddss 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vaddss 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x58,0x8a,0xf0,0x1c,0xf0,0x1c]
vaddss 485498096(%edx), %xmm1, %xmm1
// CHECK: vaddss 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x58,0x0d,0xf0,0x1c,0xf0,0x1c]
vaddss 485498096, %xmm1, %xmm1
// CHECK: vaddss 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x58,0x4c,0x02,0x40]
vaddss 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vaddss (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x58,0x0a]
vaddss (%edx), %xmm1, %xmm1
// CHECK: vaddss %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x58,0xc9]
vaddss %xmm1, %xmm1, %xmm1
// CHECK: vaddsubpd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0xd0,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vaddsubpd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vaddsubpd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0xd0,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vaddsubpd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vaddsubpd -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0xd0,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vaddsubpd -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vaddsubpd 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0xd0,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vaddsubpd 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vaddsubpd 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0xd0,0x8a,0xf0,0x1c,0xf0,0x1c]
vaddsubpd 485498096(%edx), %xmm1, %xmm1
// CHECK: vaddsubpd 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0xd0,0xa2,0xf0,0x1c,0xf0,0x1c]
vaddsubpd 485498096(%edx), %ymm4, %ymm4
// CHECK: vaddsubpd 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0xd0,0x0d,0xf0,0x1c,0xf0,0x1c]
vaddsubpd 485498096, %xmm1, %xmm1
// CHECK: vaddsubpd 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0xd0,0x25,0xf0,0x1c,0xf0,0x1c]
vaddsubpd 485498096, %ymm4, %ymm4
// CHECK: vaddsubpd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0xd0,0x4c,0x02,0x40]
vaddsubpd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vaddsubpd 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0xd0,0x64,0x02,0x40]
vaddsubpd 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vaddsubpd (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0xd0,0x0a]
vaddsubpd (%edx), %xmm1, %xmm1
// CHECK: vaddsubpd (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0xd0,0x22]
vaddsubpd (%edx), %ymm4, %ymm4
// CHECK: vaddsubpd %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0xd0,0xc9]
vaddsubpd %xmm1, %xmm1, %xmm1
// CHECK: vaddsubpd %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0xd0,0xe4]
vaddsubpd %ymm4, %ymm4, %ymm4
// CHECK: vaddsubps -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0xd0,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vaddsubps -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vaddsubps 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0xd0,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vaddsubps 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vaddsubps -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0xd0,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vaddsubps -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vaddsubps 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0xd0,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vaddsubps 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vaddsubps 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0xd0,0x8a,0xf0,0x1c,0xf0,0x1c]
vaddsubps 485498096(%edx), %xmm1, %xmm1
// CHECK: vaddsubps 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0xd0,0xa2,0xf0,0x1c,0xf0,0x1c]
vaddsubps 485498096(%edx), %ymm4, %ymm4
// CHECK: vaddsubps 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0xd0,0x0d,0xf0,0x1c,0xf0,0x1c]
vaddsubps 485498096, %xmm1, %xmm1
// CHECK: vaddsubps 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0xd0,0x25,0xf0,0x1c,0xf0,0x1c]
vaddsubps 485498096, %ymm4, %ymm4
// CHECK: vaddsubps 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0xd0,0x4c,0x02,0x40]
vaddsubps 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vaddsubps 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0xd0,0x64,0x02,0x40]
vaddsubps 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vaddsubps (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0xd0,0x0a]
vaddsubps (%edx), %xmm1, %xmm1
// CHECK: vaddsubps (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0xd0,0x22]
vaddsubps (%edx), %ymm4, %ymm4
// CHECK: vaddsubps %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0xd0,0xc9]
vaddsubps %xmm1, %xmm1, %xmm1
// CHECK: vaddsubps %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0xd0,0xe4]
vaddsubps %ymm4, %ymm4, %ymm4
// CHECK: vandnpd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x55,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vandnpd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vandnpd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x55,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vandnpd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vandnpd -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x55,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vandnpd -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vandnpd 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x55,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vandnpd 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vandnpd 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x55,0x8a,0xf0,0x1c,0xf0,0x1c]
vandnpd 485498096(%edx), %xmm1, %xmm1
// CHECK: vandnpd 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x55,0xa2,0xf0,0x1c,0xf0,0x1c]
vandnpd 485498096(%edx), %ymm4, %ymm4
// CHECK: vandnpd 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x55,0x0d,0xf0,0x1c,0xf0,0x1c]
vandnpd 485498096, %xmm1, %xmm1
// CHECK: vandnpd 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x55,0x25,0xf0,0x1c,0xf0,0x1c]
vandnpd 485498096, %ymm4, %ymm4
// CHECK: vandnpd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x55,0x4c,0x02,0x40]
vandnpd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vandnpd 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x55,0x64,0x02,0x40]
vandnpd 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vandnpd (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x55,0x0a]
vandnpd (%edx), %xmm1, %xmm1
// CHECK: vandnpd (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x55,0x22]
vandnpd (%edx), %ymm4, %ymm4
// CHECK: vandnpd %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x55,0xc9]
vandnpd %xmm1, %xmm1, %xmm1
// CHECK: vandnpd %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x55,0xe4]
vandnpd %ymm4, %ymm4, %ymm4
// CHECK: vandnps -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x55,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vandnps -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vandnps 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x55,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vandnps 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vandnps -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x55,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vandnps -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vandnps 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x55,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vandnps 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vandnps 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x55,0x8a,0xf0,0x1c,0xf0,0x1c]
vandnps 485498096(%edx), %xmm1, %xmm1
// CHECK: vandnps 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x55,0xa2,0xf0,0x1c,0xf0,0x1c]
vandnps 485498096(%edx), %ymm4, %ymm4
// CHECK: vandnps 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x55,0x0d,0xf0,0x1c,0xf0,0x1c]
vandnps 485498096, %xmm1, %xmm1
// CHECK: vandnps 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x55,0x25,0xf0,0x1c,0xf0,0x1c]
vandnps 485498096, %ymm4, %ymm4
// CHECK: vandnps 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x55,0x4c,0x02,0x40]
vandnps 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vandnps 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x55,0x64,0x02,0x40]
vandnps 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vandnps (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x55,0x0a]
vandnps (%edx), %xmm1, %xmm1
// CHECK: vandnps (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x55,0x22]
vandnps (%edx), %ymm4, %ymm4
// CHECK: vandnps %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x55,0xc9]
vandnps %xmm1, %xmm1, %xmm1
// CHECK: vandnps %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x55,0xe4]
vandnps %ymm4, %ymm4, %ymm4
// CHECK: vandpd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x54,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vandpd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vandpd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x54,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vandpd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vandpd -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x54,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vandpd -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vandpd 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x54,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vandpd 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vandpd 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x54,0x8a,0xf0,0x1c,0xf0,0x1c]
vandpd 485498096(%edx), %xmm1, %xmm1
// CHECK: vandpd 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x54,0xa2,0xf0,0x1c,0xf0,0x1c]
vandpd 485498096(%edx), %ymm4, %ymm4
// CHECK: vandpd 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x54,0x0d,0xf0,0x1c,0xf0,0x1c]
vandpd 485498096, %xmm1, %xmm1
// CHECK: vandpd 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x54,0x25,0xf0,0x1c,0xf0,0x1c]
vandpd 485498096, %ymm4, %ymm4
// CHECK: vandpd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x54,0x4c,0x02,0x40]
vandpd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vandpd 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x54,0x64,0x02,0x40]
vandpd 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vandpd (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x54,0x0a]
vandpd (%edx), %xmm1, %xmm1
// CHECK: vandpd (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x54,0x22]
vandpd (%edx), %ymm4, %ymm4
// CHECK: vandpd %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x54,0xc9]
vandpd %xmm1, %xmm1, %xmm1
// CHECK: vandpd %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x54,0xe4]
vandpd %ymm4, %ymm4, %ymm4
// CHECK: vandps -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x54,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vandps -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vandps 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x54,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vandps 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vandps -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x54,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vandps -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vandps 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x54,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vandps 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vandps 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x54,0x8a,0xf0,0x1c,0xf0,0x1c]
vandps 485498096(%edx), %xmm1, %xmm1
// CHECK: vandps 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x54,0xa2,0xf0,0x1c,0xf0,0x1c]
vandps 485498096(%edx), %ymm4, %ymm4
// CHECK: vandps 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x54,0x0d,0xf0,0x1c,0xf0,0x1c]
vandps 485498096, %xmm1, %xmm1
// CHECK: vandps 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x54,0x25,0xf0,0x1c,0xf0,0x1c]
vandps 485498096, %ymm4, %ymm4
// CHECK: vandps 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x54,0x4c,0x02,0x40]
vandps 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vandps 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x54,0x64,0x02,0x40]
vandps 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vandps (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x54,0x0a]
vandps (%edx), %xmm1, %xmm1
// CHECK: vandps (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x54,0x22]
vandps (%edx), %ymm4, %ymm4
// CHECK: vandps %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x54,0xc9]
vandps %xmm1, %xmm1, %xmm1
// CHECK: vandps %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x54,0xe4]
vandps %ymm4, %ymm4, %ymm4
// CHECK: vblendpd $0, -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x0d,0x8c,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vblendpd $0, -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vblendpd $0, 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x0d,0x8c,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vblendpd $0, 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vblendpd $0, -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x0d,0xa4,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vblendpd $0, -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vblendpd $0, 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x0d,0xa4,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vblendpd $0, 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vblendpd $0, 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x0d,0x8a,0xf0,0x1c,0xf0,0x1c,0x00]
vblendpd $0, 485498096(%edx), %xmm1, %xmm1
// CHECK: vblendpd $0, 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x0d,0xa2,0xf0,0x1c,0xf0,0x1c,0x00]
vblendpd $0, 485498096(%edx), %ymm4, %ymm4
// CHECK: vblendpd $0, 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x0d,0x0d,0xf0,0x1c,0xf0,0x1c,0x00]
vblendpd $0, 485498096, %xmm1, %xmm1
// CHECK: vblendpd $0, 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x0d,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vblendpd $0, 485498096, %ymm4, %ymm4
// CHECK: vblendpd $0, 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x0d,0x4c,0x02,0x40,0x00]
vblendpd $0, 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vblendpd $0, 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x0d,0x64,0x02,0x40,0x00]
vblendpd $0, 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vblendpd $0, (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x0d,0x0a,0x00]
vblendpd $0, (%edx), %xmm1, %xmm1
// CHECK: vblendpd $0, (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x0d,0x22,0x00]
vblendpd $0, (%edx), %ymm4, %ymm4
// CHECK: vblendpd $0, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x0d,0xc9,0x00]
vblendpd $0, %xmm1, %xmm1, %xmm1
// CHECK: vblendpd $0, %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x0d,0xe4,0x00]
vblendpd $0, %ymm4, %ymm4, %ymm4
// CHECK: vblendps $0, -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x0c,0x8c,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vblendps $0, -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vblendps $0, 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x0c,0x8c,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vblendps $0, 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vblendps $0, -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x0c,0xa4,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vblendps $0, -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vblendps $0, 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x0c,0xa4,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vblendps $0, 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vblendps $0, 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x0c,0x8a,0xf0,0x1c,0xf0,0x1c,0x00]
vblendps $0, 485498096(%edx), %xmm1, %xmm1
// CHECK: vblendps $0, 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x0c,0xa2,0xf0,0x1c,0xf0,0x1c,0x00]
vblendps $0, 485498096(%edx), %ymm4, %ymm4
// CHECK: vblendps $0, 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x0c,0x0d,0xf0,0x1c,0xf0,0x1c,0x00]
vblendps $0, 485498096, %xmm1, %xmm1
// CHECK: vblendps $0, 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x0c,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vblendps $0, 485498096, %ymm4, %ymm4
// CHECK: vblendps $0, 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x0c,0x4c,0x02,0x40,0x00]
vblendps $0, 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vblendps $0, 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x0c,0x64,0x02,0x40,0x00]
vblendps $0, 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vblendps $0, (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x0c,0x0a,0x00]
vblendps $0, (%edx), %xmm1, %xmm1
// CHECK: vblendps $0, (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x0c,0x22,0x00]
vblendps $0, (%edx), %ymm4, %ymm4
// CHECK: vblendps $0, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x0c,0xc9,0x00]
vblendps $0, %xmm1, %xmm1, %xmm1
// CHECK: vblendps $0, %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x0c,0xe4,0x00]
vblendps $0, %ymm4, %ymm4, %ymm4
// CHECK: vblendvpd %xmm1, -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x4b,0x8c,0x82,0x10,0xe3,0x0f,0xe3,0x10]
vblendvpd %xmm1, -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vblendvpd %xmm1, 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x4b,0x8c,0x82,0xf0,0x1c,0xf0,0x1c,0x10]
vblendvpd %xmm1, 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vblendvpd %xmm1, 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x4b,0x8a,0xf0,0x1c,0xf0,0x1c,0x10]
vblendvpd %xmm1, 485498096(%edx), %xmm1, %xmm1
// CHECK: vblendvpd %xmm1, 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x4b,0x0d,0xf0,0x1c,0xf0,0x1c,0x10]
vblendvpd %xmm1, 485498096, %xmm1, %xmm1
// CHECK: vblendvpd %xmm1, 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x4b,0x4c,0x02,0x40,0x10]
vblendvpd %xmm1, 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vblendvpd %xmm1, (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x4b,0x0a,0x10]
vblendvpd %xmm1, (%edx), %xmm1, %xmm1
// CHECK: vblendvpd %xmm1, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x4b,0xc9,0x10]
vblendvpd %xmm1, %xmm1, %xmm1, %xmm1
// CHECK: vblendvpd %ymm4, -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x4b,0xa4,0x82,0x10,0xe3,0x0f,0xe3,0x40]
vblendvpd %ymm4, -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vblendvpd %ymm4, 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x4b,0xa4,0x82,0xf0,0x1c,0xf0,0x1c,0x40]
vblendvpd %ymm4, 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vblendvpd %ymm4, 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x4b,0xa2,0xf0,0x1c,0xf0,0x1c,0x40]
vblendvpd %ymm4, 485498096(%edx), %ymm4, %ymm4
// CHECK: vblendvpd %ymm4, 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x4b,0x25,0xf0,0x1c,0xf0,0x1c,0x40]
vblendvpd %ymm4, 485498096, %ymm4, %ymm4
// CHECK: vblendvpd %ymm4, 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x4b,0x64,0x02,0x40,0x40]
vblendvpd %ymm4, 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vblendvpd %ymm4, (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x4b,0x22,0x40]
vblendvpd %ymm4, (%edx), %ymm4, %ymm4
// CHECK: vblendvpd %ymm4, %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x4b,0xe4,0x40]
vblendvpd %ymm4, %ymm4, %ymm4, %ymm4
// CHECK: vblendvps %xmm1, -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x4a,0x8c,0x82,0x10,0xe3,0x0f,0xe3,0x10]
vblendvps %xmm1, -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vblendvps %xmm1, 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x4a,0x8c,0x82,0xf0,0x1c,0xf0,0x1c,0x10]
vblendvps %xmm1, 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vblendvps %xmm1, 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x4a,0x8a,0xf0,0x1c,0xf0,0x1c,0x10]
vblendvps %xmm1, 485498096(%edx), %xmm1, %xmm1
// CHECK: vblendvps %xmm1, 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x4a,0x0d,0xf0,0x1c,0xf0,0x1c,0x10]
vblendvps %xmm1, 485498096, %xmm1, %xmm1
// CHECK: vblendvps %xmm1, 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x4a,0x4c,0x02,0x40,0x10]
vblendvps %xmm1, 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vblendvps %xmm1, (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x4a,0x0a,0x10]
vblendvps %xmm1, (%edx), %xmm1, %xmm1
// CHECK: vblendvps %xmm1, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x4a,0xc9,0x10]
vblendvps %xmm1, %xmm1, %xmm1, %xmm1
// CHECK: vblendvps %ymm4, -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x4a,0xa4,0x82,0x10,0xe3,0x0f,0xe3,0x40]
vblendvps %ymm4, -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vblendvps %ymm4, 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x4a,0xa4,0x82,0xf0,0x1c,0xf0,0x1c,0x40]
vblendvps %ymm4, 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vblendvps %ymm4, 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x4a,0xa2,0xf0,0x1c,0xf0,0x1c,0x40]
vblendvps %ymm4, 485498096(%edx), %ymm4, %ymm4
// CHECK: vblendvps %ymm4, 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x4a,0x25,0xf0,0x1c,0xf0,0x1c,0x40]
vblendvps %ymm4, 485498096, %ymm4, %ymm4
// CHECK: vblendvps %ymm4, 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x4a,0x64,0x02,0x40,0x40]
vblendvps %ymm4, 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vblendvps %ymm4, (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x4a,0x22,0x40]
vblendvps %ymm4, (%edx), %ymm4, %ymm4
// CHECK: vblendvps %ymm4, %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x4a,0xe4,0x40]
vblendvps %ymm4, %ymm4, %ymm4, %ymm4
// CHECK: vbroadcastf128 -485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x1a,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vbroadcastf128 -485498096(%edx,%eax,4), %ymm4
// CHECK: vbroadcastf128 485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x1a,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vbroadcastf128 485498096(%edx,%eax,4), %ymm4
// CHECK: vbroadcastf128 485498096(%edx), %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x1a,0xa2,0xf0,0x1c,0xf0,0x1c]
vbroadcastf128 485498096(%edx), %ymm4
// CHECK: vbroadcastf128 485498096, %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x1a,0x25,0xf0,0x1c,0xf0,0x1c]
vbroadcastf128 485498096, %ymm4
// CHECK: vbroadcastf128 64(%edx,%eax), %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x1a,0x64,0x02,0x40]
vbroadcastf128 64(%edx,%eax), %ymm4
// CHECK: vbroadcastf128 (%edx), %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x1a,0x22]
vbroadcastf128 (%edx), %ymm4
// CHECK: vbroadcastsd -485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x19,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vbroadcastsd -485498096(%edx,%eax,4), %ymm4
// CHECK: vbroadcastsd 485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x19,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vbroadcastsd 485498096(%edx,%eax,4), %ymm4
// CHECK: vbroadcastsd 485498096(%edx), %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x19,0xa2,0xf0,0x1c,0xf0,0x1c]
vbroadcastsd 485498096(%edx), %ymm4
// CHECK: vbroadcastsd 485498096, %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x19,0x25,0xf0,0x1c,0xf0,0x1c]
vbroadcastsd 485498096, %ymm4
// CHECK: vbroadcastsd 64(%edx,%eax), %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x19,0x64,0x02,0x40]
vbroadcastsd 64(%edx,%eax), %ymm4
// CHECK: vbroadcastsd (%edx), %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x19,0x22]
vbroadcastsd (%edx), %ymm4
// CHECK: vbroadcastss -485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc4,0xe2,0x79,0x18,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vbroadcastss -485498096(%edx,%eax,4), %xmm1
// CHECK: vbroadcastss 485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc4,0xe2,0x79,0x18,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vbroadcastss 485498096(%edx,%eax,4), %xmm1
// CHECK: vbroadcastss -485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x18,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vbroadcastss -485498096(%edx,%eax,4), %ymm4
// CHECK: vbroadcastss 485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x18,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vbroadcastss 485498096(%edx,%eax,4), %ymm4
// CHECK: vbroadcastss 485498096(%edx), %xmm1
// CHECK: encoding: [0xc4,0xe2,0x79,0x18,0x8a,0xf0,0x1c,0xf0,0x1c]
vbroadcastss 485498096(%edx), %xmm1
// CHECK: vbroadcastss 485498096(%edx), %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x18,0xa2,0xf0,0x1c,0xf0,0x1c]
vbroadcastss 485498096(%edx), %ymm4
// CHECK: vbroadcastss 485498096, %xmm1
// CHECK: encoding: [0xc4,0xe2,0x79,0x18,0x0d,0xf0,0x1c,0xf0,0x1c]
vbroadcastss 485498096, %xmm1
// CHECK: vbroadcastss 485498096, %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x18,0x25,0xf0,0x1c,0xf0,0x1c]
vbroadcastss 485498096, %ymm4
// CHECK: vbroadcastss 64(%edx,%eax), %xmm1
// CHECK: encoding: [0xc4,0xe2,0x79,0x18,0x4c,0x02,0x40]
vbroadcastss 64(%edx,%eax), %xmm1
// CHECK: vbroadcastss 64(%edx,%eax), %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x18,0x64,0x02,0x40]
vbroadcastss 64(%edx,%eax), %ymm4
// CHECK: vbroadcastss (%edx), %xmm1
// CHECK: encoding: [0xc4,0xe2,0x79,0x18,0x0a]
vbroadcastss (%edx), %xmm1
// CHECK: vbroadcastss (%edx), %ymm4
// CHECK: encoding: [0xc4,0xe2,0x7d,0x18,0x22]
vbroadcastss (%edx), %ymm4
// CHECK: vcmpeqpd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0xc2,0x8c,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vcmpeqpd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vcmpeqpd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0xc2,0x8c,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqpd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vcmpeqpd -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0xc2,0xa4,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vcmpeqpd -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vcmpeqpd 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0xc2,0xa4,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqpd 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vcmpeqpd 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0xc2,0x8a,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqpd 485498096(%edx), %xmm1, %xmm1
// CHECK: vcmpeqpd 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0xc2,0xa2,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqpd 485498096(%edx), %ymm4, %ymm4
// CHECK: vcmpeqpd 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0xc2,0x0d,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqpd 485498096, %xmm1, %xmm1
// CHECK: vcmpeqpd 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0xc2,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqpd 485498096, %ymm4, %ymm4
// CHECK: vcmpeqpd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0xc2,0x4c,0x02,0x40,0x00]
vcmpeqpd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vcmpeqpd 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0xc2,0x64,0x02,0x40,0x00]
vcmpeqpd 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vcmpeqpd (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0xc2,0x0a,0x00]
vcmpeqpd (%edx), %xmm1, %xmm1
// CHECK: vcmpeqpd (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0xc2,0x22,0x00]
vcmpeqpd (%edx), %ymm4, %ymm4
// CHECK: vcmpeqpd %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0xc2,0xc9,0x00]
vcmpeqpd %xmm1, %xmm1, %xmm1
// CHECK: vcmpeqpd %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0xc2,0xe4,0x00]
vcmpeqpd %ymm4, %ymm4, %ymm4
// CHECK: vcmpeqps -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0xc2,0x8c,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vcmpeqps -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vcmpeqps 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0xc2,0x8c,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqps 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vcmpeqps -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0xc2,0xa4,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vcmpeqps -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vcmpeqps 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0xc2,0xa4,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqps 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vcmpeqps 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0xc2,0x8a,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqps 485498096(%edx), %xmm1, %xmm1
// CHECK: vcmpeqps 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0xc2,0xa2,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqps 485498096(%edx), %ymm4, %ymm4
// CHECK: vcmpeqps 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0xc2,0x0d,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqps 485498096, %xmm1, %xmm1
// CHECK: vcmpeqps 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0xc2,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqps 485498096, %ymm4, %ymm4
// CHECK: vcmpeqps 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0xc2,0x4c,0x02,0x40,0x00]
vcmpeqps 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vcmpeqps 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0xc2,0x64,0x02,0x40,0x00]
vcmpeqps 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vcmpeqps (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0xc2,0x0a,0x00]
vcmpeqps (%edx), %xmm1, %xmm1
// CHECK: vcmpeqps (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0xc2,0x22,0x00]
vcmpeqps (%edx), %ymm4, %ymm4
// CHECK: vcmpeqps %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0xc2,0xc9,0x00]
vcmpeqps %xmm1, %xmm1, %xmm1
// CHECK: vcmpeqps %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0xc2,0xe4,0x00]
vcmpeqps %ymm4, %ymm4, %ymm4
// CHECK: vcmpeqsd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0xc2,0x8c,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vcmpeqsd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vcmpeqsd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0xc2,0x8c,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqsd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vcmpeqsd 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0xc2,0x8a,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqsd 485498096(%edx), %xmm1, %xmm1
// CHECK: vcmpeqsd 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0xc2,0x0d,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqsd 485498096, %xmm1, %xmm1
// CHECK: vcmpeqsd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0xc2,0x4c,0x02,0x40,0x00]
vcmpeqsd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vcmpeqsd (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0xc2,0x0a,0x00]
vcmpeqsd (%edx), %xmm1, %xmm1
// CHECK: vcmpeqsd %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0xc2,0xc9,0x00]
vcmpeqsd %xmm1, %xmm1, %xmm1
// CHECK: vcmpeqss -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0xc2,0x8c,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vcmpeqss -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vcmpeqss 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0xc2,0x8c,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqss 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vcmpeqss 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0xc2,0x8a,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqss 485498096(%edx), %xmm1, %xmm1
// CHECK: vcmpeqss 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0xc2,0x0d,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqss 485498096, %xmm1, %xmm1
// CHECK: vcmpeqss 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0xc2,0x4c,0x02,0x40,0x00]
vcmpeqss 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vcmpeqss (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0xc2,0x0a,0x00]
vcmpeqss (%edx), %xmm1, %xmm1
// CHECK: vcmpeqss %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0xc2,0xc9,0x00]
vcmpeqss %xmm1, %xmm1, %xmm1
// CHECK: vcomisd -485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x2f,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcomisd -485498096(%edx,%eax,4), %xmm1
// CHECK: vcomisd 485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x2f,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcomisd 485498096(%edx,%eax,4), %xmm1
// CHECK: vcomisd 485498096(%edx), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x2f,0x8a,0xf0,0x1c,0xf0,0x1c]
vcomisd 485498096(%edx), %xmm1
// CHECK: vcomisd 485498096, %xmm1
// CHECK: encoding: [0xc5,0xf9,0x2f,0x0d,0xf0,0x1c,0xf0,0x1c]
vcomisd 485498096, %xmm1
// CHECK: vcomisd 64(%edx,%eax), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x2f,0x4c,0x02,0x40]
vcomisd 64(%edx,%eax), %xmm1
// CHECK: vcomisd (%edx), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x2f,0x0a]
vcomisd (%edx), %xmm1
// CHECK: vcomisd %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf9,0x2f,0xc9]
vcomisd %xmm1, %xmm1
// CHECK: vcomiss -485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x2f,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcomiss -485498096(%edx,%eax,4), %xmm1
// CHECK: vcomiss 485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x2f,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcomiss 485498096(%edx,%eax,4), %xmm1
// CHECK: vcomiss 485498096(%edx), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x2f,0x8a,0xf0,0x1c,0xf0,0x1c]
vcomiss 485498096(%edx), %xmm1
// CHECK: vcomiss 485498096, %xmm1
// CHECK: encoding: [0xc5,0xf8,0x2f,0x0d,0xf0,0x1c,0xf0,0x1c]
vcomiss 485498096, %xmm1
// CHECK: vcomiss 64(%edx,%eax), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x2f,0x4c,0x02,0x40]
vcomiss 64(%edx,%eax), %xmm1
// CHECK: vcomiss (%edx), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x2f,0x0a]
vcomiss (%edx), %xmm1
// CHECK: vcomiss %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf8,0x2f,0xc9]
vcomiss %xmm1, %xmm1
// CHECK: vcvtdq2pd -485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xfa,0xe6,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcvtdq2pd -485498096(%edx,%eax,4), %xmm1
// CHECK: vcvtdq2pd 485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xfa,0xe6,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcvtdq2pd 485498096(%edx,%eax,4), %xmm1
// CHECK: vcvtdq2pd -485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc5,0xfe,0xe6,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vcvtdq2pd -485498096(%edx,%eax,4), %ymm4
// CHECK: vcvtdq2pd 485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc5,0xfe,0xe6,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vcvtdq2pd 485498096(%edx,%eax,4), %ymm4
// CHECK: vcvtdq2pd 485498096(%edx), %xmm1
// CHECK: encoding: [0xc5,0xfa,0xe6,0x8a,0xf0,0x1c,0xf0,0x1c]
vcvtdq2pd 485498096(%edx), %xmm1
// CHECK: vcvtdq2pd 485498096(%edx), %ymm4
// CHECK: encoding: [0xc5,0xfe,0xe6,0xa2,0xf0,0x1c,0xf0,0x1c]
vcvtdq2pd 485498096(%edx), %ymm4
// CHECK: vcvtdq2pd 485498096, %xmm1
// CHECK: encoding: [0xc5,0xfa,0xe6,0x0d,0xf0,0x1c,0xf0,0x1c]
vcvtdq2pd 485498096, %xmm1
// CHECK: vcvtdq2pd 485498096, %ymm4
// CHECK: encoding: [0xc5,0xfe,0xe6,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtdq2pd 485498096, %ymm4
// CHECK: vcvtdq2pd 64(%edx,%eax), %xmm1
// CHECK: encoding: [0xc5,0xfa,0xe6,0x4c,0x02,0x40]
vcvtdq2pd 64(%edx,%eax), %xmm1
// CHECK: vcvtdq2pd 64(%edx,%eax), %ymm4
// CHECK: encoding: [0xc5,0xfe,0xe6,0x64,0x02,0x40]
vcvtdq2pd 64(%edx,%eax), %ymm4
// CHECK: vcvtdq2pd (%edx), %xmm1
// CHECK: encoding: [0xc5,0xfa,0xe6,0x0a]
vcvtdq2pd (%edx), %xmm1
// CHECK: vcvtdq2pd (%edx), %ymm4
// CHECK: encoding: [0xc5,0xfe,0xe6,0x22]
vcvtdq2pd (%edx), %ymm4
// CHECK: vcvtdq2pd %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xfa,0xe6,0xc9]
vcvtdq2pd %xmm1, %xmm1
// CHECK: vcvtdq2pd %xmm1, %ymm4
// CHECK: encoding: [0xc5,0xfe,0xe6,0xe1]
vcvtdq2pd %xmm1, %ymm4
// CHECK: vcvtdq2ps -485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x5b,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcvtdq2ps -485498096(%edx,%eax,4), %xmm1
// CHECK: vcvtdq2ps 485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x5b,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcvtdq2ps 485498096(%edx,%eax,4), %xmm1
// CHECK: vcvtdq2ps -485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc5,0xfc,0x5b,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vcvtdq2ps -485498096(%edx,%eax,4), %ymm4
// CHECK: vcvtdq2ps 485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc5,0xfc,0x5b,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vcvtdq2ps 485498096(%edx,%eax,4), %ymm4
// CHECK: vcvtdq2ps 485498096(%edx), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x5b,0x8a,0xf0,0x1c,0xf0,0x1c]
vcvtdq2ps 485498096(%edx), %xmm1
// CHECK: vcvtdq2ps 485498096(%edx), %ymm4
// CHECK: encoding: [0xc5,0xfc,0x5b,0xa2,0xf0,0x1c,0xf0,0x1c]
vcvtdq2ps 485498096(%edx), %ymm4
// CHECK: vcvtdq2ps 485498096, %xmm1
// CHECK: encoding: [0xc5,0xf8,0x5b,0x0d,0xf0,0x1c,0xf0,0x1c]
vcvtdq2ps 485498096, %xmm1
// CHECK: vcvtdq2ps 485498096, %ymm4
// CHECK: encoding: [0xc5,0xfc,0x5b,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtdq2ps 485498096, %ymm4
// CHECK: vcvtdq2ps 64(%edx,%eax), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x5b,0x4c,0x02,0x40]
vcvtdq2ps 64(%edx,%eax), %xmm1
// CHECK: vcvtdq2ps 64(%edx,%eax), %ymm4
// CHECK: encoding: [0xc5,0xfc,0x5b,0x64,0x02,0x40]
vcvtdq2ps 64(%edx,%eax), %ymm4
// CHECK: vcvtdq2ps (%edx), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x5b,0x0a]
vcvtdq2ps (%edx), %xmm1
// CHECK: vcvtdq2ps (%edx), %ymm4
// CHECK: encoding: [0xc5,0xfc,0x5b,0x22]
vcvtdq2ps (%edx), %ymm4
// CHECK: vcvtdq2ps %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf8,0x5b,0xc9]
vcvtdq2ps %xmm1, %xmm1
// CHECK: vcvtdq2ps %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xfc,0x5b,0xe4]
vcvtdq2ps %ymm4, %ymm4
// CHECK: vcvtpd2dqx -485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xfb,0xe6,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcvtpd2dqx -485498096(%edx,%eax,4), %xmm1
// CHECK: vcvtpd2dqx 485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xfb,0xe6,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcvtpd2dqx 485498096(%edx,%eax,4), %xmm1
// CHECK: vcvtpd2dqx 485498096(%edx), %xmm1
// CHECK: encoding: [0xc5,0xfb,0xe6,0x8a,0xf0,0x1c,0xf0,0x1c]
vcvtpd2dqx 485498096(%edx), %xmm1
// CHECK: vcvtpd2dqx 485498096, %xmm1
// CHECK: encoding: [0xc5,0xfb,0xe6,0x0d,0xf0,0x1c,0xf0,0x1c]
vcvtpd2dqx 485498096, %xmm1
// CHECK: vcvtpd2dqx 64(%edx,%eax), %xmm1
// CHECK: encoding: [0xc5,0xfb,0xe6,0x4c,0x02,0x40]
vcvtpd2dqx 64(%edx,%eax), %xmm1
// CHECK: vcvtpd2dqx (%edx), %xmm1
// CHECK: encoding: [0xc5,0xfb,0xe6,0x0a]
vcvtpd2dqx (%edx), %xmm1
// CHECK: vcvtpd2dq %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xfb,0xe6,0xc9]
vcvtpd2dq %xmm1, %xmm1
// CHECK: vcvtpd2dqy -485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xff,0xe6,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcvtpd2dqy -485498096(%edx,%eax,4), %xmm1
// CHECK: vcvtpd2dqy 485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xff,0xe6,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcvtpd2dqy 485498096(%edx,%eax,4), %xmm1
// CHECK: vcvtpd2dqy 485498096(%edx), %xmm1
// CHECK: encoding: [0xc5,0xff,0xe6,0x8a,0xf0,0x1c,0xf0,0x1c]
vcvtpd2dqy 485498096(%edx), %xmm1
// CHECK: vcvtpd2dqy 485498096, %xmm1
// CHECK: encoding: [0xc5,0xff,0xe6,0x0d,0xf0,0x1c,0xf0,0x1c]
vcvtpd2dqy 485498096, %xmm1
// CHECK: vcvtpd2dqy 64(%edx,%eax), %xmm1
// CHECK: encoding: [0xc5,0xff,0xe6,0x4c,0x02,0x40]
vcvtpd2dqy 64(%edx,%eax), %xmm1
// CHECK: vcvtpd2dqy (%edx), %xmm1
// CHECK: encoding: [0xc5,0xff,0xe6,0x0a]
vcvtpd2dqy (%edx), %xmm1
// CHECK: vcvtpd2dq %ymm4, %xmm1
// CHECK: encoding: [0xc5,0xff,0xe6,0xcc]
vcvtpd2dq %ymm4, %xmm1
// CHECK: vcvtpd2psx -485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x5a,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcvtpd2psx -485498096(%edx,%eax,4), %xmm1
// CHECK: vcvtpd2psx 485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x5a,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcvtpd2psx 485498096(%edx,%eax,4), %xmm1
// CHECK: vcvtpd2psx 485498096(%edx), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x5a,0x8a,0xf0,0x1c,0xf0,0x1c]
vcvtpd2psx 485498096(%edx), %xmm1
// CHECK: vcvtpd2psx 485498096, %xmm1
// CHECK: encoding: [0xc5,0xf9,0x5a,0x0d,0xf0,0x1c,0xf0,0x1c]
vcvtpd2psx 485498096, %xmm1
// CHECK: vcvtpd2psx 64(%edx,%eax), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x5a,0x4c,0x02,0x40]
vcvtpd2psx 64(%edx,%eax), %xmm1
// CHECK: vcvtpd2psx (%edx), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x5a,0x0a]
vcvtpd2psx (%edx), %xmm1
// CHECK: vcvtpd2ps %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf9,0x5a,0xc9]
vcvtpd2ps %xmm1, %xmm1
// CHECK: vcvtpd2psy -485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xfd,0x5a,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcvtpd2psy -485498096(%edx,%eax,4), %xmm1
// CHECK: vcvtpd2psy 485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xfd,0x5a,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcvtpd2psy 485498096(%edx,%eax,4), %xmm1
// CHECK: vcvtpd2psy 485498096(%edx), %xmm1
// CHECK: encoding: [0xc5,0xfd,0x5a,0x8a,0xf0,0x1c,0xf0,0x1c]
vcvtpd2psy 485498096(%edx), %xmm1
// CHECK: vcvtpd2psy 485498096, %xmm1
// CHECK: encoding: [0xc5,0xfd,0x5a,0x0d,0xf0,0x1c,0xf0,0x1c]
vcvtpd2psy 485498096, %xmm1
// CHECK: vcvtpd2psy 64(%edx,%eax), %xmm1
// CHECK: encoding: [0xc5,0xfd,0x5a,0x4c,0x02,0x40]
vcvtpd2psy 64(%edx,%eax), %xmm1
// CHECK: vcvtpd2psy (%edx), %xmm1
// CHECK: encoding: [0xc5,0xfd,0x5a,0x0a]
vcvtpd2psy (%edx), %xmm1
// CHECK: vcvtpd2ps %ymm4, %xmm1
// CHECK: encoding: [0xc5,0xfd,0x5a,0xcc]
vcvtpd2ps %ymm4, %xmm1
// CHECK: vcvtps2dq -485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x5b,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcvtps2dq -485498096(%edx,%eax,4), %xmm1
// CHECK: vcvtps2dq 485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x5b,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcvtps2dq 485498096(%edx,%eax,4), %xmm1
// CHECK: vcvtps2dq -485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc5,0xfd,0x5b,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vcvtps2dq -485498096(%edx,%eax,4), %ymm4
// CHECK: vcvtps2dq 485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc5,0xfd,0x5b,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vcvtps2dq 485498096(%edx,%eax,4), %ymm4
// CHECK: vcvtps2dq 485498096(%edx), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x5b,0x8a,0xf0,0x1c,0xf0,0x1c]
vcvtps2dq 485498096(%edx), %xmm1
// CHECK: vcvtps2dq 485498096(%edx), %ymm4
// CHECK: encoding: [0xc5,0xfd,0x5b,0xa2,0xf0,0x1c,0xf0,0x1c]
vcvtps2dq 485498096(%edx), %ymm4
// CHECK: vcvtps2dq 485498096, %xmm1
// CHECK: encoding: [0xc5,0xf9,0x5b,0x0d,0xf0,0x1c,0xf0,0x1c]
vcvtps2dq 485498096, %xmm1
// CHECK: vcvtps2dq 485498096, %ymm4
// CHECK: encoding: [0xc5,0xfd,0x5b,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtps2dq 485498096, %ymm4
// CHECK: vcvtps2dq 64(%edx,%eax), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x5b,0x4c,0x02,0x40]
vcvtps2dq 64(%edx,%eax), %xmm1
// CHECK: vcvtps2dq 64(%edx,%eax), %ymm4
// CHECK: encoding: [0xc5,0xfd,0x5b,0x64,0x02,0x40]
vcvtps2dq 64(%edx,%eax), %ymm4
// CHECK: vcvtps2dq (%edx), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x5b,0x0a]
vcvtps2dq (%edx), %xmm1
// CHECK: vcvtps2dq (%edx), %ymm4
// CHECK: encoding: [0xc5,0xfd,0x5b,0x22]
vcvtps2dq (%edx), %ymm4
// CHECK: vcvtps2dq %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf9,0x5b,0xc9]
vcvtps2dq %xmm1, %xmm1
// CHECK: vcvtps2dq %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xfd,0x5b,0xe4]
vcvtps2dq %ymm4, %ymm4
// CHECK: vcvtps2pd -485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x5a,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcvtps2pd -485498096(%edx,%eax,4), %xmm1
// CHECK: vcvtps2pd 485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x5a,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcvtps2pd 485498096(%edx,%eax,4), %xmm1
// CHECK: vcvtps2pd -485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc5,0xfc,0x5a,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vcvtps2pd -485498096(%edx,%eax,4), %ymm4
// CHECK: vcvtps2pd 485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc5,0xfc,0x5a,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vcvtps2pd 485498096(%edx,%eax,4), %ymm4
// CHECK: vcvtps2pd 485498096(%edx), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x5a,0x8a,0xf0,0x1c,0xf0,0x1c]
vcvtps2pd 485498096(%edx), %xmm1
// CHECK: vcvtps2pd 485498096(%edx), %ymm4
// CHECK: encoding: [0xc5,0xfc,0x5a,0xa2,0xf0,0x1c,0xf0,0x1c]
vcvtps2pd 485498096(%edx), %ymm4
// CHECK: vcvtps2pd 485498096, %xmm1
// CHECK: encoding: [0xc5,0xf8,0x5a,0x0d,0xf0,0x1c,0xf0,0x1c]
vcvtps2pd 485498096, %xmm1
// CHECK: vcvtps2pd 485498096, %ymm4
// CHECK: encoding: [0xc5,0xfc,0x5a,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtps2pd 485498096, %ymm4
// CHECK: vcvtps2pd 64(%edx,%eax), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x5a,0x4c,0x02,0x40]
vcvtps2pd 64(%edx,%eax), %xmm1
// CHECK: vcvtps2pd 64(%edx,%eax), %ymm4
// CHECK: encoding: [0xc5,0xfc,0x5a,0x64,0x02,0x40]
vcvtps2pd 64(%edx,%eax), %ymm4
// CHECK: vcvtps2pd (%edx), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x5a,0x0a]
vcvtps2pd (%edx), %xmm1
// CHECK: vcvtps2pd (%edx), %ymm4
// CHECK: encoding: [0xc5,0xfc,0x5a,0x22]
vcvtps2pd (%edx), %ymm4
// CHECK: vcvtps2pd %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf8,0x5a,0xc9]
vcvtps2pd %xmm1, %xmm1
// CHECK: vcvtps2pd %xmm1, %ymm4
// CHECK: encoding: [0xc5,0xfc,0x5a,0xe1]
vcvtps2pd %xmm1, %ymm4
// CHECK: vcvtsd2ss -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5a,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcvtsd2ss -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vcvtsd2ss 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5a,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcvtsd2ss 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vcvtsd2ss 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5a,0x8a,0xf0,0x1c,0xf0,0x1c]
vcvtsd2ss 485498096(%edx), %xmm1, %xmm1
// CHECK: vcvtsd2ss 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5a,0x0d,0xf0,0x1c,0xf0,0x1c]
vcvtsd2ss 485498096, %xmm1, %xmm1
// CHECK: vcvtsd2ss 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5a,0x4c,0x02,0x40]
vcvtsd2ss 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vcvtsd2ss (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5a,0x0a]
vcvtsd2ss (%edx), %xmm1, %xmm1
// CHECK: vcvtsd2ss %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5a,0xc9]
vcvtsd2ss %xmm1, %xmm1, %xmm1
// CHECK: vcvtsi2sdl -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x2a,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcvtsi2sdl -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vcvtsi2sdl 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x2a,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcvtsi2sdl 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vcvtsi2sdl 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x2a,0x8a,0xf0,0x1c,0xf0,0x1c]
vcvtsi2sdl 485498096(%edx), %xmm1, %xmm1
// CHECK: vcvtsi2sdl 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x2a,0x0d,0xf0,0x1c,0xf0,0x1c]
vcvtsi2sdl 485498096, %xmm1, %xmm1
// CHECK: vcvtsi2sdl 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x2a,0x4c,0x02,0x40]
vcvtsi2sdl 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vcvtsi2sdl (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x2a,0x0a]
vcvtsi2sdl (%edx), %xmm1, %xmm1
// CHECK: vcvtsi2ssl -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x2a,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcvtsi2ssl -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vcvtsi2ssl 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x2a,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcvtsi2ssl 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vcvtsi2ssl 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x2a,0x8a,0xf0,0x1c,0xf0,0x1c]
vcvtsi2ssl 485498096(%edx), %xmm1, %xmm1
// CHECK: vcvtsi2ssl 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x2a,0x0d,0xf0,0x1c,0xf0,0x1c]
vcvtsi2ssl 485498096, %xmm1, %xmm1
// CHECK: vcvtsi2ssl 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x2a,0x4c,0x02,0x40]
vcvtsi2ssl 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vcvtsi2ssl (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x2a,0x0a]
vcvtsi2ssl (%edx), %xmm1, %xmm1
// CHECK: vcvtss2sd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5a,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcvtss2sd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vcvtss2sd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5a,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcvtss2sd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vcvtss2sd 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5a,0x8a,0xf0,0x1c,0xf0,0x1c]
vcvtss2sd 485498096(%edx), %xmm1, %xmm1
// CHECK: vcvtss2sd 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5a,0x0d,0xf0,0x1c,0xf0,0x1c]
vcvtss2sd 485498096, %xmm1, %xmm1
// CHECK: vcvtss2sd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5a,0x4c,0x02,0x40]
vcvtss2sd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vcvtss2sd (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5a,0x0a]
vcvtss2sd (%edx), %xmm1, %xmm1
// CHECK: vcvtss2sd %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5a,0xc9]
vcvtss2sd %xmm1, %xmm1, %xmm1
// CHECK: vcvttpd2dqx -485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xf9,0xe6,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcvttpd2dqx -485498096(%edx,%eax,4), %xmm1
// CHECK: vcvttpd2dqx 485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xf9,0xe6,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcvttpd2dqx 485498096(%edx,%eax,4), %xmm1
// CHECK: vcvttpd2dqx 485498096(%edx), %xmm1
// CHECK: encoding: [0xc5,0xf9,0xe6,0x8a,0xf0,0x1c,0xf0,0x1c]
vcvttpd2dqx 485498096(%edx), %xmm1
// CHECK: vcvttpd2dqx 485498096, %xmm1
// CHECK: encoding: [0xc5,0xf9,0xe6,0x0d,0xf0,0x1c,0xf0,0x1c]
vcvttpd2dqx 485498096, %xmm1
// CHECK: vcvttpd2dqx 64(%edx,%eax), %xmm1
// CHECK: encoding: [0xc5,0xf9,0xe6,0x4c,0x02,0x40]
vcvttpd2dqx 64(%edx,%eax), %xmm1
// CHECK: vcvttpd2dqx (%edx), %xmm1
// CHECK: encoding: [0xc5,0xf9,0xe6,0x0a]
vcvttpd2dqx (%edx), %xmm1
// CHECK: vcvttpd2dq %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf9,0xe6,0xc9]
vcvttpd2dq %xmm1, %xmm1
// CHECK: vcvttpd2dqy -485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xfd,0xe6,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcvttpd2dqy -485498096(%edx,%eax,4), %xmm1
// CHECK: vcvttpd2dqy 485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xfd,0xe6,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcvttpd2dqy 485498096(%edx,%eax,4), %xmm1
// CHECK: vcvttpd2dqy 485498096(%edx), %xmm1
// CHECK: encoding: [0xc5,0xfd,0xe6,0x8a,0xf0,0x1c,0xf0,0x1c]
vcvttpd2dqy 485498096(%edx), %xmm1
// CHECK: vcvttpd2dqy 485498096, %xmm1
// CHECK: encoding: [0xc5,0xfd,0xe6,0x0d,0xf0,0x1c,0xf0,0x1c]
vcvttpd2dqy 485498096, %xmm1
// CHECK: vcvttpd2dqy 64(%edx,%eax), %xmm1
// CHECK: encoding: [0xc5,0xfd,0xe6,0x4c,0x02,0x40]
vcvttpd2dqy 64(%edx,%eax), %xmm1
// CHECK: vcvttpd2dqy (%edx), %xmm1
// CHECK: encoding: [0xc5,0xfd,0xe6,0x0a]
vcvttpd2dqy (%edx), %xmm1
// CHECK: vcvttpd2dq %ymm4, %xmm1
// CHECK: encoding: [0xc5,0xfd,0xe6,0xcc]
vcvttpd2dq %ymm4, %xmm1
// CHECK: vcvttps2dq -485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xfa,0x5b,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vcvttps2dq -485498096(%edx,%eax,4), %xmm1
// CHECK: vcvttps2dq 485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xfa,0x5b,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vcvttps2dq 485498096(%edx,%eax,4), %xmm1
// CHECK: vcvttps2dq -485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc5,0xfe,0x5b,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vcvttps2dq -485498096(%edx,%eax,4), %ymm4
// CHECK: vcvttps2dq 485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc5,0xfe,0x5b,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vcvttps2dq 485498096(%edx,%eax,4), %ymm4
// CHECK: vcvttps2dq 485498096(%edx), %xmm1
// CHECK: encoding: [0xc5,0xfa,0x5b,0x8a,0xf0,0x1c,0xf0,0x1c]
vcvttps2dq 485498096(%edx), %xmm1
// CHECK: vcvttps2dq 485498096(%edx), %ymm4
// CHECK: encoding: [0xc5,0xfe,0x5b,0xa2,0xf0,0x1c,0xf0,0x1c]
vcvttps2dq 485498096(%edx), %ymm4
// CHECK: vcvttps2dq 485498096, %xmm1
// CHECK: encoding: [0xc5,0xfa,0x5b,0x0d,0xf0,0x1c,0xf0,0x1c]
vcvttps2dq 485498096, %xmm1
// CHECK: vcvttps2dq 485498096, %ymm4
// CHECK: encoding: [0xc5,0xfe,0x5b,0x25,0xf0,0x1c,0xf0,0x1c]
vcvttps2dq 485498096, %ymm4
// CHECK: vcvttps2dq 64(%edx,%eax), %xmm1
// CHECK: encoding: [0xc5,0xfa,0x5b,0x4c,0x02,0x40]
vcvttps2dq 64(%edx,%eax), %xmm1
// CHECK: vcvttps2dq 64(%edx,%eax), %ymm4
// CHECK: encoding: [0xc5,0xfe,0x5b,0x64,0x02,0x40]
vcvttps2dq 64(%edx,%eax), %ymm4
// CHECK: vcvttps2dq (%edx), %xmm1
// CHECK: encoding: [0xc5,0xfa,0x5b,0x0a]
vcvttps2dq (%edx), %xmm1
// CHECK: vcvttps2dq (%edx), %ymm4
// CHECK: encoding: [0xc5,0xfe,0x5b,0x22]
vcvttps2dq (%edx), %ymm4
// CHECK: vcvttps2dq %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xfa,0x5b,0xc9]
vcvttps2dq %xmm1, %xmm1
// CHECK: vcvttps2dq %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xfe,0x5b,0xe4]
vcvttps2dq %ymm4, %ymm4
// CHECK: vdivpd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x5e,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vdivpd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vdivpd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x5e,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vdivpd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vdivpd -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x5e,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vdivpd -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vdivpd 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x5e,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vdivpd 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vdivpd 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x5e,0x8a,0xf0,0x1c,0xf0,0x1c]
vdivpd 485498096(%edx), %xmm1, %xmm1
// CHECK: vdivpd 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x5e,0xa2,0xf0,0x1c,0xf0,0x1c]
vdivpd 485498096(%edx), %ymm4, %ymm4
// CHECK: vdivpd 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x5e,0x0d,0xf0,0x1c,0xf0,0x1c]
vdivpd 485498096, %xmm1, %xmm1
// CHECK: vdivpd 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x5e,0x25,0xf0,0x1c,0xf0,0x1c]
vdivpd 485498096, %ymm4, %ymm4
// CHECK: vdivpd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x5e,0x4c,0x02,0x40]
vdivpd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vdivpd 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x5e,0x64,0x02,0x40]
vdivpd 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vdivpd (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x5e,0x0a]
vdivpd (%edx), %xmm1, %xmm1
// CHECK: vdivpd (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x5e,0x22]
vdivpd (%edx), %ymm4, %ymm4
// CHECK: vdivpd %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x5e,0xc9]
vdivpd %xmm1, %xmm1, %xmm1
// CHECK: vdivpd %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x5e,0xe4]
vdivpd %ymm4, %ymm4, %ymm4
// CHECK: vdivps -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x5e,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vdivps -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vdivps 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x5e,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vdivps 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vdivps -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x5e,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vdivps -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vdivps 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x5e,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vdivps 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vdivps 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x5e,0x8a,0xf0,0x1c,0xf0,0x1c]
vdivps 485498096(%edx), %xmm1, %xmm1
// CHECK: vdivps 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x5e,0xa2,0xf0,0x1c,0xf0,0x1c]
vdivps 485498096(%edx), %ymm4, %ymm4
// CHECK: vdivps 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x5e,0x0d,0xf0,0x1c,0xf0,0x1c]
vdivps 485498096, %xmm1, %xmm1
// CHECK: vdivps 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x5e,0x25,0xf0,0x1c,0xf0,0x1c]
vdivps 485498096, %ymm4, %ymm4
// CHECK: vdivps 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x5e,0x4c,0x02,0x40]
vdivps 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vdivps 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x5e,0x64,0x02,0x40]
vdivps 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vdivps (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x5e,0x0a]
vdivps (%edx), %xmm1, %xmm1
// CHECK: vdivps (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x5e,0x22]
vdivps (%edx), %ymm4, %ymm4
// CHECK: vdivps %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf0,0x5e,0xc9]
vdivps %xmm1, %xmm1, %xmm1
// CHECK: vdivps %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdc,0x5e,0xe4]
vdivps %ymm4, %ymm4, %ymm4
// CHECK: vdivsd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5e,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vdivsd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vdivsd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5e,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vdivsd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vdivsd 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5e,0x8a,0xf0,0x1c,0xf0,0x1c]
vdivsd 485498096(%edx), %xmm1, %xmm1
// CHECK: vdivsd 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5e,0x0d,0xf0,0x1c,0xf0,0x1c]
vdivsd 485498096, %xmm1, %xmm1
// CHECK: vdivsd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5e,0x4c,0x02,0x40]
vdivsd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vdivsd (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5e,0x0a]
vdivsd (%edx), %xmm1, %xmm1
// CHECK: vdivsd %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5e,0xc9]
vdivsd %xmm1, %xmm1, %xmm1
// CHECK: vdivss -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5e,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vdivss -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vdivss 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5e,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vdivss 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vdivss 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5e,0x8a,0xf0,0x1c,0xf0,0x1c]
vdivss 485498096(%edx), %xmm1, %xmm1
// CHECK: vdivss 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5e,0x0d,0xf0,0x1c,0xf0,0x1c]
vdivss 485498096, %xmm1, %xmm1
// CHECK: vdivss 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5e,0x4c,0x02,0x40]
vdivss 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vdivss (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5e,0x0a]
vdivss (%edx), %xmm1, %xmm1
// CHECK: vdivss %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5e,0xc9]
vdivss %xmm1, %xmm1, %xmm1
// CHECK: vdppd $0, -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x41,0x8c,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vdppd $0, -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vdppd $0, 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x41,0x8c,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vdppd $0, 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vdppd $0, 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x41,0x8a,0xf0,0x1c,0xf0,0x1c,0x00]
vdppd $0, 485498096(%edx), %xmm1, %xmm1
// CHECK: vdppd $0, 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x41,0x0d,0xf0,0x1c,0xf0,0x1c,0x00]
vdppd $0, 485498096, %xmm1, %xmm1
// CHECK: vdppd $0, 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x41,0x4c,0x02,0x40,0x00]
vdppd $0, 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vdppd $0, (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x41,0x0a,0x00]
vdppd $0, (%edx), %xmm1, %xmm1
// CHECK: vdppd $0, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x41,0xc9,0x00]
vdppd $0, %xmm1, %xmm1, %xmm1
// CHECK: vdpps $0, -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x40,0x8c,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vdpps $0, -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vdpps $0, 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x40,0x8c,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vdpps $0, 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vdpps $0, -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x40,0xa4,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vdpps $0, -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vdpps $0, 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x40,0xa4,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vdpps $0, 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vdpps $0, 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x40,0x8a,0xf0,0x1c,0xf0,0x1c,0x00]
vdpps $0, 485498096(%edx), %xmm1, %xmm1
// CHECK: vdpps $0, 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x40,0xa2,0xf0,0x1c,0xf0,0x1c,0x00]
vdpps $0, 485498096(%edx), %ymm4, %ymm4
// CHECK: vdpps $0, 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x40,0x0d,0xf0,0x1c,0xf0,0x1c,0x00]
vdpps $0, 485498096, %xmm1, %xmm1
// CHECK: vdpps $0, 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x40,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vdpps $0, 485498096, %ymm4, %ymm4
// CHECK: vdpps $0, 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x40,0x4c,0x02,0x40,0x00]
vdpps $0, 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vdpps $0, 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x40,0x64,0x02,0x40,0x00]
vdpps $0, 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vdpps $0, (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x40,0x0a,0x00]
vdpps $0, (%edx), %xmm1, %xmm1
// CHECK: vdpps $0, (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x40,0x22,0x00]
vdpps $0, (%edx), %ymm4, %ymm4
// CHECK: vdpps $0, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x40,0xc9,0x00]
vdpps $0, %xmm1, %xmm1, %xmm1
// CHECK: vdpps $0, %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x40,0xe4,0x00]
vdpps $0, %ymm4, %ymm4, %ymm4
// CHECK: vextractf128 $0, %ymm4, 485498096
// CHECK: encoding: [0xc4,0xe3,0x7d,0x19,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vextractf128 $0, %ymm4, 485498096
// CHECK: vextractf128 $0, %ymm4, 485498096(%edx)
// CHECK: encoding: [0xc4,0xe3,0x7d,0x19,0xa2,0xf0,0x1c,0xf0,0x1c,0x00]
vextractf128 $0, %ymm4, 485498096(%edx)
// CHECK: vextractf128 $0, %ymm4, -485498096(%edx,%eax,4)
// CHECK: encoding: [0xc4,0xe3,0x7d,0x19,0xa4,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vextractf128 $0, %ymm4, -485498096(%edx,%eax,4)
// CHECK: vextractf128 $0, %ymm4, 485498096(%edx,%eax,4)
// CHECK: encoding: [0xc4,0xe3,0x7d,0x19,0xa4,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vextractf128 $0, %ymm4, 485498096(%edx,%eax,4)
// CHECK: vextractf128 $0, %ymm4, 64(%edx,%eax)
// CHECK: encoding: [0xc4,0xe3,0x7d,0x19,0x64,0x02,0x40,0x00]
vextractf128 $0, %ymm4, 64(%edx,%eax)
// CHECK: vextractf128 $0, %ymm4, (%edx)
// CHECK: encoding: [0xc4,0xe3,0x7d,0x19,0x22,0x00]
vextractf128 $0, %ymm4, (%edx)
// CHECK: vextractf128 $0, %ymm4, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x7d,0x19,0xe1,0x00]
vextractf128 $0, %ymm4, %xmm1
// CHECK: vextractps $0, %xmm1, 485498096
// CHECK: encoding: [0xc4,0xe3,0x79,0x17,0x0d,0xf0,0x1c,0xf0,0x1c,0x00]
vextractps $0, %xmm1, 485498096
// CHECK: vextractps $0, %xmm1, 485498096(%edx)
// CHECK: encoding: [0xc4,0xe3,0x79,0x17,0x8a,0xf0,0x1c,0xf0,0x1c,0x00]
vextractps $0, %xmm1, 485498096(%edx)
// CHECK: vextractps $0, %xmm1, -485498096(%edx,%eax,4)
// CHECK: encoding: [0xc4,0xe3,0x79,0x17,0x8c,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vextractps $0, %xmm1, -485498096(%edx,%eax,4)
// CHECK: vextractps $0, %xmm1, 485498096(%edx,%eax,4)
// CHECK: encoding: [0xc4,0xe3,0x79,0x17,0x8c,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vextractps $0, %xmm1, 485498096(%edx,%eax,4)
// CHECK: vextractps $0, %xmm1, 64(%edx,%eax)
// CHECK: encoding: [0xc4,0xe3,0x79,0x17,0x4c,0x02,0x40,0x00]
vextractps $0, %xmm1, 64(%edx,%eax)
// CHECK: vextractps $0, %xmm1, (%edx)
// CHECK: encoding: [0xc4,0xe3,0x79,0x17,0x0a,0x00]
vextractps $0, %xmm1, (%edx)
// CHECK: vhaddpd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x7c,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vhaddpd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vhaddpd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x7c,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vhaddpd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vhaddpd -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x7c,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vhaddpd -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vhaddpd 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x7c,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vhaddpd 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vhaddpd 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x7c,0x8a,0xf0,0x1c,0xf0,0x1c]
vhaddpd 485498096(%edx), %xmm1, %xmm1
// CHECK: vhaddpd 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x7c,0xa2,0xf0,0x1c,0xf0,0x1c]
vhaddpd 485498096(%edx), %ymm4, %ymm4
// CHECK: vhaddpd 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x7c,0x0d,0xf0,0x1c,0xf0,0x1c]
vhaddpd 485498096, %xmm1, %xmm1
// CHECK: vhaddpd 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x7c,0x25,0xf0,0x1c,0xf0,0x1c]
vhaddpd 485498096, %ymm4, %ymm4
// CHECK: vhaddpd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x7c,0x4c,0x02,0x40]
vhaddpd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vhaddpd 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x7c,0x64,0x02,0x40]
vhaddpd 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vhaddpd (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x7c,0x0a]
vhaddpd (%edx), %xmm1, %xmm1
// CHECK: vhaddpd (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x7c,0x22]
vhaddpd (%edx), %ymm4, %ymm4
// CHECK: vhaddpd %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x7c,0xc9]
vhaddpd %xmm1, %xmm1, %xmm1
// CHECK: vhaddpd %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x7c,0xe4]
vhaddpd %ymm4, %ymm4, %ymm4
// CHECK: vhaddps -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x7c,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vhaddps -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vhaddps 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x7c,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vhaddps 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vhaddps -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0x7c,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vhaddps -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vhaddps 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0x7c,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vhaddps 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vhaddps 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x7c,0x8a,0xf0,0x1c,0xf0,0x1c]
vhaddps 485498096(%edx), %xmm1, %xmm1
// CHECK: vhaddps 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0x7c,0xa2,0xf0,0x1c,0xf0,0x1c]
vhaddps 485498096(%edx), %ymm4, %ymm4
// CHECK: vhaddps 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x7c,0x0d,0xf0,0x1c,0xf0,0x1c]
vhaddps 485498096, %xmm1, %xmm1
// CHECK: vhaddps 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0x7c,0x25,0xf0,0x1c,0xf0,0x1c]
vhaddps 485498096, %ymm4, %ymm4
// CHECK: vhaddps 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x7c,0x4c,0x02,0x40]
vhaddps 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vhaddps 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0x7c,0x64,0x02,0x40]
vhaddps 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vhaddps (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x7c,0x0a]
vhaddps (%edx), %xmm1, %xmm1
// CHECK: vhaddps (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0x7c,0x22]
vhaddps (%edx), %ymm4, %ymm4
// CHECK: vhaddps %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x7c,0xc9]
vhaddps %xmm1, %xmm1, %xmm1
// CHECK: vhaddps %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0x7c,0xe4]
vhaddps %ymm4, %ymm4, %ymm4
// CHECK: vhsubpd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x7d,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vhsubpd -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vhsubpd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x7d,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vhsubpd 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vhsubpd -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x7d,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vhsubpd -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vhsubpd 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x7d,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vhsubpd 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vhsubpd 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x7d,0x8a,0xf0,0x1c,0xf0,0x1c]
vhsubpd 485498096(%edx), %xmm1, %xmm1
// CHECK: vhsubpd 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x7d,0xa2,0xf0,0x1c,0xf0,0x1c]
vhsubpd 485498096(%edx), %ymm4, %ymm4
// CHECK: vhsubpd 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x7d,0x0d,0xf0,0x1c,0xf0,0x1c]
vhsubpd 485498096, %xmm1, %xmm1
// CHECK: vhsubpd 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x7d,0x25,0xf0,0x1c,0xf0,0x1c]
vhsubpd 485498096, %ymm4, %ymm4
// CHECK: vhsubpd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x7d,0x4c,0x02,0x40]
vhsubpd 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vhsubpd 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x7d,0x64,0x02,0x40]
vhsubpd 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vhsubpd (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x7d,0x0a]
vhsubpd (%edx), %xmm1, %xmm1
// CHECK: vhsubpd (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x7d,0x22]
vhsubpd (%edx), %ymm4, %ymm4
// CHECK: vhsubpd %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf1,0x7d,0xc9]
vhsubpd %xmm1, %xmm1, %xmm1
// CHECK: vhsubpd %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdd,0x7d,0xe4]
vhsubpd %ymm4, %ymm4, %ymm4
// CHECK: vhsubps -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x7d,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vhsubps -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vhsubps 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x7d,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vhsubps 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vhsubps -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0x7d,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vhsubps -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vhsubps 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0x7d,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vhsubps 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vhsubps 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x7d,0x8a,0xf0,0x1c,0xf0,0x1c]
vhsubps 485498096(%edx), %xmm1, %xmm1
// CHECK: vhsubps 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0x7d,0xa2,0xf0,0x1c,0xf0,0x1c]
vhsubps 485498096(%edx), %ymm4, %ymm4
// CHECK: vhsubps 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x7d,0x0d,0xf0,0x1c,0xf0,0x1c]
vhsubps 485498096, %xmm1, %xmm1
// CHECK: vhsubps 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0x7d,0x25,0xf0,0x1c,0xf0,0x1c]
vhsubps 485498096, %ymm4, %ymm4
// CHECK: vhsubps 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x7d,0x4c,0x02,0x40]
vhsubps 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vhsubps 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0x7d,0x64,0x02,0x40]
vhsubps 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vhsubps (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x7d,0x0a]
vhsubps (%edx), %xmm1, %xmm1
// CHECK: vhsubps (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0x7d,0x22]
vhsubps (%edx), %ymm4, %ymm4
// CHECK: vhsubps %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x7d,0xc9]
vhsubps %xmm1, %xmm1, %xmm1
// CHECK: vhsubps %ymm4, %ymm4, %ymm4
// CHECK: encoding: [0xc5,0xdf,0x7d,0xe4]
vhsubps %ymm4, %ymm4, %ymm4
// CHECK: vinsertf128 $0, -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x18,0xa4,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vinsertf128 $0, -485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vinsertf128 $0, 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x18,0xa4,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vinsertf128 $0, 485498096(%edx,%eax,4), %ymm4, %ymm4
// CHECK: vinsertf128 $0, 485498096(%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x18,0xa2,0xf0,0x1c,0xf0,0x1c,0x00]
vinsertf128 $0, 485498096(%edx), %ymm4, %ymm4
// CHECK: vinsertf128 $0, 485498096, %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x18,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vinsertf128 $0, 485498096, %ymm4, %ymm4
// CHECK: vinsertf128 $0, 64(%edx,%eax), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x18,0x64,0x02,0x40,0x00]
vinsertf128 $0, 64(%edx,%eax), %ymm4, %ymm4
// CHECK: vinsertf128 $0, (%edx), %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x18,0x22,0x00]
vinsertf128 $0, (%edx), %ymm4, %ymm4
// CHECK: vinsertf128 $0, %xmm1, %ymm4, %ymm4
// CHECK: encoding: [0xc4,0xe3,0x5d,0x18,0xe1,0x00]
vinsertf128 $0, %xmm1, %ymm4, %ymm4
// CHECK: vinsertps $0, -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x21,0x8c,0x82,0x10,0xe3,0x0f,0xe3,0x00]
vinsertps $0, -485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vinsertps $0, 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x21,0x8c,0x82,0xf0,0x1c,0xf0,0x1c,0x00]
vinsertps $0, 485498096(%edx,%eax,4), %xmm1, %xmm1
// CHECK: vinsertps $0, 485498096(%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x21,0x8a,0xf0,0x1c,0xf0,0x1c,0x00]
vinsertps $0, 485498096(%edx), %xmm1, %xmm1
// CHECK: vinsertps $0, 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x21,0x0d,0xf0,0x1c,0xf0,0x1c,0x00]
vinsertps $0, 485498096, %xmm1, %xmm1
// CHECK: vinsertps $0, 64(%edx,%eax), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x21,0x4c,0x02,0x40,0x00]
vinsertps $0, 64(%edx,%eax), %xmm1, %xmm1
// CHECK: vinsertps $0, (%edx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x21,0x0a,0x00]
vinsertps $0, (%edx), %xmm1, %xmm1
// CHECK: vinsertps $0, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe3,0x71,0x21,0xc9,0x00]
vinsertps $0, %xmm1, %xmm1, %xmm1
// CHECK: vlddqu -485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xfb,0xf0,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
vlddqu -485498096(%edx,%eax,4), %xmm1
// CHECK: vlddqu 485498096(%edx,%eax,4), %xmm1
// CHECK: encoding: [0xc5,0xfb,0xf0,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
vlddqu 485498096(%edx,%eax,4), %xmm1
// CHECK: vlddqu -485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc5,0xff,0xf0,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
vlddqu -485498096(%edx,%eax,4), %ymm4
// CHECK: vlddqu 485498096(%edx,%eax,4), %ymm4
// CHECK: encoding: [0xc5,0xff,0xf0,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
vlddqu 485498096(%edx,%eax,4), %ymm4