diff options
Diffstat (limited to 'test/MC/X86/x86-64-avx512bw.s')
| -rw-r--r-- | test/MC/X86/x86-64-avx512bw.s | 752 |
1 files changed, 752 insertions, 0 deletions
diff --git a/test/MC/X86/x86-64-avx512bw.s b/test/MC/X86/x86-64-avx512bw.s index 5155504..7aa7afa 100644 --- a/test/MC/X86/x86-64-avx512bw.s +++ b/test/MC/X86/x86-64-avx512bw.s @@ -72,6 +72,29 @@ // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xfd,0x8a,0xc0,0xdf,0xff,0xff] vpaddw -8256(%rdx), %zmm24, %zmm17 +// CHECK: vpbroadcastb %eax, %zmm19 +// CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x7a,0xd8] + vpbroadcastb %eax, %zmm19 + +// CHECK: vpbroadcastb %eax, %zmm19 {%k7} +// CHECK: encoding: [0x62,0xe2,0x7d,0x4f,0x7a,0xd8] + vpbroadcastb %eax, %zmm19 {%k7} + +// CHECK: vpbroadcastb %eax, %zmm19 {%k7} {z} +// CHECK: encoding: [0x62,0xe2,0x7d,0xcf,0x7a,0xd8] + vpbroadcastb %eax, %zmm19 {%k7} {z} + +// CHECK: vpbroadcastw %eax, %zmm24 +// CHECK: encoding: [0x62,0x62,0x7d,0x48,0x7b,0xc0] + vpbroadcastw %eax, %zmm24 + +// CHECK: vpbroadcastw %eax, %zmm24 {%k1} +// CHECK: encoding: [0x62,0x62,0x7d,0x49,0x7b,0xc0] + vpbroadcastw %eax, %zmm24 {%k1} + +// CHECK: vpbroadcastw %eax, %zmm24 {%k1} {z} +// CHECK: encoding: [0x62,0x62,0x7d,0xc9,0x7b,0xc0] + vpbroadcastw %eax, %zmm24 {%k1} {z} // CHECK: vpcmpeqb %zmm26, %zmm26, %k4 // CHECK: encoding: [0x62,0x91,0x2d,0x40,0x74,0xe2] vpcmpeqb %zmm26, %zmm26, %k4 @@ -852,6 +875,7 @@ // CHECK: encoding: [0x62,0x61,0xff,0x48,0x7f,0xa2,0xc0,0xdf,0xff,0xff] vmovdqu16 %zmm28, -8256(%rdx) + // CHECK: vpcmpb $171, %zmm25, %zmm26, %k3 // CHECK: encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0xab] vpcmpb $171, %zmm25, %zmm26, %k3 @@ -888,6 +912,166 @@ // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x7b] vpcmpb $123, -8256(%rdx), %zmm26, %k3 +// CHECK: vpcmpltb %zmm25, %zmm26, %k3 +// CHECK: encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x01] + vpcmpltb %zmm25, %zmm26, %k3 + +// CHECK: vpcmpltb %zmm25, %zmm26, %k3 {%k7} +// CHECK: encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x01] + vpcmpltb %zmm25, %zmm26, %k3 {%k7} + +// CHECK: vpcmpltb (%rcx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x01] + vpcmpltb (%rcx), %zmm26, %k3 + +// CHECK: vpcmpltb 291(%rax,%r14,8), %zmm26, %k3 +// CHECK: encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x01] + vpcmpltb 291(%rax,%r14,8), %zmm26, %k3 + +// CHECK: vpcmpltb 8128(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x01] + vpcmpltb 8128(%rdx), %zmm26, %k3 + +// CHECK: vpcmpltb 8192(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x01] + vpcmpltb 8192(%rdx), %zmm26, %k3 + +// CHECK: vpcmpltb -8192(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x01] + vpcmpltb -8192(%rdx), %zmm26, %k3 + +// CHECK: vpcmpltb -8256(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x01] + vpcmpltb -8256(%rdx), %zmm26, %k3 + +// CHECK: vpcmpleb %zmm25, %zmm26, %k3 +// CHECK: encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x02] + vpcmpleb %zmm25, %zmm26, %k3 + +// CHECK: vpcmpleb %zmm25, %zmm26, %k3 {%k7} +// CHECK: encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x02] + vpcmpleb %zmm25, %zmm26, %k3 {%k7} + +// CHECK: vpcmpleb (%rcx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x02] + vpcmpleb (%rcx), %zmm26, %k3 + +// CHECK: vpcmpleb 291(%rax,%r14,8), %zmm26, %k3 +// CHECK: encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x02] + vpcmpleb 291(%rax,%r14,8), %zmm26, %k3 + +// CHECK: vpcmpleb 8128(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x02] + vpcmpleb 8128(%rdx), %zmm26, %k3 + +// CHECK: vpcmpleb 8192(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x02] + vpcmpleb 8192(%rdx), %zmm26, %k3 + +// CHECK: vpcmpleb -8192(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x02] + vpcmpleb -8192(%rdx), %zmm26, %k3 + +// CHECK: vpcmpleb -8256(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x02] + vpcmpleb -8256(%rdx), %zmm26, %k3 + +// CHECK: vpcmpneqb %zmm25, %zmm26, %k3 +// CHECK: encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x04] + vpcmpneqb %zmm25, %zmm26, %k3 + +// CHECK: vpcmpneqb %zmm25, %zmm26, %k3 {%k7} +// CHECK: encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x04] + vpcmpneqb %zmm25, %zmm26, %k3 {%k7} + +// CHECK: vpcmpneqb (%rcx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x04] + vpcmpneqb (%rcx), %zmm26, %k3 + +// CHECK: vpcmpneqb 291(%rax,%r14,8), %zmm26, %k3 +// CHECK: encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x04] + vpcmpneqb 291(%rax,%r14,8), %zmm26, %k3 + +// CHECK: vpcmpneqb 8128(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x04] + vpcmpneqb 8128(%rdx), %zmm26, %k3 + +// CHECK: vpcmpneqb 8192(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x04] + vpcmpneqb 8192(%rdx), %zmm26, %k3 + +// CHECK: vpcmpneqb -8192(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x04] + vpcmpneqb -8192(%rdx), %zmm26, %k3 + +// CHECK: vpcmpneqb -8256(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x04] + vpcmpneqb -8256(%rdx), %zmm26, %k3 + +// CHECK: vpcmpnltb %zmm25, %zmm26, %k3 +// CHECK: encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x05] + vpcmpnltb %zmm25, %zmm26, %k3 + +// CHECK: vpcmpnltb %zmm25, %zmm26, %k3 {%k7} +// CHECK: encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x05] + vpcmpnltb %zmm25, %zmm26, %k3 {%k7} + +// CHECK: vpcmpnltb (%rcx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x05] + vpcmpnltb (%rcx), %zmm26, %k3 + +// CHECK: vpcmpnltb 291(%rax,%r14,8), %zmm26, %k3 +// CHECK: encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x05] + vpcmpnltb 291(%rax,%r14,8), %zmm26, %k3 + +// CHECK: vpcmpnltb 8128(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x05] + vpcmpnltb 8128(%rdx), %zmm26, %k3 + +// CHECK: vpcmpnltb 8192(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x05] + vpcmpnltb 8192(%rdx), %zmm26, %k3 + +// CHECK: vpcmpnltb -8192(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x05] + vpcmpnltb -8192(%rdx), %zmm26, %k3 + +// CHECK: vpcmpnltb -8256(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x05] + vpcmpnltb -8256(%rdx), %zmm26, %k3 + +// CHECK: vpcmpnleb %zmm25, %zmm26, %k3 +// CHECK: encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x06] + vpcmpnleb %zmm25, %zmm26, %k3 + +// CHECK: vpcmpnleb %zmm25, %zmm26, %k3 {%k7} +// CHECK: encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x06] + vpcmpnleb %zmm25, %zmm26, %k3 {%k7} + +// CHECK: vpcmpnleb (%rcx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x06] + vpcmpnleb (%rcx), %zmm26, %k3 + +// CHECK: vpcmpnleb 291(%rax,%r14,8), %zmm26, %k3 +// CHECK: encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x06] + vpcmpnleb 291(%rax,%r14,8), %zmm26, %k3 + +// CHECK: vpcmpnleb 8128(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x06] + vpcmpnleb 8128(%rdx), %zmm26, %k3 + +// CHECK: vpcmpnleb 8192(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x06] + vpcmpnleb 8192(%rdx), %zmm26, %k3 + +// CHECK: vpcmpnleb -8192(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x06] + vpcmpnleb -8192(%rdx), %zmm26, %k3 + +// CHECK: vpcmpnleb -8256(%rdx), %zmm26, %k3 +// CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x06] + vpcmpnleb -8256(%rdx), %zmm26, %k3 + // CHECK: vpcmpw $171, %zmm25, %zmm29, %k3 // CHECK: encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0xab] vpcmpw $171, %zmm25, %zmm29, %k3 @@ -924,6 +1108,166 @@ // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x7b] vpcmpw $123, -8256(%rdx), %zmm29, %k3 +// CHECK: vpcmpltw %zmm25, %zmm29, %k3 +// CHECK: encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x01] + vpcmpltw %zmm25, %zmm29, %k3 + +// CHECK: vpcmpltw %zmm25, %zmm29, %k3 {%k6} +// CHECK: encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x01] + vpcmpltw %zmm25, %zmm29, %k3 {%k6} + +// CHECK: vpcmpltw (%rcx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x01] + vpcmpltw (%rcx), %zmm29, %k3 + +// CHECK: vpcmpltw 291(%rax,%r14,8), %zmm29, %k3 +// CHECK: encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x01] + vpcmpltw 291(%rax,%r14,8), %zmm29, %k3 + +// CHECK: vpcmpltw 8128(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x01] + vpcmpltw 8128(%rdx), %zmm29, %k3 + +// CHECK: vpcmpltw 8192(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x01] + vpcmpltw 8192(%rdx), %zmm29, %k3 + +// CHECK: vpcmpltw -8192(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x01] + vpcmpltw -8192(%rdx), %zmm29, %k3 + +// CHECK: vpcmpltw -8256(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x01] + vpcmpltw -8256(%rdx), %zmm29, %k3 + +// CHECK: vpcmplew %zmm25, %zmm29, %k3 +// CHECK: encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x02] + vpcmplew %zmm25, %zmm29, %k3 + +// CHECK: vpcmplew %zmm25, %zmm29, %k3 {%k6} +// CHECK: encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x02] + vpcmplew %zmm25, %zmm29, %k3 {%k6} + +// CHECK: vpcmplew (%rcx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x02] + vpcmplew (%rcx), %zmm29, %k3 + +// CHECK: vpcmplew 291(%rax,%r14,8), %zmm29, %k3 +// CHECK: encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x02] + vpcmplew 291(%rax,%r14,8), %zmm29, %k3 + +// CHECK: vpcmplew 8128(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x02] + vpcmplew 8128(%rdx), %zmm29, %k3 + +// CHECK: vpcmplew 8192(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x02] + vpcmplew 8192(%rdx), %zmm29, %k3 + +// CHECK: vpcmplew -8192(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x02] + vpcmplew -8192(%rdx), %zmm29, %k3 + +// CHECK: vpcmplew -8256(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x02] + vpcmplew -8256(%rdx), %zmm29, %k3 + +// CHECK: vpcmpneqw %zmm25, %zmm29, %k3 +// CHECK: encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x04] + vpcmpneqw %zmm25, %zmm29, %k3 + +// CHECK: vpcmpneqw %zmm25, %zmm29, %k3 {%k6} +// CHECK: encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x04] + vpcmpneqw %zmm25, %zmm29, %k3 {%k6} + +// CHECK: vpcmpneqw (%rcx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x04] + vpcmpneqw (%rcx), %zmm29, %k3 + +// CHECK: vpcmpneqw 291(%rax,%r14,8), %zmm29, %k3 +// CHECK: encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x04] + vpcmpneqw 291(%rax,%r14,8), %zmm29, %k3 + +// CHECK: vpcmpneqw 8128(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x04] + vpcmpneqw 8128(%rdx), %zmm29, %k3 + +// CHECK: vpcmpneqw 8192(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x04] + vpcmpneqw 8192(%rdx), %zmm29, %k3 + +// CHECK: vpcmpneqw -8192(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x04] + vpcmpneqw -8192(%rdx), %zmm29, %k3 + +// CHECK: vpcmpneqw -8256(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x04] + vpcmpneqw -8256(%rdx), %zmm29, %k3 + +// CHECK: vpcmpnltw %zmm25, %zmm29, %k3 +// CHECK: encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x05] + vpcmpnltw %zmm25, %zmm29, %k3 + +// CHECK: vpcmpnltw %zmm25, %zmm29, %k3 {%k6} +// CHECK: encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x05] + vpcmpnltw %zmm25, %zmm29, %k3 {%k6} + +// CHECK: vpcmpnltw (%rcx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x05] + vpcmpnltw (%rcx), %zmm29, %k3 + +// CHECK: vpcmpnltw 291(%rax,%r14,8), %zmm29, %k3 +// CHECK: encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x05] + vpcmpnltw 291(%rax,%r14,8), %zmm29, %k3 + +// CHECK: vpcmpnltw 8128(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x05] + vpcmpnltw 8128(%rdx), %zmm29, %k3 + +// CHECK: vpcmpnltw 8192(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x05] + vpcmpnltw 8192(%rdx), %zmm29, %k3 + +// CHECK: vpcmpnltw -8192(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x05] + vpcmpnltw -8192(%rdx), %zmm29, %k3 + +// CHECK: vpcmpnltw -8256(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x05] + vpcmpnltw -8256(%rdx), %zmm29, %k3 + +// CHECK: vpcmpnlew %zmm25, %zmm29, %k3 +// CHECK: encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x06] + vpcmpnlew %zmm25, %zmm29, %k3 + +// CHECK: vpcmpnlew %zmm25, %zmm29, %k3 {%k6} +// CHECK: encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x06] + vpcmpnlew %zmm25, %zmm29, %k3 {%k6} + +// CHECK: vpcmpnlew (%rcx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x06] + vpcmpnlew (%rcx), %zmm29, %k3 + +// CHECK: vpcmpnlew 291(%rax,%r14,8), %zmm29, %k3 +// CHECK: encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x06] + vpcmpnlew 291(%rax,%r14,8), %zmm29, %k3 + +// CHECK: vpcmpnlew 8128(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x06] + vpcmpnlew 8128(%rdx), %zmm29, %k3 + +// CHECK: vpcmpnlew 8192(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x06] + vpcmpnlew 8192(%rdx), %zmm29, %k3 + +// CHECK: vpcmpnlew -8192(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x06] + vpcmpnlew -8192(%rdx), %zmm29, %k3 + +// CHECK: vpcmpnlew -8256(%rdx), %zmm29, %k3 +// CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x06] + vpcmpnlew -8256(%rdx), %zmm29, %k3 + // CHECK: vpcmpub $171, %zmm22, %zmm29, %k4 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0xab] vpcmpub $171, %zmm22, %zmm29, %k4 @@ -960,6 +1304,222 @@ // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x7b] vpcmpub $123, -8256(%rdx), %zmm29, %k4 +// CHECK: vpcmpequb %zmm22, %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x00] + vpcmpequb %zmm22, %zmm29, %k4 + +// CHECK: vpcmpequb %zmm22, %zmm29, %k4 {%k7} +// CHECK: encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x00] + vpcmpequb %zmm22, %zmm29, %k4 {%k7} + +// CHECK: vpcmpequb %zmm22, %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x00] + vpcmpequb %zmm22, %zmm29, %k4 + +// CHECK: vpcmpequb (%rcx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x00] + vpcmpequb (%rcx), %zmm29, %k4 + +// CHECK: vpcmpequb 291(%rax,%r14,8), %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x00] + vpcmpequb 291(%rax,%r14,8), %zmm29, %k4 + +// CHECK: vpcmpequb 8128(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x00] + vpcmpequb 8128(%rdx), %zmm29, %k4 + +// CHECK: vpcmpequb 8192(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x00] + vpcmpequb 8192(%rdx), %zmm29, %k4 + +// CHECK: vpcmpequb -8192(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x00] + vpcmpequb -8192(%rdx), %zmm29, %k4 + +// CHECK: vpcmpequb -8256(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x00] + vpcmpequb -8256(%rdx), %zmm29, %k4 + +// CHECK: vpcmpltub %zmm22, %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x01] + vpcmpltub %zmm22, %zmm29, %k4 + +// CHECK: vpcmpltub %zmm22, %zmm29, %k4 {%k7} +// CHECK: encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x01] + vpcmpltub %zmm22, %zmm29, %k4 {%k7} + +// CHECK: vpcmpltub %zmm22, %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x01] + vpcmpltub %zmm22, %zmm29, %k4 + +// CHECK: vpcmpltub (%rcx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x01] + vpcmpltub (%rcx), %zmm29, %k4 + +// CHECK: vpcmpltub 291(%rax,%r14,8), %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x01] + vpcmpltub 291(%rax,%r14,8), %zmm29, %k4 + +// CHECK: vpcmpltub 8128(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x01] + vpcmpltub 8128(%rdx), %zmm29, %k4 + +// CHECK: vpcmpltub 8192(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x01] + vpcmpltub 8192(%rdx), %zmm29, %k4 + +// CHECK: vpcmpltub -8192(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x01] + vpcmpltub -8192(%rdx), %zmm29, %k4 + +// CHECK: vpcmpltub -8256(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x01] + vpcmpltub -8256(%rdx), %zmm29, %k4 + +// CHECK: vpcmpleub %zmm22, %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x02] + vpcmpleub %zmm22, %zmm29, %k4 + +// CHECK: vpcmpleub %zmm22, %zmm29, %k4 {%k7} +// CHECK: encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x02] + vpcmpleub %zmm22, %zmm29, %k4 {%k7} + +// CHECK: vpcmpleub %zmm22, %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x02] + vpcmpleub %zmm22, %zmm29, %k4 + +// CHECK: vpcmpleub (%rcx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x02] + vpcmpleub (%rcx), %zmm29, %k4 + +// CHECK: vpcmpleub 291(%rax,%r14,8), %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x02] + vpcmpleub 291(%rax,%r14,8), %zmm29, %k4 + +// CHECK: vpcmpleub 8128(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x02] + vpcmpleub 8128(%rdx), %zmm29, %k4 + +// CHECK: vpcmpleub 8192(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x02] + vpcmpleub 8192(%rdx), %zmm29, %k4 + +// CHECK: vpcmpleub -8192(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x02] + vpcmpleub -8192(%rdx), %zmm29, %k4 + +// CHECK: vpcmpleub -8256(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x02] + vpcmpleub -8256(%rdx), %zmm29, %k4 + +// CHECK: vpcmpnequb %zmm22, %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x04] + vpcmpnequb %zmm22, %zmm29, %k4 + +// CHECK: vpcmpnequb %zmm22, %zmm29, %k4 {%k7} +// CHECK: encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x04] + vpcmpnequb %zmm22, %zmm29, %k4 {%k7} + +// CHECK: vpcmpnequb %zmm22, %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x04] + vpcmpnequb %zmm22, %zmm29, %k4 + +// CHECK: vpcmpnequb (%rcx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x04] + vpcmpnequb (%rcx), %zmm29, %k4 + +// CHECK: vpcmpnequb 291(%rax,%r14,8), %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x04] + vpcmpnequb 291(%rax,%r14,8), %zmm29, %k4 + +// CHECK: vpcmpnequb 8128(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x04] + vpcmpnequb 8128(%rdx), %zmm29, %k4 + +// CHECK: vpcmpnequb 8192(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x04] + vpcmpnequb 8192(%rdx), %zmm29, %k4 + +// CHECK: vpcmpnequb -8192(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x04] + vpcmpnequb -8192(%rdx), %zmm29, %k4 + +// CHECK: vpcmpnequb -8256(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x04] + vpcmpnequb -8256(%rdx), %zmm29, %k4 + +// CHECK: vpcmpnltub %zmm22, %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x05] + vpcmpnltub %zmm22, %zmm29, %k4 + +// CHECK: vpcmpnltub %zmm22, %zmm29, %k4 {%k7} +// CHECK: encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x05] + vpcmpnltub %zmm22, %zmm29, %k4 {%k7} + +// CHECK: vpcmpnltub %zmm22, %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x05] + vpcmpnltub %zmm22, %zmm29, %k4 + +// CHECK: vpcmpnltub (%rcx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x05] + vpcmpnltub (%rcx), %zmm29, %k4 + +// CHECK: vpcmpnltub 291(%rax,%r14,8), %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x05] + vpcmpnltub 291(%rax,%r14,8), %zmm29, %k4 + +// CHECK: vpcmpnltub 8128(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x05] + vpcmpnltub 8128(%rdx), %zmm29, %k4 + +// CHECK: vpcmpnltub 8192(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x05] + vpcmpnltub 8192(%rdx), %zmm29, %k4 + +// CHECK: vpcmpnltub -8192(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x05] + vpcmpnltub -8192(%rdx), %zmm29, %k4 + +// CHECK: vpcmpnltub -8256(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x05] + vpcmpnltub -8256(%rdx), %zmm29, %k4 + +// CHECK: vpcmpnleub %zmm22, %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x06] + vpcmpnleub %zmm22, %zmm29, %k4 + +// CHECK: vpcmpnleub %zmm22, %zmm29, %k4 {%k7} +// CHECK: encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x06] + vpcmpnleub %zmm22, %zmm29, %k4 {%k7} + +// CHECK: vpcmpnleub %zmm22, %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x06] + vpcmpnleub %zmm22, %zmm29, %k4 + +// CHECK: vpcmpnleub (%rcx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x06] + vpcmpnleub (%rcx), %zmm29, %k4 + +// CHECK: vpcmpnleub 291(%rax,%r14,8), %zmm29, %k4 +// CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x06] + vpcmpnleub 291(%rax,%r14,8), %zmm29, %k4 + +// CHECK: vpcmpnleub 8128(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x06] + vpcmpnleub 8128(%rdx), %zmm29, %k4 + +// CHECK: vpcmpnleub 8192(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x06] + vpcmpnleub 8192(%rdx), %zmm29, %k4 + +// CHECK: vpcmpnleub -8192(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x06] + vpcmpnleub -8192(%rdx), %zmm29, %k4 + +// CHECK: vpcmpnleub -8256(%rdx), %zmm29, %k4 +// CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x06] + vpcmpnleub -8256(%rdx), %zmm29, %k4 + // CHECK: vpcmpuw $171, %zmm22, %zmm22, %k4 // CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0xab] vpcmpuw $171, %zmm22, %zmm22, %k4 @@ -995,3 +1555,195 @@ // CHECK: vpcmpuw $123, -8256(%rdx), %zmm22, %k4 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x7b] vpcmpuw $123, -8256(%rdx), %zmm22, %k4 + +// CHECK: vpcmpequw %zmm22, %zmm22, %k4 +// CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x00] + vpcmpequw %zmm22, %zmm22, %k4 + +// CHECK: vpcmpequw %zmm22, %zmm22, %k4 {%k7} +// CHECK: encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x00] + vpcmpequw %zmm22, %zmm22, %k4 {%k7} + +// CHECK: vpcmpequw (%rcx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x00] + vpcmpequw (%rcx), %zmm22, %k4 + +// CHECK: vpcmpequw 291(%rax,%r14,8), %zmm22, %k4 +// CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x00] + vpcmpequw 291(%rax,%r14,8), %zmm22, %k4 + +// CHECK: vpcmpequw 8128(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x00] + vpcmpequw 8128(%rdx), %zmm22, %k4 + +// CHECK: vpcmpequw 8192(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x00] + vpcmpequw 8192(%rdx), %zmm22, %k4 + +// CHECK: vpcmpequw -8192(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x00] + vpcmpequw -8192(%rdx), %zmm22, %k4 + +// CHECK: vpcmpequw -8256(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x00] + vpcmpequw -8256(%rdx), %zmm22, %k4 + +// CHECK: vpcmpltuw %zmm22, %zmm22, %k4 +// CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x01] + vpcmpltuw %zmm22, %zmm22, %k4 + +// CHECK: vpcmpltuw %zmm22, %zmm22, %k4 {%k7} +// CHECK: encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x01] + vpcmpltuw %zmm22, %zmm22, %k4 {%k7} + +// CHECK: vpcmpltuw (%rcx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x01] + vpcmpltuw (%rcx), %zmm22, %k4 + +// CHECK: vpcmpltuw 291(%rax,%r14,8), %zmm22, %k4 +// CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x01] + vpcmpltuw 291(%rax,%r14,8), %zmm22, %k4 + +// CHECK: vpcmpltuw 8128(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x01] + vpcmpltuw 8128(%rdx), %zmm22, %k4 + +// CHECK: vpcmpltuw 8192(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x01] + vpcmpltuw 8192(%rdx), %zmm22, %k4 + +// CHECK: vpcmpltuw -8192(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x01] + vpcmpltuw -8192(%rdx), %zmm22, %k4 + +// CHECK: vpcmpltuw -8256(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x01] + vpcmpltuw -8256(%rdx), %zmm22, %k4 + +// CHECK: vpcmpleuw %zmm22, %zmm22, %k4 +// CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x02] + vpcmpleuw %zmm22, %zmm22, %k4 + +// CHECK: vpcmpleuw %zmm22, %zmm22, %k4 {%k7} +// CHECK: encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x02] + vpcmpleuw %zmm22, %zmm22, %k4 {%k7} + +// CHECK: vpcmpleuw (%rcx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x02] + vpcmpleuw (%rcx), %zmm22, %k4 + +// CHECK: vpcmpleuw 291(%rax,%r14,8), %zmm22, %k4 +// CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x02] + vpcmpleuw 291(%rax,%r14,8), %zmm22, %k4 + +// CHECK: vpcmpleuw 8128(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x02] + vpcmpleuw 8128(%rdx), %zmm22, %k4 + +// CHECK: vpcmpleuw 8192(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x02] + vpcmpleuw 8192(%rdx), %zmm22, %k4 + +// CHECK: vpcmpleuw -8192(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x02] + vpcmpleuw -8192(%rdx), %zmm22, %k4 + +// CHECK: vpcmpleuw -8256(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x02] + vpcmpleuw -8256(%rdx), %zmm22, %k4 + +// CHECK: vpcmpnequw %zmm22, %zmm22, %k4 +// CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x04] + vpcmpnequw %zmm22, %zmm22, %k4 + +// CHECK: vpcmpnequw %zmm22, %zmm22, %k4 {%k7} +// CHECK: encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x04] + vpcmpnequw %zmm22, %zmm22, %k4 {%k7} + +// CHECK: vpcmpnequw (%rcx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x04] + vpcmpnequw (%rcx), %zmm22, %k4 + +// CHECK: vpcmpnequw 291(%rax,%r14,8), %zmm22, %k4 +// CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x04] + vpcmpnequw 291(%rax,%r14,8), %zmm22, %k4 + +// CHECK: vpcmpnequw 8128(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x04] + vpcmpnequw 8128(%rdx), %zmm22, %k4 + +// CHECK: vpcmpnequw 8192(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x04] + vpcmpnequw 8192(%rdx), %zmm22, %k4 + +// CHECK: vpcmpnequw -8192(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x04] + vpcmpnequw -8192(%rdx), %zmm22, %k4 + +// CHECK: vpcmpnequw -8256(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x04] + vpcmpnequw -8256(%rdx), %zmm22, %k4 + +// CHECK: vpcmpnltuw %zmm22, %zmm22, %k4 +// CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x05] + vpcmpnltuw %zmm22, %zmm22, %k4 + +// CHECK: vpcmpnltuw %zmm22, %zmm22, %k4 {%k7} +// CHECK: encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x05] + vpcmpnltuw %zmm22, %zmm22, %k4 {%k7} + +// CHECK: vpcmpnltuw (%rcx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x05] + vpcmpnltuw (%rcx), %zmm22, %k4 + +// CHECK: vpcmpnltuw 291(%rax,%r14,8), %zmm22, %k4 +// CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x05] + vpcmpnltuw 291(%rax,%r14,8), %zmm22, %k4 + +// CHECK: vpcmpnltuw 8128(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x05] + vpcmpnltuw 8128(%rdx), %zmm22, %k4 + +// CHECK: vpcmpnltuw 8192(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x05] + vpcmpnltuw 8192(%rdx), %zmm22, %k4 + +// CHECK: vpcmpnltuw -8192(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x05] + vpcmpnltuw -8192(%rdx), %zmm22, %k4 + +// CHECK: vpcmpnltuw -8256(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x05] + vpcmpnltuw -8256(%rdx), %zmm22, %k4 + +// CHECK: vpcmpnleuw %zmm22, %zmm22, %k4 +// CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x06] + vpcmpnleuw %zmm22, %zmm22, %k4 + +// CHECK: vpcmpnleuw %zmm22, %zmm22, %k4 {%k7} +// CHECK: encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x06] + vpcmpnleuw %zmm22, %zmm22, %k4 {%k7} + +// CHECK: vpcmpnleuw (%rcx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x06] + vpcmpnleuw (%rcx), %zmm22, %k4 + +// CHECK: vpcmpnleuw 291(%rax,%r14,8), %zmm22, %k4 +// CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x06] + vpcmpnleuw 291(%rax,%r14,8), %zmm22, %k4 + +// CHECK: vpcmpnleuw 8128(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x06] + vpcmpnleuw 8128(%rdx), %zmm22, %k4 + +// CHECK: vpcmpnleuw 8192(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x06] + vpcmpnleuw 8192(%rdx), %zmm22, %k4 + +// CHECK: vpcmpnleuw -8192(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x06] + vpcmpnleuw -8192(%rdx), %zmm22, %k4 + +// CHECK: vpcmpnleuw -8256(%rdx), %zmm22, %k4 +// CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x06] + vpcmpnleuw -8256(%rdx), %zmm22, %k4 |