AVX512: Add encoding tests to vptestnm instructions

Differential Revision: http://reviews.llvm.org/D11521

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@243391 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Igor Breger 2015-07-28 07:00:00 +00:00
parent e5dac1fb56
commit ec6000afc4
2 changed files with 465 additions and 0 deletions

View File

@ -860,6 +860,215 @@
// 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

View File

@ -7567,6 +7567,262 @@
// CHECK: encoding: [0x62,0xe1,0x5d,0x20,0xf5,0x9a,0xe0,0xef,0xff,0xff]
vpmaddwd -4128(%rdx), %ymm20, %ymm19
// CHECK: vptestnmw %xmm24, %xmm29, %k4
// CHECK: encoding: [0x62,0x92,0x96,0x00,0x26,0xe0]
vptestnmw %xmm24, %xmm29, %k4
// CHECK: vptestnmw %xmm24, %xmm29, %k4 {%k5}
// CHECK: encoding: [0x62,0x92,0x96,0x05,0x26,0xe0]
vptestnmw %xmm24, %xmm29, %k4 {%k5}
// CHECK: vptestnmw (%rcx), %xmm29, %k4
// CHECK: encoding: [0x62,0xf2,0x96,0x00,0x26,0x21]
vptestnmw (%rcx), %xmm29, %k4
// CHECK: vptestnmw 291(%rax,%r14,8), %xmm29, %k4
// CHECK: encoding: [0x62,0xb2,0x96,0x00,0x26,0xa4,0xf0,0x23,0x01,0x00,0x00]
vptestnmw 291(%rax,%r14,8), %xmm29, %k4
// CHECK: vptestnmw 2032(%rdx), %xmm29, %k4
// CHECK: encoding: [0x62,0xf2,0x96,0x00,0x26,0x62,0x7f]
vptestnmw 2032(%rdx), %xmm29, %k4
// CHECK: vptestnmw 2048(%rdx), %xmm29, %k4
// CHECK: encoding: [0x62,0xf2,0x96,0x00,0x26,0xa2,0x00,0x08,0x00,0x00]
vptestnmw 2048(%rdx), %xmm29, %k4
// CHECK: vptestnmw -2048(%rdx), %xmm29, %k4
// CHECK: encoding: [0x62,0xf2,0x96,0x00,0x26,0x62,0x80]
vptestnmw -2048(%rdx), %xmm29, %k4
// CHECK: vptestnmw -2064(%rdx), %xmm29, %k4
// CHECK: encoding: [0x62,0xf2,0x96,0x00,0x26,0xa2,0xf0,0xf7,0xff,0xff]
vptestnmw -2064(%rdx), %xmm29, %k4
// CHECK: vptestnmw %ymm17, %ymm28, %k2
// CHECK: encoding: [0x62,0xb2,0x9e,0x20,0x26,0xd1]
vptestnmw %ymm17, %ymm28, %k2
// CHECK: vptestnmw %ymm17, %ymm28, %k2 {%k2}
// CHECK: encoding: [0x62,0xb2,0x9e,0x22,0x26,0xd1]
vptestnmw %ymm17, %ymm28, %k2 {%k2}
// CHECK: vptestnmw (%rcx), %ymm28, %k2
// CHECK: encoding: [0x62,0xf2,0x9e,0x20,0x26,0x11]
vptestnmw (%rcx), %ymm28, %k2
// CHECK: vptestnmw 291(%rax,%r14,8), %ymm28, %k2
// CHECK: encoding: [0x62,0xb2,0x9e,0x20,0x26,0x94,0xf0,0x23,0x01,0x00,0x00]
vptestnmw 291(%rax,%r14,8), %ymm28, %k2
// CHECK: vptestnmw 4064(%rdx), %ymm28, %k2
// CHECK: encoding: [0x62,0xf2,0x9e,0x20,0x26,0x52,0x7f]
vptestnmw 4064(%rdx), %ymm28, %k2
// CHECK: vptestnmw 4096(%rdx), %ymm28, %k2
// CHECK: encoding: [0x62,0xf2,0x9e,0x20,0x26,0x92,0x00,0x10,0x00,0x00]
vptestnmw 4096(%rdx), %ymm28, %k2
// CHECK: vptestnmw -4096(%rdx), %ymm28, %k2
// CHECK: encoding: [0x62,0xf2,0x9e,0x20,0x26,0x52,0x80]
vptestnmw -4096(%rdx), %ymm28, %k2
// CHECK: vptestnmw -4128(%rdx), %ymm28, %k2
// CHECK: encoding: [0x62,0xf2,0x9e,0x20,0x26,0x92,0xe0,0xef,0xff,0xff]
vptestnmw -4128(%rdx), %ymm28, %k2
// CHECK: vptestnmw %xmm21, %xmm27, %k2
// CHECK: encoding: [0x62,0xb2,0xa6,0x00,0x26,0xd5]
vptestnmw %xmm21, %xmm27, %k2
// CHECK: vptestnmw %xmm21, %xmm27, %k2 {%k3}
// CHECK: encoding: [0x62,0xb2,0xa6,0x03,0x26,0xd5]
vptestnmw %xmm21, %xmm27, %k2 {%k3}
// CHECK: vptestnmw (%rcx), %xmm27, %k2
// CHECK: encoding: [0x62,0xf2,0xa6,0x00,0x26,0x11]
vptestnmw (%rcx), %xmm27, %k2
// CHECK: vptestnmw 4660(%rax,%r14,8), %xmm27, %k2
// CHECK: encoding: [0x62,0xb2,0xa6,0x00,0x26,0x94,0xf0,0x34,0x12,0x00,0x00]
vptestnmw 4660(%rax,%r14,8), %xmm27, %k2
// CHECK: vptestnmw 2032(%rdx), %xmm27, %k2
// CHECK: encoding: [0x62,0xf2,0xa6,0x00,0x26,0x52,0x7f]
vptestnmw 2032(%rdx), %xmm27, %k2
// CHECK: vptestnmw 2048(%rdx), %xmm27, %k2
// CHECK: encoding: [0x62,0xf2,0xa6,0x00,0x26,0x92,0x00,0x08,0x00,0x00]
vptestnmw 2048(%rdx), %xmm27, %k2
// CHECK: vptestnmw -2048(%rdx), %xmm27, %k2
// CHECK: encoding: [0x62,0xf2,0xa6,0x00,0x26,0x52,0x80]
vptestnmw -2048(%rdx), %xmm27, %k2
// CHECK: vptestnmw -2064(%rdx), %xmm27, %k2
// CHECK: encoding: [0x62,0xf2,0xa6,0x00,0x26,0x92,0xf0,0xf7,0xff,0xff]
vptestnmw -2064(%rdx), %xmm27, %k2
// CHECK: vptestnmw %ymm23, %ymm19, %k4
// CHECK: encoding: [0x62,0xb2,0xe6,0x20,0x26,0xe7]
vptestnmw %ymm23, %ymm19, %k4
// CHECK: vptestnmw %ymm23, %ymm19, %k4 {%k1}
// CHECK: encoding: [0x62,0xb2,0xe6,0x21,0x26,0xe7]
vptestnmw %ymm23, %ymm19, %k4 {%k1}
// CHECK: vptestnmw (%rcx), %ymm19, %k4
// CHECK: encoding: [0x62,0xf2,0xe6,0x20,0x26,0x21]
vptestnmw (%rcx), %ymm19, %k4
// CHECK: vptestnmw 4660(%rax,%r14,8), %ymm19, %k4
// CHECK: encoding: [0x62,0xb2,0xe6,0x20,0x26,0xa4,0xf0,0x34,0x12,0x00,0x00]
vptestnmw 4660(%rax,%r14,8), %ymm19, %k4
// CHECK: vptestnmw 4064(%rdx), %ymm19, %k4
// CHECK: encoding: [0x62,0xf2,0xe6,0x20,0x26,0x62,0x7f]
vptestnmw 4064(%rdx), %ymm19, %k4
// CHECK: vptestnmw 4096(%rdx), %ymm19, %k4
// CHECK: encoding: [0x62,0xf2,0xe6,0x20,0x26,0xa2,0x00,0x10,0x00,0x00]
vptestnmw 4096(%rdx), %ymm19, %k4
// CHECK: vptestnmw -4096(%rdx), %ymm19, %k4
// CHECK: encoding: [0x62,0xf2,0xe6,0x20,0x26,0x62,0x80]
vptestnmw -4096(%rdx), %ymm19, %k4
// CHECK: vptestnmw -4128(%rdx), %ymm19, %k4
// CHECK: encoding: [0x62,0xf2,0xe6,0x20,0x26,0xa2,0xe0,0xef,0xff,0xff]
vptestnmw -4128(%rdx), %ymm19, %k4
// CHECK: vptestnmb %xmm22, %xmm27, %k4
// CHECK: encoding: [0x62,0xb2,0x26,0x00,0x26,0xe6]
vptestnmb %xmm22, %xmm27, %k4
// CHECK: vptestnmb %xmm22, %xmm27, %k4 {%k1}
// CHECK: encoding: [0x62,0xb2,0x26,0x01,0x26,0xe6]
vptestnmb %xmm22, %xmm27, %k4 {%k1}
// CHECK: vptestnmb (%rcx), %xmm27, %k4
// CHECK: encoding: [0x62,0xf2,0x26,0x00,0x26,0x21]
vptestnmb (%rcx), %xmm27, %k4
// CHECK: vptestnmb 291(%rax,%r14,8), %xmm27, %k4
// CHECK: encoding: [0x62,0xb2,0x26,0x00,0x26,0xa4,0xf0,0x23,0x01,0x00,0x00]
vptestnmb 291(%rax,%r14,8), %xmm27, %k4
// CHECK: vptestnmb 2032(%rdx), %xmm27, %k4
// CHECK: encoding: [0x62,0xf2,0x26,0x00,0x26,0x62,0x7f]
vptestnmb 2032(%rdx), %xmm27, %k4
// CHECK: vptestnmb 2048(%rdx), %xmm27, %k4
// CHECK: encoding: [0x62,0xf2,0x26,0x00,0x26,0xa2,0x00,0x08,0x00,0x00]
vptestnmb 2048(%rdx), %xmm27, %k4
// CHECK: vptestnmb -2048(%rdx), %xmm27, %k4
// CHECK: encoding: [0x62,0xf2,0x26,0x00,0x26,0x62,0x80]
vptestnmb -2048(%rdx), %xmm27, %k4
// CHECK: vptestnmb -2064(%rdx), %xmm27, %k4
// CHECK: encoding: [0x62,0xf2,0x26,0x00,0x26,0xa2,0xf0,0xf7,0xff,0xff]
vptestnmb -2064(%rdx), %xmm27, %k4
// CHECK: vptestnmb %ymm17, %ymm25, %k5
// CHECK: encoding: [0x62,0xb2,0x36,0x20,0x26,0xe9]
vptestnmb %ymm17, %ymm25, %k5
// CHECK: vptestnmb %ymm17, %ymm25, %k5 {%k6}
// CHECK: encoding: [0x62,0xb2,0x36,0x26,0x26,0xe9]
vptestnmb %ymm17, %ymm25, %k5 {%k6}
// CHECK: vptestnmb (%rcx), %ymm25, %k5
// CHECK: encoding: [0x62,0xf2,0x36,0x20,0x26,0x29]
vptestnmb (%rcx), %ymm25, %k5
// CHECK: vptestnmb 291(%rax,%r14,8), %ymm25, %k5
// CHECK: encoding: [0x62,0xb2,0x36,0x20,0x26,0xac,0xf0,0x23,0x01,0x00,0x00]
vptestnmb 291(%rax,%r14,8), %ymm25, %k5
// CHECK: vptestnmb 4064(%rdx), %ymm25, %k5
// CHECK: encoding: [0x62,0xf2,0x36,0x20,0x26,0x6a,0x7f]
vptestnmb 4064(%rdx), %ymm25, %k5
// CHECK: vptestnmb 4096(%rdx), %ymm25, %k5
// CHECK: encoding: [0x62,0xf2,0x36,0x20,0x26,0xaa,0x00,0x10,0x00,0x00]
vptestnmb 4096(%rdx), %ymm25, %k5
// CHECK: vptestnmb -4096(%rdx), %ymm25, %k5
// CHECK: encoding: [0x62,0xf2,0x36,0x20,0x26,0x6a,0x80]
vptestnmb -4096(%rdx), %ymm25, %k5
// CHECK: vptestnmb -4128(%rdx), %ymm25, %k5
// CHECK: encoding: [0x62,0xf2,0x36,0x20,0x26,0xaa,0xe0,0xef,0xff,0xff]
vptestnmb -4128(%rdx), %ymm25, %k5
// CHECK: vptestnmb %xmm19, %xmm27, %k4
// CHECK: encoding: [0x62,0xb2,0x26,0x00,0x26,0xe3]
vptestnmb %xmm19, %xmm27, %k4
// CHECK: vptestnmb %xmm19, %xmm27, %k4 {%k3}
// CHECK: encoding: [0x62,0xb2,0x26,0x03,0x26,0xe3]
vptestnmb %xmm19, %xmm27, %k4 {%k3}
// CHECK: vptestnmb (%rcx), %xmm27, %k4
// CHECK: encoding: [0x62,0xf2,0x26,0x00,0x26,0x21]
vptestnmb (%rcx), %xmm27, %k4
// CHECK: vptestnmb 4660(%rax,%r14,8), %xmm27, %k4
// CHECK: encoding: [0x62,0xb2,0x26,0x00,0x26,0xa4,0xf0,0x34,0x12,0x00,0x00]
vptestnmb 4660(%rax,%r14,8), %xmm27, %k4
// CHECK: vptestnmb 2032(%rdx), %xmm27, %k4
// CHECK: encoding: [0x62,0xf2,0x26,0x00,0x26,0x62,0x7f]
vptestnmb 2032(%rdx), %xmm27, %k4
// CHECK: vptestnmb 2048(%rdx), %xmm27, %k4
// CHECK: encoding: [0x62,0xf2,0x26,0x00,0x26,0xa2,0x00,0x08,0x00,0x00]
vptestnmb 2048(%rdx), %xmm27, %k4
// CHECK: vptestnmb -2048(%rdx), %xmm27, %k4
// CHECK: encoding: [0x62,0xf2,0x26,0x00,0x26,0x62,0x80]
vptestnmb -2048(%rdx), %xmm27, %k4
// CHECK: vptestnmb -2064(%rdx), %xmm27, %k4
// CHECK: encoding: [0x62,0xf2,0x26,0x00,0x26,0xa2,0xf0,0xf7,0xff,0xff]
vptestnmb -2064(%rdx), %xmm27, %k4
// CHECK: vptestnmb %ymm24, %ymm28, %k4
// CHECK: encoding: [0x62,0x92,0x1e,0x20,0x26,0xe0]
vptestnmb %ymm24, %ymm28, %k4
// CHECK: vptestnmb %ymm24, %ymm28, %k4 {%k1}
// CHECK: encoding: [0x62,0x92,0x1e,0x21,0x26,0xe0]
vptestnmb %ymm24, %ymm28, %k4 {%k1}
// CHECK: vptestnmb (%rcx), %ymm28, %k4
// CHECK: encoding: [0x62,0xf2,0x1e,0x20,0x26,0x21]
vptestnmb (%rcx), %ymm28, %k4
// CHECK: vptestnmb 4660(%rax,%r14,8), %ymm28, %k4
// CHECK: encoding: [0x62,0xb2,0x1e,0x20,0x26,0xa4,0xf0,0x34,0x12,0x00,0x00]
vptestnmb 4660(%rax,%r14,8), %ymm28, %k4
// CHECK: vptestnmb 4064(%rdx), %ymm28, %k4
// CHECK: encoding: [0x62,0xf2,0x1e,0x20,0x26,0x62,0x7f]
vptestnmb 4064(%rdx), %ymm28, %k4
// CHECK: vptestnmb 4096(%rdx), %ymm28, %k4
// CHECK: encoding: [0x62,0xf2,0x1e,0x20,0x26,0xa2,0x00,0x10,0x00,0x00]
vptestnmb 4096(%rdx), %ymm28, %k4
// CHECK: vptestnmb -4096(%rdx), %ymm28, %k4
// CHECK: encoding: [0x62,0xf2,0x1e,0x20,0x26,0x62,0x80]
vptestnmb -4096(%rdx), %ymm28, %k4
// CHECK: vptestnmb -4128(%rdx), %ymm28, %k4
// CHECK: encoding: [0x62,0xf2,0x1e,0x20,0x26,0xa2,0xe0,0xef,0xff,0xff]
vptestnmb -4128(%rdx), %ymm28, %k4
// CHECK: vpunpcklbw %xmm20, %xmm19, %xmm30
// CHECK: encoding: [0x62,0x21,0x65,0x00,0x60,0xf4]
vpunpcklbw %xmm20, %xmm19, %xmm30