1// RUN: llvm-mc -triple x86_64-unknown-unknown -mcpu=knl -mattr=+avx512bw  --show-encoding %s | FileCheck %s
2
3// CHECK: vpaddb %zmm23, %zmm24, %zmm19
4// CHECK:  encoding: [0x62,0xa1,0x3d,0x40,0xfc,0xdf]
5          vpaddb %zmm23, %zmm24, %zmm19
6
7// CHECK: vpaddb %zmm23, %zmm24, %zmm19 {%k3}
8// CHECK:  encoding: [0x62,0xa1,0x3d,0x43,0xfc,0xdf]
9          vpaddb %zmm23, %zmm24, %zmm19 {%k3}
10
11// CHECK: vpaddb %zmm23, %zmm24, %zmm19 {%k3} {z}
12// CHECK:  encoding: [0x62,0xa1,0x3d,0xc3,0xfc,0xdf]
13          vpaddb %zmm23, %zmm24, %zmm19 {%k3} {z}
14
15// CHECK: vpaddb (%rcx), %zmm24, %zmm19
16// CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xfc,0x19]
17          vpaddb (%rcx), %zmm24, %zmm19
18
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
22
23// CHECK: vpaddb 8128(%rdx), %zmm24, %zmm19
24// CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xfc,0x5a,0x7f]
25          vpaddb 8128(%rdx), %zmm24, %zmm19
26
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
30
31// CHECK: vpaddb -8192(%rdx), %zmm24, %zmm19
32// CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xfc,0x5a,0x80]
33          vpaddb -8192(%rdx), %zmm24, %zmm19
34
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
38
39// CHECK: vpaddw %zmm19, %zmm24, %zmm17
40// CHECK:  encoding: [0x62,0xa1,0x3d,0x40,0xfd,0xcb]
41          vpaddw %zmm19, %zmm24, %zmm17
42
43// CHECK: vpaddw %zmm19, %zmm24, %zmm17 {%k3}
44// CHECK:  encoding: [0x62,0xa1,0x3d,0x43,0xfd,0xcb]
45          vpaddw %zmm19, %zmm24, %zmm17 {%k3}
46
47// CHECK: vpaddw %zmm19, %zmm24, %zmm17 {%k3} {z}
48// CHECK:  encoding: [0x62,0xa1,0x3d,0xc3,0xfd,0xcb]
49          vpaddw %zmm19, %zmm24, %zmm17 {%k3} {z}
50
51// CHECK: vpaddw (%rcx), %zmm24, %zmm17
52// CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xfd,0x09]
53          vpaddw (%rcx), %zmm24, %zmm17
54
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
58
59// CHECK: vpaddw 8128(%rdx), %zmm24, %zmm17
60// CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xfd,0x4a,0x7f]
61          vpaddw 8128(%rdx), %zmm24, %zmm17
62
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
66
67// CHECK: vpaddw -8192(%rdx), %zmm24, %zmm17
68// CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xfd,0x4a,0x80]
69          vpaddw -8192(%rdx), %zmm24, %zmm17
70
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
74
75// CHECK: vpbroadcastb %eax, %zmm19
76// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x7a,0xd8]
77          vpbroadcastb %eax, %zmm19
78
79// CHECK: vpbroadcastb %eax, %zmm19 {%k7}
80// CHECK:  encoding: [0x62,0xe2,0x7d,0x4f,0x7a,0xd8]
81          vpbroadcastb %eax, %zmm19 {%k7}
82
83// CHECK: vpbroadcastb %eax, %zmm19 {%k7} {z}
84// CHECK:  encoding: [0x62,0xe2,0x7d,0xcf,0x7a,0xd8]
85          vpbroadcastb %eax, %zmm19 {%k7} {z}
86
87// CHECK: vpbroadcastw %eax, %zmm24
88// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x7b,0xc0]
89          vpbroadcastw %eax, %zmm24
90
91// CHECK: vpbroadcastw %eax, %zmm24 {%k1}
92// CHECK:  encoding: [0x62,0x62,0x7d,0x49,0x7b,0xc0]
93          vpbroadcastw %eax, %zmm24 {%k1}
94
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
101
102// CHECK: vpcmpeqb %zmm26, %zmm26, %k4 {%k6}
103// CHECK:  encoding: [0x62,0x91,0x2d,0x46,0x74,0xe2]
104          vpcmpeqb %zmm26, %zmm26, %k4 {%k6}
105
106// CHECK: vpcmpeqb (%rcx), %zmm26, %k4
107// CHECK:  encoding: [0x62,0xf1,0x2d,0x40,0x74,0x21]
108          vpcmpeqb (%rcx), %zmm26, %k4
109
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
113
114// CHECK: vpcmpeqb 8128(%rdx), %zmm26, %k4
115// CHECK:  encoding: [0x62,0xf1,0x2d,0x40,0x74,0x62,0x7f]
116          vpcmpeqb 8128(%rdx), %zmm26, %k4
117
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
121
122// CHECK: vpcmpeqb -8192(%rdx), %zmm26, %k4
123// CHECK:  encoding: [0x62,0xf1,0x2d,0x40,0x74,0x62,0x80]
124          vpcmpeqb -8192(%rdx), %zmm26, %k4
125
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
129
130// CHECK: vpcmpeqw %zmm19, %zmm23, %k5
131// CHECK:  encoding: [0x62,0xb1,0x45,0x40,0x75,0xeb]
132          vpcmpeqw %zmm19, %zmm23, %k5
133
134// CHECK: vpcmpeqw %zmm19, %zmm23, %k5 {%k7}
135// CHECK:  encoding: [0x62,0xb1,0x45,0x47,0x75,0xeb]
136          vpcmpeqw %zmm19, %zmm23, %k5 {%k7}
137
138// CHECK: vpcmpeqw (%rcx), %zmm23, %k5
139// CHECK:  encoding: [0x62,0xf1,0x45,0x40,0x75,0x29]
140          vpcmpeqw (%rcx), %zmm23, %k5
141
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
145
146// CHECK: vpcmpeqw 8128(%rdx), %zmm23, %k5
147// CHECK:  encoding: [0x62,0xf1,0x45,0x40,0x75,0x6a,0x7f]
148          vpcmpeqw 8128(%rdx), %zmm23, %k5
149
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
153
154// CHECK: vpcmpeqw -8192(%rdx), %zmm23, %k5
155// CHECK:  encoding: [0x62,0xf1,0x45,0x40,0x75,0x6a,0x80]
156          vpcmpeqw -8192(%rdx), %zmm23, %k5
157
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
161
162// CHECK: vpcmpgtb %zmm20, %zmm30, %k4
163// CHECK:  encoding: [0x62,0xb1,0x0d,0x40,0x64,0xe4]
164          vpcmpgtb %zmm20, %zmm30, %k4
165
166// CHECK: vpcmpgtb %zmm20, %zmm30, %k4 {%k1}
167// CHECK:  encoding: [0x62,0xb1,0x0d,0x41,0x64,0xe4]
168          vpcmpgtb %zmm20, %zmm30, %k4 {%k1}
169
170// CHECK: vpcmpgtb (%rcx), %zmm30, %k4
171// CHECK:  encoding: [0x62,0xf1,0x0d,0x40,0x64,0x21]
172          vpcmpgtb (%rcx), %zmm30, %k4
173
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
177
178// CHECK: vpcmpgtb 8128(%rdx), %zmm30, %k4
179// CHECK:  encoding: [0x62,0xf1,0x0d,0x40,0x64,0x62,0x7f]
180          vpcmpgtb 8128(%rdx), %zmm30, %k4
181
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
185
186// CHECK: vpcmpgtb -8192(%rdx), %zmm30, %k4
187// CHECK:  encoding: [0x62,0xf1,0x0d,0x40,0x64,0x62,0x80]
188          vpcmpgtb -8192(%rdx), %zmm30, %k4
189
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
193
194// CHECK: vpcmpgtw %zmm21, %zmm23, %k5
195// CHECK:  encoding: [0x62,0xb1,0x45,0x40,0x65,0xed]
196          vpcmpgtw %zmm21, %zmm23, %k5
197
198// CHECK: vpcmpgtw %zmm21, %zmm23, %k5 {%k7}
199// CHECK:  encoding: [0x62,0xb1,0x45,0x47,0x65,0xed]
200          vpcmpgtw %zmm21, %zmm23, %k5 {%k7}
201
202// CHECK: vpcmpgtw (%rcx), %zmm23, %k5
203// CHECK:  encoding: [0x62,0xf1,0x45,0x40,0x65,0x29]
204          vpcmpgtw (%rcx), %zmm23, %k5
205
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
209
210// CHECK: vpcmpgtw 8128(%rdx), %zmm23, %k5
211// CHECK:  encoding: [0x62,0xf1,0x45,0x40,0x65,0x6a,0x7f]
212          vpcmpgtw 8128(%rdx), %zmm23, %k5
213
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
217
218// CHECK: vpcmpgtw -8192(%rdx), %zmm23, %k5
219// CHECK:  encoding: [0x62,0xf1,0x45,0x40,0x65,0x6a,0x80]
220          vpcmpgtw -8192(%rdx), %zmm23, %k5
221
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
225
226// CHECK: vpmaxsb %zmm26, %zmm29, %zmm23
227// CHECK:  encoding: [0x62,0x82,0x15,0x40,0x3c,0xfa]
228          vpmaxsb %zmm26, %zmm29, %zmm23
229
230// CHECK: vpmaxsb %zmm26, %zmm29, %zmm23 {%k4}
231// CHECK:  encoding: [0x62,0x82,0x15,0x44,0x3c,0xfa]
232          vpmaxsb %zmm26, %zmm29, %zmm23 {%k4}
233
234// CHECK: vpmaxsb %zmm26, %zmm29, %zmm23 {%k4} {z}
235// CHECK:  encoding: [0x62,0x82,0x15,0xc4,0x3c,0xfa]
236          vpmaxsb %zmm26, %zmm29, %zmm23 {%k4} {z}
237
238// CHECK: vpmaxsb (%rcx), %zmm29, %zmm23
239// CHECK:  encoding: [0x62,0xe2,0x15,0x40,0x3c,0x39]
240          vpmaxsb (%rcx), %zmm29, %zmm23
241
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
245
246// CHECK: vpmaxsb 8128(%rdx), %zmm29, %zmm23
247// CHECK:  encoding: [0x62,0xe2,0x15,0x40,0x3c,0x7a,0x7f]
248          vpmaxsb 8128(%rdx), %zmm29, %zmm23
249
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
253
254// CHECK: vpmaxsb -8192(%rdx), %zmm29, %zmm23
255// CHECK:  encoding: [0x62,0xe2,0x15,0x40,0x3c,0x7a,0x80]
256          vpmaxsb -8192(%rdx), %zmm29, %zmm23
257
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
261
262// CHECK: vpmaxsw %zmm25, %zmm28, %zmm25
263// CHECK:  encoding: [0x62,0x01,0x1d,0x40,0xee,0xc9]
264          vpmaxsw %zmm25, %zmm28, %zmm25
265
266// CHECK: vpmaxsw %zmm25, %zmm28, %zmm25 {%k3}
267// CHECK:  encoding: [0x62,0x01,0x1d,0x43,0xee,0xc9]
268          vpmaxsw %zmm25, %zmm28, %zmm25 {%k3}
269
270// CHECK: vpmaxsw %zmm25, %zmm28, %zmm25 {%k3} {z}
271// CHECK:  encoding: [0x62,0x01,0x1d,0xc3,0xee,0xc9]
272          vpmaxsw %zmm25, %zmm28, %zmm25 {%k3} {z}
273
274// CHECK: vpmaxsw (%rcx), %zmm28, %zmm25
275// CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xee,0x09]
276          vpmaxsw (%rcx), %zmm28, %zmm25
277
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
281
282// CHECK: vpmaxsw 8128(%rdx), %zmm28, %zmm25
283// CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xee,0x4a,0x7f]
284          vpmaxsw 8128(%rdx), %zmm28, %zmm25
285
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
289
290// CHECK: vpmaxsw -8192(%rdx), %zmm28, %zmm25
291// CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xee,0x4a,0x80]
292          vpmaxsw -8192(%rdx), %zmm28, %zmm25
293
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
297
298// CHECK: vpmaxub %zmm25, %zmm18, %zmm29
299// CHECK:  encoding: [0x62,0x01,0x6d,0x40,0xde,0xe9]
300          vpmaxub %zmm25, %zmm18, %zmm29
301
302// CHECK: vpmaxub %zmm25, %zmm18, %zmm29 {%k7}
303// CHECK:  encoding: [0x62,0x01,0x6d,0x47,0xde,0xe9]
304          vpmaxub %zmm25, %zmm18, %zmm29 {%k7}
305
306// CHECK: vpmaxub %zmm25, %zmm18, %zmm29 {%k7} {z}
307// CHECK:  encoding: [0x62,0x01,0x6d,0xc7,0xde,0xe9]
308          vpmaxub %zmm25, %zmm18, %zmm29 {%k7} {z}
309
310// CHECK: vpmaxub (%rcx), %zmm18, %zmm29
311// CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xde,0x29]
312          vpmaxub (%rcx), %zmm18, %zmm29
313
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
317
318// CHECK: vpmaxub 8128(%rdx), %zmm18, %zmm29
319// CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xde,0x6a,0x7f]
320          vpmaxub 8128(%rdx), %zmm18, %zmm29
321
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
325
326// CHECK: vpmaxub -8192(%rdx), %zmm18, %zmm29
327// CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xde,0x6a,0x80]
328          vpmaxub -8192(%rdx), %zmm18, %zmm29
329
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
333
334// CHECK: vpmaxuw %zmm23, %zmm27, %zmm21
335// CHECK:  encoding: [0x62,0xa2,0x25,0x40,0x3e,0xef]
336          vpmaxuw %zmm23, %zmm27, %zmm21
337
338// CHECK: vpmaxuw %zmm23, %zmm27, %zmm21 {%k3}
339// CHECK:  encoding: [0x62,0xa2,0x25,0x43,0x3e,0xef]
340          vpmaxuw %zmm23, %zmm27, %zmm21 {%k3}
341
342// CHECK: vpmaxuw %zmm23, %zmm27, %zmm21 {%k3} {z}
343// CHECK:  encoding: [0x62,0xa2,0x25,0xc3,0x3e,0xef]
344          vpmaxuw %zmm23, %zmm27, %zmm21 {%k3} {z}
345
346// CHECK: vpmaxuw (%rcx), %zmm27, %zmm21
347// CHECK:  encoding: [0x62,0xe2,0x25,0x40,0x3e,0x29]
348          vpmaxuw (%rcx), %zmm27, %zmm21
349
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
353
354// CHECK: vpmaxuw 8128(%rdx), %zmm27, %zmm21
355// CHECK:  encoding: [0x62,0xe2,0x25,0x40,0x3e,0x6a,0x7f]
356          vpmaxuw 8128(%rdx), %zmm27, %zmm21
357
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
361
362// CHECK: vpmaxuw -8192(%rdx), %zmm27, %zmm21
363// CHECK:  encoding: [0x62,0xe2,0x25,0x40,0x3e,0x6a,0x80]
364          vpmaxuw -8192(%rdx), %zmm27, %zmm21
365
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
369
370// CHECK: vpminsb %zmm25, %zmm22, %zmm28
371// CHECK:  encoding: [0x62,0x02,0x4d,0x40,0x38,0xe1]
372          vpminsb %zmm25, %zmm22, %zmm28
373
374// CHECK: vpminsb %zmm25, %zmm22, %zmm28 {%k6}
375// CHECK:  encoding: [0x62,0x02,0x4d,0x46,0x38,0xe1]
376          vpminsb %zmm25, %zmm22, %zmm28 {%k6}
377
378// CHECK: vpminsb %zmm25, %zmm22, %zmm28 {%k6} {z}
379// CHECK:  encoding: [0x62,0x02,0x4d,0xc6,0x38,0xe1]
380          vpminsb %zmm25, %zmm22, %zmm28 {%k6} {z}
381
382// CHECK: vpminsb (%rcx), %zmm22, %zmm28
383// CHECK:  encoding: [0x62,0x62,0x4d,0x40,0x38,0x21]
384          vpminsb (%rcx), %zmm22, %zmm28
385
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
389
390// CHECK: vpminsb 8128(%rdx), %zmm22, %zmm28
391// CHECK:  encoding: [0x62,0x62,0x4d,0x40,0x38,0x62,0x7f]
392          vpminsb 8128(%rdx), %zmm22, %zmm28
393
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
397
398// CHECK: vpminsb -8192(%rdx), %zmm22, %zmm28
399// CHECK:  encoding: [0x62,0x62,0x4d,0x40,0x38,0x62,0x80]
400          vpminsb -8192(%rdx), %zmm22, %zmm28
401
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
405
406// CHECK: vpminsw %zmm25, %zmm22, %zmm27
407// CHECK:  encoding: [0x62,0x01,0x4d,0x40,0xea,0xd9]
408          vpminsw %zmm25, %zmm22, %zmm27
409
410// CHECK: vpminsw %zmm25, %zmm22, %zmm27 {%k6}
411// CHECK:  encoding: [0x62,0x01,0x4d,0x46,0xea,0xd9]
412          vpminsw %zmm25, %zmm22, %zmm27 {%k6}
413
414// CHECK: vpminsw %zmm25, %zmm22, %zmm27 {%k6} {z}
415// CHECK:  encoding: [0x62,0x01,0x4d,0xc6,0xea,0xd9]
416          vpminsw %zmm25, %zmm22, %zmm27 {%k6} {z}
417
418// CHECK: vpminsw (%rcx), %zmm22, %zmm27
419// CHECK:  encoding: [0x62,0x61,0x4d,0x40,0xea,0x19]
420          vpminsw (%rcx), %zmm22, %zmm27
421
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
425
426// CHECK: vpminsw 8128(%rdx), %zmm22, %zmm27
427// CHECK:  encoding: [0x62,0x61,0x4d,0x40,0xea,0x5a,0x7f]
428          vpminsw 8128(%rdx), %zmm22, %zmm27
429
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
433
434// CHECK: vpminsw -8192(%rdx), %zmm22, %zmm27
435// CHECK:  encoding: [0x62,0x61,0x4d,0x40,0xea,0x5a,0x80]
436          vpminsw -8192(%rdx), %zmm22, %zmm27
437
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
441
442// CHECK: vpminub %zmm26, %zmm25, %zmm25
443// CHECK:  encoding: [0x62,0x01,0x35,0x40,0xda,0xca]
444          vpminub %zmm26, %zmm25, %zmm25
445
446// CHECK: vpminub %zmm26, %zmm25, %zmm25 {%k6}
447// CHECK:  encoding: [0x62,0x01,0x35,0x46,0xda,0xca]
448          vpminub %zmm26, %zmm25, %zmm25 {%k6}
449
450// CHECK: vpminub %zmm26, %zmm25, %zmm25 {%k6} {z}
451// CHECK:  encoding: [0x62,0x01,0x35,0xc6,0xda,0xca]
452          vpminub %zmm26, %zmm25, %zmm25 {%k6} {z}
453
454// CHECK: vpminub (%rcx), %zmm25, %zmm25
455// CHECK:  encoding: [0x62,0x61,0x35,0x40,0xda,0x09]
456          vpminub (%rcx), %zmm25, %zmm25
457
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
461
462// CHECK: vpminub 8128(%rdx), %zmm25, %zmm25
463// CHECK:  encoding: [0x62,0x61,0x35,0x40,0xda,0x4a,0x7f]
464          vpminub 8128(%rdx), %zmm25, %zmm25
465
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
469
470// CHECK: vpminub -8192(%rdx), %zmm25, %zmm25
471// CHECK:  encoding: [0x62,0x61,0x35,0x40,0xda,0x4a,0x80]
472          vpminub -8192(%rdx), %zmm25, %zmm25
473
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
477
478// CHECK: vpminuw %zmm20, %zmm29, %zmm19
479// CHECK:  encoding: [0x62,0xa2,0x15,0x40,0x3a,0xdc]
480          vpminuw %zmm20, %zmm29, %zmm19
481
482// CHECK: vpminuw %zmm20, %zmm29, %zmm19 {%k7}
483// CHECK:  encoding: [0x62,0xa2,0x15,0x47,0x3a,0xdc]
484          vpminuw %zmm20, %zmm29, %zmm19 {%k7}
485
486// CHECK: vpminuw %zmm20, %zmm29, %zmm19 {%k7} {z}
487// CHECK:  encoding: [0x62,0xa2,0x15,0xc7,0x3a,0xdc]
488          vpminuw %zmm20, %zmm29, %zmm19 {%k7} {z}
489
490// CHECK: vpminuw (%rcx), %zmm29, %zmm19
491// CHECK:  encoding: [0x62,0xe2,0x15,0x40,0x3a,0x19]
492          vpminuw (%rcx), %zmm29, %zmm19
493
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
497
498// CHECK: vpminuw 8128(%rdx), %zmm29, %zmm19
499// CHECK:  encoding: [0x62,0xe2,0x15,0x40,0x3a,0x5a,0x7f]
500          vpminuw 8128(%rdx), %zmm29, %zmm19
501
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
505
506// CHECK: vpminuw -8192(%rdx), %zmm29, %zmm19
507// CHECK:  encoding: [0x62,0xe2,0x15,0x40,0x3a,0x5a,0x80]
508          vpminuw -8192(%rdx), %zmm29, %zmm19
509
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
513
514// CHECK: vpmullw %zmm19, %zmm28, %zmm19
515// CHECK:  encoding: [0x62,0xa1,0x1d,0x40,0xd5,0xdb]
516          vpmullw %zmm19, %zmm28, %zmm19
517
518// CHECK: vpmullw %zmm19, %zmm28, %zmm19 {%k5}
519// CHECK:  encoding: [0x62,0xa1,0x1d,0x45,0xd5,0xdb]
520          vpmullw %zmm19, %zmm28, %zmm19 {%k5}
521
522// CHECK: vpmullw %zmm19, %zmm28, %zmm19 {%k5} {z}
523// CHECK:  encoding: [0x62,0xa1,0x1d,0xc5,0xd5,0xdb]
524          vpmullw %zmm19, %zmm28, %zmm19 {%k5} {z}
525
526// CHECK: vpmullw (%rcx), %zmm28, %zmm19
527// CHECK:  encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x19]
528          vpmullw (%rcx), %zmm28, %zmm19
529
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
533
534// CHECK: vpmullw 8128(%rdx), %zmm28, %zmm19
535// CHECK:  encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x5a,0x7f]
536          vpmullw 8128(%rdx), %zmm28, %zmm19
537
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
541
542// CHECK: vpmullw -8192(%rdx), %zmm28, %zmm19
543// CHECK:  encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x5a,0x80]
544          vpmullw -8192(%rdx), %zmm28, %zmm19
545
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
549
550// CHECK: vpsubb %zmm26, %zmm18, %zmm25
551// CHECK:  encoding: [0x62,0x01,0x6d,0x40,0xf8,0xca]
552          vpsubb %zmm26, %zmm18, %zmm25
553
554// CHECK: vpsubb %zmm26, %zmm18, %zmm25 {%k4}
555// CHECK:  encoding: [0x62,0x01,0x6d,0x44,0xf8,0xca]
556          vpsubb %zmm26, %zmm18, %zmm25 {%k4}
557
558// CHECK: vpsubb %zmm26, %zmm18, %zmm25 {%k4} {z}
559// CHECK:  encoding: [0x62,0x01,0x6d,0xc4,0xf8,0xca]
560          vpsubb %zmm26, %zmm18, %zmm25 {%k4} {z}
561
562// CHECK: vpsubb (%rcx), %zmm18, %zmm25
563// CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xf8,0x09]
564          vpsubb (%rcx), %zmm18, %zmm25
565
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
569
570// CHECK: vpsubb 8128(%rdx), %zmm18, %zmm25
571// CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xf8,0x4a,0x7f]
572          vpsubb 8128(%rdx), %zmm18, %zmm25
573
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
577
578// CHECK: vpsubb -8192(%rdx), %zmm18, %zmm25
579// CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xf8,0x4a,0x80]
580          vpsubb -8192(%rdx), %zmm18, %zmm25
581
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
585
586// CHECK: vpsubw %zmm24, %zmm24, %zmm17
587// CHECK:  encoding: [0x62,0x81,0x3d,0x40,0xf9,0xc8]
588          vpsubw %zmm24, %zmm24, %zmm17
589
590// CHECK: vpsubw %zmm24, %zmm24, %zmm17 {%k4}
591// CHECK:  encoding: [0x62,0x81,0x3d,0x44,0xf9,0xc8]
592          vpsubw %zmm24, %zmm24, %zmm17 {%k4}
593
594// CHECK: vpsubw %zmm24, %zmm24, %zmm17 {%k4} {z}
595// CHECK:  encoding: [0x62,0x81,0x3d,0xc4,0xf9,0xc8]
596          vpsubw %zmm24, %zmm24, %zmm17 {%k4} {z}
597
598// CHECK: vpsubw (%rcx), %zmm24, %zmm17
599// CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x09]
600          vpsubw (%rcx), %zmm24, %zmm17
601
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
605
606// CHECK: vpsubw 8128(%rdx), %zmm24, %zmm17
607// CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x4a,0x7f]
608          vpsubw 8128(%rdx), %zmm24, %zmm17
609
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
613
614// CHECK: vpsubw -8192(%rdx), %zmm24, %zmm17
615// CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x4a,0x80]
616          vpsubw -8192(%rdx), %zmm24, %zmm17
617
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
621
622// CHECK: vmovdqu8 %zmm19, %zmm29
623// CHECK:  encoding: [0x62,0x21,0x7f,0x48,0x6f,0xeb]
624          vmovdqu8 %zmm19, %zmm29
625
626// CHECK: vmovdqu8 %zmm19, %zmm29 {%k7}
627// CHECK:  encoding: [0x62,0x21,0x7f,0x4f,0x6f,0xeb]
628          vmovdqu8 %zmm19, %zmm29 {%k7}
629
630// CHECK: vmovdqu8 %zmm19, %zmm29 {%k7} {z}
631// CHECK:  encoding: [0x62,0x21,0x7f,0xcf,0x6f,0xeb]
632          vmovdqu8 %zmm19, %zmm29 {%k7} {z}
633
634// CHECK: vmovdqu8 (%rcx), %zmm29
635// CHECK:  encoding: [0x62,0x61,0x7f,0x48,0x6f,0x29]
636          vmovdqu8 (%rcx), %zmm29
637
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
641
642// CHECK: vmovdqu8 8128(%rdx), %zmm29
643// CHECK:  encoding: [0x62,0x61,0x7f,0x48,0x6f,0x6a,0x7f]
644          vmovdqu8 8128(%rdx), %zmm29
645
646// CHECK: vmovdqu8 8192(%rdx), %zmm29
647// CHECK:  encoding: [0x62,0x61,0x7f,0x48,0x6f,0xaa,0x00,0x20,0x00,0x00]
648          vmovdqu8 8192(%rdx), %zmm29
649
650// CHECK: vmovdqu8 -8192(%rdx), %zmm29
651// CHECK:  encoding: [0x62,0x61,0x7f,0x48,0x6f,0x6a,0x80]
652          vmovdqu8 -8192(%rdx), %zmm29
653
654// CHECK: vmovdqu8 -8256(%rdx), %zmm29
655// CHECK:  encoding: [0x62,0x61,0x7f,0x48,0x6f,0xaa,0xc0,0xdf,0xff,0xff]
656          vmovdqu8 -8256(%rdx), %zmm29
657
658// CHECK: vmovdqu16 %zmm18, %zmm17
659// CHECK:  encoding: [0x62,0xa1,0xff,0x48,0x6f,0xca]
660          vmovdqu16 %zmm18, %zmm17
661
662// CHECK: vmovdqu16 %zmm18, %zmm17 {%k3}
663// CHECK:  encoding: [0x62,0xa1,0xff,0x4b,0x6f,0xca]
664          vmovdqu16 %zmm18, %zmm17 {%k3}
665
666// CHECK: vmovdqu16 %zmm18, %zmm17 {%k3} {z}
667// CHECK:  encoding: [0x62,0xa1,0xff,0xcb,0x6f,0xca]
668          vmovdqu16 %zmm18, %zmm17 {%k3} {z}
669
670// CHECK: vmovdqu16 (%rcx), %zmm17
671// CHECK:  encoding: [0x62,0xe1,0xff,0x48,0x6f,0x09]
672          vmovdqu16 (%rcx), %zmm17
673
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
677
678// CHECK: vmovdqu16 8128(%rdx), %zmm17
679// CHECK:  encoding: [0x62,0xe1,0xff,0x48,0x6f,0x4a,0x7f]
680          vmovdqu16 8128(%rdx), %zmm17
681
682// CHECK: vmovdqu16 8192(%rdx), %zmm17
683// CHECK:  encoding: [0x62,0xe1,0xff,0x48,0x6f,0x8a,0x00,0x20,0x00,0x00]
684          vmovdqu16 8192(%rdx), %zmm17
685
686// CHECK: vmovdqu16 -8192(%rdx), %zmm17
687// CHECK:  encoding: [0x62,0xe1,0xff,0x48,0x6f,0x4a,0x80]
688          vmovdqu16 -8192(%rdx), %zmm17
689
690// CHECK: vmovdqu16 -8256(%rdx), %zmm17
691// CHECK:  encoding: [0x62,0xe1,0xff,0x48,0x6f,0x8a,0xc0,0xdf,0xff,0xff]
692          vmovdqu16 -8256(%rdx), %zmm17
693
694// CHECK: kandq  %k7, %k5, %k5
695// CHECK:  encoding: [0xc4,0xe1,0xd4,0x41,0xef]
696          kandq  %k7, %k5, %k5
697
698// CHECK: kandd  %k4, %k5, %k5
699// CHECK:  encoding: [0xc4,0xe1,0xd5,0x41,0xec]
700          kandd  %k4, %k5, %k5
701
702// CHECK: kandnq %k4, %k5, %k2
703// CHECK:  encoding: [0xc4,0xe1,0xd4,0x42,0xd4]
704          kandnq %k4, %k5, %k2
705
706// CHECK: kandnd %k6, %k6, %k3
707// CHECK:  encoding: [0xc4,0xe1,0xcd,0x42,0xde]
708          kandnd %k6, %k6, %k3
709
710// CHECK: korq   %k4, %k5, %k4
711// CHECK:  encoding: [0xc4,0xe1,0xd4,0x45,0xe4]
712          korq   %k4, %k5, %k4
713
714// CHECK: kord   %k6, %k6, %k5
715// CHECK:  encoding: [0xc4,0xe1,0xcd,0x45,0xee]
716          kord   %k6, %k6, %k5
717
718// CHECK: kxnorq %k6, %k5, %k2
719// CHECK:  encoding: [0xc4,0xe1,0xd4,0x46,0xd6]
720          kxnorq %k6, %k5, %k2
721
722// CHECK: kxnord %k5, %k3, %k5
723// CHECK:  encoding: [0xc4,0xe1,0xe5,0x46,0xed]
724          kxnord %k5, %k3, %k5
725
726// CHECK: kxorq  %k4, %k3, %k2
727// CHECK:  encoding: [0xc4,0xe1,0xe4,0x47,0xd4]
728          kxorq  %k4, %k3, %k2
729
730// CHECK: kxord  %k6, %k5, %k2
731// CHECK:  encoding: [0xc4,0xe1,0xd5,0x47,0xd6]
732          kxord  %k6, %k5, %k2
733
734// CHECK: knotq  %k6, %k3
735// CHECK:  encoding: [0xc4,0xe1,0xf8,0x44,0xde]
736          knotq  %k6, %k3
737
738// CHECK: knotd  %k4, %k3
739// CHECK:  encoding: [0xc4,0xe1,0xf9,0x44,0xdc]
740          knotd  %k4, %k3
741
742// CHECK: kmovq  %k5, %k2
743// CHECK:  encoding: [0xc4,0xe1,0xf8,0x90,0xd5]
744          kmovq  %k5, %k2
745
746// CHECK: kmovq  (%rcx), %k2
747// CHECK:  encoding: [0xc4,0xe1,0xf8,0x90,0x11]
748          kmovq  (%rcx), %k2
749
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
753
754// CHECK: kmovd  %k4, %k5
755// CHECK:  encoding: [0xc4,0xe1,0xf9,0x90,0xec]
756          kmovd  %k4, %k5
757
758// CHECK: kmovd  (%rcx), %k5
759// CHECK:  encoding: [0xc4,0xe1,0xf9,0x90,0x29]
760          kmovd  (%rcx), %k5
761
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
765
766// CHECK: kmovq  %k3, (%rcx)
767// CHECK:  encoding: [0xc4,0xe1,0xf8,0x91,0x19]
768          kmovq  %k3, (%rcx)
769
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)
773
774// CHECK: kmovd  %k3, (%rcx)
775// CHECK:  encoding: [0xc4,0xe1,0xf9,0x91,0x19]
776          kmovd  %k3, (%rcx)
777
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)
781
782// CHECK: kmovq  %rax, %k2
783// CHECK:  encoding: [0xc4,0xe1,0xfb,0x92,0xd0]
784          kmovq  %rax, %k2
785
786// CHECK: kmovq  %r8, %k2
787// CHECK:  encoding: [0xc4,0xc1,0xfb,0x92,0xd0]
788          kmovq  %r8, %k2
789
790// CHECK: kmovd  %eax, %k4
791// CHECK:  encoding: [0xc5,0xfb,0x92,0xe0]
792          kmovd  %eax, %k4
793
794// CHECK: kmovd  %ebp, %k4
795// CHECK:  encoding: [0xc5,0xfb,0x92,0xe5]
796          kmovd  %ebp, %k4
797
798// CHECK: kmovd  %r13d, %k4
799// CHECK:  encoding: [0xc4,0xc1,0x7b,0x92,0xe5]
800          kmovd  %r13d, %k4
801
802// CHECK: kmovq  %k3, %rax
803// CHECK:  encoding: [0xc4,0xe1,0xfb,0x93,0xc3]
804          kmovq  %k3, %rax
805
806// CHECK: kmovq  %k3, %r8
807// CHECK:  encoding: [0xc4,0x61,0xfb,0x93,0xc3]
808          kmovq  %k3, %r8
809
810// CHECK: kmovd  %k5, %eax
811// CHECK:  encoding: [0xc5,0xfb,0x93,0xc5]
812          kmovd  %k5, %eax
813
814// CHECK: kmovd  %k5, %ebp
815// CHECK:  encoding: [0xc5,0xfb,0x93,0xed]
816          kmovd  %k5, %ebp
817
818// CHECK: kmovd  %k5, %r13d
819// CHECK:  encoding: [0xc5,0x7b,0x93,0xed]
820          kmovd  %k5, %r13d
821
822// CHECK: vmovdqu8 %zmm18, (%rcx)
823// CHECK:  encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x11]
824          vmovdqu8 %zmm18, (%rcx)
825
826// CHECK: vmovdqu8 %zmm18, (%rcx) {%k3}
827// CHECK:  encoding: [0x62,0xe1,0x7f,0x4b,0x7f,0x11]
828          vmovdqu8 %zmm18, (%rcx) {%k3}
829
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)
833
834// CHECK: vmovdqu8 %zmm18, 8128(%rdx)
835// CHECK:  encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x52,0x7f]
836          vmovdqu8 %zmm18, 8128(%rdx)
837
838// CHECK: vmovdqu8 %zmm18, 8192(%rdx)
839// CHECK:  encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x92,0x00,0x20,0x00,0x00]
840          vmovdqu8 %zmm18, 8192(%rdx)
841
842// CHECK: vmovdqu8 %zmm18, -8192(%rdx)
843// CHECK:  encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x52,0x80]
844          vmovdqu8 %zmm18, -8192(%rdx)
845
846// CHECK: vmovdqu8 %zmm18, -8256(%rdx)
847// CHECK:  encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x92,0xc0,0xdf,0xff,0xff]
848          vmovdqu8 %zmm18, -8256(%rdx)
849
850// CHECK: vmovdqu16 %zmm28, (%rcx)
851// CHECK:  encoding: [0x62,0x61,0xff,0x48,0x7f,0x21]
852          vmovdqu16 %zmm28, (%rcx)
853
854// CHECK: vmovdqu16 %zmm28, (%rcx) {%k6}
855// CHECK:  encoding: [0x62,0x61,0xff,0x4e,0x7f,0x21]
856          vmovdqu16 %zmm28, (%rcx) {%k6}
857
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)
861
862// CHECK: vmovdqu16 %zmm28, 8128(%rdx)
863// CHECK:  encoding: [0x62,0x61,0xff,0x48,0x7f,0x62,0x7f]
864          vmovdqu16 %zmm28, 8128(%rdx)
865
866// CHECK: vmovdqu16 %zmm28, 8192(%rdx)
867// CHECK:  encoding: [0x62,0x61,0xff,0x48,0x7f,0xa2,0x00,0x20,0x00,0x00]
868          vmovdqu16 %zmm28, 8192(%rdx)
869
870// CHECK: vmovdqu16 %zmm28, -8192(%rdx)
871// CHECK:  encoding: [0x62,0x61,0xff,0x48,0x7f,0x62,0x80]
872          vmovdqu16 %zmm28, -8192(%rdx)
873
874// CHECK: vmovdqu16 %zmm28, -8256(%rdx)
875// CHECK:  encoding: [0x62,0x61,0xff,0x48,0x7f,0xa2,0xc0,0xdf,0xff,0xff]
876          vmovdqu16 %zmm28, -8256(%rdx)
877
878
879// CHECK: vpcmpb $171, %zmm25, %zmm26, %k3
880// CHECK:  encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0xab]
881          vpcmpb $171, %zmm25, %zmm26, %k3
882
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}
886
887// CHECK: vpcmpb $123, %zmm25, %zmm26, %k3
888// CHECK:  encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x7b]
889          vpcmpb $123, %zmm25, %zmm26, %k3
890
891// CHECK: vpcmpb $123, (%rcx), %zmm26, %k3
892// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x7b]
893          vpcmpb $123, (%rcx), %zmm26, %k3
894
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
898
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
902
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
906
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
910
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
914
915// CHECK: vpcmpltb %zmm25, %zmm26, %k3
916// CHECK:  encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x01]
917          vpcmpltb %zmm25, %zmm26, %k3
918
919// CHECK: vpcmpltb %zmm25, %zmm26, %k3 {%k7}
920// CHECK:  encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x01]
921          vpcmpltb %zmm25, %zmm26, %k3 {%k7}
922
923// CHECK: vpcmpltb (%rcx), %zmm26, %k3
924// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x01]
925          vpcmpltb (%rcx), %zmm26, %k3
926
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
930
931// CHECK: vpcmpltb 8128(%rdx), %zmm26, %k3
932// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x01]
933          vpcmpltb 8128(%rdx), %zmm26, %k3
934
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
938
939// CHECK: vpcmpltb -8192(%rdx), %zmm26, %k3
940// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x01]
941          vpcmpltb -8192(%rdx), %zmm26, %k3
942
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
946
947// CHECK: vpcmpleb %zmm25, %zmm26, %k3
948// CHECK:  encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x02]
949          vpcmpleb %zmm25, %zmm26, %k3
950
951// CHECK: vpcmpleb %zmm25, %zmm26, %k3 {%k7}
952// CHECK:  encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x02]
953          vpcmpleb %zmm25, %zmm26, %k3 {%k7}
954
955// CHECK: vpcmpleb (%rcx), %zmm26, %k3
956// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x02]
957          vpcmpleb (%rcx), %zmm26, %k3
958
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
962
963// CHECK: vpcmpleb 8128(%rdx), %zmm26, %k3
964// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x02]
965          vpcmpleb 8128(%rdx), %zmm26, %k3
966
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
970
971// CHECK: vpcmpleb -8192(%rdx), %zmm26, %k3
972// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x02]
973          vpcmpleb -8192(%rdx), %zmm26, %k3
974
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
978
979// CHECK: vpcmpneqb %zmm25, %zmm26, %k3
980// CHECK:  encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x04]
981          vpcmpneqb %zmm25, %zmm26, %k3
982
983// CHECK: vpcmpneqb %zmm25, %zmm26, %k3 {%k7}
984// CHECK:  encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x04]
985          vpcmpneqb %zmm25, %zmm26, %k3 {%k7}
986
987// CHECK: vpcmpneqb (%rcx), %zmm26, %k3
988// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x04]
989          vpcmpneqb (%rcx), %zmm26, %k3
990
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
994
995// CHECK: vpcmpneqb 8128(%rdx), %zmm26, %k3
996// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x04]
997          vpcmpneqb 8128(%rdx), %zmm26, %k3
998
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
1002
1003// CHECK: vpcmpneqb -8192(%rdx), %zmm26, %k3
1004// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x04]
1005          vpcmpneqb -8192(%rdx), %zmm26, %k3
1006
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
1010
1011// CHECK: vpcmpnltb %zmm25, %zmm26, %k3
1012// CHECK:  encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x05]
1013          vpcmpnltb %zmm25, %zmm26, %k3
1014
1015// CHECK: vpcmpnltb %zmm25, %zmm26, %k3 {%k7}
1016// CHECK:  encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x05]
1017          vpcmpnltb %zmm25, %zmm26, %k3 {%k7}
1018
1019// CHECK: vpcmpnltb (%rcx), %zmm26, %k3
1020// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x05]
1021          vpcmpnltb (%rcx), %zmm26, %k3
1022
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
1026
1027// CHECK: vpcmpnltb 8128(%rdx), %zmm26, %k3
1028// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x05]
1029          vpcmpnltb 8128(%rdx), %zmm26, %k3
1030
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
1034
1035// CHECK: vpcmpnltb -8192(%rdx), %zmm26, %k3
1036// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x05]
1037          vpcmpnltb -8192(%rdx), %zmm26, %k3
1038
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
1042
1043// CHECK: vpcmpnleb %zmm25, %zmm26, %k3
1044// CHECK:  encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x06]
1045          vpcmpnleb %zmm25, %zmm26, %k3
1046
1047// CHECK: vpcmpnleb %zmm25, %zmm26, %k3 {%k7}
1048// CHECK:  encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x06]
1049          vpcmpnleb %zmm25, %zmm26, %k3 {%k7}
1050
1051// CHECK: vpcmpnleb (%rcx), %zmm26, %k3
1052// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x06]
1053          vpcmpnleb (%rcx), %zmm26, %k3
1054
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
1058
1059// CHECK: vpcmpnleb 8128(%rdx), %zmm26, %k3
1060// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x06]
1061          vpcmpnleb 8128(%rdx), %zmm26, %k3
1062
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
1066
1067// CHECK: vpcmpnleb -8192(%rdx), %zmm26, %k3
1068// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x06]
1069          vpcmpnleb -8192(%rdx), %zmm26, %k3
1070
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
1074
1075// CHECK: vpcmpw $171, %zmm25, %zmm29, %k3
1076// CHECK:  encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0xab]
1077          vpcmpw $171, %zmm25, %zmm29, %k3
1078
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}
1082
1083// CHECK: vpcmpw $123, %zmm25, %zmm29, %k3
1084// CHECK:  encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x7b]
1085          vpcmpw $123, %zmm25, %zmm29, %k3
1086
1087// CHECK: vpcmpw $123, (%rcx), %zmm29, %k3
1088// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x7b]
1089          vpcmpw $123, (%rcx), %zmm29, %k3
1090
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
1094
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
1098
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
1102
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
1106
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
1110
1111// CHECK: vpcmpltw %zmm25, %zmm29, %k3
1112// CHECK:  encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x01]
1113          vpcmpltw %zmm25, %zmm29, %k3
1114
1115// CHECK: vpcmpltw %zmm25, %zmm29, %k3 {%k6}
1116// CHECK:  encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x01]
1117          vpcmpltw %zmm25, %zmm29, %k3 {%k6}
1118
1119// CHECK: vpcmpltw (%rcx), %zmm29, %k3
1120// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x01]
1121          vpcmpltw (%rcx), %zmm29, %k3
1122
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
1126
1127// CHECK: vpcmpltw 8128(%rdx), %zmm29, %k3
1128// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x01]
1129          vpcmpltw 8128(%rdx), %zmm29, %k3
1130
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
1134
1135// CHECK: vpcmpltw -8192(%rdx), %zmm29, %k3
1136// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x01]
1137          vpcmpltw -8192(%rdx), %zmm29, %k3
1138
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
1142
1143// CHECK: vpcmplew %zmm25, %zmm29, %k3
1144// CHECK:  encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x02]
1145          vpcmplew %zmm25, %zmm29, %k3
1146
1147// CHECK: vpcmplew %zmm25, %zmm29, %k3 {%k6}
1148// CHECK:  encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x02]
1149          vpcmplew %zmm25, %zmm29, %k3 {%k6}
1150
1151// CHECK: vpcmplew (%rcx), %zmm29, %k3
1152// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x02]
1153          vpcmplew (%rcx), %zmm29, %k3
1154
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
1158
1159// CHECK: vpcmplew 8128(%rdx), %zmm29, %k3
1160// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x02]
1161          vpcmplew 8128(%rdx), %zmm29, %k3
1162
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
1166
1167// CHECK: vpcmplew -8192(%rdx), %zmm29, %k3
1168// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x02]
1169          vpcmplew -8192(%rdx), %zmm29, %k3
1170
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
1174
1175// CHECK: vpcmpneqw %zmm25, %zmm29, %k3
1176// CHECK:  encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x04]
1177          vpcmpneqw %zmm25, %zmm29, %k3
1178
1179// CHECK: vpcmpneqw %zmm25, %zmm29, %k3 {%k6}
1180// CHECK:  encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x04]
1181          vpcmpneqw %zmm25, %zmm29, %k3 {%k6}
1182
1183// CHECK: vpcmpneqw (%rcx), %zmm29, %k3
1184// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x04]
1185          vpcmpneqw (%rcx), %zmm29, %k3
1186
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
1190
1191// CHECK: vpcmpneqw 8128(%rdx), %zmm29, %k3
1192// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x04]
1193          vpcmpneqw 8128(%rdx), %zmm29, %k3
1194
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
1198
1199// CHECK: vpcmpneqw -8192(%rdx), %zmm29, %k3
1200// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x04]
1201          vpcmpneqw -8192(%rdx), %zmm29, %k3
1202
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
1206
1207// CHECK: vpcmpnltw %zmm25, %zmm29, %k3
1208// CHECK:  encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x05]
1209          vpcmpnltw %zmm25, %zmm29, %k3
1210
1211// CHECK: vpcmpnltw %zmm25, %zmm29, %k3 {%k6}
1212// CHECK:  encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x05]
1213          vpcmpnltw %zmm25, %zmm29, %k3 {%k6}
1214
1215// CHECK: vpcmpnltw (%rcx), %zmm29, %k3
1216// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x05]
1217          vpcmpnltw (%rcx), %zmm29, %k3
1218
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
1222
1223// CHECK: vpcmpnltw 8128(%rdx), %zmm29, %k3
1224// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x05]
1225          vpcmpnltw 8128(%rdx), %zmm29, %k3
1226
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
1230
1231// CHECK: vpcmpnltw -8192(%rdx), %zmm29, %k3
1232// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x05]
1233          vpcmpnltw -8192(%rdx), %zmm29, %k3
1234
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
1238
1239// CHECK: vpcmpnlew %zmm25, %zmm29, %k3
1240// CHECK:  encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x06]
1241          vpcmpnlew %zmm25, %zmm29, %k3
1242
1243// CHECK: vpcmpnlew %zmm25, %zmm29, %k3 {%k6}
1244// CHECK:  encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x06]
1245          vpcmpnlew %zmm25, %zmm29, %k3 {%k6}
1246
1247// CHECK: vpcmpnlew (%rcx), %zmm29, %k3
1248// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x06]
1249          vpcmpnlew (%rcx), %zmm29, %k3
1250
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
1254
1255// CHECK: vpcmpnlew 8128(%rdx), %zmm29, %k3
1256// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x06]
1257          vpcmpnlew 8128(%rdx), %zmm29, %k3
1258
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
1262
1263// CHECK: vpcmpnlew -8192(%rdx), %zmm29, %k3
1264// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x06]
1265          vpcmpnlew -8192(%rdx), %zmm29, %k3
1266
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
1270
1271// CHECK: vpcmpub $171, %zmm22, %zmm29, %k4
1272// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0xab]
1273          vpcmpub $171, %zmm22, %zmm29, %k4
1274
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}
1278
1279// CHECK: vpcmpub $123, %zmm22, %zmm29, %k4
1280// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x7b]
1281          vpcmpub $123, %zmm22, %zmm29, %k4
1282
1283// CHECK: vpcmpub $123, (%rcx), %zmm29, %k4
1284// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x7b]
1285          vpcmpub $123, (%rcx), %zmm29, %k4
1286
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
1290
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
1294
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
1298
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
1302
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
1306
1307// CHECK: vpcmpequb %zmm22, %zmm29, %k4
1308// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x00]
1309          vpcmpequb %zmm22, %zmm29, %k4
1310
1311// CHECK: vpcmpequb %zmm22, %zmm29, %k4 {%k7}
1312// CHECK:  encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x00]
1313          vpcmpequb %zmm22, %zmm29, %k4 {%k7}
1314
1315// CHECK: vpcmpequb %zmm22, %zmm29, %k4
1316// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x00]
1317          vpcmpequb %zmm22, %zmm29, %k4
1318
1319// CHECK: vpcmpequb (%rcx), %zmm29, %k4
1320// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x00]
1321          vpcmpequb (%rcx), %zmm29, %k4
1322
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
1326
1327// CHECK: vpcmpequb 8128(%rdx), %zmm29, %k4
1328// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x00]
1329          vpcmpequb 8128(%rdx), %zmm29, %k4
1330
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
1334
1335// CHECK: vpcmpequb -8192(%rdx), %zmm29, %k4
1336// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x00]
1337          vpcmpequb -8192(%rdx), %zmm29, %k4
1338
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
1342
1343// CHECK: vpcmpltub %zmm22, %zmm29, %k4
1344// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x01]
1345          vpcmpltub %zmm22, %zmm29, %k4
1346
1347// CHECK: vpcmpltub %zmm22, %zmm29, %k4 {%k7}
1348// CHECK:  encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x01]
1349          vpcmpltub %zmm22, %zmm29, %k4 {%k7}
1350
1351// CHECK: vpcmpltub %zmm22, %zmm29, %k4
1352// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x01]
1353          vpcmpltub %zmm22, %zmm29, %k4
1354
1355// CHECK: vpcmpltub (%rcx), %zmm29, %k4
1356// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x01]
1357          vpcmpltub (%rcx), %zmm29, %k4
1358
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
1362
1363// CHECK: vpcmpltub 8128(%rdx), %zmm29, %k4
1364// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x01]
1365          vpcmpltub 8128(%rdx), %zmm29, %k4
1366
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
1370
1371// CHECK: vpcmpltub -8192(%rdx), %zmm29, %k4
1372// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x01]
1373          vpcmpltub -8192(%rdx), %zmm29, %k4
1374
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
1378
1379// CHECK: vpcmpleub %zmm22, %zmm29, %k4
1380// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x02]
1381          vpcmpleub %zmm22, %zmm29, %k4
1382
1383// CHECK: vpcmpleub %zmm22, %zmm29, %k4 {%k7}
1384// CHECK:  encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x02]
1385          vpcmpleub %zmm22, %zmm29, %k4 {%k7}
1386
1387// CHECK: vpcmpleub %zmm22, %zmm29, %k4
1388// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x02]
1389          vpcmpleub %zmm22, %zmm29, %k4
1390
1391// CHECK: vpcmpleub (%rcx), %zmm29, %k4
1392// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x02]
1393          vpcmpleub (%rcx), %zmm29, %k4
1394
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
1398
1399// CHECK: vpcmpleub 8128(%rdx), %zmm29, %k4
1400// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x02]
1401          vpcmpleub 8128(%rdx), %zmm29, %k4
1402
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
1406
1407// CHECK: vpcmpleub -8192(%rdx), %zmm29, %k4
1408// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x02]
1409          vpcmpleub -8192(%rdx), %zmm29, %k4
1410
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
1414
1415// CHECK: vpcmpnequb %zmm22, %zmm29, %k4
1416// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x04]
1417          vpcmpnequb %zmm22, %zmm29, %k4
1418
1419// CHECK: vpcmpnequb %zmm22, %zmm29, %k4 {%k7}
1420// CHECK:  encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x04]
1421          vpcmpnequb %zmm22, %zmm29, %k4 {%k7}
1422
1423// CHECK: vpcmpnequb %zmm22, %zmm29, %k4
1424// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x04]
1425          vpcmpnequb %zmm22, %zmm29, %k4
1426
1427// CHECK: vpcmpnequb (%rcx), %zmm29, %k4
1428// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x04]
1429          vpcmpnequb (%rcx), %zmm29, %k4
1430
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
1434
1435// CHECK: vpcmpnequb 8128(%rdx), %zmm29, %k4
1436// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x04]
1437          vpcmpnequb 8128(%rdx), %zmm29, %k4
1438
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
1442
1443// CHECK: vpcmpnequb -8192(%rdx), %zmm29, %k4
1444// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x04]
1445          vpcmpnequb -8192(%rdx), %zmm29, %k4
1446
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
1450
1451// CHECK: vpcmpnltub %zmm22, %zmm29, %k4
1452// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x05]
1453          vpcmpnltub %zmm22, %zmm29, %k4
1454
1455// CHECK: vpcmpnltub %zmm22, %zmm29, %k4 {%k7}
1456// CHECK:  encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x05]
1457          vpcmpnltub %zmm22, %zmm29, %k4 {%k7}
1458
1459// CHECK: vpcmpnltub %zmm22, %zmm29, %k4
1460// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x05]
1461          vpcmpnltub %zmm22, %zmm29, %k4
1462
1463// CHECK: vpcmpnltub (%rcx), %zmm29, %k4
1464// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x05]
1465          vpcmpnltub (%rcx), %zmm29, %k4
1466
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
1470
1471// CHECK: vpcmpnltub 8128(%rdx), %zmm29, %k4
1472// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x05]
1473          vpcmpnltub 8128(%rdx), %zmm29, %k4
1474
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
1478
1479// CHECK: vpcmpnltub -8192(%rdx), %zmm29, %k4
1480// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x05]
1481          vpcmpnltub -8192(%rdx), %zmm29, %k4
1482
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
1486
1487// CHECK: vpcmpnleub %zmm22, %zmm29, %k4
1488// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x06]
1489          vpcmpnleub %zmm22, %zmm29, %k4
1490
1491// CHECK: vpcmpnleub %zmm22, %zmm29, %k4 {%k7}
1492// CHECK:  encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x06]
1493          vpcmpnleub %zmm22, %zmm29, %k4 {%k7}
1494
1495// CHECK: vpcmpnleub %zmm22, %zmm29, %k4
1496// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x06]
1497          vpcmpnleub %zmm22, %zmm29, %k4
1498
1499// CHECK: vpcmpnleub (%rcx), %zmm29, %k4
1500// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x06]
1501          vpcmpnleub (%rcx), %zmm29, %k4
1502
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
1506
1507// CHECK: vpcmpnleub 8128(%rdx), %zmm29, %k4
1508// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x06]
1509          vpcmpnleub 8128(%rdx), %zmm29, %k4
1510
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
1514
1515// CHECK: vpcmpnleub -8192(%rdx), %zmm29, %k4
1516// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x06]
1517          vpcmpnleub -8192(%rdx), %zmm29, %k4
1518
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
1522
1523// CHECK: vpcmpuw $171, %zmm22, %zmm22, %k4
1524// CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0xab]
1525          vpcmpuw $171, %zmm22, %zmm22, %k4
1526
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}
1530
1531// CHECK: vpcmpuw $123, %zmm22, %zmm22, %k4
1532// CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x7b]
1533          vpcmpuw $123, %zmm22, %zmm22, %k4
1534
1535// CHECK: vpcmpuw $123, (%rcx), %zmm22, %k4
1536// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x7b]
1537          vpcmpuw $123, (%rcx), %zmm22, %k4
1538
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
1542
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
1546
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
1550
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
1554
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
1558
1559// CHECK: vpcmpequw %zmm22, %zmm22, %k4
1560// CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x00]
1561          vpcmpequw %zmm22, %zmm22, %k4
1562
1563// CHECK: vpcmpequw %zmm22, %zmm22, %k4 {%k7}
1564// CHECK:  encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x00]
1565          vpcmpequw %zmm22, %zmm22, %k4 {%k7}
1566
1567// CHECK: vpcmpequw (%rcx), %zmm22, %k4
1568// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x00]
1569          vpcmpequw (%rcx), %zmm22, %k4
1570
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
1574
1575// CHECK: vpcmpequw 8128(%rdx), %zmm22, %k4
1576// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x00]
1577          vpcmpequw 8128(%rdx), %zmm22, %k4
1578
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
1582
1583// CHECK: vpcmpequw -8192(%rdx), %zmm22, %k4
1584// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x00]
1585          vpcmpequw -8192(%rdx), %zmm22, %k4
1586
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
1590
1591// CHECK: vpcmpltuw %zmm22, %zmm22, %k4
1592// CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x01]
1593          vpcmpltuw %zmm22, %zmm22, %k4
1594
1595// CHECK: vpcmpltuw %zmm22, %zmm22, %k4 {%k7}
1596// CHECK:  encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x01]
1597          vpcmpltuw %zmm22, %zmm22, %k4 {%k7}
1598
1599// CHECK: vpcmpltuw (%rcx), %zmm22, %k4
1600// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x01]
1601          vpcmpltuw (%rcx), %zmm22, %k4
1602
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
1606
1607// CHECK: vpcmpltuw 8128(%rdx), %zmm22, %k4
1608// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x01]
1609          vpcmpltuw 8128(%rdx), %zmm22, %k4
1610
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
1614
1615// CHECK: vpcmpltuw -8192(%rdx), %zmm22, %k4
1616// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x01]
1617          vpcmpltuw -8192(%rdx), %zmm22, %k4
1618
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
1622
1623// CHECK: vpcmpleuw %zmm22, %zmm22, %k4
1624// CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x02]
1625          vpcmpleuw %zmm22, %zmm22, %k4
1626
1627// CHECK: vpcmpleuw %zmm22, %zmm22, %k4 {%k7}
1628// CHECK:  encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x02]
1629          vpcmpleuw %zmm22, %zmm22, %k4 {%k7}
1630
1631// CHECK: vpcmpleuw (%rcx), %zmm22, %k4
1632// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x02]
1633          vpcmpleuw (%rcx), %zmm22, %k4
1634
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
1638
1639// CHECK: vpcmpleuw 8128(%rdx), %zmm22, %k4
1640// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x02]
1641          vpcmpleuw 8128(%rdx), %zmm22, %k4
1642
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
1646
1647// CHECK: vpcmpleuw -8192(%rdx), %zmm22, %k4
1648// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x02]
1649          vpcmpleuw -8192(%rdx), %zmm22, %k4
1650
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
1654
1655// CHECK: vpcmpnequw %zmm22, %zmm22, %k4
1656// CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x04]
1657          vpcmpnequw %zmm22, %zmm22, %k4
1658
1659// CHECK: vpcmpnequw %zmm22, %zmm22, %k4 {%k7}
1660// CHECK:  encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x04]
1661          vpcmpnequw %zmm22, %zmm22, %k4 {%k7}
1662
1663// CHECK: vpcmpnequw (%rcx), %zmm22, %k4
1664// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x04]
1665          vpcmpnequw (%rcx), %zmm22, %k4
1666
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
1670
1671// CHECK: vpcmpnequw 8128(%rdx), %zmm22, %k4
1672// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x04]
1673          vpcmpnequw 8128(%rdx), %zmm22, %k4
1674
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
1678
1679// CHECK: vpcmpnequw -8192(%rdx), %zmm22, %k4
1680// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x04]
1681          vpcmpnequw -8192(%rdx), %zmm22, %k4
1682
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
1686
1687// CHECK: vpcmpnltuw %zmm22, %zmm22, %k4
1688// CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x05]
1689          vpcmpnltuw %zmm22, %zmm22, %k4
1690
1691// CHECK: vpcmpnltuw %zmm22, %zmm22, %k4 {%k7}
1692// CHECK:  encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x05]
1693          vpcmpnltuw %zmm22, %zmm22, %k4 {%k7}
1694
1695// CHECK: vpcmpnltuw (%rcx), %zmm22, %k4
1696// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x05]
1697          vpcmpnltuw (%rcx), %zmm22, %k4
1698
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
1702
1703// CHECK: vpcmpnltuw 8128(%rdx), %zmm22, %k4
1704// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x05]
1705          vpcmpnltuw 8128(%rdx), %zmm22, %k4
1706
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
1710
1711// CHECK: vpcmpnltuw -8192(%rdx), %zmm22, %k4
1712// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x05]
1713          vpcmpnltuw -8192(%rdx), %zmm22, %k4
1714
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
1718
1719// CHECK: vpcmpnleuw %zmm22, %zmm22, %k4
1720// CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x06]
1721          vpcmpnleuw %zmm22, %zmm22, %k4
1722
1723// CHECK: vpcmpnleuw %zmm22, %zmm22, %k4 {%k7}
1724// CHECK:  encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x06]
1725          vpcmpnleuw %zmm22, %zmm22, %k4 {%k7}
1726
1727// CHECK: vpcmpnleuw (%rcx), %zmm22, %k4
1728// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x06]
1729          vpcmpnleuw (%rcx), %zmm22, %k4
1730
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
1734
1735// CHECK: vpcmpnleuw 8128(%rdx), %zmm22, %k4
1736// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x06]
1737          vpcmpnleuw 8128(%rdx), %zmm22, %k4
1738
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
1742
1743// CHECK: vpcmpnleuw -8192(%rdx), %zmm22, %k4
1744// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x06]
1745          vpcmpnleuw -8192(%rdx), %zmm22, %k4
1746
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
1750
1751// CHECK: vpsllw %xmm24, %zmm21, %zmm24
1752// CHECK:  encoding: [0x62,0x01,0x55,0x40,0xf1,0xc0]
1753          vpsllw %xmm24, %zmm21, %zmm24
1754
1755// CHECK: vpsllw %xmm24, %zmm21, %zmm24 {%k2}
1756// CHECK:  encoding: [0x62,0x01,0x55,0x42,0xf1,0xc0]
1757          vpsllw %xmm24, %zmm21, %zmm24 {%k2}
1758
1759// CHECK: vpsllw %xmm24, %zmm21, %zmm24 {%k2} {z}
1760// CHECK:  encoding: [0x62,0x01,0x55,0xc2,0xf1,0xc0]
1761          vpsllw %xmm24, %zmm21, %zmm24 {%k2} {z}
1762
1763// CHECK: vpsllw (%rcx), %zmm21, %zmm24
1764// CHECK:  encoding: [0x62,0x61,0x55,0x40,0xf1,0x01]
1765          vpsllw (%rcx), %zmm21, %zmm24
1766
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
1770
1771// CHECK: vpsllw 2032(%rdx), %zmm21, %zmm24
1772// CHECK:  encoding: [0x62,0x61,0x55,0x40,0xf1,0x42,0x7f]
1773          vpsllw 2032(%rdx), %zmm21, %zmm24
1774
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
1778
1779// CHECK: vpsllw -2048(%rdx), %zmm21, %zmm24
1780// CHECK:  encoding: [0x62,0x61,0x55,0x40,0xf1,0x42,0x80]
1781          vpsllw -2048(%rdx), %zmm21, %zmm24
1782
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
1786
1787// CHECK: vpsraw %xmm21, %zmm27, %zmm28
1788// CHECK:  encoding: [0x62,0x21,0x25,0x40,0xe1,0xe5]
1789          vpsraw %xmm21, %zmm27, %zmm28
1790
1791// CHECK: vpsraw %xmm21, %zmm27, %zmm28 {%k4}
1792// CHECK:  encoding: [0x62,0x21,0x25,0x44,0xe1,0xe5]
1793          vpsraw %xmm21, %zmm27, %zmm28 {%k4}
1794
1795// CHECK: vpsraw %xmm21, %zmm27, %zmm28 {%k4} {z}
1796// CHECK:  encoding: [0x62,0x21,0x25,0xc4,0xe1,0xe5]
1797          vpsraw %xmm21, %zmm27, %zmm28 {%k4} {z}
1798
1799// CHECK: vpsraw (%rcx), %zmm27, %zmm28
1800// CHECK:  encoding: [0x62,0x61,0x25,0x40,0xe1,0x21]
1801          vpsraw (%rcx), %zmm27, %zmm28
1802
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
1806
1807// CHECK: vpsraw 2032(%rdx), %zmm27, %zmm28
1808// CHECK:  encoding: [0x62,0x61,0x25,0x40,0xe1,0x62,0x7f]
1809          vpsraw 2032(%rdx), %zmm27, %zmm28
1810
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
1814
1815// CHECK: vpsraw -2048(%rdx), %zmm27, %zmm28
1816// CHECK:  encoding: [0x62,0x61,0x25,0x40,0xe1,0x62,0x80]
1817          vpsraw -2048(%rdx), %zmm27, %zmm28
1818
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
1822
1823// CHECK: vpsrlw %xmm22, %zmm20, %zmm23
1824// CHECK:  encoding: [0x62,0xa1,0x5d,0x40,0xd1,0xfe]
1825          vpsrlw %xmm22, %zmm20, %zmm23
1826
1827// CHECK: vpsrlw %xmm22, %zmm20, %zmm23 {%k6}
1828// CHECK:  encoding: [0x62,0xa1,0x5d,0x46,0xd1,0xfe]
1829          vpsrlw %xmm22, %zmm20, %zmm23 {%k6}
1830
1831// CHECK: vpsrlw %xmm22, %zmm20, %zmm23 {%k6} {z}
1832// CHECK:  encoding: [0x62,0xa1,0x5d,0xc6,0xd1,0xfe]
1833          vpsrlw %xmm22, %zmm20, %zmm23 {%k6} {z}
1834
1835// CHECK: vpsrlw (%rcx), %zmm20, %zmm23
1836// CHECK:  encoding: [0x62,0xe1,0x5d,0x40,0xd1,0x39]
1837          vpsrlw (%rcx), %zmm20, %zmm23
1838
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
1842
1843// CHECK: vpsrlw 2032(%rdx), %zmm20, %zmm23
1844// CHECK:  encoding: [0x62,0xe1,0x5d,0x40,0xd1,0x7a,0x7f]
1845          vpsrlw 2032(%rdx), %zmm20, %zmm23
1846
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
1850
1851// CHECK: vpsrlw -2048(%rdx), %zmm20, %zmm23
1852// CHECK:  encoding: [0x62,0xe1,0x5d,0x40,0xd1,0x7a,0x80]
1853          vpsrlw -2048(%rdx), %zmm20, %zmm23
1854
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
1858
1859// CHECK: vpsrlw $171, %zmm26, %zmm25
1860// CHECK:  encoding: [0x62,0x91,0x35,0x40,0x71,0xd2,0xab]
1861          vpsrlw $171, %zmm26, %zmm25
1862
1863// CHECK: vpsrlw $171, %zmm26, %zmm25 {%k6}
1864// CHECK:  encoding: [0x62,0x91,0x35,0x46,0x71,0xd2,0xab]
1865          vpsrlw $171, %zmm26, %zmm25 {%k6}
1866
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}
1870
1871// CHECK: vpsrlw $123, %zmm26, %zmm25
1872// CHECK:  encoding: [0x62,0x91,0x35,0x40,0x71,0xd2,0x7b]
1873          vpsrlw $123, %zmm26, %zmm25
1874
1875// CHECK: vpsrlw $123, (%rcx), %zmm25
1876// CHECK:  encoding: [0x62,0xf1,0x35,0x40,0x71,0x11,0x7b]
1877          vpsrlw $123, (%rcx), %zmm25
1878
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
1882
1883// CHECK: vpsrlw $123, 8128(%rdx), %zmm25
1884// CHECK:  encoding: [0x62,0xf1,0x35,0x40,0x71,0x52,0x7f,0x7b]
1885          vpsrlw $123, 8128(%rdx), %zmm25
1886
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
1890
1891// CHECK: vpsrlw $123, -8192(%rdx), %zmm25
1892// CHECK:  encoding: [0x62,0xf1,0x35,0x40,0x71,0x52,0x80,0x7b]
1893          vpsrlw $123, -8192(%rdx), %zmm25
1894
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
1898
1899// CHECK: vpsraw $171, %zmm29, %zmm28
1900// CHECK:  encoding: [0x62,0x91,0x1d,0x40,0x71,0xe5,0xab]
1901          vpsraw $171, %zmm29, %zmm28
1902
1903// CHECK: vpsraw $171, %zmm29, %zmm28 {%k4}
1904// CHECK:  encoding: [0x62,0x91,0x1d,0x44,0x71,0xe5,0xab]
1905          vpsraw $171, %zmm29, %zmm28 {%k4}
1906
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}
1910
1911// CHECK: vpsraw $123, %zmm29, %zmm28
1912// CHECK:  encoding: [0x62,0x91,0x1d,0x40,0x71,0xe5,0x7b]
1913          vpsraw $123, %zmm29, %zmm28
1914
1915// CHECK: vpsraw $123, (%rcx), %zmm28
1916// CHECK:  encoding: [0x62,0xf1,0x1d,0x40,0x71,0x21,0x7b]
1917          vpsraw $123, (%rcx), %zmm28
1918
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
1922
1923// CHECK: vpsraw $123, 8128(%rdx), %zmm28
1924// CHECK:  encoding: [0x62,0xf1,0x1d,0x40,0x71,0x62,0x7f,0x7b]
1925          vpsraw $123, 8128(%rdx), %zmm28
1926
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
1930
1931// CHECK: vpsraw $123, -8192(%rdx), %zmm28
1932// CHECK:  encoding: [0x62,0xf1,0x1d,0x40,0x71,0x62,0x80,0x7b]
1933          vpsraw $123, -8192(%rdx), %zmm28
1934
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
1938
1939// CHECK: vpsrlvw %zmm21, %zmm18, %zmm17
1940// CHECK:  encoding: [0x62,0xa2,0xed,0x40,0x10,0xcd]
1941          vpsrlvw %zmm21, %zmm18, %zmm17
1942
1943// CHECK: vpsrlvw %zmm21, %zmm18, %zmm17 {%k6}
1944// CHECK:  encoding: [0x62,0xa2,0xed,0x46,0x10,0xcd]
1945          vpsrlvw %zmm21, %zmm18, %zmm17 {%k6}
1946
1947// CHECK: vpsrlvw %zmm21, %zmm18, %zmm17 {%k6} {z}
1948// CHECK:  encoding: [0x62,0xa2,0xed,0xc6,0x10,0xcd]
1949          vpsrlvw %zmm21, %zmm18, %zmm17 {%k6} {z}
1950
1951// CHECK: vpsrlvw (%rcx), %zmm18, %zmm17
1952// CHECK:  encoding: [0x62,0xe2,0xed,0x40,0x10,0x09]
1953          vpsrlvw (%rcx), %zmm18, %zmm17
1954
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
1958
1959// CHECK: vpsrlvw 8128(%rdx), %zmm18, %zmm17
1960// CHECK:  encoding: [0x62,0xe2,0xed,0x40,0x10,0x4a,0x7f]
1961          vpsrlvw 8128(%rdx), %zmm18, %zmm17
1962
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
1966
1967// CHECK: vpsrlvw -8192(%rdx), %zmm18, %zmm17
1968// CHECK:  encoding: [0x62,0xe2,0xed,0x40,0x10,0x4a,0x80]
1969          vpsrlvw -8192(%rdx), %zmm18, %zmm17
1970
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
1974
1975// CHECK: vpsravw %zmm20, %zmm29, %zmm19
1976// CHECK:  encoding: [0x62,0xa2,0x95,0x40,0x11,0xdc]
1977          vpsravw %zmm20, %zmm29, %zmm19
1978
1979// CHECK: vpsravw %zmm20, %zmm29, %zmm19 {%k7}
1980// CHECK:  encoding: [0x62,0xa2,0x95,0x47,0x11,0xdc]
1981          vpsravw %zmm20, %zmm29, %zmm19 {%k7}
1982
1983// CHECK: vpsravw %zmm20, %zmm29, %zmm19 {%k7} {z}
1984// CHECK:  encoding: [0x62,0xa2,0x95,0xc7,0x11,0xdc]
1985          vpsravw %zmm20, %zmm29, %zmm19 {%k7} {z}
1986
1987// CHECK: vpsravw (%rcx), %zmm29, %zmm19
1988// CHECK:  encoding: [0x62,0xe2,0x95,0x40,0x11,0x19]
1989          vpsravw (%rcx), %zmm29, %zmm19
1990
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
1994
1995// CHECK: vpsravw 8128(%rdx), %zmm29, %zmm19
1996// CHECK:  encoding: [0x62,0xe2,0x95,0x40,0x11,0x5a,0x7f]
1997          vpsravw 8128(%rdx), %zmm29, %zmm19
1998
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
2002
2003// CHECK: vpsravw -8192(%rdx), %zmm29, %zmm19
2004// CHECK:  encoding: [0x62,0xe2,0x95,0x40,0x11,0x5a,0x80]
2005          vpsravw -8192(%rdx), %zmm29, %zmm19
2006
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
2010
2011