1# Check 64bit AVX512BW instructions
2
3	.allow_index_reg
4	.text
5_start:
6	vpabsb	%zmm29, %zmm30	 # AVX512BW
7	vpabsb	%zmm29, %zmm30{%k7}	 # AVX512BW
8	vpabsb	%zmm29, %zmm30{%k7}{z}	 # AVX512BW
9	vpabsb	(%rcx), %zmm30	 # AVX512BW
10	vpabsb	0x123(%rax,%r14,8), %zmm30	 # AVX512BW
11	vpabsb	8128(%rdx), %zmm30	 # AVX512BW Disp8
12	vpabsb	8192(%rdx), %zmm30	 # AVX512BW
13	vpabsb	-8192(%rdx), %zmm30	 # AVX512BW Disp8
14	vpabsb	-8256(%rdx), %zmm30	 # AVX512BW
15	vpabsw	%zmm29, %zmm30	 # AVX512BW
16	vpabsw	%zmm29, %zmm30{%k7}	 # AVX512BW
17	vpabsw	%zmm29, %zmm30{%k7}{z}	 # AVX512BW
18	vpabsw	(%rcx), %zmm30	 # AVX512BW
19	vpabsw	0x123(%rax,%r14,8), %zmm30	 # AVX512BW
20	vpabsw	8128(%rdx), %zmm30	 # AVX512BW Disp8
21	vpabsw	8192(%rdx), %zmm30	 # AVX512BW
22	vpabsw	-8192(%rdx), %zmm30	 # AVX512BW Disp8
23	vpabsw	-8256(%rdx), %zmm30	 # AVX512BW
24	vpackssdw	%zmm28, %zmm29, %zmm30	 # AVX512BW
25	vpackssdw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
26	vpackssdw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
27	vpackssdw	(%rcx), %zmm29, %zmm30	 # AVX512BW
28	vpackssdw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
29	vpackssdw	(%rcx){1to16}, %zmm29, %zmm30	 # AVX512BW
30	vpackssdw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
31	vpackssdw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
32	vpackssdw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
33	vpackssdw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
34	vpackssdw	508(%rdx){1to16}, %zmm29, %zmm30	 # AVX512BW Disp8
35	vpackssdw	512(%rdx){1to16}, %zmm29, %zmm30	 # AVX512BW
36	vpackssdw	-512(%rdx){1to16}, %zmm29, %zmm30	 # AVX512BW Disp8
37	vpackssdw	-516(%rdx){1to16}, %zmm29, %zmm30	 # AVX512BW
38	vpacksswb	%zmm28, %zmm29, %zmm30	 # AVX512BW
39	vpacksswb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
40	vpacksswb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
41	vpacksswb	(%rcx), %zmm29, %zmm30	 # AVX512BW
42	vpacksswb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
43	vpacksswb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
44	vpacksswb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
45	vpacksswb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
46	vpacksswb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
47	vpackusdw	%zmm28, %zmm29, %zmm30	 # AVX512BW
48	vpackusdw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
49	vpackusdw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
50	vpackusdw	(%rcx), %zmm29, %zmm30	 # AVX512BW
51	vpackusdw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
52	vpackusdw	(%rcx){1to16}, %zmm29, %zmm30	 # AVX512BW
53	vpackusdw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
54	vpackusdw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
55	vpackusdw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
56	vpackusdw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
57	vpackusdw	508(%rdx){1to16}, %zmm29, %zmm30	 # AVX512BW Disp8
58	vpackusdw	512(%rdx){1to16}, %zmm29, %zmm30	 # AVX512BW
59	vpackusdw	-512(%rdx){1to16}, %zmm29, %zmm30	 # AVX512BW Disp8
60	vpackusdw	-516(%rdx){1to16}, %zmm29, %zmm30	 # AVX512BW
61	vpackuswb	%zmm28, %zmm29, %zmm30	 # AVX512BW
62	vpackuswb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
63	vpackuswb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
64	vpackuswb	(%rcx), %zmm29, %zmm30	 # AVX512BW
65	vpackuswb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
66	vpackuswb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
67	vpackuswb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
68	vpackuswb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
69	vpackuswb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
70	vpaddb	%zmm28, %zmm29, %zmm30	 # AVX512BW
71	vpaddb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
72	vpaddb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
73	vpaddb	(%rcx), %zmm29, %zmm30	 # AVX512BW
74	vpaddb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
75	vpaddb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
76	vpaddb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
77	vpaddb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
78	vpaddb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
79	vpaddsb	%zmm28, %zmm29, %zmm30	 # AVX512BW
80	vpaddsb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
81	vpaddsb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
82	vpaddsb	(%rcx), %zmm29, %zmm30	 # AVX512BW
83	vpaddsb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
84	vpaddsb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
85	vpaddsb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
86	vpaddsb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
87	vpaddsb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
88	vpaddsw	%zmm28, %zmm29, %zmm30	 # AVX512BW
89	vpaddsw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
90	vpaddsw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
91	vpaddsw	(%rcx), %zmm29, %zmm30	 # AVX512BW
92	vpaddsw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
93	vpaddsw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
94	vpaddsw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
95	vpaddsw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
96	vpaddsw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
97	vpaddusb	%zmm28, %zmm29, %zmm30	 # AVX512BW
98	vpaddusb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
99	vpaddusb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
100	vpaddusb	(%rcx), %zmm29, %zmm30	 # AVX512BW
101	vpaddusb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
102	vpaddusb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
103	vpaddusb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
104	vpaddusb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
105	vpaddusb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
106	vpaddusw	%zmm28, %zmm29, %zmm30	 # AVX512BW
107	vpaddusw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
108	vpaddusw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
109	vpaddusw	(%rcx), %zmm29, %zmm30	 # AVX512BW
110	vpaddusw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
111	vpaddusw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
112	vpaddusw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
113	vpaddusw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
114	vpaddusw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
115	vpaddw	%zmm28, %zmm29, %zmm30	 # AVX512BW
116	vpaddw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
117	vpaddw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
118	vpaddw	(%rcx), %zmm29, %zmm30	 # AVX512BW
119	vpaddw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
120	vpaddw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
121	vpaddw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
122	vpaddw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
123	vpaddw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
124	vpalignr	$0xab, %zmm28, %zmm29, %zmm30	 # AVX512BW
125	vpalignr	$0xab, %zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
126	vpalignr	$0xab, %zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
127	vpalignr	$123, %zmm28, %zmm29, %zmm30	 # AVX512BW
128	vpalignr	$123, (%rcx), %zmm29, %zmm30	 # AVX512BW
129	vpalignr	$123, 0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
130	vpalignr	$123, 8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
131	vpalignr	$123, 8192(%rdx), %zmm29, %zmm30	 # AVX512BW
132	vpalignr	$123, -8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
133	vpalignr	$123, -8256(%rdx), %zmm29, %zmm30	 # AVX512BW
134	vpavgb	%zmm28, %zmm29, %zmm30	 # AVX512BW
135	vpavgb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
136	vpavgb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
137	vpavgb	(%rcx), %zmm29, %zmm30	 # AVX512BW
138	vpavgb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
139	vpavgb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
140	vpavgb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
141	vpavgb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
142	vpavgb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
143	vpavgw	%zmm28, %zmm29, %zmm30	 # AVX512BW
144	vpavgw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
145	vpavgw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
146	vpavgw	(%rcx), %zmm29, %zmm30	 # AVX512BW
147	vpavgw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
148	vpavgw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
149	vpavgw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
150	vpavgw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
151	vpavgw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
152	vpblendmb	%zmm28, %zmm29, %zmm30	 # AVX512BW
153	vpblendmb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
154	vpblendmb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
155	vpblendmb	(%rcx), %zmm29, %zmm30	 # AVX512BW
156	vpblendmb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
157	vpblendmb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
158	vpblendmb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
159	vpblendmb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
160	vpblendmb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
161	vpbroadcastb	%xmm29, %zmm30	 # AVX512BW
162	vpbroadcastb	%xmm29, %zmm30{%k7}	 # AVX512BW
163	vpbroadcastb	%xmm29, %zmm30{%k7}{z}	 # AVX512BW
164	vpbroadcastb	(%rcx), %zmm30	 # AVX512BW
165	vpbroadcastb	0x123(%rax,%r14,8), %zmm30	 # AVX512BW
166	vpbroadcastb	127(%rdx), %zmm30	 # AVX512BW Disp8
167	vpbroadcastb	128(%rdx), %zmm30	 # AVX512BW
168	vpbroadcastb	-128(%rdx), %zmm30	 # AVX512BW Disp8
169	vpbroadcastb	-129(%rdx), %zmm30	 # AVX512BW
170	vpbroadcastb	%eax, %zmm30	 # AVX512BW
171	vpbroadcastb	%eax, %zmm30{%k7}	 # AVX512BW
172	vpbroadcastb	%eax, %zmm30{%k7}{z}	 # AVX512BW
173	vpbroadcastw	%xmm29, %zmm30	 # AVX512BW
174	vpbroadcastw	%xmm29, %zmm30{%k7}	 # AVX512BW
175	vpbroadcastw	%xmm29, %zmm30{%k7}{z}	 # AVX512BW
176	vpbroadcastw	(%rcx), %zmm30	 # AVX512BW
177	vpbroadcastw	0x123(%rax,%r14,8), %zmm30	 # AVX512BW
178	vpbroadcastw	254(%rdx), %zmm30	 # AVX512BW Disp8
179	vpbroadcastw	256(%rdx), %zmm30	 # AVX512BW
180	vpbroadcastw	-256(%rdx), %zmm30	 # AVX512BW Disp8
181	vpbroadcastw	-258(%rdx), %zmm30	 # AVX512BW
182	vpbroadcastw	%eax, %zmm30	 # AVX512BW
183	vpbroadcastw	%eax, %zmm30{%k7}	 # AVX512BW
184	vpbroadcastw	%eax, %zmm30{%k7}{z}	 # AVX512BW
185	vpcmpeqb	%zmm29, %zmm30, %k5	 # AVX512BW
186	vpcmpeqb	%zmm29, %zmm30, %k5{%k7}	 # AVX512BW
187	vpcmpeqb	(%rcx), %zmm30, %k5	 # AVX512BW
188	vpcmpeqb	0x123(%rax,%r14,8), %zmm30, %k5	 # AVX512BW
189	vpcmpeqb	8128(%rdx), %zmm30, %k5	 # AVX512BW Disp8
190	vpcmpeqb	8192(%rdx), %zmm30, %k5	 # AVX512BW
191	vpcmpeqb	-8192(%rdx), %zmm30, %k5	 # AVX512BW Disp8
192	vpcmpeqb	-8256(%rdx), %zmm30, %k5	 # AVX512BW
193	vpcmpeqw	%zmm29, %zmm30, %k5	 # AVX512BW
194	vpcmpeqw	%zmm29, %zmm30, %k5{%k7}	 # AVX512BW
195	vpcmpeqw	(%rcx), %zmm30, %k5	 # AVX512BW
196	vpcmpeqw	0x123(%rax,%r14,8), %zmm30, %k5	 # AVX512BW
197	vpcmpeqw	8128(%rdx), %zmm30, %k5	 # AVX512BW Disp8
198	vpcmpeqw	8192(%rdx), %zmm30, %k5	 # AVX512BW
199	vpcmpeqw	-8192(%rdx), %zmm30, %k5	 # AVX512BW Disp8
200	vpcmpeqw	-8256(%rdx), %zmm30, %k5	 # AVX512BW
201	vpcmpgtb	%zmm29, %zmm30, %k5	 # AVX512BW
202	vpcmpgtb	%zmm29, %zmm30, %k5{%k7}	 # AVX512BW
203	vpcmpgtb	(%rcx), %zmm30, %k5	 # AVX512BW
204	vpcmpgtb	0x123(%rax,%r14,8), %zmm30, %k5	 # AVX512BW
205	vpcmpgtb	8128(%rdx), %zmm30, %k5	 # AVX512BW Disp8
206	vpcmpgtb	8192(%rdx), %zmm30, %k5	 # AVX512BW
207	vpcmpgtb	-8192(%rdx), %zmm30, %k5	 # AVX512BW Disp8
208	vpcmpgtb	-8256(%rdx), %zmm30, %k5	 # AVX512BW
209	vpcmpgtw	%zmm29, %zmm30, %k5	 # AVX512BW
210	vpcmpgtw	%zmm29, %zmm30, %k5{%k7}	 # AVX512BW
211	vpcmpgtw	(%rcx), %zmm30, %k5	 # AVX512BW
212	vpcmpgtw	0x123(%rax,%r14,8), %zmm30, %k5	 # AVX512BW
213	vpcmpgtw	8128(%rdx), %zmm30, %k5	 # AVX512BW Disp8
214	vpcmpgtw	8192(%rdx), %zmm30, %k5	 # AVX512BW
215	vpcmpgtw	-8192(%rdx), %zmm30, %k5	 # AVX512BW Disp8
216	vpcmpgtw	-8256(%rdx), %zmm30, %k5	 # AVX512BW
217	vpblendmw	%zmm28, %zmm29, %zmm30	 # AVX512BW
218	vpblendmw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
219	vpblendmw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
220	vpblendmw	(%rcx), %zmm29, %zmm30	 # AVX512BW
221	vpblendmw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
222	vpblendmw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
223	vpblendmw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
224	vpblendmw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
225	vpblendmw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
226	vpextrb	$0xab, %xmm29, %rax	 # AVX512BW
227	vpextrb	$123, %xmm29, %rax	 # AVX512BW
228	vpextrb	$123, %xmm29, %r8	 # AVX512BW
229	vpextrb	$123, %xmm29, (%rcx)	 # AVX512BW
230	vpextrb	$123, %xmm29, 0x123(%rax,%r14,8)	 # AVX512BW
231	vpextrb	$123, %xmm29, 127(%rdx)	 # AVX512BW Disp8
232	vpextrb	$123, %xmm29, 128(%rdx)	 # AVX512BW
233	vpextrb	$123, %xmm29, -128(%rdx)	 # AVX512BW Disp8
234	vpextrb	$123, %xmm29, -129(%rdx)	 # AVX512BW
235	vpextrw	$123, %xmm29, (%rcx)	 # AVX512BW
236	vpextrw	$123, %xmm29, 0x123(%rax,%r14,8)	 # AVX512BW
237	vpextrw	$123, %xmm29, 254(%rdx)	 # AVX512BW Disp8
238	vpextrw	$123, %xmm29, 256(%rdx)	 # AVX512BW
239	vpextrw	$123, %xmm29, -256(%rdx)	 # AVX512BW Disp8
240	vpextrw	$123, %xmm29, -258(%rdx)	 # AVX512BW
241	vpextrw	$0xab, %xmm30, %rax	 # AVX512BW
242	vpextrw	$123, %xmm30, %rax	 # AVX512BW
243	vpextrw	$123, %xmm30, %r8	 # AVX512BW
244	vpinsrb	$0xab, %eax, %xmm29, %xmm30	 # AVX512BW
245	vpinsrb	$123, %eax, %xmm29, %xmm30	 # AVX512BW
246	vpinsrb	$123, %ebp, %xmm29, %xmm30	 # AVX512BW
247	vpinsrb	$123, %r13d, %xmm29, %xmm30	 # AVX512BW
248	vpinsrb	$123, (%rcx), %xmm29, %xmm30	 # AVX512BW
249	vpinsrb	$123, 0x123(%rax,%r14,8), %xmm29, %xmm30	 # AVX512BW
250	vpinsrb	$123, 127(%rdx), %xmm29, %xmm30	 # AVX512BW Disp8
251	vpinsrb	$123, 128(%rdx), %xmm29, %xmm30	 # AVX512BW
252	vpinsrb	$123, -128(%rdx), %xmm29, %xmm30	 # AVX512BW Disp8
253	vpinsrb	$123, -129(%rdx), %xmm29, %xmm30	 # AVX512BW
254	vpinsrw	$0xab, %eax, %xmm29, %xmm30	 # AVX512BW
255	vpinsrw	$123, %eax, %xmm29, %xmm30	 # AVX512BW
256	vpinsrw	$123, %ebp, %xmm29, %xmm30	 # AVX512BW
257	vpinsrw	$123, %r13d, %xmm29, %xmm30	 # AVX512BW
258	vpinsrw	$123, (%rcx), %xmm29, %xmm30	 # AVX512BW
259	vpinsrw	$123, 0x123(%rax,%r14,8), %xmm29, %xmm30	 # AVX512BW
260	vpinsrw	$123, 254(%rdx), %xmm29, %xmm30	 # AVX512BW Disp8
261	vpinsrw	$123, 256(%rdx), %xmm29, %xmm30	 # AVX512BW
262	vpinsrw	$123, -256(%rdx), %xmm29, %xmm30	 # AVX512BW Disp8
263	vpinsrw	$123, -258(%rdx), %xmm29, %xmm30	 # AVX512BW
264	vpmaddubsw	%zmm28, %zmm29, %zmm30	 # AVX512BW
265	vpmaddubsw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
266	vpmaddubsw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
267	vpmaddubsw	(%rcx), %zmm29, %zmm30	 # AVX512BW
268	vpmaddubsw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
269	vpmaddubsw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
270	vpmaddubsw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
271	vpmaddubsw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
272	vpmaddubsw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
273	vpmaddwd	%zmm28, %zmm29, %zmm30	 # AVX512BW
274	vpmaddwd	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
275	vpmaddwd	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
276	vpmaddwd	(%rcx), %zmm29, %zmm30	 # AVX512BW
277	vpmaddwd	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
278	vpmaddwd	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
279	vpmaddwd	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
280	vpmaddwd	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
281	vpmaddwd	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
282	vpmaxsb	%zmm28, %zmm29, %zmm30	 # AVX512BW
283	vpmaxsb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
284	vpmaxsb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
285	vpmaxsb	(%rcx), %zmm29, %zmm30	 # AVX512BW
286	vpmaxsb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
287	vpmaxsb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
288	vpmaxsb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
289	vpmaxsb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
290	vpmaxsb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
291	vpmaxsw	%zmm28, %zmm29, %zmm30	 # AVX512BW
292	vpmaxsw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
293	vpmaxsw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
294	vpmaxsw	(%rcx), %zmm29, %zmm30	 # AVX512BW
295	vpmaxsw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
296	vpmaxsw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
297	vpmaxsw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
298	vpmaxsw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
299	vpmaxsw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
300	vpmaxub	%zmm28, %zmm29, %zmm30	 # AVX512BW
301	vpmaxub	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
302	vpmaxub	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
303	vpmaxub	(%rcx), %zmm29, %zmm30	 # AVX512BW
304	vpmaxub	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
305	vpmaxub	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
306	vpmaxub	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
307	vpmaxub	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
308	vpmaxub	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
309	vpmaxuw	%zmm28, %zmm29, %zmm30	 # AVX512BW
310	vpmaxuw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
311	vpmaxuw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
312	vpmaxuw	(%rcx), %zmm29, %zmm30	 # AVX512BW
313	vpmaxuw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
314	vpmaxuw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
315	vpmaxuw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
316	vpmaxuw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
317	vpmaxuw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
318	vpminsb	%zmm28, %zmm29, %zmm30	 # AVX512BW
319	vpminsb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
320	vpminsb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
321	vpminsb	(%rcx), %zmm29, %zmm30	 # AVX512BW
322	vpminsb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
323	vpminsb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
324	vpminsb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
325	vpminsb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
326	vpminsb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
327	vpminsw	%zmm28, %zmm29, %zmm30	 # AVX512BW
328	vpminsw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
329	vpminsw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
330	vpminsw	(%rcx), %zmm29, %zmm30	 # AVX512BW
331	vpminsw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
332	vpminsw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
333	vpminsw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
334	vpminsw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
335	vpminsw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
336	vpminub	%zmm28, %zmm29, %zmm30	 # AVX512BW
337	vpminub	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
338	vpminub	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
339	vpminub	(%rcx), %zmm29, %zmm30	 # AVX512BW
340	vpminub	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
341	vpminub	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
342	vpminub	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
343	vpminub	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
344	vpminub	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
345	vpminuw	%zmm28, %zmm29, %zmm30	 # AVX512BW
346	vpminuw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
347	vpminuw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
348	vpminuw	(%rcx), %zmm29, %zmm30	 # AVX512BW
349	vpminuw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
350	vpminuw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
351	vpminuw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
352	vpminuw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
353	vpminuw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
354	vpmovsxbw	%ymm29, %zmm30	 # AVX512BW
355	vpmovsxbw	%ymm29, %zmm30{%k7}	 # AVX512BW
356	vpmovsxbw	%ymm29, %zmm30{%k7}{z}	 # AVX512BW
357	vpmovsxbw	(%rcx), %zmm30	 # AVX512BW
358	vpmovsxbw	0x123(%rax,%r14,8), %zmm30	 # AVX512BW
359	vpmovsxbw	4064(%rdx), %zmm30	 # AVX512BW Disp8
360	vpmovsxbw	4096(%rdx), %zmm30	 # AVX512BW
361	vpmovsxbw	-4096(%rdx), %zmm30	 # AVX512BW Disp8
362	vpmovsxbw	-4128(%rdx), %zmm30	 # AVX512BW
363	vpmovzxbw	%ymm29, %zmm30	 # AVX512BW
364	vpmovzxbw	%ymm29, %zmm30{%k7}	 # AVX512BW
365	vpmovzxbw	%ymm29, %zmm30{%k7}{z}	 # AVX512BW
366	vpmovzxbw	(%rcx), %zmm30	 # AVX512BW
367	vpmovzxbw	0x123(%rax,%r14,8), %zmm30	 # AVX512BW
368	vpmovzxbw	4064(%rdx), %zmm30	 # AVX512BW Disp8
369	vpmovzxbw	4096(%rdx), %zmm30	 # AVX512BW
370	vpmovzxbw	-4096(%rdx), %zmm30	 # AVX512BW Disp8
371	vpmovzxbw	-4128(%rdx), %zmm30	 # AVX512BW
372	vpmulhrsw	%zmm28, %zmm29, %zmm30	 # AVX512BW
373	vpmulhrsw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
374	vpmulhrsw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
375	vpmulhrsw	(%rcx), %zmm29, %zmm30	 # AVX512BW
376	vpmulhrsw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
377	vpmulhrsw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
378	vpmulhrsw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
379	vpmulhrsw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
380	vpmulhrsw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
381	vpmulhuw	%zmm28, %zmm29, %zmm30	 # AVX512BW
382	vpmulhuw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
383	vpmulhuw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
384	vpmulhuw	(%rcx), %zmm29, %zmm30	 # AVX512BW
385	vpmulhuw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
386	vpmulhuw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
387	vpmulhuw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
388	vpmulhuw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
389	vpmulhuw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
390	vpmulhw	%zmm28, %zmm29, %zmm30	 # AVX512BW
391	vpmulhw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
392	vpmulhw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
393	vpmulhw	(%rcx), %zmm29, %zmm30	 # AVX512BW
394	vpmulhw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
395	vpmulhw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
396	vpmulhw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
397	vpmulhw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
398	vpmulhw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
399	vpmullw	%zmm28, %zmm29, %zmm30	 # AVX512BW
400	vpmullw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
401	vpmullw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
402	vpmullw	(%rcx), %zmm29, %zmm30	 # AVX512BW
403	vpmullw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
404	vpmullw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
405	vpmullw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
406	vpmullw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
407	vpmullw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
408	vpsadbw	%zmm28, %zmm29, %zmm30	 # AVX512BW
409	vpsadbw	(%rcx), %zmm29, %zmm30	 # AVX512BW
410	vpsadbw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
411	vpsadbw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
412	vpsadbw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
413	vpsadbw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
414	vpsadbw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
415	vpshufb	%zmm28, %zmm29, %zmm30	 # AVX512BW
416	vpshufb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
417	vpshufb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
418	vpshufb	(%rcx), %zmm29, %zmm30	 # AVX512BW
419	vpshufb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
420	vpshufb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
421	vpshufb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
422	vpshufb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
423	vpshufb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
424	vpshufhw	$0xab, %zmm29, %zmm30	 # AVX512BW
425	vpshufhw	$0xab, %zmm29, %zmm30{%k7}	 # AVX512BW
426	vpshufhw	$0xab, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
427	vpshufhw	$123, %zmm29, %zmm30	 # AVX512BW
428	vpshufhw	$123, (%rcx), %zmm30	 # AVX512BW
429	vpshufhw	$123, 0x123(%rax,%r14,8), %zmm30	 # AVX512BW
430	vpshufhw	$123, 8128(%rdx), %zmm30	 # AVX512BW Disp8
431	vpshufhw	$123, 8192(%rdx), %zmm30	 # AVX512BW
432	vpshufhw	$123, -8192(%rdx), %zmm30	 # AVX512BW Disp8
433	vpshufhw	$123, -8256(%rdx), %zmm30	 # AVX512BW
434	vpshuflw	$0xab, %zmm29, %zmm30	 # AVX512BW
435	vpshuflw	$0xab, %zmm29, %zmm30{%k7}	 # AVX512BW
436	vpshuflw	$0xab, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
437	vpshuflw	$123, %zmm29, %zmm30	 # AVX512BW
438	vpshuflw	$123, (%rcx), %zmm30	 # AVX512BW
439	vpshuflw	$123, 0x123(%rax,%r14,8), %zmm30	 # AVX512BW
440	vpshuflw	$123, 8128(%rdx), %zmm30	 # AVX512BW Disp8
441	vpshuflw	$123, 8192(%rdx), %zmm30	 # AVX512BW
442	vpshuflw	$123, -8192(%rdx), %zmm30	 # AVX512BW Disp8
443	vpshuflw	$123, -8256(%rdx), %zmm30	 # AVX512BW
444	vpsllw	%xmm28, %zmm29, %zmm30	 # AVX512BW
445	vpsllw	%xmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
446	vpsllw	%xmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
447	vpsllw	(%rcx), %zmm29, %zmm30	 # AVX512BW
448	vpsllw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
449	vpsllw	2032(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
450	vpsllw	2048(%rdx), %zmm29, %zmm30	 # AVX512BW
451	vpsllw	-2048(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
452	vpsllw	-2064(%rdx), %zmm29, %zmm30	 # AVX512BW
453	vpsraw	%xmm28, %zmm29, %zmm30	 # AVX512BW
454	vpsraw	%xmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
455	vpsraw	%xmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
456	vpsraw	(%rcx), %zmm29, %zmm30	 # AVX512BW
457	vpsraw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
458	vpsraw	2032(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
459	vpsraw	2048(%rdx), %zmm29, %zmm30	 # AVX512BW
460	vpsraw	-2048(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
461	vpsraw	-2064(%rdx), %zmm29, %zmm30	 # AVX512BW
462	vpsrlw	%xmm28, %zmm29, %zmm30	 # AVX512BW
463	vpsrlw	%xmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
464	vpsrlw	%xmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
465	vpsrlw	(%rcx), %zmm29, %zmm30	 # AVX512BW
466	vpsrlw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
467	vpsrlw	2032(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
468	vpsrlw	2048(%rdx), %zmm29, %zmm30	 # AVX512BW
469	vpsrlw	-2048(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
470	vpsrlw	-2064(%rdx), %zmm29, %zmm30	 # AVX512BW
471	vpsrldq	$0xab, %zmm29, %zmm30	 # AVX512BW
472	vpsrldq	$123, %zmm29, %zmm30	 # AVX512BW
473	vpsrldq	$123, (%rcx), %zmm30	 # AVX512BW
474	vpsrldq	$123, 0x123(%rax,%r14,8), %zmm30	 # AVX512BW
475	vpsrldq	$123, 8128(%rdx), %zmm30	 # AVX512BW Disp8
476	vpsrldq	$123, 8192(%rdx), %zmm30	 # AVX512BW
477	vpsrldq	$123, -8192(%rdx), %zmm30	 # AVX512BW Disp8
478	vpsrldq	$123, -8256(%rdx), %zmm30	 # AVX512BW
479	vpsrlw	$0xab, %zmm29, %zmm30	 # AVX512BW
480	vpsrlw	$0xab, %zmm29, %zmm30{%k7}	 # AVX512BW
481	vpsrlw	$0xab, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
482	vpsrlw	$123, %zmm29, %zmm30	 # AVX512BW
483	vpsrlw	$123, (%rcx), %zmm30	 # AVX512BW
484	vpsrlw	$123, 0x123(%rax,%r14,8), %zmm30	 # AVX512BW
485	vpsrlw	$123, 8128(%rdx), %zmm30	 # AVX512BW Disp8
486	vpsrlw	$123, 8192(%rdx), %zmm30	 # AVX512BW
487	vpsrlw	$123, -8192(%rdx), %zmm30	 # AVX512BW Disp8
488	vpsrlw	$123, -8256(%rdx), %zmm30	 # AVX512BW
489	vpsraw	$0xab, %zmm29, %zmm30	 # AVX512BW
490	vpsraw	$0xab, %zmm29, %zmm30{%k7}	 # AVX512BW
491	vpsraw	$0xab, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
492	vpsraw	$123, %zmm29, %zmm30	 # AVX512BW
493	vpsraw	$123, (%rcx), %zmm30	 # AVX512BW
494	vpsraw	$123, 0x123(%rax,%r14,8), %zmm30	 # AVX512BW
495	vpsraw	$123, 8128(%rdx), %zmm30	 # AVX512BW Disp8
496	vpsraw	$123, 8192(%rdx), %zmm30	 # AVX512BW
497	vpsraw	$123, -8192(%rdx), %zmm30	 # AVX512BW Disp8
498	vpsraw	$123, -8256(%rdx), %zmm30	 # AVX512BW
499	vpsrlvw	%zmm28, %zmm29, %zmm30	 # AVX512BW
500	vpsrlvw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
501	vpsrlvw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
502	vpsrlvw	(%rcx), %zmm29, %zmm30	 # AVX512BW
503	vpsrlvw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
504	vpsrlvw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
505	vpsrlvw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
506	vpsrlvw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
507	vpsrlvw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
508	vpsravw	%zmm28, %zmm29, %zmm30	 # AVX512BW
509	vpsravw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
510	vpsravw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
511	vpsravw	(%rcx), %zmm29, %zmm30	 # AVX512BW
512	vpsravw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
513	vpsravw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
514	vpsravw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
515	vpsravw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
516	vpsravw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
517	vpsubb	%zmm28, %zmm29, %zmm30	 # AVX512BW
518	vpsubb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
519	vpsubb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
520	vpsubb	(%rcx), %zmm29, %zmm30	 # AVX512BW
521	vpsubb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
522	vpsubb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
523	vpsubb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
524	vpsubb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
525	vpsubb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
526	vpsubsb	%zmm28, %zmm29, %zmm30	 # AVX512BW
527	vpsubsb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
528	vpsubsb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
529	vpsubsb	(%rcx), %zmm29, %zmm30	 # AVX512BW
530	vpsubsb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
531	vpsubsb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
532	vpsubsb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
533	vpsubsb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
534	vpsubsb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
535	vpsubsw	%zmm28, %zmm29, %zmm30	 # AVX512BW
536	vpsubsw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
537	vpsubsw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
538	vpsubsw	(%rcx), %zmm29, %zmm30	 # AVX512BW
539	vpsubsw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
540	vpsubsw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
541	vpsubsw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
542	vpsubsw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
543	vpsubsw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
544	vpsubusb	%zmm28, %zmm29, %zmm30	 # AVX512BW
545	vpsubusb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
546	vpsubusb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
547	vpsubusb	(%rcx), %zmm29, %zmm30	 # AVX512BW
548	vpsubusb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
549	vpsubusb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
550	vpsubusb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
551	vpsubusb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
552	vpsubusb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
553	vpsubusw	%zmm28, %zmm29, %zmm30	 # AVX512BW
554	vpsubusw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
555	vpsubusw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
556	vpsubusw	(%rcx), %zmm29, %zmm30	 # AVX512BW
557	vpsubusw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
558	vpsubusw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
559	vpsubusw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
560	vpsubusw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
561	vpsubusw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
562	vpsubw	%zmm28, %zmm29, %zmm30	 # AVX512BW
563	vpsubw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
564	vpsubw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
565	vpsubw	(%rcx), %zmm29, %zmm30	 # AVX512BW
566	vpsubw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
567	vpsubw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
568	vpsubw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
569	vpsubw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
570	vpsubw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
571	vpunpckhbw	%zmm28, %zmm29, %zmm30	 # AVX512BW
572	vpunpckhbw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
573	vpunpckhbw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
574	vpunpckhbw	(%rcx), %zmm29, %zmm30	 # AVX512BW
575	vpunpckhbw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
576	vpunpckhbw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
577	vpunpckhbw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
578	vpunpckhbw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
579	vpunpckhbw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
580	vpunpckhwd	%zmm28, %zmm29, %zmm30	 # AVX512BW
581	vpunpckhwd	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
582	vpunpckhwd	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
583	vpunpckhwd	(%rcx), %zmm29, %zmm30	 # AVX512BW
584	vpunpckhwd	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
585	vpunpckhwd	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
586	vpunpckhwd	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
587	vpunpckhwd	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
588	vpunpckhwd	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
589	vpunpcklbw	%zmm28, %zmm29, %zmm30	 # AVX512BW
590	vpunpcklbw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
591	vpunpcklbw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
592	vpunpcklbw	(%rcx), %zmm29, %zmm30	 # AVX512BW
593	vpunpcklbw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
594	vpunpcklbw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
595	vpunpcklbw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
596	vpunpcklbw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
597	vpunpcklbw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
598	vpunpcklwd	%zmm28, %zmm29, %zmm30	 # AVX512BW
599	vpunpcklwd	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
600	vpunpcklwd	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
601	vpunpcklwd	(%rcx), %zmm29, %zmm30	 # AVX512BW
602	vpunpcklwd	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
603	vpunpcklwd	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
604	vpunpcklwd	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
605	vpunpcklwd	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
606	vpunpcklwd	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
607	vpmovwb	%zmm29, %ymm30	 # AVX512BW
608	vpmovwb	%zmm29, %ymm30{%k7}	 # AVX512BW
609	vpmovwb	%zmm29, %ymm30{%k7}{z}	 # AVX512BW
610	vpmovswb	%zmm29, %ymm30	 # AVX512BW
611	vpmovswb	%zmm29, %ymm30{%k7}	 # AVX512BW
612	vpmovswb	%zmm29, %ymm30{%k7}{z}	 # AVX512BW
613	vpmovuswb	%zmm29, %ymm30	 # AVX512BW
614	vpmovuswb	%zmm29, %ymm30{%k7}	 # AVX512BW
615	vpmovuswb	%zmm29, %ymm30{%k7}{z}	 # AVX512BW
616	vdbpsadbw	$0xab, %zmm28, %zmm29, %zmm30	 # AVX512BW
617	vdbpsadbw	$0xab, %zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
618	vdbpsadbw	$0xab, %zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
619	vdbpsadbw	$123, %zmm28, %zmm29, %zmm30	 # AVX512BW
620	vdbpsadbw	$123, (%rcx), %zmm29, %zmm30	 # AVX512BW
621	vdbpsadbw	$123, 0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
622	vdbpsadbw	$123, 8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
623	vdbpsadbw	$123, 8192(%rdx), %zmm29, %zmm30	 # AVX512BW
624	vdbpsadbw	$123, -8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
625	vdbpsadbw	$123, -8256(%rdx), %zmm29, %zmm30	 # AVX512BW
626	vpermw	%zmm28, %zmm29, %zmm30	 # AVX512BW
627	vpermw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
628	vpermw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
629	vpermw	(%rcx), %zmm29, %zmm30	 # AVX512BW
630	vpermw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
631	vpermw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
632	vpermw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
633	vpermw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
634	vpermw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
635	vpermt2w	%zmm28, %zmm29, %zmm30	 # AVX512BW
636	vpermt2w	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
637	vpermt2w	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
638	vpermt2w	(%rcx), %zmm29, %zmm30	 # AVX512BW
639	vpermt2w	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
640	vpermt2w	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
641	vpermt2w	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
642	vpermt2w	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
643	vpermt2w	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
644	vpslldq	$0xab, %zmm29, %zmm30	 # AVX512BW
645	vpslldq	$123, %zmm29, %zmm30	 # AVX512BW
646	vpslldq	$123, (%rcx), %zmm30	 # AVX512BW
647	vpslldq	$123, 0x123(%rax,%r14,8), %zmm30	 # AVX512BW
648	vpslldq	$123, 8128(%rdx), %zmm30	 # AVX512BW Disp8
649	vpslldq	$123, 8192(%rdx), %zmm30	 # AVX512BW
650	vpslldq	$123, -8192(%rdx), %zmm30	 # AVX512BW Disp8
651	vpslldq	$123, -8256(%rdx), %zmm30	 # AVX512BW
652	vpsllw	$0xab, %zmm29, %zmm30	 # AVX512BW
653	vpsllw	$0xab, %zmm29, %zmm30{%k7}	 # AVX512BW
654	vpsllw	$0xab, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
655	vpsllw	$123, %zmm29, %zmm30	 # AVX512BW
656	vpsllw	$123, (%rcx), %zmm30	 # AVX512BW
657	vpsllw	$123, 0x123(%rax,%r14,8), %zmm30	 # AVX512BW
658	vpsllw	$123, 8128(%rdx), %zmm30	 # AVX512BW Disp8
659	vpsllw	$123, 8192(%rdx), %zmm30	 # AVX512BW
660	vpsllw	$123, -8192(%rdx), %zmm30	 # AVX512BW Disp8
661	vpsllw	$123, -8256(%rdx), %zmm30	 # AVX512BW
662	vpsllvw	%zmm28, %zmm29, %zmm30	 # AVX512BW
663	vpsllvw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
664	vpsllvw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
665	vpsllvw	(%rcx), %zmm29, %zmm30	 # AVX512BW
666	vpsllvw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
667	vpsllvw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
668	vpsllvw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
669	vpsllvw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
670	vpsllvw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
671	vmovdqu8	%zmm29, %zmm30	 # AVX512BW
672	vmovdqu8	%zmm29, %zmm30{%k7}	 # AVX512BW
673	vmovdqu8	%zmm29, %zmm30{%k7}{z}	 # AVX512BW
674	vmovdqu8	(%rcx), %zmm30	 # AVX512BW
675	vmovdqu8	0x123(%rax,%r14,8), %zmm30	 # AVX512BW
676	vmovdqu8	8128(%rdx), %zmm30	 # AVX512BW Disp8
677	vmovdqu8	8192(%rdx), %zmm30	 # AVX512BW
678	vmovdqu8	-8192(%rdx), %zmm30	 # AVX512BW Disp8
679	vmovdqu8	-8256(%rdx), %zmm30	 # AVX512BW
680	vmovdqu16	%zmm29, %zmm30	 # AVX512BW
681	vmovdqu16	%zmm29, %zmm30{%k7}	 # AVX512BW
682	vmovdqu16	%zmm29, %zmm30{%k7}{z}	 # AVX512BW
683	vmovdqu16	(%rcx), %zmm30	 # AVX512BW
684	vmovdqu16	0x123(%rax,%r14,8), %zmm30	 # AVX512BW
685	vmovdqu16	8128(%rdx), %zmm30	 # AVX512BW Disp8
686	vmovdqu16	8192(%rdx), %zmm30	 # AVX512BW
687	vmovdqu16	-8192(%rdx), %zmm30	 # AVX512BW Disp8
688	vmovdqu16	-8256(%rdx), %zmm30	 # AVX512BW
689	kandq	%k7, %k6, %k5	 # AVX512BW
690	kandd	%k7, %k6, %k5	 # AVX512BW
691	kandnq	%k7, %k6, %k5	 # AVX512BW
692	kandnd	%k7, %k6, %k5	 # AVX512BW
693	korq	%k7, %k6, %k5	 # AVX512BW
694	kord	%k7, %k6, %k5	 # AVX512BW
695	kxnorq	%k7, %k6, %k5	 # AVX512BW
696	kxnord	%k7, %k6, %k5	 # AVX512BW
697	kxorq	%k7, %k6, %k5	 # AVX512BW
698	kxord	%k7, %k6, %k5	 # AVX512BW
699	knotq	%k6, %k5	 # AVX512BW
700	knotd	%k6, %k5	 # AVX512BW
701	kortestq	%k6, %k5	 # AVX512BW
702	kortestd	%k6, %k5	 # AVX512BW
703	ktestq	%k6, %k5	 # AVX512BW
704	ktestd	%k6, %k5	 # AVX512BW
705	kshiftrq	$0xab, %k6, %k5	 # AVX512BW
706	kshiftrq	$123, %k6, %k5	 # AVX512BW
707	kshiftrd	$0xab, %k6, %k5	 # AVX512BW
708	kshiftrd	$123, %k6, %k5	 # AVX512BW
709	kshiftlq	$0xab, %k6, %k5	 # AVX512BW
710	kshiftlq	$123, %k6, %k5	 # AVX512BW
711	kshiftld	$0xab, %k6, %k5	 # AVX512BW
712	kshiftld	$123, %k6, %k5	 # AVX512BW
713	kmovq	%k6, %k5	 # AVX512BW
714	kmovq	(%rcx), %k5	 # AVX512BW
715	kmovq	0x123(%rax,%r14,8), %k5	 # AVX512BW
716	kmovd	%k6, %k5	 # AVX512BW
717	kmovd	(%rcx), %k5	 # AVX512BW
718	kmovd	0x123(%rax,%r14,8), %k5	 # AVX512BW
719	kmovq	%k5, (%rcx)	 # AVX512BW
720	kmovq	%k5, 0x123(%rax,%r14,8)	 # AVX512BW
721	kmovd	%k5, (%rcx)	 # AVX512BW
722	kmovd	%k5, 0x123(%rax,%r14,8)	 # AVX512BW
723	kmovq	%rax, %k5	 # AVX512BW
724	kmovq	%r8, %k5	 # AVX512BW
725	kmovd	%eax, %k5	 # AVX512BW
726	kmovd	%ebp, %k5	 # AVX512BW
727	kmovd	%r13d, %k5	 # AVX512BW
728	kmovq	%k5, %rax	 # AVX512BW
729	kmovq	%k5, %r8	 # AVX512BW
730	kmovd	%k5, %eax	 # AVX512BW
731	kmovd	%k5, %ebp	 # AVX512BW
732	kmovd	%k5, %r13d	 # AVX512BW
733	kaddq	%k7, %k6, %k5	 # AVX512BW
734	kaddd	%k7, %k6, %k5	 # AVX512BW
735	kunpckwd	%k7, %k6, %k5	 # AVX512BW
736	kunpckdq	%k7, %k6, %k5	 # AVX512BW
737	vpmovwb	%zmm30, (%rcx)	 # AVX512BW
738	vpmovwb	%zmm30, (%rcx){%k7}	 # AVX512BW
739	vpmovwb	%zmm30, 0x123(%rax,%r14,8)	 # AVX512BW
740	vpmovwb	%zmm30, 4064(%rdx)	 # AVX512BW Disp8
741	vpmovwb	%zmm30, 4096(%rdx)	 # AVX512BW
742	vpmovwb	%zmm30, -4096(%rdx)	 # AVX512BW Disp8
743	vpmovwb	%zmm30, -4128(%rdx)	 # AVX512BW
744	vpmovswb	%zmm30, (%rcx)	 # AVX512BW
745	vpmovswb	%zmm30, (%rcx){%k7}	 # AVX512BW
746	vpmovswb	%zmm30, 0x123(%rax,%r14,8)	 # AVX512BW
747	vpmovswb	%zmm30, 4064(%rdx)	 # AVX512BW Disp8
748	vpmovswb	%zmm30, 4096(%rdx)	 # AVX512BW
749	vpmovswb	%zmm30, -4096(%rdx)	 # AVX512BW Disp8
750	vpmovswb	%zmm30, -4128(%rdx)	 # AVX512BW
751	vpmovuswb	%zmm30, (%rcx)	 # AVX512BW
752	vpmovuswb	%zmm30, (%rcx){%k7}	 # AVX512BW
753	vpmovuswb	%zmm30, 0x123(%rax,%r14,8)	 # AVX512BW
754	vpmovuswb	%zmm30, 4064(%rdx)	 # AVX512BW Disp8
755	vpmovuswb	%zmm30, 4096(%rdx)	 # AVX512BW
756	vpmovuswb	%zmm30, -4096(%rdx)	 # AVX512BW Disp8
757	vpmovuswb	%zmm30, -4128(%rdx)	 # AVX512BW
758	vmovdqu8	%zmm30, (%rcx)	 # AVX512BW
759	vmovdqu8	%zmm30, (%rcx){%k7}	 # AVX512BW
760	vmovdqu8	%zmm30, 0x123(%rax,%r14,8)	 # AVX512BW
761	vmovdqu8	%zmm30, 8128(%rdx)	 # AVX512BW Disp8
762	vmovdqu8	%zmm30, 8192(%rdx)	 # AVX512BW
763	vmovdqu8	%zmm30, -8192(%rdx)	 # AVX512BW Disp8
764	vmovdqu8	%zmm30, -8256(%rdx)	 # AVX512BW
765	vmovdqu16	%zmm30, (%rcx)	 # AVX512BW
766	vmovdqu16	%zmm30, (%rcx){%k7}	 # AVX512BW
767	vmovdqu16	%zmm30, 0x123(%rax,%r14,8)	 # AVX512BW
768	vmovdqu16	%zmm30, 8128(%rdx)	 # AVX512BW Disp8
769	vmovdqu16	%zmm30, 8192(%rdx)	 # AVX512BW
770	vmovdqu16	%zmm30, -8192(%rdx)	 # AVX512BW Disp8
771	vmovdqu16	%zmm30, -8256(%rdx)	 # AVX512BW
772	vpermi2w	%zmm28, %zmm29, %zmm30	 # AVX512BW
773	vpermi2w	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
774	vpermi2w	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
775	vpermi2w	(%rcx), %zmm29, %zmm30	 # AVX512BW
776	vpermi2w	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
777	vpermi2w	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
778	vpermi2w	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
779	vpermi2w	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
780	vpermi2w	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
781	vptestmb	%zmm29, %zmm30, %k5	 # AVX512BW
782	vptestmb	%zmm29, %zmm30, %k5{%k7}	 # AVX512BW
783	vptestmb	(%rcx), %zmm30, %k5	 # AVX512BW
784	vptestmb	0x123(%rax,%r14,8), %zmm30, %k5	 # AVX512BW
785	vptestmb	8128(%rdx), %zmm30, %k5	 # AVX512BW Disp8
786	vptestmb	8192(%rdx), %zmm30, %k5	 # AVX512BW
787	vptestmb	-8192(%rdx), %zmm30, %k5	 # AVX512BW Disp8
788	vptestmb	-8256(%rdx), %zmm30, %k5	 # AVX512BW
789	vptestmw	%zmm29, %zmm30, %k5	 # AVX512BW
790	vptestmw	%zmm29, %zmm30, %k5{%k7}	 # AVX512BW
791	vptestmw	(%rcx), %zmm30, %k5	 # AVX512BW
792	vptestmw	0x123(%rax,%r14,8), %zmm30, %k5	 # AVX512BW
793	vptestmw	8128(%rdx), %zmm30, %k5	 # AVX512BW Disp8
794	vptestmw	8192(%rdx), %zmm30, %k5	 # AVX512BW
795	vptestmw	-8192(%rdx), %zmm30, %k5	 # AVX512BW Disp8
796	vptestmw	-8256(%rdx), %zmm30, %k5	 # AVX512BW
797	vpmovb2m	%zmm30, %k5	 # AVX512BW
798	vpmovw2m	%zmm30, %k5	 # AVX512BW
799	vpmovm2b	%k5, %zmm30	 # AVX512BW
800	vpmovm2w	%k5, %zmm30	 # AVX512BW
801	vptestnmb	%zmm28, %zmm29, %k5	 # AVX512BW
802	vptestnmb	%zmm28, %zmm29, %k5{%k7}	 # AVX512BW
803	vptestnmb	(%rcx), %zmm29, %k5	 # AVX512BW
804	vptestnmb	0x123(%rax,%r14,8), %zmm29, %k5	 # AVX512BW
805	vptestnmb	8128(%rdx), %zmm29, %k5	 # AVX512BW Disp8
806	vptestnmb	8192(%rdx), %zmm29, %k5	 # AVX512BW
807	vptestnmb	-8192(%rdx), %zmm29, %k5	 # AVX512BW Disp8
808	vptestnmb	-8256(%rdx), %zmm29, %k5	 # AVX512BW
809	vptestnmw	%zmm28, %zmm29, %k5	 # AVX512BW
810	vptestnmw	%zmm28, %zmm29, %k5{%k7}	 # AVX512BW
811	vptestnmw	(%rcx), %zmm29, %k5	 # AVX512BW
812	vptestnmw	0x123(%rax,%r14,8), %zmm29, %k5	 # AVX512BW
813	vptestnmw	8128(%rdx), %zmm29, %k5	 # AVX512BW Disp8
814	vptestnmw	8192(%rdx), %zmm29, %k5	 # AVX512BW
815	vptestnmw	-8192(%rdx), %zmm29, %k5	 # AVX512BW Disp8
816	vptestnmw	-8256(%rdx), %zmm29, %k5	 # AVX512BW
817	vpcmpb	$0xab, %zmm29, %zmm30, %k5	 # AVX512BW
818	vpcmpb	$0xab, %zmm29, %zmm30, %k5{%k7}	 # AVX512BW
819	vpcmpb	$123, %zmm29, %zmm30, %k5	 # AVX512BW
820	vpcmpb	$123, (%rcx), %zmm30, %k5	 # AVX512BW
821	vpcmpb	$123, 0x123(%rax,%r14,8), %zmm30, %k5	 # AVX512BW
822	vpcmpb	$123, 8128(%rdx), %zmm30, %k5	 # AVX512BW Disp8
823	vpcmpb	$123, 8192(%rdx), %zmm30, %k5	 # AVX512BW
824	vpcmpb	$123, -8192(%rdx), %zmm30, %k5	 # AVX512BW Disp8
825	vpcmpb	$123, -8256(%rdx), %zmm30, %k5	 # AVX512BW
826	vpcmpw	$0xab, %zmm29, %zmm30, %k5	 # AVX512BW
827	vpcmpw	$0xab, %zmm29, %zmm30, %k5{%k7}	 # AVX512BW
828	vpcmpw	$123, %zmm29, %zmm30, %k5	 # AVX512BW
829	vpcmpw	$123, (%rcx), %zmm30, %k5	 # AVX512BW
830	vpcmpw	$123, 0x123(%rax,%r14,8), %zmm30, %k5	 # AVX512BW
831	vpcmpw	$123, 8128(%rdx), %zmm30, %k5	 # AVX512BW Disp8
832	vpcmpw	$123, 8192(%rdx), %zmm30, %k5	 # AVX512BW
833	vpcmpw	$123, -8192(%rdx), %zmm30, %k5	 # AVX512BW Disp8
834	vpcmpw	$123, -8256(%rdx), %zmm30, %k5	 # AVX512BW
835	vpcmpub	$0xab, %zmm29, %zmm30, %k5	 # AVX512BW
836	vpcmpub	$0xab, %zmm29, %zmm30, %k5{%k7}	 # AVX512BW
837	vpcmpub	$123, %zmm29, %zmm30, %k5	 # AVX512BW
838	vpcmpub	$123, (%rcx), %zmm30, %k5	 # AVX512BW
839	vpcmpub	$123, 0x123(%rax,%r14,8), %zmm30, %k5	 # AVX512BW
840	vpcmpub	$123, 8128(%rdx), %zmm30, %k5	 # AVX512BW Disp8
841	vpcmpub	$123, 8192(%rdx), %zmm30, %k5	 # AVX512BW
842	vpcmpub	$123, -8192(%rdx), %zmm30, %k5	 # AVX512BW Disp8
843	vpcmpub	$123, -8256(%rdx), %zmm30, %k5	 # AVX512BW
844	vpcmpuw	$0xab, %zmm29, %zmm30, %k5	 # AVX512BW
845	vpcmpuw	$0xab, %zmm29, %zmm30, %k5{%k7}	 # AVX512BW
846	vpcmpuw	$123, %zmm29, %zmm30, %k5	 # AVX512BW
847	vpcmpuw	$123, (%rcx), %zmm30, %k5	 # AVX512BW
848	vpcmpuw	$123, 0x123(%rax,%r14,8), %zmm30, %k5	 # AVX512BW
849	vpcmpuw	$123, 8128(%rdx), %zmm30, %k5	 # AVX512BW Disp8
850	vpcmpuw	$123, 8192(%rdx), %zmm30, %k5	 # AVX512BW
851	vpcmpuw	$123, -8192(%rdx), %zmm30, %k5	 # AVX512BW Disp8
852	vpcmpuw	$123, -8256(%rdx), %zmm30, %k5	 # AVX512BW
853
854	.intel_syntax noprefix
855	vpabsb	zmm30, zmm29	 # AVX512BW
856	vpabsb	zmm30{k7}, zmm29	 # AVX512BW
857	vpabsb	zmm30{k7}{z}, zmm29	 # AVX512BW
858	vpabsb	zmm30, ZMMWORD PTR [rcx]	 # AVX512BW
859	vpabsb	zmm30, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
860	vpabsb	zmm30, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
861	vpabsb	zmm30, ZMMWORD PTR [rdx+8192]	 # AVX512BW
862	vpabsb	zmm30, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
863	vpabsb	zmm30, ZMMWORD PTR [rdx-8256]	 # AVX512BW
864	vpabsw	zmm30, zmm29	 # AVX512BW
865	vpabsw	zmm30{k7}, zmm29	 # AVX512BW
866	vpabsw	zmm30{k7}{z}, zmm29	 # AVX512BW
867	vpabsw	zmm30, ZMMWORD PTR [rcx]	 # AVX512BW
868	vpabsw	zmm30, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
869	vpabsw	zmm30, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
870	vpabsw	zmm30, ZMMWORD PTR [rdx+8192]	 # AVX512BW
871	vpabsw	zmm30, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
872	vpabsw	zmm30, ZMMWORD PTR [rdx-8256]	 # AVX512BW
873	vpackssdw	zmm30, zmm29, zmm28	 # AVX512BW
874	vpackssdw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
875	vpackssdw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
876	vpackssdw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
877	vpackssdw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
878	vpackssdw	zmm30, zmm29, [rcx]{1to16}	 # AVX512BW
879	vpackssdw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
880	vpackssdw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
881	vpackssdw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
882	vpackssdw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
883	vpackssdw	zmm30, zmm29, [rdx+508]{1to16}	 # AVX512BW Disp8
884	vpackssdw	zmm30, zmm29, [rdx+512]{1to16}	 # AVX512BW
885	vpackssdw	zmm30, zmm29, [rdx-512]{1to16}	 # AVX512BW Disp8
886	vpackssdw	zmm30, zmm29, [rdx-516]{1to16}	 # AVX512BW
887	vpacksswb	zmm30, zmm29, zmm28	 # AVX512BW
888	vpacksswb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
889	vpacksswb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
890	vpacksswb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
891	vpacksswb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
892	vpacksswb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
893	vpacksswb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
894	vpacksswb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
895	vpacksswb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
896	vpackusdw	zmm30, zmm29, zmm28	 # AVX512BW
897	vpackusdw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
898	vpackusdw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
899	vpackusdw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
900	vpackusdw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
901	vpackusdw	zmm30, zmm29, [rcx]{1to16}	 # AVX512BW
902	vpackusdw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
903	vpackusdw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
904	vpackusdw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
905	vpackusdw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
906	vpackusdw	zmm30, zmm29, [rdx+508]{1to16}	 # AVX512BW Disp8
907	vpackusdw	zmm30, zmm29, [rdx+512]{1to16}	 # AVX512BW
908	vpackusdw	zmm30, zmm29, [rdx-512]{1to16}	 # AVX512BW Disp8
909	vpackusdw	zmm30, zmm29, [rdx-516]{1to16}	 # AVX512BW
910	vpackuswb	zmm30, zmm29, zmm28	 # AVX512BW
911	vpackuswb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
912	vpackuswb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
913	vpackuswb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
914	vpackuswb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
915	vpackuswb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
916	vpackuswb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
917	vpackuswb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
918	vpackuswb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
919	vpaddb	zmm30, zmm29, zmm28	 # AVX512BW
920	vpaddb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
921	vpaddb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
922	vpaddb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
923	vpaddb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
924	vpaddb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
925	vpaddb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
926	vpaddb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
927	vpaddb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
928	vpaddsb	zmm30, zmm29, zmm28	 # AVX512BW
929	vpaddsb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
930	vpaddsb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
931	vpaddsb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
932	vpaddsb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
933	vpaddsb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
934	vpaddsb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
935	vpaddsb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
936	vpaddsb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
937	vpaddsw	zmm30, zmm29, zmm28	 # AVX512BW
938	vpaddsw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
939	vpaddsw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
940	vpaddsw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
941	vpaddsw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
942	vpaddsw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
943	vpaddsw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
944	vpaddsw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
945	vpaddsw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
946	vpaddusb	zmm30, zmm29, zmm28	 # AVX512BW
947	vpaddusb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
948	vpaddusb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
949	vpaddusb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
950	vpaddusb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
951	vpaddusb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
952	vpaddusb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
953	vpaddusb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
954	vpaddusb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
955	vpaddusw	zmm30, zmm29, zmm28	 # AVX512BW
956	vpaddusw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
957	vpaddusw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
958	vpaddusw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
959	vpaddusw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
960	vpaddusw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
961	vpaddusw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
962	vpaddusw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
963	vpaddusw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
964	vpaddw	zmm30, zmm29, zmm28	 # AVX512BW
965	vpaddw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
966	vpaddw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
967	vpaddw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
968	vpaddw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
969	vpaddw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
970	vpaddw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
971	vpaddw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
972	vpaddw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
973	vpalignr	zmm30, zmm29, zmm28, 0xab	 # AVX512BW
974	vpalignr	zmm30{k7}, zmm29, zmm28, 0xab	 # AVX512BW
975	vpalignr	zmm30{k7}{z}, zmm29, zmm28, 0xab	 # AVX512BW
976	vpalignr	zmm30, zmm29, zmm28, 123	 # AVX512BW
977	vpalignr	zmm30, zmm29, ZMMWORD PTR [rcx], 123	 # AVX512BW
978	vpalignr	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
979	vpalignr	zmm30, zmm29, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
980	vpalignr	zmm30, zmm29, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
981	vpalignr	zmm30, zmm29, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
982	vpalignr	zmm30, zmm29, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
983	vpavgb	zmm30, zmm29, zmm28	 # AVX512BW
984	vpavgb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
985	vpavgb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
986	vpavgb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
987	vpavgb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
988	vpavgb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
989	vpavgb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
990	vpavgb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
991	vpavgb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
992	vpavgw	zmm30, zmm29, zmm28	 # AVX512BW
993	vpavgw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
994	vpavgw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
995	vpavgw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
996	vpavgw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
997	vpavgw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
998	vpavgw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
999	vpavgw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1000	vpavgw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1001	vpblendmb	zmm30, zmm29, zmm28	 # AVX512BW
1002	vpblendmb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1003	vpblendmb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1004	vpblendmb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1005	vpblendmb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1006	vpblendmb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1007	vpblendmb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1008	vpblendmb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1009	vpblendmb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1010	vpbroadcastb	zmm30, xmm29	 # AVX512BW
1011	vpbroadcastb	zmm30{k7}, xmm29	 # AVX512BW
1012	vpbroadcastb	zmm30{k7}{z}, xmm29	 # AVX512BW
1013	vpbroadcastb	zmm30, BYTE PTR [rcx]	 # AVX512BW
1014	vpbroadcastb	zmm30, BYTE PTR [rax+r14*8+0x1234]	 # AVX512BW
1015	vpbroadcastb	zmm30, BYTE PTR [rdx+127]	 # AVX512BW Disp8
1016	vpbroadcastb	zmm30, BYTE PTR [rdx+128]	 # AVX512BW
1017	vpbroadcastb	zmm30, BYTE PTR [rdx-128]	 # AVX512BW Disp8
1018	vpbroadcastb	zmm30, BYTE PTR [rdx-129]	 # AVX512BW
1019	vpbroadcastb	zmm30, eax	 # AVX512BW
1020	vpbroadcastb	zmm30{k7}, eax	 # AVX512BW
1021	vpbroadcastb	zmm30{k7}{z}, eax	 # AVX512BW
1022	vpbroadcastw	zmm30, xmm29	 # AVX512BW
1023	vpbroadcastw	zmm30{k7}, xmm29	 # AVX512BW
1024	vpbroadcastw	zmm30{k7}{z}, xmm29	 # AVX512BW
1025	vpbroadcastw	zmm30, WORD PTR [rcx]	 # AVX512BW
1026	vpbroadcastw	zmm30, WORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1027	vpbroadcastw	zmm30, WORD PTR [rdx+254]	 # AVX512BW Disp8
1028	vpbroadcastw	zmm30, WORD PTR [rdx+256]	 # AVX512BW
1029	vpbroadcastw	zmm30, WORD PTR [rdx-256]	 # AVX512BW Disp8
1030	vpbroadcastw	zmm30, WORD PTR [rdx-258]	 # AVX512BW
1031	vpbroadcastw	zmm30, eax	 # AVX512BW
1032	vpbroadcastw	zmm30{k7}, eax	 # AVX512BW
1033	vpbroadcastw	zmm30{k7}{z}, eax	 # AVX512BW
1034	vpcmpeqb	k5, zmm30, zmm29	 # AVX512BW
1035	vpcmpeqb	k5{k7}, zmm30, zmm29	 # AVX512BW
1036	vpcmpeqb	k5, zmm30, ZMMWORD PTR [rcx]	 # AVX512BW
1037	vpcmpeqb	k5, zmm30, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1038	vpcmpeqb	k5, zmm30, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1039	vpcmpeqb	k5, zmm30, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1040	vpcmpeqb	k5, zmm30, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1041	vpcmpeqb	k5, zmm30, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1042	vpcmpeqw	k5, zmm30, zmm29	 # AVX512BW
1043	vpcmpeqw	k5{k7}, zmm30, zmm29	 # AVX512BW
1044	vpcmpeqw	k5, zmm30, ZMMWORD PTR [rcx]	 # AVX512BW
1045	vpcmpeqw	k5, zmm30, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1046	vpcmpeqw	k5, zmm30, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1047	vpcmpeqw	k5, zmm30, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1048	vpcmpeqw	k5, zmm30, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1049	vpcmpeqw	k5, zmm30, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1050	vpcmpgtb	k5, zmm30, zmm29	 # AVX512BW
1051	vpcmpgtb	k5{k7}, zmm30, zmm29	 # AVX512BW
1052	vpcmpgtb	k5, zmm30, ZMMWORD PTR [rcx]	 # AVX512BW
1053	vpcmpgtb	k5, zmm30, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1054	vpcmpgtb	k5, zmm30, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1055	vpcmpgtb	k5, zmm30, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1056	vpcmpgtb	k5, zmm30, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1057	vpcmpgtb	k5, zmm30, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1058	vpcmpgtw	k5, zmm30, zmm29	 # AVX512BW
1059	vpcmpgtw	k5{k7}, zmm30, zmm29	 # AVX512BW
1060	vpcmpgtw	k5, zmm30, ZMMWORD PTR [rcx]	 # AVX512BW
1061	vpcmpgtw	k5, zmm30, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1062	vpcmpgtw	k5, zmm30, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1063	vpcmpgtw	k5, zmm30, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1064	vpcmpgtw	k5, zmm30, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1065	vpcmpgtw	k5, zmm30, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1066	vpblendmw	zmm30, zmm29, zmm28	 # AVX512BW
1067	vpblendmw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1068	vpblendmw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1069	vpblendmw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1070	vpblendmw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1071	vpblendmw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1072	vpblendmw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1073	vpblendmw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1074	vpblendmw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1075	vpextrb	rax, xmm29, 0xab	 # AVX512BW
1076	vpextrb	rax, xmm29, 123	 # AVX512BW
1077	vpextrb	r8, xmm29, 123	 # AVX512BW
1078	vpextrb	BYTE PTR [rcx], xmm29, 123	 # AVX512BW
1079	vpextrb	BYTE PTR [rax+r14*8+0x1234], xmm29, 123	 # AVX512BW
1080	vpextrb	BYTE PTR [rdx+127], xmm29, 123	 # AVX512BW Disp8
1081	vpextrb	BYTE PTR [rdx+128], xmm29, 123	 # AVX512BW
1082	vpextrb	BYTE PTR [rdx-128], xmm29, 123	 # AVX512BW Disp8
1083	vpextrb	BYTE PTR [rdx-129], xmm29, 123	 # AVX512BW
1084	vpextrw	WORD PTR [rcx], xmm29, 123	 # AVX512BW
1085	vpextrw	WORD PTR [rax+r14*8+0x1234], xmm29, 123	 # AVX512BW
1086	vpextrw	WORD PTR [rdx+254], xmm29, 123	 # AVX512BW Disp8
1087	vpextrw	WORD PTR [rdx+256], xmm29, 123	 # AVX512BW
1088	vpextrw	WORD PTR [rdx-256], xmm29, 123	 # AVX512BW Disp8
1089	vpextrw	WORD PTR [rdx-258], xmm29, 123	 # AVX512BW
1090	vpextrw	rax, xmm30, 0xab	 # AVX512BW
1091	vpextrw	rax, xmm30, 123	 # AVX512BW
1092	vpextrw	r8, xmm30, 123	 # AVX512BW
1093	vpinsrb	xmm30, xmm29, eax, 0xab	 # AVX512BW
1094	vpinsrb	xmm30, xmm29, eax, 123	 # AVX512BW
1095	vpinsrb	xmm30, xmm29, ebp, 123	 # AVX512BW
1096	vpinsrb	xmm30, xmm29, r13d, 123	 # AVX512BW
1097	vpinsrb	xmm30, xmm29, BYTE PTR [rcx], 123	 # AVX512BW
1098	vpinsrb	xmm30, xmm29, BYTE PTR [rax+r14*8+0x1234], 123	 # AVX512BW
1099	vpinsrb	xmm30, xmm29, BYTE PTR [rdx+127], 123	 # AVX512BW Disp8
1100	vpinsrb	xmm30, xmm29, BYTE PTR [rdx+128], 123	 # AVX512BW
1101	vpinsrb	xmm30, xmm29, BYTE PTR [rdx-128], 123	 # AVX512BW Disp8
1102	vpinsrb	xmm30, xmm29, BYTE PTR [rdx-129], 123	 # AVX512BW
1103	vpinsrw	xmm30, xmm29, eax, 0xab	 # AVX512BW
1104	vpinsrw	xmm30, xmm29, eax, 123	 # AVX512BW
1105	vpinsrw	xmm30, xmm29, ebp, 123	 # AVX512BW
1106	vpinsrw	xmm30, xmm29, r13d, 123	 # AVX512BW
1107	vpinsrw	xmm30, xmm29, WORD PTR [rcx], 123	 # AVX512BW
1108	vpinsrw	xmm30, xmm29, WORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
1109	vpinsrw	xmm30, xmm29, WORD PTR [rdx+254], 123	 # AVX512BW Disp8
1110	vpinsrw	xmm30, xmm29, WORD PTR [rdx+256], 123	 # AVX512BW
1111	vpinsrw	xmm30, xmm29, WORD PTR [rdx-256], 123	 # AVX512BW Disp8
1112	vpinsrw	xmm30, xmm29, WORD PTR [rdx-258], 123	 # AVX512BW
1113	vpmaddubsw	zmm30, zmm29, zmm28	 # AVX512BW
1114	vpmaddubsw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1115	vpmaddubsw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1116	vpmaddubsw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1117	vpmaddubsw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1118	vpmaddubsw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1119	vpmaddubsw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1120	vpmaddubsw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1121	vpmaddubsw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1122	vpmaddwd	zmm30, zmm29, zmm28	 # AVX512BW
1123	vpmaddwd	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1124	vpmaddwd	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1125	vpmaddwd	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1126	vpmaddwd	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1127	vpmaddwd	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1128	vpmaddwd	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1129	vpmaddwd	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1130	vpmaddwd	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1131	vpmaxsb	zmm30, zmm29, zmm28	 # AVX512BW
1132	vpmaxsb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1133	vpmaxsb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1134	vpmaxsb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1135	vpmaxsb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1136	vpmaxsb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1137	vpmaxsb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1138	vpmaxsb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1139	vpmaxsb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1140	vpmaxsw	zmm30, zmm29, zmm28	 # AVX512BW
1141	vpmaxsw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1142	vpmaxsw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1143	vpmaxsw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1144	vpmaxsw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1145	vpmaxsw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1146	vpmaxsw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1147	vpmaxsw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1148	vpmaxsw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1149	vpmaxub	zmm30, zmm29, zmm28	 # AVX512BW
1150	vpmaxub	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1151	vpmaxub	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1152	vpmaxub	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1153	vpmaxub	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1154	vpmaxub	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1155	vpmaxub	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1156	vpmaxub	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1157	vpmaxub	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1158	vpmaxuw	zmm30, zmm29, zmm28	 # AVX512BW
1159	vpmaxuw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1160	vpmaxuw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1161	vpmaxuw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1162	vpmaxuw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1163	vpmaxuw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1164	vpmaxuw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1165	vpmaxuw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1166	vpmaxuw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1167	vpminsb	zmm30, zmm29, zmm28	 # AVX512BW
1168	vpminsb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1169	vpminsb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1170	vpminsb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1171	vpminsb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1172	vpminsb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1173	vpminsb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1174	vpminsb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1175	vpminsb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1176	vpminsw	zmm30, zmm29, zmm28	 # AVX512BW
1177	vpminsw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1178	vpminsw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1179	vpminsw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1180	vpminsw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1181	vpminsw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1182	vpminsw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1183	vpminsw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1184	vpminsw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1185	vpminub	zmm30, zmm29, zmm28	 # AVX512BW
1186	vpminub	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1187	vpminub	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1188	vpminub	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1189	vpminub	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1190	vpminub	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1191	vpminub	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1192	vpminub	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1193	vpminub	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1194	vpminuw	zmm30, zmm29, zmm28	 # AVX512BW
1195	vpminuw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1196	vpminuw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1197	vpminuw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1198	vpminuw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1199	vpminuw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1200	vpminuw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1201	vpminuw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1202	vpminuw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1203	vpmovsxbw	zmm30, ymm29	 # AVX512BW
1204	vpmovsxbw	zmm30{k7}, ymm29	 # AVX512BW
1205	vpmovsxbw	zmm30{k7}{z}, ymm29	 # AVX512BW
1206	vpmovsxbw	zmm30, YMMWORD PTR [rcx]	 # AVX512BW
1207	vpmovsxbw	zmm30, YMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1208	vpmovsxbw	zmm30, YMMWORD PTR [rdx+4064]	 # AVX512BW Disp8
1209	vpmovsxbw	zmm30, YMMWORD PTR [rdx+4096]	 # AVX512BW
1210	vpmovsxbw	zmm30, YMMWORD PTR [rdx-4096]	 # AVX512BW Disp8
1211	vpmovsxbw	zmm30, YMMWORD PTR [rdx-4128]	 # AVX512BW
1212	vpmovzxbw	zmm30, ymm29	 # AVX512BW
1213	vpmovzxbw	zmm30{k7}, ymm29	 # AVX512BW
1214	vpmovzxbw	zmm30{k7}{z}, ymm29	 # AVX512BW
1215	vpmovzxbw	zmm30, YMMWORD PTR [rcx]	 # AVX512BW
1216	vpmovzxbw	zmm30, YMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1217	vpmovzxbw	zmm30, YMMWORD PTR [rdx+4064]	 # AVX512BW Disp8
1218	vpmovzxbw	zmm30, YMMWORD PTR [rdx+4096]	 # AVX512BW
1219	vpmovzxbw	zmm30, YMMWORD PTR [rdx-4096]	 # AVX512BW Disp8
1220	vpmovzxbw	zmm30, YMMWORD PTR [rdx-4128]	 # AVX512BW
1221	vpmulhrsw	zmm30, zmm29, zmm28	 # AVX512BW
1222	vpmulhrsw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1223	vpmulhrsw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1224	vpmulhrsw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1225	vpmulhrsw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1226	vpmulhrsw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1227	vpmulhrsw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1228	vpmulhrsw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1229	vpmulhrsw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1230	vpmulhuw	zmm30, zmm29, zmm28	 # AVX512BW
1231	vpmulhuw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1232	vpmulhuw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1233	vpmulhuw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1234	vpmulhuw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1235	vpmulhuw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1236	vpmulhuw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1237	vpmulhuw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1238	vpmulhuw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1239	vpmulhw	zmm30, zmm29, zmm28	 # AVX512BW
1240	vpmulhw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1241	vpmulhw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1242	vpmulhw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1243	vpmulhw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1244	vpmulhw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1245	vpmulhw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1246	vpmulhw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1247	vpmulhw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1248	vpmullw	zmm30, zmm29, zmm28	 # AVX512BW
1249	vpmullw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1250	vpmullw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1251	vpmullw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1252	vpmullw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1253	vpmullw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1254	vpmullw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1255	vpmullw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1256	vpmullw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1257	vpsadbw	zmm30, zmm29, zmm28	 # AVX512BW
1258	vpsadbw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1259	vpsadbw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1260	vpsadbw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1261	vpsadbw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1262	vpsadbw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1263	vpsadbw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1264	vpshufb	zmm30, zmm29, zmm28	 # AVX512BW
1265	vpshufb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1266	vpshufb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1267	vpshufb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1268	vpshufb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1269	vpshufb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1270	vpshufb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1271	vpshufb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1272	vpshufb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1273	vpshufhw	zmm30, zmm29, 0xab	 # AVX512BW
1274	vpshufhw	zmm30{k7}, zmm29, 0xab	 # AVX512BW
1275	vpshufhw	zmm30{k7}{z}, zmm29, 0xab	 # AVX512BW
1276	vpshufhw	zmm30, zmm29, 123	 # AVX512BW
1277	vpshufhw	zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
1278	vpshufhw	zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
1279	vpshufhw	zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
1280	vpshufhw	zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
1281	vpshufhw	zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
1282	vpshufhw	zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
1283	vpshuflw	zmm30, zmm29, 0xab	 # AVX512BW
1284	vpshuflw	zmm30{k7}, zmm29, 0xab	 # AVX512BW
1285	vpshuflw	zmm30{k7}{z}, zmm29, 0xab	 # AVX512BW
1286	vpshuflw	zmm30, zmm29, 123	 # AVX512BW
1287	vpshuflw	zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
1288	vpshuflw	zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
1289	vpshuflw	zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
1290	vpshuflw	zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
1291	vpshuflw	zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
1292	vpshuflw	zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
1293	vpsllw	zmm30, zmm29, xmm28	 # AVX512BW
1294	vpsllw	zmm30{k7}, zmm29, xmm28	 # AVX512BW
1295	vpsllw	zmm30{k7}{z}, zmm29, xmm28	 # AVX512BW
1296	vpsllw	zmm30, zmm29, XMMWORD PTR [rcx]	 # AVX512BW
1297	vpsllw	zmm30, zmm29, XMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1298	vpsllw	zmm30, zmm29, XMMWORD PTR [rdx+2032]	 # AVX512BW Disp8
1299	vpsllw	zmm30, zmm29, XMMWORD PTR [rdx+2048]	 # AVX512BW
1300	vpsllw	zmm30, zmm29, XMMWORD PTR [rdx-2048]	 # AVX512BW Disp8
1301	vpsllw	zmm30, zmm29, XMMWORD PTR [rdx-2064]	 # AVX512BW
1302	vpsraw	zmm30, zmm29, xmm28	 # AVX512BW
1303	vpsraw	zmm30{k7}, zmm29, xmm28	 # AVX512BW
1304	vpsraw	zmm30{k7}{z}, zmm29, xmm28	 # AVX512BW
1305	vpsraw	zmm30, zmm29, XMMWORD PTR [rcx]	 # AVX512BW
1306	vpsraw	zmm30, zmm29, XMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1307	vpsraw	zmm30, zmm29, XMMWORD PTR [rdx+2032]	 # AVX512BW Disp8
1308	vpsraw	zmm30, zmm29, XMMWORD PTR [rdx+2048]	 # AVX512BW
1309	vpsraw	zmm30, zmm29, XMMWORD PTR [rdx-2048]	 # AVX512BW Disp8
1310	vpsraw	zmm30, zmm29, XMMWORD PTR [rdx-2064]	 # AVX512BW
1311	vpsrlw	zmm30, zmm29, xmm28	 # AVX512BW
1312	vpsrlw	zmm30{k7}, zmm29, xmm28	 # AVX512BW
1313	vpsrlw	zmm30{k7}{z}, zmm29, xmm28	 # AVX512BW
1314	vpsrlw	zmm30, zmm29, XMMWORD PTR [rcx]	 # AVX512BW
1315	vpsrlw	zmm30, zmm29, XMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1316	vpsrlw	zmm30, zmm29, XMMWORD PTR [rdx+2032]	 # AVX512BW Disp8
1317	vpsrlw	zmm30, zmm29, XMMWORD PTR [rdx+2048]	 # AVX512BW
1318	vpsrlw	zmm30, zmm29, XMMWORD PTR [rdx-2048]	 # AVX512BW Disp8
1319	vpsrlw	zmm30, zmm29, XMMWORD PTR [rdx-2064]	 # AVX512BW
1320	vpsrldq	zmm30, zmm29, 0xab	 # AVX512BW
1321	vpsrldq	zmm30, zmm29, 123	 # AVX512BW
1322	vpsrldq	zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
1323	vpsrldq	zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
1324	vpsrldq	zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
1325	vpsrldq	zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
1326	vpsrldq	zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
1327	vpsrldq	zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
1328	vpsrlw	zmm30, zmm29, 0xab	 # AVX512BW
1329	vpsrlw	zmm30{k7}, zmm29, 0xab	 # AVX512BW
1330	vpsrlw	zmm30{k7}{z}, zmm29, 0xab	 # AVX512BW
1331	vpsrlw	zmm30, zmm29, 123	 # AVX512BW
1332	vpsrlw	zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
1333	vpsrlw	zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
1334	vpsrlw	zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
1335	vpsrlw	zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
1336	vpsrlw	zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
1337	vpsrlw	zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
1338	vpsraw	zmm30, zmm29, 0xab	 # AVX512BW
1339	vpsraw	zmm30{k7}, zmm29, 0xab	 # AVX512BW
1340	vpsraw	zmm30{k7}{z}, zmm29, 0xab	 # AVX512BW
1341	vpsraw	zmm30, zmm29, 123	 # AVX512BW
1342	vpsraw	zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
1343	vpsraw	zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
1344	vpsraw	zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
1345	vpsraw	zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
1346	vpsraw	zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
1347	vpsraw	zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
1348	vpsrlvw	zmm30, zmm29, zmm28	 # AVX512BW
1349	vpsrlvw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1350	vpsrlvw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1351	vpsrlvw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1352	vpsrlvw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1353	vpsrlvw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1354	vpsrlvw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1355	vpsrlvw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1356	vpsrlvw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1357	vpsravw	zmm30, zmm29, zmm28	 # AVX512BW
1358	vpsravw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1359	vpsravw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1360	vpsravw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1361	vpsravw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1362	vpsravw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1363	vpsravw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1364	vpsravw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1365	vpsravw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1366	vpsubb	zmm30, zmm29, zmm28	 # AVX512BW
1367	vpsubb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1368	vpsubb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1369	vpsubb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1370	vpsubb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1371	vpsubb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1372	vpsubb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1373	vpsubb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1374	vpsubb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1375	vpsubsb	zmm30, zmm29, zmm28	 # AVX512BW
1376	vpsubsb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1377	vpsubsb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1378	vpsubsb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1379	vpsubsb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1380	vpsubsb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1381	vpsubsb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1382	vpsubsb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1383	vpsubsb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1384	vpsubsw	zmm30, zmm29, zmm28	 # AVX512BW
1385	vpsubsw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1386	vpsubsw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1387	vpsubsw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1388	vpsubsw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1389	vpsubsw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1390	vpsubsw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1391	vpsubsw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1392	vpsubsw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1393	vpsubusb	zmm30, zmm29, zmm28	 # AVX512BW
1394	vpsubusb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1395	vpsubusb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1396	vpsubusb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1397	vpsubusb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1398	vpsubusb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1399	vpsubusb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1400	vpsubusb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1401	vpsubusb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1402	vpsubusw	zmm30, zmm29, zmm28	 # AVX512BW
1403	vpsubusw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1404	vpsubusw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1405	vpsubusw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1406	vpsubusw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1407	vpsubusw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1408	vpsubusw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1409	vpsubusw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1410	vpsubusw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1411	vpsubw	zmm30, zmm29, zmm28	 # AVX512BW
1412	vpsubw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1413	vpsubw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1414	vpsubw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1415	vpsubw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1416	vpsubw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1417	vpsubw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1418	vpsubw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1419	vpsubw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1420	vpunpckhbw	zmm30, zmm29, zmm28	 # AVX512BW
1421	vpunpckhbw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1422	vpunpckhbw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1423	vpunpckhbw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1424	vpunpckhbw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1425	vpunpckhbw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1426	vpunpckhbw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1427	vpunpckhbw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1428	vpunpckhbw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1429	vpunpckhwd	zmm30, zmm29, zmm28	 # AVX512BW
1430	vpunpckhwd	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1431	vpunpckhwd	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1432	vpunpckhwd	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1433	vpunpckhwd	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1434	vpunpckhwd	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1435	vpunpckhwd	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1436	vpunpckhwd	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1437	vpunpckhwd	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1438	vpunpcklbw	zmm30, zmm29, zmm28	 # AVX512BW
1439	vpunpcklbw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1440	vpunpcklbw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1441	vpunpcklbw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1442	vpunpcklbw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1443	vpunpcklbw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1444	vpunpcklbw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1445	vpunpcklbw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1446	vpunpcklbw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1447	vpunpcklwd	zmm30, zmm29, zmm28	 # AVX512BW
1448	vpunpcklwd	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1449	vpunpcklwd	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1450	vpunpcklwd	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1451	vpunpcklwd	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1452	vpunpcklwd	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1453	vpunpcklwd	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1454	vpunpcklwd	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1455	vpunpcklwd	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1456	vpmovwb	ymm30, zmm29	 # AVX512BW
1457	vpmovwb	ymm30{k7}, zmm29	 # AVX512BW
1458	vpmovwb	ymm30{k7}{z}, zmm29	 # AVX512BW
1459	vpmovswb	ymm30, zmm29	 # AVX512BW
1460	vpmovswb	ymm30{k7}, zmm29	 # AVX512BW
1461	vpmovswb	ymm30{k7}{z}, zmm29	 # AVX512BW
1462	vpmovuswb	ymm30, zmm29	 # AVX512BW
1463	vpmovuswb	ymm30{k7}, zmm29	 # AVX512BW
1464	vpmovuswb	ymm30{k7}{z}, zmm29	 # AVX512BW
1465	vdbpsadbw	zmm30, zmm29, zmm28, 0xab	 # AVX512BW
1466	vdbpsadbw	zmm30{k7}, zmm29, zmm28, 0xab	 # AVX512BW
1467	vdbpsadbw	zmm30{k7}{z}, zmm29, zmm28, 0xab	 # AVX512BW
1468	vdbpsadbw	zmm30, zmm29, zmm28, 123	 # AVX512BW
1469	vdbpsadbw	zmm30, zmm29, ZMMWORD PTR [rcx], 123	 # AVX512BW
1470	vdbpsadbw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
1471	vdbpsadbw	zmm30, zmm29, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
1472	vdbpsadbw	zmm30, zmm29, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
1473	vdbpsadbw	zmm30, zmm29, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
1474	vdbpsadbw	zmm30, zmm29, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
1475	vpermw	zmm30, zmm29, zmm28	 # AVX512BW
1476	vpermw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1477	vpermw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1478	vpermw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1479	vpermw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1480	vpermw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1481	vpermw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1482	vpermw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1483	vpermw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1484	vpermt2w	zmm30, zmm29, zmm28	 # AVX512BW
1485	vpermt2w	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1486	vpermt2w	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1487	vpermt2w	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1488	vpermt2w	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1489	vpermt2w	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1490	vpermt2w	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1491	vpermt2w	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1492	vpermt2w	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1493	vpslldq	zmm30, zmm29, 0xab	 # AVX512BW
1494	vpslldq	zmm30, zmm29, 123	 # AVX512BW
1495	vpslldq	zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
1496	vpslldq	zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
1497	vpslldq	zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
1498	vpslldq	zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
1499	vpslldq	zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
1500	vpslldq	zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
1501	vpsllw	zmm30, zmm29, 0xab	 # AVX512BW
1502	vpsllw	zmm30{k7}, zmm29, 0xab	 # AVX512BW
1503	vpsllw	zmm30{k7}{z}, zmm29, 0xab	 # AVX512BW
1504	vpsllw	zmm30, zmm29, 123	 # AVX512BW
1505	vpsllw	zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
1506	vpsllw	zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
1507	vpsllw	zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
1508	vpsllw	zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
1509	vpsllw	zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
1510	vpsllw	zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
1511	vpsllvw	zmm30, zmm29, zmm28	 # AVX512BW
1512	vpsllvw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1513	vpsllvw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1514	vpsllvw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1515	vpsllvw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1516	vpsllvw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1517	vpsllvw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1518	vpsllvw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1519	vpsllvw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1520	vmovdqu8	zmm30, zmm29	 # AVX512BW
1521	vmovdqu8	zmm30{k7}, zmm29	 # AVX512BW
1522	vmovdqu8	zmm30{k7}{z}, zmm29	 # AVX512BW
1523	vmovdqu8	zmm30, ZMMWORD PTR [rcx]	 # AVX512BW
1524	vmovdqu8	zmm30, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1525	vmovdqu8	zmm30, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1526	vmovdqu8	zmm30, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1527	vmovdqu8	zmm30, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1528	vmovdqu8	zmm30, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1529	vmovdqu16	zmm30, zmm29	 # AVX512BW
1530	vmovdqu16	zmm30{k7}, zmm29	 # AVX512BW
1531	vmovdqu16	zmm30{k7}{z}, zmm29	 # AVX512BW
1532	vmovdqu16	zmm30, ZMMWORD PTR [rcx]	 # AVX512BW
1533	vmovdqu16	zmm30, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1534	vmovdqu16	zmm30, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1535	vmovdqu16	zmm30, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1536	vmovdqu16	zmm30, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1537	vmovdqu16	zmm30, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1538	kandq	k5, k6, k7	 # AVX512BW
1539	kandd	k5, k6, k7	 # AVX512BW
1540	kandnq	k5, k6, k7	 # AVX512BW
1541	kandnd	k5, k6, k7	 # AVX512BW
1542	korq	k5, k6, k7	 # AVX512BW
1543	kord	k5, k6, k7	 # AVX512BW
1544	kxnorq	k5, k6, k7	 # AVX512BW
1545	kxnord	k5, k6, k7	 # AVX512BW
1546	kxorq	k5, k6, k7	 # AVX512BW
1547	kxord	k5, k6, k7	 # AVX512BW
1548	knotq	k5, k6	 # AVX512BW
1549	knotd	k5, k6	 # AVX512BW
1550	kortestq	k5, k6	 # AVX512BW
1551	kortestd	k5, k6	 # AVX512BW
1552	ktestq	k5, k6	 # AVX512BW
1553	ktestd	k5, k6	 # AVX512BW
1554	kshiftrq	k5, k6, 0xab	 # AVX512BW
1555	kshiftrq	k5, k6, 123	 # AVX512BW
1556	kshiftrd	k5, k6, 0xab	 # AVX512BW
1557	kshiftrd	k5, k6, 123	 # AVX512BW
1558	kshiftlq	k5, k6, 0xab	 # AVX512BW
1559	kshiftlq	k5, k6, 123	 # AVX512BW
1560	kshiftld	k5, k6, 0xab	 # AVX512BW
1561	kshiftld	k5, k6, 123	 # AVX512BW
1562	kmovq	k5, k6	 # AVX512BW
1563	kmovq	k5, QWORD PTR [rcx]	 # AVX512BW
1564	kmovq	k5, QWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1565	kmovd	k5, k6	 # AVX512BW
1566	kmovd	k5, DWORD PTR [rcx]	 # AVX512BW
1567	kmovd	k5, DWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1568	kmovq	QWORD PTR [rcx], k5	 # AVX512BW
1569	kmovq	QWORD PTR [rax+r14*8+0x1234], k5	 # AVX512BW
1570	kmovd	DWORD PTR [rcx], k5	 # AVX512BW
1571	kmovd	DWORD PTR [rax+r14*8+0x1234], k5	 # AVX512BW
1572	kmovq	k5, rax	 # AVX512BW
1573	kmovq	k5, r8	 # AVX512BW
1574	kmovd	k5, eax	 # AVX512BW
1575	kmovd	k5, ebp	 # AVX512BW
1576	kmovd	k5, r13d	 # AVX512BW
1577	kmovq	rax, k5	 # AVX512BW
1578	kmovq	r8, k5	 # AVX512BW
1579	kmovd	eax, k5	 # AVX512BW
1580	kmovd	ebp, k5	 # AVX512BW
1581	kmovd	r13d, k5	 # AVX512BW
1582	kaddq	k5, k6, k7	 # AVX512BW
1583	kaddd	k5, k6, k7	 # AVX512BW
1584	kunpckwd	k5, k6, k7	 # AVX512BW
1585	kunpckdq	k5, k6, k7	 # AVX512BW
1586	vpmovwb	YMMWORD PTR [rcx], zmm30	 # AVX512BW
1587	vpmovwb	YMMWORD PTR [rcx]{k7}, zmm30	 # AVX512BW
1588	vpmovwb	YMMWORD PTR [rax+r14*8+0x1234], zmm30	 # AVX512BW
1589	vpmovwb	YMMWORD PTR [rdx+4064], zmm30	 # AVX512BW Disp8
1590	vpmovwb	YMMWORD PTR [rdx+4096], zmm30	 # AVX512BW
1591	vpmovwb	YMMWORD PTR [rdx-4096], zmm30	 # AVX512BW Disp8
1592	vpmovwb	YMMWORD PTR [rdx-4128], zmm30	 # AVX512BW
1593	vpmovswb	YMMWORD PTR [rcx], zmm30	 # AVX512BW
1594	vpmovswb	YMMWORD PTR [rcx]{k7}, zmm30	 # AVX512BW
1595	vpmovswb	YMMWORD PTR [rax+r14*8+0x1234], zmm30	 # AVX512BW
1596	vpmovswb	YMMWORD PTR [rdx+4064], zmm30	 # AVX512BW Disp8
1597	vpmovswb	YMMWORD PTR [rdx+4096], zmm30	 # AVX512BW
1598	vpmovswb	YMMWORD PTR [rdx-4096], zmm30	 # AVX512BW Disp8
1599	vpmovswb	YMMWORD PTR [rdx-4128], zmm30	 # AVX512BW
1600	vpmovuswb	YMMWORD PTR [rcx], zmm30	 # AVX512BW
1601	vpmovuswb	YMMWORD PTR [rcx]{k7}, zmm30	 # AVX512BW
1602	vpmovuswb	YMMWORD PTR [rax+r14*8+0x1234], zmm30	 # AVX512BW
1603	vpmovuswb	YMMWORD PTR [rdx+4064], zmm30	 # AVX512BW Disp8
1604	vpmovuswb	YMMWORD PTR [rdx+4096], zmm30	 # AVX512BW
1605	vpmovuswb	YMMWORD PTR [rdx-4096], zmm30	 # AVX512BW Disp8
1606	vpmovuswb	YMMWORD PTR [rdx-4128], zmm30	 # AVX512BW
1607	vmovdqu8	ZMMWORD PTR [rcx], zmm30	 # AVX512BW
1608	vmovdqu8	ZMMWORD PTR [rcx]{k7}, zmm30	 # AVX512BW
1609	vmovdqu8	ZMMWORD PTR [rax+r14*8+0x1234], zmm30	 # AVX512BW
1610	vmovdqu8	ZMMWORD PTR [rdx+8128], zmm30	 # AVX512BW Disp8
1611	vmovdqu8	ZMMWORD PTR [rdx+8192], zmm30	 # AVX512BW
1612	vmovdqu8	ZMMWORD PTR [rdx-8192], zmm30	 # AVX512BW Disp8
1613	vmovdqu8	ZMMWORD PTR [rdx-8256], zmm30	 # AVX512BW
1614	vmovdqu16	ZMMWORD PTR [rcx], zmm30	 # AVX512BW
1615	vmovdqu16	ZMMWORD PTR [rcx]{k7}, zmm30	 # AVX512BW
1616	vmovdqu16	ZMMWORD PTR [rax+r14*8+0x1234], zmm30	 # AVX512BW
1617	vmovdqu16	ZMMWORD PTR [rdx+8128], zmm30	 # AVX512BW Disp8
1618	vmovdqu16	ZMMWORD PTR [rdx+8192], zmm30	 # AVX512BW
1619	vmovdqu16	ZMMWORD PTR [rdx-8192], zmm30	 # AVX512BW Disp8
1620	vmovdqu16	ZMMWORD PTR [rdx-8256], zmm30	 # AVX512BW
1621	vpermi2w	zmm30, zmm29, zmm28	 # AVX512BW
1622	vpermi2w	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1623	vpermi2w	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1624	vpermi2w	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1625	vpermi2w	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1626	vpermi2w	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1627	vpermi2w	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1628	vpermi2w	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1629	vpermi2w	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1630	vptestmb	k5, zmm30, zmm29	 # AVX512BW
1631	vptestmb	k5{k7}, zmm30, zmm29	 # AVX512BW
1632	vptestmb	k5, zmm30, ZMMWORD PTR [rcx]	 # AVX512BW
1633	vptestmb	k5, zmm30, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1634	vptestmb	k5, zmm30, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1635	vptestmb	k5, zmm30, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1636	vptestmb	k5, zmm30, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1637	vptestmb	k5, zmm30, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1638	vptestmw	k5, zmm30, zmm29	 # AVX512BW
1639	vptestmw	k5{k7}, zmm30, zmm29	 # AVX512BW
1640	vptestmw	k5, zmm30, ZMMWORD PTR [rcx]	 # AVX512BW
1641	vptestmw	k5, zmm30, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1642	vptestmw	k5, zmm30, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1643	vptestmw	k5, zmm30, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1644	vptestmw	k5, zmm30, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1645	vptestmw	k5, zmm30, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1646	vpmovb2m	k5, zmm30	 # AVX512BW
1647	vpmovw2m	k5, zmm30	 # AVX512BW
1648	vpmovm2b	zmm30, k5	 # AVX512BW
1649	vpmovm2w	zmm30, k5	 # AVX512BW
1650	vptestnmb	k5, zmm29, zmm28	 # AVX512BW
1651	vptestnmb	k5{k7}, zmm29, zmm28	 # AVX512BW
1652	vptestnmb	k5, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1653	vptestnmb	k5, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1654	vptestnmb	k5, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1655	vptestnmb	k5, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1656	vptestnmb	k5, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1657	vptestnmb	k5, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1658	vptestnmw	k5, zmm29, zmm28	 # AVX512BW
1659	vptestnmw	k5{k7}, zmm29, zmm28	 # AVX512BW
1660	vptestnmw	k5, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1661	vptestnmw	k5, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1662	vptestnmw	k5, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1663	vptestnmw	k5, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1664	vptestnmw	k5, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1665	vptestnmw	k5, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1666	vpcmpb	k5, zmm30, zmm29, 0xab	 # AVX512BW
1667	vpcmpb	k5{k7}, zmm30, zmm29, 0xab	 # AVX512BW
1668	vpcmpb	k5, zmm30, zmm29, 123	 # AVX512BW
1669	vpcmpb	k5, zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
1670	vpcmpb	k5, zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
1671	vpcmpb	k5, zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
1672	vpcmpb	k5, zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
1673	vpcmpb	k5, zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
1674	vpcmpb	k5, zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
1675	vpcmpw	k5, zmm30, zmm29, 0xab	 # AVX512BW
1676	vpcmpw	k5{k7}, zmm30, zmm29, 0xab	 # AVX512BW
1677	vpcmpw	k5, zmm30, zmm29, 123	 # AVX512BW
1678	vpcmpw	k5, zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
1679	vpcmpw	k5, zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
1680	vpcmpw	k5, zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
1681	vpcmpw	k5, zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
1682	vpcmpw	k5, zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
1683	vpcmpw	k5, zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
1684	vpcmpub	k5, zmm30, zmm29, 0xab	 # AVX512BW
1685	vpcmpub	k5{k7}, zmm30, zmm29, 0xab	 # AVX512BW
1686	vpcmpub	k5, zmm30, zmm29, 123	 # AVX512BW
1687	vpcmpub	k5, zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
1688	vpcmpub	k5, zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
1689	vpcmpub	k5, zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
1690	vpcmpub	k5, zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
1691	vpcmpub	k5, zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
1692	vpcmpub	k5, zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
1693	vpcmpuw	k5, zmm30, zmm29, 0xab	 # AVX512BW
1694	vpcmpuw	k5{k7}, zmm30, zmm29, 0xab	 # AVX512BW
1695	vpcmpuw	k5, zmm30, zmm29, 123	 # AVX512BW
1696	vpcmpuw	k5, zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
1697	vpcmpuw	k5, zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
1698	vpcmpuw	k5, zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
1699	vpcmpuw	k5, zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
1700	vpcmpuw	k5, zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
1701	vpcmpuw	k5, zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
1702