1# Check 32bit AVX512DQ instructions
2
3	.allow_index_reg
4	.text
5_start:
6	vbroadcastf32x8	(%ecx), %zmm6	 # AVX512DQ
7	vbroadcastf32x8	(%ecx), %zmm6{%k7}	 # AVX512DQ
8	vbroadcastf32x8	(%ecx), %zmm6{%k7}{z}	 # AVX512DQ
9	vbroadcastf32x8	-123456(%esp,%esi,8), %zmm6	 # AVX512DQ
10	vbroadcastf32x8	4064(%edx), %zmm6	 # AVX512DQ Disp8
11	vbroadcastf32x8	4096(%edx), %zmm6	 # AVX512DQ
12	vbroadcastf32x8	-4096(%edx), %zmm6	 # AVX512DQ Disp8
13	vbroadcastf32x8	-4128(%edx), %zmm6	 # AVX512DQ
14	vbroadcastf64x2	(%ecx), %zmm6	 # AVX512DQ
15	vbroadcastf64x2	(%ecx), %zmm6{%k7}	 # AVX512DQ
16	vbroadcastf64x2	(%ecx), %zmm6{%k7}{z}	 # AVX512DQ
17	vbroadcastf64x2	-123456(%esp,%esi,8), %zmm6	 # AVX512DQ
18	vbroadcastf64x2	2032(%edx), %zmm6	 # AVX512DQ Disp8
19	vbroadcastf64x2	2048(%edx), %zmm6	 # AVX512DQ
20	vbroadcastf64x2	-2048(%edx), %zmm6	 # AVX512DQ Disp8
21	vbroadcastf64x2	-2064(%edx), %zmm6	 # AVX512DQ
22	vbroadcasti32x8	(%ecx), %zmm6	 # AVX512DQ
23	vbroadcasti32x8	(%ecx), %zmm6{%k7}	 # AVX512DQ
24	vbroadcasti32x8	(%ecx), %zmm6{%k7}{z}	 # AVX512DQ
25	vbroadcasti32x8	-123456(%esp,%esi,8), %zmm6	 # AVX512DQ
26	vbroadcasti32x8	4064(%edx), %zmm6	 # AVX512DQ Disp8
27	vbroadcasti32x8	4096(%edx), %zmm6	 # AVX512DQ
28	vbroadcasti32x8	-4096(%edx), %zmm6	 # AVX512DQ Disp8
29	vbroadcasti32x8	-4128(%edx), %zmm6	 # AVX512DQ
30	vbroadcasti64x2	(%ecx), %zmm6	 # AVX512DQ
31	vbroadcasti64x2	(%ecx), %zmm6{%k7}	 # AVX512DQ
32	vbroadcasti64x2	(%ecx), %zmm6{%k7}{z}	 # AVX512DQ
33	vbroadcasti64x2	-123456(%esp,%esi,8), %zmm6	 # AVX512DQ
34	vbroadcasti64x2	2032(%edx), %zmm6	 # AVX512DQ Disp8
35	vbroadcasti64x2	2048(%edx), %zmm6	 # AVX512DQ
36	vbroadcasti64x2	-2048(%edx), %zmm6	 # AVX512DQ Disp8
37	vbroadcasti64x2	-2064(%edx), %zmm6	 # AVX512DQ
38	vbroadcastf32x2	%xmm7, %zmm6	 # AVX512DQ
39	vbroadcastf32x2	%xmm7, %zmm6{%k7}	 # AVX512DQ
40	vbroadcastf32x2	%xmm7, %zmm6{%k7}{z}	 # AVX512DQ
41	vbroadcastf32x2	(%ecx), %zmm6	 # AVX512DQ
42	vbroadcastf32x2	-123456(%esp,%esi,8), %zmm6	 # AVX512DQ
43	vbroadcastf32x2	1016(%edx), %zmm6	 # AVX512DQ Disp8
44	vbroadcastf32x2	1024(%edx), %zmm6	 # AVX512DQ
45	vbroadcastf32x2	-1024(%edx), %zmm6	 # AVX512DQ Disp8
46	vbroadcastf32x2	-1032(%edx), %zmm6	 # AVX512DQ
47	vcvtpd2qq	%zmm5, %zmm6	 # AVX512DQ
48	vcvtpd2qq	%zmm5, %zmm6{%k7}	 # AVX512DQ
49	vcvtpd2qq	%zmm5, %zmm6{%k7}{z}	 # AVX512DQ
50	vcvtpd2qq	{rn-sae}, %zmm5, %zmm6	 # AVX512DQ
51	vcvtpd2qq	{ru-sae}, %zmm5, %zmm6	 # AVX512DQ
52	vcvtpd2qq	{rd-sae}, %zmm5, %zmm6	 # AVX512DQ
53	vcvtpd2qq	{rz-sae}, %zmm5, %zmm6	 # AVX512DQ
54	vcvtpd2qq	(%ecx), %zmm6	 # AVX512DQ
55	vcvtpd2qq	-123456(%esp,%esi,8), %zmm6	 # AVX512DQ
56	vcvtpd2qq	(%eax){1to8}, %zmm6	 # AVX512DQ
57	vcvtpd2qq	8128(%edx), %zmm6	 # AVX512DQ Disp8
58	vcvtpd2qq	8192(%edx), %zmm6	 # AVX512DQ
59	vcvtpd2qq	-8192(%edx), %zmm6	 # AVX512DQ Disp8
60	vcvtpd2qq	-8256(%edx), %zmm6	 # AVX512DQ
61	vcvtpd2qq	1016(%edx){1to8}, %zmm6	 # AVX512DQ Disp8
62	vcvtpd2qq	1024(%edx){1to8}, %zmm6	 # AVX512DQ
63	vcvtpd2qq	-1024(%edx){1to8}, %zmm6	 # AVX512DQ Disp8
64	vcvtpd2qq	-1032(%edx){1to8}, %zmm6	 # AVX512DQ
65	vcvtpd2uqq	%zmm5, %zmm6	 # AVX512DQ
66	vcvtpd2uqq	%zmm5, %zmm6{%k7}	 # AVX512DQ
67	vcvtpd2uqq	%zmm5, %zmm6{%k7}{z}	 # AVX512DQ
68	vcvtpd2uqq	{rn-sae}, %zmm5, %zmm6	 # AVX512DQ
69	vcvtpd2uqq	{ru-sae}, %zmm5, %zmm6	 # AVX512DQ
70	vcvtpd2uqq	{rd-sae}, %zmm5, %zmm6	 # AVX512DQ
71	vcvtpd2uqq	{rz-sae}, %zmm5, %zmm6	 # AVX512DQ
72	vcvtpd2uqq	(%ecx), %zmm6	 # AVX512DQ
73	vcvtpd2uqq	-123456(%esp,%esi,8), %zmm6	 # AVX512DQ
74	vcvtpd2uqq	(%eax){1to8}, %zmm6	 # AVX512DQ
75	vcvtpd2uqq	8128(%edx), %zmm6	 # AVX512DQ Disp8
76	vcvtpd2uqq	8192(%edx), %zmm6	 # AVX512DQ
77	vcvtpd2uqq	-8192(%edx), %zmm6	 # AVX512DQ Disp8
78	vcvtpd2uqq	-8256(%edx), %zmm6	 # AVX512DQ
79	vcvtpd2uqq	1016(%edx){1to8}, %zmm6	 # AVX512DQ Disp8
80	vcvtpd2uqq	1024(%edx){1to8}, %zmm6	 # AVX512DQ
81	vcvtpd2uqq	-1024(%edx){1to8}, %zmm6	 # AVX512DQ Disp8
82	vcvtpd2uqq	-1032(%edx){1to8}, %zmm6	 # AVX512DQ
83	vcvtps2qq	%ymm5, %zmm6{%k7}	 # AVX512DQ
84	vcvtps2qq	%ymm5, %zmm6{%k7}{z}	 # AVX512DQ
85	vcvtps2qq	{rn-sae}, %ymm5, %zmm6{%k7}	 # AVX512DQ
86	vcvtps2qq	{ru-sae}, %ymm5, %zmm6{%k7}	 # AVX512DQ
87	vcvtps2qq	{rd-sae}, %ymm5, %zmm6{%k7}	 # AVX512DQ
88	vcvtps2qq	{rz-sae}, %ymm5, %zmm6{%k7}	 # AVX512DQ
89	vcvtps2qq	(%ecx), %zmm6{%k7}	 # AVX512DQ
90	vcvtps2qq	-123456(%esp,%esi,8), %zmm6{%k7}	 # AVX512DQ
91	vcvtps2qq	(%eax){1to8}, %zmm6{%k7}	 # AVX512DQ
92	vcvtps2qq	4064(%edx), %zmm6{%k7}	 # AVX512DQ Disp8
93	vcvtps2qq	4096(%edx), %zmm6{%k7}	 # AVX512DQ
94	vcvtps2qq	-4096(%edx), %zmm6{%k7}	 # AVX512DQ Disp8
95	vcvtps2qq	-4128(%edx), %zmm6{%k7}	 # AVX512DQ
96	vcvtps2qq	508(%edx){1to8}, %zmm6{%k7}	 # AVX512DQ Disp8
97	vcvtps2qq	512(%edx){1to8}, %zmm6{%k7}	 # AVX512DQ
98	vcvtps2qq	-512(%edx){1to8}, %zmm6{%k7}	 # AVX512DQ Disp8
99	vcvtps2qq	-516(%edx){1to8}, %zmm6{%k7}	 # AVX512DQ
100	vcvtps2uqq	%ymm5, %zmm6{%k7}	 # AVX512DQ
101	vcvtps2uqq	%ymm5, %zmm6{%k7}{z}	 # AVX512DQ
102	vcvtps2uqq	{rn-sae}, %ymm5, %zmm6{%k7}	 # AVX512DQ
103	vcvtps2uqq	{ru-sae}, %ymm5, %zmm6{%k7}	 # AVX512DQ
104	vcvtps2uqq	{rd-sae}, %ymm5, %zmm6{%k7}	 # AVX512DQ
105	vcvtps2uqq	{rz-sae}, %ymm5, %zmm6{%k7}	 # AVX512DQ
106	vcvtps2uqq	(%ecx), %zmm6{%k7}	 # AVX512DQ
107	vcvtps2uqq	-123456(%esp,%esi,8), %zmm6{%k7}	 # AVX512DQ
108	vcvtps2uqq	(%eax){1to8}, %zmm6{%k7}	 # AVX512DQ
109	vcvtps2uqq	4064(%edx), %zmm6{%k7}	 # AVX512DQ Disp8
110	vcvtps2uqq	4096(%edx), %zmm6{%k7}	 # AVX512DQ
111	vcvtps2uqq	-4096(%edx), %zmm6{%k7}	 # AVX512DQ Disp8
112	vcvtps2uqq	-4128(%edx), %zmm6{%k7}	 # AVX512DQ
113	vcvtps2uqq	508(%edx){1to8}, %zmm6{%k7}	 # AVX512DQ Disp8
114	vcvtps2uqq	512(%edx){1to8}, %zmm6{%k7}	 # AVX512DQ
115	vcvtps2uqq	-512(%edx){1to8}, %zmm6{%k7}	 # AVX512DQ Disp8
116	vcvtps2uqq	-516(%edx){1to8}, %zmm6{%k7}	 # AVX512DQ
117	vcvtqq2pd	%zmm5, %zmm6	 # AVX512DQ
118	vcvtqq2pd	%zmm5, %zmm6{%k7}	 # AVX512DQ
119	vcvtqq2pd	%zmm5, %zmm6{%k7}{z}	 # AVX512DQ
120	vcvtqq2pd	{rn-sae}, %zmm5, %zmm6	 # AVX512DQ
121	vcvtqq2pd	{ru-sae}, %zmm5, %zmm6	 # AVX512DQ
122	vcvtqq2pd	{rd-sae}, %zmm5, %zmm6	 # AVX512DQ
123	vcvtqq2pd	{rz-sae}, %zmm5, %zmm6	 # AVX512DQ
124	vcvtqq2pd	(%ecx), %zmm6	 # AVX512DQ
125	vcvtqq2pd	-123456(%esp,%esi,8), %zmm6	 # AVX512DQ
126	vcvtqq2pd	(%eax){1to8}, %zmm6	 # AVX512DQ
127	vcvtqq2pd	8128(%edx), %zmm6	 # AVX512DQ Disp8
128	vcvtqq2pd	8192(%edx), %zmm6	 # AVX512DQ
129	vcvtqq2pd	-8192(%edx), %zmm6	 # AVX512DQ Disp8
130	vcvtqq2pd	-8256(%edx), %zmm6	 # AVX512DQ
131	vcvtqq2pd	1016(%edx){1to8}, %zmm6	 # AVX512DQ Disp8
132	vcvtqq2pd	1024(%edx){1to8}, %zmm6	 # AVX512DQ
133	vcvtqq2pd	-1024(%edx){1to8}, %zmm6	 # AVX512DQ Disp8
134	vcvtqq2pd	-1032(%edx){1to8}, %zmm6	 # AVX512DQ
135	vcvtqq2ps	%zmm5, %ymm6{%k7}	 # AVX512DQ
136	vcvtqq2ps	%zmm5, %ymm6{%k7}{z}	 # AVX512DQ
137	vcvtqq2ps	{rn-sae}, %zmm5, %ymm6{%k7}	 # AVX512DQ
138	vcvtqq2ps	{ru-sae}, %zmm5, %ymm6{%k7}	 # AVX512DQ
139	vcvtqq2ps	{rd-sae}, %zmm5, %ymm6{%k7}	 # AVX512DQ
140	vcvtqq2ps	{rz-sae}, %zmm5, %ymm6{%k7}	 # AVX512DQ
141	vcvtqq2ps	(%ecx), %ymm6{%k7}	 # AVX512DQ
142	vcvtqq2ps	-123456(%esp,%esi,8), %ymm6{%k7}	 # AVX512DQ
143	vcvtqq2ps	(%eax){1to8}, %ymm6{%k7}	 # AVX512DQ
144	vcvtqq2ps	8128(%edx), %ymm6{%k7}	 # AVX512DQ Disp8
145	vcvtqq2ps	8192(%edx), %ymm6{%k7}	 # AVX512DQ
146	vcvtqq2ps	-8192(%edx), %ymm6{%k7}	 # AVX512DQ Disp8
147	vcvtqq2ps	-8256(%edx), %ymm6{%k7}	 # AVX512DQ
148	vcvtqq2ps	1016(%edx){1to8}, %ymm6{%k7}	 # AVX512DQ Disp8
149	vcvtqq2ps	1024(%edx){1to8}, %ymm6{%k7}	 # AVX512DQ
150	vcvtqq2ps	-1024(%edx){1to8}, %ymm6{%k7}	 # AVX512DQ Disp8
151	vcvtqq2ps	-1032(%edx){1to8}, %ymm6{%k7}	 # AVX512DQ
152	vcvtuqq2pd	%zmm5, %zmm6	 # AVX512DQ
153	vcvtuqq2pd	%zmm5, %zmm6{%k7}	 # AVX512DQ
154	vcvtuqq2pd	%zmm5, %zmm6{%k7}{z}	 # AVX512DQ
155	vcvtuqq2pd	{rn-sae}, %zmm5, %zmm6	 # AVX512DQ
156	vcvtuqq2pd	{ru-sae}, %zmm5, %zmm6	 # AVX512DQ
157	vcvtuqq2pd	{rd-sae}, %zmm5, %zmm6	 # AVX512DQ
158	vcvtuqq2pd	{rz-sae}, %zmm5, %zmm6	 # AVX512DQ
159	vcvtuqq2pd	(%ecx), %zmm6	 # AVX512DQ
160	vcvtuqq2pd	-123456(%esp,%esi,8), %zmm6	 # AVX512DQ
161	vcvtuqq2pd	(%eax){1to8}, %zmm6	 # AVX512DQ
162	vcvtuqq2pd	8128(%edx), %zmm6	 # AVX512DQ Disp8
163	vcvtuqq2pd	8192(%edx), %zmm6	 # AVX512DQ
164	vcvtuqq2pd	-8192(%edx), %zmm6	 # AVX512DQ Disp8
165	vcvtuqq2pd	-8256(%edx), %zmm6	 # AVX512DQ
166	vcvtuqq2pd	1016(%edx){1to8}, %zmm6	 # AVX512DQ Disp8
167	vcvtuqq2pd	1024(%edx){1to8}, %zmm6	 # AVX512DQ
168	vcvtuqq2pd	-1024(%edx){1to8}, %zmm6	 # AVX512DQ Disp8
169	vcvtuqq2pd	-1032(%edx){1to8}, %zmm6	 # AVX512DQ
170	vcvtuqq2ps	%zmm5, %ymm6{%k7}	 # AVX512DQ
171	vcvtuqq2ps	%zmm5, %ymm6{%k7}{z}	 # AVX512DQ
172	vcvtuqq2ps	{rn-sae}, %zmm5, %ymm6{%k7}	 # AVX512DQ
173	vcvtuqq2ps	{ru-sae}, %zmm5, %ymm6{%k7}	 # AVX512DQ
174	vcvtuqq2ps	{rd-sae}, %zmm5, %ymm6{%k7}	 # AVX512DQ
175	vcvtuqq2ps	{rz-sae}, %zmm5, %ymm6{%k7}	 # AVX512DQ
176	vcvtuqq2ps	(%ecx), %ymm6{%k7}	 # AVX512DQ
177	vcvtuqq2ps	-123456(%esp,%esi,8), %ymm6{%k7}	 # AVX512DQ
178	vcvtuqq2ps	(%eax){1to8}, %ymm6{%k7}	 # AVX512DQ
179	vcvtuqq2ps	8128(%edx), %ymm6{%k7}	 # AVX512DQ Disp8
180	vcvtuqq2ps	8192(%edx), %ymm6{%k7}	 # AVX512DQ
181	vcvtuqq2ps	-8192(%edx), %ymm6{%k7}	 # AVX512DQ Disp8
182	vcvtuqq2ps	-8256(%edx), %ymm6{%k7}	 # AVX512DQ
183	vcvtuqq2ps	1016(%edx){1to8}, %ymm6{%k7}	 # AVX512DQ Disp8
184	vcvtuqq2ps	1024(%edx){1to8}, %ymm6{%k7}	 # AVX512DQ
185	vcvtuqq2ps	-1024(%edx){1to8}, %ymm6{%k7}	 # AVX512DQ Disp8
186	vcvtuqq2ps	-1032(%edx){1to8}, %ymm6{%k7}	 # AVX512DQ
187	vextractf64x2	$0xab, %zmm5, %xmm6{%k7}	 # AVX512DQ
188	vextractf64x2	$0xab, %zmm5, %xmm6{%k7}{z}	 # AVX512DQ
189	vextractf64x2	$123, %zmm5, %xmm6{%k7}	 # AVX512DQ
190	vextractf32x8	$0xab, %zmm5, %ymm6{%k7}	 # AVX512DQ
191	vextractf32x8	$0xab, %zmm5, %ymm6{%k7}{z}	 # AVX512DQ
192	vextractf32x8	$123, %zmm5, %ymm6{%k7}	 # AVX512DQ
193	vextracti64x2	$0xab, %zmm5, %xmm6{%k7}	 # AVX512DQ
194	vextracti64x2	$0xab, %zmm5, %xmm6{%k7}{z}	 # AVX512DQ
195	vextracti64x2	$123, %zmm5, %xmm6{%k7}	 # AVX512DQ
196	vextracti32x8	$0xab, %zmm5, %ymm6{%k7}	 # AVX512DQ
197	vextracti32x8	$0xab, %zmm5, %ymm6{%k7}{z}	 # AVX512DQ
198	vextracti32x8	$123, %zmm5, %ymm6{%k7}	 # AVX512DQ
199	vfpclasspd	$0xab, %zmm6, %k5	 # AVX512DQ
200	vfpclasspd	$0xab, %zmm6, %k5{%k7}	 # AVX512DQ
201	vfpclasspd	$123, %zmm6, %k5	 # AVX512DQ
202	vfpclasspdz	$123, (%ecx), %k5	 # AVX512DQ
203	vfpclasspdz	$123, -123456(%esp,%esi,8), %k5	 # AVX512DQ
204	vfpclasspd	$123, (%eax){1to8}, %k5	 # AVX512DQ
205	vfpclasspdz	$123, 8128(%edx), %k5	 # AVX512DQ Disp8
206	vfpclasspdz	$123, 8192(%edx), %k5	 # AVX512DQ
207	vfpclasspdz	$123, -8192(%edx), %k5	 # AVX512DQ Disp8
208	vfpclasspdz	$123, -8256(%edx), %k5	 # AVX512DQ
209	vfpclasspdz	$123, 1016(%edx){1to8}, %k5	 # AVX512DQ Disp8
210	vfpclasspdz	$123, 1024(%edx){1to8}, %k5	 # AVX512DQ
211	vfpclasspdz	$123, -1024(%edx){1to8}, %k5	 # AVX512DQ Disp8
212	vfpclasspdz	$123, -1032(%edx){1to8}, %k5	 # AVX512DQ
213	vfpclassps	$0xab, %zmm6, %k5	 # AVX512DQ
214	vfpclassps	$0xab, %zmm6, %k5{%k7}	 # AVX512DQ
215	vfpclassps	$123, %zmm6, %k5	 # AVX512DQ
216	vfpclasspsz	$123, (%ecx), %k5	 # AVX512DQ
217	vfpclasspsz	$123, -123456(%esp,%esi,8), %k5	 # AVX512DQ
218	vfpclassps	$123, (%eax){1to16}, %k5	 # AVX512DQ
219	vfpclasspsz	$123, 8128(%edx), %k5	 # AVX512DQ Disp8
220	vfpclasspsz	$123, 8192(%edx), %k5	 # AVX512DQ
221	vfpclasspsz	$123, -8192(%edx), %k5	 # AVX512DQ Disp8
222	vfpclasspsz	$123, -8256(%edx), %k5	 # AVX512DQ
223	vfpclasspsz	$123, 508(%edx){1to16}, %k5	 # AVX512DQ Disp8
224	vfpclasspsz	$123, 512(%edx){1to16}, %k5	 # AVX512DQ
225	vfpclasspsz	$123, -512(%edx){1to16}, %k5	 # AVX512DQ Disp8
226	vfpclasspsz	$123, -516(%edx){1to16}, %k5	 # AVX512DQ
227	vfpclasssd	$0xab, %xmm6, %k5{%k7}	 # AVX512DQ
228	vfpclasssd	$123, %xmm6, %k5{%k7}	 # AVX512DQ
229	vfpclasssd	$123, (%ecx), %k5{%k7}	 # AVX512DQ
230	vfpclasssd	$123, -123456(%esp,%esi,8), %k5{%k7}	 # AVX512DQ
231	vfpclasssd	$123, 1016(%edx), %k5{%k7}	 # AVX512DQ Disp8
232	vfpclasssd	$123, 1024(%edx), %k5{%k7}	 # AVX512DQ
233	vfpclasssd	$123, -1024(%edx), %k5{%k7}	 # AVX512DQ Disp8
234	vfpclasssd	$123, -1032(%edx), %k5{%k7}	 # AVX512DQ
235	vfpclassss	$0xab, %xmm6, %k5{%k7}	 # AVX512DQ
236	vfpclassss	$123, %xmm6, %k5{%k7}	 # AVX512DQ
237	vfpclassss	$123, (%ecx), %k5{%k7}	 # AVX512DQ
238	vfpclassss	$123, -123456(%esp,%esi,8), %k5{%k7}	 # AVX512DQ
239	vfpclassss	$123, 508(%edx), %k5{%k7}	 # AVX512DQ Disp8
240	vfpclassss	$123, 512(%edx), %k5{%k7}	 # AVX512DQ
241	vfpclassss	$123, -512(%edx), %k5{%k7}	 # AVX512DQ Disp8
242	vfpclassss	$123, -516(%edx), %k5{%k7}	 # AVX512DQ
243	vinsertf64x2	$0xab, %xmm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
244	vinsertf64x2	$0xab, %xmm4, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
245	vinsertf64x2	$123, %xmm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
246	vinsertf64x2	$123, (%ecx), %zmm5, %zmm6{%k7}	 # AVX512DQ
247	vinsertf64x2	$123, -123456(%esp,%esi,8), %zmm5, %zmm6{%k7}	 # AVX512DQ
248	vinsertf64x2	$123, 2032(%edx), %zmm5, %zmm6{%k7}	 # AVX512DQ Disp8
249	vinsertf64x2	$123, 2048(%edx), %zmm5, %zmm6{%k7}	 # AVX512DQ
250	vinsertf64x2	$123, -2048(%edx), %zmm5, %zmm6{%k7}	 # AVX512DQ Disp8
251	vinsertf64x2	$123, -2064(%edx), %zmm5, %zmm6{%k7}	 # AVX512DQ
252	vinsertf32x8	$0xab, %ymm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
253	vinsertf32x8	$0xab, %ymm4, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
254	vinsertf32x8	$123, %ymm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
255	vinsertf32x8	$123, (%ecx), %zmm5, %zmm6{%k7}	 # AVX512DQ
256	vinsertf32x8	$123, -123456(%esp,%esi,8), %zmm5, %zmm6{%k7}	 # AVX512DQ
257	vinsertf32x8	$123, 4064(%edx), %zmm5, %zmm6{%k7}	 # AVX512DQ Disp8
258	vinsertf32x8	$123, 4096(%edx), %zmm5, %zmm6{%k7}	 # AVX512DQ
259	vinsertf32x8	$123, -4096(%edx), %zmm5, %zmm6{%k7}	 # AVX512DQ Disp8
260	vinsertf32x8	$123, -4128(%edx), %zmm5, %zmm6{%k7}	 # AVX512DQ
261	vinserti64x2	$0xab, %xmm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
262	vinserti64x2	$0xab, %xmm4, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
263	vinserti64x2	$123, %xmm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
264	vinserti64x2	$123, (%ecx), %zmm5, %zmm6{%k7}	 # AVX512DQ
265	vinserti64x2	$123, -123456(%esp,%esi,8), %zmm5, %zmm6{%k7}	 # AVX512DQ
266	vinserti64x2	$123, 2032(%edx), %zmm5, %zmm6{%k7}	 # AVX512DQ Disp8
267	vinserti64x2	$123, 2048(%edx), %zmm5, %zmm6{%k7}	 # AVX512DQ
268	vinserti64x2	$123, -2048(%edx), %zmm5, %zmm6{%k7}	 # AVX512DQ Disp8
269	vinserti64x2	$123, -2064(%edx), %zmm5, %zmm6{%k7}	 # AVX512DQ
270	vinserti32x8	$0xab, %ymm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
271	vinserti32x8	$0xab, %ymm4, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
272	vinserti32x8	$123, %ymm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
273	vinserti32x8	$123, (%ecx), %zmm5, %zmm6{%k7}	 # AVX512DQ
274	vinserti32x8	$123, -123456(%esp,%esi,8), %zmm5, %zmm6{%k7}	 # AVX512DQ
275	vinserti32x8	$123, 4064(%edx), %zmm5, %zmm6{%k7}	 # AVX512DQ Disp8
276	vinserti32x8	$123, 4096(%edx), %zmm5, %zmm6{%k7}	 # AVX512DQ
277	vinserti32x8	$123, -4096(%edx), %zmm5, %zmm6{%k7}	 # AVX512DQ Disp8
278	vinserti32x8	$123, -4128(%edx), %zmm5, %zmm6{%k7}	 # AVX512DQ
279	vbroadcasti32x2	%xmm7, %zmm6	 # AVX512DQ
280	vbroadcasti32x2	%xmm7, %zmm6{%k7}	 # AVX512DQ
281	vbroadcasti32x2	%xmm7, %zmm6{%k7}{z}	 # AVX512DQ
282	vbroadcasti32x2	(%ecx), %zmm6	 # AVX512DQ
283	vbroadcasti32x2	-123456(%esp,%esi,8), %zmm6	 # AVX512DQ
284	vbroadcasti32x2	1016(%edx), %zmm6	 # AVX512DQ Disp8
285	vbroadcasti32x2	1024(%edx), %zmm6	 # AVX512DQ
286	vbroadcasti32x2	-1024(%edx), %zmm6	 # AVX512DQ Disp8
287	vbroadcasti32x2	-1032(%edx), %zmm6	 # AVX512DQ
288	vpmullq	%zmm4, %zmm5, %zmm6	 # AVX512DQ
289	vpmullq	%zmm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
290	vpmullq	%zmm4, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
291	vpmullq	(%ecx), %zmm5, %zmm6	 # AVX512DQ
292	vpmullq	-123456(%esp,%esi,8), %zmm5, %zmm6	 # AVX512DQ
293	vpmullq	(%eax){1to8}, %zmm5, %zmm6	 # AVX512DQ
294	vpmullq	8128(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
295	vpmullq	8192(%edx), %zmm5, %zmm6	 # AVX512DQ
296	vpmullq	-8192(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
297	vpmullq	-8256(%edx), %zmm5, %zmm6	 # AVX512DQ
298	vpmullq	1016(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ Disp8
299	vpmullq	1024(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ
300	vpmullq	-1024(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ Disp8
301	vpmullq	-1032(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ
302	vrangepd	$0xab, %zmm4, %zmm5, %zmm6	 # AVX512DQ
303	vrangepd	$0xab, %zmm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
304	vrangepd	$0xab, %zmm4, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
305	vrangepd	$0xab, {sae}, %zmm4, %zmm5, %zmm6	 # AVX512DQ
306	vrangepd	$123, %zmm4, %zmm5, %zmm6	 # AVX512DQ
307	vrangepd	$123, {sae}, %zmm4, %zmm5, %zmm6	 # AVX512DQ
308	vrangepd	$123, (%ecx), %zmm5, %zmm6	 # AVX512DQ
309	vrangepd	$123, -123456(%esp,%esi,8), %zmm5, %zmm6	 # AVX512DQ
310	vrangepd	$123, (%eax){1to8}, %zmm5, %zmm6	 # AVX512DQ
311	vrangepd	$123, 8128(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
312	vrangepd	$123, 8192(%edx), %zmm5, %zmm6	 # AVX512DQ
313	vrangepd	$123, -8192(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
314	vrangepd	$123, -8256(%edx), %zmm5, %zmm6	 # AVX512DQ
315	vrangepd	$123, 1016(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ Disp8
316	vrangepd	$123, 1024(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ
317	vrangepd	$123, -1024(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ Disp8
318	vrangepd	$123, -1032(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ
319	vrangeps	$0xab, %zmm4, %zmm5, %zmm6	 # AVX512DQ
320	vrangeps	$0xab, %zmm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
321	vrangeps	$0xab, %zmm4, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
322	vrangeps	$0xab, {sae}, %zmm4, %zmm5, %zmm6	 # AVX512DQ
323	vrangeps	$123, %zmm4, %zmm5, %zmm6	 # AVX512DQ
324	vrangeps	$123, {sae}, %zmm4, %zmm5, %zmm6	 # AVX512DQ
325	vrangeps	$123, (%ecx), %zmm5, %zmm6	 # AVX512DQ
326	vrangeps	$123, -123456(%esp,%esi,8), %zmm5, %zmm6	 # AVX512DQ
327	vrangeps	$123, (%eax){1to16}, %zmm5, %zmm6	 # AVX512DQ
328	vrangeps	$123, 8128(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
329	vrangeps	$123, 8192(%edx), %zmm5, %zmm6	 # AVX512DQ
330	vrangeps	$123, -8192(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
331	vrangeps	$123, -8256(%edx), %zmm5, %zmm6	 # AVX512DQ
332	vrangeps	$123, 508(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ Disp8
333	vrangeps	$123, 512(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ
334	vrangeps	$123, -512(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ Disp8
335	vrangeps	$123, -516(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ
336	vrangesd	$0xab, %xmm4, %xmm5, %xmm6{%k7}	 # AVX512DQ
337	vrangesd	$0xab, %xmm4, %xmm5, %xmm6{%k7}{z}	 # AVX512DQ
338	vrangesd	$0xab, {sae}, %xmm4, %xmm5, %xmm6{%k7}	 # AVX512DQ
339	vrangesd	$123, %xmm4, %xmm5, %xmm6{%k7}	 # AVX512DQ
340	vrangesd	$123, {sae}, %xmm4, %xmm5, %xmm6{%k7}	 # AVX512DQ
341	vrangesd	$123, (%ecx), %xmm5, %xmm6{%k7}	 # AVX512DQ
342	vrangesd	$123, -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}	 # AVX512DQ
343	vrangesd	$123, 1016(%edx), %xmm5, %xmm6{%k7}	 # AVX512DQ Disp8
344	vrangesd	$123, 1024(%edx), %xmm5, %xmm6{%k7}	 # AVX512DQ
345	vrangesd	$123, -1024(%edx), %xmm5, %xmm6{%k7}	 # AVX512DQ Disp8
346	vrangesd	$123, -1032(%edx), %xmm5, %xmm6{%k7}	 # AVX512DQ
347	vrangess	$0xab, %xmm4, %xmm5, %xmm6{%k7}	 # AVX512DQ
348	vrangess	$0xab, %xmm4, %xmm5, %xmm6{%k7}{z}	 # AVX512DQ
349	vrangess	$0xab, {sae}, %xmm4, %xmm5, %xmm6{%k7}	 # AVX512DQ
350	vrangess	$123, %xmm4, %xmm5, %xmm6{%k7}	 # AVX512DQ
351	vrangess	$123, {sae}, %xmm4, %xmm5, %xmm6{%k7}	 # AVX512DQ
352	vrangess	$123, (%ecx), %xmm5, %xmm6{%k7}	 # AVX512DQ
353	vrangess	$123, -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}	 # AVX512DQ
354	vrangess	$123, 508(%edx), %xmm5, %xmm6{%k7}	 # AVX512DQ Disp8
355	vrangess	$123, 512(%edx), %xmm5, %xmm6{%k7}	 # AVX512DQ
356	vrangess	$123, -512(%edx), %xmm5, %xmm6{%k7}	 # AVX512DQ Disp8
357	vrangess	$123, -516(%edx), %xmm5, %xmm6{%k7}	 # AVX512DQ
358	vandpd	%zmm4, %zmm5, %zmm6	 # AVX512DQ
359	vandpd	%zmm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
360	vandpd	%zmm4, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
361	vandpd	(%ecx), %zmm5, %zmm6	 # AVX512DQ
362	vandpd	-123456(%esp,%esi,8), %zmm5, %zmm6	 # AVX512DQ
363	vandpd	(%eax){1to8}, %zmm5, %zmm6	 # AVX512DQ
364	vandpd	8128(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
365	vandpd	8192(%edx), %zmm5, %zmm6	 # AVX512DQ
366	vandpd	-8192(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
367	vandpd	-8256(%edx), %zmm5, %zmm6	 # AVX512DQ
368	vandpd	1016(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ Disp8
369	vandpd	1024(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ
370	vandpd	-1024(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ Disp8
371	vandpd	-1032(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ
372	vandps	%zmm4, %zmm5, %zmm6	 # AVX512DQ
373	vandps	%zmm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
374	vandps	%zmm4, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
375	vandps	(%ecx), %zmm5, %zmm6	 # AVX512DQ
376	vandps	-123456(%esp,%esi,8), %zmm5, %zmm6	 # AVX512DQ
377	vandps	(%eax){1to16}, %zmm5, %zmm6	 # AVX512DQ
378	vandps	8128(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
379	vandps	8192(%edx), %zmm5, %zmm6	 # AVX512DQ
380	vandps	-8192(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
381	vandps	-8256(%edx), %zmm5, %zmm6	 # AVX512DQ
382	vandps	508(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ Disp8
383	vandps	512(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ
384	vandps	-512(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ Disp8
385	vandps	-516(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ
386	vandnpd	%zmm4, %zmm5, %zmm6	 # AVX512DQ
387	vandnpd	%zmm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
388	vandnpd	%zmm4, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
389	vandnpd	(%ecx), %zmm5, %zmm6	 # AVX512DQ
390	vandnpd	-123456(%esp,%esi,8), %zmm5, %zmm6	 # AVX512DQ
391	vandnpd	(%eax){1to8}, %zmm5, %zmm6	 # AVX512DQ
392	vandnpd	8128(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
393	vandnpd	8192(%edx), %zmm5, %zmm6	 # AVX512DQ
394	vandnpd	-8192(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
395	vandnpd	-8256(%edx), %zmm5, %zmm6	 # AVX512DQ
396	vandnpd	1016(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ Disp8
397	vandnpd	1024(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ
398	vandnpd	-1024(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ Disp8
399	vandnpd	-1032(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ
400	vandnps	%zmm4, %zmm5, %zmm6	 # AVX512DQ
401	vandnps	%zmm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
402	vandnps	%zmm4, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
403	vandnps	(%ecx), %zmm5, %zmm6	 # AVX512DQ
404	vandnps	-123456(%esp,%esi,8), %zmm5, %zmm6	 # AVX512DQ
405	vandnps	(%eax){1to16}, %zmm5, %zmm6	 # AVX512DQ
406	vandnps	8128(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
407	vandnps	8192(%edx), %zmm5, %zmm6	 # AVX512DQ
408	vandnps	-8192(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
409	vandnps	-8256(%edx), %zmm5, %zmm6	 # AVX512DQ
410	vandnps	508(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ Disp8
411	vandnps	512(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ
412	vandnps	-512(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ Disp8
413	vandnps	-516(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ
414	vorpd	%zmm4, %zmm5, %zmm6	 # AVX512DQ
415	vorpd	%zmm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
416	vorpd	%zmm4, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
417	vorpd	(%ecx), %zmm5, %zmm6	 # AVX512DQ
418	vorpd	-123456(%esp,%esi,8), %zmm5, %zmm6	 # AVX512DQ
419	vorpd	(%eax){1to8}, %zmm5, %zmm6	 # AVX512DQ
420	vorpd	8128(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
421	vorpd	8192(%edx), %zmm5, %zmm6	 # AVX512DQ
422	vorpd	-8192(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
423	vorpd	-8256(%edx), %zmm5, %zmm6	 # AVX512DQ
424	vorpd	1016(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ Disp8
425	vorpd	1024(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ
426	vorpd	-1024(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ Disp8
427	vorpd	-1032(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ
428	vorps	%zmm4, %zmm5, %zmm6	 # AVX512DQ
429	vorps	%zmm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
430	vorps	%zmm4, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
431	vorps	(%ecx), %zmm5, %zmm6	 # AVX512DQ
432	vorps	-123456(%esp,%esi,8), %zmm5, %zmm6	 # AVX512DQ
433	vorps	(%eax){1to16}, %zmm5, %zmm6	 # AVX512DQ
434	vorps	8128(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
435	vorps	8192(%edx), %zmm5, %zmm6	 # AVX512DQ
436	vorps	-8192(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
437	vorps	-8256(%edx), %zmm5, %zmm6	 # AVX512DQ
438	vorps	508(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ Disp8
439	vorps	512(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ
440	vorps	-512(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ Disp8
441	vorps	-516(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ
442	vxorpd	%zmm4, %zmm5, %zmm6	 # AVX512DQ
443	vxorpd	%zmm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
444	vxorpd	%zmm4, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
445	vxorpd	(%ecx), %zmm5, %zmm6	 # AVX512DQ
446	vxorpd	-123456(%esp,%esi,8), %zmm5, %zmm6	 # AVX512DQ
447	vxorpd	(%eax){1to8}, %zmm5, %zmm6	 # AVX512DQ
448	vxorpd	8128(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
449	vxorpd	8192(%edx), %zmm5, %zmm6	 # AVX512DQ
450	vxorpd	-8192(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
451	vxorpd	-8256(%edx), %zmm5, %zmm6	 # AVX512DQ
452	vxorpd	1016(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ Disp8
453	vxorpd	1024(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ
454	vxorpd	-1024(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ Disp8
455	vxorpd	-1032(%edx){1to8}, %zmm5, %zmm6	 # AVX512DQ
456	vxorps	%zmm4, %zmm5, %zmm6	 # AVX512DQ
457	vxorps	%zmm4, %zmm5, %zmm6{%k7}	 # AVX512DQ
458	vxorps	%zmm4, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
459	vxorps	(%ecx), %zmm5, %zmm6	 # AVX512DQ
460	vxorps	-123456(%esp,%esi,8), %zmm5, %zmm6	 # AVX512DQ
461	vxorps	(%eax){1to16}, %zmm5, %zmm6	 # AVX512DQ
462	vxorps	8128(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
463	vxorps	8192(%edx), %zmm5, %zmm6	 # AVX512DQ
464	vxorps	-8192(%edx), %zmm5, %zmm6	 # AVX512DQ Disp8
465	vxorps	-8256(%edx), %zmm5, %zmm6	 # AVX512DQ
466	vxorps	508(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ Disp8
467	vxorps	512(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ
468	vxorps	-512(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ Disp8
469	vxorps	-516(%edx){1to16}, %zmm5, %zmm6	 # AVX512DQ
470	vreducepd	$0xab, %zmm5, %zmm6	 # AVX512DQ
471	vreducepd	$0xab, %zmm5, %zmm6{%k7}	 # AVX512DQ
472	vreducepd	$0xab, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
473	vreducepd	$0xab, {sae}, %zmm5, %zmm6	 # AVX512DQ
474	vreducepd	$123, %zmm5, %zmm6	 # AVX512DQ
475	vreducepd	$123, {sae}, %zmm5, %zmm6	 # AVX512DQ
476	vreducepd	$123, (%ecx), %zmm6	 # AVX512DQ
477	vreducepd	$123, -123456(%esp,%esi,8), %zmm6	 # AVX512DQ
478	vreducepd	$123, (%eax){1to8}, %zmm6	 # AVX512DQ
479	vreducepd	$123, 8128(%edx), %zmm6	 # AVX512DQ Disp8
480	vreducepd	$123, 8192(%edx), %zmm6	 # AVX512DQ
481	vreducepd	$123, -8192(%edx), %zmm6	 # AVX512DQ Disp8
482	vreducepd	$123, -8256(%edx), %zmm6	 # AVX512DQ
483	vreducepd	$123, 1016(%edx){1to8}, %zmm6	 # AVX512DQ Disp8
484	vreducepd	$123, 1024(%edx){1to8}, %zmm6	 # AVX512DQ
485	vreducepd	$123, -1024(%edx){1to8}, %zmm6	 # AVX512DQ Disp8
486	vreducepd	$123, -1032(%edx){1to8}, %zmm6	 # AVX512DQ
487	vreduceps	$0xab, %zmm5, %zmm6	 # AVX512DQ
488	vreduceps	$0xab, %zmm5, %zmm6{%k7}	 # AVX512DQ
489	vreduceps	$0xab, %zmm5, %zmm6{%k7}{z}	 # AVX512DQ
490	vreduceps	$0xab, {sae}, %zmm5, %zmm6	 # AVX512DQ
491	vreduceps	$123, %zmm5, %zmm6	 # AVX512DQ
492	vreduceps	$123, {sae}, %zmm5, %zmm6	 # AVX512DQ
493	vreduceps	$123, (%ecx), %zmm6	 # AVX512DQ
494	vreduceps	$123, -123456(%esp,%esi,8), %zmm6	 # AVX512DQ
495	vreduceps	$123, (%eax){1to16}, %zmm6	 # AVX512DQ
496	vreduceps	$123, 8128(%edx), %zmm6	 # AVX512DQ Disp8
497	vreduceps	$123, 8192(%edx), %zmm6	 # AVX512DQ
498	vreduceps	$123, -8192(%edx), %zmm6	 # AVX512DQ Disp8
499	vreduceps	$123, -8256(%edx), %zmm6	 # AVX512DQ
500	vreduceps	$123, 508(%edx){1to16}, %zmm6	 # AVX512DQ Disp8
501	vreduceps	$123, 512(%edx){1to16}, %zmm6	 # AVX512DQ
502	vreduceps	$123, -512(%edx){1to16}, %zmm6	 # AVX512DQ Disp8
503	vreduceps	$123, -516(%edx){1to16}, %zmm6	 # AVX512DQ
504	vreducesd	$0xab, %xmm4, %xmm5, %xmm6{%k7}	 # AVX512DQ
505	vreducesd	$0xab, %xmm4, %xmm5, %xmm6{%k7}{z}	 # AVX512DQ
506	vreducesd	$0xab, {sae}, %xmm4, %xmm5, %xmm6{%k7}	 # AVX512DQ
507	vreducesd	$123, %xmm4, %xmm5, %xmm6{%k7}	 # AVX512DQ
508	vreducesd	$123, {sae}, %xmm4, %xmm5, %xmm6{%k7}	 # AVX512DQ
509	vreducesd	$123, (%ecx), %xmm5, %xmm6{%k7}	 # AVX512DQ
510	vreducesd	$123, -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}	 # AVX512DQ
511	vreducesd	$123, 1016(%edx), %xmm5, %xmm6{%k7}	 # AVX512DQ Disp8
512	vreducesd	$123, 1024(%edx), %xmm5, %xmm6{%k7}	 # AVX512DQ
513	vreducesd	$123, -1024(%edx), %xmm5, %xmm6{%k7}	 # AVX512DQ Disp8
514	vreducesd	$123, -1032(%edx), %xmm5, %xmm6{%k7}	 # AVX512DQ
515	vreducess	$0xab, %xmm4, %xmm5, %xmm6{%k7}	 # AVX512DQ
516	vreducess	$0xab, %xmm4, %xmm5, %xmm6{%k7}{z}	 # AVX512DQ
517	vreducess	$0xab, {sae}, %xmm4, %xmm5, %xmm6{%k7}	 # AVX512DQ
518	vreducess	$123, %xmm4, %xmm5, %xmm6{%k7}	 # AVX512DQ
519	vreducess	$123, {sae}, %xmm4, %xmm5, %xmm6{%k7}	 # AVX512DQ
520	vreducess	$123, (%ecx), %xmm5, %xmm6{%k7}	 # AVX512DQ
521	vreducess	$123, -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}	 # AVX512DQ
522	vreducess	$123, 508(%edx), %xmm5, %xmm6{%k7}	 # AVX512DQ Disp8
523	vreducess	$123, 512(%edx), %xmm5, %xmm6{%k7}	 # AVX512DQ
524	vreducess	$123, -512(%edx), %xmm5, %xmm6{%k7}	 # AVX512DQ Disp8
525	vreducess	$123, -516(%edx), %xmm5, %xmm6{%k7}	 # AVX512DQ
526	kandb	%k7, %k6, %k5	 # AVX512DQ
527	kandnb	%k7, %k6, %k5	 # AVX512DQ
528	korb	%k7, %k6, %k5	 # AVX512DQ
529	kxnorb	%k7, %k6, %k5	 # AVX512DQ
530	kxorb	%k7, %k6, %k5	 # AVX512DQ
531	knotb	%k6, %k5	 # AVX512DQ
532	kortestb	%k6, %k5	 # AVX512DQ
533	ktestw	%k6, %k5	 # AVX512DQ
534	ktestb	%k6, %k5	 # AVX512DQ
535	kshiftrb	$0xab, %k6, %k5	 # AVX512DQ
536	kshiftrb	$123, %k6, %k5	 # AVX512DQ
537	kshiftlb	$0xab, %k6, %k5	 # AVX512DQ
538	kshiftlb	$123, %k6, %k5	 # AVX512DQ
539	kmovb	%k6, %k5	 # AVX512DQ
540	kmovb	(%ecx), %k5	 # AVX512DQ
541	kmovb	-123456(%esp,%esi,8), %k5	 # AVX512DQ
542	kmovb	%k5, (%ecx)	 # AVX512DQ
543	kmovb	%k5, -123456(%esp,%esi,8)	 # AVX512DQ
544	kmovb	%eax, %k5	 # AVX512DQ
545	kmovb	%ebp, %k5	 # AVX512DQ
546	kmovb	%k5, %eax	 # AVX512DQ
547	kmovb	%k5, %ebp	 # AVX512DQ
548	kaddw	%k7, %k6, %k5	 # AVX512DQ
549	kaddb	%k7, %k6, %k5	 # AVX512DQ
550	vextractf64x2	$0xab, %zmm6, (%ecx)	 # AVX512DQ
551	vextractf64x2	$0xab, %zmm6, (%ecx){%k7}	 # AVX512DQ
552	vextractf64x2	$123, %zmm6, (%ecx)	 # AVX512DQ
553	vextractf64x2	$123, %zmm6, -123456(%esp,%esi,8)	 # AVX512DQ
554	vextractf64x2	$123, %zmm6, 2032(%edx)	 # AVX512DQ Disp8
555	vextractf64x2	$123, %zmm6, 2048(%edx)	 # AVX512DQ
556	vextractf64x2	$123, %zmm6, -2048(%edx)	 # AVX512DQ Disp8
557	vextractf64x2	$123, %zmm6, -2064(%edx)	 # AVX512DQ
558	vextractf32x8	$0xab, %zmm6, (%ecx)	 # AVX512DQ
559	vextractf32x8	$0xab, %zmm6, (%ecx){%k7}	 # AVX512DQ
560	vextractf32x8	$123, %zmm6, (%ecx)	 # AVX512DQ
561	vextractf32x8	$123, %zmm6, -123456(%esp,%esi,8)	 # AVX512DQ
562	vextractf32x8	$123, %zmm6, 4064(%edx)	 # AVX512DQ Disp8
563	vextractf32x8	$123, %zmm6, 4096(%edx)	 # AVX512DQ
564	vextractf32x8	$123, %zmm6, -4096(%edx)	 # AVX512DQ Disp8
565	vextractf32x8	$123, %zmm6, -4128(%edx)	 # AVX512DQ
566	vextracti64x2	$0xab, %zmm6, (%ecx)	 # AVX512DQ
567	vextracti64x2	$0xab, %zmm6, (%ecx){%k7}	 # AVX512DQ
568	vextracti64x2	$123, %zmm6, (%ecx)	 # AVX512DQ
569	vextracti64x2	$123, %zmm6, -123456(%esp,%esi,8)	 # AVX512DQ
570	vextracti64x2	$123, %zmm6, 2032(%edx)	 # AVX512DQ Disp8
571	vextracti64x2	$123, %zmm6, 2048(%edx)	 # AVX512DQ
572	vextracti64x2	$123, %zmm6, -2048(%edx)	 # AVX512DQ Disp8
573	vextracti64x2	$123, %zmm6, -2064(%edx)	 # AVX512DQ
574	vextracti32x8	$0xab, %zmm6, (%ecx)	 # AVX512DQ
575	vextracti32x8	$0xab, %zmm6, (%ecx){%k7}	 # AVX512DQ
576	vextracti32x8	$123, %zmm6, (%ecx)	 # AVX512DQ
577	vextracti32x8	$123, %zmm6, -123456(%esp,%esi,8)	 # AVX512DQ
578	vextracti32x8	$123, %zmm6, 4064(%edx)	 # AVX512DQ Disp8
579	vextracti32x8	$123, %zmm6, 4096(%edx)	 # AVX512DQ
580	vextracti32x8	$123, %zmm6, -4096(%edx)	 # AVX512DQ Disp8
581	vextracti32x8	$123, %zmm6, -4128(%edx)	 # AVX512DQ
582	vcvttpd2qq	%zmm5, %zmm6	 # AVX512DQ
583	vcvttpd2qq	%zmm5, %zmm6{%k7}	 # AVX512DQ
584	vcvttpd2qq	%zmm5, %zmm6{%k7}{z}	 # AVX512DQ
585	vcvttpd2qq	{sae}, %zmm5, %zmm6	 # AVX512DQ
586	vcvttpd2qq	(%ecx), %zmm6	 # AVX512DQ
587	vcvttpd2qq	-123456(%esp,%esi,8), %zmm6	 # AVX512DQ
588	vcvttpd2qq	(%eax){1to8}, %zmm6	 # AVX512DQ
589	vcvttpd2qq	8128(%edx), %zmm6	 # AVX512DQ Disp8
590	vcvttpd2qq	8192(%edx), %zmm6	 # AVX512DQ
591	vcvttpd2qq	-8192(%edx), %zmm6	 # AVX512DQ Disp8
592	vcvttpd2qq	-8256(%edx), %zmm6	 # AVX512DQ
593	vcvttpd2qq	1016(%edx){1to8}, %zmm6	 # AVX512DQ Disp8
594	vcvttpd2qq	1024(%edx){1to8}, %zmm6	 # AVX512DQ
595	vcvttpd2qq	-1024(%edx){1to8}, %zmm6	 # AVX512DQ Disp8
596	vcvttpd2qq	-1032(%edx){1to8}, %zmm6	 # AVX512DQ
597	vcvttpd2uqq	%zmm5, %zmm6	 # AVX512DQ
598	vcvttpd2uqq	%zmm5, %zmm6{%k7}	 # AVX512DQ
599	vcvttpd2uqq	%zmm5, %zmm6{%k7}{z}	 # AVX512DQ
600	vcvttpd2uqq	{sae}, %zmm5, %zmm6	 # AVX512DQ
601	vcvttpd2uqq	(%ecx), %zmm6	 # AVX512DQ
602	vcvttpd2uqq	-123456(%esp,%esi,8), %zmm6	 # AVX512DQ
603	vcvttpd2uqq	(%eax){1to8}, %zmm6	 # AVX512DQ
604	vcvttpd2uqq	8128(%edx), %zmm6	 # AVX512DQ Disp8
605	vcvttpd2uqq	8192(%edx), %zmm6	 # AVX512DQ
606	vcvttpd2uqq	-8192(%edx), %zmm6	 # AVX512DQ Disp8
607	vcvttpd2uqq	-8256(%edx), %zmm6	 # AVX512DQ
608	vcvttpd2uqq	1016(%edx){1to8}, %zmm6	 # AVX512DQ Disp8
609	vcvttpd2uqq	1024(%edx){1to8}, %zmm6	 # AVX512DQ
610	vcvttpd2uqq	-1024(%edx){1to8}, %zmm6	 # AVX512DQ Disp8
611	vcvttpd2uqq	-1032(%edx){1to8}, %zmm6	 # AVX512DQ
612	vcvttps2qq	%ymm5, %zmm6{%k7}	 # AVX512DQ
613	vcvttps2qq	%ymm5, %zmm6{%k7}{z}	 # AVX512DQ
614	vcvttps2qq	{sae}, %ymm5, %zmm6{%k7}	 # AVX512DQ
615	vcvttps2qq	(%ecx), %zmm6{%k7}	 # AVX512DQ
616	vcvttps2qq	-123456(%esp,%esi,8), %zmm6{%k7}	 # AVX512DQ
617	vcvttps2qq	(%eax){1to8}, %zmm6{%k7}	 # AVX512DQ
618	vcvttps2qq	4064(%edx), %zmm6{%k7}	 # AVX512DQ Disp8
619	vcvttps2qq	4096(%edx), %zmm6{%k7}	 # AVX512DQ
620	vcvttps2qq	-4096(%edx), %zmm6{%k7}	 # AVX512DQ Disp8
621	vcvttps2qq	-4128(%edx), %zmm6{%k7}	 # AVX512DQ
622	vcvttps2qq	508(%edx){1to8}, %zmm6{%k7}	 # AVX512DQ Disp8
623	vcvttps2qq	512(%edx){1to8}, %zmm6{%k7}	 # AVX512DQ
624	vcvttps2qq	-512(%edx){1to8}, %zmm6{%k7}	 # AVX512DQ Disp8
625	vcvttps2qq	-516(%edx){1to8}, %zmm6{%k7}	 # AVX512DQ
626	vcvttps2uqq	%ymm5, %zmm6{%k7}	 # AVX512DQ
627	vcvttps2uqq	%ymm5, %zmm6{%k7}{z}	 # AVX512DQ
628	vcvttps2uqq	{sae}, %ymm5, %zmm6{%k7}	 # AVX512DQ
629	vcvttps2uqq	(%ecx), %zmm6{%k7}	 # AVX512DQ
630	vcvttps2uqq	-123456(%esp,%esi,8), %zmm6{%k7}	 # AVX512DQ
631	vcvttps2uqq	(%eax){1to8}, %zmm6{%k7}	 # AVX512DQ
632	vcvttps2uqq	4064(%edx), %zmm6{%k7}	 # AVX512DQ Disp8
633	vcvttps2uqq	4096(%edx), %zmm6{%k7}	 # AVX512DQ
634	vcvttps2uqq	-4096(%edx), %zmm6{%k7}	 # AVX512DQ Disp8
635	vcvttps2uqq	-4128(%edx), %zmm6{%k7}	 # AVX512DQ
636	vcvttps2uqq	508(%edx){1to8}, %zmm6{%k7}	 # AVX512DQ Disp8
637	vcvttps2uqq	512(%edx){1to8}, %zmm6{%k7}	 # AVX512DQ
638	vcvttps2uqq	-512(%edx){1to8}, %zmm6{%k7}	 # AVX512DQ Disp8
639	vcvttps2uqq	-516(%edx){1to8}, %zmm6{%k7}	 # AVX512DQ
640	vpmovd2m	%zmm6, %k5	 # AVX512DQ
641	vpmovq2m	%zmm6, %k5	 # AVX512DQ
642	vpmovm2d	%k5, %zmm6	 # AVX512DQ
643	vpmovm2q	%k5, %zmm6	 # AVX512DQ
644
645	.intel_syntax noprefix
646	vbroadcastf32x8	zmm6, YMMWORD PTR [ecx]	 # AVX512DQ
647	vbroadcastf32x8	zmm6{k7}, YMMWORD PTR [ecx]	 # AVX512DQ
648	vbroadcastf32x8	zmm6{k7}{z}, YMMWORD PTR [ecx]	 # AVX512DQ
649	vbroadcastf32x8	zmm6, YMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
650	vbroadcastf32x8	zmm6, YMMWORD PTR [edx+4064]	 # AVX512DQ Disp8
651	vbroadcastf32x8	zmm6, YMMWORD PTR [edx+4096]	 # AVX512DQ
652	vbroadcastf32x8	zmm6, YMMWORD PTR [edx-4096]	 # AVX512DQ Disp8
653	vbroadcastf32x8	zmm6, YMMWORD PTR [edx-4128]	 # AVX512DQ
654	vbroadcastf64x2	zmm6, XMMWORD PTR [ecx]	 # AVX512DQ
655	vbroadcastf64x2	zmm6{k7}, XMMWORD PTR [ecx]	 # AVX512DQ
656	vbroadcastf64x2	zmm6{k7}{z}, XMMWORD PTR [ecx]	 # AVX512DQ
657	vbroadcastf64x2	zmm6, XMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
658	vbroadcastf64x2	zmm6, XMMWORD PTR [edx+2032]	 # AVX512DQ Disp8
659	vbroadcastf64x2	zmm6, XMMWORD PTR [edx+2048]	 # AVX512DQ
660	vbroadcastf64x2	zmm6, XMMWORD PTR [edx-2048]	 # AVX512DQ Disp8
661	vbroadcastf64x2	zmm6, XMMWORD PTR [edx-2064]	 # AVX512DQ
662	vbroadcasti32x8	zmm6, YMMWORD PTR [ecx]	 # AVX512DQ
663	vbroadcasti32x8	zmm6{k7}, YMMWORD PTR [ecx]	 # AVX512DQ
664	vbroadcasti32x8	zmm6{k7}{z}, YMMWORD PTR [ecx]	 # AVX512DQ
665	vbroadcasti32x8	zmm6, YMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
666	vbroadcasti32x8	zmm6, YMMWORD PTR [edx+4064]	 # AVX512DQ Disp8
667	vbroadcasti32x8	zmm6, YMMWORD PTR [edx+4096]	 # AVX512DQ
668	vbroadcasti32x8	zmm6, YMMWORD PTR [edx-4096]	 # AVX512DQ Disp8
669	vbroadcasti32x8	zmm6, YMMWORD PTR [edx-4128]	 # AVX512DQ
670	vbroadcasti64x2	zmm6, XMMWORD PTR [ecx]	 # AVX512DQ
671	vbroadcasti64x2	zmm6{k7}, XMMWORD PTR [ecx]	 # AVX512DQ
672	vbroadcasti64x2	zmm6{k7}{z}, XMMWORD PTR [ecx]	 # AVX512DQ
673	vbroadcasti64x2	zmm6, XMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
674	vbroadcasti64x2	zmm6, XMMWORD PTR [edx+2032]	 # AVX512DQ Disp8
675	vbroadcasti64x2	zmm6, XMMWORD PTR [edx+2048]	 # AVX512DQ
676	vbroadcasti64x2	zmm6, XMMWORD PTR [edx-2048]	 # AVX512DQ Disp8
677	vbroadcasti64x2	zmm6, XMMWORD PTR [edx-2064]	 # AVX512DQ
678	vbroadcastf32x2	zmm6, xmm7	 # AVX512DQ
679	vbroadcastf32x2	zmm6{k7}, xmm7	 # AVX512DQ
680	vbroadcastf32x2	zmm6{k7}{z}, xmm7	 # AVX512DQ
681	vbroadcastf32x2	zmm6, QWORD PTR [ecx]	 # AVX512DQ
682	vbroadcastf32x2	zmm6, QWORD PTR [esp+esi*8-123456]	 # AVX512DQ
683	vbroadcastf32x2	zmm6, QWORD PTR [edx+1016]	 # AVX512DQ Disp8
684	vbroadcastf32x2	zmm6, QWORD PTR [edx+1024]	 # AVX512DQ
685	vbroadcastf32x2	zmm6, QWORD PTR [edx-1024]	 # AVX512DQ Disp8
686	vbroadcastf32x2	zmm6, QWORD PTR [edx-1032]	 # AVX512DQ
687	vcvtpd2qq	zmm6, zmm5	 # AVX512DQ
688	vcvtpd2qq	zmm6{k7}, zmm5	 # AVX512DQ
689	vcvtpd2qq	zmm6{k7}{z}, zmm5	 # AVX512DQ
690	vcvtpd2qq	zmm6, zmm5, {rn-sae}	 # AVX512DQ
691	vcvtpd2qq	zmm6, zmm5, {ru-sae}	 # AVX512DQ
692	vcvtpd2qq	zmm6, zmm5, {rd-sae}	 # AVX512DQ
693	vcvtpd2qq	zmm6, zmm5, {rz-sae}	 # AVX512DQ
694	vcvtpd2qq	zmm6, ZMMWORD PTR [ecx]	 # AVX512DQ
695	vcvtpd2qq	zmm6, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
696	vcvtpd2qq	zmm6, [eax]{1to8}	 # AVX512DQ
697	vcvtpd2qq	zmm6, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
698	vcvtpd2qq	zmm6, ZMMWORD PTR [edx+8192]	 # AVX512DQ
699	vcvtpd2qq	zmm6, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
700	vcvtpd2qq	zmm6, ZMMWORD PTR [edx-8256]	 # AVX512DQ
701	vcvtpd2qq	zmm6, [edx+1016]{1to8}	 # AVX512DQ Disp8
702	vcvtpd2qq	zmm6, [edx+1024]{1to8}	 # AVX512DQ
703	vcvtpd2qq	zmm6, [edx-1024]{1to8}	 # AVX512DQ Disp8
704	vcvtpd2qq	zmm6, [edx-1032]{1to8}	 # AVX512DQ
705	vcvtpd2uqq	zmm6, zmm5	 # AVX512DQ
706	vcvtpd2uqq	zmm6{k7}, zmm5	 # AVX512DQ
707	vcvtpd2uqq	zmm6{k7}{z}, zmm5	 # AVX512DQ
708	vcvtpd2uqq	zmm6, zmm5, {rn-sae}	 # AVX512DQ
709	vcvtpd2uqq	zmm6, zmm5, {ru-sae}	 # AVX512DQ
710	vcvtpd2uqq	zmm6, zmm5, {rd-sae}	 # AVX512DQ
711	vcvtpd2uqq	zmm6, zmm5, {rz-sae}	 # AVX512DQ
712	vcvtpd2uqq	zmm6, ZMMWORD PTR [ecx]	 # AVX512DQ
713	vcvtpd2uqq	zmm6, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
714	vcvtpd2uqq	zmm6, [eax]{1to8}	 # AVX512DQ
715	vcvtpd2uqq	zmm6, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
716	vcvtpd2uqq	zmm6, ZMMWORD PTR [edx+8192]	 # AVX512DQ
717	vcvtpd2uqq	zmm6, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
718	vcvtpd2uqq	zmm6, ZMMWORD PTR [edx-8256]	 # AVX512DQ
719	vcvtpd2uqq	zmm6, [edx+1016]{1to8}	 # AVX512DQ Disp8
720	vcvtpd2uqq	zmm6, [edx+1024]{1to8}	 # AVX512DQ
721	vcvtpd2uqq	zmm6, [edx-1024]{1to8}	 # AVX512DQ Disp8
722	vcvtpd2uqq	zmm6, [edx-1032]{1to8}	 # AVX512DQ
723	vcvtps2qq	zmm6{k7}, ymm5	 # AVX512DQ
724	vcvtps2qq	zmm6{k7}{z}, ymm5	 # AVX512DQ
725	vcvtps2qq	zmm6{k7}, ymm5, {rn-sae}	 # AVX512DQ
726	vcvtps2qq	zmm6{k7}, ymm5, {ru-sae}	 # AVX512DQ
727	vcvtps2qq	zmm6{k7}, ymm5, {rd-sae}	 # AVX512DQ
728	vcvtps2qq	zmm6{k7}, ymm5, {rz-sae}	 # AVX512DQ
729	vcvtps2qq	zmm6{k7}, YMMWORD PTR [ecx]	 # AVX512DQ
730	vcvtps2qq	zmm6{k7}, YMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
731	vcvtps2qq	zmm6{k7}, [eax]{1to8}	 # AVX512DQ
732	vcvtps2qq	zmm6{k7}, YMMWORD PTR [edx+4064]	 # AVX512DQ Disp8
733	vcvtps2qq	zmm6{k7}, YMMWORD PTR [edx+4096]	 # AVX512DQ
734	vcvtps2qq	zmm6{k7}, YMMWORD PTR [edx-4096]	 # AVX512DQ Disp8
735	vcvtps2qq	zmm6{k7}, YMMWORD PTR [edx-4128]	 # AVX512DQ
736	vcvtps2qq	zmm6{k7}, [edx+508]{1to8}	 # AVX512DQ Disp8
737	vcvtps2qq	zmm6{k7}, [edx+512]{1to8}	 # AVX512DQ
738	vcvtps2qq	zmm6{k7}, [edx-512]{1to8}	 # AVX512DQ Disp8
739	vcvtps2qq	zmm6{k7}, [edx-516]{1to8}	 # AVX512DQ
740	vcvtps2qq	zmm6{k7}, DWORD PTR [edx+508]{1to8}	 # AVX512DQ Disp8
741	vcvtps2uqq	zmm6{k7}, ymm5	 # AVX512DQ
742	vcvtps2uqq	zmm6{k7}{z}, ymm5	 # AVX512DQ
743	vcvtps2uqq	zmm6{k7}, ymm5, {rn-sae}	 # AVX512DQ
744	vcvtps2uqq	zmm6{k7}, ymm5, {ru-sae}	 # AVX512DQ
745	vcvtps2uqq	zmm6{k7}, ymm5, {rd-sae}	 # AVX512DQ
746	vcvtps2uqq	zmm6{k7}, ymm5, {rz-sae}	 # AVX512DQ
747	vcvtps2uqq	zmm6{k7}, YMMWORD PTR [ecx]	 # AVX512DQ
748	vcvtps2uqq	zmm6{k7}, YMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
749	vcvtps2uqq	zmm6{k7}, [eax]{1to8}	 # AVX512DQ
750	vcvtps2uqq	zmm6{k7}, YMMWORD PTR [edx+4064]	 # AVX512DQ Disp8
751	vcvtps2uqq	zmm6{k7}, YMMWORD PTR [edx+4096]	 # AVX512DQ
752	vcvtps2uqq	zmm6{k7}, YMMWORD PTR [edx-4096]	 # AVX512DQ Disp8
753	vcvtps2uqq	zmm6{k7}, YMMWORD PTR [edx-4128]	 # AVX512DQ
754	vcvtps2uqq	zmm6{k7}, [edx+508]{1to8}	 # AVX512DQ Disp8
755	vcvtps2uqq	zmm6{k7}, [edx+512]{1to8}	 # AVX512DQ
756	vcvtps2uqq	zmm6{k7}, [edx-512]{1to8}	 # AVX512DQ Disp8
757	vcvtps2uqq	zmm6{k7}, [edx-516]{1to8}	 # AVX512DQ
758	vcvtps2uqq	zmm6{k7}, DWORD PTR [edx+508]{1to8}	 # AVX512DQ Disp8
759	vcvtqq2pd	zmm6, zmm5	 # AVX512DQ
760	vcvtqq2pd	zmm6{k7}, zmm5	 # AVX512DQ
761	vcvtqq2pd	zmm6{k7}{z}, zmm5	 # AVX512DQ
762	vcvtqq2pd	zmm6, zmm5, {rn-sae}	 # AVX512DQ
763	vcvtqq2pd	zmm6, zmm5, {ru-sae}	 # AVX512DQ
764	vcvtqq2pd	zmm6, zmm5, {rd-sae}	 # AVX512DQ
765	vcvtqq2pd	zmm6, zmm5, {rz-sae}	 # AVX512DQ
766	vcvtqq2pd	zmm6, ZMMWORD PTR [ecx]	 # AVX512DQ
767	vcvtqq2pd	zmm6, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
768	vcvtqq2pd	zmm6, [eax]{1to8}	 # AVX512DQ
769	vcvtqq2pd	zmm6, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
770	vcvtqq2pd	zmm6, ZMMWORD PTR [edx+8192]	 # AVX512DQ
771	vcvtqq2pd	zmm6, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
772	vcvtqq2pd	zmm6, ZMMWORD PTR [edx-8256]	 # AVX512DQ
773	vcvtqq2pd	zmm6, [edx+1016]{1to8}	 # AVX512DQ Disp8
774	vcvtqq2pd	zmm6, [edx+1024]{1to8}	 # AVX512DQ
775	vcvtqq2pd	zmm6, [edx-1024]{1to8}	 # AVX512DQ Disp8
776	vcvtqq2pd	zmm6, [edx-1032]{1to8}	 # AVX512DQ
777	vcvtqq2ps	ymm6{k7}, zmm5	 # AVX512DQ
778	vcvtqq2ps	ymm6{k7}{z}, zmm5	 # AVX512DQ
779	vcvtqq2ps	ymm6{k7}, zmm5, {rn-sae}	 # AVX512DQ
780	vcvtqq2ps	ymm6{k7}, zmm5, {ru-sae}	 # AVX512DQ
781	vcvtqq2ps	ymm6{k7}, zmm5, {rd-sae}	 # AVX512DQ
782	vcvtqq2ps	ymm6{k7}, zmm5, {rz-sae}	 # AVX512DQ
783	vcvtqq2ps	ymm6{k7}, ZMMWORD PTR [ecx]	 # AVX512DQ
784	vcvtqq2ps	ymm6{k7}, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
785	vcvtqq2ps	ymm6{k7}, [eax]{1to8}	 # AVX512DQ
786	vcvtqq2ps	ymm6{k7}, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
787	vcvtqq2ps	ymm6{k7}, ZMMWORD PTR [edx+8192]	 # AVX512DQ
788	vcvtqq2ps	ymm6{k7}, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
789	vcvtqq2ps	ymm6{k7}, ZMMWORD PTR [edx-8256]	 # AVX512DQ
790	vcvtqq2ps	ymm6{k7}, [edx+1016]{1to8}	 # AVX512DQ Disp8
791	vcvtqq2ps	ymm6{k7}, [edx+1024]{1to8}	 # AVX512DQ
792	vcvtqq2ps	ymm6{k7}, [edx-1024]{1to8}	 # AVX512DQ Disp8
793	vcvtqq2ps	ymm6{k7}, [edx-1032]{1to8}	 # AVX512DQ
794	vcvtuqq2pd	zmm6, zmm5	 # AVX512DQ
795	vcvtuqq2pd	zmm6{k7}, zmm5	 # AVX512DQ
796	vcvtuqq2pd	zmm6{k7}{z}, zmm5	 # AVX512DQ
797	vcvtuqq2pd	zmm6, zmm5, {rn-sae}	 # AVX512DQ
798	vcvtuqq2pd	zmm6, zmm5, {ru-sae}	 # AVX512DQ
799	vcvtuqq2pd	zmm6, zmm5, {rd-sae}	 # AVX512DQ
800	vcvtuqq2pd	zmm6, zmm5, {rz-sae}	 # AVX512DQ
801	vcvtuqq2pd	zmm6, ZMMWORD PTR [ecx]	 # AVX512DQ
802	vcvtuqq2pd	zmm6, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
803	vcvtuqq2pd	zmm6, [eax]{1to8}	 # AVX512DQ
804	vcvtuqq2pd	zmm6, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
805	vcvtuqq2pd	zmm6, ZMMWORD PTR [edx+8192]	 # AVX512DQ
806	vcvtuqq2pd	zmm6, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
807	vcvtuqq2pd	zmm6, ZMMWORD PTR [edx-8256]	 # AVX512DQ
808	vcvtuqq2pd	zmm6, [edx+1016]{1to8}	 # AVX512DQ Disp8
809	vcvtuqq2pd	zmm6, [edx+1024]{1to8}	 # AVX512DQ
810	vcvtuqq2pd	zmm6, [edx-1024]{1to8}	 # AVX512DQ Disp8
811	vcvtuqq2pd	zmm6, [edx-1032]{1to8}	 # AVX512DQ
812	vcvtuqq2ps	ymm6{k7}, zmm5	 # AVX512DQ
813	vcvtuqq2ps	ymm6{k7}{z}, zmm5	 # AVX512DQ
814	vcvtuqq2ps	ymm6{k7}, zmm5, {rn-sae}	 # AVX512DQ
815	vcvtuqq2ps	ymm6{k7}, zmm5, {ru-sae}	 # AVX512DQ
816	vcvtuqq2ps	ymm6{k7}, zmm5, {rd-sae}	 # AVX512DQ
817	vcvtuqq2ps	ymm6{k7}, zmm5, {rz-sae}	 # AVX512DQ
818	vcvtuqq2ps	ymm6{k7}, ZMMWORD PTR [ecx]	 # AVX512DQ
819	vcvtuqq2ps	ymm6{k7}, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
820	vcvtuqq2ps	ymm6{k7}, [eax]{1to8}	 # AVX512DQ
821	vcvtuqq2ps	ymm6{k7}, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
822	vcvtuqq2ps	ymm6{k7}, ZMMWORD PTR [edx+8192]	 # AVX512DQ
823	vcvtuqq2ps	ymm6{k7}, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
824	vcvtuqq2ps	ymm6{k7}, ZMMWORD PTR [edx-8256]	 # AVX512DQ
825	vcvtuqq2ps	ymm6{k7}, [edx+1016]{1to8}	 # AVX512DQ Disp8
826	vcvtuqq2ps	ymm6{k7}, [edx+1024]{1to8}	 # AVX512DQ
827	vcvtuqq2ps	ymm6{k7}, [edx-1024]{1to8}	 # AVX512DQ Disp8
828	vcvtuqq2ps	ymm6{k7}, [edx-1032]{1to8}	 # AVX512DQ
829	vextractf64x2	xmm6{k7}, zmm5, 0xab	 # AVX512DQ
830	vextractf64x2	xmm6{k7}{z}, zmm5, 0xab	 # AVX512DQ
831	vextractf64x2	xmm6{k7}, zmm5, 123	 # AVX512DQ
832	vextractf32x8	ymm6{k7}, zmm5, 0xab	 # AVX512DQ
833	vextractf32x8	ymm6{k7}{z}, zmm5, 0xab	 # AVX512DQ
834	vextractf32x8	ymm6{k7}, zmm5, 123	 # AVX512DQ
835	vextracti64x2	xmm6{k7}, zmm5, 0xab	 # AVX512DQ
836	vextracti64x2	xmm6{k7}{z}, zmm5, 0xab	 # AVX512DQ
837	vextracti64x2	xmm6{k7}, zmm5, 123	 # AVX512DQ
838	vextracti32x8	ymm6{k7}, zmm5, 0xab	 # AVX512DQ
839	vextracti32x8	ymm6{k7}{z}, zmm5, 0xab	 # AVX512DQ
840	vextracti32x8	ymm6{k7}, zmm5, 123	 # AVX512DQ
841	vfpclasspd	k5, zmm6, 0xab	 # AVX512DQ
842	vfpclasspd	k5{k7}, zmm6, 0xab	 # AVX512DQ
843	vfpclasspd	k5, zmm6, 123	 # AVX512DQ
844	vfpclasspd	k5, ZMMWORD PTR [ecx], 123	 # AVX512DQ
845	vfpclasspd	k5, ZMMWORD PTR [esp+esi*8-123456], 123	 # AVX512DQ
846	vfpclasspd	k5, [eax]{1to8}, 123	 # AVX512DQ
847	vfpclasspd	k5, ZMMWORD PTR [edx+8128], 123	 # AVX512DQ Disp8
848	vfpclasspd	k5, ZMMWORD PTR [edx+8192], 123	 # AVX512DQ
849	vfpclasspd	k5, ZMMWORD PTR [edx-8192], 123	 # AVX512DQ Disp8
850	vfpclasspd	k5, ZMMWORD PTR [edx-8256], 123	 # AVX512DQ
851	vfpclasspd	k5, QWORD PTR [edx+1016]{1to8}, 123	 # AVX512DQ Disp8
852	vfpclasspd	k5, QWORD PTR [edx+1024]{1to8}, 123	 # AVX512DQ
853	vfpclasspd	k5, QWORD PTR [edx-1024]{1to8}, 123	 # AVX512DQ Disp8
854	vfpclasspd	k5, QWORD PTR [edx-1032]{1to8}, 123	 # AVX512DQ
855	vfpclassps	k5, zmm6, 0xab	 # AVX512DQ
856	vfpclassps	k5{k7}, zmm6, 0xab	 # AVX512DQ
857	vfpclassps	k5, zmm6, 123	 # AVX512DQ
858	vfpclassps	k5, ZMMWORD PTR [ecx], 123	 # AVX512DQ
859	vfpclassps	k5, ZMMWORD PTR [esp+esi*8-123456], 123	 # AVX512DQ
860	vfpclassps	k5, [eax]{1to16}, 123	 # AVX512DQ
861	vfpclassps	k5, ZMMWORD PTR [edx+8128], 123	 # AVX512DQ Disp8
862	vfpclassps	k5, ZMMWORD PTR [edx+8192], 123	 # AVX512DQ
863	vfpclassps	k5, ZMMWORD PTR [edx-8192], 123	 # AVX512DQ Disp8
864	vfpclassps	k5, ZMMWORD PTR [edx-8256], 123	 # AVX512DQ
865	vfpclassps	k5, DWORD PTR [edx+508]{1to16}, 123	 # AVX512DQ Disp8
866	vfpclassps	k5, DWORD PTR [edx+512]{1to16}, 123	 # AVX512DQ
867	vfpclassps	k5, DWORD PTR [edx-512]{1to16}, 123	 # AVX512DQ Disp8
868	vfpclassps	k5, DWORD PTR [edx-516]{1to16}, 123	 # AVX512DQ
869	vfpclasssd	k5{k7}, xmm6, 0xab	 # AVX512DQ
870	vfpclasssd	k5{k7}, xmm6, 123	 # AVX512DQ
871	vfpclasssd	k5{k7}, QWORD PTR [ecx], 123	 # AVX512DQ
872	vfpclasssd	k5{k7}, QWORD PTR [esp+esi*8-123456], 123	 # AVX512DQ
873	vfpclasssd	k5{k7}, QWORD PTR [edx+1016], 123	 # AVX512DQ Disp8
874	vfpclasssd	k5{k7}, QWORD PTR [edx+1024], 123	 # AVX512DQ
875	vfpclasssd	k5{k7}, QWORD PTR [edx-1024], 123	 # AVX512DQ Disp8
876	vfpclasssd	k5{k7}, QWORD PTR [edx-1032], 123	 # AVX512DQ
877	vfpclassss	k5{k7}, xmm6, 0xab	 # AVX512DQ
878	vfpclassss	k5{k7}, xmm6, 123	 # AVX512DQ
879	vfpclassss	k5{k7}, DWORD PTR [ecx], 123	 # AVX512DQ
880	vfpclassss	k5{k7}, DWORD PTR [esp+esi*8-123456], 123	 # AVX512DQ
881	vfpclassss	k5{k7}, DWORD PTR [edx+508], 123	 # AVX512DQ Disp8
882	vfpclassss	k5{k7}, DWORD PTR [edx+512], 123	 # AVX512DQ
883	vfpclassss	k5{k7}, DWORD PTR [edx-512], 123	 # AVX512DQ Disp8
884	vfpclassss	k5{k7}, DWORD PTR [edx-516], 123	 # AVX512DQ
885	vinsertf64x2	zmm6{k7}, zmm5, xmm4, 0xab	 # AVX512DQ
886	vinsertf64x2	zmm6{k7}{z}, zmm5, xmm4, 0xab	 # AVX512DQ
887	vinsertf64x2	zmm6{k7}, zmm5, xmm4, 123	 # AVX512DQ
888	vinsertf64x2	zmm6{k7}, zmm5, XMMWORD PTR [ecx], 123	 # AVX512DQ
889	vinsertf64x2	zmm6{k7}, zmm5, XMMWORD PTR [esp+esi*8-123456], 123	 # AVX512DQ
890	vinsertf64x2	zmm6{k7}, zmm5, XMMWORD PTR [edx+2032], 123	 # AVX512DQ Disp8
891	vinsertf64x2	zmm6{k7}, zmm5, XMMWORD PTR [edx+2048], 123	 # AVX512DQ
892	vinsertf64x2	zmm6{k7}, zmm5, XMMWORD PTR [edx-2048], 123	 # AVX512DQ Disp8
893	vinsertf64x2	zmm6{k7}, zmm5, XMMWORD PTR [edx-2064], 123	 # AVX512DQ
894	vinsertf32x8	zmm6{k7}, zmm5, ymm4, 0xab	 # AVX512DQ
895	vinsertf32x8	zmm6{k7}{z}, zmm5, ymm4, 0xab	 # AVX512DQ
896	vinsertf32x8	zmm6{k7}, zmm5, ymm4, 123	 # AVX512DQ
897	vinsertf32x8	zmm6{k7}, zmm5, YMMWORD PTR [ecx], 123	 # AVX512DQ
898	vinsertf32x8	zmm6{k7}, zmm5, YMMWORD PTR [esp+esi*8-123456], 123	 # AVX512DQ
899	vinsertf32x8	zmm6{k7}, zmm5, YMMWORD PTR [edx+4064], 123	 # AVX512DQ Disp8
900	vinsertf32x8	zmm6{k7}, zmm5, YMMWORD PTR [edx+4096], 123	 # AVX512DQ
901	vinsertf32x8	zmm6{k7}, zmm5, YMMWORD PTR [edx-4096], 123	 # AVX512DQ Disp8
902	vinsertf32x8	zmm6{k7}, zmm5, YMMWORD PTR [edx-4128], 123	 # AVX512DQ
903	vinserti64x2	zmm6{k7}, zmm5, xmm4, 0xab	 # AVX512DQ
904	vinserti64x2	zmm6{k7}{z}, zmm5, xmm4, 0xab	 # AVX512DQ
905	vinserti64x2	zmm6{k7}, zmm5, xmm4, 123	 # AVX512DQ
906	vinserti64x2	zmm6{k7}, zmm5, XMMWORD PTR [ecx], 123	 # AVX512DQ
907	vinserti64x2	zmm6{k7}, zmm5, XMMWORD PTR [esp+esi*8-123456], 123	 # AVX512DQ
908	vinserti64x2	zmm6{k7}, zmm5, XMMWORD PTR [edx+2032], 123	 # AVX512DQ Disp8
909	vinserti64x2	zmm6{k7}, zmm5, XMMWORD PTR [edx+2048], 123	 # AVX512DQ
910	vinserti64x2	zmm6{k7}, zmm5, XMMWORD PTR [edx-2048], 123	 # AVX512DQ Disp8
911	vinserti64x2	zmm6{k7}, zmm5, XMMWORD PTR [edx-2064], 123	 # AVX512DQ
912	vinserti32x8	zmm6{k7}, zmm5, ymm4, 0xab	 # AVX512DQ
913	vinserti32x8	zmm6{k7}{z}, zmm5, ymm4, 0xab	 # AVX512DQ
914	vinserti32x8	zmm6{k7}, zmm5, ymm4, 123	 # AVX512DQ
915	vinserti32x8	zmm6{k7}, zmm5, YMMWORD PTR [ecx], 123	 # AVX512DQ
916	vinserti32x8	zmm6{k7}, zmm5, YMMWORD PTR [esp+esi*8-123456], 123	 # AVX512DQ
917	vinserti32x8	zmm6{k7}, zmm5, YMMWORD PTR [edx+4064], 123	 # AVX512DQ Disp8
918	vinserti32x8	zmm6{k7}, zmm5, YMMWORD PTR [edx+4096], 123	 # AVX512DQ
919	vinserti32x8	zmm6{k7}, zmm5, YMMWORD PTR [edx-4096], 123	 # AVX512DQ Disp8
920	vinserti32x8	zmm6{k7}, zmm5, YMMWORD PTR [edx-4128], 123	 # AVX512DQ
921	vbroadcasti32x2	zmm6, xmm7	 # AVX512DQ
922	vbroadcasti32x2	zmm6{k7}, xmm7	 # AVX512DQ
923	vbroadcasti32x2	zmm6{k7}{z}, xmm7	 # AVX512DQ
924	vbroadcasti32x2	zmm6, QWORD PTR [ecx]	 # AVX512DQ
925	vbroadcasti32x2	zmm6, QWORD PTR [esp+esi*8-123456]	 # AVX512DQ
926	vbroadcasti32x2	zmm6, QWORD PTR [edx+1016]	 # AVX512DQ Disp8
927	vbroadcasti32x2	zmm6, QWORD PTR [edx+1024]	 # AVX512DQ
928	vbroadcasti32x2	zmm6, QWORD PTR [edx-1024]	 # AVX512DQ Disp8
929	vbroadcasti32x2	zmm6, QWORD PTR [edx-1032]	 # AVX512DQ
930	vpmullq	zmm6, zmm5, zmm4	 # AVX512DQ
931	vpmullq	zmm6{k7}, zmm5, zmm4	 # AVX512DQ
932	vpmullq	zmm6{k7}{z}, zmm5, zmm4	 # AVX512DQ
933	vpmullq	zmm6, zmm5, ZMMWORD PTR [ecx]	 # AVX512DQ
934	vpmullq	zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
935	vpmullq	zmm6, zmm5, [eax]{1to8}	 # AVX512DQ
936	vpmullq	zmm6, zmm5, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
937	vpmullq	zmm6, zmm5, ZMMWORD PTR [edx+8192]	 # AVX512DQ
938	vpmullq	zmm6, zmm5, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
939	vpmullq	zmm6, zmm5, ZMMWORD PTR [edx-8256]	 # AVX512DQ
940	vpmullq	zmm6, zmm5, [edx+1016]{1to8}	 # AVX512DQ Disp8
941	vpmullq	zmm6, zmm5, [edx+1024]{1to8}	 # AVX512DQ
942	vpmullq	zmm6, zmm5, [edx-1024]{1to8}	 # AVX512DQ Disp8
943	vpmullq	zmm6, zmm5, [edx-1032]{1to8}	 # AVX512DQ
944	vrangepd	zmm6, zmm5, zmm4, 0xab	 # AVX512DQ
945	vrangepd	zmm6{k7}, zmm5, zmm4, 0xab	 # AVX512DQ
946	vrangepd	zmm6{k7}{z}, zmm5, zmm4, 0xab	 # AVX512DQ
947	vrangepd	zmm6, zmm5, zmm4, {sae}, 0xab	 # AVX512DQ
948	vrangepd	zmm6, zmm5, zmm4, 123	 # AVX512DQ
949	vrangepd	zmm6, zmm5, zmm4, {sae}, 123	 # AVX512DQ
950	vrangepd	zmm6, zmm5, ZMMWORD PTR [ecx], 123	 # AVX512DQ
951	vrangepd	zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456], 123	 # AVX512DQ
952	vrangepd	zmm6, zmm5, [eax]{1to8}, 123	 # AVX512DQ
953	vrangepd	zmm6, zmm5, ZMMWORD PTR [edx+8128], 123	 # AVX512DQ Disp8
954	vrangepd	zmm6, zmm5, ZMMWORD PTR [edx+8192], 123	 # AVX512DQ
955	vrangepd	zmm6, zmm5, ZMMWORD PTR [edx-8192], 123	 # AVX512DQ Disp8
956	vrangepd	zmm6, zmm5, ZMMWORD PTR [edx-8256], 123	 # AVX512DQ
957	vrangepd	zmm6, zmm5, [edx+1016]{1to8}, 123	 # AVX512DQ Disp8
958	vrangepd	zmm6, zmm5, [edx+1024]{1to8}, 123	 # AVX512DQ
959	vrangepd	zmm6, zmm5, [edx-1024]{1to8}, 123	 # AVX512DQ Disp8
960	vrangepd	zmm6, zmm5, [edx-1032]{1to8}, 123	 # AVX512DQ
961	vrangeps	zmm6, zmm5, zmm4, 0xab	 # AVX512DQ
962	vrangeps	zmm6{k7}, zmm5, zmm4, 0xab	 # AVX512DQ
963	vrangeps	zmm6{k7}{z}, zmm5, zmm4, 0xab	 # AVX512DQ
964	vrangeps	zmm6, zmm5, zmm4, {sae}, 0xab	 # AVX512DQ
965	vrangeps	zmm6, zmm5, zmm4, 123	 # AVX512DQ
966	vrangeps	zmm6, zmm5, zmm4, {sae}, 123	 # AVX512DQ
967	vrangeps	zmm6, zmm5, ZMMWORD PTR [ecx], 123	 # AVX512DQ
968	vrangeps	zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456], 123	 # AVX512DQ
969	vrangeps	zmm6, zmm5, [eax]{1to16}, 123	 # AVX512DQ
970	vrangeps	zmm6, zmm5, ZMMWORD PTR [edx+8128], 123	 # AVX512DQ Disp8
971	vrangeps	zmm6, zmm5, ZMMWORD PTR [edx+8192], 123	 # AVX512DQ
972	vrangeps	zmm6, zmm5, ZMMWORD PTR [edx-8192], 123	 # AVX512DQ Disp8
973	vrangeps	zmm6, zmm5, ZMMWORD PTR [edx-8256], 123	 # AVX512DQ
974	vrangeps	zmm6, zmm5, [edx+508]{1to16}, 123	 # AVX512DQ Disp8
975	vrangeps	zmm6, zmm5, [edx+512]{1to16}, 123	 # AVX512DQ
976	vrangeps	zmm6, zmm5, [edx-512]{1to16}, 123	 # AVX512DQ Disp8
977	vrangeps	zmm6, zmm5, [edx-516]{1to16}, 123	 # AVX512DQ
978	vrangesd	xmm6{k7}, xmm5, xmm4, 0xab	 # AVX512DQ
979	vrangesd	xmm6{k7}{z}, xmm5, xmm4, 0xab	 # AVX512DQ
980	vrangesd	xmm6{k7}, xmm5, xmm4, {sae}, 0xab	 # AVX512DQ
981	vrangesd	xmm6{k7}, xmm5, xmm4, 123	 # AVX512DQ
982	vrangesd	xmm6{k7}, xmm5, xmm4, {sae}, 123	 # AVX512DQ
983	vrangesd	xmm6{k7}, xmm5, QWORD PTR [ecx], 123	 # AVX512DQ
984	vrangesd	xmm6{k7}, xmm5, QWORD PTR [esp+esi*8-123456], 123	 # AVX512DQ
985	vrangesd	xmm6{k7}, xmm5, QWORD PTR [edx+1016], 123	 # AVX512DQ Disp8
986	vrangesd	xmm6{k7}, xmm5, QWORD PTR [edx+1024], 123	 # AVX512DQ
987	vrangesd	xmm6{k7}, xmm5, QWORD PTR [edx-1024], 123	 # AVX512DQ Disp8
988	vrangesd	xmm6{k7}, xmm5, QWORD PTR [edx-1032], 123	 # AVX512DQ
989	vrangess	xmm6{k7}, xmm5, xmm4, 0xab	 # AVX512DQ
990	vrangess	xmm6{k7}{z}, xmm5, xmm4, 0xab	 # AVX512DQ
991	vrangess	xmm6{k7}, xmm5, xmm4, {sae}, 0xab	 # AVX512DQ
992	vrangess	xmm6{k7}, xmm5, xmm4, 123	 # AVX512DQ
993	vrangess	xmm6{k7}, xmm5, xmm4, {sae}, 123	 # AVX512DQ
994	vrangess	xmm6{k7}, xmm5, DWORD PTR [ecx], 123	 # AVX512DQ
995	vrangess	xmm6{k7}, xmm5, DWORD PTR [esp+esi*8-123456], 123	 # AVX512DQ
996	vrangess	xmm6{k7}, xmm5, DWORD PTR [edx+508], 123	 # AVX512DQ Disp8
997	vrangess	xmm6{k7}, xmm5, DWORD PTR [edx+512], 123	 # AVX512DQ
998	vrangess	xmm6{k7}, xmm5, DWORD PTR [edx-512], 123	 # AVX512DQ Disp8
999	vrangess	xmm6{k7}, xmm5, DWORD PTR [edx-516], 123	 # AVX512DQ
1000	vandpd	zmm6, zmm5, zmm4	 # AVX512DQ
1001	vandpd	zmm6{k7}, zmm5, zmm4	 # AVX512DQ
1002	vandpd	zmm6{k7}{z}, zmm5, zmm4	 # AVX512DQ
1003	vandpd	zmm6, zmm5, ZMMWORD PTR [ecx]	 # AVX512DQ
1004	vandpd	zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
1005	vandpd	zmm6, zmm5, [eax]{1to8}	 # AVX512DQ
1006	vandpd	zmm6, zmm5, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
1007	vandpd	zmm6, zmm5, ZMMWORD PTR [edx+8192]	 # AVX512DQ
1008	vandpd	zmm6, zmm5, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
1009	vandpd	zmm6, zmm5, ZMMWORD PTR [edx-8256]	 # AVX512DQ
1010	vandpd	zmm6, zmm5, [edx+1016]{1to8}	 # AVX512DQ Disp8
1011	vandpd	zmm6, zmm5, [edx+1024]{1to8}	 # AVX512DQ
1012	vandpd	zmm6, zmm5, [edx-1024]{1to8}	 # AVX512DQ Disp8
1013	vandpd	zmm6, zmm5, [edx-1032]{1to8}	 # AVX512DQ
1014	vandps	zmm6, zmm5, zmm4	 # AVX512DQ
1015	vandps	zmm6{k7}, zmm5, zmm4	 # AVX512DQ
1016	vandps	zmm6{k7}{z}, zmm5, zmm4	 # AVX512DQ
1017	vandps	zmm6, zmm5, ZMMWORD PTR [ecx]	 # AVX512DQ
1018	vandps	zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
1019	vandps	zmm6, zmm5, [eax]{1to16}	 # AVX512DQ
1020	vandps	zmm6, zmm5, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
1021	vandps	zmm6, zmm5, ZMMWORD PTR [edx+8192]	 # AVX512DQ
1022	vandps	zmm6, zmm5, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
1023	vandps	zmm6, zmm5, ZMMWORD PTR [edx-8256]	 # AVX512DQ
1024	vandps	zmm6, zmm5, [edx+508]{1to16}	 # AVX512DQ Disp8
1025	vandps	zmm6, zmm5, [edx+512]{1to16}	 # AVX512DQ
1026	vandps	zmm6, zmm5, [edx-512]{1to16}	 # AVX512DQ Disp8
1027	vandps	zmm6, zmm5, [edx-516]{1to16}	 # AVX512DQ
1028	vandnpd	zmm6, zmm5, zmm4	 # AVX512DQ
1029	vandnpd	zmm6{k7}, zmm5, zmm4	 # AVX512DQ
1030	vandnpd	zmm6{k7}{z}, zmm5, zmm4	 # AVX512DQ
1031	vandnpd	zmm6, zmm5, ZMMWORD PTR [ecx]	 # AVX512DQ
1032	vandnpd	zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
1033	vandnpd	zmm6, zmm5, [eax]{1to8}	 # AVX512DQ
1034	vandnpd	zmm6, zmm5, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
1035	vandnpd	zmm6, zmm5, ZMMWORD PTR [edx+8192]	 # AVX512DQ
1036	vandnpd	zmm6, zmm5, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
1037	vandnpd	zmm6, zmm5, ZMMWORD PTR [edx-8256]	 # AVX512DQ
1038	vandnpd	zmm6, zmm5, [edx+1016]{1to8}	 # AVX512DQ Disp8
1039	vandnpd	zmm6, zmm5, [edx+1024]{1to8}	 # AVX512DQ
1040	vandnpd	zmm6, zmm5, [edx-1024]{1to8}	 # AVX512DQ Disp8
1041	vandnpd	zmm6, zmm5, [edx-1032]{1to8}	 # AVX512DQ
1042	vandnps	zmm6, zmm5, zmm4	 # AVX512DQ
1043	vandnps	zmm6{k7}, zmm5, zmm4	 # AVX512DQ
1044	vandnps	zmm6{k7}{z}, zmm5, zmm4	 # AVX512DQ
1045	vandnps	zmm6, zmm5, ZMMWORD PTR [ecx]	 # AVX512DQ
1046	vandnps	zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
1047	vandnps	zmm6, zmm5, [eax]{1to16}	 # AVX512DQ
1048	vandnps	zmm6, zmm5, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
1049	vandnps	zmm6, zmm5, ZMMWORD PTR [edx+8192]	 # AVX512DQ
1050	vandnps	zmm6, zmm5, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
1051	vandnps	zmm6, zmm5, ZMMWORD PTR [edx-8256]	 # AVX512DQ
1052	vandnps	zmm6, zmm5, [edx+508]{1to16}	 # AVX512DQ Disp8
1053	vandnps	zmm6, zmm5, [edx+512]{1to16}	 # AVX512DQ
1054	vandnps	zmm6, zmm5, [edx-512]{1to16}	 # AVX512DQ Disp8
1055	vandnps	zmm6, zmm5, [edx-516]{1to16}	 # AVX512DQ
1056	vorpd	zmm6, zmm5, zmm4	 # AVX512DQ
1057	vorpd	zmm6{k7}, zmm5, zmm4	 # AVX512DQ
1058	vorpd	zmm6{k7}{z}, zmm5, zmm4	 # AVX512DQ
1059	vorpd	zmm6, zmm5, ZMMWORD PTR [ecx]	 # AVX512DQ
1060	vorpd	zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
1061	vorpd	zmm6, zmm5, [eax]{1to8}	 # AVX512DQ
1062	vorpd	zmm6, zmm5, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
1063	vorpd	zmm6, zmm5, ZMMWORD PTR [edx+8192]	 # AVX512DQ
1064	vorpd	zmm6, zmm5, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
1065	vorpd	zmm6, zmm5, ZMMWORD PTR [edx-8256]	 # AVX512DQ
1066	vorpd	zmm6, zmm5, [edx+1016]{1to8}	 # AVX512DQ Disp8
1067	vorpd	zmm6, zmm5, [edx+1024]{1to8}	 # AVX512DQ
1068	vorpd	zmm6, zmm5, [edx-1024]{1to8}	 # AVX512DQ Disp8
1069	vorpd	zmm6, zmm5, [edx-1032]{1to8}	 # AVX512DQ
1070	vorps	zmm6, zmm5, zmm4	 # AVX512DQ
1071	vorps	zmm6{k7}, zmm5, zmm4	 # AVX512DQ
1072	vorps	zmm6{k7}{z}, zmm5, zmm4	 # AVX512DQ
1073	vorps	zmm6, zmm5, ZMMWORD PTR [ecx]	 # AVX512DQ
1074	vorps	zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
1075	vorps	zmm6, zmm5, [eax]{1to16}	 # AVX512DQ
1076	vorps	zmm6, zmm5, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
1077	vorps	zmm6, zmm5, ZMMWORD PTR [edx+8192]	 # AVX512DQ
1078	vorps	zmm6, zmm5, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
1079	vorps	zmm6, zmm5, ZMMWORD PTR [edx-8256]	 # AVX512DQ
1080	vorps	zmm6, zmm5, [edx+508]{1to16}	 # AVX512DQ Disp8
1081	vorps	zmm6, zmm5, [edx+512]{1to16}	 # AVX512DQ
1082	vorps	zmm6, zmm5, [edx-512]{1to16}	 # AVX512DQ Disp8
1083	vorps	zmm6, zmm5, [edx-516]{1to16}	 # AVX512DQ
1084	vxorpd	zmm6, zmm5, zmm4	 # AVX512DQ
1085	vxorpd	zmm6{k7}, zmm5, zmm4	 # AVX512DQ
1086	vxorpd	zmm6{k7}{z}, zmm5, zmm4	 # AVX512DQ
1087	vxorpd	zmm6, zmm5, ZMMWORD PTR [ecx]	 # AVX512DQ
1088	vxorpd	zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
1089	vxorpd	zmm6, zmm5, [eax]{1to8}	 # AVX512DQ
1090	vxorpd	zmm6, zmm5, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
1091	vxorpd	zmm6, zmm5, ZMMWORD PTR [edx+8192]	 # AVX512DQ
1092	vxorpd	zmm6, zmm5, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
1093	vxorpd	zmm6, zmm5, ZMMWORD PTR [edx-8256]	 # AVX512DQ
1094	vxorpd	zmm6, zmm5, [edx+1016]{1to8}	 # AVX512DQ Disp8
1095	vxorpd	zmm6, zmm5, [edx+1024]{1to8}	 # AVX512DQ
1096	vxorpd	zmm6, zmm5, [edx-1024]{1to8}	 # AVX512DQ Disp8
1097	vxorpd	zmm6, zmm5, [edx-1032]{1to8}	 # AVX512DQ
1098	vxorps	zmm6, zmm5, zmm4	 # AVX512DQ
1099	vxorps	zmm6{k7}, zmm5, zmm4	 # AVX512DQ
1100	vxorps	zmm6{k7}{z}, zmm5, zmm4	 # AVX512DQ
1101	vxorps	zmm6, zmm5, ZMMWORD PTR [ecx]	 # AVX512DQ
1102	vxorps	zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
1103	vxorps	zmm6, zmm5, [eax]{1to16}	 # AVX512DQ
1104	vxorps	zmm6, zmm5, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
1105	vxorps	zmm6, zmm5, ZMMWORD PTR [edx+8192]	 # AVX512DQ
1106	vxorps	zmm6, zmm5, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
1107	vxorps	zmm6, zmm5, ZMMWORD PTR [edx-8256]	 # AVX512DQ
1108	vxorps	zmm6, zmm5, [edx+508]{1to16}	 # AVX512DQ Disp8
1109	vxorps	zmm6, zmm5, [edx+512]{1to16}	 # AVX512DQ
1110	vxorps	zmm6, zmm5, [edx-512]{1to16}	 # AVX512DQ Disp8
1111	vxorps	zmm6, zmm5, [edx-516]{1to16}	 # AVX512DQ
1112	vreducepd	zmm6, zmm5, 0xab	 # AVX512DQ
1113	vreducepd	zmm6{k7}, zmm5, 0xab	 # AVX512DQ
1114	vreducepd	zmm6{k7}{z}, zmm5, 0xab	 # AVX512DQ
1115	vreducepd	zmm6, zmm5, {sae}, 0xab	 # AVX512DQ
1116	vreducepd	zmm6, zmm5, 123	 # AVX512DQ
1117	vreducepd	zmm6, zmm5, {sae}, 123	 # AVX512DQ
1118	vreducepd	zmm6, ZMMWORD PTR [ecx], 123	 # AVX512DQ
1119	vreducepd	zmm6, ZMMWORD PTR [esp+esi*8-123456], 123	 # AVX512DQ
1120	vreducepd	zmm6, [eax]{1to8}, 123	 # AVX512DQ
1121	vreducepd	zmm6, ZMMWORD PTR [edx+8128], 123	 # AVX512DQ Disp8
1122	vreducepd	zmm6, ZMMWORD PTR [edx+8192], 123	 # AVX512DQ
1123	vreducepd	zmm6, ZMMWORD PTR [edx-8192], 123	 # AVX512DQ Disp8
1124	vreducepd	zmm6, ZMMWORD PTR [edx-8256], 123	 # AVX512DQ
1125	vreducepd	zmm6, [edx+1016]{1to8}, 123	 # AVX512DQ Disp8
1126	vreducepd	zmm6, [edx+1024]{1to8}, 123	 # AVX512DQ
1127	vreducepd	zmm6, [edx-1024]{1to8}, 123	 # AVX512DQ Disp8
1128	vreducepd	zmm6, [edx-1032]{1to8}, 123	 # AVX512DQ
1129	vreduceps	zmm6, zmm5, 0xab	 # AVX512DQ
1130	vreduceps	zmm6{k7}, zmm5, 0xab	 # AVX512DQ
1131	vreduceps	zmm6{k7}{z}, zmm5, 0xab	 # AVX512DQ
1132	vreduceps	zmm6, zmm5, {sae}, 0xab	 # AVX512DQ
1133	vreduceps	zmm6, zmm5, 123	 # AVX512DQ
1134	vreduceps	zmm6, zmm5, {sae}, 123	 # AVX512DQ
1135	vreduceps	zmm6, ZMMWORD PTR [ecx], 123	 # AVX512DQ
1136	vreduceps	zmm6, ZMMWORD PTR [esp+esi*8-123456], 123	 # AVX512DQ
1137	vreduceps	zmm6, [eax]{1to16}, 123	 # AVX512DQ
1138	vreduceps	zmm6, ZMMWORD PTR [edx+8128], 123	 # AVX512DQ Disp8
1139	vreduceps	zmm6, ZMMWORD PTR [edx+8192], 123	 # AVX512DQ
1140	vreduceps	zmm6, ZMMWORD PTR [edx-8192], 123	 # AVX512DQ Disp8
1141	vreduceps	zmm6, ZMMWORD PTR [edx-8256], 123	 # AVX512DQ
1142	vreduceps	zmm6, [edx+508]{1to16}, 123	 # AVX512DQ Disp8
1143	vreduceps	zmm6, [edx+512]{1to16}, 123	 # AVX512DQ
1144	vreduceps	zmm6, [edx-512]{1to16}, 123	 # AVX512DQ Disp8
1145	vreduceps	zmm6, [edx-516]{1to16}, 123	 # AVX512DQ
1146	vreducesd	xmm6{k7}, xmm5, xmm4, 0xab	 # AVX512DQ
1147	vreducesd	xmm6{k7}{z}, xmm5, xmm4, 0xab	 # AVX512DQ
1148	vreducesd	xmm6{k7}, xmm5, xmm4, {sae}, 0xab	 # AVX512DQ
1149	vreducesd	xmm6{k7}, xmm5, xmm4, 123	 # AVX512DQ
1150	vreducesd	xmm6{k7}, xmm5, xmm4, {sae}, 123	 # AVX512DQ
1151	vreducesd	xmm6{k7}, xmm5, QWORD PTR [ecx], 123	 # AVX512DQ
1152	vreducesd	xmm6{k7}, xmm5, QWORD PTR [esp+esi*8-123456], 123	 # AVX512DQ
1153	vreducesd	xmm6{k7}, xmm5, QWORD PTR [edx+1016], 123	 # AVX512DQ Disp8
1154	vreducesd	xmm6{k7}, xmm5, QWORD PTR [edx+1024], 123	 # AVX512DQ
1155	vreducesd	xmm6{k7}, xmm5, QWORD PTR [edx-1024], 123	 # AVX512DQ Disp8
1156	vreducesd	xmm6{k7}, xmm5, QWORD PTR [edx-1032], 123	 # AVX512DQ
1157	vreducess	xmm6{k7}, xmm5, xmm4, 0xab	 # AVX512DQ
1158	vreducess	xmm6{k7}{z}, xmm5, xmm4, 0xab	 # AVX512DQ
1159	vreducess	xmm6{k7}, xmm5, xmm4, {sae}, 0xab	 # AVX512DQ
1160	vreducess	xmm6{k7}, xmm5, xmm4, 123	 # AVX512DQ
1161	vreducess	xmm6{k7}, xmm5, xmm4, {sae}, 123	 # AVX512DQ
1162	vreducess	xmm6{k7}, xmm5, DWORD PTR [ecx], 123	 # AVX512DQ
1163	vreducess	xmm6{k7}, xmm5, DWORD PTR [esp+esi*8-123456], 123	 # AVX512DQ
1164	vreducess	xmm6{k7}, xmm5, DWORD PTR [edx+508], 123	 # AVX512DQ Disp8
1165	vreducess	xmm6{k7}, xmm5, DWORD PTR [edx+512], 123	 # AVX512DQ
1166	vreducess	xmm6{k7}, xmm5, DWORD PTR [edx-512], 123	 # AVX512DQ Disp8
1167	vreducess	xmm6{k7}, xmm5, DWORD PTR [edx-516], 123	 # AVX512DQ
1168	kandb	k5, k6, k7	 # AVX512DQ
1169	kandnb	k5, k6, k7	 # AVX512DQ
1170	korb	k5, k6, k7	 # AVX512DQ
1171	kxnorb	k5, k6, k7	 # AVX512DQ
1172	kxorb	k5, k6, k7	 # AVX512DQ
1173	knotb	k5, k6	 # AVX512DQ
1174	kortestb	k5, k6	 # AVX512DQ
1175	ktestw	k5, k6	 # AVX512DQ
1176	ktestb	k5, k6	 # AVX512DQ
1177	kshiftrb	k5, k6, 0xab	 # AVX512DQ
1178	kshiftrb	k5, k6, 123	 # AVX512DQ
1179	kshiftlb	k5, k6, 0xab	 # AVX512DQ
1180	kshiftlb	k5, k6, 123	 # AVX512DQ
1181	kmovb	k5, k6	 # AVX512DQ
1182	kmovb	k5, BYTE PTR [ecx]	 # AVX512DQ
1183	kmovb	k5, BYTE PTR [esp+esi*8-123456]	 # AVX512DQ
1184	kmovb	BYTE PTR [ecx], k5	 # AVX512DQ
1185	kmovb	BYTE PTR [esp+esi*8-123456], k5	 # AVX512DQ
1186	kmovb	k5, eax	 # AVX512DQ
1187	kmovb	k5, ebp	 # AVX512DQ
1188	kmovb	eax, k5	 # AVX512DQ
1189	kmovb	ebp, k5	 # AVX512DQ
1190	kaddw	k5, k6, k7	 # AVX512DQ
1191	kaddb	k5, k6, k7	 # AVX512DQ
1192	vextractf64x2	XMMWORD PTR [ecx], zmm6, 0xab	 # AVX512DQ
1193	vextractf64x2	XMMWORD PTR [ecx]{k7}, zmm6, 0xab	 # AVX512DQ
1194	vextractf64x2	XMMWORD PTR [ecx], zmm6, 123	 # AVX512DQ
1195	vextractf64x2	XMMWORD PTR [esp+esi*8-123456], zmm6, 123	 # AVX512DQ
1196	vextractf64x2	XMMWORD PTR [edx+2032], zmm6, 123	 # AVX512DQ Disp8
1197	vextractf64x2	XMMWORD PTR [edx+2048], zmm6, 123	 # AVX512DQ
1198	vextractf64x2	XMMWORD PTR [edx-2048], zmm6, 123	 # AVX512DQ Disp8
1199	vextractf64x2	XMMWORD PTR [edx-2064], zmm6, 123	 # AVX512DQ
1200	vextractf32x8	YMMWORD PTR [ecx], zmm6, 0xab	 # AVX512DQ
1201	vextractf32x8	YMMWORD PTR [ecx]{k7}, zmm6, 0xab	 # AVX512DQ
1202	vextractf32x8	YMMWORD PTR [ecx], zmm6, 123	 # AVX512DQ
1203	vextractf32x8	YMMWORD PTR [esp+esi*8-123456], zmm6, 123	 # AVX512DQ
1204	vextractf32x8	YMMWORD PTR [edx+4064], zmm6, 123	 # AVX512DQ Disp8
1205	vextractf32x8	YMMWORD PTR [edx+4096], zmm6, 123	 # AVX512DQ
1206	vextractf32x8	YMMWORD PTR [edx-4096], zmm6, 123	 # AVX512DQ Disp8
1207	vextractf32x8	YMMWORD PTR [edx-4128], zmm6, 123	 # AVX512DQ
1208	vextracti64x2	XMMWORD PTR [ecx], zmm6, 0xab	 # AVX512DQ
1209	vextracti64x2	XMMWORD PTR [ecx]{k7}, zmm6, 0xab	 # AVX512DQ
1210	vextracti64x2	XMMWORD PTR [ecx], zmm6, 123	 # AVX512DQ
1211	vextracti64x2	XMMWORD PTR [esp+esi*8-123456], zmm6, 123	 # AVX512DQ
1212	vextracti64x2	XMMWORD PTR [edx+2032], zmm6, 123	 # AVX512DQ Disp8
1213	vextracti64x2	XMMWORD PTR [edx+2048], zmm6, 123	 # AVX512DQ
1214	vextracti64x2	XMMWORD PTR [edx-2048], zmm6, 123	 # AVX512DQ Disp8
1215	vextracti64x2	XMMWORD PTR [edx-2064], zmm6, 123	 # AVX512DQ
1216	vextracti32x8	YMMWORD PTR [ecx], zmm6, 0xab	 # AVX512DQ
1217	vextracti32x8	YMMWORD PTR [ecx]{k7}, zmm6, 0xab	 # AVX512DQ
1218	vextracti32x8	YMMWORD PTR [ecx], zmm6, 123	 # AVX512DQ
1219	vextracti32x8	YMMWORD PTR [esp+esi*8-123456], zmm6, 123	 # AVX512DQ
1220	vextracti32x8	YMMWORD PTR [edx+4064], zmm6, 123	 # AVX512DQ Disp8
1221	vextracti32x8	YMMWORD PTR [edx+4096], zmm6, 123	 # AVX512DQ
1222	vextracti32x8	YMMWORD PTR [edx-4096], zmm6, 123	 # AVX512DQ Disp8
1223	vextracti32x8	YMMWORD PTR [edx-4128], zmm6, 123	 # AVX512DQ
1224	vcvttpd2qq	zmm6, zmm5	 # AVX512DQ
1225	vcvttpd2qq	zmm6{k7}, zmm5	 # AVX512DQ
1226	vcvttpd2qq	zmm6{k7}{z}, zmm5	 # AVX512DQ
1227	vcvttpd2qq	zmm6, zmm5, {sae}	 # AVX512DQ
1228	vcvttpd2qq	zmm6, ZMMWORD PTR [ecx]	 # AVX512DQ
1229	vcvttpd2qq	zmm6, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
1230	vcvttpd2qq	zmm6, [eax]{1to8}	 # AVX512DQ
1231	vcvttpd2qq	zmm6, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
1232	vcvttpd2qq	zmm6, ZMMWORD PTR [edx+8192]	 # AVX512DQ
1233	vcvttpd2qq	zmm6, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
1234	vcvttpd2qq	zmm6, ZMMWORD PTR [edx-8256]	 # AVX512DQ
1235	vcvttpd2qq	zmm6, [edx+1016]{1to8}	 # AVX512DQ Disp8
1236	vcvttpd2qq	zmm6, [edx+1024]{1to8}	 # AVX512DQ
1237	vcvttpd2qq	zmm6, [edx-1024]{1to8}	 # AVX512DQ Disp8
1238	vcvttpd2qq	zmm6, [edx-1032]{1to8}	 # AVX512DQ
1239	vcvttpd2uqq	zmm6, zmm5	 # AVX512DQ
1240	vcvttpd2uqq	zmm6{k7}, zmm5	 # AVX512DQ
1241	vcvttpd2uqq	zmm6{k7}{z}, zmm5	 # AVX512DQ
1242	vcvttpd2uqq	zmm6, zmm5, {sae}	 # AVX512DQ
1243	vcvttpd2uqq	zmm6, ZMMWORD PTR [ecx]	 # AVX512DQ
1244	vcvttpd2uqq	zmm6, ZMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
1245	vcvttpd2uqq	zmm6, [eax]{1to8}	 # AVX512DQ
1246	vcvttpd2uqq	zmm6, ZMMWORD PTR [edx+8128]	 # AVX512DQ Disp8
1247	vcvttpd2uqq	zmm6, ZMMWORD PTR [edx+8192]	 # AVX512DQ
1248	vcvttpd2uqq	zmm6, ZMMWORD PTR [edx-8192]	 # AVX512DQ Disp8
1249	vcvttpd2uqq	zmm6, ZMMWORD PTR [edx-8256]	 # AVX512DQ
1250	vcvttpd2uqq	zmm6, [edx+1016]{1to8}	 # AVX512DQ Disp8
1251	vcvttpd2uqq	zmm6, [edx+1024]{1to8}	 # AVX512DQ
1252	vcvttpd2uqq	zmm6, [edx-1024]{1to8}	 # AVX512DQ Disp8
1253	vcvttpd2uqq	zmm6, [edx-1032]{1to8}	 # AVX512DQ
1254	vcvttps2qq	zmm6{k7}, ymm5	 # AVX512DQ
1255	vcvttps2qq	zmm6{k7}{z}, ymm5	 # AVX512DQ
1256	vcvttps2qq	zmm6{k7}, ymm5, {sae}	 # AVX512DQ
1257	vcvttps2qq	zmm6{k7}, YMMWORD PTR [ecx]	 # AVX512DQ
1258	vcvttps2qq	zmm6{k7}, YMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
1259	vcvttps2qq	zmm6{k7}, [eax]{1to8}	 # AVX512DQ
1260	vcvttps2qq	zmm6{k7}, YMMWORD PTR [edx+4064]	 # AVX512DQ Disp8
1261	vcvttps2qq	zmm6{k7}, YMMWORD PTR [edx+4096]	 # AVX512DQ
1262	vcvttps2qq	zmm6{k7}, YMMWORD PTR [edx-4096]	 # AVX512DQ Disp8
1263	vcvttps2qq	zmm6{k7}, YMMWORD PTR [edx-4128]	 # AVX512DQ
1264	vcvttps2qq	zmm6{k7}, [edx+508]{1to8}	 # AVX512DQ Disp8
1265	vcvttps2qq	zmm6{k7}, [edx+512]{1to8}	 # AVX512DQ
1266	vcvttps2qq	zmm6{k7}, [edx-512]{1to8}	 # AVX512DQ Disp8
1267	vcvttps2qq	zmm6{k7}, [edx-516]{1to8}	 # AVX512DQ
1268	vcvttps2qq	zmm6{k7}, DWORD PTR [edx+508]{1to8}	 # AVX512DQ Disp8
1269	vcvttps2uqq	zmm6{k7}, ymm5	 # AVX512DQ
1270	vcvttps2uqq	zmm6{k7}{z}, ymm5	 # AVX512DQ
1271	vcvttps2uqq	zmm6{k7}, ymm5, {sae}	 # AVX512DQ
1272	vcvttps2uqq	zmm6{k7}, YMMWORD PTR [ecx]	 # AVX512DQ
1273	vcvttps2uqq	zmm6{k7}, YMMWORD PTR [esp+esi*8-123456]	 # AVX512DQ
1274	vcvttps2uqq	zmm6{k7}, [eax]{1to8}	 # AVX512DQ
1275	vcvttps2uqq	zmm6{k7}, YMMWORD PTR [edx+4064]	 # AVX512DQ Disp8
1276	vcvttps2uqq	zmm6{k7}, YMMWORD PTR [edx+4096]	 # AVX512DQ
1277	vcvttps2uqq	zmm6{k7}, YMMWORD PTR [edx-4096]	 # AVX512DQ Disp8
1278	vcvttps2uqq	zmm6{k7}, YMMWORD PTR [edx-4128]	 # AVX512DQ
1279	vcvttps2uqq	zmm6{k7}, [edx+508]{1to8}	 # AVX512DQ Disp8
1280	vcvttps2uqq	zmm6{k7}, [edx+512]{1to8}	 # AVX512DQ
1281	vcvttps2uqq	zmm6{k7}, [edx-512]{1to8}	 # AVX512DQ Disp8
1282	vcvttps2uqq	zmm6{k7}, [edx-516]{1to8}	 # AVX512DQ
1283	vcvttps2uqq	zmm6{k7}, DWORD PTR [edx+508]{1to8}	 # AVX512DQ Disp8
1284	vpmovd2m	k5, zmm6	 # AVX512DQ
1285	vpmovq2m	k5, zmm6	 # AVX512DQ
1286	vpmovm2d	zmm6, k5	 # AVX512DQ
1287	vpmovm2q	zmm6, k5	 # AVX512DQ
1288