1 // RUN: llvm-mc -triple x86_64-unknown-unknown -mcpu=knl -mattr=+avx512bw --show-encoding %s | FileCheck %s
3 // CHECK: vpaddb %zmm23, %zmm24, %zmm19
4 // CHECK: encoding: [0x62,0xa1,0x3d,0x40,0xfc,0xdf]
5 vpaddb %zmm23, %zmm24, %zmm19
7 // CHECK: vpaddb %zmm23, %zmm24, %zmm19 {%k3}
8 // CHECK: encoding: [0x62,0xa1,0x3d,0x43,0xfc,0xdf]
9 vpaddb %zmm23, %zmm24, %zmm19 {%k3}
11 // CHECK: vpaddb %zmm23, %zmm24, %zmm19 {%k3} {z}
12 // CHECK: encoding: [0x62,0xa1,0x3d,0xc3,0xfc,0xdf]
13 vpaddb %zmm23, %zmm24, %zmm19 {%k3} {z}
15 // CHECK: vpaddb (%rcx), %zmm24, %zmm19
16 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xfc,0x19]
17 vpaddb (%rcx), %zmm24, %zmm19
19 // CHECK: vpaddb 291(%rax,%r14,8), %zmm24, %zmm19
20 // CHECK: encoding: [0x62,0xa1,0x3d,0x40,0xfc,0x9c,0xf0,0x23,0x01,0x00,0x00]
21 vpaddb 291(%rax,%r14,8), %zmm24, %zmm19
23 // CHECK: vpaddb 8128(%rdx), %zmm24, %zmm19
24 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xfc,0x5a,0x7f]
25 vpaddb 8128(%rdx), %zmm24, %zmm19
27 // CHECK: vpaddb 8192(%rdx), %zmm24, %zmm19
28 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xfc,0x9a,0x00,0x20,0x00,0x00]
29 vpaddb 8192(%rdx), %zmm24, %zmm19
31 // CHECK: vpaddb -8192(%rdx), %zmm24, %zmm19
32 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xfc,0x5a,0x80]
33 vpaddb -8192(%rdx), %zmm24, %zmm19
35 // CHECK: vpaddb -8256(%rdx), %zmm24, %zmm19
36 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xfc,0x9a,0xc0,0xdf,0xff,0xff]
37 vpaddb -8256(%rdx), %zmm24, %zmm19
39 // CHECK: vpaddw %zmm19, %zmm24, %zmm17
40 // CHECK: encoding: [0x62,0xa1,0x3d,0x40,0xfd,0xcb]
41 vpaddw %zmm19, %zmm24, %zmm17
43 // CHECK: vpaddw %zmm19, %zmm24, %zmm17 {%k3}
44 // CHECK: encoding: [0x62,0xa1,0x3d,0x43,0xfd,0xcb]
45 vpaddw %zmm19, %zmm24, %zmm17 {%k3}
47 // CHECK: vpaddw %zmm19, %zmm24, %zmm17 {%k3} {z}
48 // CHECK: encoding: [0x62,0xa1,0x3d,0xc3,0xfd,0xcb]
49 vpaddw %zmm19, %zmm24, %zmm17 {%k3} {z}
51 // CHECK: vpaddw (%rcx), %zmm24, %zmm17
52 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xfd,0x09]
53 vpaddw (%rcx), %zmm24, %zmm17
55 // CHECK: vpaddw 291(%rax,%r14,8), %zmm24, %zmm17
56 // CHECK: encoding: [0x62,0xa1,0x3d,0x40,0xfd,0x8c,0xf0,0x23,0x01,0x00,0x00]
57 vpaddw 291(%rax,%r14,8), %zmm24, %zmm17
59 // CHECK: vpaddw 8128(%rdx), %zmm24, %zmm17
60 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xfd,0x4a,0x7f]
61 vpaddw 8128(%rdx), %zmm24, %zmm17
63 // CHECK: vpaddw 8192(%rdx), %zmm24, %zmm17
64 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xfd,0x8a,0x00,0x20,0x00,0x00]
65 vpaddw 8192(%rdx), %zmm24, %zmm17
67 // CHECK: vpaddw -8192(%rdx), %zmm24, %zmm17
68 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xfd,0x4a,0x80]
69 vpaddw -8192(%rdx), %zmm24, %zmm17
71 // CHECK: vpaddw -8256(%rdx), %zmm24, %zmm17
72 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xfd,0x8a,0xc0,0xdf,0xff,0xff]
73 vpaddw -8256(%rdx), %zmm24, %zmm17
75 // CHECK: vpbroadcastb %eax, %zmm19
76 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x7a,0xd8]
77 vpbroadcastb %eax, %zmm19
79 // CHECK: vpbroadcastb %eax, %zmm19 {%k7}
80 // CHECK: encoding: [0x62,0xe2,0x7d,0x4f,0x7a,0xd8]
81 vpbroadcastb %eax, %zmm19 {%k7}
83 // CHECK: vpbroadcastb %eax, %zmm19 {%k7} {z}
84 // CHECK: encoding: [0x62,0xe2,0x7d,0xcf,0x7a,0xd8]
85 vpbroadcastb %eax, %zmm19 {%k7} {z}
87 // CHECK: vpbroadcastw %eax, %zmm24
88 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x7b,0xc0]
89 vpbroadcastw %eax, %zmm24
91 // CHECK: vpbroadcastw %eax, %zmm24 {%k1}
92 // CHECK: encoding: [0x62,0x62,0x7d,0x49,0x7b,0xc0]
93 vpbroadcastw %eax, %zmm24 {%k1}
95 // CHECK: vpbroadcastw %eax, %zmm24 {%k1} {z}
96 // CHECK: encoding: [0x62,0x62,0x7d,0xc9,0x7b,0xc0]
97 vpbroadcastw %eax, %zmm24 {%k1} {z}
98 // CHECK: vpcmpeqb %zmm26, %zmm26, %k4
99 // CHECK: encoding: [0x62,0x91,0x2d,0x40,0x74,0xe2]
100 vpcmpeqb %zmm26, %zmm26, %k4
102 // CHECK: vpcmpeqb %zmm26, %zmm26, %k4 {%k6}
103 // CHECK: encoding: [0x62,0x91,0x2d,0x46,0x74,0xe2]
104 vpcmpeqb %zmm26, %zmm26, %k4 {%k6}
106 // CHECK: vpcmpeqb (%rcx), %zmm26, %k4
107 // CHECK: encoding: [0x62,0xf1,0x2d,0x40,0x74,0x21]
108 vpcmpeqb (%rcx), %zmm26, %k4
110 // CHECK: vpcmpeqb 291(%rax,%r14,8), %zmm26, %k4
111 // CHECK: encoding: [0x62,0xb1,0x2d,0x40,0x74,0xa4,0xf0,0x23,0x01,0x00,0x00]
112 vpcmpeqb 291(%rax,%r14,8), %zmm26, %k4
114 // CHECK: vpcmpeqb 8128(%rdx), %zmm26, %k4
115 // CHECK: encoding: [0x62,0xf1,0x2d,0x40,0x74,0x62,0x7f]
116 vpcmpeqb 8128(%rdx), %zmm26, %k4
118 // CHECK: vpcmpeqb 8192(%rdx), %zmm26, %k4
119 // CHECK: encoding: [0x62,0xf1,0x2d,0x40,0x74,0xa2,0x00,0x20,0x00,0x00]
120 vpcmpeqb 8192(%rdx), %zmm26, %k4
122 // CHECK: vpcmpeqb -8192(%rdx), %zmm26, %k4
123 // CHECK: encoding: [0x62,0xf1,0x2d,0x40,0x74,0x62,0x80]
124 vpcmpeqb -8192(%rdx), %zmm26, %k4
126 // CHECK: vpcmpeqb -8256(%rdx), %zmm26, %k4
127 // CHECK: encoding: [0x62,0xf1,0x2d,0x40,0x74,0xa2,0xc0,0xdf,0xff,0xff]
128 vpcmpeqb -8256(%rdx), %zmm26, %k4
130 // CHECK: vpcmpeqw %zmm19, %zmm23, %k5
131 // CHECK: encoding: [0x62,0xb1,0x45,0x40,0x75,0xeb]
132 vpcmpeqw %zmm19, %zmm23, %k5
134 // CHECK: vpcmpeqw %zmm19, %zmm23, %k5 {%k7}
135 // CHECK: encoding: [0x62,0xb1,0x45,0x47,0x75,0xeb]
136 vpcmpeqw %zmm19, %zmm23, %k5 {%k7}
138 // CHECK: vpcmpeqw (%rcx), %zmm23, %k5
139 // CHECK: encoding: [0x62,0xf1,0x45,0x40,0x75,0x29]
140 vpcmpeqw (%rcx), %zmm23, %k5
142 // CHECK: vpcmpeqw 291(%rax,%r14,8), %zmm23, %k5
143 // CHECK: encoding: [0x62,0xb1,0x45,0x40,0x75,0xac,0xf0,0x23,0x01,0x00,0x00]
144 vpcmpeqw 291(%rax,%r14,8), %zmm23, %k5
146 // CHECK: vpcmpeqw 8128(%rdx), %zmm23, %k5
147 // CHECK: encoding: [0x62,0xf1,0x45,0x40,0x75,0x6a,0x7f]
148 vpcmpeqw 8128(%rdx), %zmm23, %k5
150 // CHECK: vpcmpeqw 8192(%rdx), %zmm23, %k5
151 // CHECK: encoding: [0x62,0xf1,0x45,0x40,0x75,0xaa,0x00,0x20,0x00,0x00]
152 vpcmpeqw 8192(%rdx), %zmm23, %k5
154 // CHECK: vpcmpeqw -8192(%rdx), %zmm23, %k5
155 // CHECK: encoding: [0x62,0xf1,0x45,0x40,0x75,0x6a,0x80]
156 vpcmpeqw -8192(%rdx), %zmm23, %k5
158 // CHECK: vpcmpeqw -8256(%rdx), %zmm23, %k5
159 // CHECK: encoding: [0x62,0xf1,0x45,0x40,0x75,0xaa,0xc0,0xdf,0xff,0xff]
160 vpcmpeqw -8256(%rdx), %zmm23, %k5
162 // CHECK: vpcmpgtb %zmm20, %zmm30, %k4
163 // CHECK: encoding: [0x62,0xb1,0x0d,0x40,0x64,0xe4]
164 vpcmpgtb %zmm20, %zmm30, %k4
166 // CHECK: vpcmpgtb %zmm20, %zmm30, %k4 {%k1}
167 // CHECK: encoding: [0x62,0xb1,0x0d,0x41,0x64,0xe4]
168 vpcmpgtb %zmm20, %zmm30, %k4 {%k1}
170 // CHECK: vpcmpgtb (%rcx), %zmm30, %k4
171 // CHECK: encoding: [0x62,0xf1,0x0d,0x40,0x64,0x21]
172 vpcmpgtb (%rcx), %zmm30, %k4
174 // CHECK: vpcmpgtb 291(%rax,%r14,8), %zmm30, %k4
175 // CHECK: encoding: [0x62,0xb1,0x0d,0x40,0x64,0xa4,0xf0,0x23,0x01,0x00,0x00]
176 vpcmpgtb 291(%rax,%r14,8), %zmm30, %k4
178 // CHECK: vpcmpgtb 8128(%rdx), %zmm30, %k4
179 // CHECK: encoding: [0x62,0xf1,0x0d,0x40,0x64,0x62,0x7f]
180 vpcmpgtb 8128(%rdx), %zmm30, %k4
182 // CHECK: vpcmpgtb 8192(%rdx), %zmm30, %k4
183 // CHECK: encoding: [0x62,0xf1,0x0d,0x40,0x64,0xa2,0x00,0x20,0x00,0x00]
184 vpcmpgtb 8192(%rdx), %zmm30, %k4
186 // CHECK: vpcmpgtb -8192(%rdx), %zmm30, %k4
187 // CHECK: encoding: [0x62,0xf1,0x0d,0x40,0x64,0x62,0x80]
188 vpcmpgtb -8192(%rdx), %zmm30, %k4
190 // CHECK: vpcmpgtb -8256(%rdx), %zmm30, %k4
191 // CHECK: encoding: [0x62,0xf1,0x0d,0x40,0x64,0xa2,0xc0,0xdf,0xff,0xff]
192 vpcmpgtb -8256(%rdx), %zmm30, %k4
194 // CHECK: vpcmpgtw %zmm21, %zmm23, %k5
195 // CHECK: encoding: [0x62,0xb1,0x45,0x40,0x65,0xed]
196 vpcmpgtw %zmm21, %zmm23, %k5
198 // CHECK: vpcmpgtw %zmm21, %zmm23, %k5 {%k7}
199 // CHECK: encoding: [0x62,0xb1,0x45,0x47,0x65,0xed]
200 vpcmpgtw %zmm21, %zmm23, %k5 {%k7}
202 // CHECK: vpcmpgtw (%rcx), %zmm23, %k5
203 // CHECK: encoding: [0x62,0xf1,0x45,0x40,0x65,0x29]
204 vpcmpgtw (%rcx), %zmm23, %k5
206 // CHECK: vpcmpgtw 291(%rax,%r14,8), %zmm23, %k5
207 // CHECK: encoding: [0x62,0xb1,0x45,0x40,0x65,0xac,0xf0,0x23,0x01,0x00,0x00]
208 vpcmpgtw 291(%rax,%r14,8), %zmm23, %k5
210 // CHECK: vpcmpgtw 8128(%rdx), %zmm23, %k5
211 // CHECK: encoding: [0x62,0xf1,0x45,0x40,0x65,0x6a,0x7f]
212 vpcmpgtw 8128(%rdx), %zmm23, %k5
214 // CHECK: vpcmpgtw 8192(%rdx), %zmm23, %k5
215 // CHECK: encoding: [0x62,0xf1,0x45,0x40,0x65,0xaa,0x00,0x20,0x00,0x00]
216 vpcmpgtw 8192(%rdx), %zmm23, %k5
218 // CHECK: vpcmpgtw -8192(%rdx), %zmm23, %k5
219 // CHECK: encoding: [0x62,0xf1,0x45,0x40,0x65,0x6a,0x80]
220 vpcmpgtw -8192(%rdx), %zmm23, %k5
222 // CHECK: vpcmpgtw -8256(%rdx), %zmm23, %k5
223 // CHECK: encoding: [0x62,0xf1,0x45,0x40,0x65,0xaa,0xc0,0xdf,0xff,0xff]
224 vpcmpgtw -8256(%rdx), %zmm23, %k5
226 // CHECK: vpmaxsb %zmm26, %zmm29, %zmm23
227 // CHECK: encoding: [0x62,0x82,0x15,0x40,0x3c,0xfa]
228 vpmaxsb %zmm26, %zmm29, %zmm23
230 // CHECK: vpmaxsb %zmm26, %zmm29, %zmm23 {%k4}
231 // CHECK: encoding: [0x62,0x82,0x15,0x44,0x3c,0xfa]
232 vpmaxsb %zmm26, %zmm29, %zmm23 {%k4}
234 // CHECK: vpmaxsb %zmm26, %zmm29, %zmm23 {%k4} {z}
235 // CHECK: encoding: [0x62,0x82,0x15,0xc4,0x3c,0xfa]
236 vpmaxsb %zmm26, %zmm29, %zmm23 {%k4} {z}
238 // CHECK: vpmaxsb (%rcx), %zmm29, %zmm23
239 // CHECK: encoding: [0x62,0xe2,0x15,0x40,0x3c,0x39]
240 vpmaxsb (%rcx), %zmm29, %zmm23
242 // CHECK: vpmaxsb 291(%rax,%r14,8), %zmm29, %zmm23
243 // CHECK: encoding: [0x62,0xa2,0x15,0x40,0x3c,0xbc,0xf0,0x23,0x01,0x00,0x00]
244 vpmaxsb 291(%rax,%r14,8), %zmm29, %zmm23
246 // CHECK: vpmaxsb 8128(%rdx), %zmm29, %zmm23
247 // CHECK: encoding: [0x62,0xe2,0x15,0x40,0x3c,0x7a,0x7f]
248 vpmaxsb 8128(%rdx), %zmm29, %zmm23
250 // CHECK: vpmaxsb 8192(%rdx), %zmm29, %zmm23
251 // CHECK: encoding: [0x62,0xe2,0x15,0x40,0x3c,0xba,0x00,0x20,0x00,0x00]
252 vpmaxsb 8192(%rdx), %zmm29, %zmm23
254 // CHECK: vpmaxsb -8192(%rdx), %zmm29, %zmm23
255 // CHECK: encoding: [0x62,0xe2,0x15,0x40,0x3c,0x7a,0x80]
256 vpmaxsb -8192(%rdx), %zmm29, %zmm23
258 // CHECK: vpmaxsb -8256(%rdx), %zmm29, %zmm23
259 // CHECK: encoding: [0x62,0xe2,0x15,0x40,0x3c,0xba,0xc0,0xdf,0xff,0xff]
260 vpmaxsb -8256(%rdx), %zmm29, %zmm23
262 // CHECK: vpmaxsw %zmm25, %zmm28, %zmm25
263 // CHECK: encoding: [0x62,0x01,0x1d,0x40,0xee,0xc9]
264 vpmaxsw %zmm25, %zmm28, %zmm25
266 // CHECK: vpmaxsw %zmm25, %zmm28, %zmm25 {%k3}
267 // CHECK: encoding: [0x62,0x01,0x1d,0x43,0xee,0xc9]
268 vpmaxsw %zmm25, %zmm28, %zmm25 {%k3}
270 // CHECK: vpmaxsw %zmm25, %zmm28, %zmm25 {%k3} {z}
271 // CHECK: encoding: [0x62,0x01,0x1d,0xc3,0xee,0xc9]
272 vpmaxsw %zmm25, %zmm28, %zmm25 {%k3} {z}
274 // CHECK: vpmaxsw (%rcx), %zmm28, %zmm25
275 // CHECK: encoding: [0x62,0x61,0x1d,0x40,0xee,0x09]
276 vpmaxsw (%rcx), %zmm28, %zmm25
278 // CHECK: vpmaxsw 291(%rax,%r14,8), %zmm28, %zmm25
279 // CHECK: encoding: [0x62,0x21,0x1d,0x40,0xee,0x8c,0xf0,0x23,0x01,0x00,0x00]
280 vpmaxsw 291(%rax,%r14,8), %zmm28, %zmm25
282 // CHECK: vpmaxsw 8128(%rdx), %zmm28, %zmm25
283 // CHECK: encoding: [0x62,0x61,0x1d,0x40,0xee,0x4a,0x7f]
284 vpmaxsw 8128(%rdx), %zmm28, %zmm25
286 // CHECK: vpmaxsw 8192(%rdx), %zmm28, %zmm25
287 // CHECK: encoding: [0x62,0x61,0x1d,0x40,0xee,0x8a,0x00,0x20,0x00,0x00]
288 vpmaxsw 8192(%rdx), %zmm28, %zmm25
290 // CHECK: vpmaxsw -8192(%rdx), %zmm28, %zmm25
291 // CHECK: encoding: [0x62,0x61,0x1d,0x40,0xee,0x4a,0x80]
292 vpmaxsw -8192(%rdx), %zmm28, %zmm25
294 // CHECK: vpmaxsw -8256(%rdx), %zmm28, %zmm25
295 // CHECK: encoding: [0x62,0x61,0x1d,0x40,0xee,0x8a,0xc0,0xdf,0xff,0xff]
296 vpmaxsw -8256(%rdx), %zmm28, %zmm25
298 // CHECK: vpmaxub %zmm25, %zmm18, %zmm29
299 // CHECK: encoding: [0x62,0x01,0x6d,0x40,0xde,0xe9]
300 vpmaxub %zmm25, %zmm18, %zmm29
302 // CHECK: vpmaxub %zmm25, %zmm18, %zmm29 {%k7}
303 // CHECK: encoding: [0x62,0x01,0x6d,0x47,0xde,0xe9]
304 vpmaxub %zmm25, %zmm18, %zmm29 {%k7}
306 // CHECK: vpmaxub %zmm25, %zmm18, %zmm29 {%k7} {z}
307 // CHECK: encoding: [0x62,0x01,0x6d,0xc7,0xde,0xe9]
308 vpmaxub %zmm25, %zmm18, %zmm29 {%k7} {z}
310 // CHECK: vpmaxub (%rcx), %zmm18, %zmm29
311 // CHECK: encoding: [0x62,0x61,0x6d,0x40,0xde,0x29]
312 vpmaxub (%rcx), %zmm18, %zmm29
314 // CHECK: vpmaxub 291(%rax,%r14,8), %zmm18, %zmm29
315 // CHECK: encoding: [0x62,0x21,0x6d,0x40,0xde,0xac,0xf0,0x23,0x01,0x00,0x00]
316 vpmaxub 291(%rax,%r14,8), %zmm18, %zmm29
318 // CHECK: vpmaxub 8128(%rdx), %zmm18, %zmm29
319 // CHECK: encoding: [0x62,0x61,0x6d,0x40,0xde,0x6a,0x7f]
320 vpmaxub 8128(%rdx), %zmm18, %zmm29
322 // CHECK: vpmaxub 8192(%rdx), %zmm18, %zmm29
323 // CHECK: encoding: [0x62,0x61,0x6d,0x40,0xde,0xaa,0x00,0x20,0x00,0x00]
324 vpmaxub 8192(%rdx), %zmm18, %zmm29
326 // CHECK: vpmaxub -8192(%rdx), %zmm18, %zmm29
327 // CHECK: encoding: [0x62,0x61,0x6d,0x40,0xde,0x6a,0x80]
328 vpmaxub -8192(%rdx), %zmm18, %zmm29
330 // CHECK: vpmaxub -8256(%rdx), %zmm18, %zmm29
331 // CHECK: encoding: [0x62,0x61,0x6d,0x40,0xde,0xaa,0xc0,0xdf,0xff,0xff]
332 vpmaxub -8256(%rdx), %zmm18, %zmm29
334 // CHECK: vpmaxuw %zmm23, %zmm27, %zmm21
335 // CHECK: encoding: [0x62,0xa2,0x25,0x40,0x3e,0xef]
336 vpmaxuw %zmm23, %zmm27, %zmm21
338 // CHECK: vpmaxuw %zmm23, %zmm27, %zmm21 {%k3}
339 // CHECK: encoding: [0x62,0xa2,0x25,0x43,0x3e,0xef]
340 vpmaxuw %zmm23, %zmm27, %zmm21 {%k3}
342 // CHECK: vpmaxuw %zmm23, %zmm27, %zmm21 {%k3} {z}
343 // CHECK: encoding: [0x62,0xa2,0x25,0xc3,0x3e,0xef]
344 vpmaxuw %zmm23, %zmm27, %zmm21 {%k3} {z}
346 // CHECK: vpmaxuw (%rcx), %zmm27, %zmm21
347 // CHECK: encoding: [0x62,0xe2,0x25,0x40,0x3e,0x29]
348 vpmaxuw (%rcx), %zmm27, %zmm21
350 // CHECK: vpmaxuw 291(%rax,%r14,8), %zmm27, %zmm21
351 // CHECK: encoding: [0x62,0xa2,0x25,0x40,0x3e,0xac,0xf0,0x23,0x01,0x00,0x00]
352 vpmaxuw 291(%rax,%r14,8), %zmm27, %zmm21
354 // CHECK: vpmaxuw 8128(%rdx), %zmm27, %zmm21
355 // CHECK: encoding: [0x62,0xe2,0x25,0x40,0x3e,0x6a,0x7f]
356 vpmaxuw 8128(%rdx), %zmm27, %zmm21
358 // CHECK: vpmaxuw 8192(%rdx), %zmm27, %zmm21
359 // CHECK: encoding: [0x62,0xe2,0x25,0x40,0x3e,0xaa,0x00,0x20,0x00,0x00]
360 vpmaxuw 8192(%rdx), %zmm27, %zmm21
362 // CHECK: vpmaxuw -8192(%rdx), %zmm27, %zmm21
363 // CHECK: encoding: [0x62,0xe2,0x25,0x40,0x3e,0x6a,0x80]
364 vpmaxuw -8192(%rdx), %zmm27, %zmm21
366 // CHECK: vpmaxuw -8256(%rdx), %zmm27, %zmm21
367 // CHECK: encoding: [0x62,0xe2,0x25,0x40,0x3e,0xaa,0xc0,0xdf,0xff,0xff]
368 vpmaxuw -8256(%rdx), %zmm27, %zmm21
370 // CHECK: vpminsb %zmm25, %zmm22, %zmm28
371 // CHECK: encoding: [0x62,0x02,0x4d,0x40,0x38,0xe1]
372 vpminsb %zmm25, %zmm22, %zmm28
374 // CHECK: vpminsb %zmm25, %zmm22, %zmm28 {%k6}
375 // CHECK: encoding: [0x62,0x02,0x4d,0x46,0x38,0xe1]
376 vpminsb %zmm25, %zmm22, %zmm28 {%k6}
378 // CHECK: vpminsb %zmm25, %zmm22, %zmm28 {%k6} {z}
379 // CHECK: encoding: [0x62,0x02,0x4d,0xc6,0x38,0xe1]
380 vpminsb %zmm25, %zmm22, %zmm28 {%k6} {z}
382 // CHECK: vpminsb (%rcx), %zmm22, %zmm28
383 // CHECK: encoding: [0x62,0x62,0x4d,0x40,0x38,0x21]
384 vpminsb (%rcx), %zmm22, %zmm28
386 // CHECK: vpminsb 291(%rax,%r14,8), %zmm22, %zmm28
387 // CHECK: encoding: [0x62,0x22,0x4d,0x40,0x38,0xa4,0xf0,0x23,0x01,0x00,0x00]
388 vpminsb 291(%rax,%r14,8), %zmm22, %zmm28
390 // CHECK: vpminsb 8128(%rdx), %zmm22, %zmm28
391 // CHECK: encoding: [0x62,0x62,0x4d,0x40,0x38,0x62,0x7f]
392 vpminsb 8128(%rdx), %zmm22, %zmm28
394 // CHECK: vpminsb 8192(%rdx), %zmm22, %zmm28
395 // CHECK: encoding: [0x62,0x62,0x4d,0x40,0x38,0xa2,0x00,0x20,0x00,0x00]
396 vpminsb 8192(%rdx), %zmm22, %zmm28
398 // CHECK: vpminsb -8192(%rdx), %zmm22, %zmm28
399 // CHECK: encoding: [0x62,0x62,0x4d,0x40,0x38,0x62,0x80]
400 vpminsb -8192(%rdx), %zmm22, %zmm28
402 // CHECK: vpminsb -8256(%rdx), %zmm22, %zmm28
403 // CHECK: encoding: [0x62,0x62,0x4d,0x40,0x38,0xa2,0xc0,0xdf,0xff,0xff]
404 vpminsb -8256(%rdx), %zmm22, %zmm28
406 // CHECK: vpminsw %zmm25, %zmm22, %zmm27
407 // CHECK: encoding: [0x62,0x01,0x4d,0x40,0xea,0xd9]
408 vpminsw %zmm25, %zmm22, %zmm27
410 // CHECK: vpminsw %zmm25, %zmm22, %zmm27 {%k6}
411 // CHECK: encoding: [0x62,0x01,0x4d,0x46,0xea,0xd9]
412 vpminsw %zmm25, %zmm22, %zmm27 {%k6}
414 // CHECK: vpminsw %zmm25, %zmm22, %zmm27 {%k6} {z}
415 // CHECK: encoding: [0x62,0x01,0x4d,0xc6,0xea,0xd9]
416 vpminsw %zmm25, %zmm22, %zmm27 {%k6} {z}
418 // CHECK: vpminsw (%rcx), %zmm22, %zmm27
419 // CHECK: encoding: [0x62,0x61,0x4d,0x40,0xea,0x19]
420 vpminsw (%rcx), %zmm22, %zmm27
422 // CHECK: vpminsw 291(%rax,%r14,8), %zmm22, %zmm27
423 // CHECK: encoding: [0x62,0x21,0x4d,0x40,0xea,0x9c,0xf0,0x23,0x01,0x00,0x00]
424 vpminsw 291(%rax,%r14,8), %zmm22, %zmm27
426 // CHECK: vpminsw 8128(%rdx), %zmm22, %zmm27
427 // CHECK: encoding: [0x62,0x61,0x4d,0x40,0xea,0x5a,0x7f]
428 vpminsw 8128(%rdx), %zmm22, %zmm27
430 // CHECK: vpminsw 8192(%rdx), %zmm22, %zmm27
431 // CHECK: encoding: [0x62,0x61,0x4d,0x40,0xea,0x9a,0x00,0x20,0x00,0x00]
432 vpminsw 8192(%rdx), %zmm22, %zmm27
434 // CHECK: vpminsw -8192(%rdx), %zmm22, %zmm27
435 // CHECK: encoding: [0x62,0x61,0x4d,0x40,0xea,0x5a,0x80]
436 vpminsw -8192(%rdx), %zmm22, %zmm27
438 // CHECK: vpminsw -8256(%rdx), %zmm22, %zmm27
439 // CHECK: encoding: [0x62,0x61,0x4d,0x40,0xea,0x9a,0xc0,0xdf,0xff,0xff]
440 vpminsw -8256(%rdx), %zmm22, %zmm27
442 // CHECK: vpminub %zmm26, %zmm25, %zmm25
443 // CHECK: encoding: [0x62,0x01,0x35,0x40,0xda,0xca]
444 vpminub %zmm26, %zmm25, %zmm25
446 // CHECK: vpminub %zmm26, %zmm25, %zmm25 {%k6}
447 // CHECK: encoding: [0x62,0x01,0x35,0x46,0xda,0xca]
448 vpminub %zmm26, %zmm25, %zmm25 {%k6}
450 // CHECK: vpminub %zmm26, %zmm25, %zmm25 {%k6} {z}
451 // CHECK: encoding: [0x62,0x01,0x35,0xc6,0xda,0xca]
452 vpminub %zmm26, %zmm25, %zmm25 {%k6} {z}
454 // CHECK: vpminub (%rcx), %zmm25, %zmm25
455 // CHECK: encoding: [0x62,0x61,0x35,0x40,0xda,0x09]
456 vpminub (%rcx), %zmm25, %zmm25
458 // CHECK: vpminub 291(%rax,%r14,8), %zmm25, %zmm25
459 // CHECK: encoding: [0x62,0x21,0x35,0x40,0xda,0x8c,0xf0,0x23,0x01,0x00,0x00]
460 vpminub 291(%rax,%r14,8), %zmm25, %zmm25
462 // CHECK: vpminub 8128(%rdx), %zmm25, %zmm25
463 // CHECK: encoding: [0x62,0x61,0x35,0x40,0xda,0x4a,0x7f]
464 vpminub 8128(%rdx), %zmm25, %zmm25
466 // CHECK: vpminub 8192(%rdx), %zmm25, %zmm25
467 // CHECK: encoding: [0x62,0x61,0x35,0x40,0xda,0x8a,0x00,0x20,0x00,0x00]
468 vpminub 8192(%rdx), %zmm25, %zmm25
470 // CHECK: vpminub -8192(%rdx), %zmm25, %zmm25
471 // CHECK: encoding: [0x62,0x61,0x35,0x40,0xda,0x4a,0x80]
472 vpminub -8192(%rdx), %zmm25, %zmm25
474 // CHECK: vpminub -8256(%rdx), %zmm25, %zmm25
475 // CHECK: encoding: [0x62,0x61,0x35,0x40,0xda,0x8a,0xc0,0xdf,0xff,0xff]
476 vpminub -8256(%rdx), %zmm25, %zmm25
478 // CHECK: vpminuw %zmm20, %zmm29, %zmm19
479 // CHECK: encoding: [0x62,0xa2,0x15,0x40,0x3a,0xdc]
480 vpminuw %zmm20, %zmm29, %zmm19
482 // CHECK: vpminuw %zmm20, %zmm29, %zmm19 {%k7}
483 // CHECK: encoding: [0x62,0xa2,0x15,0x47,0x3a,0xdc]
484 vpminuw %zmm20, %zmm29, %zmm19 {%k7}
486 // CHECK: vpminuw %zmm20, %zmm29, %zmm19 {%k7} {z}
487 // CHECK: encoding: [0x62,0xa2,0x15,0xc7,0x3a,0xdc]
488 vpminuw %zmm20, %zmm29, %zmm19 {%k7} {z}
490 // CHECK: vpminuw (%rcx), %zmm29, %zmm19
491 // CHECK: encoding: [0x62,0xe2,0x15,0x40,0x3a,0x19]
492 vpminuw (%rcx), %zmm29, %zmm19
494 // CHECK: vpminuw 291(%rax,%r14,8), %zmm29, %zmm19
495 // CHECK: encoding: [0x62,0xa2,0x15,0x40,0x3a,0x9c,0xf0,0x23,0x01,0x00,0x00]
496 vpminuw 291(%rax,%r14,8), %zmm29, %zmm19
498 // CHECK: vpminuw 8128(%rdx), %zmm29, %zmm19
499 // CHECK: encoding: [0x62,0xe2,0x15,0x40,0x3a,0x5a,0x7f]
500 vpminuw 8128(%rdx), %zmm29, %zmm19
502 // CHECK: vpminuw 8192(%rdx), %zmm29, %zmm19
503 // CHECK: encoding: [0x62,0xe2,0x15,0x40,0x3a,0x9a,0x00,0x20,0x00,0x00]
504 vpminuw 8192(%rdx), %zmm29, %zmm19
506 // CHECK: vpminuw -8192(%rdx), %zmm29, %zmm19
507 // CHECK: encoding: [0x62,0xe2,0x15,0x40,0x3a,0x5a,0x80]
508 vpminuw -8192(%rdx), %zmm29, %zmm19
510 // CHECK: vpminuw -8256(%rdx), %zmm29, %zmm19
511 // CHECK: encoding: [0x62,0xe2,0x15,0x40,0x3a,0x9a,0xc0,0xdf,0xff,0xff]
512 vpminuw -8256(%rdx), %zmm29, %zmm19
514 // CHECK: vpmullw %zmm19, %zmm28, %zmm19
515 // CHECK: encoding: [0x62,0xa1,0x1d,0x40,0xd5,0xdb]
516 vpmullw %zmm19, %zmm28, %zmm19
518 // CHECK: vpmullw %zmm19, %zmm28, %zmm19 {%k5}
519 // CHECK: encoding: [0x62,0xa1,0x1d,0x45,0xd5,0xdb]
520 vpmullw %zmm19, %zmm28, %zmm19 {%k5}
522 // CHECK: vpmullw %zmm19, %zmm28, %zmm19 {%k5} {z}
523 // CHECK: encoding: [0x62,0xa1,0x1d,0xc5,0xd5,0xdb]
524 vpmullw %zmm19, %zmm28, %zmm19 {%k5} {z}
526 // CHECK: vpmullw (%rcx), %zmm28, %zmm19
527 // CHECK: encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x19]
528 vpmullw (%rcx), %zmm28, %zmm19
530 // CHECK: vpmullw 291(%rax,%r14,8), %zmm28, %zmm19
531 // CHECK: encoding: [0x62,0xa1,0x1d,0x40,0xd5,0x9c,0xf0,0x23,0x01,0x00,0x00]
532 vpmullw 291(%rax,%r14,8), %zmm28, %zmm19
534 // CHECK: vpmullw 8128(%rdx), %zmm28, %zmm19
535 // CHECK: encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x5a,0x7f]
536 vpmullw 8128(%rdx), %zmm28, %zmm19
538 // CHECK: vpmullw 8192(%rdx), %zmm28, %zmm19
539 // CHECK: encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x9a,0x00,0x20,0x00,0x00]
540 vpmullw 8192(%rdx), %zmm28, %zmm19
542 // CHECK: vpmullw -8192(%rdx), %zmm28, %zmm19
543 // CHECK: encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x5a,0x80]
544 vpmullw -8192(%rdx), %zmm28, %zmm19
546 // CHECK: vpmullw -8256(%rdx), %zmm28, %zmm19
547 // CHECK: encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x9a,0xc0,0xdf,0xff,0xff]
548 vpmullw -8256(%rdx), %zmm28, %zmm19
550 // CHECK: vpsubb %zmm26, %zmm18, %zmm25
551 // CHECK: encoding: [0x62,0x01,0x6d,0x40,0xf8,0xca]
552 vpsubb %zmm26, %zmm18, %zmm25
554 // CHECK: vpsubb %zmm26, %zmm18, %zmm25 {%k4}
555 // CHECK: encoding: [0x62,0x01,0x6d,0x44,0xf8,0xca]
556 vpsubb %zmm26, %zmm18, %zmm25 {%k4}
558 // CHECK: vpsubb %zmm26, %zmm18, %zmm25 {%k4} {z}
559 // CHECK: encoding: [0x62,0x01,0x6d,0xc4,0xf8,0xca]
560 vpsubb %zmm26, %zmm18, %zmm25 {%k4} {z}
562 // CHECK: vpsubb (%rcx), %zmm18, %zmm25
563 // CHECK: encoding: [0x62,0x61,0x6d,0x40,0xf8,0x09]
564 vpsubb (%rcx), %zmm18, %zmm25
566 // CHECK: vpsubb 291(%rax,%r14,8), %zmm18, %zmm25
567 // CHECK: encoding: [0x62,0x21,0x6d,0x40,0xf8,0x8c,0xf0,0x23,0x01,0x00,0x00]
568 vpsubb 291(%rax,%r14,8), %zmm18, %zmm25
570 // CHECK: vpsubb 8128(%rdx), %zmm18, %zmm25
571 // CHECK: encoding: [0x62,0x61,0x6d,0x40,0xf8,0x4a,0x7f]
572 vpsubb 8128(%rdx), %zmm18, %zmm25
574 // CHECK: vpsubb 8192(%rdx), %zmm18, %zmm25
575 // CHECK: encoding: [0x62,0x61,0x6d,0x40,0xf8,0x8a,0x00,0x20,0x00,0x00]
576 vpsubb 8192(%rdx), %zmm18, %zmm25
578 // CHECK: vpsubb -8192(%rdx), %zmm18, %zmm25
579 // CHECK: encoding: [0x62,0x61,0x6d,0x40,0xf8,0x4a,0x80]
580 vpsubb -8192(%rdx), %zmm18, %zmm25
582 // CHECK: vpsubb -8256(%rdx), %zmm18, %zmm25
583 // CHECK: encoding: [0x62,0x61,0x6d,0x40,0xf8,0x8a,0xc0,0xdf,0xff,0xff]
584 vpsubb -8256(%rdx), %zmm18, %zmm25
586 // CHECK: vpsubw %zmm24, %zmm24, %zmm17
587 // CHECK: encoding: [0x62,0x81,0x3d,0x40,0xf9,0xc8]
588 vpsubw %zmm24, %zmm24, %zmm17
590 // CHECK: vpsubw %zmm24, %zmm24, %zmm17 {%k4}
591 // CHECK: encoding: [0x62,0x81,0x3d,0x44,0xf9,0xc8]
592 vpsubw %zmm24, %zmm24, %zmm17 {%k4}
594 // CHECK: vpsubw %zmm24, %zmm24, %zmm17 {%k4} {z}
595 // CHECK: encoding: [0x62,0x81,0x3d,0xc4,0xf9,0xc8]
596 vpsubw %zmm24, %zmm24, %zmm17 {%k4} {z}
598 // CHECK: vpsubw (%rcx), %zmm24, %zmm17
599 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x09]
600 vpsubw (%rcx), %zmm24, %zmm17
602 // CHECK: vpsubw 291(%rax,%r14,8), %zmm24, %zmm17
603 // CHECK: encoding: [0x62,0xa1,0x3d,0x40,0xf9,0x8c,0xf0,0x23,0x01,0x00,0x00]
604 vpsubw 291(%rax,%r14,8), %zmm24, %zmm17
606 // CHECK: vpsubw 8128(%rdx), %zmm24, %zmm17
607 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x4a,0x7f]
608 vpsubw 8128(%rdx), %zmm24, %zmm17
610 // CHECK: vpsubw 8192(%rdx), %zmm24, %zmm17
611 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x8a,0x00,0x20,0x00,0x00]
612 vpsubw 8192(%rdx), %zmm24, %zmm17
614 // CHECK: vpsubw -8192(%rdx), %zmm24, %zmm17
615 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x4a,0x80]
616 vpsubw -8192(%rdx), %zmm24, %zmm17
618 // CHECK: vpsubw -8256(%rdx), %zmm24, %zmm17
619 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x8a,0xc0,0xdf,0xff,0xff]
620 vpsubw -8256(%rdx), %zmm24, %zmm17
622 // CHECK: vmovdqu8 %zmm19, %zmm29
623 // CHECK: encoding: [0x62,0x21,0x7f,0x48,0x6f,0xeb]
624 vmovdqu8 %zmm19, %zmm29
626 // CHECK: vmovdqu8 %zmm19, %zmm29 {%k7}
627 // CHECK: encoding: [0x62,0x21,0x7f,0x4f,0x6f,0xeb]
628 vmovdqu8 %zmm19, %zmm29 {%k7}
630 // CHECK: vmovdqu8 %zmm19, %zmm29 {%k7} {z}
631 // CHECK: encoding: [0x62,0x21,0x7f,0xcf,0x6f,0xeb]
632 vmovdqu8 %zmm19, %zmm29 {%k7} {z}
634 // CHECK: vmovdqu8 (%rcx), %zmm29
635 // CHECK: encoding: [0x62,0x61,0x7f,0x48,0x6f,0x29]
636 vmovdqu8 (%rcx), %zmm29
638 // CHECK: vmovdqu8 291(%rax,%r14,8), %zmm29
639 // CHECK: encoding: [0x62,0x21,0x7f,0x48,0x6f,0xac,0xf0,0x23,0x01,0x00,0x00]
640 vmovdqu8 291(%rax,%r14,8), %zmm29
642 // CHECK: vmovdqu8 8128(%rdx), %zmm29
643 // CHECK: encoding: [0x62,0x61,0x7f,0x48,0x6f,0x6a,0x7f]
644 vmovdqu8 8128(%rdx), %zmm29
646 // CHECK: vmovdqu8 8192(%rdx), %zmm29
647 // CHECK: encoding: [0x62,0x61,0x7f,0x48,0x6f,0xaa,0x00,0x20,0x00,0x00]
648 vmovdqu8 8192(%rdx), %zmm29
650 // CHECK: vmovdqu8 -8192(%rdx), %zmm29
651 // CHECK: encoding: [0x62,0x61,0x7f,0x48,0x6f,0x6a,0x80]
652 vmovdqu8 -8192(%rdx), %zmm29
654 // CHECK: vmovdqu8 -8256(%rdx), %zmm29
655 // CHECK: encoding: [0x62,0x61,0x7f,0x48,0x6f,0xaa,0xc0,0xdf,0xff,0xff]
656 vmovdqu8 -8256(%rdx), %zmm29
658 // CHECK: vmovdqu16 %zmm18, %zmm17
659 // CHECK: encoding: [0x62,0xa1,0xff,0x48,0x6f,0xca]
660 vmovdqu16 %zmm18, %zmm17
662 // CHECK: vmovdqu16 %zmm18, %zmm17 {%k3}
663 // CHECK: encoding: [0x62,0xa1,0xff,0x4b,0x6f,0xca]
664 vmovdqu16 %zmm18, %zmm17 {%k3}
666 // CHECK: vmovdqu16 %zmm18, %zmm17 {%k3} {z}
667 // CHECK: encoding: [0x62,0xa1,0xff,0xcb,0x6f,0xca]
668 vmovdqu16 %zmm18, %zmm17 {%k3} {z}
670 // CHECK: vmovdqu16 (%rcx), %zmm17
671 // CHECK: encoding: [0x62,0xe1,0xff,0x48,0x6f,0x09]
672 vmovdqu16 (%rcx), %zmm17
674 // CHECK: vmovdqu16 291(%rax,%r14,8), %zmm17
675 // CHECK: encoding: [0x62,0xa1,0xff,0x48,0x6f,0x8c,0xf0,0x23,0x01,0x00,0x00]
676 vmovdqu16 291(%rax,%r14,8), %zmm17
678 // CHECK: vmovdqu16 8128(%rdx), %zmm17
679 // CHECK: encoding: [0x62,0xe1,0xff,0x48,0x6f,0x4a,0x7f]
680 vmovdqu16 8128(%rdx), %zmm17
682 // CHECK: vmovdqu16 8192(%rdx), %zmm17
683 // CHECK: encoding: [0x62,0xe1,0xff,0x48,0x6f,0x8a,0x00,0x20,0x00,0x00]
684 vmovdqu16 8192(%rdx), %zmm17
686 // CHECK: vmovdqu16 -8192(%rdx), %zmm17
687 // CHECK: encoding: [0x62,0xe1,0xff,0x48,0x6f,0x4a,0x80]
688 vmovdqu16 -8192(%rdx), %zmm17
690 // CHECK: vmovdqu16 -8256(%rdx), %zmm17
691 // CHECK: encoding: [0x62,0xe1,0xff,0x48,0x6f,0x8a,0xc0,0xdf,0xff,0xff]
692 vmovdqu16 -8256(%rdx), %zmm17
694 // CHECK: kandq %k7, %k5, %k5
695 // CHECK: encoding: [0xc4,0xe1,0xd4,0x41,0xef]
698 // CHECK: kandd %k4, %k5, %k5
699 // CHECK: encoding: [0xc4,0xe1,0xd5,0x41,0xec]
702 // CHECK: kandnq %k4, %k5, %k2
703 // CHECK: encoding: [0xc4,0xe1,0xd4,0x42,0xd4]
706 // CHECK: kandnd %k6, %k6, %k3
707 // CHECK: encoding: [0xc4,0xe1,0xcd,0x42,0xde]
710 // CHECK: korq %k4, %k5, %k4
711 // CHECK: encoding: [0xc4,0xe1,0xd4,0x45,0xe4]
714 // CHECK: kord %k6, %k6, %k5
715 // CHECK: encoding: [0xc4,0xe1,0xcd,0x45,0xee]
718 // CHECK: kxnorq %k6, %k5, %k2
719 // CHECK: encoding: [0xc4,0xe1,0xd4,0x46,0xd6]
722 // CHECK: kxnord %k5, %k3, %k5
723 // CHECK: encoding: [0xc4,0xe1,0xe5,0x46,0xed]
726 // CHECK: kxorq %k4, %k3, %k2
727 // CHECK: encoding: [0xc4,0xe1,0xe4,0x47,0xd4]
730 // CHECK: kxord %k6, %k5, %k2
731 // CHECK: encoding: [0xc4,0xe1,0xd5,0x47,0xd6]
734 // CHECK: knotq %k6, %k3
735 // CHECK: encoding: [0xc4,0xe1,0xf8,0x44,0xde]
738 // CHECK: knotd %k4, %k3
739 // CHECK: encoding: [0xc4,0xe1,0xf9,0x44,0xdc]
742 // CHECK: kmovq %k5, %k2
743 // CHECK: encoding: [0xc4,0xe1,0xf8,0x90,0xd5]
746 // CHECK: kmovq (%rcx), %k2
747 // CHECK: encoding: [0xc4,0xe1,0xf8,0x90,0x11]
750 // CHECK: kmovq 291(%rax,%r14,8), %k2
751 // CHECK: encoding: [0xc4,0xa1,0xf8,0x90,0x94,0xf0,0x23,0x01,0x00,0x00]
752 kmovq 291(%rax,%r14,8), %k2
754 // CHECK: kmovd %k4, %k5
755 // CHECK: encoding: [0xc4,0xe1,0xf9,0x90,0xec]
758 // CHECK: kmovd (%rcx), %k5
759 // CHECK: encoding: [0xc4,0xe1,0xf9,0x90,0x29]
762 // CHECK: kmovd 291(%rax,%r14,8), %k5
763 // CHECK: encoding: [0xc4,0xa1,0xf9,0x90,0xac,0xf0,0x23,0x01,0x00,0x00]
764 kmovd 291(%rax,%r14,8), %k5
766 // CHECK: kmovq %k3, (%rcx)
767 // CHECK: encoding: [0xc4,0xe1,0xf8,0x91,0x19]
770 // CHECK: kmovq %k3, 291(%rax,%r14,8)
771 // CHECK: encoding: [0xc4,0xa1,0xf8,0x91,0x9c,0xf0,0x23,0x01,0x00,0x00]
772 kmovq %k3, 291(%rax,%r14,8)
774 // CHECK: kmovd %k3, (%rcx)
775 // CHECK: encoding: [0xc4,0xe1,0xf9,0x91,0x19]
778 // CHECK: kmovd %k3, 291(%rax,%r14,8)
779 // CHECK: encoding: [0xc4,0xa1,0xf9,0x91,0x9c,0xf0,0x23,0x01,0x00,0x00]
780 kmovd %k3, 291(%rax,%r14,8)
782 // CHECK: kmovq %rax, %k2
783 // CHECK: encoding: [0xc4,0xe1,0xfb,0x92,0xd0]
786 // CHECK: kmovq %r8, %k2
787 // CHECK: encoding: [0xc4,0xc1,0xfb,0x92,0xd0]
790 // CHECK: kmovd %eax, %k4
791 // CHECK: encoding: [0xc5,0xfb,0x92,0xe0]
794 // CHECK: kmovd %ebp, %k4
795 // CHECK: encoding: [0xc5,0xfb,0x92,0xe5]
798 // CHECK: kmovd %r13d, %k4
799 // CHECK: encoding: [0xc4,0xc1,0x7b,0x92,0xe5]
802 // CHECK: kmovq %k3, %rax
803 // CHECK: encoding: [0xc4,0xe1,0xfb,0x93,0xc3]
806 // CHECK: kmovq %k3, %r8
807 // CHECK: encoding: [0xc4,0x61,0xfb,0x93,0xc3]
810 // CHECK: kmovd %k5, %eax
811 // CHECK: encoding: [0xc5,0xfb,0x93,0xc5]
814 // CHECK: kmovd %k5, %ebp
815 // CHECK: encoding: [0xc5,0xfb,0x93,0xed]
818 // CHECK: kmovd %k5, %r13d
819 // CHECK: encoding: [0xc5,0x7b,0x93,0xed]
822 // CHECK: vmovdqu8 %zmm18, (%rcx)
823 // CHECK: encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x11]
824 vmovdqu8 %zmm18, (%rcx)
826 // CHECK: vmovdqu8 %zmm18, (%rcx) {%k3}
827 // CHECK: encoding: [0x62,0xe1,0x7f,0x4b,0x7f,0x11]
828 vmovdqu8 %zmm18, (%rcx) {%k3}
830 // CHECK: vmovdqu8 %zmm18, 291(%rax,%r14,8)
831 // CHECK: encoding: [0x62,0xa1,0x7f,0x48,0x7f,0x94,0xf0,0x23,0x01,0x00,0x00]
832 vmovdqu8 %zmm18, 291(%rax,%r14,8)
834 // CHECK: vmovdqu8 %zmm18, 8128(%rdx)
835 // CHECK: encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x52,0x7f]
836 vmovdqu8 %zmm18, 8128(%rdx)
838 // CHECK: vmovdqu8 %zmm18, 8192(%rdx)
839 // CHECK: encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x92,0x00,0x20,0x00,0x00]
840 vmovdqu8 %zmm18, 8192(%rdx)
842 // CHECK: vmovdqu8 %zmm18, -8192(%rdx)
843 // CHECK: encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x52,0x80]
844 vmovdqu8 %zmm18, -8192(%rdx)
846 // CHECK: vmovdqu8 %zmm18, -8256(%rdx)
847 // CHECK: encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x92,0xc0,0xdf,0xff,0xff]
848 vmovdqu8 %zmm18, -8256(%rdx)
850 // CHECK: vmovdqu16 %zmm28, (%rcx)
851 // CHECK: encoding: [0x62,0x61,0xff,0x48,0x7f,0x21]
852 vmovdqu16 %zmm28, (%rcx)
854 // CHECK: vmovdqu16 %zmm28, (%rcx) {%k6}
855 // CHECK: encoding: [0x62,0x61,0xff,0x4e,0x7f,0x21]
856 vmovdqu16 %zmm28, (%rcx) {%k6}
858 // CHECK: vmovdqu16 %zmm28, 291(%rax,%r14,8)
859 // CHECK: encoding: [0x62,0x21,0xff,0x48,0x7f,0xa4,0xf0,0x23,0x01,0x00,0x00]
860 vmovdqu16 %zmm28, 291(%rax,%r14,8)
862 // CHECK: vmovdqu16 %zmm28, 8128(%rdx)
863 // CHECK: encoding: [0x62,0x61,0xff,0x48,0x7f,0x62,0x7f]
864 vmovdqu16 %zmm28, 8128(%rdx)
866 // CHECK: vmovdqu16 %zmm28, 8192(%rdx)
867 // CHECK: encoding: [0x62,0x61,0xff,0x48,0x7f,0xa2,0x00,0x20,0x00,0x00]
868 vmovdqu16 %zmm28, 8192(%rdx)
870 // CHECK: vmovdqu16 %zmm28, -8192(%rdx)
871 // CHECK: encoding: [0x62,0x61,0xff,0x48,0x7f,0x62,0x80]
872 vmovdqu16 %zmm28, -8192(%rdx)
874 // CHECK: vmovdqu16 %zmm28, -8256(%rdx)
875 // CHECK: encoding: [0x62,0x61,0xff,0x48,0x7f,0xa2,0xc0,0xdf,0xff,0xff]
876 vmovdqu16 %zmm28, -8256(%rdx)
879 // CHECK: vpcmpb $171, %zmm25, %zmm26, %k3
880 // CHECK: encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0xab]
881 vpcmpb $171, %zmm25, %zmm26, %k3
883 // CHECK: vpcmpb $171, %zmm25, %zmm26, %k3 {%k7}
884 // CHECK: encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0xab]
885 vpcmpb $171, %zmm25, %zmm26, %k3 {%k7}
887 // CHECK: vpcmpb $123, %zmm25, %zmm26, %k3
888 // CHECK: encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x7b]
889 vpcmpb $123, %zmm25, %zmm26, %k3
891 // CHECK: vpcmpb $123, (%rcx), %zmm26, %k3
892 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x7b]
893 vpcmpb $123, (%rcx), %zmm26, %k3
895 // CHECK: vpcmpb $123, 291(%rax,%r14,8), %zmm26, %k3
896 // CHECK: encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x7b]
897 vpcmpb $123, 291(%rax,%r14,8), %zmm26, %k3
899 // CHECK: vpcmpb $123, 8128(%rdx), %zmm26, %k3
900 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x7b]
901 vpcmpb $123, 8128(%rdx), %zmm26, %k3
903 // CHECK: vpcmpb $123, 8192(%rdx), %zmm26, %k3
904 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x7b]
905 vpcmpb $123, 8192(%rdx), %zmm26, %k3
907 // CHECK: vpcmpb $123, -8192(%rdx), %zmm26, %k3
908 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x7b]
909 vpcmpb $123, -8192(%rdx), %zmm26, %k3
911 // CHECK: vpcmpb $123, -8256(%rdx), %zmm26, %k3
912 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x7b]
913 vpcmpb $123, -8256(%rdx), %zmm26, %k3
915 // CHECK: vpcmpltb %zmm25, %zmm26, %k3
916 // CHECK: encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x01]
917 vpcmpltb %zmm25, %zmm26, %k3
919 // CHECK: vpcmpltb %zmm25, %zmm26, %k3 {%k7}
920 // CHECK: encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x01]
921 vpcmpltb %zmm25, %zmm26, %k3 {%k7}
923 // CHECK: vpcmpltb (%rcx), %zmm26, %k3
924 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x01]
925 vpcmpltb (%rcx), %zmm26, %k3
927 // CHECK: vpcmpltb 291(%rax,%r14,8), %zmm26, %k3
928 // CHECK: encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x01]
929 vpcmpltb 291(%rax,%r14,8), %zmm26, %k3
931 // CHECK: vpcmpltb 8128(%rdx), %zmm26, %k3
932 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x01]
933 vpcmpltb 8128(%rdx), %zmm26, %k3
935 // CHECK: vpcmpltb 8192(%rdx), %zmm26, %k3
936 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x01]
937 vpcmpltb 8192(%rdx), %zmm26, %k3
939 // CHECK: vpcmpltb -8192(%rdx), %zmm26, %k3
940 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x01]
941 vpcmpltb -8192(%rdx), %zmm26, %k3
943 // CHECK: vpcmpltb -8256(%rdx), %zmm26, %k3
944 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x01]
945 vpcmpltb -8256(%rdx), %zmm26, %k3
947 // CHECK: vpcmpleb %zmm25, %zmm26, %k3
948 // CHECK: encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x02]
949 vpcmpleb %zmm25, %zmm26, %k3
951 // CHECK: vpcmpleb %zmm25, %zmm26, %k3 {%k7}
952 // CHECK: encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x02]
953 vpcmpleb %zmm25, %zmm26, %k3 {%k7}
955 // CHECK: vpcmpleb (%rcx), %zmm26, %k3
956 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x02]
957 vpcmpleb (%rcx), %zmm26, %k3
959 // CHECK: vpcmpleb 291(%rax,%r14,8), %zmm26, %k3
960 // CHECK: encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x02]
961 vpcmpleb 291(%rax,%r14,8), %zmm26, %k3
963 // CHECK: vpcmpleb 8128(%rdx), %zmm26, %k3
964 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x02]
965 vpcmpleb 8128(%rdx), %zmm26, %k3
967 // CHECK: vpcmpleb 8192(%rdx), %zmm26, %k3
968 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x02]
969 vpcmpleb 8192(%rdx), %zmm26, %k3
971 // CHECK: vpcmpleb -8192(%rdx), %zmm26, %k3
972 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x02]
973 vpcmpleb -8192(%rdx), %zmm26, %k3
975 // CHECK: vpcmpleb -8256(%rdx), %zmm26, %k3
976 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x02]
977 vpcmpleb -8256(%rdx), %zmm26, %k3
979 // CHECK: vpcmpneqb %zmm25, %zmm26, %k3
980 // CHECK: encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x04]
981 vpcmpneqb %zmm25, %zmm26, %k3
983 // CHECK: vpcmpneqb %zmm25, %zmm26, %k3 {%k7}
984 // CHECK: encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x04]
985 vpcmpneqb %zmm25, %zmm26, %k3 {%k7}
987 // CHECK: vpcmpneqb (%rcx), %zmm26, %k3
988 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x04]
989 vpcmpneqb (%rcx), %zmm26, %k3
991 // CHECK: vpcmpneqb 291(%rax,%r14,8), %zmm26, %k3
992 // CHECK: encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x04]
993 vpcmpneqb 291(%rax,%r14,8), %zmm26, %k3
995 // CHECK: vpcmpneqb 8128(%rdx), %zmm26, %k3
996 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x04]
997 vpcmpneqb 8128(%rdx), %zmm26, %k3
999 // CHECK: vpcmpneqb 8192(%rdx), %zmm26, %k3
1000 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x04]
1001 vpcmpneqb 8192(%rdx), %zmm26, %k3
1003 // CHECK: vpcmpneqb -8192(%rdx), %zmm26, %k3
1004 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x04]
1005 vpcmpneqb -8192(%rdx), %zmm26, %k3
1007 // CHECK: vpcmpneqb -8256(%rdx), %zmm26, %k3
1008 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x04]
1009 vpcmpneqb -8256(%rdx), %zmm26, %k3
1011 // CHECK: vpcmpnltb %zmm25, %zmm26, %k3
1012 // CHECK: encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x05]
1013 vpcmpnltb %zmm25, %zmm26, %k3
1015 // CHECK: vpcmpnltb %zmm25, %zmm26, %k3 {%k7}
1016 // CHECK: encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x05]
1017 vpcmpnltb %zmm25, %zmm26, %k3 {%k7}
1019 // CHECK: vpcmpnltb (%rcx), %zmm26, %k3
1020 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x05]
1021 vpcmpnltb (%rcx), %zmm26, %k3
1023 // CHECK: vpcmpnltb 291(%rax,%r14,8), %zmm26, %k3
1024 // CHECK: encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x05]
1025 vpcmpnltb 291(%rax,%r14,8), %zmm26, %k3
1027 // CHECK: vpcmpnltb 8128(%rdx), %zmm26, %k3
1028 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x05]
1029 vpcmpnltb 8128(%rdx), %zmm26, %k3
1031 // CHECK: vpcmpnltb 8192(%rdx), %zmm26, %k3
1032 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x05]
1033 vpcmpnltb 8192(%rdx), %zmm26, %k3
1035 // CHECK: vpcmpnltb -8192(%rdx), %zmm26, %k3
1036 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x05]
1037 vpcmpnltb -8192(%rdx), %zmm26, %k3
1039 // CHECK: vpcmpnltb -8256(%rdx), %zmm26, %k3
1040 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x05]
1041 vpcmpnltb -8256(%rdx), %zmm26, %k3
1043 // CHECK: vpcmpnleb %zmm25, %zmm26, %k3
1044 // CHECK: encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x06]
1045 vpcmpnleb %zmm25, %zmm26, %k3
1047 // CHECK: vpcmpnleb %zmm25, %zmm26, %k3 {%k7}
1048 // CHECK: encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x06]
1049 vpcmpnleb %zmm25, %zmm26, %k3 {%k7}
1051 // CHECK: vpcmpnleb (%rcx), %zmm26, %k3
1052 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x06]
1053 vpcmpnleb (%rcx), %zmm26, %k3
1055 // CHECK: vpcmpnleb 291(%rax,%r14,8), %zmm26, %k3
1056 // CHECK: encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x06]
1057 vpcmpnleb 291(%rax,%r14,8), %zmm26, %k3
1059 // CHECK: vpcmpnleb 8128(%rdx), %zmm26, %k3
1060 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x06]
1061 vpcmpnleb 8128(%rdx), %zmm26, %k3
1063 // CHECK: vpcmpnleb 8192(%rdx), %zmm26, %k3
1064 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x06]
1065 vpcmpnleb 8192(%rdx), %zmm26, %k3
1067 // CHECK: vpcmpnleb -8192(%rdx), %zmm26, %k3
1068 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x06]
1069 vpcmpnleb -8192(%rdx), %zmm26, %k3
1071 // CHECK: vpcmpnleb -8256(%rdx), %zmm26, %k3
1072 // CHECK: encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x06]
1073 vpcmpnleb -8256(%rdx), %zmm26, %k3
1075 // CHECK: vpcmpw $171, %zmm25, %zmm29, %k3
1076 // CHECK: encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0xab]
1077 vpcmpw $171, %zmm25, %zmm29, %k3
1079 // CHECK: vpcmpw $171, %zmm25, %zmm29, %k3 {%k6}
1080 // CHECK: encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0xab]
1081 vpcmpw $171, %zmm25, %zmm29, %k3 {%k6}
1083 // CHECK: vpcmpw $123, %zmm25, %zmm29, %k3
1084 // CHECK: encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x7b]
1085 vpcmpw $123, %zmm25, %zmm29, %k3
1087 // CHECK: vpcmpw $123, (%rcx), %zmm29, %k3
1088 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x7b]
1089 vpcmpw $123, (%rcx), %zmm29, %k3
1091 // CHECK: vpcmpw $123, 291(%rax,%r14,8), %zmm29, %k3
1092 // CHECK: encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x7b]
1093 vpcmpw $123, 291(%rax,%r14,8), %zmm29, %k3
1095 // CHECK: vpcmpw $123, 8128(%rdx), %zmm29, %k3
1096 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x7b]
1097 vpcmpw $123, 8128(%rdx), %zmm29, %k3
1099 // CHECK: vpcmpw $123, 8192(%rdx), %zmm29, %k3
1100 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x7b]
1101 vpcmpw $123, 8192(%rdx), %zmm29, %k3
1103 // CHECK: vpcmpw $123, -8192(%rdx), %zmm29, %k3
1104 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x7b]
1105 vpcmpw $123, -8192(%rdx), %zmm29, %k3
1107 // CHECK: vpcmpw $123, -8256(%rdx), %zmm29, %k3
1108 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x7b]
1109 vpcmpw $123, -8256(%rdx), %zmm29, %k3
1111 // CHECK: vpcmpltw %zmm25, %zmm29, %k3
1112 // CHECK: encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x01]
1113 vpcmpltw %zmm25, %zmm29, %k3
1115 // CHECK: vpcmpltw %zmm25, %zmm29, %k3 {%k6}
1116 // CHECK: encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x01]
1117 vpcmpltw %zmm25, %zmm29, %k3 {%k6}
1119 // CHECK: vpcmpltw (%rcx), %zmm29, %k3
1120 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x01]
1121 vpcmpltw (%rcx), %zmm29, %k3
1123 // CHECK: vpcmpltw 291(%rax,%r14,8), %zmm29, %k3
1124 // CHECK: encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x01]
1125 vpcmpltw 291(%rax,%r14,8), %zmm29, %k3
1127 // CHECK: vpcmpltw 8128(%rdx), %zmm29, %k3
1128 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x01]
1129 vpcmpltw 8128(%rdx), %zmm29, %k3
1131 // CHECK: vpcmpltw 8192(%rdx), %zmm29, %k3
1132 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x01]
1133 vpcmpltw 8192(%rdx), %zmm29, %k3
1135 // CHECK: vpcmpltw -8192(%rdx), %zmm29, %k3
1136 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x01]
1137 vpcmpltw -8192(%rdx), %zmm29, %k3
1139 // CHECK: vpcmpltw -8256(%rdx), %zmm29, %k3
1140 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x01]
1141 vpcmpltw -8256(%rdx), %zmm29, %k3
1143 // CHECK: vpcmplew %zmm25, %zmm29, %k3
1144 // CHECK: encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x02]
1145 vpcmplew %zmm25, %zmm29, %k3
1147 // CHECK: vpcmplew %zmm25, %zmm29, %k3 {%k6}
1148 // CHECK: encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x02]
1149 vpcmplew %zmm25, %zmm29, %k3 {%k6}
1151 // CHECK: vpcmplew (%rcx), %zmm29, %k3
1152 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x02]
1153 vpcmplew (%rcx), %zmm29, %k3
1155 // CHECK: vpcmplew 291(%rax,%r14,8), %zmm29, %k3
1156 // CHECK: encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x02]
1157 vpcmplew 291(%rax,%r14,8), %zmm29, %k3
1159 // CHECK: vpcmplew 8128(%rdx), %zmm29, %k3
1160 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x02]
1161 vpcmplew 8128(%rdx), %zmm29, %k3
1163 // CHECK: vpcmplew 8192(%rdx), %zmm29, %k3
1164 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x02]
1165 vpcmplew 8192(%rdx), %zmm29, %k3
1167 // CHECK: vpcmplew -8192(%rdx), %zmm29, %k3
1168 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x02]
1169 vpcmplew -8192(%rdx), %zmm29, %k3
1171 // CHECK: vpcmplew -8256(%rdx), %zmm29, %k3
1172 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x02]
1173 vpcmplew -8256(%rdx), %zmm29, %k3
1175 // CHECK: vpcmpneqw %zmm25, %zmm29, %k3
1176 // CHECK: encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x04]
1177 vpcmpneqw %zmm25, %zmm29, %k3
1179 // CHECK: vpcmpneqw %zmm25, %zmm29, %k3 {%k6}
1180 // CHECK: encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x04]
1181 vpcmpneqw %zmm25, %zmm29, %k3 {%k6}
1183 // CHECK: vpcmpneqw (%rcx), %zmm29, %k3
1184 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x04]
1185 vpcmpneqw (%rcx), %zmm29, %k3
1187 // CHECK: vpcmpneqw 291(%rax,%r14,8), %zmm29, %k3
1188 // CHECK: encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x04]
1189 vpcmpneqw 291(%rax,%r14,8), %zmm29, %k3
1191 // CHECK: vpcmpneqw 8128(%rdx), %zmm29, %k3
1192 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x04]
1193 vpcmpneqw 8128(%rdx), %zmm29, %k3
1195 // CHECK: vpcmpneqw 8192(%rdx), %zmm29, %k3
1196 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x04]
1197 vpcmpneqw 8192(%rdx), %zmm29, %k3
1199 // CHECK: vpcmpneqw -8192(%rdx), %zmm29, %k3
1200 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x04]
1201 vpcmpneqw -8192(%rdx), %zmm29, %k3
1203 // CHECK: vpcmpneqw -8256(%rdx), %zmm29, %k3
1204 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x04]
1205 vpcmpneqw -8256(%rdx), %zmm29, %k3
1207 // CHECK: vpcmpnltw %zmm25, %zmm29, %k3
1208 // CHECK: encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x05]
1209 vpcmpnltw %zmm25, %zmm29, %k3
1211 // CHECK: vpcmpnltw %zmm25, %zmm29, %k3 {%k6}
1212 // CHECK: encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x05]
1213 vpcmpnltw %zmm25, %zmm29, %k3 {%k6}
1215 // CHECK: vpcmpnltw (%rcx), %zmm29, %k3
1216 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x05]
1217 vpcmpnltw (%rcx), %zmm29, %k3
1219 // CHECK: vpcmpnltw 291(%rax,%r14,8), %zmm29, %k3
1220 // CHECK: encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x05]
1221 vpcmpnltw 291(%rax,%r14,8), %zmm29, %k3
1223 // CHECK: vpcmpnltw 8128(%rdx), %zmm29, %k3
1224 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x05]
1225 vpcmpnltw 8128(%rdx), %zmm29, %k3
1227 // CHECK: vpcmpnltw 8192(%rdx), %zmm29, %k3
1228 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x05]
1229 vpcmpnltw 8192(%rdx), %zmm29, %k3
1231 // CHECK: vpcmpnltw -8192(%rdx), %zmm29, %k3
1232 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x05]
1233 vpcmpnltw -8192(%rdx), %zmm29, %k3
1235 // CHECK: vpcmpnltw -8256(%rdx), %zmm29, %k3
1236 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x05]
1237 vpcmpnltw -8256(%rdx), %zmm29, %k3
1239 // CHECK: vpcmpnlew %zmm25, %zmm29, %k3
1240 // CHECK: encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x06]
1241 vpcmpnlew %zmm25, %zmm29, %k3
1243 // CHECK: vpcmpnlew %zmm25, %zmm29, %k3 {%k6}
1244 // CHECK: encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x06]
1245 vpcmpnlew %zmm25, %zmm29, %k3 {%k6}
1247 // CHECK: vpcmpnlew (%rcx), %zmm29, %k3
1248 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x06]
1249 vpcmpnlew (%rcx), %zmm29, %k3
1251 // CHECK: vpcmpnlew 291(%rax,%r14,8), %zmm29, %k3
1252 // CHECK: encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x06]
1253 vpcmpnlew 291(%rax,%r14,8), %zmm29, %k3
1255 // CHECK: vpcmpnlew 8128(%rdx), %zmm29, %k3
1256 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x06]
1257 vpcmpnlew 8128(%rdx), %zmm29, %k3
1259 // CHECK: vpcmpnlew 8192(%rdx), %zmm29, %k3
1260 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x06]
1261 vpcmpnlew 8192(%rdx), %zmm29, %k3
1263 // CHECK: vpcmpnlew -8192(%rdx), %zmm29, %k3
1264 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x06]
1265 vpcmpnlew -8192(%rdx), %zmm29, %k3
1267 // CHECK: vpcmpnlew -8256(%rdx), %zmm29, %k3
1268 // CHECK: encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x06]
1269 vpcmpnlew -8256(%rdx), %zmm29, %k3
1271 // CHECK: vpcmpub $171, %zmm22, %zmm29, %k4
1272 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0xab]
1273 vpcmpub $171, %zmm22, %zmm29, %k4
1275 // CHECK: vpcmpub $171, %zmm22, %zmm29, %k4 {%k7}
1276 // CHECK: encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0xab]
1277 vpcmpub $171, %zmm22, %zmm29, %k4 {%k7}
1279 // CHECK: vpcmpub $123, %zmm22, %zmm29, %k4
1280 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x7b]
1281 vpcmpub $123, %zmm22, %zmm29, %k4
1283 // CHECK: vpcmpub $123, (%rcx), %zmm29, %k4
1284 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x7b]
1285 vpcmpub $123, (%rcx), %zmm29, %k4
1287 // CHECK: vpcmpub $123, 291(%rax,%r14,8), %zmm29, %k4
1288 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b]
1289 vpcmpub $123, 291(%rax,%r14,8), %zmm29, %k4
1291 // CHECK: vpcmpub $123, 8128(%rdx), %zmm29, %k4
1292 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x7b]
1293 vpcmpub $123, 8128(%rdx), %zmm29, %k4
1295 // CHECK: vpcmpub $123, 8192(%rdx), %zmm29, %k4
1296 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x7b]
1297 vpcmpub $123, 8192(%rdx), %zmm29, %k4
1299 // CHECK: vpcmpub $123, -8192(%rdx), %zmm29, %k4
1300 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x7b]
1301 vpcmpub $123, -8192(%rdx), %zmm29, %k4
1303 // CHECK: vpcmpub $123, -8256(%rdx), %zmm29, %k4
1304 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x7b]
1305 vpcmpub $123, -8256(%rdx), %zmm29, %k4
1307 // CHECK: vpcmpequb %zmm22, %zmm29, %k4
1308 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x00]
1309 vpcmpequb %zmm22, %zmm29, %k4
1311 // CHECK: vpcmpequb %zmm22, %zmm29, %k4 {%k7}
1312 // CHECK: encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x00]
1313 vpcmpequb %zmm22, %zmm29, %k4 {%k7}
1315 // CHECK: vpcmpequb %zmm22, %zmm29, %k4
1316 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x00]
1317 vpcmpequb %zmm22, %zmm29, %k4
1319 // CHECK: vpcmpequb (%rcx), %zmm29, %k4
1320 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x00]
1321 vpcmpequb (%rcx), %zmm29, %k4
1323 // CHECK: vpcmpequb 291(%rax,%r14,8), %zmm29, %k4
1324 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x00]
1325 vpcmpequb 291(%rax,%r14,8), %zmm29, %k4
1327 // CHECK: vpcmpequb 8128(%rdx), %zmm29, %k4
1328 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x00]
1329 vpcmpequb 8128(%rdx), %zmm29, %k4
1331 // CHECK: vpcmpequb 8192(%rdx), %zmm29, %k4
1332 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x00]
1333 vpcmpequb 8192(%rdx), %zmm29, %k4
1335 // CHECK: vpcmpequb -8192(%rdx), %zmm29, %k4
1336 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x00]
1337 vpcmpequb -8192(%rdx), %zmm29, %k4
1339 // CHECK: vpcmpequb -8256(%rdx), %zmm29, %k4
1340 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x00]
1341 vpcmpequb -8256(%rdx), %zmm29, %k4
1343 // CHECK: vpcmpltub %zmm22, %zmm29, %k4
1344 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x01]
1345 vpcmpltub %zmm22, %zmm29, %k4
1347 // CHECK: vpcmpltub %zmm22, %zmm29, %k4 {%k7}
1348 // CHECK: encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x01]
1349 vpcmpltub %zmm22, %zmm29, %k4 {%k7}
1351 // CHECK: vpcmpltub %zmm22, %zmm29, %k4
1352 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x01]
1353 vpcmpltub %zmm22, %zmm29, %k4
1355 // CHECK: vpcmpltub (%rcx), %zmm29, %k4
1356 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x01]
1357 vpcmpltub (%rcx), %zmm29, %k4
1359 // CHECK: vpcmpltub 291(%rax,%r14,8), %zmm29, %k4
1360 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x01]
1361 vpcmpltub 291(%rax,%r14,8), %zmm29, %k4
1363 // CHECK: vpcmpltub 8128(%rdx), %zmm29, %k4
1364 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x01]
1365 vpcmpltub 8128(%rdx), %zmm29, %k4
1367 // CHECK: vpcmpltub 8192(%rdx), %zmm29, %k4
1368 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x01]
1369 vpcmpltub 8192(%rdx), %zmm29, %k4
1371 // CHECK: vpcmpltub -8192(%rdx), %zmm29, %k4
1372 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x01]
1373 vpcmpltub -8192(%rdx), %zmm29, %k4
1375 // CHECK: vpcmpltub -8256(%rdx), %zmm29, %k4
1376 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x01]
1377 vpcmpltub -8256(%rdx), %zmm29, %k4
1379 // CHECK: vpcmpleub %zmm22, %zmm29, %k4
1380 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x02]
1381 vpcmpleub %zmm22, %zmm29, %k4
1383 // CHECK: vpcmpleub %zmm22, %zmm29, %k4 {%k7}
1384 // CHECK: encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x02]
1385 vpcmpleub %zmm22, %zmm29, %k4 {%k7}
1387 // CHECK: vpcmpleub %zmm22, %zmm29, %k4
1388 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x02]
1389 vpcmpleub %zmm22, %zmm29, %k4
1391 // CHECK: vpcmpleub (%rcx), %zmm29, %k4
1392 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x02]
1393 vpcmpleub (%rcx), %zmm29, %k4
1395 // CHECK: vpcmpleub 291(%rax,%r14,8), %zmm29, %k4
1396 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x02]
1397 vpcmpleub 291(%rax,%r14,8), %zmm29, %k4
1399 // CHECK: vpcmpleub 8128(%rdx), %zmm29, %k4
1400 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x02]
1401 vpcmpleub 8128(%rdx), %zmm29, %k4
1403 // CHECK: vpcmpleub 8192(%rdx), %zmm29, %k4
1404 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x02]
1405 vpcmpleub 8192(%rdx), %zmm29, %k4
1407 // CHECK: vpcmpleub -8192(%rdx), %zmm29, %k4
1408 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x02]
1409 vpcmpleub -8192(%rdx), %zmm29, %k4
1411 // CHECK: vpcmpleub -8256(%rdx), %zmm29, %k4
1412 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x02]
1413 vpcmpleub -8256(%rdx), %zmm29, %k4
1415 // CHECK: vpcmpnequb %zmm22, %zmm29, %k4
1416 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x04]
1417 vpcmpnequb %zmm22, %zmm29, %k4
1419 // CHECK: vpcmpnequb %zmm22, %zmm29, %k4 {%k7}
1420 // CHECK: encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x04]
1421 vpcmpnequb %zmm22, %zmm29, %k4 {%k7}
1423 // CHECK: vpcmpnequb %zmm22, %zmm29, %k4
1424 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x04]
1425 vpcmpnequb %zmm22, %zmm29, %k4
1427 // CHECK: vpcmpnequb (%rcx), %zmm29, %k4
1428 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x04]
1429 vpcmpnequb (%rcx), %zmm29, %k4
1431 // CHECK: vpcmpnequb 291(%rax,%r14,8), %zmm29, %k4
1432 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x04]
1433 vpcmpnequb 291(%rax,%r14,8), %zmm29, %k4
1435 // CHECK: vpcmpnequb 8128(%rdx), %zmm29, %k4
1436 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x04]
1437 vpcmpnequb 8128(%rdx), %zmm29, %k4
1439 // CHECK: vpcmpnequb 8192(%rdx), %zmm29, %k4
1440 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x04]
1441 vpcmpnequb 8192(%rdx), %zmm29, %k4
1443 // CHECK: vpcmpnequb -8192(%rdx), %zmm29, %k4
1444 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x04]
1445 vpcmpnequb -8192(%rdx), %zmm29, %k4
1447 // CHECK: vpcmpnequb -8256(%rdx), %zmm29, %k4
1448 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x04]
1449 vpcmpnequb -8256(%rdx), %zmm29, %k4
1451 // CHECK: vpcmpnltub %zmm22, %zmm29, %k4
1452 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x05]
1453 vpcmpnltub %zmm22, %zmm29, %k4
1455 // CHECK: vpcmpnltub %zmm22, %zmm29, %k4 {%k7}
1456 // CHECK: encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x05]
1457 vpcmpnltub %zmm22, %zmm29, %k4 {%k7}
1459 // CHECK: vpcmpnltub %zmm22, %zmm29, %k4
1460 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x05]
1461 vpcmpnltub %zmm22, %zmm29, %k4
1463 // CHECK: vpcmpnltub (%rcx), %zmm29, %k4
1464 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x05]
1465 vpcmpnltub (%rcx), %zmm29, %k4
1467 // CHECK: vpcmpnltub 291(%rax,%r14,8), %zmm29, %k4
1468 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x05]
1469 vpcmpnltub 291(%rax,%r14,8), %zmm29, %k4
1471 // CHECK: vpcmpnltub 8128(%rdx), %zmm29, %k4
1472 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x05]
1473 vpcmpnltub 8128(%rdx), %zmm29, %k4
1475 // CHECK: vpcmpnltub 8192(%rdx), %zmm29, %k4
1476 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x05]
1477 vpcmpnltub 8192(%rdx), %zmm29, %k4
1479 // CHECK: vpcmpnltub -8192(%rdx), %zmm29, %k4
1480 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x05]
1481 vpcmpnltub -8192(%rdx), %zmm29, %k4
1483 // CHECK: vpcmpnltub -8256(%rdx), %zmm29, %k4
1484 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x05]
1485 vpcmpnltub -8256(%rdx), %zmm29, %k4
1487 // CHECK: vpcmpnleub %zmm22, %zmm29, %k4
1488 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x06]
1489 vpcmpnleub %zmm22, %zmm29, %k4
1491 // CHECK: vpcmpnleub %zmm22, %zmm29, %k4 {%k7}
1492 // CHECK: encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x06]
1493 vpcmpnleub %zmm22, %zmm29, %k4 {%k7}
1495 // CHECK: vpcmpnleub %zmm22, %zmm29, %k4
1496 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x06]
1497 vpcmpnleub %zmm22, %zmm29, %k4
1499 // CHECK: vpcmpnleub (%rcx), %zmm29, %k4
1500 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x06]
1501 vpcmpnleub (%rcx), %zmm29, %k4
1503 // CHECK: vpcmpnleub 291(%rax,%r14,8), %zmm29, %k4
1504 // CHECK: encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x06]
1505 vpcmpnleub 291(%rax,%r14,8), %zmm29, %k4
1507 // CHECK: vpcmpnleub 8128(%rdx), %zmm29, %k4
1508 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x06]
1509 vpcmpnleub 8128(%rdx), %zmm29, %k4
1511 // CHECK: vpcmpnleub 8192(%rdx), %zmm29, %k4
1512 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x06]
1513 vpcmpnleub 8192(%rdx), %zmm29, %k4
1515 // CHECK: vpcmpnleub -8192(%rdx), %zmm29, %k4
1516 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x06]
1517 vpcmpnleub -8192(%rdx), %zmm29, %k4
1519 // CHECK: vpcmpnleub -8256(%rdx), %zmm29, %k4
1520 // CHECK: encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x06]
1521 vpcmpnleub -8256(%rdx), %zmm29, %k4
1523 // CHECK: vpcmpuw $171, %zmm22, %zmm22, %k4
1524 // CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0xab]
1525 vpcmpuw $171, %zmm22, %zmm22, %k4
1527 // CHECK: vpcmpuw $171, %zmm22, %zmm22, %k4 {%k7}
1528 // CHECK: encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0xab]
1529 vpcmpuw $171, %zmm22, %zmm22, %k4 {%k7}
1531 // CHECK: vpcmpuw $123, %zmm22, %zmm22, %k4
1532 // CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x7b]
1533 vpcmpuw $123, %zmm22, %zmm22, %k4
1535 // CHECK: vpcmpuw $123, (%rcx), %zmm22, %k4
1536 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x7b]
1537 vpcmpuw $123, (%rcx), %zmm22, %k4
1539 // CHECK: vpcmpuw $123, 291(%rax,%r14,8), %zmm22, %k4
1540 // CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b]
1541 vpcmpuw $123, 291(%rax,%r14,8), %zmm22, %k4
1543 // CHECK: vpcmpuw $123, 8128(%rdx), %zmm22, %k4
1544 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x7b]
1545 vpcmpuw $123, 8128(%rdx), %zmm22, %k4
1547 // CHECK: vpcmpuw $123, 8192(%rdx), %zmm22, %k4
1548 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x7b]
1549 vpcmpuw $123, 8192(%rdx), %zmm22, %k4
1551 // CHECK: vpcmpuw $123, -8192(%rdx), %zmm22, %k4
1552 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x7b]
1553 vpcmpuw $123, -8192(%rdx), %zmm22, %k4
1555 // CHECK: vpcmpuw $123, -8256(%rdx), %zmm22, %k4
1556 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x7b]
1557 vpcmpuw $123, -8256(%rdx), %zmm22, %k4
1559 // CHECK: vpcmpequw %zmm22, %zmm22, %k4
1560 // CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x00]
1561 vpcmpequw %zmm22, %zmm22, %k4
1563 // CHECK: vpcmpequw %zmm22, %zmm22, %k4 {%k7}
1564 // CHECK: encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x00]
1565 vpcmpequw %zmm22, %zmm22, %k4 {%k7}
1567 // CHECK: vpcmpequw (%rcx), %zmm22, %k4
1568 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x00]
1569 vpcmpequw (%rcx), %zmm22, %k4
1571 // CHECK: vpcmpequw 291(%rax,%r14,8), %zmm22, %k4
1572 // CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x00]
1573 vpcmpequw 291(%rax,%r14,8), %zmm22, %k4
1575 // CHECK: vpcmpequw 8128(%rdx), %zmm22, %k4
1576 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x00]
1577 vpcmpequw 8128(%rdx), %zmm22, %k4
1579 // CHECK: vpcmpequw 8192(%rdx), %zmm22, %k4
1580 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x00]
1581 vpcmpequw 8192(%rdx), %zmm22, %k4
1583 // CHECK: vpcmpequw -8192(%rdx), %zmm22, %k4
1584 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x00]
1585 vpcmpequw -8192(%rdx), %zmm22, %k4
1587 // CHECK: vpcmpequw -8256(%rdx), %zmm22, %k4
1588 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x00]
1589 vpcmpequw -8256(%rdx), %zmm22, %k4
1591 // CHECK: vpcmpltuw %zmm22, %zmm22, %k4
1592 // CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x01]
1593 vpcmpltuw %zmm22, %zmm22, %k4
1595 // CHECK: vpcmpltuw %zmm22, %zmm22, %k4 {%k7}
1596 // CHECK: encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x01]
1597 vpcmpltuw %zmm22, %zmm22, %k4 {%k7}
1599 // CHECK: vpcmpltuw (%rcx), %zmm22, %k4
1600 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x01]
1601 vpcmpltuw (%rcx), %zmm22, %k4
1603 // CHECK: vpcmpltuw 291(%rax,%r14,8), %zmm22, %k4
1604 // CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x01]
1605 vpcmpltuw 291(%rax,%r14,8), %zmm22, %k4
1607 // CHECK: vpcmpltuw 8128(%rdx), %zmm22, %k4
1608 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x01]
1609 vpcmpltuw 8128(%rdx), %zmm22, %k4
1611 // CHECK: vpcmpltuw 8192(%rdx), %zmm22, %k4
1612 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x01]
1613 vpcmpltuw 8192(%rdx), %zmm22, %k4
1615 // CHECK: vpcmpltuw -8192(%rdx), %zmm22, %k4
1616 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x01]
1617 vpcmpltuw -8192(%rdx), %zmm22, %k4
1619 // CHECK: vpcmpltuw -8256(%rdx), %zmm22, %k4
1620 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x01]
1621 vpcmpltuw -8256(%rdx), %zmm22, %k4
1623 // CHECK: vpcmpleuw %zmm22, %zmm22, %k4
1624 // CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x02]
1625 vpcmpleuw %zmm22, %zmm22, %k4
1627 // CHECK: vpcmpleuw %zmm22, %zmm22, %k4 {%k7}
1628 // CHECK: encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x02]
1629 vpcmpleuw %zmm22, %zmm22, %k4 {%k7}
1631 // CHECK: vpcmpleuw (%rcx), %zmm22, %k4
1632 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x02]
1633 vpcmpleuw (%rcx), %zmm22, %k4
1635 // CHECK: vpcmpleuw 291(%rax,%r14,8), %zmm22, %k4
1636 // CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x02]
1637 vpcmpleuw 291(%rax,%r14,8), %zmm22, %k4
1639 // CHECK: vpcmpleuw 8128(%rdx), %zmm22, %k4
1640 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x02]
1641 vpcmpleuw 8128(%rdx), %zmm22, %k4
1643 // CHECK: vpcmpleuw 8192(%rdx), %zmm22, %k4
1644 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x02]
1645 vpcmpleuw 8192(%rdx), %zmm22, %k4
1647 // CHECK: vpcmpleuw -8192(%rdx), %zmm22, %k4
1648 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x02]
1649 vpcmpleuw -8192(%rdx), %zmm22, %k4
1651 // CHECK: vpcmpleuw -8256(%rdx), %zmm22, %k4
1652 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x02]
1653 vpcmpleuw -8256(%rdx), %zmm22, %k4
1655 // CHECK: vpcmpnequw %zmm22, %zmm22, %k4
1656 // CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x04]
1657 vpcmpnequw %zmm22, %zmm22, %k4
1659 // CHECK: vpcmpnequw %zmm22, %zmm22, %k4 {%k7}
1660 // CHECK: encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x04]
1661 vpcmpnequw %zmm22, %zmm22, %k4 {%k7}
1663 // CHECK: vpcmpnequw (%rcx), %zmm22, %k4
1664 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x04]
1665 vpcmpnequw (%rcx), %zmm22, %k4
1667 // CHECK: vpcmpnequw 291(%rax,%r14,8), %zmm22, %k4
1668 // CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x04]
1669 vpcmpnequw 291(%rax,%r14,8), %zmm22, %k4
1671 // CHECK: vpcmpnequw 8128(%rdx), %zmm22, %k4
1672 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x04]
1673 vpcmpnequw 8128(%rdx), %zmm22, %k4
1675 // CHECK: vpcmpnequw 8192(%rdx), %zmm22, %k4
1676 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x04]
1677 vpcmpnequw 8192(%rdx), %zmm22, %k4
1679 // CHECK: vpcmpnequw -8192(%rdx), %zmm22, %k4
1680 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x04]
1681 vpcmpnequw -8192(%rdx), %zmm22, %k4
1683 // CHECK: vpcmpnequw -8256(%rdx), %zmm22, %k4
1684 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x04]
1685 vpcmpnequw -8256(%rdx), %zmm22, %k4
1687 // CHECK: vpcmpnltuw %zmm22, %zmm22, %k4
1688 // CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x05]
1689 vpcmpnltuw %zmm22, %zmm22, %k4
1691 // CHECK: vpcmpnltuw %zmm22, %zmm22, %k4 {%k7}
1692 // CHECK: encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x05]
1693 vpcmpnltuw %zmm22, %zmm22, %k4 {%k7}
1695 // CHECK: vpcmpnltuw (%rcx), %zmm22, %k4
1696 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x05]
1697 vpcmpnltuw (%rcx), %zmm22, %k4
1699 // CHECK: vpcmpnltuw 291(%rax,%r14,8), %zmm22, %k4
1700 // CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x05]
1701 vpcmpnltuw 291(%rax,%r14,8), %zmm22, %k4
1703 // CHECK: vpcmpnltuw 8128(%rdx), %zmm22, %k4
1704 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x05]
1705 vpcmpnltuw 8128(%rdx), %zmm22, %k4
1707 // CHECK: vpcmpnltuw 8192(%rdx), %zmm22, %k4
1708 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x05]
1709 vpcmpnltuw 8192(%rdx), %zmm22, %k4
1711 // CHECK: vpcmpnltuw -8192(%rdx), %zmm22, %k4
1712 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x05]
1713 vpcmpnltuw -8192(%rdx), %zmm22, %k4
1715 // CHECK: vpcmpnltuw -8256(%rdx), %zmm22, %k4
1716 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x05]
1717 vpcmpnltuw -8256(%rdx), %zmm22, %k4
1719 // CHECK: vpcmpnleuw %zmm22, %zmm22, %k4
1720 // CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x06]
1721 vpcmpnleuw %zmm22, %zmm22, %k4
1723 // CHECK: vpcmpnleuw %zmm22, %zmm22, %k4 {%k7}
1724 // CHECK: encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x06]
1725 vpcmpnleuw %zmm22, %zmm22, %k4 {%k7}
1727 // CHECK: vpcmpnleuw (%rcx), %zmm22, %k4
1728 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x06]
1729 vpcmpnleuw (%rcx), %zmm22, %k4
1731 // CHECK: vpcmpnleuw 291(%rax,%r14,8), %zmm22, %k4
1732 // CHECK: encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x06]
1733 vpcmpnleuw 291(%rax,%r14,8), %zmm22, %k4
1735 // CHECK: vpcmpnleuw 8128(%rdx), %zmm22, %k4
1736 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x06]
1737 vpcmpnleuw 8128(%rdx), %zmm22, %k4
1739 // CHECK: vpcmpnleuw 8192(%rdx), %zmm22, %k4
1740 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x06]
1741 vpcmpnleuw 8192(%rdx), %zmm22, %k4
1743 // CHECK: vpcmpnleuw -8192(%rdx), %zmm22, %k4
1744 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x06]
1745 vpcmpnleuw -8192(%rdx), %zmm22, %k4
1747 // CHECK: vpcmpnleuw -8256(%rdx), %zmm22, %k4
1748 // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x06]
1749 vpcmpnleuw -8256(%rdx), %zmm22, %k4
1751 // CHECK: vpsllw %xmm24, %zmm21, %zmm24
1752 // CHECK: encoding: [0x62,0x01,0x55,0x40,0xf1,0xc0]
1753 vpsllw %xmm24, %zmm21, %zmm24
1755 // CHECK: vpsllw %xmm24, %zmm21, %zmm24 {%k2}
1756 // CHECK: encoding: [0x62,0x01,0x55,0x42,0xf1,0xc0]
1757 vpsllw %xmm24, %zmm21, %zmm24 {%k2}
1759 // CHECK: vpsllw %xmm24, %zmm21, %zmm24 {%k2} {z}
1760 // CHECK: encoding: [0x62,0x01,0x55,0xc2,0xf1,0xc0]
1761 vpsllw %xmm24, %zmm21, %zmm24 {%k2} {z}
1763 // CHECK: vpsllw (%rcx), %zmm21, %zmm24
1764 // CHECK: encoding: [0x62,0x61,0x55,0x40,0xf1,0x01]
1765 vpsllw (%rcx), %zmm21, %zmm24
1767 // CHECK: vpsllw 291(%rax,%r14,8), %zmm21, %zmm24
1768 // CHECK: encoding: [0x62,0x21,0x55,0x40,0xf1,0x84,0xf0,0x23,0x01,0x00,0x00]
1769 vpsllw 291(%rax,%r14,8), %zmm21, %zmm24
1771 // CHECK: vpsllw 2032(%rdx), %zmm21, %zmm24
1772 // CHECK: encoding: [0x62,0x61,0x55,0x40,0xf1,0x42,0x7f]
1773 vpsllw 2032(%rdx), %zmm21, %zmm24
1775 // CHECK: vpsllw 2048(%rdx), %zmm21, %zmm24
1776 // CHECK: encoding: [0x62,0x61,0x55,0x40,0xf1,0x82,0x00,0x08,0x00,0x00]
1777 vpsllw 2048(%rdx), %zmm21, %zmm24
1779 // CHECK: vpsllw -2048(%rdx), %zmm21, %zmm24
1780 // CHECK: encoding: [0x62,0x61,0x55,0x40,0xf1,0x42,0x80]
1781 vpsllw -2048(%rdx), %zmm21, %zmm24
1783 // CHECK: vpsllw -2064(%rdx), %zmm21, %zmm24
1784 // CHECK: encoding: [0x62,0x61,0x55,0x40,0xf1,0x82,0xf0,0xf7,0xff,0xff]
1785 vpsllw -2064(%rdx), %zmm21, %zmm24
1787 // CHECK: vpsraw %xmm21, %zmm27, %zmm28
1788 // CHECK: encoding: [0x62,0x21,0x25,0x40,0xe1,0xe5]
1789 vpsraw %xmm21, %zmm27, %zmm28
1791 // CHECK: vpsraw %xmm21, %zmm27, %zmm28 {%k4}
1792 // CHECK: encoding: [0x62,0x21,0x25,0x44,0xe1,0xe5]
1793 vpsraw %xmm21, %zmm27, %zmm28 {%k4}
1795 // CHECK: vpsraw %xmm21, %zmm27, %zmm28 {%k4} {z}
1796 // CHECK: encoding: [0x62,0x21,0x25,0xc4,0xe1,0xe5]
1797 vpsraw %xmm21, %zmm27, %zmm28 {%k4} {z}
1799 // CHECK: vpsraw (%rcx), %zmm27, %zmm28
1800 // CHECK: encoding: [0x62,0x61,0x25,0x40,0xe1,0x21]
1801 vpsraw (%rcx), %zmm27, %zmm28
1803 // CHECK: vpsraw 291(%rax,%r14,8), %zmm27, %zmm28
1804 // CHECK: encoding: [0x62,0x21,0x25,0x40,0xe1,0xa4,0xf0,0x23,0x01,0x00,0x00]
1805 vpsraw 291(%rax,%r14,8), %zmm27, %zmm28
1807 // CHECK: vpsraw 2032(%rdx), %zmm27, %zmm28
1808 // CHECK: encoding: [0x62,0x61,0x25,0x40,0xe1,0x62,0x7f]
1809 vpsraw 2032(%rdx), %zmm27, %zmm28
1811 // CHECK: vpsraw 2048(%rdx), %zmm27, %zmm28
1812 // CHECK: encoding: [0x62,0x61,0x25,0x40,0xe1,0xa2,0x00,0x08,0x00,0x00]
1813 vpsraw 2048(%rdx), %zmm27, %zmm28
1815 // CHECK: vpsraw -2048(%rdx), %zmm27, %zmm28
1816 // CHECK: encoding: [0x62,0x61,0x25,0x40,0xe1,0x62,0x80]
1817 vpsraw -2048(%rdx), %zmm27, %zmm28
1819 // CHECK: vpsraw -2064(%rdx), %zmm27, %zmm28
1820 // CHECK: encoding: [0x62,0x61,0x25,0x40,0xe1,0xa2,0xf0,0xf7,0xff,0xff]
1821 vpsraw -2064(%rdx), %zmm27, %zmm28
1823 // CHECK: vpsrlw %xmm22, %zmm20, %zmm23
1824 // CHECK: encoding: [0x62,0xa1,0x5d,0x40,0xd1,0xfe]
1825 vpsrlw %xmm22, %zmm20, %zmm23
1827 // CHECK: vpsrlw %xmm22, %zmm20, %zmm23 {%k6}
1828 // CHECK: encoding: [0x62,0xa1,0x5d,0x46,0xd1,0xfe]
1829 vpsrlw %xmm22, %zmm20, %zmm23 {%k6}
1831 // CHECK: vpsrlw %xmm22, %zmm20, %zmm23 {%k6} {z}
1832 // CHECK: encoding: [0x62,0xa1,0x5d,0xc6,0xd1,0xfe]
1833 vpsrlw %xmm22, %zmm20, %zmm23 {%k6} {z}
1835 // CHECK: vpsrlw (%rcx), %zmm20, %zmm23
1836 // CHECK: encoding: [0x62,0xe1,0x5d,0x40,0xd1,0x39]
1837 vpsrlw (%rcx), %zmm20, %zmm23
1839 // CHECK: vpsrlw 291(%rax,%r14,8), %zmm20, %zmm23
1840 // CHECK: encoding: [0x62,0xa1,0x5d,0x40,0xd1,0xbc,0xf0,0x23,0x01,0x00,0x00]
1841 vpsrlw 291(%rax,%r14,8), %zmm20, %zmm23
1843 // CHECK: vpsrlw 2032(%rdx), %zmm20, %zmm23
1844 // CHECK: encoding: [0x62,0xe1,0x5d,0x40,0xd1,0x7a,0x7f]
1845 vpsrlw 2032(%rdx), %zmm20, %zmm23
1847 // CHECK: vpsrlw 2048(%rdx), %zmm20, %zmm23
1848 // CHECK: encoding: [0x62,0xe1,0x5d,0x40,0xd1,0xba,0x00,0x08,0x00,0x00]
1849 vpsrlw 2048(%rdx), %zmm20, %zmm23
1851 // CHECK: vpsrlw -2048(%rdx), %zmm20, %zmm23
1852 // CHECK: encoding: [0x62,0xe1,0x5d,0x40,0xd1,0x7a,0x80]
1853 vpsrlw -2048(%rdx), %zmm20, %zmm23
1855 // CHECK: vpsrlw -2064(%rdx), %zmm20, %zmm23
1856 // CHECK: encoding: [0x62,0xe1,0x5d,0x40,0xd1,0xba,0xf0,0xf7,0xff,0xff]
1857 vpsrlw -2064(%rdx), %zmm20, %zmm23
1859 // CHECK: vpsrlw $171, %zmm26, %zmm25
1860 // CHECK: encoding: [0x62,0x91,0x35,0x40,0x71,0xd2,0xab]
1861 vpsrlw $171, %zmm26, %zmm25
1863 // CHECK: vpsrlw $171, %zmm26, %zmm25 {%k6}
1864 // CHECK: encoding: [0x62,0x91,0x35,0x46,0x71,0xd2,0xab]
1865 vpsrlw $171, %zmm26, %zmm25 {%k6}
1867 // CHECK: vpsrlw $171, %zmm26, %zmm25 {%k6} {z}
1868 // CHECK: encoding: [0x62,0x91,0x35,0xc6,0x71,0xd2,0xab]
1869 vpsrlw $171, %zmm26, %zmm25 {%k6} {z}
1871 // CHECK: vpsrlw $123, %zmm26, %zmm25
1872 // CHECK: encoding: [0x62,0x91,0x35,0x40,0x71,0xd2,0x7b]
1873 vpsrlw $123, %zmm26, %zmm25
1875 // CHECK: vpsrlw $123, (%rcx), %zmm25
1876 // CHECK: encoding: [0x62,0xf1,0x35,0x40,0x71,0x11,0x7b]
1877 vpsrlw $123, (%rcx), %zmm25
1879 // CHECK: vpsrlw $123, 291(%rax,%r14,8), %zmm25
1880 // CHECK: encoding: [0x62,0xb1,0x35,0x40,0x71,0x94,0xf0,0x23,0x01,0x00,0x00,0x7b]
1881 vpsrlw $123, 291(%rax,%r14,8), %zmm25
1883 // CHECK: vpsrlw $123, 8128(%rdx), %zmm25
1884 // CHECK: encoding: [0x62,0xf1,0x35,0x40,0x71,0x52,0x7f,0x7b]
1885 vpsrlw $123, 8128(%rdx), %zmm25
1887 // CHECK: vpsrlw $123, 8192(%rdx), %zmm25
1888 // CHECK: encoding: [0x62,0xf1,0x35,0x40,0x71,0x92,0x00,0x20,0x00,0x00,0x7b]
1889 vpsrlw $123, 8192(%rdx), %zmm25
1891 // CHECK: vpsrlw $123, -8192(%rdx), %zmm25
1892 // CHECK: encoding: [0x62,0xf1,0x35,0x40,0x71,0x52,0x80,0x7b]
1893 vpsrlw $123, -8192(%rdx), %zmm25
1895 // CHECK: vpsrlw $123, -8256(%rdx), %zmm25
1896 // CHECK: encoding: [0x62,0xf1,0x35,0x40,0x71,0x92,0xc0,0xdf,0xff,0xff,0x7b]
1897 vpsrlw $123, -8256(%rdx), %zmm25
1899 // CHECK: vpsraw $171, %zmm29, %zmm28
1900 // CHECK: encoding: [0x62,0x91,0x1d,0x40,0x71,0xe5,0xab]
1901 vpsraw $171, %zmm29, %zmm28
1903 // CHECK: vpsraw $171, %zmm29, %zmm28 {%k4}
1904 // CHECK: encoding: [0x62,0x91,0x1d,0x44,0x71,0xe5,0xab]
1905 vpsraw $171, %zmm29, %zmm28 {%k4}
1907 // CHECK: vpsraw $171, %zmm29, %zmm28 {%k4} {z}
1908 // CHECK: encoding: [0x62,0x91,0x1d,0xc4,0x71,0xe5,0xab]
1909 vpsraw $171, %zmm29, %zmm28 {%k4} {z}
1911 // CHECK: vpsraw $123, %zmm29, %zmm28
1912 // CHECK: encoding: [0x62,0x91,0x1d,0x40,0x71,0xe5,0x7b]
1913 vpsraw $123, %zmm29, %zmm28
1915 // CHECK: vpsraw $123, (%rcx), %zmm28
1916 // CHECK: encoding: [0x62,0xf1,0x1d,0x40,0x71,0x21,0x7b]
1917 vpsraw $123, (%rcx), %zmm28
1919 // CHECK: vpsraw $123, 291(%rax,%r14,8), %zmm28
1920 // CHECK: encoding: [0x62,0xb1,0x1d,0x40,0x71,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b]
1921 vpsraw $123, 291(%rax,%r14,8), %zmm28
1923 // CHECK: vpsraw $123, 8128(%rdx), %zmm28
1924 // CHECK: encoding: [0x62,0xf1,0x1d,0x40,0x71,0x62,0x7f,0x7b]
1925 vpsraw $123, 8128(%rdx), %zmm28
1927 // CHECK: vpsraw $123, 8192(%rdx), %zmm28
1928 // CHECK: encoding: [0x62,0xf1,0x1d,0x40,0x71,0xa2,0x00,0x20,0x00,0x00,0x7b]
1929 vpsraw $123, 8192(%rdx), %zmm28
1931 // CHECK: vpsraw $123, -8192(%rdx), %zmm28
1932 // CHECK: encoding: [0x62,0xf1,0x1d,0x40,0x71,0x62,0x80,0x7b]
1933 vpsraw $123, -8192(%rdx), %zmm28
1935 // CHECK: vpsraw $123, -8256(%rdx), %zmm28
1936 // CHECK: encoding: [0x62,0xf1,0x1d,0x40,0x71,0xa2,0xc0,0xdf,0xff,0xff,0x7b]
1937 vpsraw $123, -8256(%rdx), %zmm28
1939 // CHECK: vpsrlvw %zmm21, %zmm18, %zmm17
1940 // CHECK: encoding: [0x62,0xa2,0xed,0x40,0x10,0xcd]
1941 vpsrlvw %zmm21, %zmm18, %zmm17
1943 // CHECK: vpsrlvw %zmm21, %zmm18, %zmm17 {%k6}
1944 // CHECK: encoding: [0x62,0xa2,0xed,0x46,0x10,0xcd]
1945 vpsrlvw %zmm21, %zmm18, %zmm17 {%k6}
1947 // CHECK: vpsrlvw %zmm21, %zmm18, %zmm17 {%k6} {z}
1948 // CHECK: encoding: [0x62,0xa2,0xed,0xc6,0x10,0xcd]
1949 vpsrlvw %zmm21, %zmm18, %zmm17 {%k6} {z}
1951 // CHECK: vpsrlvw (%rcx), %zmm18, %zmm17
1952 // CHECK: encoding: [0x62,0xe2,0xed,0x40,0x10,0x09]
1953 vpsrlvw (%rcx), %zmm18, %zmm17
1955 // CHECK: vpsrlvw 291(%rax,%r14,8), %zmm18, %zmm17
1956 // CHECK: encoding: [0x62,0xa2,0xed,0x40,0x10,0x8c,0xf0,0x23,0x01,0x00,0x00]
1957 vpsrlvw 291(%rax,%r14,8), %zmm18, %zmm17
1959 // CHECK: vpsrlvw 8128(%rdx), %zmm18, %zmm17
1960 // CHECK: encoding: [0x62,0xe2,0xed,0x40,0x10,0x4a,0x7f]
1961 vpsrlvw 8128(%rdx), %zmm18, %zmm17
1963 // CHECK: vpsrlvw 8192(%rdx), %zmm18, %zmm17
1964 // CHECK: encoding: [0x62,0xe2,0xed,0x40,0x10,0x8a,0x00,0x20,0x00,0x00]
1965 vpsrlvw 8192(%rdx), %zmm18, %zmm17
1967 // CHECK: vpsrlvw -8192(%rdx), %zmm18, %zmm17
1968 // CHECK: encoding: [0x62,0xe2,0xed,0x40,0x10,0x4a,0x80]
1969 vpsrlvw -8192(%rdx), %zmm18, %zmm17
1971 // CHECK: vpsrlvw -8256(%rdx), %zmm18, %zmm17
1972 // CHECK: encoding: [0x62,0xe2,0xed,0x40,0x10,0x8a,0xc0,0xdf,0xff,0xff]
1973 vpsrlvw -8256(%rdx), %zmm18, %zmm17
1975 // CHECK: vpsravw %zmm20, %zmm29, %zmm19
1976 // CHECK: encoding: [0x62,0xa2,0x95,0x40,0x11,0xdc]
1977 vpsravw %zmm20, %zmm29, %zmm19
1979 // CHECK: vpsravw %zmm20, %zmm29, %zmm19 {%k7}
1980 // CHECK: encoding: [0x62,0xa2,0x95,0x47,0x11,0xdc]
1981 vpsravw %zmm20, %zmm29, %zmm19 {%k7}
1983 // CHECK: vpsravw %zmm20, %zmm29, %zmm19 {%k7} {z}
1984 // CHECK: encoding: [0x62,0xa2,0x95,0xc7,0x11,0xdc]
1985 vpsravw %zmm20, %zmm29, %zmm19 {%k7} {z}
1987 // CHECK: vpsravw (%rcx), %zmm29, %zmm19
1988 // CHECK: encoding: [0x62,0xe2,0x95,0x40,0x11,0x19]
1989 vpsravw (%rcx), %zmm29, %zmm19
1991 // CHECK: vpsravw 291(%rax,%r14,8), %zmm29, %zmm19
1992 // CHECK: encoding: [0x62,0xa2,0x95,0x40,0x11,0x9c,0xf0,0x23,0x01,0x00,0x00]
1993 vpsravw 291(%rax,%r14,8), %zmm29, %zmm19
1995 // CHECK: vpsravw 8128(%rdx), %zmm29, %zmm19
1996 // CHECK: encoding: [0x62,0xe2,0x95,0x40,0x11,0x5a,0x7f]
1997 vpsravw 8128(%rdx), %zmm29, %zmm19
1999 // CHECK: vpsravw 8192(%rdx), %zmm29, %zmm19
2000 // CHECK: encoding: [0x62,0xe2,0x95,0x40,0x11,0x9a,0x00,0x20,0x00,0x00]
2001 vpsravw 8192(%rdx), %zmm29, %zmm19
2003 // CHECK: vpsravw -8192(%rdx), %zmm29, %zmm19
2004 // CHECK: encoding: [0x62,0xe2,0x95,0x40,0x11,0x5a,0x80]
2005 vpsravw -8192(%rdx), %zmm29, %zmm19
2007 // CHECK: vpsravw -8256(%rdx), %zmm29, %zmm19
2008 // CHECK: encoding: [0x62,0xe2,0x95,0x40,0x11,0x9a,0xc0,0xdf,0xff,0xff]
2009 vpsravw -8256(%rdx), %zmm29, %zmm19
2011 // CHECK: vpacksswb %zmm18, %zmm29, %zmm21
2012 // CHECK: encoding: [0x62,0xa1,0x95,0x40,0x63,0xea]
2013 vpacksswb %zmm18, %zmm29, %zmm21
2015 // CHECK: vpacksswb %zmm18, %zmm29, %zmm21 {%k1}
2016 // CHECK: encoding: [0x62,0xa1,0x95,0x41,0x63,0xea]
2017 vpacksswb %zmm18, %zmm29, %zmm21 {%k1}
2019 // CHECK: vpacksswb %zmm18, %zmm29, %zmm21 {%k1} {z}
2020 // CHECK: encoding: [0x62,0xa1,0x95,0xc1,0x63,0xea]
2021 vpacksswb %zmm18, %zmm29, %zmm21 {%k1} {z}
2023 // CHECK: vpacksswb (%rcx), %zmm29, %zmm21
2024 // CHECK: encoding: [0x62,0xe1,0x95,0x40,0x63,0x29]
2025 vpacksswb (%rcx), %zmm29, %zmm21
2027 // CHECK: vpacksswb 291(%rax,%r14,8), %zmm29, %zmm21
2028 // CHECK: encoding: [0x62,0xa1,0x95,0x40,0x63,0xac,0xf0,0x23,0x01,0x00,0x00]
2029 vpacksswb 291(%rax,%r14,8), %zmm29, %zmm21
2031 // CHECK: vpacksswb 8128(%rdx), %zmm29, %zmm21
2032 // CHECK: encoding: [0x62,0xe1,0x95,0x40,0x63,0x6a,0x7f]
2033 vpacksswb 8128(%rdx), %zmm29, %zmm21
2035 // CHECK: vpacksswb 8192(%rdx), %zmm29, %zmm21
2036 // CHECK: encoding: [0x62,0xe1,0x95,0x40,0x63,0xaa,0x00,0x20,0x00,0x00]
2037 vpacksswb 8192(%rdx), %zmm29, %zmm21
2039 // CHECK: vpacksswb -8192(%rdx), %zmm29, %zmm21
2040 // CHECK: encoding: [0x62,0xe1,0x95,0x40,0x63,0x6a,0x80]
2041 vpacksswb -8192(%rdx), %zmm29, %zmm21
2043 // CHECK: vpacksswb -8256(%rdx), %zmm29, %zmm21
2044 // CHECK: encoding: [0x62,0xe1,0x95,0x40,0x63,0xaa,0xc0,0xdf,0xff,0xff]
2045 vpacksswb -8256(%rdx), %zmm29, %zmm21
2047 // CHECK: vpackuswb %zmm28, %zmm24, %zmm28
2048 // CHECK: encoding: [0x62,0x01,0xbd,0x40,0x67,0xe4]
2049 vpackuswb %zmm28, %zmm24, %zmm28
2051 // CHECK: vpackuswb %zmm28, %zmm24, %zmm28 {%k6}
2052 // CHECK: encoding: [0x62,0x01,0xbd,0x46,0x67,0xe4]
2053 vpackuswb %zmm28, %zmm24, %zmm28 {%k6}
2055 // CHECK: vpackuswb %zmm28, %zmm24, %zmm28 {%k6} {z}
2056 // CHECK: encoding: [0x62,0x01,0xbd,0xc6,0x67,0xe4]
2057 vpackuswb %zmm28, %zmm24, %zmm28 {%k6} {z}
2059 // CHECK: vpackuswb (%rcx), %zmm24, %zmm28
2060 // CHECK: encoding: [0x62,0x61,0xbd,0x40,0x67,0x21]
2061 vpackuswb (%rcx), %zmm24, %zmm28
2063 // CHECK: vpackuswb 291(%rax,%r14,8), %zmm24, %zmm28
2064 // CHECK: encoding: [0x62,0x21,0xbd,0x40,0x67,0xa4,0xf0,0x23,0x01,0x00,0x00]
2065 vpackuswb 291(%rax,%r14,8), %zmm24, %zmm28
2067 // CHECK: vpackuswb 8128(%rdx), %zmm24, %zmm28
2068 // CHECK: encoding: [0x62,0x61,0xbd,0x40,0x67,0x62,0x7f]
2069 vpackuswb 8128(%rdx), %zmm24, %zmm28
2071 // CHECK: vpackuswb 8192(%rdx), %zmm24, %zmm28
2072 // CHECK: encoding: [0x62,0x61,0xbd,0x40,0x67,0xa2,0x00,0x20,0x00,0x00]
2073 vpackuswb 8192(%rdx), %zmm24, %zmm28
2075 // CHECK: vpackuswb -8192(%rdx), %zmm24, %zmm28
2076 // CHECK: encoding: [0x62,0x61,0xbd,0x40,0x67,0x62,0x80]
2077 vpackuswb -8192(%rdx), %zmm24, %zmm28
2079 // CHECK: vpackuswb -8256(%rdx), %zmm24, %zmm28
2080 // CHECK: encoding: [0x62,0x61,0xbd,0x40,0x67,0xa2,0xc0,0xdf,0xff,0xff]
2081 vpackuswb -8256(%rdx), %zmm24, %zmm28
2083 // CHECK: vpacksswb %zmm24, %zmm29, %zmm26
2084 // CHECK: encoding: [0x62,0x01,0x95,0x40,0x63,0xd0]
2085 vpacksswb %zmm24, %zmm29, %zmm26
2087 // CHECK: vpacksswb %zmm24, %zmm29, %zmm26 {%k6}
2088 // CHECK: encoding: [0x62,0x01,0x95,0x46,0x63,0xd0]
2089 vpacksswb %zmm24, %zmm29, %zmm26 {%k6}
2091 // CHECK: vpacksswb %zmm24, %zmm29, %zmm26 {%k6} {z}
2092 // CHECK: encoding: [0x62,0x01,0x95,0xc6,0x63,0xd0]
2093 vpacksswb %zmm24, %zmm29, %zmm26 {%k6} {z}
2095 // CHECK: vpacksswb (%rcx), %zmm29, %zmm26
2096 // CHECK: encoding: [0x62,0x61,0x95,0x40,0x63,0x11]
2097 vpacksswb (%rcx), %zmm29, %zmm26
2099 // CHECK: vpacksswb 4660(%rax,%r14,8), %zmm29, %zmm26
2100 // CHECK: encoding: [0x62,0x21,0x95,0x40,0x63,0x94,0xf0,0x34,0x12,0x00,0x00]
2101 vpacksswb 4660(%rax,%r14,8), %zmm29, %zmm26
2103 // CHECK: vpacksswb 8128(%rdx), %zmm29, %zmm26
2104 // CHECK: encoding: [0x62,0x61,0x95,0x40,0x63,0x52,0x7f]
2105 vpacksswb 8128(%rdx), %zmm29, %zmm26
2107 // CHECK: vpacksswb 8192(%rdx), %zmm29, %zmm26
2108 // CHECK: encoding: [0x62,0x61,0x95,0x40,0x63,0x92,0x00,0x20,0x00,0x00]
2109 vpacksswb 8192(%rdx), %zmm29, %zmm26
2111 // CHECK: vpacksswb -8192(%rdx), %zmm29, %zmm26
2112 // CHECK: encoding: [0x62,0x61,0x95,0x40,0x63,0x52,0x80]
2113 vpacksswb -8192(%rdx), %zmm29, %zmm26
2115 // CHECK: vpacksswb -8256(%rdx), %zmm29, %zmm26
2116 // CHECK: encoding: [0x62,0x61,0x95,0x40,0x63,0x92,0xc0,0xdf,0xff,0xff]
2117 vpacksswb -8256(%rdx), %zmm29, %zmm26
2119 // CHECK: vpackuswb %zmm23, %zmm28, %zmm18
2120 // CHECK: encoding: [0x62,0xa1,0x9d,0x40,0x67,0xd7]
2121 vpackuswb %zmm23, %zmm28, %zmm18
2123 // CHECK: vpackuswb %zmm23, %zmm28, %zmm18 {%k4}
2124 // CHECK: encoding: [0x62,0xa1,0x9d,0x44,0x67,0xd7]
2125 vpackuswb %zmm23, %zmm28, %zmm18 {%k4}
2127 // CHECK: vpackuswb %zmm23, %zmm28, %zmm18 {%k4} {z}
2128 // CHECK: encoding: [0x62,0xa1,0x9d,0xc4,0x67,0xd7]
2129 vpackuswb %zmm23, %zmm28, %zmm18 {%k4} {z}
2131 // CHECK: vpackuswb (%rcx), %zmm28, %zmm18
2132 // CHECK: encoding: [0x62,0xe1,0x9d,0x40,0x67,0x11]
2133 vpackuswb (%rcx), %zmm28, %zmm18
2135 // CHECK: vpackuswb 4660(%rax,%r14,8), %zmm28, %zmm18
2136 // CHECK: encoding: [0x62,0xa1,0x9d,0x40,0x67,0x94,0xf0,0x34,0x12,0x00,0x00]
2137 vpackuswb 4660(%rax,%r14,8), %zmm28, %zmm18
2139 // CHECK: vpackuswb 8128(%rdx), %zmm28, %zmm18
2140 // CHECK: encoding: [0x62,0xe1,0x9d,0x40,0x67,0x52,0x7f]
2141 vpackuswb 8128(%rdx), %zmm28, %zmm18
2143 // CHECK: vpackuswb 8192(%rdx), %zmm28, %zmm18
2144 // CHECK: encoding: [0x62,0xe1,0x9d,0x40,0x67,0x92,0x00,0x20,0x00,0x00]
2145 vpackuswb 8192(%rdx), %zmm28, %zmm18
2147 // CHECK: vpackuswb -8192(%rdx), %zmm28, %zmm18
2148 // CHECK: encoding: [0x62,0xe1,0x9d,0x40,0x67,0x52,0x80]
2149 vpackuswb -8192(%rdx), %zmm28, %zmm18
2151 // CHECK: vpackuswb -8256(%rdx), %zmm28, %zmm18
2152 // CHECK: encoding: [0x62,0xe1,0x9d,0x40,0x67,0x92,0xc0,0xdf,0xff,0xff]
2153 vpackuswb -8256(%rdx), %zmm28, %zmm18
2155 // CHECK: vpackssdw %zmm22, %zmm27, %zmm24
2156 // CHECK: encoding: [0x62,0x21,0x25,0x40,0x6b,0xc6]
2157 vpackssdw %zmm22, %zmm27, %zmm24
2159 // CHECK: vpackssdw %zmm22, %zmm27, %zmm24 {%k2}
2160 // CHECK: encoding: [0x62,0x21,0x25,0x42,0x6b,0xc6]
2161 vpackssdw %zmm22, %zmm27, %zmm24 {%k2}
2163 // CHECK: vpackssdw %zmm22, %zmm27, %zmm24 {%k2} {z}
2164 // CHECK: encoding: [0x62,0x21,0x25,0xc2,0x6b,0xc6]
2165 vpackssdw %zmm22, %zmm27, %zmm24 {%k2} {z}
2167 // CHECK: vpackssdw (%rcx), %zmm27, %zmm24
2168 // CHECK: encoding: [0x62,0x61,0x25,0x40,0x6b,0x01]
2169 vpackssdw (%rcx), %zmm27, %zmm24
2171 // CHECK: vpackssdw 291(%rax,%r14,8), %zmm27, %zmm24
2172 // CHECK: encoding: [0x62,0x21,0x25,0x40,0x6b,0x84,0xf0,0x23,0x01,0x00,0x00]
2173 vpackssdw 291(%rax,%r14,8), %zmm27, %zmm24
2175 // CHECK: vpackssdw (%rcx){1to16}, %zmm27, %zmm24
2176 // CHECK: encoding: [0x62,0x61,0x25,0x50,0x6b,0x01]
2177 vpackssdw (%rcx){1to16}, %zmm27, %zmm24
2179 // CHECK: vpackssdw 8128(%rdx), %zmm27, %zmm24
2180 // CHECK: encoding: [0x62,0x61,0x25,0x40,0x6b,0x42,0x7f]
2181 vpackssdw 8128(%rdx), %zmm27, %zmm24
2183 // CHECK: vpackssdw 8192(%rdx), %zmm27, %zmm24
2184 // CHECK: encoding: [0x62,0x61,0x25,0x40,0x6b,0x82,0x00,0x20,0x00,0x00]
2185 vpackssdw 8192(%rdx), %zmm27, %zmm24
2187 // CHECK: vpackssdw -8192(%rdx), %zmm27, %zmm24
2188 // CHECK: encoding: [0x62,0x61,0x25,0x40,0x6b,0x42,0x80]
2189 vpackssdw -8192(%rdx), %zmm27, %zmm24
2191 // CHECK: vpackssdw -8256(%rdx), %zmm27, %zmm24
2192 // CHECK: encoding: [0x62,0x61,0x25,0x40,0x6b,0x82,0xc0,0xdf,0xff,0xff]
2193 vpackssdw -8256(%rdx), %zmm27, %zmm24
2195 // CHECK: vpackssdw 508(%rdx){1to16}, %zmm27, %zmm24
2196 // CHECK: encoding: [0x62,0x61,0x25,0x50,0x6b,0x42,0x7f]
2197 vpackssdw 508(%rdx){1to16}, %zmm27, %zmm24
2199 // CHECK: vpackssdw 512(%rdx){1to16}, %zmm27, %zmm24
2200 // CHECK: encoding: [0x62,0x61,0x25,0x50,0x6b,0x82,0x00,0x02,0x00,0x00]
2201 vpackssdw 512(%rdx){1to16}, %zmm27, %zmm24
2203 // CHECK: vpackssdw -512(%rdx){1to16}, %zmm27, %zmm24
2204 // CHECK: encoding: [0x62,0x61,0x25,0x50,0x6b,0x42,0x80]
2205 vpackssdw -512(%rdx){1to16}, %zmm27, %zmm24
2207 // CHECK: vpackssdw -516(%rdx){1to16}, %zmm27, %zmm24
2208 // CHECK: encoding: [0x62,0x61,0x25,0x50,0x6b,0x82,0xfc,0xfd,0xff,0xff]
2209 vpackssdw -516(%rdx){1to16}, %zmm27, %zmm24
2211 // CHECK: vpacksswb %zmm23, %zmm18, %zmm28
2212 // CHECK: encoding: [0x62,0x21,0xed,0x40,0x63,0xe7]
2213 vpacksswb %zmm23, %zmm18, %zmm28
2215 // CHECK: vpacksswb %zmm23, %zmm18, %zmm28 {%k3}
2216 // CHECK: encoding: [0x62,0x21,0xed,0x43,0x63,0xe7]
2217 vpacksswb %zmm23, %zmm18, %zmm28 {%k3}
2219 // CHECK: vpacksswb %zmm23, %zmm18, %zmm28 {%k3} {z}
2220 // CHECK: encoding: [0x62,0x21,0xed,0xc3,0x63,0xe7]
2221 vpacksswb %zmm23, %zmm18, %zmm28 {%k3} {z}
2223 // CHECK: vpacksswb (%rcx), %zmm18, %zmm28
2224 // CHECK: encoding: [0x62,0x61,0xed,0x40,0x63,0x21]
2225 vpacksswb (%rcx), %zmm18, %zmm28
2227 // CHECK: vpacksswb 291(%rax,%r14,8), %zmm18, %zmm28
2228 // CHECK: encoding: [0x62,0x21,0xed,0x40,0x63,0xa4,0xf0,0x23,0x01,0x00,0x00]
2229 vpacksswb 291(%rax,%r14,8), %zmm18, %zmm28
2231 // CHECK: vpacksswb 8128(%rdx), %zmm18, %zmm28
2232 // CHECK: encoding: [0x62,0x61,0xed,0x40,0x63,0x62,0x7f]
2233 vpacksswb 8128(%rdx), %zmm18, %zmm28
2235 // CHECK: vpacksswb 8192(%rdx), %zmm18, %zmm28
2236 // CHECK: encoding: [0x62,0x61,0xed,0x40,0x63,0xa2,0x00,0x20,0x00,0x00]
2237 vpacksswb 8192(%rdx), %zmm18, %zmm28
2239 // CHECK: vpacksswb -8192(%rdx), %zmm18, %zmm28
2240 // CHECK: encoding: [0x62,0x61,0xed,0x40,0x63,0x62,0x80]
2241 vpacksswb -8192(%rdx), %zmm18, %zmm28
2243 // CHECK: vpacksswb -8256(%rdx), %zmm18, %zmm28
2244 // CHECK: encoding: [0x62,0x61,0xed,0x40,0x63,0xa2,0xc0,0xdf,0xff,0xff]
2245 vpacksswb -8256(%rdx), %zmm18, %zmm28
2247 // CHECK: vpackusdw %zmm21, %zmm29, %zmm18
2248 // CHECK: encoding: [0x62,0xa2,0x15,0x40,0x2b,0xd5]
2249 vpackusdw %zmm21, %zmm29, %zmm18
2251 // CHECK: vpackusdw %zmm21, %zmm29, %zmm18 {%k2}
2252 // CHECK: encoding: [0x62,0xa2,0x15,0x42,0x2b,0xd5]
2253 vpackusdw %zmm21, %zmm29, %zmm18 {%k2}
2255 // CHECK: vpackusdw %zmm21, %zmm29, %zmm18 {%k2} {z}
2256 // CHECK: encoding: [0x62,0xa2,0x15,0xc2,0x2b,0xd5]
2257 vpackusdw %zmm21, %zmm29, %zmm18 {%k2} {z}
2259 // CHECK: vpackusdw (%rcx), %zmm29, %zmm18
2260 // CHECK: encoding: [0x62,0xe2,0x15,0x40,0x2b,0x11]
2261 vpackusdw (%rcx), %zmm29, %zmm18
2263 // CHECK: vpackusdw 291(%rax,%r14,8), %zmm29, %zmm18
2264 // CHECK: encoding: [0x62,0xa2,0x15,0x40,0x2b,0x94,0xf0,0x23,0x01,0x00,0x00]
2265 vpackusdw 291(%rax,%r14,8), %zmm29, %zmm18
2267 // CHECK: vpackusdw (%rcx){1to16}, %zmm29, %zmm18
2268 // CHECK: encoding: [0x62,0xe2,0x15,0x50,0x2b,0x11]
2269 vpackusdw (%rcx){1to16}, %zmm29, %zmm18
2271 // CHECK: vpackusdw 8128(%rdx), %zmm29, %zmm18
2272 // CHECK: encoding: [0x62,0xe2,0x15,0x40,0x2b,0x52,0x7f]
2273 vpackusdw 8128(%rdx), %zmm29, %zmm18
2275 // CHECK: vpackusdw 8192(%rdx), %zmm29, %zmm18
2276 // CHECK: encoding: [0x62,0xe2,0x15,0x40,0x2b,0x92,0x00,0x20,0x00,0x00]
2277 vpackusdw 8192(%rdx), %zmm29, %zmm18
2279 // CHECK: vpackusdw -8192(%rdx), %zmm29, %zmm18
2280 // CHECK: encoding: [0x62,0xe2,0x15,0x40,0x2b,0x52,0x80]
2281 vpackusdw -8192(%rdx), %zmm29, %zmm18
2283 // CHECK: vpackusdw -8256(%rdx), %zmm29, %zmm18
2284 // CHECK: encoding: [0x62,0xe2,0x15,0x40,0x2b,0x92,0xc0,0xdf,0xff,0xff]
2285 vpackusdw -8256(%rdx), %zmm29, %zmm18
2287 // CHECK: vpackusdw 508(%rdx){1to16}, %zmm29, %zmm18
2288 // CHECK: encoding: [0x62,0xe2,0x15,0x50,0x2b,0x52,0x7f]
2289 vpackusdw 508(%rdx){1to16}, %zmm29, %zmm18
2291 // CHECK: vpackusdw 512(%rdx){1to16}, %zmm29, %zmm18
2292 // CHECK: encoding: [0x62,0xe2,0x15,0x50,0x2b,0x92,0x00,0x02,0x00,0x00]
2293 vpackusdw 512(%rdx){1to16}, %zmm29, %zmm18
2295 // CHECK: vpackusdw -512(%rdx){1to16}, %zmm29, %zmm18
2296 // CHECK: encoding: [0x62,0xe2,0x15,0x50,0x2b,0x52,0x80]
2297 vpackusdw -512(%rdx){1to16}, %zmm29, %zmm18
2299 // CHECK: vpackusdw -516(%rdx){1to16}, %zmm29, %zmm18
2300 // CHECK: encoding: [0x62,0xe2,0x15,0x50,0x2b,0x92,0xfc,0xfd,0xff,0xff]
2301 vpackusdw -516(%rdx){1to16}, %zmm29, %zmm18
2303 // CHECK: vpackuswb %zmm27, %zmm18, %zmm23
2304 // CHECK: encoding: [0x62,0x81,0xed,0x40,0x67,0xfb]
2305 vpackuswb %zmm27, %zmm18, %zmm23
2307 // CHECK: vpackuswb %zmm27, %zmm18, %zmm23 {%k5}
2308 // CHECK: encoding: [0x62,0x81,0xed,0x45,0x67,0xfb]
2309 vpackuswb %zmm27, %zmm18, %zmm23 {%k5}
2311 // CHECK: vpackuswb %zmm27, %zmm18, %zmm23 {%k5} {z}
2312 // CHECK: encoding: [0x62,0x81,0xed,0xc5,0x67,0xfb]
2313 vpackuswb %zmm27, %zmm18, %zmm23 {%k5} {z}
2315 // CHECK: vpackuswb (%rcx), %zmm18, %zmm23
2316 // CHECK: encoding: [0x62,0xe1,0xed,0x40,0x67,0x39]
2317 vpackuswb (%rcx), %zmm18, %zmm23
2319 // CHECK: vpackuswb 291(%rax,%r14,8), %zmm18, %zmm23
2320 // CHECK: encoding: [0x62,0xa1,0xed,0x40,0x67,0xbc,0xf0,0x23,0x01,0x00,0x00]
2321 vpackuswb 291(%rax,%r14,8), %zmm18, %zmm23
2323 // CHECK: vpackuswb 8128(%rdx), %zmm18, %zmm23
2324 // CHECK: encoding: [0x62,0xe1,0xed,0x40,0x67,0x7a,0x7f]
2325 vpackuswb 8128(%rdx), %zmm18, %zmm23
2327 // CHECK: vpackuswb 8192(%rdx), %zmm18, %zmm23
2328 // CHECK: encoding: [0x62,0xe1,0xed,0x40,0x67,0xba,0x00,0x20,0x00,0x00]
2329 vpackuswb 8192(%rdx), %zmm18, %zmm23
2331 // CHECK: vpackuswb -8192(%rdx), %zmm18, %zmm23
2332 // CHECK: encoding: [0x62,0xe1,0xed,0x40,0x67,0x7a,0x80]
2333 vpackuswb -8192(%rdx), %zmm18, %zmm23
2335 // CHECK: vpackuswb -8256(%rdx), %zmm18, %zmm23
2336 // CHECK: encoding: [0x62,0xe1,0xed,0x40,0x67,0xba,0xc0,0xdf,0xff,0xff]
2337 vpackuswb -8256(%rdx), %zmm18, %zmm23
2339 // CHECK: vpaddsb %zmm20, %zmm19, %zmm19
2340 // CHECK: encoding: [0x62,0xa1,0x65,0x40,0xec,0xdc]
2341 vpaddsb %zmm20, %zmm19, %zmm19
2343 // CHECK: vpaddsb %zmm20, %zmm19, %zmm19 {%k6}
2344 // CHECK: encoding: [0x62,0xa1,0x65,0x46,0xec,0xdc]
2345 vpaddsb %zmm20, %zmm19, %zmm19 {%k6}
2347 // CHECK: vpaddsb %zmm20, %zmm19, %zmm19 {%k6} {z}
2348 // CHECK: encoding: [0x62,0xa1,0x65,0xc6,0xec,0xdc]
2349 vpaddsb %zmm20, %zmm19, %zmm19 {%k6} {z}
2351 // CHECK: vpaddsb (%rcx), %zmm19, %zmm19
2352 // CHECK: encoding: [0x62,0xe1,0x65,0x40,0xec,0x19]
2353 vpaddsb (%rcx), %zmm19, %zmm19
2355 // CHECK: vpaddsb 291(%rax,%r14,8), %zmm19, %zmm19
2356 // CHECK: encoding: [0x62,0xa1,0x65,0x40,0xec,0x9c,0xf0,0x23,0x01,0x00,0x00]
2357 vpaddsb 291(%rax,%r14,8), %zmm19, %zmm19
2359 // CHECK: vpaddsb 8128(%rdx), %zmm19, %zmm19
2360 // CHECK: encoding: [0x62,0xe1,0x65,0x40,0xec,0x5a,0x7f]
2361 vpaddsb 8128(%rdx), %zmm19, %zmm19
2363 // CHECK: vpaddsb 8192(%rdx), %zmm19, %zmm19
2364 // CHECK: encoding: [0x62,0xe1,0x65,0x40,0xec,0x9a,0x00,0x20,0x00,0x00]
2365 vpaddsb 8192(%rdx), %zmm19, %zmm19
2367 // CHECK: vpaddsb -8192(%rdx), %zmm19, %zmm19
2368 // CHECK: encoding: [0x62,0xe1,0x65,0x40,0xec,0x5a,0x80]
2369 vpaddsb -8192(%rdx), %zmm19, %zmm19
2371 // CHECK: vpaddsb -8256(%rdx), %zmm19, %zmm19
2372 // CHECK: encoding: [0x62,0xe1,0x65,0x40,0xec,0x9a,0xc0,0xdf,0xff,0xff]
2373 vpaddsb -8256(%rdx), %zmm19, %zmm19
2375 // CHECK: vpaddsw %zmm22, %zmm19, %zmm20
2376 // CHECK: encoding: [0x62,0xa1,0x65,0x40,0xed,0xe6]
2377 vpaddsw %zmm22, %zmm19, %zmm20
2379 // CHECK: vpaddsw %zmm22, %zmm19, %zmm20 {%k2}
2380 // CHECK: encoding: [0x62,0xa1,0x65,0x42,0xed,0xe6]
2381 vpaddsw %zmm22, %zmm19, %zmm20 {%k2}
2383 // CHECK: vpaddsw %zmm22, %zmm19, %zmm20 {%k2} {z}
2384 // CHECK: encoding: [0x62,0xa1,0x65,0xc2,0xed,0xe6]
2385 vpaddsw %zmm22, %zmm19, %zmm20 {%k2} {z}
2387 // CHECK: vpaddsw (%rcx), %zmm19, %zmm20
2388 // CHECK: encoding: [0x62,0xe1,0x65,0x40,0xed,0x21]
2389 vpaddsw (%rcx), %zmm19, %zmm20
2391 // CHECK: vpaddsw 291(%rax,%r14,8), %zmm19, %zmm20
2392 // CHECK: encoding: [0x62,0xa1,0x65,0x40,0xed,0xa4,0xf0,0x23,0x01,0x00,0x00]
2393 vpaddsw 291(%rax,%r14,8), %zmm19, %zmm20
2395 // CHECK: vpaddsw 8128(%rdx), %zmm19, %zmm20
2396 // CHECK: encoding: [0x62,0xe1,0x65,0x40,0xed,0x62,0x7f]
2397 vpaddsw 8128(%rdx), %zmm19, %zmm20
2399 // CHECK: vpaddsw 8192(%rdx), %zmm19, %zmm20
2400 // CHECK: encoding: [0x62,0xe1,0x65,0x40,0xed,0xa2,0x00,0x20,0x00,0x00]
2401 vpaddsw 8192(%rdx), %zmm19, %zmm20
2403 // CHECK: vpaddsw -8192(%rdx), %zmm19, %zmm20
2404 // CHECK: encoding: [0x62,0xe1,0x65,0x40,0xed,0x62,0x80]
2405 vpaddsw -8192(%rdx), %zmm19, %zmm20
2407 // CHECK: vpaddsw -8256(%rdx), %zmm19, %zmm20
2408 // CHECK: encoding: [0x62,0xe1,0x65,0x40,0xed,0xa2,0xc0,0xdf,0xff,0xff]
2409 vpaddsw -8256(%rdx), %zmm19, %zmm20
2411 // CHECK: vpaddusb %zmm25, %zmm29, %zmm29
2412 // CHECK: encoding: [0x62,0x01,0x15,0x40,0xdc,0xe9]
2413 vpaddusb %zmm25, %zmm29, %zmm29
2415 // CHECK: vpaddusb %zmm25, %zmm29, %zmm29 {%k1}
2416 // CHECK: encoding: [0x62,0x01,0x15,0x41,0xdc,0xe9]
2417 vpaddusb %zmm25, %zmm29, %zmm29 {%k1}
2419 // CHECK: vpaddusb %zmm25, %zmm29, %zmm29 {%k1} {z}
2420 // CHECK: encoding: [0x62,0x01,0x15,0xc1,0xdc,0xe9]
2421 vpaddusb %zmm25, %zmm29, %zmm29 {%k1} {z}
2423 // CHECK: vpaddusb (%rcx), %zmm29, %zmm29
2424 // CHECK: encoding: [0x62,0x61,0x15,0x40,0xdc,0x29]
2425 vpaddusb (%rcx), %zmm29, %zmm29
2427 // CHECK: vpaddusb 291(%rax,%r14,8), %zmm29, %zmm29
2428 // CHECK: encoding: [0x62,0x21,0x15,0x40,0xdc,0xac,0xf0,0x23,0x01,0x00,0x00]
2429 vpaddusb 291(%rax,%r14,8), %zmm29, %zmm29
2431 // CHECK: vpaddusb 8128(%rdx), %zmm29, %zmm29
2432 // CHECK: encoding: [0x62,0x61,0x15,0x40,0xdc,0x6a,0x7f]
2433 vpaddusb 8128(%rdx), %zmm29, %zmm29
2435 // CHECK: vpaddusb 8192(%rdx), %zmm29, %zmm29
2436 // CHECK: encoding: [0x62,0x61,0x15,0x40,0xdc,0xaa,0x00,0x20,0x00,0x00]
2437 vpaddusb 8192(%rdx), %zmm29, %zmm29
2439 // CHECK: vpaddusb -8192(%rdx), %zmm29, %zmm29
2440 // CHECK: encoding: [0x62,0x61,0x15,0x40,0xdc,0x6a,0x80]
2441 vpaddusb -8192(%rdx), %zmm29, %zmm29
2443 // CHECK: vpaddusb -8256(%rdx), %zmm29, %zmm29
2444 // CHECK: encoding: [0x62,0x61,0x15,0x40,0xdc,0xaa,0xc0,0xdf,0xff,0xff]
2445 vpaddusb -8256(%rdx), %zmm29, %zmm29
2447 // CHECK: vpaddusw %zmm17, %zmm25, %zmm21
2448 // CHECK: encoding: [0x62,0xa1,0x35,0x40,0xdd,0xe9]
2449 vpaddusw %zmm17, %zmm25, %zmm21
2451 // CHECK: vpaddusw %zmm17, %zmm25, %zmm21 {%k4}
2452 // CHECK: encoding: [0x62,0xa1,0x35,0x44,0xdd,0xe9]
2453 vpaddusw %zmm17, %zmm25, %zmm21 {%k4}
2455 // CHECK: vpaddusw %zmm17, %zmm25, %zmm21 {%k4} {z}
2456 // CHECK: encoding: [0x62,0xa1,0x35,0xc4,0xdd,0xe9]
2457 vpaddusw %zmm17, %zmm25, %zmm21 {%k4} {z}
2459 // CHECK: vpaddusw (%rcx), %zmm25, %zmm21
2460 // CHECK: encoding: [0x62,0xe1,0x35,0x40,0xdd,0x29]
2461 vpaddusw (%rcx), %zmm25, %zmm21
2463 // CHECK: vpaddusw 291(%rax,%r14,8), %zmm25, %zmm21
2464 // CHECK: encoding: [0x62,0xa1,0x35,0x40,0xdd,0xac,0xf0,0x23,0x01,0x00,0x00]
2465 vpaddusw 291(%rax,%r14,8), %zmm25, %zmm21
2467 // CHECK: vpaddusw 8128(%rdx), %zmm25, %zmm21
2468 // CHECK: encoding: [0x62,0xe1,0x35,0x40,0xdd,0x6a,0x7f]
2469 vpaddusw 8128(%rdx), %zmm25, %zmm21
2471 // CHECK: vpaddusw 8192(%rdx), %zmm25, %zmm21
2472 // CHECK: encoding: [0x62,0xe1,0x35,0x40,0xdd,0xaa,0x00,0x20,0x00,0x00]
2473 vpaddusw 8192(%rdx), %zmm25, %zmm21
2475 // CHECK: vpaddusw -8192(%rdx), %zmm25, %zmm21
2476 // CHECK: encoding: [0x62,0xe1,0x35,0x40,0xdd,0x6a,0x80]
2477 vpaddusw -8192(%rdx), %zmm25, %zmm21
2479 // CHECK: vpaddusw -8256(%rdx), %zmm25, %zmm21
2480 // CHECK: encoding: [0x62,0xe1,0x35,0x40,0xdd,0xaa,0xc0,0xdf,0xff,0xff]
2481 vpaddusw -8256(%rdx), %zmm25, %zmm21
2483 // CHECK: vpsubsb %zmm20, %zmm24, %zmm25
2484 // CHECK: encoding: [0x62,0x21,0x3d,0x40,0xe8,0xcc]
2485 vpsubsb %zmm20, %zmm24, %zmm25
2487 // CHECK: vpsubsb %zmm20, %zmm24, %zmm25 {%k2}
2488 // CHECK: encoding: [0x62,0x21,0x3d,0x42,0xe8,0xcc]
2489 vpsubsb %zmm20, %zmm24, %zmm25 {%k2}
2491 // CHECK: vpsubsb %zmm20, %zmm24, %zmm25 {%k2} {z}
2492 // CHECK: encoding: [0x62,0x21,0x3d,0xc2,0xe8,0xcc]
2493 vpsubsb %zmm20, %zmm24, %zmm25 {%k2} {z}
2495 // CHECK: vpsubsb (%rcx), %zmm24, %zmm25
2496 // CHECK: encoding: [0x62,0x61,0x3d,0x40,0xe8,0x09]
2497 vpsubsb (%rcx), %zmm24, %zmm25
2499 // CHECK: vpsubsb 291(%rax,%r14,8), %zmm24, %zmm25
2500 // CHECK: encoding: [0x62,0x21,0x3d,0x40,0xe8,0x8c,0xf0,0x23,0x01,0x00,0x00]
2501 vpsubsb 291(%rax,%r14,8), %zmm24, %zmm25
2503 // CHECK: vpsubsb 8128(%rdx), %zmm24, %zmm25
2504 // CHECK: encoding: [0x62,0x61,0x3d,0x40,0xe8,0x4a,0x7f]
2505 vpsubsb 8128(%rdx), %zmm24, %zmm25
2507 // CHECK: vpsubsb 8192(%rdx), %zmm24, %zmm25
2508 // CHECK: encoding: [0x62,0x61,0x3d,0x40,0xe8,0x8a,0x00,0x20,0x00,0x00]
2509 vpsubsb 8192(%rdx), %zmm24, %zmm25
2511 // CHECK: vpsubsb -8192(%rdx), %zmm24, %zmm25
2512 // CHECK: encoding: [0x62,0x61,0x3d,0x40,0xe8,0x4a,0x80]
2513 vpsubsb -8192(%rdx), %zmm24, %zmm25
2515 // CHECK: vpsubsb -8256(%rdx), %zmm24, %zmm25
2516 // CHECK: encoding: [0x62,0x61,0x3d,0x40,0xe8,0x8a,0xc0,0xdf,0xff,0xff]
2517 vpsubsb -8256(%rdx), %zmm24, %zmm25
2519 // CHECK: vpsubsw %zmm23, %zmm22, %zmm23
2520 // CHECK: encoding: [0x62,0xa1,0x4d,0x40,0xe9,0xff]
2521 vpsubsw %zmm23, %zmm22, %zmm23
2523 // CHECK: vpsubsw %zmm23, %zmm22, %zmm23 {%k3}
2524 // CHECK: encoding: [0x62,0xa1,0x4d,0x43,0xe9,0xff]
2525 vpsubsw %zmm23, %zmm22, %zmm23 {%k3}
2527 // CHECK: vpsubsw %zmm23, %zmm22, %zmm23 {%k3} {z}
2528 // CHECK: encoding: [0x62,0xa1,0x4d,0xc3,0xe9,0xff]
2529 vpsubsw %zmm23, %zmm22, %zmm23 {%k3} {z}
2531 // CHECK: vpsubsw (%rcx), %zmm22, %zmm23
2532 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xe9,0x39]
2533 vpsubsw (%rcx), %zmm22, %zmm23
2535 // CHECK: vpsubsw 291(%rax,%r14,8), %zmm22, %zmm23
2536 // CHECK: encoding: [0x62,0xa1,0x4d,0x40,0xe9,0xbc,0xf0,0x23,0x01,0x00,0x00]
2537 vpsubsw 291(%rax,%r14,8), %zmm22, %zmm23
2539 // CHECK: vpsubsw 8128(%rdx), %zmm22, %zmm23
2540 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xe9,0x7a,0x7f]
2541 vpsubsw 8128(%rdx), %zmm22, %zmm23
2543 // CHECK: vpsubsw 8192(%rdx), %zmm22, %zmm23
2544 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xe9,0xba,0x00,0x20,0x00,0x00]
2545 vpsubsw 8192(%rdx), %zmm22, %zmm23
2547 // CHECK: vpsubsw -8192(%rdx), %zmm22, %zmm23
2548 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xe9,0x7a,0x80]
2549 vpsubsw -8192(%rdx), %zmm22, %zmm23
2551 // CHECK: vpsubsw -8256(%rdx), %zmm22, %zmm23
2552 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xe9,0xba,0xc0,0xdf,0xff,0xff]
2553 vpsubsw -8256(%rdx), %zmm22, %zmm23
2555 // CHECK: vpsubusb %zmm22, %zmm21, %zmm24
2556 // CHECK: encoding: [0x62,0x21,0x55,0x40,0xd8,0xc6]
2557 vpsubusb %zmm22, %zmm21, %zmm24
2559 // CHECK: vpsubusb %zmm22, %zmm21, %zmm24 {%k4}
2560 // CHECK: encoding: [0x62,0x21,0x55,0x44,0xd8,0xc6]
2561 vpsubusb %zmm22, %zmm21, %zmm24 {%k4}
2563 // CHECK: vpsubusb %zmm22, %zmm21, %zmm24 {%k4} {z}
2564 // CHECK: encoding: [0x62,0x21,0x55,0xc4,0xd8,0xc6]
2565 vpsubusb %zmm22, %zmm21, %zmm24 {%k4} {z}
2567 // CHECK: vpsubusb (%rcx), %zmm21, %zmm24
2568 // CHECK: encoding: [0x62,0x61,0x55,0x40,0xd8,0x01]
2569 vpsubusb (%rcx), %zmm21, %zmm24
2571 // CHECK: vpsubusb 291(%rax,%r14,8), %zmm21, %zmm24
2572 // CHECK: encoding: [0x62,0x21,0x55,0x40,0xd8,0x84,0xf0,0x23,0x01,0x00,0x00]
2573 vpsubusb 291(%rax,%r14,8), %zmm21, %zmm24
2575 // CHECK: vpsubusb 8128(%rdx), %zmm21, %zmm24
2576 // CHECK: encoding: [0x62,0x61,0x55,0x40,0xd8,0x42,0x7f]
2577 vpsubusb 8128(%rdx), %zmm21, %zmm24
2579 // CHECK: vpsubusb 8192(%rdx), %zmm21, %zmm24
2580 // CHECK: encoding: [0x62,0x61,0x55,0x40,0xd8,0x82,0x00,0x20,0x00,0x00]
2581 vpsubusb 8192(%rdx), %zmm21, %zmm24
2583 // CHECK: vpsubusb -8192(%rdx), %zmm21, %zmm24
2584 // CHECK: encoding: [0x62,0x61,0x55,0x40,0xd8,0x42,0x80]
2585 vpsubusb -8192(%rdx), %zmm21, %zmm24
2587 // CHECK: vpsubusb -8256(%rdx), %zmm21, %zmm24
2588 // CHECK: encoding: [0x62,0x61,0x55,0x40,0xd8,0x82,0xc0,0xdf,0xff,0xff]
2589 vpsubusb -8256(%rdx), %zmm21, %zmm24
2591 // CHECK: vpsubusw %zmm23, %zmm17, %zmm25
2592 // CHECK: encoding: [0x62,0x21,0x75,0x40,0xd9,0xcf]
2593 vpsubusw %zmm23, %zmm17, %zmm25
2595 // CHECK: vpsubusw %zmm23, %zmm17, %zmm25 {%k1}
2596 // CHECK: encoding: [0x62,0x21,0x75,0x41,0xd9,0xcf]
2597 vpsubusw %zmm23, %zmm17, %zmm25 {%k1}
2599 // CHECK: vpsubusw %zmm23, %zmm17, %zmm25 {%k1} {z}
2600 // CHECK: encoding: [0x62,0x21,0x75,0xc1,0xd9,0xcf]
2601 vpsubusw %zmm23, %zmm17, %zmm25 {%k1} {z}
2603 // CHECK: vpsubusw (%rcx), %zmm17, %zmm25
2604 // CHECK: encoding: [0x62,0x61,0x75,0x40,0xd9,0x09]
2605 vpsubusw (%rcx), %zmm17, %zmm25
2607 // CHECK: vpsubusw 291(%rax,%r14,8), %zmm17, %zmm25
2608 // CHECK: encoding: [0x62,0x21,0x75,0x40,0xd9,0x8c,0xf0,0x23,0x01,0x00,0x00]
2609 vpsubusw 291(%rax,%r14,8), %zmm17, %zmm25
2611 // CHECK: vpsubusw 8128(%rdx), %zmm17, %zmm25
2612 // CHECK: encoding: [0x62,0x61,0x75,0x40,0xd9,0x4a,0x7f]
2613 vpsubusw 8128(%rdx), %zmm17, %zmm25
2615 // CHECK: vpsubusw 8192(%rdx), %zmm17, %zmm25
2616 // CHECK: encoding: [0x62,0x61,0x75,0x40,0xd9,0x8a,0x00,0x20,0x00,0x00]
2617 vpsubusw 8192(%rdx), %zmm17, %zmm25
2619 // CHECK: vpsubusw -8192(%rdx), %zmm17, %zmm25
2620 // CHECK: encoding: [0x62,0x61,0x75,0x40,0xd9,0x4a,0x80]
2621 vpsubusw -8192(%rdx), %zmm17, %zmm25
2623 // CHECK: vpsubusw -8256(%rdx), %zmm17, %zmm25
2624 // CHECK: encoding: [0x62,0x61,0x75,0x40,0xd9,0x8a,0xc0,0xdf,0xff,0xff]
2625 vpsubusw -8256(%rdx), %zmm17, %zmm25
2627 // CHECK: vpaddb %zmm26, %zmm29, %zmm21
2628 // CHECK: encoding: [0x62,0x81,0x15,0x40,0xfc,0xea]
2629 vpaddb %zmm26, %zmm29, %zmm21
2631 // CHECK: vpaddb %zmm26, %zmm29, %zmm21 {%k5}
2632 // CHECK: encoding: [0x62,0x81,0x15,0x45,0xfc,0xea]
2633 vpaddb %zmm26, %zmm29, %zmm21 {%k5}
2635 // CHECK: vpaddb %zmm26, %zmm29, %zmm21 {%k5} {z}
2636 // CHECK: encoding: [0x62,0x81,0x15,0xc5,0xfc,0xea]
2637 vpaddb %zmm26, %zmm29, %zmm21 {%k5} {z}
2639 // CHECK: vpaddb (%rcx), %zmm29, %zmm21
2640 // CHECK: encoding: [0x62,0xe1,0x15,0x40,0xfc,0x29]
2641 vpaddb (%rcx), %zmm29, %zmm21
2643 // CHECK: vpaddb 4660(%rax,%r14,8), %zmm29, %zmm21
2644 // CHECK: encoding: [0x62,0xa1,0x15,0x40,0xfc,0xac,0xf0,0x34,0x12,0x00,0x00]
2645 vpaddb 4660(%rax,%r14,8), %zmm29, %zmm21
2647 // CHECK: vpaddb 8128(%rdx), %zmm29, %zmm21
2648 // CHECK: encoding: [0x62,0xe1,0x15,0x40,0xfc,0x6a,0x7f]
2649 vpaddb 8128(%rdx), %zmm29, %zmm21
2651 // CHECK: vpaddb 8192(%rdx), %zmm29, %zmm21
2652 // CHECK: encoding: [0x62,0xe1,0x15,0x40,0xfc,0xaa,0x00,0x20,0x00,0x00]
2653 vpaddb 8192(%rdx), %zmm29, %zmm21
2655 // CHECK: vpaddb -8192(%rdx), %zmm29, %zmm21
2656 // CHECK: encoding: [0x62,0xe1,0x15,0x40,0xfc,0x6a,0x80]
2657 vpaddb -8192(%rdx), %zmm29, %zmm21
2659 // CHECK: vpaddb -8256(%rdx), %zmm29, %zmm21
2660 // CHECK: encoding: [0x62,0xe1,0x15,0x40,0xfc,0xaa,0xc0,0xdf,0xff,0xff]
2661 vpaddb -8256(%rdx), %zmm29, %zmm21
2663 // CHECK: vpaddsb %zmm19, %zmm24, %zmm18
2664 // CHECK: encoding: [0x62,0xa1,0x3d,0x40,0xec,0xd3]
2665 vpaddsb %zmm19, %zmm24, %zmm18
2667 // CHECK: vpaddsb %zmm19, %zmm24, %zmm18 {%k1}
2668 // CHECK: encoding: [0x62,0xa1,0x3d,0x41,0xec,0xd3]
2669 vpaddsb %zmm19, %zmm24, %zmm18 {%k1}
2671 // CHECK: vpaddsb %zmm19, %zmm24, %zmm18 {%k1} {z}
2672 // CHECK: encoding: [0x62,0xa1,0x3d,0xc1,0xec,0xd3]
2673 vpaddsb %zmm19, %zmm24, %zmm18 {%k1} {z}
2675 // CHECK: vpaddsb (%rcx), %zmm24, %zmm18
2676 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xec,0x11]
2677 vpaddsb (%rcx), %zmm24, %zmm18
2679 // CHECK: vpaddsb 4660(%rax,%r14,8), %zmm24, %zmm18
2680 // CHECK: encoding: [0x62,0xa1,0x3d,0x40,0xec,0x94,0xf0,0x34,0x12,0x00,0x00]
2681 vpaddsb 4660(%rax,%r14,8), %zmm24, %zmm18
2683 // CHECK: vpaddsb 8128(%rdx), %zmm24, %zmm18
2684 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xec,0x52,0x7f]
2685 vpaddsb 8128(%rdx), %zmm24, %zmm18
2687 // CHECK: vpaddsb 8192(%rdx), %zmm24, %zmm18
2688 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xec,0x92,0x00,0x20,0x00,0x00]
2689 vpaddsb 8192(%rdx), %zmm24, %zmm18
2691 // CHECK: vpaddsb -8192(%rdx), %zmm24, %zmm18
2692 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xec,0x52,0x80]
2693 vpaddsb -8192(%rdx), %zmm24, %zmm18
2695 // CHECK: vpaddsb -8256(%rdx), %zmm24, %zmm18
2696 // CHECK: encoding: [0x62,0xe1,0x3d,0x40,0xec,0x92,0xc0,0xdf,0xff,0xff]
2697 vpaddsb -8256(%rdx), %zmm24, %zmm18
2699 // CHECK: vpaddsw %zmm28, %zmm17, %zmm20
2700 // CHECK: encoding: [0x62,0x81,0x75,0x40,0xed,0xe4]
2701 vpaddsw %zmm28, %zmm17, %zmm20
2703 // CHECK: vpaddsw %zmm28, %zmm17, %zmm20 {%k2}
2704 // CHECK: encoding: [0x62,0x81,0x75,0x42,0xed,0xe4]
2705 vpaddsw %zmm28, %zmm17, %zmm20 {%k2}
2707 // CHECK: vpaddsw %zmm28, %zmm17, %zmm20 {%k2} {z}
2708 // CHECK: encoding: [0x62,0x81,0x75,0xc2,0xed,0xe4]
2709 vpaddsw %zmm28, %zmm17, %zmm20 {%k2} {z}
2711 // CHECK: vpaddsw (%rcx), %zmm17, %zmm20
2712 // CHECK: encoding: [0x62,0xe1,0x75,0x40,0xed,0x21]
2713 vpaddsw (%rcx), %zmm17, %zmm20
2715 // CHECK: vpaddsw 4660(%rax,%r14,8), %zmm17, %zmm20
2716 // CHECK: encoding: [0x62,0xa1,0x75,0x40,0xed,0xa4,0xf0,0x34,0x12,0x00,0x00]
2717 vpaddsw 4660(%rax,%r14,8), %zmm17, %zmm20
2719 // CHECK: vpaddsw 8128(%rdx), %zmm17, %zmm20
2720 // CHECK: encoding: [0x62,0xe1,0x75,0x40,0xed,0x62,0x7f]
2721 vpaddsw 8128(%rdx), %zmm17, %zmm20
2723 // CHECK: vpaddsw 8192(%rdx), %zmm17, %zmm20
2724 // CHECK: encoding: [0x62,0xe1,0x75,0x40,0xed,0xa2,0x00,0x20,0x00,0x00]
2725 vpaddsw 8192(%rdx), %zmm17, %zmm20
2727 // CHECK: vpaddsw -8192(%rdx), %zmm17, %zmm20
2728 // CHECK: encoding: [0x62,0xe1,0x75,0x40,0xed,0x62,0x80]
2729 vpaddsw -8192(%rdx), %zmm17, %zmm20
2731 // CHECK: vpaddsw -8256(%rdx), %zmm17, %zmm20
2732 // CHECK: encoding: [0x62,0xe1,0x75,0x40,0xed,0xa2,0xc0,0xdf,0xff,0xff]
2733 vpaddsw -8256(%rdx), %zmm17, %zmm20
2735 // CHECK: vpaddusb %zmm22, %zmm27, %zmm19
2736 // CHECK: encoding: [0x62,0xa1,0x25,0x40,0xdc,0xde]
2737 vpaddusb %zmm22, %zmm27, %zmm19
2739 // CHECK: vpaddusb %zmm22, %zmm27, %zmm19 {%k7}
2740 // CHECK: encoding: [0x62,0xa1,0x25,0x47,0xdc,0xde]
2741 vpaddusb %zmm22, %zmm27, %zmm19 {%k7}
2743 // CHECK: vpaddusb %zmm22, %zmm27, %zmm19 {%k7} {z}
2744 // CHECK: encoding: [0x62,0xa1,0x25,0xc7,0xdc,0xde]
2745 vpaddusb %zmm22, %zmm27, %zmm19 {%k7} {z}
2747 // CHECK: vpaddusb (%rcx), %zmm27, %zmm19
2748 // CHECK: encoding: [0x62,0xe1,0x25,0x40,0xdc,0x19]
2749 vpaddusb (%rcx), %zmm27, %zmm19
2751 // CHECK: vpaddusb 4660(%rax,%r14,8), %zmm27, %zmm19
2752 // CHECK: encoding: [0x62,0xa1,0x25,0x40,0xdc,0x9c,0xf0,0x34,0x12,0x00,0x00]
2753 vpaddusb 4660(%rax,%r14,8), %zmm27, %zmm19
2755 // CHECK: vpaddusb 8128(%rdx), %zmm27, %zmm19
2756 // CHECK: encoding: [0x62,0xe1,0x25,0x40,0xdc,0x5a,0x7f]
2757 vpaddusb 8128(%rdx), %zmm27, %zmm19
2759 // CHECK: vpaddusb 8192(%rdx), %zmm27, %zmm19
2760 // CHECK: encoding: [0x62,0xe1,0x25,0x40,0xdc,0x9a,0x00,0x20,0x00,0x00]
2761 vpaddusb 8192(%rdx), %zmm27, %zmm19
2763 // CHECK: vpaddusb -8192(%rdx), %zmm27, %zmm19
2764 // CHECK: encoding: [0x62,0xe1,0x25,0x40,0xdc,0x5a,0x80]
2765 vpaddusb -8192(%rdx), %zmm27, %zmm19
2767 // CHECK: vpaddusb -8256(%rdx), %zmm27, %zmm19
2768 // CHECK: encoding: [0x62,0xe1,0x25,0x40,0xdc,0x9a,0xc0,0xdf,0xff,0xff]
2769 vpaddusb -8256(%rdx), %zmm27, %zmm19
2771 // CHECK: vpaddusw %zmm23, %zmm23, %zmm27
2772 // CHECK: encoding: [0x62,0x21,0x45,0x40,0xdd,0xdf]
2773 vpaddusw %zmm23, %zmm23, %zmm27
2775 // CHECK: vpaddusw %zmm23, %zmm23, %zmm27 {%k7}
2776 // CHECK: encoding: [0x62,0x21,0x45,0x47,0xdd,0xdf]
2777 vpaddusw %zmm23, %zmm23, %zmm27 {%k7}
2779 // CHECK: vpaddusw %zmm23, %zmm23, %zmm27 {%k7} {z}
2780 // CHECK: encoding: [0x62,0x21,0x45,0xc7,0xdd,0xdf]
2781 vpaddusw %zmm23, %zmm23, %zmm27 {%k7} {z}
2783 // CHECK: vpaddusw (%rcx), %zmm23, %zmm27
2784 // CHECK: encoding: [0x62,0x61,0x45,0x40,0xdd,0x19]
2785 vpaddusw (%rcx), %zmm23, %zmm27
2787 // CHECK: vpaddusw 4660(%rax,%r14,8), %zmm23, %zmm27
2788 // CHECK: encoding: [0x62,0x21,0x45,0x40,0xdd,0x9c,0xf0,0x34,0x12,0x00,0x00]
2789 vpaddusw 4660(%rax,%r14,8), %zmm23, %zmm27
2791 // CHECK: vpaddusw 8128(%rdx), %zmm23, %zmm27
2792 // CHECK: encoding: [0x62,0x61,0x45,0x40,0xdd,0x5a,0x7f]
2793 vpaddusw 8128(%rdx), %zmm23, %zmm27
2795 // CHECK: vpaddusw 8192(%rdx), %zmm23, %zmm27
2796 // CHECK: encoding: [0x62,0x61,0x45,0x40,0xdd,0x9a,0x00,0x20,0x00,0x00]
2797 vpaddusw 8192(%rdx), %zmm23, %zmm27
2799 // CHECK: vpaddusw -8192(%rdx), %zmm23, %zmm27
2800 // CHECK: encoding: [0x62,0x61,0x45,0x40,0xdd,0x5a,0x80]
2801 vpaddusw -8192(%rdx), %zmm23, %zmm27
2803 // CHECK: vpaddusw -8256(%rdx), %zmm23, %zmm27
2804 // CHECK: encoding: [0x62,0x61,0x45,0x40,0xdd,0x9a,0xc0,0xdf,0xff,0xff]
2805 vpaddusw -8256(%rdx), %zmm23, %zmm27
2807 // CHECK: vpsubsb %zmm18, %zmm28, %zmm17
2808 // CHECK: encoding: [0x62,0xa1,0x1d,0x40,0xe8,0xca]
2809 vpsubsb %zmm18, %zmm28, %zmm17
2811 // CHECK: vpsubsb %zmm18, %zmm28, %zmm17 {%k5}
2812 // CHECK: encoding: [0x62,0xa1,0x1d,0x45,0xe8,0xca]
2813 vpsubsb %zmm18, %zmm28, %zmm17 {%k5}
2815 // CHECK: vpsubsb %zmm18, %zmm28, %zmm17 {%k5} {z}
2816 // CHECK: encoding: [0x62,0xa1,0x1d,0xc5,0xe8,0xca]
2817 vpsubsb %zmm18, %zmm28, %zmm17 {%k5} {z}
2819 // CHECK: vpsubsb (%rcx), %zmm28, %zmm17
2820 // CHECK: encoding: [0x62,0xe1,0x1d,0x40,0xe8,0x09]
2821 vpsubsb (%rcx), %zmm28, %zmm17
2823 // CHECK: vpsubsb 4660(%rax,%r14,8), %zmm28, %zmm17
2824 // CHECK: encoding: [0x62,0xa1,0x1d,0x40,0xe8,0x8c,0xf0,0x34,0x12,0x00,0x00]
2825 vpsubsb 4660(%rax,%r14,8), %zmm28, %zmm17
2827 // CHECK: vpsubsb 8128(%rdx), %zmm28, %zmm17
2828 // CHECK: encoding: [0x62,0xe1,0x1d,0x40,0xe8,0x4a,0x7f]
2829 vpsubsb 8128(%rdx), %zmm28, %zmm17
2831 // CHECK: vpsubsb 8192(%rdx), %zmm28, %zmm17
2832 // CHECK: encoding: [0x62,0xe1,0x1d,0x40,0xe8,0x8a,0x00,0x20,0x00,0x00]
2833 vpsubsb 8192(%rdx), %zmm28, %zmm17
2835 // CHECK: vpsubsb -8192(%rdx), %zmm28, %zmm17
2836 // CHECK: encoding: [0x62,0xe1,0x1d,0x40,0xe8,0x4a,0x80]
2837 vpsubsb -8192(%rdx), %zmm28, %zmm17
2839 // CHECK: vpsubsb -8256(%rdx), %zmm28, %zmm17
2840 // CHECK: encoding: [0x62,0xe1,0x1d,0x40,0xe8,0x8a,0xc0,0xdf,0xff,0xff]
2841 vpsubsb -8256(%rdx), %zmm28, %zmm17
2843 // CHECK: vpsubsw %zmm26, %zmm24, %zmm30
2844 // CHECK: encoding: [0x62,0x01,0x3d,0x40,0xe9,0xf2]
2845 vpsubsw %zmm26, %zmm24, %zmm30
2847 // CHECK: vpsubsw %zmm26, %zmm24, %zmm30 {%k3}
2848 // CHECK: encoding: [0x62,0x01,0x3d,0x43,0xe9,0xf2]
2849 vpsubsw %zmm26, %zmm24, %zmm30 {%k3}
2851 // CHECK: vpsubsw %zmm26, %zmm24, %zmm30 {%k3} {z}
2852 // CHECK: encoding: [0x62,0x01,0x3d,0xc3,0xe9,0xf2]
2853 vpsubsw %zmm26, %zmm24, %zmm30 {%k3} {z}
2855 // CHECK: vpsubsw (%rcx), %zmm24, %zmm30
2856 // CHECK: encoding: [0x62,0x61,0x3d,0x40,0xe9,0x31]
2857 vpsubsw (%rcx), %zmm24, %zmm30
2859 // CHECK: vpsubsw 4660(%rax,%r14,8), %zmm24, %zmm30
2860 // CHECK: encoding: [0x62,0x21,0x3d,0x40,0xe9,0xb4,0xf0,0x34,0x12,0x00,0x00]
2861 vpsubsw 4660(%rax,%r14,8), %zmm24, %zmm30
2863 // CHECK: vpsubsw 8128(%rdx), %zmm24, %zmm30
2864 // CHECK: encoding: [0x62,0x61,0x3d,0x40,0xe9,0x72,0x7f]
2865 vpsubsw 8128(%rdx), %zmm24, %zmm30
2867 // CHECK: vpsubsw 8192(%rdx), %zmm24, %zmm30
2868 // CHECK: encoding: [0x62,0x61,0x3d,0x40,0xe9,0xb2,0x00,0x20,0x00,0x00]
2869 vpsubsw 8192(%rdx), %zmm24, %zmm30
2871 // CHECK: vpsubsw -8192(%rdx), %zmm24, %zmm30
2872 // CHECK: encoding: [0x62,0x61,0x3d,0x40,0xe9,0x72,0x80]
2873 vpsubsw -8192(%rdx), %zmm24, %zmm30
2875 // CHECK: vpsubsw -8256(%rdx), %zmm24, %zmm30
2876 // CHECK: encoding: [0x62,0x61,0x3d,0x40,0xe9,0xb2,0xc0,0xdf,0xff,0xff]
2877 vpsubsw -8256(%rdx), %zmm24, %zmm30
2879 // CHECK: vpsubusb %zmm28, %zmm29, %zmm28
2880 // CHECK: encoding: [0x62,0x01,0x15,0x40,0xd8,0xe4]
2881 vpsubusb %zmm28, %zmm29, %zmm28
2883 // CHECK: vpsubusb %zmm28, %zmm29, %zmm28 {%k2}
2884 // CHECK: encoding: [0x62,0x01,0x15,0x42,0xd8,0xe4]
2885 vpsubusb %zmm28, %zmm29, %zmm28 {%k2}
2887 // CHECK: vpsubusb %zmm28, %zmm29, %zmm28 {%k2} {z}
2888 // CHECK: encoding: [0x62,0x01,0x15,0xc2,0xd8,0xe4]
2889 vpsubusb %zmm28, %zmm29, %zmm28 {%k2} {z}
2891 // CHECK: vpsubusb (%rcx), %zmm29, %zmm28
2892 // CHECK: encoding: [0x62,0x61,0x15,0x40,0xd8,0x21]
2893 vpsubusb (%rcx), %zmm29, %zmm28
2895 // CHECK: vpsubusb 4660(%rax,%r14,8), %zmm29, %zmm28
2896 // CHECK: encoding: [0x62,0x21,0x15,0x40,0xd8,0xa4,0xf0,0x34,0x12,0x00,0x00]
2897 vpsubusb 4660(%rax,%r14,8), %zmm29, %zmm28
2899 // CHECK: vpsubusb 8128(%rdx), %zmm29, %zmm28
2900 // CHECK: encoding: [0x62,0x61,0x15,0x40,0xd8,0x62,0x7f]
2901 vpsubusb 8128(%rdx), %zmm29, %zmm28
2903 // CHECK: vpsubusb 8192(%rdx), %zmm29, %zmm28
2904 // CHECK: encoding: [0x62,0x61,0x15,0x40,0xd8,0xa2,0x00,0x20,0x00,0x00]
2905 vpsubusb 8192(%rdx), %zmm29, %zmm28
2907 // CHECK: vpsubusb -8192(%rdx), %zmm29, %zmm28
2908 // CHECK: encoding: [0x62,0x61,0x15,0x40,0xd8,0x62,0x80]
2909 vpsubusb -8192(%rdx), %zmm29, %zmm28
2911 // CHECK: vpsubusb -8256(%rdx), %zmm29, %zmm28
2912 // CHECK: encoding: [0x62,0x61,0x15,0x40,0xd8,0xa2,0xc0,0xdf,0xff,0xff]
2913 vpsubusb -8256(%rdx), %zmm29, %zmm28
2915 // CHECK: vpsubusw %zmm19, %zmm28, %zmm22
2916 // CHECK: encoding: [0x62,0xa1,0x1d,0x40,0xd9,0xf3]
2917 vpsubusw %zmm19, %zmm28, %zmm22
2919 // CHECK: vpsubusw %zmm19, %zmm28, %zmm22 {%k5}
2920 // CHECK: encoding: [0x62,0xa1,0x1d,0x45,0xd9,0xf3]
2921 vpsubusw %zmm19, %zmm28, %zmm22 {%k5}
2923 // CHECK: vpsubusw %zmm19, %zmm28, %zmm22 {%k5} {z}
2924 // CHECK: encoding: [0x62,0xa1,0x1d,0xc5,0xd9,0xf3]
2925 vpsubusw %zmm19, %zmm28, %zmm22 {%k5} {z}
2927 // CHECK: vpsubusw (%rcx), %zmm28, %zmm22
2928 // CHECK: encoding: [0x62,0xe1,0x1d,0x40,0xd9,0x31]
2929 vpsubusw (%rcx), %zmm28, %zmm22
2931 // CHECK: vpsubusw 4660(%rax,%r14,8), %zmm28, %zmm22
2932 // CHECK: encoding: [0x62,0xa1,0x1d,0x40,0xd9,0xb4,0xf0,0x34,0x12,0x00,0x00]
2933 vpsubusw 4660(%rax,%r14,8), %zmm28, %zmm22
2935 // CHECK: vpsubusw 8128(%rdx), %zmm28, %zmm22
2936 // CHECK: encoding: [0x62,0xe1,0x1d,0x40,0xd9,0x72,0x7f]
2937 vpsubusw 8128(%rdx), %zmm28, %zmm22
2939 // CHECK: vpsubusw 8192(%rdx), %zmm28, %zmm22
2940 // CHECK: encoding: [0x62,0xe1,0x1d,0x40,0xd9,0xb2,0x00,0x20,0x00,0x00]
2941 vpsubusw 8192(%rdx), %zmm28, %zmm22
2943 // CHECK: vpsubusw -8192(%rdx), %zmm28, %zmm22
2944 // CHECK: encoding: [0x62,0xe1,0x1d,0x40,0xd9,0x72,0x80]
2945 vpsubusw -8192(%rdx), %zmm28, %zmm22
2947 // CHECK: vpsubusw -8256(%rdx), %zmm28, %zmm22
2948 // CHECK: encoding: [0x62,0xe1,0x1d,0x40,0xd9,0xb2,0xc0,0xdf,0xff,0xff]
2949 vpsubusw -8256(%rdx), %zmm28, %zmm22
2951 // CHECK: vpaddsb %zmm25, %zmm19, %zmm28
2952 // CHECK: encoding: [0x62,0x01,0x65,0x40,0xec,0xe1]
2953 vpaddsb %zmm25, %zmm19, %zmm28
2955 // CHECK: vpaddsb %zmm25, %zmm19, %zmm28 {%k4}
2956 // CHECK: encoding: [0x62,0x01,0x65,0x44,0xec,0xe1]
2957 vpaddsb %zmm25, %zmm19, %zmm28 {%k4}
2959 // CHECK: vpaddsb %zmm25, %zmm19, %zmm28 {%k4} {z}
2960 // CHECK: encoding: [0x62,0x01,0x65,0xc4,0xec,0xe1]
2961 vpaddsb %zmm25, %zmm19, %zmm28 {%k4} {z}
2963 // CHECK: vpaddsb (%rcx), %zmm19, %zmm28
2964 // CHECK: encoding: [0x62,0x61,0x65,0x40,0xec,0x21]
2965 vpaddsb (%rcx), %zmm19, %zmm28
2967 // CHECK: vpaddsb 291(%rax,%r14,8), %zmm19, %zmm28
2968 // CHECK: encoding: [0x62,0x21,0x65,0x40,0xec,0xa4,0xf0,0x23,0x01,0x00,0x00]
2969 vpaddsb 291(%rax,%r14,8), %zmm19, %zmm28
2971 // CHECK: vpaddsb 8128(%rdx), %zmm19, %zmm28
2972 // CHECK: encoding: [0x62,0x61,0x65,0x40,0xec,0x62,0x7f]
2973 vpaddsb 8128(%rdx), %zmm19, %zmm28
2975 // CHECK: vpaddsb 8192(%rdx), %zmm19, %zmm28
2976 // CHECK: encoding: [0x62,0x61,0x65,0x40,0xec,0xa2,0x00,0x20,0x00,0x00]
2977 vpaddsb 8192(%rdx), %zmm19, %zmm28
2979 // CHECK: vpaddsb -8192(%rdx), %zmm19, %zmm28
2980 // CHECK: encoding: [0x62,0x61,0x65,0x40,0xec,0x62,0x80]
2981 vpaddsb -8192(%rdx), %zmm19, %zmm28
2983 // CHECK: vpaddsb -8256(%rdx), %zmm19, %zmm28
2984 // CHECK: encoding: [0x62,0x61,0x65,0x40,0xec,0xa2,0xc0,0xdf,0xff,0xff]
2985 vpaddsb -8256(%rdx), %zmm19, %zmm28
2987 // CHECK: vpaddsw %zmm20, %zmm22, %zmm20
2988 // CHECK: encoding: [0x62,0xa1,0x4d,0x40,0xed,0xe4]
2989 vpaddsw %zmm20, %zmm22, %zmm20
2991 // CHECK: vpaddsw %zmm20, %zmm22, %zmm20 {%k7}
2992 // CHECK: encoding: [0x62,0xa1,0x4d,0x47,0xed,0xe4]
2993 vpaddsw %zmm20, %zmm22, %zmm20 {%k7}
2995 // CHECK: vpaddsw %zmm20, %zmm22, %zmm20 {%k7} {z}
2996 // CHECK: encoding: [0x62,0xa1,0x4d,0xc7,0xed,0xe4]
2997 vpaddsw %zmm20, %zmm22, %zmm20 {%k7} {z}
2999 // CHECK: vpaddsw (%rcx), %zmm22, %zmm20
3000 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xed,0x21]
3001 vpaddsw (%rcx), %zmm22, %zmm20
3003 // CHECK: vpaddsw 291(%rax,%r14,8), %zmm22, %zmm20
3004 // CHECK: encoding: [0x62,0xa1,0x4d,0x40,0xed,0xa4,0xf0,0x23,0x01,0x00,0x00]
3005 vpaddsw 291(%rax,%r14,8), %zmm22, %zmm20
3007 // CHECK: vpaddsw 8128(%rdx), %zmm22, %zmm20
3008 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xed,0x62,0x7f]
3009 vpaddsw 8128(%rdx), %zmm22, %zmm20
3011 // CHECK: vpaddsw 8192(%rdx), %zmm22, %zmm20
3012 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xed,0xa2,0x00,0x20,0x00,0x00]
3013 vpaddsw 8192(%rdx), %zmm22, %zmm20
3015 // CHECK: vpaddsw -8192(%rdx), %zmm22, %zmm20
3016 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xed,0x62,0x80]
3017 vpaddsw -8192(%rdx), %zmm22, %zmm20
3019 // CHECK: vpaddsw -8256(%rdx), %zmm22, %zmm20
3020 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xed,0xa2,0xc0,0xdf,0xff,0xff]
3021 vpaddsw -8256(%rdx), %zmm22, %zmm20
3023 // CHECK: vpaddusb %zmm17, %zmm27, %zmm26
3024 // CHECK: encoding: [0x62,0x21,0x25,0x40,0xdc,0xd1]
3025 vpaddusb %zmm17, %zmm27, %zmm26
3027 // CHECK: vpaddusb %zmm17, %zmm27, %zmm26 {%k3}
3028 // CHECK: encoding: [0x62,0x21,0x25,0x43,0xdc,0xd1]
3029 vpaddusb %zmm17, %zmm27, %zmm26 {%k3}
3031 // CHECK: vpaddusb %zmm17, %zmm27, %zmm26 {%k3} {z}
3032 // CHECK: encoding: [0x62,0x21,0x25,0xc3,0xdc,0xd1]
3033 vpaddusb %zmm17, %zmm27, %zmm26 {%k3} {z}
3035 // CHECK: vpaddusb (%rcx), %zmm27, %zmm26
3036 // CHECK: encoding: [0x62,0x61,0x25,0x40,0xdc,0x11]
3037 vpaddusb (%rcx), %zmm27, %zmm26
3039 // CHECK: vpaddusb 291(%rax,%r14,8), %zmm27, %zmm26
3040 // CHECK: encoding: [0x62,0x21,0x25,0x40,0xdc,0x94,0xf0,0x23,0x01,0x00,0x00]
3041 vpaddusb 291(%rax,%r14,8), %zmm27, %zmm26
3043 // CHECK: vpaddusb 8128(%rdx), %zmm27, %zmm26
3044 // CHECK: encoding: [0x62,0x61,0x25,0x40,0xdc,0x52,0x7f]
3045 vpaddusb 8128(%rdx), %zmm27, %zmm26
3047 // CHECK: vpaddusb 8192(%rdx), %zmm27, %zmm26
3048 // CHECK: encoding: [0x62,0x61,0x25,0x40,0xdc,0x92,0x00,0x20,0x00,0x00]
3049 vpaddusb 8192(%rdx), %zmm27, %zmm26
3051 // CHECK: vpaddusb -8192(%rdx), %zmm27, %zmm26
3052 // CHECK: encoding: [0x62,0x61,0x25,0x40,0xdc,0x52,0x80]
3053 vpaddusb -8192(%rdx), %zmm27, %zmm26
3055 // CHECK: vpaddusb -8256(%rdx), %zmm27, %zmm26
3056 // CHECK: encoding: [0x62,0x61,0x25,0x40,0xdc,0x92,0xc0,0xdf,0xff,0xff]
3057 vpaddusb -8256(%rdx), %zmm27, %zmm26
3059 // CHECK: vpaddusw %zmm20, %zmm22, %zmm21
3060 // CHECK: encoding: [0x62,0xa1,0x4d,0x40,0xdd,0xec]
3061 vpaddusw %zmm20, %zmm22, %zmm21
3063 // CHECK: vpaddusw %zmm20, %zmm22, %zmm21 {%k7}
3064 // CHECK: encoding: [0x62,0xa1,0x4d,0x47,0xdd,0xec]
3065 vpaddusw %zmm20, %zmm22, %zmm21 {%k7}
3067 // CHECK: vpaddusw %zmm20, %zmm22, %zmm21 {%k7} {z}
3068 // CHECK: encoding: [0x62,0xa1,0x4d,0xc7,0xdd,0xec]
3069 vpaddusw %zmm20, %zmm22, %zmm21 {%k7} {z}
3071 // CHECK: vpaddusw (%rcx), %zmm22, %zmm21
3072 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xdd,0x29]
3073 vpaddusw (%rcx), %zmm22, %zmm21
3075 // CHECK: vpaddusw 291(%rax,%r14,8), %zmm22, %zmm21
3076 // CHECK: encoding: [0x62,0xa1,0x4d,0x40,0xdd,0xac,0xf0,0x23,0x01,0x00,0x00]
3077 vpaddusw 291(%rax,%r14,8), %zmm22, %zmm21
3079 // CHECK: vpaddusw 8128(%rdx), %zmm22, %zmm21
3080 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xdd,0x6a,0x7f]
3081 vpaddusw 8128(%rdx), %zmm22, %zmm21
3083 // CHECK: vpaddusw 8192(%rdx), %zmm22, %zmm21
3084 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xdd,0xaa,0x00,0x20,0x00,0x00]
3085 vpaddusw 8192(%rdx), %zmm22, %zmm21
3087 // CHECK: vpaddusw -8192(%rdx), %zmm22, %zmm21
3088 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xdd,0x6a,0x80]
3089 vpaddusw -8192(%rdx), %zmm22, %zmm21
3091 // CHECK: vpaddusw -8256(%rdx), %zmm22, %zmm21
3092 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xdd,0xaa,0xc0,0xdf,0xff,0xff]
3093 vpaddusw -8256(%rdx), %zmm22, %zmm21
3095 // CHECK: vpsubsb %zmm28, %zmm21, %zmm19
3096 // CHECK: encoding: [0x62,0x81,0x55,0x40,0xe8,0xdc]
3097 vpsubsb %zmm28, %zmm21, %zmm19
3099 // CHECK: vpsubsb %zmm28, %zmm21, %zmm19 {%k2}
3100 // CHECK: encoding: [0x62,0x81,0x55,0x42,0xe8,0xdc]
3101 vpsubsb %zmm28, %zmm21, %zmm19 {%k2}
3103 // CHECK: vpsubsb %zmm28, %zmm21, %zmm19 {%k2} {z}
3104 // CHECK: encoding: [0x62,0x81,0x55,0xc2,0xe8,0xdc]
3105 vpsubsb %zmm28, %zmm21, %zmm19 {%k2} {z}
3107 // CHECK: vpsubsb (%rcx), %zmm21, %zmm19
3108 // CHECK: encoding: [0x62,0xe1,0x55,0x40,0xe8,0x19]
3109 vpsubsb (%rcx), %zmm21, %zmm19
3111 // CHECK: vpsubsb 291(%rax,%r14,8), %zmm21, %zmm19
3112 // CHECK: encoding: [0x62,0xa1,0x55,0x40,0xe8,0x9c,0xf0,0x23,0x01,0x00,0x00]
3113 vpsubsb 291(%rax,%r14,8), %zmm21, %zmm19
3115 // CHECK: vpsubsb 8128(%rdx), %zmm21, %zmm19
3116 // CHECK: encoding: [0x62,0xe1,0x55,0x40,0xe8,0x5a,0x7f]
3117 vpsubsb 8128(%rdx), %zmm21, %zmm19
3119 // CHECK: vpsubsb 8192(%rdx), %zmm21, %zmm19
3120 // CHECK: encoding: [0x62,0xe1,0x55,0x40,0xe8,0x9a,0x00,0x20,0x00,0x00]
3121 vpsubsb 8192(%rdx), %zmm21, %zmm19
3123 // CHECK: vpsubsb -8192(%rdx), %zmm21, %zmm19
3124 // CHECK: encoding: [0x62,0xe1,0x55,0x40,0xe8,0x5a,0x80]
3125 vpsubsb -8192(%rdx), %zmm21, %zmm19
3127 // CHECK: vpsubsb -8256(%rdx), %zmm21, %zmm19
3128 // CHECK: encoding: [0x62,0xe1,0x55,0x40,0xe8,0x9a,0xc0,0xdf,0xff,0xff]
3129 vpsubsb -8256(%rdx), %zmm21, %zmm19
3131 // CHECK: vpsubsw %zmm23, %zmm23, %zmm23
3132 // CHECK: encoding: [0x62,0xa1,0x45,0x40,0xe9,0xff]
3133 vpsubsw %zmm23, %zmm23, %zmm23
3135 // CHECK: vpsubsw %zmm23, %zmm23, %zmm23 {%k6}
3136 // CHECK: encoding: [0x62,0xa1,0x45,0x46,0xe9,0xff]
3137 vpsubsw %zmm23, %zmm23, %zmm23 {%k6}
3139 // CHECK: vpsubsw %zmm23, %zmm23, %zmm23 {%k6} {z}
3140 // CHECK: encoding: [0x62,0xa1,0x45,0xc6,0xe9,0xff]
3141 vpsubsw %zmm23, %zmm23, %zmm23 {%k6} {z}
3143 // CHECK: vpsubsw (%rcx), %zmm23, %zmm23
3144 // CHECK: encoding: [0x62,0xe1,0x45,0x40,0xe9,0x39]
3145 vpsubsw (%rcx), %zmm23, %zmm23
3147 // CHECK: vpsubsw 291(%rax,%r14,8), %zmm23, %zmm23
3148 // CHECK: encoding: [0x62,0xa1,0x45,0x40,0xe9,0xbc,0xf0,0x23,0x01,0x00,0x00]
3149 vpsubsw 291(%rax,%r14,8), %zmm23, %zmm23
3151 // CHECK: vpsubsw 8128(%rdx), %zmm23, %zmm23
3152 // CHECK: encoding: [0x62,0xe1,0x45,0x40,0xe9,0x7a,0x7f]
3153 vpsubsw 8128(%rdx), %zmm23, %zmm23
3155 // CHECK: vpsubsw 8192(%rdx), %zmm23, %zmm23
3156 // CHECK: encoding: [0x62,0xe1,0x45,0x40,0xe9,0xba,0x00,0x20,0x00,0x00]
3157 vpsubsw 8192(%rdx), %zmm23, %zmm23
3159 // CHECK: vpsubsw -8192(%rdx), %zmm23, %zmm23
3160 // CHECK: encoding: [0x62,0xe1,0x45,0x40,0xe9,0x7a,0x80]
3161 vpsubsw -8192(%rdx), %zmm23, %zmm23
3163 // CHECK: vpsubsw -8256(%rdx), %zmm23, %zmm23
3164 // CHECK: encoding: [0x62,0xe1,0x45,0x40,0xe9,0xba,0xc0,0xdf,0xff,0xff]
3165 vpsubsw -8256(%rdx), %zmm23, %zmm23
3167 // CHECK: vpsubusb %zmm25, %zmm29, %zmm27
3168 // CHECK: encoding: [0x62,0x01,0x15,0x40,0xd8,0xd9]
3169 vpsubusb %zmm25, %zmm29, %zmm27
3171 // CHECK: vpsubusb %zmm25, %zmm29, %zmm27 {%k4}
3172 // CHECK: encoding: [0x62,0x01,0x15,0x44,0xd8,0xd9]
3173 vpsubusb %zmm25, %zmm29, %zmm27 {%k4}
3175 // CHECK: vpsubusb %zmm25, %zmm29, %zmm27 {%k4} {z}
3176 // CHECK: encoding: [0x62,0x01,0x15,0xc4,0xd8,0xd9]
3177 vpsubusb %zmm25, %zmm29, %zmm27 {%k4} {z}
3179 // CHECK: vpsubusb (%rcx), %zmm29, %zmm27
3180 // CHECK: encoding: [0x62,0x61,0x15,0x40,0xd8,0x19]
3181 vpsubusb (%rcx), %zmm29, %zmm27
3183 // CHECK: vpsubusb 291(%rax,%r14,8), %zmm29, %zmm27
3184 // CHECK: encoding: [0x62,0x21,0x15,0x40,0xd8,0x9c,0xf0,0x23,0x01,0x00,0x00]
3185 vpsubusb 291(%rax,%r14,8), %zmm29, %zmm27
3187 // CHECK: vpsubusb 8128(%rdx), %zmm29, %zmm27
3188 // CHECK: encoding: [0x62,0x61,0x15,0x40,0xd8,0x5a,0x7f]
3189 vpsubusb 8128(%rdx), %zmm29, %zmm27
3191 // CHECK: vpsubusb 8192(%rdx), %zmm29, %zmm27
3192 // CHECK: encoding: [0x62,0x61,0x15,0x40,0xd8,0x9a,0x00,0x20,0x00,0x00]
3193 vpsubusb 8192(%rdx), %zmm29, %zmm27
3195 // CHECK: vpsubusb -8192(%rdx), %zmm29, %zmm27
3196 // CHECK: encoding: [0x62,0x61,0x15,0x40,0xd8,0x5a,0x80]
3197 vpsubusb -8192(%rdx), %zmm29, %zmm27
3199 // CHECK: vpsubusb -8256(%rdx), %zmm29, %zmm27
3200 // CHECK: encoding: [0x62,0x61,0x15,0x40,0xd8,0x9a,0xc0,0xdf,0xff,0xff]
3201 vpsubusb -8256(%rdx), %zmm29, %zmm27
3203 // CHECK: vpsubusw %zmm25, %zmm20, %zmm20
3204 // CHECK: encoding: [0x62,0x81,0x5d,0x40,0xd9,0xe1]
3205 vpsubusw %zmm25, %zmm20, %zmm20
3207 // CHECK: vpsubusw %zmm25, %zmm20, %zmm20 {%k6}
3208 // CHECK: encoding: [0x62,0x81,0x5d,0x46,0xd9,0xe1]
3209 vpsubusw %zmm25, %zmm20, %zmm20 {%k6}
3211 // CHECK: vpsubusw %zmm25, %zmm20, %zmm20 {%k6} {z}
3212 // CHECK: encoding: [0x62,0x81,0x5d,0xc6,0xd9,0xe1]
3213 vpsubusw %zmm25, %zmm20, %zmm20 {%k6} {z}
3215 // CHECK: vpsubusw (%rcx), %zmm20, %zmm20
3216 // CHECK: encoding: [0x62,0xe1,0x5d,0x40,0xd9,0x21]
3217 vpsubusw (%rcx), %zmm20, %zmm20
3219 // CHECK: vpsubusw 291(%rax,%r14,8), %zmm20, %zmm20
3220 // CHECK: encoding: [0x62,0xa1,0x5d,0x40,0xd9,0xa4,0xf0,0x23,0x01,0x00,0x00]
3221 vpsubusw 291(%rax,%r14,8), %zmm20, %zmm20
3223 // CHECK: vpsubusw 8128(%rdx), %zmm20, %zmm20
3224 // CHECK: encoding: [0x62,0xe1,0x5d,0x40,0xd9,0x62,0x7f]
3225 vpsubusw 8128(%rdx), %zmm20, %zmm20
3227 // CHECK: vpsubusw 8192(%rdx), %zmm20, %zmm20
3228 // CHECK: encoding: [0x62,0xe1,0x5d,0x40,0xd9,0xa2,0x00,0x20,0x00,0x00]
3229 vpsubusw 8192(%rdx), %zmm20, %zmm20
3231 // CHECK: vpsubusw -8192(%rdx), %zmm20, %zmm20
3232 // CHECK: encoding: [0x62,0xe1,0x5d,0x40,0xd9,0x62,0x80]
3233 vpsubusw -8192(%rdx), %zmm20, %zmm20
3235 // CHECK: vpsubusw -8256(%rdx), %zmm20, %zmm20
3236 // CHECK: encoding: [0x62,0xe1,0x5d,0x40,0xd9,0xa2,0xc0,0xdf,0xff,0xff]
3237 vpsubusw -8256(%rdx), %zmm20, %zmm20