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