llvm-6502/test/MC/X86/avx512vl-encoding.s
Elena Demikhovsky bf704ed348 AVX-512: Added VPMOVx2M instructions for SKX,
fixed encoding of VPMOVM2x.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@235385 91177308-0d34-0410-b5e6-96231b3b80d8
2015-04-21 14:38:31 +00:00

894 lines
34 KiB
ArmAsm

// RUN: llvm-mc -triple x86_64-unknown-unknown -mcpu=skx --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: 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