• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1// RUN: not llvm-mc -triple x86_64-unknown-unknown -mcpu=knl --show-encoding %s 2> %t.err | FileCheck %s
2// RUN: FileCheck --check-prefix=ERR < %t.err %s
3
4// CHECK: vaddpd %zmm6, %zmm27, %zmm8
5// CHECK:  encoding: [0x62,0x71,0xa5,0x40,0x58,0xc6]
6          vaddpd %zmm6, %zmm27, %zmm8
7
8// CHECK: vaddpd %zmm6, %zmm27, %zmm8 {%k7}
9// CHECK:  encoding: [0x62,0x71,0xa5,0x47,0x58,0xc6]
10          vaddpd %zmm6, %zmm27, %zmm8 {%k7}
11
12// CHECK: vaddpd %zmm6, %zmm27, %zmm8 {%k7} {z}
13// CHECK:  encoding: [0x62,0x71,0xa5,0xc7,0x58,0xc6]
14          vaddpd %zmm6, %zmm27, %zmm8 {%k7} {z}
15
16// CHECK: vaddpd (%rcx), %zmm27, %zmm8
17// CHECK:  encoding: [0x62,0x71,0xa5,0x40,0x58,0x01]
18          vaddpd (%rcx), %zmm27, %zmm8
19
20// CHECK: vaddpd 291(%rax,%r14,8), %zmm27, %zmm8
21// CHECK:  encoding: [0x62,0x31,0xa5,0x40,0x58,0x84,0xf0,0x23,0x01,0x00,0x00]
22          vaddpd 291(%rax,%r14,8), %zmm27, %zmm8
23
24// CHECK: vaddpd (%rcx){1to8}, %zmm27, %zmm8
25// CHECK:  encoding: [0x62,0x71,0xa5,0x50,0x58,0x01]
26          vaddpd (%rcx){1to8}, %zmm27, %zmm8
27
28// CHECK: vaddpd 8128(%rdx), %zmm27, %zmm8
29// CHECK:  encoding: [0x62,0x71,0xa5,0x40,0x58,0x42,0x7f]
30          vaddpd 8128(%rdx), %zmm27, %zmm8
31
32// CHECK: vaddpd 8192(%rdx), %zmm27, %zmm8
33// CHECK:  encoding: [0x62,0x71,0xa5,0x40,0x58,0x82,0x00,0x20,0x00,0x00]
34          vaddpd 8192(%rdx), %zmm27, %zmm8
35
36// CHECK: vaddpd -8192(%rdx), %zmm27, %zmm8
37// CHECK:  encoding: [0x62,0x71,0xa5,0x40,0x58,0x42,0x80]
38          vaddpd -8192(%rdx), %zmm27, %zmm8
39
40// CHECK: vaddpd -8256(%rdx), %zmm27, %zmm8
41// CHECK:  encoding: [0x62,0x71,0xa5,0x40,0x58,0x82,0xc0,0xdf,0xff,0xff]
42          vaddpd -8256(%rdx), %zmm27, %zmm8
43
44// CHECK: vaddpd 1016(%rdx){1to8}, %zmm27, %zmm8
45// CHECK:  encoding: [0x62,0x71,0xa5,0x50,0x58,0x42,0x7f]
46          vaddpd 1016(%rdx){1to8}, %zmm27, %zmm8
47
48// CHECK: vaddpd 1024(%rdx){1to8}, %zmm27, %zmm8
49// CHECK:  encoding: [0x62,0x71,0xa5,0x50,0x58,0x82,0x00,0x04,0x00,0x00]
50          vaddpd 1024(%rdx){1to8}, %zmm27, %zmm8
51
52// CHECK: vaddpd -1024(%rdx){1to8}, %zmm27, %zmm8
53// CHECK:  encoding: [0x62,0x71,0xa5,0x50,0x58,0x42,0x80]
54          vaddpd -1024(%rdx){1to8}, %zmm27, %zmm8
55
56// CHECK: vaddpd -1032(%rdx){1to8}, %zmm27, %zmm8
57// CHECK:  encoding: [0x62,0x71,0xa5,0x50,0x58,0x82,0xf8,0xfb,0xff,0xff]
58          vaddpd -1032(%rdx){1to8}, %zmm27, %zmm8
59
60// CHECK: vaddps %zmm2, %zmm13, %zmm18
61// CHECK:  encoding: [0x62,0xe1,0x14,0x48,0x58,0xd2]
62          vaddps %zmm2, %zmm13, %zmm18
63
64// CHECK: vaddps %zmm2, %zmm13, %zmm18 {%k4}
65// CHECK:  encoding: [0x62,0xe1,0x14,0x4c,0x58,0xd2]
66          vaddps %zmm2, %zmm13, %zmm18 {%k4}
67
68// CHECK: vaddps %zmm2, %zmm13, %zmm18 {%k4} {z}
69// CHECK:  encoding: [0x62,0xe1,0x14,0xcc,0x58,0xd2]
70          vaddps %zmm2, %zmm13, %zmm18 {%k4} {z}
71
72// CHECK: vaddps (%rcx), %zmm13, %zmm18
73// CHECK:  encoding: [0x62,0xe1,0x14,0x48,0x58,0x11]
74          vaddps (%rcx), %zmm13, %zmm18
75
76// CHECK: vaddps 291(%rax,%r14,8), %zmm13, %zmm18
77// CHECK:  encoding: [0x62,0xa1,0x14,0x48,0x58,0x94,0xf0,0x23,0x01,0x00,0x00]
78          vaddps 291(%rax,%r14,8), %zmm13, %zmm18
79
80// CHECK: vaddps (%rcx){1to16}, %zmm13, %zmm18
81// CHECK:  encoding: [0x62,0xe1,0x14,0x58,0x58,0x11]
82          vaddps (%rcx){1to16}, %zmm13, %zmm18
83
84// CHECK: vaddps 8128(%rdx), %zmm13, %zmm18
85// CHECK:  encoding: [0x62,0xe1,0x14,0x48,0x58,0x52,0x7f]
86          vaddps 8128(%rdx), %zmm13, %zmm18
87
88// CHECK: vaddps 8192(%rdx), %zmm13, %zmm18
89// CHECK:  encoding: [0x62,0xe1,0x14,0x48,0x58,0x92,0x00,0x20,0x00,0x00]
90          vaddps 8192(%rdx), %zmm13, %zmm18
91
92// CHECK: vaddps -8192(%rdx), %zmm13, %zmm18
93// CHECK:  encoding: [0x62,0xe1,0x14,0x48,0x58,0x52,0x80]
94          vaddps -8192(%rdx), %zmm13, %zmm18
95
96// CHECK: vaddps -8256(%rdx), %zmm13, %zmm18
97// CHECK:  encoding: [0x62,0xe1,0x14,0x48,0x58,0x92,0xc0,0xdf,0xff,0xff]
98          vaddps -8256(%rdx), %zmm13, %zmm18
99
100// CHECK: vaddps 508(%rdx){1to16}, %zmm13, %zmm18
101// CHECK:  encoding: [0x62,0xe1,0x14,0x58,0x58,0x52,0x7f]
102          vaddps 508(%rdx){1to16}, %zmm13, %zmm18
103
104// CHECK: vaddps 512(%rdx){1to16}, %zmm13, %zmm18
105// CHECK:  encoding: [0x62,0xe1,0x14,0x58,0x58,0x92,0x00,0x02,0x00,0x00]
106          vaddps 512(%rdx){1to16}, %zmm13, %zmm18
107
108// CHECK: vaddps -512(%rdx){1to16}, %zmm13, %zmm18
109// CHECK:  encoding: [0x62,0xe1,0x14,0x58,0x58,0x52,0x80]
110          vaddps -512(%rdx){1to16}, %zmm13, %zmm18
111
112// CHECK: vaddps -516(%rdx){1to16}, %zmm13, %zmm18
113// CHECK:  encoding: [0x62,0xe1,0x14,0x58,0x58,0x92,0xfc,0xfd,0xff,0xff]
114          vaddps -516(%rdx){1to16}, %zmm13, %zmm18
115
116// CHECK: vdivpd %zmm11, %zmm6, %zmm18
117// CHECK:  encoding: [0x62,0xc1,0xcd,0x48,0x5e,0xd3]
118          vdivpd %zmm11, %zmm6, %zmm18
119
120// CHECK: vdivpd %zmm11, %zmm6, %zmm18 {%k4}
121// CHECK:  encoding: [0x62,0xc1,0xcd,0x4c,0x5e,0xd3]
122          vdivpd %zmm11, %zmm6, %zmm18 {%k4}
123
124// CHECK: vdivpd %zmm11, %zmm6, %zmm18 {%k4} {z}
125// CHECK:  encoding: [0x62,0xc1,0xcd,0xcc,0x5e,0xd3]
126          vdivpd %zmm11, %zmm6, %zmm18 {%k4} {z}
127
128// CHECK: vdivpd (%rcx), %zmm6, %zmm18
129// CHECK:  encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x11]
130          vdivpd (%rcx), %zmm6, %zmm18
131
132// CHECK: vdivpd 291(%rax,%r14,8), %zmm6, %zmm18
133// CHECK:  encoding: [0x62,0xa1,0xcd,0x48,0x5e,0x94,0xf0,0x23,0x01,0x00,0x00]
134          vdivpd 291(%rax,%r14,8), %zmm6, %zmm18
135
136// CHECK: vdivpd (%rcx){1to8}, %zmm6, %zmm18
137// CHECK:  encoding: [0x62,0xe1,0xcd,0x58,0x5e,0x11]
138          vdivpd (%rcx){1to8}, %zmm6, %zmm18
139
140// CHECK: vdivpd 8128(%rdx), %zmm6, %zmm18
141// CHECK:  encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x52,0x7f]
142          vdivpd 8128(%rdx), %zmm6, %zmm18
143
144// CHECK: vdivpd 8192(%rdx), %zmm6, %zmm18
145// CHECK:  encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x92,0x00,0x20,0x00,0x00]
146          vdivpd 8192(%rdx), %zmm6, %zmm18
147
148// CHECK: vdivpd -8192(%rdx), %zmm6, %zmm18
149// CHECK:  encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x52,0x80]
150          vdivpd -8192(%rdx), %zmm6, %zmm18
151
152// CHECK: vdivpd -8256(%rdx), %zmm6, %zmm18
153// CHECK:  encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x92,0xc0,0xdf,0xff,0xff]
154          vdivpd -8256(%rdx), %zmm6, %zmm18
155
156// CHECK: vdivpd 1016(%rdx){1to8}, %zmm6, %zmm18
157// CHECK:  encoding: [0x62,0xe1,0xcd,0x58,0x5e,0x52,0x7f]
158          vdivpd 1016(%rdx){1to8}, %zmm6, %zmm18
159
160// CHECK: vdivpd 1024(%rdx){1to8}, %zmm6, %zmm18
161// CHECK:  encoding: [0x62,0xe1,0xcd,0x58,0x5e,0x92,0x00,0x04,0x00,0x00]
162          vdivpd 1024(%rdx){1to8}, %zmm6, %zmm18
163
164// CHECK: vdivpd -1024(%rdx){1to8}, %zmm6, %zmm18
165// CHECK:  encoding: [0x62,0xe1,0xcd,0x58,0x5e,0x52,0x80]
166          vdivpd -1024(%rdx){1to8}, %zmm6, %zmm18
167
168// CHECK: vdivpd -1032(%rdx){1to8}, %zmm6, %zmm18
169// CHECK:  encoding: [0x62,0xe1,0xcd,0x58,0x5e,0x92,0xf8,0xfb,0xff,0xff]
170          vdivpd -1032(%rdx){1to8}, %zmm6, %zmm18
171
172// CHECK: vdivps %zmm28, %zmm23, %zmm23
173// CHECK:  encoding: [0x62,0x81,0x44,0x40,0x5e,0xfc]
174          vdivps %zmm28, %zmm23, %zmm23
175
176// CHECK: vdivps %zmm28, %zmm23, %zmm23 {%k2}
177// CHECK:  encoding: [0x62,0x81,0x44,0x42,0x5e,0xfc]
178          vdivps %zmm28, %zmm23, %zmm23 {%k2}
179
180// CHECK: vdivps %zmm28, %zmm23, %zmm23 {%k2} {z}
181// CHECK:  encoding: [0x62,0x81,0x44,0xc2,0x5e,0xfc]
182          vdivps %zmm28, %zmm23, %zmm23 {%k2} {z}
183
184// CHECK: vdivps (%rcx), %zmm23, %zmm23
185// CHECK:  encoding: [0x62,0xe1,0x44,0x40,0x5e,0x39]
186          vdivps (%rcx), %zmm23, %zmm23
187
188// CHECK: vdivps 291(%rax,%r14,8), %zmm23, %zmm23
189// CHECK:  encoding: [0x62,0xa1,0x44,0x40,0x5e,0xbc,0xf0,0x23,0x01,0x00,0x00]
190          vdivps 291(%rax,%r14,8), %zmm23, %zmm23
191
192// CHECK: vdivps (%rcx){1to16}, %zmm23, %zmm23
193// CHECK:  encoding: [0x62,0xe1,0x44,0x50,0x5e,0x39]
194          vdivps (%rcx){1to16}, %zmm23, %zmm23
195
196// CHECK: vdivps 8128(%rdx), %zmm23, %zmm23
197// CHECK:  encoding: [0x62,0xe1,0x44,0x40,0x5e,0x7a,0x7f]
198          vdivps 8128(%rdx), %zmm23, %zmm23
199
200// CHECK: vdivps 8192(%rdx), %zmm23, %zmm23
201// CHECK:  encoding: [0x62,0xe1,0x44,0x40,0x5e,0xba,0x00,0x20,0x00,0x00]
202          vdivps 8192(%rdx), %zmm23, %zmm23
203
204// CHECK: vdivps -8192(%rdx), %zmm23, %zmm23
205// CHECK:  encoding: [0x62,0xe1,0x44,0x40,0x5e,0x7a,0x80]
206          vdivps -8192(%rdx), %zmm23, %zmm23
207
208// CHECK: vdivps -8256(%rdx), %zmm23, %zmm23
209// CHECK:  encoding: [0x62,0xe1,0x44,0x40,0x5e,0xba,0xc0,0xdf,0xff,0xff]
210          vdivps -8256(%rdx), %zmm23, %zmm23
211
212// CHECK: vdivps 508(%rdx){1to16}, %zmm23, %zmm23
213// CHECK:  encoding: [0x62,0xe1,0x44,0x50,0x5e,0x7a,0x7f]
214          vdivps 508(%rdx){1to16}, %zmm23, %zmm23
215
216// CHECK: vdivps 512(%rdx){1to16}, %zmm23, %zmm23
217// CHECK:  encoding: [0x62,0xe1,0x44,0x50,0x5e,0xba,0x00,0x02,0x00,0x00]
218          vdivps 512(%rdx){1to16}, %zmm23, %zmm23
219
220// CHECK: vdivps -512(%rdx){1to16}, %zmm23, %zmm23
221// CHECK:  encoding: [0x62,0xe1,0x44,0x50,0x5e,0x7a,0x80]
222          vdivps -512(%rdx){1to16}, %zmm23, %zmm23
223
224// CHECK: vdivps -516(%rdx){1to16}, %zmm23, %zmm23
225// CHECK:  encoding: [0x62,0xe1,0x44,0x50,0x5e,0xba,0xfc,0xfd,0xff,0xff]
226          vdivps -516(%rdx){1to16}, %zmm23, %zmm23
227
228// CHECK: vmaxpd %zmm20, %zmm28, %zmm30
229// CHECK:  encoding: [0x62,0x21,0x9d,0x40,0x5f,0xf4]
230          vmaxpd %zmm20, %zmm28, %zmm30
231
232// CHECK: vmaxpd %zmm20, %zmm28, %zmm30 {%k1}
233// CHECK:  encoding: [0x62,0x21,0x9d,0x41,0x5f,0xf4]
234          vmaxpd %zmm20, %zmm28, %zmm30 {%k1}
235
236// CHECK: vmaxpd %zmm20, %zmm28, %zmm30 {%k1} {z}
237// CHECK:  encoding: [0x62,0x21,0x9d,0xc1,0x5f,0xf4]
238          vmaxpd %zmm20, %zmm28, %zmm30 {%k1} {z}
239
240// CHECK: vmaxpd (%rcx), %zmm28, %zmm30
241// CHECK:  encoding: [0x62,0x61,0x9d,0x40,0x5f,0x31]
242          vmaxpd (%rcx), %zmm28, %zmm30
243
244// CHECK: vmaxpd 291(%rax,%r14,8), %zmm28, %zmm30
245// CHECK:  encoding: [0x62,0x21,0x9d,0x40,0x5f,0xb4,0xf0,0x23,0x01,0x00,0x00]
246          vmaxpd 291(%rax,%r14,8), %zmm28, %zmm30
247
248// CHECK: vmaxpd (%rcx){1to8}, %zmm28, %zmm30
249// CHECK:  encoding: [0x62,0x61,0x9d,0x50,0x5f,0x31]
250          vmaxpd (%rcx){1to8}, %zmm28, %zmm30
251
252// CHECK: vmaxpd 8128(%rdx), %zmm28, %zmm30
253// CHECK:  encoding: [0x62,0x61,0x9d,0x40,0x5f,0x72,0x7f]
254          vmaxpd 8128(%rdx), %zmm28, %zmm30
255
256// CHECK: vmaxpd 8192(%rdx), %zmm28, %zmm30
257// CHECK:  encoding: [0x62,0x61,0x9d,0x40,0x5f,0xb2,0x00,0x20,0x00,0x00]
258          vmaxpd 8192(%rdx), %zmm28, %zmm30
259
260// CHECK: vmaxpd -8192(%rdx), %zmm28, %zmm30
261// CHECK:  encoding: [0x62,0x61,0x9d,0x40,0x5f,0x72,0x80]
262          vmaxpd -8192(%rdx), %zmm28, %zmm30
263
264// CHECK: vmaxpd -8256(%rdx), %zmm28, %zmm30
265// CHECK:  encoding: [0x62,0x61,0x9d,0x40,0x5f,0xb2,0xc0,0xdf,0xff,0xff]
266          vmaxpd -8256(%rdx), %zmm28, %zmm30
267
268// CHECK: vmaxpd 1016(%rdx){1to8}, %zmm28, %zmm30
269// CHECK:  encoding: [0x62,0x61,0x9d,0x50,0x5f,0x72,0x7f]
270          vmaxpd 1016(%rdx){1to8}, %zmm28, %zmm30
271
272// CHECK: vmaxpd 1024(%rdx){1to8}, %zmm28, %zmm30
273// CHECK:  encoding: [0x62,0x61,0x9d,0x50,0x5f,0xb2,0x00,0x04,0x00,0x00]
274          vmaxpd 1024(%rdx){1to8}, %zmm28, %zmm30
275
276// CHECK: vmaxpd -1024(%rdx){1to8}, %zmm28, %zmm30
277// CHECK:  encoding: [0x62,0x61,0x9d,0x50,0x5f,0x72,0x80]
278          vmaxpd -1024(%rdx){1to8}, %zmm28, %zmm30
279
280// CHECK: vmaxpd -1032(%rdx){1to8}, %zmm28, %zmm30
281// CHECK:  encoding: [0x62,0x61,0x9d,0x50,0x5f,0xb2,0xf8,0xfb,0xff,0xff]
282          vmaxpd -1032(%rdx){1to8}, %zmm28, %zmm30
283
284// CHECK: vmaxps %zmm20, %zmm6, %zmm25
285// CHECK:  encoding: [0x62,0x21,0x4c,0x48,0x5f,0xcc]
286          vmaxps %zmm20, %zmm6, %zmm25
287
288// CHECK: vmaxps %zmm20, %zmm6, %zmm25 {%k1}
289// CHECK:  encoding: [0x62,0x21,0x4c,0x49,0x5f,0xcc]
290          vmaxps %zmm20, %zmm6, %zmm25 {%k1}
291
292// CHECK: vmaxps %zmm20, %zmm6, %zmm25 {%k1} {z}
293// CHECK:  encoding: [0x62,0x21,0x4c,0xc9,0x5f,0xcc]
294          vmaxps %zmm20, %zmm6, %zmm25 {%k1} {z}
295
296// CHECK: vmaxps (%rcx), %zmm6, %zmm25
297// CHECK:  encoding: [0x62,0x61,0x4c,0x48,0x5f,0x09]
298          vmaxps (%rcx), %zmm6, %zmm25
299
300// CHECK: vmaxps 291(%rax,%r14,8), %zmm6, %zmm25
301// CHECK:  encoding: [0x62,0x21,0x4c,0x48,0x5f,0x8c,0xf0,0x23,0x01,0x00,0x00]
302          vmaxps 291(%rax,%r14,8), %zmm6, %zmm25
303
304// CHECK: vmaxps (%rcx){1to16}, %zmm6, %zmm25
305// CHECK:  encoding: [0x62,0x61,0x4c,0x58,0x5f,0x09]
306          vmaxps (%rcx){1to16}, %zmm6, %zmm25
307
308// CHECK: vmaxps 8128(%rdx), %zmm6, %zmm25
309// CHECK:  encoding: [0x62,0x61,0x4c,0x48,0x5f,0x4a,0x7f]
310          vmaxps 8128(%rdx), %zmm6, %zmm25
311
312// CHECK: vmaxps 8192(%rdx), %zmm6, %zmm25
313// CHECK:  encoding: [0x62,0x61,0x4c,0x48,0x5f,0x8a,0x00,0x20,0x00,0x00]
314          vmaxps 8192(%rdx), %zmm6, %zmm25
315
316// CHECK: vmaxps -8192(%rdx), %zmm6, %zmm25
317// CHECK:  encoding: [0x62,0x61,0x4c,0x48,0x5f,0x4a,0x80]
318          vmaxps -8192(%rdx), %zmm6, %zmm25
319
320// CHECK: vmaxps -8256(%rdx), %zmm6, %zmm25
321// CHECK:  encoding: [0x62,0x61,0x4c,0x48,0x5f,0x8a,0xc0,0xdf,0xff,0xff]
322          vmaxps -8256(%rdx), %zmm6, %zmm25
323
324// CHECK: vmaxps 508(%rdx){1to16}, %zmm6, %zmm25
325// CHECK:  encoding: [0x62,0x61,0x4c,0x58,0x5f,0x4a,0x7f]
326          vmaxps 508(%rdx){1to16}, %zmm6, %zmm25
327
328// CHECK: vmaxps 512(%rdx){1to16}, %zmm6, %zmm25
329// CHECK:  encoding: [0x62,0x61,0x4c,0x58,0x5f,0x8a,0x00,0x02,0x00,0x00]
330          vmaxps 512(%rdx){1to16}, %zmm6, %zmm25
331
332// CHECK: vmaxps -512(%rdx){1to16}, %zmm6, %zmm25
333// CHECK:  encoding: [0x62,0x61,0x4c,0x58,0x5f,0x4a,0x80]
334          vmaxps -512(%rdx){1to16}, %zmm6, %zmm25
335
336// CHECK: vmaxps -516(%rdx){1to16}, %zmm6, %zmm25
337// CHECK:  encoding: [0x62,0x61,0x4c,0x58,0x5f,0x8a,0xfc,0xfd,0xff,0xff]
338          vmaxps -516(%rdx){1to16}, %zmm6, %zmm25
339
340// CHECK: vminpd %zmm22, %zmm6, %zmm6
341// CHECK:  encoding: [0x62,0xb1,0xcd,0x48,0x5d,0xf6]
342          vminpd %zmm22, %zmm6, %zmm6
343
344// CHECK: vminpd %zmm22, %zmm6, %zmm6 {%k7}
345// CHECK:  encoding: [0x62,0xb1,0xcd,0x4f,0x5d,0xf6]
346          vminpd %zmm22, %zmm6, %zmm6 {%k7}
347
348// CHECK: vminpd %zmm22, %zmm6, %zmm6 {%k7} {z}
349// CHECK:  encoding: [0x62,0xb1,0xcd,0xcf,0x5d,0xf6]
350          vminpd %zmm22, %zmm6, %zmm6 {%k7} {z}
351
352// CHECK: vminpd (%rcx), %zmm6, %zmm6
353// CHECK:  encoding: [0x62,0xf1,0xcd,0x48,0x5d,0x31]
354          vminpd (%rcx), %zmm6, %zmm6
355
356// CHECK: vminpd 291(%rax,%r14,8), %zmm6, %zmm6
357// CHECK:  encoding: [0x62,0xb1,0xcd,0x48,0x5d,0xb4,0xf0,0x23,0x01,0x00,0x00]
358          vminpd 291(%rax,%r14,8), %zmm6, %zmm6
359
360// CHECK: vminpd (%rcx){1to8}, %zmm6, %zmm6
361// CHECK:  encoding: [0x62,0xf1,0xcd,0x58,0x5d,0x31]
362          vminpd (%rcx){1to8}, %zmm6, %zmm6
363
364// CHECK: vminpd 8128(%rdx), %zmm6, %zmm6
365// CHECK:  encoding: [0x62,0xf1,0xcd,0x48,0x5d,0x72,0x7f]
366          vminpd 8128(%rdx), %zmm6, %zmm6
367
368// CHECK: vminpd 8192(%rdx), %zmm6, %zmm6
369// CHECK:  encoding: [0x62,0xf1,0xcd,0x48,0x5d,0xb2,0x00,0x20,0x00,0x00]
370          vminpd 8192(%rdx), %zmm6, %zmm6
371
372// CHECK: vminpd -8192(%rdx), %zmm6, %zmm6
373// CHECK:  encoding: [0x62,0xf1,0xcd,0x48,0x5d,0x72,0x80]
374          vminpd -8192(%rdx), %zmm6, %zmm6
375
376// CHECK: vminpd -8256(%rdx), %zmm6, %zmm6
377// CHECK:  encoding: [0x62,0xf1,0xcd,0x48,0x5d,0xb2,0xc0,0xdf,0xff,0xff]
378          vminpd -8256(%rdx), %zmm6, %zmm6
379
380// CHECK: vminpd 1016(%rdx){1to8}, %zmm6, %zmm6
381// CHECK:  encoding: [0x62,0xf1,0xcd,0x58,0x5d,0x72,0x7f]
382          vminpd 1016(%rdx){1to8}, %zmm6, %zmm6
383
384// CHECK: vminpd 1024(%rdx){1to8}, %zmm6, %zmm6
385// CHECK:  encoding: [0x62,0xf1,0xcd,0x58,0x5d,0xb2,0x00,0x04,0x00,0x00]
386          vminpd 1024(%rdx){1to8}, %zmm6, %zmm6
387
388// CHECK: vminpd -1024(%rdx){1to8}, %zmm6, %zmm6
389// CHECK:  encoding: [0x62,0xf1,0xcd,0x58,0x5d,0x72,0x80]
390          vminpd -1024(%rdx){1to8}, %zmm6, %zmm6
391
392// CHECK: vminpd -1032(%rdx){1to8}, %zmm6, %zmm6
393// CHECK:  encoding: [0x62,0xf1,0xcd,0x58,0x5d,0xb2,0xf8,0xfb,0xff,0xff]
394          vminpd -1032(%rdx){1to8}, %zmm6, %zmm6
395
396// CHECK: vminps %zmm7, %zmm3, %zmm3
397// CHECK:  encoding: [0x62,0xf1,0x64,0x48,0x5d,0xdf]
398          vminps %zmm7, %zmm3, %zmm3
399
400// CHECK: vminps %zmm7, %zmm3, %zmm3 {%k3}
401// CHECK:  encoding: [0x62,0xf1,0x64,0x4b,0x5d,0xdf]
402          vminps %zmm7, %zmm3, %zmm3 {%k3}
403
404// CHECK: vminps %zmm7, %zmm3, %zmm3 {%k3} {z}
405// CHECK:  encoding: [0x62,0xf1,0x64,0xcb,0x5d,0xdf]
406          vminps %zmm7, %zmm3, %zmm3 {%k3} {z}
407
408// CHECK: vminps (%rcx), %zmm3, %zmm3
409// CHECK:  encoding: [0x62,0xf1,0x64,0x48,0x5d,0x19]
410          vminps (%rcx), %zmm3, %zmm3
411
412// CHECK: vminps 291(%rax,%r14,8), %zmm3, %zmm3
413// CHECK:  encoding: [0x62,0xb1,0x64,0x48,0x5d,0x9c,0xf0,0x23,0x01,0x00,0x00]
414          vminps 291(%rax,%r14,8), %zmm3, %zmm3
415
416// CHECK: vminps (%rcx){1to16}, %zmm3, %zmm3
417// CHECK:  encoding: [0x62,0xf1,0x64,0x58,0x5d,0x19]
418          vminps (%rcx){1to16}, %zmm3, %zmm3
419
420// CHECK: vminps 8128(%rdx), %zmm3, %zmm3
421// CHECK:  encoding: [0x62,0xf1,0x64,0x48,0x5d,0x5a,0x7f]
422          vminps 8128(%rdx), %zmm3, %zmm3
423
424// CHECK: vminps 8192(%rdx), %zmm3, %zmm3
425// CHECK:  encoding: [0x62,0xf1,0x64,0x48,0x5d,0x9a,0x00,0x20,0x00,0x00]
426          vminps 8192(%rdx), %zmm3, %zmm3
427
428// CHECK: vminps -8192(%rdx), %zmm3, %zmm3
429// CHECK:  encoding: [0x62,0xf1,0x64,0x48,0x5d,0x5a,0x80]
430          vminps -8192(%rdx), %zmm3, %zmm3
431
432// CHECK: vminps -8256(%rdx), %zmm3, %zmm3
433// CHECK:  encoding: [0x62,0xf1,0x64,0x48,0x5d,0x9a,0xc0,0xdf,0xff,0xff]
434          vminps -8256(%rdx), %zmm3, %zmm3
435
436// CHECK: vminps 508(%rdx){1to16}, %zmm3, %zmm3
437// CHECK:  encoding: [0x62,0xf1,0x64,0x58,0x5d,0x5a,0x7f]
438          vminps 508(%rdx){1to16}, %zmm3, %zmm3
439
440// CHECK: vminps 512(%rdx){1to16}, %zmm3, %zmm3
441// CHECK:  encoding: [0x62,0xf1,0x64,0x58,0x5d,0x9a,0x00,0x02,0x00,0x00]
442          vminps 512(%rdx){1to16}, %zmm3, %zmm3
443
444// CHECK: vminps -512(%rdx){1to16}, %zmm3, %zmm3
445// CHECK:  encoding: [0x62,0xf1,0x64,0x58,0x5d,0x5a,0x80]
446          vminps -512(%rdx){1to16}, %zmm3, %zmm3
447
448// CHECK: vminps -516(%rdx){1to16}, %zmm3, %zmm3
449// CHECK:  encoding: [0x62,0xf1,0x64,0x58,0x5d,0x9a,0xfc,0xfd,0xff,0xff]
450          vminps -516(%rdx){1to16}, %zmm3, %zmm3
451
452// CHECK: vmulpd %zmm23, %zmm4, %zmm24
453// CHECK:  encoding: [0x62,0x21,0xdd,0x48,0x59,0xc7]
454          vmulpd %zmm23, %zmm4, %zmm24
455
456// CHECK: vmulpd %zmm23, %zmm4, %zmm24 {%k6}
457// CHECK:  encoding: [0x62,0x21,0xdd,0x4e,0x59,0xc7]
458          vmulpd %zmm23, %zmm4, %zmm24 {%k6}
459
460// CHECK: vmulpd %zmm23, %zmm4, %zmm24 {%k6} {z}
461// CHECK:  encoding: [0x62,0x21,0xdd,0xce,0x59,0xc7]
462          vmulpd %zmm23, %zmm4, %zmm24 {%k6} {z}
463
464// CHECK: vmulpd (%rcx), %zmm4, %zmm24
465// CHECK:  encoding: [0x62,0x61,0xdd,0x48,0x59,0x01]
466          vmulpd (%rcx), %zmm4, %zmm24
467
468// CHECK: vmulpd 291(%rax,%r14,8), %zmm4, %zmm24
469// CHECK:  encoding: [0x62,0x21,0xdd,0x48,0x59,0x84,0xf0,0x23,0x01,0x00,0x00]
470          vmulpd 291(%rax,%r14,8), %zmm4, %zmm24
471
472// CHECK: vmulpd (%rcx){1to8}, %zmm4, %zmm24
473// CHECK:  encoding: [0x62,0x61,0xdd,0x58,0x59,0x01]
474          vmulpd (%rcx){1to8}, %zmm4, %zmm24
475
476// CHECK: vmulpd 8128(%rdx), %zmm4, %zmm24
477// CHECK:  encoding: [0x62,0x61,0xdd,0x48,0x59,0x42,0x7f]
478          vmulpd 8128(%rdx), %zmm4, %zmm24
479
480// CHECK: vmulpd 8192(%rdx), %zmm4, %zmm24
481// CHECK:  encoding: [0x62,0x61,0xdd,0x48,0x59,0x82,0x00,0x20,0x00,0x00]
482          vmulpd 8192(%rdx), %zmm4, %zmm24
483
484// CHECK: vmulpd -8192(%rdx), %zmm4, %zmm24
485// CHECK:  encoding: [0x62,0x61,0xdd,0x48,0x59,0x42,0x80]
486          vmulpd -8192(%rdx), %zmm4, %zmm24
487
488// CHECK: vmulpd -8256(%rdx), %zmm4, %zmm24
489// CHECK:  encoding: [0x62,0x61,0xdd,0x48,0x59,0x82,0xc0,0xdf,0xff,0xff]
490          vmulpd -8256(%rdx), %zmm4, %zmm24
491
492// CHECK: vmulpd 1016(%rdx){1to8}, %zmm4, %zmm24
493// CHECK:  encoding: [0x62,0x61,0xdd,0x58,0x59,0x42,0x7f]
494          vmulpd 1016(%rdx){1to8}, %zmm4, %zmm24
495
496// CHECK: vmulpd 1024(%rdx){1to8}, %zmm4, %zmm24
497// CHECK:  encoding: [0x62,0x61,0xdd,0x58,0x59,0x82,0x00,0x04,0x00,0x00]
498          vmulpd 1024(%rdx){1to8}, %zmm4, %zmm24
499
500// CHECK: vmulpd -1024(%rdx){1to8}, %zmm4, %zmm24
501// CHECK:  encoding: [0x62,0x61,0xdd,0x58,0x59,0x42,0x80]
502          vmulpd -1024(%rdx){1to8}, %zmm4, %zmm24
503
504// CHECK: vmulpd -1032(%rdx){1to8}, %zmm4, %zmm24
505// CHECK:  encoding: [0x62,0x61,0xdd,0x58,0x59,0x82,0xf8,0xfb,0xff,0xff]
506          vmulpd -1032(%rdx){1to8}, %zmm4, %zmm24
507
508// CHECK: vmulps %zmm24, %zmm6, %zmm3
509// CHECK:  encoding: [0x62,0x91,0x4c,0x48,0x59,0xd8]
510          vmulps %zmm24, %zmm6, %zmm3
511
512// CHECK: vmulps %zmm24, %zmm6, %zmm3 {%k4}
513// CHECK:  encoding: [0x62,0x91,0x4c,0x4c,0x59,0xd8]
514          vmulps %zmm24, %zmm6, %zmm3 {%k4}
515
516// CHECK: vmulps %zmm24, %zmm6, %zmm3 {%k4} {z}
517// CHECK:  encoding: [0x62,0x91,0x4c,0xcc,0x59,0xd8]
518          vmulps %zmm24, %zmm6, %zmm3 {%k4} {z}
519
520// CHECK: vmulps (%rcx), %zmm6, %zmm3
521// CHECK:  encoding: [0x62,0xf1,0x4c,0x48,0x59,0x19]
522          vmulps (%rcx), %zmm6, %zmm3
523
524// CHECK: vmulps 291(%rax,%r14,8), %zmm6, %zmm3
525// CHECK:  encoding: [0x62,0xb1,0x4c,0x48,0x59,0x9c,0xf0,0x23,0x01,0x00,0x00]
526          vmulps 291(%rax,%r14,8), %zmm6, %zmm3
527
528// CHECK: vmulps (%rcx){1to16}, %zmm6, %zmm3
529// CHECK:  encoding: [0x62,0xf1,0x4c,0x58,0x59,0x19]
530          vmulps (%rcx){1to16}, %zmm6, %zmm3
531
532// CHECK: vmulps 8128(%rdx), %zmm6, %zmm3
533// CHECK:  encoding: [0x62,0xf1,0x4c,0x48,0x59,0x5a,0x7f]
534          vmulps 8128(%rdx), %zmm6, %zmm3
535
536// CHECK: vmulps 8192(%rdx), %zmm6, %zmm3
537// CHECK:  encoding: [0x62,0xf1,0x4c,0x48,0x59,0x9a,0x00,0x20,0x00,0x00]
538          vmulps 8192(%rdx), %zmm6, %zmm3
539
540// CHECK: vmulps -8192(%rdx), %zmm6, %zmm3
541// CHECK:  encoding: [0x62,0xf1,0x4c,0x48,0x59,0x5a,0x80]
542          vmulps -8192(%rdx), %zmm6, %zmm3
543
544// CHECK: vmulps -8256(%rdx), %zmm6, %zmm3
545// CHECK:  encoding: [0x62,0xf1,0x4c,0x48,0x59,0x9a,0xc0,0xdf,0xff,0xff]
546          vmulps -8256(%rdx), %zmm6, %zmm3
547
548// CHECK: vmulps 508(%rdx){1to16}, %zmm6, %zmm3
549// CHECK:  encoding: [0x62,0xf1,0x4c,0x58,0x59,0x5a,0x7f]
550          vmulps 508(%rdx){1to16}, %zmm6, %zmm3
551
552// CHECK: vmulps 512(%rdx){1to16}, %zmm6, %zmm3
553// CHECK:  encoding: [0x62,0xf1,0x4c,0x58,0x59,0x9a,0x00,0x02,0x00,0x00]
554          vmulps 512(%rdx){1to16}, %zmm6, %zmm3
555
556// CHECK: vmulps -512(%rdx){1to16}, %zmm6, %zmm3
557// CHECK:  encoding: [0x62,0xf1,0x4c,0x58,0x59,0x5a,0x80]
558          vmulps -512(%rdx){1to16}, %zmm6, %zmm3
559
560// CHECK: vmulps -516(%rdx){1to16}, %zmm6, %zmm3
561// CHECK:  encoding: [0x62,0xf1,0x4c,0x58,0x59,0x9a,0xfc,0xfd,0xff,0xff]
562          vmulps -516(%rdx){1to16}, %zmm6, %zmm3
563
564// CHECK: vpabsd %zmm14, %zmm15
565// CHECK:  encoding: [0x62,0x52,0x7d,0x48,0x1e,0xfe]
566          vpabsd %zmm14, %zmm15
567
568// CHECK: vpabsd %zmm14, %zmm15 {%k6}
569// CHECK:  encoding: [0x62,0x52,0x7d,0x4e,0x1e,0xfe]
570          vpabsd %zmm14, %zmm15 {%k6}
571
572// CHECK: vpabsd %zmm14, %zmm15 {%k6} {z}
573// CHECK:  encoding: [0x62,0x52,0x7d,0xce,0x1e,0xfe]
574          vpabsd %zmm14, %zmm15 {%k6} {z}
575
576// CHECK: vpabsd (%rcx), %zmm15
577// CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x1e,0x39]
578          vpabsd (%rcx), %zmm15
579
580// CHECK: vpabsd (%rcx), %zmm15 {%k1}
581// CHECK:  encoding: [0x62,0x72,0x7d,0x49,0x1e,0x39]
582          vpabsd (%rcx), %zmm15 {%k1}
583
584// CHECK: vpabsd (%rcx), %zmm15 {%k1} {z}
585// CHECK:  encoding: [0x62,0x72,0x7d,0xc9,0x1e,0x39]
586          vpabsd (%rcx), %zmm15 {%k1} {z}
587
588// CHECK: vpabsd 291(%rax,%r14,8), %zmm15
589// CHECK:  encoding: [0x62,0x32,0x7d,0x48,0x1e,0xbc,0xf0,0x23,0x01,0x00,0x00]
590          vpabsd 291(%rax,%r14,8), %zmm15
591
592// CHECK: vpabsd (%rcx){1to16}, %zmm15
593// CHECK:  encoding: [0x62,0x72,0x7d,0x58,0x1e,0x39]
594          vpabsd (%rcx){1to16}, %zmm15
595
596// CHECK: vpabsd 8128(%rdx), %zmm15
597// CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x1e,0x7a,0x7f]
598          vpabsd 8128(%rdx), %zmm15
599
600// CHECK: vpabsd 8192(%rdx), %zmm15
601// CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x1e,0xba,0x00,0x20,0x00,0x00]
602          vpabsd 8192(%rdx), %zmm15
603
604// CHECK: vpabsd -8192(%rdx), %zmm15
605// CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x1e,0x7a,0x80]
606          vpabsd -8192(%rdx), %zmm15
607
608// CHECK: vpabsd -8256(%rdx), %zmm15
609// CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x1e,0xba,0xc0,0xdf,0xff,0xff]
610          vpabsd -8256(%rdx), %zmm15
611
612// CHECK: vpabsd 508(%rdx){1to16}, %zmm15
613// CHECK:  encoding: [0x62,0x72,0x7d,0x58,0x1e,0x7a,0x7f]
614          vpabsd 508(%rdx){1to16}, %zmm15
615
616// CHECK: vpabsd 512(%rdx){1to16}, %zmm15
617// CHECK:  encoding: [0x62,0x72,0x7d,0x58,0x1e,0xba,0x00,0x02,0x00,0x00]
618          vpabsd 512(%rdx){1to16}, %zmm15
619
620// CHECK: vpabsd -512(%rdx){1to16}, %zmm15
621// CHECK:  encoding: [0x62,0x72,0x7d,0x58,0x1e,0x7a,0x80]
622          vpabsd -512(%rdx){1to16}, %zmm15
623
624// CHECK: vpabsd -516(%rdx){1to16}, %zmm15
625// CHECK:  encoding: [0x62,0x72,0x7d,0x58,0x1e,0xba,0xfc,0xfd,0xff,0xff]
626          vpabsd -516(%rdx){1to16}, %zmm15
627
628// CHECK: vpabsd (%rcx){1to16}, %zmm15 {%k2}
629// CHECK:  encoding: [0x62,0x72,0x7d,0x5a,0x1e,0x39]
630          vpabsd (%rcx){1to16}, %zmm15 {%k2}
631
632// CHECK: vpabsd (%rcx){1to16}, %zmm15 {%k2} {z}
633// CHECK:  encoding: [0x62,0x72,0x7d,0xda,0x1e,0x39]
634          vpabsd (%rcx){1to16}, %zmm15 {%k2} {z}
635
636// CHECK: vpabsq %zmm24, %zmm5
637// CHECK:  encoding: [0x62,0x92,0xfd,0x48,0x1f,0xe8]
638          vpabsq %zmm24, %zmm5
639
640// CHECK: vpabsq %zmm24, %zmm5 {%k6}
641// CHECK:  encoding: [0x62,0x92,0xfd,0x4e,0x1f,0xe8]
642          vpabsq %zmm24, %zmm5 {%k6}
643
644// CHECK: vpabsq %zmm24, %zmm5 {%k6} {z}
645// CHECK:  encoding: [0x62,0x92,0xfd,0xce,0x1f,0xe8]
646          vpabsq %zmm24, %zmm5 {%k6} {z}
647
648// CHECK: vpabsq (%rcx), %zmm5
649// CHECK:  encoding: [0x62,0xf2,0xfd,0x48,0x1f,0x29]
650          vpabsq (%rcx), %zmm5
651
652// CHECK: vpabsq 291(%rax,%r14,8), %zmm5
653// CHECK:  encoding: [0x62,0xb2,0xfd,0x48,0x1f,0xac,0xf0,0x23,0x01,0x00,0x00]
654          vpabsq 291(%rax,%r14,8), %zmm5
655
656// CHECK: vpabsq (%rcx){1to8}, %zmm5
657// CHECK:  encoding: [0x62,0xf2,0xfd,0x58,0x1f,0x29]
658          vpabsq (%rcx){1to8}, %zmm5
659
660// CHECK: vpabsq 8128(%rdx), %zmm5
661// CHECK:  encoding: [0x62,0xf2,0xfd,0x48,0x1f,0x6a,0x7f]
662          vpabsq 8128(%rdx), %zmm5
663
664// CHECK: vpabsq 8192(%rdx), %zmm5
665// CHECK:  encoding: [0x62,0xf2,0xfd,0x48,0x1f,0xaa,0x00,0x20,0x00,0x00]
666          vpabsq 8192(%rdx), %zmm5
667
668// CHECK: vpabsq -8192(%rdx), %zmm5
669// CHECK:  encoding: [0x62,0xf2,0xfd,0x48,0x1f,0x6a,0x80]
670          vpabsq -8192(%rdx), %zmm5
671
672// CHECK: vpabsq -8256(%rdx), %zmm5
673// CHECK:  encoding: [0x62,0xf2,0xfd,0x48,0x1f,0xaa,0xc0,0xdf,0xff,0xff]
674          vpabsq -8256(%rdx), %zmm5
675
676// CHECK: vpabsq 1016(%rdx){1to8}, %zmm5
677// CHECK:  encoding: [0x62,0xf2,0xfd,0x58,0x1f,0x6a,0x7f]
678          vpabsq 1016(%rdx){1to8}, %zmm5
679
680// CHECK: vpabsq 1024(%rdx){1to8}, %zmm5
681// CHECK:  encoding: [0x62,0xf2,0xfd,0x58,0x1f,0xaa,0x00,0x04,0x00,0x00]
682          vpabsq 1024(%rdx){1to8}, %zmm5
683
684// CHECK: vpabsq -1024(%rdx){1to8}, %zmm5
685// CHECK:  encoding: [0x62,0xf2,0xfd,0x58,0x1f,0x6a,0x80]
686          vpabsq -1024(%rdx){1to8}, %zmm5
687
688// CHECK: vpabsq -1032(%rdx){1to8}, %zmm5
689// CHECK:  encoding: [0x62,0xf2,0xfd,0x58,0x1f,0xaa,0xf8,0xfb,0xff,0xff]
690          vpabsq -1032(%rdx){1to8}, %zmm5
691
692// CHECK: vpaddd %zmm20, %zmm5, %zmm26
693// CHECK:  encoding: [0x62,0x21,0x55,0x48,0xfe,0xd4]
694          vpaddd %zmm20, %zmm5, %zmm26
695
696// CHECK: vpaddd %zmm20, %zmm5, %zmm26 {%k1}
697// CHECK:  encoding: [0x62,0x21,0x55,0x49,0xfe,0xd4]
698          vpaddd %zmm20, %zmm5, %zmm26 {%k1}
699
700// CHECK: vpaddd %zmm20, %zmm5, %zmm26 {%k1} {z}
701// CHECK:  encoding: [0x62,0x21,0x55,0xc9,0xfe,0xd4]
702          vpaddd %zmm20, %zmm5, %zmm26 {%k1} {z}
703
704// CHECK: vpaddd (%rcx), %zmm5, %zmm26
705// CHECK:  encoding: [0x62,0x61,0x55,0x48,0xfe,0x11]
706          vpaddd (%rcx), %zmm5, %zmm26
707
708// CHECK: vpaddd (%rcx), %zmm5, %zmm26 {%k2}
709// CHECK:  encoding: [0x62,0x61,0x55,0x4a,0xfe,0x11]
710          vpaddd (%rcx), %zmm5, %zmm26 {%k2}
711
712// CHECK: vpaddd (%rcx), %zmm5, %zmm26 {%k2} {z}
713// CHECK:  encoding: [0x62,0x61,0x55,0xca,0xfe,0x11]
714          vpaddd (%rcx), %zmm5, %zmm26 {%k2} {z}
715
716// CHECK: vpaddd 291(%rax,%r14,8), %zmm5, %zmm26
717// CHECK:  encoding: [0x62,0x21,0x55,0x48,0xfe,0x94,0xf0,0x23,0x01,0x00,0x00]
718          vpaddd 291(%rax,%r14,8), %zmm5, %zmm26
719
720// CHECK: vpaddd (%rcx){1to16}, %zmm5, %zmm26
721// CHECK:  encoding: [0x62,0x61,0x55,0x58,0xfe,0x11]
722          vpaddd (%rcx){1to16}, %zmm5, %zmm26
723
724// CHECK: vpaddd 8128(%rdx), %zmm5, %zmm26
725// CHECK:  encoding: [0x62,0x61,0x55,0x48,0xfe,0x52,0x7f]
726          vpaddd 8128(%rdx), %zmm5, %zmm26
727
728// CHECK: vpaddd 8192(%rdx), %zmm5, %zmm26
729// CHECK:  encoding: [0x62,0x61,0x55,0x48,0xfe,0x92,0x00,0x20,0x00,0x00]
730          vpaddd 8192(%rdx), %zmm5, %zmm26
731
732// CHECK: vpaddd -8192(%rdx), %zmm5, %zmm26
733// CHECK:  encoding: [0x62,0x61,0x55,0x48,0xfe,0x52,0x80]
734          vpaddd -8192(%rdx), %zmm5, %zmm26
735
736// CHECK: vpaddd -8256(%rdx), %zmm5, %zmm26
737// CHECK:  encoding: [0x62,0x61,0x55,0x48,0xfe,0x92,0xc0,0xdf,0xff,0xff]
738          vpaddd -8256(%rdx), %zmm5, %zmm26
739
740// CHECK: vpaddd (%rcx){1to16}, %zmm5, %zmm26 {%k2}
741// CHECK:  encoding: [0x62,0x61,0x55,0x5a,0xfe,0x11]
742          vpaddd (%rcx){1to16}, %zmm5, %zmm26 {%k2}
743
744// CHECK: vpaddd (%rcx){1to16}, %zmm5, %zmm26 {%k2} {z}
745// CHECK:  encoding: [0x62,0x61,0x55,0xda,0xfe,0x11]
746          vpaddd (%rcx){1to16}, %zmm5, %zmm26 {%k2} {z}
747
748// CHECK: vpaddd 508(%rdx){1to16}, %zmm5, %zmm26
749// CHECK:  encoding: [0x62,0x61,0x55,0x58,0xfe,0x52,0x7f]
750          vpaddd 508(%rdx){1to16}, %zmm5, %zmm26
751
752// CHECK: vpaddd 512(%rdx){1to16}, %zmm5, %zmm26
753// CHECK:  encoding: [0x62,0x61,0x55,0x58,0xfe,0x92,0x00,0x02,0x00,0x00]
754          vpaddd 512(%rdx){1to16}, %zmm5, %zmm26
755
756// CHECK: vpaddd -512(%rdx){1to16}, %zmm5, %zmm26
757// CHECK:  encoding: [0x62,0x61,0x55,0x58,0xfe,0x52,0x80]
758          vpaddd -512(%rdx){1to16}, %zmm5, %zmm26
759
760// CHECK: vpaddd -516(%rdx){1to16}, %zmm5, %zmm26
761// CHECK:  encoding: [0x62,0x61,0x55,0x58,0xfe,0x92,0xfc,0xfd,0xff,0xff]
762          vpaddd -516(%rdx){1to16}, %zmm5, %zmm26
763
764// CHECK: vpaddq %zmm14, %zmm25, %zmm8
765// CHECK:  encoding: [0x62,0x51,0xb5,0x40,0xd4,0xc6]
766          vpaddq %zmm14, %zmm25, %zmm8
767
768// CHECK: vpaddq %zmm14, %zmm25, %zmm8 {%k3}
769// CHECK:  encoding: [0x62,0x51,0xb5,0x43,0xd4,0xc6]
770          vpaddq %zmm14, %zmm25, %zmm8 {%k3}
771
772// CHECK: vpaddq %zmm14, %zmm25, %zmm8 {%k3} {z}
773// CHECK:  encoding: [0x62,0x51,0xb5,0xc3,0xd4,0xc6]
774          vpaddq %zmm14, %zmm25, %zmm8 {%k3} {z}
775
776// CHECK: vpaddq (%rcx), %zmm25, %zmm8
777// CHECK:  encoding: [0x62,0x71,0xb5,0x40,0xd4,0x01]
778          vpaddq (%rcx), %zmm25, %zmm8
779
780// CHECK: vpaddq 291(%rax,%r14,8), %zmm25, %zmm8
781// CHECK:  encoding: [0x62,0x31,0xb5,0x40,0xd4,0x84,0xf0,0x23,0x01,0x00,0x00]
782          vpaddq 291(%rax,%r14,8), %zmm25, %zmm8
783
784// CHECK: vpaddq (%rcx){1to8}, %zmm25, %zmm8
785// CHECK:  encoding: [0x62,0x71,0xb5,0x50,0xd4,0x01]
786          vpaddq (%rcx){1to8}, %zmm25, %zmm8
787
788// CHECK: vpaddq 8128(%rdx), %zmm25, %zmm8
789// CHECK:  encoding: [0x62,0x71,0xb5,0x40,0xd4,0x42,0x7f]
790          vpaddq 8128(%rdx), %zmm25, %zmm8
791
792// CHECK: vpaddq 8192(%rdx), %zmm25, %zmm8
793// CHECK:  encoding: [0x62,0x71,0xb5,0x40,0xd4,0x82,0x00,0x20,0x00,0x00]
794          vpaddq 8192(%rdx), %zmm25, %zmm8
795
796// CHECK: vpaddq -8192(%rdx), %zmm25, %zmm8
797// CHECK:  encoding: [0x62,0x71,0xb5,0x40,0xd4,0x42,0x80]
798          vpaddq -8192(%rdx), %zmm25, %zmm8
799
800// CHECK: vpaddq -8256(%rdx), %zmm25, %zmm8
801// CHECK:  encoding: [0x62,0x71,0xb5,0x40,0xd4,0x82,0xc0,0xdf,0xff,0xff]
802          vpaddq -8256(%rdx), %zmm25, %zmm8
803
804// CHECK: vpaddq 1016(%rdx){1to8}, %zmm25, %zmm8
805// CHECK:  encoding: [0x62,0x71,0xb5,0x50,0xd4,0x42,0x7f]
806          vpaddq 1016(%rdx){1to8}, %zmm25, %zmm8
807
808// CHECK: vpaddq 1024(%rdx){1to8}, %zmm25, %zmm8
809// CHECK:  encoding: [0x62,0x71,0xb5,0x50,0xd4,0x82,0x00,0x04,0x00,0x00]
810          vpaddq 1024(%rdx){1to8}, %zmm25, %zmm8
811
812// CHECK: vpaddq -1024(%rdx){1to8}, %zmm25, %zmm8
813// CHECK:  encoding: [0x62,0x71,0xb5,0x50,0xd4,0x42,0x80]
814          vpaddq -1024(%rdx){1to8}, %zmm25, %zmm8
815
816// CHECK: vpaddq -1032(%rdx){1to8}, %zmm25, %zmm8
817// CHECK:  encoding: [0x62,0x71,0xb5,0x50,0xd4,0x82,0xf8,0xfb,0xff,0xff]
818          vpaddq -1032(%rdx){1to8}, %zmm25, %zmm8
819
820// CHECK: vpandd %zmm25, %zmm22, %zmm19
821// CHECK:  encoding: [0x62,0x81,0x4d,0x40,0xdb,0xd9]
822          vpandd %zmm25, %zmm22, %zmm19
823
824// CHECK: vpandd %zmm25, %zmm22, %zmm19 {%k1}
825// CHECK:  encoding: [0x62,0x81,0x4d,0x41,0xdb,0xd9]
826          vpandd %zmm25, %zmm22, %zmm19 {%k1}
827
828// CHECK: vpandd %zmm25, %zmm22, %zmm19 {%k1} {z}
829// CHECK:  encoding: [0x62,0x81,0x4d,0xc1,0xdb,0xd9]
830          vpandd %zmm25, %zmm22, %zmm19 {%k1} {z}
831
832// CHECK: vpandd (%rcx), %zmm22, %zmm19
833// CHECK:  encoding: [0x62,0xe1,0x4d,0x40,0xdb,0x19]
834          vpandd (%rcx), %zmm22, %zmm19
835
836// CHECK: vpandd 291(%rax,%r14,8), %zmm22, %zmm19
837// CHECK:  encoding: [0x62,0xa1,0x4d,0x40,0xdb,0x9c,0xf0,0x23,0x01,0x00,0x00]
838          vpandd 291(%rax,%r14,8), %zmm22, %zmm19
839
840// CHECK: vpandd (%rcx){1to16}, %zmm22, %zmm19
841// CHECK:  encoding: [0x62,0xe1,0x4d,0x50,0xdb,0x19]
842          vpandd (%rcx){1to16}, %zmm22, %zmm19
843
844// CHECK: vpandd 8128(%rdx), %zmm22, %zmm19
845// CHECK:  encoding: [0x62,0xe1,0x4d,0x40,0xdb,0x5a,0x7f]
846          vpandd 8128(%rdx), %zmm22, %zmm19
847
848// CHECK: vpandd 8192(%rdx), %zmm22, %zmm19
849// CHECK:  encoding: [0x62,0xe1,0x4d,0x40,0xdb,0x9a,0x00,0x20,0x00,0x00]
850          vpandd 8192(%rdx), %zmm22, %zmm19
851
852// CHECK: vpandd -8192(%rdx), %zmm22, %zmm19
853// CHECK:  encoding: [0x62,0xe1,0x4d,0x40,0xdb,0x5a,0x80]
854          vpandd -8192(%rdx), %zmm22, %zmm19
855
856// CHECK: vpandd -8256(%rdx), %zmm22, %zmm19
857// CHECK:  encoding: [0x62,0xe1,0x4d,0x40,0xdb,0x9a,0xc0,0xdf,0xff,0xff]
858          vpandd -8256(%rdx), %zmm22, %zmm19
859
860// CHECK: vpandd 508(%rdx){1to16}, %zmm22, %zmm19
861// CHECK:  encoding: [0x62,0xe1,0x4d,0x50,0xdb,0x5a,0x7f]
862          vpandd 508(%rdx){1to16}, %zmm22, %zmm19
863
864// CHECK: vpandd 512(%rdx){1to16}, %zmm22, %zmm19
865// CHECK:  encoding: [0x62,0xe1,0x4d,0x50,0xdb,0x9a,0x00,0x02,0x00,0x00]
866          vpandd 512(%rdx){1to16}, %zmm22, %zmm19
867
868// CHECK: vpandd -512(%rdx){1to16}, %zmm22, %zmm19
869// CHECK:  encoding: [0x62,0xe1,0x4d,0x50,0xdb,0x5a,0x80]
870          vpandd -512(%rdx){1to16}, %zmm22, %zmm19
871
872// CHECK: vpandd -516(%rdx){1to16}, %zmm22, %zmm19
873// CHECK:  encoding: [0x62,0xe1,0x4d,0x50,0xdb,0x9a,0xfc,0xfd,0xff,0xff]
874          vpandd -516(%rdx){1to16}, %zmm22, %zmm19
875
876// CHECK: vpandnd %zmm15, %zmm28, %zmm30
877// CHECK:  encoding: [0x62,0x41,0x1d,0x40,0xdf,0xf7]
878          vpandnd %zmm15, %zmm28, %zmm30
879
880// CHECK: vpandnd %zmm15, %zmm28, %zmm30 {%k3}
881// CHECK:  encoding: [0x62,0x41,0x1d,0x43,0xdf,0xf7]
882          vpandnd %zmm15, %zmm28, %zmm30 {%k3}
883
884// CHECK: vpandnd %zmm15, %zmm28, %zmm30 {%k3} {z}
885// CHECK:  encoding: [0x62,0x41,0x1d,0xc3,0xdf,0xf7]
886          vpandnd %zmm15, %zmm28, %zmm30 {%k3} {z}
887
888// CHECK: vpandnd (%rcx), %zmm28, %zmm30
889// CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xdf,0x31]
890          vpandnd (%rcx), %zmm28, %zmm30
891
892// CHECK: vpandnd 291(%rax,%r14,8), %zmm28, %zmm30
893// CHECK:  encoding: [0x62,0x21,0x1d,0x40,0xdf,0xb4,0xf0,0x23,0x01,0x00,0x00]
894          vpandnd 291(%rax,%r14,8), %zmm28, %zmm30
895
896// CHECK: vpandnd (%rcx){1to16}, %zmm28, %zmm30
897// CHECK:  encoding: [0x62,0x61,0x1d,0x50,0xdf,0x31]
898          vpandnd (%rcx){1to16}, %zmm28, %zmm30
899
900// CHECK: vpandnd 8128(%rdx), %zmm28, %zmm30
901// CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xdf,0x72,0x7f]
902          vpandnd 8128(%rdx), %zmm28, %zmm30
903
904// CHECK: vpandnd 8192(%rdx), %zmm28, %zmm30
905// CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xdf,0xb2,0x00,0x20,0x00,0x00]
906          vpandnd 8192(%rdx), %zmm28, %zmm30
907
908// CHECK: vpandnd -8192(%rdx), %zmm28, %zmm30
909// CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xdf,0x72,0x80]
910          vpandnd -8192(%rdx), %zmm28, %zmm30
911
912// CHECK: vpandnd -8256(%rdx), %zmm28, %zmm30
913// CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xdf,0xb2,0xc0,0xdf,0xff,0xff]
914          vpandnd -8256(%rdx), %zmm28, %zmm30
915
916// CHECK: vpandnd 508(%rdx){1to16}, %zmm28, %zmm30
917// CHECK:  encoding: [0x62,0x61,0x1d,0x50,0xdf,0x72,0x7f]
918          vpandnd 508(%rdx){1to16}, %zmm28, %zmm30
919
920// CHECK: vpandnd 512(%rdx){1to16}, %zmm28, %zmm30
921// CHECK:  encoding: [0x62,0x61,0x1d,0x50,0xdf,0xb2,0x00,0x02,0x00,0x00]
922          vpandnd 512(%rdx){1to16}, %zmm28, %zmm30
923
924// CHECK: vpandnd -512(%rdx){1to16}, %zmm28, %zmm30
925// CHECK:  encoding: [0x62,0x61,0x1d,0x50,0xdf,0x72,0x80]
926          vpandnd -512(%rdx){1to16}, %zmm28, %zmm30
927
928// CHECK: vpandnd -516(%rdx){1to16}, %zmm28, %zmm30
929// CHECK:  encoding: [0x62,0x61,0x1d,0x50,0xdf,0xb2,0xfc,0xfd,0xff,0xff]
930          vpandnd -516(%rdx){1to16}, %zmm28, %zmm30
931
932// CHECK: vpandnq %zmm19, %zmm7, %zmm20
933// CHECK:  encoding: [0x62,0xa1,0xc5,0x48,0xdf,0xe3]
934          vpandnq %zmm19, %zmm7, %zmm20
935
936// CHECK: vpandnq %zmm19, %zmm7, %zmm20 {%k5}
937// CHECK:  encoding: [0x62,0xa1,0xc5,0x4d,0xdf,0xe3]
938          vpandnq %zmm19, %zmm7, %zmm20 {%k5}
939
940// CHECK: vpandnq %zmm19, %zmm7, %zmm20 {%k5} {z}
941// CHECK:  encoding: [0x62,0xa1,0xc5,0xcd,0xdf,0xe3]
942          vpandnq %zmm19, %zmm7, %zmm20 {%k5} {z}
943
944// CHECK: vpandnq (%rcx), %zmm7, %zmm20
945// CHECK:  encoding: [0x62,0xe1,0xc5,0x48,0xdf,0x21]
946          vpandnq (%rcx), %zmm7, %zmm20
947
948// CHECK: vpandnq 291(%rax,%r14,8), %zmm7, %zmm20
949// CHECK:  encoding: [0x62,0xa1,0xc5,0x48,0xdf,0xa4,0xf0,0x23,0x01,0x00,0x00]
950          vpandnq 291(%rax,%r14,8), %zmm7, %zmm20
951
952// CHECK: vpandnq (%rcx){1to8}, %zmm7, %zmm20
953// CHECK:  encoding: [0x62,0xe1,0xc5,0x58,0xdf,0x21]
954          vpandnq (%rcx){1to8}, %zmm7, %zmm20
955
956// CHECK: vpandnq 8128(%rdx), %zmm7, %zmm20
957// CHECK:  encoding: [0x62,0xe1,0xc5,0x48,0xdf,0x62,0x7f]
958          vpandnq 8128(%rdx), %zmm7, %zmm20
959
960// CHECK: vpandnq 8192(%rdx), %zmm7, %zmm20
961// CHECK:  encoding: [0x62,0xe1,0xc5,0x48,0xdf,0xa2,0x00,0x20,0x00,0x00]
962          vpandnq 8192(%rdx), %zmm7, %zmm20
963
964// CHECK: vpandnq -8192(%rdx), %zmm7, %zmm20
965// CHECK:  encoding: [0x62,0xe1,0xc5,0x48,0xdf,0x62,0x80]
966          vpandnq -8192(%rdx), %zmm7, %zmm20
967
968// CHECK: vpandnq -8256(%rdx), %zmm7, %zmm20
969// CHECK:  encoding: [0x62,0xe1,0xc5,0x48,0xdf,0xa2,0xc0,0xdf,0xff,0xff]
970          vpandnq -8256(%rdx), %zmm7, %zmm20
971
972// CHECK: vpandnq 1016(%rdx){1to8}, %zmm7, %zmm20
973// CHECK:  encoding: [0x62,0xe1,0xc5,0x58,0xdf,0x62,0x7f]
974          vpandnq 1016(%rdx){1to8}, %zmm7, %zmm20
975
976// CHECK: vpandnq 1024(%rdx){1to8}, %zmm7, %zmm20
977// CHECK:  encoding: [0x62,0xe1,0xc5,0x58,0xdf,0xa2,0x00,0x04,0x00,0x00]
978          vpandnq 1024(%rdx){1to8}, %zmm7, %zmm20
979
980// CHECK: vpandnq -1024(%rdx){1to8}, %zmm7, %zmm20
981// CHECK:  encoding: [0x62,0xe1,0xc5,0x58,0xdf,0x62,0x80]
982          vpandnq -1024(%rdx){1to8}, %zmm7, %zmm20
983
984// CHECK: vpandnq -1032(%rdx){1to8}, %zmm7, %zmm20
985// CHECK:  encoding: [0x62,0xe1,0xc5,0x58,0xdf,0xa2,0xf8,0xfb,0xff,0xff]
986          vpandnq -1032(%rdx){1to8}, %zmm7, %zmm20
987
988// CHECK: vpandq %zmm26, %zmm4, %zmm17
989// CHECK:  encoding: [0x62,0x81,0xdd,0x48,0xdb,0xca]
990          vpandq %zmm26, %zmm4, %zmm17
991
992// CHECK: vpandq %zmm26, %zmm4, %zmm17 {%k7}
993// CHECK:  encoding: [0x62,0x81,0xdd,0x4f,0xdb,0xca]
994          vpandq %zmm26, %zmm4, %zmm17 {%k7}
995
996// CHECK: vpandq %zmm26, %zmm4, %zmm17 {%k7} {z}
997// CHECK:  encoding: [0x62,0x81,0xdd,0xcf,0xdb,0xca]
998          vpandq %zmm26, %zmm4, %zmm17 {%k7} {z}
999
1000// CHECK: vpandq (%rcx), %zmm4, %zmm17
1001// CHECK:  encoding: [0x62,0xe1,0xdd,0x48,0xdb,0x09]
1002          vpandq (%rcx), %zmm4, %zmm17
1003
1004// CHECK: vpandq 291(%rax,%r14,8), %zmm4, %zmm17
1005// CHECK:  encoding: [0x62,0xa1,0xdd,0x48,0xdb,0x8c,0xf0,0x23,0x01,0x00,0x00]
1006          vpandq 291(%rax,%r14,8), %zmm4, %zmm17
1007
1008// CHECK: vpandq (%rcx){1to8}, %zmm4, %zmm17
1009// CHECK:  encoding: [0x62,0xe1,0xdd,0x58,0xdb,0x09]
1010          vpandq (%rcx){1to8}, %zmm4, %zmm17
1011
1012// CHECK: vpandq 8128(%rdx), %zmm4, %zmm17
1013// CHECK:  encoding: [0x62,0xe1,0xdd,0x48,0xdb,0x4a,0x7f]
1014          vpandq 8128(%rdx), %zmm4, %zmm17
1015
1016// CHECK: vpandq 8192(%rdx), %zmm4, %zmm17
1017// CHECK:  encoding: [0x62,0xe1,0xdd,0x48,0xdb,0x8a,0x00,0x20,0x00,0x00]
1018          vpandq 8192(%rdx), %zmm4, %zmm17
1019
1020// CHECK: vpandq -8192(%rdx), %zmm4, %zmm17
1021// CHECK:  encoding: [0x62,0xe1,0xdd,0x48,0xdb,0x4a,0x80]
1022          vpandq -8192(%rdx), %zmm4, %zmm17
1023
1024// CHECK: vpandq -8256(%rdx), %zmm4, %zmm17
1025// CHECK:  encoding: [0x62,0xe1,0xdd,0x48,0xdb,0x8a,0xc0,0xdf,0xff,0xff]
1026          vpandq -8256(%rdx), %zmm4, %zmm17
1027
1028// CHECK: vpandq 1016(%rdx){1to8}, %zmm4, %zmm17
1029// CHECK:  encoding: [0x62,0xe1,0xdd,0x58,0xdb,0x4a,0x7f]
1030          vpandq 1016(%rdx){1to8}, %zmm4, %zmm17
1031
1032// CHECK: vpandq 1024(%rdx){1to8}, %zmm4, %zmm17
1033// CHECK:  encoding: [0x62,0xe1,0xdd,0x58,0xdb,0x8a,0x00,0x04,0x00,0x00]
1034          vpandq 1024(%rdx){1to8}, %zmm4, %zmm17
1035
1036// CHECK: vpandq -1024(%rdx){1to8}, %zmm4, %zmm17
1037// CHECK:  encoding: [0x62,0xe1,0xdd,0x58,0xdb,0x4a,0x80]
1038          vpandq -1024(%rdx){1to8}, %zmm4, %zmm17
1039
1040// CHECK: vpandq -1032(%rdx){1to8}, %zmm4, %zmm17
1041// CHECK:  encoding: [0x62,0xe1,0xdd,0x58,0xdb,0x8a,0xf8,0xfb,0xff,0xff]
1042          vpandq -1032(%rdx){1to8}, %zmm4, %zmm17
1043
1044// CHECK: vpmaxsd %zmm16, %zmm8, %zmm6
1045// CHECK:  encoding: [0x62,0xb2,0x3d,0x48,0x3d,0xf0]
1046          vpmaxsd %zmm16, %zmm8, %zmm6
1047
1048// CHECK: vpmaxsd %zmm16, %zmm8, %zmm6 {%k3}
1049// CHECK:  encoding: [0x62,0xb2,0x3d,0x4b,0x3d,0xf0]
1050          vpmaxsd %zmm16, %zmm8, %zmm6 {%k3}
1051
1052// CHECK: vpmaxsd %zmm16, %zmm8, %zmm6 {%k3} {z}
1053// CHECK:  encoding: [0x62,0xb2,0x3d,0xcb,0x3d,0xf0]
1054          vpmaxsd %zmm16, %zmm8, %zmm6 {%k3} {z}
1055
1056// CHECK: vpmaxsd (%rcx), %zmm8, %zmm6
1057// CHECK:  encoding: [0x62,0xf2,0x3d,0x48,0x3d,0x31]
1058          vpmaxsd (%rcx), %zmm8, %zmm6
1059
1060// CHECK: vpmaxsd 291(%rax,%r14,8), %zmm8, %zmm6
1061// CHECK:  encoding: [0x62,0xb2,0x3d,0x48,0x3d,0xb4,0xf0,0x23,0x01,0x00,0x00]
1062          vpmaxsd 291(%rax,%r14,8), %zmm8, %zmm6
1063
1064// CHECK: vpmaxsd (%rcx){1to16}, %zmm8, %zmm6
1065// CHECK:  encoding: [0x62,0xf2,0x3d,0x58,0x3d,0x31]
1066          vpmaxsd (%rcx){1to16}, %zmm8, %zmm6
1067
1068// CHECK: vpmaxsd 8128(%rdx), %zmm8, %zmm6
1069// CHECK:  encoding: [0x62,0xf2,0x3d,0x48,0x3d,0x72,0x7f]
1070          vpmaxsd 8128(%rdx), %zmm8, %zmm6
1071
1072// CHECK: vpmaxsd 8192(%rdx), %zmm8, %zmm6
1073// CHECK:  encoding: [0x62,0xf2,0x3d,0x48,0x3d,0xb2,0x00,0x20,0x00,0x00]
1074          vpmaxsd 8192(%rdx), %zmm8, %zmm6
1075
1076// CHECK: vpmaxsd -8192(%rdx), %zmm8, %zmm6
1077// CHECK:  encoding: [0x62,0xf2,0x3d,0x48,0x3d,0x72,0x80]
1078          vpmaxsd -8192(%rdx), %zmm8, %zmm6
1079
1080// CHECK: vpmaxsd -8256(%rdx), %zmm8, %zmm6
1081// CHECK:  encoding: [0x62,0xf2,0x3d,0x48,0x3d,0xb2,0xc0,0xdf,0xff,0xff]
1082          vpmaxsd -8256(%rdx), %zmm8, %zmm6
1083
1084// CHECK: vpmaxsd 508(%rdx){1to16}, %zmm8, %zmm6
1085// CHECK:  encoding: [0x62,0xf2,0x3d,0x58,0x3d,0x72,0x7f]
1086          vpmaxsd 508(%rdx){1to16}, %zmm8, %zmm6
1087
1088// CHECK: vpmaxsd 512(%rdx){1to16}, %zmm8, %zmm6
1089// CHECK:  encoding: [0x62,0xf2,0x3d,0x58,0x3d,0xb2,0x00,0x02,0x00,0x00]
1090          vpmaxsd 512(%rdx){1to16}, %zmm8, %zmm6
1091
1092// CHECK: vpmaxsd -512(%rdx){1to16}, %zmm8, %zmm6
1093// CHECK:  encoding: [0x62,0xf2,0x3d,0x58,0x3d,0x72,0x80]
1094          vpmaxsd -512(%rdx){1to16}, %zmm8, %zmm6
1095
1096// CHECK: vpmaxsd -516(%rdx){1to16}, %zmm8, %zmm6
1097// CHECK:  encoding: [0x62,0xf2,0x3d,0x58,0x3d,0xb2,0xfc,0xfd,0xff,0xff]
1098          vpmaxsd -516(%rdx){1to16}, %zmm8, %zmm6
1099
1100// CHECK: vpmaxsq %zmm1, %zmm6, %zmm6
1101// CHECK:  encoding: [0x62,0xf2,0xcd,0x48,0x3d,0xf1]
1102          vpmaxsq %zmm1, %zmm6, %zmm6
1103
1104// CHECK: vpmaxsq %zmm1, %zmm6, %zmm6 {%k7}
1105// CHECK:  encoding: [0x62,0xf2,0xcd,0x4f,0x3d,0xf1]
1106          vpmaxsq %zmm1, %zmm6, %zmm6 {%k7}
1107
1108// CHECK: vpmaxsq %zmm1, %zmm6, %zmm6 {%k7} {z}
1109// CHECK:  encoding: [0x62,0xf2,0xcd,0xcf,0x3d,0xf1]
1110          vpmaxsq %zmm1, %zmm6, %zmm6 {%k7} {z}
1111
1112// CHECK: vpmaxsq (%rcx), %zmm6, %zmm6
1113// CHECK:  encoding: [0x62,0xf2,0xcd,0x48,0x3d,0x31]
1114          vpmaxsq (%rcx), %zmm6, %zmm6
1115
1116// CHECK: vpmaxsq 291(%rax,%r14,8), %zmm6, %zmm6
1117// CHECK:  encoding: [0x62,0xb2,0xcd,0x48,0x3d,0xb4,0xf0,0x23,0x01,0x00,0x00]
1118          vpmaxsq 291(%rax,%r14,8), %zmm6, %zmm6
1119
1120// CHECK: vpmaxsq (%rcx){1to8}, %zmm6, %zmm6
1121// CHECK:  encoding: [0x62,0xf2,0xcd,0x58,0x3d,0x31]
1122          vpmaxsq (%rcx){1to8}, %zmm6, %zmm6
1123
1124// CHECK: vpmaxsq 8128(%rdx), %zmm6, %zmm6
1125// CHECK:  encoding: [0x62,0xf2,0xcd,0x48,0x3d,0x72,0x7f]
1126          vpmaxsq 8128(%rdx), %zmm6, %zmm6
1127
1128// CHECK: vpmaxsq 8192(%rdx), %zmm6, %zmm6
1129// CHECK:  encoding: [0x62,0xf2,0xcd,0x48,0x3d,0xb2,0x00,0x20,0x00,0x00]
1130          vpmaxsq 8192(%rdx), %zmm6, %zmm6
1131
1132// CHECK: vpmaxsq -8192(%rdx), %zmm6, %zmm6
1133// CHECK:  encoding: [0x62,0xf2,0xcd,0x48,0x3d,0x72,0x80]
1134          vpmaxsq -8192(%rdx), %zmm6, %zmm6
1135
1136// CHECK: vpmaxsq -8256(%rdx), %zmm6, %zmm6
1137// CHECK:  encoding: [0x62,0xf2,0xcd,0x48,0x3d,0xb2,0xc0,0xdf,0xff,0xff]
1138          vpmaxsq -8256(%rdx), %zmm6, %zmm6
1139
1140// CHECK: vpmaxsq 1016(%rdx){1to8}, %zmm6, %zmm6
1141// CHECK:  encoding: [0x62,0xf2,0xcd,0x58,0x3d,0x72,0x7f]
1142          vpmaxsq 1016(%rdx){1to8}, %zmm6, %zmm6
1143
1144// CHECK: vpmaxsq 1024(%rdx){1to8}, %zmm6, %zmm6
1145// CHECK:  encoding: [0x62,0xf2,0xcd,0x58,0x3d,0xb2,0x00,0x04,0x00,0x00]
1146          vpmaxsq 1024(%rdx){1to8}, %zmm6, %zmm6
1147
1148// CHECK: vpmaxsq -1024(%rdx){1to8}, %zmm6, %zmm6
1149// CHECK:  encoding: [0x62,0xf2,0xcd,0x58,0x3d,0x72,0x80]
1150          vpmaxsq -1024(%rdx){1to8}, %zmm6, %zmm6
1151
1152// CHECK: vpmaxsq -1032(%rdx){1to8}, %zmm6, %zmm6
1153// CHECK:  encoding: [0x62,0xf2,0xcd,0x58,0x3d,0xb2,0xf8,0xfb,0xff,0xff]
1154          vpmaxsq -1032(%rdx){1to8}, %zmm6, %zmm6
1155
1156// CHECK: vpmaxud %zmm25, %zmm7, %zmm17
1157// CHECK:  encoding: [0x62,0x82,0x45,0x48,0x3f,0xc9]
1158          vpmaxud %zmm25, %zmm7, %zmm17
1159
1160// CHECK: vpmaxud %zmm25, %zmm7, %zmm17 {%k5}
1161// CHECK:  encoding: [0x62,0x82,0x45,0x4d,0x3f,0xc9]
1162          vpmaxud %zmm25, %zmm7, %zmm17 {%k5}
1163
1164// CHECK: vpmaxud %zmm25, %zmm7, %zmm17 {%k5} {z}
1165// CHECK:  encoding: [0x62,0x82,0x45,0xcd,0x3f,0xc9]
1166          vpmaxud %zmm25, %zmm7, %zmm17 {%k5} {z}
1167
1168// CHECK: vpmaxud (%rcx), %zmm7, %zmm17
1169// CHECK:  encoding: [0x62,0xe2,0x45,0x48,0x3f,0x09]
1170          vpmaxud (%rcx), %zmm7, %zmm17
1171
1172// CHECK: vpmaxud 291(%rax,%r14,8), %zmm7, %zmm17
1173// CHECK:  encoding: [0x62,0xa2,0x45,0x48,0x3f,0x8c,0xf0,0x23,0x01,0x00,0x00]
1174          vpmaxud 291(%rax,%r14,8), %zmm7, %zmm17
1175
1176// CHECK: vpmaxud (%rcx){1to16}, %zmm7, %zmm17
1177// CHECK:  encoding: [0x62,0xe2,0x45,0x58,0x3f,0x09]
1178          vpmaxud (%rcx){1to16}, %zmm7, %zmm17
1179
1180// CHECK: vpmaxud 8128(%rdx), %zmm7, %zmm17
1181// CHECK:  encoding: [0x62,0xe2,0x45,0x48,0x3f,0x4a,0x7f]
1182          vpmaxud 8128(%rdx), %zmm7, %zmm17
1183
1184// CHECK: vpmaxud 8192(%rdx), %zmm7, %zmm17
1185// CHECK:  encoding: [0x62,0xe2,0x45,0x48,0x3f,0x8a,0x00,0x20,0x00,0x00]
1186          vpmaxud 8192(%rdx), %zmm7, %zmm17
1187
1188// CHECK: vpmaxud -8192(%rdx), %zmm7, %zmm17
1189// CHECK:  encoding: [0x62,0xe2,0x45,0x48,0x3f,0x4a,0x80]
1190          vpmaxud -8192(%rdx), %zmm7, %zmm17
1191
1192// CHECK: vpmaxud -8256(%rdx), %zmm7, %zmm17
1193// CHECK:  encoding: [0x62,0xe2,0x45,0x48,0x3f,0x8a,0xc0,0xdf,0xff,0xff]
1194          vpmaxud -8256(%rdx), %zmm7, %zmm17
1195
1196// CHECK: vpmaxud 508(%rdx){1to16}, %zmm7, %zmm17
1197// CHECK:  encoding: [0x62,0xe2,0x45,0x58,0x3f,0x4a,0x7f]
1198          vpmaxud 508(%rdx){1to16}, %zmm7, %zmm17
1199
1200// CHECK: vpmaxud 512(%rdx){1to16}, %zmm7, %zmm17
1201// CHECK:  encoding: [0x62,0xe2,0x45,0x58,0x3f,0x8a,0x00,0x02,0x00,0x00]
1202          vpmaxud 512(%rdx){1to16}, %zmm7, %zmm17
1203
1204// CHECK: vpmaxud -512(%rdx){1to16}, %zmm7, %zmm17
1205// CHECK:  encoding: [0x62,0xe2,0x45,0x58,0x3f,0x4a,0x80]
1206          vpmaxud -512(%rdx){1to16}, %zmm7, %zmm17
1207
1208// CHECK: vpmaxud -516(%rdx){1to16}, %zmm7, %zmm17
1209// CHECK:  encoding: [0x62,0xe2,0x45,0x58,0x3f,0x8a,0xfc,0xfd,0xff,0xff]
1210          vpmaxud -516(%rdx){1to16}, %zmm7, %zmm17
1211
1212// CHECK: vpmaxuq %zmm25, %zmm22, %zmm30
1213// CHECK:  encoding: [0x62,0x02,0xcd,0x40,0x3f,0xf1]
1214          vpmaxuq %zmm25, %zmm22, %zmm30
1215
1216// CHECK: vpmaxuq %zmm25, %zmm22, %zmm30 {%k1}
1217// CHECK:  encoding: [0x62,0x02,0xcd,0x41,0x3f,0xf1]
1218          vpmaxuq %zmm25, %zmm22, %zmm30 {%k1}
1219
1220// CHECK: vpmaxuq %zmm25, %zmm22, %zmm30 {%k1} {z}
1221// CHECK:  encoding: [0x62,0x02,0xcd,0xc1,0x3f,0xf1]
1222          vpmaxuq %zmm25, %zmm22, %zmm30 {%k1} {z}
1223
1224// CHECK: vpmaxuq (%rcx), %zmm22, %zmm30
1225// CHECK:  encoding: [0x62,0x62,0xcd,0x40,0x3f,0x31]
1226          vpmaxuq (%rcx), %zmm22, %zmm30
1227
1228// CHECK: vpmaxuq 291(%rax,%r14,8), %zmm22, %zmm30
1229// CHECK:  encoding: [0x62,0x22,0xcd,0x40,0x3f,0xb4,0xf0,0x23,0x01,0x00,0x00]
1230          vpmaxuq 291(%rax,%r14,8), %zmm22, %zmm30
1231
1232// CHECK: vpmaxuq (%rcx){1to8}, %zmm22, %zmm30
1233// CHECK:  encoding: [0x62,0x62,0xcd,0x50,0x3f,0x31]
1234          vpmaxuq (%rcx){1to8}, %zmm22, %zmm30
1235
1236// CHECK: vpmaxuq 8128(%rdx), %zmm22, %zmm30
1237// CHECK:  encoding: [0x62,0x62,0xcd,0x40,0x3f,0x72,0x7f]
1238          vpmaxuq 8128(%rdx), %zmm22, %zmm30
1239
1240// CHECK: vpmaxuq 8192(%rdx), %zmm22, %zmm30
1241// CHECK:  encoding: [0x62,0x62,0xcd,0x40,0x3f,0xb2,0x00,0x20,0x00,0x00]
1242          vpmaxuq 8192(%rdx), %zmm22, %zmm30
1243
1244// CHECK: vpmaxuq -8192(%rdx), %zmm22, %zmm30
1245// CHECK:  encoding: [0x62,0x62,0xcd,0x40,0x3f,0x72,0x80]
1246          vpmaxuq -8192(%rdx), %zmm22, %zmm30
1247
1248// CHECK: vpmaxuq -8256(%rdx), %zmm22, %zmm30
1249// CHECK:  encoding: [0x62,0x62,0xcd,0x40,0x3f,0xb2,0xc0,0xdf,0xff,0xff]
1250          vpmaxuq -8256(%rdx), %zmm22, %zmm30
1251
1252// CHECK: vpmaxuq 1016(%rdx){1to8}, %zmm22, %zmm30
1253// CHECK:  encoding: [0x62,0x62,0xcd,0x50,0x3f,0x72,0x7f]
1254          vpmaxuq 1016(%rdx){1to8}, %zmm22, %zmm30
1255
1256// CHECK: vpmaxuq 1024(%rdx){1to8}, %zmm22, %zmm30
1257// CHECK:  encoding: [0x62,0x62,0xcd,0x50,0x3f,0xb2,0x00,0x04,0x00,0x00]
1258          vpmaxuq 1024(%rdx){1to8}, %zmm22, %zmm30
1259
1260// CHECK: vpmaxuq -1024(%rdx){1to8}, %zmm22, %zmm30
1261// CHECK:  encoding: [0x62,0x62,0xcd,0x50,0x3f,0x72,0x80]
1262          vpmaxuq -1024(%rdx){1to8}, %zmm22, %zmm30
1263
1264// CHECK: vpmaxuq -1032(%rdx){1to8}, %zmm22, %zmm30
1265// CHECK:  encoding: [0x62,0x62,0xcd,0x50,0x3f,0xb2,0xf8,0xfb,0xff,0xff]
1266          vpmaxuq -1032(%rdx){1to8}, %zmm22, %zmm30
1267
1268// CHECK: vpminsd %zmm24, %zmm16, %zmm2
1269// CHECK:  encoding: [0x62,0x92,0x7d,0x40,0x39,0xd0]
1270          vpminsd %zmm24, %zmm16, %zmm2
1271
1272// CHECK: vpminsd %zmm24, %zmm16, %zmm2 {%k3}
1273// CHECK:  encoding: [0x62,0x92,0x7d,0x43,0x39,0xd0]
1274          vpminsd %zmm24, %zmm16, %zmm2 {%k3}
1275
1276// CHECK: vpminsd %zmm24, %zmm16, %zmm2 {%k3} {z}
1277// CHECK:  encoding: [0x62,0x92,0x7d,0xc3,0x39,0xd0]
1278          vpminsd %zmm24, %zmm16, %zmm2 {%k3} {z}
1279
1280// CHECK: vpminsd (%rcx), %zmm16, %zmm2
1281// CHECK:  encoding: [0x62,0xf2,0x7d,0x40,0x39,0x11]
1282          vpminsd (%rcx), %zmm16, %zmm2
1283
1284// CHECK: vpminsd 291(%rax,%r14,8), %zmm16, %zmm2
1285// CHECK:  encoding: [0x62,0xb2,0x7d,0x40,0x39,0x94,0xf0,0x23,0x01,0x00,0x00]
1286          vpminsd 291(%rax,%r14,8), %zmm16, %zmm2
1287
1288// CHECK: vpminsd (%rcx){1to16}, %zmm16, %zmm2
1289// CHECK:  encoding: [0x62,0xf2,0x7d,0x50,0x39,0x11]
1290          vpminsd (%rcx){1to16}, %zmm16, %zmm2
1291
1292// CHECK: vpminsd 8128(%rdx), %zmm16, %zmm2
1293// CHECK:  encoding: [0x62,0xf2,0x7d,0x40,0x39,0x52,0x7f]
1294          vpminsd 8128(%rdx), %zmm16, %zmm2
1295
1296// CHECK: vpminsd 8192(%rdx), %zmm16, %zmm2
1297// CHECK:  encoding: [0x62,0xf2,0x7d,0x40,0x39,0x92,0x00,0x20,0x00,0x00]
1298          vpminsd 8192(%rdx), %zmm16, %zmm2
1299
1300// CHECK: vpminsd -8192(%rdx), %zmm16, %zmm2
1301// CHECK:  encoding: [0x62,0xf2,0x7d,0x40,0x39,0x52,0x80]
1302          vpminsd -8192(%rdx), %zmm16, %zmm2
1303
1304// CHECK: vpminsd -8256(%rdx), %zmm16, %zmm2
1305// CHECK:  encoding: [0x62,0xf2,0x7d,0x40,0x39,0x92,0xc0,0xdf,0xff,0xff]
1306          vpminsd -8256(%rdx), %zmm16, %zmm2
1307
1308// CHECK: vpminsd 508(%rdx){1to16}, %zmm16, %zmm2
1309// CHECK:  encoding: [0x62,0xf2,0x7d,0x50,0x39,0x52,0x7f]
1310          vpminsd 508(%rdx){1to16}, %zmm16, %zmm2
1311
1312// CHECK: vpminsd 512(%rdx){1to16}, %zmm16, %zmm2
1313// CHECK:  encoding: [0x62,0xf2,0x7d,0x50,0x39,0x92,0x00,0x02,0x00,0x00]
1314          vpminsd 512(%rdx){1to16}, %zmm16, %zmm2
1315
1316// CHECK: vpminsd -512(%rdx){1to16}, %zmm16, %zmm2
1317// CHECK:  encoding: [0x62,0xf2,0x7d,0x50,0x39,0x52,0x80]
1318          vpminsd -512(%rdx){1to16}, %zmm16, %zmm2
1319
1320// CHECK: vpminsd -516(%rdx){1to16}, %zmm16, %zmm2
1321// CHECK:  encoding: [0x62,0xf2,0x7d,0x50,0x39,0x92,0xfc,0xfd,0xff,0xff]
1322          vpminsd -516(%rdx){1to16}, %zmm16, %zmm2
1323
1324// CHECK: vpminsq %zmm17, %zmm16, %zmm20
1325// CHECK:  encoding: [0x62,0xa2,0xfd,0x40,0x39,0xe1]
1326          vpminsq %zmm17, %zmm16, %zmm20
1327
1328// CHECK: vpminsq %zmm17, %zmm16, %zmm20 {%k6}
1329// CHECK:  encoding: [0x62,0xa2,0xfd,0x46,0x39,0xe1]
1330          vpminsq %zmm17, %zmm16, %zmm20 {%k6}
1331
1332// CHECK: vpminsq %zmm17, %zmm16, %zmm20 {%k6} {z}
1333// CHECK:  encoding: [0x62,0xa2,0xfd,0xc6,0x39,0xe1]
1334          vpminsq %zmm17, %zmm16, %zmm20 {%k6} {z}
1335
1336// CHECK: vpminsq (%rcx), %zmm16, %zmm20
1337// CHECK:  encoding: [0x62,0xe2,0xfd,0x40,0x39,0x21]
1338          vpminsq (%rcx), %zmm16, %zmm20
1339
1340// CHECK: vpminsq 291(%rax,%r14,8), %zmm16, %zmm20
1341// CHECK:  encoding: [0x62,0xa2,0xfd,0x40,0x39,0xa4,0xf0,0x23,0x01,0x00,0x00]
1342          vpminsq 291(%rax,%r14,8), %zmm16, %zmm20
1343
1344// CHECK: vpminsq (%rcx){1to8}, %zmm16, %zmm20
1345// CHECK:  encoding: [0x62,0xe2,0xfd,0x50,0x39,0x21]
1346          vpminsq (%rcx){1to8}, %zmm16, %zmm20
1347
1348// CHECK: vpminsq 8128(%rdx), %zmm16, %zmm20
1349// CHECK:  encoding: [0x62,0xe2,0xfd,0x40,0x39,0x62,0x7f]
1350          vpminsq 8128(%rdx), %zmm16, %zmm20
1351
1352// CHECK: vpminsq 8192(%rdx), %zmm16, %zmm20
1353// CHECK:  encoding: [0x62,0xe2,0xfd,0x40,0x39,0xa2,0x00,0x20,0x00,0x00]
1354          vpminsq 8192(%rdx), %zmm16, %zmm20
1355
1356// CHECK: vpminsq -8192(%rdx), %zmm16, %zmm20
1357// CHECK:  encoding: [0x62,0xe2,0xfd,0x40,0x39,0x62,0x80]
1358          vpminsq -8192(%rdx), %zmm16, %zmm20
1359
1360// CHECK: vpminsq -8256(%rdx), %zmm16, %zmm20
1361// CHECK:  encoding: [0x62,0xe2,0xfd,0x40,0x39,0xa2,0xc0,0xdf,0xff,0xff]
1362          vpminsq -8256(%rdx), %zmm16, %zmm20
1363
1364// CHECK: vpminsq 1016(%rdx){1to8}, %zmm16, %zmm20
1365// CHECK:  encoding: [0x62,0xe2,0xfd,0x50,0x39,0x62,0x7f]
1366          vpminsq 1016(%rdx){1to8}, %zmm16, %zmm20
1367
1368// CHECK: vpminsq 1024(%rdx){1to8}, %zmm16, %zmm20
1369// CHECK:  encoding: [0x62,0xe2,0xfd,0x50,0x39,0xa2,0x00,0x04,0x00,0x00]
1370          vpminsq 1024(%rdx){1to8}, %zmm16, %zmm20
1371
1372// CHECK: vpminsq -1024(%rdx){1to8}, %zmm16, %zmm20
1373// CHECK:  encoding: [0x62,0xe2,0xfd,0x50,0x39,0x62,0x80]
1374          vpminsq -1024(%rdx){1to8}, %zmm16, %zmm20
1375
1376// CHECK: vpminsq -1032(%rdx){1to8}, %zmm16, %zmm20
1377// CHECK:  encoding: [0x62,0xe2,0xfd,0x50,0x39,0xa2,0xf8,0xfb,0xff,0xff]
1378          vpminsq -1032(%rdx){1to8}, %zmm16, %zmm20
1379
1380// CHECK: vpminud %zmm20, %zmm23, %zmm3
1381// CHECK:  encoding: [0x62,0xb2,0x45,0x40,0x3b,0xdc]
1382          vpminud %zmm20, %zmm23, %zmm3
1383
1384// CHECK: vpminud %zmm20, %zmm23, %zmm3 {%k3}
1385// CHECK:  encoding: [0x62,0xb2,0x45,0x43,0x3b,0xdc]
1386          vpminud %zmm20, %zmm23, %zmm3 {%k3}
1387
1388// CHECK: vpminud %zmm20, %zmm23, %zmm3 {%k3} {z}
1389// CHECK:  encoding: [0x62,0xb2,0x45,0xc3,0x3b,0xdc]
1390          vpminud %zmm20, %zmm23, %zmm3 {%k3} {z}
1391
1392// CHECK: vpminud (%rcx), %zmm23, %zmm3
1393// CHECK:  encoding: [0x62,0xf2,0x45,0x40,0x3b,0x19]
1394          vpminud (%rcx), %zmm23, %zmm3
1395
1396// CHECK: vpminud 291(%rax,%r14,8), %zmm23, %zmm3
1397// CHECK:  encoding: [0x62,0xb2,0x45,0x40,0x3b,0x9c,0xf0,0x23,0x01,0x00,0x00]
1398          vpminud 291(%rax,%r14,8), %zmm23, %zmm3
1399
1400// CHECK: vpminud (%rcx){1to16}, %zmm23, %zmm3
1401// CHECK:  encoding: [0x62,0xf2,0x45,0x50,0x3b,0x19]
1402          vpminud (%rcx){1to16}, %zmm23, %zmm3
1403
1404// CHECK: vpminud 8128(%rdx), %zmm23, %zmm3
1405// CHECK:  encoding: [0x62,0xf2,0x45,0x40,0x3b,0x5a,0x7f]
1406          vpminud 8128(%rdx), %zmm23, %zmm3
1407
1408// CHECK: vpminud 8192(%rdx), %zmm23, %zmm3
1409// CHECK:  encoding: [0x62,0xf2,0x45,0x40,0x3b,0x9a,0x00,0x20,0x00,0x00]
1410          vpminud 8192(%rdx), %zmm23, %zmm3
1411
1412// CHECK: vpminud -8192(%rdx), %zmm23, %zmm3
1413// CHECK:  encoding: [0x62,0xf2,0x45,0x40,0x3b,0x5a,0x80]
1414          vpminud -8192(%rdx), %zmm23, %zmm3
1415
1416// CHECK: vpminud -8256(%rdx), %zmm23, %zmm3
1417// CHECK:  encoding: [0x62,0xf2,0x45,0x40,0x3b,0x9a,0xc0,0xdf,0xff,0xff]
1418          vpminud -8256(%rdx), %zmm23, %zmm3
1419
1420// CHECK: vpminud 508(%rdx){1to16}, %zmm23, %zmm3
1421// CHECK:  encoding: [0x62,0xf2,0x45,0x50,0x3b,0x5a,0x7f]
1422          vpminud 508(%rdx){1to16}, %zmm23, %zmm3
1423
1424// CHECK: vpminud 512(%rdx){1to16}, %zmm23, %zmm3
1425// CHECK:  encoding: [0x62,0xf2,0x45,0x50,0x3b,0x9a,0x00,0x02,0x00,0x00]
1426          vpminud 512(%rdx){1to16}, %zmm23, %zmm3
1427
1428// CHECK: vpminud -512(%rdx){1to16}, %zmm23, %zmm3
1429// CHECK:  encoding: [0x62,0xf2,0x45,0x50,0x3b,0x5a,0x80]
1430          vpminud -512(%rdx){1to16}, %zmm23, %zmm3
1431
1432// CHECK: vpminud -516(%rdx){1to16}, %zmm23, %zmm3
1433// CHECK:  encoding: [0x62,0xf2,0x45,0x50,0x3b,0x9a,0xfc,0xfd,0xff,0xff]
1434          vpminud -516(%rdx){1to16}, %zmm23, %zmm3
1435
1436// CHECK: vpminuq %zmm7, %zmm26, %zmm11
1437// CHECK:  encoding: [0x62,0x72,0xad,0x40,0x3b,0xdf]
1438          vpminuq %zmm7, %zmm26, %zmm11
1439
1440// CHECK: vpminuq %zmm7, %zmm26, %zmm11 {%k5}
1441// CHECK:  encoding: [0x62,0x72,0xad,0x45,0x3b,0xdf]
1442          vpminuq %zmm7, %zmm26, %zmm11 {%k5}
1443
1444// CHECK: vpminuq %zmm7, %zmm26, %zmm11 {%k5} {z}
1445// CHECK:  encoding: [0x62,0x72,0xad,0xc5,0x3b,0xdf]
1446          vpminuq %zmm7, %zmm26, %zmm11 {%k5} {z}
1447
1448// CHECK: vpminuq (%rcx), %zmm26, %zmm11
1449// CHECK:  encoding: [0x62,0x72,0xad,0x40,0x3b,0x19]
1450          vpminuq (%rcx), %zmm26, %zmm11
1451
1452// CHECK: vpminuq 291(%rax,%r14,8), %zmm26, %zmm11
1453// CHECK:  encoding: [0x62,0x32,0xad,0x40,0x3b,0x9c,0xf0,0x23,0x01,0x00,0x00]
1454          vpminuq 291(%rax,%r14,8), %zmm26, %zmm11
1455
1456// CHECK: vpminuq (%rcx){1to8}, %zmm26, %zmm11
1457// CHECK:  encoding: [0x62,0x72,0xad,0x50,0x3b,0x19]
1458          vpminuq (%rcx){1to8}, %zmm26, %zmm11
1459
1460// CHECK: vpminuq 8128(%rdx), %zmm26, %zmm11
1461// CHECK:  encoding: [0x62,0x72,0xad,0x40,0x3b,0x5a,0x7f]
1462          vpminuq 8128(%rdx), %zmm26, %zmm11
1463
1464// CHECK: vpminuq 8192(%rdx), %zmm26, %zmm11
1465// CHECK:  encoding: [0x62,0x72,0xad,0x40,0x3b,0x9a,0x00,0x20,0x00,0x00]
1466          vpminuq 8192(%rdx), %zmm26, %zmm11
1467
1468// CHECK: vpminuq -8192(%rdx), %zmm26, %zmm11
1469// CHECK:  encoding: [0x62,0x72,0xad,0x40,0x3b,0x5a,0x80]
1470          vpminuq -8192(%rdx), %zmm26, %zmm11
1471
1472// CHECK: vpminuq -8256(%rdx), %zmm26, %zmm11
1473// CHECK:  encoding: [0x62,0x72,0xad,0x40,0x3b,0x9a,0xc0,0xdf,0xff,0xff]
1474          vpminuq -8256(%rdx), %zmm26, %zmm11
1475
1476// CHECK: vpminuq 1016(%rdx){1to8}, %zmm26, %zmm11
1477// CHECK:  encoding: [0x62,0x72,0xad,0x50,0x3b,0x5a,0x7f]
1478          vpminuq 1016(%rdx){1to8}, %zmm26, %zmm11
1479
1480// CHECK: vpminuq 1024(%rdx){1to8}, %zmm26, %zmm11
1481// CHECK:  encoding: [0x62,0x72,0xad,0x50,0x3b,0x9a,0x00,0x04,0x00,0x00]
1482          vpminuq 1024(%rdx){1to8}, %zmm26, %zmm11
1483
1484// CHECK: vpminuq -1024(%rdx){1to8}, %zmm26, %zmm11
1485// CHECK:  encoding: [0x62,0x72,0xad,0x50,0x3b,0x5a,0x80]
1486          vpminuq -1024(%rdx){1to8}, %zmm26, %zmm11
1487
1488// CHECK: vpminuq -1032(%rdx){1to8}, %zmm26, %zmm11
1489// CHECK:  encoding: [0x62,0x72,0xad,0x50,0x3b,0x9a,0xf8,0xfb,0xff,0xff]
1490          vpminuq -1032(%rdx){1to8}, %zmm26, %zmm11
1491
1492// CHECK: vpmovsxbd %xmm7, %zmm27
1493// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x21,0xdf]
1494          vpmovsxbd %xmm7, %zmm27
1495
1496// CHECK: vpmovsxbd %xmm7, %zmm27 {%k5}
1497// CHECK:  encoding: [0x62,0x62,0x7d,0x4d,0x21,0xdf]
1498          vpmovsxbd %xmm7, %zmm27 {%k5}
1499
1500// CHECK: vpmovsxbd %xmm7, %zmm27 {%k5} {z}
1501// CHECK:  encoding: [0x62,0x62,0x7d,0xcd,0x21,0xdf]
1502          vpmovsxbd %xmm7, %zmm27 {%k5} {z}
1503
1504// CHECK: vpmovsxbd (%rcx), %zmm27
1505// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x21,0x19]
1506          vpmovsxbd (%rcx), %zmm27
1507
1508// CHECK: vpmovsxbd 291(%rax,%r14,8), %zmm27
1509// CHECK:  encoding: [0x62,0x22,0x7d,0x48,0x21,0x9c,0xf0,0x23,0x01,0x00,0x00]
1510          vpmovsxbd 291(%rax,%r14,8), %zmm27
1511
1512// CHECK: vpmovsxbd 2032(%rdx), %zmm27
1513// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x21,0x5a,0x7f]
1514          vpmovsxbd 2032(%rdx), %zmm27
1515
1516// CHECK: vpmovsxbd 2048(%rdx), %zmm27
1517// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x21,0x9a,0x00,0x08,0x00,0x00]
1518          vpmovsxbd 2048(%rdx), %zmm27
1519
1520// CHECK: vpmovsxbd -2048(%rdx), %zmm27
1521// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x21,0x5a,0x80]
1522          vpmovsxbd -2048(%rdx), %zmm27
1523
1524// CHECK: vpmovsxbd -2064(%rdx), %zmm27
1525// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x21,0x9a,0xf0,0xf7,0xff,0xff]
1526          vpmovsxbd -2064(%rdx), %zmm27
1527
1528// CHECK: vpmovsxbd (%rcx), %zmm27 {%k1}
1529// CHECK:  encoding: [0x62,0x62,0x7d,0x49,0x21,0x19]
1530          vpmovsxbd (%rcx), %zmm27 {%k1}
1531
1532// CHECK: vpmovsxbd (%rcx), %zmm27 {%k2} {z}
1533// CHECK:  encoding: [0x62,0x62,0x7d,0xca,0x21,0x19]
1534          vpmovsxbd (%rcx), %zmm27 {%k2} {z}
1535
1536// CHECK: vpmovsxbq %xmm11, %zmm11
1537// CHECK:  encoding: [0x62,0x52,0x7d,0x48,0x22,0xdb]
1538          vpmovsxbq %xmm11, %zmm11
1539
1540// CHECK: vpmovsxbq %xmm11, %zmm11 {%k5}
1541// CHECK:  encoding: [0x62,0x52,0x7d,0x4d,0x22,0xdb]
1542          vpmovsxbq %xmm11, %zmm11 {%k5}
1543
1544// CHECK: vpmovsxbq %xmm11, %zmm11 {%k5} {z}
1545// CHECK:  encoding: [0x62,0x52,0x7d,0xcd,0x22,0xdb]
1546          vpmovsxbq %xmm11, %zmm11 {%k5} {z}
1547
1548// CHECK: vpmovsxbq (%rcx), %zmm11
1549// CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x22,0x19]
1550          vpmovsxbq (%rcx), %zmm11
1551
1552// CHECK: vpmovsxbq 291(%rax,%r14,8), %zmm11
1553// CHECK:  encoding: [0x62,0x32,0x7d,0x48,0x22,0x9c,0xf0,0x23,0x01,0x00,0x00]
1554          vpmovsxbq 291(%rax,%r14,8), %zmm11
1555
1556// CHECK: vpmovsxbq 1016(%rdx), %zmm11
1557// CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x22,0x5a,0x7f]
1558          vpmovsxbq 1016(%rdx), %zmm11
1559
1560// CHECK: vpmovsxbq 1024(%rdx), %zmm11
1561// CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x22,0x9a,0x00,0x04,0x00,0x00]
1562          vpmovsxbq 1024(%rdx), %zmm11
1563
1564// CHECK: vpmovsxbq -1024(%rdx), %zmm11
1565// CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x22,0x5a,0x80]
1566          vpmovsxbq -1024(%rdx), %zmm11
1567
1568// CHECK: vpmovsxbq -1032(%rdx), %zmm11
1569// CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x22,0x9a,0xf8,0xfb,0xff,0xff]
1570          vpmovsxbq -1032(%rdx), %zmm11
1571
1572// CHECK: vpmovsxdq %ymm29, %zmm26
1573// CHECK:  encoding: [0x62,0x02,0x7d,0x48,0x25,0xd5]
1574          vpmovsxdq %ymm29, %zmm26
1575
1576// CHECK: vpmovsxdq %ymm29, %zmm26 {%k1}
1577// CHECK:  encoding: [0x62,0x02,0x7d,0x49,0x25,0xd5]
1578          vpmovsxdq %ymm29, %zmm26 {%k1}
1579
1580// CHECK: vpmovsxdq %ymm29, %zmm26 {%k1} {z}
1581// CHECK:  encoding: [0x62,0x02,0x7d,0xc9,0x25,0xd5]
1582          vpmovsxdq %ymm29, %zmm26 {%k1} {z}
1583
1584// CHECK: vpmovsxdq (%rcx), %zmm26
1585// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x25,0x11]
1586          vpmovsxdq (%rcx), %zmm26
1587
1588// CHECK: vpmovsxdq 291(%rax,%r14,8), %zmm26
1589// CHECK:  encoding: [0x62,0x22,0x7d,0x48,0x25,0x94,0xf0,0x23,0x01,0x00,0x00]
1590          vpmovsxdq 291(%rax,%r14,8), %zmm26
1591
1592// CHECK: vpmovsxdq 4064(%rdx), %zmm26
1593// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x25,0x52,0x7f]
1594          vpmovsxdq 4064(%rdx), %zmm26
1595
1596// CHECK: vpmovsxdq 4096(%rdx), %zmm26
1597// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x25,0x92,0x00,0x10,0x00,0x00]
1598          vpmovsxdq 4096(%rdx), %zmm26
1599
1600// CHECK: vpmovsxdq -4096(%rdx), %zmm26
1601// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x25,0x52,0x80]
1602          vpmovsxdq -4096(%rdx), %zmm26
1603
1604// CHECK: vpmovsxdq -4128(%rdx), %zmm26
1605// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x25,0x92,0xe0,0xef,0xff,0xff]
1606          vpmovsxdq -4128(%rdx), %zmm26
1607
1608// CHECK: vpmovsxwd %ymm11, %zmm23
1609// CHECK:  encoding: [0x62,0xc2,0x7d,0x48,0x23,0xfb]
1610          vpmovsxwd %ymm11, %zmm23
1611
1612// CHECK: vpmovsxwd %ymm11, %zmm23 {%k2}
1613// CHECK:  encoding: [0x62,0xc2,0x7d,0x4a,0x23,0xfb]
1614          vpmovsxwd %ymm11, %zmm23 {%k2}
1615
1616// CHECK: vpmovsxwd %ymm11, %zmm23 {%k2} {z}
1617// CHECK:  encoding: [0x62,0xc2,0x7d,0xca,0x23,0xfb]
1618          vpmovsxwd %ymm11, %zmm23 {%k2} {z}
1619
1620// CHECK: vpmovsxwd (%rcx), %zmm23
1621// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x23,0x39]
1622          vpmovsxwd (%rcx), %zmm23
1623
1624// CHECK: vpmovsxwd 291(%rax,%r14,8), %zmm23
1625// CHECK:  encoding: [0x62,0xa2,0x7d,0x48,0x23,0xbc,0xf0,0x23,0x01,0x00,0x00]
1626          vpmovsxwd 291(%rax,%r14,8), %zmm23
1627
1628// CHECK: vpmovsxwd 4064(%rdx), %zmm23
1629// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x23,0x7a,0x7f]
1630          vpmovsxwd 4064(%rdx), %zmm23
1631
1632// CHECK: vpmovsxwd 4096(%rdx), %zmm23
1633// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x23,0xba,0x00,0x10,0x00,0x00]
1634          vpmovsxwd 4096(%rdx), %zmm23
1635
1636// CHECK: vpmovsxwd -4096(%rdx), %zmm23
1637// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x23,0x7a,0x80]
1638          vpmovsxwd -4096(%rdx), %zmm23
1639
1640// CHECK: vpmovsxwd -4128(%rdx), %zmm23
1641// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x23,0xba,0xe0,0xef,0xff,0xff]
1642          vpmovsxwd -4128(%rdx), %zmm23
1643
1644// CHECK: vpmovsxwq %xmm25, %zmm25
1645// CHECK:  encoding: [0x62,0x02,0x7d,0x48,0x24,0xc9]
1646          vpmovsxwq %xmm25, %zmm25
1647
1648// CHECK: vpmovsxwq %xmm25, %zmm25 {%k4}
1649// CHECK:  encoding: [0x62,0x02,0x7d,0x4c,0x24,0xc9]
1650          vpmovsxwq %xmm25, %zmm25 {%k4}
1651
1652// CHECK: vpmovsxwq %xmm25, %zmm25 {%k4} {z}
1653// CHECK:  encoding: [0x62,0x02,0x7d,0xcc,0x24,0xc9]
1654          vpmovsxwq %xmm25, %zmm25 {%k4} {z}
1655
1656// CHECK: vpmovsxwq (%rcx), %zmm25
1657// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x24,0x09]
1658          vpmovsxwq (%rcx), %zmm25
1659
1660// CHECK: vpmovsxwq 291(%rax,%r14,8), %zmm25
1661// CHECK:  encoding: [0x62,0x22,0x7d,0x48,0x24,0x8c,0xf0,0x23,0x01,0x00,0x00]
1662          vpmovsxwq 291(%rax,%r14,8), %zmm25
1663
1664// CHECK: vpmovsxwq 2032(%rdx), %zmm25
1665// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x24,0x4a,0x7f]
1666          vpmovsxwq 2032(%rdx), %zmm25
1667
1668// CHECK: vpmovsxwq 2048(%rdx), %zmm25
1669// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x24,0x8a,0x00,0x08,0x00,0x00]
1670          vpmovsxwq 2048(%rdx), %zmm25
1671
1672// CHECK: vpmovsxwq -2048(%rdx), %zmm25
1673// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x24,0x4a,0x80]
1674          vpmovsxwq -2048(%rdx), %zmm25
1675
1676// CHECK: vpmovsxwq -2064(%rdx), %zmm25
1677// CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x24,0x8a,0xf0,0xf7,0xff,0xff]
1678          vpmovsxwq -2064(%rdx), %zmm25
1679
1680// CHECK: vpmovzxbd %xmm25, %zmm18
1681// CHECK:  encoding: [0x62,0x82,0x7d,0x48,0x31,0xd1]
1682          vpmovzxbd %xmm25, %zmm18
1683
1684// CHECK: vpmovzxbd %xmm25, %zmm18 {%k7}
1685// CHECK:  encoding: [0x62,0x82,0x7d,0x4f,0x31,0xd1]
1686          vpmovzxbd %xmm25, %zmm18 {%k7}
1687
1688// CHECK: vpmovzxbd %xmm25, %zmm18 {%k7} {z}
1689// CHECK:  encoding: [0x62,0x82,0x7d,0xcf,0x31,0xd1]
1690          vpmovzxbd %xmm25, %zmm18 {%k7} {z}
1691
1692// CHECK: vpmovzxbd (%rcx), %zmm18
1693// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x31,0x11]
1694          vpmovzxbd (%rcx), %zmm18
1695
1696// CHECK: vpmovzxbd 291(%rax,%r14,8), %zmm18
1697// CHECK:  encoding: [0x62,0xa2,0x7d,0x48,0x31,0x94,0xf0,0x23,0x01,0x00,0x00]
1698          vpmovzxbd 291(%rax,%r14,8), %zmm18
1699
1700// CHECK: vpmovzxbd 2032(%rdx), %zmm18
1701// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x31,0x52,0x7f]
1702          vpmovzxbd 2032(%rdx), %zmm18
1703
1704// CHECK: vpmovzxbd 2048(%rdx), %zmm18
1705// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x31,0x92,0x00,0x08,0x00,0x00]
1706          vpmovzxbd 2048(%rdx), %zmm18
1707
1708// CHECK: vpmovzxbd -2048(%rdx), %zmm18
1709// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x31,0x52,0x80]
1710          vpmovzxbd -2048(%rdx), %zmm18
1711
1712// CHECK: vpmovzxbd -2064(%rdx), %zmm18
1713// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x31,0x92,0xf0,0xf7,0xff,0xff]
1714          vpmovzxbd -2064(%rdx), %zmm18
1715
1716// CHECK: vpmovzxbq %xmm15, %zmm5
1717// CHECK:  encoding: [0x62,0xd2,0x7d,0x48,0x32,0xef]
1718          vpmovzxbq %xmm15, %zmm5
1719
1720// CHECK: vpmovzxbq %xmm15, %zmm5 {%k1}
1721// CHECK:  encoding: [0x62,0xd2,0x7d,0x49,0x32,0xef]
1722          vpmovzxbq %xmm15, %zmm5 {%k1}
1723
1724// CHECK: vpmovzxbq %xmm15, %zmm5 {%k1} {z}
1725// CHECK:  encoding: [0x62,0xd2,0x7d,0xc9,0x32,0xef]
1726          vpmovzxbq %xmm15, %zmm5 {%k1} {z}
1727
1728// CHECK: vpmovzxbq (%rcx), %zmm5
1729// CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x32,0x29]
1730          vpmovzxbq (%rcx), %zmm5
1731
1732// CHECK: vpmovzxbq 291(%rax,%r14,8), %zmm5
1733// CHECK:  encoding: [0x62,0xb2,0x7d,0x48,0x32,0xac,0xf0,0x23,0x01,0x00,0x00]
1734          vpmovzxbq 291(%rax,%r14,8), %zmm5
1735
1736// CHECK: vpmovzxbq 1016(%rdx), %zmm5
1737// CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x32,0x6a,0x7f]
1738          vpmovzxbq 1016(%rdx), %zmm5
1739
1740// CHECK: vpmovzxbq 1024(%rdx), %zmm5
1741// CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x32,0xaa,0x00,0x04,0x00,0x00]
1742          vpmovzxbq 1024(%rdx), %zmm5
1743
1744// CHECK: vpmovzxbq -1024(%rdx), %zmm5
1745// CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x32,0x6a,0x80]
1746          vpmovzxbq -1024(%rdx), %zmm5
1747
1748// CHECK: vpmovzxbq -1032(%rdx), %zmm5
1749// CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x32,0xaa,0xf8,0xfb,0xff,0xff]
1750          vpmovzxbq -1032(%rdx), %zmm5
1751
1752// CHECK: vpmovzxdq %ymm4, %zmm20
1753// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x35,0xe4]
1754          vpmovzxdq %ymm4, %zmm20
1755
1756// CHECK: vpmovzxdq %ymm4, %zmm20 {%k3}
1757// CHECK:  encoding: [0x62,0xe2,0x7d,0x4b,0x35,0xe4]
1758          vpmovzxdq %ymm4, %zmm20 {%k3}
1759
1760// CHECK: vpmovzxdq %ymm4, %zmm20 {%k3} {z}
1761// CHECK:  encoding: [0x62,0xe2,0x7d,0xcb,0x35,0xe4]
1762          vpmovzxdq %ymm4, %zmm20 {%k3} {z}
1763
1764// CHECK: vpmovzxdq (%rcx), %zmm20
1765// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x35,0x21]
1766          vpmovzxdq (%rcx), %zmm20
1767
1768// CHECK: vpmovzxdq 291(%rax,%r14,8), %zmm20
1769// CHECK:  encoding: [0x62,0xa2,0x7d,0x48,0x35,0xa4,0xf0,0x23,0x01,0x00,0x00]
1770          vpmovzxdq 291(%rax,%r14,8), %zmm20
1771
1772// CHECK: vpmovzxdq 4064(%rdx), %zmm20
1773// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x35,0x62,0x7f]
1774          vpmovzxdq 4064(%rdx), %zmm20
1775
1776// CHECK: vpmovzxdq 4096(%rdx), %zmm20
1777// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x35,0xa2,0x00,0x10,0x00,0x00]
1778          vpmovzxdq 4096(%rdx), %zmm20
1779
1780// CHECK: vpmovzxdq -4096(%rdx), %zmm20
1781// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x35,0x62,0x80]
1782          vpmovzxdq -4096(%rdx), %zmm20
1783
1784// CHECK: vpmovzxdq -4128(%rdx), %zmm20
1785// CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x35,0xa2,0xe0,0xef,0xff,0xff]
1786          vpmovzxdq -4128(%rdx), %zmm20
1787
1788// CHECK: vpmovzxwd %ymm6, %zmm8
1789// CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x33,0xc6]
1790          vpmovzxwd %ymm6, %zmm8
1791
1792// CHECK: vpmovzxwd %ymm6, %zmm8 {%k7}
1793// CHECK:  encoding: [0x62,0x72,0x7d,0x4f,0x33,0xc6]
1794          vpmovzxwd %ymm6, %zmm8 {%k7}
1795
1796// CHECK: vpmovzxwd %ymm6, %zmm8 {%k7} {z}
1797// CHECK:  encoding: [0x62,0x72,0x7d,0xcf,0x33,0xc6]
1798          vpmovzxwd %ymm6, %zmm8 {%k7} {z}
1799
1800// CHECK: vpmovzxwd (%rcx), %zmm8
1801// CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x33,0x01]
1802          vpmovzxwd (%rcx), %zmm8
1803
1804// CHECK: vpmovzxwd 291(%rax,%r14,8), %zmm8
1805// CHECK:  encoding: [0x62,0x32,0x7d,0x48,0x33,0x84,0xf0,0x23,0x01,0x00,0x00]
1806          vpmovzxwd 291(%rax,%r14,8), %zmm8
1807
1808// CHECK: vpmovzxwd 4064(%rdx), %zmm8
1809// CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x33,0x42,0x7f]
1810          vpmovzxwd 4064(%rdx), %zmm8
1811
1812// CHECK: vpmovzxwd 4096(%rdx), %zmm8
1813// CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x33,0x82,0x00,0x10,0x00,0x00]
1814          vpmovzxwd 4096(%rdx), %zmm8
1815
1816// CHECK: vpmovzxwd -4096(%rdx), %zmm8
1817// CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x33,0x42,0x80]
1818          vpmovzxwd -4096(%rdx), %zmm8
1819
1820// CHECK: vpmovzxwd -4128(%rdx), %zmm8
1821// CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x33,0x82,0xe0,0xef,0xff,0xff]
1822          vpmovzxwd -4128(%rdx), %zmm8
1823
1824// CHECK: vpmovzxwq %xmm15, %zmm5
1825// CHECK:  encoding: [0x62,0xd2,0x7d,0x48,0x34,0xef]
1826          vpmovzxwq %xmm15, %zmm5
1827
1828// CHECK: vpmovzxwq %xmm15, %zmm5 {%k7}
1829// CHECK:  encoding: [0x62,0xd2,0x7d,0x4f,0x34,0xef]
1830          vpmovzxwq %xmm15, %zmm5 {%k7}
1831
1832// CHECK: vpmovzxwq %xmm15, %zmm5 {%k7} {z}
1833// CHECK:  encoding: [0x62,0xd2,0x7d,0xcf,0x34,0xef]
1834          vpmovzxwq %xmm15, %zmm5 {%k7} {z}
1835
1836// CHECK: vpmovzxwq (%rcx), %zmm5
1837// CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x34,0x29]
1838          vpmovzxwq (%rcx), %zmm5
1839
1840// CHECK: vpmovzxwq 291(%rax,%r14,8), %zmm5
1841// CHECK:  encoding: [0x62,0xb2,0x7d,0x48,0x34,0xac,0xf0,0x23,0x01,0x00,0x00]
1842          vpmovzxwq 291(%rax,%r14,8), %zmm5
1843
1844// CHECK: vpmovzxwq 2032(%rdx), %zmm5
1845// CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x34,0x6a,0x7f]
1846          vpmovzxwq 2032(%rdx), %zmm5
1847
1848// CHECK: vpmovzxwq 2048(%rdx), %zmm5
1849// CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x34,0xaa,0x00,0x08,0x00,0x00]
1850          vpmovzxwq 2048(%rdx), %zmm5
1851
1852// CHECK: vpmovzxwq -2048(%rdx), %zmm5
1853// CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x34,0x6a,0x80]
1854          vpmovzxwq -2048(%rdx), %zmm5
1855
1856// CHECK: vpmovzxwq -2064(%rdx), %zmm5
1857// CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x34,0xaa,0xf0,0xf7,0xff,0xff]
1858          vpmovzxwq -2064(%rdx), %zmm5
1859
1860// CHECK: vpmuldq %zmm9, %zmm9, %zmm29
1861// CHECK:  encoding: [0x62,0x42,0xb5,0x48,0x28,0xe9]
1862          vpmuldq %zmm9, %zmm9, %zmm29
1863
1864// CHECK: vpmuldq %zmm9, %zmm9, %zmm29 {%k5}
1865// CHECK:  encoding: [0x62,0x42,0xb5,0x4d,0x28,0xe9]
1866          vpmuldq %zmm9, %zmm9, %zmm29 {%k5}
1867
1868// CHECK: vpmuldq %zmm9, %zmm9, %zmm29 {%k5} {z}
1869// CHECK:  encoding: [0x62,0x42,0xb5,0xcd,0x28,0xe9]
1870          vpmuldq %zmm9, %zmm9, %zmm29 {%k5} {z}
1871
1872// CHECK: vpmuldq (%rcx), %zmm9, %zmm29
1873// CHECK:  encoding: [0x62,0x62,0xb5,0x48,0x28,0x29]
1874          vpmuldq (%rcx), %zmm9, %zmm29
1875
1876// CHECK: vpmuldq (%rcx), %zmm9, %zmm29 {%k6}
1877// CHECK:  encoding: [0x62,0x62,0xb5,0x4e,0x28,0x29]
1878          vpmuldq (%rcx), %zmm9, %zmm29 {%k6}
1879
1880// CHECK: vpmuldq (%rcx), %zmm9, %zmm29 {%k6} {z}
1881// CHECK:  encoding: [0x62,0x62,0xb5,0xce,0x28,0x29]
1882          vpmuldq (%rcx), %zmm9, %zmm29 {%k6} {z}
1883
1884// CHECK: vpmuldq 291(%rax,%r14,8), %zmm9, %zmm29
1885// CHECK:  encoding: [0x62,0x22,0xb5,0x48,0x28,0xac,0xf0,0x23,0x01,0x00,0x00]
1886          vpmuldq 291(%rax,%r14,8), %zmm9, %zmm29
1887
1888// CHECK: vpmuldq (%rcx){1to8}, %zmm9, %zmm29
1889// CHECK:  encoding: [0x62,0x62,0xb5,0x58,0x28,0x29]
1890          vpmuldq (%rcx){1to8}, %zmm9, %zmm29
1891
1892// CHECK: vpmuldq (%rcx){1to8}, %zmm9, %zmm29 {%k3}
1893// CHECK:  encoding: [0x62,0x62,0xb5,0x5b,0x28,0x29]
1894          vpmuldq (%rcx){1to8}, %zmm9, %zmm29 {%k3}
1895
1896// CHECK: vpmuldq (%rcx){1to8}, %zmm9, %zmm29
1897// CHECK:  encoding: [0x62,0x62,0xb5,0xdb,0x28,0x29]
1898          vpmuldq (%rcx){1to8}, %zmm9, %zmm29 {%k3} {z}
1899
1900// CHECK: vpmuldq 8128(%rdx), %zmm9, %zmm29
1901// CHECK:  encoding: [0x62,0x62,0xb5,0x48,0x28,0x6a,0x7f]
1902          vpmuldq 8128(%rdx), %zmm9, %zmm29
1903
1904// CHECK: vpmuldq 8192(%rdx), %zmm9, %zmm29
1905// CHECK:  encoding: [0x62,0x62,0xb5,0x48,0x28,0xaa,0x00,0x20,0x00,0x00]
1906          vpmuldq 8192(%rdx), %zmm9, %zmm29
1907
1908// CHECK: vpmuldq -8192(%rdx), %zmm9, %zmm29
1909// CHECK:  encoding: [0x62,0x62,0xb5,0x48,0x28,0x6a,0x80]
1910          vpmuldq -8192(%rdx), %zmm9, %zmm29
1911
1912// CHECK: vpmuldq -8256(%rdx), %zmm9, %zmm29
1913// CHECK:  encoding: [0x62,0x62,0xb5,0x48,0x28,0xaa,0xc0,0xdf,0xff,0xff]
1914          vpmuldq -8256(%rdx), %zmm9, %zmm29
1915
1916// CHECK: vpmuldq 1016(%rdx){1to8}, %zmm9, %zmm29
1917// CHECK:  encoding: [0x62,0x62,0xb5,0x58,0x28,0x6a,0x7f]
1918          vpmuldq 1016(%rdx){1to8}, %zmm9, %zmm29
1919
1920// CHECK: vpmuldq 1024(%rdx){1to8}, %zmm9, %zmm29
1921// CHECK:  encoding: [0x62,0x62,0xb5,0x58,0x28,0xaa,0x00,0x04,0x00,0x00]
1922          vpmuldq 1024(%rdx){1to8}, %zmm9, %zmm29
1923
1924// CHECK: vpmuldq -1024(%rdx){1to8}, %zmm9, %zmm29
1925// CHECK:  encoding: [0x62,0x62,0xb5,0x58,0x28,0x6a,0x80]
1926          vpmuldq -1024(%rdx){1to8}, %zmm9, %zmm29
1927
1928// CHECK: vpmuldq -1032(%rdx){1to8}, %zmm9, %zmm29
1929// CHECK:  encoding: [0x62,0x62,0xb5,0x58,0x28,0xaa,0xf8,0xfb,0xff,0xff]
1930          vpmuldq -1032(%rdx){1to8}, %zmm9, %zmm29
1931
1932// CHECK: vpmulld %zmm2, %zmm3, %zmm12
1933// CHECK:  encoding: [0x62,0x72,0x65,0x48,0x40,0xe2]
1934          vpmulld %zmm2, %zmm3, %zmm12
1935
1936// CHECK: vpmulld %zmm2, %zmm3, %zmm12 {%k6}
1937// CHECK:  encoding: [0x62,0x72,0x65,0x4e,0x40,0xe2]
1938          vpmulld %zmm2, %zmm3, %zmm12 {%k6}
1939
1940// CHECK: vpmulld %zmm2, %zmm3, %zmm12 {%k6} {z}
1941// CHECK:  encoding: [0x62,0x72,0x65,0xce,0x40,0xe2]
1942          vpmulld %zmm2, %zmm3, %zmm12 {%k6} {z}
1943
1944// CHECK: vpmulld (%rcx), %zmm3, %zmm12
1945// CHECK:  encoding: [0x62,0x72,0x65,0x48,0x40,0x21]
1946          vpmulld (%rcx), %zmm3, %zmm12
1947
1948// CHECK: vpmulld 291(%rax,%r14,8), %zmm3, %zmm12
1949// CHECK:  encoding: [0x62,0x32,0x65,0x48,0x40,0xa4,0xf0,0x23,0x01,0x00,0x00]
1950          vpmulld 291(%rax,%r14,8), %zmm3, %zmm12
1951
1952// CHECK: vpmulld (%rcx){1to16}, %zmm3, %zmm12
1953// CHECK:  encoding: [0x62,0x72,0x65,0x58,0x40,0x21]
1954          vpmulld (%rcx){1to16}, %zmm3, %zmm12
1955
1956// CHECK: vpmulld 8128(%rdx), %zmm3, %zmm12
1957// CHECK:  encoding: [0x62,0x72,0x65,0x48,0x40,0x62,0x7f]
1958          vpmulld 8128(%rdx), %zmm3, %zmm12
1959
1960// CHECK: vpmulld 8192(%rdx), %zmm3, %zmm12
1961// CHECK:  encoding: [0x62,0x72,0x65,0x48,0x40,0xa2,0x00,0x20,0x00,0x00]
1962          vpmulld 8192(%rdx), %zmm3, %zmm12
1963
1964// CHECK: vpmulld -8192(%rdx), %zmm3, %zmm12
1965// CHECK:  encoding: [0x62,0x72,0x65,0x48,0x40,0x62,0x80]
1966          vpmulld -8192(%rdx), %zmm3, %zmm12
1967
1968// CHECK: vpmulld -8256(%rdx), %zmm3, %zmm12
1969// CHECK:  encoding: [0x62,0x72,0x65,0x48,0x40,0xa2,0xc0,0xdf,0xff,0xff]
1970          vpmulld -8256(%rdx), %zmm3, %zmm12
1971
1972// CHECK: vpmulld 508(%rdx){1to16}, %zmm3, %zmm12
1973// CHECK:  encoding: [0x62,0x72,0x65,0x58,0x40,0x62,0x7f]
1974          vpmulld 508(%rdx){1to16}, %zmm3, %zmm12
1975
1976// CHECK: vpmulld 512(%rdx){1to16}, %zmm3, %zmm12
1977// CHECK:  encoding: [0x62,0x72,0x65,0x58,0x40,0xa2,0x00,0x02,0x00,0x00]
1978          vpmulld 512(%rdx){1to16}, %zmm3, %zmm12
1979
1980// CHECK: vpmulld -512(%rdx){1to16}, %zmm3, %zmm12
1981// CHECK:  encoding: [0x62,0x72,0x65,0x58,0x40,0x62,0x80]
1982          vpmulld -512(%rdx){1to16}, %zmm3, %zmm12
1983
1984// CHECK: vpmulld -516(%rdx){1to16}, %zmm3, %zmm12
1985// CHECK:  encoding: [0x62,0x72,0x65,0x58,0x40,0xa2,0xfc,0xfd,0xff,0xff]
1986          vpmulld -516(%rdx){1to16}, %zmm3, %zmm12
1987
1988// CHECK: vpmuludq %zmm9, %zmm5, %zmm23
1989// CHECK:  encoding: [0x62,0xc1,0xd5,0x48,0xf4,0xf9]
1990          vpmuludq %zmm9, %zmm5, %zmm23
1991
1992// CHECK: vpmuludq %zmm9, %zmm5, %zmm23 {%k4}
1993// CHECK:  encoding: [0x62,0xc1,0xd5,0x4c,0xf4,0xf9]
1994          vpmuludq %zmm9, %zmm5, %zmm23 {%k4}
1995
1996// CHECK: vpmuludq %zmm9, %zmm5, %zmm23 {%k4} {z}
1997// CHECK:  encoding: [0x62,0xc1,0xd5,0xcc,0xf4,0xf9]
1998          vpmuludq %zmm9, %zmm5, %zmm23 {%k4} {z}
1999
2000// CHECK: vpmuludq (%rcx), %zmm5, %zmm23
2001// CHECK:  encoding: [0x62,0xe1,0xd5,0x48,0xf4,0x39]
2002          vpmuludq (%rcx), %zmm5, %zmm23
2003
2004// CHECK: vpmuludq 291(%rax,%r14,8), %zmm5, %zmm23
2005// CHECK:  encoding: [0x62,0xa1,0xd5,0x48,0xf4,0xbc,0xf0,0x23,0x01,0x00,0x00]
2006          vpmuludq 291(%rax,%r14,8), %zmm5, %zmm23
2007
2008// CHECK: vpmuludq (%rcx){1to8}, %zmm5, %zmm23
2009// CHECK:  encoding: [0x62,0xe1,0xd5,0x58,0xf4,0x39]
2010          vpmuludq (%rcx){1to8}, %zmm5, %zmm23
2011
2012// CHECK: vpmuludq 8128(%rdx), %zmm5, %zmm23
2013// CHECK:  encoding: [0x62,0xe1,0xd5,0x48,0xf4,0x7a,0x7f]
2014          vpmuludq 8128(%rdx), %zmm5, %zmm23
2015
2016// CHECK: vpmuludq 8192(%rdx), %zmm5, %zmm23
2017// CHECK:  encoding: [0x62,0xe1,0xd5,0x48,0xf4,0xba,0x00,0x20,0x00,0x00]
2018          vpmuludq 8192(%rdx), %zmm5, %zmm23
2019
2020// CHECK: vpmuludq -8192(%rdx), %zmm5, %zmm23
2021// CHECK:  encoding: [0x62,0xe1,0xd5,0x48,0xf4,0x7a,0x80]
2022          vpmuludq -8192(%rdx), %zmm5, %zmm23
2023
2024// CHECK: vpmuludq -8256(%rdx), %zmm5, %zmm23
2025// CHECK:  encoding: [0x62,0xe1,0xd5,0x48,0xf4,0xba,0xc0,0xdf,0xff,0xff]
2026          vpmuludq -8256(%rdx), %zmm5, %zmm23
2027
2028// CHECK: vpmuludq 1016(%rdx){1to8}, %zmm5, %zmm23
2029// CHECK:  encoding: [0x62,0xe1,0xd5,0x58,0xf4,0x7a,0x7f]
2030          vpmuludq 1016(%rdx){1to8}, %zmm5, %zmm23
2031
2032// CHECK: vpmuludq 1024(%rdx){1to8}, %zmm5, %zmm23
2033// CHECK:  encoding: [0x62,0xe1,0xd5,0x58,0xf4,0xba,0x00,0x04,0x00,0x00]
2034          vpmuludq 1024(%rdx){1to8}, %zmm5, %zmm23
2035
2036// CHECK: vpmuludq -1024(%rdx){1to8}, %zmm5, %zmm23
2037// CHECK:  encoding: [0x62,0xe1,0xd5,0x58,0xf4,0x7a,0x80]
2038          vpmuludq -1024(%rdx){1to8}, %zmm5, %zmm23
2039
2040// CHECK: vpmuludq -1032(%rdx){1to8}, %zmm5, %zmm23
2041// CHECK:  encoding: [0x62,0xe1,0xd5,0x58,0xf4,0xba,0xf8,0xfb,0xff,0xff]
2042          vpmuludq -1032(%rdx){1to8}, %zmm5, %zmm23
2043
2044// CHECK: vpord  %zmm20, %zmm2, %zmm23
2045// CHECK:  encoding: [0x62,0xa1,0x6d,0x48,0xeb,0xfc]
2046          vpord  %zmm20, %zmm2, %zmm23
2047
2048// CHECK: vpord  %zmm20, %zmm2, %zmm23 {%k2}
2049// CHECK:  encoding: [0x62,0xa1,0x6d,0x4a,0xeb,0xfc]
2050          vpord  %zmm20, %zmm2, %zmm23 {%k2}
2051
2052// CHECK: vpord  %zmm20, %zmm2, %zmm23 {%k2} {z}
2053// CHECK:  encoding: [0x62,0xa1,0x6d,0xca,0xeb,0xfc]
2054          vpord  %zmm20, %zmm2, %zmm23 {%k2} {z}
2055
2056// CHECK: vpord  (%rcx), %zmm2, %zmm23
2057// CHECK:  encoding: [0x62,0xe1,0x6d,0x48,0xeb,0x39]
2058          vpord  (%rcx), %zmm2, %zmm23
2059
2060// CHECK: vpord  291(%rax,%r14,8), %zmm2, %zmm23
2061// CHECK:  encoding: [0x62,0xa1,0x6d,0x48,0xeb,0xbc,0xf0,0x23,0x01,0x00,0x00]
2062          vpord  291(%rax,%r14,8), %zmm2, %zmm23
2063
2064// CHECK: vpord  (%rcx){1to16}, %zmm2, %zmm23
2065// CHECK:  encoding: [0x62,0xe1,0x6d,0x58,0xeb,0x39]
2066          vpord  (%rcx){1to16}, %zmm2, %zmm23
2067
2068// CHECK: vpord  8128(%rdx), %zmm2, %zmm23
2069// CHECK:  encoding: [0x62,0xe1,0x6d,0x48,0xeb,0x7a,0x7f]
2070          vpord  8128(%rdx), %zmm2, %zmm23
2071
2072// CHECK: vpord  8192(%rdx), %zmm2, %zmm23
2073// CHECK:  encoding: [0x62,0xe1,0x6d,0x48,0xeb,0xba,0x00,0x20,0x00,0x00]
2074          vpord  8192(%rdx), %zmm2, %zmm23
2075
2076// CHECK: vpord  -8192(%rdx), %zmm2, %zmm23
2077// CHECK:  encoding: [0x62,0xe1,0x6d,0x48,0xeb,0x7a,0x80]
2078          vpord  -8192(%rdx), %zmm2, %zmm23
2079
2080// CHECK: vpord  -8256(%rdx), %zmm2, %zmm23
2081// CHECK:  encoding: [0x62,0xe1,0x6d,0x48,0xeb,0xba,0xc0,0xdf,0xff,0xff]
2082          vpord  -8256(%rdx), %zmm2, %zmm23
2083
2084// CHECK: vpord  508(%rdx){1to16}, %zmm2, %zmm23
2085// CHECK:  encoding: [0x62,0xe1,0x6d,0x58,0xeb,0x7a,0x7f]
2086          vpord  508(%rdx){1to16}, %zmm2, %zmm23
2087
2088// CHECK: vpord  512(%rdx){1to16}, %zmm2, %zmm23
2089// CHECK:  encoding: [0x62,0xe1,0x6d,0x58,0xeb,0xba,0x00,0x02,0x00,0x00]
2090          vpord  512(%rdx){1to16}, %zmm2, %zmm23
2091
2092// CHECK: vpord  -512(%rdx){1to16}, %zmm2, %zmm23
2093// CHECK:  encoding: [0x62,0xe1,0x6d,0x58,0xeb,0x7a,0x80]
2094          vpord  -512(%rdx){1to16}, %zmm2, %zmm23
2095
2096// CHECK: vpord  -516(%rdx){1to16}, %zmm2, %zmm23
2097// CHECK:  encoding: [0x62,0xe1,0x6d,0x58,0xeb,0xba,0xfc,0xfd,0xff,0xff]
2098          vpord  -516(%rdx){1to16}, %zmm2, %zmm23
2099
2100// CHECK: vporq  %zmm6, %zmm10, %zmm1
2101// CHECK:  encoding: [0x62,0xf1,0xad,0x48,0xeb,0xce]
2102          vporq  %zmm6, %zmm10, %zmm1
2103
2104// CHECK: vporq  %zmm6, %zmm10, %zmm1 {%k2}
2105// CHECK:  encoding: [0x62,0xf1,0xad,0x4a,0xeb,0xce]
2106          vporq  %zmm6, %zmm10, %zmm1 {%k2}
2107
2108// CHECK: vporq  %zmm6, %zmm10, %zmm1 {%k2} {z}
2109// CHECK:  encoding: [0x62,0xf1,0xad,0xca,0xeb,0xce]
2110          vporq  %zmm6, %zmm10, %zmm1 {%k2} {z}
2111
2112// CHECK: vporq  (%rcx), %zmm10, %zmm1
2113// CHECK:  encoding: [0x62,0xf1,0xad,0x48,0xeb,0x09]
2114          vporq  (%rcx), %zmm10, %zmm1
2115
2116// CHECK: vporq  291(%rax,%r14,8), %zmm10, %zmm1
2117// CHECK:  encoding: [0x62,0xb1,0xad,0x48,0xeb,0x8c,0xf0,0x23,0x01,0x00,0x00]
2118          vporq  291(%rax,%r14,8), %zmm10, %zmm1
2119
2120// CHECK: vporq  (%rcx){1to8}, %zmm10, %zmm1
2121// CHECK:  encoding: [0x62,0xf1,0xad,0x58,0xeb,0x09]
2122          vporq  (%rcx){1to8}, %zmm10, %zmm1
2123
2124// CHECK: vporq  8128(%rdx), %zmm10, %zmm1
2125// CHECK:  encoding: [0x62,0xf1,0xad,0x48,0xeb,0x4a,0x7f]
2126          vporq  8128(%rdx), %zmm10, %zmm1
2127
2128// CHECK: vporq  8192(%rdx), %zmm10, %zmm1
2129// CHECK:  encoding: [0x62,0xf1,0xad,0x48,0xeb,0x8a,0x00,0x20,0x00,0x00]
2130          vporq  8192(%rdx), %zmm10, %zmm1
2131
2132// CHECK: vporq  -8192(%rdx), %zmm10, %zmm1
2133// CHECK:  encoding: [0x62,0xf1,0xad,0x48,0xeb,0x4a,0x80]
2134          vporq  -8192(%rdx), %zmm10, %zmm1
2135
2136// CHECK: vporq  -8256(%rdx), %zmm10, %zmm1
2137// CHECK:  encoding: [0x62,0xf1,0xad,0x48,0xeb,0x8a,0xc0,0xdf,0xff,0xff]
2138          vporq  -8256(%rdx), %zmm10, %zmm1
2139
2140// CHECK: vporq  1016(%rdx){1to8}, %zmm10, %zmm1
2141// CHECK:  encoding: [0x62,0xf1,0xad,0x58,0xeb,0x4a,0x7f]
2142          vporq  1016(%rdx){1to8}, %zmm10, %zmm1
2143
2144// CHECK: vporq  1024(%rdx){1to8}, %zmm10, %zmm1
2145// CHECK:  encoding: [0x62,0xf1,0xad,0x58,0xeb,0x8a,0x00,0x04,0x00,0x00]
2146          vporq  1024(%rdx){1to8}, %zmm10, %zmm1
2147
2148// CHECK: vporq  -1024(%rdx){1to8}, %zmm10, %zmm1
2149// CHECK:  encoding: [0x62,0xf1,0xad,0x58,0xeb,0x4a,0x80]
2150          vporq  -1024(%rdx){1to8}, %zmm10, %zmm1
2151
2152// CHECK: vporq  -1032(%rdx){1to8}, %zmm10, %zmm1
2153// CHECK:  encoding: [0x62,0xf1,0xad,0x58,0xeb,0x8a,0xf8,0xfb,0xff,0xff]
2154          vporq  -1032(%rdx){1to8}, %zmm10, %zmm1
2155
2156// CHECK: vpsubd %zmm7, %zmm28, %zmm7
2157// CHECK:  encoding: [0x62,0xf1,0x1d,0x40,0xfa,0xff]
2158          vpsubd %zmm7, %zmm28, %zmm7
2159
2160// CHECK: vpsubd %zmm7, %zmm28, %zmm7 {%k3}
2161// CHECK:  encoding: [0x62,0xf1,0x1d,0x43,0xfa,0xff]
2162          vpsubd %zmm7, %zmm28, %zmm7 {%k3}
2163
2164// CHECK: vpsubd %zmm7, %zmm28, %zmm7 {%k3} {z}
2165// CHECK:  encoding: [0x62,0xf1,0x1d,0xc3,0xfa,0xff]
2166          vpsubd %zmm7, %zmm28, %zmm7 {%k3} {z}
2167
2168// CHECK: vpsubd (%rcx), %zmm28, %zmm7
2169// CHECK:  encoding: [0x62,0xf1,0x1d,0x40,0xfa,0x39]
2170          vpsubd (%rcx), %zmm28, %zmm7
2171
2172// CHECK: vpsubd 291(%rax,%r14,8), %zmm28, %zmm7
2173// CHECK:  encoding: [0x62,0xb1,0x1d,0x40,0xfa,0xbc,0xf0,0x23,0x01,0x00,0x00]
2174          vpsubd 291(%rax,%r14,8), %zmm28, %zmm7
2175
2176// CHECK: vpsubd (%rcx){1to16}, %zmm28, %zmm7
2177// CHECK:  encoding: [0x62,0xf1,0x1d,0x50,0xfa,0x39]
2178          vpsubd (%rcx){1to16}, %zmm28, %zmm7
2179
2180// CHECK: vpsubd 8128(%rdx), %zmm28, %zmm7
2181// CHECK:  encoding: [0x62,0xf1,0x1d,0x40,0xfa,0x7a,0x7f]
2182          vpsubd 8128(%rdx), %zmm28, %zmm7
2183
2184// CHECK: vpsubd 8192(%rdx), %zmm28, %zmm7
2185// CHECK:  encoding: [0x62,0xf1,0x1d,0x40,0xfa,0xba,0x00,0x20,0x00,0x00]
2186          vpsubd 8192(%rdx), %zmm28, %zmm7
2187
2188// CHECK: vpsubd -8192(%rdx), %zmm28, %zmm7
2189// CHECK:  encoding: [0x62,0xf1,0x1d,0x40,0xfa,0x7a,0x80]
2190          vpsubd -8192(%rdx), %zmm28, %zmm7
2191
2192// CHECK: vpsubd -8256(%rdx), %zmm28, %zmm7
2193// CHECK:  encoding: [0x62,0xf1,0x1d,0x40,0xfa,0xba,0xc0,0xdf,0xff,0xff]
2194          vpsubd -8256(%rdx), %zmm28, %zmm7
2195
2196// CHECK: vpsubd 508(%rdx){1to16}, %zmm28, %zmm7
2197// CHECK:  encoding: [0x62,0xf1,0x1d,0x50,0xfa,0x7a,0x7f]
2198          vpsubd 508(%rdx){1to16}, %zmm28, %zmm7
2199
2200// CHECK: vpsubd 512(%rdx){1to16}, %zmm28, %zmm7
2201// CHECK:  encoding: [0x62,0xf1,0x1d,0x50,0xfa,0xba,0x00,0x02,0x00,0x00]
2202          vpsubd 512(%rdx){1to16}, %zmm28, %zmm7
2203
2204// CHECK: vpsubd -512(%rdx){1to16}, %zmm28, %zmm7
2205// CHECK:  encoding: [0x62,0xf1,0x1d,0x50,0xfa,0x7a,0x80]
2206          vpsubd -512(%rdx){1to16}, %zmm28, %zmm7
2207
2208// CHECK: vpsubd -516(%rdx){1to16}, %zmm28, %zmm7
2209// CHECK:  encoding: [0x62,0xf1,0x1d,0x50,0xfa,0xba,0xfc,0xfd,0xff,0xff]
2210          vpsubd -516(%rdx){1to16}, %zmm28, %zmm7
2211
2212// CHECK: vpsubq %zmm17, %zmm28, %zmm29
2213// CHECK:  encoding: [0x62,0x21,0x9d,0x40,0xfb,0xe9]
2214          vpsubq %zmm17, %zmm28, %zmm29
2215
2216// CHECK: vpsubq %zmm17, %zmm28, %zmm29 {%k2}
2217// CHECK:  encoding: [0x62,0x21,0x9d,0x42,0xfb,0xe9]
2218          vpsubq %zmm17, %zmm28, %zmm29 {%k2}
2219
2220// CHECK: vpsubq %zmm17, %zmm28, %zmm29 {%k2} {z}
2221// CHECK:  encoding: [0x62,0x21,0x9d,0xc2,0xfb,0xe9]
2222          vpsubq %zmm17, %zmm28, %zmm29 {%k2} {z}
2223
2224// CHECK: vpsubq (%rcx), %zmm28, %zmm29
2225// CHECK:  encoding: [0x62,0x61,0x9d,0x40,0xfb,0x29]
2226          vpsubq (%rcx), %zmm28, %zmm29
2227
2228// CHECK: vpsubq 291(%rax,%r14,8), %zmm28, %zmm29
2229// CHECK:  encoding: [0x62,0x21,0x9d,0x40,0xfb,0xac,0xf0,0x23,0x01,0x00,0x00]
2230          vpsubq 291(%rax,%r14,8), %zmm28, %zmm29
2231
2232// CHECK: vpsubq (%rcx){1to8}, %zmm28, %zmm29
2233// CHECK:  encoding: [0x62,0x61,0x9d,0x50,0xfb,0x29]
2234          vpsubq (%rcx){1to8}, %zmm28, %zmm29
2235
2236// CHECK: vpsubq 8128(%rdx), %zmm28, %zmm29
2237// CHECK:  encoding: [0x62,0x61,0x9d,0x40,0xfb,0x6a,0x7f]
2238          vpsubq 8128(%rdx), %zmm28, %zmm29
2239
2240// CHECK: vpsubq 8192(%rdx), %zmm28, %zmm29
2241// CHECK:  encoding: [0x62,0x61,0x9d,0x40,0xfb,0xaa,0x00,0x20,0x00,0x00]
2242          vpsubq 8192(%rdx), %zmm28, %zmm29
2243
2244// CHECK: vpsubq -8192(%rdx), %zmm28, %zmm29
2245// CHECK:  encoding: [0x62,0x61,0x9d,0x40,0xfb,0x6a,0x80]
2246          vpsubq -8192(%rdx), %zmm28, %zmm29
2247
2248// CHECK: vpsubq -8256(%rdx), %zmm28, %zmm29
2249// CHECK:  encoding: [0x62,0x61,0x9d,0x40,0xfb,0xaa,0xc0,0xdf,0xff,0xff]
2250          vpsubq -8256(%rdx), %zmm28, %zmm29
2251
2252// CHECK: vpsubq 1016(%rdx){1to8}, %zmm28, %zmm29
2253// CHECK:  encoding: [0x62,0x61,0x9d,0x50,0xfb,0x6a,0x7f]
2254          vpsubq 1016(%rdx){1to8}, %zmm28, %zmm29
2255
2256// CHECK: vpsubq 1024(%rdx){1to8}, %zmm28, %zmm29
2257// CHECK:  encoding: [0x62,0x61,0x9d,0x50,0xfb,0xaa,0x00,0x04,0x00,0x00]
2258          vpsubq 1024(%rdx){1to8}, %zmm28, %zmm29
2259
2260// CHECK: vpsubq -1024(%rdx){1to8}, %zmm28, %zmm29
2261// CHECK:  encoding: [0x62,0x61,0x9d,0x50,0xfb,0x6a,0x80]
2262          vpsubq -1024(%rdx){1to8}, %zmm28, %zmm29
2263
2264// CHECK: vpsubq -1032(%rdx){1to8}, %zmm28, %zmm29
2265// CHECK:  encoding: [0x62,0x61,0x9d,0x50,0xfb,0xaa,0xf8,0xfb,0xff,0xff]
2266          vpsubq -1032(%rdx){1to8}, %zmm28, %zmm29
2267
2268// CHECK: vpxord %zmm24, %zmm12, %zmm8
2269// CHECK:  encoding: [0x62,0x11,0x1d,0x48,0xef,0xc0]
2270          vpxord %zmm24, %zmm12, %zmm8
2271
2272// CHECK: vpxord %zmm24, %zmm12, %zmm8 {%k6}
2273// CHECK:  encoding: [0x62,0x11,0x1d,0x4e,0xef,0xc0]
2274          vpxord %zmm24, %zmm12, %zmm8 {%k6}
2275
2276// CHECK: vpxord %zmm24, %zmm12, %zmm8 {%k6} {z}
2277// CHECK:  encoding: [0x62,0x11,0x1d,0xce,0xef,0xc0]
2278          vpxord %zmm24, %zmm12, %zmm8 {%k6} {z}
2279
2280// CHECK: vpxord (%rcx), %zmm12, %zmm8
2281// CHECK:  encoding: [0x62,0x71,0x1d,0x48,0xef,0x01]
2282          vpxord (%rcx), %zmm12, %zmm8
2283
2284// CHECK: vpxord 291(%rax,%r14,8), %zmm12, %zmm8
2285// CHECK:  encoding: [0x62,0x31,0x1d,0x48,0xef,0x84,0xf0,0x23,0x01,0x00,0x00]
2286          vpxord 291(%rax,%r14,8), %zmm12, %zmm8
2287
2288// CHECK: vpxord (%rcx){1to16}, %zmm12, %zmm8
2289// CHECK:  encoding: [0x62,0x71,0x1d,0x58,0xef,0x01]
2290          vpxord (%rcx){1to16}, %zmm12, %zmm8
2291
2292// CHECK: vpxord 8128(%rdx), %zmm12, %zmm8
2293// CHECK:  encoding: [0x62,0x71,0x1d,0x48,0xef,0x42,0x7f]
2294          vpxord 8128(%rdx), %zmm12, %zmm8
2295
2296// CHECK: vpxord 8192(%rdx), %zmm12, %zmm8
2297// CHECK:  encoding: [0x62,0x71,0x1d,0x48,0xef,0x82,0x00,0x20,0x00,0x00]
2298          vpxord 8192(%rdx), %zmm12, %zmm8
2299
2300// CHECK: vpxord -8192(%rdx), %zmm12, %zmm8
2301// CHECK:  encoding: [0x62,0x71,0x1d,0x48,0xef,0x42,0x80]
2302          vpxord -8192(%rdx), %zmm12, %zmm8
2303
2304// CHECK: vpxord -8256(%rdx), %zmm12, %zmm8
2305// CHECK:  encoding: [0x62,0x71,0x1d,0x48,0xef,0x82,0xc0,0xdf,0xff,0xff]
2306          vpxord -8256(%rdx), %zmm12, %zmm8
2307
2308// CHECK: vpxord 508(%rdx){1to16}, %zmm12, %zmm8
2309// CHECK:  encoding: [0x62,0x71,0x1d,0x58,0xef,0x42,0x7f]
2310          vpxord 508(%rdx){1to16}, %zmm12, %zmm8
2311
2312// CHECK: vpxord 512(%rdx){1to16}, %zmm12, %zmm8
2313// CHECK:  encoding: [0x62,0x71,0x1d,0x58,0xef,0x82,0x00,0x02,0x00,0x00]
2314          vpxord 512(%rdx){1to16}, %zmm12, %zmm8
2315
2316// CHECK: vpxord -512(%rdx){1to16}, %zmm12, %zmm8
2317// CHECK:  encoding: [0x62,0x71,0x1d,0x58,0xef,0x42,0x80]
2318          vpxord -512(%rdx){1to16}, %zmm12, %zmm8
2319
2320// CHECK: vpxord -516(%rdx){1to16}, %zmm12, %zmm8
2321// CHECK:  encoding: [0x62,0x71,0x1d,0x58,0xef,0x82,0xfc,0xfd,0xff,0xff]
2322          vpxord -516(%rdx){1to16}, %zmm12, %zmm8
2323
2324// CHECK: vpxorq %zmm10, %zmm22, %zmm7
2325// CHECK:  encoding: [0x62,0xd1,0xcd,0x40,0xef,0xfa]
2326          vpxorq %zmm10, %zmm22, %zmm7
2327
2328// CHECK: vpxorq %zmm10, %zmm22, %zmm7 {%k6}
2329// CHECK:  encoding: [0x62,0xd1,0xcd,0x46,0xef,0xfa]
2330          vpxorq %zmm10, %zmm22, %zmm7 {%k6}
2331
2332// CHECK: vpxorq %zmm10, %zmm22, %zmm7 {%k6} {z}
2333// CHECK:  encoding: [0x62,0xd1,0xcd,0xc6,0xef,0xfa]
2334          vpxorq %zmm10, %zmm22, %zmm7 {%k6} {z}
2335
2336// CHECK: vpxorq (%rcx), %zmm22, %zmm7
2337// CHECK:  encoding: [0x62,0xf1,0xcd,0x40,0xef,0x39]
2338          vpxorq (%rcx), %zmm22, %zmm7
2339
2340// CHECK: vpxorq 291(%rax,%r14,8), %zmm22, %zmm7
2341// CHECK:  encoding: [0x62,0xb1,0xcd,0x40,0xef,0xbc,0xf0,0x23,0x01,0x00,0x00]
2342          vpxorq 291(%rax,%r14,8), %zmm22, %zmm7
2343
2344// CHECK: vpxorq (%rcx){1to8}, %zmm22, %zmm7
2345// CHECK:  encoding: [0x62,0xf1,0xcd,0x50,0xef,0x39]
2346          vpxorq (%rcx){1to8}, %zmm22, %zmm7
2347
2348// CHECK: vpxorq 8128(%rdx), %zmm22, %zmm7
2349// CHECK:  encoding: [0x62,0xf1,0xcd,0x40,0xef,0x7a,0x7f]
2350          vpxorq 8128(%rdx), %zmm22, %zmm7
2351
2352// CHECK: vpxorq 8192(%rdx), %zmm22, %zmm7
2353// CHECK:  encoding: [0x62,0xf1,0xcd,0x40,0xef,0xba,0x00,0x20,0x00,0x00]
2354          vpxorq 8192(%rdx), %zmm22, %zmm7
2355
2356// CHECK: vpxorq -8192(%rdx), %zmm22, %zmm7
2357// CHECK:  encoding: [0x62,0xf1,0xcd,0x40,0xef,0x7a,0x80]
2358          vpxorq -8192(%rdx), %zmm22, %zmm7
2359
2360// CHECK: vpxorq -8256(%rdx), %zmm22, %zmm7
2361// CHECK:  encoding: [0x62,0xf1,0xcd,0x40,0xef,0xba,0xc0,0xdf,0xff,0xff]
2362          vpxorq -8256(%rdx), %zmm22, %zmm7
2363
2364// CHECK: vpxorq 1016(%rdx){1to8}, %zmm22, %zmm7
2365// CHECK:  encoding: [0x62,0xf1,0xcd,0x50,0xef,0x7a,0x7f]
2366          vpxorq 1016(%rdx){1to8}, %zmm22, %zmm7
2367
2368// CHECK: vpxorq 1024(%rdx){1to8}, %zmm22, %zmm7
2369// CHECK:  encoding: [0x62,0xf1,0xcd,0x50,0xef,0xba,0x00,0x04,0x00,0x00]
2370          vpxorq 1024(%rdx){1to8}, %zmm22, %zmm7
2371
2372// CHECK: vpxorq -1024(%rdx){1to8}, %zmm22, %zmm7
2373// CHECK:  encoding: [0x62,0xf1,0xcd,0x50,0xef,0x7a,0x80]
2374          vpxorq -1024(%rdx){1to8}, %zmm22, %zmm7
2375
2376// CHECK: vpxorq -1032(%rdx){1to8}, %zmm22, %zmm7
2377// CHECK:  encoding: [0x62,0xf1,0xcd,0x50,0xef,0xba,0xf8,0xfb,0xff,0xff]
2378          vpxorq -1032(%rdx){1to8}, %zmm22, %zmm7
2379
2380// CHECK: vsubpd %zmm9, %zmm12, %zmm9
2381// CHECK:  encoding: [0x62,0x51,0x9d,0x48,0x5c,0xc9]
2382          vsubpd %zmm9, %zmm12, %zmm9
2383
2384// CHECK: vsubpd %zmm9, %zmm12, %zmm9 {%k7}
2385// CHECK:  encoding: [0x62,0x51,0x9d,0x4f,0x5c,0xc9]
2386          vsubpd %zmm9, %zmm12, %zmm9 {%k7}
2387
2388// CHECK: vsubpd %zmm9, %zmm12, %zmm9 {%k7} {z}
2389// CHECK:  encoding: [0x62,0x51,0x9d,0xcf,0x5c,0xc9]
2390          vsubpd %zmm9, %zmm12, %zmm9 {%k7} {z}
2391
2392// CHECK: vsubpd (%rcx), %zmm12, %zmm9
2393// CHECK:  encoding: [0x62,0x71,0x9d,0x48,0x5c,0x09]
2394          vsubpd (%rcx), %zmm12, %zmm9
2395
2396// CHECK: vsubpd 291(%rax,%r14,8), %zmm12, %zmm9
2397// CHECK:  encoding: [0x62,0x31,0x9d,0x48,0x5c,0x8c,0xf0,0x23,0x01,0x00,0x00]
2398          vsubpd 291(%rax,%r14,8), %zmm12, %zmm9
2399
2400// CHECK: vsubpd (%rcx){1to8}, %zmm12, %zmm9
2401// CHECK:  encoding: [0x62,0x71,0x9d,0x58,0x5c,0x09]
2402          vsubpd (%rcx){1to8}, %zmm12, %zmm9
2403
2404// CHECK: vsubpd 8128(%rdx), %zmm12, %zmm9
2405// CHECK:  encoding: [0x62,0x71,0x9d,0x48,0x5c,0x4a,0x7f]
2406          vsubpd 8128(%rdx), %zmm12, %zmm9
2407
2408// CHECK: vsubpd 8192(%rdx), %zmm12, %zmm9
2409// CHECK:  encoding: [0x62,0x71,0x9d,0x48,0x5c,0x8a,0x00,0x20,0x00,0x00]
2410          vsubpd 8192(%rdx), %zmm12, %zmm9
2411
2412// CHECK: vsubpd -8192(%rdx), %zmm12, %zmm9
2413// CHECK:  encoding: [0x62,0x71,0x9d,0x48,0x5c,0x4a,0x80]
2414          vsubpd -8192(%rdx), %zmm12, %zmm9
2415
2416// CHECK: vsubpd -8256(%rdx), %zmm12, %zmm9
2417// CHECK:  encoding: [0x62,0x71,0x9d,0x48,0x5c,0x8a,0xc0,0xdf,0xff,0xff]
2418          vsubpd -8256(%rdx), %zmm12, %zmm9
2419
2420// CHECK: vsubpd 1016(%rdx){1to8}, %zmm12, %zmm9
2421// CHECK:  encoding: [0x62,0x71,0x9d,0x58,0x5c,0x4a,0x7f]
2422          vsubpd 1016(%rdx){1to8}, %zmm12, %zmm9
2423
2424// CHECK: vsubpd 1024(%rdx){1to8}, %zmm12, %zmm9
2425// CHECK:  encoding: [0x62,0x71,0x9d,0x58,0x5c,0x8a,0x00,0x04,0x00,0x00]
2426          vsubpd 1024(%rdx){1to8}, %zmm12, %zmm9
2427
2428// CHECK: vsubpd -1024(%rdx){1to8}, %zmm12, %zmm9
2429// CHECK:  encoding: [0x62,0x71,0x9d,0x58,0x5c,0x4a,0x80]
2430          vsubpd -1024(%rdx){1to8}, %zmm12, %zmm9
2431
2432// CHECK: vsubpd -1032(%rdx){1to8}, %zmm12, %zmm9
2433// CHECK:  encoding: [0x62,0x71,0x9d,0x58,0x5c,0x8a,0xf8,0xfb,0xff,0xff]
2434          vsubpd -1032(%rdx){1to8}, %zmm12, %zmm9
2435
2436// CHECK: vsubps %zmm21, %zmm27, %zmm14
2437// CHECK:  encoding: [0x62,0x31,0x24,0x40,0x5c,0xf5]
2438          vsubps %zmm21, %zmm27, %zmm14
2439
2440// CHECK: vsubps %zmm21, %zmm27, %zmm14 {%k5}
2441// CHECK:  encoding: [0x62,0x31,0x24,0x45,0x5c,0xf5]
2442          vsubps %zmm21, %zmm27, %zmm14 {%k5}
2443
2444// CHECK: vsubps %zmm21, %zmm27, %zmm14 {%k5} {z}
2445// CHECK:  encoding: [0x62,0x31,0x24,0xc5,0x5c,0xf5]
2446          vsubps %zmm21, %zmm27, %zmm14 {%k5} {z}
2447
2448// CHECK: vsubps (%rcx), %zmm27, %zmm14
2449// CHECK:  encoding: [0x62,0x71,0x24,0x40,0x5c,0x31]
2450          vsubps (%rcx), %zmm27, %zmm14
2451
2452// CHECK: vsubps 291(%rax,%r14,8), %zmm27, %zmm14
2453// CHECK:  encoding: [0x62,0x31,0x24,0x40,0x5c,0xb4,0xf0,0x23,0x01,0x00,0x00]
2454          vsubps 291(%rax,%r14,8), %zmm27, %zmm14
2455
2456// CHECK: vsubps (%rcx){1to16}, %zmm27, %zmm14
2457// CHECK:  encoding: [0x62,0x71,0x24,0x50,0x5c,0x31]
2458          vsubps (%rcx){1to16}, %zmm27, %zmm14
2459
2460// CHECK: vsubps 8128(%rdx), %zmm27, %zmm14
2461// CHECK:  encoding: [0x62,0x71,0x24,0x40,0x5c,0x72,0x7f]
2462          vsubps 8128(%rdx), %zmm27, %zmm14
2463
2464// CHECK: vsubps 8192(%rdx), %zmm27, %zmm14
2465// CHECK:  encoding: [0x62,0x71,0x24,0x40,0x5c,0xb2,0x00,0x20,0x00,0x00]
2466          vsubps 8192(%rdx), %zmm27, %zmm14
2467
2468// CHECK: vsubps -8192(%rdx), %zmm27, %zmm14
2469// CHECK:  encoding: [0x62,0x71,0x24,0x40,0x5c,0x72,0x80]
2470          vsubps -8192(%rdx), %zmm27, %zmm14
2471
2472// CHECK: vsubps -8256(%rdx), %zmm27, %zmm14
2473// CHECK:  encoding: [0x62,0x71,0x24,0x40,0x5c,0xb2,0xc0,0xdf,0xff,0xff]
2474          vsubps -8256(%rdx), %zmm27, %zmm14
2475
2476// CHECK: vsubps 508(%rdx){1to16}, %zmm27, %zmm14
2477// CHECK:  encoding: [0x62,0x71,0x24,0x50,0x5c,0x72,0x7f]
2478          vsubps 508(%rdx){1to16}, %zmm27, %zmm14
2479
2480// CHECK: vsubps 512(%rdx){1to16}, %zmm27, %zmm14
2481// CHECK:  encoding: [0x62,0x71,0x24,0x50,0x5c,0xb2,0x00,0x02,0x00,0x00]
2482          vsubps 512(%rdx){1to16}, %zmm27, %zmm14
2483
2484// CHECK: vsubps -512(%rdx){1to16}, %zmm27, %zmm14
2485// CHECK:  encoding: [0x62,0x71,0x24,0x50,0x5c,0x72,0x80]
2486          vsubps -512(%rdx){1to16}, %zmm27, %zmm14
2487
2488// CHECK: vsubps -516(%rdx){1to16}, %zmm27, %zmm14
2489// CHECK:  encoding: [0x62,0x71,0x24,0x50,0x5c,0xb2,0xfc,0xfd,0xff,0xff]
2490          vsubps -516(%rdx){1to16}, %zmm27, %zmm14
2491
2492// CHECK: vpmovqb %zmm2, %xmm3
2493// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x32,0xd3]
2494          vpmovqb %zmm2, %xmm3
2495
2496// CHECK: vpmovqb %zmm2, %xmm3 {%k1}
2497// CHECK:  encoding: [0x62,0xf2,0x7e,0x49,0x32,0xd3]
2498          vpmovqb %zmm2, %xmm3 {%k1}
2499
2500// CHECK: vpmovqb %zmm2, %xmm3 {%k1} {z}
2501// CHECK:  encoding: [0x62,0xf2,0x7e,0xc9,0x32,0xd3]
2502          vpmovqb %zmm2, %xmm3 {%k1} {z}
2503
2504// CHECK: vpmovsqb %zmm29, %xmm30
2505// CHECK:  encoding: [0x62,0x02,0x7e,0x48,0x22,0xee]
2506          vpmovsqb %zmm29, %xmm30
2507
2508// CHECK: vpmovsqb %zmm29, %xmm30 {%k5}
2509// CHECK:  encoding: [0x62,0x02,0x7e,0x4d,0x22,0xee]
2510          vpmovsqb %zmm29, %xmm30 {%k5}
2511
2512// CHECK: vpmovsqb %zmm29, %xmm30 {%k5} {z}
2513// CHECK:  encoding: [0x62,0x02,0x7e,0xcd,0x22,0xee]
2514          vpmovsqb %zmm29, %xmm30 {%k5} {z}
2515
2516// CHECK: vpmovusqb %zmm28, %xmm24
2517// CHECK:  encoding: [0x62,0x02,0x7e,0x48,0x12,0xe0]
2518          vpmovusqb %zmm28, %xmm24
2519
2520// CHECK: vpmovusqb %zmm28, %xmm24 {%k7}
2521// CHECK:  encoding: [0x62,0x02,0x7e,0x4f,0x12,0xe0]
2522          vpmovusqb %zmm28, %xmm24 {%k7}
2523
2524// CHECK: vpmovusqb %zmm28, %xmm24 {%k7} {z}
2525// CHECK:  encoding: [0x62,0x02,0x7e,0xcf,0x12,0xe0]
2526          vpmovusqb %zmm28, %xmm24 {%k7} {z}
2527
2528// CHECK: vpmovqw %zmm18, %xmm6
2529// CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x34,0xd6]
2530          vpmovqw %zmm18, %xmm6
2531
2532// CHECK: vpmovqw %zmm18, %xmm6 {%k1}
2533// CHECK:  encoding: [0x62,0xe2,0x7e,0x49,0x34,0xd6]
2534          vpmovqw %zmm18, %xmm6 {%k1}
2535
2536// CHECK: vpmovqw %zmm18, %xmm6 {%k1} {z}
2537// CHECK:  encoding: [0x62,0xe2,0x7e,0xc9,0x34,0xd6]
2538          vpmovqw %zmm18, %xmm6 {%k1} {z}
2539
2540// CHECK: vpmovsqw %zmm19, %xmm27
2541// CHECK:  encoding: [0x62,0x82,0x7e,0x48,0x24,0xdb]
2542          vpmovsqw %zmm19, %xmm27
2543
2544// CHECK: vpmovsqw %zmm19, %xmm27 {%k6}
2545// CHECK:  encoding: [0x62,0x82,0x7e,0x4e,0x24,0xdb]
2546          vpmovsqw %zmm19, %xmm27 {%k6}
2547
2548// CHECK: vpmovsqw %zmm19, %xmm27 {%k6} {z}
2549// CHECK:  encoding: [0x62,0x82,0x7e,0xce,0x24,0xdb]
2550          vpmovsqw %zmm19, %xmm27 {%k6} {z}
2551
2552// CHECK: vpmovusqw %zmm10, %xmm28
2553// CHECK:  encoding: [0x62,0x12,0x7e,0x48,0x14,0xd4]
2554          vpmovusqw %zmm10, %xmm28
2555
2556// CHECK: vpmovusqw %zmm10, %xmm28 {%k7}
2557// CHECK:  encoding: [0x62,0x12,0x7e,0x4f,0x14,0xd4]
2558          vpmovusqw %zmm10, %xmm28 {%k7}
2559
2560// CHECK: vpmovusqw %zmm10, %xmm28 {%k7} {z}
2561// CHECK:  encoding: [0x62,0x12,0x7e,0xcf,0x14,0xd4]
2562          vpmovusqw %zmm10, %xmm28 {%k7} {z}
2563
2564// CHECK: vpmovqd %zmm25, %ymm6
2565// CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x35,0xce]
2566          vpmovqd %zmm25, %ymm6
2567
2568// CHECK: vpmovqd %zmm25, %ymm6 {%k5}
2569// CHECK:  encoding: [0x62,0x62,0x7e,0x4d,0x35,0xce]
2570          vpmovqd %zmm25, %ymm6 {%k5}
2571
2572// CHECK: vpmovqd %zmm25, %ymm6 {%k5} {z}
2573// CHECK:  encoding: [0x62,0x62,0x7e,0xcd,0x35,0xce]
2574          vpmovqd %zmm25, %ymm6 {%k5} {z}
2575
2576// CHECK: vpmovsqd %zmm2, %ymm15
2577// CHECK:  encoding: [0x62,0xd2,0x7e,0x48,0x25,0xd7]
2578          vpmovsqd %zmm2, %ymm15
2579
2580// CHECK: vpmovsqd %zmm2, %ymm15 {%k2}
2581// CHECK:  encoding: [0x62,0xd2,0x7e,0x4a,0x25,0xd7]
2582          vpmovsqd %zmm2, %ymm15 {%k2}
2583
2584// CHECK: vpmovsqd %zmm2, %ymm15 {%k2} {z}
2585// CHECK:  encoding: [0x62,0xd2,0x7e,0xca,0x25,0xd7]
2586          vpmovsqd %zmm2, %ymm15 {%k2} {z}
2587
2588// CHECK: vpmovusqd %zmm4, %ymm8
2589// CHECK:  encoding: [0x62,0xd2,0x7e,0x48,0x15,0xe0]
2590          vpmovusqd %zmm4, %ymm8
2591
2592// CHECK: vpmovusqd %zmm4, %ymm8 {%k4}
2593// CHECK:  encoding: [0x62,0xd2,0x7e,0x4c,0x15,0xe0]
2594          vpmovusqd %zmm4, %ymm8 {%k4}
2595
2596// CHECK: vpmovusqd %zmm4, %ymm8 {%k4} {z}
2597// CHECK:  encoding: [0x62,0xd2,0x7e,0xcc,0x15,0xe0]
2598          vpmovusqd %zmm4, %ymm8 {%k4} {z}
2599
2600// CHECK: vpmovdb %zmm5, %xmm2
2601// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x31,0xea]
2602          vpmovdb %zmm5, %xmm2
2603
2604// CHECK: vpmovdb %zmm5, %xmm2 {%k5}
2605// CHECK:  encoding: [0x62,0xf2,0x7e,0x4d,0x31,0xea]
2606          vpmovdb %zmm5, %xmm2 {%k5}
2607
2608// CHECK: vpmovdb %zmm5, %xmm2 {%k5} {z}
2609// CHECK:  encoding: [0x62,0xf2,0x7e,0xcd,0x31,0xea]
2610          vpmovdb %zmm5, %xmm2 {%k5} {z}
2611
2612// CHECK: vpmovsdb %zmm2, %xmm21
2613// CHECK:  encoding: [0x62,0xb2,0x7e,0x48,0x21,0xd5]
2614          vpmovsdb %zmm2, %xmm21
2615
2616// CHECK: vpmovsdb %zmm2, %xmm21 {%k4}
2617// CHECK:  encoding: [0x62,0xb2,0x7e,0x4c,0x21,0xd5]
2618          vpmovsdb %zmm2, %xmm21 {%k4}
2619
2620// CHECK: vpmovsdb %zmm2, %xmm21 {%k4} {z}
2621// CHECK:  encoding: [0x62,0xb2,0x7e,0xcc,0x21,0xd5]
2622          vpmovsdb %zmm2, %xmm21 {%k4} {z}
2623
2624// CHECK: vpmovusdb %zmm2, %xmm20
2625// CHECK:  encoding: [0x62,0xb2,0x7e,0x48,0x11,0xd4]
2626          vpmovusdb %zmm2, %xmm20
2627
2628// CHECK: vpmovusdb %zmm2, %xmm20 {%k3}
2629// CHECK:  encoding: [0x62,0xb2,0x7e,0x4b,0x11,0xd4]
2630          vpmovusdb %zmm2, %xmm20 {%k3}
2631
2632// CHECK: vpmovusdb %zmm2, %xmm20 {%k3} {z}
2633// CHECK:  encoding: [0x62,0xb2,0x7e,0xcb,0x11,0xd4]
2634          vpmovusdb %zmm2, %xmm20 {%k3} {z}
2635
2636// CHECK: vpmovdw %zmm29, %ymm22
2637// CHECK:  encoding: [0x62,0x22,0x7e,0x48,0x33,0xee]
2638          vpmovdw %zmm29, %ymm22
2639
2640// CHECK: vpmovdw %zmm29, %ymm22 {%k5}
2641// CHECK:  encoding: [0x62,0x22,0x7e,0x4d,0x33,0xee]
2642          vpmovdw %zmm29, %ymm22 {%k5}
2643
2644// CHECK: vpmovdw %zmm29, %ymm22 {%k5} {z}
2645// CHECK:  encoding: [0x62,0x22,0x7e,0xcd,0x33,0xee]
2646          vpmovdw %zmm29, %ymm22 {%k5} {z}
2647
2648// CHECK: vpmovsdw %zmm14, %ymm25
2649// CHECK:  encoding: [0x62,0x12,0x7e,0x48,0x23,0xf1]
2650          vpmovsdw %zmm14, %ymm25
2651
2652// CHECK: vpmovsdw %zmm14, %ymm25 {%k4}
2653// CHECK:  encoding: [0x62,0x12,0x7e,0x4c,0x23,0xf1]
2654          vpmovsdw %zmm14, %ymm25 {%k4}
2655
2656// CHECK: vpmovsdw %zmm14, %ymm25 {%k4} {z}
2657// CHECK:  encoding: [0x62,0x12,0x7e,0xcc,0x23,0xf1]
2658          vpmovsdw %zmm14, %ymm25 {%k4} {z}
2659
2660// CHECK: vpmovusdw %zmm7, %ymm8
2661// CHECK:  encoding: [0x62,0xd2,0x7e,0x48,0x13,0xf8]
2662          vpmovusdw %zmm7, %ymm8
2663
2664// CHECK: vpmovusdw %zmm7, %ymm8 {%k1}
2665// CHECK:  encoding: [0x62,0xd2,0x7e,0x49,0x13,0xf8]
2666          vpmovusdw %zmm7, %ymm8 {%k1}
2667
2668// CHECK: vpmovusdw %zmm7, %ymm8 {%k1} {z}
2669// CHECK:  encoding: [0x62,0xd2,0x7e,0xc9,0x13,0xf8]
2670          vpmovusdw %zmm7, %ymm8 {%k1} {z}
2671
2672// CHECK: vpmovqb %zmm3, (%rcx)
2673// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x32,0x19]
2674          vpmovqb %zmm3, (%rcx)
2675
2676// CHECK: vpmovqb %zmm3, (%rcx) {%k7}
2677// CHECK:  encoding: [0x62,0xf2,0x7e,0x4f,0x32,0x19]
2678          vpmovqb %zmm3, (%rcx) {%k7}
2679
2680// CHECK: vpmovqb %zmm3, 291(%rax,%r14,8)
2681// CHECK:  encoding: [0x62,0xb2,0x7e,0x48,0x32,0x9c,0xf0,0x23,0x01,0x00,0x00]
2682          vpmovqb %zmm3, 291(%rax,%r14,8)
2683
2684// CHECK: vpmovqb %zmm3, 1016(%rdx)
2685// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x32,0x5a,0x7f]
2686          vpmovqb %zmm3, 1016(%rdx)
2687
2688// CHECK: vpmovqb %zmm3, 1024(%rdx)
2689// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x32,0x9a,0x00,0x04,0x00,0x00]
2690          vpmovqb %zmm3, 1024(%rdx)
2691
2692// CHECK: vpmovqb %zmm3, -1024(%rdx)
2693// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x32,0x5a,0x80]
2694          vpmovqb %zmm3, -1024(%rdx)
2695
2696// CHECK: vpmovqb %zmm3, -1032(%rdx)
2697// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x32,0x9a,0xf8,0xfb,0xff,0xff]
2698          vpmovqb %zmm3, -1032(%rdx)
2699
2700// CHECK: vpmovsqb %zmm16, (%rcx)
2701// CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x22,0x01]
2702          vpmovsqb %zmm16, (%rcx)
2703
2704// CHECK: vpmovsqb %zmm16, (%rcx) {%k2}
2705// CHECK:  encoding: [0x62,0xe2,0x7e,0x4a,0x22,0x01]
2706          vpmovsqb %zmm16, (%rcx) {%k2}
2707
2708// CHECK: vpmovsqb %zmm16, 291(%rax,%r14,8)
2709// CHECK:  encoding: [0x62,0xa2,0x7e,0x48,0x22,0x84,0xf0,0x23,0x01,0x00,0x00]
2710          vpmovsqb %zmm16, 291(%rax,%r14,8)
2711
2712// CHECK: vpmovsqb %zmm16, 1016(%rdx)
2713// CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x22,0x42,0x7f]
2714          vpmovsqb %zmm16, 1016(%rdx)
2715
2716// CHECK: vpmovsqb %zmm16, 1024(%rdx)
2717// CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x22,0x82,0x00,0x04,0x00,0x00]
2718          vpmovsqb %zmm16, 1024(%rdx)
2719
2720// CHECK: vpmovsqb %zmm16, -1024(%rdx)
2721// CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x22,0x42,0x80]
2722          vpmovsqb %zmm16, -1024(%rdx)
2723
2724// CHECK: vpmovsqb %zmm16, -1032(%rdx)
2725// CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x22,0x82,0xf8,0xfb,0xff,0xff]
2726          vpmovsqb %zmm16, -1032(%rdx)
2727
2728// CHECK: vpmovusqb %zmm28, (%rcx)
2729// CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x12,0x21]
2730          vpmovusqb %zmm28, (%rcx)
2731
2732// CHECK: vpmovusqb %zmm28, (%rcx) {%k1}
2733// CHECK:  encoding: [0x62,0x62,0x7e,0x49,0x12,0x21]
2734          vpmovusqb %zmm28, (%rcx) {%k1}
2735
2736// CHECK: vpmovusqb %zmm28, 291(%rax,%r14,8)
2737// CHECK:  encoding: [0x62,0x22,0x7e,0x48,0x12,0xa4,0xf0,0x23,0x01,0x00,0x00]
2738          vpmovusqb %zmm28, 291(%rax,%r14,8)
2739
2740// CHECK: vpmovusqb %zmm28, 1016(%rdx)
2741// CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x12,0x62,0x7f]
2742          vpmovusqb %zmm28, 1016(%rdx)
2743
2744// CHECK: vpmovusqb %zmm28, 1024(%rdx)
2745// CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x12,0xa2,0x00,0x04,0x00,0x00]
2746          vpmovusqb %zmm28, 1024(%rdx)
2747
2748// CHECK: vpmovusqb %zmm28, -1024(%rdx)
2749// CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x12,0x62,0x80]
2750          vpmovusqb %zmm28, -1024(%rdx)
2751
2752// CHECK: vpmovusqb %zmm28, -1032(%rdx)
2753// CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x12,0xa2,0xf8,0xfb,0xff,0xff]
2754          vpmovusqb %zmm28, -1032(%rdx)
2755
2756// CHECK: vpmovqw %zmm7, (%rcx)
2757// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x34,0x39]
2758          vpmovqw %zmm7, (%rcx)
2759
2760// CHECK: vpmovqw %zmm7, (%rcx) {%k6}
2761// CHECK:  encoding: [0x62,0xf2,0x7e,0x4e,0x34,0x39]
2762          vpmovqw %zmm7, (%rcx) {%k6}
2763
2764// CHECK: vpmovqw %zmm7, 291(%rax,%r14,8)
2765// CHECK:  encoding: [0x62,0xb2,0x7e,0x48,0x34,0xbc,0xf0,0x23,0x01,0x00,0x00]
2766          vpmovqw %zmm7, 291(%rax,%r14,8)
2767
2768// CHECK: vpmovqw %zmm7, 2032(%rdx)
2769// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x34,0x7a,0x7f]
2770          vpmovqw %zmm7, 2032(%rdx)
2771
2772// CHECK: vpmovqw %zmm7, 2048(%rdx)
2773// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x34,0xba,0x00,0x08,0x00,0x00]
2774          vpmovqw %zmm7, 2048(%rdx)
2775
2776// CHECK: vpmovqw %zmm7, -2048(%rdx)
2777// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x34,0x7a,0x80]
2778          vpmovqw %zmm7, -2048(%rdx)
2779
2780// CHECK: vpmovqw %zmm7, -2064(%rdx)
2781// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x34,0xba,0xf0,0xf7,0xff,0xff]
2782          vpmovqw %zmm7, -2064(%rdx)
2783
2784// CHECK: vpmovsqw %zmm1, (%rcx)
2785// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x24,0x09]
2786          vpmovsqw %zmm1, (%rcx)
2787
2788// CHECK: vpmovsqw %zmm1, (%rcx) {%k5}
2789// CHECK:  encoding: [0x62,0xf2,0x7e,0x4d,0x24,0x09]
2790          vpmovsqw %zmm1, (%rcx) {%k5}
2791
2792// CHECK: vpmovsqw %zmm1, 291(%rax,%r14,8)
2793// CHECK:  encoding: [0x62,0xb2,0x7e,0x48,0x24,0x8c,0xf0,0x23,0x01,0x00,0x00]
2794          vpmovsqw %zmm1, 291(%rax,%r14,8)
2795
2796// CHECK: vpmovsqw %zmm1, 2032(%rdx)
2797// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x24,0x4a,0x7f]
2798          vpmovsqw %zmm1, 2032(%rdx)
2799
2800// CHECK: vpmovsqw %zmm1, 2048(%rdx)
2801// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x24,0x8a,0x00,0x08,0x00,0x00]
2802          vpmovsqw %zmm1, 2048(%rdx)
2803
2804// CHECK: vpmovsqw %zmm1, -2048(%rdx)
2805// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x24,0x4a,0x80]
2806          vpmovsqw %zmm1, -2048(%rdx)
2807
2808// CHECK: vpmovsqw %zmm1, -2064(%rdx)
2809// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x24,0x8a,0xf0,0xf7,0xff,0xff]
2810          vpmovsqw %zmm1, -2064(%rdx)
2811
2812// CHECK: vpmovusqw %zmm25, (%rcx)
2813// CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x14,0x09]
2814          vpmovusqw %zmm25, (%rcx)
2815
2816// CHECK: vpmovusqw %zmm25, (%rcx) {%k3}
2817// CHECK:  encoding: [0x62,0x62,0x7e,0x4b,0x14,0x09]
2818          vpmovusqw %zmm25, (%rcx) {%k3}
2819
2820// CHECK: vpmovusqw %zmm25, 291(%rax,%r14,8)
2821// CHECK:  encoding: [0x62,0x22,0x7e,0x48,0x14,0x8c,0xf0,0x23,0x01,0x00,0x00]
2822          vpmovusqw %zmm25, 291(%rax,%r14,8)
2823
2824// CHECK: vpmovusqw %zmm25, 2032(%rdx)
2825// CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x14,0x4a,0x7f]
2826          vpmovusqw %zmm25, 2032(%rdx)
2827
2828// CHECK: vpmovusqw %zmm25, 2048(%rdx)
2829// CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x14,0x8a,0x00,0x08,0x00,0x00]
2830          vpmovusqw %zmm25, 2048(%rdx)
2831
2832// CHECK: vpmovusqw %zmm25, -2048(%rdx)
2833// CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x14,0x4a,0x80]
2834          vpmovusqw %zmm25, -2048(%rdx)
2835
2836// CHECK: vpmovusqw %zmm25, -2064(%rdx)
2837// CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x14,0x8a,0xf0,0xf7,0xff,0xff]
2838          vpmovusqw %zmm25, -2064(%rdx)
2839
2840// CHECK: vpmovqd %zmm28, (%rcx)
2841// CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x35,0x21]
2842          vpmovqd %zmm28, (%rcx)
2843
2844// CHECK: vpmovqd %zmm28, (%rcx) {%k5}
2845// CHECK:  encoding: [0x62,0x62,0x7e,0x4d,0x35,0x21]
2846          vpmovqd %zmm28, (%rcx) {%k5}
2847
2848// CHECK: vpmovqd %zmm28, 291(%rax,%r14,8)
2849// CHECK:  encoding: [0x62,0x22,0x7e,0x48,0x35,0xa4,0xf0,0x23,0x01,0x00,0x00]
2850          vpmovqd %zmm28, 291(%rax,%r14,8)
2851
2852// CHECK: vpmovqd %zmm28, 4064(%rdx)
2853// CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x35,0x62,0x7f]
2854          vpmovqd %zmm28, 4064(%rdx)
2855
2856// CHECK: vpmovqd %zmm28, 4096(%rdx)
2857// CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x35,0xa2,0x00,0x10,0x00,0x00]
2858          vpmovqd %zmm28, 4096(%rdx)
2859
2860// CHECK: vpmovqd %zmm28, -4096(%rdx)
2861// CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x35,0x62,0x80]
2862          vpmovqd %zmm28, -4096(%rdx)
2863
2864// CHECK: vpmovqd %zmm28, -4128(%rdx)
2865// CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x35,0xa2,0xe0,0xef,0xff,0xff]
2866          vpmovqd %zmm28, -4128(%rdx)
2867
2868// CHECK: vpmovsqd %zmm9, (%rcx)
2869// CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x25,0x09]
2870          vpmovsqd %zmm9, (%rcx)
2871
2872// CHECK: vpmovsqd %zmm9, (%rcx) {%k7}
2873// CHECK:  encoding: [0x62,0x72,0x7e,0x4f,0x25,0x09]
2874          vpmovsqd %zmm9, (%rcx) {%k7}
2875
2876// CHECK: vpmovsqd %zmm9, 291(%rax,%r14,8)
2877// CHECK:  encoding: [0x62,0x32,0x7e,0x48,0x25,0x8c,0xf0,0x23,0x01,0x00,0x00]
2878          vpmovsqd %zmm9, 291(%rax,%r14,8)
2879
2880// CHECK: vpmovsqd %zmm9, 4064(%rdx)
2881// CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x25,0x4a,0x7f]
2882          vpmovsqd %zmm9, 4064(%rdx)
2883
2884// CHECK: vpmovsqd %zmm9, 4096(%rdx)
2885// CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x25,0x8a,0x00,0x10,0x00,0x00]
2886          vpmovsqd %zmm9, 4096(%rdx)
2887
2888// CHECK: vpmovsqd %zmm9, -4096(%rdx)
2889// CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x25,0x4a,0x80]
2890          vpmovsqd %zmm9, -4096(%rdx)
2891
2892// CHECK: vpmovsqd %zmm9, -4128(%rdx)
2893// CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x25,0x8a,0xe0,0xef,0xff,0xff]
2894          vpmovsqd %zmm9, -4128(%rdx)
2895
2896// CHECK: vpmovusqd %zmm22, (%rcx)
2897// CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x15,0x31]
2898          vpmovusqd %zmm22, (%rcx)
2899
2900// CHECK: vpmovusqd %zmm22, (%rcx) {%k1}
2901// CHECK:  encoding: [0x62,0xe2,0x7e,0x49,0x15,0x31]
2902          vpmovusqd %zmm22, (%rcx) {%k1}
2903
2904// CHECK: vpmovusqd %zmm22, 291(%rax,%r14,8)
2905// CHECK:  encoding: [0x62,0xa2,0x7e,0x48,0x15,0xb4,0xf0,0x23,0x01,0x00,0x00]
2906          vpmovusqd %zmm22, 291(%rax,%r14,8)
2907
2908// CHECK: vpmovusqd %zmm22, 4064(%rdx)
2909// CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x15,0x72,0x7f]
2910          vpmovusqd %zmm22, 4064(%rdx)
2911
2912// CHECK: vpmovusqd %zmm22, 4096(%rdx)
2913// CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x15,0xb2,0x00,0x10,0x00,0x00]
2914          vpmovusqd %zmm22, 4096(%rdx)
2915
2916// CHECK: vpmovusqd %zmm22, -4096(%rdx)
2917// CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x15,0x72,0x80]
2918          vpmovusqd %zmm22, -4096(%rdx)
2919
2920// CHECK: vpmovusqd %zmm22, -4128(%rdx)
2921// CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x15,0xb2,0xe0,0xef,0xff,0xff]
2922          vpmovusqd %zmm22, -4128(%rdx)
2923
2924// CHECK: vpmovdb %zmm12, (%rcx)
2925// CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x31,0x21]
2926          vpmovdb %zmm12, (%rcx)
2927
2928// CHECK: vpmovdb %zmm12, (%rcx) {%k3}
2929// CHECK:  encoding: [0x62,0x72,0x7e,0x4b,0x31,0x21]
2930          vpmovdb %zmm12, (%rcx) {%k3}
2931
2932// CHECK: vpmovdb %zmm12, 291(%rax,%r14,8)
2933// CHECK:  encoding: [0x62,0x32,0x7e,0x48,0x31,0xa4,0xf0,0x23,0x01,0x00,0x00]
2934          vpmovdb %zmm12, 291(%rax,%r14,8)
2935
2936// CHECK: vpmovdb %zmm12, 2032(%rdx)
2937// CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x31,0x62,0x7f]
2938          vpmovdb %zmm12, 2032(%rdx)
2939
2940// CHECK: vpmovdb %zmm12, 2048(%rdx)
2941// CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x31,0xa2,0x00,0x08,0x00,0x00]
2942          vpmovdb %zmm12, 2048(%rdx)
2943
2944// CHECK: vpmovdb %zmm12, -2048(%rdx)
2945// CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x31,0x62,0x80]
2946          vpmovdb %zmm12, -2048(%rdx)
2947
2948// CHECK: vpmovdb %zmm12, -2064(%rdx)
2949// CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x31,0xa2,0xf0,0xf7,0xff,0xff]
2950          vpmovdb %zmm12, -2064(%rdx)
2951
2952// CHECK: vpmovsdb %zmm6, (%rcx)
2953// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x21,0x31]
2954          vpmovsdb %zmm6, (%rcx)
2955
2956// CHECK: vpmovsdb %zmm6, (%rcx) {%k1}
2957// CHECK:  encoding: [0x62,0xf2,0x7e,0x49,0x21,0x31]
2958          vpmovsdb %zmm6, (%rcx) {%k1}
2959
2960// CHECK: vpmovsdb %zmm6, 291(%rax,%r14,8)
2961// CHECK:  encoding: [0x62,0xb2,0x7e,0x48,0x21,0xb4,0xf0,0x23,0x01,0x00,0x00]
2962          vpmovsdb %zmm6, 291(%rax,%r14,8)
2963
2964// CHECK: vpmovsdb %zmm6, 2032(%rdx)
2965// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x21,0x72,0x7f]
2966          vpmovsdb %zmm6, 2032(%rdx)
2967
2968// CHECK: vpmovsdb %zmm6, 2048(%rdx)
2969// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x21,0xb2,0x00,0x08,0x00,0x00]
2970          vpmovsdb %zmm6, 2048(%rdx)
2971
2972// CHECK: vpmovsdb %zmm6, -2048(%rdx)
2973// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x21,0x72,0x80]
2974          vpmovsdb %zmm6, -2048(%rdx)
2975
2976// CHECK: vpmovsdb %zmm6, -2064(%rdx)
2977// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x21,0xb2,0xf0,0xf7,0xff,0xff]
2978          vpmovsdb %zmm6, -2064(%rdx)
2979
2980// CHECK: vpmovusdb %zmm23, (%rcx)
2981// CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x11,0x39]
2982          vpmovusdb %zmm23, (%rcx)
2983
2984// CHECK: vpmovusdb %zmm23, (%rcx) {%k3}
2985// CHECK:  encoding: [0x62,0xe2,0x7e,0x4b,0x11,0x39]
2986          vpmovusdb %zmm23, (%rcx) {%k3}
2987
2988// CHECK: vpmovusdb %zmm23, 291(%rax,%r14,8)
2989// CHECK:  encoding: [0x62,0xa2,0x7e,0x48,0x11,0xbc,0xf0,0x23,0x01,0x00,0x00]
2990          vpmovusdb %zmm23, 291(%rax,%r14,8)
2991
2992// CHECK: vpmovusdb %zmm23, 2032(%rdx)
2993// CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x11,0x7a,0x7f]
2994          vpmovusdb %zmm23, 2032(%rdx)
2995
2996// CHECK: vpmovusdb %zmm23, 2048(%rdx)
2997// CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x11,0xba,0x00,0x08,0x00,0x00]
2998          vpmovusdb %zmm23, 2048(%rdx)
2999
3000// CHECK: vpmovusdb %zmm23, -2048(%rdx)
3001// CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x11,0x7a,0x80]
3002          vpmovusdb %zmm23, -2048(%rdx)
3003
3004// CHECK: vpmovusdb %zmm23, -2064(%rdx)
3005// CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x11,0xba,0xf0,0xf7,0xff,0xff]
3006          vpmovusdb %zmm23, -2064(%rdx)
3007
3008// CHECK: vpmovdw %zmm7, (%rcx)
3009// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x33,0x39]
3010          vpmovdw %zmm7, (%rcx)
3011
3012// CHECK: vpmovdw %zmm7, (%rcx) {%k7}
3013// CHECK:  encoding: [0x62,0xf2,0x7e,0x4f,0x33,0x39]
3014          vpmovdw %zmm7, (%rcx) {%k7}
3015
3016// CHECK: vpmovdw %zmm7, 291(%rax,%r14,8)
3017// CHECK:  encoding: [0x62,0xb2,0x7e,0x48,0x33,0xbc,0xf0,0x23,0x01,0x00,0x00]
3018          vpmovdw %zmm7, 291(%rax,%r14,8)
3019
3020// CHECK: vpmovdw %zmm7, 4064(%rdx)
3021// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x33,0x7a,0x7f]
3022          vpmovdw %zmm7, 4064(%rdx)
3023
3024// CHECK: vpmovdw %zmm7, 4096(%rdx)
3025// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x33,0xba,0x00,0x10,0x00,0x00]
3026          vpmovdw %zmm7, 4096(%rdx)
3027
3028// CHECK: vpmovdw %zmm7, -4096(%rdx)
3029// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x33,0x7a,0x80]
3030          vpmovdw %zmm7, -4096(%rdx)
3031
3032// CHECK: vpmovdw %zmm7, -4128(%rdx)
3033// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x33,0xba,0xe0,0xef,0xff,0xff]
3034          vpmovdw %zmm7, -4128(%rdx)
3035
3036// CHECK: vpmovsdw %zmm14, (%rcx)
3037// CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x23,0x31]
3038          vpmovsdw %zmm14, (%rcx)
3039
3040// CHECK: vpmovsdw %zmm14, (%rcx) {%k6}
3041// CHECK:  encoding: [0x62,0x72,0x7e,0x4e,0x23,0x31]
3042          vpmovsdw %zmm14, (%rcx) {%k6}
3043
3044// CHECK: vpmovsdw %zmm14, 291(%rax,%r14,8)
3045// CHECK:  encoding: [0x62,0x32,0x7e,0x48,0x23,0xb4,0xf0,0x23,0x01,0x00,0x00]
3046          vpmovsdw %zmm14, 291(%rax,%r14,8)
3047
3048// CHECK: vpmovsdw %zmm14, 4064(%rdx)
3049// CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x23,0x72,0x7f]
3050          vpmovsdw %zmm14, 4064(%rdx)
3051
3052// CHECK: vpmovsdw %zmm14, 4096(%rdx)
3053// CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x23,0xb2,0x00,0x10,0x00,0x00]
3054          vpmovsdw %zmm14, 4096(%rdx)
3055
3056// CHECK: vpmovsdw %zmm14, -4096(%rdx)
3057// CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x23,0x72,0x80]
3058          vpmovsdw %zmm14, -4096(%rdx)
3059
3060// CHECK: vpmovsdw %zmm14, -4128(%rdx)
3061// CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x23,0xb2,0xe0,0xef,0xff,0xff]
3062          vpmovsdw %zmm14, -4128(%rdx)
3063
3064// CHECK: vpmovusdw %zmm5, (%rcx)
3065// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x13,0x29]
3066          vpmovusdw %zmm5, (%rcx)
3067
3068// CHECK: vpmovusdw %zmm5, (%rcx) {%k3}
3069// CHECK:  encoding: [0x62,0xf2,0x7e,0x4b,0x13,0x29]
3070          vpmovusdw %zmm5, (%rcx) {%k3}
3071
3072// CHECK: vpmovusdw %zmm5, 291(%rax,%r14,8)
3073// CHECK:  encoding: [0x62,0xb2,0x7e,0x48,0x13,0xac,0xf0,0x23,0x01,0x00,0x00]
3074          vpmovusdw %zmm5, 291(%rax,%r14,8)
3075
3076// CHECK: vpmovusdw %zmm5, 4064(%rdx)
3077// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x13,0x6a,0x7f]
3078          vpmovusdw %zmm5, 4064(%rdx)
3079
3080// CHECK: vpmovusdw %zmm5, 4096(%rdx)
3081// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x13,0xaa,0x00,0x10,0x00,0x00]
3082          vpmovusdw %zmm5, 4096(%rdx)
3083
3084// CHECK: vpmovusdw %zmm5, -4096(%rdx)
3085// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x13,0x6a,0x80]
3086          vpmovusdw %zmm5, -4096(%rdx)
3087
3088// CHECK: vpmovusdw %zmm5, -4128(%rdx)
3089// CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x13,0xaa,0xe0,0xef,0xff,0xff]
3090          vpmovusdw %zmm5, -4128(%rdx)
3091
3092// CHECK: vinserti32x4
3093// CHECK: encoding: [0x62,0xa3,0x55,0x48,0x38,0xcd,0x01]
3094vinserti32x4  $1, %xmm21, %zmm5, %zmm17
3095
3096// CHECK: vinserti32x4
3097// CHECK: encoding: [0x62,0xe3,0x1d,0x40,0x38,0x4f,0x10,0x01]
3098vinserti32x4  $1, 256(%rdi), %zmm28, %zmm17
3099
3100// CHECK: vextracti32x4
3101// CHECK: encoding: [0x62,0x33,0x7d,0x48,0x39,0xc9,0x01]
3102vextracti32x4  $1, %zmm9, %xmm17
3103
3104// CHECK: vextracti64x4
3105// CHECK: encoding: [0x62,0x33,0xfd,0x48,0x3b,0xc9,0x01]
3106vextracti64x4  $1, %zmm9, %ymm17
3107
3108// CHECK: vextracti64x4
3109// CHECK: encoding: [0x62,0x73,0xfd,0x48,0x3b,0x4f,0x10,0x01]
3110vextracti64x4  $1, %zmm9, 512(%rdi)
3111
3112// CHECK: vpsrad
3113// CHECK: encoding: [0x62,0xb1,0x35,0x40,0x72,0xe1,0x02]
3114vpsrad $2, %zmm17, %zmm25
3115
3116// CHECK: vpsrad
3117// CHECK: encoding: [0x62,0xf1,0x35,0x40,0x72,0x64,0xb7,0x08,0x02]
3118vpsrad $2, 512(%rdi, %rsi, 4), %zmm25
3119
3120// CHECK: vpsrad
3121// CHECK: encoding: [0x62,0x21,0x1d,0x48,0xe2,0xc9]
3122vpsrad %xmm17, %zmm12, %zmm25
3123
3124// CHECK: vpsrad
3125// CHECK: encoding: [0x62,0x61,0x1d,0x48,0xe2,0x4c,0xb7,0x20]
3126vpsrad 512(%rdi, %rsi, 4), %zmm12, %zmm25
3127
3128// CHECK: vpbroadcastd {{.*}} {%k1} {z}
3129// CHECK: encoding: [0x62,0xf2,0x7d,0xc9,0x58,0xc8]
3130vpbroadcastd  %xmm0, %zmm1 {%k1} {z}
3131
3132// CHECK: vbroadcasti32x4 {{.*}} {%k7} {z}
3133// CHECK: encoding: [0x67,0x62,0xf2,0x7d,0xcf,0x5a,0x52,0x02]
3134vbroadcasti32x4 0x20(%edx), %zmm2 {%k7} {z}
3135
3136// CHECK: vbroadcasti64x4 {{.*}} %zmm22
3137// CHECK: encoding: [0x62,0xe2,0xfd,0x48,0x5b,0x72,0x02]
3138vbroadcasti64x4 0x40(%rdx), %zmm22
3139
3140// CHECK: vmovdqu64 {{.*}} {%k3}
3141// CHECK: encoding: [0x62,0xf1,0xfe,0x4b,0x7f,0x07]
3142vmovdqu64 %zmm0, (%rdi) {%k3}
3143
3144// CHECK: vmovdqa32 {{.*}} {%k4}
3145// CHECK: encoding: [0x62,0x61,0x7d,0x4c,0x6f,0x1e]
3146vmovdqa32 (%rsi), %zmm27 {%k4}
3147
3148// CHECK: vmovd
3149// CHECK: encoding: [0x62,0xe1,0x7d,0x08,0x7e,0x74,0x24,0xeb]
3150vmovd %xmm22, -84(%rsp)
3151
3152// CHECK: vextractps
3153// CHECK: encoding: [0x62,0xe3,0x7d,0x08,0x17,0x61,0x1f,0x02]
3154vextractps      $2, %xmm20, 124(%rcx)
3155
3156// CHECK: vaddpd {{.*}}{1to8}
3157// CHECK: encoding: [0x62,0x61,0xdd,0x50,0x58,0x74,0xf7,0x40]
3158vaddpd 512(%rdi, %rsi, 8) {1to8}, %zmm20, %zmm30
3159
3160// CHECK: vaddps {{.*}}{1to16}
3161// CHECK: encoding: [0x62,0x61,0x5c,0x50,0x58,0xb4,0xf7,0x00,0x02,0x00,0x00]
3162vaddps 512(%rdi, %rsi, 8) {1to16}, %zmm20, %zmm30
3163
3164// CHECK: vmovntdqa
3165// CHECK: encoding: [0x62,0x72,0x7d,0x48,0x2a,0xab,0x78,0x56,0x34,0x12]
3166vmovntdqa 0x12345678(%rbx), %zmm13
3167
3168// CHECK: vmovntdqa
3169// CHECK: encoding: [0x62,0xc2,0x7d,0x48,0x2a,0x14,0x56]
3170vmovntdqa (%r14,%rdx,2), %zmm18
3171
3172// CHECK: vmovntdqa
3173// CHECK: encoding: [0x62,0xc2,0x7d,0x48,0x2a,0x7c,0x14,0x02]
3174vmovntdqa 128(%r12,%rdx), %zmm23
3175
3176// CHECK: vmovntdq
3177// CHECK: encoding: [0x62,0x21,0x7d,0x48,0xe7,0x24,0xa9]
3178vmovntdq %zmm28, (%rcx,%r13,4)
3179
3180// CHECK: vmovntpd
3181// CHECK: encoding: [0x62,0xf1,0xfd,0x48,0x2b,0xb2,0x04,0x00,0x00,0x00]
3182vmovntpd %zmm6, 4(%rdx)
3183
3184// CHECK: vmovntps
3185// CHECK: encoding: [0x62,0x51,0x7c,0x48,0x2b,0x5c,0x8d,0x00]
3186vmovntps %zmm11, (%r13,%rcx,4)
3187
3188// CHECK: vcmpps $14
3189// CHECK: encoding: [0x62,0xb1,0x54,0x48,0xc2,0xd1,0x0e]
3190vcmpgtps %zmm17, %zmm5, %k2
3191
3192// CHECK: vcmppd $13
3193// CHECK: encoding: [0x62,0xd1,0xf5,0x40,0xc2,0x76,0x02,0x0d]
3194vcmpgepd 0x80(%r14), %zmm17, %k6
3195
3196// CHECK: vpcmpd $1,
3197// CHECK: encoding: [0x62,0x93,0x45,0x4c,0x1f,0xe8,0x01]
3198vpcmpd $1, %zmm24, %zmm7, %k5{%k4}
3199
3200// CHECK: vpcmpuq $2,
3201// CHECK: encoding: [0x62,0xf3,0xf5,0x47,0x1e,0x72,0x01,0x02]
3202vpcmpuq $2, 0x40(%rdx), %zmm17, %k6{%k7}
3203
3204// ERR: invalid operand for instruction
3205vpcmpd $1, %zmm24, %zmm7, %k5{%k0}
3206
3207// CHECK: vpermi2d
3208// CHECK: encoding: [0x62,0x42,0x6d,0x4b,0x76,0xd6]
3209vpermi2d %zmm14, %zmm2, %zmm26 {%k3}
3210
3211// CHECK: vpermt2pd
3212// CHECK: encoding: [0x62,0xf2,0xcd,0xc6,0x7f,0xf3]
3213vpermt2pd %zmm3, %zmm22, %zmm6 {%k6} {z}
3214
3215// CHECK: vpermi2q
3216// CHECK: encoding: [0x62,0x62,0xed,0x4b,0x76,0x54,0x58,0x02]
3217vpermi2q 0x80(%rax,%rbx,2), %zmm2, %zmm26 {%k3}
3218
3219// CHECK: vpermt2d
3220// CHECK: encoding: [0x62,0x32,0x4d,0xc2,0x7e,0x24,0xad,0x05,0x00,0x00,0x00]
3221vpermt2d 5(,%r13,4), %zmm22, %zmm12 {%k2} {z}
3222