nils.hoelscher
/
llvm-for-llvmta
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
llvm-for-llvmta/test/MC/X86/avx512vl-encoding.s

2111 lines
82 KiB
ArmAsm
Raw Permalink Normal View History

first commit
2022-04-25 10:02:23 +02:00
// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
// CHECK: vblendmpd %xmm19, %xmm20, %xmm27
// CHECK: encoding: [0x62,0x22,0xdd,0x00,0x65,0xdb]
vblendmpd %xmm19, %xmm20, %xmm27
// CHECK: vblendmpd %xmm19, %xmm20, %xmm27 {%k7}
// CHECK: encoding: [0x62,0x22,0xdd,0x07,0x65,0xdb]
vblendmpd %xmm19, %xmm20, %xmm27 {%k7}
// CHECK: vblendmpd %xmm19, %xmm20, %xmm27 {%k7} {z}
// CHECK: encoding: [0x62,0x22,0xdd,0x87,0x65,0xdb]
vblendmpd %xmm19, %xmm20, %xmm27 {%k7} {z}
// CHECK: vblendmpd (%rcx), %xmm20, %xmm27
// CHECK: encoding: [0x62,0x62,0xdd,0x00,0x65,0x19]
vblendmpd (%rcx), %xmm20, %xmm27
// CHECK: vblendmpd 291(%rax,%r14,8), %xmm20, %xmm27
// CHECK: encoding: [0x62,0x22,0xdd,0x00,0x65,0x9c,0xf0,0x23,0x01,0x00,0x00]
vblendmpd 291(%rax,%r14,8), %xmm20, %xmm27
// CHECK: vblendmpd (%rcx){1to2}, %xmm20, %xmm27
// CHECK: encoding: [0x62,0x62,0xdd,0x10,0x65,0x19]
vblendmpd (%rcx){1to2}, %xmm20, %xmm27
// CHECK: vblendmpd 2032(%rdx), %xmm20, %xmm27
// CHECK: encoding: [0x62,0x62,0xdd,0x00,0x65,0x5a,0x7f]
vblendmpd 2032(%rdx), %xmm20, %xmm27
// CHECK: vblendmpd 2048(%rdx), %xmm20, %xmm27
// CHECK: encoding: [0x62,0x62,0xdd,0x00,0x65,0x9a,0x00,0x08,0x00,0x00]
vblendmpd 2048(%rdx), %xmm20, %xmm27
// CHECK: vblendmpd -2048(%rdx), %xmm20, %xmm27
// CHECK: encoding: [0x62,0x62,0xdd,0x00,0x65,0x5a,0x80]
vblendmpd -2048(%rdx), %xmm20, %xmm27
// CHECK: vblendmpd -2064(%rdx), %xmm20, %xmm27
// CHECK: encoding: [0x62,0x62,0xdd,0x00,0x65,0x9a,0xf0,0xf7,0xff,0xff]
vblendmpd -2064(%rdx), %xmm20, %xmm27
// CHECK: vblendmpd 1016(%rdx){1to2}, %xmm20, %xmm27
// CHECK: encoding: [0x62,0x62,0xdd,0x10,0x65,0x5a,0x7f]
vblendmpd 1016(%rdx){1to2}, %xmm20, %xmm27
// CHECK: vblendmpd 1024(%rdx){1to2}, %xmm20, %xmm27
// CHECK: encoding: [0x62,0x62,0xdd,0x10,0x65,0x9a,0x00,0x04,0x00,0x00]
vblendmpd 1024(%rdx){1to2}, %xmm20, %xmm27
// CHECK: vblendmpd -1024(%rdx){1to2}, %xmm20, %xmm27
// CHECK: encoding: [0x62,0x62,0xdd,0x10,0x65,0x5a,0x80]
vblendmpd -1024(%rdx){1to2}, %xmm20, %xmm27
// CHECK: vblendmpd -1032(%rdx){1to2}, %xmm20, %xmm27
// CHECK: encoding: [0x62,0x62,0xdd,0x10,0x65,0x9a,0xf8,0xfb,0xff,0xff]
vblendmpd -1032(%rdx){1to2}, %xmm20, %xmm27
// CHECK: vblendmpd %ymm23, %ymm21, %ymm28
// CHECK: encoding: [0x62,0x22,0xd5,0x20,0x65,0xe7]
vblendmpd %ymm23, %ymm21, %ymm28
// CHECK: vblendmpd %ymm23, %ymm21, %ymm28 {%k3}
// CHECK: encoding: [0x62,0x22,0xd5,0x23,0x65,0xe7]
vblendmpd %ymm23, %ymm21, %ymm28 {%k3}
// CHECK: vblendmpd %ymm23, %ymm21, %ymm28 {%k3} {z}
// CHECK: encoding: [0x62,0x22,0xd5,0xa3,0x65,0xe7]
vblendmpd %ymm23, %ymm21, %ymm28 {%k3} {z}
// CHECK: vblendmpd (%rcx), %ymm21, %ymm28
// CHECK: encoding: [0x62,0x62,0xd5,0x20,0x65,0x21]
vblendmpd (%rcx), %ymm21, %ymm28
// CHECK: vblendmpd 291(%rax,%r14,8), %ymm21, %ymm28
// CHECK: encoding: [0x62,0x22,0xd5,0x20,0x65,0xa4,0xf0,0x23,0x01,0x00,0x00]
vblendmpd 291(%rax,%r14,8), %ymm21, %ymm28
// CHECK: vblendmpd (%rcx){1to4}, %ymm21, %ymm28
// CHECK: encoding: [0x62,0x62,0xd5,0x30,0x65,0x21]
vblendmpd (%rcx){1to4}, %ymm21, %ymm28
// CHECK: vblendmpd 4064(%rdx), %ymm21, %ymm28
// CHECK: encoding: [0x62,0x62,0xd5,0x20,0x65,0x62,0x7f]
vblendmpd 4064(%rdx), %ymm21, %ymm28
// CHECK: vblendmpd 4096(%rdx), %ymm21, %ymm28
// CHECK: encoding: [0x62,0x62,0xd5,0x20,0x65,0xa2,0x00,0x10,0x00,0x00]
vblendmpd 4096(%rdx), %ymm21, %ymm28
// CHECK: vblendmpd -4096(%rdx), %ymm21, %ymm28
// CHECK: encoding: [0x62,0x62,0xd5,0x20,0x65,0x62,0x80]
vblendmpd -4096(%rdx), %ymm21, %ymm28
// CHECK: vblendmpd -4128(%rdx), %ymm21, %ymm28
// CHECK: encoding: [0x62,0x62,0xd5,0x20,0x65,0xa2,0xe0,0xef,0xff,0xff]
vblendmpd -4128(%rdx), %ymm21, %ymm28
// CHECK: vblendmpd 1016(%rdx){1to4}, %ymm21, %ymm28
// CHECK: encoding: [0x62,0x62,0xd5,0x30,0x65,0x62,0x7f]
vblendmpd 1016(%rdx){1to4}, %ymm21, %ymm28
// CHECK: vblendmpd 1024(%rdx){1to4}, %ymm21, %ymm28
// CHECK: encoding: [0x62,0x62,0xd5,0x30,0x65,0xa2,0x00,0x04,0x00,0x00]
vblendmpd 1024(%rdx){1to4}, %ymm21, %ymm28
// CHECK: vblendmpd -1024(%rdx){1to4}, %ymm21, %ymm28
// CHECK: encoding: [0x62,0x62,0xd5,0x30,0x65,0x62,0x80]
vblendmpd -1024(%rdx){1to4}, %ymm21, %ymm28
// CHECK: vblendmpd -1032(%rdx){1to4}, %ymm21, %ymm28
// CHECK: encoding: [0x62,0x62,0xd5,0x30,0x65,0xa2,0xf8,0xfb,0xff,0xff]
vblendmpd -1032(%rdx){1to4}, %ymm21, %ymm28
// CHECK: vblendmps %xmm20, %xmm20, %xmm24
// CHECK: encoding: [0x62,0x22,0x5d,0x00,0x65,0xc4]
vblendmps %xmm20, %xmm20, %xmm24
// CHECK: vblendmps %xmm20, %xmm20, %xmm24 {%k1}
// CHECK: encoding: [0x62,0x22,0x5d,0x01,0x65,0xc4]
vblendmps %xmm20, %xmm20, %xmm24 {%k1}
// CHECK: vblendmps %xmm20, %xmm20, %xmm24 {%k1} {z}
// CHECK: encoding: [0x62,0x22,0x5d,0x81,0x65,0xc4]
vblendmps %xmm20, %xmm20, %xmm24 {%k1} {z}
// CHECK: vblendmps (%rcx), %xmm20, %xmm24
// CHECK: encoding: [0x62,0x62,0x5d,0x00,0x65,0x01]
vblendmps (%rcx), %xmm20, %xmm24
// CHECK: vblendmps 291(%rax,%r14,8), %xmm20, %xmm24
// CHECK: encoding: [0x62,0x22,0x5d,0x00,0x65,0x84,0xf0,0x23,0x01,0x00,0x00]
vblendmps 291(%rax,%r14,8), %xmm20, %xmm24
// CHECK: vblendmps (%rcx){1to4}, %xmm20, %xmm24
// CHECK: encoding: [0x62,0x62,0x5d,0x10,0x65,0x01]
vblendmps (%rcx){1to4}, %xmm20, %xmm24
// CHECK: vblendmps 2032(%rdx), %xmm20, %xmm24
// CHECK: encoding: [0x62,0x62,0x5d,0x00,0x65,0x42,0x7f]
vblendmps 2032(%rdx), %xmm20, %xmm24
// CHECK: vblendmps 2048(%rdx), %xmm20, %xmm24
// CHECK: encoding: [0x62,0x62,0x5d,0x00,0x65,0x82,0x00,0x08,0x00,0x00]
vblendmps 2048(%rdx), %xmm20, %xmm24
// CHECK: vblendmps -2048(%rdx), %xmm20, %xmm24
// CHECK: encoding: [0x62,0x62,0x5d,0x00,0x65,0x42,0x80]
vblendmps -2048(%rdx), %xmm20, %xmm24
// CHECK: vblendmps -2064(%rdx), %xmm20, %xmm24
// CHECK: encoding: [0x62,0x62,0x5d,0x00,0x65,0x82,0xf0,0xf7,0xff,0xff]
vblendmps -2064(%rdx), %xmm20, %xmm24
// CHECK: vblendmps 508(%rdx){1to4}, %xmm20, %xmm24
// CHECK: encoding: [0x62,0x62,0x5d,0x10,0x65,0x42,0x7f]
vblendmps 508(%rdx){1to4}, %xmm20, %xmm24
// CHECK: vblendmps 512(%rdx){1to4}, %xmm20, %xmm24
// CHECK: encoding: [0x62,0x62,0x5d,0x10,0x65,0x82,0x00,0x02,0x00,0x00]
vblendmps 512(%rdx){1to4}, %xmm20, %xmm24
// CHECK: vblendmps -512(%rdx){1to4}, %xmm20, %xmm24
// CHECK: encoding: [0x62,0x62,0x5d,0x10,0x65,0x42,0x80]
vblendmps -512(%rdx){1to4}, %xmm20, %xmm24
// CHECK: vblendmps -516(%rdx){1to4}, %xmm20, %xmm24
// CHECK: encoding: [0x62,0x62,0x5d,0x10,0x65,0x82,0xfc,0xfd,0xff,0xff]
vblendmps -516(%rdx){1to4}, %xmm20, %xmm24
// CHECK: vblendmps %ymm24, %ymm23, %ymm17
// CHECK: encoding: [0x62,0x82,0x45,0x20,0x65,0xc8]
vblendmps %ymm24, %ymm23, %ymm17
// CHECK: vblendmps %ymm24, %ymm23, %ymm17 {%k6}
// CHECK: encoding: [0x62,0x82,0x45,0x26,0x65,0xc8]
vblendmps %ymm24, %ymm23, %ymm17 {%k6}
// CHECK: vblendmps %ymm24, %ymm23, %ymm17 {%k6} {z}
// CHECK: encoding: [0x62,0x82,0x45,0xa6,0x65,0xc8]
vblendmps %ymm24, %ymm23, %ymm17 {%k6} {z}
// CHECK: vblendmps (%rcx), %ymm23, %ymm17
// CHECK: encoding: [0x62,0xe2,0x45,0x20,0x65,0x09]
vblendmps (%rcx), %ymm23, %ymm17
// CHECK: vblendmps 291(%rax,%r14,8), %ymm23, %ymm17
// CHECK: encoding: [0x62,0xa2,0x45,0x20,0x65,0x8c,0xf0,0x23,0x01,0x00,0x00]
vblendmps 291(%rax,%r14,8), %ymm23, %ymm17
// CHECK: vblendmps (%rcx){1to8}, %ymm23, %ymm17
// CHECK: encoding: [0x62,0xe2,0x45,0x30,0x65,0x09]
vblendmps (%rcx){1to8}, %ymm23, %ymm17
// CHECK: vblendmps 4064(%rdx), %ymm23, %ymm17
// CHECK: encoding: [0x62,0xe2,0x45,0x20,0x65,0x4a,0x7f]
vblendmps 4064(%rdx), %ymm23, %ymm17
// CHECK: vblendmps 4096(%rdx), %ymm23, %ymm17
// CHECK: encoding: [0x62,0xe2,0x45,0x20,0x65,0x8a,0x00,0x10,0x00,0x00]
vblendmps 4096(%rdx), %ymm23, %ymm17
// CHECK: vblendmps -4096(%rdx), %ymm23, %ymm17
// CHECK: encoding: [0x62,0xe2,0x45,0x20,0x65,0x4a,0x80]
vblendmps -4096(%rdx), %ymm23, %ymm17
// CHECK: vblendmps -4128(%rdx), %ymm23, %ymm17
// CHECK: encoding: [0x62,0xe2,0x45,0x20,0x65,0x8a,0xe0,0xef,0xff,0xff]
vblendmps -4128(%rdx), %ymm23, %ymm17
// CHECK: vblendmps 508(%rdx){1to8}, %ymm23, %ymm17
// CHECK: encoding: [0x62,0xe2,0x45,0x30,0x65,0x4a,0x7f]
vblendmps 508(%rdx){1to8}, %ymm23, %ymm17
// CHECK: vblendmps 512(%rdx){1to8}, %ymm23, %ymm17
// CHECK: encoding: [0x62,0xe2,0x45,0x30,0x65,0x8a,0x00,0x02,0x00,0x00]
vblendmps 512(%rdx){1to8}, %ymm23, %ymm17
// CHECK: vblendmps -512(%rdx){1to8}, %ymm23, %ymm17
// CHECK: encoding: [0x62,0xe2,0x45,0x30,0x65,0x4a,0x80]
vblendmps -512(%rdx){1to8}, %ymm23, %ymm17
// CHECK: vblendmps -516(%rdx){1to8}, %ymm23, %ymm17
// CHECK: encoding: [0x62,0xe2,0x45,0x30,0x65,0x8a,0xfc,0xfd,0xff,0xff]
vblendmps -516(%rdx){1to8}, %ymm23, %ymm17
// CHECK: vpblendmd %xmm26, %xmm25, %xmm17
// CHECK: encoding: [0x62,0x82,0x35,0x00,0x64,0xca]
vpblendmd %xmm26, %xmm25, %xmm17
// CHECK: vpblendmd %xmm26, %xmm25, %xmm17 {%k5}
// CHECK: encoding: [0x62,0x82,0x35,0x05,0x64,0xca]
vpblendmd %xmm26, %xmm25, %xmm17 {%k5}
// CHECK: vpblendmd %xmm26, %xmm25, %xmm17 {%k5} {z}
// CHECK: encoding: [0x62,0x82,0x35,0x85,0x64,0xca]
vpblendmd %xmm26, %xmm25, %xmm17 {%k5} {z}
// CHECK: vpblendmd (%rcx), %xmm25, %xmm17
// CHECK: encoding: [0x62,0xe2,0x35,0x00,0x64,0x09]
vpblendmd (%rcx), %xmm25, %xmm17
// CHECK: vpblendmd 291(%rax,%r14,8), %xmm25, %xmm17
// CHECK: encoding: [0x62,0xa2,0x35,0x00,0x64,0x8c,0xf0,0x23,0x01,0x00,0x00]
vpblendmd 291(%rax,%r14,8), %xmm25, %xmm17
// CHECK: vpblendmd (%rcx){1to4}, %xmm25, %xmm17
// CHECK: encoding: [0x62,0xe2,0x35,0x10,0x64,0x09]
vpblendmd (%rcx){1to4}, %xmm25, %xmm17
// CHECK: vpblendmd 2032(%rdx), %xmm25, %xmm17
// CHECK: encoding: [0x62,0xe2,0x35,0x00,0x64,0x4a,0x7f]
vpblendmd 2032(%rdx), %xmm25, %xmm17
// CHECK: vpblendmd 2048(%rdx), %xmm25, %xmm17
// CHECK: encoding: [0x62,0xe2,0x35,0x00,0x64,0x8a,0x00,0x08,0x00,0x00]
vpblendmd 2048(%rdx), %xmm25, %xmm17
// CHECK: vpblendmd -2048(%rdx), %xmm25, %xmm17
// CHECK: encoding: [0x62,0xe2,0x35,0x00,0x64,0x4a,0x80]
vpblendmd -2048(%rdx), %xmm25, %xmm17
// CHECK: vpblendmd -2064(%rdx), %xmm25, %xmm17
// CHECK: encoding: [0x62,0xe2,0x35,0x00,0x64,0x8a,0xf0,0xf7,0xff,0xff]
vpblendmd -2064(%rdx), %xmm25, %xmm17
// CHECK: vpblendmd 508(%rdx){1to4}, %xmm25, %xmm17
// CHECK: encoding: [0x62,0xe2,0x35,0x10,0x64,0x4a,0x7f]
vpblendmd 508(%rdx){1to4}, %xmm25, %xmm17
// CHECK: vpblendmd 512(%rdx){1to4}, %xmm25, %xmm17
// CHECK: encoding: [0x62,0xe2,0x35,0x10,0x64,0x8a,0x00,0x02,0x00,0x00]
vpblendmd 512(%rdx){1to4}, %xmm25, %xmm17
// CHECK: vpblendmd -512(%rdx){1to4}, %xmm25, %xmm17
// CHECK: encoding: [0x62,0xe2,0x35,0x10,0x64,0x4a,0x80]
vpblendmd -512(%rdx){1to4}, %xmm25, %xmm17
// CHECK: vpblendmd -516(%rdx){1to4}, %xmm25, %xmm17
// CHECK: encoding: [0x62,0xe2,0x35,0x10,0x64,0x8a,0xfc,0xfd,0xff,0xff]
vpblendmd -516(%rdx){1to4}, %xmm25, %xmm17
// CHECK: vpblendmd %ymm23, %ymm29, %ymm26
// CHECK: encoding: [0x62,0x22,0x15,0x20,0x64,0xd7]
vpblendmd %ymm23, %ymm29, %ymm26
// CHECK: vpblendmd %ymm23, %ymm29, %ymm26 {%k7}
// CHECK: encoding: [0x62,0x22,0x15,0x27,0x64,0xd7]
vpblendmd %ymm23, %ymm29, %ymm26 {%k7}
// CHECK: vpblendmd %ymm23, %ymm29, %ymm26 {%k7} {z}
// CHECK: encoding: [0x62,0x22,0x15,0xa7,0x64,0xd7]
vpblendmd %ymm23, %ymm29, %ymm26 {%k7} {z}
// CHECK: vpblendmd (%rcx), %ymm29, %ymm26
// CHECK: encoding: [0x62,0x62,0x15,0x20,0x64,0x11]
vpblendmd (%rcx), %ymm29, %ymm26
// CHECK: vpblendmd 291(%rax,%r14,8), %ymm29, %ymm26
// CHECK: encoding: [0x62,0x22,0x15,0x20,0x64,0x94,0xf0,0x23,0x01,0x00,0x00]
vpblendmd 291(%rax,%r14,8), %ymm29, %ymm26
// CHECK: vpblendmd (%rcx){1to8}, %ymm29, %ymm26
// CHECK: encoding: [0x62,0x62,0x15,0x30,0x64,0x11]
vpblendmd (%rcx){1to8}, %ymm29, %ymm26
// CHECK: vpblendmd 4064(%rdx), %ymm29, %ymm26
// CHECK: encoding: [0x62,0x62,0x15,0x20,0x64,0x52,0x7f]
vpblendmd 4064(%rdx), %ymm29, %ymm26
// CHECK: vpblendmd 4096(%rdx), %ymm29, %ymm26
// CHECK: encoding: [0x62,0x62,0x15,0x20,0x64,0x92,0x00,0x10,0x00,0x00]
vpblendmd 4096(%rdx), %ymm29, %ymm26
// CHECK: vpblendmd -4096(%rdx), %ymm29, %ymm26
// CHECK: encoding: [0x62,0x62,0x15,0x20,0x64,0x52,0x80]
vpblendmd -4096(%rdx), %ymm29, %ymm26
// CHECK: vpblendmd -4128(%rdx), %ymm29, %ymm26
// CHECK: encoding: [0x62,0x62,0x15,0x20,0x64,0x92,0xe0,0xef,0xff,0xff]
vpblendmd -4128(%rdx), %ymm29, %ymm26
// CHECK: vpblendmd 508(%rdx){1to8}, %ymm29, %ymm26
// CHECK: encoding: [0x62,0x62,0x15,0x30,0x64,0x52,0x7f]
vpblendmd 508(%rdx){1to8}, %ymm29, %ymm26
// CHECK: vpblendmd 512(%rdx){1to8}, %ymm29, %ymm26
// CHECK: encoding: [0x62,0x62,0x15,0x30,0x64,0x92,0x00,0x02,0x00,0x00]
vpblendmd 512(%rdx){1to8}, %ymm29, %ymm26
// CHECK: vpblendmd -512(%rdx){1to8}, %ymm29, %ymm26
// CHECK: encoding: [0x62,0x62,0x15,0x30,0x64,0x52,0x80]
vpblendmd -512(%rdx){1to8}, %ymm29, %ymm26
// CHECK: vpblendmd -516(%rdx){1to8}, %ymm29, %ymm26
// CHECK: encoding: [0x62,0x62,0x15,0x30,0x64,0x92,0xfc,0xfd,0xff,0xff]
vpblendmd -516(%rdx){1to8}, %ymm29, %ymm26
// CHECK: vpblendmq %xmm17, %xmm27, %xmm29
// CHECK: encoding: [0x62,0x22,0xa5,0x00,0x64,0xe9]
vpblendmq %xmm17, %xmm27, %xmm29
// CHECK: vpblendmq %xmm17, %xmm27, %xmm29 {%k6}
// CHECK: encoding: [0x62,0x22,0xa5,0x06,0x64,0xe9]
vpblendmq %xmm17, %xmm27, %xmm29 {%k6}
// CHECK: vpblendmq %xmm17, %xmm27, %xmm29 {%k6} {z}
// CHECK: encoding: [0x62,0x22,0xa5,0x86,0x64,0xe9]
vpblendmq %xmm17, %xmm27, %xmm29 {%k6} {z}
// CHECK: vpblendmq (%rcx), %xmm27, %xmm29
// CHECK: encoding: [0x62,0x62,0xa5,0x00,0x64,0x29]
vpblendmq (%rcx), %xmm27, %xmm29
// CHECK: vpblendmq 291(%rax,%r14,8), %xmm27, %xmm29
// CHECK: encoding: [0x62,0x22,0xa5,0x00,0x64,0xac,0xf0,0x23,0x01,0x00,0x00]
vpblendmq 291(%rax,%r14,8), %xmm27, %xmm29
// CHECK: vpblendmq (%rcx){1to2}, %xmm27, %xmm29
// CHECK: encoding: [0x62,0x62,0xa5,0x10,0x64,0x29]
vpblendmq (%rcx){1to2}, %xmm27, %xmm29
// CHECK: vpblendmq 2032(%rdx), %xmm27, %xmm29
// CHECK: encoding: [0x62,0x62,0xa5,0x00,0x64,0x6a,0x7f]
vpblendmq 2032(%rdx), %xmm27, %xmm29
// CHECK: vpblendmq 2048(%rdx), %xmm27, %xmm29
// CHECK: encoding: [0x62,0x62,0xa5,0x00,0x64,0xaa,0x00,0x08,0x00,0x00]
vpblendmq 2048(%rdx), %xmm27, %xmm29
// CHECK: vpblendmq -2048(%rdx), %xmm27, %xmm29
// CHECK: encoding: [0x62,0x62,0xa5,0x00,0x64,0x6a,0x80]
vpblendmq -2048(%rdx), %xmm27, %xmm29
// CHECK: vpblendmq -2064(%rdx), %xmm27, %xmm29
// CHECK: encoding: [0x62,0x62,0xa5,0x00,0x64,0xaa,0xf0,0xf7,0xff,0xff]
vpblendmq -2064(%rdx), %xmm27, %xmm29
// CHECK: vpblendmq 1016(%rdx){1to2}, %xmm27, %xmm29
// CHECK: encoding: [0x62,0x62,0xa5,0x10,0x64,0x6a,0x7f]
vpblendmq 1016(%rdx){1to2}, %xmm27, %xmm29
// CHECK: vpblendmq 1024(%rdx){1to2}, %xmm27, %xmm29
// CHECK: encoding: [0x62,0x62,0xa5,0x10,0x64,0xaa,0x00,0x04,0x00,0x00]
vpblendmq 1024(%rdx){1to2}, %xmm27, %xmm29
// CHECK: vpblendmq -1024(%rdx){1to2}, %xmm27, %xmm29
// CHECK: encoding: [0x62,0x62,0xa5,0x10,0x64,0x6a,0x80]
vpblendmq -1024(%rdx){1to2}, %xmm27, %xmm29
// CHECK: vpblendmq -1032(%rdx){1to2}, %xmm27, %xmm29
// CHECK: encoding: [0x62,0x62,0xa5,0x10,0x64,0xaa,0xf8,0xfb,0xff,0xff]
vpblendmq -1032(%rdx){1to2}, %xmm27, %xmm29
// CHECK: vpblendmq %ymm21, %ymm23, %ymm21
// CHECK: encoding: [0x62,0xa2,0xc5,0x20,0x64,0xed]
vpblendmq %ymm21, %ymm23, %ymm21
// CHECK: vpblendmq %ymm21, %ymm23, %ymm21 {%k3}
// CHECK: encoding: [0x62,0xa2,0xc5,0x23,0x64,0xed]
vpblendmq %ymm21, %ymm23, %ymm21 {%k3}
// CHECK: vpblendmq %ymm21, %ymm23, %ymm21 {%k3} {z}
// CHECK: encoding: [0x62,0xa2,0xc5,0xa3,0x64,0xed]
vpblendmq %ymm21, %ymm23, %ymm21 {%k3} {z}
// CHECK: vpblendmq (%rcx), %ymm23, %ymm21
// CHECK: encoding: [0x62,0xe2,0xc5,0x20,0x64,0x29]
vpblendmq (%rcx), %ymm23, %ymm21
// CHECK: vpblendmq 291(%rax,%r14,8), %ymm23, %ymm21
// CHECK: encoding: [0x62,0xa2,0xc5,0x20,0x64,0xac,0xf0,0x23,0x01,0x00,0x00]
vpblendmq 291(%rax,%r14,8), %ymm23, %ymm21
// CHECK: vpblendmq (%rcx){1to4}, %ymm23, %ymm21
// CHECK: encoding: [0x62,0xe2,0xc5,0x30,0x64,0x29]
vpblendmq (%rcx){1to4}, %ymm23, %ymm21
// CHECK: vpblendmq 4064(%rdx), %ymm23, %ymm21
// CHECK: encoding: [0x62,0xe2,0xc5,0x20,0x64,0x6a,0x7f]
vpblendmq 4064(%rdx), %ymm23, %ymm21
// CHECK: vpblendmq 4096(%rdx), %ymm23, %ymm21
// CHECK: encoding: [0x62,0xe2,0xc5,0x20,0x64,0xaa,0x00,0x10,0x00,0x00]
vpblendmq 4096(%rdx), %ymm23, %ymm21
// CHECK: vpblendmq -4096(%rdx), %ymm23, %ymm21
// CHECK: encoding: [0x62,0xe2,0xc5,0x20,0x64,0x6a,0x80]
vpblendmq -4096(%rdx), %ymm23, %ymm21
// CHECK: vpblendmq -4128(%rdx), %ymm23, %ymm21
// CHECK: encoding: [0x62,0xe2,0xc5,0x20,0x64,0xaa,0xe0,0xef,0xff,0xff]
vpblendmq -4128(%rdx), %ymm23, %ymm21
// CHECK: vpblendmq 1016(%rdx){1to4}, %ymm23, %ymm21
// CHECK: encoding: [0x62,0xe2,0xc5,0x30,0x64,0x6a,0x7f]
vpblendmq 1016(%rdx){1to4}, %ymm23, %ymm21
// CHECK: vpblendmq 1024(%rdx){1to4}, %ymm23, %ymm21
// CHECK: encoding: [0x62,0xe2,0xc5,0x30,0x64,0xaa,0x00,0x04,0x00,0x00]
vpblendmq 1024(%rdx){1to4}, %ymm23, %ymm21
// CHECK: vpblendmq -1024(%rdx){1to4}, %ymm23, %ymm21
// CHECK: encoding: [0x62,0xe2,0xc5,0x30,0x64,0x6a,0x80]
vpblendmq -1024(%rdx){1to4}, %ymm23, %ymm21
// CHECK: vpblendmq -1032(%rdx){1to4}, %ymm23, %ymm21
// CHECK: encoding: [0x62,0xe2,0xc5,0x30,0x64,0xaa,0xf8,0xfb,0xff,0xff]
vpblendmq -1032(%rdx){1to4}, %ymm23, %ymm21
// CHECK: vptestmd %xmm20, %xmm20, %k2
// CHECK: encoding: [0x62,0xb2,0x5d,0x00,0x27,0xd4]
vptestmd %xmm20, %xmm20, %k2
// CHECK: vptestmd %xmm20, %xmm20, %k2 {%k7}
// CHECK: encoding: [0x62,0xb2,0x5d,0x07,0x27,0xd4]
vptestmd %xmm20, %xmm20, %k2 {%k7}
// CHECK: vptestmd (%rcx), %xmm20, %k2
// CHECK: encoding: [0x62,0xf2,0x5d,0x00,0x27,0x11]
vptestmd (%rcx), %xmm20, %k2
// CHECK: vptestmd 291(%rax,%r14,8), %xmm20, %k2
// CHECK: encoding: [0x62,0xb2,0x5d,0x00,0x27,0x94,0xf0,0x23,0x01,0x00,0x00]
vptestmd 291(%rax,%r14,8), %xmm20, %k2
// CHECK: vptestmd (%rcx){1to4}, %xmm20, %k2
// CHECK: encoding: [0x62,0xf2,0x5d,0x10,0x27,0x11]
vptestmd (%rcx){1to4}, %xmm20, %k2
// CHECK: vptestmd 2032(%rdx), %xmm20, %k2
// CHECK: encoding: [0x62,0xf2,0x5d,0x00,0x27,0x52,0x7f]
vptestmd 2032(%rdx), %xmm20, %k2
// CHECK: vptestmd 2048(%rdx), %xmm20, %k2
// CHECK: encoding: [0x62,0xf2,0x5d,0x00,0x27,0x92,0x00,0x08,0x00,0x00]
vptestmd 2048(%rdx), %xmm20, %k2
// CHECK: vptestmd -2048(%rdx), %xmm20, %k2
// CHECK: encoding: [0x62,0xf2,0x5d,0x00,0x27,0x52,0x80]
vptestmd -2048(%rdx), %xmm20, %k2
// CHECK: vptestmd -2064(%rdx), %xmm20, %k2
// CHECK: encoding: [0x62,0xf2,0x5d,0x00,0x27,0x92,0xf0,0xf7,0xff,0xff]
vptestmd -2064(%rdx), %xmm20, %k2
// CHECK: vptestmd 508(%rdx){1to4}, %xmm20, %k2
// CHECK: encoding: [0x62,0xf2,0x5d,0x10,0x27,0x52,0x7f]
vptestmd 508(%rdx){1to4}, %xmm20, %k2
// CHECK: vptestmd 512(%rdx){1to4}, %xmm20, %k2
// CHECK: encoding: [0x62,0xf2,0x5d,0x10,0x27,0x92,0x00,0x02,0x00,0x00]
vptestmd 512(%rdx){1to4}, %xmm20, %k2
// CHECK: vptestmd -512(%rdx){1to4}, %xmm20, %k2
// CHECK: encoding: [0x62,0xf2,0x5d,0x10,0x27,0x52,0x80]
vptestmd -512(%rdx){1to4}, %xmm20, %k2
// CHECK: vptestmd -516(%rdx){1to4}, %xmm20, %k2
// CHECK: encoding: [0x62,0xf2,0x5d,0x10,0x27,0x92,0xfc,0xfd,0xff,0xff]
vptestmd -516(%rdx){1to4}, %xmm20, %k2
// CHECK: vptestmd %ymm17, %ymm20, %k3
// CHECK: encoding: [0x62,0xb2,0x5d,0x20,0x27,0xd9]
vptestmd %ymm17, %ymm20, %k3
// CHECK: vptestmd %ymm17, %ymm20, %k3 {%k5}
// CHECK: encoding: [0x62,0xb2,0x5d,0x25,0x27,0xd9]
vptestmd %ymm17, %ymm20, %k3 {%k5}
// CHECK: vptestmd (%rcx), %ymm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5d,0x20,0x27,0x19]
vptestmd (%rcx), %ymm20, %k3
// CHECK: vptestmd 291(%rax,%r14,8), %ymm20, %k3
// CHECK: encoding: [0x62,0xb2,0x5d,0x20,0x27,0x9c,0xf0,0x23,0x01,0x00,0x00]
vptestmd 291(%rax,%r14,8), %ymm20, %k3
// CHECK: vptestmd (%rcx){1to8}, %ymm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5d,0x30,0x27,0x19]
vptestmd (%rcx){1to8}, %ymm20, %k3
// CHECK: vptestmd 4064(%rdx), %ymm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5d,0x20,0x27,0x5a,0x7f]
vptestmd 4064(%rdx), %ymm20, %k3
// CHECK: vptestmd 4096(%rdx), %ymm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5d,0x20,0x27,0x9a,0x00,0x10,0x00,0x00]
vptestmd 4096(%rdx), %ymm20, %k3
// CHECK: vptestmd -4096(%rdx), %ymm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5d,0x20,0x27,0x5a,0x80]
vptestmd -4096(%rdx), %ymm20, %k3
// CHECK: vptestmd -4128(%rdx), %ymm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5d,0x20,0x27,0x9a,0xe0,0xef,0xff,0xff]
vptestmd -4128(%rdx), %ymm20, %k3
// CHECK: vptestmd 508(%rdx){1to8}, %ymm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5d,0x30,0x27,0x5a,0x7f]
vptestmd 508(%rdx){1to8}, %ymm20, %k3
// CHECK: vptestmd 512(%rdx){1to8}, %ymm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5d,0x30,0x27,0x9a,0x00,0x02,0x00,0x00]
vptestmd 512(%rdx){1to8}, %ymm20, %k3
// CHECK: vptestmd -512(%rdx){1to8}, %ymm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5d,0x30,0x27,0x5a,0x80]
vptestmd -512(%rdx){1to8}, %ymm20, %k3
// CHECK: vptestmd -516(%rdx){1to8}, %ymm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5d,0x30,0x27,0x9a,0xfc,0xfd,0xff,0xff]
vptestmd -516(%rdx){1to8}, %ymm20, %k3
// CHECK: vptestmq %xmm28, %xmm22, %k4
// CHECK: encoding: [0x62,0x92,0xcd,0x00,0x27,0xe4]
vptestmq %xmm28, %xmm22, %k4
// CHECK: vptestmq %xmm28, %xmm22, %k4 {%k3}
// CHECK: encoding: [0x62,0x92,0xcd,0x03,0x27,0xe4]
vptestmq %xmm28, %xmm22, %k4 {%k3}
// CHECK: vptestmq (%rcx), %xmm22, %k4
// CHECK: encoding: [0x62,0xf2,0xcd,0x00,0x27,0x21]
vptestmq (%rcx), %xmm22, %k4
// CHECK: vptestmq 291(%rax,%r14,8), %xmm22, %k4
// CHECK: encoding: [0x62,0xb2,0xcd,0x00,0x27,0xa4,0xf0,0x23,0x01,0x00,0x00]
vptestmq 291(%rax,%r14,8), %xmm22, %k4
// CHECK: vptestmq (%rcx){1to2}, %xmm22, %k4
// CHECK: encoding: [0x62,0xf2,0xcd,0x10,0x27,0x21]
vptestmq (%rcx){1to2}, %xmm22, %k4
// CHECK: vptestmq 2032(%rdx), %xmm22, %k4
// CHECK: encoding: [0x62,0xf2,0xcd,0x00,0x27,0x62,0x7f]
vptestmq 2032(%rdx), %xmm22, %k4
// CHECK: vptestmq 2048(%rdx), %xmm22, %k4
// CHECK: encoding: [0x62,0xf2,0xcd,0x00,0x27,0xa2,0x00,0x08,0x00,0x00]
vptestmq 2048(%rdx), %xmm22, %k4
// CHECK: vptestmq -2048(%rdx), %xmm22, %k4
// CHECK: encoding: [0x62,0xf2,0xcd,0x00,0x27,0x62,0x80]
vptestmq -2048(%rdx), %xmm22, %k4
// CHECK: vptestmq -2064(%rdx), %xmm22, %k4
// CHECK: encoding: [0x62,0xf2,0xcd,0x00,0x27,0xa2,0xf0,0xf7,0xff,0xff]
vptestmq -2064(%rdx), %xmm22, %k4
// CHECK: vptestmq 1016(%rdx){1to2}, %xmm22, %k4
// CHECK: encoding: [0x62,0xf2,0xcd,0x10,0x27,0x62,0x7f]
vptestmq 1016(%rdx){1to2}, %xmm22, %k4
// CHECK: vptestmq 1024(%rdx){1to2}, %xmm22, %k4
// CHECK: encoding: [0x62,0xf2,0xcd,0x10,0x27,0xa2,0x00,0x04,0x00,0x00]
vptestmq 1024(%rdx){1to2}, %xmm22, %k4
// CHECK: vptestmq -1024(%rdx){1to2}, %xmm22, %k4
// CHECK: encoding: [0x62,0xf2,0xcd,0x10,0x27,0x62,0x80]
vptestmq -1024(%rdx){1to2}, %xmm22, %k4
// CHECK: vptestmq -1032(%rdx){1to2}, %xmm22, %k4
// CHECK: encoding: [0x62,0xf2,0xcd,0x10,0x27,0xa2,0xf8,0xfb,0xff,0xff]
vptestmq -1032(%rdx){1to2}, %xmm22, %k4
// CHECK: vptestmq %ymm20, %ymm21, %k3
// CHECK: encoding: [0x62,0xb2,0xd5,0x20,0x27,0xdc]
vptestmq %ymm20, %ymm21, %k3
// CHECK: vptestmq %ymm20, %ymm21, %k3 {%k7}
// CHECK: encoding: [0x62,0xb2,0xd5,0x27,0x27,0xdc]
vptestmq %ymm20, %ymm21, %k3 {%k7}
// CHECK: vptestmq (%rcx), %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0xd5,0x20,0x27,0x19]
vptestmq (%rcx), %ymm21, %k3
// CHECK: vptestmq 291(%rax,%r14,8), %ymm21, %k3
// CHECK: encoding: [0x62,0xb2,0xd5,0x20,0x27,0x9c,0xf0,0x23,0x01,0x00,0x00]
vptestmq 291(%rax,%r14,8), %ymm21, %k3
// CHECK: vptestmq (%rcx){1to4}, %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0xd5,0x30,0x27,0x19]
vptestmq (%rcx){1to4}, %ymm21, %k3
// CHECK: vptestmq 4064(%rdx), %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0xd5,0x20,0x27,0x5a,0x7f]
vptestmq 4064(%rdx), %ymm21, %k3
// CHECK: vptestmq 4096(%rdx), %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0xd5,0x20,0x27,0x9a,0x00,0x10,0x00,0x00]
vptestmq 4096(%rdx), %ymm21, %k3
// CHECK: vptestmq -4096(%rdx), %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0xd5,0x20,0x27,0x5a,0x80]
vptestmq -4096(%rdx), %ymm21, %k3
// CHECK: vptestmq -4128(%rdx), %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0xd5,0x20,0x27,0x9a,0xe0,0xef,0xff,0xff]
vptestmq -4128(%rdx), %ymm21, %k3
// CHECK: vptestmq 1016(%rdx){1to4}, %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0xd5,0x30,0x27,0x5a,0x7f]
vptestmq 1016(%rdx){1to4}, %ymm21, %k3
// CHECK: vptestmq 1024(%rdx){1to4}, %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0xd5,0x30,0x27,0x9a,0x00,0x04,0x00,0x00]
vptestmq 1024(%rdx){1to4}, %ymm21, %k3
// CHECK: vptestmq -1024(%rdx){1to4}, %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0xd5,0x30,0x27,0x5a,0x80]
vptestmq -1024(%rdx){1to4}, %ymm21, %k3
// CHECK: vptestnmd %xmm22, %xmm20, %k3
// CHECK: encoding: [0x62,0xb2,0x5e,0x00,0x27,0xde]
vptestnmd %xmm22, %xmm20, %k3
// CHECK: vptestnmd %xmm22, %xmm20, %k3 {%k7}
// CHECK: encoding: [0x62,0xb2,0x5e,0x07,0x27,0xde]
vptestnmd %xmm22, %xmm20, %k3 {%k7}
// CHECK: vptestnmd (%rcx), %xmm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5e,0x00,0x27,0x19]
vptestnmd (%rcx), %xmm20, %k3
// CHECK: vptestnmd 291(%rax,%r14,8), %xmm20, %k3
// CHECK: encoding: [0x62,0xb2,0x5e,0x00,0x27,0x9c,0xf0,0x23,0x01,0x00,0x00]
vptestnmd 291(%rax,%r14,8), %xmm20, %k3
// CHECK: vptestnmd (%rcx){1to4}, %xmm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5e,0x10,0x27,0x19]
vptestnmd (%rcx){1to4}, %xmm20, %k3
// CHECK: vptestnmd 2032(%rdx), %xmm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5e,0x00,0x27,0x5a,0x7f]
vptestnmd 2032(%rdx), %xmm20, %k3
// CHECK: vptestnmd 2048(%rdx), %xmm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5e,0x00,0x27,0x9a,0x00,0x08,0x00,0x00]
vptestnmd 2048(%rdx), %xmm20, %k3
// CHECK: vptestnmd -2048(%rdx), %xmm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5e,0x00,0x27,0x5a,0x80]
vptestnmd -2048(%rdx), %xmm20, %k3
// CHECK: vptestnmd -2064(%rdx), %xmm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5e,0x00,0x27,0x9a,0xf0,0xf7,0xff,0xff]
vptestnmd -2064(%rdx), %xmm20, %k3
// CHECK: vptestnmd 508(%rdx){1to4}, %xmm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5e,0x10,0x27,0x5a,0x7f]
vptestnmd 508(%rdx){1to4}, %xmm20, %k3
// CHECK: vptestnmd 512(%rdx){1to4}, %xmm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5e,0x10,0x27,0x9a,0x00,0x02,0x00,0x00]
vptestnmd 512(%rdx){1to4}, %xmm20, %k3
// CHECK: vptestnmd -512(%rdx){1to4}, %xmm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5e,0x10,0x27,0x5a,0x80]
vptestnmd -512(%rdx){1to4}, %xmm20, %k3
// CHECK: vptestnmd -516(%rdx){1to4}, %xmm20, %k3
// CHECK: encoding: [0x62,0xf2,0x5e,0x10,0x27,0x9a,0xfc,0xfd,0xff,0xff]
vptestnmd -516(%rdx){1to4}, %xmm20, %k3
// CHECK: vptestnmd %ymm23, %ymm21, %k3
// CHECK: encoding: [0x62,0xb2,0x56,0x20,0x27,0xdf]
vptestnmd %ymm23, %ymm21, %k3
// CHECK: vptestnmd %ymm23, %ymm21, %k3 {%k7}
// CHECK: encoding: [0x62,0xb2,0x56,0x27,0x27,0xdf]
vptestnmd %ymm23, %ymm21, %k3 {%k7}
// CHECK: vptestnmd (%rcx), %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0x56,0x20,0x27,0x19]
vptestnmd (%rcx), %ymm21, %k3
// CHECK: vptestnmd 291(%rax,%r14,8), %ymm21, %k3
// CHECK: encoding: [0x62,0xb2,0x56,0x20,0x27,0x9c,0xf0,0x23,0x01,0x00,0x00]
vptestnmd 291(%rax,%r14,8), %ymm21, %k3
// CHECK: vptestnmd (%rcx){1to8}, %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0x56,0x30,0x27,0x19]
vptestnmd (%rcx){1to8}, %ymm21, %k3
// CHECK: vptestnmd 4064(%rdx), %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0x56,0x20,0x27,0x5a,0x7f]
vptestnmd 4064(%rdx), %ymm21, %k3
// CHECK: vptestnmd 4096(%rdx), %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0x56,0x20,0x27,0x9a,0x00,0x10,0x00,0x00]
vptestnmd 4096(%rdx), %ymm21, %k3
// CHECK: vptestnmd -4096(%rdx), %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0x56,0x20,0x27,0x5a,0x80]
vptestnmd -4096(%rdx), %ymm21, %k3
// CHECK: vptestnmd -4128(%rdx), %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0x56,0x20,0x27,0x9a,0xe0,0xef,0xff,0xff]
vptestnmd -4128(%rdx), %ymm21, %k3
// CHECK: vptestnmd 508(%rdx){1to8}, %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0x56,0x30,0x27,0x5a,0x7f]
vptestnmd 508(%rdx){1to8}, %ymm21, %k3
// CHECK: vptestnmd 512(%rdx){1to8}, %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0x56,0x30,0x27,0x9a,0x00,0x02,0x00,0x00]
vptestnmd 512(%rdx){1to8}, %ymm21, %k3
// CHECK: vptestnmd -512(%rdx){1to8}, %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0x56,0x30,0x27,0x5a,0x80]
vptestnmd -512(%rdx){1to8}, %ymm21, %k3
// CHECK: vptestnmd -516(%rdx){1to8}, %ymm21, %k3
// CHECK: encoding: [0x62,0xf2,0x56,0x30,0x27,0x9a,0xfc,0xfd,0xff,0xff]
vptestnmd -516(%rdx){1to8}, %ymm21, %k3
// CHECK: vptestnmq %xmm21, %xmm20, %k5
// CHECK: encoding: [0x62,0xb2,0xde,0x00,0x27,0xed]
vptestnmq %xmm21, %xmm20, %k5
// CHECK: vptestnmq %xmm21, %xmm20, %k5 {%k5}
// CHECK: encoding: [0x62,0xb2,0xde,0x05,0x27,0xed]
vptestnmq %xmm21, %xmm20, %k5 {%k5}
// CHECK: vptestnmq (%rcx), %xmm20, %k5
// CHECK: encoding: [0x62,0xf2,0xde,0x00,0x27,0x29]
vptestnmq (%rcx), %xmm20, %k5
// CHECK: vptestnmq 291(%rax,%r14,8), %xmm20, %k5
// CHECK: encoding: [0x62,0xb2,0xde,0x00,0x27,0xac,0xf0,0x23,0x01,0x00,0x00]
vptestnmq 291(%rax,%r14,8), %xmm20, %k5
// CHECK: vptestnmq (%rcx){1to2}, %xmm20, %k5
// CHECK: encoding: [0x62,0xf2,0xde,0x10,0x27,0x29]
vptestnmq (%rcx){1to2}, %xmm20, %k5
// CHECK: vptestnmq 2032(%rdx), %xmm20, %k5
// CHECK: encoding: [0x62,0xf2,0xde,0x00,0x27,0x6a,0x7f]
vptestnmq 2032(%rdx), %xmm20, %k5
// CHECK: vptestnmq 2048(%rdx), %xmm20, %k5
// CHECK: encoding: [0x62,0xf2,0xde,0x00,0x27,0xaa,0x00,0x08,0x00,0x00]
vptestnmq 2048(%rdx), %xmm20, %k5
// CHECK: vptestnmq -2048(%rdx), %xmm20, %k5
// CHECK: encoding: [0x62,0xf2,0xde,0x00,0x27,0x6a,0x80]
vptestnmq -2048(%rdx), %xmm20, %k5
// CHECK: vptestnmq -2064(%rdx), %xmm20, %k5
// CHECK: encoding: [0x62,0xf2,0xde,0x00,0x27,0xaa,0xf0,0xf7,0xff,0xff]
vptestnmq -2064(%rdx), %xmm20, %k5
// CHECK: vptestnmq 1016(%rdx){1to2}, %xmm20, %k5
// CHECK: encoding: [0x62,0xf2,0xde,0x10,0x27,0x6a,0x7f]
vptestnmq 1016(%rdx){1to2}, %xmm20, %k5
// CHECK: vptestnmq 1024(%rdx){1to2}, %xmm20, %k5
// CHECK: encoding: [0x62,0xf2,0xde,0x10,0x27,0xaa,0x00,0x04,0x00,0x00]
vptestnmq 1024(%rdx){1to2}, %xmm20, %k5
// CHECK: vptestnmq -1024(%rdx){1to2}, %xmm20, %k5
// CHECK: encoding: [0x62,0xf2,0xde,0x10,0x27,0x6a,0x80]
vptestnmq -1024(%rdx){1to2}, %xmm20, %k5
// CHECK: vptestnmq -1032(%rdx){1to2}, %xmm20, %k5
// CHECK: encoding: [0x62,0xf2,0xde,0x10,0x27,0xaa,0xf8,0xfb,0xff,0xff]
vptestnmq -1032(%rdx){1to2}, %xmm20, %k5
// CHECK: vptestnmq %ymm21, %ymm24, %k4
// CHECK: encoding: [0x62,0xb2,0xbe,0x20,0x27,0xe5]
vptestnmq %ymm21, %ymm24, %k4
// CHECK: vptestnmq %ymm21, %ymm24, %k4 {%k3}
// CHECK: encoding: [0x62,0xb2,0xbe,0x23,0x27,0xe5]
vptestnmq %ymm21, %ymm24, %k4 {%k3}
// CHECK: vptestnmq (%rcx), %ymm24, %k4
// CHECK: encoding: [0x62,0xf2,0xbe,0x20,0x27,0x21]
vptestnmq (%rcx), %ymm24, %k4
// CHECK: vptestnmq 291(%rax,%r14,8), %ymm24, %k4
// CHECK: encoding: [0x62,0xb2,0xbe,0x20,0x27,0xa4,0xf0,0x23,0x01,0x00,0x00]
vptestnmq 291(%rax,%r14,8), %ymm24, %k4
// CHECK: vptestnmq (%rcx){1to4}, %ymm24, %k4
// CHECK: encoding: [0x62,0xf2,0xbe,0x30,0x27,0x21]
vptestnmq (%rcx){1to4}, %ymm24, %k4
// CHECK: vptestnmq 4064(%rdx), %ymm24, %k4
// CHECK: encoding: [0x62,0xf2,0xbe,0x20,0x27,0x62,0x7f]
vptestnmq 4064(%rdx), %ymm24, %k4
// CHECK: vptestnmq 4096(%rdx), %ymm24, %k4
// CHECK: encoding: [0x62,0xf2,0xbe,0x20,0x27,0xa2,0x00,0x10,0x00,0x00]
vptestnmq 4096(%rdx), %ymm24, %k4
// CHECK: vptestnmq -4096(%rdx), %ymm24, %k4
// CHECK: encoding: [0x62,0xf2,0xbe,0x20,0x27,0x62,0x80]
vptestnmq -4096(%rdx), %ymm24, %k4
// CHECK: vptestnmq -4128(%rdx), %ymm24, %k4
// CHECK: encoding: [0x62,0xf2,0xbe,0x20,0x27,0xa2,0xe0,0xef,0xff,0xff]
vptestnmq -4128(%rdx), %ymm24, %k4
// CHECK: vptestnmq 1016(%rdx){1to4}, %ymm24, %k4
// CHECK: encoding: [0x62,0xf2,0xbe,0x30,0x27,0x62,0x7f]
vptestnmq 1016(%rdx){1to4}, %ymm24, %k4
// CHECK: vptestnmq 1024(%rdx){1to4}, %ymm24, %k4
// CHECK: encoding: [0x62,0xf2,0xbe,0x30,0x27,0xa2,0x00,0x04,0x00,0x00]
vptestnmq 1024(%rdx){1to4}, %ymm24, %k4
// CHECK: vptestnmq -1024(%rdx){1to4}, %ymm24, %k4
// CHECK: encoding: [0x62,0xf2,0xbe,0x30,0x27,0x62,0x80]
vptestnmq -1024(%rdx){1to4}, %ymm24, %k4
// CHECK: vptestnmq -1032(%rdx){1to4}, %ymm24, %k4
// CHECK: encoding: [0x62,0xf2,0xbe,0x30,0x27,0xa2,0xf8,0xfb,0xff,0xff]
vptestnmq -1032(%rdx){1to4}, %ymm24, %k4
// CHECK: vptestnmq %xmm19, %xmm28, %k2
// CHECK: encoding: [0x62,0xb2,0x9e,0x00,0x27,0xd3]
vptestnmq %xmm19, %xmm28,%k2
// CHECK: vptestnmq %xmm19, %xmm28, %k2 {%k1}
// CHECK: encoding: [0x62,0xb2,0x9e,0x01,0x27,0xd3]
vptestnmq %xmm19, %xmm28,%k2 {%k1}
// CHECK: vptestnmq (%rcx), %xmm28, %k2
// CHECK: encoding: [0x62,0xf2,0x9e,0x00,0x27,0x11]
vptestnmq (%rcx), %xmm28,%k2
// CHECK: vptestnmq 4660(%rax,%r14,8), %xmm28, %k2
// CHECK: encoding: [0x62,0xb2,0x9e,0x00,0x27,0x94,0xf0,0x34,0x12,0x00,0x00]
vptestnmq 4660(%rax,%r14,8), %xmm28,%k2
// CHECK: vptestnmq (%rcx){1to2}, %xmm28, %k2
// CHECK: encoding: [0x62,0xf2,0x9e,0x10,0x27,0x11]
vptestnmq (%rcx){1to2}, %xmm28,%k2
// CHECK: vptestnmq 2032(%rdx), %xmm28, %k2
// CHECK: encoding: [0x62,0xf2,0x9e,0x00,0x27,0x52,0x7f]
vptestnmq 2032(%rdx), %xmm28,%k2
// CHECK: vptestnmq 2048(%rdx), %xmm28, %k2
// CHECK: encoding: [0x62,0xf2,0x9e,0x00,0x27,0x92,0x00,0x08,0x00,0x00]
vptestnmq 2048(%rdx), %xmm28,%k2
// CHECK: vptestnmq -2048(%rdx), %xmm28, %k2
// CHECK: encoding: [0x62,0xf2,0x9e,0x00,0x27,0x52,0x80]
vptestnmq -2048(%rdx), %xmm28,%k2
// CHECK: vptestnmq -2064(%rdx), %xmm28, %k2
// CHECK: encoding: [0x62,0xf2,0x9e,0x00,0x27,0x92,0xf0,0xf7,0xff,0xff]
vptestnmq -2064(%rdx), %xmm28,%k2
// CHECK: vptestnmq 1016(%rdx){1to2}, %xmm28, %k2
// CHECK: encoding: [0x62,0xf2,0x9e,0x10,0x27,0x52,0x7f]
vptestnmq 1016(%rdx){1to2}, %xmm28,%k2
// CHECK: vptestnmq 1024(%rdx){1to2}, %xmm28, %k2
// CHECK: encoding: [0x62,0xf2,0x9e,0x10,0x27,0x92,0x00,0x04,0x00,0x00]
vptestnmq 1024(%rdx){1to2}, %xmm28,%k2
// CHECK: vptestnmq -1024(%rdx){1to2}, %xmm28, %k2
// CHECK: encoding: [0x62,0xf2,0x9e,0x10,0x27,0x52,0x80]
vptestnmq -1024(%rdx){1to2}, %xmm28,%k2
// CHECK: vptestnmq -1032(%rdx){1to2}, %xmm28, %k2
// CHECK: encoding: [0x62,0xf2,0x9e,0x10,0x27,0x92,0xf8,0xfb,0xff,0xff]
vptestnmq -1032(%rdx){1to2}, %xmm28,%k2
// CHECK: vptestnmq %ymm17, %ymm26, %k4
// CHECK: encoding: [0x62,0xb2,0xae,0x20,0x27,0xe1]
vptestnmq %ymm17, %ymm26,%k4
// CHECK: vptestnmq %ymm17, %ymm26, %k4 {%k1}
// CHECK: encoding: [0x62,0xb2,0xae,0x21,0x27,0xe1]
vptestnmq %ymm17, %ymm26,%k4 {%k1}
// CHECK: vptestnmq (%rcx), %ymm26, %k4
// CHECK: encoding: [0x62,0xf2,0xae,0x20,0x27,0x21]
vptestnmq (%rcx), %ymm26,%k4
// CHECK: vptestnmq 4660(%rax,%r14,8), %ymm26, %k4
// CHECK: encoding: [0x62,0xb2,0xae,0x20,0x27,0xa4,0xf0,0x34,0x12,0x00,0x00]
vptestnmq 4660(%rax,%r14,8), %ymm26,%k4
// CHECK: vptestnmq (%rcx){1to4}, %ymm26, %k4
// CHECK: encoding: [0x62,0xf2,0xae,0x30,0x27,0x21]
vptestnmq (%rcx){1to4}, %ymm26,%k4
// CHECK: vptestnmq 4064(%rdx), %ymm26, %k4
// CHECK: encoding: [0x62,0xf2,0xae,0x20,0x27,0x62,0x7f]
vptestnmq 4064(%rdx), %ymm26,%k4
// CHECK: vptestnmq 4096(%rdx), %ymm26, %k4
// CHECK: encoding: [0x62,0xf2,0xae,0x20,0x27,0xa2,0x00,0x10,0x00,0x00]
vptestnmq 4096(%rdx), %ymm26,%k4
// CHECK: vptestnmq -4096(%rdx), %ymm26, %k4
// CHECK: encoding: [0x62,0xf2,0xae,0x20,0x27,0x62,0x80]
vptestnmq -4096(%rdx), %ymm26,%k4
// CHECK: vptestnmq -4128(%rdx), %ymm26, %k4
// CHECK: encoding: [0x62,0xf2,0xae,0x20,0x27,0xa2,0xe0,0xef,0xff,0xff]
vptestnmq -4128(%rdx), %ymm26,%k4
// CHECK: vptestnmq 1016(%rdx){1to4}, %ymm26, %k4
// CHECK: encoding: [0x62,0xf2,0xae,0x30,0x27,0x62,0x7f]
vptestnmq 1016(%rdx){1to4}, %ymm26,%k4
// CHECK: vptestnmq 1024(%rdx){1to4}, %ymm26, %k4
// CHECK: encoding: [0x62,0xf2,0xae,0x30,0x27,0xa2,0x00,0x04,0x00,0x00]
vptestnmq 1024(%rdx){1to4}, %ymm26,%k4
// CHECK: vptestnmq -1024(%rdx){1to4}, %ymm26, %k4
// CHECK: encoding: [0x62,0xf2,0xae,0x30,0x27,0x62,0x80]
vptestnmq -1024(%rdx){1to4}, %ymm26,%k4
// CHECK: vptestnmq -1032(%rdx){1to4}, %ymm26, %k4
// CHECK: encoding: [0x62,0xf2,0xae,0x30,0x27,0xa2,0xf8,0xfb,0xff,0xff]
vptestnmq -1032(%rdx){1to4}, %ymm26,%k4
// CHECK: vptestnmd %xmm21, %xmm25, %k4
// CHECK: encoding: [0x62,0xb2,0x36,0x00,0x27,0xe5]
vptestnmd %xmm21, %xmm25,%k4
// CHECK: vptestnmd %xmm21, %xmm25, %k4 {%k5}
// CHECK: encoding: [0x62,0xb2,0x36,0x05,0x27,0xe5]
vptestnmd %xmm21, %xmm25,%k4 {%k5}
// CHECK: vptestnmd (%rcx), %xmm25, %k4
// CHECK: encoding: [0x62,0xf2,0x36,0x00,0x27,0x21]
vptestnmd (%rcx), %xmm25,%k4
// CHECK: vptestnmd 4660(%rax,%r14,8), %xmm25, %k4
// CHECK: encoding: [0x62,0xb2,0x36,0x00,0x27,0xa4,0xf0,0x34,0x12,0x00,0x00]
vptestnmd 4660(%rax,%r14,8), %xmm25,%k4
// CHECK: vptestnmd (%rcx){1to4}, %xmm25, %k4
// CHECK: encoding: [0x62,0xf2,0x36,0x10,0x27,0x21]
vptestnmd (%rcx){1to4}, %xmm25,%k4
// CHECK: vptestnmd 2032(%rdx), %xmm25, %k4
// CHECK: encoding: [0x62,0xf2,0x36,0x00,0x27,0x62,0x7f]
vptestnmd 2032(%rdx), %xmm25,%k4
// CHECK: vptestnmd 2048(%rdx), %xmm25, %k4
// CHECK: encoding: [0x62,0xf2,0x36,0x00,0x27,0xa2,0x00,0x08,0x00,0x00]
vptestnmd 2048(%rdx), %xmm25,%k4
// CHECK: vptestnmd -2048(%rdx), %xmm25, %k4
// CHECK: encoding: [0x62,0xf2,0x36,0x00,0x27,0x62,0x80]
vptestnmd -2048(%rdx), %xmm25,%k4
// CHECK: vptestnmd -2064(%rdx), %xmm25, %k4
// CHECK: encoding: [0x62,0xf2,0x36,0x00,0x27,0xa2,0xf0,0xf7,0xff,0xff]
vptestnmd -2064(%rdx), %xmm25,%k4
// CHECK: vptestnmd 508(%rdx){1to4}, %xmm25, %k4
// CHECK: encoding: [0x62,0xf2,0x36,0x10,0x27,0x62,0x7f]
vptestnmd 508(%rdx){1to4}, %xmm25,%k4
// CHECK: vptestnmd 512(%rdx){1to4}, %xmm25, %k4
// CHECK: encoding: [0x62,0xf2,0x36,0x10,0x27,0xa2,0x00,0x02,0x00,0x00]
vptestnmd 512(%rdx){1to4}, %xmm25,%k4
// CHECK: vptestnmd -512(%rdx){1to4}, %xmm25, %k4
// CHECK: encoding: [0x62,0xf2,0x36,0x10,0x27,0x62,0x80]
vptestnmd -512(%rdx){1to4}, %xmm25,%k4
// CHECK: vptestnmd -516(%rdx){1to4}, %xmm25, %k4
// CHECK: encoding: [0x62,0xf2,0x36,0x10,0x27,0xa2,0xfc,0xfd,0xff,0xff]
vptestnmd -516(%rdx){1to4}, %xmm25,%k4
// CHECK: vptestnmd %ymm26, %ymm29, %k4
// CHECK: encoding: [0x62,0x92,0x16,0x20,0x27,0xe2]
vptestnmd %ymm26, %ymm29,%k4
// CHECK: vptestnmd %ymm26, %ymm29, %k4 {%k4}
// CHECK: encoding: [0x62,0x92,0x16,0x24,0x27,0xe2]
vptestnmd %ymm26, %ymm29,%k4 {%k4}
// CHECK: vptestnmd (%rcx), %ymm29, %k4
// CHECK: encoding: [0x62,0xf2,0x16,0x20,0x27,0x21]
vptestnmd (%rcx), %ymm29,%k4
// CHECK: vptestnmd 4660(%rax,%r14,8), %ymm29, %k4
// CHECK: encoding: [0x62,0xb2,0x16,0x20,0x27,0xa4,0xf0,0x34,0x12,0x00,0x00]
vptestnmd 4660(%rax,%r14,8), %ymm29,%k4
// CHECK: vptestnmd (%rcx){1to8}, %ymm29, %k4
// CHECK: encoding: [0x62,0xf2,0x16,0x30,0x27,0x21]
vptestnmd (%rcx){1to8}, %ymm29,%k4
// CHECK: vptestnmd 4064(%rdx), %ymm29, %k4
// CHECK: encoding: [0x62,0xf2,0x16,0x20,0x27,0x62,0x7f]
vptestnmd 4064(%rdx), %ymm29,%k4
// CHECK: vptestnmd 4096(%rdx), %ymm29, %k4
// CHECK: encoding: [0x62,0xf2,0x16,0x20,0x27,0xa2,0x00,0x10,0x00,0x00]
vptestnmd 4096(%rdx), %ymm29,%k4
// CHECK: vptestnmd -4096(%rdx), %ymm29, %k4
// CHECK: encoding: [0x62,0xf2,0x16,0x20,0x27,0x62,0x80]
vptestnmd -4096(%rdx), %ymm29,%k4
// CHECK: vptestnmd -4128(%rdx), %ymm29, %k4
// CHECK: encoding: [0x62,0xf2,0x16,0x20,0x27,0xa2,0xe0,0xef,0xff,0xff]
vptestnmd -4128(%rdx), %ymm29,%k4
// CHECK: vptestnmd 508(%rdx){1to8}, %ymm29, %k4
// CHECK: encoding: [0x62,0xf2,0x16,0x30,0x27,0x62,0x7f]
vptestnmd 508(%rdx){1to8}, %ymm29,%k4
// CHECK: vptestnmd 512(%rdx){1to8}, %ymm29, %k4
// CHECK: encoding: [0x62,0xf2,0x16,0x30,0x27,0xa2,0x00,0x02,0x00,0x00]
vptestnmd 512(%rdx){1to8}, %ymm29,%k4
// CHECK: vptestnmd -512(%rdx){1to8}, %ymm29, %k4
// CHECK: encoding: [0x62,0xf2,0x16,0x30,0x27,0x62,0x80]
vptestnmd -512(%rdx){1to8}, %ymm29,%k4
// CHECK: vptestnmd -516(%rdx){1to8}, %ymm29, %k4
// CHECK: encoding: [0x62,0xf2,0x16,0x30,0x27,0xa2,0xfc,0xfd,0xff,0xff]
vptestnmd -516(%rdx){1to8}, %ymm29,%k4
// CHECK: vpmovd2m %xmm27, %k3
// CHECK: encoding: [0x62,0x92,0x7e,0x08,0x39,0xdb]
vpmovd2m %xmm27, %k3
// CHECK: vpmovd2m %ymm28, %k4
// CHECK: encoding: [0x62,0x92,0x7e,0x28,0x39,0xe4]
vpmovd2m %ymm28, %k4
// CHECK: vpmovq2m %xmm28, %k5
// CHECK: encoding: [0x62,0x92,0xfe,0x08,0x39,0xec]
vpmovq2m %xmm28, %k5
// CHECK: vpmovq2m %ymm29, %k4
// CHECK: encoding: [0x62,0x92,0xfe,0x28,0x39,0xe5]
vpmovq2m %ymm29, %k4
// CHECK: vpmovm2d %k2, %xmm29
// CHECK: encoding: [0x62,0x62,0x7e,0x08,0x38,0xea]
vpmovm2d %k2, %xmm29
// CHECK: vpmovm2d %k5, %ymm20
// CHECK: encoding: [0x62,0xe2,0x7e,0x28,0x38,0xe5]
vpmovm2d %k5, %ymm20
// CHECK: vpmovm2q %k5, %xmm17
// CHECK: encoding: [0x62,0xe2,0xfe,0x08,0x38,0xcd]
vpmovm2q %k5, %xmm17
// CHECK: vpmovm2q %k2, %ymm30
// CHECK: encoding: [0x62,0x62,0xfe,0x28,0x38,0xf2]
vpmovm2q %k2, %ymm30
// CHECK: vcompresspd %xmm23, (%rcx)
// CHECK: encoding: [0x62,0xe2,0xfd,0x08,0x8a,0x39]
vcompresspd %xmm23, (%rcx)
// CHECK: vcompresspd %xmm23, (%rcx) {%k6}
// CHECK: encoding: [0x62,0xe2,0xfd,0x0e,0x8a,0x39]
vcompresspd %xmm23, (%rcx) {%k6}
// CHECK: vcompresspd %xmm23, 291(%rax,%r14,8)
// CHECK: encoding: [0x62,0xa2,0xfd,0x08,0x8a,0xbc,0xf0,0x23,0x01,0x00,0x00]
vcompresspd %xmm23, 291(%rax,%r14,8)
// CHECK: vcompresspd %xmm23, 1016(%rdx)
// CHECK: encoding: [0x62,0xe2,0xfd,0x08,0x8a,0x7a,0x7f]
vcompresspd %xmm23, 1016(%rdx)
// CHECK: vcompresspd %xmm23, 1024(%rdx)
// CHECK: encoding: [0x62,0xe2,0xfd,0x08,0x8a,0xba,0x00,0x04,0x00,0x00]
vcompresspd %xmm23, 1024(%rdx)
// CHECK: vcompresspd %xmm23, -1024(%rdx)
// CHECK: encoding: [0x62,0xe2,0xfd,0x08,0x8a,0x7a,0x80]
vcompresspd %xmm23, -1024(%rdx)
// CHECK: vcompresspd %xmm23, -1032(%rdx)
// CHECK: encoding: [0x62,0xe2,0xfd,0x08,0x8a,0xba,0xf8,0xfb,0xff,0xff]
vcompresspd %xmm23, -1032(%rdx)
// CHECK: vcompresspd %ymm29, (%rcx)
// CHECK: encoding: [0x62,0x62,0xfd,0x28,0x8a,0x29]
vcompresspd %ymm29, (%rcx)
// CHECK: vcompresspd %ymm29, (%rcx) {%k2}
// CHECK: encoding: [0x62,0x62,0xfd,0x2a,0x8a,0x29]
vcompresspd %ymm29, (%rcx) {%k2}
// CHECK: vcompresspd %ymm29, 291(%rax,%r14,8)
// CHECK: encoding: [0x62,0x22,0xfd,0x28,0x8a,0xac,0xf0,0x23,0x01,0x00,0x00]
vcompresspd %ymm29, 291(%rax,%r14,8)
// CHECK: vcompresspd %ymm29, 1016(%rdx)
// CHECK: encoding: [0x62,0x62,0xfd,0x28,0x8a,0x6a,0x7f]
vcompresspd %ymm29, 1016(%rdx)
// CHECK: vcompresspd %ymm29, 1024(%rdx)
// CHECK: encoding: [0x62,0x62,0xfd,0x28,0x8a,0xaa,0x00,0x04,0x00,0x00]
vcompresspd %ymm29, 1024(%rdx)
// CHECK: vcompresspd %ymm29, -1024(%rdx)
// CHECK: encoding: [0x62,0x62,0xfd,0x28,0x8a,0x6a,0x80]
vcompresspd %ymm29, -1024(%rdx)
// CHECK: vcompresspd %ymm29, -1032(%rdx)
// CHECK: encoding: [0x62,0x62,0xfd,0x28,0x8a,0xaa,0xf8,0xfb,0xff,0xff]
vcompresspd %ymm29, -1032(%rdx)
// CHECK: vcompresspd %xmm27, %xmm20
// CHECK: encoding: [0x62,0x22,0xfd,0x08,0x8a,0xdc]
vcompresspd %xmm27, %xmm20
// CHECK: vcompresspd %xmm27, %xmm20 {%k2}
// CHECK: encoding: [0x62,0x22,0xfd,0x0a,0x8a,0xdc]
vcompresspd %xmm27, %xmm20 {%k2}
// CHECK: vcompresspd %xmm27, %xmm20 {%k2} {z}
// CHECK: encoding: [0x62,0x22,0xfd,0x8a,0x8a,0xdc]
vcompresspd %xmm27, %xmm20 {%k2} {z}
// CHECK: vcompresspd %ymm20, %ymm24
// CHECK: encoding: [0x62,0x82,0xfd,0x28,0x8a,0xe0]
vcompresspd %ymm20, %ymm24
// CHECK: vcompresspd %ymm20, %ymm24 {%k3}
// CHECK: encoding: [0x62,0x82,0xfd,0x2b,0x8a,0xe0]
vcompresspd %ymm20, %ymm24 {%k3}
// CHECK: vcompresspd %ymm20, %ymm24 {%k3} {z}
// CHECK: encoding: [0x62,0x82,0xfd,0xab,0x8a,0xe0]
vcompresspd %ymm20, %ymm24 {%k3} {z}
// CHECK: vcompressps %xmm21, (%rcx)
// CHECK: encoding: [0x62,0xe2,0x7d,0x08,0x8a,0x29]
vcompressps %xmm21, (%rcx)
// CHECK: vcompressps %xmm21, (%rcx) {%k7}
// CHECK: encoding: [0x62,0xe2,0x7d,0x0f,0x8a,0x29]
vcompressps %xmm21, (%rcx) {%k7}
// CHECK: vcompressps %xmm21, 291(%rax,%r14,8)
// CHECK: encoding: [0x62,0xa2,0x7d,0x08,0x8a,0xac,0xf0,0x23,0x01,0x00,0x00]
vcompressps %xmm21, 291(%rax,%r14,8)
// CHECK: vcompressps %xmm21, 508(%rdx)
// CHECK: encoding: [0x62,0xe2,0x7d,0x08,0x8a,0x6a,0x7f]
vcompressps %xmm21, 508(%rdx)
// CHECK: vcompressps %xmm21, 512(%rdx)
// CHECK: encoding: [0x62,0xe2,0x7d,0x08,0x8a,0xaa,0x00,0x02,0x00,0x00]
vcompressps %xmm21, 512(%rdx)
// CHECK: vcompressps %xmm21, -512(%rdx)
// CHECK: encoding: [0x62,0xe2,0x7d,0x08,0x8a,0x6a,0x80]
vcompressps %xmm21, -512(%rdx)
// CHECK: vcompressps %xmm21, -516(%rdx)
// CHECK: encoding: [0x62,0xe2,0x7d,0x08,0x8a,0xaa,0xfc,0xfd,0xff,0xff]
vcompressps %xmm21, -516(%rdx)
// CHECK: vcompressps %ymm24, (%rcx)
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x8a,0x01]
vcompressps %ymm24, (%rcx)
// CHECK: vcompressps %ymm24, (%rcx) {%k7}
// CHECK: encoding: [0x62,0x62,0x7d,0x2f,0x8a,0x01]
vcompressps %ymm24, (%rcx) {%k7}
// CHECK: vcompressps %ymm24, 291(%rax,%r14,8)
// CHECK: encoding: [0x62,0x22,0x7d,0x28,0x8a,0x84,0xf0,0x23,0x01,0x00,0x00]
vcompressps %ymm24, 291(%rax,%r14,8)
// CHECK: vcompressps %ymm24, 508(%rdx)
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x8a,0x42,0x7f]
vcompressps %ymm24, 508(%rdx)
// CHECK: vcompressps %ymm24, 512(%rdx)
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x8a,0x82,0x00,0x02,0x00,0x00]
vcompressps %ymm24, 512(%rdx)
// CHECK: vcompressps %ymm24, -512(%rdx)
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x8a,0x42,0x80]
vcompressps %ymm24, -512(%rdx)
// CHECK: vcompressps %ymm24, -516(%rdx)
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x8a,0x82,0xfc,0xfd,0xff,0xff]
vcompressps %ymm24, -516(%rdx)
// CHECK: vcompressps %xmm29, %xmm28
// CHECK: encoding: [0x62,0x02,0x7d,0x08,0x8a,0xec]
vcompressps %xmm29, %xmm28
// CHECK: vcompressps %xmm29, %xmm28 {%k3}
// CHECK: encoding: [0x62,0x02,0x7d,0x0b,0x8a,0xec]
vcompressps %xmm29, %xmm28 {%k3}
// CHECK: vcompressps %xmm29, %xmm28 {%k3} {z}
// CHECK: encoding: [0x62,0x02,0x7d,0x8b,0x8a,0xec]
vcompressps %xmm29, %xmm28 {%k3} {z}
// CHECK: vcompressps %ymm25, %ymm23
// CHECK: encoding: [0x62,0x22,0x7d,0x28,0x8a,0xcf]
vcompressps %ymm25, %ymm23
// CHECK: vcompressps %ymm25, %ymm23 {%k6}
// CHECK: encoding: [0x62,0x22,0x7d,0x2e,0x8a,0xcf]
vcompressps %ymm25, %ymm23 {%k6}
// CHECK: vcompressps %ymm25, %ymm23 {%k6} {z}
// CHECK: encoding: [0x62,0x22,0x7d,0xae,0x8a,0xcf]
vcompressps %ymm25, %ymm23 {%k6} {z}
// CHECK: vexpandpd (%rcx), %xmm23
// CHECK: encoding: [0x62,0xe2,0xfd,0x08,0x88,0x39]
vexpandpd (%rcx), %xmm23
// CHECK: vexpandpd (%rcx), %xmm23 {%k3}
// CHECK: encoding: [0x62,0xe2,0xfd,0x0b,0x88,0x39]
vexpandpd (%rcx), %xmm23 {%k3}
// CHECK: vexpandpd (%rcx), %xmm23 {%k3} {z}
// CHECK: encoding: [0x62,0xe2,0xfd,0x8b,0x88,0x39]
vexpandpd (%rcx), %xmm23 {%k3} {z}
// CHECK: vexpandpd 291(%rax,%r14,8), %xmm23
// CHECK: encoding: [0x62,0xa2,0xfd,0x08,0x88,0xbc,0xf0,0x23,0x01,0x00,0x00]
vexpandpd 291(%rax,%r14,8), %xmm23
// CHECK: vexpandpd 1016(%rdx), %xmm23
// CHECK: encoding: [0x62,0xe2,0xfd,0x08,0x88,0x7a,0x7f]
vexpandpd 1016(%rdx), %xmm23
// CHECK: vexpandpd 1024(%rdx), %xmm23
// CHECK: encoding: [0x62,0xe2,0xfd,0x08,0x88,0xba,0x00,0x04,0x00,0x00]
vexpandpd 1024(%rdx), %xmm23
// CHECK: vexpandpd -1024(%rdx), %xmm23
// CHECK: encoding: [0x62,0xe2,0xfd,0x08,0x88,0x7a,0x80]
vexpandpd -1024(%rdx), %xmm23
// CHECK: vexpandpd -1032(%rdx), %xmm23
// CHECK: encoding: [0x62,0xe2,0xfd,0x08,0x88,0xba,0xf8,0xfb,0xff,0xff]
vexpandpd -1032(%rdx), %xmm23
// CHECK: vexpandpd (%rcx), %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x88,0x31]
vexpandpd (%rcx), %ymm22
// CHECK: vexpandpd (%rcx), %ymm22 {%k5}
// CHECK: encoding: [0x62,0xe2,0xfd,0x2d,0x88,0x31]
vexpandpd (%rcx), %ymm22 {%k5}
// CHECK: vexpandpd (%rcx), %ymm22 {%k5} {z}
// CHECK: encoding: [0x62,0xe2,0xfd,0xad,0x88,0x31]
vexpandpd (%rcx), %ymm22 {%k5} {z}
// CHECK: vexpandpd 291(%rax,%r14,8), %ymm22
// CHECK: encoding: [0x62,0xa2,0xfd,0x28,0x88,0xb4,0xf0,0x23,0x01,0x00,0x00]
vexpandpd 291(%rax,%r14,8), %ymm22
// CHECK: vexpandpd 1016(%rdx), %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x88,0x72,0x7f]
vexpandpd 1016(%rdx), %ymm22
// CHECK: vexpandpd 1024(%rdx), %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x88,0xb2,0x00,0x04,0x00,0x00]
vexpandpd 1024(%rdx), %ymm22
// CHECK: vexpandpd -1024(%rdx), %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x88,0x72,0x80]
vexpandpd -1024(%rdx), %ymm22
// CHECK: vexpandpd -1032(%rdx), %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x88,0xb2,0xf8,0xfb,0xff,0xff]
vexpandpd -1032(%rdx), %ymm22
// CHECK: vexpandpd %xmm25, %xmm29
// CHECK: encoding: [0x62,0x02,0xfd,0x08,0x88,0xe9]
vexpandpd %xmm25, %xmm29
// CHECK: vexpandpd %xmm25, %xmm29 {%k7}
// CHECK: encoding: [0x62,0x02,0xfd,0x0f,0x88,0xe9]
vexpandpd %xmm25, %xmm29 {%k7}
// CHECK: vexpandpd %xmm25, %xmm29 {%k7} {z}
// CHECK: encoding: [0x62,0x02,0xfd,0x8f,0x88,0xe9]
vexpandpd %xmm25, %xmm29 {%k7} {z}
// CHECK: vexpandpd %ymm27, %ymm21
// CHECK: encoding: [0x62,0x82,0xfd,0x28,0x88,0xeb]
vexpandpd %ymm27, %ymm21
// CHECK: vexpandpd %ymm27, %ymm21 {%k2}
// CHECK: encoding: [0x62,0x82,0xfd,0x2a,0x88,0xeb]
vexpandpd %ymm27, %ymm21 {%k2}
// CHECK: vexpandpd %ymm27, %ymm21 {%k2} {z}
// CHECK: encoding: [0x62,0x82,0xfd,0xaa,0x88,0xeb]
vexpandpd %ymm27, %ymm21 {%k2} {z}
// CHECK: vexpandps (%rcx), %xmm18
// CHECK: encoding: [0x62,0xe2,0x7d,0x08,0x88,0x11]
vexpandps (%rcx), %xmm18
// CHECK: vexpandps (%rcx), %xmm18 {%k1}
// CHECK: encoding: [0x62,0xe2,0x7d,0x09,0x88,0x11]
vexpandps (%rcx), %xmm18 {%k1}
// CHECK: vexpandps (%rcx), %xmm18 {%k1} {z}
// CHECK: encoding: [0x62,0xe2,0x7d,0x89,0x88,0x11]
vexpandps (%rcx), %xmm18 {%k1} {z}
// CHECK: vexpandps 291(%rax,%r14,8), %xmm18
// CHECK: encoding: [0x62,0xa2,0x7d,0x08,0x88,0x94,0xf0,0x23,0x01,0x00,0x00]
vexpandps 291(%rax,%r14,8), %xmm18
// CHECK: vexpandps 508(%rdx), %xmm18
// CHECK: encoding: [0x62,0xe2,0x7d,0x08,0x88,0x52,0x7f]
vexpandps 508(%rdx), %xmm18
// CHECK: vexpandps 512(%rdx), %xmm18
// CHECK: encoding: [0x62,0xe2,0x7d,0x08,0x88,0x92,0x00,0x02,0x00,0x00]
vexpandps 512(%rdx), %xmm18
// CHECK: vexpandps -512(%rdx), %xmm18
// CHECK: encoding: [0x62,0xe2,0x7d,0x08,0x88,0x52,0x80]
vexpandps -512(%rdx), %xmm18
// CHECK: vexpandps -516(%rdx), %xmm18
// CHECK: encoding: [0x62,0xe2,0x7d,0x08,0x88,0x92,0xfc,0xfd,0xff,0xff]
vexpandps -516(%rdx), %xmm18
// CHECK: vexpandps (%rcx), %ymm23
// CHECK: encoding: [0x62,0xe2,0x7d,0x28,0x88,0x39]
vexpandps (%rcx), %ymm23
// CHECK: vexpandps (%rcx), %ymm23 {%k7}
// CHECK: encoding: [0x62,0xe2,0x7d,0x2f,0x88,0x39]
vexpandps (%rcx), %ymm23 {%k7}
// CHECK: vexpandps (%rcx), %ymm23 {%k7} {z}
// CHECK: encoding: [0x62,0xe2,0x7d,0xaf,0x88,0x39]
vexpandps (%rcx), %ymm23 {%k7} {z}
// CHECK: vexpandps 291(%rax,%r14,8), %ymm23
// CHECK: encoding: [0x62,0xa2,0x7d,0x28,0x88,0xbc,0xf0,0x23,0x01,0x00,0x00]
vexpandps 291(%rax,%r14,8), %ymm23
// CHECK: vexpandps 508(%rdx), %ymm23
// CHECK: encoding: [0x62,0xe2,0x7d,0x28,0x88,0x7a,0x7f]
vexpandps 508(%rdx), %ymm23
// CHECK: vexpandps 512(%rdx), %ymm23
// CHECK: encoding: [0x62,0xe2,0x7d,0x28,0x88,0xba,0x00,0x02,0x00,0x00]
vexpandps 512(%rdx), %ymm23
// CHECK: vexpandps -512(%rdx), %ymm23
// CHECK: encoding: [0x62,0xe2,0x7d,0x28,0x88,0x7a,0x80]
vexpandps -512(%rdx), %ymm23
// CHECK: vexpandps -516(%rdx), %ymm23
// CHECK: encoding: [0x62,0xe2,0x7d,0x28,0x88,0xba,0xfc,0xfd,0xff,0xff]
vexpandps -516(%rdx), %ymm23
// CHECK: vexpandps %xmm19, %xmm29
// CHECK: encoding: [0x62,0x22,0x7d,0x08,0x88,0xeb]
vexpandps %xmm19, %xmm29
// CHECK: vexpandps %xmm19, %xmm29 {%k5}
// CHECK: encoding: [0x62,0x22,0x7d,0x0d,0x88,0xeb]
vexpandps %xmm19, %xmm29 {%k5}
// CHECK: vexpandps %xmm19, %xmm29 {%k5} {z}
// CHECK: encoding: [0x62,0x22,0x7d,0x8d,0x88,0xeb]
vexpandps %xmm19, %xmm29 {%k5} {z}
// CHECK: vexpandps %ymm29, %ymm29
// CHECK: encoding: [0x62,0x02,0x7d,0x28,0x88,0xed]
vexpandps %ymm29, %ymm29
// CHECK: vexpandps %ymm29, %ymm29 {%k5}
// CHECK: encoding: [0x62,0x02,0x7d,0x2d,0x88,0xed]
vexpandps %ymm29, %ymm29 {%k5}
// CHECK: vexpandps %ymm29, %ymm29 {%k5} {z}
// CHECK: encoding: [0x62,0x02,0x7d,0xad,0x88,0xed]
vexpandps %ymm29, %ymm29 {%k5} {z}
// CHECK: vpabsd %xmm19, %xmm28
// CHECK: encoding: [0x62,0x22,0x7d,0x08,0x1e,0xe3]
vpabsd %xmm19, %xmm28
// CHECK: vpabsd %xmm19, %xmm28 {%k6}
// CHECK: encoding: [0x62,0x22,0x7d,0x0e,0x1e,0xe3]
vpabsd %xmm19, %xmm28 {%k6}
// CHECK: vpabsd %xmm19, %xmm28 {%k6} {z}
// CHECK: encoding: [0x62,0x22,0x7d,0x8e,0x1e,0xe3]
vpabsd %xmm19, %xmm28 {%k6} {z}
// CHECK: vpabsd (%rcx), %xmm28
// CHECK: encoding: [0x62,0x62,0x7d,0x08,0x1e,0x21]
vpabsd (%rcx), %xmm28
// CHECK: vpabsd 291(%rax,%r14,8), %xmm28
// CHECK: encoding: [0x62,0x22,0x7d,0x08,0x1e,0xa4,0xf0,0x23,0x01,0x00,0x00]
vpabsd 291(%rax,%r14,8), %xmm28
// CHECK: vpabsd (%rcx){1to4}, %xmm28
// CHECK: encoding: [0x62,0x62,0x7d,0x18,0x1e,0x21]
vpabsd (%rcx){1to4}, %xmm28
// CHECK: vpabsd 2032(%rdx), %xmm28
// CHECK: encoding: [0x62,0x62,0x7d,0x08,0x1e,0x62,0x7f]
vpabsd 2032(%rdx), %xmm28
// CHECK: vpabsd 2048(%rdx), %xmm28
// CHECK: encoding: [0x62,0x62,0x7d,0x08,0x1e,0xa2,0x00,0x08,0x00,0x00]
vpabsd 2048(%rdx), %xmm28
// CHECK: vpabsd -2048(%rdx), %xmm28
// CHECK: encoding: [0x62,0x62,0x7d,0x08,0x1e,0x62,0x80]
vpabsd -2048(%rdx), %xmm28
// CHECK: vpabsd -2064(%rdx), %xmm28
// CHECK: encoding: [0x62,0x62,0x7d,0x08,0x1e,0xa2,0xf0,0xf7,0xff,0xff]
vpabsd -2064(%rdx), %xmm28
// CHECK: vpabsd 508(%rdx){1to4}, %xmm28
// CHECK: encoding: [0x62,0x62,0x7d,0x18,0x1e,0x62,0x7f]
vpabsd 508(%rdx){1to4}, %xmm28
// CHECK: vpabsd 512(%rdx){1to4}, %xmm28
// CHECK: encoding: [0x62,0x62,0x7d,0x18,0x1e,0xa2,0x00,0x02,0x00,0x00]
vpabsd 512(%rdx){1to4}, %xmm28
// CHECK: vpabsd -512(%rdx){1to4}, %xmm28
// CHECK: encoding: [0x62,0x62,0x7d,0x18,0x1e,0x62,0x80]
vpabsd -512(%rdx){1to4}, %xmm28
// CHECK: vpabsd -516(%rdx){1to4}, %xmm28
// CHECK: encoding: [0x62,0x62,0x7d,0x18,0x1e,0xa2,0xfc,0xfd,0xff,0xff]
vpabsd -516(%rdx){1to4}, %xmm28
// CHECK: vpabsd %ymm18, %ymm25
// CHECK: encoding: [0x62,0x22,0x7d,0x28,0x1e,0xca]
vpabsd %ymm18, %ymm25
// CHECK: vpabsd %ymm18, %ymm25 {%k2}
// CHECK: encoding: [0x62,0x22,0x7d,0x2a,0x1e,0xca]
vpabsd %ymm18, %ymm25 {%k2}
// CHECK: vpabsd %ymm18, %ymm25 {%k2} {z}
// CHECK: encoding: [0x62,0x22,0x7d,0xaa,0x1e,0xca]
vpabsd %ymm18, %ymm25 {%k2} {z}
// CHECK: vpabsd (%rcx), %ymm25
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x1e,0x09]
vpabsd (%rcx), %ymm25
// CHECK: vpabsd 291(%rax,%r14,8), %ymm25
// CHECK: encoding: [0x62,0x22,0x7d,0x28,0x1e,0x8c,0xf0,0x23,0x01,0x00,0x00]
vpabsd 291(%rax,%r14,8), %ymm25
// CHECK: vpabsd (%rcx){1to8}, %ymm25
// CHECK: encoding: [0x62,0x62,0x7d,0x38,0x1e,0x09]
vpabsd (%rcx){1to8}, %ymm25
// CHECK: vpabsd 4064(%rdx), %ymm25
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x1e,0x4a,0x7f]
vpabsd 4064(%rdx), %ymm25
// CHECK: vpabsd 4096(%rdx), %ymm25
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x1e,0x8a,0x00,0x10,0x00,0x00]
vpabsd 4096(%rdx), %ymm25
// CHECK: vpabsd -4096(%rdx), %ymm25
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x1e,0x4a,0x80]
vpabsd -4096(%rdx), %ymm25
// CHECK: vpabsd -4128(%rdx), %ymm25
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x1e,0x8a,0xe0,0xef,0xff,0xff]
vpabsd -4128(%rdx), %ymm25
// CHECK: vpabsd 508(%rdx){1to8}, %ymm25
// CHECK: encoding: [0x62,0x62,0x7d,0x38,0x1e,0x4a,0x7f]
vpabsd 508(%rdx){1to8}, %ymm25
// CHECK: vpabsd 512(%rdx){1to8}, %ymm25
// CHECK: encoding: [0x62,0x62,0x7d,0x38,0x1e,0x8a,0x00,0x02,0x00,0x00]
vpabsd 512(%rdx){1to8}, %ymm25
// CHECK: vpabsd -512(%rdx){1to8}, %ymm25
// CHECK: encoding: [0x62,0x62,0x7d,0x38,0x1e,0x4a,0x80]
vpabsd -512(%rdx){1to8}, %ymm25
// CHECK: vpabsd -516(%rdx){1to8}, %ymm25
// CHECK: encoding: [0x62,0x62,0x7d,0x38,0x1e,0x8a,0xfc,0xfd,0xff,0xff]
vpabsd -516(%rdx){1to8}, %ymm25
// CHECK: vpabsq %xmm22, %xmm19
// CHECK: encoding: [0x62,0xa2,0xfd,0x08,0x1f,0xde]
vpabsq %xmm22, %xmm19
// CHECK: vpabsq %xmm22, %xmm19 {%k2}
// CHECK: encoding: [0x62,0xa2,0xfd,0x0a,0x1f,0xde]
vpabsq %xmm22, %xmm19 {%k2}
// CHECK: vpabsq %xmm22, %xmm19 {%k2} {z}
// CHECK: encoding: [0x62,0xa2,0xfd,0x8a,0x1f,0xde]
vpabsq %xmm22, %xmm19 {%k2} {z}
// CHECK: vpabsq (%rcx), %xmm19
// CHECK: encoding: [0x62,0xe2,0xfd,0x08,0x1f,0x19]
vpabsq (%rcx), %xmm19
// CHECK: vpabsq 291(%rax,%r14,8), %xmm19
// CHECK: encoding: [0x62,0xa2,0xfd,0x08,0x1f,0x9c,0xf0,0x23,0x01,0x00,0x00]
vpabsq 291(%rax,%r14,8), %xmm19
// CHECK: vpabsq (%rcx){1to2}, %xmm19
// CHECK: encoding: [0x62,0xe2,0xfd,0x18,0x1f,0x19]
vpabsq (%rcx){1to2}, %xmm19
// CHECK: vpabsq 2032(%rdx), %xmm19
// CHECK: encoding: [0x62,0xe2,0xfd,0x08,0x1f,0x5a,0x7f]
vpabsq 2032(%rdx), %xmm19
// CHECK: vpabsq 2048(%rdx), %xmm19
// CHECK: encoding: [0x62,0xe2,0xfd,0x08,0x1f,0x9a,0x00,0x08,0x00,0x00]
vpabsq 2048(%rdx), %xmm19
// CHECK: vpabsq -2048(%rdx), %xmm19
// CHECK: encoding: [0x62,0xe2,0xfd,0x08,0x1f,0x5a,0x80]
vpabsq -2048(%rdx), %xmm19
// CHECK: vpabsq -2064(%rdx), %xmm19
// CHECK: encoding: [0x62,0xe2,0xfd,0x08,0x1f,0x9a,0xf0,0xf7,0xff,0xff]
vpabsq -2064(%rdx), %xmm19
// CHECK: vpabsq 1016(%rdx){1to2}, %xmm19
// CHECK: encoding: [0x62,0xe2,0xfd,0x18,0x1f,0x5a,0x7f]
vpabsq 1016(%rdx){1to2}, %xmm19
// CHECK: vpabsq 1024(%rdx){1to2}, %xmm19
// CHECK: encoding: [0x62,0xe2,0xfd,0x18,0x1f,0x9a,0x00,0x04,0x00,0x00]
vpabsq 1024(%rdx){1to2}, %xmm19
// CHECK: vpabsq -1024(%rdx){1to2}, %xmm19
// CHECK: encoding: [0x62,0xe2,0xfd,0x18,0x1f,0x5a,0x80]
vpabsq -1024(%rdx){1to2}, %xmm19
// CHECK: vpabsq -1032(%rdx){1to2}, %xmm19
// CHECK: encoding: [0x62,0xe2,0xfd,0x18,0x1f,0x9a,0xf8,0xfb,0xff,0xff]
vpabsq -1032(%rdx){1to2}, %xmm19
// CHECK: vpabsq %ymm17, %ymm22
// CHECK: encoding: [0x62,0xa2,0xfd,0x28,0x1f,0xf1]
vpabsq %ymm17, %ymm22
// CHECK: vpabsq %ymm17, %ymm22 {%k6}
// CHECK: encoding: [0x62,0xa2,0xfd,0x2e,0x1f,0xf1]
vpabsq %ymm17, %ymm22 {%k6}
// CHECK: vpabsq %ymm17, %ymm22 {%k6} {z}
// CHECK: encoding: [0x62,0xa2,0xfd,0xae,0x1f,0xf1]
vpabsq %ymm17, %ymm22 {%k6} {z}
// CHECK: vpabsq (%rcx), %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x1f,0x31]
vpabsq (%rcx), %ymm22
// CHECK: vpabsq 291(%rax,%r14,8), %ymm22
// CHECK: encoding: [0x62,0xa2,0xfd,0x28,0x1f,0xb4,0xf0,0x23,0x01,0x00,0x00]
vpabsq 291(%rax,%r14,8), %ymm22
// CHECK: vpabsq (%rcx){1to4}, %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x38,0x1f,0x31]
vpabsq (%rcx){1to4}, %ymm22
// CHECK: vpabsq 4064(%rdx), %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x1f,0x72,0x7f]
vpabsq 4064(%rdx), %ymm22
// CHECK: vpabsq 4096(%rdx), %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x1f,0xb2,0x00,0x10,0x00,0x00]
vpabsq 4096(%rdx), %ymm22
// CHECK: vpabsq -4096(%rdx), %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x1f,0x72,0x80]
vpabsq -4096(%rdx), %ymm22
// CHECK: vpabsq -4128(%rdx), %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x1f,0xb2,0xe0,0xef,0xff,0xff]
vpabsq -4128(%rdx), %ymm22
// CHECK: vpabsq 1016(%rdx){1to4}, %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x38,0x1f,0x72,0x7f]
vpabsq 1016(%rdx){1to4}, %ymm22
// CHECK: vpabsq 1024(%rdx){1to4}, %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x38,0x1f,0xb2,0x00,0x04,0x00,0x00]
vpabsq 1024(%rdx){1to4}, %ymm22
// CHECK: vpabsq -1024(%rdx){1to4}, %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x38,0x1f,0x72,0x80]
vpabsq -1024(%rdx){1to4}, %ymm22
// CHECK: vpabsq -1032(%rdx){1to4}, %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x38,0x1f,0xb2,0xf8,0xfb,0xff,0xff]
vpabsq -1032(%rdx){1to4}, %ymm22
// CHECK: vpgatherdd 123(%r14,%xmm31,8), %xmm17 {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0x90,0x8c,0xfe,0x7b,0x00,0x00,0x00]
vpgatherdd 123(%r14,%xmm31,8), %xmm17 {%k1}
// CHECK: vpgatherdd 256(%r9,%xmm31), %xmm17 {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0x90,0x4c,0x39,0x40]
vpgatherdd 256(%r9,%xmm31), %xmm17 {%k1}
// CHECK: vpgatherdd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
// CHECK: encoding: [0x62,0xa2,0x7d,0x01,0x90,0x8c,0xb9,0x00,0x04,0x00,0x00]
vpgatherdd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
// CHECK: vpgatherdd 123(%r14,%ymm31,8), %ymm19 {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x21,0x90,0x9c,0xfe,0x7b,0x00,0x00,0x00]
vpgatherdd 123(%r14,%ymm31,8), %ymm19 {%k1}
// CHECK: vpgatherdd 256(%r9,%ymm31), %ymm19 {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x21,0x90,0x5c,0x39,0x40]
vpgatherdd 256(%r9,%ymm31), %ymm19 {%k1}
// CHECK: vpgatherdd 1024(%rcx,%ymm31,4), %ymm19 {%k1}
// CHECK: encoding: [0x62,0xa2,0x7d,0x21,0x90,0x9c,0xb9,0x00,0x04,0x00,0x00]
vpgatherdd 1024(%rcx,%ymm31,4), %ymm19 {%k1}
// CHECK: vpgatherdq 123(%r14,%xmm31,8), %xmm17 {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x01,0x90,0x8c,0xfe,0x7b,0x00,0x00,0x00]
vpgatherdq 123(%r14,%xmm31,8), %xmm17 {%k1}
// CHECK: vpgatherdq 256(%r9,%xmm31), %xmm17 {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x01,0x90,0x4c,0x39,0x20]
vpgatherdq 256(%r9,%xmm31), %xmm17 {%k1}
// CHECK: vpgatherdq 1024(%rcx,%xmm31,4), %xmm17 {%k1}
// CHECK: encoding: [0x62,0xa2,0xfd,0x01,0x90,0x8c,0xb9,0x00,0x04,0x00,0x00]
vpgatherdq 1024(%rcx,%xmm31,4), %xmm17 {%k1}
// CHECK: vpgatherdq 123(%r14,%xmm31,8), %ymm26 {%k1}
// CHECK: encoding: [0x62,0x02,0xfd,0x21,0x90,0x94,0xfe,0x7b,0x00,0x00,0x00]
vpgatherdq 123(%r14,%xmm31,8), %ymm26 {%k1}
// CHECK: vpgatherdq 256(%r9,%xmm31), %ymm26 {%k1}
// CHECK: encoding: [0x62,0x02,0xfd,0x21,0x90,0x54,0x39,0x20]
vpgatherdq 256(%r9,%xmm31), %ymm26 {%k1}
// CHECK: vpgatherdq 1024(%rcx,%xmm31,4), %ymm26 {%k1}
// CHECK: encoding: [0x62,0x22,0xfd,0x21,0x90,0x94,0xb9,0x00,0x04,0x00,0x00]
vpgatherdq 1024(%rcx,%xmm31,4), %ymm26 {%k1}
// CHECK: vpgatherqd 123(%r14,%xmm31,8), %xmm21 {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0x91,0xac,0xfe,0x7b,0x00,0x00,0x00]
vpgatherqd 123(%r14,%xmm31,8), %xmm21 {%k1}
// CHECK: vpgatherqd 256(%r9,%xmm31), %xmm21 {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0x91,0x6c,0x39,0x40]
vpgatherqd 256(%r9,%xmm31), %xmm21 {%k1}
// CHECK: vpgatherqd 1024(%rcx,%xmm31,4), %xmm21 {%k1}
// CHECK: encoding: [0x62,0xa2,0x7d,0x01,0x91,0xac,0xb9,0x00,0x04,0x00,0x00]
vpgatherqd 1024(%rcx,%xmm31,4), %xmm21 {%k1}
// CHECK: vpgatherqd 123(%r14,%ymm31,8), %xmm25 {%k1}
// CHECK: encoding: [0x62,0x02,0x7d,0x21,0x91,0x8c,0xfe,0x7b,0x00,0x00,0x00]
vpgatherqd 123(%r14,%ymm31,8), %xmm25 {%k1}
// CHECK: vpgatherqd 256(%r9,%ymm31), %xmm25 {%k1}
// CHECK: encoding: [0x62,0x02,0x7d,0x21,0x91,0x4c,0x39,0x40]
vpgatherqd 256(%r9,%ymm31), %xmm25 {%k1}
// CHECK: vpgatherqd 1024(%rcx,%ymm31,4), %xmm25 {%k1}
// CHECK: encoding: [0x62,0x22,0x7d,0x21,0x91,0x8c,0xb9,0x00,0x04,0x00,0x00]
vpgatherqd 1024(%rcx,%ymm31,4), %xmm25 {%k1}
// CHECK: vpgatherqq 123(%r14,%xmm31,8), %xmm18 {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x01,0x91,0x94,0xfe,0x7b,0x00,0x00,0x00]
vpgatherqq 123(%r14,%xmm31,8), %xmm18 {%k1}
// CHECK: vpgatherqq 256(%r9,%xmm31), %xmm18 {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x01,0x91,0x54,0x39,0x20]
vpgatherqq 256(%r9,%xmm31), %xmm18 {%k1}
// CHECK: vpgatherqq 1024(%rcx,%xmm31,4), %xmm18 {%k1}
// CHECK: encoding: [0x62,0xa2,0xfd,0x01,0x91,0x94,0xb9,0x00,0x04,0x00,0x00]
vpgatherqq 1024(%rcx,%xmm31,4), %xmm18 {%k1}
// CHECK: vpgatherqq 123(%r14,%ymm31,8), %ymm19 {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x21,0x91,0x9c,0xfe,0x7b,0x00,0x00,0x00]
vpgatherqq 123(%r14,%ymm31,8), %ymm19 {%k1}
// CHECK: vpgatherqq 256(%r9,%ymm31), %ymm19 {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x21,0x91,0x5c,0x39,0x20]
vpgatherqq 256(%r9,%ymm31), %ymm19 {%k1}
// CHECK: vpgatherqq 1024(%rcx,%ymm31,4), %ymm19 {%k1}
// CHECK: encoding: [0x62,0xa2,0xfd,0x21,0x91,0x9c,0xb9,0x00,0x04,0x00,0x00]
vpgatherqq 1024(%rcx,%ymm31,4), %ymm19 {%k1}
// CHECK: vgatherdpd 123(%r14,%xmm31,8), %xmm17 {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x01,0x92,0x8c,0xfe,0x7b,0x00,0x00,0x00]
vgatherdpd 123(%r14,%xmm31,8), %xmm17 {%k1}
// CHECK: vgatherdpd 256(%r9,%xmm31), %xmm17 {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x01,0x92,0x4c,0x39,0x20]
vgatherdpd 256(%r9,%xmm31), %xmm17 {%k1}
// CHECK: vgatherdpd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
// CHECK: encoding: [0x62,0xa2,0xfd,0x01,0x92,0x8c,0xb9,0x00,0x04,0x00,0x00]
vgatherdpd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
// CHECK: vgatherdpd 123(%r14,%xmm31,8), %ymm23 {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x21,0x92,0xbc,0xfe,0x7b,0x00,0x00,0x00]
vgatherdpd 123(%r14,%xmm31,8), %ymm23 {%k1}
// CHECK: vgatherdpd 256(%r9,%xmm31), %ymm23 {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x21,0x92,0x7c,0x39,0x20]
vgatherdpd 256(%r9,%xmm31), %ymm23 {%k1}
// CHECK: vgatherdpd 1024(%rcx,%xmm31,4), %ymm23 {%k1}
// CHECK: encoding: [0x62,0xa2,0xfd,0x21,0x92,0xbc,0xb9,0x00,0x04,0x00,0x00]
vgatherdpd 1024(%rcx,%xmm31,4), %ymm23 {%k1}
// CHECK: vgatherdps 123(%r14,%xmm31,8), %xmm18 {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0x92,0x94,0xfe,0x7b,0x00,0x00,0x00]
vgatherdps 123(%r14,%xmm31,8), %xmm18 {%k1}
// CHECK: vgatherdps 256(%r9,%xmm31), %xmm18 {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0x92,0x54,0x39,0x40]
vgatherdps 256(%r9,%xmm31), %xmm18 {%k1}
// CHECK: vgatherdps 1024(%rcx,%xmm31,4), %xmm18 {%k1}
// CHECK: encoding: [0x62,0xa2,0x7d,0x01,0x92,0x94,0xb9,0x00,0x04,0x00,0x00]
vgatherdps 1024(%rcx,%xmm31,4), %xmm18 {%k1}
// CHECK: vgatherdps 123(%r14,%ymm31,8), %ymm27 {%k1}
// CHECK: encoding: [0x62,0x02,0x7d,0x21,0x92,0x9c,0xfe,0x7b,0x00,0x00,0x00]
vgatherdps 123(%r14,%ymm31,8), %ymm27 {%k1}
// CHECK: vgatherdps 256(%r9,%ymm31), %ymm27 {%k1}
// CHECK: encoding: [0x62,0x02,0x7d,0x21,0x92,0x5c,0x39,0x40]
vgatherdps 256(%r9,%ymm31), %ymm27 {%k1}
// CHECK: vgatherdps 1024(%rcx,%ymm31,4), %ymm27 {%k1}
// CHECK: encoding: [0x62,0x22,0x7d,0x21,0x92,0x9c,0xb9,0x00,0x04,0x00,0x00]
vgatherdps 1024(%rcx,%ymm31,4), %ymm27 {%k1}
// CHECK: vgatherqpd 123(%r14,%xmm31,8), %xmm17 {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x01,0x93,0x8c,0xfe,0x7b,0x00,0x00,0x00]
vgatherqpd 123(%r14,%xmm31,8), %xmm17 {%k1}
// CHECK: vgatherqpd 256(%r9,%xmm31), %xmm17 {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x01,0x93,0x4c,0x39,0x20]
vgatherqpd 256(%r9,%xmm31), %xmm17 {%k1}
// CHECK: vgatherqpd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
// CHECK: encoding: [0x62,0xa2,0xfd,0x01,0x93,0x8c,0xb9,0x00,0x04,0x00,0x00]
vgatherqpd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
// CHECK: vgatherqpd 123(%r14,%ymm31,8), %ymm29 {%k1}
// CHECK: encoding: [0x62,0x02,0xfd,0x21,0x93,0xac,0xfe,0x7b,0x00,0x00,0x00]
vgatherqpd 123(%r14,%ymm31,8), %ymm29 {%k1}
// CHECK: vgatherqpd 256(%r9,%ymm31), %ymm29 {%k1}
// CHECK: encoding: [0x62,0x02,0xfd,0x21,0x93,0x6c,0x39,0x20]
vgatherqpd 256(%r9,%ymm31), %ymm29 {%k1}
// CHECK: vgatherqpd 1024(%rcx,%ymm31,4), %ymm29 {%k1}
// CHECK: encoding: [0x62,0x22,0xfd,0x21,0x93,0xac,0xb9,0x00,0x04,0x00,0x00]
vgatherqpd 1024(%rcx,%ymm31,4), %ymm29 {%k1}
// CHECK: vgatherqps 123(%r14,%xmm31,8), %xmm21 {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0x93,0xac,0xfe,0x7b,0x00,0x00,0x00]
vgatherqps 123(%r14,%xmm31,8), %xmm21 {%k1}
// CHECK: vgatherqps 256(%r9,%xmm31), %xmm21 {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0x93,0x6c,0x39,0x40]
vgatherqps 256(%r9,%xmm31), %xmm21 {%k1}
// CHECK: vgatherqps 1024(%rcx,%xmm31,4), %xmm21 {%k1}
// CHECK: encoding: [0x62,0xa2,0x7d,0x01,0x93,0xac,0xb9,0x00,0x04,0x00,0x00]
vgatherqps 1024(%rcx,%xmm31,4), %xmm21 {%k1}
// CHECK: vgatherqps 123(%r14,%ymm31,8), %xmm19 {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x21,0x93,0x9c,0xfe,0x7b,0x00,0x00,0x00]
vgatherqps 123(%r14,%ymm31,8), %xmm19 {%k1}
// CHECK: vgatherqps 256(%r9,%ymm31), %xmm19 {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x21,0x93,0x5c,0x39,0x40]
vgatherqps 256(%r9,%ymm31), %xmm19 {%k1}
// CHECK: vgatherqps 1024(%rcx,%ymm31,4), %xmm19 {%k1}
// CHECK: encoding: [0x62,0xa2,0x7d,0x21,0x93,0x9c,0xb9,0x00,0x04,0x00,0x00]
vgatherqps 1024(%rcx,%ymm31,4), %xmm19 {%k1}
// CHECK: vpscatterdd %xmm20, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
vpscatterdd %xmm20, 123(%r14,%xmm31,8) {%k1}
// CHECK: vpscatterdd %xmm20, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
vpscatterdd %xmm20, 123(%r14,%xmm31,8) {%k1}
// CHECK: vpscatterdd %xmm20, 256(%r9,%xmm31) {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0xa0,0x64,0x39,0x40]
vpscatterdd %xmm20, 256(%r9,%xmm31) {%k1}
// CHECK: vpscatterdd %xmm20, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: encoding: [0x62,0xa2,0x7d,0x01,0xa0,0xa4,0xb9,0x00,0x04,0x00,0x00]
vpscatterdd %xmm20, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: vpscatterdd %ymm28, 123(%r14,%ymm31,8) {%k1}
// CHECK: encoding: [0x62,0x02,0x7d,0x21,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
vpscatterdd %ymm28, 123(%r14,%ymm31,8) {%k1}
// CHECK: vpscatterdd %ymm28, 123(%r14,%ymm31,8) {%k1}
// CHECK: encoding: [0x62,0x02,0x7d,0x21,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
vpscatterdd %ymm28, 123(%r14,%ymm31,8) {%k1}
// CHECK: vpscatterdd %ymm28, 256(%r9,%ymm31) {%k1}
// CHECK: encoding: [0x62,0x02,0x7d,0x21,0xa0,0x64,0x39,0x40]
vpscatterdd %ymm28, 256(%r9,%ymm31) {%k1}
// CHECK: vpscatterdd %ymm28, 1024(%rcx,%ymm31,4) {%k1}
// CHECK: encoding: [0x62,0x22,0x7d,0x21,0xa0,0xa4,0xb9,0x00,0x04,0x00,0x00]
vpscatterdd %ymm28, 1024(%rcx,%ymm31,4) {%k1}
// CHECK: vpscatterdq %xmm21, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x01,0xa0,0xac,0xfe,0x7b,0x00,0x00,0x00]
vpscatterdq %xmm21, 123(%r14,%xmm31,8) {%k1}
// CHECK: vpscatterdq %xmm21, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x01,0xa0,0xac,0xfe,0x7b,0x00,0x00,0x00]
vpscatterdq %xmm21, 123(%r14,%xmm31,8) {%k1}
// CHECK: vpscatterdq %xmm21, 256(%r9,%xmm31) {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x01,0xa0,0x6c,0x39,0x20]
vpscatterdq %xmm21, 256(%r9,%xmm31) {%k1}
// CHECK: vpscatterdq %xmm21, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: encoding: [0x62,0xa2,0xfd,0x01,0xa0,0xac,0xb9,0x00,0x04,0x00,0x00]
vpscatterdq %xmm21, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: vpscatterdq %ymm28, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x02,0xfd,0x21,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
vpscatterdq %ymm28, 123(%r14,%xmm31,8) {%k1}
// CHECK: vpscatterdq %ymm28, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x02,0xfd,0x21,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
vpscatterdq %ymm28, 123(%r14,%xmm31,8) {%k1}
// CHECK: vpscatterdq %ymm28, 256(%r9,%xmm31) {%k1}
// CHECK: encoding: [0x62,0x02,0xfd,0x21,0xa0,0x64,0x39,0x20]
vpscatterdq %ymm28, 256(%r9,%xmm31) {%k1}
// CHECK: vpscatterdq %ymm28, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: encoding: [0x62,0x22,0xfd,0x21,0xa0,0xa4,0xb9,0x00,0x04,0x00,0x00]
vpscatterdq %ymm28, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: vpscatterqd %xmm22, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0xa1,0xb4,0xfe,0x7b,0x00,0x00,0x00]
vpscatterqd %xmm22, 123(%r14,%xmm31,8) {%k1}
// CHECK: vpscatterqd %xmm22, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0xa1,0xb4,0xfe,0x7b,0x00,0x00,0x00]
vpscatterqd %xmm22, 123(%r14,%xmm31,8) {%k1}
// CHECK: vpscatterqd %xmm22, 256(%r9,%xmm31) {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0xa1,0x74,0x39,0x40]
vpscatterqd %xmm22, 256(%r9,%xmm31) {%k1}
// CHECK: vpscatterqd %xmm22, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: encoding: [0x62,0xa2,0x7d,0x01,0xa1,0xb4,0xb9,0x00,0x04,0x00,0x00]
vpscatterqd %xmm22, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: vpscatterqd %xmm24, 123(%r14,%ymm31,8) {%k1}
// CHECK: encoding: [0x62,0x02,0x7d,0x21,0xa1,0x84,0xfe,0x7b,0x00,0x00,0x00]
vpscatterqd %xmm24, 123(%r14,%ymm31,8) {%k1}
// CHECK: vpscatterqd %xmm24, 123(%r14,%ymm31,8) {%k1}
// CHECK: encoding: [0x62,0x02,0x7d,0x21,0xa1,0x84,0xfe,0x7b,0x00,0x00,0x00]
vpscatterqd %xmm24, 123(%r14,%ymm31,8) {%k1}
// CHECK: vpscatterqd %xmm24, 256(%r9,%ymm31) {%k1}
// CHECK: encoding: [0x62,0x02,0x7d,0x21,0xa1,0x44,0x39,0x40]
vpscatterqd %xmm24, 256(%r9,%ymm31) {%k1}
// CHECK: vpscatterqd %xmm24, 1024(%rcx,%ymm31,4) {%k1}
// CHECK: encoding: [0x62,0x22,0x7d,0x21,0xa1,0x84,0xb9,0x00,0x04,0x00,0x00]
vpscatterqd %xmm24, 1024(%rcx,%ymm31,4) {%k1}
// CHECK: vpscatterqq %xmm28, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x02,0xfd,0x01,0xa1,0xa4,0xfe,0x7b,0x00,0x00,0x00]
vpscatterqq %xmm28, 123(%r14,%xmm31,8) {%k1}
// CHECK: vpscatterqq %xmm28, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x02,0xfd,0x01,0xa1,0xa4,0xfe,0x7b,0x00,0x00,0x00]
vpscatterqq %xmm28, 123(%r14,%xmm31,8) {%k1}
// CHECK: vpscatterqq %xmm28, 256(%r9,%xmm31) {%k1}
// CHECK: encoding: [0x62,0x02,0xfd,0x01,0xa1,0x64,0x39,0x20]
vpscatterqq %xmm28, 256(%r9,%xmm31) {%k1}
// CHECK: vpscatterqq %xmm28, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: encoding: [0x62,0x22,0xfd,0x01,0xa1,0xa4,0xb9,0x00,0x04,0x00,0x00]
vpscatterqq %xmm28, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: vpscatterqq %ymm19, 123(%r14,%ymm31,8) {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x21,0xa1,0x9c,0xfe,0x7b,0x00,0x00,0x00]
vpscatterqq %ymm19, 123(%r14,%ymm31,8) {%k1}
// CHECK: vpscatterqq %ymm19, 123(%r14,%ymm31,8) {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x21,0xa1,0x9c,0xfe,0x7b,0x00,0x00,0x00]
vpscatterqq %ymm19, 123(%r14,%ymm31,8) {%k1}
// CHECK: vpscatterqq %ymm19, 256(%r9,%ymm31) {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x21,0xa1,0x5c,0x39,0x20]
vpscatterqq %ymm19, 256(%r9,%ymm31) {%k1}
// CHECK: vpscatterqq %ymm19, 1024(%rcx,%ymm31,4) {%k1}
// CHECK: encoding: [0x62,0xa2,0xfd,0x21,0xa1,0x9c,0xb9,0x00,0x04,0x00,0x00]
vpscatterqq %ymm19, 1024(%rcx,%ymm31,4) {%k1}
// CHECK: vscatterdps %xmm20, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0xa2,0xa4,0xfe,0x7b,0x00,0x00,0x00]
vscatterdps %xmm20, 123(%r14,%xmm31,8) {%k1}
// CHECK: vscatterdps %xmm20, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0xa2,0xa4,0xfe,0x7b,0x00,0x00,0x00]
vscatterdps %xmm20, 123(%r14,%xmm31,8) {%k1}
// CHECK: vscatterdps %xmm20, 256(%r9,%xmm31) {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0xa2,0x64,0x39,0x40]
vscatterdps %xmm20, 256(%r9,%xmm31) {%k1}
// CHECK: vscatterdps %xmm20, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: encoding: [0x62,0xa2,0x7d,0x01,0xa2,0xa4,0xb9,0x00,0x04,0x00,0x00]
vscatterdps %xmm20, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: vscatterdps %ymm28, 123(%r14,%ymm31,8) {%k1}
// CHECK: encoding: [0x62,0x02,0x7d,0x21,0xa2,0xa4,0xfe,0x7b,0x00,0x00,0x00]
vscatterdps %ymm28, 123(%r14,%ymm31,8) {%k1}
// CHECK: vscatterdps %ymm28, 123(%r14,%ymm31,8) {%k1}
// CHECK: encoding: [0x62,0x02,0x7d,0x21,0xa2,0xa4,0xfe,0x7b,0x00,0x00,0x00]
vscatterdps %ymm28, 123(%r14,%ymm31,8) {%k1}
// CHECK: vscatterdps %ymm28, 256(%r9,%ymm31) {%k1}
// CHECK: encoding: [0x62,0x02,0x7d,0x21,0xa2,0x64,0x39,0x40]
vscatterdps %ymm28, 256(%r9,%ymm31) {%k1}
// CHECK: vscatterdps %ymm28, 1024(%rcx,%ymm31,4) {%k1}
// CHECK: encoding: [0x62,0x22,0x7d,0x21,0xa2,0xa4,0xb9,0x00,0x04,0x00,0x00]
vscatterdps %ymm28, 1024(%rcx,%ymm31,4) {%k1}
// CHECK: vscatterdpd %xmm21, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x01,0xa2,0xac,0xfe,0x7b,0x00,0x00,0x00]
vscatterdpd %xmm21, 123(%r14,%xmm31,8) {%k1}
// CHECK: vscatterdpd %xmm21, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x01,0xa2,0xac,0xfe,0x7b,0x00,0x00,0x00]
vscatterdpd %xmm21, 123(%r14,%xmm31,8) {%k1}
// CHECK: vscatterdpd %xmm21, 256(%r9,%xmm31) {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x01,0xa2,0x6c,0x39,0x20]
vscatterdpd %xmm21, 256(%r9,%xmm31) {%k1}
// CHECK: vscatterdpd %xmm21, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: encoding: [0x62,0xa2,0xfd,0x01,0xa2,0xac,0xb9,0x00,0x04,0x00,0x00]
vscatterdpd %xmm21, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: vscatterdpd %ymm28, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x02,0xfd,0x21,0xa2,0xa4,0xfe,0x7b,0x00,0x00,0x00]
vscatterdpd %ymm28, 123(%r14,%xmm31,8) {%k1}
// CHECK: vscatterdpd %ymm28, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x02,0xfd,0x21,0xa2,0xa4,0xfe,0x7b,0x00,0x00,0x00]
vscatterdpd %ymm28, 123(%r14,%xmm31,8) {%k1}
// CHECK: vscatterdpd %ymm28, 256(%r9,%xmm31) {%k1}
// CHECK: encoding: [0x62,0x02,0xfd,0x21,0xa2,0x64,0x39,0x20]
vscatterdpd %ymm28, 256(%r9,%xmm31) {%k1}
// CHECK: vscatterdpd %ymm28, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: encoding: [0x62,0x22,0xfd,0x21,0xa2,0xa4,0xb9,0x00,0x04,0x00,0x00]
vscatterdpd %ymm28, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: vscatterqps %xmm22, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0xa3,0xb4,0xfe,0x7b,0x00,0x00,0x00]
vscatterqps %xmm22, 123(%r14,%xmm31,8) {%k1}
// CHECK: vscatterqps %xmm22, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0xa3,0xb4,0xfe,0x7b,0x00,0x00,0x00]
vscatterqps %xmm22, 123(%r14,%xmm31,8) {%k1}
// CHECK: vscatterqps %xmm22, 256(%r9,%xmm31) {%k1}
// CHECK: encoding: [0x62,0x82,0x7d,0x01,0xa3,0x74,0x39,0x40]
vscatterqps %xmm22, 256(%r9,%xmm31) {%k1}
// CHECK: vscatterqps %xmm22, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: encoding: [0x62,0xa2,0x7d,0x01,0xa3,0xb4,0xb9,0x00,0x04,0x00,0x00]
vscatterqps %xmm22, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: vscatterqps %xmm24, 123(%r14,%ymm31,8) {%k1}
// CHECK: encoding: [0x62,0x02,0x7d,0x21,0xa3,0x84,0xfe,0x7b,0x00,0x00,0x00]
vscatterqps %xmm24, 123(%r14,%ymm31,8) {%k1}
// CHECK: vscatterqps %xmm24, 123(%r14,%ymm31,8) {%k1}
// CHECK: encoding: [0x62,0x02,0x7d,0x21,0xa3,0x84,0xfe,0x7b,0x00,0x00,0x00]
vscatterqps %xmm24, 123(%r14,%ymm31,8) {%k1}
// CHECK: vscatterqps %xmm24, 256(%r9,%ymm31) {%k1}
// CHECK: encoding: [0x62,0x02,0x7d,0x21,0xa3,0x44,0x39,0x40]
vscatterqps %xmm24, 256(%r9,%ymm31) {%k1}
// CHECK: vscatterqps %xmm24, 1024(%rcx,%ymm31,4) {%k1}
// CHECK: encoding: [0x62,0x22,0x7d,0x21,0xa3,0x84,0xb9,0x00,0x04,0x00,0x00]
vscatterqps %xmm24, 1024(%rcx,%ymm31,4) {%k1}
// CHECK: vscatterqpd %xmm28, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x02,0xfd,0x01,0xa3,0xa4,0xfe,0x7b,0x00,0x00,0x00]
vscatterqpd %xmm28, 123(%r14,%xmm31,8) {%k1}
// CHECK: vscatterqpd %xmm28, 123(%r14,%xmm31,8) {%k1}
// CHECK: encoding: [0x62,0x02,0xfd,0x01,0xa3,0xa4,0xfe,0x7b,0x00,0x00,0x00]
vscatterqpd %xmm28, 123(%r14,%xmm31,8) {%k1}
// CHECK: vscatterqpd %xmm28, 256(%r9,%xmm31) {%k1}
// CHECK: encoding: [0x62,0x02,0xfd,0x01,0xa3,0x64,0x39,0x20]
vscatterqpd %xmm28, 256(%r9,%xmm31) {%k1}
// CHECK: vscatterqpd %xmm28, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: encoding: [0x62,0x22,0xfd,0x01,0xa3,0xa4,0xb9,0x00,0x04,0x00,0x00]
vscatterqpd %xmm28, 1024(%rcx,%xmm31,4) {%k1}
// CHECK: vscatterqpd %ymm19, 123(%r14,%ymm31,8) {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x21,0xa3,0x9c,0xfe,0x7b,0x00,0x00,0x00]
vscatterqpd %ymm19, 123(%r14,%ymm31,8) {%k1}
// CHECK: vscatterqpd %ymm19, 123(%r14,%ymm31,8) {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x21,0xa3,0x9c,0xfe,0x7b,0x00,0x00,0x00]
vscatterqpd %ymm19, 123(%r14,%ymm31,8) {%k1}
// CHECK: vscatterqpd %ymm19, 256(%r9,%ymm31) {%k1}
// CHECK: encoding: [0x62,0x82,0xfd,0x21,0xa3,0x5c,0x39,0x20]
vscatterqpd %ymm19, 256(%r9,%ymm31) {%k1}
// CHECK: vscatterqpd %ymm19, 1024(%rcx,%ymm31,4) {%k1}
// CHECK: encoding: [0x62,0xa2,0xfd,0x21,0xa3,0x9c,0xb9,0x00,0x04,0x00,0x00]
vscatterqpd %ymm19, 1024(%rcx,%ymm31,4) {%k1}