xref: /aosp_15_r20/external/llvm/test/MC/X86/avx512vl-encoding.s (revision 9880d6810fe72a1726cb53787c6711e909410d58)

// 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: 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}