1# Check 64bit AVX512BW WIG 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	vpacksswb	%zmm28, %zmm29, %zmm30	 # AVX512BW
25	vpacksswb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
26	vpacksswb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
27	vpacksswb	(%rcx), %zmm29, %zmm30	 # AVX512BW
28	vpacksswb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
29	vpacksswb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
30	vpacksswb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
31	vpacksswb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
32	vpacksswb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
33	vpackuswb	%zmm28, %zmm29, %zmm30	 # AVX512BW
34	vpackuswb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
35	vpackuswb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
36	vpackuswb	(%rcx), %zmm29, %zmm30	 # AVX512BW
37	vpackuswb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
38	vpackuswb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
39	vpackuswb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
40	vpackuswb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
41	vpackuswb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
42	vpaddb	%zmm28, %zmm29, %zmm30	 # AVX512BW
43	vpaddb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
44	vpaddb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
45	vpaddb	(%rcx), %zmm29, %zmm30	 # AVX512BW
46	vpaddb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
47	vpaddb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
48	vpaddb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
49	vpaddb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
50	vpaddb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
51	vpaddsb	%zmm28, %zmm29, %zmm30	 # AVX512BW
52	vpaddsb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
53	vpaddsb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
54	vpaddsb	(%rcx), %zmm29, %zmm30	 # AVX512BW
55	vpaddsb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
56	vpaddsb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
57	vpaddsb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
58	vpaddsb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
59	vpaddsb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
60	vpaddsw	%zmm28, %zmm29, %zmm30	 # AVX512BW
61	vpaddsw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
62	vpaddsw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
63	vpaddsw	(%rcx), %zmm29, %zmm30	 # AVX512BW
64	vpaddsw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
65	vpaddsw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
66	vpaddsw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
67	vpaddsw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
68	vpaddsw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
69	vpaddusb	%zmm28, %zmm29, %zmm30	 # AVX512BW
70	vpaddusb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
71	vpaddusb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
72	vpaddusb	(%rcx), %zmm29, %zmm30	 # AVX512BW
73	vpaddusb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
74	vpaddusb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
75	vpaddusb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
76	vpaddusb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
77	vpaddusb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
78	vpaddusw	%zmm28, %zmm29, %zmm30	 # AVX512BW
79	vpaddusw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
80	vpaddusw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
81	vpaddusw	(%rcx), %zmm29, %zmm30	 # AVX512BW
82	vpaddusw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
83	vpaddusw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
84	vpaddusw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
85	vpaddusw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
86	vpaddusw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
87	vpaddw	%zmm28, %zmm29, %zmm30	 # AVX512BW
88	vpaddw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
89	vpaddw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
90	vpaddw	(%rcx), %zmm29, %zmm30	 # AVX512BW
91	vpaddw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
92	vpaddw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
93	vpaddw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
94	vpaddw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
95	vpaddw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
96	vpalignr	$0xab, %zmm28, %zmm29, %zmm30	 # AVX512BW
97	vpalignr	$0xab, %zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
98	vpalignr	$0xab, %zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
99	vpalignr	$123, %zmm28, %zmm29, %zmm30	 # AVX512BW
100	vpalignr	$123, (%rcx), %zmm29, %zmm30	 # AVX512BW
101	vpalignr	$123, 0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
102	vpalignr	$123, 8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
103	vpalignr	$123, 8192(%rdx), %zmm29, %zmm30	 # AVX512BW
104	vpalignr	$123, -8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
105	vpalignr	$123, -8256(%rdx), %zmm29, %zmm30	 # AVX512BW
106	vpavgb	%zmm28, %zmm29, %zmm30	 # AVX512BW
107	vpavgb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
108	vpavgb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
109	vpavgb	(%rcx), %zmm29, %zmm30	 # AVX512BW
110	vpavgb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
111	vpavgb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
112	vpavgb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
113	vpavgb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
114	vpavgb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
115	vpavgw	%zmm28, %zmm29, %zmm30	 # AVX512BW
116	vpavgw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
117	vpavgw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
118	vpavgw	(%rcx), %zmm29, %zmm30	 # AVX512BW
119	vpavgw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
120	vpavgw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
121	vpavgw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
122	vpavgw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
123	vpavgw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
124	vpcmpeqb	%zmm29, %zmm30, %k5	 # AVX512BW
125	vpcmpeqb	%zmm29, %zmm30, %k5{%k7}	 # AVX512BW
126	vpcmpeqb	(%rcx), %zmm30, %k5	 # AVX512BW
127	vpcmpeqb	0x123(%rax,%r14,8), %zmm30, %k5	 # AVX512BW
128	vpcmpeqb	8128(%rdx), %zmm30, %k5	 # AVX512BW Disp8
129	vpcmpeqb	8192(%rdx), %zmm30, %k5	 # AVX512BW
130	vpcmpeqb	-8192(%rdx), %zmm30, %k5	 # AVX512BW Disp8
131	vpcmpeqb	-8256(%rdx), %zmm30, %k5	 # AVX512BW
132	vpcmpeqw	%zmm29, %zmm30, %k5	 # AVX512BW
133	vpcmpeqw	%zmm29, %zmm30, %k5{%k7}	 # AVX512BW
134	vpcmpeqw	(%rcx), %zmm30, %k5	 # AVX512BW
135	vpcmpeqw	0x123(%rax,%r14,8), %zmm30, %k5	 # AVX512BW
136	vpcmpeqw	8128(%rdx), %zmm30, %k5	 # AVX512BW Disp8
137	vpcmpeqw	8192(%rdx), %zmm30, %k5	 # AVX512BW
138	vpcmpeqw	-8192(%rdx), %zmm30, %k5	 # AVX512BW Disp8
139	vpcmpeqw	-8256(%rdx), %zmm30, %k5	 # AVX512BW
140	vpcmpgtb	%zmm29, %zmm30, %k5	 # AVX512BW
141	vpcmpgtb	%zmm29, %zmm30, %k5{%k7}	 # AVX512BW
142	vpcmpgtb	(%rcx), %zmm30, %k5	 # AVX512BW
143	vpcmpgtb	0x123(%rax,%r14,8), %zmm30, %k5	 # AVX512BW
144	vpcmpgtb	8128(%rdx), %zmm30, %k5	 # AVX512BW Disp8
145	vpcmpgtb	8192(%rdx), %zmm30, %k5	 # AVX512BW
146	vpcmpgtb	-8192(%rdx), %zmm30, %k5	 # AVX512BW Disp8
147	vpcmpgtb	-8256(%rdx), %zmm30, %k5	 # AVX512BW
148	vpcmpgtw	%zmm29, %zmm30, %k5	 # AVX512BW
149	vpcmpgtw	%zmm29, %zmm30, %k5{%k7}	 # AVX512BW
150	vpcmpgtw	(%rcx), %zmm30, %k5	 # AVX512BW
151	vpcmpgtw	0x123(%rax,%r14,8), %zmm30, %k5	 # AVX512BW
152	vpcmpgtw	8128(%rdx), %zmm30, %k5	 # AVX512BW Disp8
153	vpcmpgtw	8192(%rdx), %zmm30, %k5	 # AVX512BW
154	vpcmpgtw	-8192(%rdx), %zmm30, %k5	 # AVX512BW Disp8
155	vpcmpgtw	-8256(%rdx), %zmm30, %k5	 # AVX512BW
156	vpextrb	$0xab, %xmm29, %rax	 # AVX512BW
157	vpextrb	$123, %xmm29, %rax	 # AVX512BW
158	vpextrb	$123, %xmm29, %r8	 # AVX512BW
159	vpextrb	$123, %xmm29, (%rcx)	 # AVX512BW
160	vpextrb	$123, %xmm29, 0x123(%rax,%r14,8)	 # AVX512BW
161	vpextrb	$123, %xmm29, 127(%rdx)	 # AVX512BW Disp8
162	vpextrb	$123, %xmm29, 128(%rdx)	 # AVX512BW
163	vpextrb	$123, %xmm29, -128(%rdx)	 # AVX512BW Disp8
164	vpextrb	$123, %xmm29, -129(%rdx)	 # AVX512BW
165	vpextrw	$123, %xmm29, (%rcx)	 # AVX512BW
166	vpextrw	$123, %xmm29, 0x123(%rax,%r14,8)	 # AVX512BW
167	vpextrw	$123, %xmm29, 254(%rdx)	 # AVX512BW Disp8
168	vpextrw	$123, %xmm29, 256(%rdx)	 # AVX512BW
169	vpextrw	$123, %xmm29, -256(%rdx)	 # AVX512BW Disp8
170	vpextrw	$123, %xmm29, -258(%rdx)	 # AVX512BW
171	vpextrw	$0xab, %xmm30, %rax	 # AVX512BW
172	vpextrw	$123, %xmm30, %rax	 # AVX512BW
173	vpextrw	$123, %xmm30, %r8	 # AVX512BW
174	vpinsrb	$0xab, %eax, %xmm29, %xmm30	 # AVX512BW
175	vpinsrb	$123, %eax, %xmm29, %xmm30	 # AVX512BW
176	vpinsrb	$123, %ebp, %xmm29, %xmm30	 # AVX512BW
177	vpinsrb	$123, %r13d, %xmm29, %xmm30	 # AVX512BW
178	vpinsrb	$123, (%rcx), %xmm29, %xmm30	 # AVX512BW
179	vpinsrb	$123, 0x123(%rax,%r14,8), %xmm29, %xmm30	 # AVX512BW
180	vpinsrb	$123, 127(%rdx), %xmm29, %xmm30	 # AVX512BW Disp8
181	vpinsrb	$123, 128(%rdx), %xmm29, %xmm30	 # AVX512BW
182	vpinsrb	$123, -128(%rdx), %xmm29, %xmm30	 # AVX512BW Disp8
183	vpinsrb	$123, -129(%rdx), %xmm29, %xmm30	 # AVX512BW
184	vpinsrw	$0xab, %eax, %xmm29, %xmm30	 # AVX512BW
185	vpinsrw	$123, %eax, %xmm29, %xmm30	 # AVX512BW
186	vpinsrw	$123, %ebp, %xmm29, %xmm30	 # AVX512BW
187	vpinsrw	$123, %r13d, %xmm29, %xmm30	 # AVX512BW
188	vpinsrw	$123, (%rcx), %xmm29, %xmm30	 # AVX512BW
189	vpinsrw	$123, 0x123(%rax,%r14,8), %xmm29, %xmm30	 # AVX512BW
190	vpinsrw	$123, 254(%rdx), %xmm29, %xmm30	 # AVX512BW Disp8
191	vpinsrw	$123, 256(%rdx), %xmm29, %xmm30	 # AVX512BW
192	vpinsrw	$123, -256(%rdx), %xmm29, %xmm30	 # AVX512BW Disp8
193	vpinsrw	$123, -258(%rdx), %xmm29, %xmm30	 # AVX512BW
194	vpmaddubsw	%zmm28, %zmm29, %zmm30	 # AVX512BW
195	vpmaddubsw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
196	vpmaddubsw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
197	vpmaddubsw	(%rcx), %zmm29, %zmm30	 # AVX512BW
198	vpmaddubsw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
199	vpmaddubsw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
200	vpmaddubsw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
201	vpmaddubsw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
202	vpmaddubsw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
203	vpmaddwd	%zmm28, %zmm29, %zmm30	 # AVX512BW
204	vpmaddwd	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
205	vpmaddwd	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
206	vpmaddwd	(%rcx), %zmm29, %zmm30	 # AVX512BW
207	vpmaddwd	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
208	vpmaddwd	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
209	vpmaddwd	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
210	vpmaddwd	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
211	vpmaddwd	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
212	vpmaxsb	%zmm28, %zmm29, %zmm30	 # AVX512BW
213	vpmaxsb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
214	vpmaxsb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
215	vpmaxsb	(%rcx), %zmm29, %zmm30	 # AVX512BW
216	vpmaxsb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
217	vpmaxsb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
218	vpmaxsb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
219	vpmaxsb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
220	vpmaxsb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
221	vpmaxsw	%zmm28, %zmm29, %zmm30	 # AVX512BW
222	vpmaxsw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
223	vpmaxsw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
224	vpmaxsw	(%rcx), %zmm29, %zmm30	 # AVX512BW
225	vpmaxsw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
226	vpmaxsw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
227	vpmaxsw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
228	vpmaxsw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
229	vpmaxsw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
230	vpmaxub	%zmm28, %zmm29, %zmm30	 # AVX512BW
231	vpmaxub	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
232	vpmaxub	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
233	vpmaxub	(%rcx), %zmm29, %zmm30	 # AVX512BW
234	vpmaxub	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
235	vpmaxub	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
236	vpmaxub	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
237	vpmaxub	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
238	vpmaxub	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
239	vpmaxuw	%zmm28, %zmm29, %zmm30	 # AVX512BW
240	vpmaxuw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
241	vpmaxuw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
242	vpmaxuw	(%rcx), %zmm29, %zmm30	 # AVX512BW
243	vpmaxuw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
244	vpmaxuw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
245	vpmaxuw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
246	vpmaxuw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
247	vpmaxuw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
248	vpminsb	%zmm28, %zmm29, %zmm30	 # AVX512BW
249	vpminsb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
250	vpminsb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
251	vpminsb	(%rcx), %zmm29, %zmm30	 # AVX512BW
252	vpminsb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
253	vpminsb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
254	vpminsb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
255	vpminsb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
256	vpminsb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
257	vpminsw	%zmm28, %zmm29, %zmm30	 # AVX512BW
258	vpminsw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
259	vpminsw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
260	vpminsw	(%rcx), %zmm29, %zmm30	 # AVX512BW
261	vpminsw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
262	vpminsw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
263	vpminsw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
264	vpminsw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
265	vpminsw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
266	vpminub	%zmm28, %zmm29, %zmm30	 # AVX512BW
267	vpminub	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
268	vpminub	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
269	vpminub	(%rcx), %zmm29, %zmm30	 # AVX512BW
270	vpminub	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
271	vpminub	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
272	vpminub	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
273	vpminub	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
274	vpminub	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
275	vpminuw	%zmm28, %zmm29, %zmm30	 # AVX512BW
276	vpminuw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
277	vpminuw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
278	vpminuw	(%rcx), %zmm29, %zmm30	 # AVX512BW
279	vpminuw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
280	vpminuw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
281	vpminuw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
282	vpminuw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
283	vpminuw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
284	vpmovsxbw	%ymm29, %zmm30	 # AVX512BW
285	vpmovsxbw	%ymm29, %zmm30{%k7}	 # AVX512BW
286	vpmovsxbw	%ymm29, %zmm30{%k7}{z}	 # AVX512BW
287	vpmovsxbw	(%rcx), %zmm30	 # AVX512BW
288	vpmovsxbw	0x123(%rax,%r14,8), %zmm30	 # AVX512BW
289	vpmovsxbw	4064(%rdx), %zmm30	 # AVX512BW Disp8
290	vpmovsxbw	4096(%rdx), %zmm30	 # AVX512BW
291	vpmovsxbw	-4096(%rdx), %zmm30	 # AVX512BW Disp8
292	vpmovsxbw	-4128(%rdx), %zmm30	 # AVX512BW
293	vpmovzxbw	%ymm29, %zmm30	 # AVX512BW
294	vpmovzxbw	%ymm29, %zmm30{%k7}	 # AVX512BW
295	vpmovzxbw	%ymm29, %zmm30{%k7}{z}	 # AVX512BW
296	vpmovzxbw	(%rcx), %zmm30	 # AVX512BW
297	vpmovzxbw	0x123(%rax,%r14,8), %zmm30	 # AVX512BW
298	vpmovzxbw	4064(%rdx), %zmm30	 # AVX512BW Disp8
299	vpmovzxbw	4096(%rdx), %zmm30	 # AVX512BW
300	vpmovzxbw	-4096(%rdx), %zmm30	 # AVX512BW Disp8
301	vpmovzxbw	-4128(%rdx), %zmm30	 # AVX512BW
302	vpmulhrsw	%zmm28, %zmm29, %zmm30	 # AVX512BW
303	vpmulhrsw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
304	vpmulhrsw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
305	vpmulhrsw	(%rcx), %zmm29, %zmm30	 # AVX512BW
306	vpmulhrsw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
307	vpmulhrsw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
308	vpmulhrsw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
309	vpmulhrsw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
310	vpmulhrsw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
311	vpmulhuw	%zmm28, %zmm29, %zmm30	 # AVX512BW
312	vpmulhuw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
313	vpmulhuw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
314	vpmulhuw	(%rcx), %zmm29, %zmm30	 # AVX512BW
315	vpmulhuw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
316	vpmulhuw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
317	vpmulhuw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
318	vpmulhuw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
319	vpmulhuw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
320	vpmulhw	%zmm28, %zmm29, %zmm30	 # AVX512BW
321	vpmulhw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
322	vpmulhw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
323	vpmulhw	(%rcx), %zmm29, %zmm30	 # AVX512BW
324	vpmulhw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
325	vpmulhw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
326	vpmulhw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
327	vpmulhw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
328	vpmulhw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
329	vpmullw	%zmm28, %zmm29, %zmm30	 # AVX512BW
330	vpmullw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
331	vpmullw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
332	vpmullw	(%rcx), %zmm29, %zmm30	 # AVX512BW
333	vpmullw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
334	vpmullw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
335	vpmullw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
336	vpmullw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
337	vpmullw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
338	vpsadbw	%zmm28, %zmm29, %zmm30	 # AVX512BW
339	vpsadbw	(%rcx), %zmm29, %zmm30	 # AVX512BW
340	vpsadbw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
341	vpsadbw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
342	vpsadbw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
343	vpsadbw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
344	vpsadbw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
345	vpshufb	%zmm28, %zmm29, %zmm30	 # AVX512BW
346	vpshufb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
347	vpshufb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
348	vpshufb	(%rcx), %zmm29, %zmm30	 # AVX512BW
349	vpshufb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
350	vpshufb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
351	vpshufb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
352	vpshufb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
353	vpshufb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
354	vpshufhw	$0xab, %zmm29, %zmm30	 # AVX512BW
355	vpshufhw	$0xab, %zmm29, %zmm30{%k7}	 # AVX512BW
356	vpshufhw	$0xab, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
357	vpshufhw	$123, %zmm29, %zmm30	 # AVX512BW
358	vpshufhw	$123, (%rcx), %zmm30	 # AVX512BW
359	vpshufhw	$123, 0x123(%rax,%r14,8), %zmm30	 # AVX512BW
360	vpshufhw	$123, 8128(%rdx), %zmm30	 # AVX512BW Disp8
361	vpshufhw	$123, 8192(%rdx), %zmm30	 # AVX512BW
362	vpshufhw	$123, -8192(%rdx), %zmm30	 # AVX512BW Disp8
363	vpshufhw	$123, -8256(%rdx), %zmm30	 # AVX512BW
364	vpshuflw	$0xab, %zmm29, %zmm30	 # AVX512BW
365	vpshuflw	$0xab, %zmm29, %zmm30{%k7}	 # AVX512BW
366	vpshuflw	$0xab, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
367	vpshuflw	$123, %zmm29, %zmm30	 # AVX512BW
368	vpshuflw	$123, (%rcx), %zmm30	 # AVX512BW
369	vpshuflw	$123, 0x123(%rax,%r14,8), %zmm30	 # AVX512BW
370	vpshuflw	$123, 8128(%rdx), %zmm30	 # AVX512BW Disp8
371	vpshuflw	$123, 8192(%rdx), %zmm30	 # AVX512BW
372	vpshuflw	$123, -8192(%rdx), %zmm30	 # AVX512BW Disp8
373	vpshuflw	$123, -8256(%rdx), %zmm30	 # AVX512BW
374	vpsllw	%xmm28, %zmm29, %zmm30	 # AVX512BW
375	vpsllw	%xmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
376	vpsllw	%xmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
377	vpsllw	(%rcx), %zmm29, %zmm30	 # AVX512BW
378	vpsllw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
379	vpsllw	2032(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
380	vpsllw	2048(%rdx), %zmm29, %zmm30	 # AVX512BW
381	vpsllw	-2048(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
382	vpsllw	-2064(%rdx), %zmm29, %zmm30	 # AVX512BW
383	vpsraw	%xmm28, %zmm29, %zmm30	 # AVX512BW
384	vpsraw	%xmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
385	vpsraw	%xmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
386	vpsraw	(%rcx), %zmm29, %zmm30	 # AVX512BW
387	vpsraw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
388	vpsraw	2032(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
389	vpsraw	2048(%rdx), %zmm29, %zmm30	 # AVX512BW
390	vpsraw	-2048(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
391	vpsraw	-2064(%rdx), %zmm29, %zmm30	 # AVX512BW
392	vpsrlw	%xmm28, %zmm29, %zmm30	 # AVX512BW
393	vpsrlw	%xmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
394	vpsrlw	%xmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
395	vpsrlw	(%rcx), %zmm29, %zmm30	 # AVX512BW
396	vpsrlw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
397	vpsrlw	2032(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
398	vpsrlw	2048(%rdx), %zmm29, %zmm30	 # AVX512BW
399	vpsrlw	-2048(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
400	vpsrlw	-2064(%rdx), %zmm29, %zmm30	 # AVX512BW
401	vpsrldq	$0xab, %zmm29, %zmm30	 # AVX512BW
402	vpsrldq	$123, %zmm29, %zmm30	 # AVX512BW
403	vpsrldq	$123, (%rcx), %zmm30	 # AVX512BW
404	vpsrldq	$123, 0x123(%rax,%r14,8), %zmm30	 # AVX512BW
405	vpsrldq	$123, 8128(%rdx), %zmm30	 # AVX512BW Disp8
406	vpsrldq	$123, 8192(%rdx), %zmm30	 # AVX512BW
407	vpsrldq	$123, -8192(%rdx), %zmm30	 # AVX512BW Disp8
408	vpsrldq	$123, -8256(%rdx), %zmm30	 # AVX512BW
409	vpsrlw	$0xab, %zmm29, %zmm30	 # AVX512BW
410	vpsrlw	$0xab, %zmm29, %zmm30{%k7}	 # AVX512BW
411	vpsrlw	$0xab, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
412	vpsrlw	$123, %zmm29, %zmm30	 # AVX512BW
413	vpsrlw	$123, (%rcx), %zmm30	 # AVX512BW
414	vpsrlw	$123, 0x123(%rax,%r14,8), %zmm30	 # AVX512BW
415	vpsrlw	$123, 8128(%rdx), %zmm30	 # AVX512BW Disp8
416	vpsrlw	$123, 8192(%rdx), %zmm30	 # AVX512BW
417	vpsrlw	$123, -8192(%rdx), %zmm30	 # AVX512BW Disp8
418	vpsrlw	$123, -8256(%rdx), %zmm30	 # AVX512BW
419	vpsraw	$0xab, %zmm29, %zmm30	 # AVX512BW
420	vpsraw	$0xab, %zmm29, %zmm30{%k7}	 # AVX512BW
421	vpsraw	$0xab, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
422	vpsraw	$123, %zmm29, %zmm30	 # AVX512BW
423	vpsraw	$123, (%rcx), %zmm30	 # AVX512BW
424	vpsraw	$123, 0x123(%rax,%r14,8), %zmm30	 # AVX512BW
425	vpsraw	$123, 8128(%rdx), %zmm30	 # AVX512BW Disp8
426	vpsraw	$123, 8192(%rdx), %zmm30	 # AVX512BW
427	vpsraw	$123, -8192(%rdx), %zmm30	 # AVX512BW Disp8
428	vpsraw	$123, -8256(%rdx), %zmm30	 # AVX512BW
429	vpsubb	%zmm28, %zmm29, %zmm30	 # AVX512BW
430	vpsubb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
431	vpsubb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
432	vpsubb	(%rcx), %zmm29, %zmm30	 # AVX512BW
433	vpsubb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
434	vpsubb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
435	vpsubb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
436	vpsubb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
437	vpsubb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
438	vpsubsb	%zmm28, %zmm29, %zmm30	 # AVX512BW
439	vpsubsb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
440	vpsubsb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
441	vpsubsb	(%rcx), %zmm29, %zmm30	 # AVX512BW
442	vpsubsb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
443	vpsubsb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
444	vpsubsb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
445	vpsubsb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
446	vpsubsb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
447	vpsubsw	%zmm28, %zmm29, %zmm30	 # AVX512BW
448	vpsubsw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
449	vpsubsw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
450	vpsubsw	(%rcx), %zmm29, %zmm30	 # AVX512BW
451	vpsubsw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
452	vpsubsw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
453	vpsubsw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
454	vpsubsw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
455	vpsubsw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
456	vpsubusb	%zmm28, %zmm29, %zmm30	 # AVX512BW
457	vpsubusb	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
458	vpsubusb	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
459	vpsubusb	(%rcx), %zmm29, %zmm30	 # AVX512BW
460	vpsubusb	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
461	vpsubusb	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
462	vpsubusb	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
463	vpsubusb	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
464	vpsubusb	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
465	vpsubusw	%zmm28, %zmm29, %zmm30	 # AVX512BW
466	vpsubusw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
467	vpsubusw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
468	vpsubusw	(%rcx), %zmm29, %zmm30	 # AVX512BW
469	vpsubusw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
470	vpsubusw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
471	vpsubusw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
472	vpsubusw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
473	vpsubusw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
474	vpsubw	%zmm28, %zmm29, %zmm30	 # AVX512BW
475	vpsubw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
476	vpsubw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
477	vpsubw	(%rcx), %zmm29, %zmm30	 # AVX512BW
478	vpsubw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
479	vpsubw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
480	vpsubw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
481	vpsubw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
482	vpsubw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
483	vpunpckhbw	%zmm28, %zmm29, %zmm30	 # AVX512BW
484	vpunpckhbw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
485	vpunpckhbw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
486	vpunpckhbw	(%rcx), %zmm29, %zmm30	 # AVX512BW
487	vpunpckhbw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
488	vpunpckhbw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
489	vpunpckhbw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
490	vpunpckhbw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
491	vpunpckhbw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
492	vpunpckhwd	%zmm28, %zmm29, %zmm30	 # AVX512BW
493	vpunpckhwd	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
494	vpunpckhwd	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
495	vpunpckhwd	(%rcx), %zmm29, %zmm30	 # AVX512BW
496	vpunpckhwd	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
497	vpunpckhwd	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
498	vpunpckhwd	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
499	vpunpckhwd	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
500	vpunpckhwd	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
501	vpunpcklbw	%zmm28, %zmm29, %zmm30	 # AVX512BW
502	vpunpcklbw	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
503	vpunpcklbw	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
504	vpunpcklbw	(%rcx), %zmm29, %zmm30	 # AVX512BW
505	vpunpcklbw	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
506	vpunpcklbw	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
507	vpunpcklbw	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
508	vpunpcklbw	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
509	vpunpcklbw	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
510	vpunpcklwd	%zmm28, %zmm29, %zmm30	 # AVX512BW
511	vpunpcklwd	%zmm28, %zmm29, %zmm30{%k7}	 # AVX512BW
512	vpunpcklwd	%zmm28, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
513	vpunpcklwd	(%rcx), %zmm29, %zmm30	 # AVX512BW
514	vpunpcklwd	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512BW
515	vpunpcklwd	8128(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
516	vpunpcklwd	8192(%rdx), %zmm29, %zmm30	 # AVX512BW
517	vpunpcklwd	-8192(%rdx), %zmm29, %zmm30	 # AVX512BW Disp8
518	vpunpcklwd	-8256(%rdx), %zmm29, %zmm30	 # AVX512BW
519	vpslldq	$0xab, %zmm29, %zmm30	 # AVX512BW
520	vpslldq	$123, %zmm29, %zmm30	 # AVX512BW
521	vpslldq	$123, (%rcx), %zmm30	 # AVX512BW
522	vpslldq	$123, 0x123(%rax,%r14,8), %zmm30	 # AVX512BW
523	vpslldq	$123, 8128(%rdx), %zmm30	 # AVX512BW Disp8
524	vpslldq	$123, 8192(%rdx), %zmm30	 # AVX512BW
525	vpslldq	$123, -8192(%rdx), %zmm30	 # AVX512BW Disp8
526	vpslldq	$123, -8256(%rdx), %zmm30	 # AVX512BW
527	vpsllw	$0xab, %zmm29, %zmm30	 # AVX512BW
528	vpsllw	$0xab, %zmm29, %zmm30{%k7}	 # AVX512BW
529	vpsllw	$0xab, %zmm29, %zmm30{%k7}{z}	 # AVX512BW
530	vpsllw	$123, %zmm29, %zmm30	 # AVX512BW
531	vpsllw	$123, (%rcx), %zmm30	 # AVX512BW
532	vpsllw	$123, 0x123(%rax,%r14,8), %zmm30	 # AVX512BW
533	vpsllw	$123, 8128(%rdx), %zmm30	 # AVX512BW Disp8
534	vpsllw	$123, 8192(%rdx), %zmm30	 # AVX512BW
535	vpsllw	$123, -8192(%rdx), %zmm30	 # AVX512BW Disp8
536	vpsllw	$123, -8256(%rdx), %zmm30	 # AVX512BW
537
538	.intel_syntax noprefix
539	vpabsb	zmm30, zmm29	 # AVX512BW
540	vpabsb	zmm30{k7}, zmm29	 # AVX512BW
541	vpabsb	zmm30{k7}{z}, zmm29	 # AVX512BW
542	vpabsb	zmm30, ZMMWORD PTR [rcx]	 # AVX512BW
543	vpabsb	zmm30, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
544	vpabsb	zmm30, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
545	vpabsb	zmm30, ZMMWORD PTR [rdx+8192]	 # AVX512BW
546	vpabsb	zmm30, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
547	vpabsb	zmm30, ZMMWORD PTR [rdx-8256]	 # AVX512BW
548	vpabsw	zmm30, zmm29	 # AVX512BW
549	vpabsw	zmm30{k7}, zmm29	 # AVX512BW
550	vpabsw	zmm30{k7}{z}, zmm29	 # AVX512BW
551	vpabsw	zmm30, ZMMWORD PTR [rcx]	 # AVX512BW
552	vpabsw	zmm30, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
553	vpabsw	zmm30, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
554	vpabsw	zmm30, ZMMWORD PTR [rdx+8192]	 # AVX512BW
555	vpabsw	zmm30, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
556	vpabsw	zmm30, ZMMWORD PTR [rdx-8256]	 # AVX512BW
557	vpacksswb	zmm30, zmm29, zmm28	 # AVX512BW
558	vpacksswb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
559	vpacksswb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
560	vpacksswb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
561	vpacksswb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
562	vpacksswb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
563	vpacksswb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
564	vpacksswb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
565	vpacksswb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
566	vpackuswb	zmm30, zmm29, zmm28	 # AVX512BW
567	vpackuswb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
568	vpackuswb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
569	vpackuswb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
570	vpackuswb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
571	vpackuswb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
572	vpackuswb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
573	vpackuswb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
574	vpackuswb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
575	vpaddb	zmm30, zmm29, zmm28	 # AVX512BW
576	vpaddb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
577	vpaddb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
578	vpaddb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
579	vpaddb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
580	vpaddb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
581	vpaddb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
582	vpaddb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
583	vpaddb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
584	vpaddsb	zmm30, zmm29, zmm28	 # AVX512BW
585	vpaddsb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
586	vpaddsb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
587	vpaddsb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
588	vpaddsb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
589	vpaddsb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
590	vpaddsb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
591	vpaddsb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
592	vpaddsb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
593	vpaddsw	zmm30, zmm29, zmm28	 # AVX512BW
594	vpaddsw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
595	vpaddsw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
596	vpaddsw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
597	vpaddsw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
598	vpaddsw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
599	vpaddsw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
600	vpaddsw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
601	vpaddsw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
602	vpaddusb	zmm30, zmm29, zmm28	 # AVX512BW
603	vpaddusb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
604	vpaddusb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
605	vpaddusb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
606	vpaddusb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
607	vpaddusb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
608	vpaddusb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
609	vpaddusb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
610	vpaddusb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
611	vpaddusw	zmm30, zmm29, zmm28	 # AVX512BW
612	vpaddusw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
613	vpaddusw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
614	vpaddusw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
615	vpaddusw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
616	vpaddusw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
617	vpaddusw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
618	vpaddusw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
619	vpaddusw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
620	vpaddw	zmm30, zmm29, zmm28	 # AVX512BW
621	vpaddw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
622	vpaddw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
623	vpaddw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
624	vpaddw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
625	vpaddw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
626	vpaddw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
627	vpaddw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
628	vpaddw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
629	vpalignr	zmm30, zmm29, zmm28, 0xab	 # AVX512BW
630	vpalignr	zmm30{k7}, zmm29, zmm28, 0xab	 # AVX512BW
631	vpalignr	zmm30{k7}{z}, zmm29, zmm28, 0xab	 # AVX512BW
632	vpalignr	zmm30, zmm29, zmm28, 123	 # AVX512BW
633	vpalignr	zmm30, zmm29, ZMMWORD PTR [rcx], 123	 # AVX512BW
634	vpalignr	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
635	vpalignr	zmm30, zmm29, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
636	vpalignr	zmm30, zmm29, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
637	vpalignr	zmm30, zmm29, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
638	vpalignr	zmm30, zmm29, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
639	vpavgb	zmm30, zmm29, zmm28	 # AVX512BW
640	vpavgb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
641	vpavgb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
642	vpavgb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
643	vpavgb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
644	vpavgb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
645	vpavgb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
646	vpavgb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
647	vpavgb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
648	vpavgw	zmm30, zmm29, zmm28	 # AVX512BW
649	vpavgw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
650	vpavgw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
651	vpavgw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
652	vpavgw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
653	vpavgw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
654	vpavgw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
655	vpavgw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
656	vpavgw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
657	vpcmpeqb	k5, zmm30, zmm29	 # AVX512BW
658	vpcmpeqb	k5{k7}, zmm30, zmm29	 # AVX512BW
659	vpcmpeqb	k5, zmm30, ZMMWORD PTR [rcx]	 # AVX512BW
660	vpcmpeqb	k5, zmm30, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
661	vpcmpeqb	k5, zmm30, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
662	vpcmpeqb	k5, zmm30, ZMMWORD PTR [rdx+8192]	 # AVX512BW
663	vpcmpeqb	k5, zmm30, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
664	vpcmpeqb	k5, zmm30, ZMMWORD PTR [rdx-8256]	 # AVX512BW
665	vpcmpeqw	k5, zmm30, zmm29	 # AVX512BW
666	vpcmpeqw	k5{k7}, zmm30, zmm29	 # AVX512BW
667	vpcmpeqw	k5, zmm30, ZMMWORD PTR [rcx]	 # AVX512BW
668	vpcmpeqw	k5, zmm30, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
669	vpcmpeqw	k5, zmm30, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
670	vpcmpeqw	k5, zmm30, ZMMWORD PTR [rdx+8192]	 # AVX512BW
671	vpcmpeqw	k5, zmm30, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
672	vpcmpeqw	k5, zmm30, ZMMWORD PTR [rdx-8256]	 # AVX512BW
673	vpcmpgtb	k5, zmm30, zmm29	 # AVX512BW
674	vpcmpgtb	k5{k7}, zmm30, zmm29	 # AVX512BW
675	vpcmpgtb	k5, zmm30, ZMMWORD PTR [rcx]	 # AVX512BW
676	vpcmpgtb	k5, zmm30, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
677	vpcmpgtb	k5, zmm30, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
678	vpcmpgtb	k5, zmm30, ZMMWORD PTR [rdx+8192]	 # AVX512BW
679	vpcmpgtb	k5, zmm30, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
680	vpcmpgtb	k5, zmm30, ZMMWORD PTR [rdx-8256]	 # AVX512BW
681	vpcmpgtw	k5, zmm30, zmm29	 # AVX512BW
682	vpcmpgtw	k5{k7}, zmm30, zmm29	 # AVX512BW
683	vpcmpgtw	k5, zmm30, ZMMWORD PTR [rcx]	 # AVX512BW
684	vpcmpgtw	k5, zmm30, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
685	vpcmpgtw	k5, zmm30, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
686	vpcmpgtw	k5, zmm30, ZMMWORD PTR [rdx+8192]	 # AVX512BW
687	vpcmpgtw	k5, zmm30, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
688	vpcmpgtw	k5, zmm30, ZMMWORD PTR [rdx-8256]	 # AVX512BW
689	vpextrb	rax, xmm29, 0xab	 # AVX512BW
690	vpextrb	rax, xmm29, 123	 # AVX512BW
691	vpextrb	r8, xmm29, 123	 # AVX512BW
692	vpextrb	BYTE PTR [rcx], xmm29, 123	 # AVX512BW
693	vpextrb	BYTE PTR [rax+r14*8+0x1234], xmm29, 123	 # AVX512BW
694	vpextrb	BYTE PTR [rdx+127], xmm29, 123	 # AVX512BW Disp8
695	vpextrb	BYTE PTR [rdx+128], xmm29, 123	 # AVX512BW
696	vpextrb	BYTE PTR [rdx-128], xmm29, 123	 # AVX512BW Disp8
697	vpextrb	BYTE PTR [rdx-129], xmm29, 123	 # AVX512BW
698	vpextrw	WORD PTR [rcx], xmm29, 123	 # AVX512BW
699	vpextrw	WORD PTR [rax+r14*8+0x1234], xmm29, 123	 # AVX512BW
700	vpextrw	WORD PTR [rdx+254], xmm29, 123	 # AVX512BW Disp8
701	vpextrw	WORD PTR [rdx+256], xmm29, 123	 # AVX512BW
702	vpextrw	WORD PTR [rdx-256], xmm29, 123	 # AVX512BW Disp8
703	vpextrw	WORD PTR [rdx-258], xmm29, 123	 # AVX512BW
704	vpextrw	rax, xmm30, 0xab	 # AVX512BW
705	vpextrw	rax, xmm30, 123	 # AVX512BW
706	vpextrw	r8, xmm30, 123	 # AVX512BW
707	vpinsrb	xmm30, xmm29, eax, 0xab	 # AVX512BW
708	vpinsrb	xmm30, xmm29, eax, 123	 # AVX512BW
709	vpinsrb	xmm30, xmm29, ebp, 123	 # AVX512BW
710	vpinsrb	xmm30, xmm29, r13d, 123	 # AVX512BW
711	vpinsrb	xmm30, xmm29, BYTE PTR [rcx], 123	 # AVX512BW
712	vpinsrb	xmm30, xmm29, BYTE PTR [rax+r14*8+0x1234], 123	 # AVX512BW
713	vpinsrb	xmm30, xmm29, BYTE PTR [rdx+127], 123	 # AVX512BW Disp8
714	vpinsrb	xmm30, xmm29, BYTE PTR [rdx+128], 123	 # AVX512BW
715	vpinsrb	xmm30, xmm29, BYTE PTR [rdx-128], 123	 # AVX512BW Disp8
716	vpinsrb	xmm30, xmm29, BYTE PTR [rdx-129], 123	 # AVX512BW
717	vpinsrw	xmm30, xmm29, eax, 0xab	 # AVX512BW
718	vpinsrw	xmm30, xmm29, eax, 123	 # AVX512BW
719	vpinsrw	xmm30, xmm29, ebp, 123	 # AVX512BW
720	vpinsrw	xmm30, xmm29, r13d, 123	 # AVX512BW
721	vpinsrw	xmm30, xmm29, WORD PTR [rcx], 123	 # AVX512BW
722	vpinsrw	xmm30, xmm29, WORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
723	vpinsrw	xmm30, xmm29, WORD PTR [rdx+254], 123	 # AVX512BW Disp8
724	vpinsrw	xmm30, xmm29, WORD PTR [rdx+256], 123	 # AVX512BW
725	vpinsrw	xmm30, xmm29, WORD PTR [rdx-256], 123	 # AVX512BW Disp8
726	vpinsrw	xmm30, xmm29, WORD PTR [rdx-258], 123	 # AVX512BW
727	vpmaddubsw	zmm30, zmm29, zmm28	 # AVX512BW
728	vpmaddubsw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
729	vpmaddubsw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
730	vpmaddubsw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
731	vpmaddubsw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
732	vpmaddubsw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
733	vpmaddubsw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
734	vpmaddubsw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
735	vpmaddubsw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
736	vpmaddwd	zmm30, zmm29, zmm28	 # AVX512BW
737	vpmaddwd	zmm30{k7}, zmm29, zmm28	 # AVX512BW
738	vpmaddwd	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
739	vpmaddwd	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
740	vpmaddwd	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
741	vpmaddwd	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
742	vpmaddwd	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
743	vpmaddwd	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
744	vpmaddwd	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
745	vpmaxsb	zmm30, zmm29, zmm28	 # AVX512BW
746	vpmaxsb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
747	vpmaxsb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
748	vpmaxsb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
749	vpmaxsb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
750	vpmaxsb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
751	vpmaxsb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
752	vpmaxsb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
753	vpmaxsb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
754	vpmaxsw	zmm30, zmm29, zmm28	 # AVX512BW
755	vpmaxsw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
756	vpmaxsw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
757	vpmaxsw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
758	vpmaxsw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
759	vpmaxsw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
760	vpmaxsw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
761	vpmaxsw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
762	vpmaxsw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
763	vpmaxub	zmm30, zmm29, zmm28	 # AVX512BW
764	vpmaxub	zmm30{k7}, zmm29, zmm28	 # AVX512BW
765	vpmaxub	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
766	vpmaxub	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
767	vpmaxub	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
768	vpmaxub	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
769	vpmaxub	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
770	vpmaxub	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
771	vpmaxub	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
772	vpmaxuw	zmm30, zmm29, zmm28	 # AVX512BW
773	vpmaxuw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
774	vpmaxuw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
775	vpmaxuw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
776	vpmaxuw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
777	vpmaxuw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
778	vpmaxuw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
779	vpmaxuw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
780	vpmaxuw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
781	vpminsb	zmm30, zmm29, zmm28	 # AVX512BW
782	vpminsb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
783	vpminsb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
784	vpminsb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
785	vpminsb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
786	vpminsb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
787	vpminsb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
788	vpminsb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
789	vpminsb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
790	vpminsw	zmm30, zmm29, zmm28	 # AVX512BW
791	vpminsw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
792	vpminsw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
793	vpminsw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
794	vpminsw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
795	vpminsw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
796	vpminsw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
797	vpminsw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
798	vpminsw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
799	vpminub	zmm30, zmm29, zmm28	 # AVX512BW
800	vpminub	zmm30{k7}, zmm29, zmm28	 # AVX512BW
801	vpminub	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
802	vpminub	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
803	vpminub	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
804	vpminub	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
805	vpminub	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
806	vpminub	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
807	vpminub	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
808	vpminuw	zmm30, zmm29, zmm28	 # AVX512BW
809	vpminuw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
810	vpminuw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
811	vpminuw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
812	vpminuw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
813	vpminuw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
814	vpminuw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
815	vpminuw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
816	vpminuw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
817	vpmovsxbw	zmm30, ymm29	 # AVX512BW
818	vpmovsxbw	zmm30{k7}, ymm29	 # AVX512BW
819	vpmovsxbw	zmm30{k7}{z}, ymm29	 # AVX512BW
820	vpmovsxbw	zmm30, YMMWORD PTR [rcx]	 # AVX512BW
821	vpmovsxbw	zmm30, YMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
822	vpmovsxbw	zmm30, YMMWORD PTR [rdx+4064]	 # AVX512BW Disp8
823	vpmovsxbw	zmm30, YMMWORD PTR [rdx+4096]	 # AVX512BW
824	vpmovsxbw	zmm30, YMMWORD PTR [rdx-4096]	 # AVX512BW Disp8
825	vpmovsxbw	zmm30, YMMWORD PTR [rdx-4128]	 # AVX512BW
826	vpmovzxbw	zmm30, ymm29	 # AVX512BW
827	vpmovzxbw	zmm30{k7}, ymm29	 # AVX512BW
828	vpmovzxbw	zmm30{k7}{z}, ymm29	 # AVX512BW
829	vpmovzxbw	zmm30, YMMWORD PTR [rcx]	 # AVX512BW
830	vpmovzxbw	zmm30, YMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
831	vpmovzxbw	zmm30, YMMWORD PTR [rdx+4064]	 # AVX512BW Disp8
832	vpmovzxbw	zmm30, YMMWORD PTR [rdx+4096]	 # AVX512BW
833	vpmovzxbw	zmm30, YMMWORD PTR [rdx-4096]	 # AVX512BW Disp8
834	vpmovzxbw	zmm30, YMMWORD PTR [rdx-4128]	 # AVX512BW
835	vpmulhrsw	zmm30, zmm29, zmm28	 # AVX512BW
836	vpmulhrsw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
837	vpmulhrsw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
838	vpmulhrsw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
839	vpmulhrsw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
840	vpmulhrsw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
841	vpmulhrsw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
842	vpmulhrsw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
843	vpmulhrsw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
844	vpmulhuw	zmm30, zmm29, zmm28	 # AVX512BW
845	vpmulhuw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
846	vpmulhuw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
847	vpmulhuw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
848	vpmulhuw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
849	vpmulhuw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
850	vpmulhuw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
851	vpmulhuw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
852	vpmulhuw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
853	vpmulhw	zmm30, zmm29, zmm28	 # AVX512BW
854	vpmulhw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
855	vpmulhw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
856	vpmulhw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
857	vpmulhw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
858	vpmulhw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
859	vpmulhw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
860	vpmulhw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
861	vpmulhw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
862	vpmullw	zmm30, zmm29, zmm28	 # AVX512BW
863	vpmullw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
864	vpmullw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
865	vpmullw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
866	vpmullw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
867	vpmullw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
868	vpmullw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
869	vpmullw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
870	vpmullw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
871	vpsadbw	zmm30, zmm29, zmm28	 # AVX512BW
872	vpsadbw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
873	vpsadbw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
874	vpsadbw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
875	vpsadbw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
876	vpsadbw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
877	vpsadbw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
878	vpshufb	zmm30, zmm29, zmm28	 # AVX512BW
879	vpshufb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
880	vpshufb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
881	vpshufb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
882	vpshufb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
883	vpshufb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
884	vpshufb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
885	vpshufb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
886	vpshufb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
887	vpshufhw	zmm30, zmm29, 0xab	 # AVX512BW
888	vpshufhw	zmm30{k7}, zmm29, 0xab	 # AVX512BW
889	vpshufhw	zmm30{k7}{z}, zmm29, 0xab	 # AVX512BW
890	vpshufhw	zmm30, zmm29, 123	 # AVX512BW
891	vpshufhw	zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
892	vpshufhw	zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
893	vpshufhw	zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
894	vpshufhw	zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
895	vpshufhw	zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
896	vpshufhw	zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
897	vpshuflw	zmm30, zmm29, 0xab	 # AVX512BW
898	vpshuflw	zmm30{k7}, zmm29, 0xab	 # AVX512BW
899	vpshuflw	zmm30{k7}{z}, zmm29, 0xab	 # AVX512BW
900	vpshuflw	zmm30, zmm29, 123	 # AVX512BW
901	vpshuflw	zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
902	vpshuflw	zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
903	vpshuflw	zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
904	vpshuflw	zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
905	vpshuflw	zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
906	vpshuflw	zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
907	vpsllw	zmm30, zmm29, xmm28	 # AVX512BW
908	vpsllw	zmm30{k7}, zmm29, xmm28	 # AVX512BW
909	vpsllw	zmm30{k7}{z}, zmm29, xmm28	 # AVX512BW
910	vpsllw	zmm30, zmm29, XMMWORD PTR [rcx]	 # AVX512BW
911	vpsllw	zmm30, zmm29, XMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
912	vpsllw	zmm30, zmm29, XMMWORD PTR [rdx+2032]	 # AVX512BW Disp8
913	vpsllw	zmm30, zmm29, XMMWORD PTR [rdx+2048]	 # AVX512BW
914	vpsllw	zmm30, zmm29, XMMWORD PTR [rdx-2048]	 # AVX512BW Disp8
915	vpsllw	zmm30, zmm29, XMMWORD PTR [rdx-2064]	 # AVX512BW
916	vpsraw	zmm30, zmm29, xmm28	 # AVX512BW
917	vpsraw	zmm30{k7}, zmm29, xmm28	 # AVX512BW
918	vpsraw	zmm30{k7}{z}, zmm29, xmm28	 # AVX512BW
919	vpsraw	zmm30, zmm29, XMMWORD PTR [rcx]	 # AVX512BW
920	vpsraw	zmm30, zmm29, XMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
921	vpsraw	zmm30, zmm29, XMMWORD PTR [rdx+2032]	 # AVX512BW Disp8
922	vpsraw	zmm30, zmm29, XMMWORD PTR [rdx+2048]	 # AVX512BW
923	vpsraw	zmm30, zmm29, XMMWORD PTR [rdx-2048]	 # AVX512BW Disp8
924	vpsraw	zmm30, zmm29, XMMWORD PTR [rdx-2064]	 # AVX512BW
925	vpsrlw	zmm30, zmm29, xmm28	 # AVX512BW
926	vpsrlw	zmm30{k7}, zmm29, xmm28	 # AVX512BW
927	vpsrlw	zmm30{k7}{z}, zmm29, xmm28	 # AVX512BW
928	vpsrlw	zmm30, zmm29, XMMWORD PTR [rcx]	 # AVX512BW
929	vpsrlw	zmm30, zmm29, XMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
930	vpsrlw	zmm30, zmm29, XMMWORD PTR [rdx+2032]	 # AVX512BW Disp8
931	vpsrlw	zmm30, zmm29, XMMWORD PTR [rdx+2048]	 # AVX512BW
932	vpsrlw	zmm30, zmm29, XMMWORD PTR [rdx-2048]	 # AVX512BW Disp8
933	vpsrlw	zmm30, zmm29, XMMWORD PTR [rdx-2064]	 # AVX512BW
934	vpsrldq	zmm30, zmm29, 0xab	 # AVX512BW
935	vpsrldq	zmm30, zmm29, 123	 # AVX512BW
936	vpsrldq	zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
937	vpsrldq	zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
938	vpsrldq	zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
939	vpsrldq	zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
940	vpsrldq	zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
941	vpsrldq	zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
942	vpsrlw	zmm30, zmm29, 0xab	 # AVX512BW
943	vpsrlw	zmm30{k7}, zmm29, 0xab	 # AVX512BW
944	vpsrlw	zmm30{k7}{z}, zmm29, 0xab	 # AVX512BW
945	vpsrlw	zmm30, zmm29, 123	 # AVX512BW
946	vpsrlw	zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
947	vpsrlw	zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
948	vpsrlw	zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
949	vpsrlw	zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
950	vpsrlw	zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
951	vpsrlw	zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
952	vpsraw	zmm30, zmm29, 0xab	 # AVX512BW
953	vpsraw	zmm30{k7}, zmm29, 0xab	 # AVX512BW
954	vpsraw	zmm30{k7}{z}, zmm29, 0xab	 # AVX512BW
955	vpsraw	zmm30, zmm29, 123	 # AVX512BW
956	vpsraw	zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
957	vpsraw	zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
958	vpsraw	zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
959	vpsraw	zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
960	vpsraw	zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
961	vpsraw	zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
962	vpsubb	zmm30, zmm29, zmm28	 # AVX512BW
963	vpsubb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
964	vpsubb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
965	vpsubb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
966	vpsubb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
967	vpsubb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
968	vpsubb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
969	vpsubb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
970	vpsubb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
971	vpsubsb	zmm30, zmm29, zmm28	 # AVX512BW
972	vpsubsb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
973	vpsubsb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
974	vpsubsb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
975	vpsubsb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
976	vpsubsb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
977	vpsubsb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
978	vpsubsb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
979	vpsubsb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
980	vpsubsw	zmm30, zmm29, zmm28	 # AVX512BW
981	vpsubsw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
982	vpsubsw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
983	vpsubsw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
984	vpsubsw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
985	vpsubsw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
986	vpsubsw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
987	vpsubsw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
988	vpsubsw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
989	vpsubusb	zmm30, zmm29, zmm28	 # AVX512BW
990	vpsubusb	zmm30{k7}, zmm29, zmm28	 # AVX512BW
991	vpsubusb	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
992	vpsubusb	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
993	vpsubusb	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
994	vpsubusb	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
995	vpsubusb	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
996	vpsubusb	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
997	vpsubusb	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
998	vpsubusw	zmm30, zmm29, zmm28	 # AVX512BW
999	vpsubusw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1000	vpsubusw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1001	vpsubusw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1002	vpsubusw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1003	vpsubusw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1004	vpsubusw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1005	vpsubusw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1006	vpsubusw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1007	vpsubw	zmm30, zmm29, zmm28	 # AVX512BW
1008	vpsubw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1009	vpsubw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1010	vpsubw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1011	vpsubw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1012	vpsubw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1013	vpsubw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1014	vpsubw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1015	vpsubw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1016	vpunpckhbw	zmm30, zmm29, zmm28	 # AVX512BW
1017	vpunpckhbw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1018	vpunpckhbw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1019	vpunpckhbw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1020	vpunpckhbw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1021	vpunpckhbw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1022	vpunpckhbw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1023	vpunpckhbw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1024	vpunpckhbw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1025	vpunpckhwd	zmm30, zmm29, zmm28	 # AVX512BW
1026	vpunpckhwd	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1027	vpunpckhwd	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1028	vpunpckhwd	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1029	vpunpckhwd	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1030	vpunpckhwd	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1031	vpunpckhwd	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1032	vpunpckhwd	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1033	vpunpckhwd	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1034	vpunpcklbw	zmm30, zmm29, zmm28	 # AVX512BW
1035	vpunpcklbw	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1036	vpunpcklbw	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1037	vpunpcklbw	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1038	vpunpcklbw	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1039	vpunpcklbw	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1040	vpunpcklbw	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1041	vpunpcklbw	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1042	vpunpcklbw	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1043	vpunpcklwd	zmm30, zmm29, zmm28	 # AVX512BW
1044	vpunpcklwd	zmm30{k7}, zmm29, zmm28	 # AVX512BW
1045	vpunpcklwd	zmm30{k7}{z}, zmm29, zmm28	 # AVX512BW
1046	vpunpcklwd	zmm30, zmm29, ZMMWORD PTR [rcx]	 # AVX512BW
1047	vpunpcklwd	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512BW
1048	vpunpcklwd	zmm30, zmm29, ZMMWORD PTR [rdx+8128]	 # AVX512BW Disp8
1049	vpunpcklwd	zmm30, zmm29, ZMMWORD PTR [rdx+8192]	 # AVX512BW
1050	vpunpcklwd	zmm30, zmm29, ZMMWORD PTR [rdx-8192]	 # AVX512BW Disp8
1051	vpunpcklwd	zmm30, zmm29, ZMMWORD PTR [rdx-8256]	 # AVX512BW
1052	vpslldq	zmm30, zmm29, 0xab	 # AVX512BW
1053	vpslldq	zmm30, zmm29, 123	 # AVX512BW
1054	vpslldq	zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
1055	vpslldq	zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
1056	vpslldq	zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
1057	vpslldq	zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
1058	vpslldq	zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
1059	vpslldq	zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
1060	vpsllw	zmm30, zmm29, 0xab	 # AVX512BW
1061	vpsllw	zmm30{k7}, zmm29, 0xab	 # AVX512BW
1062	vpsllw	zmm30{k7}{z}, zmm29, 0xab	 # AVX512BW
1063	vpsllw	zmm30, zmm29, 123	 # AVX512BW
1064	vpsllw	zmm30, ZMMWORD PTR [rcx], 123	 # AVX512BW
1065	vpsllw	zmm30, ZMMWORD PTR [rax+r14*8+0x1234], 123	 # AVX512BW
1066	vpsllw	zmm30, ZMMWORD PTR [rdx+8128], 123	 # AVX512BW Disp8
1067	vpsllw	zmm30, ZMMWORD PTR [rdx+8192], 123	 # AVX512BW
1068	vpsllw	zmm30, ZMMWORD PTR [rdx-8192], 123	 # AVX512BW Disp8
1069	vpsllw	zmm30, ZMMWORD PTR [rdx-8256], 123	 # AVX512BW
1070