summaryrefslogtreecommitdiffstats
path: root/binutils-2.25/gas/testsuite/gas/i386/avx512dq.s
diff options
context:
space:
mode:
Diffstat (limited to 'binutils-2.25/gas/testsuite/gas/i386/avx512dq.s')
-rw-r--r--binutils-2.25/gas/testsuite/gas/i386/avx512dq.s1283
1 files changed, 1283 insertions, 0 deletions
diff --git a/binutils-2.25/gas/testsuite/gas/i386/avx512dq.s b/binutils-2.25/gas/testsuite/gas/i386/avx512dq.s
new file mode 100644
index 00000000..3c9257fd
--- /dev/null
+++ b/binutils-2.25/gas/testsuite/gas/i386/avx512dq.s
@@ -0,0 +1,1283 @@
+# Check 32bit AVX512DQ instructions
+
+ .allow_index_reg
+ .text
+_start:
+ vbroadcastf32x8 (%ecx), %zmm6 # AVX512DQ
+ vbroadcastf32x8 (%ecx), %zmm6{%k7} # AVX512DQ
+ vbroadcastf32x8 (%ecx), %zmm6{%k7}{z} # AVX512DQ
+ vbroadcastf32x8 -123456(%esp,%esi,8), %zmm6 # AVX512DQ
+ vbroadcastf32x8 4064(%edx), %zmm6 # AVX512DQ Disp8
+ vbroadcastf32x8 4096(%edx), %zmm6 # AVX512DQ
+ vbroadcastf32x8 -4096(%edx), %zmm6 # AVX512DQ Disp8
+ vbroadcastf32x8 -4128(%edx), %zmm6 # AVX512DQ
+ vbroadcastf64x2 (%ecx), %zmm6 # AVX512DQ
+ vbroadcastf64x2 (%ecx), %zmm6{%k7} # AVX512DQ
+ vbroadcastf64x2 (%ecx), %zmm6{%k7}{z} # AVX512DQ
+ vbroadcastf64x2 -123456(%esp,%esi,8), %zmm6 # AVX512DQ
+ vbroadcastf64x2 2032(%edx), %zmm6 # AVX512DQ Disp8
+ vbroadcastf64x2 2048(%edx), %zmm6 # AVX512DQ
+ vbroadcastf64x2 -2048(%edx), %zmm6 # AVX512DQ Disp8
+ vbroadcastf64x2 -2064(%edx), %zmm6 # AVX512DQ
+ vbroadcasti32x8 (%ecx), %zmm6 # AVX512DQ
+ vbroadcasti32x8 (%ecx), %zmm6{%k7} # AVX512DQ
+ vbroadcasti32x8 (%ecx), %zmm6{%k7}{z} # AVX512DQ
+ vbroadcasti32x8 -123456(%esp,%esi,8), %zmm6 # AVX512DQ
+ vbroadcasti32x8 4064(%edx), %zmm6 # AVX512DQ Disp8
+ vbroadcasti32x8 4096(%edx), %zmm6 # AVX512DQ
+ vbroadcasti32x8 -4096(%edx), %zmm6 # AVX512DQ Disp8
+ vbroadcasti32x8 -4128(%edx), %zmm6 # AVX512DQ
+ vbroadcasti64x2 (%ecx), %zmm6 # AVX512DQ
+ vbroadcasti64x2 (%ecx), %zmm6{%k7} # AVX512DQ
+ vbroadcasti64x2 (%ecx), %zmm6{%k7}{z} # AVX512DQ
+ vbroadcasti64x2 -123456(%esp,%esi,8), %zmm6 # AVX512DQ
+ vbroadcasti64x2 2032(%edx), %zmm6 # AVX512DQ Disp8
+ vbroadcasti64x2 2048(%edx), %zmm6 # AVX512DQ
+ vbroadcasti64x2 -2048(%edx), %zmm6 # AVX512DQ Disp8
+ vbroadcasti64x2 -2064(%edx), %zmm6 # AVX512DQ
+ vbroadcastf32x2 %xmm7, %zmm6 # AVX512DQ
+ vbroadcastf32x2 %xmm7, %zmm6{%k7} # AVX512DQ
+ vbroadcastf32x2 %xmm7, %zmm6{%k7}{z} # AVX512DQ
+ vbroadcastf32x2 (%ecx), %zmm6 # AVX512DQ
+ vbroadcastf32x2 -123456(%esp,%esi,8), %zmm6 # AVX512DQ
+ vbroadcastf32x2 1016(%edx), %zmm6 # AVX512DQ Disp8
+ vbroadcastf32x2 1024(%edx), %zmm6 # AVX512DQ
+ vbroadcastf32x2 -1024(%edx), %zmm6 # AVX512DQ Disp8
+ vbroadcastf32x2 -1032(%edx), %zmm6 # AVX512DQ
+ vcvtpd2qq %zmm5, %zmm6 # AVX512DQ
+ vcvtpd2qq %zmm5, %zmm6{%k7} # AVX512DQ
+ vcvtpd2qq %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vcvtpd2qq {rn-sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvtpd2qq {ru-sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvtpd2qq {rd-sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvtpd2qq {rz-sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvtpd2qq (%ecx), %zmm6 # AVX512DQ
+ vcvtpd2qq -123456(%esp,%esi,8), %zmm6 # AVX512DQ
+ vcvtpd2qq (%eax){1to8}, %zmm6 # AVX512DQ
+ vcvtpd2qq 8128(%edx), %zmm6 # AVX512DQ Disp8
+ vcvtpd2qq 8192(%edx), %zmm6 # AVX512DQ
+ vcvtpd2qq -8192(%edx), %zmm6 # AVX512DQ Disp8
+ vcvtpd2qq -8256(%edx), %zmm6 # AVX512DQ
+ vcvtpd2qq 1016(%edx){1to8}, %zmm6 # AVX512DQ Disp8
+ vcvtpd2qq 1024(%edx){1to8}, %zmm6 # AVX512DQ
+ vcvtpd2qq -1024(%edx){1to8}, %zmm6 # AVX512DQ Disp8
+ vcvtpd2qq -1032(%edx){1to8}, %zmm6 # AVX512DQ
+ vcvtpd2uqq %zmm5, %zmm6 # AVX512DQ
+ vcvtpd2uqq %zmm5, %zmm6{%k7} # AVX512DQ
+ vcvtpd2uqq %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vcvtpd2uqq {rn-sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvtpd2uqq {ru-sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvtpd2uqq {rd-sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvtpd2uqq {rz-sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvtpd2uqq (%ecx), %zmm6 # AVX512DQ
+ vcvtpd2uqq -123456(%esp,%esi,8), %zmm6 # AVX512DQ
+ vcvtpd2uqq (%eax){1to8}, %zmm6 # AVX512DQ
+ vcvtpd2uqq 8128(%edx), %zmm6 # AVX512DQ Disp8
+ vcvtpd2uqq 8192(%edx), %zmm6 # AVX512DQ
+ vcvtpd2uqq -8192(%edx), %zmm6 # AVX512DQ Disp8
+ vcvtpd2uqq -8256(%edx), %zmm6 # AVX512DQ
+ vcvtpd2uqq 1016(%edx){1to8}, %zmm6 # AVX512DQ Disp8
+ vcvtpd2uqq 1024(%edx){1to8}, %zmm6 # AVX512DQ
+ vcvtpd2uqq -1024(%edx){1to8}, %zmm6 # AVX512DQ Disp8
+ vcvtpd2uqq -1032(%edx){1to8}, %zmm6 # AVX512DQ
+ vcvtps2qq %ymm5, %zmm6{%k7} # AVX512DQ
+ vcvtps2qq %ymm5, %zmm6{%k7}{z} # AVX512DQ
+ vcvtps2qq {rn-sae}, %ymm5, %zmm6{%k7} # AVX512DQ
+ vcvtps2qq {ru-sae}, %ymm5, %zmm6{%k7} # AVX512DQ
+ vcvtps2qq {rd-sae}, %ymm5, %zmm6{%k7} # AVX512DQ
+ vcvtps2qq {rz-sae}, %ymm5, %zmm6{%k7} # AVX512DQ
+ vcvtps2qq (%ecx), %zmm6{%k7} # AVX512DQ
+ vcvtps2qq -123456(%esp,%esi,8), %zmm6{%k7} # AVX512DQ
+ vcvtps2qq (%eax){1to8}, %zmm6{%k7} # AVX512DQ
+ vcvtps2qq 4064(%edx), %zmm6{%k7} # AVX512DQ Disp8
+ vcvtps2qq 4096(%edx), %zmm6{%k7} # AVX512DQ
+ vcvtps2qq -4096(%edx), %zmm6{%k7} # AVX512DQ Disp8
+ vcvtps2qq -4128(%edx), %zmm6{%k7} # AVX512DQ
+ vcvtps2qq 508(%edx){1to8}, %zmm6{%k7} # AVX512DQ Disp8
+ vcvtps2qq 512(%edx){1to8}, %zmm6{%k7} # AVX512DQ
+ vcvtps2qq -512(%edx){1to8}, %zmm6{%k7} # AVX512DQ Disp8
+ vcvtps2qq -516(%edx){1to8}, %zmm6{%k7} # AVX512DQ
+ vcvtps2uqq %ymm5, %zmm6{%k7} # AVX512DQ
+ vcvtps2uqq %ymm5, %zmm6{%k7}{z} # AVX512DQ
+ vcvtps2uqq {rn-sae}, %ymm5, %zmm6{%k7} # AVX512DQ
+ vcvtps2uqq {ru-sae}, %ymm5, %zmm6{%k7} # AVX512DQ
+ vcvtps2uqq {rd-sae}, %ymm5, %zmm6{%k7} # AVX512DQ
+ vcvtps2uqq {rz-sae}, %ymm5, %zmm6{%k7} # AVX512DQ
+ vcvtps2uqq (%ecx), %zmm6{%k7} # AVX512DQ
+ vcvtps2uqq -123456(%esp,%esi,8), %zmm6{%k7} # AVX512DQ
+ vcvtps2uqq (%eax){1to8}, %zmm6{%k7} # AVX512DQ
+ vcvtps2uqq 4064(%edx), %zmm6{%k7} # AVX512DQ Disp8
+ vcvtps2uqq 4096(%edx), %zmm6{%k7} # AVX512DQ
+ vcvtps2uqq -4096(%edx), %zmm6{%k7} # AVX512DQ Disp8
+ vcvtps2uqq -4128(%edx), %zmm6{%k7} # AVX512DQ
+ vcvtps2uqq 508(%edx){1to8}, %zmm6{%k7} # AVX512DQ Disp8
+ vcvtps2uqq 512(%edx){1to8}, %zmm6{%k7} # AVX512DQ
+ vcvtps2uqq -512(%edx){1to8}, %zmm6{%k7} # AVX512DQ Disp8
+ vcvtps2uqq -516(%edx){1to8}, %zmm6{%k7} # AVX512DQ
+ vcvtqq2pd %zmm5, %zmm6 # AVX512DQ
+ vcvtqq2pd %zmm5, %zmm6{%k7} # AVX512DQ
+ vcvtqq2pd %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vcvtqq2pd {rn-sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvtqq2pd {ru-sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvtqq2pd {rd-sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvtqq2pd {rz-sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvtqq2pd (%ecx), %zmm6 # AVX512DQ
+ vcvtqq2pd -123456(%esp,%esi,8), %zmm6 # AVX512DQ
+ vcvtqq2pd (%eax){1to8}, %zmm6 # AVX512DQ
+ vcvtqq2pd 8128(%edx), %zmm6 # AVX512DQ Disp8
+ vcvtqq2pd 8192(%edx), %zmm6 # AVX512DQ
+ vcvtqq2pd -8192(%edx), %zmm6 # AVX512DQ Disp8
+ vcvtqq2pd -8256(%edx), %zmm6 # AVX512DQ
+ vcvtqq2pd 1016(%edx){1to8}, %zmm6 # AVX512DQ Disp8
+ vcvtqq2pd 1024(%edx){1to8}, %zmm6 # AVX512DQ
+ vcvtqq2pd -1024(%edx){1to8}, %zmm6 # AVX512DQ Disp8
+ vcvtqq2pd -1032(%edx){1to8}, %zmm6 # AVX512DQ
+ vcvtqq2ps %zmm5, %ymm6{%k7} # AVX512DQ
+ vcvtqq2ps %zmm5, %ymm6{%k7}{z} # AVX512DQ
+ vcvtqq2ps {rn-sae}, %zmm5, %ymm6{%k7} # AVX512DQ
+ vcvtqq2ps {ru-sae}, %zmm5, %ymm6{%k7} # AVX512DQ
+ vcvtqq2ps {rd-sae}, %zmm5, %ymm6{%k7} # AVX512DQ
+ vcvtqq2ps {rz-sae}, %zmm5, %ymm6{%k7} # AVX512DQ
+ vcvtqq2ps (%ecx), %ymm6{%k7} # AVX512DQ
+ vcvtqq2ps -123456(%esp,%esi,8), %ymm6{%k7} # AVX512DQ
+ vcvtqq2ps (%eax){1to8}, %ymm6{%k7} # AVX512DQ
+ vcvtqq2ps 8128(%edx), %ymm6{%k7} # AVX512DQ Disp8
+ vcvtqq2ps 8192(%edx), %ymm6{%k7} # AVX512DQ
+ vcvtqq2ps -8192(%edx), %ymm6{%k7} # AVX512DQ Disp8
+ vcvtqq2ps -8256(%edx), %ymm6{%k7} # AVX512DQ
+ vcvtqq2ps 1016(%edx){1to8}, %ymm6{%k7} # AVX512DQ Disp8
+ vcvtqq2ps 1024(%edx){1to8}, %ymm6{%k7} # AVX512DQ
+ vcvtqq2ps -1024(%edx){1to8}, %ymm6{%k7} # AVX512DQ Disp8
+ vcvtqq2ps -1032(%edx){1to8}, %ymm6{%k7} # AVX512DQ
+ vcvtuqq2pd %zmm5, %zmm6 # AVX512DQ
+ vcvtuqq2pd %zmm5, %zmm6{%k7} # AVX512DQ
+ vcvtuqq2pd %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vcvtuqq2pd {rn-sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvtuqq2pd {ru-sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvtuqq2pd {rd-sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvtuqq2pd {rz-sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvtuqq2pd (%ecx), %zmm6 # AVX512DQ
+ vcvtuqq2pd -123456(%esp,%esi,8), %zmm6 # AVX512DQ
+ vcvtuqq2pd (%eax){1to8}, %zmm6 # AVX512DQ
+ vcvtuqq2pd 8128(%edx), %zmm6 # AVX512DQ Disp8
+ vcvtuqq2pd 8192(%edx), %zmm6 # AVX512DQ
+ vcvtuqq2pd -8192(%edx), %zmm6 # AVX512DQ Disp8
+ vcvtuqq2pd -8256(%edx), %zmm6 # AVX512DQ
+ vcvtuqq2pd 1016(%edx){1to8}, %zmm6 # AVX512DQ Disp8
+ vcvtuqq2pd 1024(%edx){1to8}, %zmm6 # AVX512DQ
+ vcvtuqq2pd -1024(%edx){1to8}, %zmm6 # AVX512DQ Disp8
+ vcvtuqq2pd -1032(%edx){1to8}, %zmm6 # AVX512DQ
+ vcvtuqq2ps %zmm5, %ymm6{%k7} # AVX512DQ
+ vcvtuqq2ps %zmm5, %ymm6{%k7}{z} # AVX512DQ
+ vcvtuqq2ps {rn-sae}, %zmm5, %ymm6{%k7} # AVX512DQ
+ vcvtuqq2ps {ru-sae}, %zmm5, %ymm6{%k7} # AVX512DQ
+ vcvtuqq2ps {rd-sae}, %zmm5, %ymm6{%k7} # AVX512DQ
+ vcvtuqq2ps {rz-sae}, %zmm5, %ymm6{%k7} # AVX512DQ
+ vcvtuqq2ps (%ecx), %ymm6{%k7} # AVX512DQ
+ vcvtuqq2ps -123456(%esp,%esi,8), %ymm6{%k7} # AVX512DQ
+ vcvtuqq2ps (%eax){1to8}, %ymm6{%k7} # AVX512DQ
+ vcvtuqq2ps 8128(%edx), %ymm6{%k7} # AVX512DQ Disp8
+ vcvtuqq2ps 8192(%edx), %ymm6{%k7} # AVX512DQ
+ vcvtuqq2ps -8192(%edx), %ymm6{%k7} # AVX512DQ Disp8
+ vcvtuqq2ps -8256(%edx), %ymm6{%k7} # AVX512DQ
+ vcvtuqq2ps 1016(%edx){1to8}, %ymm6{%k7} # AVX512DQ Disp8
+ vcvtuqq2ps 1024(%edx){1to8}, %ymm6{%k7} # AVX512DQ
+ vcvtuqq2ps -1024(%edx){1to8}, %ymm6{%k7} # AVX512DQ Disp8
+ vcvtuqq2ps -1032(%edx){1to8}, %ymm6{%k7} # AVX512DQ
+ vextractf64x2 $0xab, %zmm5, %xmm6{%k7} # AVX512DQ
+ vextractf64x2 $0xab, %zmm5, %xmm6{%k7}{z} # AVX512DQ
+ vextractf64x2 $123, %zmm5, %xmm6{%k7} # AVX512DQ
+ vextractf32x8 $0xab, %zmm5, %ymm6{%k7} # AVX512DQ
+ vextractf32x8 $0xab, %zmm5, %ymm6{%k7}{z} # AVX512DQ
+ vextractf32x8 $123, %zmm5, %ymm6{%k7} # AVX512DQ
+ vextracti64x2 $0xab, %zmm5, %xmm6{%k7} # AVX512DQ
+ vextracti64x2 $0xab, %zmm5, %xmm6{%k7}{z} # AVX512DQ
+ vextracti64x2 $123, %zmm5, %xmm6{%k7} # AVX512DQ
+ vextracti32x8 $0xab, %zmm5, %ymm6{%k7} # AVX512DQ
+ vextracti32x8 $0xab, %zmm5, %ymm6{%k7}{z} # AVX512DQ
+ vextracti32x8 $123, %zmm5, %ymm6{%k7} # AVX512DQ
+ vfpclasspd $0xab, %zmm6, %k5 # AVX512DQ
+ vfpclasspd $0xab, %zmm6, %k5{%k7} # AVX512DQ
+ vfpclasspd $123, %zmm6, %k5 # AVX512DQ
+ vfpclasspdz $123, (%ecx), %k5 # AVX512DQ
+ vfpclasspdz $123, -123456(%esp,%esi,8), %k5 # AVX512DQ
+ vfpclasspdz $123, (%eax){1to8}, %k5 # AVX512DQ
+ vfpclasspdz $123, 8128(%edx), %k5 # AVX512DQ Disp8
+ vfpclasspdz $123, 8192(%edx), %k5 # AVX512DQ
+ vfpclasspdz $123, -8192(%edx), %k5 # AVX512DQ Disp8
+ vfpclasspdz $123, -8256(%edx), %k5 # AVX512DQ
+ vfpclasspdz $123, 1016(%edx){1to8}, %k5 # AVX512DQ Disp8
+ vfpclasspdz $123, 1024(%edx){1to8}, %k5 # AVX512DQ
+ vfpclasspdz $123, -1024(%edx){1to8}, %k5 # AVX512DQ Disp8
+ vfpclasspdz $123, -1032(%edx){1to8}, %k5 # AVX512DQ
+ vfpclassps $0xab, %zmm6, %k5 # AVX512DQ
+ vfpclassps $0xab, %zmm6, %k5{%k7} # AVX512DQ
+ vfpclassps $123, %zmm6, %k5 # AVX512DQ
+ vfpclasspsz $123, (%ecx), %k5 # AVX512DQ
+ vfpclasspsz $123, -123456(%esp,%esi,8), %k5 # AVX512DQ
+ vfpclasspsz $123, (%eax){1to16}, %k5 # AVX512DQ
+ vfpclasspsz $123, 8128(%edx), %k5 # AVX512DQ Disp8
+ vfpclasspsz $123, 8192(%edx), %k5 # AVX512DQ
+ vfpclasspsz $123, -8192(%edx), %k5 # AVX512DQ Disp8
+ vfpclasspsz $123, -8256(%edx), %k5 # AVX512DQ
+ vfpclasspsz $123, 508(%edx){1to16}, %k5 # AVX512DQ Disp8
+ vfpclasspsz $123, 512(%edx){1to16}, %k5 # AVX512DQ
+ vfpclasspsz $123, -512(%edx){1to16}, %k5 # AVX512DQ Disp8
+ vfpclasspsz $123, -516(%edx){1to16}, %k5 # AVX512DQ
+ vfpclasssd $0xab, %xmm6, %k5{%k7} # AVX512DQ
+ vfpclasssd $123, %xmm6, %k5{%k7} # AVX512DQ
+ vfpclasssd $123, (%ecx), %k5{%k7} # AVX512DQ
+ vfpclasssd $123, -123456(%esp,%esi,8), %k5{%k7} # AVX512DQ
+ vfpclasssd $123, 1016(%edx), %k5{%k7} # AVX512DQ Disp8
+ vfpclasssd $123, 1024(%edx), %k5{%k7} # AVX512DQ
+ vfpclasssd $123, -1024(%edx), %k5{%k7} # AVX512DQ Disp8
+ vfpclasssd $123, -1032(%edx), %k5{%k7} # AVX512DQ
+ vfpclassss $0xab, %xmm6, %k5{%k7} # AVX512DQ
+ vfpclassss $123, %xmm6, %k5{%k7} # AVX512DQ
+ vfpclassss $123, (%ecx), %k5{%k7} # AVX512DQ
+ vfpclassss $123, -123456(%esp,%esi,8), %k5{%k7} # AVX512DQ
+ vfpclassss $123, 508(%edx), %k5{%k7} # AVX512DQ Disp8
+ vfpclassss $123, 512(%edx), %k5{%k7} # AVX512DQ
+ vfpclassss $123, -512(%edx), %k5{%k7} # AVX512DQ Disp8
+ vfpclassss $123, -516(%edx), %k5{%k7} # AVX512DQ
+ vinsertf64x2 $0xab, %xmm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vinsertf64x2 $0xab, %xmm4, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vinsertf64x2 $123, %xmm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vinsertf64x2 $123, (%ecx), %zmm5, %zmm6{%k7} # AVX512DQ
+ vinsertf64x2 $123, -123456(%esp,%esi,8), %zmm5, %zmm6{%k7} # AVX512DQ
+ vinsertf64x2 $123, 2032(%edx), %zmm5, %zmm6{%k7} # AVX512DQ Disp8
+ vinsertf64x2 $123, 2048(%edx), %zmm5, %zmm6{%k7} # AVX512DQ
+ vinsertf64x2 $123, -2048(%edx), %zmm5, %zmm6{%k7} # AVX512DQ Disp8
+ vinsertf64x2 $123, -2064(%edx), %zmm5, %zmm6{%k7} # AVX512DQ
+ vinsertf32x8 $0xab, %ymm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vinsertf32x8 $0xab, %ymm4, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vinsertf32x8 $123, %ymm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vinsertf32x8 $123, (%ecx), %zmm5, %zmm6{%k7} # AVX512DQ
+ vinsertf32x8 $123, -123456(%esp,%esi,8), %zmm5, %zmm6{%k7} # AVX512DQ
+ vinsertf32x8 $123, 4064(%edx), %zmm5, %zmm6{%k7} # AVX512DQ Disp8
+ vinsertf32x8 $123, 4096(%edx), %zmm5, %zmm6{%k7} # AVX512DQ
+ vinsertf32x8 $123, -4096(%edx), %zmm5, %zmm6{%k7} # AVX512DQ Disp8
+ vinsertf32x8 $123, -4128(%edx), %zmm5, %zmm6{%k7} # AVX512DQ
+ vinserti64x2 $0xab, %xmm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vinserti64x2 $0xab, %xmm4, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vinserti64x2 $123, %xmm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vinserti64x2 $123, (%ecx), %zmm5, %zmm6{%k7} # AVX512DQ
+ vinserti64x2 $123, -123456(%esp,%esi,8), %zmm5, %zmm6{%k7} # AVX512DQ
+ vinserti64x2 $123, 2032(%edx), %zmm5, %zmm6{%k7} # AVX512DQ Disp8
+ vinserti64x2 $123, 2048(%edx), %zmm5, %zmm6{%k7} # AVX512DQ
+ vinserti64x2 $123, -2048(%edx), %zmm5, %zmm6{%k7} # AVX512DQ Disp8
+ vinserti64x2 $123, -2064(%edx), %zmm5, %zmm6{%k7} # AVX512DQ
+ vinserti32x8 $0xab, %ymm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vinserti32x8 $0xab, %ymm4, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vinserti32x8 $123, %ymm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vinserti32x8 $123, (%ecx), %zmm5, %zmm6{%k7} # AVX512DQ
+ vinserti32x8 $123, -123456(%esp,%esi,8), %zmm5, %zmm6{%k7} # AVX512DQ
+ vinserti32x8 $123, 4064(%edx), %zmm5, %zmm6{%k7} # AVX512DQ Disp8
+ vinserti32x8 $123, 4096(%edx), %zmm5, %zmm6{%k7} # AVX512DQ
+ vinserti32x8 $123, -4096(%edx), %zmm5, %zmm6{%k7} # AVX512DQ Disp8
+ vinserti32x8 $123, -4128(%edx), %zmm5, %zmm6{%k7} # AVX512DQ
+ vbroadcasti32x2 %xmm7, %zmm6 # AVX512DQ
+ vbroadcasti32x2 %xmm7, %zmm6{%k7} # AVX512DQ
+ vbroadcasti32x2 %xmm7, %zmm6{%k7}{z} # AVX512DQ
+ vbroadcasti32x2 (%ecx), %zmm6 # AVX512DQ
+ vbroadcasti32x2 -123456(%esp,%esi,8), %zmm6 # AVX512DQ
+ vbroadcasti32x2 1016(%edx), %zmm6 # AVX512DQ Disp8
+ vbroadcasti32x2 1024(%edx), %zmm6 # AVX512DQ
+ vbroadcasti32x2 -1024(%edx), %zmm6 # AVX512DQ Disp8
+ vbroadcasti32x2 -1032(%edx), %zmm6 # AVX512DQ
+ vpmullq %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vpmullq %zmm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vpmullq %zmm4, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vpmullq (%ecx), %zmm5, %zmm6 # AVX512DQ
+ vpmullq -123456(%esp,%esi,8), %zmm5, %zmm6 # AVX512DQ
+ vpmullq (%eax){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vpmullq 8128(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vpmullq 8192(%edx), %zmm5, %zmm6 # AVX512DQ
+ vpmullq -8192(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vpmullq -8256(%edx), %zmm5, %zmm6 # AVX512DQ
+ vpmullq 1016(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vpmullq 1024(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vpmullq -1024(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vpmullq -1032(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vrangepd $0xab, %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vrangepd $0xab, %zmm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vrangepd $0xab, %zmm4, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vrangepd $0xab, {sae}, %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vrangepd $123, %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vrangepd $123, {sae}, %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vrangepd $123, (%ecx), %zmm5, %zmm6 # AVX512DQ
+ vrangepd $123, -123456(%esp,%esi,8), %zmm5, %zmm6 # AVX512DQ
+ vrangepd $123, (%eax){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vrangepd $123, 8128(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vrangepd $123, 8192(%edx), %zmm5, %zmm6 # AVX512DQ
+ vrangepd $123, -8192(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vrangepd $123, -8256(%edx), %zmm5, %zmm6 # AVX512DQ
+ vrangepd $123, 1016(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vrangepd $123, 1024(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vrangepd $123, -1024(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vrangepd $123, -1032(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vrangeps $0xab, %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vrangeps $0xab, %zmm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vrangeps $0xab, %zmm4, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vrangeps $0xab, {sae}, %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vrangeps $123, %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vrangeps $123, {sae}, %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vrangeps $123, (%ecx), %zmm5, %zmm6 # AVX512DQ
+ vrangeps $123, -123456(%esp,%esi,8), %zmm5, %zmm6 # AVX512DQ
+ vrangeps $123, (%eax){1to16}, %zmm5, %zmm6 # AVX512DQ
+ vrangeps $123, 8128(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vrangeps $123, 8192(%edx), %zmm5, %zmm6 # AVX512DQ
+ vrangeps $123, -8192(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vrangeps $123, -8256(%edx), %zmm5, %zmm6 # AVX512DQ
+ vrangeps $123, 508(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vrangeps $123, 512(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ
+ vrangeps $123, -512(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vrangeps $123, -516(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ
+ vrangesd $0xab, %xmm4, %xmm5, %xmm6{%k7} # AVX512DQ
+ vrangesd $0xab, %xmm4, %xmm5, %xmm6{%k7}{z} # AVX512DQ
+ vrangesd $0xab, {sae}, %xmm4, %xmm5, %xmm6{%k7} # AVX512DQ
+ vrangesd $123, %xmm4, %xmm5, %xmm6{%k7} # AVX512DQ
+ vrangesd $123, {sae}, %xmm4, %xmm5, %xmm6{%k7} # AVX512DQ
+ vrangesd $123, (%ecx), %xmm5, %xmm6{%k7} # AVX512DQ
+ vrangesd $123, -123456(%esp,%esi,8), %xmm5, %xmm6{%k7} # AVX512DQ
+ vrangesd $123, 1016(%edx), %xmm5, %xmm6{%k7} # AVX512DQ Disp8
+ vrangesd $123, 1024(%edx), %xmm5, %xmm6{%k7} # AVX512DQ
+ vrangesd $123, -1024(%edx), %xmm5, %xmm6{%k7} # AVX512DQ Disp8
+ vrangesd $123, -1032(%edx), %xmm5, %xmm6{%k7} # AVX512DQ
+ vrangess $0xab, %xmm4, %xmm5, %xmm6{%k7} # AVX512DQ
+ vrangess $0xab, %xmm4, %xmm5, %xmm6{%k7}{z} # AVX512DQ
+ vrangess $0xab, {sae}, %xmm4, %xmm5, %xmm6{%k7} # AVX512DQ
+ vrangess $123, %xmm4, %xmm5, %xmm6{%k7} # AVX512DQ
+ vrangess $123, {sae}, %xmm4, %xmm5, %xmm6{%k7} # AVX512DQ
+ vrangess $123, (%ecx), %xmm5, %xmm6{%k7} # AVX512DQ
+ vrangess $123, -123456(%esp,%esi,8), %xmm5, %xmm6{%k7} # AVX512DQ
+ vrangess $123, 508(%edx), %xmm5, %xmm6{%k7} # AVX512DQ Disp8
+ vrangess $123, 512(%edx), %xmm5, %xmm6{%k7} # AVX512DQ
+ vrangess $123, -512(%edx), %xmm5, %xmm6{%k7} # AVX512DQ Disp8
+ vrangess $123, -516(%edx), %xmm5, %xmm6{%k7} # AVX512DQ
+ vandpd %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vandpd %zmm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vandpd %zmm4, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vandpd (%ecx), %zmm5, %zmm6 # AVX512DQ
+ vandpd -123456(%esp,%esi,8), %zmm5, %zmm6 # AVX512DQ
+ vandpd (%eax){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vandpd 8128(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vandpd 8192(%edx), %zmm5, %zmm6 # AVX512DQ
+ vandpd -8192(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vandpd -8256(%edx), %zmm5, %zmm6 # AVX512DQ
+ vandpd 1016(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vandpd 1024(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vandpd -1024(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vandpd -1032(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vandps %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vandps %zmm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vandps %zmm4, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vandps (%ecx), %zmm5, %zmm6 # AVX512DQ
+ vandps -123456(%esp,%esi,8), %zmm5, %zmm6 # AVX512DQ
+ vandps (%eax){1to16}, %zmm5, %zmm6 # AVX512DQ
+ vandps 8128(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vandps 8192(%edx), %zmm5, %zmm6 # AVX512DQ
+ vandps -8192(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vandps -8256(%edx), %zmm5, %zmm6 # AVX512DQ
+ vandps 508(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vandps 512(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ
+ vandps -512(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vandps -516(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ
+ vandnpd %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vandnpd %zmm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vandnpd %zmm4, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vandnpd (%ecx), %zmm5, %zmm6 # AVX512DQ
+ vandnpd -123456(%esp,%esi,8), %zmm5, %zmm6 # AVX512DQ
+ vandnpd (%eax){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vandnpd 8128(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vandnpd 8192(%edx), %zmm5, %zmm6 # AVX512DQ
+ vandnpd -8192(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vandnpd -8256(%edx), %zmm5, %zmm6 # AVX512DQ
+ vandnpd 1016(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vandnpd 1024(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vandnpd -1024(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vandnpd -1032(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vandnps %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vandnps %zmm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vandnps %zmm4, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vandnps (%ecx), %zmm5, %zmm6 # AVX512DQ
+ vandnps -123456(%esp,%esi,8), %zmm5, %zmm6 # AVX512DQ
+ vandnps (%eax){1to16}, %zmm5, %zmm6 # AVX512DQ
+ vandnps 8128(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vandnps 8192(%edx), %zmm5, %zmm6 # AVX512DQ
+ vandnps -8192(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vandnps -8256(%edx), %zmm5, %zmm6 # AVX512DQ
+ vandnps 508(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vandnps 512(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ
+ vandnps -512(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vandnps -516(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ
+ vorpd %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vorpd %zmm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vorpd %zmm4, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vorpd (%ecx), %zmm5, %zmm6 # AVX512DQ
+ vorpd -123456(%esp,%esi,8), %zmm5, %zmm6 # AVX512DQ
+ vorpd (%eax){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vorpd 8128(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vorpd 8192(%edx), %zmm5, %zmm6 # AVX512DQ
+ vorpd -8192(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vorpd -8256(%edx), %zmm5, %zmm6 # AVX512DQ
+ vorpd 1016(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vorpd 1024(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vorpd -1024(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vorpd -1032(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vorps %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vorps %zmm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vorps %zmm4, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vorps (%ecx), %zmm5, %zmm6 # AVX512DQ
+ vorps -123456(%esp,%esi,8), %zmm5, %zmm6 # AVX512DQ
+ vorps (%eax){1to16}, %zmm5, %zmm6 # AVX512DQ
+ vorps 8128(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vorps 8192(%edx), %zmm5, %zmm6 # AVX512DQ
+ vorps -8192(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vorps -8256(%edx), %zmm5, %zmm6 # AVX512DQ
+ vorps 508(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vorps 512(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ
+ vorps -512(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vorps -516(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ
+ vxorpd %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vxorpd %zmm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vxorpd %zmm4, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vxorpd (%ecx), %zmm5, %zmm6 # AVX512DQ
+ vxorpd -123456(%esp,%esi,8), %zmm5, %zmm6 # AVX512DQ
+ vxorpd (%eax){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vxorpd 8128(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vxorpd 8192(%edx), %zmm5, %zmm6 # AVX512DQ
+ vxorpd -8192(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vxorpd -8256(%edx), %zmm5, %zmm6 # AVX512DQ
+ vxorpd 1016(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vxorpd 1024(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vxorpd -1024(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vxorpd -1032(%edx){1to8}, %zmm5, %zmm6 # AVX512DQ
+ vxorps %zmm4, %zmm5, %zmm6 # AVX512DQ
+ vxorps %zmm4, %zmm5, %zmm6{%k7} # AVX512DQ
+ vxorps %zmm4, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vxorps (%ecx), %zmm5, %zmm6 # AVX512DQ
+ vxorps -123456(%esp,%esi,8), %zmm5, %zmm6 # AVX512DQ
+ vxorps (%eax){1to16}, %zmm5, %zmm6 # AVX512DQ
+ vxorps 8128(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vxorps 8192(%edx), %zmm5, %zmm6 # AVX512DQ
+ vxorps -8192(%edx), %zmm5, %zmm6 # AVX512DQ Disp8
+ vxorps -8256(%edx), %zmm5, %zmm6 # AVX512DQ
+ vxorps 508(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vxorps 512(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ
+ vxorps -512(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ Disp8
+ vxorps -516(%edx){1to16}, %zmm5, %zmm6 # AVX512DQ
+ vreducepd $0xab, %zmm5, %zmm6 # AVX512DQ
+ vreducepd $0xab, %zmm5, %zmm6{%k7} # AVX512DQ
+ vreducepd $0xab, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vreducepd $0xab, {sae}, %zmm5, %zmm6 # AVX512DQ
+ vreducepd $123, %zmm5, %zmm6 # AVX512DQ
+ vreducepd $123, {sae}, %zmm5, %zmm6 # AVX512DQ
+ vreducepd $123, (%ecx), %zmm6 # AVX512DQ
+ vreducepd $123, -123456(%esp,%esi,8), %zmm6 # AVX512DQ
+ vreducepd $123, (%eax){1to8}, %zmm6 # AVX512DQ
+ vreducepd $123, 8128(%edx), %zmm6 # AVX512DQ Disp8
+ vreducepd $123, 8192(%edx), %zmm6 # AVX512DQ
+ vreducepd $123, -8192(%edx), %zmm6 # AVX512DQ Disp8
+ vreducepd $123, -8256(%edx), %zmm6 # AVX512DQ
+ vreducepd $123, 1016(%edx){1to8}, %zmm6 # AVX512DQ Disp8
+ vreducepd $123, 1024(%edx){1to8}, %zmm6 # AVX512DQ
+ vreducepd $123, -1024(%edx){1to8}, %zmm6 # AVX512DQ Disp8
+ vreducepd $123, -1032(%edx){1to8}, %zmm6 # AVX512DQ
+ vreduceps $0xab, %zmm5, %zmm6 # AVX512DQ
+ vreduceps $0xab, %zmm5, %zmm6{%k7} # AVX512DQ
+ vreduceps $0xab, %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vreduceps $0xab, {sae}, %zmm5, %zmm6 # AVX512DQ
+ vreduceps $123, %zmm5, %zmm6 # AVX512DQ
+ vreduceps $123, {sae}, %zmm5, %zmm6 # AVX512DQ
+ vreduceps $123, (%ecx), %zmm6 # AVX512DQ
+ vreduceps $123, -123456(%esp,%esi,8), %zmm6 # AVX512DQ
+ vreduceps $123, (%eax){1to16}, %zmm6 # AVX512DQ
+ vreduceps $123, 8128(%edx), %zmm6 # AVX512DQ Disp8
+ vreduceps $123, 8192(%edx), %zmm6 # AVX512DQ
+ vreduceps $123, -8192(%edx), %zmm6 # AVX512DQ Disp8
+ vreduceps $123, -8256(%edx), %zmm6 # AVX512DQ
+ vreduceps $123, 508(%edx){1to16}, %zmm6 # AVX512DQ Disp8
+ vreduceps $123, 512(%edx){1to16}, %zmm6 # AVX512DQ
+ vreduceps $123, -512(%edx){1to16}, %zmm6 # AVX512DQ Disp8
+ vreduceps $123, -516(%edx){1to16}, %zmm6 # AVX512DQ
+ vreducesd $0xab, %xmm4, %xmm5, %xmm6{%k7} # AVX512DQ
+ vreducesd $0xab, %xmm4, %xmm5, %xmm6{%k7}{z} # AVX512DQ
+ vreducesd $0xab, {sae}, %xmm4, %xmm5, %xmm6{%k7} # AVX512DQ
+ vreducesd $123, %xmm4, %xmm5, %xmm6{%k7} # AVX512DQ
+ vreducesd $123, {sae}, %xmm4, %xmm5, %xmm6{%k7} # AVX512DQ
+ vreducesd $123, (%ecx), %xmm5, %xmm6{%k7} # AVX512DQ
+ vreducesd $123, -123456(%esp,%esi,8), %xmm5, %xmm6{%k7} # AVX512DQ
+ vreducesd $123, 1016(%edx), %xmm5, %xmm6{%k7} # AVX512DQ Disp8
+ vreducesd $123, 1024(%edx), %xmm5, %xmm6{%k7} # AVX512DQ
+ vreducesd $123, -1024(%edx), %xmm5, %xmm6{%k7} # AVX512DQ Disp8
+ vreducesd $123, -1032(%edx), %xmm5, %xmm6{%k7} # AVX512DQ
+ vreducess $0xab, %xmm4, %xmm5, %xmm6{%k7} # AVX512DQ
+ vreducess $0xab, %xmm4, %xmm5, %xmm6{%k7}{z} # AVX512DQ
+ vreducess $0xab, {sae}, %xmm4, %xmm5, %xmm6{%k7} # AVX512DQ
+ vreducess $123, %xmm4, %xmm5, %xmm6{%k7} # AVX512DQ
+ vreducess $123, {sae}, %xmm4, %xmm5, %xmm6{%k7} # AVX512DQ
+ vreducess $123, (%ecx), %xmm5, %xmm6{%k7} # AVX512DQ
+ vreducess $123, -123456(%esp,%esi,8), %xmm5, %xmm6{%k7} # AVX512DQ
+ vreducess $123, 508(%edx), %xmm5, %xmm6{%k7} # AVX512DQ Disp8
+ vreducess $123, 512(%edx), %xmm5, %xmm6{%k7} # AVX512DQ
+ vreducess $123, -512(%edx), %xmm5, %xmm6{%k7} # AVX512DQ Disp8
+ vreducess $123, -516(%edx), %xmm5, %xmm6{%k7} # AVX512DQ
+ kandb %k7, %k6, %k5 # AVX512DQ
+ kandnb %k7, %k6, %k5 # AVX512DQ
+ korb %k7, %k6, %k5 # AVX512DQ
+ kxnorb %k7, %k6, %k5 # AVX512DQ
+ kxorb %k7, %k6, %k5 # AVX512DQ
+ knotb %k6, %k5 # AVX512DQ
+ kortestb %k6, %k5 # AVX512DQ
+ ktestw %k6, %k5 # AVX512DQ
+ ktestb %k6, %k5 # AVX512DQ
+ kshiftrb $0xab, %k6, %k5 # AVX512DQ
+ kshiftrb $123, %k6, %k5 # AVX512DQ
+ kshiftlb $0xab, %k6, %k5 # AVX512DQ
+ kshiftlb $123, %k6, %k5 # AVX512DQ
+ kmovb %k6, %k5 # AVX512DQ
+ kmovb (%ecx), %k5 # AVX512DQ
+ kmovb -123456(%esp,%esi,8), %k5 # AVX512DQ
+ kmovb %k5, (%ecx) # AVX512DQ
+ kmovb %k5, -123456(%esp,%esi,8) # AVX512DQ
+ kmovb %eax, %k5 # AVX512DQ
+ kmovb %ebp, %k5 # AVX512DQ
+ kmovb %k5, %eax # AVX512DQ
+ kmovb %k5, %ebp # AVX512DQ
+ kaddw %k7, %k6, %k5 # AVX512DQ
+ kaddb %k7, %k6, %k5 # AVX512DQ
+ vextractf64x2 $0xab, %zmm6, (%ecx) # AVX512DQ
+ vextractf64x2 $0xab, %zmm6, (%ecx){%k7} # AVX512DQ
+ vextractf64x2 $123, %zmm6, (%ecx) # AVX512DQ
+ vextractf64x2 $123, %zmm6, -123456(%esp,%esi,8) # AVX512DQ
+ vextractf64x2 $123, %zmm6, 2032(%edx) # AVX512DQ Disp8
+ vextractf64x2 $123, %zmm6, 2048(%edx) # AVX512DQ
+ vextractf64x2 $123, %zmm6, -2048(%edx) # AVX512DQ Disp8
+ vextractf64x2 $123, %zmm6, -2064(%edx) # AVX512DQ
+ vextractf32x8 $0xab, %zmm6, (%ecx) # AVX512DQ
+ vextractf32x8 $0xab, %zmm6, (%ecx){%k7} # AVX512DQ
+ vextractf32x8 $123, %zmm6, (%ecx) # AVX512DQ
+ vextractf32x8 $123, %zmm6, -123456(%esp,%esi,8) # AVX512DQ
+ vextractf32x8 $123, %zmm6, 4064(%edx) # AVX512DQ Disp8
+ vextractf32x8 $123, %zmm6, 4096(%edx) # AVX512DQ
+ vextractf32x8 $123, %zmm6, -4096(%edx) # AVX512DQ Disp8
+ vextractf32x8 $123, %zmm6, -4128(%edx) # AVX512DQ
+ vextracti64x2 $0xab, %zmm6, (%ecx) # AVX512DQ
+ vextracti64x2 $0xab, %zmm6, (%ecx){%k7} # AVX512DQ
+ vextracti64x2 $123, %zmm6, (%ecx) # AVX512DQ
+ vextracti64x2 $123, %zmm6, -123456(%esp,%esi,8) # AVX512DQ
+ vextracti64x2 $123, %zmm6, 2032(%edx) # AVX512DQ Disp8
+ vextracti64x2 $123, %zmm6, 2048(%edx) # AVX512DQ
+ vextracti64x2 $123, %zmm6, -2048(%edx) # AVX512DQ Disp8
+ vextracti64x2 $123, %zmm6, -2064(%edx) # AVX512DQ
+ vextracti32x8 $0xab, %zmm6, (%ecx) # AVX512DQ
+ vextracti32x8 $0xab, %zmm6, (%ecx){%k7} # AVX512DQ
+ vextracti32x8 $123, %zmm6, (%ecx) # AVX512DQ
+ vextracti32x8 $123, %zmm6, -123456(%esp,%esi,8) # AVX512DQ
+ vextracti32x8 $123, %zmm6, 4064(%edx) # AVX512DQ Disp8
+ vextracti32x8 $123, %zmm6, 4096(%edx) # AVX512DQ
+ vextracti32x8 $123, %zmm6, -4096(%edx) # AVX512DQ Disp8
+ vextracti32x8 $123, %zmm6, -4128(%edx) # AVX512DQ
+ vcvttpd2qq %zmm5, %zmm6 # AVX512DQ
+ vcvttpd2qq %zmm5, %zmm6{%k7} # AVX512DQ
+ vcvttpd2qq %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vcvttpd2qq {sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvttpd2qq (%ecx), %zmm6 # AVX512DQ
+ vcvttpd2qq -123456(%esp,%esi,8), %zmm6 # AVX512DQ
+ vcvttpd2qq (%eax){1to8}, %zmm6 # AVX512DQ
+ vcvttpd2qq 8128(%edx), %zmm6 # AVX512DQ Disp8
+ vcvttpd2qq 8192(%edx), %zmm6 # AVX512DQ
+ vcvttpd2qq -8192(%edx), %zmm6 # AVX512DQ Disp8
+ vcvttpd2qq -8256(%edx), %zmm6 # AVX512DQ
+ vcvttpd2qq 1016(%edx){1to8}, %zmm6 # AVX512DQ Disp8
+ vcvttpd2qq 1024(%edx){1to8}, %zmm6 # AVX512DQ
+ vcvttpd2qq -1024(%edx){1to8}, %zmm6 # AVX512DQ Disp8
+ vcvttpd2qq -1032(%edx){1to8}, %zmm6 # AVX512DQ
+ vcvttpd2uqq %zmm5, %zmm6 # AVX512DQ
+ vcvttpd2uqq %zmm5, %zmm6{%k7} # AVX512DQ
+ vcvttpd2uqq %zmm5, %zmm6{%k7}{z} # AVX512DQ
+ vcvttpd2uqq {sae}, %zmm5, %zmm6 # AVX512DQ
+ vcvttpd2uqq (%ecx), %zmm6 # AVX512DQ
+ vcvttpd2uqq -123456(%esp,%esi,8), %zmm6 # AVX512DQ
+ vcvttpd2uqq (%eax){1to8}, %zmm6 # AVX512DQ
+ vcvttpd2uqq 8128(%edx), %zmm6 # AVX512DQ Disp8
+ vcvttpd2uqq 8192(%edx), %zmm6 # AVX512DQ
+ vcvttpd2uqq -8192(%edx), %zmm6 # AVX512DQ Disp8
+ vcvttpd2uqq -8256(%edx), %zmm6 # AVX512DQ
+ vcvttpd2uqq 1016(%edx){1to8}, %zmm6 # AVX512DQ Disp8
+ vcvttpd2uqq 1024(%edx){1to8}, %zmm6 # AVX512DQ
+ vcvttpd2uqq -1024(%edx){1to8}, %zmm6 # AVX512DQ Disp8
+ vcvttpd2uqq -1032(%edx){1to8}, %zmm6 # AVX512DQ
+ vcvttps2qq %ymm5, %zmm6{%k7} # AVX512DQ
+ vcvttps2qq %ymm5, %zmm6{%k7}{z} # AVX512DQ
+ vcvttps2qq {sae}, %ymm5, %zmm6{%k7} # AVX512DQ
+ vcvttps2qq (%ecx), %zmm6{%k7} # AVX512DQ
+ vcvttps2qq -123456(%esp,%esi,8), %zmm6{%k7} # AVX512DQ
+ vcvttps2qq (%eax){1to8}, %zmm6{%k7} # AVX512DQ
+ vcvttps2qq 4064(%edx), %zmm6{%k7} # AVX512DQ Disp8
+ vcvttps2qq 4096(%edx), %zmm6{%k7} # AVX512DQ
+ vcvttps2qq -4096(%edx), %zmm6{%k7} # AVX512DQ Disp8
+ vcvttps2qq -4128(%edx), %zmm6{%k7} # AVX512DQ
+ vcvttps2qq 508(%edx){1to8}, %zmm6{%k7} # AVX512DQ Disp8
+ vcvttps2qq 512(%edx){1to8}, %zmm6{%k7} # AVX512DQ
+ vcvttps2qq -512(%edx){1to8}, %zmm6{%k7} # AVX512DQ Disp8
+ vcvttps2qq -516(%edx){1to8}, %zmm6{%k7} # AVX512DQ
+ vcvttps2uqq %ymm5, %zmm6{%k7} # AVX512DQ
+ vcvttps2uqq %ymm5, %zmm6{%k7}{z} # AVX512DQ
+ vcvttps2uqq {sae}, %ymm5, %zmm6{%k7} # AVX512DQ
+ vcvttps2uqq (%ecx), %zmm6{%k7} # AVX512DQ
+ vcvttps2uqq -123456(%esp,%esi,8), %zmm6{%k7} # AVX512DQ
+ vcvttps2uqq (%eax){1to8}, %zmm6{%k7} # AVX512DQ
+ vcvttps2uqq 4064(%edx), %zmm6{%k7} # AVX512DQ Disp8
+ vcvttps2uqq 4096(%edx), %zmm6{%k7} # AVX512DQ
+ vcvttps2uqq -4096(%edx), %zmm6{%k7} # AVX512DQ Disp8
+ vcvttps2uqq -4128(%edx), %zmm6{%k7} # AVX512DQ
+ vcvttps2uqq 508(%edx){1to8}, %zmm6{%k7} # AVX512DQ Disp8
+ vcvttps2uqq 512(%edx){1to8}, %zmm6{%k7} # AVX512DQ
+ vcvttps2uqq -512(%edx){1to8}, %zmm6{%k7} # AVX512DQ Disp8
+ vcvttps2uqq -516(%edx){1to8}, %zmm6{%k7} # AVX512DQ
+ vpmovd2m %zmm6, %k5 # AVX512DQ
+ vpmovq2m %zmm6, %k5 # AVX512DQ
+ vpmovm2d %k5, %zmm6 # AVX512DQ
+ vpmovm2q %k5, %zmm6 # AVX512DQ
+
+ .intel_syntax noprefix
+ vbroadcastf32x8 zmm6, YMMWORD PTR [ecx] # AVX512DQ
+ vbroadcastf32x8 zmm6{k7}, YMMWORD PTR [ecx] # AVX512DQ
+ vbroadcastf32x8 zmm6{k7}{z}, YMMWORD PTR [ecx] # AVX512DQ
+ vbroadcastf32x8 zmm6, YMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vbroadcastf32x8 zmm6, YMMWORD PTR [edx+4064] # AVX512DQ Disp8
+ vbroadcastf32x8 zmm6, YMMWORD PTR [edx+4096] # AVX512DQ
+ vbroadcastf32x8 zmm6, YMMWORD PTR [edx-4096] # AVX512DQ Disp8
+ vbroadcastf32x8 zmm6, YMMWORD PTR [edx-4128] # AVX512DQ
+ vbroadcastf64x2 zmm6, XMMWORD PTR [ecx] # AVX512DQ
+ vbroadcastf64x2 zmm6{k7}, XMMWORD PTR [ecx] # AVX512DQ
+ vbroadcastf64x2 zmm6{k7}{z}, XMMWORD PTR [ecx] # AVX512DQ
+ vbroadcastf64x2 zmm6, XMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vbroadcastf64x2 zmm6, XMMWORD PTR [edx+2032] # AVX512DQ Disp8
+ vbroadcastf64x2 zmm6, XMMWORD PTR [edx+2048] # AVX512DQ
+ vbroadcastf64x2 zmm6, XMMWORD PTR [edx-2048] # AVX512DQ Disp8
+ vbroadcastf64x2 zmm6, XMMWORD PTR [edx-2064] # AVX512DQ
+ vbroadcasti32x8 zmm6, YMMWORD PTR [ecx] # AVX512DQ
+ vbroadcasti32x8 zmm6{k7}, YMMWORD PTR [ecx] # AVX512DQ
+ vbroadcasti32x8 zmm6{k7}{z}, YMMWORD PTR [ecx] # AVX512DQ
+ vbroadcasti32x8 zmm6, YMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vbroadcasti32x8 zmm6, YMMWORD PTR [edx+4064] # AVX512DQ Disp8
+ vbroadcasti32x8 zmm6, YMMWORD PTR [edx+4096] # AVX512DQ
+ vbroadcasti32x8 zmm6, YMMWORD PTR [edx-4096] # AVX512DQ Disp8
+ vbroadcasti32x8 zmm6, YMMWORD PTR [edx-4128] # AVX512DQ
+ vbroadcasti64x2 zmm6, XMMWORD PTR [ecx] # AVX512DQ
+ vbroadcasti64x2 zmm6{k7}, XMMWORD PTR [ecx] # AVX512DQ
+ vbroadcasti64x2 zmm6{k7}{z}, XMMWORD PTR [ecx] # AVX512DQ
+ vbroadcasti64x2 zmm6, XMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vbroadcasti64x2 zmm6, XMMWORD PTR [edx+2032] # AVX512DQ Disp8
+ vbroadcasti64x2 zmm6, XMMWORD PTR [edx+2048] # AVX512DQ
+ vbroadcasti64x2 zmm6, XMMWORD PTR [edx-2048] # AVX512DQ Disp8
+ vbroadcasti64x2 zmm6, XMMWORD PTR [edx-2064] # AVX512DQ
+ vbroadcastf32x2 zmm6, xmm7 # AVX512DQ
+ vbroadcastf32x2 zmm6{k7}, xmm7 # AVX512DQ
+ vbroadcastf32x2 zmm6{k7}{z}, xmm7 # AVX512DQ
+ vbroadcastf32x2 zmm6, QWORD PTR [ecx] # AVX512DQ
+ vbroadcastf32x2 zmm6, QWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vbroadcastf32x2 zmm6, QWORD PTR [edx+1016] # AVX512DQ Disp8
+ vbroadcastf32x2 zmm6, QWORD PTR [edx+1024] # AVX512DQ
+ vbroadcastf32x2 zmm6, QWORD PTR [edx-1024] # AVX512DQ Disp8
+ vbroadcastf32x2 zmm6, QWORD PTR [edx-1032] # AVX512DQ
+ vcvtpd2qq zmm6, zmm5 # AVX512DQ
+ vcvtpd2qq zmm6{k7}, zmm5 # AVX512DQ
+ vcvtpd2qq zmm6{k7}{z}, zmm5 # AVX512DQ
+ vcvtpd2qq zmm6, zmm5, {rn-sae} # AVX512DQ
+ vcvtpd2qq zmm6, zmm5, {ru-sae} # AVX512DQ
+ vcvtpd2qq zmm6, zmm5, {rd-sae} # AVX512DQ
+ vcvtpd2qq zmm6, zmm5, {rz-sae} # AVX512DQ
+ vcvtpd2qq zmm6, ZMMWORD PTR [ecx] # AVX512DQ
+ vcvtpd2qq zmm6, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vcvtpd2qq zmm6, [eax]{1to8} # AVX512DQ
+ vcvtpd2qq zmm6, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vcvtpd2qq zmm6, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vcvtpd2qq zmm6, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vcvtpd2qq zmm6, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vcvtpd2qq zmm6, [edx+1016]{1to8} # AVX512DQ Disp8
+ vcvtpd2qq zmm6, [edx+1024]{1to8} # AVX512DQ
+ vcvtpd2qq zmm6, [edx-1024]{1to8} # AVX512DQ Disp8
+ vcvtpd2qq zmm6, [edx-1032]{1to8} # AVX512DQ
+ vcvtpd2uqq zmm6, zmm5 # AVX512DQ
+ vcvtpd2uqq zmm6{k7}, zmm5 # AVX512DQ
+ vcvtpd2uqq zmm6{k7}{z}, zmm5 # AVX512DQ
+ vcvtpd2uqq zmm6, zmm5, {rn-sae} # AVX512DQ
+ vcvtpd2uqq zmm6, zmm5, {ru-sae} # AVX512DQ
+ vcvtpd2uqq zmm6, zmm5, {rd-sae} # AVX512DQ
+ vcvtpd2uqq zmm6, zmm5, {rz-sae} # AVX512DQ
+ vcvtpd2uqq zmm6, ZMMWORD PTR [ecx] # AVX512DQ
+ vcvtpd2uqq zmm6, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vcvtpd2uqq zmm6, [eax]{1to8} # AVX512DQ
+ vcvtpd2uqq zmm6, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vcvtpd2uqq zmm6, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vcvtpd2uqq zmm6, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vcvtpd2uqq zmm6, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vcvtpd2uqq zmm6, [edx+1016]{1to8} # AVX512DQ Disp8
+ vcvtpd2uqq zmm6, [edx+1024]{1to8} # AVX512DQ
+ vcvtpd2uqq zmm6, [edx-1024]{1to8} # AVX512DQ Disp8
+ vcvtpd2uqq zmm6, [edx-1032]{1to8} # AVX512DQ
+ vcvtps2qq zmm6{k7}, ymm5 # AVX512DQ
+ vcvtps2qq zmm6{k7}{z}, ymm5 # AVX512DQ
+ vcvtps2qq zmm6{k7}, ymm5, {rn-sae} # AVX512DQ
+ vcvtps2qq zmm6{k7}, ymm5, {ru-sae} # AVX512DQ
+ vcvtps2qq zmm6{k7}, ymm5, {rd-sae} # AVX512DQ
+ vcvtps2qq zmm6{k7}, ymm5, {rz-sae} # AVX512DQ
+ vcvtps2qq zmm6{k7}, YMMWORD PTR [ecx] # AVX512DQ
+ vcvtps2qq zmm6{k7}, YMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vcvtps2qq zmm6{k7}, [eax]{1to8} # AVX512DQ
+ vcvtps2qq zmm6{k7}, YMMWORD PTR [edx+4064] # AVX512DQ Disp8
+ vcvtps2qq zmm6{k7}, YMMWORD PTR [edx+4096] # AVX512DQ
+ vcvtps2qq zmm6{k7}, YMMWORD PTR [edx-4096] # AVX512DQ Disp8
+ vcvtps2qq zmm6{k7}, YMMWORD PTR [edx-4128] # AVX512DQ
+ vcvtps2qq zmm6{k7}, [edx+508]{1to8} # AVX512DQ Disp8
+ vcvtps2qq zmm6{k7}, [edx+512]{1to8} # AVX512DQ
+ vcvtps2qq zmm6{k7}, [edx-512]{1to8} # AVX512DQ Disp8
+ vcvtps2qq zmm6{k7}, [edx-516]{1to8} # AVX512DQ
+ vcvtps2uqq zmm6{k7}, ymm5 # AVX512DQ
+ vcvtps2uqq zmm6{k7}{z}, ymm5 # AVX512DQ
+ vcvtps2uqq zmm6{k7}, ymm5, {rn-sae} # AVX512DQ
+ vcvtps2uqq zmm6{k7}, ymm5, {ru-sae} # AVX512DQ
+ vcvtps2uqq zmm6{k7}, ymm5, {rd-sae} # AVX512DQ
+ vcvtps2uqq zmm6{k7}, ymm5, {rz-sae} # AVX512DQ
+ vcvtps2uqq zmm6{k7}, YMMWORD PTR [ecx] # AVX512DQ
+ vcvtps2uqq zmm6{k7}, YMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vcvtps2uqq zmm6{k7}, [eax]{1to8} # AVX512DQ
+ vcvtps2uqq zmm6{k7}, YMMWORD PTR [edx+4064] # AVX512DQ Disp8
+ vcvtps2uqq zmm6{k7}, YMMWORD PTR [edx+4096] # AVX512DQ
+ vcvtps2uqq zmm6{k7}, YMMWORD PTR [edx-4096] # AVX512DQ Disp8
+ vcvtps2uqq zmm6{k7}, YMMWORD PTR [edx-4128] # AVX512DQ
+ vcvtps2uqq zmm6{k7}, [edx+508]{1to8} # AVX512DQ Disp8
+ vcvtps2uqq zmm6{k7}, [edx+512]{1to8} # AVX512DQ
+ vcvtps2uqq zmm6{k7}, [edx-512]{1to8} # AVX512DQ Disp8
+ vcvtps2uqq zmm6{k7}, [edx-516]{1to8} # AVX512DQ
+ vcvtqq2pd zmm6, zmm5 # AVX512DQ
+ vcvtqq2pd zmm6{k7}, zmm5 # AVX512DQ
+ vcvtqq2pd zmm6{k7}{z}, zmm5 # AVX512DQ
+ vcvtqq2pd zmm6, zmm5, {rn-sae} # AVX512DQ
+ vcvtqq2pd zmm6, zmm5, {ru-sae} # AVX512DQ
+ vcvtqq2pd zmm6, zmm5, {rd-sae} # AVX512DQ
+ vcvtqq2pd zmm6, zmm5, {rz-sae} # AVX512DQ
+ vcvtqq2pd zmm6, ZMMWORD PTR [ecx] # AVX512DQ
+ vcvtqq2pd zmm6, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vcvtqq2pd zmm6, [eax]{1to8} # AVX512DQ
+ vcvtqq2pd zmm6, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vcvtqq2pd zmm6, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vcvtqq2pd zmm6, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vcvtqq2pd zmm6, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vcvtqq2pd zmm6, [edx+1016]{1to8} # AVX512DQ Disp8
+ vcvtqq2pd zmm6, [edx+1024]{1to8} # AVX512DQ
+ vcvtqq2pd zmm6, [edx-1024]{1to8} # AVX512DQ Disp8
+ vcvtqq2pd zmm6, [edx-1032]{1to8} # AVX512DQ
+ vcvtqq2ps ymm6{k7}, zmm5 # AVX512DQ
+ vcvtqq2ps ymm6{k7}{z}, zmm5 # AVX512DQ
+ vcvtqq2ps ymm6{k7}, zmm5, {rn-sae} # AVX512DQ
+ vcvtqq2ps ymm6{k7}, zmm5, {ru-sae} # AVX512DQ
+ vcvtqq2ps ymm6{k7}, zmm5, {rd-sae} # AVX512DQ
+ vcvtqq2ps ymm6{k7}, zmm5, {rz-sae} # AVX512DQ
+ vcvtqq2ps ymm6{k7}, ZMMWORD PTR [ecx] # AVX512DQ
+ vcvtqq2ps ymm6{k7}, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vcvtqq2ps ymm6{k7}, [eax]{1to8} # AVX512DQ
+ vcvtqq2ps ymm6{k7}, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vcvtqq2ps ymm6{k7}, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vcvtqq2ps ymm6{k7}, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vcvtqq2ps ymm6{k7}, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vcvtqq2ps ymm6{k7}, [edx+1016]{1to8} # AVX512DQ Disp8
+ vcvtqq2ps ymm6{k7}, [edx+1024]{1to8} # AVX512DQ
+ vcvtqq2ps ymm6{k7}, [edx-1024]{1to8} # AVX512DQ Disp8
+ vcvtqq2ps ymm6{k7}, [edx-1032]{1to8} # AVX512DQ
+ vcvtuqq2pd zmm6, zmm5 # AVX512DQ
+ vcvtuqq2pd zmm6{k7}, zmm5 # AVX512DQ
+ vcvtuqq2pd zmm6{k7}{z}, zmm5 # AVX512DQ
+ vcvtuqq2pd zmm6, zmm5, {rn-sae} # AVX512DQ
+ vcvtuqq2pd zmm6, zmm5, {ru-sae} # AVX512DQ
+ vcvtuqq2pd zmm6, zmm5, {rd-sae} # AVX512DQ
+ vcvtuqq2pd zmm6, zmm5, {rz-sae} # AVX512DQ
+ vcvtuqq2pd zmm6, ZMMWORD PTR [ecx] # AVX512DQ
+ vcvtuqq2pd zmm6, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vcvtuqq2pd zmm6, [eax]{1to8} # AVX512DQ
+ vcvtuqq2pd zmm6, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vcvtuqq2pd zmm6, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vcvtuqq2pd zmm6, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vcvtuqq2pd zmm6, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vcvtuqq2pd zmm6, [edx+1016]{1to8} # AVX512DQ Disp8
+ vcvtuqq2pd zmm6, [edx+1024]{1to8} # AVX512DQ
+ vcvtuqq2pd zmm6, [edx-1024]{1to8} # AVX512DQ Disp8
+ vcvtuqq2pd zmm6, [edx-1032]{1to8} # AVX512DQ
+ vcvtuqq2ps ymm6{k7}, zmm5 # AVX512DQ
+ vcvtuqq2ps ymm6{k7}{z}, zmm5 # AVX512DQ
+ vcvtuqq2ps ymm6{k7}, zmm5, {rn-sae} # AVX512DQ
+ vcvtuqq2ps ymm6{k7}, zmm5, {ru-sae} # AVX512DQ
+ vcvtuqq2ps ymm6{k7}, zmm5, {rd-sae} # AVX512DQ
+ vcvtuqq2ps ymm6{k7}, zmm5, {rz-sae} # AVX512DQ
+ vcvtuqq2ps ymm6{k7}, ZMMWORD PTR [ecx] # AVX512DQ
+ vcvtuqq2ps ymm6{k7}, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vcvtuqq2ps ymm6{k7}, [eax]{1to8} # AVX512DQ
+ vcvtuqq2ps ymm6{k7}, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vcvtuqq2ps ymm6{k7}, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vcvtuqq2ps ymm6{k7}, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vcvtuqq2ps ymm6{k7}, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vcvtuqq2ps ymm6{k7}, [edx+1016]{1to8} # AVX512DQ Disp8
+ vcvtuqq2ps ymm6{k7}, [edx+1024]{1to8} # AVX512DQ
+ vcvtuqq2ps ymm6{k7}, [edx-1024]{1to8} # AVX512DQ Disp8
+ vcvtuqq2ps ymm6{k7}, [edx-1032]{1to8} # AVX512DQ
+ vextractf64x2 xmm6{k7}, zmm5, 0xab # AVX512DQ
+ vextractf64x2 xmm6{k7}{z}, zmm5, 0xab # AVX512DQ
+ vextractf64x2 xmm6{k7}, zmm5, 123 # AVX512DQ
+ vextractf32x8 ymm6{k7}, zmm5, 0xab # AVX512DQ
+ vextractf32x8 ymm6{k7}{z}, zmm5, 0xab # AVX512DQ
+ vextractf32x8 ymm6{k7}, zmm5, 123 # AVX512DQ
+ vextracti64x2 xmm6{k7}, zmm5, 0xab # AVX512DQ
+ vextracti64x2 xmm6{k7}{z}, zmm5, 0xab # AVX512DQ
+ vextracti64x2 xmm6{k7}, zmm5, 123 # AVX512DQ
+ vextracti32x8 ymm6{k7}, zmm5, 0xab # AVX512DQ
+ vextracti32x8 ymm6{k7}{z}, zmm5, 0xab # AVX512DQ
+ vextracti32x8 ymm6{k7}, zmm5, 123 # AVX512DQ
+ vfpclasspd k5, zmm6, 0xab # AVX512DQ
+ vfpclasspd k5{k7}, zmm6, 0xab # AVX512DQ
+ vfpclasspd k5, zmm6, 123 # AVX512DQ
+ vfpclasspd k5, ZMMWORD PTR [ecx], 123 # AVX512DQ
+ vfpclasspd k5, ZMMWORD PTR [esp+esi*8-123456], 123 # AVX512DQ
+ vfpclasspdz k5, [eax]{1to8}, 123 # AVX512DQ
+ vfpclasspd k5, ZMMWORD PTR [edx+8128], 123 # AVX512DQ Disp8
+ vfpclasspd k5, ZMMWORD PTR [edx+8192], 123 # AVX512DQ
+ vfpclasspd k5, ZMMWORD PTR [edx-8192], 123 # AVX512DQ Disp8
+ vfpclasspd k5, ZMMWORD PTR [edx-8256], 123 # AVX512DQ
+ vfpclasspdz k5, [edx+1016]{1to8}, 123 # AVX512DQ Disp8
+ vfpclasspdz k5, [edx+1024]{1to8}, 123 # AVX512DQ
+ vfpclasspdz k5, [edx-1024]{1to8}, 123 # AVX512DQ Disp8
+ vfpclasspdz k5, [edx-1032]{1to8}, 123 # AVX512DQ
+ vfpclassps k5, zmm6, 0xab # AVX512DQ
+ vfpclassps k5{k7}, zmm6, 0xab # AVX512DQ
+ vfpclassps k5, zmm6, 123 # AVX512DQ
+ vfpclassps k5, ZMMWORD PTR [ecx], 123 # AVX512DQ
+ vfpclassps k5, ZMMWORD PTR [esp+esi*8-123456], 123 # AVX512DQ
+ vfpclasspsz k5, [eax]{1to16}, 123 # AVX512DQ
+ vfpclassps k5, ZMMWORD PTR [edx+8128], 123 # AVX512DQ Disp8
+ vfpclassps k5, ZMMWORD PTR [edx+8192], 123 # AVX512DQ
+ vfpclassps k5, ZMMWORD PTR [edx-8192], 123 # AVX512DQ Disp8
+ vfpclassps k5, ZMMWORD PTR [edx-8256], 123 # AVX512DQ
+ vfpclasspsz k5, [edx+508]{1to16}, 123 # AVX512DQ Disp8
+ vfpclasspsz k5, [edx+512]{1to16}, 123 # AVX512DQ
+ vfpclasspsz k5, [edx-512]{1to16}, 123 # AVX512DQ Disp8
+ vfpclasspsz k5, [edx-516]{1to16}, 123 # AVX512DQ
+ vfpclasssd k5{k7}, xmm6, 0xab # AVX512DQ
+ vfpclasssd k5{k7}, xmm6, 123 # AVX512DQ
+ vfpclasssd k5{k7}, QWORD PTR [ecx], 123 # AVX512DQ
+ vfpclasssd k5{k7}, QWORD PTR [esp+esi*8-123456], 123 # AVX512DQ
+ vfpclasssd k5{k7}, QWORD PTR [edx+1016], 123 # AVX512DQ Disp8
+ vfpclasssd k5{k7}, QWORD PTR [edx+1024], 123 # AVX512DQ
+ vfpclasssd k5{k7}, QWORD PTR [edx-1024], 123 # AVX512DQ Disp8
+ vfpclasssd k5{k7}, QWORD PTR [edx-1032], 123 # AVX512DQ
+ vfpclassss k5{k7}, xmm6, 0xab # AVX512DQ
+ vfpclassss k5{k7}, xmm6, 123 # AVX512DQ
+ vfpclassss k5{k7}, DWORD PTR [ecx], 123 # AVX512DQ
+ vfpclassss k5{k7}, DWORD PTR [esp+esi*8-123456], 123 # AVX512DQ
+ vfpclassss k5{k7}, DWORD PTR [edx+508], 123 # AVX512DQ Disp8
+ vfpclassss k5{k7}, DWORD PTR [edx+512], 123 # AVX512DQ
+ vfpclassss k5{k7}, DWORD PTR [edx-512], 123 # AVX512DQ Disp8
+ vfpclassss k5{k7}, DWORD PTR [edx-516], 123 # AVX512DQ
+ vinsertf64x2 zmm6{k7}, zmm5, xmm4, 0xab # AVX512DQ
+ vinsertf64x2 zmm6{k7}{z}, zmm5, xmm4, 0xab # AVX512DQ
+ vinsertf64x2 zmm6{k7}, zmm5, xmm4, 123 # AVX512DQ
+ vinsertf64x2 zmm6{k7}, zmm5, XMMWORD PTR [ecx], 123 # AVX512DQ
+ vinsertf64x2 zmm6{k7}, zmm5, XMMWORD PTR [esp+esi*8-123456], 123 # AVX512DQ
+ vinsertf64x2 zmm6{k7}, zmm5, XMMWORD PTR [edx+2032], 123 # AVX512DQ Disp8
+ vinsertf64x2 zmm6{k7}, zmm5, XMMWORD PTR [edx+2048], 123 # AVX512DQ
+ vinsertf64x2 zmm6{k7}, zmm5, XMMWORD PTR [edx-2048], 123 # AVX512DQ Disp8
+ vinsertf64x2 zmm6{k7}, zmm5, XMMWORD PTR [edx-2064], 123 # AVX512DQ
+ vinsertf32x8 zmm6{k7}, zmm5, ymm4, 0xab # AVX512DQ
+ vinsertf32x8 zmm6{k7}{z}, zmm5, ymm4, 0xab # AVX512DQ
+ vinsertf32x8 zmm6{k7}, zmm5, ymm4, 123 # AVX512DQ
+ vinsertf32x8 zmm6{k7}, zmm5, YMMWORD PTR [ecx], 123 # AVX512DQ
+ vinsertf32x8 zmm6{k7}, zmm5, YMMWORD PTR [esp+esi*8-123456], 123 # AVX512DQ
+ vinsertf32x8 zmm6{k7}, zmm5, YMMWORD PTR [edx+4064], 123 # AVX512DQ Disp8
+ vinsertf32x8 zmm6{k7}, zmm5, YMMWORD PTR [edx+4096], 123 # AVX512DQ
+ vinsertf32x8 zmm6{k7}, zmm5, YMMWORD PTR [edx-4096], 123 # AVX512DQ Disp8
+ vinsertf32x8 zmm6{k7}, zmm5, YMMWORD PTR [edx-4128], 123 # AVX512DQ
+ vinserti64x2 zmm6{k7}, zmm5, xmm4, 0xab # AVX512DQ
+ vinserti64x2 zmm6{k7}{z}, zmm5, xmm4, 0xab # AVX512DQ
+ vinserti64x2 zmm6{k7}, zmm5, xmm4, 123 # AVX512DQ
+ vinserti64x2 zmm6{k7}, zmm5, XMMWORD PTR [ecx], 123 # AVX512DQ
+ vinserti64x2 zmm6{k7}, zmm5, XMMWORD PTR [esp+esi*8-123456], 123 # AVX512DQ
+ vinserti64x2 zmm6{k7}, zmm5, XMMWORD PTR [edx+2032], 123 # AVX512DQ Disp8
+ vinserti64x2 zmm6{k7}, zmm5, XMMWORD PTR [edx+2048], 123 # AVX512DQ
+ vinserti64x2 zmm6{k7}, zmm5, XMMWORD PTR [edx-2048], 123 # AVX512DQ Disp8
+ vinserti64x2 zmm6{k7}, zmm5, XMMWORD PTR [edx-2064], 123 # AVX512DQ
+ vinserti32x8 zmm6{k7}, zmm5, ymm4, 0xab # AVX512DQ
+ vinserti32x8 zmm6{k7}{z}, zmm5, ymm4, 0xab # AVX512DQ
+ vinserti32x8 zmm6{k7}, zmm5, ymm4, 123 # AVX512DQ
+ vinserti32x8 zmm6{k7}, zmm5, YMMWORD PTR [ecx], 123 # AVX512DQ
+ vinserti32x8 zmm6{k7}, zmm5, YMMWORD PTR [esp+esi*8-123456], 123 # AVX512DQ
+ vinserti32x8 zmm6{k7}, zmm5, YMMWORD PTR [edx+4064], 123 # AVX512DQ Disp8
+ vinserti32x8 zmm6{k7}, zmm5, YMMWORD PTR [edx+4096], 123 # AVX512DQ
+ vinserti32x8 zmm6{k7}, zmm5, YMMWORD PTR [edx-4096], 123 # AVX512DQ Disp8
+ vinserti32x8 zmm6{k7}, zmm5, YMMWORD PTR [edx-4128], 123 # AVX512DQ
+ vbroadcasti32x2 zmm6, xmm7 # AVX512DQ
+ vbroadcasti32x2 zmm6{k7}, xmm7 # AVX512DQ
+ vbroadcasti32x2 zmm6{k7}{z}, xmm7 # AVX512DQ
+ vbroadcasti32x2 zmm6, QWORD PTR [ecx] # AVX512DQ
+ vbroadcasti32x2 zmm6, QWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vbroadcasti32x2 zmm6, QWORD PTR [edx+1016] # AVX512DQ Disp8
+ vbroadcasti32x2 zmm6, QWORD PTR [edx+1024] # AVX512DQ
+ vbroadcasti32x2 zmm6, QWORD PTR [edx-1024] # AVX512DQ Disp8
+ vbroadcasti32x2 zmm6, QWORD PTR [edx-1032] # AVX512DQ
+ vpmullq zmm6, zmm5, zmm4 # AVX512DQ
+ vpmullq zmm6{k7}, zmm5, zmm4 # AVX512DQ
+ vpmullq zmm6{k7}{z}, zmm5, zmm4 # AVX512DQ
+ vpmullq zmm6, zmm5, ZMMWORD PTR [ecx] # AVX512DQ
+ vpmullq zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vpmullq zmm6, zmm5, [eax]{1to8} # AVX512DQ
+ vpmullq zmm6, zmm5, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vpmullq zmm6, zmm5, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vpmullq zmm6, zmm5, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vpmullq zmm6, zmm5, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vpmullq zmm6, zmm5, [edx+1016]{1to8} # AVX512DQ Disp8
+ vpmullq zmm6, zmm5, [edx+1024]{1to8} # AVX512DQ
+ vpmullq zmm6, zmm5, [edx-1024]{1to8} # AVX512DQ Disp8
+ vpmullq zmm6, zmm5, [edx-1032]{1to8} # AVX512DQ
+ vrangepd zmm6, zmm5, zmm4, 0xab # AVX512DQ
+ vrangepd zmm6{k7}, zmm5, zmm4, 0xab # AVX512DQ
+ vrangepd zmm6{k7}{z}, zmm5, zmm4, 0xab # AVX512DQ
+ vrangepd zmm6, zmm5, zmm4, {sae}, 0xab # AVX512DQ
+ vrangepd zmm6, zmm5, zmm4, 123 # AVX512DQ
+ vrangepd zmm6, zmm5, zmm4, {sae}, 123 # AVX512DQ
+ vrangepd zmm6, zmm5, ZMMWORD PTR [ecx], 123 # AVX512DQ
+ vrangepd zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456], 123 # AVX512DQ
+ vrangepd zmm6, zmm5, [eax]{1to8}, 123 # AVX512DQ
+ vrangepd zmm6, zmm5, ZMMWORD PTR [edx+8128], 123 # AVX512DQ Disp8
+ vrangepd zmm6, zmm5, ZMMWORD PTR [edx+8192], 123 # AVX512DQ
+ vrangepd zmm6, zmm5, ZMMWORD PTR [edx-8192], 123 # AVX512DQ Disp8
+ vrangepd zmm6, zmm5, ZMMWORD PTR [edx-8256], 123 # AVX512DQ
+ vrangepd zmm6, zmm5, [edx+1016]{1to8}, 123 # AVX512DQ Disp8
+ vrangepd zmm6, zmm5, [edx+1024]{1to8}, 123 # AVX512DQ
+ vrangepd zmm6, zmm5, [edx-1024]{1to8}, 123 # AVX512DQ Disp8
+ vrangepd zmm6, zmm5, [edx-1032]{1to8}, 123 # AVX512DQ
+ vrangeps zmm6, zmm5, zmm4, 0xab # AVX512DQ
+ vrangeps zmm6{k7}, zmm5, zmm4, 0xab # AVX512DQ
+ vrangeps zmm6{k7}{z}, zmm5, zmm4, 0xab # AVX512DQ
+ vrangeps zmm6, zmm5, zmm4, {sae}, 0xab # AVX512DQ
+ vrangeps zmm6, zmm5, zmm4, 123 # AVX512DQ
+ vrangeps zmm6, zmm5, zmm4, {sae}, 123 # AVX512DQ
+ vrangeps zmm6, zmm5, ZMMWORD PTR [ecx], 123 # AVX512DQ
+ vrangeps zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456], 123 # AVX512DQ
+ vrangeps zmm6, zmm5, [eax]{1to16}, 123 # AVX512DQ
+ vrangeps zmm6, zmm5, ZMMWORD PTR [edx+8128], 123 # AVX512DQ Disp8
+ vrangeps zmm6, zmm5, ZMMWORD PTR [edx+8192], 123 # AVX512DQ
+ vrangeps zmm6, zmm5, ZMMWORD PTR [edx-8192], 123 # AVX512DQ Disp8
+ vrangeps zmm6, zmm5, ZMMWORD PTR [edx-8256], 123 # AVX512DQ
+ vrangeps zmm6, zmm5, [edx+508]{1to16}, 123 # AVX512DQ Disp8
+ vrangeps zmm6, zmm5, [edx+512]{1to16}, 123 # AVX512DQ
+ vrangeps zmm6, zmm5, [edx-512]{1to16}, 123 # AVX512DQ Disp8
+ vrangeps zmm6, zmm5, [edx-516]{1to16}, 123 # AVX512DQ
+ vrangesd xmm6{k7}, xmm5, xmm4, 0xab # AVX512DQ
+ vrangesd xmm6{k7}{z}, xmm5, xmm4, 0xab # AVX512DQ
+ vrangesd xmm6{k7}, xmm5, xmm4, {sae}, 0xab # AVX512DQ
+ vrangesd xmm6{k7}, xmm5, xmm4, 123 # AVX512DQ
+ vrangesd xmm6{k7}, xmm5, xmm4, {sae}, 123 # AVX512DQ
+ vrangesd xmm6{k7}, xmm5, QWORD PTR [ecx], 123 # AVX512DQ
+ vrangesd xmm6{k7}, xmm5, QWORD PTR [esp+esi*8-123456], 123 # AVX512DQ
+ vrangesd xmm6{k7}, xmm5, QWORD PTR [edx+1016], 123 # AVX512DQ Disp8
+ vrangesd xmm6{k7}, xmm5, QWORD PTR [edx+1024], 123 # AVX512DQ
+ vrangesd xmm6{k7}, xmm5, QWORD PTR [edx-1024], 123 # AVX512DQ Disp8
+ vrangesd xmm6{k7}, xmm5, QWORD PTR [edx-1032], 123 # AVX512DQ
+ vrangess xmm6{k7}, xmm5, xmm4, 0xab # AVX512DQ
+ vrangess xmm6{k7}{z}, xmm5, xmm4, 0xab # AVX512DQ
+ vrangess xmm6{k7}, xmm5, xmm4, {sae}, 0xab # AVX512DQ
+ vrangess xmm6{k7}, xmm5, xmm4, 123 # AVX512DQ
+ vrangess xmm6{k7}, xmm5, xmm4, {sae}, 123 # AVX512DQ
+ vrangess xmm6{k7}, xmm5, DWORD PTR [ecx], 123 # AVX512DQ
+ vrangess xmm6{k7}, xmm5, DWORD PTR [esp+esi*8-123456], 123 # AVX512DQ
+ vrangess xmm6{k7}, xmm5, DWORD PTR [edx+508], 123 # AVX512DQ Disp8
+ vrangess xmm6{k7}, xmm5, DWORD PTR [edx+512], 123 # AVX512DQ
+ vrangess xmm6{k7}, xmm5, DWORD PTR [edx-512], 123 # AVX512DQ Disp8
+ vrangess xmm6{k7}, xmm5, DWORD PTR [edx-516], 123 # AVX512DQ
+ vandpd zmm6, zmm5, zmm4 # AVX512DQ
+ vandpd zmm6{k7}, zmm5, zmm4 # AVX512DQ
+ vandpd zmm6{k7}{z}, zmm5, zmm4 # AVX512DQ
+ vandpd zmm6, zmm5, ZMMWORD PTR [ecx] # AVX512DQ
+ vandpd zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vandpd zmm6, zmm5, [eax]{1to8} # AVX512DQ
+ vandpd zmm6, zmm5, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vandpd zmm6, zmm5, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vandpd zmm6, zmm5, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vandpd zmm6, zmm5, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vandpd zmm6, zmm5, [edx+1016]{1to8} # AVX512DQ Disp8
+ vandpd zmm6, zmm5, [edx+1024]{1to8} # AVX512DQ
+ vandpd zmm6, zmm5, [edx-1024]{1to8} # AVX512DQ Disp8
+ vandpd zmm6, zmm5, [edx-1032]{1to8} # AVX512DQ
+ vandps zmm6, zmm5, zmm4 # AVX512DQ
+ vandps zmm6{k7}, zmm5, zmm4 # AVX512DQ
+ vandps zmm6{k7}{z}, zmm5, zmm4 # AVX512DQ
+ vandps zmm6, zmm5, ZMMWORD PTR [ecx] # AVX512DQ
+ vandps zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vandps zmm6, zmm5, [eax]{1to16} # AVX512DQ
+ vandps zmm6, zmm5, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vandps zmm6, zmm5, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vandps zmm6, zmm5, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vandps zmm6, zmm5, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vandps zmm6, zmm5, [edx+508]{1to16} # AVX512DQ Disp8
+ vandps zmm6, zmm5, [edx+512]{1to16} # AVX512DQ
+ vandps zmm6, zmm5, [edx-512]{1to16} # AVX512DQ Disp8
+ vandps zmm6, zmm5, [edx-516]{1to16} # AVX512DQ
+ vandnpd zmm6, zmm5, zmm4 # AVX512DQ
+ vandnpd zmm6{k7}, zmm5, zmm4 # AVX512DQ
+ vandnpd zmm6{k7}{z}, zmm5, zmm4 # AVX512DQ
+ vandnpd zmm6, zmm5, ZMMWORD PTR [ecx] # AVX512DQ
+ vandnpd zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vandnpd zmm6, zmm5, [eax]{1to8} # AVX512DQ
+ vandnpd zmm6, zmm5, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vandnpd zmm6, zmm5, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vandnpd zmm6, zmm5, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vandnpd zmm6, zmm5, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vandnpd zmm6, zmm5, [edx+1016]{1to8} # AVX512DQ Disp8
+ vandnpd zmm6, zmm5, [edx+1024]{1to8} # AVX512DQ
+ vandnpd zmm6, zmm5, [edx-1024]{1to8} # AVX512DQ Disp8
+ vandnpd zmm6, zmm5, [edx-1032]{1to8} # AVX512DQ
+ vandnps zmm6, zmm5, zmm4 # AVX512DQ
+ vandnps zmm6{k7}, zmm5, zmm4 # AVX512DQ
+ vandnps zmm6{k7}{z}, zmm5, zmm4 # AVX512DQ
+ vandnps zmm6, zmm5, ZMMWORD PTR [ecx] # AVX512DQ
+ vandnps zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vandnps zmm6, zmm5, [eax]{1to16} # AVX512DQ
+ vandnps zmm6, zmm5, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vandnps zmm6, zmm5, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vandnps zmm6, zmm5, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vandnps zmm6, zmm5, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vandnps zmm6, zmm5, [edx+508]{1to16} # AVX512DQ Disp8
+ vandnps zmm6, zmm5, [edx+512]{1to16} # AVX512DQ
+ vandnps zmm6, zmm5, [edx-512]{1to16} # AVX512DQ Disp8
+ vandnps zmm6, zmm5, [edx-516]{1to16} # AVX512DQ
+ vorpd zmm6, zmm5, zmm4 # AVX512DQ
+ vorpd zmm6{k7}, zmm5, zmm4 # AVX512DQ
+ vorpd zmm6{k7}{z}, zmm5, zmm4 # AVX512DQ
+ vorpd zmm6, zmm5, ZMMWORD PTR [ecx] # AVX512DQ
+ vorpd zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vorpd zmm6, zmm5, [eax]{1to8} # AVX512DQ
+ vorpd zmm6, zmm5, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vorpd zmm6, zmm5, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vorpd zmm6, zmm5, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vorpd zmm6, zmm5, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vorpd zmm6, zmm5, [edx+1016]{1to8} # AVX512DQ Disp8
+ vorpd zmm6, zmm5, [edx+1024]{1to8} # AVX512DQ
+ vorpd zmm6, zmm5, [edx-1024]{1to8} # AVX512DQ Disp8
+ vorpd zmm6, zmm5, [edx-1032]{1to8} # AVX512DQ
+ vorps zmm6, zmm5, zmm4 # AVX512DQ
+ vorps zmm6{k7}, zmm5, zmm4 # AVX512DQ
+ vorps zmm6{k7}{z}, zmm5, zmm4 # AVX512DQ
+ vorps zmm6, zmm5, ZMMWORD PTR [ecx] # AVX512DQ
+ vorps zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vorps zmm6, zmm5, [eax]{1to16} # AVX512DQ
+ vorps zmm6, zmm5, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vorps zmm6, zmm5, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vorps zmm6, zmm5, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vorps zmm6, zmm5, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vorps zmm6, zmm5, [edx+508]{1to16} # AVX512DQ Disp8
+ vorps zmm6, zmm5, [edx+512]{1to16} # AVX512DQ
+ vorps zmm6, zmm5, [edx-512]{1to16} # AVX512DQ Disp8
+ vorps zmm6, zmm5, [edx-516]{1to16} # AVX512DQ
+ vxorpd zmm6, zmm5, zmm4 # AVX512DQ
+ vxorpd zmm6{k7}, zmm5, zmm4 # AVX512DQ
+ vxorpd zmm6{k7}{z}, zmm5, zmm4 # AVX512DQ
+ vxorpd zmm6, zmm5, ZMMWORD PTR [ecx] # AVX512DQ
+ vxorpd zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vxorpd zmm6, zmm5, [eax]{1to8} # AVX512DQ
+ vxorpd zmm6, zmm5, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vxorpd zmm6, zmm5, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vxorpd zmm6, zmm5, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vxorpd zmm6, zmm5, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vxorpd zmm6, zmm5, [edx+1016]{1to8} # AVX512DQ Disp8
+ vxorpd zmm6, zmm5, [edx+1024]{1to8} # AVX512DQ
+ vxorpd zmm6, zmm5, [edx-1024]{1to8} # AVX512DQ Disp8
+ vxorpd zmm6, zmm5, [edx-1032]{1to8} # AVX512DQ
+ vxorps zmm6, zmm5, zmm4 # AVX512DQ
+ vxorps zmm6{k7}, zmm5, zmm4 # AVX512DQ
+ vxorps zmm6{k7}{z}, zmm5, zmm4 # AVX512DQ
+ vxorps zmm6, zmm5, ZMMWORD PTR [ecx] # AVX512DQ
+ vxorps zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vxorps zmm6, zmm5, [eax]{1to16} # AVX512DQ
+ vxorps zmm6, zmm5, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vxorps zmm6, zmm5, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vxorps zmm6, zmm5, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vxorps zmm6, zmm5, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vxorps zmm6, zmm5, [edx+508]{1to16} # AVX512DQ Disp8
+ vxorps zmm6, zmm5, [edx+512]{1to16} # AVX512DQ
+ vxorps zmm6, zmm5, [edx-512]{1to16} # AVX512DQ Disp8
+ vxorps zmm6, zmm5, [edx-516]{1to16} # AVX512DQ
+ vreducepd zmm6, zmm5, 0xab # AVX512DQ
+ vreducepd zmm6{k7}, zmm5, 0xab # AVX512DQ
+ vreducepd zmm6{k7}{z}, zmm5, 0xab # AVX512DQ
+ vreducepd zmm6, zmm5, {sae}, 0xab # AVX512DQ
+ vreducepd zmm6, zmm5, 123 # AVX512DQ
+ vreducepd zmm6, zmm5, {sae}, 123 # AVX512DQ
+ vreducepd zmm6, ZMMWORD PTR [ecx], 123 # AVX512DQ
+ vreducepd zmm6, ZMMWORD PTR [esp+esi*8-123456], 123 # AVX512DQ
+ vreducepd zmm6, [eax]{1to8}, 123 # AVX512DQ
+ vreducepd zmm6, ZMMWORD PTR [edx+8128], 123 # AVX512DQ Disp8
+ vreducepd zmm6, ZMMWORD PTR [edx+8192], 123 # AVX512DQ
+ vreducepd zmm6, ZMMWORD PTR [edx-8192], 123 # AVX512DQ Disp8
+ vreducepd zmm6, ZMMWORD PTR [edx-8256], 123 # AVX512DQ
+ vreducepd zmm6, [edx+1016]{1to8}, 123 # AVX512DQ Disp8
+ vreducepd zmm6, [edx+1024]{1to8}, 123 # AVX512DQ
+ vreducepd zmm6, [edx-1024]{1to8}, 123 # AVX512DQ Disp8
+ vreducepd zmm6, [edx-1032]{1to8}, 123 # AVX512DQ
+ vreduceps zmm6, zmm5, 0xab # AVX512DQ
+ vreduceps zmm6{k7}, zmm5, 0xab # AVX512DQ
+ vreduceps zmm6{k7}{z}, zmm5, 0xab # AVX512DQ
+ vreduceps zmm6, zmm5, {sae}, 0xab # AVX512DQ
+ vreduceps zmm6, zmm5, 123 # AVX512DQ
+ vreduceps zmm6, zmm5, {sae}, 123 # AVX512DQ
+ vreduceps zmm6, ZMMWORD PTR [ecx], 123 # AVX512DQ
+ vreduceps zmm6, ZMMWORD PTR [esp+esi*8-123456], 123 # AVX512DQ
+ vreduceps zmm6, [eax]{1to16}, 123 # AVX512DQ
+ vreduceps zmm6, ZMMWORD PTR [edx+8128], 123 # AVX512DQ Disp8
+ vreduceps zmm6, ZMMWORD PTR [edx+8192], 123 # AVX512DQ
+ vreduceps zmm6, ZMMWORD PTR [edx-8192], 123 # AVX512DQ Disp8
+ vreduceps zmm6, ZMMWORD PTR [edx-8256], 123 # AVX512DQ
+ vreduceps zmm6, [edx+508]{1to16}, 123 # AVX512DQ Disp8
+ vreduceps zmm6, [edx+512]{1to16}, 123 # AVX512DQ
+ vreduceps zmm6, [edx-512]{1to16}, 123 # AVX512DQ Disp8
+ vreduceps zmm6, [edx-516]{1to16}, 123 # AVX512DQ
+ vreducesd xmm6{k7}, xmm5, xmm4, 0xab # AVX512DQ
+ vreducesd xmm6{k7}{z}, xmm5, xmm4, 0xab # AVX512DQ
+ vreducesd xmm6{k7}, xmm5, xmm4, {sae}, 0xab # AVX512DQ
+ vreducesd xmm6{k7}, xmm5, xmm4, 123 # AVX512DQ
+ vreducesd xmm6{k7}, xmm5, xmm4, {sae}, 123 # AVX512DQ
+ vreducesd xmm6{k7}, xmm5, QWORD PTR [ecx], 123 # AVX512DQ
+ vreducesd xmm6{k7}, xmm5, QWORD PTR [esp+esi*8-123456], 123 # AVX512DQ
+ vreducesd xmm6{k7}, xmm5, QWORD PTR [edx+1016], 123 # AVX512DQ Disp8
+ vreducesd xmm6{k7}, xmm5, QWORD PTR [edx+1024], 123 # AVX512DQ
+ vreducesd xmm6{k7}, xmm5, QWORD PTR [edx-1024], 123 # AVX512DQ Disp8
+ vreducesd xmm6{k7}, xmm5, QWORD PTR [edx-1032], 123 # AVX512DQ
+ vreducess xmm6{k7}, xmm5, xmm4, 0xab # AVX512DQ
+ vreducess xmm6{k7}{z}, xmm5, xmm4, 0xab # AVX512DQ
+ vreducess xmm6{k7}, xmm5, xmm4, {sae}, 0xab # AVX512DQ
+ vreducess xmm6{k7}, xmm5, xmm4, 123 # AVX512DQ
+ vreducess xmm6{k7}, xmm5, xmm4, {sae}, 123 # AVX512DQ
+ vreducess xmm6{k7}, xmm5, DWORD PTR [ecx], 123 # AVX512DQ
+ vreducess xmm6{k7}, xmm5, DWORD PTR [esp+esi*8-123456], 123 # AVX512DQ
+ vreducess xmm6{k7}, xmm5, DWORD PTR [edx+508], 123 # AVX512DQ Disp8
+ vreducess xmm6{k7}, xmm5, DWORD PTR [edx+512], 123 # AVX512DQ
+ vreducess xmm6{k7}, xmm5, DWORD PTR [edx-512], 123 # AVX512DQ Disp8
+ vreducess xmm6{k7}, xmm5, DWORD PTR [edx-516], 123 # AVX512DQ
+ kandb k5, k6, k7 # AVX512DQ
+ kandnb k5, k6, k7 # AVX512DQ
+ korb k5, k6, k7 # AVX512DQ
+ kxnorb k5, k6, k7 # AVX512DQ
+ kxorb k5, k6, k7 # AVX512DQ
+ knotb k5, k6 # AVX512DQ
+ kortestb k5, k6 # AVX512DQ
+ ktestw k5, k6 # AVX512DQ
+ ktestb k5, k6 # AVX512DQ
+ kshiftrb k5, k6, 0xab # AVX512DQ
+ kshiftrb k5, k6, 123 # AVX512DQ
+ kshiftlb k5, k6, 0xab # AVX512DQ
+ kshiftlb k5, k6, 123 # AVX512DQ
+ kmovb k5, k6 # AVX512DQ
+ kmovb k5, BYTE PTR [ecx] # AVX512DQ
+ kmovb k5, BYTE PTR [esp+esi*8-123456] # AVX512DQ
+ kmovb BYTE PTR [ecx], k5 # AVX512DQ
+ kmovb BYTE PTR [esp+esi*8-123456], k5 # AVX512DQ
+ kmovb k5, eax # AVX512DQ
+ kmovb k5, ebp # AVX512DQ
+ kmovb eax, k5 # AVX512DQ
+ kmovb ebp, k5 # AVX512DQ
+ kaddw k5, k6, k7 # AVX512DQ
+ kaddb k5, k6, k7 # AVX512DQ
+ vextractf64x2 XMMWORD PTR [ecx], zmm6, 0xab # AVX512DQ
+ vextractf64x2 XMMWORD PTR [ecx]{k7}, zmm6, 0xab # AVX512DQ
+ vextractf64x2 XMMWORD PTR [ecx], zmm6, 123 # AVX512DQ
+ vextractf64x2 XMMWORD PTR [esp+esi*8-123456], zmm6, 123 # AVX512DQ
+ vextractf64x2 XMMWORD PTR [edx+2032], zmm6, 123 # AVX512DQ Disp8
+ vextractf64x2 XMMWORD PTR [edx+2048], zmm6, 123 # AVX512DQ
+ vextractf64x2 XMMWORD PTR [edx-2048], zmm6, 123 # AVX512DQ Disp8
+ vextractf64x2 XMMWORD PTR [edx-2064], zmm6, 123 # AVX512DQ
+ vextractf32x8 YMMWORD PTR [ecx], zmm6, 0xab # AVX512DQ
+ vextractf32x8 YMMWORD PTR [ecx]{k7}, zmm6, 0xab # AVX512DQ
+ vextractf32x8 YMMWORD PTR [ecx], zmm6, 123 # AVX512DQ
+ vextractf32x8 YMMWORD PTR [esp+esi*8-123456], zmm6, 123 # AVX512DQ
+ vextractf32x8 YMMWORD PTR [edx+4064], zmm6, 123 # AVX512DQ Disp8
+ vextractf32x8 YMMWORD PTR [edx+4096], zmm6, 123 # AVX512DQ
+ vextractf32x8 YMMWORD PTR [edx-4096], zmm6, 123 # AVX512DQ Disp8
+ vextractf32x8 YMMWORD PTR [edx-4128], zmm6, 123 # AVX512DQ
+ vextracti64x2 XMMWORD PTR [ecx], zmm6, 0xab # AVX512DQ
+ vextracti64x2 XMMWORD PTR [ecx]{k7}, zmm6, 0xab # AVX512DQ
+ vextracti64x2 XMMWORD PTR [ecx], zmm6, 123 # AVX512DQ
+ vextracti64x2 XMMWORD PTR [esp+esi*8-123456], zmm6, 123 # AVX512DQ
+ vextracti64x2 XMMWORD PTR [edx+2032], zmm6, 123 # AVX512DQ Disp8
+ vextracti64x2 XMMWORD PTR [edx+2048], zmm6, 123 # AVX512DQ
+ vextracti64x2 XMMWORD PTR [edx-2048], zmm6, 123 # AVX512DQ Disp8
+ vextracti64x2 XMMWORD PTR [edx-2064], zmm6, 123 # AVX512DQ
+ vextracti32x8 YMMWORD PTR [ecx], zmm6, 0xab # AVX512DQ
+ vextracti32x8 YMMWORD PTR [ecx]{k7}, zmm6, 0xab # AVX512DQ
+ vextracti32x8 YMMWORD PTR [ecx], zmm6, 123 # AVX512DQ
+ vextracti32x8 YMMWORD PTR [esp+esi*8-123456], zmm6, 123 # AVX512DQ
+ vextracti32x8 YMMWORD PTR [edx+4064], zmm6, 123 # AVX512DQ Disp8
+ vextracti32x8 YMMWORD PTR [edx+4096], zmm6, 123 # AVX512DQ
+ vextracti32x8 YMMWORD PTR [edx-4096], zmm6, 123 # AVX512DQ Disp8
+ vextracti32x8 YMMWORD PTR [edx-4128], zmm6, 123 # AVX512DQ
+ vcvttpd2qq zmm6, zmm5 # AVX512DQ
+ vcvttpd2qq zmm6{k7}, zmm5 # AVX512DQ
+ vcvttpd2qq zmm6{k7}{z}, zmm5 # AVX512DQ
+ vcvttpd2qq zmm6, zmm5, {sae} # AVX512DQ
+ vcvttpd2qq zmm6, ZMMWORD PTR [ecx] # AVX512DQ
+ vcvttpd2qq zmm6, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vcvttpd2qq zmm6, [eax]{1to8} # AVX512DQ
+ vcvttpd2qq zmm6, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vcvttpd2qq zmm6, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vcvttpd2qq zmm6, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vcvttpd2qq zmm6, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vcvttpd2qq zmm6, [edx+1016]{1to8} # AVX512DQ Disp8
+ vcvttpd2qq zmm6, [edx+1024]{1to8} # AVX512DQ
+ vcvttpd2qq zmm6, [edx-1024]{1to8} # AVX512DQ Disp8
+ vcvttpd2qq zmm6, [edx-1032]{1to8} # AVX512DQ
+ vcvttpd2uqq zmm6, zmm5 # AVX512DQ
+ vcvttpd2uqq zmm6{k7}, zmm5 # AVX512DQ
+ vcvttpd2uqq zmm6{k7}{z}, zmm5 # AVX512DQ
+ vcvttpd2uqq zmm6, zmm5, {sae} # AVX512DQ
+ vcvttpd2uqq zmm6, ZMMWORD PTR [ecx] # AVX512DQ
+ vcvttpd2uqq zmm6, ZMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vcvttpd2uqq zmm6, [eax]{1to8} # AVX512DQ
+ vcvttpd2uqq zmm6, ZMMWORD PTR [edx+8128] # AVX512DQ Disp8
+ vcvttpd2uqq zmm6, ZMMWORD PTR [edx+8192] # AVX512DQ
+ vcvttpd2uqq zmm6, ZMMWORD PTR [edx-8192] # AVX512DQ Disp8
+ vcvttpd2uqq zmm6, ZMMWORD PTR [edx-8256] # AVX512DQ
+ vcvttpd2uqq zmm6, [edx+1016]{1to8} # AVX512DQ Disp8
+ vcvttpd2uqq zmm6, [edx+1024]{1to8} # AVX512DQ
+ vcvttpd2uqq zmm6, [edx-1024]{1to8} # AVX512DQ Disp8
+ vcvttpd2uqq zmm6, [edx-1032]{1to8} # AVX512DQ
+ vcvttps2qq zmm6{k7}, ymm5 # AVX512DQ
+ vcvttps2qq zmm6{k7}{z}, ymm5 # AVX512DQ
+ vcvttps2qq zmm6{k7}, ymm5, {sae} # AVX512DQ
+ vcvttps2qq zmm6{k7}, YMMWORD PTR [ecx] # AVX512DQ
+ vcvttps2qq zmm6{k7}, YMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vcvttps2qq zmm6{k7}, [eax]{1to8} # AVX512DQ
+ vcvttps2qq zmm6{k7}, YMMWORD PTR [edx+4064] # AVX512DQ Disp8
+ vcvttps2qq zmm6{k7}, YMMWORD PTR [edx+4096] # AVX512DQ
+ vcvttps2qq zmm6{k7}, YMMWORD PTR [edx-4096] # AVX512DQ Disp8
+ vcvttps2qq zmm6{k7}, YMMWORD PTR [edx-4128] # AVX512DQ
+ vcvttps2qq zmm6{k7}, [edx+508]{1to8} # AVX512DQ Disp8
+ vcvttps2qq zmm6{k7}, [edx+512]{1to8} # AVX512DQ
+ vcvttps2qq zmm6{k7}, [edx-512]{1to8} # AVX512DQ Disp8
+ vcvttps2qq zmm6{k7}, [edx-516]{1to8} # AVX512DQ
+ vcvttps2uqq zmm6{k7}, ymm5 # AVX512DQ
+ vcvttps2uqq zmm6{k7}{z}, ymm5 # AVX512DQ
+ vcvttps2uqq zmm6{k7}, ymm5, {sae} # AVX512DQ
+ vcvttps2uqq zmm6{k7}, YMMWORD PTR [ecx] # AVX512DQ
+ vcvttps2uqq zmm6{k7}, YMMWORD PTR [esp+esi*8-123456] # AVX512DQ
+ vcvttps2uqq zmm6{k7}, [eax]{1to8} # AVX512DQ
+ vcvttps2uqq zmm6{k7}, YMMWORD PTR [edx+4064] # AVX512DQ Disp8
+ vcvttps2uqq zmm6{k7}, YMMWORD PTR [edx+4096] # AVX512DQ
+ vcvttps2uqq zmm6{k7}, YMMWORD PTR [edx-4096] # AVX512DQ Disp8
+ vcvttps2uqq zmm6{k7}, YMMWORD PTR [edx-4128] # AVX512DQ
+ vcvttps2uqq zmm6{k7}, [edx+508]{1to8} # AVX512DQ Disp8
+ vcvttps2uqq zmm6{k7}, [edx+512]{1to8} # AVX512DQ
+ vcvttps2uqq zmm6{k7}, [edx-512]{1to8} # AVX512DQ Disp8
+ vcvttps2uqq zmm6{k7}, [edx-516]{1to8} # AVX512DQ
+ vpmovd2m k5, zmm6 # AVX512DQ
+ vpmovq2m k5, zmm6 # AVX512DQ
+ vpmovm2d zmm6, k5 # AVX512DQ
+ vpmovm2q zmm6, k5 # AVX512DQ