1// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
2
3// CHECK: vplzcntq %xmm20, %xmm18
4// CHECK:  encoding: [0x62,0xa2,0xfd,0x08,0x44,0xd4]
5          vplzcntq %xmm20, %xmm18
6
7// CHECK: vplzcntq %xmm20, %xmm18 {%k1}
8// CHECK:  encoding: [0x62,0xa2,0xfd,0x09,0x44,0xd4]
9          vplzcntq %xmm20, %xmm18 {%k1}
10
11// CHECK: vplzcntq %xmm20, %xmm18 {%k1} {z}
12// CHECK:  encoding: [0x62,0xa2,0xfd,0x89,0x44,0xd4]
13          vplzcntq %xmm20, %xmm18 {%k1} {z}
14
15// CHECK: vplzcntq (%rcx), %xmm18
16// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x44,0x11]
17          vplzcntq (%rcx), %xmm18
18
19// CHECK: vplzcntq 291(%rax,%r14,8), %xmm18
20// CHECK:  encoding: [0x62,0xa2,0xfd,0x08,0x44,0x94,0xf0,0x23,0x01,0x00,0x00]
21          vplzcntq 291(%rax,%r14,8), %xmm18
22
23// CHECK: vplzcntq (%rcx){1to2}, %xmm18
24// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0x44,0x11]
25          vplzcntq (%rcx){1to2}, %xmm18
26
27// CHECK: vplzcntq 2032(%rdx), %xmm18
28// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x44,0x52,0x7f]
29          vplzcntq 2032(%rdx), %xmm18
30
31// CHECK: vplzcntq 2048(%rdx), %xmm18
32// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x44,0x92,0x00,0x08,0x00,0x00]
33          vplzcntq 2048(%rdx), %xmm18
34
35// CHECK: vplzcntq -2048(%rdx), %xmm18
36// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x44,0x52,0x80]
37          vplzcntq -2048(%rdx), %xmm18
38
39// CHECK: vplzcntq -2064(%rdx), %xmm18
40// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x44,0x92,0xf0,0xf7,0xff,0xff]
41          vplzcntq -2064(%rdx), %xmm18
42
43// CHECK: vplzcntq 1016(%rdx){1to2}, %xmm18
44// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0x44,0x52,0x7f]
45          vplzcntq 1016(%rdx){1to2}, %xmm18
46
47// CHECK: vplzcntq 1024(%rdx){1to2}, %xmm18
48// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0x44,0x92,0x00,0x04,0x00,0x00]
49          vplzcntq 1024(%rdx){1to2}, %xmm18
50
51// CHECK: vplzcntq -1024(%rdx){1to2}, %xmm18
52// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0x44,0x52,0x80]
53          vplzcntq -1024(%rdx){1to2}, %xmm18
54
55// CHECK: vplzcntq -1032(%rdx){1to2}, %xmm18
56// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0x44,0x92,0xf8,0xfb,0xff,0xff]
57          vplzcntq -1032(%rdx){1to2}, %xmm18
58
59// CHECK: vplzcntq %ymm22, %ymm21
60// CHECK:  encoding: [0x62,0xa2,0xfd,0x28,0x44,0xee]
61          vplzcntq %ymm22, %ymm21
62
63// CHECK: vplzcntq %ymm22, %ymm21 {%k7}
64// CHECK:  encoding: [0x62,0xa2,0xfd,0x2f,0x44,0xee]
65          vplzcntq %ymm22, %ymm21 {%k7}
66
67// CHECK: vplzcntq %ymm22, %ymm21 {%k7} {z}
68// CHECK:  encoding: [0x62,0xa2,0xfd,0xaf,0x44,0xee]
69          vplzcntq %ymm22, %ymm21 {%k7} {z}
70
71// CHECK: vplzcntq (%rcx), %ymm21
72// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x44,0x29]
73          vplzcntq (%rcx), %ymm21
74
75// CHECK: vplzcntq 291(%rax,%r14,8), %ymm21
76// CHECK:  encoding: [0x62,0xa2,0xfd,0x28,0x44,0xac,0xf0,0x23,0x01,0x00,0x00]
77          vplzcntq 291(%rax,%r14,8), %ymm21
78
79// CHECK: vplzcntq (%rcx){1to4}, %ymm21
80// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x44,0x29]
81          vplzcntq (%rcx){1to4}, %ymm21
82
83// CHECK: vplzcntq 4064(%rdx), %ymm21
84// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x44,0x6a,0x7f]
85          vplzcntq 4064(%rdx), %ymm21
86
87// CHECK: vplzcntq 4096(%rdx), %ymm21
88// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x44,0xaa,0x00,0x10,0x00,0x00]
89          vplzcntq 4096(%rdx), %ymm21
90
91// CHECK: vplzcntq -4096(%rdx), %ymm21
92// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x44,0x6a,0x80]
93          vplzcntq -4096(%rdx), %ymm21
94
95// CHECK: vplzcntq -4128(%rdx), %ymm21
96// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x44,0xaa,0xe0,0xef,0xff,0xff]
97          vplzcntq -4128(%rdx), %ymm21
98
99// CHECK: vplzcntq 1016(%rdx){1to4}, %ymm21
100// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x44,0x6a,0x7f]
101          vplzcntq 1016(%rdx){1to4}, %ymm21
102
103// CHECK: vplzcntq 1024(%rdx){1to4}, %ymm21
104// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x44,0xaa,0x00,0x04,0x00,0x00]
105          vplzcntq 1024(%rdx){1to4}, %ymm21
106
107// CHECK: vplzcntq -1024(%rdx){1to4}, %ymm21
108// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x44,0x6a,0x80]
109          vplzcntq -1024(%rdx){1to4}, %ymm21
110
111// CHECK: vplzcntq -1032(%rdx){1to4}, %ymm21
112// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x44,0xaa,0xf8,0xfb,0xff,0xff]
113          vplzcntq -1032(%rdx){1to4}, %ymm21
114
115// CHECK: vplzcntq %xmm20, %xmm24
116// CHECK:  encoding: [0x62,0x22,0xfd,0x08,0x44,0xc4]
117          vplzcntq %xmm20, %xmm24
118
119// CHECK: vplzcntq %xmm20, %xmm24 {%k3}
120// CHECK:  encoding: [0x62,0x22,0xfd,0x0b,0x44,0xc4]
121          vplzcntq %xmm20, %xmm24 {%k3}
122
123// CHECK: vplzcntq %xmm20, %xmm24 {%k3} {z}
124// CHECK:  encoding: [0x62,0x22,0xfd,0x8b,0x44,0xc4]
125          vplzcntq %xmm20, %xmm24 {%k3} {z}
126
127// CHECK: vplzcntq (%rcx), %xmm24
128// CHECK:  encoding: [0x62,0x62,0xfd,0x08,0x44,0x01]
129          vplzcntq (%rcx), %xmm24
130
131// CHECK: vplzcntq 4660(%rax,%r14,8), %xmm24
132// CHECK:  encoding: [0x62,0x22,0xfd,0x08,0x44,0x84,0xf0,0x34,0x12,0x00,0x00]
133          vplzcntq 4660(%rax,%r14,8), %xmm24
134
135// CHECK: vplzcntq (%rcx){1to2}, %xmm24
136// CHECK:  encoding: [0x62,0x62,0xfd,0x18,0x44,0x01]
137          vplzcntq (%rcx){1to2}, %xmm24
138
139// CHECK: vplzcntq 2032(%rdx), %xmm24
140// CHECK:  encoding: [0x62,0x62,0xfd,0x08,0x44,0x42,0x7f]
141          vplzcntq 2032(%rdx), %xmm24
142
143// CHECK: vplzcntq 2048(%rdx), %xmm24
144// CHECK:  encoding: [0x62,0x62,0xfd,0x08,0x44,0x82,0x00,0x08,0x00,0x00]
145          vplzcntq 2048(%rdx), %xmm24
146
147// CHECK: vplzcntq -2048(%rdx), %xmm24
148// CHECK:  encoding: [0x62,0x62,0xfd,0x08,0x44,0x42,0x80]
149          vplzcntq -2048(%rdx), %xmm24
150
151// CHECK: vplzcntq -2064(%rdx), %xmm24
152// CHECK:  encoding: [0x62,0x62,0xfd,0x08,0x44,0x82,0xf0,0xf7,0xff,0xff]
153          vplzcntq -2064(%rdx), %xmm24
154
155// CHECK: vplzcntq 1016(%rdx){1to2}, %xmm24
156// CHECK:  encoding: [0x62,0x62,0xfd,0x18,0x44,0x42,0x7f]
157          vplzcntq 1016(%rdx){1to2}, %xmm24
158
159// CHECK: vplzcntq 1024(%rdx){1to2}, %xmm24
160// CHECK:  encoding: [0x62,0x62,0xfd,0x18,0x44,0x82,0x00,0x04,0x00,0x00]
161          vplzcntq 1024(%rdx){1to2}, %xmm24
162
163// CHECK: vplzcntq -1024(%rdx){1to2}, %xmm24
164// CHECK:  encoding: [0x62,0x62,0xfd,0x18,0x44,0x42,0x80]
165          vplzcntq -1024(%rdx){1to2}, %xmm24
166
167// CHECK: vplzcntq -1032(%rdx){1to2}, %xmm24
168// CHECK:  encoding: [0x62,0x62,0xfd,0x18,0x44,0x82,0xf8,0xfb,0xff,0xff]
169          vplzcntq -1032(%rdx){1to2}, %xmm24
170
171// CHECK: vplzcntq %ymm27, %ymm23
172// CHECK:  encoding: [0x62,0x82,0xfd,0x28,0x44,0xfb]
173          vplzcntq %ymm27, %ymm23
174
175// CHECK: vplzcntq %ymm27, %ymm23 {%k5}
176// CHECK:  encoding: [0x62,0x82,0xfd,0x2d,0x44,0xfb]
177          vplzcntq %ymm27, %ymm23 {%k5}
178
179// CHECK: vplzcntq %ymm27, %ymm23 {%k5} {z}
180// CHECK:  encoding: [0x62,0x82,0xfd,0xad,0x44,0xfb]
181          vplzcntq %ymm27, %ymm23 {%k5} {z}
182
183// CHECK: vplzcntq (%rcx), %ymm23
184// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x44,0x39]
185          vplzcntq (%rcx), %ymm23
186
187// CHECK: vplzcntq 4660(%rax,%r14,8), %ymm23
188// CHECK:  encoding: [0x62,0xa2,0xfd,0x28,0x44,0xbc,0xf0,0x34,0x12,0x00,0x00]
189          vplzcntq 4660(%rax,%r14,8), %ymm23
190
191// CHECK: vplzcntq (%rcx){1to4}, %ymm23
192// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x44,0x39]
193          vplzcntq (%rcx){1to4}, %ymm23
194
195// CHECK: vplzcntq 4064(%rdx), %ymm23
196// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x44,0x7a,0x7f]
197          vplzcntq 4064(%rdx), %ymm23
198
199// CHECK: vplzcntq 4096(%rdx), %ymm23
200// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x44,0xba,0x00,0x10,0x00,0x00]
201          vplzcntq 4096(%rdx), %ymm23
202
203// CHECK: vplzcntq -4096(%rdx), %ymm23
204// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x44,0x7a,0x80]
205          vplzcntq -4096(%rdx), %ymm23
206
207// CHECK: vplzcntq -4128(%rdx), %ymm23
208// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x44,0xba,0xe0,0xef,0xff,0xff]
209          vplzcntq -4128(%rdx), %ymm23
210
211// CHECK: vplzcntq 1016(%rdx){1to4}, %ymm23
212// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x44,0x7a,0x7f]
213          vplzcntq 1016(%rdx){1to4}, %ymm23
214
215// CHECK: vplzcntq 1024(%rdx){1to4}, %ymm23
216// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x44,0xba,0x00,0x04,0x00,0x00]
217          vplzcntq 1024(%rdx){1to4}, %ymm23
218
219// CHECK: vplzcntq -1024(%rdx){1to4}, %ymm23
220// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x44,0x7a,0x80]
221          vplzcntq -1024(%rdx){1to4}, %ymm23
222
223// CHECK: vplzcntq -1032(%rdx){1to4}, %ymm23
224// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x44,0xba,0xf8,0xfb,0xff,0xff]
225          vplzcntq -1032(%rdx){1to4}, %ymm23
226
227// CHECK: vplzcntd %xmm26, %xmm26
228// CHECK:  encoding: [0x62,0x02,0x7d,0x08,0x44,0xd2]
229          vplzcntd %xmm26, %xmm26
230
231// CHECK: vplzcntd %xmm26, %xmm26 {%k4}
232// CHECK:  encoding: [0x62,0x02,0x7d,0x0c,0x44,0xd2]
233          vplzcntd %xmm26, %xmm26 {%k4}
234
235// CHECK: vplzcntd %xmm26, %xmm26 {%k4} {z}
236// CHECK:  encoding: [0x62,0x02,0x7d,0x8c,0x44,0xd2]
237          vplzcntd %xmm26, %xmm26 {%k4} {z}
238
239// CHECK: vplzcntd (%rcx), %xmm26
240// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x44,0x11]
241          vplzcntd (%rcx), %xmm26
242
243// CHECK: vplzcntd 291(%rax,%r14,8), %xmm26
244// CHECK:  encoding: [0x62,0x22,0x7d,0x08,0x44,0x94,0xf0,0x23,0x01,0x00,0x00]
245          vplzcntd 291(%rax,%r14,8), %xmm26
246
247// CHECK: vplzcntd (%rcx){1to4}, %xmm26
248// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x44,0x11]
249          vplzcntd (%rcx){1to4}, %xmm26
250
251// CHECK: vplzcntd 2032(%rdx), %xmm26
252// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x44,0x52,0x7f]
253          vplzcntd 2032(%rdx), %xmm26
254
255// CHECK: vplzcntd 2048(%rdx), %xmm26
256// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x44,0x92,0x00,0x08,0x00,0x00]
257          vplzcntd 2048(%rdx), %xmm26
258
259// CHECK: vplzcntd -2048(%rdx), %xmm26
260// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x44,0x52,0x80]
261          vplzcntd -2048(%rdx), %xmm26
262
263// CHECK: vplzcntd -2064(%rdx), %xmm26
264// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x44,0x92,0xf0,0xf7,0xff,0xff]
265          vplzcntd -2064(%rdx), %xmm26
266
267// CHECK: vplzcntd 508(%rdx){1to4}, %xmm26
268// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x44,0x52,0x7f]
269          vplzcntd 508(%rdx){1to4}, %xmm26
270
271// CHECK: vplzcntd 512(%rdx){1to4}, %xmm26
272// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x44,0x92,0x00,0x02,0x00,0x00]
273          vplzcntd 512(%rdx){1to4}, %xmm26
274
275// CHECK: vplzcntd -512(%rdx){1to4}, %xmm26
276// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x44,0x52,0x80]
277          vplzcntd -512(%rdx){1to4}, %xmm26
278
279// CHECK: vplzcntd -516(%rdx){1to4}, %xmm26
280// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x44,0x92,0xfc,0xfd,0xff,0xff]
281          vplzcntd -516(%rdx){1to4}, %xmm26
282
283// CHECK: vplzcntd %ymm22, %ymm25
284// CHECK:  encoding: [0x62,0x22,0x7d,0x28,0x44,0xce]
285          vplzcntd %ymm22, %ymm25
286
287// CHECK: vplzcntd %ymm22, %ymm25 {%k2}
288// CHECK:  encoding: [0x62,0x22,0x7d,0x2a,0x44,0xce]
289          vplzcntd %ymm22, %ymm25 {%k2}
290
291// CHECK: vplzcntd %ymm22, %ymm25 {%k2} {z}
292// CHECK:  encoding: [0x62,0x22,0x7d,0xaa,0x44,0xce]
293          vplzcntd %ymm22, %ymm25 {%k2} {z}
294
295// CHECK: vplzcntd (%rcx), %ymm25
296// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x44,0x09]
297          vplzcntd (%rcx), %ymm25
298
299// CHECK: vplzcntd 291(%rax,%r14,8), %ymm25
300// CHECK:  encoding: [0x62,0x22,0x7d,0x28,0x44,0x8c,0xf0,0x23,0x01,0x00,0x00]
301          vplzcntd 291(%rax,%r14,8), %ymm25
302
303// CHECK: vplzcntd (%rcx){1to8}, %ymm25
304// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0x44,0x09]
305          vplzcntd (%rcx){1to8}, %ymm25
306
307// CHECK: vplzcntd 4064(%rdx), %ymm25
308// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x44,0x4a,0x7f]
309          vplzcntd 4064(%rdx), %ymm25
310
311// CHECK: vplzcntd 4096(%rdx), %ymm25
312// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x44,0x8a,0x00,0x10,0x00,0x00]
313          vplzcntd 4096(%rdx), %ymm25
314
315// CHECK: vplzcntd -4096(%rdx), %ymm25
316// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x44,0x4a,0x80]
317          vplzcntd -4096(%rdx), %ymm25
318
319// CHECK: vplzcntd -4128(%rdx), %ymm25
320// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x44,0x8a,0xe0,0xef,0xff,0xff]
321          vplzcntd -4128(%rdx), %ymm25
322
323// CHECK: vplzcntd 508(%rdx){1to8}, %ymm25
324// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0x44,0x4a,0x7f]
325          vplzcntd 508(%rdx){1to8}, %ymm25
326
327// CHECK: vplzcntd 512(%rdx){1to8}, %ymm25
328// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0x44,0x8a,0x00,0x02,0x00,0x00]
329          vplzcntd 512(%rdx){1to8}, %ymm25
330
331// CHECK: vplzcntd -512(%rdx){1to8}, %ymm25
332// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0x44,0x4a,0x80]
333          vplzcntd -512(%rdx){1to8}, %ymm25
334
335// CHECK: vplzcntd -516(%rdx){1to8}, %ymm25
336// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0x44,0x8a,0xfc,0xfd,0xff,0xff]
337          vplzcntd -516(%rdx){1to8}, %ymm25
338
339// CHECK: vplzcntd %xmm22, %xmm30
340// CHECK:  encoding: [0x62,0x22,0x7d,0x08,0x44,0xf6]
341          vplzcntd %xmm22, %xmm30
342
343// CHECK: vplzcntd %xmm22, %xmm30 {%k7}
344// CHECK:  encoding: [0x62,0x22,0x7d,0x0f,0x44,0xf6]
345          vplzcntd %xmm22, %xmm30 {%k7}
346
347// CHECK: vplzcntd %xmm22, %xmm30 {%k7} {z}
348// CHECK:  encoding: [0x62,0x22,0x7d,0x8f,0x44,0xf6]
349          vplzcntd %xmm22, %xmm30 {%k7} {z}
350
351// CHECK: vplzcntd (%rcx), %xmm30
352// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x44,0x31]
353          vplzcntd (%rcx), %xmm30
354
355// CHECK: vplzcntd 4660(%rax,%r14,8), %xmm30
356// CHECK:  encoding: [0x62,0x22,0x7d,0x08,0x44,0xb4,0xf0,0x34,0x12,0x00,0x00]
357          vplzcntd 4660(%rax,%r14,8), %xmm30
358
359// CHECK: vplzcntd (%rcx){1to4}, %xmm30
360// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x44,0x31]
361          vplzcntd (%rcx){1to4}, %xmm30
362
363// CHECK: vplzcntd 2032(%rdx), %xmm30
364// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x44,0x72,0x7f]
365          vplzcntd 2032(%rdx), %xmm30
366
367// CHECK: vplzcntd 2048(%rdx), %xmm30
368// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x44,0xb2,0x00,0x08,0x00,0x00]
369          vplzcntd 2048(%rdx), %xmm30
370
371// CHECK: vplzcntd -2048(%rdx), %xmm30
372// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x44,0x72,0x80]
373          vplzcntd -2048(%rdx), %xmm30
374
375// CHECK: vplzcntd -2064(%rdx), %xmm30
376// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x44,0xb2,0xf0,0xf7,0xff,0xff]
377          vplzcntd -2064(%rdx), %xmm30
378
379// CHECK: vplzcntd 508(%rdx){1to4}, %xmm30
380// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x44,0x72,0x7f]
381          vplzcntd 508(%rdx){1to4}, %xmm30
382
383// CHECK: vplzcntd 512(%rdx){1to4}, %xmm30
384// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x44,0xb2,0x00,0x02,0x00,0x00]
385          vplzcntd 512(%rdx){1to4}, %xmm30
386
387// CHECK: vplzcntd -512(%rdx){1to4}, %xmm30
388// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x44,0x72,0x80]
389          vplzcntd -512(%rdx){1to4}, %xmm30
390
391// CHECK: vplzcntd -516(%rdx){1to4}, %xmm30
392// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x44,0xb2,0xfc,0xfd,0xff,0xff]
393          vplzcntd -516(%rdx){1to4}, %xmm30
394
395// CHECK: vplzcntd %ymm22, %ymm21
396// CHECK:  encoding: [0x62,0xa2,0x7d,0x28,0x44,0xee]
397          vplzcntd %ymm22, %ymm21
398
399// CHECK: vplzcntd %ymm22, %ymm21 {%k3}
400// CHECK:  encoding: [0x62,0xa2,0x7d,0x2b,0x44,0xee]
401          vplzcntd %ymm22, %ymm21 {%k3}
402
403// CHECK: vplzcntd %ymm22, %ymm21 {%k3} {z}
404// CHECK:  encoding: [0x62,0xa2,0x7d,0xab,0x44,0xee]
405          vplzcntd %ymm22, %ymm21 {%k3} {z}
406
407// CHECK: vplzcntd (%rcx), %ymm21
408// CHECK:  encoding: [0x62,0xe2,0x7d,0x28,0x44,0x29]
409          vplzcntd (%rcx), %ymm21
410
411// CHECK: vplzcntd 4660(%rax,%r14,8), %ymm21
412// CHECK:  encoding: [0x62,0xa2,0x7d,0x28,0x44,0xac,0xf0,0x34,0x12,0x00,0x00]
413          vplzcntd 4660(%rax,%r14,8), %ymm21
414
415// CHECK: vplzcntd (%rcx){1to8}, %ymm21
416// CHECK:  encoding: [0x62,0xe2,0x7d,0x38,0x44,0x29]
417          vplzcntd (%rcx){1to8}, %ymm21
418
419// CHECK: vplzcntd 4064(%rdx), %ymm21
420// CHECK:  encoding: [0x62,0xe2,0x7d,0x28,0x44,0x6a,0x7f]
421          vplzcntd 4064(%rdx), %ymm21
422
423// CHECK: vplzcntd 4096(%rdx), %ymm21
424// CHECK:  encoding: [0x62,0xe2,0x7d,0x28,0x44,0xaa,0x00,0x10,0x00,0x00]
425          vplzcntd 4096(%rdx), %ymm21
426
427// CHECK: vplzcntd -4096(%rdx), %ymm21
428// CHECK:  encoding: [0x62,0xe2,0x7d,0x28,0x44,0x6a,0x80]
429          vplzcntd -4096(%rdx), %ymm21
430
431// CHECK: vplzcntd -4128(%rdx), %ymm21
432// CHECK:  encoding: [0x62,0xe2,0x7d,0x28,0x44,0xaa,0xe0,0xef,0xff,0xff]
433          vplzcntd -4128(%rdx), %ymm21
434
435// CHECK: vplzcntd 508(%rdx){1to8}, %ymm21
436// CHECK:  encoding: [0x62,0xe2,0x7d,0x38,0x44,0x6a,0x7f]
437          vplzcntd 508(%rdx){1to8}, %ymm21
438
439// CHECK: vplzcntd 512(%rdx){1to8}, %ymm21
440// CHECK:  encoding: [0x62,0xe2,0x7d,0x38,0x44,0xaa,0x00,0x02,0x00,0x00]
441          vplzcntd 512(%rdx){1to8}, %ymm21
442
443// CHECK: vplzcntd -512(%rdx){1to8}, %ymm21
444// CHECK:  encoding: [0x62,0xe2,0x7d,0x38,0x44,0x6a,0x80]
445          vplzcntd -512(%rdx){1to8}, %ymm21
446
447// CHECK: vplzcntd -516(%rdx){1to8}, %ymm21
448// CHECK:  encoding: [0x62,0xe2,0x7d,0x38,0x44,0xaa,0xfc,0xfd,0xff,0xff]
449          vplzcntd -516(%rdx){1to8}, %ymm21
450
451// CHECK: vpconflictq %xmm24, %xmm19
452// CHECK:  encoding: [0x62,0x82,0xfd,0x08,0xc4,0xd8]
453          vpconflictq %xmm24, %xmm19
454
455// CHECK: vpconflictq %xmm24, %xmm19 {%k7}
456// CHECK:  encoding: [0x62,0x82,0xfd,0x0f,0xc4,0xd8]
457          vpconflictq %xmm24, %xmm19 {%k7}
458
459// CHECK: vpconflictq %xmm24, %xmm19 {%k7} {z}
460// CHECK:  encoding: [0x62,0x82,0xfd,0x8f,0xc4,0xd8]
461          vpconflictq %xmm24, %xmm19 {%k7} {z}
462
463// CHECK: vpconflictq (%rcx), %xmm19
464// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0xc4,0x19]
465          vpconflictq (%rcx), %xmm19
466
467// CHECK: vpconflictq 291(%rax,%r14,8), %xmm19
468// CHECK:  encoding: [0x62,0xa2,0xfd,0x08,0xc4,0x9c,0xf0,0x23,0x01,0x00,0x00]
469          vpconflictq 291(%rax,%r14,8), %xmm19
470
471// CHECK: vpconflictq (%rcx){1to2}, %xmm19
472// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0xc4,0x19]
473          vpconflictq (%rcx){1to2}, %xmm19
474
475// CHECK: vpconflictq 2032(%rdx), %xmm19
476// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0xc4,0x5a,0x7f]
477          vpconflictq 2032(%rdx), %xmm19
478
479// CHECK: vpconflictq 2048(%rdx), %xmm19
480// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0xc4,0x9a,0x00,0x08,0x00,0x00]
481          vpconflictq 2048(%rdx), %xmm19
482
483// CHECK: vpconflictq -2048(%rdx), %xmm19
484// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0xc4,0x5a,0x80]
485          vpconflictq -2048(%rdx), %xmm19
486
487// CHECK: vpconflictq -2064(%rdx), %xmm19
488// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0xc4,0x9a,0xf0,0xf7,0xff,0xff]
489          vpconflictq -2064(%rdx), %xmm19
490
491// CHECK: vpconflictq 1016(%rdx){1to2}, %xmm19
492// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0xc4,0x5a,0x7f]
493          vpconflictq 1016(%rdx){1to2}, %xmm19
494
495// CHECK: vpconflictq 1024(%rdx){1to2}, %xmm19
496// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0xc4,0x9a,0x00,0x04,0x00,0x00]
497          vpconflictq 1024(%rdx){1to2}, %xmm19
498
499// CHECK: vpconflictq -1024(%rdx){1to2}, %xmm19
500// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0xc4,0x5a,0x80]
501          vpconflictq -1024(%rdx){1to2}, %xmm19
502
503// CHECK: vpconflictq -1032(%rdx){1to2}, %xmm19
504// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0xc4,0x9a,0xf8,0xfb,0xff,0xff]
505          vpconflictq -1032(%rdx){1to2}, %xmm19
506
507// CHECK: vpconflictq %ymm25, %ymm20
508// CHECK:  encoding: [0x62,0x82,0xfd,0x28,0xc4,0xe1]
509          vpconflictq %ymm25, %ymm20
510
511// CHECK: vpconflictq %ymm25, %ymm20 {%k6}
512// CHECK:  encoding: [0x62,0x82,0xfd,0x2e,0xc4,0xe1]
513          vpconflictq %ymm25, %ymm20 {%k6}
514
515// CHECK: vpconflictq %ymm25, %ymm20 {%k6} {z}
516// CHECK:  encoding: [0x62,0x82,0xfd,0xae,0xc4,0xe1]
517          vpconflictq %ymm25, %ymm20 {%k6} {z}
518
519// CHECK: vpconflictq (%rcx), %ymm20
520// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0xc4,0x21]
521          vpconflictq (%rcx), %ymm20
522
523// CHECK: vpconflictq 291(%rax,%r14,8), %ymm20
524// CHECK:  encoding: [0x62,0xa2,0xfd,0x28,0xc4,0xa4,0xf0,0x23,0x01,0x00,0x00]
525          vpconflictq 291(%rax,%r14,8), %ymm20
526
527// CHECK: vpconflictq (%rcx){1to4}, %ymm20
528// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0xc4,0x21]
529          vpconflictq (%rcx){1to4}, %ymm20
530
531// CHECK: vpconflictq 4064(%rdx), %ymm20
532// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0xc4,0x62,0x7f]
533          vpconflictq 4064(%rdx), %ymm20
534
535// CHECK: vpconflictq 4096(%rdx), %ymm20
536// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0xc4,0xa2,0x00,0x10,0x00,0x00]
537          vpconflictq 4096(%rdx), %ymm20
538
539// CHECK: vpconflictq -4096(%rdx), %ymm20
540// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0xc4,0x62,0x80]
541          vpconflictq -4096(%rdx), %ymm20
542
543// CHECK: vpconflictq -4128(%rdx), %ymm20
544// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0xc4,0xa2,0xe0,0xef,0xff,0xff]
545          vpconflictq -4128(%rdx), %ymm20
546
547// CHECK: vpconflictq 1016(%rdx){1to4}, %ymm20
548// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0xc4,0x62,0x7f]
549          vpconflictq 1016(%rdx){1to4}, %ymm20
550
551// CHECK: vpconflictq 1024(%rdx){1to4}, %ymm20
552// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0xc4,0xa2,0x00,0x04,0x00,0x00]
553          vpconflictq 1024(%rdx){1to4}, %ymm20
554
555// CHECK: vpconflictq -1024(%rdx){1to4}, %ymm20
556// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0xc4,0x62,0x80]
557          vpconflictq -1024(%rdx){1to4}, %ymm20
558
559// CHECK: vpconflictq -1032(%rdx){1to4}, %ymm20
560// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0xc4,0xa2,0xf8,0xfb,0xff,0xff]
561          vpconflictq -1032(%rdx){1to4}, %ymm20
562
563// CHECK: vpconflictq %xmm27, %xmm18
564// CHECK:  encoding: [0x62,0x82,0xfd,0x08,0xc4,0xd3]
565          vpconflictq %xmm27, %xmm18
566
567// CHECK: vpconflictq %xmm27, %xmm18 {%k4}
568// CHECK:  encoding: [0x62,0x82,0xfd,0x0c,0xc4,0xd3]
569          vpconflictq %xmm27, %xmm18 {%k4}
570
571// CHECK: vpconflictq %xmm27, %xmm18 {%k4} {z}
572// CHECK:  encoding: [0x62,0x82,0xfd,0x8c,0xc4,0xd3]
573          vpconflictq %xmm27, %xmm18 {%k4} {z}
574
575// CHECK: vpconflictq (%rcx), %xmm18
576// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0xc4,0x11]
577          vpconflictq (%rcx), %xmm18
578
579// CHECK: vpconflictq 4660(%rax,%r14,8), %xmm18
580// CHECK:  encoding: [0x62,0xa2,0xfd,0x08,0xc4,0x94,0xf0,0x34,0x12,0x00,0x00]
581          vpconflictq 4660(%rax,%r14,8), %xmm18
582
583// CHECK: vpconflictq (%rcx){1to2}, %xmm18
584// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0xc4,0x11]
585          vpconflictq (%rcx){1to2}, %xmm18
586
587// CHECK: vpconflictq 2032(%rdx), %xmm18
588// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0xc4,0x52,0x7f]
589          vpconflictq 2032(%rdx), %xmm18
590
591// CHECK: vpconflictq 2048(%rdx), %xmm18
592// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0xc4,0x92,0x00,0x08,0x00,0x00]
593          vpconflictq 2048(%rdx), %xmm18
594
595// CHECK: vpconflictq -2048(%rdx), %xmm18
596// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0xc4,0x52,0x80]
597          vpconflictq -2048(%rdx), %xmm18
598
599// CHECK: vpconflictq -2064(%rdx), %xmm18
600// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0xc4,0x92,0xf0,0xf7,0xff,0xff]
601          vpconflictq -2064(%rdx), %xmm18
602
603// CHECK: vpconflictq 1016(%rdx){1to2}, %xmm18
604// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0xc4,0x52,0x7f]
605          vpconflictq 1016(%rdx){1to2}, %xmm18
606
607// CHECK: vpconflictq 1024(%rdx){1to2}, %xmm18
608// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0xc4,0x92,0x00,0x04,0x00,0x00]
609          vpconflictq 1024(%rdx){1to2}, %xmm18
610
611// CHECK: vpconflictq -1024(%rdx){1to2}, %xmm18
612// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0xc4,0x52,0x80]
613          vpconflictq -1024(%rdx){1to2}, %xmm18
614
615// CHECK: vpconflictq -1032(%rdx){1to2}, %xmm18
616// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0xc4,0x92,0xf8,0xfb,0xff,0xff]
617          vpconflictq -1032(%rdx){1to2}, %xmm18
618
619// CHECK: vpconflictq %ymm21, %ymm17
620// CHECK:  encoding: [0x62,0xa2,0xfd,0x28,0xc4,0xcd]
621          vpconflictq %ymm21, %ymm17
622
623// CHECK: vpconflictq %ymm21, %ymm17 {%k6}
624// CHECK:  encoding: [0x62,0xa2,0xfd,0x2e,0xc4,0xcd]
625          vpconflictq %ymm21, %ymm17 {%k6}
626
627// CHECK: vpconflictq %ymm21, %ymm17 {%k6} {z}
628// CHECK:  encoding: [0x62,0xa2,0xfd,0xae,0xc4,0xcd]
629          vpconflictq %ymm21, %ymm17 {%k6} {z}
630
631// CHECK: vpconflictq (%rcx), %ymm17
632// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0xc4,0x09]
633          vpconflictq (%rcx), %ymm17
634
635// CHECK: vpconflictq 4660(%rax,%r14,8), %ymm17
636// CHECK:  encoding: [0x62,0xa2,0xfd,0x28,0xc4,0x8c,0xf0,0x34,0x12,0x00,0x00]
637          vpconflictq 4660(%rax,%r14,8), %ymm17
638
639// CHECK: vpconflictq (%rcx){1to4}, %ymm17
640// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0xc4,0x09]
641          vpconflictq (%rcx){1to4}, %ymm17
642
643// CHECK: vpconflictq 4064(%rdx), %ymm17
644// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0xc4,0x4a,0x7f]
645          vpconflictq 4064(%rdx), %ymm17
646
647// CHECK: vpconflictq 4096(%rdx), %ymm17
648// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0xc4,0x8a,0x00,0x10,0x00,0x00]
649          vpconflictq 4096(%rdx), %ymm17
650
651// CHECK: vpconflictq -4096(%rdx), %ymm17
652// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0xc4,0x4a,0x80]
653          vpconflictq -4096(%rdx), %ymm17
654
655// CHECK: vpconflictq -4128(%rdx), %ymm17
656// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0xc4,0x8a,0xe0,0xef,0xff,0xff]
657          vpconflictq -4128(%rdx), %ymm17
658
659// CHECK: vpconflictq 1016(%rdx){1to4}, %ymm17
660// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0xc4,0x4a,0x7f]
661          vpconflictq 1016(%rdx){1to4}, %ymm17
662
663// CHECK: vpconflictq 1024(%rdx){1to4}, %ymm17
664// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0xc4,0x8a,0x00,0x04,0x00,0x00]
665          vpconflictq 1024(%rdx){1to4}, %ymm17
666
667// CHECK: vpconflictq -1024(%rdx){1to4}, %ymm17
668// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0xc4,0x4a,0x80]
669          vpconflictq -1024(%rdx){1to4}, %ymm17
670
671// CHECK: vpconflictq -1032(%rdx){1to4}, %ymm17
672// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0xc4,0x8a,0xf8,0xfb,0xff,0xff]
673          vpconflictq -1032(%rdx){1to4}, %ymm17
674
675// CHECK: vpconflictd %xmm27, %xmm21
676// CHECK:  encoding: [0x62,0x82,0x7d,0x08,0xc4,0xeb]
677          vpconflictd %xmm27, %xmm21
678
679// CHECK: vpconflictd %xmm27, %xmm21 {%k5}
680// CHECK:  encoding: [0x62,0x82,0x7d,0x0d,0xc4,0xeb]
681          vpconflictd %xmm27, %xmm21 {%k5}
682
683// CHECK: vpconflictd %xmm27, %xmm21 {%k5} {z}
684// CHECK:  encoding: [0x62,0x82,0x7d,0x8d,0xc4,0xeb]
685          vpconflictd %xmm27, %xmm21 {%k5} {z}
686
687// CHECK: vpconflictd (%rcx), %xmm21
688// CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0xc4,0x29]
689          vpconflictd (%rcx), %xmm21
690
691// CHECK: vpconflictd 291(%rax,%r14,8), %xmm21
692// CHECK:  encoding: [0x62,0xa2,0x7d,0x08,0xc4,0xac,0xf0,0x23,0x01,0x00,0x00]
693          vpconflictd 291(%rax,%r14,8), %xmm21
694
695// CHECK: vpconflictd (%rcx){1to4}, %xmm21
696// CHECK:  encoding: [0x62,0xe2,0x7d,0x18,0xc4,0x29]
697          vpconflictd (%rcx){1to4}, %xmm21
698
699// CHECK: vpconflictd 2032(%rdx), %xmm21
700// CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0xc4,0x6a,0x7f]
701          vpconflictd 2032(%rdx), %xmm21
702
703// CHECK: vpconflictd 2048(%rdx), %xmm21
704// CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0xc4,0xaa,0x00,0x08,0x00,0x00]
705          vpconflictd 2048(%rdx), %xmm21
706
707// CHECK: vpconflictd -2048(%rdx), %xmm21
708// CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0xc4,0x6a,0x80]
709          vpconflictd -2048(%rdx), %xmm21
710
711// CHECK: vpconflictd -2064(%rdx), %xmm21
712// CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0xc4,0xaa,0xf0,0xf7,0xff,0xff]
713          vpconflictd -2064(%rdx), %xmm21
714
715// CHECK: vpconflictd 508(%rdx){1to4}, %xmm21
716// CHECK:  encoding: [0x62,0xe2,0x7d,0x18,0xc4,0x6a,0x7f]
717          vpconflictd 508(%rdx){1to4}, %xmm21
718
719// CHECK: vpconflictd 512(%rdx){1to4}, %xmm21
720// CHECK:  encoding: [0x62,0xe2,0x7d,0x18,0xc4,0xaa,0x00,0x02,0x00,0x00]
721          vpconflictd 512(%rdx){1to4}, %xmm21
722
723// CHECK: vpconflictd -512(%rdx){1to4}, %xmm21
724// CHECK:  encoding: [0x62,0xe2,0x7d,0x18,0xc4,0x6a,0x80]
725          vpconflictd -512(%rdx){1to4}, %xmm21
726
727// CHECK: vpconflictd -516(%rdx){1to4}, %xmm21
728// CHECK:  encoding: [0x62,0xe2,0x7d,0x18,0xc4,0xaa,0xfc,0xfd,0xff,0xff]
729          vpconflictd -516(%rdx){1to4}, %xmm21
730
731// CHECK: vpconflictd %ymm19, %ymm25
732// CHECK:  encoding: [0x62,0x22,0x7d,0x28,0xc4,0xcb]
733          vpconflictd %ymm19, %ymm25
734
735// CHECK: vpconflictd %ymm19, %ymm25 {%k4}
736// CHECK:  encoding: [0x62,0x22,0x7d,0x2c,0xc4,0xcb]
737          vpconflictd %ymm19, %ymm25 {%k4}
738
739// CHECK: vpconflictd %ymm19, %ymm25 {%k4} {z}
740// CHECK:  encoding: [0x62,0x22,0x7d,0xac,0xc4,0xcb]
741          vpconflictd %ymm19, %ymm25 {%k4} {z}
742
743// CHECK: vpconflictd (%rcx), %ymm25
744// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0xc4,0x09]
745          vpconflictd (%rcx), %ymm25
746
747// CHECK: vpconflictd 291(%rax,%r14,8), %ymm25
748// CHECK:  encoding: [0x62,0x22,0x7d,0x28,0xc4,0x8c,0xf0,0x23,0x01,0x00,0x00]
749          vpconflictd 291(%rax,%r14,8), %ymm25
750
751// CHECK: vpconflictd (%rcx){1to8}, %ymm25
752// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0xc4,0x09]
753          vpconflictd (%rcx){1to8}, %ymm25
754
755// CHECK: vpconflictd 4064(%rdx), %ymm25
756// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0xc4,0x4a,0x7f]
757          vpconflictd 4064(%rdx), %ymm25
758
759// CHECK: vpconflictd 4096(%rdx), %ymm25
760// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0xc4,0x8a,0x00,0x10,0x00,0x00]
761          vpconflictd 4096(%rdx), %ymm25
762
763// CHECK: vpconflictd -4096(%rdx), %ymm25
764// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0xc4,0x4a,0x80]
765          vpconflictd -4096(%rdx), %ymm25
766
767// CHECK: vpconflictd -4128(%rdx), %ymm25
768// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0xc4,0x8a,0xe0,0xef,0xff,0xff]
769          vpconflictd -4128(%rdx), %ymm25
770
771// CHECK: vpconflictd 508(%rdx){1to8}, %ymm25
772// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0xc4,0x4a,0x7f]
773          vpconflictd 508(%rdx){1to8}, %ymm25
774
775// CHECK: vpconflictd 512(%rdx){1to8}, %ymm25
776// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0xc4,0x8a,0x00,0x02,0x00,0x00]
777          vpconflictd 512(%rdx){1to8}, %ymm25
778
779// CHECK: vpconflictd -512(%rdx){1to8}, %ymm25
780// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0xc4,0x4a,0x80]
781          vpconflictd -512(%rdx){1to8}, %ymm25
782
783// CHECK: vpconflictd -516(%rdx){1to8}, %ymm25
784// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0xc4,0x8a,0xfc,0xfd,0xff,0xff]
785          vpconflictd -516(%rdx){1to8}, %ymm25
786
787// CHECK: vpconflictd %xmm28, %xmm27
788// CHECK:  encoding: [0x62,0x02,0x7d,0x08,0xc4,0xdc]
789          vpconflictd %xmm28, %xmm27
790
791// CHECK: vpconflictd %xmm28, %xmm27 {%k3}
792// CHECK:  encoding: [0x62,0x02,0x7d,0x0b,0xc4,0xdc]
793          vpconflictd %xmm28, %xmm27 {%k3}
794
795// CHECK: vpconflictd %xmm28, %xmm27 {%k3} {z}
796// CHECK:  encoding: [0x62,0x02,0x7d,0x8b,0xc4,0xdc]
797          vpconflictd %xmm28, %xmm27 {%k3} {z}
798
799// CHECK: vpconflictd (%rcx), %xmm27
800// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0xc4,0x19]
801          vpconflictd (%rcx), %xmm27
802
803// CHECK: vpconflictd 4660(%rax,%r14,8), %xmm27
804// CHECK:  encoding: [0x62,0x22,0x7d,0x08,0xc4,0x9c,0xf0,0x34,0x12,0x00,0x00]
805          vpconflictd 4660(%rax,%r14,8), %xmm27
806
807// CHECK: vpconflictd (%rcx){1to4}, %xmm27
808// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0xc4,0x19]
809          vpconflictd (%rcx){1to4}, %xmm27
810
811// CHECK: vpconflictd 2032(%rdx), %xmm27
812// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0xc4,0x5a,0x7f]
813          vpconflictd 2032(%rdx), %xmm27
814
815// CHECK: vpconflictd 2048(%rdx), %xmm27
816// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0xc4,0x9a,0x00,0x08,0x00,0x00]
817          vpconflictd 2048(%rdx), %xmm27
818
819// CHECK: vpconflictd -2048(%rdx), %xmm27
820// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0xc4,0x5a,0x80]
821          vpconflictd -2048(%rdx), %xmm27
822
823// CHECK: vpconflictd -2064(%rdx), %xmm27
824// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0xc4,0x9a,0xf0,0xf7,0xff,0xff]
825          vpconflictd -2064(%rdx), %xmm27
826
827// CHECK: vpconflictd 508(%rdx){1to4}, %xmm27
828// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0xc4,0x5a,0x7f]
829          vpconflictd 508(%rdx){1to4}, %xmm27
830
831// CHECK: vpconflictd 512(%rdx){1to4}, %xmm27
832// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0xc4,0x9a,0x00,0x02,0x00,0x00]
833          vpconflictd 512(%rdx){1to4}, %xmm27
834
835// CHECK: vpconflictd -512(%rdx){1to4}, %xmm27
836// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0xc4,0x5a,0x80]
837          vpconflictd -512(%rdx){1to4}, %xmm27
838
839// CHECK: vpconflictd -516(%rdx){1to4}, %xmm27
840// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0xc4,0x9a,0xfc,0xfd,0xff,0xff]
841          vpconflictd -516(%rdx){1to4}, %xmm27
842
843// CHECK: vpconflictd %ymm21, %ymm26
844// CHECK:  encoding: [0x62,0x22,0x7d,0x28,0xc4,0xd5]
845          vpconflictd %ymm21, %ymm26
846
847// CHECK: vpconflictd %ymm21, %ymm26 {%k4}
848// CHECK:  encoding: [0x62,0x22,0x7d,0x2c,0xc4,0xd5]
849          vpconflictd %ymm21, %ymm26 {%k4}
850
851// CHECK: vpconflictd %ymm21, %ymm26 {%k4} {z}
852// CHECK:  encoding: [0x62,0x22,0x7d,0xac,0xc4,0xd5]
853          vpconflictd %ymm21, %ymm26 {%k4} {z}
854
855// CHECK: vpconflictd (%rcx), %ymm26
856// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0xc4,0x11]
857          vpconflictd (%rcx), %ymm26
858
859// CHECK: vpconflictd 4660(%rax,%r14,8), %ymm26
860// CHECK:  encoding: [0x62,0x22,0x7d,0x28,0xc4,0x94,0xf0,0x34,0x12,0x00,0x00]
861          vpconflictd 4660(%rax,%r14,8), %ymm26
862
863// CHECK: vpconflictd (%rcx){1to8}, %ymm26
864// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0xc4,0x11]
865          vpconflictd (%rcx){1to8}, %ymm26
866
867// CHECK: vpconflictd 4064(%rdx), %ymm26
868// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0xc4,0x52,0x7f]
869          vpconflictd 4064(%rdx), %ymm26
870
871// CHECK: vpconflictd 4096(%rdx), %ymm26
872// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0xc4,0x92,0x00,0x10,0x00,0x00]
873          vpconflictd 4096(%rdx), %ymm26
874
875// CHECK: vpconflictd -4096(%rdx), %ymm26
876// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0xc4,0x52,0x80]
877          vpconflictd -4096(%rdx), %ymm26
878
879// CHECK: vpconflictd -4128(%rdx), %ymm26
880// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0xc4,0x92,0xe0,0xef,0xff,0xff]
881          vpconflictd -4128(%rdx), %ymm26
882
883// CHECK: vpconflictd 508(%rdx){1to8}, %ymm26
884// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0xc4,0x52,0x7f]
885          vpconflictd 508(%rdx){1to8}, %ymm26
886
887// CHECK: vpconflictd 512(%rdx){1to8}, %ymm26
888// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0xc4,0x92,0x00,0x02,0x00,0x00]
889          vpconflictd 512(%rdx){1to8}, %ymm26
890
891// CHECK: vpconflictd -512(%rdx){1to8}, %ymm26
892// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0xc4,0x52,0x80]
893          vpconflictd -512(%rdx){1to8}, %ymm26
894
895// CHECK: vpconflictd -516(%rdx){1to8}, %ymm26
896// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0xc4,0x92,0xfc,0xfd,0xff,0xff]
897          vpconflictd -516(%rdx){1to8}, %ymm26
898
899// CHECK: vpbroadcastmw2d %k4, %xmm19
900// CHECK:  encoding: [0x62,0xe2,0x7e,0x08,0x3a,0xdc]
901          vpbroadcastmw2d %k4, %xmm19
902
903// CHECK: vpbroadcastmw2d %k3, %ymm24
904// CHECK:  encoding: [0x62,0x62,0x7e,0x28,0x3a,0xc3]
905          vpbroadcastmw2d %k3, %ymm24
906
907// CHECK: vpbroadcastmw2d %k4, %xmm21
908// CHECK:  encoding: [0x62,0xe2,0x7e,0x08,0x3a,0xec]
909          vpbroadcastmw2d %k4, %xmm21
910
911// CHECK: vpbroadcastmw2d %k4, %ymm27
912// CHECK:  encoding: [0x62,0x62,0x7e,0x28,0x3a,0xdc]
913          vpbroadcastmw2d %k4, %ymm27
914