blob: bdf108df5199c99ba32efa66b81f33ee5bb9c073 [file] [log] [blame]
// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
// CHECK: vfrczpd 485498096, %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x81,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfrczpd 485498096, %xmm15
// CHECK: vfrczpd 485498096, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x81,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfrczpd 485498096, %xmm6
// CHECK: vfrczpd 485498096, %ymm7
// CHECK: encoding: [0x8f,0xe9,0x7c,0x81,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfrczpd 485498096, %ymm7
// CHECK: vfrczpd 485498096, %ymm9
// CHECK: encoding: [0x8f,0x69,0x7c,0x81,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfrczpd 485498096, %ymm9
// CHECK: vfrczpd 64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x81,0x7c,0x82,0x40]
vfrczpd 64(%rdx,%rax,4), %xmm15
// CHECK: vfrczpd -64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x81,0x7c,0x82,0xc0]
vfrczpd -64(%rdx,%rax,4), %xmm15
// CHECK: vfrczpd 64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x81,0x74,0x82,0x40]
vfrczpd 64(%rdx,%rax,4), %xmm6
// CHECK: vfrczpd -64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x81,0x74,0x82,0xc0]
vfrczpd -64(%rdx,%rax,4), %xmm6
// CHECK: vfrczpd 64(%rdx,%rax,4), %ymm7
// CHECK: encoding: [0x8f,0xe9,0x7c,0x81,0x7c,0x82,0x40]
vfrczpd 64(%rdx,%rax,4), %ymm7
// CHECK: vfrczpd -64(%rdx,%rax,4), %ymm7
// CHECK: encoding: [0x8f,0xe9,0x7c,0x81,0x7c,0x82,0xc0]
vfrczpd -64(%rdx,%rax,4), %ymm7
// CHECK: vfrczpd 64(%rdx,%rax,4), %ymm9
// CHECK: encoding: [0x8f,0x69,0x7c,0x81,0x4c,0x82,0x40]
vfrczpd 64(%rdx,%rax,4), %ymm9
// CHECK: vfrczpd -64(%rdx,%rax,4), %ymm9
// CHECK: encoding: [0x8f,0x69,0x7c,0x81,0x4c,0x82,0xc0]
vfrczpd -64(%rdx,%rax,4), %ymm9
// CHECK: vfrczpd 64(%rdx,%rax), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x81,0x7c,0x02,0x40]
vfrczpd 64(%rdx,%rax), %xmm15
// CHECK: vfrczpd 64(%rdx,%rax), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x81,0x74,0x02,0x40]
vfrczpd 64(%rdx,%rax), %xmm6
// CHECK: vfrczpd 64(%rdx,%rax), %ymm7
// CHECK: encoding: [0x8f,0xe9,0x7c,0x81,0x7c,0x02,0x40]
vfrczpd 64(%rdx,%rax), %ymm7
// CHECK: vfrczpd 64(%rdx,%rax), %ymm9
// CHECK: encoding: [0x8f,0x69,0x7c,0x81,0x4c,0x02,0x40]
vfrczpd 64(%rdx,%rax), %ymm9
// CHECK: vfrczpd 64(%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x81,0x7a,0x40]
vfrczpd 64(%rdx), %xmm15
// CHECK: vfrczpd 64(%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x81,0x72,0x40]
vfrczpd 64(%rdx), %xmm6
// CHECK: vfrczpd 64(%rdx), %ymm7
// CHECK: encoding: [0x8f,0xe9,0x7c,0x81,0x7a,0x40]
vfrczpd 64(%rdx), %ymm7
// CHECK: vfrczpd 64(%rdx), %ymm9
// CHECK: encoding: [0x8f,0x69,0x7c,0x81,0x4a,0x40]
vfrczpd 64(%rdx), %ymm9
// CHECK: vfrczpd (%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x81,0x3a]
vfrczpd (%rdx), %xmm15
// CHECK: vfrczpd (%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x81,0x32]
vfrczpd (%rdx), %xmm6
// CHECK: vfrczpd (%rdx), %ymm7
// CHECK: encoding: [0x8f,0xe9,0x7c,0x81,0x3a]
vfrczpd (%rdx), %ymm7
// CHECK: vfrczpd (%rdx), %ymm9
// CHECK: encoding: [0x8f,0x69,0x7c,0x81,0x0a]
vfrczpd (%rdx), %ymm9
// CHECK: vfrczpd %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x49,0x78,0x81,0xff]
vfrczpd %xmm15, %xmm15
// CHECK: vfrczpd %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x81,0xf6]
vfrczpd %xmm6, %xmm6
// CHECK: vfrczpd %ymm7, %ymm7
// CHECK: encoding: [0x8f,0xe9,0x7c,0x81,0xff]
vfrczpd %ymm7, %ymm7
// CHECK: vfrczpd %ymm9, %ymm9
// CHECK: encoding: [0x8f,0x49,0x7c,0x81,0xc9]
vfrczpd %ymm9, %ymm9
// CHECK: vfrczps 485498096, %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x80,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfrczps 485498096, %xmm15
// CHECK: vfrczps 485498096, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x80,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfrczps 485498096, %xmm6
// CHECK: vfrczps 485498096, %ymm7
// CHECK: encoding: [0x8f,0xe9,0x7c,0x80,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfrczps 485498096, %ymm7
// CHECK: vfrczps 485498096, %ymm9
// CHECK: encoding: [0x8f,0x69,0x7c,0x80,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfrczps 485498096, %ymm9
// CHECK: vfrczps 64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x80,0x7c,0x82,0x40]
vfrczps 64(%rdx,%rax,4), %xmm15
// CHECK: vfrczps -64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x80,0x7c,0x82,0xc0]
vfrczps -64(%rdx,%rax,4), %xmm15
// CHECK: vfrczps 64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x80,0x74,0x82,0x40]
vfrczps 64(%rdx,%rax,4), %xmm6
// CHECK: vfrczps -64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x80,0x74,0x82,0xc0]
vfrczps -64(%rdx,%rax,4), %xmm6
// CHECK: vfrczps 64(%rdx,%rax,4), %ymm7
// CHECK: encoding: [0x8f,0xe9,0x7c,0x80,0x7c,0x82,0x40]
vfrczps 64(%rdx,%rax,4), %ymm7
// CHECK: vfrczps -64(%rdx,%rax,4), %ymm7
// CHECK: encoding: [0x8f,0xe9,0x7c,0x80,0x7c,0x82,0xc0]
vfrczps -64(%rdx,%rax,4), %ymm7
// CHECK: vfrczps 64(%rdx,%rax,4), %ymm9
// CHECK: encoding: [0x8f,0x69,0x7c,0x80,0x4c,0x82,0x40]
vfrczps 64(%rdx,%rax,4), %ymm9
// CHECK: vfrczps -64(%rdx,%rax,4), %ymm9
// CHECK: encoding: [0x8f,0x69,0x7c,0x80,0x4c,0x82,0xc0]
vfrczps -64(%rdx,%rax,4), %ymm9
// CHECK: vfrczps 64(%rdx,%rax), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x80,0x7c,0x02,0x40]
vfrczps 64(%rdx,%rax), %xmm15
// CHECK: vfrczps 64(%rdx,%rax), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x80,0x74,0x02,0x40]
vfrczps 64(%rdx,%rax), %xmm6
// CHECK: vfrczps 64(%rdx,%rax), %ymm7
// CHECK: encoding: [0x8f,0xe9,0x7c,0x80,0x7c,0x02,0x40]
vfrczps 64(%rdx,%rax), %ymm7
// CHECK: vfrczps 64(%rdx,%rax), %ymm9
// CHECK: encoding: [0x8f,0x69,0x7c,0x80,0x4c,0x02,0x40]
vfrczps 64(%rdx,%rax), %ymm9
// CHECK: vfrczps 64(%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x80,0x7a,0x40]
vfrczps 64(%rdx), %xmm15
// CHECK: vfrczps 64(%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x80,0x72,0x40]
vfrczps 64(%rdx), %xmm6
// CHECK: vfrczps 64(%rdx), %ymm7
// CHECK: encoding: [0x8f,0xe9,0x7c,0x80,0x7a,0x40]
vfrczps 64(%rdx), %ymm7
// CHECK: vfrczps 64(%rdx), %ymm9
// CHECK: encoding: [0x8f,0x69,0x7c,0x80,0x4a,0x40]
vfrczps 64(%rdx), %ymm9
// CHECK: vfrczps (%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x80,0x3a]
vfrczps (%rdx), %xmm15
// CHECK: vfrczps (%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x80,0x32]
vfrczps (%rdx), %xmm6
// CHECK: vfrczps (%rdx), %ymm7
// CHECK: encoding: [0x8f,0xe9,0x7c,0x80,0x3a]
vfrczps (%rdx), %ymm7
// CHECK: vfrczps (%rdx), %ymm9
// CHECK: encoding: [0x8f,0x69,0x7c,0x80,0x0a]
vfrczps (%rdx), %ymm9
// CHECK: vfrczps %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x49,0x78,0x80,0xff]
vfrczps %xmm15, %xmm15
// CHECK: vfrczps %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x80,0xf6]
vfrczps %xmm6, %xmm6
// CHECK: vfrczps %ymm7, %ymm7
// CHECK: encoding: [0x8f,0xe9,0x7c,0x80,0xff]
vfrczps %ymm7, %ymm7
// CHECK: vfrczps %ymm9, %ymm9
// CHECK: encoding: [0x8f,0x49,0x7c,0x80,0xc9]
vfrczps %ymm9, %ymm9
// CHECK: vfrczsd 485498096, %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x83,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfrczsd 485498096, %xmm15
// CHECK: vfrczsd 485498096, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x83,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfrczsd 485498096, %xmm6
// CHECK: vfrczsd 64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x83,0x7c,0x82,0x40]
vfrczsd 64(%rdx,%rax,4), %xmm15
// CHECK: vfrczsd -64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x83,0x7c,0x82,0xc0]
vfrczsd -64(%rdx,%rax,4), %xmm15
// CHECK: vfrczsd 64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x83,0x74,0x82,0x40]
vfrczsd 64(%rdx,%rax,4), %xmm6
// CHECK: vfrczsd -64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x83,0x74,0x82,0xc0]
vfrczsd -64(%rdx,%rax,4), %xmm6
// CHECK: vfrczsd 64(%rdx,%rax), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x83,0x7c,0x02,0x40]
vfrczsd 64(%rdx,%rax), %xmm15
// CHECK: vfrczsd 64(%rdx,%rax), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x83,0x74,0x02,0x40]
vfrczsd 64(%rdx,%rax), %xmm6
// CHECK: vfrczsd 64(%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x83,0x7a,0x40]
vfrczsd 64(%rdx), %xmm15
// CHECK: vfrczsd 64(%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x83,0x72,0x40]
vfrczsd 64(%rdx), %xmm6
// CHECK: vfrczsd (%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x83,0x3a]
vfrczsd (%rdx), %xmm15
// CHECK: vfrczsd (%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x83,0x32]
vfrczsd (%rdx), %xmm6
// CHECK: vfrczsd %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x49,0x78,0x83,0xff]
vfrczsd %xmm15, %xmm15
// CHECK: vfrczsd %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x83,0xf6]
vfrczsd %xmm6, %xmm6
// CHECK: vfrczss 485498096, %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x82,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfrczss 485498096, %xmm15
// CHECK: vfrczss 485498096, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x82,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfrczss 485498096, %xmm6
// CHECK: vfrczss 64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x82,0x7c,0x82,0x40]
vfrczss 64(%rdx,%rax,4), %xmm15
// CHECK: vfrczss -64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x82,0x7c,0x82,0xc0]
vfrczss -64(%rdx,%rax,4), %xmm15
// CHECK: vfrczss 64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x82,0x74,0x82,0x40]
vfrczss 64(%rdx,%rax,4), %xmm6
// CHECK: vfrczss -64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x82,0x74,0x82,0xc0]
vfrczss -64(%rdx,%rax,4), %xmm6
// CHECK: vfrczss 64(%rdx,%rax), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x82,0x7c,0x02,0x40]
vfrczss 64(%rdx,%rax), %xmm15
// CHECK: vfrczss 64(%rdx,%rax), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x82,0x74,0x02,0x40]
vfrczss 64(%rdx,%rax), %xmm6
// CHECK: vfrczss 64(%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x82,0x7a,0x40]
vfrczss 64(%rdx), %xmm15
// CHECK: vfrczss 64(%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x82,0x72,0x40]
vfrczss 64(%rdx), %xmm6
// CHECK: vfrczss (%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0x82,0x3a]
vfrczss (%rdx), %xmm15
// CHECK: vfrczss (%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x82,0x32]
vfrczss (%rdx), %xmm6
// CHECK: vfrczss %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x49,0x78,0x82,0xff]
vfrczss %xmm15, %xmm15
// CHECK: vfrczss %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0x82,0xf6]
vfrczss %xmm6, %xmm6
// CHECK: vpcmov 485498096, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x80,0xa2,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0xf0]
vpcmov 485498096, %xmm15, %xmm15, %xmm15
// CHECK: vpcmov 485498096, %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0xc8,0xa2,0x34,0x25,0xf0,0x1c,0xf0,0x1c,0x60]
vpcmov 485498096, %xmm6, %xmm6, %xmm6
// CHECK: vpcmov 485498096, %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0x8f,0xe8,0xc4,0xa2,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0x70]
vpcmov 485498096, %ymm7, %ymm7, %ymm7
// CHECK: vpcmov 485498096, %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0x8f,0x68,0xb4,0xa2,0x0c,0x25,0xf0,0x1c,0xf0,0x1c,0x90]
vpcmov 485498096, %ymm9, %ymm9, %ymm9
// CHECK: vpcmov 64(%rdx,%rax,4), %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x80,0xa2,0x7c,0x82,0x40,0xf0]
vpcmov 64(%rdx,%rax,4), %xmm15, %xmm15, %xmm15
// CHECK: vpcmov -64(%rdx,%rax,4), %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x80,0xa2,0x7c,0x82,0xc0,0xf0]
vpcmov -64(%rdx,%rax,4), %xmm15, %xmm15, %xmm15
// CHECK: vpcmov 64(%rdx,%rax,4), %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0xc8,0xa2,0x74,0x82,0x40,0x60]
vpcmov 64(%rdx,%rax,4), %xmm6, %xmm6, %xmm6
// CHECK: vpcmov -64(%rdx,%rax,4), %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0xc8,0xa2,0x74,0x82,0xc0,0x60]
vpcmov -64(%rdx,%rax,4), %xmm6, %xmm6, %xmm6
// CHECK: vpcmov 64(%rdx,%rax,4), %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0x8f,0xe8,0xc4,0xa2,0x7c,0x82,0x40,0x70]
vpcmov 64(%rdx,%rax,4), %ymm7, %ymm7, %ymm7
// CHECK: vpcmov -64(%rdx,%rax,4), %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0x8f,0xe8,0xc4,0xa2,0x7c,0x82,0xc0,0x70]
vpcmov -64(%rdx,%rax,4), %ymm7, %ymm7, %ymm7
// CHECK: vpcmov 64(%rdx,%rax,4), %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0x8f,0x68,0xb4,0xa2,0x4c,0x82,0x40,0x90]
vpcmov 64(%rdx,%rax,4), %ymm9, %ymm9, %ymm9
// CHECK: vpcmov -64(%rdx,%rax,4), %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0x8f,0x68,0xb4,0xa2,0x4c,0x82,0xc0,0x90]
vpcmov -64(%rdx,%rax,4), %ymm9, %ymm9, %ymm9
// CHECK: vpcmov 64(%rdx,%rax), %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x80,0xa2,0x7c,0x02,0x40,0xf0]
vpcmov 64(%rdx,%rax), %xmm15, %xmm15, %xmm15
// CHECK: vpcmov 64(%rdx,%rax), %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0xc8,0xa2,0x74,0x02,0x40,0x60]
vpcmov 64(%rdx,%rax), %xmm6, %xmm6, %xmm6
// CHECK: vpcmov 64(%rdx,%rax), %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0x8f,0xe8,0xc4,0xa2,0x7c,0x02,0x40,0x70]
vpcmov 64(%rdx,%rax), %ymm7, %ymm7, %ymm7
// CHECK: vpcmov 64(%rdx,%rax), %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0x8f,0x68,0xb4,0xa2,0x4c,0x02,0x40,0x90]
vpcmov 64(%rdx,%rax), %ymm9, %ymm9, %ymm9
// CHECK: vpcmov 64(%rdx), %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x80,0xa2,0x7a,0x40,0xf0]
vpcmov 64(%rdx), %xmm15, %xmm15, %xmm15
// CHECK: vpcmov 64(%rdx), %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0xc8,0xa2,0x72,0x40,0x60]
vpcmov 64(%rdx), %xmm6, %xmm6, %xmm6
// CHECK: vpcmov 64(%rdx), %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0x8f,0xe8,0xc4,0xa2,0x7a,0x40,0x70]
vpcmov 64(%rdx), %ymm7, %ymm7, %ymm7
// CHECK: vpcmov 64(%rdx), %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0x8f,0x68,0xb4,0xa2,0x4a,0x40,0x90]
vpcmov 64(%rdx), %ymm9, %ymm9, %ymm9
// CHECK: vpcmov (%rdx), %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x80,0xa2,0x3a,0xf0]
vpcmov (%rdx), %xmm15, %xmm15, %xmm15
// CHECK: vpcmov (%rdx), %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0xc8,0xa2,0x32,0x60]
vpcmov (%rdx), %xmm6, %xmm6, %xmm6
// CHECK: vpcmov (%rdx), %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0x8f,0xe8,0xc4,0xa2,0x3a,0x70]
vpcmov (%rdx), %ymm7, %ymm7, %ymm7
// CHECK: vpcmov (%rdx), %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0x8f,0x68,0xb4,0xa2,0x0a,0x90]
vpcmov (%rdx), %ymm9, %ymm9, %ymm9
// CHECK: vpcmov %xmm15, 485498096, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xa2,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0xf0]
vpcmov %xmm15, 485498096, %xmm15, %xmm15
// CHECK: vpcmov %xmm15, 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xa2,0x7c,0x82,0x40,0xf0]
vpcmov %xmm15, 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcmov %xmm15, -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xa2,0x7c,0x82,0xc0,0xf0]
vpcmov %xmm15, -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcmov %xmm15, 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xa2,0x7c,0x02,0x40,0xf0]
vpcmov %xmm15, 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vpcmov %xmm15, 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xa2,0x7a,0x40,0xf0]
vpcmov %xmm15, 64(%rdx), %xmm15, %xmm15
// CHECK: vpcmov %xmm15, (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xa2,0x3a,0xf0]
vpcmov %xmm15, (%rdx), %xmm15, %xmm15
// CHECK: vpcmov %xmm15, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x48,0x00,0xa2,0xff,0xf0]
vpcmov %xmm15, %xmm15, %xmm15, %xmm15
// CHECK: vpcmov %xmm6, 485498096, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xa2,0x34,0x25,0xf0,0x1c,0xf0,0x1c,0x60]
vpcmov %xmm6, 485498096, %xmm6, %xmm6
// CHECK: vpcmov %xmm6, 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xa2,0x74,0x82,0x40,0x60]
vpcmov %xmm6, 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcmov %xmm6, -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xa2,0x74,0x82,0xc0,0x60]
vpcmov %xmm6, -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcmov %xmm6, 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xa2,0x74,0x02,0x40,0x60]
vpcmov %xmm6, 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vpcmov %xmm6, 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xa2,0x72,0x40,0x60]
vpcmov %xmm6, 64(%rdx), %xmm6, %xmm6
// CHECK: vpcmov %xmm6, (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xa2,0x32,0x60]
vpcmov %xmm6, (%rdx), %xmm6, %xmm6
// CHECK: vpcmov %xmm6, %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xa2,0xf6,0x60]
vpcmov %xmm6, %xmm6, %xmm6, %xmm6
// CHECK: vpcmov %ymm7, 485498096, %ymm7, %ymm7
// CHECK: encoding: [0x8f,0xe8,0x44,0xa2,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0x70]
vpcmov %ymm7, 485498096, %ymm7, %ymm7
// CHECK: vpcmov %ymm7, 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0x8f,0xe8,0x44,0xa2,0x7c,0x82,0x40,0x70]
vpcmov %ymm7, 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vpcmov %ymm7, -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0x8f,0xe8,0x44,0xa2,0x7c,0x82,0xc0,0x70]
vpcmov %ymm7, -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vpcmov %ymm7, 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0x8f,0xe8,0x44,0xa2,0x7c,0x02,0x40,0x70]
vpcmov %ymm7, 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vpcmov %ymm7, 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0x8f,0xe8,0x44,0xa2,0x7a,0x40,0x70]
vpcmov %ymm7, 64(%rdx), %ymm7, %ymm7
// CHECK: vpcmov %ymm7, (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0x8f,0xe8,0x44,0xa2,0x3a,0x70]
vpcmov %ymm7, (%rdx), %ymm7, %ymm7
// CHECK: vpcmov %ymm7, %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0x8f,0xe8,0x44,0xa2,0xff,0x70]
vpcmov %ymm7, %ymm7, %ymm7, %ymm7
// CHECK: vpcmov %ymm9, 485498096, %ymm9, %ymm9
// CHECK: encoding: [0x8f,0x68,0x34,0xa2,0x0c,0x25,0xf0,0x1c,0xf0,0x1c,0x90]
vpcmov %ymm9, 485498096, %ymm9, %ymm9
// CHECK: vpcmov %ymm9, 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0x8f,0x68,0x34,0xa2,0x4c,0x82,0x40,0x90]
vpcmov %ymm9, 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vpcmov %ymm9, -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0x8f,0x68,0x34,0xa2,0x4c,0x82,0xc0,0x90]
vpcmov %ymm9, -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vpcmov %ymm9, 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0x8f,0x68,0x34,0xa2,0x4c,0x02,0x40,0x90]
vpcmov %ymm9, 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vpcmov %ymm9, 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0x8f,0x68,0x34,0xa2,0x4a,0x40,0x90]
vpcmov %ymm9, 64(%rdx), %ymm9, %ymm9
// CHECK: vpcmov %ymm9, (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0x8f,0x68,0x34,0xa2,0x0a,0x90]
vpcmov %ymm9, (%rdx), %ymm9, %ymm9
// CHECK: vpcmov %ymm9, %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0x8f,0x48,0x34,0xa2,0xc9,0x90]
vpcmov %ymm9, %ymm9, %ymm9, %ymm9
// CHECK: vpcomltb 485498096, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcc,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vpcomltb 485498096, %xmm15, %xmm15
// CHECK: vpcomltb 485498096, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcc,0x34,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vpcomltb 485498096, %xmm6, %xmm6
// CHECK: vpcomltb 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcc,0x7c,0x82,0x40,0x00]
vpcomltb 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcomltb -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcc,0x7c,0x82,0xc0,0x00]
vpcomltb -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcomltb 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcc,0x74,0x82,0x40,0x00]
vpcomltb 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcomltb -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcc,0x74,0x82,0xc0,0x00]
vpcomltb -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcomltb 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcc,0x7c,0x02,0x40,0x00]
vpcomltb 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vpcomltb 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcc,0x74,0x02,0x40,0x00]
vpcomltb 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vpcomltb 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcc,0x7a,0x40,0x00]
vpcomltb 64(%rdx), %xmm15, %xmm15
// CHECK: vpcomltb 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcc,0x72,0x40,0x00]
vpcomltb 64(%rdx), %xmm6, %xmm6
// CHECK: vpcomltb (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcc,0x3a,0x00]
vpcomltb (%rdx), %xmm15, %xmm15
// CHECK: vpcomltb (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcc,0x32,0x00]
vpcomltb (%rdx), %xmm6, %xmm6
// CHECK: vpcomltb %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x48,0x00,0xcc,0xff,0x00]
vpcomltb %xmm15, %xmm15, %xmm15
// CHECK: vpcomltb %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcc,0xf6,0x00]
vpcomltb %xmm6, %xmm6, %xmm6
// CHECK: vpcomltd 485498096, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xce,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vpcomltd 485498096, %xmm15, %xmm15
// CHECK: vpcomltd 485498096, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xce,0x34,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vpcomltd 485498096, %xmm6, %xmm6
// CHECK: vpcomltd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xce,0x7c,0x82,0x40,0x00]
vpcomltd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcomltd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xce,0x7c,0x82,0xc0,0x00]
vpcomltd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcomltd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xce,0x74,0x82,0x40,0x00]
vpcomltd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcomltd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xce,0x74,0x82,0xc0,0x00]
vpcomltd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcomltd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xce,0x7c,0x02,0x40,0x00]
vpcomltd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vpcomltd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xce,0x74,0x02,0x40,0x00]
vpcomltd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vpcomltd 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xce,0x7a,0x40,0x00]
vpcomltd 64(%rdx), %xmm15, %xmm15
// CHECK: vpcomltd 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xce,0x72,0x40,0x00]
vpcomltd 64(%rdx), %xmm6, %xmm6
// CHECK: vpcomltd (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xce,0x3a,0x00]
vpcomltd (%rdx), %xmm15, %xmm15
// CHECK: vpcomltd (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xce,0x32,0x00]
vpcomltd (%rdx), %xmm6, %xmm6
// CHECK: vpcomltd %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x48,0x00,0xce,0xff,0x00]
vpcomltd %xmm15, %xmm15, %xmm15
// CHECK: vpcomltd %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xce,0xf6,0x00]
vpcomltd %xmm6, %xmm6, %xmm6
// CHECK: vpcomltq 485498096, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcf,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vpcomltq 485498096, %xmm15, %xmm15
// CHECK: vpcomltq 485498096, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcf,0x34,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vpcomltq 485498096, %xmm6, %xmm6
// CHECK: vpcomltq 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcf,0x7c,0x82,0x40,0x00]
vpcomltq 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcomltq -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcf,0x7c,0x82,0xc0,0x00]
vpcomltq -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcomltq 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcf,0x74,0x82,0x40,0x00]
vpcomltq 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcomltq -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcf,0x74,0x82,0xc0,0x00]
vpcomltq -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcomltq 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcf,0x7c,0x02,0x40,0x00]
vpcomltq 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vpcomltq 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcf,0x74,0x02,0x40,0x00]
vpcomltq 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vpcomltq 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcf,0x7a,0x40,0x00]
vpcomltq 64(%rdx), %xmm15, %xmm15
// CHECK: vpcomltq 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcf,0x72,0x40,0x00]
vpcomltq 64(%rdx), %xmm6, %xmm6
// CHECK: vpcomltq (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcf,0x3a,0x00]
vpcomltq (%rdx), %xmm15, %xmm15
// CHECK: vpcomltq (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcf,0x32,0x00]
vpcomltq (%rdx), %xmm6, %xmm6
// CHECK: vpcomltq %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x48,0x00,0xcf,0xff,0x00]
vpcomltq %xmm15, %xmm15, %xmm15
// CHECK: vpcomltq %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcf,0xf6,0x00]
vpcomltq %xmm6, %xmm6, %xmm6
// CHECK: vpcomltub 485498096, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xec,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vpcomltub 485498096, %xmm15, %xmm15
// CHECK: vpcomltub 485498096, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xec,0x34,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vpcomltub 485498096, %xmm6, %xmm6
// CHECK: vpcomltub 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xec,0x7c,0x82,0x40,0x00]
vpcomltub 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcomltub -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xec,0x7c,0x82,0xc0,0x00]
vpcomltub -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcomltub 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xec,0x74,0x82,0x40,0x00]
vpcomltub 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcomltub -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xec,0x74,0x82,0xc0,0x00]
vpcomltub -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcomltub 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xec,0x7c,0x02,0x40,0x00]
vpcomltub 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vpcomltub 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xec,0x74,0x02,0x40,0x00]
vpcomltub 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vpcomltub 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xec,0x7a,0x40,0x00]
vpcomltub 64(%rdx), %xmm15, %xmm15
// CHECK: vpcomltub 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xec,0x72,0x40,0x00]
vpcomltub 64(%rdx), %xmm6, %xmm6
// CHECK: vpcomltub (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xec,0x3a,0x00]
vpcomltub (%rdx), %xmm15, %xmm15
// CHECK: vpcomltub (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xec,0x32,0x00]
vpcomltub (%rdx), %xmm6, %xmm6
// CHECK: vpcomltub %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x48,0x00,0xec,0xff,0x00]
vpcomltub %xmm15, %xmm15, %xmm15
// CHECK: vpcomltub %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xec,0xf6,0x00]
vpcomltub %xmm6, %xmm6, %xmm6
// CHECK: vpcomltud 485498096, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xee,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vpcomltud 485498096, %xmm15, %xmm15
// CHECK: vpcomltud 485498096, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xee,0x34,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vpcomltud 485498096, %xmm6, %xmm6
// CHECK: vpcomltud 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xee,0x7c,0x82,0x40,0x00]
vpcomltud 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcomltud -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xee,0x7c,0x82,0xc0,0x00]
vpcomltud -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcomltud 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xee,0x74,0x82,0x40,0x00]
vpcomltud 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcomltud -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xee,0x74,0x82,0xc0,0x00]
vpcomltud -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcomltud 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xee,0x7c,0x02,0x40,0x00]
vpcomltud 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vpcomltud 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xee,0x74,0x02,0x40,0x00]
vpcomltud 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vpcomltud 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xee,0x7a,0x40,0x00]
vpcomltud 64(%rdx), %xmm15, %xmm15
// CHECK: vpcomltud 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xee,0x72,0x40,0x00]
vpcomltud 64(%rdx), %xmm6, %xmm6
// CHECK: vpcomltud (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xee,0x3a,0x00]
vpcomltud (%rdx), %xmm15, %xmm15
// CHECK: vpcomltud (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xee,0x32,0x00]
vpcomltud (%rdx), %xmm6, %xmm6
// CHECK: vpcomltud %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x48,0x00,0xee,0xff,0x00]
vpcomltud %xmm15, %xmm15, %xmm15
// CHECK: vpcomltud %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xee,0xf6,0x00]
vpcomltud %xmm6, %xmm6, %xmm6
// CHECK: vpcomltuq 485498096, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xef,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vpcomltuq 485498096, %xmm15, %xmm15
// CHECK: vpcomltuq 485498096, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xef,0x34,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vpcomltuq 485498096, %xmm6, %xmm6
// CHECK: vpcomltuq 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xef,0x7c,0x82,0x40,0x00]
vpcomltuq 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcomltuq -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xef,0x7c,0x82,0xc0,0x00]
vpcomltuq -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcomltuq 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xef,0x74,0x82,0x40,0x00]
vpcomltuq 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcomltuq -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xef,0x74,0x82,0xc0,0x00]
vpcomltuq -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcomltuq 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xef,0x7c,0x02,0x40,0x00]
vpcomltuq 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vpcomltuq 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xef,0x74,0x02,0x40,0x00]
vpcomltuq 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vpcomltuq 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xef,0x7a,0x40,0x00]
vpcomltuq 64(%rdx), %xmm15, %xmm15
// CHECK: vpcomltuq 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xef,0x72,0x40,0x00]
vpcomltuq 64(%rdx), %xmm6, %xmm6
// CHECK: vpcomltuq (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xef,0x3a,0x00]
vpcomltuq (%rdx), %xmm15, %xmm15
// CHECK: vpcomltuq (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xef,0x32,0x00]
vpcomltuq (%rdx), %xmm6, %xmm6
// CHECK: vpcomltuq %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x48,0x00,0xef,0xff,0x00]
vpcomltuq %xmm15, %xmm15, %xmm15
// CHECK: vpcomltuq %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xef,0xf6,0x00]
vpcomltuq %xmm6, %xmm6, %xmm6
// CHECK: vpcomltuw 485498096, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xed,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vpcomltuw 485498096, %xmm15, %xmm15
// CHECK: vpcomltuw 485498096, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xed,0x34,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vpcomltuw 485498096, %xmm6, %xmm6
// CHECK: vpcomltuw 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xed,0x7c,0x82,0x40,0x00]
vpcomltuw 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcomltuw -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xed,0x7c,0x82,0xc0,0x00]
vpcomltuw -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcomltuw 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xed,0x74,0x82,0x40,0x00]
vpcomltuw 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcomltuw -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xed,0x74,0x82,0xc0,0x00]
vpcomltuw -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcomltuw 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xed,0x7c,0x02,0x40,0x00]
vpcomltuw 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vpcomltuw 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xed,0x74,0x02,0x40,0x00]
vpcomltuw 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vpcomltuw 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xed,0x7a,0x40,0x00]
vpcomltuw 64(%rdx), %xmm15, %xmm15
// CHECK: vpcomltuw 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xed,0x72,0x40,0x00]
vpcomltuw 64(%rdx), %xmm6, %xmm6
// CHECK: vpcomltuw (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xed,0x3a,0x00]
vpcomltuw (%rdx), %xmm15, %xmm15
// CHECK: vpcomltuw (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xed,0x32,0x00]
vpcomltuw (%rdx), %xmm6, %xmm6
// CHECK: vpcomltuw %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x48,0x00,0xed,0xff,0x00]
vpcomltuw %xmm15, %xmm15, %xmm15
// CHECK: vpcomltuw %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xed,0xf6,0x00]
vpcomltuw %xmm6, %xmm6, %xmm6
// CHECK: vpcomltw 485498096, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcd,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vpcomltw 485498096, %xmm15, %xmm15
// CHECK: vpcomltw 485498096, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcd,0x34,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vpcomltw 485498096, %xmm6, %xmm6
// CHECK: vpcomltw 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcd,0x7c,0x82,0x40,0x00]
vpcomltw 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcomltw -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcd,0x7c,0x82,0xc0,0x00]
vpcomltw -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpcomltw 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcd,0x74,0x82,0x40,0x00]
vpcomltw 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcomltw -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcd,0x74,0x82,0xc0,0x00]
vpcomltw -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpcomltw 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcd,0x7c,0x02,0x40,0x00]
vpcomltw 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vpcomltw 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcd,0x74,0x02,0x40,0x00]
vpcomltw 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vpcomltw 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcd,0x7a,0x40,0x00]
vpcomltw 64(%rdx), %xmm15, %xmm15
// CHECK: vpcomltw 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcd,0x72,0x40,0x00]
vpcomltw 64(%rdx), %xmm6, %xmm6
// CHECK: vpcomltw (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x68,0x00,0xcd,0x3a,0x00]
vpcomltw (%rdx), %xmm15, %xmm15
// CHECK: vpcomltw (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcd,0x32,0x00]
vpcomltw (%rdx), %xmm6, %xmm6
// CHECK: vpcomltw %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x48,0x00,0xcd,0xff,0x00]
vpcomltw %xmm15, %xmm15, %xmm15
// CHECK: vpcomltw %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe8,0x48,0xcd,0xf6,0x00]
vpcomltw %xmm6, %xmm6, %xmm6
// CHECK: vpermil2pd $0, 485498096, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x81,0x49,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0xf0]
vpermil2pd $0, 485498096, %xmm15, %xmm15, %xmm15
// CHECK: vpermil2pd $0, 485498096, %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0xc9,0x49,0x34,0x25,0xf0,0x1c,0xf0,0x1c,0x60]
vpermil2pd $0, 485498096, %xmm6, %xmm6, %xmm6
// CHECK: vpermil2pd $0, 485498096, %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0xc5,0x49,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0x70]
vpermil2pd $0, 485498096, %ymm7, %ymm7, %ymm7
// CHECK: vpermil2pd $0, 485498096, %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0xb5,0x49,0x0c,0x25,0xf0,0x1c,0xf0,0x1c,0x90]
vpermil2pd $0, 485498096, %ymm9, %ymm9, %ymm9
// CHECK: vpermil2pd $0, 64(%rdx,%rax,4), %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x81,0x49,0x7c,0x82,0x40,0xf0]
vpermil2pd $0, 64(%rdx,%rax,4), %xmm15, %xmm15, %xmm15
// CHECK: vpermil2pd $0, -64(%rdx,%rax,4), %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x81,0x49,0x7c,0x82,0xc0,0xf0]
vpermil2pd $0, -64(%rdx,%rax,4), %xmm15, %xmm15, %xmm15
// CHECK: vpermil2pd $0, 64(%rdx,%rax,4), %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0xc9,0x49,0x74,0x82,0x40,0x60]
vpermil2pd $0, 64(%rdx,%rax,4), %xmm6, %xmm6, %xmm6
// CHECK: vpermil2pd $0, -64(%rdx,%rax,4), %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0xc9,0x49,0x74,0x82,0xc0,0x60]
vpermil2pd $0, -64(%rdx,%rax,4), %xmm6, %xmm6, %xmm6
// CHECK: vpermil2pd $0, 64(%rdx,%rax,4), %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0xc5,0x49,0x7c,0x82,0x40,0x70]
vpermil2pd $0, 64(%rdx,%rax,4), %ymm7, %ymm7, %ymm7
// CHECK: vpermil2pd $0, -64(%rdx,%rax,4), %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0xc5,0x49,0x7c,0x82,0xc0,0x70]
vpermil2pd $0, -64(%rdx,%rax,4), %ymm7, %ymm7, %ymm7
// CHECK: vpermil2pd $0, 64(%rdx,%rax,4), %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0xb5,0x49,0x4c,0x82,0x40,0x90]
vpermil2pd $0, 64(%rdx,%rax,4), %ymm9, %ymm9, %ymm9
// CHECK: vpermil2pd $0, -64(%rdx,%rax,4), %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0xb5,0x49,0x4c,0x82,0xc0,0x90]
vpermil2pd $0, -64(%rdx,%rax,4), %ymm9, %ymm9, %ymm9
// CHECK: vpermil2pd $0, 64(%rdx,%rax), %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x81,0x49,0x7c,0x02,0x40,0xf0]
vpermil2pd $0, 64(%rdx,%rax), %xmm15, %xmm15, %xmm15
// CHECK: vpermil2pd $0, 64(%rdx,%rax), %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0xc9,0x49,0x74,0x02,0x40,0x60]
vpermil2pd $0, 64(%rdx,%rax), %xmm6, %xmm6, %xmm6
// CHECK: vpermil2pd $0, 64(%rdx,%rax), %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0xc5,0x49,0x7c,0x02,0x40,0x70]
vpermil2pd $0, 64(%rdx,%rax), %ymm7, %ymm7, %ymm7
// CHECK: vpermil2pd $0, 64(%rdx,%rax), %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0xb5,0x49,0x4c,0x02,0x40,0x90]
vpermil2pd $0, 64(%rdx,%rax), %ymm9, %ymm9, %ymm9
// CHECK: vpermil2pd $0, 64(%rdx), %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x81,0x49,0x7a,0x40,0xf0]
vpermil2pd $0, 64(%rdx), %xmm15, %xmm15, %xmm15
// CHECK: vpermil2pd $0, 64(%rdx), %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0xc9,0x49,0x72,0x40,0x60]
vpermil2pd $0, 64(%rdx), %xmm6, %xmm6, %xmm6
// CHECK: vpermil2pd $0, 64(%rdx), %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0xc5,0x49,0x7a,0x40,0x70]
vpermil2pd $0, 64(%rdx), %ymm7, %ymm7, %ymm7
// CHECK: vpermil2pd $0, 64(%rdx), %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0xb5,0x49,0x4a,0x40,0x90]
vpermil2pd $0, 64(%rdx), %ymm9, %ymm9, %ymm9
// CHECK: vpermil2pd $0, (%rdx), %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x81,0x49,0x3a,0xf0]
vpermil2pd $0, (%rdx), %xmm15, %xmm15, %xmm15
// CHECK: vpermil2pd $0, (%rdx), %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0xc9,0x49,0x32,0x60]
vpermil2pd $0, (%rdx), %xmm6, %xmm6, %xmm6
// CHECK: vpermil2pd $0, (%rdx), %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0xc5,0x49,0x3a,0x70]
vpermil2pd $0, (%rdx), %ymm7, %ymm7, %ymm7
// CHECK: vpermil2pd $0, (%rdx), %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0xb5,0x49,0x0a,0x90]
vpermil2pd $0, (%rdx), %ymm9, %ymm9, %ymm9
// CHECK: vpermil2pd $0, %xmm15, 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x01,0x49,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0xf0]
vpermil2pd $0, %xmm15, 485498096, %xmm15, %xmm15
// CHECK: vpermil2pd $0, %xmm15, 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x01,0x49,0x7c,0x82,0x40,0xf0]
vpermil2pd $0, %xmm15, 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpermil2pd $0, %xmm15, -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x01,0x49,0x7c,0x82,0xc0,0xf0]
vpermil2pd $0, %xmm15, -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpermil2pd $0, %xmm15, 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x01,0x49,0x7c,0x02,0x40,0xf0]
vpermil2pd $0, %xmm15, 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vpermil2pd $0, %xmm15, 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x01,0x49,0x7a,0x40,0xf0]
vpermil2pd $0, %xmm15, 64(%rdx), %xmm15, %xmm15
// CHECK: vpermil2pd $0, %xmm15, (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x01,0x49,0x3a,0xf0]
vpermil2pd $0, %xmm15, (%rdx), %xmm15, %xmm15
// CHECK: vpermil2pd $0, %xmm15, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x43,0x01,0x49,0xff,0xf0]
vpermil2pd $0, %xmm15, %xmm15, %xmm15, %xmm15
// CHECK: vpermil2pd $0, %xmm6, 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0x49,0x49,0x34,0x25,0xf0,0x1c,0xf0,0x1c,0x60]
vpermil2pd $0, %xmm6, 485498096, %xmm6, %xmm6
// CHECK: vpermil2pd $0, %xmm6, 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0x49,0x49,0x74,0x82,0x40,0x60]
vpermil2pd $0, %xmm6, 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpermil2pd $0, %xmm6, -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0x49,0x49,0x74,0x82,0xc0,0x60]
vpermil2pd $0, %xmm6, -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpermil2pd $0, %xmm6, 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0x49,0x49,0x74,0x02,0x40,0x60]
vpermil2pd $0, %xmm6, 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vpermil2pd $0, %xmm6, 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0x49,0x49,0x72,0x40,0x60]
vpermil2pd $0, %xmm6, 64(%rdx), %xmm6, %xmm6
// CHECK: vpermil2pd $0, %xmm6, (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0x49,0x49,0x32,0x60]
vpermil2pd $0, %xmm6, (%rdx), %xmm6, %xmm6
// CHECK: vpermil2pd $0, %xmm6, %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0x49,0x49,0xf6,0x60]
vpermil2pd $0, %xmm6, %xmm6, %xmm6, %xmm6
// CHECK: vpermil2pd $0, %ymm7, 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0x45,0x49,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0x70]
vpermil2pd $0, %ymm7, 485498096, %ymm7, %ymm7
// CHECK: vpermil2pd $0, %ymm7, 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0x45,0x49,0x7c,0x82,0x40,0x70]
vpermil2pd $0, %ymm7, 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vpermil2pd $0, %ymm7, -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0x45,0x49,0x7c,0x82,0xc0,0x70]
vpermil2pd $0, %ymm7, -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vpermil2pd $0, %ymm7, 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0x45,0x49,0x7c,0x02,0x40,0x70]
vpermil2pd $0, %ymm7, 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vpermil2pd $0, %ymm7, 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0x45,0x49,0x7a,0x40,0x70]
vpermil2pd $0, %ymm7, 64(%rdx), %ymm7, %ymm7
// CHECK: vpermil2pd $0, %ymm7, (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0x45,0x49,0x3a,0x70]
vpermil2pd $0, %ymm7, (%rdx), %ymm7, %ymm7
// CHECK: vpermil2pd $0, %ymm7, %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0x45,0x49,0xff,0x70]
vpermil2pd $0, %ymm7, %ymm7, %ymm7, %ymm7
// CHECK: vpermil2pd $0, %ymm9, 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0x35,0x49,0x0c,0x25,0xf0,0x1c,0xf0,0x1c,0x90]
vpermil2pd $0, %ymm9, 485498096, %ymm9, %ymm9
// CHECK: vpermil2pd $0, %ymm9, 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0x35,0x49,0x4c,0x82,0x40,0x90]
vpermil2pd $0, %ymm9, 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vpermil2pd $0, %ymm9, -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0x35,0x49,0x4c,0x82,0xc0,0x90]
vpermil2pd $0, %ymm9, -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vpermil2pd $0, %ymm9, 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0x35,0x49,0x4c,0x02,0x40,0x90]
vpermil2pd $0, %ymm9, 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vpermil2pd $0, %ymm9, 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0x35,0x49,0x4a,0x40,0x90]
vpermil2pd $0, %ymm9, 64(%rdx), %ymm9, %ymm9
// CHECK: vpermil2pd $0, %ymm9, (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0x35,0x49,0x0a,0x90]
vpermil2pd $0, %ymm9, (%rdx), %ymm9, %ymm9
// CHECK: vpermil2pd $0, %ymm9, %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x43,0x35,0x49,0xc9,0x90]
vpermil2pd $0, %ymm9, %ymm9, %ymm9, %ymm9
// CHECK: vpermil2ps $0, 485498096, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x81,0x48,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0xf0]
vpermil2ps $0, 485498096, %xmm15, %xmm15, %xmm15
// CHECK: vpermil2ps $0, 485498096, %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0xc9,0x48,0x34,0x25,0xf0,0x1c,0xf0,0x1c,0x60]
vpermil2ps $0, 485498096, %xmm6, %xmm6, %xmm6
// CHECK: vpermil2ps $0, 485498096, %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0xc5,0x48,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0x70]
vpermil2ps $0, 485498096, %ymm7, %ymm7, %ymm7
// CHECK: vpermil2ps $0, 485498096, %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0xb5,0x48,0x0c,0x25,0xf0,0x1c,0xf0,0x1c,0x90]
vpermil2ps $0, 485498096, %ymm9, %ymm9, %ymm9
// CHECK: vpermil2ps $0, 64(%rdx,%rax,4), %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x81,0x48,0x7c,0x82,0x40,0xf0]
vpermil2ps $0, 64(%rdx,%rax,4), %xmm15, %xmm15, %xmm15
// CHECK: vpermil2ps $0, -64(%rdx,%rax,4), %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x81,0x48,0x7c,0x82,0xc0,0xf0]
vpermil2ps $0, -64(%rdx,%rax,4), %xmm15, %xmm15, %xmm15
// CHECK: vpermil2ps $0, 64(%rdx,%rax,4), %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0xc9,0x48,0x74,0x82,0x40,0x60]
vpermil2ps $0, 64(%rdx,%rax,4), %xmm6, %xmm6, %xmm6
// CHECK: vpermil2ps $0, -64(%rdx,%rax,4), %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0xc9,0x48,0x74,0x82,0xc0,0x60]
vpermil2ps $0, -64(%rdx,%rax,4), %xmm6, %xmm6, %xmm6
// CHECK: vpermil2ps $0, 64(%rdx,%rax,4), %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0xc5,0x48,0x7c,0x82,0x40,0x70]
vpermil2ps $0, 64(%rdx,%rax,4), %ymm7, %ymm7, %ymm7
// CHECK: vpermil2ps $0, -64(%rdx,%rax,4), %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0xc5,0x48,0x7c,0x82,0xc0,0x70]
vpermil2ps $0, -64(%rdx,%rax,4), %ymm7, %ymm7, %ymm7
// CHECK: vpermil2ps $0, 64(%rdx,%rax,4), %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0xb5,0x48,0x4c,0x82,0x40,0x90]
vpermil2ps $0, 64(%rdx,%rax,4), %ymm9, %ymm9, %ymm9
// CHECK: vpermil2ps $0, -64(%rdx,%rax,4), %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0xb5,0x48,0x4c,0x82,0xc0,0x90]
vpermil2ps $0, -64(%rdx,%rax,4), %ymm9, %ymm9, %ymm9
// CHECK: vpermil2ps $0, 64(%rdx,%rax), %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x81,0x48,0x7c,0x02,0x40,0xf0]
vpermil2ps $0, 64(%rdx,%rax), %xmm15, %xmm15, %xmm15
// CHECK: vpermil2ps $0, 64(%rdx,%rax), %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0xc9,0x48,0x74,0x02,0x40,0x60]
vpermil2ps $0, 64(%rdx,%rax), %xmm6, %xmm6, %xmm6
// CHECK: vpermil2ps $0, 64(%rdx,%rax), %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0xc5,0x48,0x7c,0x02,0x40,0x70]
vpermil2ps $0, 64(%rdx,%rax), %ymm7, %ymm7, %ymm7
// CHECK: vpermil2ps $0, 64(%rdx,%rax), %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0xb5,0x48,0x4c,0x02,0x40,0x90]
vpermil2ps $0, 64(%rdx,%rax), %ymm9, %ymm9, %ymm9
// CHECK: vpermil2ps $0, 64(%rdx), %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x81,0x48,0x7a,0x40,0xf0]
vpermil2ps $0, 64(%rdx), %xmm15, %xmm15, %xmm15
// CHECK: vpermil2ps $0, 64(%rdx), %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0xc9,0x48,0x72,0x40,0x60]
vpermil2ps $0, 64(%rdx), %xmm6, %xmm6, %xmm6
// CHECK: vpermil2ps $0, 64(%rdx), %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0xc5,0x48,0x7a,0x40,0x70]
vpermil2ps $0, 64(%rdx), %ymm7, %ymm7, %ymm7
// CHECK: vpermil2ps $0, 64(%rdx), %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0xb5,0x48,0x4a,0x40,0x90]
vpermil2ps $0, 64(%rdx), %ymm9, %ymm9, %ymm9
// CHECK: vpermil2ps $0, (%rdx), %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x81,0x48,0x3a,0xf0]
vpermil2ps $0, (%rdx), %xmm15, %xmm15, %xmm15
// CHECK: vpermil2ps $0, (%rdx), %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0xc9,0x48,0x32,0x60]
vpermil2ps $0, (%rdx), %xmm6, %xmm6, %xmm6
// CHECK: vpermil2ps $0, (%rdx), %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0xc5,0x48,0x3a,0x70]
vpermil2ps $0, (%rdx), %ymm7, %ymm7, %ymm7
// CHECK: vpermil2ps $0, (%rdx), %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0xb5,0x48,0x0a,0x90]
vpermil2ps $0, (%rdx), %ymm9, %ymm9, %ymm9
// CHECK: vpermil2ps $0, %xmm15, 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x01,0x48,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0xf0]
vpermil2ps $0, %xmm15, 485498096, %xmm15, %xmm15
// CHECK: vpermil2ps $0, %xmm15, 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x01,0x48,0x7c,0x82,0x40,0xf0]
vpermil2ps $0, %xmm15, 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpermil2ps $0, %xmm15, -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x01,0x48,0x7c,0x82,0xc0,0xf0]
vpermil2ps $0, %xmm15, -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vpermil2ps $0, %xmm15, 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x01,0x48,0x7c,0x02,0x40,0xf0]
vpermil2ps $0, %xmm15, 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vpermil2ps $0, %xmm15, 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x01,0x48,0x7a,0x40,0xf0]
vpermil2ps $0, %xmm15, 64(%rdx), %xmm15, %xmm15
// CHECK: vpermil2ps $0, %xmm15, (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x63,0x01,0x48,0x3a,0xf0]
vpermil2ps $0, %xmm15, (%rdx), %xmm15, %xmm15
// CHECK: vpermil2ps $0, %xmm15, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x43,0x01,0x48,0xff,0xf0]
vpermil2ps $0, %xmm15, %xmm15, %xmm15, %xmm15
// CHECK: vpermil2ps $0, %xmm6, 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0x49,0x48,0x34,0x25,0xf0,0x1c,0xf0,0x1c,0x60]
vpermil2ps $0, %xmm6, 485498096, %xmm6, %xmm6
// CHECK: vpermil2ps $0, %xmm6, 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0x49,0x48,0x74,0x82,0x40,0x60]
vpermil2ps $0, %xmm6, 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpermil2ps $0, %xmm6, -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0x49,0x48,0x74,0x82,0xc0,0x60]
vpermil2ps $0, %xmm6, -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vpermil2ps $0, %xmm6, 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0x49,0x48,0x74,0x02,0x40,0x60]
vpermil2ps $0, %xmm6, 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vpermil2ps $0, %xmm6, 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0x49,0x48,0x72,0x40,0x60]
vpermil2ps $0, %xmm6, 64(%rdx), %xmm6, %xmm6
// CHECK: vpermil2ps $0, %xmm6, (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0x49,0x48,0x32,0x60]
vpermil2ps $0, %xmm6, (%rdx), %xmm6, %xmm6
// CHECK: vpermil2ps $0, %xmm6, %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe3,0x49,0x48,0xf6,0x60]
vpermil2ps $0, %xmm6, %xmm6, %xmm6, %xmm6
// CHECK: vpermil2ps $0, %ymm7, 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0x45,0x48,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0x70]
vpermil2ps $0, %ymm7, 485498096, %ymm7, %ymm7
// CHECK: vpermil2ps $0, %ymm7, 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0x45,0x48,0x7c,0x82,0x40,0x70]
vpermil2ps $0, %ymm7, 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vpermil2ps $0, %ymm7, -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0x45,0x48,0x7c,0x82,0xc0,0x70]
vpermil2ps $0, %ymm7, -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vpermil2ps $0, %ymm7, 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0x45,0x48,0x7c,0x02,0x40,0x70]
vpermil2ps $0, %ymm7, 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vpermil2ps $0, %ymm7, 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0x45,0x48,0x7a,0x40,0x70]
vpermil2ps $0, %ymm7, 64(%rdx), %ymm7, %ymm7
// CHECK: vpermil2ps $0, %ymm7, (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0x45,0x48,0x3a,0x70]
vpermil2ps $0, %ymm7, (%rdx), %ymm7, %ymm7
// CHECK: vpermil2ps $0, %ymm7, %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe3,0x45,0x48,0xff,0x70]
vpermil2ps $0, %ymm7, %ymm7, %ymm7, %ymm7
// CHECK: vpermil2ps $0, %ymm9, 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0x35,0x48,0x0c,0x25,0xf0,0x1c,0xf0,0x1c,0x90]
vpermil2ps $0, %ymm9, 485498096, %ymm9, %ymm9
// CHECK: vpermil2ps $0, %ymm9, 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0x35,0x48,0x4c,0x82,0x40,0x90]
vpermil2ps $0, %ymm9, 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vpermil2ps $0, %ymm9, -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0x35,0x48,0x4c,0x82,0xc0,0x90]
vpermil2ps $0, %ymm9, -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vpermil2ps $0, %ymm9, 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0x35,0x48,0x4c,0x02,0x40,0x90]
vpermil2ps $0, %ymm9, 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vpermil2ps $0, %ymm9, 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0x35,0x48,0x4a,0x40,0x90]
vpermil2ps $0, %ymm9, 64(%rdx), %ymm9, %ymm9
// CHECK: vpermil2ps $0, %ymm9, (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x63,0x35,0x48,0x0a,0x90]
vpermil2ps $0, %ymm9, (%rdx), %ymm9, %ymm9
// CHECK: vpermil2ps $0, %ymm9, %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x43,0x35,0x48,0xc9,0x90]
vpermil2ps $0, %ymm9, %ymm9, %ymm9, %ymm9
// CHECK: vphaddbd 485498096, %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc2,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddbd 485498096, %xmm15
// CHECK: vphaddbd 485498096, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc2,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddbd 485498096, %xmm6
// CHECK: vphaddbd 64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc2,0x7c,0x82,0x40]
vphaddbd 64(%rdx,%rax,4), %xmm15
// CHECK: vphaddbd -64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc2,0x7c,0x82,0xc0]
vphaddbd -64(%rdx,%rax,4), %xmm15
// CHECK: vphaddbd 64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc2,0x74,0x82,0x40]
vphaddbd 64(%rdx,%rax,4), %xmm6
// CHECK: vphaddbd -64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc2,0x74,0x82,0xc0]
vphaddbd -64(%rdx,%rax,4), %xmm6
// CHECK: vphaddbd 64(%rdx,%rax), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc2,0x7c,0x02,0x40]
vphaddbd 64(%rdx,%rax), %xmm15
// CHECK: vphaddbd 64(%rdx,%rax), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc2,0x74,0x02,0x40]
vphaddbd 64(%rdx,%rax), %xmm6
// CHECK: vphaddbd 64(%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc2,0x7a,0x40]
vphaddbd 64(%rdx), %xmm15
// CHECK: vphaddbd 64(%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc2,0x72,0x40]
vphaddbd 64(%rdx), %xmm6
// CHECK: vphaddbd (%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc2,0x3a]
vphaddbd (%rdx), %xmm15
// CHECK: vphaddbd (%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc2,0x32]
vphaddbd (%rdx), %xmm6
// CHECK: vphaddbd %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x49,0x78,0xc2,0xff]
vphaddbd %xmm15, %xmm15
// CHECK: vphaddbd %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc2,0xf6]
vphaddbd %xmm6, %xmm6
// CHECK: vphaddbq 485498096, %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc3,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddbq 485498096, %xmm15
// CHECK: vphaddbq 485498096, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc3,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddbq 485498096, %xmm6
// CHECK: vphaddbq 64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc3,0x7c,0x82,0x40]
vphaddbq 64(%rdx,%rax,4), %xmm15
// CHECK: vphaddbq -64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc3,0x7c,0x82,0xc0]
vphaddbq -64(%rdx,%rax,4), %xmm15
// CHECK: vphaddbq 64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc3,0x74,0x82,0x40]
vphaddbq 64(%rdx,%rax,4), %xmm6
// CHECK: vphaddbq -64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc3,0x74,0x82,0xc0]
vphaddbq -64(%rdx,%rax,4), %xmm6
// CHECK: vphaddbq 64(%rdx,%rax), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc3,0x7c,0x02,0x40]
vphaddbq 64(%rdx,%rax), %xmm15
// CHECK: vphaddbq 64(%rdx,%rax), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc3,0x74,0x02,0x40]
vphaddbq 64(%rdx,%rax), %xmm6
// CHECK: vphaddbq 64(%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc3,0x7a,0x40]
vphaddbq 64(%rdx), %xmm15
// CHECK: vphaddbq 64(%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc3,0x72,0x40]
vphaddbq 64(%rdx), %xmm6
// CHECK: vphaddbq (%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc3,0x3a]
vphaddbq (%rdx), %xmm15
// CHECK: vphaddbq (%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc3,0x32]
vphaddbq (%rdx), %xmm6
// CHECK: vphaddbq %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x49,0x78,0xc3,0xff]
vphaddbq %xmm15, %xmm15
// CHECK: vphaddbq %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc3,0xf6]
vphaddbq %xmm6, %xmm6
// CHECK: vphaddbw 485498096, %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc1,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddbw 485498096, %xmm15
// CHECK: vphaddbw 485498096, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc1,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddbw 485498096, %xmm6
// CHECK: vphaddbw 64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc1,0x7c,0x82,0x40]
vphaddbw 64(%rdx,%rax,4), %xmm15
// CHECK: vphaddbw -64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc1,0x7c,0x82,0xc0]
vphaddbw -64(%rdx,%rax,4), %xmm15
// CHECK: vphaddbw 64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc1,0x74,0x82,0x40]
vphaddbw 64(%rdx,%rax,4), %xmm6
// CHECK: vphaddbw -64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc1,0x74,0x82,0xc0]
vphaddbw -64(%rdx,%rax,4), %xmm6
// CHECK: vphaddbw 64(%rdx,%rax), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc1,0x7c,0x02,0x40]
vphaddbw 64(%rdx,%rax), %xmm15
// CHECK: vphaddbw 64(%rdx,%rax), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc1,0x74,0x02,0x40]
vphaddbw 64(%rdx,%rax), %xmm6
// CHECK: vphaddbw 64(%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc1,0x7a,0x40]
vphaddbw 64(%rdx), %xmm15
// CHECK: vphaddbw 64(%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc1,0x72,0x40]
vphaddbw 64(%rdx), %xmm6
// CHECK: vphaddbw (%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc1,0x3a]
vphaddbw (%rdx), %xmm15
// CHECK: vphaddbw (%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc1,0x32]
vphaddbw (%rdx), %xmm6
// CHECK: vphaddbw %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x49,0x78,0xc1,0xff]
vphaddbw %xmm15, %xmm15
// CHECK: vphaddbw %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc1,0xf6]
vphaddbw %xmm6, %xmm6
// CHECK: vphadddq 485498096, %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xcb,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vphadddq 485498096, %xmm15
// CHECK: vphadddq 485498096, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xcb,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vphadddq 485498096, %xmm6
// CHECK: vphadddq 64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xcb,0x7c,0x82,0x40]
vphadddq 64(%rdx,%rax,4), %xmm15
// CHECK: vphadddq -64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xcb,0x7c,0x82,0xc0]
vphadddq -64(%rdx,%rax,4), %xmm15
// CHECK: vphadddq 64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xcb,0x74,0x82,0x40]
vphadddq 64(%rdx,%rax,4), %xmm6
// CHECK: vphadddq -64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xcb,0x74,0x82,0xc0]
vphadddq -64(%rdx,%rax,4), %xmm6
// CHECK: vphadddq 64(%rdx,%rax), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xcb,0x7c,0x02,0x40]
vphadddq 64(%rdx,%rax), %xmm15
// CHECK: vphadddq 64(%rdx,%rax), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xcb,0x74,0x02,0x40]
vphadddq 64(%rdx,%rax), %xmm6
// CHECK: vphadddq 64(%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xcb,0x7a,0x40]
vphadddq 64(%rdx), %xmm15
// CHECK: vphadddq 64(%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xcb,0x72,0x40]
vphadddq 64(%rdx), %xmm6
// CHECK: vphadddq (%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xcb,0x3a]
vphadddq (%rdx), %xmm15
// CHECK: vphadddq (%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xcb,0x32]
vphadddq (%rdx), %xmm6
// CHECK: vphadddq %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x49,0x78,0xcb,0xff]
vphadddq %xmm15, %xmm15
// CHECK: vphadddq %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xcb,0xf6]
vphadddq %xmm6, %xmm6
// CHECK: vphaddubd 485498096, %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd2,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddubd 485498096, %xmm15
// CHECK: vphaddubd 485498096, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd2,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddubd 485498096, %xmm6
// CHECK: vphaddubd 64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd2,0x7c,0x82,0x40]
vphaddubd 64(%rdx,%rax,4), %xmm15
// CHECK: vphaddubd -64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd2,0x7c,0x82,0xc0]
vphaddubd -64(%rdx,%rax,4), %xmm15
// CHECK: vphaddubd 64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd2,0x74,0x82,0x40]
vphaddubd 64(%rdx,%rax,4), %xmm6
// CHECK: vphaddubd -64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd2,0x74,0x82,0xc0]
vphaddubd -64(%rdx,%rax,4), %xmm6
// CHECK: vphaddubd 64(%rdx,%rax), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd2,0x7c,0x02,0x40]
vphaddubd 64(%rdx,%rax), %xmm15
// CHECK: vphaddubd 64(%rdx,%rax), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd2,0x74,0x02,0x40]
vphaddubd 64(%rdx,%rax), %xmm6
// CHECK: vphaddubd 64(%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd2,0x7a,0x40]
vphaddubd 64(%rdx), %xmm15
// CHECK: vphaddubd 64(%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd2,0x72,0x40]
vphaddubd 64(%rdx), %xmm6
// CHECK: vphaddubd (%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd2,0x3a]
vphaddubd (%rdx), %xmm15
// CHECK: vphaddubd (%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd2,0x32]
vphaddubd (%rdx), %xmm6
// CHECK: vphaddubd %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x49,0x78,0xd2,0xff]
vphaddubd %xmm15, %xmm15
// CHECK: vphaddubd %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd2,0xf6]
vphaddubd %xmm6, %xmm6
// CHECK: vphaddubq 485498096, %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd3,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddubq 485498096, %xmm15
// CHECK: vphaddubq 485498096, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd3,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddubq 485498096, %xmm6
// CHECK: vphaddubq 64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd3,0x7c,0x82,0x40]
vphaddubq 64(%rdx,%rax,4), %xmm15
// CHECK: vphaddubq -64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd3,0x7c,0x82,0xc0]
vphaddubq -64(%rdx,%rax,4), %xmm15
// CHECK: vphaddubq 64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd3,0x74,0x82,0x40]
vphaddubq 64(%rdx,%rax,4), %xmm6
// CHECK: vphaddubq -64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd3,0x74,0x82,0xc0]
vphaddubq -64(%rdx,%rax,4), %xmm6
// CHECK: vphaddubq 64(%rdx,%rax), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd3,0x7c,0x02,0x40]
vphaddubq 64(%rdx,%rax), %xmm15
// CHECK: vphaddubq 64(%rdx,%rax), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd3,0x74,0x02,0x40]
vphaddubq 64(%rdx,%rax), %xmm6
// CHECK: vphaddubq 64(%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd3,0x7a,0x40]
vphaddubq 64(%rdx), %xmm15
// CHECK: vphaddubq 64(%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd3,0x72,0x40]
vphaddubq 64(%rdx), %xmm6
// CHECK: vphaddubq (%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd3,0x3a]
vphaddubq (%rdx), %xmm15
// CHECK: vphaddubq (%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd3,0x32]
vphaddubq (%rdx), %xmm6
// CHECK: vphaddubq %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x49,0x78,0xd3,0xff]
vphaddubq %xmm15, %xmm15
// CHECK: vphaddubq %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd3,0xf6]
vphaddubq %xmm6, %xmm6
// CHECK: vphaddubw 485498096, %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd1,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddubw 485498096, %xmm15
// CHECK: vphaddubw 485498096, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd1,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddubw 485498096, %xmm6
// CHECK: vphaddubw 64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd1,0x7c,0x82,0x40]
vphaddubw 64(%rdx,%rax,4), %xmm15
// CHECK: vphaddubw -64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd1,0x7c,0x82,0xc0]
vphaddubw -64(%rdx,%rax,4), %xmm15
// CHECK: vphaddubw 64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd1,0x74,0x82,0x40]
vphaddubw 64(%rdx,%rax,4), %xmm6
// CHECK: vphaddubw -64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd1,0x74,0x82,0xc0]
vphaddubw -64(%rdx,%rax,4), %xmm6
// CHECK: vphaddubw 64(%rdx,%rax), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd1,0x7c,0x02,0x40]
vphaddubw 64(%rdx,%rax), %xmm15
// CHECK: vphaddubw 64(%rdx,%rax), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd1,0x74,0x02,0x40]
vphaddubw 64(%rdx,%rax), %xmm6
// CHECK: vphaddubw 64(%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd1,0x7a,0x40]
vphaddubw 64(%rdx), %xmm15
// CHECK: vphaddubw 64(%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd1,0x72,0x40]
vphaddubw 64(%rdx), %xmm6
// CHECK: vphaddubw (%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd1,0x3a]
vphaddubw (%rdx), %xmm15
// CHECK: vphaddubw (%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd1,0x32]
vphaddubw (%rdx), %xmm6
// CHECK: vphaddubw %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x49,0x78,0xd1,0xff]
vphaddubw %xmm15, %xmm15
// CHECK: vphaddubw %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd1,0xf6]
vphaddubw %xmm6, %xmm6
// CHECK: vphaddudq 485498096, %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xdb,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddudq 485498096, %xmm15
// CHECK: vphaddudq 485498096, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xdb,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddudq 485498096, %xmm6
// CHECK: vphaddudq 64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xdb,0x7c,0x82,0x40]
vphaddudq 64(%rdx,%rax,4), %xmm15
// CHECK: vphaddudq -64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xdb,0x7c,0x82,0xc0]
vphaddudq -64(%rdx,%rax,4), %xmm15
// CHECK: vphaddudq 64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xdb,0x74,0x82,0x40]
vphaddudq 64(%rdx,%rax,4), %xmm6
// CHECK: vphaddudq -64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xdb,0x74,0x82,0xc0]
vphaddudq -64(%rdx,%rax,4), %xmm6
// CHECK: vphaddudq 64(%rdx,%rax), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xdb,0x7c,0x02,0x40]
vphaddudq 64(%rdx,%rax), %xmm15
// CHECK: vphaddudq 64(%rdx,%rax), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xdb,0x74,0x02,0x40]
vphaddudq 64(%rdx,%rax), %xmm6
// CHECK: vphaddudq 64(%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xdb,0x7a,0x40]
vphaddudq 64(%rdx), %xmm15
// CHECK: vphaddudq 64(%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xdb,0x72,0x40]
vphaddudq 64(%rdx), %xmm6
// CHECK: vphaddudq (%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xdb,0x3a]
vphaddudq (%rdx), %xmm15
// CHECK: vphaddudq (%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xdb,0x32]
vphaddudq (%rdx), %xmm6
// CHECK: vphaddudq %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x49,0x78,0xdb,0xff]
vphaddudq %xmm15, %xmm15
// CHECK: vphaddudq %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xdb,0xf6]
vphaddudq %xmm6, %xmm6
// CHECK: vphadduwd 485498096, %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd6,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vphadduwd 485498096, %xmm15
// CHECK: vphadduwd 485498096, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd6,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vphadduwd 485498096, %xmm6
// CHECK: vphadduwd 64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd6,0x7c,0x82,0x40]
vphadduwd 64(%rdx,%rax,4), %xmm15
// CHECK: vphadduwd -64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd6,0x7c,0x82,0xc0]
vphadduwd -64(%rdx,%rax,4), %xmm15
// CHECK: vphadduwd 64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd6,0x74,0x82,0x40]
vphadduwd 64(%rdx,%rax,4), %xmm6
// CHECK: vphadduwd -64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd6,0x74,0x82,0xc0]
vphadduwd -64(%rdx,%rax,4), %xmm6
// CHECK: vphadduwd 64(%rdx,%rax), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd6,0x7c,0x02,0x40]
vphadduwd 64(%rdx,%rax), %xmm15
// CHECK: vphadduwd 64(%rdx,%rax), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd6,0x74,0x02,0x40]
vphadduwd 64(%rdx,%rax), %xmm6
// CHECK: vphadduwd 64(%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd6,0x7a,0x40]
vphadduwd 64(%rdx), %xmm15
// CHECK: vphadduwd 64(%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd6,0x72,0x40]
vphadduwd 64(%rdx), %xmm6
// CHECK: vphadduwd (%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd6,0x3a]
vphadduwd (%rdx), %xmm15
// CHECK: vphadduwd (%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd6,0x32]
vphadduwd (%rdx), %xmm6
// CHECK: vphadduwd %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x49,0x78,0xd6,0xff]
vphadduwd %xmm15, %xmm15
// CHECK: vphadduwd %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd6,0xf6]
vphadduwd %xmm6, %xmm6
// CHECK: vphadduwq 485498096, %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd7,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vphadduwq 485498096, %xmm15
// CHECK: vphadduwq 485498096, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd7,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vphadduwq 485498096, %xmm6
// CHECK: vphadduwq 64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd7,0x7c,0x82,0x40]
vphadduwq 64(%rdx,%rax,4), %xmm15
// CHECK: vphadduwq -64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd7,0x7c,0x82,0xc0]
vphadduwq -64(%rdx,%rax,4), %xmm15
// CHECK: vphadduwq 64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd7,0x74,0x82,0x40]
vphadduwq 64(%rdx,%rax,4), %xmm6
// CHECK: vphadduwq -64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd7,0x74,0x82,0xc0]
vphadduwq -64(%rdx,%rax,4), %xmm6
// CHECK: vphadduwq 64(%rdx,%rax), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd7,0x7c,0x02,0x40]
vphadduwq 64(%rdx,%rax), %xmm15
// CHECK: vphadduwq 64(%rdx,%rax), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd7,0x74,0x02,0x40]
vphadduwq 64(%rdx,%rax), %xmm6
// CHECK: vphadduwq 64(%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd7,0x7a,0x40]
vphadduwq 64(%rdx), %xmm15
// CHECK: vphadduwq 64(%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd7,0x72,0x40]
vphadduwq 64(%rdx), %xmm6
// CHECK: vphadduwq (%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xd7,0x3a]
vphadduwq (%rdx), %xmm15
// CHECK: vphadduwq (%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd7,0x32]
vphadduwq (%rdx), %xmm6
// CHECK: vphadduwq %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x49,0x78,0xd7,0xff]
vphadduwq %xmm15, %xmm15
// CHECK: vphadduwq %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xd7,0xf6]
vphadduwq %xmm6, %xmm6
// CHECK: vphaddwd 485498096, %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc6,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddwd 485498096, %xmm15
// CHECK: vphaddwd 485498096, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc6,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddwd 485498096, %xmm6
// CHECK: vphaddwd 64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc6,0x7c,0x82,0x40]
vphaddwd 64(%rdx,%rax,4), %xmm15
// CHECK: vphaddwd -64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc6,0x7c,0x82,0xc0]
vphaddwd -64(%rdx,%rax,4), %xmm15
// CHECK: vphaddwd 64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc6,0x74,0x82,0x40]
vphaddwd 64(%rdx,%rax,4), %xmm6
// CHECK: vphaddwd -64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc6,0x74,0x82,0xc0]
vphaddwd -64(%rdx,%rax,4), %xmm6
// CHECK: vphaddwd 64(%rdx,%rax), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc6,0x7c,0x02,0x40]
vphaddwd 64(%rdx,%rax), %xmm15
// CHECK: vphaddwd 64(%rdx,%rax), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc6,0x74,0x02,0x40]
vphaddwd 64(%rdx,%rax), %xmm6
// CHECK: vphaddwd 64(%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc6,0x7a,0x40]
vphaddwd 64(%rdx), %xmm15
// CHECK: vphaddwd 64(%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc6,0x72,0x40]
vphaddwd 64(%rdx), %xmm6
// CHECK: vphaddwd (%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc6,0x3a]
vphaddwd (%rdx), %xmm15
// CHECK: vphaddwd (%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc6,0x32]
vphaddwd (%rdx), %xmm6
// CHECK: vphaddwd %xmm15, %xmm15
// CHECK: encoding: [0x8f,0x49,0x78,0xc6,0xff]
vphaddwd %xmm15, %xmm15
// CHECK: vphaddwd %xmm6, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc6,0xf6]
vphaddwd %xmm6, %xmm6
// CHECK: vphaddwq 485498096, %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc7,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddwq 485498096, %xmm15
// CHECK: vphaddwq 485498096, %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc7,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vphaddwq 485498096, %xmm6
// CHECK: vphaddwq 64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc7,0x7c,0x82,0x40]
vphaddwq 64(%rdx,%rax,4), %xmm15
// CHECK: vphaddwq -64(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc7,0x7c,0x82,0xc0]
vphaddwq -64(%rdx,%rax,4), %xmm15
// CHECK: vphaddwq 64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc7,0x74,0x82,0x40]
vphaddwq 64(%rdx,%rax,4), %xmm6
// CHECK: vphaddwq -64(%rdx,%rax,4), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc7,0x74,0x82,0xc0]
vphaddwq -64(%rdx,%rax,4), %xmm6
// CHECK: vphaddwq 64(%rdx,%rax), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc7,0x7c,0x02,0x40]
vphaddwq 64(%rdx,%rax), %xmm15
// CHECK: vphaddwq 64(%rdx,%rax), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc7,0x74,0x02,0x40]
vphaddwq 64(%rdx,%rax), %xmm6
// CHECK: vphaddwq 64(%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc7,0x7a,0x40]
vphaddwq 64(%rdx), %xmm15
// CHECK: vphaddwq 64(%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc7,0x72,0x40]
vphaddwq 64(%rdx), %xmm6
// CHECK: vphaddwq (%rdx), %xmm15
// CHECK: encoding: [0x8f,0x69,0x78,0xc7,0x3a]
vphaddwq (%rdx), %xmm15
// CHECK: vphaddwq (%rdx), %xmm6
// CHECK: encoding: [0x8f,0xe9,0x78,0xc7,0x32]
vphaddwq (%rdx), %xmm6
// CHECK: vphaddwq %xmm15, %xmm15