1// RUN: llvm-mc -triple x86_64-unknown-unknown -mcpu=skx  --show-encoding %s | FileCheck %s
2
3// CHECK: vblendmpd %xmm19, %xmm20, %xmm27
4// CHECK:  encoding: [0x62,0x22,0xdd,0x00,0x65,0xdb]
5          vblendmpd %xmm19, %xmm20, %xmm27
6
7// CHECK: vblendmpd %xmm19, %xmm20, %xmm27 {%k7}
8// CHECK:  encoding: [0x62,0x22,0xdd,0x07,0x65,0xdb]
9          vblendmpd %xmm19, %xmm20, %xmm27 {%k7}
10
11// CHECK: vblendmpd %xmm19, %xmm20, %xmm27 {%k7} {z}
12// CHECK:  encoding: [0x62,0x22,0xdd,0x87,0x65,0xdb]
13          vblendmpd %xmm19, %xmm20, %xmm27 {%k7} {z}
14
15// CHECK: vblendmpd (%rcx), %xmm20, %xmm27
16// CHECK:  encoding: [0x62,0x62,0xdd,0x00,0x65,0x19]
17          vblendmpd (%rcx), %xmm20, %xmm27
18
19// CHECK: vblendmpd 291(%rax,%r14,8), %xmm20, %xmm27
20// CHECK:  encoding: [0x62,0x22,0xdd,0x00,0x65,0x9c,0xf0,0x23,0x01,0x00,0x00]
21          vblendmpd 291(%rax,%r14,8), %xmm20, %xmm27
22
23// CHECK: vblendmpd (%rcx){1to2}, %xmm20, %xmm27
24// CHECK:  encoding: [0x62,0x62,0xdd,0x10,0x65,0x19]
25          vblendmpd (%rcx){1to2}, %xmm20, %xmm27
26
27// CHECK: vblendmpd 2032(%rdx), %xmm20, %xmm27
28// CHECK:  encoding: [0x62,0x62,0xdd,0x00,0x65,0x5a,0x7f]
29          vblendmpd 2032(%rdx), %xmm20, %xmm27
30
31// CHECK: vblendmpd 2048(%rdx), %xmm20, %xmm27
32// CHECK:  encoding: [0x62,0x62,0xdd,0x00,0x65,0x9a,0x00,0x08,0x00,0x00]
33          vblendmpd 2048(%rdx), %xmm20, %xmm27
34
35// CHECK: vblendmpd -2048(%rdx), %xmm20, %xmm27
36// CHECK:  encoding: [0x62,0x62,0xdd,0x00,0x65,0x5a,0x80]
37          vblendmpd -2048(%rdx), %xmm20, %xmm27
38
39// CHECK: vblendmpd -2064(%rdx), %xmm20, %xmm27
40// CHECK:  encoding: [0x62,0x62,0xdd,0x00,0x65,0x9a,0xf0,0xf7,0xff,0xff]
41          vblendmpd -2064(%rdx), %xmm20, %xmm27
42
43// CHECK: vblendmpd 1016(%rdx){1to2}, %xmm20, %xmm27
44// CHECK:  encoding: [0x62,0x62,0xdd,0x10,0x65,0x5a,0x7f]
45          vblendmpd 1016(%rdx){1to2}, %xmm20, %xmm27
46
47// CHECK: vblendmpd 1024(%rdx){1to2}, %xmm20, %xmm27
48// CHECK:  encoding: [0x62,0x62,0xdd,0x10,0x65,0x9a,0x00,0x04,0x00,0x00]
49          vblendmpd 1024(%rdx){1to2}, %xmm20, %xmm27
50
51// CHECK: vblendmpd -1024(%rdx){1to2}, %xmm20, %xmm27
52// CHECK:  encoding: [0x62,0x62,0xdd,0x10,0x65,0x5a,0x80]
53          vblendmpd -1024(%rdx){1to2}, %xmm20, %xmm27
54
55// CHECK: vblendmpd -1032(%rdx){1to2}, %xmm20, %xmm27
56// CHECK:  encoding: [0x62,0x62,0xdd,0x10,0x65,0x9a,0xf8,0xfb,0xff,0xff]
57          vblendmpd -1032(%rdx){1to2}, %xmm20, %xmm27
58
59// CHECK: vblendmpd %ymm23, %ymm21, %ymm28
60// CHECK:  encoding: [0x62,0x22,0xd5,0x20,0x65,0xe7]
61          vblendmpd %ymm23, %ymm21, %ymm28
62
63// CHECK: vblendmpd %ymm23, %ymm21, %ymm28 {%k3}
64// CHECK:  encoding: [0x62,0x22,0xd5,0x23,0x65,0xe7]
65          vblendmpd %ymm23, %ymm21, %ymm28 {%k3}
66
67// CHECK: vblendmpd %ymm23, %ymm21, %ymm28 {%k3} {z}
68// CHECK:  encoding: [0x62,0x22,0xd5,0xa3,0x65,0xe7]
69          vblendmpd %ymm23, %ymm21, %ymm28 {%k3} {z}
70
71// CHECK: vblendmpd (%rcx), %ymm21, %ymm28
72// CHECK:  encoding: [0x62,0x62,0xd5,0x20,0x65,0x21]
73          vblendmpd (%rcx), %ymm21, %ymm28
74
75// CHECK: vblendmpd 291(%rax,%r14,8), %ymm21, %ymm28
76// CHECK:  encoding: [0x62,0x22,0xd5,0x20,0x65,0xa4,0xf0,0x23,0x01,0x00,0x00]
77          vblendmpd 291(%rax,%r14,8), %ymm21, %ymm28
78
79// CHECK: vblendmpd (%rcx){1to4}, %ymm21, %ymm28
80// CHECK:  encoding: [0x62,0x62,0xd5,0x30,0x65,0x21]
81          vblendmpd (%rcx){1to4}, %ymm21, %ymm28
82
83// CHECK: vblendmpd 4064(%rdx), %ymm21, %ymm28
84// CHECK:  encoding: [0x62,0x62,0xd5,0x20,0x65,0x62,0x7f]
85          vblendmpd 4064(%rdx), %ymm21, %ymm28
86
87// CHECK: vblendmpd 4096(%rdx), %ymm21, %ymm28
88// CHECK:  encoding: [0x62,0x62,0xd5,0x20,0x65,0xa2,0x00,0x10,0x00,0x00]
89          vblendmpd 4096(%rdx), %ymm21, %ymm28
90
91// CHECK: vblendmpd -4096(%rdx), %ymm21, %ymm28
92// CHECK:  encoding: [0x62,0x62,0xd5,0x20,0x65,0x62,0x80]
93          vblendmpd -4096(%rdx), %ymm21, %ymm28
94
95// CHECK: vblendmpd -4128(%rdx), %ymm21, %ymm28
96// CHECK:  encoding: [0x62,0x62,0xd5,0x20,0x65,0xa2,0xe0,0xef,0xff,0xff]
97          vblendmpd -4128(%rdx), %ymm21, %ymm28
98
99// CHECK: vblendmpd 1016(%rdx){1to4}, %ymm21, %ymm28
100// CHECK:  encoding: [0x62,0x62,0xd5,0x30,0x65,0x62,0x7f]
101          vblendmpd 1016(%rdx){1to4}, %ymm21, %ymm28
102
103// CHECK: vblendmpd 1024(%rdx){1to4}, %ymm21, %ymm28
104// CHECK:  encoding: [0x62,0x62,0xd5,0x30,0x65,0xa2,0x00,0x04,0x00,0x00]
105          vblendmpd 1024(%rdx){1to4}, %ymm21, %ymm28
106
107// CHECK: vblendmpd -1024(%rdx){1to4}, %ymm21, %ymm28
108// CHECK:  encoding: [0x62,0x62,0xd5,0x30,0x65,0x62,0x80]
109          vblendmpd -1024(%rdx){1to4}, %ymm21, %ymm28
110
111// CHECK: vblendmpd -1032(%rdx){1to4}, %ymm21, %ymm28
112// CHECK:  encoding: [0x62,0x62,0xd5,0x30,0x65,0xa2,0xf8,0xfb,0xff,0xff]
113          vblendmpd -1032(%rdx){1to4}, %ymm21, %ymm28
114
115// CHECK: vblendmps %xmm20, %xmm20, %xmm24
116// CHECK:  encoding: [0x62,0x22,0x5d,0x00,0x65,0xc4]
117          vblendmps %xmm20, %xmm20, %xmm24
118
119// CHECK: vblendmps %xmm20, %xmm20, %xmm24 {%k1}
120// CHECK:  encoding: [0x62,0x22,0x5d,0x01,0x65,0xc4]
121          vblendmps %xmm20, %xmm20, %xmm24 {%k1}
122
123// CHECK: vblendmps %xmm20, %xmm20, %xmm24 {%k1} {z}
124// CHECK:  encoding: [0x62,0x22,0x5d,0x81,0x65,0xc4]
125          vblendmps %xmm20, %xmm20, %xmm24 {%k1} {z}
126
127// CHECK: vblendmps (%rcx), %xmm20, %xmm24
128// CHECK:  encoding: [0x62,0x62,0x5d,0x00,0x65,0x01]
129          vblendmps (%rcx), %xmm20, %xmm24
130
131// CHECK: vblendmps 291(%rax,%r14,8), %xmm20, %xmm24
132// CHECK:  encoding: [0x62,0x22,0x5d,0x00,0x65,0x84,0xf0,0x23,0x01,0x00,0x00]
133          vblendmps 291(%rax,%r14,8), %xmm20, %xmm24
134
135// CHECK: vblendmps (%rcx){1to4}, %xmm20, %xmm24
136// CHECK:  encoding: [0x62,0x62,0x5d,0x10,0x65,0x01]
137          vblendmps (%rcx){1to4}, %xmm20, %xmm24
138
139// CHECK: vblendmps 2032(%rdx), %xmm20, %xmm24
140// CHECK:  encoding: [0x62,0x62,0x5d,0x00,0x65,0x42,0x7f]
141          vblendmps 2032(%rdx), %xmm20, %xmm24
142
143// CHECK: vblendmps 2048(%rdx), %xmm20, %xmm24
144// CHECK:  encoding: [0x62,0x62,0x5d,0x00,0x65,0x82,0x00,0x08,0x00,0x00]
145          vblendmps 2048(%rdx), %xmm20, %xmm24
146
147// CHECK: vblendmps -2048(%rdx), %xmm20, %xmm24
148// CHECK:  encoding: [0x62,0x62,0x5d,0x00,0x65,0x42,0x80]
149          vblendmps -2048(%rdx), %xmm20, %xmm24
150
151// CHECK: vblendmps -2064(%rdx), %xmm20, %xmm24
152// CHECK:  encoding: [0x62,0x62,0x5d,0x00,0x65,0x82,0xf0,0xf7,0xff,0xff]
153          vblendmps -2064(%rdx), %xmm20, %xmm24
154
155// CHECK: vblendmps 508(%rdx){1to4}, %xmm20, %xmm24
156// CHECK:  encoding: [0x62,0x62,0x5d,0x10,0x65,0x42,0x7f]
157          vblendmps 508(%rdx){1to4}, %xmm20, %xmm24
158
159// CHECK: vblendmps 512(%rdx){1to4}, %xmm20, %xmm24
160// CHECK:  encoding: [0x62,0x62,0x5d,0x10,0x65,0x82,0x00,0x02,0x00,0x00]
161          vblendmps 512(%rdx){1to4}, %xmm20, %xmm24
162
163// CHECK: vblendmps -512(%rdx){1to4}, %xmm20, %xmm24
164// CHECK:  encoding: [0x62,0x62,0x5d,0x10,0x65,0x42,0x80]
165          vblendmps -512(%rdx){1to4}, %xmm20, %xmm24
166
167// CHECK: vblendmps -516(%rdx){1to4}, %xmm20, %xmm24
168// CHECK:  encoding: [0x62,0x62,0x5d,0x10,0x65,0x82,0xfc,0xfd,0xff,0xff]
169          vblendmps -516(%rdx){1to4}, %xmm20, %xmm24
170
171// CHECK: vblendmps %ymm24, %ymm23, %ymm17
172// CHECK:  encoding: [0x62,0x82,0x45,0x20,0x65,0xc8]
173          vblendmps %ymm24, %ymm23, %ymm17
174
175// CHECK: vblendmps %ymm24, %ymm23, %ymm17 {%k6}
176// CHECK:  encoding: [0x62,0x82,0x45,0x26,0x65,0xc8]
177          vblendmps %ymm24, %ymm23, %ymm17 {%k6}
178
179// CHECK: vblendmps %ymm24, %ymm23, %ymm17 {%k6} {z}
180// CHECK:  encoding: [0x62,0x82,0x45,0xa6,0x65,0xc8]
181          vblendmps %ymm24, %ymm23, %ymm17 {%k6} {z}
182
183// CHECK: vblendmps (%rcx), %ymm23, %ymm17
184// CHECK:  encoding: [0x62,0xe2,0x45,0x20,0x65,0x09]
185          vblendmps (%rcx), %ymm23, %ymm17
186
187// CHECK: vblendmps 291(%rax,%r14,8), %ymm23, %ymm17
188// CHECK:  encoding: [0x62,0xa2,0x45,0x20,0x65,0x8c,0xf0,0x23,0x01,0x00,0x00]
189          vblendmps 291(%rax,%r14,8), %ymm23, %ymm17
190
191// CHECK: vblendmps (%rcx){1to8}, %ymm23, %ymm17
192// CHECK:  encoding: [0x62,0xe2,0x45,0x30,0x65,0x09]
193          vblendmps (%rcx){1to8}, %ymm23, %ymm17
194
195// CHECK: vblendmps 4064(%rdx), %ymm23, %ymm17
196// CHECK:  encoding: [0x62,0xe2,0x45,0x20,0x65,0x4a,0x7f]
197          vblendmps 4064(%rdx), %ymm23, %ymm17
198
199// CHECK: vblendmps 4096(%rdx), %ymm23, %ymm17
200// CHECK:  encoding: [0x62,0xe2,0x45,0x20,0x65,0x8a,0x00,0x10,0x00,0x00]
201          vblendmps 4096(%rdx), %ymm23, %ymm17
202
203// CHECK: vblendmps -4096(%rdx), %ymm23, %ymm17
204// CHECK:  encoding: [0x62,0xe2,0x45,0x20,0x65,0x4a,0x80]
205          vblendmps -4096(%rdx), %ymm23, %ymm17
206
207// CHECK: vblendmps -4128(%rdx), %ymm23, %ymm17
208// CHECK:  encoding: [0x62,0xe2,0x45,0x20,0x65,0x8a,0xe0,0xef,0xff,0xff]
209          vblendmps -4128(%rdx), %ymm23, %ymm17
210
211// CHECK: vblendmps 508(%rdx){1to8}, %ymm23, %ymm17
212// CHECK:  encoding: [0x62,0xe2,0x45,0x30,0x65,0x4a,0x7f]
213          vblendmps 508(%rdx){1to8}, %ymm23, %ymm17
214
215// CHECK: vblendmps 512(%rdx){1to8}, %ymm23, %ymm17
216// CHECK:  encoding: [0x62,0xe2,0x45,0x30,0x65,0x8a,0x00,0x02,0x00,0x00]
217          vblendmps 512(%rdx){1to8}, %ymm23, %ymm17
218
219// CHECK: vblendmps -512(%rdx){1to8}, %ymm23, %ymm17
220// CHECK:  encoding: [0x62,0xe2,0x45,0x30,0x65,0x4a,0x80]
221          vblendmps -512(%rdx){1to8}, %ymm23, %ymm17
222
223// CHECK: vblendmps -516(%rdx){1to8}, %ymm23, %ymm17
224// CHECK:  encoding: [0x62,0xe2,0x45,0x30,0x65,0x8a,0xfc,0xfd,0xff,0xff]
225          vblendmps -516(%rdx){1to8}, %ymm23, %ymm17
226
227// CHECK: vpblendmd %xmm26, %xmm25, %xmm17
228// CHECK:  encoding: [0x62,0x82,0x35,0x00,0x64,0xca]
229          vpblendmd %xmm26, %xmm25, %xmm17
230
231// CHECK: vpblendmd %xmm26, %xmm25, %xmm17 {%k5}
232// CHECK:  encoding: [0x62,0x82,0x35,0x05,0x64,0xca]
233          vpblendmd %xmm26, %xmm25, %xmm17 {%k5}
234
235// CHECK: vpblendmd %xmm26, %xmm25, %xmm17 {%k5} {z}
236// CHECK:  encoding: [0x62,0x82,0x35,0x85,0x64,0xca]
237          vpblendmd %xmm26, %xmm25, %xmm17 {%k5} {z}
238
239// CHECK: vpblendmd (%rcx), %xmm25, %xmm17
240// CHECK:  encoding: [0x62,0xe2,0x35,0x00,0x64,0x09]
241          vpblendmd (%rcx), %xmm25, %xmm17
242
243// CHECK: vpblendmd 291(%rax,%r14,8), %xmm25, %xmm17
244// CHECK:  encoding: [0x62,0xa2,0x35,0x00,0x64,0x8c,0xf0,0x23,0x01,0x00,0x00]
245          vpblendmd 291(%rax,%r14,8), %xmm25, %xmm17
246
247// CHECK: vpblendmd (%rcx){1to4}, %xmm25, %xmm17
248// CHECK:  encoding: [0x62,0xe2,0x35,0x10,0x64,0x09]
249          vpblendmd (%rcx){1to4}, %xmm25, %xmm17
250
251// CHECK: vpblendmd 2032(%rdx), %xmm25, %xmm17
252// CHECK:  encoding: [0x62,0xe2,0x35,0x00,0x64,0x4a,0x7f]
253          vpblendmd 2032(%rdx), %xmm25, %xmm17
254
255// CHECK: vpblendmd 2048(%rdx), %xmm25, %xmm17
256// CHECK:  encoding: [0x62,0xe2,0x35,0x00,0x64,0x8a,0x00,0x08,0x00,0x00]
257          vpblendmd 2048(%rdx), %xmm25, %xmm17
258
259// CHECK: vpblendmd -2048(%rdx), %xmm25, %xmm17
260// CHECK:  encoding: [0x62,0xe2,0x35,0x00,0x64,0x4a,0x80]
261          vpblendmd -2048(%rdx), %xmm25, %xmm17
262
263// CHECK: vpblendmd -2064(%rdx), %xmm25, %xmm17
264// CHECK:  encoding: [0x62,0xe2,0x35,0x00,0x64,0x8a,0xf0,0xf7,0xff,0xff]
265          vpblendmd -2064(%rdx), %xmm25, %xmm17
266
267// CHECK: vpblendmd 508(%rdx){1to4}, %xmm25, %xmm17
268// CHECK:  encoding: [0x62,0xe2,0x35,0x10,0x64,0x4a,0x7f]
269          vpblendmd 508(%rdx){1to4}, %xmm25, %xmm17
270
271// CHECK: vpblendmd 512(%rdx){1to4}, %xmm25, %xmm17
272// CHECK:  encoding: [0x62,0xe2,0x35,0x10,0x64,0x8a,0x00,0x02,0x00,0x00]
273          vpblendmd 512(%rdx){1to4}, %xmm25, %xmm17
274
275// CHECK: vpblendmd -512(%rdx){1to4}, %xmm25, %xmm17
276// CHECK:  encoding: [0x62,0xe2,0x35,0x10,0x64,0x4a,0x80]
277          vpblendmd -512(%rdx){1to4}, %xmm25, %xmm17
278
279// CHECK: vpblendmd -516(%rdx){1to4}, %xmm25, %xmm17
280// CHECK:  encoding: [0x62,0xe2,0x35,0x10,0x64,0x8a,0xfc,0xfd,0xff,0xff]
281          vpblendmd -516(%rdx){1to4}, %xmm25, %xmm17
282
283// CHECK: vpblendmd %ymm23, %ymm29, %ymm26
284// CHECK:  encoding: [0x62,0x22,0x15,0x20,0x64,0xd7]
285          vpblendmd %ymm23, %ymm29, %ymm26
286
287// CHECK: vpblendmd %ymm23, %ymm29, %ymm26 {%k7}
288// CHECK:  encoding: [0x62,0x22,0x15,0x27,0x64,0xd7]
289          vpblendmd %ymm23, %ymm29, %ymm26 {%k7}
290
291// CHECK: vpblendmd %ymm23, %ymm29, %ymm26 {%k7} {z}
292// CHECK:  encoding: [0x62,0x22,0x15,0xa7,0x64,0xd7]
293          vpblendmd %ymm23, %ymm29, %ymm26 {%k7} {z}
294
295// CHECK: vpblendmd (%rcx), %ymm29, %ymm26
296// CHECK:  encoding: [0x62,0x62,0x15,0x20,0x64,0x11]
297          vpblendmd (%rcx), %ymm29, %ymm26
298
299// CHECK: vpblendmd 291(%rax,%r14,8), %ymm29, %ymm26
300// CHECK:  encoding: [0x62,0x22,0x15,0x20,0x64,0x94,0xf0,0x23,0x01,0x00,0x00]
301          vpblendmd 291(%rax,%r14,8), %ymm29, %ymm26
302
303// CHECK: vpblendmd (%rcx){1to8}, %ymm29, %ymm26
304// CHECK:  encoding: [0x62,0x62,0x15,0x30,0x64,0x11]
305          vpblendmd (%rcx){1to8}, %ymm29, %ymm26
306
307// CHECK: vpblendmd 4064(%rdx), %ymm29, %ymm26
308// CHECK:  encoding: [0x62,0x62,0x15,0x20,0x64,0x52,0x7f]
309          vpblendmd 4064(%rdx), %ymm29, %ymm26
310
311// CHECK: vpblendmd 4096(%rdx), %ymm29, %ymm26
312// CHECK:  encoding: [0x62,0x62,0x15,0x20,0x64,0x92,0x00,0x10,0x00,0x00]
313          vpblendmd 4096(%rdx), %ymm29, %ymm26
314
315// CHECK: vpblendmd -4096(%rdx), %ymm29, %ymm26
316// CHECK:  encoding: [0x62,0x62,0x15,0x20,0x64,0x52,0x80]
317          vpblendmd -4096(%rdx), %ymm29, %ymm26
318
319// CHECK: vpblendmd -4128(%rdx), %ymm29, %ymm26
320// CHECK:  encoding: [0x62,0x62,0x15,0x20,0x64,0x92,0xe0,0xef,0xff,0xff]
321          vpblendmd -4128(%rdx), %ymm29, %ymm26
322
323// CHECK: vpblendmd 508(%rdx){1to8}, %ymm29, %ymm26
324// CHECK:  encoding: [0x62,0x62,0x15,0x30,0x64,0x52,0x7f]
325          vpblendmd 508(%rdx){1to8}, %ymm29, %ymm26
326
327// CHECK: vpblendmd 512(%rdx){1to8}, %ymm29, %ymm26
328// CHECK:  encoding: [0x62,0x62,0x15,0x30,0x64,0x92,0x00,0x02,0x00,0x00]
329          vpblendmd 512(%rdx){1to8}, %ymm29, %ymm26
330
331// CHECK: vpblendmd -512(%rdx){1to8}, %ymm29, %ymm26
332// CHECK:  encoding: [0x62,0x62,0x15,0x30,0x64,0x52,0x80]
333          vpblendmd -512(%rdx){1to8}, %ymm29, %ymm26
334
335// CHECK: vpblendmd -516(%rdx){1to8}, %ymm29, %ymm26
336// CHECK:  encoding: [0x62,0x62,0x15,0x30,0x64,0x92,0xfc,0xfd,0xff,0xff]
337          vpblendmd -516(%rdx){1to8}, %ymm29, %ymm26
338
339// CHECK: vpblendmq %xmm17, %xmm27, %xmm29
340// CHECK:  encoding: [0x62,0x22,0xa5,0x00,0x64,0xe9]
341          vpblendmq %xmm17, %xmm27, %xmm29
342
343// CHECK: vpblendmq %xmm17, %xmm27, %xmm29 {%k6}
344// CHECK:  encoding: [0x62,0x22,0xa5,0x06,0x64,0xe9]
345          vpblendmq %xmm17, %xmm27, %xmm29 {%k6}
346
347// CHECK: vpblendmq %xmm17, %xmm27, %xmm29 {%k6} {z}
348// CHECK:  encoding: [0x62,0x22,0xa5,0x86,0x64,0xe9]
349          vpblendmq %xmm17, %xmm27, %xmm29 {%k6} {z}
350
351// CHECK: vpblendmq (%rcx), %xmm27, %xmm29
352// CHECK:  encoding: [0x62,0x62,0xa5,0x00,0x64,0x29]
353          vpblendmq (%rcx), %xmm27, %xmm29
354
355// CHECK: vpblendmq 291(%rax,%r14,8), %xmm27, %xmm29
356// CHECK:  encoding: [0x62,0x22,0xa5,0x00,0x64,0xac,0xf0,0x23,0x01,0x00,0x00]
357          vpblendmq 291(%rax,%r14,8), %xmm27, %xmm29
358
359// CHECK: vpblendmq (%rcx){1to2}, %xmm27, %xmm29
360// CHECK:  encoding: [0x62,0x62,0xa5,0x10,0x64,0x29]
361          vpblendmq (%rcx){1to2}, %xmm27, %xmm29
362
363// CHECK: vpblendmq 2032(%rdx), %xmm27, %xmm29
364// CHECK:  encoding: [0x62,0x62,0xa5,0x00,0x64,0x6a,0x7f]
365          vpblendmq 2032(%rdx), %xmm27, %xmm29
366
367// CHECK: vpblendmq 2048(%rdx), %xmm27, %xmm29
368// CHECK:  encoding: [0x62,0x62,0xa5,0x00,0x64,0xaa,0x00,0x08,0x00,0x00]
369          vpblendmq 2048(%rdx), %xmm27, %xmm29
370
371// CHECK: vpblendmq -2048(%rdx), %xmm27, %xmm29
372// CHECK:  encoding: [0x62,0x62,0xa5,0x00,0x64,0x6a,0x80]
373          vpblendmq -2048(%rdx), %xmm27, %xmm29
374
375// CHECK: vpblendmq -2064(%rdx), %xmm27, %xmm29
376// CHECK:  encoding: [0x62,0x62,0xa5,0x00,0x64,0xaa,0xf0,0xf7,0xff,0xff]
377          vpblendmq -2064(%rdx), %xmm27, %xmm29
378
379// CHECK: vpblendmq 1016(%rdx){1to2}, %xmm27, %xmm29
380// CHECK:  encoding: [0x62,0x62,0xa5,0x10,0x64,0x6a,0x7f]
381          vpblendmq 1016(%rdx){1to2}, %xmm27, %xmm29
382
383// CHECK: vpblendmq 1024(%rdx){1to2}, %xmm27, %xmm29
384// CHECK:  encoding: [0x62,0x62,0xa5,0x10,0x64,0xaa,0x00,0x04,0x00,0x00]
385          vpblendmq 1024(%rdx){1to2}, %xmm27, %xmm29
386
387// CHECK: vpblendmq -1024(%rdx){1to2}, %xmm27, %xmm29
388// CHECK:  encoding: [0x62,0x62,0xa5,0x10,0x64,0x6a,0x80]
389          vpblendmq -1024(%rdx){1to2}, %xmm27, %xmm29
390
391// CHECK: vpblendmq -1032(%rdx){1to2}, %xmm27, %xmm29
392// CHECK:  encoding: [0x62,0x62,0xa5,0x10,0x64,0xaa,0xf8,0xfb,0xff,0xff]
393          vpblendmq -1032(%rdx){1to2}, %xmm27, %xmm29
394
395// CHECK: vpblendmq %ymm21, %ymm23, %ymm21
396// CHECK:  encoding: [0x62,0xa2,0xc5,0x20,0x64,0xed]
397          vpblendmq %ymm21, %ymm23, %ymm21
398
399// CHECK: vpblendmq %ymm21, %ymm23, %ymm21 {%k3}
400// CHECK:  encoding: [0x62,0xa2,0xc5,0x23,0x64,0xed]
401          vpblendmq %ymm21, %ymm23, %ymm21 {%k3}
402
403// CHECK: vpblendmq %ymm21, %ymm23, %ymm21 {%k3} {z}
404// CHECK:  encoding: [0x62,0xa2,0xc5,0xa3,0x64,0xed]
405          vpblendmq %ymm21, %ymm23, %ymm21 {%k3} {z}
406
407// CHECK: vpblendmq (%rcx), %ymm23, %ymm21
408// CHECK:  encoding: [0x62,0xe2,0xc5,0x20,0x64,0x29]
409          vpblendmq (%rcx), %ymm23, %ymm21
410
411// CHECK: vpblendmq 291(%rax,%r14,8), %ymm23, %ymm21
412// CHECK:  encoding: [0x62,0xa2,0xc5,0x20,0x64,0xac,0xf0,0x23,0x01,0x00,0x00]
413          vpblendmq 291(%rax,%r14,8), %ymm23, %ymm21
414
415// CHECK: vpblendmq (%rcx){1to4}, %ymm23, %ymm21
416// CHECK:  encoding: [0x62,0xe2,0xc5,0x30,0x64,0x29]
417          vpblendmq (%rcx){1to4}, %ymm23, %ymm21
418
419// CHECK: vpblendmq 4064(%rdx), %ymm23, %ymm21
420// CHECK:  encoding: [0x62,0xe2,0xc5,0x20,0x64,0x6a,0x7f]
421          vpblendmq 4064(%rdx), %ymm23, %ymm21
422
423// CHECK: vpblendmq 4096(%rdx), %ymm23, %ymm21
424// CHECK:  encoding: [0x62,0xe2,0xc5,0x20,0x64,0xaa,0x00,0x10,0x00,0x00]
425          vpblendmq 4096(%rdx), %ymm23, %ymm21
426
427// CHECK: vpblendmq -4096(%rdx), %ymm23, %ymm21
428// CHECK:  encoding: [0x62,0xe2,0xc5,0x20,0x64,0x6a,0x80]
429          vpblendmq -4096(%rdx), %ymm23, %ymm21
430
431// CHECK: vpblendmq -4128(%rdx), %ymm23, %ymm21
432// CHECK:  encoding: [0x62,0xe2,0xc5,0x20,0x64,0xaa,0xe0,0xef,0xff,0xff]
433          vpblendmq -4128(%rdx), %ymm23, %ymm21
434
435// CHECK: vpblendmq 1016(%rdx){1to4}, %ymm23, %ymm21
436// CHECK:  encoding: [0x62,0xe2,0xc5,0x30,0x64,0x6a,0x7f]
437          vpblendmq 1016(%rdx){1to4}, %ymm23, %ymm21
438
439// CHECK: vpblendmq 1024(%rdx){1to4}, %ymm23, %ymm21
440// CHECK:  encoding: [0x62,0xe2,0xc5,0x30,0x64,0xaa,0x00,0x04,0x00,0x00]
441          vpblendmq 1024(%rdx){1to4}, %ymm23, %ymm21
442
443// CHECK: vpblendmq -1024(%rdx){1to4}, %ymm23, %ymm21
444// CHECK:  encoding: [0x62,0xe2,0xc5,0x30,0x64,0x6a,0x80]
445          vpblendmq -1024(%rdx){1to4}, %ymm23, %ymm21
446
447// CHECK: vpblendmq -1032(%rdx){1to4}, %ymm23, %ymm21
448// CHECK:  encoding: [0x62,0xe2,0xc5,0x30,0x64,0xaa,0xf8,0xfb,0xff,0xff]
449          vpblendmq -1032(%rdx){1to4}, %ymm23, %ymm21
450
451// CHECK: vptestmd %xmm20, %xmm20, %k2
452// CHECK:  encoding: [0x62,0xb2,0x5d,0x00,0x27,0xd4]
453          vptestmd %xmm20, %xmm20, %k2
454
455// CHECK: vptestmd %xmm20, %xmm20, %k2 {%k7}
456// CHECK:  encoding: [0x62,0xb2,0x5d,0x07,0x27,0xd4]
457          vptestmd %xmm20, %xmm20, %k2 {%k7}
458
459// CHECK: vptestmd (%rcx), %xmm20, %k2
460// CHECK:  encoding: [0x62,0xf2,0x5d,0x00,0x27,0x11]
461          vptestmd (%rcx), %xmm20, %k2
462
463// CHECK: vptestmd 291(%rax,%r14,8), %xmm20, %k2
464// CHECK:  encoding: [0x62,0xb2,0x5d,0x00,0x27,0x94,0xf0,0x23,0x01,0x00,0x00]
465          vptestmd 291(%rax,%r14,8), %xmm20, %k2
466
467// CHECK: vptestmd (%rcx){1to4}, %xmm20, %k2
468// CHECK:  encoding: [0x62,0xf2,0x5d,0x10,0x27,0x11]
469          vptestmd (%rcx){1to4}, %xmm20, %k2
470
471// CHECK: vptestmd 2032(%rdx), %xmm20, %k2
472// CHECK:  encoding: [0x62,0xf2,0x5d,0x00,0x27,0x52,0x7f]
473          vptestmd 2032(%rdx), %xmm20, %k2
474
475// CHECK: vptestmd 2048(%rdx), %xmm20, %k2
476// CHECK:  encoding: [0x62,0xf2,0x5d,0x00,0x27,0x92,0x00,0x08,0x00,0x00]
477          vptestmd 2048(%rdx), %xmm20, %k2
478
479// CHECK: vptestmd -2048(%rdx), %xmm20, %k2
480// CHECK:  encoding: [0x62,0xf2,0x5d,0x00,0x27,0x52,0x80]
481          vptestmd -2048(%rdx), %xmm20, %k2
482
483// CHECK: vptestmd -2064(%rdx), %xmm20, %k2
484// CHECK:  encoding: [0x62,0xf2,0x5d,0x00,0x27,0x92,0xf0,0xf7,0xff,0xff]
485          vptestmd -2064(%rdx), %xmm20, %k2
486
487// CHECK: vptestmd 508(%rdx){1to4}, %xmm20, %k2
488// CHECK:  encoding: [0x62,0xf2,0x5d,0x10,0x27,0x52,0x7f]
489          vptestmd 508(%rdx){1to4}, %xmm20, %k2
490
491// CHECK: vptestmd 512(%rdx){1to4}, %xmm20, %k2
492// CHECK:  encoding: [0x62,0xf2,0x5d,0x10,0x27,0x92,0x00,0x02,0x00,0x00]
493          vptestmd 512(%rdx){1to4}, %xmm20, %k2
494
495// CHECK: vptestmd -512(%rdx){1to4}, %xmm20, %k2
496// CHECK:  encoding: [0x62,0xf2,0x5d,0x10,0x27,0x52,0x80]
497          vptestmd -512(%rdx){1to4}, %xmm20, %k2
498
499// CHECK: vptestmd -516(%rdx){1to4}, %xmm20, %k2
500// CHECK:  encoding: [0x62,0xf2,0x5d,0x10,0x27,0x92,0xfc,0xfd,0xff,0xff]
501          vptestmd -516(%rdx){1to4}, %xmm20, %k2
502
503// CHECK: vptestmd %ymm17, %ymm20, %k3
504// CHECK:  encoding: [0x62,0xb2,0x5d,0x20,0x27,0xd9]
505          vptestmd %ymm17, %ymm20, %k3
506
507// CHECK: vptestmd %ymm17, %ymm20, %k3 {%k5}
508// CHECK:  encoding: [0x62,0xb2,0x5d,0x25,0x27,0xd9]
509          vptestmd %ymm17, %ymm20, %k3 {%k5}
510
511// CHECK: vptestmd (%rcx), %ymm20, %k3
512// CHECK:  encoding: [0x62,0xf2,0x5d,0x20,0x27,0x19]
513          vptestmd (%rcx), %ymm20, %k3
514
515// CHECK: vptestmd 291(%rax,%r14,8), %ymm20, %k3
516// CHECK:  encoding: [0x62,0xb2,0x5d,0x20,0x27,0x9c,0xf0,0x23,0x01,0x00,0x00]
517          vptestmd 291(%rax,%r14,8), %ymm20, %k3
518
519// CHECK: vptestmd (%rcx){1to8}, %ymm20, %k3
520// CHECK:  encoding: [0x62,0xf2,0x5d,0x30,0x27,0x19]
521          vptestmd (%rcx){1to8}, %ymm20, %k3
522
523// CHECK: vptestmd 4064(%rdx), %ymm20, %k3
524// CHECK:  encoding: [0x62,0xf2,0x5d,0x20,0x27,0x5a,0x7f]
525          vptestmd 4064(%rdx), %ymm20, %k3
526
527// CHECK: vptestmd 4096(%rdx), %ymm20, %k3
528// CHECK:  encoding: [0x62,0xf2,0x5d,0x20,0x27,0x9a,0x00,0x10,0x00,0x00]
529          vptestmd 4096(%rdx), %ymm20, %k3
530
531// CHECK: vptestmd -4096(%rdx), %ymm20, %k3
532// CHECK:  encoding: [0x62,0xf2,0x5d,0x20,0x27,0x5a,0x80]
533          vptestmd -4096(%rdx), %ymm20, %k3
534
535// CHECK: vptestmd -4128(%rdx), %ymm20, %k3
536// CHECK:  encoding: [0x62,0xf2,0x5d,0x20,0x27,0x9a,0xe0,0xef,0xff,0xff]
537          vptestmd -4128(%rdx), %ymm20, %k3
538
539// CHECK: vptestmd 508(%rdx){1to8}, %ymm20, %k3
540// CHECK:  encoding: [0x62,0xf2,0x5d,0x30,0x27,0x5a,0x7f]
541          vptestmd 508(%rdx){1to8}, %ymm20, %k3
542
543// CHECK: vptestmd 512(%rdx){1to8}, %ymm20, %k3
544// CHECK:  encoding: [0x62,0xf2,0x5d,0x30,0x27,0x9a,0x00,0x02,0x00,0x00]
545          vptestmd 512(%rdx){1to8}, %ymm20, %k3
546
547// CHECK: vptestmd -512(%rdx){1to8}, %ymm20, %k3
548// CHECK:  encoding: [0x62,0xf2,0x5d,0x30,0x27,0x5a,0x80]
549          vptestmd -512(%rdx){1to8}, %ymm20, %k3
550
551// CHECK: vptestmd -516(%rdx){1to8}, %ymm20, %k3
552// CHECK:  encoding: [0x62,0xf2,0x5d,0x30,0x27,0x9a,0xfc,0xfd,0xff,0xff]
553          vptestmd -516(%rdx){1to8}, %ymm20, %k3
554
555// CHECK: vptestmq %xmm28, %xmm22, %k4
556// CHECK:  encoding: [0x62,0x92,0xcd,0x00,0x27,0xe4]
557          vptestmq %xmm28, %xmm22, %k4
558
559// CHECK: vptestmq %xmm28, %xmm22, %k4 {%k3}
560// CHECK:  encoding: [0x62,0x92,0xcd,0x03,0x27,0xe4]
561          vptestmq %xmm28, %xmm22, %k4 {%k3}
562
563// CHECK: vptestmq (%rcx), %xmm22, %k4
564// CHECK:  encoding: [0x62,0xf2,0xcd,0x00,0x27,0x21]
565          vptestmq (%rcx), %xmm22, %k4
566
567// CHECK: vptestmq 291(%rax,%r14,8), %xmm22, %k4
568// CHECK:  encoding: [0x62,0xb2,0xcd,0x00,0x27,0xa4,0xf0,0x23,0x01,0x00,0x00]
569          vptestmq 291(%rax,%r14,8), %xmm22, %k4
570
571// CHECK: vptestmq (%rcx){1to2}, %xmm22, %k4
572// CHECK:  encoding: [0x62,0xf2,0xcd,0x10,0x27,0x21]
573          vptestmq (%rcx){1to2}, %xmm22, %k4
574
575// CHECK: vptestmq 2032(%rdx), %xmm22, %k4
576// CHECK:  encoding: [0x62,0xf2,0xcd,0x00,0x27,0x62,0x7f]
577          vptestmq 2032(%rdx), %xmm22, %k4
578
579// CHECK: vptestmq 2048(%rdx), %xmm22, %k4
580// CHECK:  encoding: [0x62,0xf2,0xcd,0x00,0x27,0xa2,0x00,0x08,0x00,0x00]
581          vptestmq 2048(%rdx), %xmm22, %k4
582
583// CHECK: vptestmq -2048(%rdx), %xmm22, %k4
584// CHECK:  encoding: [0x62,0xf2,0xcd,0x00,0x27,0x62,0x80]
585          vptestmq -2048(%rdx), %xmm22, %k4
586
587// CHECK: vptestmq -2064(%rdx), %xmm22, %k4
588// CHECK:  encoding: [0x62,0xf2,0xcd,0x00,0x27,0xa2,0xf0,0xf7,0xff,0xff]
589          vptestmq -2064(%rdx), %xmm22, %k4
590
591// CHECK: vptestmq 1016(%rdx){1to2}, %xmm22, %k4
592// CHECK:  encoding: [0x62,0xf2,0xcd,0x10,0x27,0x62,0x7f]
593          vptestmq 1016(%rdx){1to2}, %xmm22, %k4
594
595// CHECK: vptestmq 1024(%rdx){1to2}, %xmm22, %k4
596// CHECK:  encoding: [0x62,0xf2,0xcd,0x10,0x27,0xa2,0x00,0x04,0x00,0x00]
597          vptestmq 1024(%rdx){1to2}, %xmm22, %k4
598
599// CHECK: vptestmq -1024(%rdx){1to2}, %xmm22, %k4
600// CHECK:  encoding: [0x62,0xf2,0xcd,0x10,0x27,0x62,0x80]
601          vptestmq -1024(%rdx){1to2}, %xmm22, %k4
602
603// CHECK: vptestmq -1032(%rdx){1to2}, %xmm22, %k4
604// CHECK:  encoding: [0x62,0xf2,0xcd,0x10,0x27,0xa2,0xf8,0xfb,0xff,0xff]
605          vptestmq -1032(%rdx){1to2}, %xmm22, %k4
606
607// CHECK: vptestmq %ymm20, %ymm21, %k3
608// CHECK:  encoding: [0x62,0xb2,0xd5,0x20,0x27,0xdc]
609          vptestmq %ymm20, %ymm21, %k3
610
611// CHECK: vptestmq %ymm20, %ymm21, %k3 {%k7}
612// CHECK:  encoding: [0x62,0xb2,0xd5,0x27,0x27,0xdc]
613          vptestmq %ymm20, %ymm21, %k3 {%k7}
614
615// CHECK: vptestmq (%rcx), %ymm21, %k3
616// CHECK:  encoding: [0x62,0xf2,0xd5,0x20,0x27,0x19]
617          vptestmq (%rcx), %ymm21, %k3
618
619// CHECK: vptestmq 291(%rax,%r14,8), %ymm21, %k3
620// CHECK:  encoding: [0x62,0xb2,0xd5,0x20,0x27,0x9c,0xf0,0x23,0x01,0x00,0x00]
621          vptestmq 291(%rax,%r14,8), %ymm21, %k3
622
623// CHECK: vptestmq (%rcx){1to4}, %ymm21, %k3
624// CHECK:  encoding: [0x62,0xf2,0xd5,0x30,0x27,0x19]
625          vptestmq (%rcx){1to4}, %ymm21, %k3
626
627// CHECK: vptestmq 4064(%rdx), %ymm21, %k3
628// CHECK:  encoding: [0x62,0xf2,0xd5,0x20,0x27,0x5a,0x7f]
629          vptestmq 4064(%rdx), %ymm21, %k3
630
631// CHECK: vptestmq 4096(%rdx), %ymm21, %k3
632// CHECK:  encoding: [0x62,0xf2,0xd5,0x20,0x27,0x9a,0x00,0x10,0x00,0x00]
633          vptestmq 4096(%rdx), %ymm21, %k3
634
635// CHECK: vptestmq -4096(%rdx), %ymm21, %k3
636// CHECK:  encoding: [0x62,0xf2,0xd5,0x20,0x27,0x5a,0x80]
637          vptestmq -4096(%rdx), %ymm21, %k3
638
639// CHECK: vptestmq -4128(%rdx), %ymm21, %k3
640// CHECK:  encoding: [0x62,0xf2,0xd5,0x20,0x27,0x9a,0xe0,0xef,0xff,0xff]
641          vptestmq -4128(%rdx), %ymm21, %k3
642
643// CHECK: vptestmq 1016(%rdx){1to4}, %ymm21, %k3
644// CHECK:  encoding: [0x62,0xf2,0xd5,0x30,0x27,0x5a,0x7f]
645          vptestmq 1016(%rdx){1to4}, %ymm21, %k3
646
647// CHECK: vptestmq 1024(%rdx){1to4}, %ymm21, %k3
648// CHECK:  encoding: [0x62,0xf2,0xd5,0x30,0x27,0x9a,0x00,0x04,0x00,0x00]
649          vptestmq 1024(%rdx){1to4}, %ymm21, %k3
650
651// CHECK: vptestmq -1024(%rdx){1to4}, %ymm21, %k3
652// CHECK:  encoding: [0x62,0xf2,0xd5,0x30,0x27,0x5a,0x80]
653          vptestmq -1024(%rdx){1to4}, %ymm21, %k3
654
655// CHECK: vptestnmd %xmm22, %xmm20, %k3
656// CHECK:  encoding: [0x62,0xb2,0x5e,0x00,0x27,0xde]
657          vptestnmd %xmm22, %xmm20, %k3
658
659// CHECK: vptestnmd %xmm22, %xmm20, %k3 {%k7}
660// CHECK:  encoding: [0x62,0xb2,0x5e,0x07,0x27,0xde]
661          vptestnmd %xmm22, %xmm20, %k3 {%k7}
662
663// CHECK: vptestnmd (%rcx), %xmm20, %k3
664// CHECK:  encoding: [0x62,0xf2,0x5e,0x00,0x27,0x19]
665          vptestnmd (%rcx), %xmm20, %k3
666
667// CHECK: vptestnmd 291(%rax,%r14,8), %xmm20, %k3
668// CHECK:  encoding: [0x62,0xb2,0x5e,0x00,0x27,0x9c,0xf0,0x23,0x01,0x00,0x00]
669          vptestnmd 291(%rax,%r14,8), %xmm20, %k3
670
671// CHECK: vptestnmd (%rcx){1to4}, %xmm20, %k3
672// CHECK:  encoding: [0x62,0xf2,0x5e,0x10,0x27,0x19]
673          vptestnmd (%rcx){1to4}, %xmm20, %k3
674
675// CHECK: vptestnmd 2032(%rdx), %xmm20, %k3
676// CHECK:  encoding: [0x62,0xf2,0x5e,0x00,0x27,0x5a,0x7f]
677          vptestnmd 2032(%rdx), %xmm20, %k3
678
679// CHECK: vptestnmd 2048(%rdx), %xmm20, %k3
680// CHECK:  encoding: [0x62,0xf2,0x5e,0x00,0x27,0x9a,0x00,0x08,0x00,0x00]
681          vptestnmd 2048(%rdx), %xmm20, %k3
682
683// CHECK: vptestnmd -2048(%rdx), %xmm20, %k3
684// CHECK:  encoding: [0x62,0xf2,0x5e,0x00,0x27,0x5a,0x80]
685          vptestnmd -2048(%rdx), %xmm20, %k3
686
687// CHECK: vptestnmd -2064(%rdx), %xmm20, %k3
688// CHECK:  encoding: [0x62,0xf2,0x5e,0x00,0x27,0x9a,0xf0,0xf7,0xff,0xff]
689          vptestnmd -2064(%rdx), %xmm20, %k3
690
691// CHECK: vptestnmd 508(%rdx){1to4}, %xmm20, %k3
692// CHECK:  encoding: [0x62,0xf2,0x5e,0x10,0x27,0x5a,0x7f]
693          vptestnmd 508(%rdx){1to4}, %xmm20, %k3
694
695// CHECK: vptestnmd 512(%rdx){1to4}, %xmm20, %k3
696// CHECK:  encoding: [0x62,0xf2,0x5e,0x10,0x27,0x9a,0x00,0x02,0x00,0x00]
697          vptestnmd 512(%rdx){1to4}, %xmm20, %k3
698
699// CHECK: vptestnmd -512(%rdx){1to4}, %xmm20, %k3
700// CHECK:  encoding: [0x62,0xf2,0x5e,0x10,0x27,0x5a,0x80]
701          vptestnmd -512(%rdx){1to4}, %xmm20, %k3
702
703// CHECK: vptestnmd -516(%rdx){1to4}, %xmm20, %k3
704// CHECK:  encoding: [0x62,0xf2,0x5e,0x10,0x27,0x9a,0xfc,0xfd,0xff,0xff]
705          vptestnmd -516(%rdx){1to4}, %xmm20, %k3
706
707// CHECK: vptestnmd %ymm23, %ymm21, %k3
708// CHECK:  encoding: [0x62,0xb2,0x56,0x20,0x27,0xdf]
709          vptestnmd %ymm23, %ymm21, %k3
710
711// CHECK: vptestnmd %ymm23, %ymm21, %k3 {%k7}
712// CHECK:  encoding: [0x62,0xb2,0x56,0x27,0x27,0xdf]
713          vptestnmd %ymm23, %ymm21, %k3 {%k7}
714
715// CHECK: vptestnmd (%rcx), %ymm21, %k3
716// CHECK:  encoding: [0x62,0xf2,0x56,0x20,0x27,0x19]
717          vptestnmd (%rcx), %ymm21, %k3
718
719// CHECK: vptestnmd 291(%rax,%r14,8), %ymm21, %k3
720// CHECK:  encoding: [0x62,0xb2,0x56,0x20,0x27,0x9c,0xf0,0x23,0x01,0x00,0x00]
721          vptestnmd 291(%rax,%r14,8), %ymm21, %k3
722
723// CHECK: vptestnmd (%rcx){1to8}, %ymm21, %k3
724// CHECK:  encoding: [0x62,0xf2,0x56,0x30,0x27,0x19]
725          vptestnmd (%rcx){1to8}, %ymm21, %k3
726
727// CHECK: vptestnmd 4064(%rdx), %ymm21, %k3
728// CHECK:  encoding: [0x62,0xf2,0x56,0x20,0x27,0x5a,0x7f]
729          vptestnmd 4064(%rdx), %ymm21, %k3
730
731// CHECK: vptestnmd 4096(%rdx), %ymm21, %k3
732// CHECK:  encoding: [0x62,0xf2,0x56,0x20,0x27,0x9a,0x00,0x10,0x00,0x00]
733          vptestnmd 4096(%rdx), %ymm21, %k3
734
735// CHECK: vptestnmd -4096(%rdx), %ymm21, %k3
736// CHECK:  encoding: [0x62,0xf2,0x56,0x20,0x27,0x5a,0x80]
737          vptestnmd -4096(%rdx), %ymm21, %k3
738
739// CHECK: vptestnmd -4128(%rdx), %ymm21, %k3
740// CHECK:  encoding: [0x62,0xf2,0x56,0x20,0x27,0x9a,0xe0,0xef,0xff,0xff]
741          vptestnmd -4128(%rdx), %ymm21, %k3
742
743// CHECK: vptestnmd 508(%rdx){1to8}, %ymm21, %k3
744// CHECK:  encoding: [0x62,0xf2,0x56,0x30,0x27,0x5a,0x7f]
745          vptestnmd 508(%rdx){1to8}, %ymm21, %k3
746
747// CHECK: vptestnmd 512(%rdx){1to8}, %ymm21, %k3
748// CHECK:  encoding: [0x62,0xf2,0x56,0x30,0x27,0x9a,0x00,0x02,0x00,0x00]
749          vptestnmd 512(%rdx){1to8}, %ymm21, %k3
750
751// CHECK: vptestnmd -512(%rdx){1to8}, %ymm21, %k3
752// CHECK:  encoding: [0x62,0xf2,0x56,0x30,0x27,0x5a,0x80]
753          vptestnmd -512(%rdx){1to8}, %ymm21, %k3
754
755// CHECK: vptestnmd -516(%rdx){1to8}, %ymm21, %k3
756// CHECK:  encoding: [0x62,0xf2,0x56,0x30,0x27,0x9a,0xfc,0xfd,0xff,0xff]
757          vptestnmd -516(%rdx){1to8}, %ymm21, %k3
758
759// CHECK: vptestnmq %xmm21, %xmm20, %k5
760// CHECK:  encoding: [0x62,0xb2,0xde,0x00,0x27,0xed]
761          vptestnmq %xmm21, %xmm20, %k5
762
763// CHECK: vptestnmq %xmm21, %xmm20, %k5 {%k5}
764// CHECK:  encoding: [0x62,0xb2,0xde,0x05,0x27,0xed]
765          vptestnmq %xmm21, %xmm20, %k5 {%k5}
766
767// CHECK: vptestnmq (%rcx), %xmm20, %k5
768// CHECK:  encoding: [0x62,0xf2,0xde,0x00,0x27,0x29]
769          vptestnmq (%rcx), %xmm20, %k5
770
771// CHECK: vptestnmq 291(%rax,%r14,8), %xmm20, %k5
772// CHECK:  encoding: [0x62,0xb2,0xde,0x00,0x27,0xac,0xf0,0x23,0x01,0x00,0x00]
773          vptestnmq 291(%rax,%r14,8), %xmm20, %k5
774
775// CHECK: vptestnmq (%rcx){1to2}, %xmm20, %k5
776// CHECK:  encoding: [0x62,0xf2,0xde,0x10,0x27,0x29]
777          vptestnmq (%rcx){1to2}, %xmm20, %k5
778
779// CHECK: vptestnmq 2032(%rdx), %xmm20, %k5
780// CHECK:  encoding: [0x62,0xf2,0xde,0x00,0x27,0x6a,0x7f]
781          vptestnmq 2032(%rdx), %xmm20, %k5
782
783// CHECK: vptestnmq 2048(%rdx), %xmm20, %k5
784// CHECK:  encoding: [0x62,0xf2,0xde,0x00,0x27,0xaa,0x00,0x08,0x00,0x00]
785          vptestnmq 2048(%rdx), %xmm20, %k5
786
787// CHECK: vptestnmq -2048(%rdx), %xmm20, %k5
788// CHECK:  encoding: [0x62,0xf2,0xde,0x00,0x27,0x6a,0x80]
789          vptestnmq -2048(%rdx), %xmm20, %k5
790
791// CHECK: vptestnmq -2064(%rdx), %xmm20, %k5
792// CHECK:  encoding: [0x62,0xf2,0xde,0x00,0x27,0xaa,0xf0,0xf7,0xff,0xff]
793          vptestnmq -2064(%rdx), %xmm20, %k5
794
795// CHECK: vptestnmq 1016(%rdx){1to2}, %xmm20, %k5
796// CHECK:  encoding: [0x62,0xf2,0xde,0x10,0x27,0x6a,0x7f]
797          vptestnmq 1016(%rdx){1to2}, %xmm20, %k5
798
799// CHECK: vptestnmq 1024(%rdx){1to2}, %xmm20, %k5
800// CHECK:  encoding: [0x62,0xf2,0xde,0x10,0x27,0xaa,0x00,0x04,0x00,0x00]
801          vptestnmq 1024(%rdx){1to2}, %xmm20, %k5
802
803// CHECK: vptestnmq -1024(%rdx){1to2}, %xmm20, %k5
804// CHECK:  encoding: [0x62,0xf2,0xde,0x10,0x27,0x6a,0x80]
805          vptestnmq -1024(%rdx){1to2}, %xmm20, %k5
806
807// CHECK: vptestnmq -1032(%rdx){1to2}, %xmm20, %k5
808// CHECK:  encoding: [0x62,0xf2,0xde,0x10,0x27,0xaa,0xf8,0xfb,0xff,0xff]
809          vptestnmq -1032(%rdx){1to2}, %xmm20, %k5
810
811// CHECK: vptestnmq %ymm21, %ymm24, %k4
812// CHECK:  encoding: [0x62,0xb2,0xbe,0x20,0x27,0xe5]
813          vptestnmq %ymm21, %ymm24, %k4
814
815// CHECK: vptestnmq %ymm21, %ymm24, %k4 {%k3}
816// CHECK:  encoding: [0x62,0xb2,0xbe,0x23,0x27,0xe5]
817          vptestnmq %ymm21, %ymm24, %k4 {%k3}
818
819// CHECK: vptestnmq (%rcx), %ymm24, %k4
820// CHECK:  encoding: [0x62,0xf2,0xbe,0x20,0x27,0x21]
821          vptestnmq (%rcx), %ymm24, %k4
822
823// CHECK: vptestnmq 291(%rax,%r14,8), %ymm24, %k4
824// CHECK:  encoding: [0x62,0xb2,0xbe,0x20,0x27,0xa4,0xf0,0x23,0x01,0x00,0x00]
825          vptestnmq 291(%rax,%r14,8), %ymm24, %k4
826
827// CHECK: vptestnmq (%rcx){1to4}, %ymm24, %k4
828// CHECK:  encoding: [0x62,0xf2,0xbe,0x30,0x27,0x21]
829          vptestnmq (%rcx){1to4}, %ymm24, %k4
830
831// CHECK: vptestnmq 4064(%rdx), %ymm24, %k4
832// CHECK:  encoding: [0x62,0xf2,0xbe,0x20,0x27,0x62,0x7f]
833          vptestnmq 4064(%rdx), %ymm24, %k4
834
835// CHECK: vptestnmq 4096(%rdx), %ymm24, %k4
836// CHECK:  encoding: [0x62,0xf2,0xbe,0x20,0x27,0xa2,0x00,0x10,0x00,0x00]
837          vptestnmq 4096(%rdx), %ymm24, %k4
838
839// CHECK: vptestnmq -4096(%rdx), %ymm24, %k4
840// CHECK:  encoding: [0x62,0xf2,0xbe,0x20,0x27,0x62,0x80]
841          vptestnmq -4096(%rdx), %ymm24, %k4
842
843// CHECK: vptestnmq -4128(%rdx), %ymm24, %k4
844// CHECK:  encoding: [0x62,0xf2,0xbe,0x20,0x27,0xa2,0xe0,0xef,0xff,0xff]
845          vptestnmq -4128(%rdx), %ymm24, %k4
846
847// CHECK: vptestnmq 1016(%rdx){1to4}, %ymm24, %k4
848// CHECK:  encoding: [0x62,0xf2,0xbe,0x30,0x27,0x62,0x7f]
849          vptestnmq 1016(%rdx){1to4}, %ymm24, %k4
850
851// CHECK: vptestnmq 1024(%rdx){1to4}, %ymm24, %k4
852// CHECK:  encoding: [0x62,0xf2,0xbe,0x30,0x27,0xa2,0x00,0x04,0x00,0x00]
853          vptestnmq 1024(%rdx){1to4}, %ymm24, %k4
854
855// CHECK: vptestnmq -1024(%rdx){1to4}, %ymm24, %k4
856// CHECK:  encoding: [0x62,0xf2,0xbe,0x30,0x27,0x62,0x80]
857          vptestnmq -1024(%rdx){1to4}, %ymm24, %k4
858
859// CHECK: vptestnmq -1032(%rdx){1to4}, %ymm24, %k4
860// CHECK:  encoding: [0x62,0xf2,0xbe,0x30,0x27,0xa2,0xf8,0xfb,0xff,0xff]
861          vptestnmq -1032(%rdx){1to4}, %ymm24, %k4
862
863// CHECK: vptestnmq %xmm19, %xmm28, %k2
864// CHECK:  encoding: [0x62,0xb2,0x9e,0x00,0x27,0xd3]
865          vptestnmq %xmm19, %xmm28,%k2
866
867// CHECK: vptestnmq %xmm19, %xmm28, %k2 {%k1}
868// CHECK:  encoding: [0x62,0xb2,0x9e,0x01,0x27,0xd3]
869          vptestnmq %xmm19, %xmm28,%k2 {%k1}
870
871// CHECK: vptestnmq (%rcx), %xmm28, %k2
872// CHECK:  encoding: [0x62,0xf2,0x9e,0x00,0x27,0x11]
873          vptestnmq (%rcx), %xmm28,%k2
874
875// CHECK: vptestnmq 4660(%rax,%r14,8), %xmm28, %k2
876// CHECK:  encoding: [0x62,0xb2,0x9e,0x00,0x27,0x94,0xf0,0x34,0x12,0x00,0x00]
877          vptestnmq 4660(%rax,%r14,8), %xmm28,%k2
878
879// CHECK: vptestnmq (%rcx){1to2}, %xmm28, %k2
880// CHECK:  encoding: [0x62,0xf2,0x9e,0x10,0x27,0x11]
881          vptestnmq (%rcx){1to2}, %xmm28,%k2
882
883// CHECK: vptestnmq 2032(%rdx), %xmm28, %k2
884// CHECK:  encoding: [0x62,0xf2,0x9e,0x00,0x27,0x52,0x7f]
885          vptestnmq 2032(%rdx), %xmm28,%k2
886
887// CHECK: vptestnmq 2048(%rdx), %xmm28, %k2
888// CHECK:  encoding: [0x62,0xf2,0x9e,0x00,0x27,0x92,0x00,0x08,0x00,0x00]
889          vptestnmq 2048(%rdx), %xmm28,%k2
890
891// CHECK: vptestnmq -2048(%rdx), %xmm28, %k2
892// CHECK:  encoding: [0x62,0xf2,0x9e,0x00,0x27,0x52,0x80]
893          vptestnmq -2048(%rdx), %xmm28,%k2
894
895// CHECK: vptestnmq -2064(%rdx), %xmm28, %k2
896// CHECK:  encoding: [0x62,0xf2,0x9e,0x00,0x27,0x92,0xf0,0xf7,0xff,0xff]
897          vptestnmq -2064(%rdx), %xmm28,%k2
898
899// CHECK: vptestnmq 1016(%rdx){1to2}, %xmm28, %k2
900// CHECK:  encoding: [0x62,0xf2,0x9e,0x10,0x27,0x52,0x7f]
901          vptestnmq 1016(%rdx){1to2}, %xmm28,%k2
902
903// CHECK: vptestnmq 1024(%rdx){1to2}, %xmm28, %k2
904// CHECK:  encoding: [0x62,0xf2,0x9e,0x10,0x27,0x92,0x00,0x04,0x00,0x00]
905          vptestnmq 1024(%rdx){1to2}, %xmm28,%k2
906
907// CHECK: vptestnmq -1024(%rdx){1to2}, %xmm28, %k2
908// CHECK:  encoding: [0x62,0xf2,0x9e,0x10,0x27,0x52,0x80]
909          vptestnmq -1024(%rdx){1to2}, %xmm28,%k2
910
911// CHECK: vptestnmq -1032(%rdx){1to2}, %xmm28, %k2
912// CHECK:  encoding: [0x62,0xf2,0x9e,0x10,0x27,0x92,0xf8,0xfb,0xff,0xff]
913          vptestnmq -1032(%rdx){1to2}, %xmm28,%k2
914
915// CHECK: vptestnmq %ymm17, %ymm26, %k4
916// CHECK:  encoding: [0x62,0xb2,0xae,0x20,0x27,0xe1]
917          vptestnmq %ymm17, %ymm26,%k4
918
919// CHECK: vptestnmq %ymm17, %ymm26, %k4 {%k1}
920// CHECK:  encoding: [0x62,0xb2,0xae,0x21,0x27,0xe1]
921          vptestnmq %ymm17, %ymm26,%k4 {%k1}
922
923// CHECK: vptestnmq (%rcx), %ymm26, %k4
924// CHECK:  encoding: [0x62,0xf2,0xae,0x20,0x27,0x21]
925          vptestnmq (%rcx), %ymm26,%k4
926
927// CHECK: vptestnmq 4660(%rax,%r14,8), %ymm26, %k4
928// CHECK:  encoding: [0x62,0xb2,0xae,0x20,0x27,0xa4,0xf0,0x34,0x12,0x00,0x00]
929          vptestnmq 4660(%rax,%r14,8), %ymm26,%k4
930
931// CHECK: vptestnmq (%rcx){1to4}, %ymm26, %k4
932// CHECK:  encoding: [0x62,0xf2,0xae,0x30,0x27,0x21]
933          vptestnmq (%rcx){1to4}, %ymm26,%k4
934
935// CHECK: vptestnmq 4064(%rdx), %ymm26, %k4
936// CHECK:  encoding: [0x62,0xf2,0xae,0x20,0x27,0x62,0x7f]
937          vptestnmq 4064(%rdx), %ymm26,%k4
938
939// CHECK: vptestnmq 4096(%rdx), %ymm26, %k4
940// CHECK:  encoding: [0x62,0xf2,0xae,0x20,0x27,0xa2,0x00,0x10,0x00,0x00]
941          vptestnmq 4096(%rdx), %ymm26,%k4
942
943// CHECK: vptestnmq -4096(%rdx), %ymm26, %k4
944// CHECK:  encoding: [0x62,0xf2,0xae,0x20,0x27,0x62,0x80]
945          vptestnmq -4096(%rdx), %ymm26,%k4
946
947// CHECK: vptestnmq -4128(%rdx), %ymm26, %k4
948// CHECK:  encoding: [0x62,0xf2,0xae,0x20,0x27,0xa2,0xe0,0xef,0xff,0xff]
949          vptestnmq -4128(%rdx), %ymm26,%k4
950
951// CHECK: vptestnmq 1016(%rdx){1to4}, %ymm26, %k4
952// CHECK:  encoding: [0x62,0xf2,0xae,0x30,0x27,0x62,0x7f]
953          vptestnmq 1016(%rdx){1to4}, %ymm26,%k4
954
955// CHECK: vptestnmq 1024(%rdx){1to4}, %ymm26, %k4
956// CHECK:  encoding: [0x62,0xf2,0xae,0x30,0x27,0xa2,0x00,0x04,0x00,0x00]
957          vptestnmq 1024(%rdx){1to4}, %ymm26,%k4
958
959// CHECK: vptestnmq -1024(%rdx){1to4}, %ymm26, %k4
960// CHECK:  encoding: [0x62,0xf2,0xae,0x30,0x27,0x62,0x80]
961          vptestnmq -1024(%rdx){1to4}, %ymm26,%k4
962
963// CHECK: vptestnmq -1032(%rdx){1to4}, %ymm26, %k4
964// CHECK:  encoding: [0x62,0xf2,0xae,0x30,0x27,0xa2,0xf8,0xfb,0xff,0xff]
965          vptestnmq -1032(%rdx){1to4}, %ymm26,%k4
966
967
968// CHECK: vptestnmd %xmm21, %xmm25, %k4
969// CHECK:  encoding: [0x62,0xb2,0x36,0x00,0x27,0xe5]
970          vptestnmd %xmm21, %xmm25,%k4
971
972// CHECK: vptestnmd %xmm21, %xmm25, %k4 {%k5}
973// CHECK:  encoding: [0x62,0xb2,0x36,0x05,0x27,0xe5]
974          vptestnmd %xmm21, %xmm25,%k4 {%k5}
975
976// CHECK: vptestnmd (%rcx), %xmm25, %k4
977// CHECK:  encoding: [0x62,0xf2,0x36,0x00,0x27,0x21]
978          vptestnmd (%rcx), %xmm25,%k4
979
980// CHECK: vptestnmd 4660(%rax,%r14,8), %xmm25, %k4
981// CHECK:  encoding: [0x62,0xb2,0x36,0x00,0x27,0xa4,0xf0,0x34,0x12,0x00,0x00]
982          vptestnmd 4660(%rax,%r14,8), %xmm25,%k4
983
984// CHECK: vptestnmd (%rcx){1to4}, %xmm25, %k4
985// CHECK:  encoding: [0x62,0xf2,0x36,0x10,0x27,0x21]
986          vptestnmd (%rcx){1to4}, %xmm25,%k4
987
988// CHECK: vptestnmd 2032(%rdx), %xmm25, %k4
989// CHECK:  encoding: [0x62,0xf2,0x36,0x00,0x27,0x62,0x7f]
990          vptestnmd 2032(%rdx), %xmm25,%k4
991
992// CHECK: vptestnmd 2048(%rdx), %xmm25, %k4
993// CHECK:  encoding: [0x62,0xf2,0x36,0x00,0x27,0xa2,0x00,0x08,0x00,0x00]
994          vptestnmd 2048(%rdx), %xmm25,%k4
995
996// CHECK: vptestnmd -2048(%rdx), %xmm25, %k4
997// CHECK:  encoding: [0x62,0xf2,0x36,0x00,0x27,0x62,0x80]
998          vptestnmd -2048(%rdx), %xmm25,%k4
999
1000// CHECK: vptestnmd -2064(%rdx), %xmm25, %k4
1001// CHECK:  encoding: [0x62,0xf2,0x36,0x00,0x27,0xa2,0xf0,0xf7,0xff,0xff]
1002          vptestnmd -2064(%rdx), %xmm25,%k4
1003
1004// CHECK: vptestnmd 508(%rdx){1to4}, %xmm25, %k4
1005// CHECK:  encoding: [0x62,0xf2,0x36,0x10,0x27,0x62,0x7f]
1006          vptestnmd 508(%rdx){1to4}, %xmm25,%k4
1007
1008// CHECK: vptestnmd 512(%rdx){1to4}, %xmm25, %k4
1009// CHECK:  encoding: [0x62,0xf2,0x36,0x10,0x27,0xa2,0x00,0x02,0x00,0x00]
1010          vptestnmd 512(%rdx){1to4}, %xmm25,%k4
1011
1012// CHECK: vptestnmd -512(%rdx){1to4}, %xmm25, %k4
1013// CHECK:  encoding: [0x62,0xf2,0x36,0x10,0x27,0x62,0x80]
1014          vptestnmd -512(%rdx){1to4}, %xmm25,%k4
1015
1016// CHECK: vptestnmd -516(%rdx){1to4}, %xmm25, %k4
1017// CHECK:  encoding: [0x62,0xf2,0x36,0x10,0x27,0xa2,0xfc,0xfd,0xff,0xff]
1018          vptestnmd -516(%rdx){1to4}, %xmm25,%k4
1019
1020// CHECK: vptestnmd %ymm26, %ymm29, %k4
1021// CHECK:  encoding: [0x62,0x92,0x16,0x20,0x27,0xe2]
1022          vptestnmd %ymm26, %ymm29,%k4
1023
1024// CHECK: vptestnmd %ymm26, %ymm29, %k4 {%k4}
1025// CHECK:  encoding: [0x62,0x92,0x16,0x24,0x27,0xe2]
1026          vptestnmd %ymm26, %ymm29,%k4 {%k4}
1027
1028// CHECK: vptestnmd (%rcx), %ymm29, %k4
1029// CHECK:  encoding: [0x62,0xf2,0x16,0x20,0x27,0x21]
1030          vptestnmd (%rcx), %ymm29,%k4
1031
1032// CHECK: vptestnmd 4660(%rax,%r14,8), %ymm29, %k4
1033// CHECK:  encoding: [0x62,0xb2,0x16,0x20,0x27,0xa4,0xf0,0x34,0x12,0x00,0x00]
1034          vptestnmd 4660(%rax,%r14,8), %ymm29,%k4
1035
1036// CHECK: vptestnmd (%rcx){1to8}, %ymm29, %k4
1037// CHECK:  encoding: [0x62,0xf2,0x16,0x30,0x27,0x21]
1038          vptestnmd (%rcx){1to8}, %ymm29,%k4
1039
1040// CHECK: vptestnmd 4064(%rdx), %ymm29, %k4
1041// CHECK:  encoding: [0x62,0xf2,0x16,0x20,0x27,0x62,0x7f]
1042          vptestnmd 4064(%rdx), %ymm29,%k4
1043
1044// CHECK: vptestnmd 4096(%rdx), %ymm29, %k4
1045// CHECK:  encoding: [0x62,0xf2,0x16,0x20,0x27,0xa2,0x00,0x10,0x00,0x00]
1046          vptestnmd 4096(%rdx), %ymm29,%k4
1047
1048// CHECK: vptestnmd -4096(%rdx), %ymm29, %k4
1049// CHECK:  encoding: [0x62,0xf2,0x16,0x20,0x27,0x62,0x80]
1050          vptestnmd -4096(%rdx), %ymm29,%k4
1051
1052// CHECK: vptestnmd -4128(%rdx), %ymm29, %k4
1053// CHECK:  encoding: [0x62,0xf2,0x16,0x20,0x27,0xa2,0xe0,0xef,0xff,0xff]
1054          vptestnmd -4128(%rdx), %ymm29,%k4
1055
1056// CHECK: vptestnmd 508(%rdx){1to8}, %ymm29, %k4
1057// CHECK:  encoding: [0x62,0xf2,0x16,0x30,0x27,0x62,0x7f]
1058          vptestnmd 508(%rdx){1to8}, %ymm29,%k4
1059
1060// CHECK: vptestnmd 512(%rdx){1to8}, %ymm29, %k4
1061// CHECK:  encoding: [0x62,0xf2,0x16,0x30,0x27,0xa2,0x00,0x02,0x00,0x00]
1062          vptestnmd 512(%rdx){1to8}, %ymm29,%k4
1063
1064// CHECK: vptestnmd -512(%rdx){1to8}, %ymm29, %k4
1065// CHECK:  encoding: [0x62,0xf2,0x16,0x30,0x27,0x62,0x80]
1066          vptestnmd -512(%rdx){1to8}, %ymm29,%k4
1067
1068// CHECK: vptestnmd -516(%rdx){1to8}, %ymm29, %k4
1069// CHECK:  encoding: [0x62,0xf2,0x16,0x30,0x27,0xa2,0xfc,0xfd,0xff,0xff]
1070          vptestnmd -516(%rdx){1to8}, %ymm29,%k4
1071
1072// CHECK: vpmovd2m %xmm27, %k3
1073// CHECK:  encoding: [0x62,0x92,0x7e,0x08,0x39,0xdb]
1074          vpmovd2m %xmm27, %k3
1075
1076// CHECK: vpmovd2m %ymm28, %k4
1077// CHECK:  encoding: [0x62,0x92,0x7e,0x28,0x39,0xe4]
1078          vpmovd2m %ymm28, %k4
1079
1080// CHECK: vpmovq2m %xmm28, %k5
1081// CHECK:  encoding: [0x62,0x92,0xfe,0x08,0x39,0xec]
1082          vpmovq2m %xmm28, %k5
1083
1084// CHECK: vpmovq2m %ymm29, %k4
1085// CHECK:  encoding: [0x62,0x92,0xfe,0x28,0x39,0xe5]
1086          vpmovq2m %ymm29, %k4
1087
1088// CHECK: vpmovm2d %k2, %xmm29
1089// CHECK:  encoding: [0x62,0x62,0x7e,0x08,0x38,0xea]
1090          vpmovm2d %k2, %xmm29
1091
1092// CHECK: vpmovm2d %k5, %ymm20
1093// CHECK:  encoding: [0x62,0xe2,0x7e,0x28,0x38,0xe5]
1094          vpmovm2d %k5, %ymm20
1095
1096// CHECK: vpmovm2q %k5, %xmm17
1097// CHECK:  encoding: [0x62,0xe2,0xfe,0x08,0x38,0xcd]
1098          vpmovm2q %k5, %xmm17
1099
1100// CHECK: vpmovm2q %k2, %ymm30
1101// CHECK:  encoding: [0x62,0x62,0xfe,0x28,0x38,0xf2]
1102          vpmovm2q %k2, %ymm30
1103
1104// CHECK: vcompresspd %xmm23, (%rcx)
1105// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x8a,0x39]
1106          vcompresspd %xmm23, (%rcx)
1107
1108// CHECK: vcompresspd %xmm23, (%rcx) {%k6}
1109// CHECK:  encoding: [0x62,0xe2,0xfd,0x0e,0x8a,0x39]
1110          vcompresspd %xmm23, (%rcx) {%k6}
1111
1112// CHECK: vcompresspd %xmm23, 291(%rax,%r14,8)
1113// CHECK:  encoding: [0x62,0xa2,0xfd,0x08,0x8a,0xbc,0xf0,0x23,0x01,0x00,0x00]
1114          vcompresspd %xmm23, 291(%rax,%r14,8)
1115
1116// CHECK: vcompresspd %xmm23, 1016(%rdx)
1117// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x8a,0x7a,0x7f]
1118          vcompresspd %xmm23, 1016(%rdx)
1119
1120// CHECK: vcompresspd %xmm23, 1024(%rdx)
1121// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x8a,0xba,0x00,0x04,0x00,0x00]
1122          vcompresspd %xmm23, 1024(%rdx)
1123
1124// CHECK: vcompresspd %xmm23, -1024(%rdx)
1125// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x8a,0x7a,0x80]
1126          vcompresspd %xmm23, -1024(%rdx)
1127
1128// CHECK: vcompresspd %xmm23, -1032(%rdx)
1129// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x8a,0xba,0xf8,0xfb,0xff,0xff]
1130          vcompresspd %xmm23, -1032(%rdx)
1131
1132// CHECK: vcompresspd %ymm29, (%rcx)
1133// CHECK:  encoding: [0x62,0x62,0xfd,0x28,0x8a,0x29]
1134          vcompresspd %ymm29, (%rcx)
1135
1136// CHECK: vcompresspd %ymm29, (%rcx) {%k2}
1137// CHECK:  encoding: [0x62,0x62,0xfd,0x2a,0x8a,0x29]
1138          vcompresspd %ymm29, (%rcx) {%k2}
1139
1140// CHECK: vcompresspd %ymm29, 291(%rax,%r14,8)
1141// CHECK:  encoding: [0x62,0x22,0xfd,0x28,0x8a,0xac,0xf0,0x23,0x01,0x00,0x00]
1142          vcompresspd %ymm29, 291(%rax,%r14,8)
1143
1144// CHECK: vcompresspd %ymm29, 1016(%rdx)
1145// CHECK:  encoding: [0x62,0x62,0xfd,0x28,0x8a,0x6a,0x7f]
1146          vcompresspd %ymm29, 1016(%rdx)
1147
1148// CHECK: vcompresspd %ymm29, 1024(%rdx)
1149// CHECK:  encoding: [0x62,0x62,0xfd,0x28,0x8a,0xaa,0x00,0x04,0x00,0x00]
1150          vcompresspd %ymm29, 1024(%rdx)
1151
1152// CHECK: vcompresspd %ymm29, -1024(%rdx)
1153// CHECK:  encoding: [0x62,0x62,0xfd,0x28,0x8a,0x6a,0x80]
1154          vcompresspd %ymm29, -1024(%rdx)
1155
1156// CHECK: vcompresspd %ymm29, -1032(%rdx)
1157// CHECK:  encoding: [0x62,0x62,0xfd,0x28,0x8a,0xaa,0xf8,0xfb,0xff,0xff]
1158          vcompresspd %ymm29, -1032(%rdx)
1159
1160// CHECK: vcompresspd %xmm27, %xmm20
1161// CHECK:  encoding: [0x62,0x22,0xfd,0x08,0x8a,0xdc]
1162          vcompresspd %xmm27, %xmm20
1163
1164// CHECK: vcompresspd %xmm27, %xmm20 {%k2}
1165// CHECK:  encoding: [0x62,0x22,0xfd,0x0a,0x8a,0xdc]
1166          vcompresspd %xmm27, %xmm20 {%k2}
1167
1168// CHECK: vcompresspd %xmm27, %xmm20 {%k2} {z}
1169// CHECK:  encoding: [0x62,0x22,0xfd,0x8a,0x8a,0xdc]
1170          vcompresspd %xmm27, %xmm20 {%k2} {z}
1171
1172// CHECK: vcompresspd %ymm20, %ymm24
1173// CHECK:  encoding: [0x62,0x82,0xfd,0x28,0x8a,0xe0]
1174          vcompresspd %ymm20, %ymm24
1175
1176// CHECK: vcompresspd %ymm20, %ymm24 {%k3}
1177// CHECK:  encoding: [0x62,0x82,0xfd,0x2b,0x8a,0xe0]
1178          vcompresspd %ymm20, %ymm24 {%k3}
1179
1180// CHECK: vcompresspd %ymm20, %ymm24 {%k3} {z}
1181// CHECK:  encoding: [0x62,0x82,0xfd,0xab,0x8a,0xe0]
1182          vcompresspd %ymm20, %ymm24 {%k3} {z}
1183
1184// CHECK: vcompressps %xmm21, (%rcx)
1185// CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x8a,0x29]
1186          vcompressps %xmm21, (%rcx)
1187
1188// CHECK: vcompressps %xmm21, (%rcx) {%k7}
1189// CHECK:  encoding: [0x62,0xe2,0x7d,0x0f,0x8a,0x29]
1190          vcompressps %xmm21, (%rcx) {%k7}
1191
1192// CHECK: vcompressps %xmm21, 291(%rax,%r14,8)
1193// CHECK:  encoding: [0x62,0xa2,0x7d,0x08,0x8a,0xac,0xf0,0x23,0x01,0x00,0x00]
1194          vcompressps %xmm21, 291(%rax,%r14,8)
1195
1196// CHECK: vcompressps %xmm21, 508(%rdx)
1197// CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x8a,0x6a,0x7f]
1198          vcompressps %xmm21, 508(%rdx)
1199
1200// CHECK: vcompressps %xmm21, 512(%rdx)
1201// CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x8a,0xaa,0x00,0x02,0x00,0x00]
1202          vcompressps %xmm21, 512(%rdx)
1203
1204// CHECK: vcompressps %xmm21, -512(%rdx)
1205// CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x8a,0x6a,0x80]
1206          vcompressps %xmm21, -512(%rdx)
1207
1208// CHECK: vcompressps %xmm21, -516(%rdx)
1209// CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x8a,0xaa,0xfc,0xfd,0xff,0xff]
1210          vcompressps %xmm21, -516(%rdx)
1211
1212// CHECK: vcompressps %ymm24, (%rcx)
1213// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x8a,0x01]
1214          vcompressps %ymm24, (%rcx)
1215
1216// CHECK: vcompressps %ymm24, (%rcx) {%k7}
1217// CHECK:  encoding: [0x62,0x62,0x7d,0x2f,0x8a,0x01]
1218          vcompressps %ymm24, (%rcx) {%k7}
1219
1220// CHECK: vcompressps %ymm24, 291(%rax,%r14,8)
1221// CHECK:  encoding: [0x62,0x22,0x7d,0x28,0x8a,0x84,0xf0,0x23,0x01,0x00,0x00]
1222          vcompressps %ymm24, 291(%rax,%r14,8)
1223
1224// CHECK: vcompressps %ymm24, 508(%rdx)
1225// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x8a,0x42,0x7f]
1226          vcompressps %ymm24, 508(%rdx)
1227
1228// CHECK: vcompressps %ymm24, 512(%rdx)
1229// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x8a,0x82,0x00,0x02,0x00,0x00]
1230          vcompressps %ymm24, 512(%rdx)
1231
1232// CHECK: vcompressps %ymm24, -512(%rdx)
1233// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x8a,0x42,0x80]
1234          vcompressps %ymm24, -512(%rdx)
1235
1236// CHECK: vcompressps %ymm24, -516(%rdx)
1237// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x8a,0x82,0xfc,0xfd,0xff,0xff]
1238          vcompressps %ymm24, -516(%rdx)
1239
1240// CHECK: vcompressps %xmm29, %xmm28
1241// CHECK:  encoding: [0x62,0x02,0x7d,0x08,0x8a,0xec]
1242          vcompressps %xmm29, %xmm28
1243
1244// CHECK: vcompressps %xmm29, %xmm28 {%k3}
1245// CHECK:  encoding: [0x62,0x02,0x7d,0x0b,0x8a,0xec]
1246          vcompressps %xmm29, %xmm28 {%k3}
1247
1248// CHECK: vcompressps %xmm29, %xmm28 {%k3} {z}
1249// CHECK:  encoding: [0x62,0x02,0x7d,0x8b,0x8a,0xec]
1250          vcompressps %xmm29, %xmm28 {%k3} {z}
1251
1252// CHECK: vcompressps %ymm25, %ymm23
1253// CHECK:  encoding: [0x62,0x22,0x7d,0x28,0x8a,0xcf]
1254          vcompressps %ymm25, %ymm23
1255
1256// CHECK: vcompressps %ymm25, %ymm23 {%k6}
1257// CHECK:  encoding: [0x62,0x22,0x7d,0x2e,0x8a,0xcf]
1258          vcompressps %ymm25, %ymm23 {%k6}
1259
1260// CHECK: vcompressps %ymm25, %ymm23 {%k6} {z}
1261// CHECK:  encoding: [0x62,0x22,0x7d,0xae,0x8a,0xcf]
1262          vcompressps %ymm25, %ymm23 {%k6} {z}
1263
1264// CHECK: vexpandpd (%rcx), %xmm23
1265// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x88,0x39]
1266          vexpandpd (%rcx), %xmm23
1267
1268// CHECK: vexpandpd (%rcx), %xmm23 {%k3}
1269// CHECK:  encoding: [0x62,0xe2,0xfd,0x0b,0x88,0x39]
1270          vexpandpd (%rcx), %xmm23 {%k3}
1271
1272// CHECK: vexpandpd (%rcx), %xmm23 {%k3} {z}
1273// CHECK:  encoding: [0x62,0xe2,0xfd,0x8b,0x88,0x39]
1274          vexpandpd (%rcx), %xmm23 {%k3} {z}
1275
1276// CHECK: vexpandpd 291(%rax,%r14,8), %xmm23
1277// CHECK:  encoding: [0x62,0xa2,0xfd,0x08,0x88,0xbc,0xf0,0x23,0x01,0x00,0x00]
1278          vexpandpd 291(%rax,%r14,8), %xmm23
1279
1280// CHECK: vexpandpd 1016(%rdx), %xmm23
1281// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x88,0x7a,0x7f]
1282          vexpandpd 1016(%rdx), %xmm23
1283
1284// CHECK: vexpandpd 1024(%rdx), %xmm23
1285// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x88,0xba,0x00,0x04,0x00,0x00]
1286          vexpandpd 1024(%rdx), %xmm23
1287
1288// CHECK: vexpandpd -1024(%rdx), %xmm23
1289// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x88,0x7a,0x80]
1290          vexpandpd -1024(%rdx), %xmm23
1291
1292// CHECK: vexpandpd -1032(%rdx), %xmm23
1293// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x88,0xba,0xf8,0xfb,0xff,0xff]
1294          vexpandpd -1032(%rdx), %xmm23
1295
1296// CHECK: vexpandpd (%rcx), %ymm22
1297// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x88,0x31]
1298          vexpandpd (%rcx), %ymm22
1299
1300// CHECK: vexpandpd (%rcx), %ymm22 {%k5}
1301// CHECK:  encoding: [0x62,0xe2,0xfd,0x2d,0x88,0x31]
1302          vexpandpd (%rcx), %ymm22 {%k5}
1303
1304// CHECK: vexpandpd (%rcx), %ymm22 {%k5} {z}
1305// CHECK:  encoding: [0x62,0xe2,0xfd,0xad,0x88,0x31]
1306          vexpandpd (%rcx), %ymm22 {%k5} {z}
1307
1308// CHECK: vexpandpd 291(%rax,%r14,8), %ymm22
1309// CHECK:  encoding: [0x62,0xa2,0xfd,0x28,0x88,0xb4,0xf0,0x23,0x01,0x00,0x00]
1310          vexpandpd 291(%rax,%r14,8), %ymm22
1311
1312// CHECK: vexpandpd 1016(%rdx), %ymm22
1313// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x88,0x72,0x7f]
1314          vexpandpd 1016(%rdx), %ymm22
1315
1316// CHECK: vexpandpd 1024(%rdx), %ymm22
1317// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x88,0xb2,0x00,0x04,0x00,0x00]
1318          vexpandpd 1024(%rdx), %ymm22
1319
1320// CHECK: vexpandpd -1024(%rdx), %ymm22
1321// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x88,0x72,0x80]
1322          vexpandpd -1024(%rdx), %ymm22
1323
1324// CHECK: vexpandpd -1032(%rdx), %ymm22
1325// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x88,0xb2,0xf8,0xfb,0xff,0xff]
1326          vexpandpd -1032(%rdx), %ymm22
1327
1328// CHECK: vexpandpd %xmm25, %xmm29
1329// CHECK:  encoding: [0x62,0x02,0xfd,0x08,0x88,0xe9]
1330          vexpandpd %xmm25, %xmm29
1331
1332// CHECK: vexpandpd %xmm25, %xmm29 {%k7}
1333// CHECK:  encoding: [0x62,0x02,0xfd,0x0f,0x88,0xe9]
1334          vexpandpd %xmm25, %xmm29 {%k7}
1335
1336// CHECK: vexpandpd %xmm25, %xmm29 {%k7} {z}
1337// CHECK:  encoding: [0x62,0x02,0xfd,0x8f,0x88,0xe9]
1338          vexpandpd %xmm25, %xmm29 {%k7} {z}
1339
1340// CHECK: vexpandpd %ymm27, %ymm21
1341// CHECK:  encoding: [0x62,0x82,0xfd,0x28,0x88,0xeb]
1342          vexpandpd %ymm27, %ymm21
1343
1344// CHECK: vexpandpd %ymm27, %ymm21 {%k2}
1345// CHECK:  encoding: [0x62,0x82,0xfd,0x2a,0x88,0xeb]
1346          vexpandpd %ymm27, %ymm21 {%k2}
1347
1348// CHECK: vexpandpd %ymm27, %ymm21 {%k2} {z}
1349// CHECK:  encoding: [0x62,0x82,0xfd,0xaa,0x88,0xeb]
1350          vexpandpd %ymm27, %ymm21 {%k2} {z}
1351
1352// CHECK: vexpandps (%rcx), %xmm18
1353// CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x88,0x11]
1354          vexpandps (%rcx), %xmm18
1355
1356// CHECK: vexpandps (%rcx), %xmm18 {%k1}
1357// CHECK:  encoding: [0x62,0xe2,0x7d,0x09,0x88,0x11]
1358          vexpandps (%rcx), %xmm18 {%k1}
1359
1360// CHECK: vexpandps (%rcx), %xmm18 {%k1} {z}
1361// CHECK:  encoding: [0x62,0xe2,0x7d,0x89,0x88,0x11]
1362          vexpandps (%rcx), %xmm18 {%k1} {z}
1363
1364// CHECK: vexpandps 291(%rax,%r14,8), %xmm18
1365// CHECK:  encoding: [0x62,0xa2,0x7d,0x08,0x88,0x94,0xf0,0x23,0x01,0x00,0x00]
1366          vexpandps 291(%rax,%r14,8), %xmm18
1367
1368// CHECK: vexpandps 508(%rdx), %xmm18
1369// CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x88,0x52,0x7f]
1370          vexpandps 508(%rdx), %xmm18
1371
1372// CHECK: vexpandps 512(%rdx), %xmm18
1373// CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x88,0x92,0x00,0x02,0x00,0x00]
1374          vexpandps 512(%rdx), %xmm18
1375
1376// CHECK: vexpandps -512(%rdx), %xmm18
1377// CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x88,0x52,0x80]
1378          vexpandps -512(%rdx), %xmm18
1379
1380// CHECK: vexpandps -516(%rdx), %xmm18
1381// CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x88,0x92,0xfc,0xfd,0xff,0xff]
1382          vexpandps -516(%rdx), %xmm18
1383
1384// CHECK: vexpandps (%rcx), %ymm23
1385// CHECK:  encoding: [0x62,0xe2,0x7d,0x28,0x88,0x39]
1386          vexpandps (%rcx), %ymm23
1387
1388// CHECK: vexpandps (%rcx), %ymm23 {%k7}
1389// CHECK:  encoding: [0x62,0xe2,0x7d,0x2f,0x88,0x39]
1390          vexpandps (%rcx), %ymm23 {%k7}
1391
1392// CHECK: vexpandps (%rcx), %ymm23 {%k7} {z}
1393// CHECK:  encoding: [0x62,0xe2,0x7d,0xaf,0x88,0x39]
1394          vexpandps (%rcx), %ymm23 {%k7} {z}
1395
1396// CHECK: vexpandps 291(%rax,%r14,8), %ymm23
1397// CHECK:  encoding: [0x62,0xa2,0x7d,0x28,0x88,0xbc,0xf0,0x23,0x01,0x00,0x00]
1398          vexpandps 291(%rax,%r14,8), %ymm23
1399
1400// CHECK: vexpandps 508(%rdx), %ymm23
1401// CHECK:  encoding: [0x62,0xe2,0x7d,0x28,0x88,0x7a,0x7f]
1402          vexpandps 508(%rdx), %ymm23
1403
1404// CHECK: vexpandps 512(%rdx), %ymm23
1405// CHECK:  encoding: [0x62,0xe2,0x7d,0x28,0x88,0xba,0x00,0x02,0x00,0x00]
1406          vexpandps 512(%rdx), %ymm23
1407
1408// CHECK: vexpandps -512(%rdx), %ymm23
1409// CHECK:  encoding: [0x62,0xe2,0x7d,0x28,0x88,0x7a,0x80]
1410          vexpandps -512(%rdx), %ymm23
1411
1412// CHECK: vexpandps -516(%rdx), %ymm23
1413// CHECK:  encoding: [0x62,0xe2,0x7d,0x28,0x88,0xba,0xfc,0xfd,0xff,0xff]
1414          vexpandps -516(%rdx), %ymm23
1415
1416// CHECK: vexpandps %xmm19, %xmm29
1417// CHECK:  encoding: [0x62,0x22,0x7d,0x08,0x88,0xeb]
1418          vexpandps %xmm19, %xmm29
1419
1420// CHECK: vexpandps %xmm19, %xmm29 {%k5}
1421// CHECK:  encoding: [0x62,0x22,0x7d,0x0d,0x88,0xeb]
1422          vexpandps %xmm19, %xmm29 {%k5}
1423
1424// CHECK: vexpandps %xmm19, %xmm29 {%k5} {z}
1425// CHECK:  encoding: [0x62,0x22,0x7d,0x8d,0x88,0xeb]
1426          vexpandps %xmm19, %xmm29 {%k5} {z}
1427
1428// CHECK: vexpandps %ymm29, %ymm29
1429// CHECK:  encoding: [0x62,0x02,0x7d,0x28,0x88,0xed]
1430          vexpandps %ymm29, %ymm29
1431
1432// CHECK: vexpandps %ymm29, %ymm29 {%k5}
1433// CHECK:  encoding: [0x62,0x02,0x7d,0x2d,0x88,0xed]
1434          vexpandps %ymm29, %ymm29 {%k5}
1435
1436// CHECK: vexpandps %ymm29, %ymm29 {%k5} {z}
1437// CHECK:  encoding: [0x62,0x02,0x7d,0xad,0x88,0xed]
1438          vexpandps %ymm29, %ymm29 {%k5} {z}
1439
1440// CHECK: vpabsd %xmm19, %xmm28
1441// CHECK:  encoding: [0x62,0x22,0x7d,0x08,0x1e,0xe3]
1442          vpabsd %xmm19, %xmm28
1443
1444// CHECK: vpabsd %xmm19, %xmm28 {%k6}
1445// CHECK:  encoding: [0x62,0x22,0x7d,0x0e,0x1e,0xe3]
1446          vpabsd %xmm19, %xmm28 {%k6}
1447
1448// CHECK: vpabsd %xmm19, %xmm28 {%k6} {z}
1449// CHECK:  encoding: [0x62,0x22,0x7d,0x8e,0x1e,0xe3]
1450          vpabsd %xmm19, %xmm28 {%k6} {z}
1451
1452// CHECK: vpabsd (%rcx), %xmm28
1453// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x1e,0x21]
1454          vpabsd (%rcx), %xmm28
1455
1456// CHECK: vpabsd 291(%rax,%r14,8), %xmm28
1457// CHECK:  encoding: [0x62,0x22,0x7d,0x08,0x1e,0xa4,0xf0,0x23,0x01,0x00,0x00]
1458          vpabsd 291(%rax,%r14,8), %xmm28
1459
1460// CHECK: vpabsd (%rcx){1to4}, %xmm28
1461// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x1e,0x21]
1462          vpabsd (%rcx){1to4}, %xmm28
1463
1464// CHECK: vpabsd 2032(%rdx), %xmm28
1465// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x1e,0x62,0x7f]
1466          vpabsd 2032(%rdx), %xmm28
1467
1468// CHECK: vpabsd 2048(%rdx), %xmm28
1469// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x1e,0xa2,0x00,0x08,0x00,0x00]
1470          vpabsd 2048(%rdx), %xmm28
1471
1472// CHECK: vpabsd -2048(%rdx), %xmm28
1473// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x1e,0x62,0x80]
1474          vpabsd -2048(%rdx), %xmm28
1475
1476// CHECK: vpabsd -2064(%rdx), %xmm28
1477// CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x1e,0xa2,0xf0,0xf7,0xff,0xff]
1478          vpabsd -2064(%rdx), %xmm28
1479
1480// CHECK: vpabsd 508(%rdx){1to4}, %xmm28
1481// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x1e,0x62,0x7f]
1482          vpabsd 508(%rdx){1to4}, %xmm28
1483
1484// CHECK: vpabsd 512(%rdx){1to4}, %xmm28
1485// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x1e,0xa2,0x00,0x02,0x00,0x00]
1486          vpabsd 512(%rdx){1to4}, %xmm28
1487
1488// CHECK: vpabsd -512(%rdx){1to4}, %xmm28
1489// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x1e,0x62,0x80]
1490          vpabsd -512(%rdx){1to4}, %xmm28
1491
1492// CHECK: vpabsd -516(%rdx){1to4}, %xmm28
1493// CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x1e,0xa2,0xfc,0xfd,0xff,0xff]
1494          vpabsd -516(%rdx){1to4}, %xmm28
1495
1496// CHECK: vpabsd %ymm18, %ymm25
1497// CHECK:  encoding: [0x62,0x22,0x7d,0x28,0x1e,0xca]
1498          vpabsd %ymm18, %ymm25
1499
1500// CHECK: vpabsd %ymm18, %ymm25 {%k2}
1501// CHECK:  encoding: [0x62,0x22,0x7d,0x2a,0x1e,0xca]
1502          vpabsd %ymm18, %ymm25 {%k2}
1503
1504// CHECK: vpabsd %ymm18, %ymm25 {%k2} {z}
1505// CHECK:  encoding: [0x62,0x22,0x7d,0xaa,0x1e,0xca]
1506          vpabsd %ymm18, %ymm25 {%k2} {z}
1507
1508// CHECK: vpabsd (%rcx), %ymm25
1509// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x1e,0x09]
1510          vpabsd (%rcx), %ymm25
1511
1512// CHECK: vpabsd 291(%rax,%r14,8), %ymm25
1513// CHECK:  encoding: [0x62,0x22,0x7d,0x28,0x1e,0x8c,0xf0,0x23,0x01,0x00,0x00]
1514          vpabsd 291(%rax,%r14,8), %ymm25
1515
1516// CHECK: vpabsd (%rcx){1to8}, %ymm25
1517// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0x1e,0x09]
1518          vpabsd (%rcx){1to8}, %ymm25
1519
1520// CHECK: vpabsd 4064(%rdx), %ymm25
1521// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x1e,0x4a,0x7f]
1522          vpabsd 4064(%rdx), %ymm25
1523
1524// CHECK: vpabsd 4096(%rdx), %ymm25
1525// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x1e,0x8a,0x00,0x10,0x00,0x00]
1526          vpabsd 4096(%rdx), %ymm25
1527
1528// CHECK: vpabsd -4096(%rdx), %ymm25
1529// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x1e,0x4a,0x80]
1530          vpabsd -4096(%rdx), %ymm25
1531
1532// CHECK: vpabsd -4128(%rdx), %ymm25
1533// CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x1e,0x8a,0xe0,0xef,0xff,0xff]
1534          vpabsd -4128(%rdx), %ymm25
1535
1536// CHECK: vpabsd 508(%rdx){1to8}, %ymm25
1537// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0x1e,0x4a,0x7f]
1538          vpabsd 508(%rdx){1to8}, %ymm25
1539
1540// CHECK: vpabsd 512(%rdx){1to8}, %ymm25
1541// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0x1e,0x8a,0x00,0x02,0x00,0x00]
1542          vpabsd 512(%rdx){1to8}, %ymm25
1543
1544// CHECK: vpabsd -512(%rdx){1to8}, %ymm25
1545// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0x1e,0x4a,0x80]
1546          vpabsd -512(%rdx){1to8}, %ymm25
1547
1548// CHECK: vpabsd -516(%rdx){1to8}, %ymm25
1549// CHECK:  encoding: [0x62,0x62,0x7d,0x38,0x1e,0x8a,0xfc,0xfd,0xff,0xff]
1550          vpabsd -516(%rdx){1to8}, %ymm25
1551
1552// CHECK: vpabsq %xmm22, %xmm19
1553// CHECK:  encoding: [0x62,0xa2,0xfd,0x08,0x1f,0xde]
1554          vpabsq %xmm22, %xmm19
1555
1556// CHECK: vpabsq %xmm22, %xmm19 {%k2}
1557// CHECK:  encoding: [0x62,0xa2,0xfd,0x0a,0x1f,0xde]
1558          vpabsq %xmm22, %xmm19 {%k2}
1559
1560// CHECK: vpabsq %xmm22, %xmm19 {%k2} {z}
1561// CHECK:  encoding: [0x62,0xa2,0xfd,0x8a,0x1f,0xde]
1562          vpabsq %xmm22, %xmm19 {%k2} {z}
1563
1564// CHECK: vpabsq (%rcx), %xmm19
1565// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x1f,0x19]
1566          vpabsq (%rcx), %xmm19
1567
1568// CHECK: vpabsq 291(%rax,%r14,8), %xmm19
1569// CHECK:  encoding: [0x62,0xa2,0xfd,0x08,0x1f,0x9c,0xf0,0x23,0x01,0x00,0x00]
1570          vpabsq 291(%rax,%r14,8), %xmm19
1571
1572// CHECK: vpabsq (%rcx){1to2}, %xmm19
1573// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0x1f,0x19]
1574          vpabsq (%rcx){1to2}, %xmm19
1575
1576// CHECK: vpabsq 2032(%rdx), %xmm19
1577// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x1f,0x5a,0x7f]
1578          vpabsq 2032(%rdx), %xmm19
1579
1580// CHECK: vpabsq 2048(%rdx), %xmm19
1581// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x1f,0x9a,0x00,0x08,0x00,0x00]
1582          vpabsq 2048(%rdx), %xmm19
1583
1584// CHECK: vpabsq -2048(%rdx), %xmm19
1585// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x1f,0x5a,0x80]
1586          vpabsq -2048(%rdx), %xmm19
1587
1588// CHECK: vpabsq -2064(%rdx), %xmm19
1589// CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x1f,0x9a,0xf0,0xf7,0xff,0xff]
1590          vpabsq -2064(%rdx), %xmm19
1591
1592// CHECK: vpabsq 1016(%rdx){1to2}, %xmm19
1593// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0x1f,0x5a,0x7f]
1594          vpabsq 1016(%rdx){1to2}, %xmm19
1595
1596// CHECK: vpabsq 1024(%rdx){1to2}, %xmm19
1597// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0x1f,0x9a,0x00,0x04,0x00,0x00]
1598          vpabsq 1024(%rdx){1to2}, %xmm19
1599
1600// CHECK: vpabsq -1024(%rdx){1to2}, %xmm19
1601// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0x1f,0x5a,0x80]
1602          vpabsq -1024(%rdx){1to2}, %xmm19
1603
1604// CHECK: vpabsq -1032(%rdx){1to2}, %xmm19
1605// CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0x1f,0x9a,0xf8,0xfb,0xff,0xff]
1606          vpabsq -1032(%rdx){1to2}, %xmm19
1607
1608// CHECK: vpabsq %ymm17, %ymm22
1609// CHECK:  encoding: [0x62,0xa2,0xfd,0x28,0x1f,0xf1]
1610          vpabsq %ymm17, %ymm22
1611
1612// CHECK: vpabsq %ymm17, %ymm22 {%k6}
1613// CHECK:  encoding: [0x62,0xa2,0xfd,0x2e,0x1f,0xf1]
1614          vpabsq %ymm17, %ymm22 {%k6}
1615
1616// CHECK: vpabsq %ymm17, %ymm22 {%k6} {z}
1617// CHECK:  encoding: [0x62,0xa2,0xfd,0xae,0x1f,0xf1]
1618          vpabsq %ymm17, %ymm22 {%k6} {z}
1619
1620// CHECK: vpabsq (%rcx), %ymm22
1621// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x1f,0x31]
1622          vpabsq (%rcx), %ymm22
1623
1624// CHECK: vpabsq 291(%rax,%r14,8), %ymm22
1625// CHECK:  encoding: [0x62,0xa2,0xfd,0x28,0x1f,0xb4,0xf0,0x23,0x01,0x00,0x00]
1626          vpabsq 291(%rax,%r14,8), %ymm22
1627
1628// CHECK: vpabsq (%rcx){1to4}, %ymm22
1629// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x1f,0x31]
1630          vpabsq (%rcx){1to4}, %ymm22
1631
1632// CHECK: vpabsq 4064(%rdx), %ymm22
1633// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x1f,0x72,0x7f]
1634          vpabsq 4064(%rdx), %ymm22
1635
1636// CHECK: vpabsq 4096(%rdx), %ymm22
1637// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x1f,0xb2,0x00,0x10,0x00,0x00]
1638          vpabsq 4096(%rdx), %ymm22
1639
1640// CHECK: vpabsq -4096(%rdx), %ymm22
1641// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x1f,0x72,0x80]
1642          vpabsq -4096(%rdx), %ymm22
1643
1644// CHECK: vpabsq -4128(%rdx), %ymm22
1645// CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x1f,0xb2,0xe0,0xef,0xff,0xff]
1646          vpabsq -4128(%rdx), %ymm22
1647
1648// CHECK: vpabsq 1016(%rdx){1to4}, %ymm22
1649// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x1f,0x72,0x7f]
1650          vpabsq 1016(%rdx){1to4}, %ymm22
1651
1652// CHECK: vpabsq 1024(%rdx){1to4}, %ymm22
1653// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x1f,0xb2,0x00,0x04,0x00,0x00]
1654          vpabsq 1024(%rdx){1to4}, %ymm22
1655
1656// CHECK: vpabsq -1024(%rdx){1to4}, %ymm22
1657// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x1f,0x72,0x80]
1658          vpabsq -1024(%rdx){1to4}, %ymm22
1659
1660// CHECK: vpabsq -1032(%rdx){1to4}, %ymm22
1661// CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x1f,0xb2,0xf8,0xfb,0xff,0xff]
1662          vpabsq -1032(%rdx){1to4}, %ymm22
1663
1664// CHECK: vpgatherdd 123(%r14,%xmm31,8), %xmm17 {%k1}
1665// CHECK:  encoding: [0x62,0x82,0x7d,0x01,0x90,0x8c,0xfe,0x7b,0x00,0x00,0x00]
1666          vpgatherdd 123(%r14,%xmm31,8), %xmm17 {%k1}
1667
1668// CHECK: vpgatherdd 256(%r9,%xmm31), %xmm17 {%k1}
1669// CHECK:  encoding: [0x62,0x82,0x7d,0x01,0x90,0x4c,0x39,0x40]
1670          vpgatherdd 256(%r9,%xmm31), %xmm17 {%k1}
1671
1672// CHECK: vpgatherdd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
1673// CHECK:  encoding: [0x62,0xa2,0x7d,0x01,0x90,0x8c,0xb9,0x00,0x04,0x00,0x00]
1674          vpgatherdd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
1675
1676// CHECK: vpgatherdd 123(%r14,%ymm31,8), %ymm19 {%k1}
1677// CHECK:  encoding: [0x62,0x82,0x7d,0x21,0x90,0x9c,0xfe,0x7b,0x00,0x00,0x00]
1678          vpgatherdd 123(%r14,%ymm31,8), %ymm19 {%k1}
1679
1680// CHECK: vpgatherdd 256(%r9,%ymm31), %ymm19 {%k1}
1681// CHECK:  encoding: [0x62,0x82,0x7d,0x21,0x90,0x5c,0x39,0x40]
1682          vpgatherdd 256(%r9,%ymm31), %ymm19 {%k1}
1683
1684// CHECK: vpgatherdd 1024(%rcx,%ymm31,4), %ymm19 {%k1}
1685// CHECK:  encoding: [0x62,0xa2,0x7d,0x21,0x90,0x9c,0xb9,0x00,0x04,0x00,0x00]
1686          vpgatherdd 1024(%rcx,%ymm31,4), %ymm19 {%k1}
1687
1688// CHECK: vpgatherdq 123(%r14,%xmm31,8), %xmm17 {%k1}
1689// CHECK:  encoding: [0x62,0x82,0xfd,0x01,0x90,0x8c,0xfe,0x7b,0x00,0x00,0x00]
1690          vpgatherdq 123(%r14,%xmm31,8), %xmm17 {%k1}
1691
1692// CHECK: vpgatherdq 256(%r9,%xmm31), %xmm17 {%k1}
1693// CHECK:  encoding: [0x62,0x82,0xfd,0x01,0x90,0x4c,0x39,0x20]
1694          vpgatherdq 256(%r9,%xmm31), %xmm17 {%k1}
1695
1696// CHECK: vpgatherdq 1024(%rcx,%xmm31,4), %xmm17 {%k1}
1697// CHECK:  encoding: [0x62,0xa2,0xfd,0x01,0x90,0x8c,0xb9,0x00,0x04,0x00,0x00]
1698          vpgatherdq 1024(%rcx,%xmm31,4), %xmm17 {%k1}
1699
1700// CHECK: vpgatherdq 123(%r14,%xmm31,8), %ymm26 {%k1}
1701// CHECK:  encoding: [0x62,0x02,0xfd,0x21,0x90,0x94,0xfe,0x7b,0x00,0x00,0x00]
1702          vpgatherdq 123(%r14,%xmm31,8), %ymm26 {%k1}
1703
1704// CHECK: vpgatherdq 256(%r9,%xmm31), %ymm26 {%k1}
1705// CHECK:  encoding: [0x62,0x02,0xfd,0x21,0x90,0x54,0x39,0x20]
1706          vpgatherdq 256(%r9,%xmm31), %ymm26 {%k1}
1707
1708// CHECK: vpgatherdq 1024(%rcx,%xmm31,4), %ymm26 {%k1}
1709// CHECK:  encoding: [0x62,0x22,0xfd,0x21,0x90,0x94,0xb9,0x00,0x04,0x00,0x00]
1710          vpgatherdq 1024(%rcx,%xmm31,4), %ymm26 {%k1}
1711
1712// CHECK: vpgatherqd 123(%r14,%xmm31,8), %xmm21 {%k1}
1713// CHECK:  encoding: [0x62,0x82,0x7d,0x01,0x91,0xac,0xfe,0x7b,0x00,0x00,0x00]
1714          vpgatherqd 123(%r14,%xmm31,8), %xmm21 {%k1}
1715
1716// CHECK: vpgatherqd 256(%r9,%xmm31), %xmm21 {%k1}
1717// CHECK:  encoding: [0x62,0x82,0x7d,0x01,0x91,0x6c,0x39,0x40]
1718          vpgatherqd 256(%r9,%xmm31), %xmm21 {%k1}
1719
1720// CHECK: vpgatherqd 1024(%rcx,%xmm31,4), %xmm21 {%k1}
1721// CHECK:  encoding: [0x62,0xa2,0x7d,0x01,0x91,0xac,0xb9,0x00,0x04,0x00,0x00]
1722          vpgatherqd 1024(%rcx,%xmm31,4), %xmm21 {%k1}
1723
1724// CHECK: vpgatherqd 123(%r14,%ymm31,8), %xmm25 {%k1}
1725// CHECK:  encoding: [0x62,0x02,0x7d,0x21,0x91,0x8c,0xfe,0x7b,0x00,0x00,0x00]
1726          vpgatherqd 123(%r14,%ymm31,8), %xmm25 {%k1}
1727
1728// CHECK: vpgatherqd 256(%r9,%ymm31), %xmm25 {%k1}
1729// CHECK:  encoding: [0x62,0x02,0x7d,0x21,0x91,0x4c,0x39,0x40]
1730          vpgatherqd 256(%r9,%ymm31), %xmm25 {%k1}
1731
1732// CHECK: vpgatherqd 1024(%rcx,%ymm31,4), %xmm25 {%k1}
1733// CHECK:  encoding: [0x62,0x22,0x7d,0x21,0x91,0x8c,0xb9,0x00,0x04,0x00,0x00]
1734          vpgatherqd 1024(%rcx,%ymm31,4), %xmm25 {%k1}
1735
1736// CHECK: vpgatherqq 123(%r14,%xmm31,8), %xmm18 {%k1}
1737// CHECK:  encoding: [0x62,0x82,0xfd,0x01,0x91,0x94,0xfe,0x7b,0x00,0x00,0x00]
1738          vpgatherqq 123(%r14,%xmm31,8), %xmm18 {%k1}
1739
1740// CHECK: vpgatherqq 256(%r9,%xmm31), %xmm18 {%k1}
1741// CHECK:  encoding: [0x62,0x82,0xfd,0x01,0x91,0x54,0x39,0x20]
1742          vpgatherqq 256(%r9,%xmm31), %xmm18 {%k1}
1743
1744// CHECK: vpgatherqq 1024(%rcx,%xmm31,4), %xmm18 {%k1}
1745// CHECK:  encoding: [0x62,0xa2,0xfd,0x01,0x91,0x94,0xb9,0x00,0x04,0x00,0x00]
1746          vpgatherqq 1024(%rcx,%xmm31,4), %xmm18 {%k1}
1747
1748// CHECK: vpgatherqq 123(%r14,%ymm31,8), %ymm19 {%k1}
1749// CHECK:  encoding: [0x62,0x82,0xfd,0x21,0x91,0x9c,0xfe,0x7b,0x00,0x00,0x00]
1750          vpgatherqq 123(%r14,%ymm31,8), %ymm19 {%k1}
1751
1752// CHECK: vpgatherqq 256(%r9,%ymm31), %ymm19 {%k1}
1753// CHECK:  encoding: [0x62,0x82,0xfd,0x21,0x91,0x5c,0x39,0x20]
1754          vpgatherqq 256(%r9,%ymm31), %ymm19 {%k1}
1755
1756// CHECK: vpgatherqq 1024(%rcx,%ymm31,4), %ymm19 {%k1}
1757// CHECK:  encoding: [0x62,0xa2,0xfd,0x21,0x91,0x9c,0xb9,0x00,0x04,0x00,0x00]
1758          vpgatherqq 1024(%rcx,%ymm31,4), %ymm19 {%k1}
1759
1760// CHECK: vgatherdpd 123(%r14,%xmm31,8), %xmm17 {%k1}
1761// CHECK:  encoding: [0x62,0x82,0xfd,0x01,0x92,0x8c,0xfe,0x7b,0x00,0x00,0x00]
1762          vgatherdpd 123(%r14,%xmm31,8), %xmm17 {%k1}
1763
1764// CHECK: vgatherdpd 256(%r9,%xmm31), %xmm17 {%k1}
1765// CHECK:  encoding: [0x62,0x82,0xfd,0x01,0x92,0x4c,0x39,0x20]
1766          vgatherdpd 256(%r9,%xmm31), %xmm17 {%k1}
1767
1768// CHECK: vgatherdpd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
1769// CHECK:  encoding: [0x62,0xa2,0xfd,0x01,0x92,0x8c,0xb9,0x00,0x04,0x00,0x00]
1770          vgatherdpd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
1771
1772// CHECK: vgatherdpd 123(%r14,%xmm31,8), %ymm23 {%k1}
1773// CHECK:  encoding: [0x62,0x82,0xfd,0x21,0x92,0xbc,0xfe,0x7b,0x00,0x00,0x00]
1774          vgatherdpd 123(%r14,%xmm31,8), %ymm23 {%k1}
1775
1776// CHECK: vgatherdpd 256(%r9,%xmm31), %ymm23 {%k1}
1777// CHECK:  encoding: [0x62,0x82,0xfd,0x21,0x92,0x7c,0x39,0x20]
1778          vgatherdpd 256(%r9,%xmm31), %ymm23 {%k1}
1779
1780// CHECK: vgatherdpd 1024(%rcx,%xmm31,4), %ymm23 {%k1}
1781// CHECK:  encoding: [0x62,0xa2,0xfd,0x21,0x92,0xbc,0xb9,0x00,0x04,0x00,0x00]
1782          vgatherdpd 1024(%rcx,%xmm31,4), %ymm23 {%k1}
1783
1784// CHECK: vgatherdps 123(%r14,%xmm31,8), %xmm18 {%k1}
1785// CHECK:  encoding: [0x62,0x82,0x7d,0x01,0x92,0x94,0xfe,0x7b,0x00,0x00,0x00]
1786          vgatherdps 123(%r14,%xmm31,8), %xmm18 {%k1}
1787
1788// CHECK: vgatherdps 256(%r9,%xmm31), %xmm18 {%k1}
1789// CHECK:  encoding: [0x62,0x82,0x7d,0x01,0x92,0x54,0x39,0x40]
1790          vgatherdps 256(%r9,%xmm31), %xmm18 {%k1}
1791
1792// CHECK: vgatherdps 1024(%rcx,%xmm31,4), %xmm18 {%k1}
1793// CHECK:  encoding: [0x62,0xa2,0x7d,0x01,0x92,0x94,0xb9,0x00,0x04,0x00,0x00]
1794          vgatherdps 1024(%rcx,%xmm31,4), %xmm18 {%k1}
1795
1796// CHECK: vgatherdps 123(%r14,%ymm31,8), %ymm27 {%k1}
1797// CHECK:  encoding: [0x62,0x02,0x7d,0x21,0x92,0x9c,0xfe,0x7b,0x00,0x00,0x00]
1798          vgatherdps 123(%r14,%ymm31,8), %ymm27 {%k1}
1799
1800// CHECK: vgatherdps 256(%r9,%ymm31), %ymm27 {%k1}
1801// CHECK:  encoding: [0x62,0x02,0x7d,0x21,0x92,0x5c,0x39,0x40]
1802          vgatherdps 256(%r9,%ymm31), %ymm27 {%k1}
1803
1804// CHECK: vgatherdps 1024(%rcx,%ymm31,4), %ymm27 {%k1}
1805// CHECK:  encoding: [0x62,0x22,0x7d,0x21,0x92,0x9c,0xb9,0x00,0x04,0x00,0x00]
1806          vgatherdps 1024(%rcx,%ymm31,4), %ymm27 {%k1}
1807
1808// CHECK: vgatherqpd 123(%r14,%xmm31,8), %xmm17 {%k1}
1809// CHECK:  encoding: [0x62,0x82,0xfd,0x01,0x93,0x8c,0xfe,0x7b,0x00,0x00,0x00]
1810          vgatherqpd 123(%r14,%xmm31,8), %xmm17 {%k1}
1811
1812// CHECK: vgatherqpd 256(%r9,%xmm31), %xmm17 {%k1}
1813// CHECK:  encoding: [0x62,0x82,0xfd,0x01,0x93,0x4c,0x39,0x20]
1814          vgatherqpd 256(%r9,%xmm31), %xmm17 {%k1}
1815
1816// CHECK: vgatherqpd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
1817// CHECK:  encoding: [0x62,0xa2,0xfd,0x01,0x93,0x8c,0xb9,0x00,0x04,0x00,0x00]
1818          vgatherqpd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
1819
1820// CHECK: vgatherqpd 123(%r14,%ymm31,8), %ymm29 {%k1}
1821// CHECK:  encoding: [0x62,0x02,0xfd,0x21,0x93,0xac,0xfe,0x7b,0x00,0x00,0x00]
1822          vgatherqpd 123(%r14,%ymm31,8), %ymm29 {%k1}
1823
1824// CHECK: vgatherqpd 256(%r9,%ymm31), %ymm29 {%k1}
1825// CHECK:  encoding: [0x62,0x02,0xfd,0x21,0x93,0x6c,0x39,0x20]
1826          vgatherqpd 256(%r9,%ymm31), %ymm29 {%k1}
1827
1828// CHECK: vgatherqpd 1024(%rcx,%ymm31,4), %ymm29 {%k1}
1829// CHECK:  encoding: [0x62,0x22,0xfd,0x21,0x93,0xac,0xb9,0x00,0x04,0x00,0x00]
1830          vgatherqpd 1024(%rcx,%ymm31,4), %ymm29 {%k1}
1831
1832// CHECK: vgatherqps 123(%r14,%xmm31,8), %xmm21 {%k1}
1833// CHECK:  encoding: [0x62,0x82,0x7d,0x01,0x93,0xac,0xfe,0x7b,0x00,0x00,0x00]
1834          vgatherqps 123(%r14,%xmm31,8), %xmm21 {%k1}
1835
1836// CHECK: vgatherqps 256(%r9,%xmm31), %xmm21 {%k1}
1837// CHECK:  encoding: [0x62,0x82,0x7d,0x01,0x93,0x6c,0x39,0x40]
1838          vgatherqps 256(%r9,%xmm31), %xmm21 {%k1}
1839
1840// CHECK: vgatherqps 1024(%rcx,%xmm31,4), %xmm21 {%k1}
1841// CHECK:  encoding: [0x62,0xa2,0x7d,0x01,0x93,0xac,0xb9,0x00,0x04,0x00,0x00]
1842          vgatherqps 1024(%rcx,%xmm31,4), %xmm21 {%k1}
1843
1844// CHECK: vgatherqps 123(%r14,%ymm31,8), %xmm19 {%k1}
1845// CHECK:  encoding: [0x62,0x82,0x7d,0x21,0x93,0x9c,0xfe,0x7b,0x00,0x00,0x00]
1846          vgatherqps 123(%r14,%ymm31,8), %xmm19 {%k1}
1847
1848// CHECK: vgatherqps 256(%r9,%ymm31), %xmm19 {%k1}
1849// CHECK:  encoding: [0x62,0x82,0x7d,0x21,0x93,0x5c,0x39,0x40]
1850          vgatherqps 256(%r9,%ymm31), %xmm19 {%k1}
1851
1852// CHECK: vgatherqps 1024(%rcx,%ymm31,4), %xmm19 {%k1}
1853// CHECK:  encoding: [0x62,0xa2,0x7d,0x21,0x93,0x9c,0xb9,0x00,0x04,0x00,0x00]
1854          vgatherqps 1024(%rcx,%ymm31,4), %xmm19 {%k1}
1855
1856// CHECK: vpscatterdd %xmm20, 123(%r14,%xmm31,8) {%k1}
1857// CHECK:  encoding: [0x62,0x82,0x7d,0x01,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
1858          vpscatterdd %xmm20, 123(%r14,%xmm31,8) {%k1}
1859
1860// CHECK: vpscatterdd %xmm20, 123(%r14,%xmm31,8) {%k1}
1861// CHECK:  encoding: [0x62,0x82,0x7d,0x01,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
1862          vpscatterdd %xmm20, 123(%r14,%xmm31,8) {%k1}
1863
1864// CHECK: vpscatterdd %xmm20, 256(%r9,%xmm31) {%k1}
1865// CHECK:  encoding: [0x62,0x82,0x7d,0x01,0xa0,0x64,0x39,0x40]
1866          vpscatterdd %xmm20, 256(%r9,%xmm31) {%k1}
1867
1868// CHECK: vpscatterdd %xmm20, 1024(%rcx,%xmm31,4) {%k1}
1869// CHECK:  encoding: [0x62,0xa2,0x7d,0x01,0xa0,0xa4,0xb9,0x00,0x04,0x00,0x00]
1870          vpscatterdd %xmm20, 1024(%rcx,%xmm31,4) {%k1}
1871
1872// CHECK: vpscatterdd %ymm28, 123(%r14,%ymm31,8) {%k1}
1873// CHECK:  encoding: [0x62,0x02,0x7d,0x21,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
1874          vpscatterdd %ymm28, 123(%r14,%ymm31,8) {%k1}
1875
1876// CHECK: vpscatterdd %ymm28, 123(%r14,%ymm31,8) {%k1}
1877// CHECK:  encoding: [0x62,0x02,0x7d,0x21,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
1878          vpscatterdd %ymm28, 123(%r14,%ymm31,8) {%k1}
1879
1880// CHECK: vpscatterdd %ymm28, 256(%r9,%ymm31) {%k1}
1881// CHECK:  encoding: [0x62,0x02,0x7d,0x21,0xa0,0x64,0x39,0x40]
1882          vpscatterdd %ymm28, 256(%r9,%ymm31) {%k1}
1883
1884// CHECK: vpscatterdd %ymm28, 1024(%rcx,%ymm31,4) {%k1}
1885// CHECK:  encoding: [0x62,0x22,0x7d,0x21,0xa0,0xa4,0xb9,0x00,0x04,0x00,0x00]
1886          vpscatterdd %ymm28, 1024(%rcx,%ymm31,4) {%k1}
1887
1888// CHECK: vpscatterdq %xmm21, 123(%r14,%xmm31,8) {%k1}
1889// CHECK:  encoding: [0x62,0x82,0xfd,0x01,0xa0,0xac,0xfe,0x7b,0x00,0x00,0x00]
1890          vpscatterdq %xmm21, 123(%r14,%xmm31,8) {%k1}
1891
1892// CHECK: vpscatterdq %xmm21, 123(%r14,%xmm31,8) {%k1}
1893// CHECK:  encoding: [0x62,0x82,0xfd,0x01,0xa0,0xac,0xfe,0x7b,0x00,0x00,0x00]
1894          vpscatterdq %xmm21, 123(%r14,%xmm31,8) {%k1}
1895
1896// CHECK: vpscatterdq %xmm21, 256(%r9,%xmm31) {%k1}
1897// CHECK:  encoding: [0x62,0x82,0xfd,0x01,0xa0,0x6c,0x39,0x20]
1898          vpscatterdq %xmm21, 256(%r9,%xmm31) {%k1}
1899
1900// CHECK: vpscatterdq %xmm21, 1024(%rcx,%xmm31,4) {%k1}
1901// CHECK:  encoding: [0x62,0xa2,0xfd,0x01,0xa0,0xac,0xb9,0x00,0x04,0x00,0x00]
1902          vpscatterdq %xmm21, 1024(%rcx,%xmm31,4) {%k1}
1903
1904// CHECK: vpscatterdq %ymm28, 123(%r14,%xmm31,8) {%k1}
1905// CHECK:  encoding: [0x62,0x02,0xfd,0x21,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
1906          vpscatterdq %ymm28, 123(%r14,%xmm31,8) {%k1}
1907
1908// CHECK: vpscatterdq %ymm28, 123(%r14,%xmm31,8) {%k1}
1909// CHECK:  encoding: [0x62,0x02,0xfd,0x21,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
1910          vpscatterdq %ymm28, 123(%r14,%xmm31,8) {%k1}
1911
1912// CHECK: vpscatterdq %ymm28, 256(%r9,%xmm31) {%k1}
1913// CHECK:  encoding: [0x62,0x02,0xfd,0x21,0xa0,0x64,0x39,0x20]
1914          vpscatterdq %ymm28, 256(%r9,%xmm31) {%k1}
1915
1916// CHECK: vpscatterdq %ymm28, 1024(%rcx,%xmm31,4) {%k1}
1917// CHECK:  encoding: [0x62,0x22,0xfd,0x21,0xa0,0xa4,0xb9,0x00,0x04,0x00,0x00]
1918          vpscatterdq %ymm28, 1024(%rcx,%xmm31,4) {%k1}
1919
1920// CHECK: vpscatterqd %xmm22, 123(%r14,%xmm31,8) {%k1}
1921// CHECK:  encoding: [0x62,0x82,0x7d,0x01,0xa1,0xb4,0xfe,0x7b,0x00,0x00,0x00]
1922          vpscatterqd %xmm22, 123(%r14,%xmm31,8) {%k1}
1923
1924// CHECK: vpscatterqd %xmm22, 123(%r14,%xmm31,8) {%k1}
1925// CHECK:  encoding: [0x62,0x82,0x7d,0x01,0xa1,0xb4,0xfe,0x7b,0x00,0x00,0x00]
1926          vpscatterqd %xmm22, 123(%r14,%xmm31,8) {%k1}
1927
1928// CHECK: vpscatterqd %xmm22, 256(%r9,%xmm31) {%k1}
1929// CHECK:  encoding: [0x62,0x82,0x7d,0x01,0xa1,0x74,0x39,0x40]
1930          vpscatterqd %xmm22, 256(%r9,%xmm31) {%k1}
1931
1932// CHECK: vpscatterqd %xmm22, 1024(%rcx,%xmm31,4) {%k1}
1933// CHECK:  encoding: [0x62,0xa2,0x7d,0x01,0xa1,0xb4,0xb9,0x00,0x04,0x00,0x00]
1934          vpscatterqd %xmm22, 1024(%rcx,%xmm31,4) {%k1}
1935
1936// CHECK: vpscatterqd %xmm24, 123(%r14,%ymm31,8) {%k1}
1937// CHECK:  encoding: [0x62,0x02,0x7d,0x21,0xa1,0x84,0xfe,0x7b,0x00,0x00,0x00]
1938          vpscatterqd %xmm24, 123(%r14,%ymm31,8) {%k1}
1939
1940// CHECK: vpscatterqd %xmm24, 123(%r14,%ymm31,8) {%k1}
1941// CHECK:  encoding: [0x62,0x02,0x7d,0x21,0xa1,0x84,0xfe,0x7b,0x00,0x00,0x00]
1942          vpscatterqd %xmm24, 123(%r14,%ymm31,8) {%k1}
1943
1944// CHECK: vpscatterqd %xmm24, 256(%r9,%ymm31) {%k1}
1945// CHECK:  encoding: [0x62,0x02,0x7d,0x21,0xa1,0x44,0x39,0x40]
1946          vpscatterqd %xmm24, 256(%r9,%ymm31) {%k1}
1947
1948// CHECK: vpscatterqd %xmm24, 1024(%rcx,%ymm31,4) {%k1}
1949// CHECK:  encoding: [0x62,0x22,0x7d,0x21,0xa1,0x84,0xb9,0x00,0x04,0x00,0x00]
1950          vpscatterqd %xmm24, 1024(%rcx,%ymm31,4) {%k1}
1951
1952// CHECK: vpscatterqq %xmm28, 123(%r14,%xmm31,8) {%k1}
1953// CHECK:  encoding: [0x62,0x02,0xfd,0x01,0xa1,0xa4,0xfe,0x7b,0x00,0x00,0x00]
1954          vpscatterqq %xmm28, 123(%r14,%xmm31,8) {%k1}
1955
1956// CHECK: vpscatterqq %xmm28, 123(%r14,%xmm31,8) {%k1}
1957// CHECK:  encoding: [0x62,0x02,0xfd,0x01,0xa1,0xa4,0xfe,0x7b,0x00,0x00,0x00]
1958          vpscatterqq %xmm28, 123(%r14,%xmm31,8) {%k1}
1959
1960// CHECK: vpscatterqq %xmm28, 256(%r9,%xmm31) {%k1}
1961// CHECK:  encoding: [0x62,0x02,0xfd,0x01,0xa1,0x64,0x39,0x20]
1962          vpscatterqq %xmm28, 256(%r9,%xmm31) {%k1}
1963
1964// CHECK: vpscatterqq %xmm28, 1024(%rcx,%xmm31,4) {%k1}
1965// CHECK:  encoding: [0x62,0x22,0xfd,0x01,0xa1,0xa4,0xb9,0x00,0x04,0x00,0x00]
1966          vpscatterqq %xmm28, 1024(%rcx,%xmm31,4) {%k1}
1967
1968// CHECK: vpscatterqq %ymm19, 123(%r14,%ymm31,8) {%k1}
1969// CHECK:  encoding: [0x62,0x82,0xfd,0x21,0xa1,0x9c,0xfe,0x7b,0x00,0x00,0x00]
1970          vpscatterqq %ymm19, 123(%r14,%ymm31,8) {%k1}
1971
1972// CHECK: vpscatterqq %ymm19, 123(%r14,%ymm31,8) {%k1}
1973// CHECK:  encoding: [0x62,0x82,0xfd,0x21,0xa1,0x9c,0xfe,0x7b,0x00,0x00,0x00]
1974          vpscatterqq %ymm19, 123(%r14,%ymm31,8) {%k1}
1975
1976// CHECK: vpscatterqq %ymm19, 256(%r9,%ymm31) {%k1}
1977// CHECK:  encoding: [0x62,0x82,0xfd,0x21,0xa1,0x5c,0x39,0x20]
1978          vpscatterqq %ymm19, 256(%r9,%ymm31) {%k1}
1979
1980// CHECK: vpscatterqq %ymm19, 1024(%rcx,%ymm31,4) {%k1}
1981// CHECK:  encoding: [0x62,0xa2,0xfd,0x21,0xa1,0x9c,0xb9,0x00,0x04,0x00,0x00]
1982          vpscatterqq %ymm19, 1024(%rcx,%ymm31,4) {%k1}
1983