Index: llvm/trunk/test/MC/X86/avx512vl-encoding.s
===================================================================
--- llvm/trunk/test/MC/X86/avx512vl-encoding.s
+++ llvm/trunk/test/MC/X86/avx512vl-encoding.s
@@ -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
Index: llvm/trunk/test/MC/X86/x86-64-avx512bw_vl.s
===================================================================
--- llvm/trunk/test/MC/X86/x86-64-avx512bw_vl.s
+++ llvm/trunk/test/MC/X86/x86-64-avx512bw_vl.s
@@ -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