diff options
Diffstat (limited to 'test/MC/X86/avx512-encodings.s')
| -rw-r--r-- | test/MC/X86/avx512-encodings.s | 1186 |
1 files changed, 1183 insertions, 3 deletions
diff --git a/test/MC/X86/avx512-encodings.s b/test/MC/X86/avx512-encodings.s index c734da8..9c2b175 100644 --- a/test/MC/X86/avx512-encodings.s +++ b/test/MC/X86/avx512-encodings.s @@ -1,4 +1,4 @@ -// RUN: not llvm-mc -triple x86_64-unknown-unknown -mcpu=knl --show-encoding %s 2> %t.err | FileCheck %s +// RUN: not llvm-mc -triple x86_64-unknown-unknown -mcpu=knl -mattr=+avx512dq --show-encoding %s 2> %t.err | FileCheck %s // RUN: FileCheck --check-prefix=ERR < %t.err %s // CHECK: vaddpd %zmm6, %zmm27, %zmm8 @@ -1513,6 +1513,42 @@ // CHECK: encoding: [0x62,0xe1,0xdd,0x58,0xdb,0x8a,0xf8,0xfb,0xff,0xff] vpandq -1032(%rdx){1to8}, %zmm4, %zmm17 +// CHECK: vpbroadcastd %eax, %zmm11 +// CHECK: encoding: [0x62,0x72,0x7d,0x48,0x7c,0xd8] + vpbroadcastd %eax, %zmm11 + +// CHECK: vpbroadcastd %eax, %zmm11 {%k6} +// CHECK: encoding: [0x62,0x72,0x7d,0x4e,0x7c,0xd8] + vpbroadcastd %eax, %zmm11 {%k6} + +// CHECK: vpbroadcastd %eax, %zmm11 {%k6} {z} +// CHECK: encoding: [0x62,0x72,0x7d,0xce,0x7c,0xd8] + vpbroadcastd %eax, %zmm11 {%k6} {z} + +// CHECK: vpbroadcastd %ebp, %zmm11 +// CHECK: encoding: [0x62,0x72,0x7d,0x48,0x7c,0xdd] + vpbroadcastd %ebp, %zmm11 + +// CHECK: vpbroadcastd %r13d, %zmm11 +// CHECK: encoding: [0x62,0x52,0x7d,0x48,0x7c,0xdd] + vpbroadcastd %r13d, %zmm11 + +// CHECK: vpbroadcastq %rax, %zmm1 +// CHECK: encoding: [0x62,0xf2,0xfd,0x48,0x7c,0xc8] + vpbroadcastq %rax, %zmm1 + +// CHECK: vpbroadcastq %rax, %zmm1 {%k6} +// CHECK: encoding: [0x62,0xf2,0xfd,0x4e,0x7c,0xc8] + vpbroadcastq %rax, %zmm1 {%k6} + +// CHECK: vpbroadcastq %rax, %zmm1 {%k6} {z} +// CHECK: encoding: [0x62,0xf2,0xfd,0xce,0x7c,0xc8] + vpbroadcastq %rax, %zmm1 {%k6} {z} + +// CHECK: vpbroadcastq %r8, %zmm1 +// CHECK: encoding: [0x62,0xd2,0xfd,0x48,0x7c,0xc8] + vpbroadcastq %r8, %zmm1 + // CHECK: vpcmpd $171, %zmm10, %zmm25, %k5 // CHECK: encoding: [0x62,0xd3,0x35,0x40,0x1f,0xea,0xab] vpcmpd $171, %zmm10, %zmm25, %k5 @@ -1569,6 +1605,266 @@ // CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0xaa,0xfc,0xfd,0xff,0xff,0x7b] vpcmpd $123, -516(%rdx){1to16}, %zmm25, %k5 +// CHECK: vpcmpltd %zmm7, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0xd7,0x01] + vpcmpltd %zmm7, %zmm25, %k2 + +// CHECK: vpcmpltd %zmm7, %zmm25, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x35,0x41,0x1f,0xd7,0x01] + vpcmpltd %zmm7, %zmm25, %k2 {%k1} + +// CHECK: vpcmpltd (%rcx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x11,0x01] + vpcmpltd (%rcx), %zmm25, %k2 + +// CHECK: vpcmpltd 291(%rax,%r14,8), %zmm25, %k2 +// CHECK: encoding: [0x62,0xb3,0x35,0x40,0x1f,0x94,0xf0,0x23,0x01,0x00,0x00,0x01] + vpcmpltd 291(%rax,%r14,8), %zmm25, %k2 + +// CHECK: vpcmpltd (%rcx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x11,0x01] + vpcmpltd (%rcx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpltd 8128(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x52,0x7f,0x01] + vpcmpltd 8128(%rdx), %zmm25, %k2 + +// CHECK: vpcmpltd 8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x92,0x00,0x20,0x00,0x00,0x01] + vpcmpltd 8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpltd -8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x52,0x80,0x01] + vpcmpltd -8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpltd -8256(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x92,0xc0,0xdf,0xff,0xff,0x01] + vpcmpltd -8256(%rdx), %zmm25, %k2 + +// CHECK: vpcmpltd 508(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x52,0x7f,0x01] + vpcmpltd 508(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpltd 512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x92,0x00,0x02,0x00,0x00,0x01] + vpcmpltd 512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpltd -512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x52,0x80,0x01] + vpcmpltd -512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpltd -516(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x92,0xfc,0xfd,0xff,0xff,0x01] + vpcmpltd -516(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpled %zmm7, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0xd7,0x02] + vpcmpled %zmm7, %zmm25, %k2 + +// CHECK: vpcmpled %zmm7, %zmm25, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x35,0x41,0x1f,0xd7,0x02] + vpcmpled %zmm7, %zmm25, %k2 {%k1} + +// CHECK: vpcmpled (%rcx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x11,0x02] + vpcmpled (%rcx), %zmm25, %k2 + +// CHECK: vpcmpled 291(%rax,%r14,8), %zmm25, %k2 +// CHECK: encoding: [0x62,0xb3,0x35,0x40,0x1f,0x94,0xf0,0x23,0x01,0x00,0x00,0x02] + vpcmpled 291(%rax,%r14,8), %zmm25, %k2 + +// CHECK: vpcmpled (%rcx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x11,0x02] + vpcmpled (%rcx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpled 8128(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x52,0x7f,0x02] + vpcmpled 8128(%rdx), %zmm25, %k2 + +// CHECK: vpcmpled 8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x92,0x00,0x20,0x00,0x00,0x02] + vpcmpled 8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpled -8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x52,0x80,0x02] + vpcmpled -8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpled -8256(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x92,0xc0,0xdf,0xff,0xff,0x02] + vpcmpled -8256(%rdx), %zmm25, %k2 + +// CHECK: vpcmpled 508(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x52,0x7f,0x02] + vpcmpled 508(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpled 512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x92,0x00,0x02,0x00,0x00,0x02] + vpcmpled 512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpled -512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x52,0x80,0x02] + vpcmpled -512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpled -516(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x92,0xfc,0xfd,0xff,0xff,0x02] + vpcmpled -516(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpneqd %zmm7, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0xd7,0x04] + vpcmpneqd %zmm7, %zmm25, %k2 + +// CHECK: vpcmpneqd %zmm7, %zmm25, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x35,0x41,0x1f,0xd7,0x04] + vpcmpneqd %zmm7, %zmm25, %k2 {%k1} + +// CHECK: vpcmpneqd (%rcx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x11,0x04] + vpcmpneqd (%rcx), %zmm25, %k2 + +// CHECK: vpcmpneqd 291(%rax,%r14,8), %zmm25, %k2 +// CHECK: encoding: [0x62,0xb3,0x35,0x40,0x1f,0x94,0xf0,0x23,0x01,0x00,0x00,0x04] + vpcmpneqd 291(%rax,%r14,8), %zmm25, %k2 + +// CHECK: vpcmpneqd (%rcx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x11,0x04] + vpcmpneqd (%rcx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpneqd 8128(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x52,0x7f,0x04] + vpcmpneqd 8128(%rdx), %zmm25, %k2 + +// CHECK: vpcmpneqd 8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x92,0x00,0x20,0x00,0x00,0x04] + vpcmpneqd 8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpneqd -8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x52,0x80,0x04] + vpcmpneqd -8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpneqd -8256(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x92,0xc0,0xdf,0xff,0xff,0x04] + vpcmpneqd -8256(%rdx), %zmm25, %k2 + +// CHECK: vpcmpneqd 508(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x52,0x7f,0x04] + vpcmpneqd 508(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpneqd 512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x92,0x00,0x02,0x00,0x00,0x04] + vpcmpneqd 512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpneqd -512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x52,0x80,0x04] + vpcmpneqd -512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpneqd -516(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x92,0xfc,0xfd,0xff,0xff,0x04] + vpcmpneqd -516(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnltd %zmm7, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0xd7,0x05] + vpcmpnltd %zmm7, %zmm25, %k2 + +// CHECK: vpcmpnltd %zmm7, %zmm25, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x35,0x41,0x1f,0xd7,0x05] + vpcmpnltd %zmm7, %zmm25, %k2 {%k1} + +// CHECK: vpcmpnltd (%rcx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x11,0x05] + vpcmpnltd (%rcx), %zmm25, %k2 + +// CHECK: vpcmpnltd 291(%rax,%r14,8), %zmm25, %k2 +// CHECK: encoding: [0x62,0xb3,0x35,0x40,0x1f,0x94,0xf0,0x23,0x01,0x00,0x00,0x05] + vpcmpnltd 291(%rax,%r14,8), %zmm25, %k2 + +// CHECK: vpcmpnltd (%rcx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x11,0x05] + vpcmpnltd (%rcx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnltd 8128(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x52,0x7f,0x05] + vpcmpnltd 8128(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnltd 8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x92,0x00,0x20,0x00,0x00,0x05] + vpcmpnltd 8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnltd -8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x52,0x80,0x05] + vpcmpnltd -8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnltd -8256(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x92,0xc0,0xdf,0xff,0xff,0x05] + vpcmpnltd -8256(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnltd 508(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x52,0x7f,0x05] + vpcmpnltd 508(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnltd 512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x92,0x00,0x02,0x00,0x00,0x05] + vpcmpnltd 512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnltd -512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x52,0x80,0x05] + vpcmpnltd -512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnltd -516(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x92,0xfc,0xfd,0xff,0xff,0x05] + vpcmpnltd -516(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnled %zmm7, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0xd7,0x06] + vpcmpnled %zmm7, %zmm25, %k2 + +// CHECK: vpcmpnled %zmm7, %zmm25, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x35,0x41,0x1f,0xd7,0x06] + vpcmpnled %zmm7, %zmm25, %k2 {%k1} + +// CHECK: vpcmpnled (%rcx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x11,0x06] + vpcmpnled (%rcx), %zmm25, %k2 + +// CHECK: vpcmpnled 291(%rax,%r14,8), %zmm25, %k2 +// CHECK: encoding: [0x62,0xb3,0x35,0x40,0x1f,0x94,0xf0,0x23,0x01,0x00,0x00,0x06] + vpcmpnled 291(%rax,%r14,8), %zmm25, %k2 + +// CHECK: vpcmpnled (%rcx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x11,0x06] + vpcmpnled (%rcx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnled 8128(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x52,0x7f,0x06] + vpcmpnled 8128(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnled 8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x92,0x00,0x20,0x00,0x00,0x06] + vpcmpnled 8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnled -8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x52,0x80,0x06] + vpcmpnled -8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnled -8256(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1f,0x92,0xc0,0xdf,0xff,0xff,0x06] + vpcmpnled -8256(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnled 508(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x52,0x7f,0x06] + vpcmpnled 508(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnled 512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x92,0x00,0x02,0x00,0x00,0x06] + vpcmpnled 512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnled -512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x52,0x80,0x06] + vpcmpnled -512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnled -516(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1f,0x92,0xfc,0xfd,0xff,0xff,0x06] + vpcmpnled -516(%rdx){1to16}, %zmm25, %k2 + // CHECK: vpcmpeqd %zmm10, %zmm2, %k5 // CHECK: encoding: [0x62,0xd1,0x6d,0x48,0x76,0xea] vpcmpeqd %zmm10, %zmm2, %k5 @@ -1833,6 +2129,266 @@ // CHECK: encoding: [0x62,0xf3,0x9d,0x50,0x1f,0xaa,0xf8,0xfb,0xff,0xff,0x7b] vpcmpq $123, -1032(%rdx){1to8}, %zmm28, %k5 +// CHECK: vpcmpltq %zmm7, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0xd7,0x01] + vpcmpltq %zmm7, %zmm14, %k2 + +// CHECK: vpcmpltq %zmm7, %zmm14, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x8d,0x49,0x1f,0xd7,0x01] + vpcmpltq %zmm7, %zmm14, %k2 {%k1} + +// CHECK: vpcmpltq (%rcx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x11,0x01] + vpcmpltq (%rcx), %zmm14, %k2 + +// CHECK: vpcmpltq 291(%rax,%r14,8), %zmm14, %k2 +// CHECK: encoding: [0x62,0xb3,0x8d,0x48,0x1f,0x94,0xf0,0x23,0x01,0x00,0x00,0x01] + vpcmpltq 291(%rax,%r14,8), %zmm14, %k2 + +// CHECK: vpcmpltq (%rcx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x11,0x01] + vpcmpltq (%rcx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpltq 8128(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x52,0x7f,0x01] + vpcmpltq 8128(%rdx), %zmm14, %k2 + +// CHECK: vpcmpltq 8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x92,0x00,0x20,0x00,0x00,0x01] + vpcmpltq 8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpltq -8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x52,0x80,0x01] + vpcmpltq -8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpltq -8256(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x92,0xc0,0xdf,0xff,0xff,0x01] + vpcmpltq -8256(%rdx), %zmm14, %k2 + +// CHECK: vpcmpltq 1016(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x52,0x7f,0x01] + vpcmpltq 1016(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpltq 1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x92,0x00,0x04,0x00,0x00,0x01] + vpcmpltq 1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpltq -1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x52,0x80,0x01] + vpcmpltq -1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpltq -1032(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x92,0xf8,0xfb,0xff,0xff,0x01] + vpcmpltq -1032(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpleq %zmm7, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0xd7,0x02] + vpcmpleq %zmm7, %zmm14, %k2 + +// CHECK: vpcmpleq %zmm7, %zmm14, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x8d,0x49,0x1f,0xd7,0x02] + vpcmpleq %zmm7, %zmm14, %k2 {%k1} + +// CHECK: vpcmpleq (%rcx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x11,0x02] + vpcmpleq (%rcx), %zmm14, %k2 + +// CHECK: vpcmpleq 291(%rax,%r14,8), %zmm14, %k2 +// CHECK: encoding: [0x62,0xb3,0x8d,0x48,0x1f,0x94,0xf0,0x23,0x01,0x00,0x00,0x02] + vpcmpleq 291(%rax,%r14,8), %zmm14, %k2 + +// CHECK: vpcmpleq (%rcx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x11,0x02] + vpcmpleq (%rcx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpleq 8128(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x52,0x7f,0x02] + vpcmpleq 8128(%rdx), %zmm14, %k2 + +// CHECK: vpcmpleq 8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x92,0x00,0x20,0x00,0x00,0x02] + vpcmpleq 8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpleq -8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x52,0x80,0x02] + vpcmpleq -8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpleq -8256(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x92,0xc0,0xdf,0xff,0xff,0x02] + vpcmpleq -8256(%rdx), %zmm14, %k2 + +// CHECK: vpcmpleq 1016(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x52,0x7f,0x02] + vpcmpleq 1016(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpleq 1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x92,0x00,0x04,0x00,0x00,0x02] + vpcmpleq 1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpleq -1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x52,0x80,0x02] + vpcmpleq -1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpleq -1032(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x92,0xf8,0xfb,0xff,0xff,0x02] + vpcmpleq -1032(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpneqq %zmm7, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0xd7,0x04] + vpcmpneqq %zmm7, %zmm14, %k2 + +// CHECK: vpcmpneqq %zmm7, %zmm14, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x8d,0x49,0x1f,0xd7,0x04] + vpcmpneqq %zmm7, %zmm14, %k2 {%k1} + +// CHECK: vpcmpneqq (%rcx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x11,0x04] + vpcmpneqq (%rcx), %zmm14, %k2 + +// CHECK: vpcmpneqq 291(%rax,%r14,8), %zmm14, %k2 +// CHECK: encoding: [0x62,0xb3,0x8d,0x48,0x1f,0x94,0xf0,0x23,0x01,0x00,0x00,0x04] + vpcmpneqq 291(%rax,%r14,8), %zmm14, %k2 + +// CHECK: vpcmpneqq (%rcx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x11,0x04] + vpcmpneqq (%rcx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpneqq 8128(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x52,0x7f,0x04] + vpcmpneqq 8128(%rdx), %zmm14, %k2 + +// CHECK: vpcmpneqq 8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x92,0x00,0x20,0x00,0x00,0x04] + vpcmpneqq 8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpneqq -8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x52,0x80,0x04] + vpcmpneqq -8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpneqq -8256(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x92,0xc0,0xdf,0xff,0xff,0x04] + vpcmpneqq -8256(%rdx), %zmm14, %k2 + +// CHECK: vpcmpneqq 1016(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x52,0x7f,0x04] + vpcmpneqq 1016(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpneqq 1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x92,0x00,0x04,0x00,0x00,0x04] + vpcmpneqq 1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpneqq -1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x52,0x80,0x04] + vpcmpneqq -1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpneqq -1032(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x92,0xf8,0xfb,0xff,0xff,0x04] + vpcmpneqq -1032(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnltq %zmm7, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0xd7,0x05] + vpcmpnltq %zmm7, %zmm14, %k2 + +// CHECK: vpcmpnltq %zmm7, %zmm14, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x8d,0x49,0x1f,0xd7,0x05] + vpcmpnltq %zmm7, %zmm14, %k2 {%k1} + +// CHECK: vpcmpnltq (%rcx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x11,0x05] + vpcmpnltq (%rcx), %zmm14, %k2 + +// CHECK: vpcmpnltq 291(%rax,%r14,8), %zmm14, %k2 +// CHECK: encoding: [0x62,0xb3,0x8d,0x48,0x1f,0x94,0xf0,0x23,0x01,0x00,0x00,0x05] + vpcmpnltq 291(%rax,%r14,8), %zmm14, %k2 + +// CHECK: vpcmpnltq (%rcx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x11,0x05] + vpcmpnltq (%rcx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnltq 8128(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x52,0x7f,0x05] + vpcmpnltq 8128(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnltq 8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x92,0x00,0x20,0x00,0x00,0x05] + vpcmpnltq 8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnltq -8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x52,0x80,0x05] + vpcmpnltq -8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnltq -8256(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x92,0xc0,0xdf,0xff,0xff,0x05] + vpcmpnltq -8256(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnltq 1016(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x52,0x7f,0x05] + vpcmpnltq 1016(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnltq 1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x92,0x00,0x04,0x00,0x00,0x05] + vpcmpnltq 1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnltq -1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x52,0x80,0x05] + vpcmpnltq -1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnltq -1032(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x92,0xf8,0xfb,0xff,0xff,0x05] + vpcmpnltq -1032(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnleq %zmm7, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0xd7,0x06] + vpcmpnleq %zmm7, %zmm14, %k2 + +// CHECK: vpcmpnleq %zmm7, %zmm14, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x8d,0x49,0x1f,0xd7,0x06] + vpcmpnleq %zmm7, %zmm14, %k2 {%k1} + +// CHECK: vpcmpnleq (%rcx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x11,0x06] + vpcmpnleq (%rcx), %zmm14, %k2 + +// CHECK: vpcmpnleq 291(%rax,%r14,8), %zmm14, %k2 +// CHECK: encoding: [0x62,0xb3,0x8d,0x48,0x1f,0x94,0xf0,0x23,0x01,0x00,0x00,0x06] + vpcmpnleq 291(%rax,%r14,8), %zmm14, %k2 + +// CHECK: vpcmpnleq (%rcx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x11,0x06] + vpcmpnleq (%rcx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnleq 8128(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x52,0x7f,0x06] + vpcmpnleq 8128(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnleq 8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x92,0x00,0x20,0x00,0x00,0x06] + vpcmpnleq 8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnleq -8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x52,0x80,0x06] + vpcmpnleq -8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnleq -8256(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1f,0x92,0xc0,0xdf,0xff,0xff,0x06] + vpcmpnleq -8256(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnleq 1016(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x52,0x7f,0x06] + vpcmpnleq 1016(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnleq 1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x92,0x00,0x04,0x00,0x00,0x06] + vpcmpnleq 1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnleq -1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x52,0x80,0x06] + vpcmpnleq -1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnleq -1032(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1f,0x92,0xf8,0xfb,0xff,0xff,0x06] + vpcmpnleq -1032(%rdx){1to8}, %zmm14, %k2 + // CHECK: vpcmpud $171, %zmm7, %zmm25, %k2 // CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0xd7,0xab] vpcmpud $171, %zmm7, %zmm25, %k2 @@ -1889,6 +2445,318 @@ // CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x92,0xfc,0xfd,0xff,0xff,0x7b] vpcmpud $123, -516(%rdx){1to16}, %zmm25, %k2 +// CHECK: vpcmpequd %zmm7, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0xd7,0x00] + vpcmpequd %zmm7, %zmm25, %k2 + +// CHECK: vpcmpequd %zmm7, %zmm25, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x35,0x41,0x1e,0xd7,0x00] + vpcmpequd %zmm7, %zmm25, %k2 {%k1} + +// CHECK: vpcmpequd (%rcx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x11,0x00] + vpcmpequd (%rcx), %zmm25, %k2 + +// CHECK: vpcmpequd 291(%rax,%r14,8), %zmm25, %k2 +// CHECK: encoding: [0x62,0xb3,0x35,0x40,0x1e,0x94,0xf0,0x23,0x01,0x00,0x00,0x00] + vpcmpequd 291(%rax,%r14,8), %zmm25, %k2 + +// CHECK: vpcmpequd (%rcx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x11,0x00] + vpcmpequd (%rcx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpequd 8128(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x52,0x7f,0x00] + vpcmpequd 8128(%rdx), %zmm25, %k2 + +// CHECK: vpcmpequd 8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x92,0x00,0x20,0x00,0x00,0x00] + vpcmpequd 8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpequd -8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x52,0x80,0x00] + vpcmpequd -8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpequd -8256(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x92,0xc0,0xdf,0xff,0xff,0x00] + vpcmpequd -8256(%rdx), %zmm25, %k2 + +// CHECK: vpcmpequd 508(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x52,0x7f,0x00] + vpcmpequd 508(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpequd 512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x92,0x00,0x02,0x00,0x00,0x00] + vpcmpequd 512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpequd -512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x52,0x80,0x00] + vpcmpequd -512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpequd -516(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x92,0xfc,0xfd,0xff,0xff,0x00] + vpcmpequd -516(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpltud %zmm7, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0xd7,0x01] + vpcmpltud %zmm7, %zmm25, %k2 + +// CHECK: vpcmpltud %zmm7, %zmm25, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x35,0x41,0x1e,0xd7,0x01] + vpcmpltud %zmm7, %zmm25, %k2 {%k1} + +// CHECK: vpcmpltud (%rcx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x11,0x01] + vpcmpltud (%rcx), %zmm25, %k2 + +// CHECK: vpcmpltud 291(%rax,%r14,8), %zmm25, %k2 +// CHECK: encoding: [0x62,0xb3,0x35,0x40,0x1e,0x94,0xf0,0x23,0x01,0x00,0x00,0x01] + vpcmpltud 291(%rax,%r14,8), %zmm25, %k2 + +// CHECK: vpcmpltud (%rcx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x11,0x01] + vpcmpltud (%rcx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpltud 8128(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x52,0x7f,0x01] + vpcmpltud 8128(%rdx), %zmm25, %k2 + +// CHECK: vpcmpltud 8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x92,0x00,0x20,0x00,0x00,0x01] + vpcmpltud 8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpltud -8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x52,0x80,0x01] + vpcmpltud -8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpltud -8256(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x92,0xc0,0xdf,0xff,0xff,0x01] + vpcmpltud -8256(%rdx), %zmm25, %k2 + +// CHECK: vpcmpltud 508(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x52,0x7f,0x01] + vpcmpltud 508(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpltud 512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x92,0x00,0x02,0x00,0x00,0x01] + vpcmpltud 512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpltud -512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x52,0x80,0x01] + vpcmpltud -512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpltud -516(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x92,0xfc,0xfd,0xff,0xff,0x01] + vpcmpltud -516(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpleud %zmm7, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0xd7,0x02] + vpcmpleud %zmm7, %zmm25, %k2 + +// CHECK: vpcmpleud %zmm7, %zmm25, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x35,0x41,0x1e,0xd7,0x02] + vpcmpleud %zmm7, %zmm25, %k2 {%k1} + +// CHECK: vpcmpleud (%rcx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x11,0x02] + vpcmpleud (%rcx), %zmm25, %k2 + +// CHECK: vpcmpleud 291(%rax,%r14,8), %zmm25, %k2 +// CHECK: encoding: [0x62,0xb3,0x35,0x40,0x1e,0x94,0xf0,0x23,0x01,0x00,0x00,0x02] + vpcmpleud 291(%rax,%r14,8), %zmm25, %k2 + +// CHECK: vpcmpleud (%rcx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x11,0x02] + vpcmpleud (%rcx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpleud 8128(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x52,0x7f,0x02] + vpcmpleud 8128(%rdx), %zmm25, %k2 + +// CHECK: vpcmpleud 8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x92,0x00,0x20,0x00,0x00,0x02] + vpcmpleud 8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpleud -8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x52,0x80,0x02] + vpcmpleud -8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpleud -8256(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x92,0xc0,0xdf,0xff,0xff,0x02] + vpcmpleud -8256(%rdx), %zmm25, %k2 + +// CHECK: vpcmpleud 508(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x52,0x7f,0x02] + vpcmpleud 508(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpleud 512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x92,0x00,0x02,0x00,0x00,0x02] + vpcmpleud 512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpleud -512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x52,0x80,0x02] + vpcmpleud -512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpleud -516(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x92,0xfc,0xfd,0xff,0xff,0x02] + vpcmpleud -516(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnequd %zmm7, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0xd7,0x04] + vpcmpnequd %zmm7, %zmm25, %k2 + +// CHECK: vpcmpnequd %zmm7, %zmm25, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x35,0x41,0x1e,0xd7,0x04] + vpcmpnequd %zmm7, %zmm25, %k2 {%k1} + +// CHECK: vpcmpnequd (%rcx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x11,0x04] + vpcmpnequd (%rcx), %zmm25, %k2 + +// CHECK: vpcmpnequd 291(%rax,%r14,8), %zmm25, %k2 +// CHECK: encoding: [0x62,0xb3,0x35,0x40,0x1e,0x94,0xf0,0x23,0x01,0x00,0x00,0x04] + vpcmpnequd 291(%rax,%r14,8), %zmm25, %k2 + +// CHECK: vpcmpnequd (%rcx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x11,0x04] + vpcmpnequd (%rcx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnequd 8128(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x52,0x7f,0x04] + vpcmpnequd 8128(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnequd 8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x92,0x00,0x20,0x00,0x00,0x04] + vpcmpnequd 8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnequd -8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x52,0x80,0x04] + vpcmpnequd -8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnequd -8256(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x92,0xc0,0xdf,0xff,0xff,0x04] + vpcmpnequd -8256(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnequd 508(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x52,0x7f,0x04] + vpcmpnequd 508(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnequd 512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x92,0x00,0x02,0x00,0x00,0x04] + vpcmpnequd 512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnequd -512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x52,0x80,0x04] + vpcmpnequd -512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnequd -516(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x92,0xfc,0xfd,0xff,0xff,0x04] + vpcmpnequd -516(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnltud %zmm7, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0xd7,0x05] + vpcmpnltud %zmm7, %zmm25, %k2 + +// CHECK: vpcmpnltud %zmm7, %zmm25, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x35,0x41,0x1e,0xd7,0x05] + vpcmpnltud %zmm7, %zmm25, %k2 {%k1} + +// CHECK: vpcmpnltud (%rcx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x11,0x05] + vpcmpnltud (%rcx), %zmm25, %k2 + +// CHECK: vpcmpnltud 291(%rax,%r14,8), %zmm25, %k2 +// CHECK: encoding: [0x62,0xb3,0x35,0x40,0x1e,0x94,0xf0,0x23,0x01,0x00,0x00,0x05] + vpcmpnltud 291(%rax,%r14,8), %zmm25, %k2 + +// CHECK: vpcmpnltud (%rcx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x11,0x05] + vpcmpnltud (%rcx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnltud 8128(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x52,0x7f,0x05] + vpcmpnltud 8128(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnltud 8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x92,0x00,0x20,0x00,0x00,0x05] + vpcmpnltud 8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnltud -8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x52,0x80,0x05] + vpcmpnltud -8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnltud -8256(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x92,0xc0,0xdf,0xff,0xff,0x05] + vpcmpnltud -8256(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnltud 508(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x52,0x7f,0x05] + vpcmpnltud 508(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnltud 512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x92,0x00,0x02,0x00,0x00,0x05] + vpcmpnltud 512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnltud -512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x52,0x80,0x05] + vpcmpnltud -512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnltud -516(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x92,0xfc,0xfd,0xff,0xff,0x05] + vpcmpnltud -516(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnleud %zmm7, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0xd7,0x06] + vpcmpnleud %zmm7, %zmm25, %k2 + +// CHECK: vpcmpnleud %zmm7, %zmm25, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x35,0x41,0x1e,0xd7,0x06] + vpcmpnleud %zmm7, %zmm25, %k2 {%k1} + +// CHECK: vpcmpnleud (%rcx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x11,0x06] + vpcmpnleud (%rcx), %zmm25, %k2 + +// CHECK: vpcmpnleud 291(%rax,%r14,8), %zmm25, %k2 +// CHECK: encoding: [0x62,0xb3,0x35,0x40,0x1e,0x94,0xf0,0x23,0x01,0x00,0x00,0x06] + vpcmpnleud 291(%rax,%r14,8), %zmm25, %k2 + +// CHECK: vpcmpnleud (%rcx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x11,0x06] + vpcmpnleud (%rcx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnleud 8128(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x52,0x7f,0x06] + vpcmpnleud 8128(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnleud 8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x92,0x00,0x20,0x00,0x00,0x06] + vpcmpnleud 8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnleud -8192(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x52,0x80,0x06] + vpcmpnleud -8192(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnleud -8256(%rdx), %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x40,0x1e,0x92,0xc0,0xdf,0xff,0xff,0x06] + vpcmpnleud -8256(%rdx), %zmm25, %k2 + +// CHECK: vpcmpnleud 508(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x52,0x7f,0x06] + vpcmpnleud 508(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnleud 512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x92,0x00,0x02,0x00,0x00,0x06] + vpcmpnleud 512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnleud -512(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x52,0x80,0x06] + vpcmpnleud -512(%rdx){1to16}, %zmm25, %k2 + +// CHECK: vpcmpnleud -516(%rdx){1to16}, %zmm25, %k2 +// CHECK: encoding: [0x62,0xf3,0x35,0x50,0x1e,0x92,0xfc,0xfd,0xff,0xff,0x06] + vpcmpnleud -516(%rdx){1to16}, %zmm25, %k2 + // CHECK: vpcmpuq $171, %zmm8, %zmm14, %k3 // CHECK: encoding: [0x62,0xd3,0x8d,0x48,0x1e,0xd8,0xab] vpcmpuq $171, %zmm8, %zmm14, %k3 @@ -1945,6 +2813,318 @@ // CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x9a,0xf8,0xfb,0xff,0xff,0x7b] vpcmpuq $123, -1032(%rdx){1to8}, %zmm14, %k3 +// CHECK: vpcmpequq %zmm7, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0xd7,0x00] + vpcmpequq %zmm7, %zmm14, %k2 + +// CHECK: vpcmpequq %zmm7, %zmm14, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x8d,0x49,0x1e,0xd7,0x00] + vpcmpequq %zmm7, %zmm14, %k2 {%k1} + +// CHECK: vpcmpequq (%rcx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x11,0x00] + vpcmpequq (%rcx), %zmm14, %k2 + +// CHECK: vpcmpequq 291(%rax,%r14,8), %zmm14, %k2 +// CHECK: encoding: [0x62,0xb3,0x8d,0x48,0x1e,0x94,0xf0,0x23,0x01,0x00,0x00,0x00] + vpcmpequq 291(%rax,%r14,8), %zmm14, %k2 + +// CHECK: vpcmpequq (%rcx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x11,0x00] + vpcmpequq (%rcx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpequq 8128(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x52,0x7f,0x00] + vpcmpequq 8128(%rdx), %zmm14, %k2 + +// CHECK: vpcmpequq 8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x92,0x00,0x20,0x00,0x00,0x00] + vpcmpequq 8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpequq -8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x52,0x80,0x00] + vpcmpequq -8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpequq -8256(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x92,0xc0,0xdf,0xff,0xff,0x00] + vpcmpequq -8256(%rdx), %zmm14, %k2 + +// CHECK: vpcmpequq 1016(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x52,0x7f,0x00] + vpcmpequq 1016(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpequq 1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x92,0x00,0x04,0x00,0x00,0x00] + vpcmpequq 1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpequq -1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x52,0x80,0x00] + vpcmpequq -1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpequq -1032(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x92,0xf8,0xfb,0xff,0xff,0x00] + vpcmpequq -1032(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpltuq %zmm7, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0xd7,0x01] + vpcmpltuq %zmm7, %zmm14, %k2 + +// CHECK: vpcmpltuq %zmm7, %zmm14, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x8d,0x49,0x1e,0xd7,0x01] + vpcmpltuq %zmm7, %zmm14, %k2 {%k1} + +// CHECK: vpcmpltuq (%rcx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x11,0x01] + vpcmpltuq (%rcx), %zmm14, %k2 + +// CHECK: vpcmpltuq 291(%rax,%r14,8), %zmm14, %k2 +// CHECK: encoding: [0x62,0xb3,0x8d,0x48,0x1e,0x94,0xf0,0x23,0x01,0x00,0x00,0x01] + vpcmpltuq 291(%rax,%r14,8), %zmm14, %k2 + +// CHECK: vpcmpltuq (%rcx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x11,0x01] + vpcmpltuq (%rcx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpltuq 8128(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x52,0x7f,0x01] + vpcmpltuq 8128(%rdx), %zmm14, %k2 + +// CHECK: vpcmpltuq 8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x92,0x00,0x20,0x00,0x00,0x01] + vpcmpltuq 8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpltuq -8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x52,0x80,0x01] + vpcmpltuq -8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpltuq -8256(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x92,0xc0,0xdf,0xff,0xff,0x01] + vpcmpltuq -8256(%rdx), %zmm14, %k2 + +// CHECK: vpcmpltuq 1016(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x52,0x7f,0x01] + vpcmpltuq 1016(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpltuq 1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x92,0x00,0x04,0x00,0x00,0x01] + vpcmpltuq 1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpltuq -1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x52,0x80,0x01] + vpcmpltuq -1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpltuq -1032(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x92,0xf8,0xfb,0xff,0xff,0x01] + vpcmpltuq -1032(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpleuq %zmm7, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0xd7,0x02] + vpcmpleuq %zmm7, %zmm14, %k2 + +// CHECK: vpcmpleuq %zmm7, %zmm14, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x8d,0x49,0x1e,0xd7,0x02] + vpcmpleuq %zmm7, %zmm14, %k2 {%k1} + +// CHECK: vpcmpleuq (%rcx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x11,0x02] + vpcmpleuq (%rcx), %zmm14, %k2 + +// CHECK: vpcmpleuq 291(%rax,%r14,8), %zmm14, %k2 +// CHECK: encoding: [0x62,0xb3,0x8d,0x48,0x1e,0x94,0xf0,0x23,0x01,0x00,0x00,0x02] + vpcmpleuq 291(%rax,%r14,8), %zmm14, %k2 + +// CHECK: vpcmpleuq (%rcx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x11,0x02] + vpcmpleuq (%rcx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpleuq 8128(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x52,0x7f,0x02] + vpcmpleuq 8128(%rdx), %zmm14, %k2 + +// CHECK: vpcmpleuq 8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x92,0x00,0x20,0x00,0x00,0x02] + vpcmpleuq 8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpleuq -8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x52,0x80,0x02] + vpcmpleuq -8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpleuq -8256(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x92,0xc0,0xdf,0xff,0xff,0x02] + vpcmpleuq -8256(%rdx), %zmm14, %k2 + +// CHECK: vpcmpleuq 1016(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x52,0x7f,0x02] + vpcmpleuq 1016(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpleuq 1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x92,0x00,0x04,0x00,0x00,0x02] + vpcmpleuq 1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpleuq -1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x52,0x80,0x02] + vpcmpleuq -1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpleuq -1032(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x92,0xf8,0xfb,0xff,0xff,0x02] + vpcmpleuq -1032(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnequq %zmm7, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0xd7,0x04] + vpcmpnequq %zmm7, %zmm14, %k2 + +// CHECK: vpcmpnequq %zmm7, %zmm14, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x8d,0x49,0x1e,0xd7,0x04] + vpcmpnequq %zmm7, %zmm14, %k2 {%k1} + +// CHECK: vpcmpnequq (%rcx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x11,0x04] + vpcmpnequq (%rcx), %zmm14, %k2 + +// CHECK: vpcmpnequq 291(%rax,%r14,8), %zmm14, %k2 +// CHECK: encoding: [0x62,0xb3,0x8d,0x48,0x1e,0x94,0xf0,0x23,0x01,0x00,0x00,0x04] + vpcmpnequq 291(%rax,%r14,8), %zmm14, %k2 + +// CHECK: vpcmpnequq (%rcx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x11,0x04] + vpcmpnequq (%rcx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnequq 8128(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x52,0x7f,0x04] + vpcmpnequq 8128(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnequq 8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x92,0x00,0x20,0x00,0x00,0x04] + vpcmpnequq 8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnequq -8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x52,0x80,0x04] + vpcmpnequq -8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnequq -8256(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x92,0xc0,0xdf,0xff,0xff,0x04] + vpcmpnequq -8256(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnequq 1016(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x52,0x7f,0x04] + vpcmpnequq 1016(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnequq 1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x92,0x00,0x04,0x00,0x00,0x04] + vpcmpnequq 1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnequq -1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x52,0x80,0x04] + vpcmpnequq -1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnequq -1032(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x92,0xf8,0xfb,0xff,0xff,0x04] + vpcmpnequq -1032(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnltuq %zmm7, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0xd7,0x05] + vpcmpnltuq %zmm7, %zmm14, %k2 + +// CHECK: vpcmpnltuq %zmm7, %zmm14, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x8d,0x49,0x1e,0xd7,0x05] + vpcmpnltuq %zmm7, %zmm14, %k2 {%k1} + +// CHECK: vpcmpnltuq (%rcx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x11,0x05] + vpcmpnltuq (%rcx), %zmm14, %k2 + +// CHECK: vpcmpnltuq 291(%rax,%r14,8), %zmm14, %k2 +// CHECK: encoding: [0x62,0xb3,0x8d,0x48,0x1e,0x94,0xf0,0x23,0x01,0x00,0x00,0x05] + vpcmpnltuq 291(%rax,%r14,8), %zmm14, %k2 + +// CHECK: vpcmpnltuq (%rcx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x11,0x05] + vpcmpnltuq (%rcx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnltuq 8128(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x52,0x7f,0x05] + vpcmpnltuq 8128(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnltuq 8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x92,0x00,0x20,0x00,0x00,0x05] + vpcmpnltuq 8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnltuq -8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x52,0x80,0x05] + vpcmpnltuq -8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnltuq -8256(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x92,0xc0,0xdf,0xff,0xff,0x05] + vpcmpnltuq -8256(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnltuq 1016(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x52,0x7f,0x05] + vpcmpnltuq 1016(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnltuq 1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x92,0x00,0x04,0x00,0x00,0x05] + vpcmpnltuq 1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnltuq -1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x52,0x80,0x05] + vpcmpnltuq -1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnltuq -1032(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x92,0xf8,0xfb,0xff,0xff,0x05] + vpcmpnltuq -1032(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnleuq %zmm7, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0xd7,0x06] + vpcmpnleuq %zmm7, %zmm14, %k2 + +// CHECK: vpcmpnleuq %zmm7, %zmm14, %k2 {%k1} +// CHECK: encoding: [0x62,0xf3,0x8d,0x49,0x1e,0xd7,0x06] + vpcmpnleuq %zmm7, %zmm14, %k2 {%k1} + +// CHECK: vpcmpnleuq (%rcx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x11,0x06] + vpcmpnleuq (%rcx), %zmm14, %k2 + +// CHECK: vpcmpnleuq 291(%rax,%r14,8), %zmm14, %k2 +// CHECK: encoding: [0x62,0xb3,0x8d,0x48,0x1e,0x94,0xf0,0x23,0x01,0x00,0x00,0x06] + vpcmpnleuq 291(%rax,%r14,8), %zmm14, %k2 + +// CHECK: vpcmpnleuq (%rcx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x11,0x06] + vpcmpnleuq (%rcx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnleuq 8128(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x52,0x7f,0x06] + vpcmpnleuq 8128(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnleuq 8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x92,0x00,0x20,0x00,0x00,0x06] + vpcmpnleuq 8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnleuq -8192(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x52,0x80,0x06] + vpcmpnleuq -8192(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnleuq -8256(%rdx), %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x48,0x1e,0x92,0xc0,0xdf,0xff,0xff,0x06] + vpcmpnleuq -8256(%rdx), %zmm14, %k2 + +// CHECK: vpcmpnleuq 1016(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x52,0x7f,0x06] + vpcmpnleuq 1016(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnleuq 1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x92,0x00,0x04,0x00,0x00,0x06] + vpcmpnleuq 1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnleuq -1024(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x52,0x80,0x06] + vpcmpnleuq -1024(%rdx){1to8}, %zmm14, %k2 + +// CHECK: vpcmpnleuq -1032(%rdx){1to8}, %zmm14, %k2 +// CHECK: encoding: [0x62,0xf3,0x8d,0x58,0x1e,0x92,0xf8,0xfb,0xff,0xff,0x06] + vpcmpnleuq -1032(%rdx){1to8}, %zmm14, %k2 + // CHECK: vpmaxsd %zmm16, %zmm8, %zmm6 // CHECK: encoding: [0x62,0xb2,0x3d,0x48,0x3d,0xf0] vpmaxsd %zmm16, %zmm8, %zmm6 @@ -4725,11 +5905,11 @@ vmovntpd %zmm6, 4(%rdx) // CHECK: encoding: [0x62,0x51,0x7c,0x48,0x2b,0x5c,0x8d,0x00] vmovntps %zmm11, (%r13,%rcx,4) -// CHECK: vcmpps $14 +// CHECK: vcmpgtps %zmm17, %zmm5, %k2 // CHECK: encoding: [0x62,0xb1,0x54,0x48,0xc2,0xd1,0x0e] vcmpgtps %zmm17, %zmm5, %k2 -// CHECK: vcmppd $13 +// CHECK: vcmpgepd 128(%r14), %zmm17, %k6 // CHECK: encoding: [0x62,0xd1,0xf5,0x40,0xc2,0x76,0x02,0x0d] vcmpgepd 0x80(%r14), %zmm17, %k6 |