x86-64-avx512bw.s revision 37ed9c199ca639565f6ce88105f9e39e898d82d0 
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: vpcmpeqb %zmm26, %zmm26, %k4
76// CHECK:  encoding: [0x62,0x91,0x2d,0x40,0x74,0xe2]
77          vpcmpeqb %zmm26, %zmm26, %k4
78
79// CHECK: vpcmpeqb %zmm26, %zmm26, %k4 {%k6}
80// CHECK:  encoding: [0x62,0x91,0x2d,0x46,0x74,0xe2]
81          vpcmpeqb %zmm26, %zmm26, %k4 {%k6}
82
83// CHECK: vpcmpeqb (%rcx), %zmm26, %k4
84// CHECK:  encoding: [0x62,0xf1,0x2d,0x40,0x74,0x21]
85          vpcmpeqb (%rcx), %zmm26, %k4
86
87// CHECK: vpcmpeqb 291(%rax,%r14,8), %zmm26, %k4
88// CHECK:  encoding: [0x62,0xb1,0x2d,0x40,0x74,0xa4,0xf0,0x23,0x01,0x00,0x00]
89          vpcmpeqb 291(%rax,%r14,8), %zmm26, %k4
90
91// CHECK: vpcmpeqb 8128(%rdx), %zmm26, %k4
92// CHECK:  encoding: [0x62,0xf1,0x2d,0x40,0x74,0x62,0x7f]
93          vpcmpeqb 8128(%rdx), %zmm26, %k4
94
95// CHECK: vpcmpeqb 8192(%rdx), %zmm26, %k4
96// CHECK:  encoding: [0x62,0xf1,0x2d,0x40,0x74,0xa2,0x00,0x20,0x00,0x00]
97          vpcmpeqb 8192(%rdx), %zmm26, %k4
98
99// CHECK: vpcmpeqb -8192(%rdx), %zmm26, %k4
100// CHECK:  encoding: [0x62,0xf1,0x2d,0x40,0x74,0x62,0x80]
101          vpcmpeqb -8192(%rdx), %zmm26, %k4
102
103// CHECK: vpcmpeqb -8256(%rdx), %zmm26, %k4
104// CHECK:  encoding: [0x62,0xf1,0x2d,0x40,0x74,0xa2,0xc0,0xdf,0xff,0xff]
105          vpcmpeqb -8256(%rdx), %zmm26, %k4
106
107// CHECK: vpcmpeqw %zmm19, %zmm23, %k5
108// CHECK:  encoding: [0x62,0xb1,0x45,0x40,0x75,0xeb]
109          vpcmpeqw %zmm19, %zmm23, %k5
110
111// CHECK: vpcmpeqw %zmm19, %zmm23, %k5 {%k7}
112// CHECK:  encoding: [0x62,0xb1,0x45,0x47,0x75,0xeb]
113          vpcmpeqw %zmm19, %zmm23, %k5 {%k7}
114
115// CHECK: vpcmpeqw (%rcx), %zmm23, %k5
116// CHECK:  encoding: [0x62,0xf1,0x45,0x40,0x75,0x29]
117          vpcmpeqw (%rcx), %zmm23, %k5
118
119// CHECK: vpcmpeqw 291(%rax,%r14,8), %zmm23, %k5
120// CHECK:  encoding: [0x62,0xb1,0x45,0x40,0x75,0xac,0xf0,0x23,0x01,0x00,0x00]
121          vpcmpeqw 291(%rax,%r14,8), %zmm23, %k5
122
123// CHECK: vpcmpeqw 8128(%rdx), %zmm23, %k5
124// CHECK:  encoding: [0x62,0xf1,0x45,0x40,0x75,0x6a,0x7f]
125          vpcmpeqw 8128(%rdx), %zmm23, %k5
126
127// CHECK: vpcmpeqw 8192(%rdx), %zmm23, %k5
128// CHECK:  encoding: [0x62,0xf1,0x45,0x40,0x75,0xaa,0x00,0x20,0x00,0x00]
129          vpcmpeqw 8192(%rdx), %zmm23, %k5
130
131// CHECK: vpcmpeqw -8192(%rdx), %zmm23, %k5
132// CHECK:  encoding: [0x62,0xf1,0x45,0x40,0x75,0x6a,0x80]
133          vpcmpeqw -8192(%rdx), %zmm23, %k5
134
135// CHECK: vpcmpeqw -8256(%rdx), %zmm23, %k5
136// CHECK:  encoding: [0x62,0xf1,0x45,0x40,0x75,0xaa,0xc0,0xdf,0xff,0xff]
137          vpcmpeqw -8256(%rdx), %zmm23, %k5
138
139// CHECK: vpcmpgtb %zmm20, %zmm30, %k4
140// CHECK:  encoding: [0x62,0xb1,0x0d,0x40,0x64,0xe4]
141          vpcmpgtb %zmm20, %zmm30, %k4
142
143// CHECK: vpcmpgtb %zmm20, %zmm30, %k4 {%k1}
144// CHECK:  encoding: [0x62,0xb1,0x0d,0x41,0x64,0xe4]
145          vpcmpgtb %zmm20, %zmm30, %k4 {%k1}
146
147// CHECK: vpcmpgtb (%rcx), %zmm30, %k4
148// CHECK:  encoding: [0x62,0xf1,0x0d,0x40,0x64,0x21]
149          vpcmpgtb (%rcx), %zmm30, %k4
150
151// CHECK: vpcmpgtb 291(%rax,%r14,8), %zmm30, %k4
152// CHECK:  encoding: [0x62,0xb1,0x0d,0x40,0x64,0xa4,0xf0,0x23,0x01,0x00,0x00]
153          vpcmpgtb 291(%rax,%r14,8), %zmm30, %k4
154
155// CHECK: vpcmpgtb 8128(%rdx), %zmm30, %k4
156// CHECK:  encoding: [0x62,0xf1,0x0d,0x40,0x64,0x62,0x7f]
157          vpcmpgtb 8128(%rdx), %zmm30, %k4
158
159// CHECK: vpcmpgtb 8192(%rdx), %zmm30, %k4
160// CHECK:  encoding: [0x62,0xf1,0x0d,0x40,0x64,0xa2,0x00,0x20,0x00,0x00]
161          vpcmpgtb 8192(%rdx), %zmm30, %k4
162
163// CHECK: vpcmpgtb -8192(%rdx), %zmm30, %k4
164// CHECK:  encoding: [0x62,0xf1,0x0d,0x40,0x64,0x62,0x80]
165          vpcmpgtb -8192(%rdx), %zmm30, %k4
166
167// CHECK: vpcmpgtb -8256(%rdx), %zmm30, %k4
168// CHECK:  encoding: [0x62,0xf1,0x0d,0x40,0x64,0xa2,0xc0,0xdf,0xff,0xff]
169          vpcmpgtb -8256(%rdx), %zmm30, %k4
170
171// CHECK: vpcmpgtw %zmm21, %zmm23, %k5
172// CHECK:  encoding: [0x62,0xb1,0x45,0x40,0x65,0xed]
173          vpcmpgtw %zmm21, %zmm23, %k5
174
175// CHECK: vpcmpgtw %zmm21, %zmm23, %k5 {%k7}
176// CHECK:  encoding: [0x62,0xb1,0x45,0x47,0x65,0xed]
177          vpcmpgtw %zmm21, %zmm23, %k5 {%k7}
178
179// CHECK: vpcmpgtw (%rcx), %zmm23, %k5
180// CHECK:  encoding: [0x62,0xf1,0x45,0x40,0x65,0x29]
181          vpcmpgtw (%rcx), %zmm23, %k5
182
183// CHECK: vpcmpgtw 291(%rax,%r14,8), %zmm23, %k5
184// CHECK:  encoding: [0x62,0xb1,0x45,0x40,0x65,0xac,0xf0,0x23,0x01,0x00,0x00]
185          vpcmpgtw 291(%rax,%r14,8), %zmm23, %k5
186
187// CHECK: vpcmpgtw 8128(%rdx), %zmm23, %k5
188// CHECK:  encoding: [0x62,0xf1,0x45,0x40,0x65,0x6a,0x7f]
189          vpcmpgtw 8128(%rdx), %zmm23, %k5
190
191// CHECK: vpcmpgtw 8192(%rdx), %zmm23, %k5
192// CHECK:  encoding: [0x62,0xf1,0x45,0x40,0x65,0xaa,0x00,0x20,0x00,0x00]
193          vpcmpgtw 8192(%rdx), %zmm23, %k5
194
195// CHECK: vpcmpgtw -8192(%rdx), %zmm23, %k5
196// CHECK:  encoding: [0x62,0xf1,0x45,0x40,0x65,0x6a,0x80]
197          vpcmpgtw -8192(%rdx), %zmm23, %k5
198
199// CHECK: vpcmpgtw -8256(%rdx), %zmm23, %k5
200// CHECK:  encoding: [0x62,0xf1,0x45,0x40,0x65,0xaa,0xc0,0xdf,0xff,0xff]
201          vpcmpgtw -8256(%rdx), %zmm23, %k5
202
203// CHECK: vpmaxsb %zmm26, %zmm29, %zmm23
204// CHECK:  encoding: [0x62,0x82,0x15,0x40,0x3c,0xfa]
205          vpmaxsb %zmm26, %zmm29, %zmm23
206
207// CHECK: vpmaxsb %zmm26, %zmm29, %zmm23 {%k4}
208// CHECK:  encoding: [0x62,0x82,0x15,0x44,0x3c,0xfa]
209          vpmaxsb %zmm26, %zmm29, %zmm23 {%k4}
210
211// CHECK: vpmaxsb %zmm26, %zmm29, %zmm23 {%k4} {z}
212// CHECK:  encoding: [0x62,0x82,0x15,0xc4,0x3c,0xfa]
213          vpmaxsb %zmm26, %zmm29, %zmm23 {%k4} {z}
214
215// CHECK: vpmaxsb (%rcx), %zmm29, %zmm23
216// CHECK:  encoding: [0x62,0xe2,0x15,0x40,0x3c,0x39]
217          vpmaxsb (%rcx), %zmm29, %zmm23
218
219// CHECK: vpmaxsb 291(%rax,%r14,8), %zmm29, %zmm23
220// CHECK:  encoding: [0x62,0xa2,0x15,0x40,0x3c,0xbc,0xf0,0x23,0x01,0x00,0x00]
221          vpmaxsb 291(%rax,%r14,8), %zmm29, %zmm23
222
223// CHECK: vpmaxsb 8128(%rdx), %zmm29, %zmm23
224// CHECK:  encoding: [0x62,0xe2,0x15,0x40,0x3c,0x7a,0x7f]
225          vpmaxsb 8128(%rdx), %zmm29, %zmm23
226
227// CHECK: vpmaxsb 8192(%rdx), %zmm29, %zmm23
228// CHECK:  encoding: [0x62,0xe2,0x15,0x40,0x3c,0xba,0x00,0x20,0x00,0x00]
229          vpmaxsb 8192(%rdx), %zmm29, %zmm23
230
231// CHECK: vpmaxsb -8192(%rdx), %zmm29, %zmm23
232// CHECK:  encoding: [0x62,0xe2,0x15,0x40,0x3c,0x7a,0x80]
233          vpmaxsb -8192(%rdx), %zmm29, %zmm23
234
235// CHECK: vpmaxsb -8256(%rdx), %zmm29, %zmm23
236// CHECK:  encoding: [0x62,0xe2,0x15,0x40,0x3c,0xba,0xc0,0xdf,0xff,0xff]
237          vpmaxsb -8256(%rdx), %zmm29, %zmm23
238
239// CHECK: vpmaxsw %zmm25, %zmm28, %zmm25
240// CHECK:  encoding: [0x62,0x01,0x1d,0x40,0xee,0xc9]
241          vpmaxsw %zmm25, %zmm28, %zmm25
242
243// CHECK: vpmaxsw %zmm25, %zmm28, %zmm25 {%k3}
244// CHECK:  encoding: [0x62,0x01,0x1d,0x43,0xee,0xc9]
245          vpmaxsw %zmm25, %zmm28, %zmm25 {%k3}
246
247// CHECK: vpmaxsw %zmm25, %zmm28, %zmm25 {%k3} {z}
248// CHECK:  encoding: [0x62,0x01,0x1d,0xc3,0xee,0xc9]
249          vpmaxsw %zmm25, %zmm28, %zmm25 {%k3} {z}
250
251// CHECK: vpmaxsw (%rcx), %zmm28, %zmm25
252// CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xee,0x09]
253          vpmaxsw (%rcx), %zmm28, %zmm25
254
255// CHECK: vpmaxsw 291(%rax,%r14,8), %zmm28, %zmm25
256// CHECK:  encoding: [0x62,0x21,0x1d,0x40,0xee,0x8c,0xf0,0x23,0x01,0x00,0x00]
257          vpmaxsw 291(%rax,%r14,8), %zmm28, %zmm25
258
259// CHECK: vpmaxsw 8128(%rdx), %zmm28, %zmm25
260// CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xee,0x4a,0x7f]
261          vpmaxsw 8128(%rdx), %zmm28, %zmm25
262
263// CHECK: vpmaxsw 8192(%rdx), %zmm28, %zmm25
264// CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xee,0x8a,0x00,0x20,0x00,0x00]
265          vpmaxsw 8192(%rdx), %zmm28, %zmm25
266
267// CHECK: vpmaxsw -8192(%rdx), %zmm28, %zmm25
268// CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xee,0x4a,0x80]
269          vpmaxsw -8192(%rdx), %zmm28, %zmm25
270
271// CHECK: vpmaxsw -8256(%rdx), %zmm28, %zmm25
272// CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xee,0x8a,0xc0,0xdf,0xff,0xff]
273          vpmaxsw -8256(%rdx), %zmm28, %zmm25
274
275// CHECK: vpmaxub %zmm25, %zmm18, %zmm29
276// CHECK:  encoding: [0x62,0x01,0x6d,0x40,0xde,0xe9]
277          vpmaxub %zmm25, %zmm18, %zmm29
278
279// CHECK: vpmaxub %zmm25, %zmm18, %zmm29 {%k7}
280// CHECK:  encoding: [0x62,0x01,0x6d,0x47,0xde,0xe9]
281          vpmaxub %zmm25, %zmm18, %zmm29 {%k7}
282
283// CHECK: vpmaxub %zmm25, %zmm18, %zmm29 {%k7} {z}
284// CHECK:  encoding: [0x62,0x01,0x6d,0xc7,0xde,0xe9]
285          vpmaxub %zmm25, %zmm18, %zmm29 {%k7} {z}
286
287// CHECK: vpmaxub (%rcx), %zmm18, %zmm29
288// CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xde,0x29]
289          vpmaxub (%rcx), %zmm18, %zmm29
290
291// CHECK: vpmaxub 291(%rax,%r14,8), %zmm18, %zmm29
292// CHECK:  encoding: [0x62,0x21,0x6d,0x40,0xde,0xac,0xf0,0x23,0x01,0x00,0x00]
293          vpmaxub 291(%rax,%r14,8), %zmm18, %zmm29
294
295// CHECK: vpmaxub 8128(%rdx), %zmm18, %zmm29
296// CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xde,0x6a,0x7f]
297          vpmaxub 8128(%rdx), %zmm18, %zmm29
298
299// CHECK: vpmaxub 8192(%rdx), %zmm18, %zmm29
300// CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xde,0xaa,0x00,0x20,0x00,0x00]
301          vpmaxub 8192(%rdx), %zmm18, %zmm29
302
303// CHECK: vpmaxub -8192(%rdx), %zmm18, %zmm29
304// CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xde,0x6a,0x80]
305          vpmaxub -8192(%rdx), %zmm18, %zmm29
306
307// CHECK: vpmaxub -8256(%rdx), %zmm18, %zmm29
308// CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xde,0xaa,0xc0,0xdf,0xff,0xff]
309          vpmaxub -8256(%rdx), %zmm18, %zmm29
310
311// CHECK: vpmaxuw %zmm23, %zmm27, %zmm21
312// CHECK:  encoding: [0x62,0xa2,0x25,0x40,0x3e,0xef]
313          vpmaxuw %zmm23, %zmm27, %zmm21
314
315// CHECK: vpmaxuw %zmm23, %zmm27, %zmm21 {%k3}
316// CHECK:  encoding: [0x62,0xa2,0x25,0x43,0x3e,0xef]
317          vpmaxuw %zmm23, %zmm27, %zmm21 {%k3}
318
319// CHECK: vpmaxuw %zmm23, %zmm27, %zmm21 {%k3} {z}
320// CHECK:  encoding: [0x62,0xa2,0x25,0xc3,0x3e,0xef]
321          vpmaxuw %zmm23, %zmm27, %zmm21 {%k3} {z}
322
323// CHECK: vpmaxuw (%rcx), %zmm27, %zmm21
324// CHECK:  encoding: [0x62,0xe2,0x25,0x40,0x3e,0x29]
325          vpmaxuw (%rcx), %zmm27, %zmm21
326
327// CHECK: vpmaxuw 291(%rax,%r14,8), %zmm27, %zmm21
328// CHECK:  encoding: [0x62,0xa2,0x25,0x40,0x3e,0xac,0xf0,0x23,0x01,0x00,0x00]
329          vpmaxuw 291(%rax,%r14,8), %zmm27, %zmm21
330
331// CHECK: vpmaxuw 8128(%rdx), %zmm27, %zmm21
332// CHECK:  encoding: [0x62,0xe2,0x25,0x40,0x3e,0x6a,0x7f]
333          vpmaxuw 8128(%rdx), %zmm27, %zmm21
334
335// CHECK: vpmaxuw 8192(%rdx), %zmm27, %zmm21
336// CHECK:  encoding: [0x62,0xe2,0x25,0x40,0x3e,0xaa,0x00,0x20,0x00,0x00]
337          vpmaxuw 8192(%rdx), %zmm27, %zmm21
338
339// CHECK: vpmaxuw -8192(%rdx), %zmm27, %zmm21
340// CHECK:  encoding: [0x62,0xe2,0x25,0x40,0x3e,0x6a,0x80]
341          vpmaxuw -8192(%rdx), %zmm27, %zmm21
342
343// CHECK: vpmaxuw -8256(%rdx), %zmm27, %zmm21
344// CHECK:  encoding: [0x62,0xe2,0x25,0x40,0x3e,0xaa,0xc0,0xdf,0xff,0xff]
345          vpmaxuw -8256(%rdx), %zmm27, %zmm21
346
347// CHECK: vpminsb %zmm25, %zmm22, %zmm28
348// CHECK:  encoding: [0x62,0x02,0x4d,0x40,0x38,0xe1]
349          vpminsb %zmm25, %zmm22, %zmm28
350
351// CHECK: vpminsb %zmm25, %zmm22, %zmm28 {%k6}
352// CHECK:  encoding: [0x62,0x02,0x4d,0x46,0x38,0xe1]
353          vpminsb %zmm25, %zmm22, %zmm28 {%k6}
354
355// CHECK: vpminsb %zmm25, %zmm22, %zmm28 {%k6} {z}
356// CHECK:  encoding: [0x62,0x02,0x4d,0xc6,0x38,0xe1]
357          vpminsb %zmm25, %zmm22, %zmm28 {%k6} {z}
358
359// CHECK: vpminsb (%rcx), %zmm22, %zmm28
360// CHECK:  encoding: [0x62,0x62,0x4d,0x40,0x38,0x21]
361          vpminsb (%rcx), %zmm22, %zmm28
362
363// CHECK: vpminsb 291(%rax,%r14,8), %zmm22, %zmm28
364// CHECK:  encoding: [0x62,0x22,0x4d,0x40,0x38,0xa4,0xf0,0x23,0x01,0x00,0x00]
365          vpminsb 291(%rax,%r14,8), %zmm22, %zmm28
366
367// CHECK: vpminsb 8128(%rdx), %zmm22, %zmm28
368// CHECK:  encoding: [0x62,0x62,0x4d,0x40,0x38,0x62,0x7f]
369          vpminsb 8128(%rdx), %zmm22, %zmm28
370
371// CHECK: vpminsb 8192(%rdx), %zmm22, %zmm28
372// CHECK:  encoding: [0x62,0x62,0x4d,0x40,0x38,0xa2,0x00,0x20,0x00,0x00]
373          vpminsb 8192(%rdx), %zmm22, %zmm28
374
375// CHECK: vpminsb -8192(%rdx), %zmm22, %zmm28
376// CHECK:  encoding: [0x62,0x62,0x4d,0x40,0x38,0x62,0x80]
377          vpminsb -8192(%rdx), %zmm22, %zmm28
378
379// CHECK: vpminsb -8256(%rdx), %zmm22, %zmm28
380// CHECK:  encoding: [0x62,0x62,0x4d,0x40,0x38,0xa2,0xc0,0xdf,0xff,0xff]
381          vpminsb -8256(%rdx), %zmm22, %zmm28
382
383// CHECK: vpminsw %zmm25, %zmm22, %zmm27
384// CHECK:  encoding: [0x62,0x01,0x4d,0x40,0xea,0xd9]
385          vpminsw %zmm25, %zmm22, %zmm27
386
387// CHECK: vpminsw %zmm25, %zmm22, %zmm27 {%k6}
388// CHECK:  encoding: [0x62,0x01,0x4d,0x46,0xea,0xd9]
389          vpminsw %zmm25, %zmm22, %zmm27 {%k6}
390
391// CHECK: vpminsw %zmm25, %zmm22, %zmm27 {%k6} {z}
392// CHECK:  encoding: [0x62,0x01,0x4d,0xc6,0xea,0xd9]
393          vpminsw %zmm25, %zmm22, %zmm27 {%k6} {z}
394
395// CHECK: vpminsw (%rcx), %zmm22, %zmm27
396// CHECK:  encoding: [0x62,0x61,0x4d,0x40,0xea,0x19]
397          vpminsw (%rcx), %zmm22, %zmm27
398
399// CHECK: vpminsw 291(%rax,%r14,8), %zmm22, %zmm27
400// CHECK:  encoding: [0x62,0x21,0x4d,0x40,0xea,0x9c,0xf0,0x23,0x01,0x00,0x00]
401          vpminsw 291(%rax,%r14,8), %zmm22, %zmm27
402
403// CHECK: vpminsw 8128(%rdx), %zmm22, %zmm27
404// CHECK:  encoding: [0x62,0x61,0x4d,0x40,0xea,0x5a,0x7f]
405          vpminsw 8128(%rdx), %zmm22, %zmm27
406
407// CHECK: vpminsw 8192(%rdx), %zmm22, %zmm27
408// CHECK:  encoding: [0x62,0x61,0x4d,0x40,0xea,0x9a,0x00,0x20,0x00,0x00]
409          vpminsw 8192(%rdx), %zmm22, %zmm27
410
411// CHECK: vpminsw -8192(%rdx), %zmm22, %zmm27
412// CHECK:  encoding: [0x62,0x61,0x4d,0x40,0xea,0x5a,0x80]
413          vpminsw -8192(%rdx), %zmm22, %zmm27
414
415// CHECK: vpminsw -8256(%rdx), %zmm22, %zmm27
416// CHECK:  encoding: [0x62,0x61,0x4d,0x40,0xea,0x9a,0xc0,0xdf,0xff,0xff]
417          vpminsw -8256(%rdx), %zmm22, %zmm27
418
419// CHECK: vpminub %zmm26, %zmm25, %zmm25
420// CHECK:  encoding: [0x62,0x01,0x35,0x40,0xda,0xca]
421          vpminub %zmm26, %zmm25, %zmm25
422
423// CHECK: vpminub %zmm26, %zmm25, %zmm25 {%k6}
424// CHECK:  encoding: [0x62,0x01,0x35,0x46,0xda,0xca]
425          vpminub %zmm26, %zmm25, %zmm25 {%k6}
426
427// CHECK: vpminub %zmm26, %zmm25, %zmm25 {%k6} {z}
428// CHECK:  encoding: [0x62,0x01,0x35,0xc6,0xda,0xca]
429          vpminub %zmm26, %zmm25, %zmm25 {%k6} {z}
430
431// CHECK: vpminub (%rcx), %zmm25, %zmm25
432// CHECK:  encoding: [0x62,0x61,0x35,0x40,0xda,0x09]
433          vpminub (%rcx), %zmm25, %zmm25
434
435// CHECK: vpminub 291(%rax,%r14,8), %zmm25, %zmm25
436// CHECK:  encoding: [0x62,0x21,0x35,0x40,0xda,0x8c,0xf0,0x23,0x01,0x00,0x00]
437          vpminub 291(%rax,%r14,8), %zmm25, %zmm25
438
439// CHECK: vpminub 8128(%rdx), %zmm25, %zmm25
440// CHECK:  encoding: [0x62,0x61,0x35,0x40,0xda,0x4a,0x7f]
441          vpminub 8128(%rdx), %zmm25, %zmm25
442
443// CHECK: vpminub 8192(%rdx), %zmm25, %zmm25
444// CHECK:  encoding: [0x62,0x61,0x35,0x40,0xda,0x8a,0x00,0x20,0x00,0x00]
445          vpminub 8192(%rdx), %zmm25, %zmm25
446
447// CHECK: vpminub -8192(%rdx), %zmm25, %zmm25
448// CHECK:  encoding: [0x62,0x61,0x35,0x40,0xda,0x4a,0x80]
449          vpminub -8192(%rdx), %zmm25, %zmm25
450
451// CHECK: vpminub -8256(%rdx), %zmm25, %zmm25
452// CHECK:  encoding: [0x62,0x61,0x35,0x40,0xda,0x8a,0xc0,0xdf,0xff,0xff]
453          vpminub -8256(%rdx), %zmm25, %zmm25
454
455// CHECK: vpminuw %zmm20, %zmm29, %zmm19
456// CHECK:  encoding: [0x62,0xa2,0x15,0x40,0x3a,0xdc]
457          vpminuw %zmm20, %zmm29, %zmm19
458
459// CHECK: vpminuw %zmm20, %zmm29, %zmm19 {%k7}
460// CHECK:  encoding: [0x62,0xa2,0x15,0x47,0x3a,0xdc]
461          vpminuw %zmm20, %zmm29, %zmm19 {%k7}
462
463// CHECK: vpminuw %zmm20, %zmm29, %zmm19 {%k7} {z}
464// CHECK:  encoding: [0x62,0xa2,0x15,0xc7,0x3a,0xdc]
465          vpminuw %zmm20, %zmm29, %zmm19 {%k7} {z}
466
467// CHECK: vpminuw (%rcx), %zmm29, %zmm19
468// CHECK:  encoding: [0x62,0xe2,0x15,0x40,0x3a,0x19]
469          vpminuw (%rcx), %zmm29, %zmm19
470
471// CHECK: vpminuw 291(%rax,%r14,8), %zmm29, %zmm19
472// CHECK:  encoding: [0x62,0xa2,0x15,0x40,0x3a,0x9c,0xf0,0x23,0x01,0x00,0x00]
473          vpminuw 291(%rax,%r14,8), %zmm29, %zmm19
474
475// CHECK: vpminuw 8128(%rdx), %zmm29, %zmm19
476// CHECK:  encoding: [0x62,0xe2,0x15,0x40,0x3a,0x5a,0x7f]
477          vpminuw 8128(%rdx), %zmm29, %zmm19
478
479// CHECK: vpminuw 8192(%rdx), %zmm29, %zmm19
480// CHECK:  encoding: [0x62,0xe2,0x15,0x40,0x3a,0x9a,0x00,0x20,0x00,0x00]
481          vpminuw 8192(%rdx), %zmm29, %zmm19
482
483// CHECK: vpminuw -8192(%rdx), %zmm29, %zmm19
484// CHECK:  encoding: [0x62,0xe2,0x15,0x40,0x3a,0x5a,0x80]
485          vpminuw -8192(%rdx), %zmm29, %zmm19
486
487// CHECK: vpminuw -8256(%rdx), %zmm29, %zmm19
488// CHECK:  encoding: [0x62,0xe2,0x15,0x40,0x3a,0x9a,0xc0,0xdf,0xff,0xff]
489          vpminuw -8256(%rdx), %zmm29, %zmm19
490
491// CHECK: vpmullw %zmm19, %zmm28, %zmm19
492// CHECK:  encoding: [0x62,0xa1,0x1d,0x40,0xd5,0xdb]
493          vpmullw %zmm19, %zmm28, %zmm19
494
495// CHECK: vpmullw %zmm19, %zmm28, %zmm19 {%k5}
496// CHECK:  encoding: [0x62,0xa1,0x1d,0x45,0xd5,0xdb]
497          vpmullw %zmm19, %zmm28, %zmm19 {%k5}
498
499// CHECK: vpmullw %zmm19, %zmm28, %zmm19 {%k5} {z}
500// CHECK:  encoding: [0x62,0xa1,0x1d,0xc5,0xd5,0xdb]
501          vpmullw %zmm19, %zmm28, %zmm19 {%k5} {z}
502
503// CHECK: vpmullw (%rcx), %zmm28, %zmm19
504// CHECK:  encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x19]
505          vpmullw (%rcx), %zmm28, %zmm19
506
507// CHECK: vpmullw 291(%rax,%r14,8), %zmm28, %zmm19
508// CHECK:  encoding: [0x62,0xa1,0x1d,0x40,0xd5,0x9c,0xf0,0x23,0x01,0x00,0x00]
509          vpmullw 291(%rax,%r14,8), %zmm28, %zmm19
510
511// CHECK: vpmullw 8128(%rdx), %zmm28, %zmm19
512// CHECK:  encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x5a,0x7f]
513          vpmullw 8128(%rdx), %zmm28, %zmm19
514
515// CHECK: vpmullw 8192(%rdx), %zmm28, %zmm19
516// CHECK:  encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x9a,0x00,0x20,0x00,0x00]
517          vpmullw 8192(%rdx), %zmm28, %zmm19
518
519// CHECK: vpmullw -8192(%rdx), %zmm28, %zmm19
520// CHECK:  encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x5a,0x80]
521          vpmullw -8192(%rdx), %zmm28, %zmm19
522
523// CHECK: vpmullw -8256(%rdx), %zmm28, %zmm19
524// CHECK:  encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x9a,0xc0,0xdf,0xff,0xff]
525          vpmullw -8256(%rdx), %zmm28, %zmm19
526
527// CHECK: vpsubb %zmm26, %zmm18, %zmm25
528// CHECK:  encoding: [0x62,0x01,0x6d,0x40,0xf8,0xca]
529          vpsubb %zmm26, %zmm18, %zmm25
530
531// CHECK: vpsubb %zmm26, %zmm18, %zmm25 {%k4}
532// CHECK:  encoding: [0x62,0x01,0x6d,0x44,0xf8,0xca]
533          vpsubb %zmm26, %zmm18, %zmm25 {%k4}
534
535// CHECK: vpsubb %zmm26, %zmm18, %zmm25 {%k4} {z}
536// CHECK:  encoding: [0x62,0x01,0x6d,0xc4,0xf8,0xca]
537          vpsubb %zmm26, %zmm18, %zmm25 {%k4} {z}
538
539// CHECK: vpsubb (%rcx), %zmm18, %zmm25
540// CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xf8,0x09]
541          vpsubb (%rcx), %zmm18, %zmm25
542
543// CHECK: vpsubb 291(%rax,%r14,8), %zmm18, %zmm25
544// CHECK:  encoding: [0x62,0x21,0x6d,0x40,0xf8,0x8c,0xf0,0x23,0x01,0x00,0x00]
545          vpsubb 291(%rax,%r14,8), %zmm18, %zmm25
546
547// CHECK: vpsubb 8128(%rdx), %zmm18, %zmm25
548// CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xf8,0x4a,0x7f]
549          vpsubb 8128(%rdx), %zmm18, %zmm25
550
551// CHECK: vpsubb 8192(%rdx), %zmm18, %zmm25
552// CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xf8,0x8a,0x00,0x20,0x00,0x00]
553          vpsubb 8192(%rdx), %zmm18, %zmm25
554
555// CHECK: vpsubb -8192(%rdx), %zmm18, %zmm25
556// CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xf8,0x4a,0x80]
557          vpsubb -8192(%rdx), %zmm18, %zmm25
558
559// CHECK: vpsubb -8256(%rdx), %zmm18, %zmm25
560// CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xf8,0x8a,0xc0,0xdf,0xff,0xff]
561          vpsubb -8256(%rdx), %zmm18, %zmm25
562
563// CHECK: vpsubw %zmm24, %zmm24, %zmm17
564// CHECK:  encoding: [0x62,0x81,0x3d,0x40,0xf9,0xc8]
565          vpsubw %zmm24, %zmm24, %zmm17
566
567// CHECK: vpsubw %zmm24, %zmm24, %zmm17 {%k4}
568// CHECK:  encoding: [0x62,0x81,0x3d,0x44,0xf9,0xc8]
569          vpsubw %zmm24, %zmm24, %zmm17 {%k4}
570
571// CHECK: vpsubw %zmm24, %zmm24, %zmm17 {%k4} {z}
572// CHECK:  encoding: [0x62,0x81,0x3d,0xc4,0xf9,0xc8]
573          vpsubw %zmm24, %zmm24, %zmm17 {%k4} {z}
574
575// CHECK: vpsubw (%rcx), %zmm24, %zmm17
576// CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x09]
577          vpsubw (%rcx), %zmm24, %zmm17
578
579// CHECK: vpsubw 291(%rax,%r14,8), %zmm24, %zmm17
580// CHECK:  encoding: [0x62,0xa1,0x3d,0x40,0xf9,0x8c,0xf0,0x23,0x01,0x00,0x00]
581          vpsubw 291(%rax,%r14,8), %zmm24, %zmm17
582
583// CHECK: vpsubw 8128(%rdx), %zmm24, %zmm17
584// CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x4a,0x7f]
585          vpsubw 8128(%rdx), %zmm24, %zmm17
586
587// CHECK: vpsubw 8192(%rdx), %zmm24, %zmm17
588// CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x8a,0x00,0x20,0x00,0x00]
589          vpsubw 8192(%rdx), %zmm24, %zmm17
590
591// CHECK: vpsubw -8192(%rdx), %zmm24, %zmm17
592// CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x4a,0x80]
593          vpsubw -8192(%rdx), %zmm24, %zmm17
594
595// CHECK: vpsubw -8256(%rdx), %zmm24, %zmm17
596// CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x8a,0xc0,0xdf,0xff,0xff]
597          vpsubw -8256(%rdx), %zmm24, %zmm17
598
599// CHECK: vmovdqu8 %zmm19, %zmm29
600// CHECK:  encoding: [0x62,0x21,0x7f,0x48,0x6f,0xeb]
601          vmovdqu8 %zmm19, %zmm29
602
603// CHECK: vmovdqu8 %zmm19, %zmm29 {%k7}
604// CHECK:  encoding: [0x62,0x21,0x7f,0x4f,0x6f,0xeb]
605          vmovdqu8 %zmm19, %zmm29 {%k7}
606
607// CHECK: vmovdqu8 %zmm19, %zmm29 {%k7} {z}
608// CHECK:  encoding: [0x62,0x21,0x7f,0xcf,0x6f,0xeb]
609          vmovdqu8 %zmm19, %zmm29 {%k7} {z}
610
611// CHECK: vmovdqu8 (%rcx), %zmm29
612// CHECK:  encoding: [0x62,0x61,0x7f,0x48,0x6f,0x29]
613          vmovdqu8 (%rcx), %zmm29
614
615// CHECK: vmovdqu8 291(%rax,%r14,8), %zmm29
616// CHECK:  encoding: [0x62,0x21,0x7f,0x48,0x6f,0xac,0xf0,0x23,0x01,0x00,0x00]
617          vmovdqu8 291(%rax,%r14,8), %zmm29
618
619// CHECK: vmovdqu8 8128(%rdx), %zmm29
620// CHECK:  encoding: [0x62,0x61,0x7f,0x48,0x6f,0x6a,0x7f]
621          vmovdqu8 8128(%rdx), %zmm29
622
623// CHECK: vmovdqu8 8192(%rdx), %zmm29
624// CHECK:  encoding: [0x62,0x61,0x7f,0x48,0x6f,0xaa,0x00,0x20,0x00,0x00]
625          vmovdqu8 8192(%rdx), %zmm29
626
627// CHECK: vmovdqu8 -8192(%rdx), %zmm29
628// CHECK:  encoding: [0x62,0x61,0x7f,0x48,0x6f,0x6a,0x80]
629          vmovdqu8 -8192(%rdx), %zmm29
630
631// CHECK: vmovdqu8 -8256(%rdx), %zmm29
632// CHECK:  encoding: [0x62,0x61,0x7f,0x48,0x6f,0xaa,0xc0,0xdf,0xff,0xff]
633          vmovdqu8 -8256(%rdx), %zmm29
634
635// CHECK: vmovdqu16 %zmm18, %zmm17
636// CHECK:  encoding: [0x62,0xa1,0xff,0x48,0x6f,0xca]
637          vmovdqu16 %zmm18, %zmm17
638
639// CHECK: vmovdqu16 %zmm18, %zmm17 {%k3}
640// CHECK:  encoding: [0x62,0xa1,0xff,0x4b,0x6f,0xca]
641          vmovdqu16 %zmm18, %zmm17 {%k3}
642
643// CHECK: vmovdqu16 %zmm18, %zmm17 {%k3} {z}
644// CHECK:  encoding: [0x62,0xa1,0xff,0xcb,0x6f,0xca]
645          vmovdqu16 %zmm18, %zmm17 {%k3} {z}
646
647// CHECK: vmovdqu16 (%rcx), %zmm17
648// CHECK:  encoding: [0x62,0xe1,0xff,0x48,0x6f,0x09]
649          vmovdqu16 (%rcx), %zmm17
650
651// CHECK: vmovdqu16 291(%rax,%r14,8), %zmm17
652// CHECK:  encoding: [0x62,0xa1,0xff,0x48,0x6f,0x8c,0xf0,0x23,0x01,0x00,0x00]
653          vmovdqu16 291(%rax,%r14,8), %zmm17
654
655// CHECK: vmovdqu16 8128(%rdx), %zmm17
656// CHECK:  encoding: [0x62,0xe1,0xff,0x48,0x6f,0x4a,0x7f]
657          vmovdqu16 8128(%rdx), %zmm17
658
659// CHECK: vmovdqu16 8192(%rdx), %zmm17
660// CHECK:  encoding: [0x62,0xe1,0xff,0x48,0x6f,0x8a,0x00,0x20,0x00,0x00]
661          vmovdqu16 8192(%rdx), %zmm17
662
663// CHECK: vmovdqu16 -8192(%rdx), %zmm17
664// CHECK:  encoding: [0x62,0xe1,0xff,0x48,0x6f,0x4a,0x80]
665          vmovdqu16 -8192(%rdx), %zmm17
666
667// CHECK: vmovdqu16 -8256(%rdx), %zmm17
668// CHECK:  encoding: [0x62,0xe1,0xff,0x48,0x6f,0x8a,0xc0,0xdf,0xff,0xff]
669          vmovdqu16 -8256(%rdx), %zmm17
670
671// CHECK: kandq  %k7, %k5, %k5
672// CHECK:  encoding: [0xc4,0xe1,0xd4,0x41,0xef]
673          kandq  %k7, %k5, %k5
674
675// CHECK: kandd  %k4, %k5, %k5
676// CHECK:  encoding: [0xc4,0xe1,0xd5,0x41,0xec]
677          kandd  %k4, %k5, %k5
678
679// CHECK: kandnq %k4, %k5, %k2
680// CHECK:  encoding: [0xc4,0xe1,0xd4,0x42,0xd4]
681          kandnq %k4, %k5, %k2
682
683// CHECK: kandnd %k6, %k6, %k3
684// CHECK:  encoding: [0xc4,0xe1,0xcd,0x42,0xde]
685          kandnd %k6, %k6, %k3
686
687// CHECK: korq   %k4, %k5, %k4
688// CHECK:  encoding: [0xc4,0xe1,0xd4,0x45,0xe4]
689          korq   %k4, %k5, %k4
690
691// CHECK: kord   %k6, %k6, %k5
692// CHECK:  encoding: [0xc4,0xe1,0xcd,0x45,0xee]
693          kord   %k6, %k6, %k5
694
695// CHECK: kxnorq %k6, %k5, %k2
696// CHECK:  encoding: [0xc4,0xe1,0xd4,0x46,0xd6]
697          kxnorq %k6, %k5, %k2
698
699// CHECK: kxnord %k5, %k3, %k5
700// CHECK:  encoding: [0xc4,0xe1,0xe5,0x46,0xed]
701          kxnord %k5, %k3, %k5
702
703// CHECK: kxorq  %k4, %k3, %k2
704// CHECK:  encoding: [0xc4,0xe1,0xe4,0x47,0xd4]
705          kxorq  %k4, %k3, %k2
706
707// CHECK: kxord  %k6, %k5, %k2
708// CHECK:  encoding: [0xc4,0xe1,0xd5,0x47,0xd6]
709          kxord  %k6, %k5, %k2
710
711// CHECK: knotq  %k6, %k3
712// CHECK:  encoding: [0xc4,0xe1,0xf8,0x44,0xde]
713          knotq  %k6, %k3
714
715// CHECK: knotd  %k4, %k3
716// CHECK:  encoding: [0xc4,0xe1,0xf9,0x44,0xdc]
717          knotd  %k4, %k3
718
719// CHECK: kmovq  %k5, %k2
720// CHECK:  encoding: [0xc4,0xe1,0xf8,0x90,0xd5]
721          kmovq  %k5, %k2
722
723// CHECK: kmovq  (%rcx), %k2
724// CHECK:  encoding: [0xc4,0xe1,0xf8,0x90,0x11]
725          kmovq  (%rcx), %k2
726
727// CHECK: kmovq  291(%rax,%r14,8), %k2
728// CHECK:  encoding: [0xc4,0xa1,0xf8,0x90,0x94,0xf0,0x23,0x01,0x00,0x00]
729          kmovq  291(%rax,%r14,8), %k2
730
731// CHECK: kmovd  %k4, %k5
732// CHECK:  encoding: [0xc4,0xe1,0xf9,0x90,0xec]
733          kmovd  %k4, %k5
734
735// CHECK: kmovd  (%rcx), %k5
736// CHECK:  encoding: [0xc4,0xe1,0xf9,0x90,0x29]
737          kmovd  (%rcx), %k5
738
739// CHECK: kmovd  291(%rax,%r14,8), %k5
740// CHECK:  encoding: [0xc4,0xa1,0xf9,0x90,0xac,0xf0,0x23,0x01,0x00,0x00]
741          kmovd  291(%rax,%r14,8), %k5
742
743// CHECK: kmovq  %k3, (%rcx)
744// CHECK:  encoding: [0xc4,0xe1,0xf8,0x91,0x19]
745          kmovq  %k3, (%rcx)
746
747// CHECK: kmovq  %k3, 291(%rax,%r14,8)
748// CHECK:  encoding: [0xc4,0xa1,0xf8,0x91,0x9c,0xf0,0x23,0x01,0x00,0x00]
749          kmovq  %k3, 291(%rax,%r14,8)
750
751// CHECK: kmovd  %k3, (%rcx)
752// CHECK:  encoding: [0xc4,0xe1,0xf9,0x91,0x19]
753          kmovd  %k3, (%rcx)
754
755// CHECK: kmovd  %k3, 291(%rax,%r14,8)
756// CHECK:  encoding: [0xc4,0xa1,0xf9,0x91,0x9c,0xf0,0x23,0x01,0x00,0x00]
757          kmovd  %k3, 291(%rax,%r14,8)
758
759// CHECK: kmovq  %rax, %k2
760// CHECK:  encoding: [0xc4,0xe1,0xfb,0x92,0xd0]
761          kmovq  %rax, %k2
762
763// CHECK: kmovq  %r8, %k2
764// CHECK:  encoding: [0xc4,0xc1,0xfb,0x92,0xd0]
765          kmovq  %r8, %k2
766
767// CHECK: kmovd  %eax, %k4
768// CHECK:  encoding: [0xc5,0xfb,0x92,0xe0]
769          kmovd  %eax, %k4
770
771// CHECK: kmovd  %ebp, %k4
772// CHECK:  encoding: [0xc5,0xfb,0x92,0xe5]
773          kmovd  %ebp, %k4
774
775// CHECK: kmovd  %r13d, %k4
776// CHECK:  encoding: [0xc4,0xc1,0x7b,0x92,0xe5]
777          kmovd  %r13d, %k4
778
779// CHECK: kmovq  %k3, %rax
780// CHECK:  encoding: [0xc4,0xe1,0xfb,0x93,0xc3]
781          kmovq  %k3, %rax
782
783// CHECK: kmovq  %k3, %r8
784// CHECK:  encoding: [0xc4,0x61,0xfb,0x93,0xc3]
785          kmovq  %k3, %r8
786
787// CHECK: kmovd  %k5, %eax
788// CHECK:  encoding: [0xc5,0xfb,0x93,0xc5]
789          kmovd  %k5, %eax
790
791// CHECK: kmovd  %k5, %ebp
792// CHECK:  encoding: [0xc5,0xfb,0x93,0xed]
793          kmovd  %k5, %ebp
794
795// CHECK: kmovd  %k5, %r13d
796// CHECK:  encoding: [0xc5,0x7b,0x93,0xed]
797          kmovd  %k5, %r13d
798
799// CHECK: vmovdqu8 %zmm18, (%rcx)
800// CHECK:  encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x11]
801          vmovdqu8 %zmm18, (%rcx)
802
803// CHECK: vmovdqu8 %zmm18, (%rcx) {%k3}
804// CHECK:  encoding: [0x62,0xe1,0x7f,0x4b,0x7f,0x11]
805          vmovdqu8 %zmm18, (%rcx) {%k3}
806
807// CHECK: vmovdqu8 %zmm18, 291(%rax,%r14,8)
808// CHECK:  encoding: [0x62,0xa1,0x7f,0x48,0x7f,0x94,0xf0,0x23,0x01,0x00,0x00]
809          vmovdqu8 %zmm18, 291(%rax,%r14,8)
810
811// CHECK: vmovdqu8 %zmm18, 8128(%rdx)
812// CHECK:  encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x52,0x7f]
813          vmovdqu8 %zmm18, 8128(%rdx)
814
815// CHECK: vmovdqu8 %zmm18, 8192(%rdx)
816// CHECK:  encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x92,0x00,0x20,0x00,0x00]
817          vmovdqu8 %zmm18, 8192(%rdx)
818
819// CHECK: vmovdqu8 %zmm18, -8192(%rdx)
820// CHECK:  encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x52,0x80]
821          vmovdqu8 %zmm18, -8192(%rdx)
822
823// CHECK: vmovdqu8 %zmm18, -8256(%rdx)
824// CHECK:  encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x92,0xc0,0xdf,0xff,0xff]
825          vmovdqu8 %zmm18, -8256(%rdx)
826
827// CHECK: vmovdqu16 %zmm28, (%rcx)
828// CHECK:  encoding: [0x62,0x61,0xff,0x48,0x7f,0x21]
829          vmovdqu16 %zmm28, (%rcx)
830
831// CHECK: vmovdqu16 %zmm28, (%rcx) {%k6}
832// CHECK:  encoding: [0x62,0x61,0xff,0x4e,0x7f,0x21]
833          vmovdqu16 %zmm28, (%rcx) {%k6}
834
835// CHECK: vmovdqu16 %zmm28, 291(%rax,%r14,8)
836// CHECK:  encoding: [0x62,0x21,0xff,0x48,0x7f,0xa4,0xf0,0x23,0x01,0x00,0x00]
837          vmovdqu16 %zmm28, 291(%rax,%r14,8)
838
839// CHECK: vmovdqu16 %zmm28, 8128(%rdx)
840// CHECK:  encoding: [0x62,0x61,0xff,0x48,0x7f,0x62,0x7f]
841          vmovdqu16 %zmm28, 8128(%rdx)
842
843// CHECK: vmovdqu16 %zmm28, 8192(%rdx)
844// CHECK:  encoding: [0x62,0x61,0xff,0x48,0x7f,0xa2,0x00,0x20,0x00,0x00]
845          vmovdqu16 %zmm28, 8192(%rdx)
846
847// CHECK: vmovdqu16 %zmm28, -8192(%rdx)
848// CHECK:  encoding: [0x62,0x61,0xff,0x48,0x7f,0x62,0x80]
849          vmovdqu16 %zmm28, -8192(%rdx)
850
851// CHECK: vmovdqu16 %zmm28, -8256(%rdx)
852// CHECK:  encoding: [0x62,0x61,0xff,0x48,0x7f,0xa2,0xc0,0xdf,0xff,0xff]
853          vmovdqu16 %zmm28, -8256(%rdx)
854
855// CHECK: vpcmpb $171, %zmm25, %zmm26, %k3
856// CHECK:  encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0xab]
857          vpcmpb $171, %zmm25, %zmm26, %k3
858
859// CHECK: vpcmpb $171, %zmm25, %zmm26, %k3 {%k7}
860// CHECK:  encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0xab]
861          vpcmpb $171, %zmm25, %zmm26, %k3 {%k7}
862
863// CHECK: vpcmpb $123, %zmm25, %zmm26, %k3
864// CHECK:  encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x7b]
865          vpcmpb $123, %zmm25, %zmm26, %k3
866
867// CHECK: vpcmpb $123, (%rcx), %zmm26, %k3
868// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x7b]
869          vpcmpb $123, (%rcx), %zmm26, %k3
870
871// CHECK: vpcmpb $123, 291(%rax,%r14,8), %zmm26, %k3
872// CHECK:  encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x7b]
873          vpcmpb $123, 291(%rax,%r14,8), %zmm26, %k3
874
875// CHECK: vpcmpb $123, 8128(%rdx), %zmm26, %k3
876// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x7b]
877          vpcmpb $123, 8128(%rdx), %zmm26, %k3
878
879// CHECK: vpcmpb $123, 8192(%rdx), %zmm26, %k3
880// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x7b]
881          vpcmpb $123, 8192(%rdx), %zmm26, %k3
882
883// CHECK: vpcmpb $123, -8192(%rdx), %zmm26, %k3
884// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x7b]
885          vpcmpb $123, -8192(%rdx), %zmm26, %k3
886
887// CHECK: vpcmpb $123, -8256(%rdx), %zmm26, %k3
888// CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x7b]
889          vpcmpb $123, -8256(%rdx), %zmm26, %k3
890
891// CHECK: vpcmpw $171, %zmm25, %zmm29, %k3
892// CHECK:  encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0xab]
893          vpcmpw $171, %zmm25, %zmm29, %k3
894
895// CHECK: vpcmpw $171, %zmm25, %zmm29, %k3 {%k6}
896// CHECK:  encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0xab]
897          vpcmpw $171, %zmm25, %zmm29, %k3 {%k6}
898
899// CHECK: vpcmpw $123, %zmm25, %zmm29, %k3
900// CHECK:  encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x7b]
901          vpcmpw $123, %zmm25, %zmm29, %k3
902
903// CHECK: vpcmpw $123, (%rcx), %zmm29, %k3
904// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x7b]
905          vpcmpw $123, (%rcx), %zmm29, %k3
906
907// CHECK: vpcmpw $123, 291(%rax,%r14,8), %zmm29, %k3
908// CHECK:  encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x7b]
909          vpcmpw $123, 291(%rax,%r14,8), %zmm29, %k3
910
911// CHECK: vpcmpw $123, 8128(%rdx), %zmm29, %k3
912// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x7b]
913          vpcmpw $123, 8128(%rdx), %zmm29, %k3
914
915// CHECK: vpcmpw $123, 8192(%rdx), %zmm29, %k3
916// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x7b]
917          vpcmpw $123, 8192(%rdx), %zmm29, %k3
918
919// CHECK: vpcmpw $123, -8192(%rdx), %zmm29, %k3
920// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x7b]
921          vpcmpw $123, -8192(%rdx), %zmm29, %k3
922
923// CHECK: vpcmpw $123, -8256(%rdx), %zmm29, %k3
924// CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x7b]
925          vpcmpw $123, -8256(%rdx), %zmm29, %k3
926
927// CHECK: vpcmpub $171, %zmm22, %zmm29, %k4
928// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0xab]
929          vpcmpub $171, %zmm22, %zmm29, %k4
930
931// CHECK: vpcmpub $171, %zmm22, %zmm29, %k4 {%k7}
932// CHECK:  encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0xab]
933          vpcmpub $171, %zmm22, %zmm29, %k4 {%k7}
934
935// CHECK: vpcmpub $123, %zmm22, %zmm29, %k4
936// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x7b]
937          vpcmpub $123, %zmm22, %zmm29, %k4
938
939// CHECK: vpcmpub $123, (%rcx), %zmm29, %k4
940// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x7b]
941          vpcmpub $123, (%rcx), %zmm29, %k4
942
943// CHECK: vpcmpub $123, 291(%rax,%r14,8), %zmm29, %k4
944// CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b]
945          vpcmpub $123, 291(%rax,%r14,8), %zmm29, %k4
946
947// CHECK: vpcmpub $123, 8128(%rdx), %zmm29, %k4
948// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x7b]
949          vpcmpub $123, 8128(%rdx), %zmm29, %k4
950
951// CHECK: vpcmpub $123, 8192(%rdx), %zmm29, %k4
952// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x7b]
953          vpcmpub $123, 8192(%rdx), %zmm29, %k4
954
955// CHECK: vpcmpub $123, -8192(%rdx), %zmm29, %k4
956// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x7b]
957          vpcmpub $123, -8192(%rdx), %zmm29, %k4
958
959// CHECK: vpcmpub $123, -8256(%rdx), %zmm29, %k4
960// CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x7b]
961          vpcmpub $123, -8256(%rdx), %zmm29, %k4
962
963// CHECK: vpcmpuw $171, %zmm22, %zmm22, %k4
964// CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0xab]
965          vpcmpuw $171, %zmm22, %zmm22, %k4
966
967// CHECK: vpcmpuw $171, %zmm22, %zmm22, %k4 {%k7}
968// CHECK:  encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0xab]
969          vpcmpuw $171, %zmm22, %zmm22, %k4 {%k7}
970
971// CHECK: vpcmpuw $123, %zmm22, %zmm22, %k4
972// CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x7b]
973          vpcmpuw $123, %zmm22, %zmm22, %k4
974
975// CHECK: vpcmpuw $123, (%rcx), %zmm22, %k4
976// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x7b]
977          vpcmpuw $123, (%rcx), %zmm22, %k4
978
979// CHECK: vpcmpuw $123, 291(%rax,%r14,8), %zmm22, %k4
980// CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b]
981          vpcmpuw $123, 291(%rax,%r14,8), %zmm22, %k4
982
983// CHECK: vpcmpuw $123, 8128(%rdx), %zmm22, %k4
984// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x7b]
985          vpcmpuw $123, 8128(%rdx), %zmm22, %k4
986
987// CHECK: vpcmpuw $123, 8192(%rdx), %zmm22, %k4
988// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x7b]
989          vpcmpuw $123, 8192(%rdx), %zmm22, %k4
990
991// CHECK: vpcmpuw $123, -8192(%rdx), %zmm22, %k4
992// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x7b]
993          vpcmpuw $123, -8192(%rdx), %zmm22, %k4
994
995// CHECK: vpcmpuw $123, -8256(%rdx), %zmm22, %k4
996// CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x7b]
997          vpcmpuw $123, -8256(%rdx), %zmm22, %k4
998