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
4 // CHECK: vaddpd %zmm6, %zmm27, %zmm8
5 // CHECK: encoding: [0x62,0x71,0xa5,0x40,0x58,0xc6]
6 vaddpd %zmm6, %zmm27, %zmm8
8 // CHECK: vaddpd %zmm6, %zmm27, %zmm8 {%k7}
9 // CHECK: encoding: [0x62,0x71,0xa5,0x47,0x58,0xc6]
10 vaddpd %zmm6, %zmm27, %zmm8 {%k7}
12 // CHECK: vaddpd %zmm6, %zmm27, %zmm8 {%k7} {z}
13 // CHECK: encoding: [0x62,0x71,0xa5,0xc7,0x58,0xc6]
14 vaddpd %zmm6, %zmm27, %zmm8 {%k7} {z}
16 // CHECK: vaddpd (%rcx), %zmm27, %zmm8
17 // CHECK: encoding: [0x62,0x71,0xa5,0x40,0x58,0x01]
18 vaddpd (%rcx), %zmm27, %zmm8
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
24 // CHECK: vaddpd (%rcx){1to8}, %zmm27, %zmm8
25 // CHECK: encoding: [0x62,0x71,0xa5,0x50,0x58,0x01]
26 vaddpd (%rcx){1to8}, %zmm27, %zmm8
28 // CHECK: vaddpd 8128(%rdx), %zmm27, %zmm8
29 // CHECK: encoding: [0x62,0x71,0xa5,0x40,0x58,0x42,0x7f]
30 vaddpd 8128(%rdx), %zmm27, %zmm8
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
36 // CHECK: vaddpd -8192(%rdx), %zmm27, %zmm8
37 // CHECK: encoding: [0x62,0x71,0xa5,0x40,0x58,0x42,0x80]
38 vaddpd -8192(%rdx), %zmm27, %zmm8
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
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
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
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
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
60 // CHECK: vaddps %zmm2, %zmm13, %zmm18
61 // CHECK: encoding: [0x62,0xe1,0x14,0x48,0x58,0xd2]
62 vaddps %zmm2, %zmm13, %zmm18
64 // CHECK: vaddps %zmm2, %zmm13, %zmm18 {%k4}
65 // CHECK: encoding: [0x62,0xe1,0x14,0x4c,0x58,0xd2]
66 vaddps %zmm2, %zmm13, %zmm18 {%k4}
68 // CHECK: vaddps %zmm2, %zmm13, %zmm18 {%k4} {z}
69 // CHECK: encoding: [0x62,0xe1,0x14,0xcc,0x58,0xd2]
70 vaddps %zmm2, %zmm13, %zmm18 {%k4} {z}
72 // CHECK: vaddps (%rcx), %zmm13, %zmm18
73 // CHECK: encoding: [0x62,0xe1,0x14,0x48,0x58,0x11]
74 vaddps (%rcx), %zmm13, %zmm18
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
80 // CHECK: vaddps (%rcx){1to16}, %zmm13, %zmm18
81 // CHECK: encoding: [0x62,0xe1,0x14,0x58,0x58,0x11]
82 vaddps (%rcx){1to16}, %zmm13, %zmm18
84 // CHECK: vaddps 8128(%rdx), %zmm13, %zmm18
85 // CHECK: encoding: [0x62,0xe1,0x14,0x48,0x58,0x52,0x7f]
86 vaddps 8128(%rdx), %zmm13, %zmm18
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
92 // CHECK: vaddps -8192(%rdx), %zmm13, %zmm18
93 // CHECK: encoding: [0x62,0xe1,0x14,0x48,0x58,0x52,0x80]
94 vaddps -8192(%rdx), %zmm13, %zmm18
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
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
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
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
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
116 // CHECK: vdivpd %zmm11, %zmm6, %zmm18
117 // CHECK: encoding: [0x62,0xc1,0xcd,0x48,0x5e,0xd3]
118 vdivpd %zmm11, %zmm6, %zmm18
120 // CHECK: vdivpd %zmm11, %zmm6, %zmm18 {%k4}
121 // CHECK: encoding: [0x62,0xc1,0xcd,0x4c,0x5e,0xd3]
122 vdivpd %zmm11, %zmm6, %zmm18 {%k4}
124 // CHECK: vdivpd %zmm11, %zmm6, %zmm18 {%k4} {z}
125 // CHECK: encoding: [0x62,0xc1,0xcd,0xcc,0x5e,0xd3]
126 vdivpd %zmm11, %zmm6, %zmm18 {%k4} {z}
128 // CHECK: vdivpd (%rcx), %zmm6, %zmm18
129 // CHECK: encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x11]
130 vdivpd (%rcx), %zmm6, %zmm18
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
136 // CHECK: vdivpd (%rcx){1to8}, %zmm6, %zmm18
137 // CHECK: encoding: [0x62,0xe1,0xcd,0x58,0x5e,0x11]
138 vdivpd (%rcx){1to8}, %zmm6, %zmm18
140 // CHECK: vdivpd 8128(%rdx), %zmm6, %zmm18
141 // CHECK: encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x52,0x7f]
142 vdivpd 8128(%rdx), %zmm6, %zmm18
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
148 // CHECK: vdivpd -8192(%rdx), %zmm6, %zmm18
149 // CHECK: encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x52,0x80]
150 vdivpd -8192(%rdx), %zmm6, %zmm18
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
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
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
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
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
172 // CHECK: vdivps %zmm28, %zmm23, %zmm23
173 // CHECK: encoding: [0x62,0x81,0x44,0x40,0x5e,0xfc]
174 vdivps %zmm28, %zmm23, %zmm23
176 // CHECK: vdivps %zmm28, %zmm23, %zmm23 {%k2}
177 // CHECK: encoding: [0x62,0x81,0x44,0x42,0x5e,0xfc]
178 vdivps %zmm28, %zmm23, %zmm23 {%k2}
180 // CHECK: vdivps %zmm28, %zmm23, %zmm23 {%k2} {z}
181 // CHECK: encoding: [0x62,0x81,0x44,0xc2,0x5e,0xfc]
182 vdivps %zmm28, %zmm23, %zmm23 {%k2} {z}
184 // CHECK: vdivps (%rcx), %zmm23, %zmm23
185 // CHECK: encoding: [0x62,0xe1,0x44,0x40,0x5e,0x39]
186 vdivps (%rcx), %zmm23, %zmm23
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
192 // CHECK: vdivps (%rcx){1to16}, %zmm23, %zmm23
193 // CHECK: encoding: [0x62,0xe1,0x44,0x50,0x5e,0x39]
194 vdivps (%rcx){1to16}, %zmm23, %zmm23
196 // CHECK: vdivps 8128(%rdx), %zmm23, %zmm23
197 // CHECK: encoding: [0x62,0xe1,0x44,0x40,0x5e,0x7a,0x7f]
198 vdivps 8128(%rdx), %zmm23, %zmm23
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
204 // CHECK: vdivps -8192(%rdx), %zmm23, %zmm23
205 // CHECK: encoding: [0x62,0xe1,0x44,0x40,0x5e,0x7a,0x80]
206 vdivps -8192(%rdx), %zmm23, %zmm23
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
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
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
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
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
228 // CHECK: vmaxpd %zmm20, %zmm28, %zmm30
229 // CHECK: encoding: [0x62,0x21,0x9d,0x40,0x5f,0xf4]
230 vmaxpd %zmm20, %zmm28, %zmm30
232 // CHECK: vmaxpd %zmm20, %zmm28, %zmm30 {%k1}
233 // CHECK: encoding: [0x62,0x21,0x9d,0x41,0x5f,0xf4]
234 vmaxpd %zmm20, %zmm28, %zmm30 {%k1}
236 // CHECK: vmaxpd %zmm20, %zmm28, %zmm30 {%k1} {z}
237 // CHECK: encoding: [0x62,0x21,0x9d,0xc1,0x5f,0xf4]
238 vmaxpd %zmm20, %zmm28, %zmm30 {%k1} {z}
240 // CHECK: vmaxpd (%rcx), %zmm28, %zmm30
241 // CHECK: encoding: [0x62,0x61,0x9d,0x40,0x5f,0x31]
242 vmaxpd (%rcx), %zmm28, %zmm30
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
248 // CHECK: vmaxpd (%rcx){1to8}, %zmm28, %zmm30
249 // CHECK: encoding: [0x62,0x61,0x9d,0x50,0x5f,0x31]
250 vmaxpd (%rcx){1to8}, %zmm28, %zmm30
252 // CHECK: vmaxpd 8128(%rdx), %zmm28, %zmm30
253 // CHECK: encoding: [0x62,0x61,0x9d,0x40,0x5f,0x72,0x7f]
254 vmaxpd 8128(%rdx), %zmm28, %zmm30
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
260 // CHECK: vmaxpd -8192(%rdx), %zmm28, %zmm30
261 // CHECK: encoding: [0x62,0x61,0x9d,0x40,0x5f,0x72,0x80]
262 vmaxpd -8192(%rdx), %zmm28, %zmm30
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
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
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
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
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
284 // CHECK: vmaxps %zmm20, %zmm6, %zmm25
285 // CHECK: encoding: [0x62,0x21,0x4c,0x48,0x5f,0xcc]
286 vmaxps %zmm20, %zmm6, %zmm25
288 // CHECK: vmaxps %zmm20, %zmm6, %zmm25 {%k1}
289 // CHECK: encoding: [0x62,0x21,0x4c,0x49,0x5f,0xcc]
290 vmaxps %zmm20, %zmm6, %zmm25 {%k1}
292 // CHECK: vmaxps %zmm20, %zmm6, %zmm25 {%k1} {z}
293 // CHECK: encoding: [0x62,0x21,0x4c,0xc9,0x5f,0xcc]
294 vmaxps %zmm20, %zmm6, %zmm25 {%k1} {z}
296 // CHECK: vmaxps (%rcx), %zmm6, %zmm25
297 // CHECK: encoding: [0x62,0x61,0x4c,0x48,0x5f,0x09]
298 vmaxps (%rcx), %zmm6, %zmm25
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
304 // CHECK: vmaxps (%rcx){1to16}, %zmm6, %zmm25
305 // CHECK: encoding: [0x62,0x61,0x4c,0x58,0x5f,0x09]
306 vmaxps (%rcx){1to16}, %zmm6, %zmm25
308 // CHECK: vmaxps 8128(%rdx), %zmm6, %zmm25
309 // CHECK: encoding: [0x62,0x61,0x4c,0x48,0x5f,0x4a,0x7f]
310 vmaxps 8128(%rdx), %zmm6, %zmm25
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
316 // CHECK: vmaxps -8192(%rdx), %zmm6, %zmm25
317 // CHECK: encoding: [0x62,0x61,0x4c,0x48,0x5f,0x4a,0x80]
318 vmaxps -8192(%rdx), %zmm6, %zmm25
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
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
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
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
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
340 // CHECK: vminpd %zmm22, %zmm6, %zmm6
341 // CHECK: encoding: [0x62,0xb1,0xcd,0x48,0x5d,0xf6]
342 vminpd %zmm22, %zmm6, %zmm6
344 // CHECK: vminpd %zmm22, %zmm6, %zmm6 {%k7}
345 // CHECK: encoding: [0x62,0xb1,0xcd,0x4f,0x5d,0xf6]
346 vminpd %zmm22, %zmm6, %zmm6 {%k7}
348 // CHECK: vminpd %zmm22, %zmm6, %zmm6 {%k7} {z}
349 // CHECK: encoding: [0x62,0xb1,0xcd,0xcf,0x5d,0xf6]
350 vminpd %zmm22, %zmm6, %zmm6 {%k7} {z}
352 // CHECK: vminpd (%rcx), %zmm6, %zmm6
353 // CHECK: encoding: [0x62,0xf1,0xcd,0x48,0x5d,0x31]
354 vminpd (%rcx), %zmm6, %zmm6
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
360 // CHECK: vminpd (%rcx){1to8}, %zmm6, %zmm6
361 // CHECK: encoding: [0x62,0xf1,0xcd,0x58,0x5d,0x31]
362 vminpd (%rcx){1to8}, %zmm6, %zmm6
364 // CHECK: vminpd 8128(%rdx), %zmm6, %zmm6
365 // CHECK: encoding: [0x62,0xf1,0xcd,0x48,0x5d,0x72,0x7f]
366 vminpd 8128(%rdx), %zmm6, %zmm6
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
372 // CHECK: vminpd -8192(%rdx), %zmm6, %zmm6
373 // CHECK: encoding: [0x62,0xf1,0xcd,0x48,0x5d,0x72,0x80]
374 vminpd -8192(%rdx), %zmm6, %zmm6
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
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
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
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
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
396 // CHECK: vminps %zmm7, %zmm3, %zmm3
397 // CHECK: encoding: [0x62,0xf1,0x64,0x48,0x5d,0xdf]
398 vminps %zmm7, %zmm3, %zmm3
400 // CHECK: vminps %zmm7, %zmm3, %zmm3 {%k3}
401 // CHECK: encoding: [0x62,0xf1,0x64,0x4b,0x5d,0xdf]
402 vminps %zmm7, %zmm3, %zmm3 {%k3}
404 // CHECK: vminps %zmm7, %zmm3, %zmm3 {%k3} {z}
405 // CHECK: encoding: [0x62,0xf1,0x64,0xcb,0x5d,0xdf]
406 vminps %zmm7, %zmm3, %zmm3 {%k3} {z}
408 // CHECK: vminps (%rcx), %zmm3, %zmm3
409 // CHECK: encoding: [0x62,0xf1,0x64,0x48,0x5d,0x19]
410 vminps (%rcx), %zmm3, %zmm3
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
416 // CHECK: vminps (%rcx){1to16}, %zmm3, %zmm3
417 // CHECK: encoding: [0x62,0xf1,0x64,0x58,0x5d,0x19]
418 vminps (%rcx){1to16}, %zmm3, %zmm3
420 // CHECK: vminps 8128(%rdx), %zmm3, %zmm3
421 // CHECK: encoding: [0x62,0xf1,0x64,0x48,0x5d,0x5a,0x7f]
422 vminps 8128(%rdx), %zmm3, %zmm3
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
428 // CHECK: vminps -8192(%rdx), %zmm3, %zmm3
429 // CHECK: encoding: [0x62,0xf1,0x64,0x48,0x5d,0x5a,0x80]
430 vminps -8192(%rdx), %zmm3, %zmm3
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
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
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
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
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
452 // CHECK: vmovapd %zmm14, %zmm7
453 // CHECK: encoding: [0x62,0xd1,0xfd,0x48,0x28,0xfe]
454 vmovapd %zmm14, %zmm7
456 // CHECK: vmovapd %zmm14, %zmm7 {%k5}
457 // CHECK: encoding: [0x62,0xd1,0xfd,0x4d,0x28,0xfe]
458 vmovapd %zmm14, %zmm7 {%k5}
460 // CHECK: vmovapd %zmm14, %zmm7 {%k5} {z}
461 // CHECK: encoding: [0x62,0xd1,0xfd,0xcd,0x28,0xfe]
462 vmovapd %zmm14, %zmm7 {%k5} {z}
464 // CHECK: vmovapd (%rcx), %zmm7
465 // CHECK: encoding: [0x62,0xf1,0xfd,0x48,0x28,0x39]
466 vmovapd (%rcx), %zmm7
468 // CHECK: vmovapd 291(%rax,%r14,8), %zmm7
469 // CHECK: encoding: [0x62,0xb1,0xfd,0x48,0x28,0xbc,0xf0,0x23,0x01,0x00,0x00]
470 vmovapd 291(%rax,%r14,8), %zmm7
472 // CHECK: vmovapd 8128(%rdx), %zmm7
473 // CHECK: encoding: [0x62,0xf1,0xfd,0x48,0x28,0x7a,0x7f]
474 vmovapd 8128(%rdx), %zmm7
476 // CHECK: vmovapd 8192(%rdx), %zmm7
477 // CHECK: encoding: [0x62,0xf1,0xfd,0x48,0x28,0xba,0x00,0x20,0x00,0x00]
478 vmovapd 8192(%rdx), %zmm7
480 // CHECK: vmovapd -8192(%rdx), %zmm7
481 // CHECK: encoding: [0x62,0xf1,0xfd,0x48,0x28,0x7a,0x80]
482 vmovapd -8192(%rdx), %zmm7
484 // CHECK: vmovapd -8256(%rdx), %zmm7
485 // CHECK: encoding: [0x62,0xf1,0xfd,0x48,0x28,0xba,0xc0,0xdf,0xff,0xff]
486 vmovapd -8256(%rdx), %zmm7
488 // CHECK: vmovaps %zmm9, %zmm5
489 // CHECK: encoding: [0x62,0xd1,0x7c,0x48,0x28,0xe9]
492 // CHECK: vmovaps %zmm9, %zmm5 {%k1}
493 // CHECK: encoding: [0x62,0xd1,0x7c,0x49,0x28,0xe9]
494 vmovaps %zmm9, %zmm5 {%k1}
496 // CHECK: vmovaps %zmm9, %zmm5 {%k1} {z}
497 // CHECK: encoding: [0x62,0xd1,0x7c,0xc9,0x28,0xe9]
498 vmovaps %zmm9, %zmm5 {%k1} {z}
500 // CHECK: vmovaps (%rcx), %zmm5
501 // CHECK: encoding: [0x62,0xf1,0x7c,0x48,0x28,0x29]
502 vmovaps (%rcx), %zmm5
504 // CHECK: vmovaps 291(%rax,%r14,8), %zmm5
505 // CHECK: encoding: [0x62,0xb1,0x7c,0x48,0x28,0xac,0xf0,0x23,0x01,0x00,0x00]
506 vmovaps 291(%rax,%r14,8), %zmm5
508 // CHECK: vmovaps 8128(%rdx), %zmm5
509 // CHECK: encoding: [0x62,0xf1,0x7c,0x48,0x28,0x6a,0x7f]
510 vmovaps 8128(%rdx), %zmm5
512 // CHECK: vmovaps 8192(%rdx), %zmm5
513 // CHECK: encoding: [0x62,0xf1,0x7c,0x48,0x28,0xaa,0x00,0x20,0x00,0x00]
514 vmovaps 8192(%rdx), %zmm5
516 // CHECK: vmovaps -8192(%rdx), %zmm5
517 // CHECK: encoding: [0x62,0xf1,0x7c,0x48,0x28,0x6a,0x80]
518 vmovaps -8192(%rdx), %zmm5
520 // CHECK: vmovaps -8256(%rdx), %zmm5
521 // CHECK: encoding: [0x62,0xf1,0x7c,0x48,0x28,0xaa,0xc0,0xdf,0xff,0xff]
522 vmovaps -8256(%rdx), %zmm5
524 // CHECK: vmovdqa32 %zmm18, %zmm22
525 // CHECK: encoding: [0x62,0xa1,0x7d,0x48,0x6f,0xf2]
526 vmovdqa32 %zmm18, %zmm22
528 // CHECK: vmovdqa32 %zmm18, %zmm22 {%k6}
529 // CHECK: encoding: [0x62,0xa1,0x7d,0x4e,0x6f,0xf2]
530 vmovdqa32 %zmm18, %zmm22 {%k6}
532 // CHECK: vmovdqa32 %zmm18, %zmm22 {%k6} {z}
533 // CHECK: encoding: [0x62,0xa1,0x7d,0xce,0x6f,0xf2]
534 vmovdqa32 %zmm18, %zmm22 {%k6} {z}
536 // CHECK: vmovdqa32 (%rcx), %zmm22
537 // CHECK: encoding: [0x62,0xe1,0x7d,0x48,0x6f,0x31]
538 vmovdqa32 (%rcx), %zmm22
540 // CHECK: vmovdqa32 291(%rax,%r14,8), %zmm22
541 // CHECK: encoding: [0x62,0xa1,0x7d,0x48,0x6f,0xb4,0xf0,0x23,0x01,0x00,0x00]
542 vmovdqa32 291(%rax,%r14,8), %zmm22
544 // CHECK: vmovdqa32 8128(%rdx), %zmm22
545 // CHECK: encoding: [0x62,0xe1,0x7d,0x48,0x6f,0x72,0x7f]
546 vmovdqa32 8128(%rdx), %zmm22
548 // CHECK: vmovdqa32 8192(%rdx), %zmm22
549 // CHECK: encoding: [0x62,0xe1,0x7d,0x48,0x6f,0xb2,0x00,0x20,0x00,0x00]
550 vmovdqa32 8192(%rdx), %zmm22
552 // CHECK: vmovdqa32 -8192(%rdx), %zmm22
553 // CHECK: encoding: [0x62,0xe1,0x7d,0x48,0x6f,0x72,0x80]
554 vmovdqa32 -8192(%rdx), %zmm22
556 // CHECK: vmovdqa32 -8256(%rdx), %zmm22
557 // CHECK: encoding: [0x62,0xe1,0x7d,0x48,0x6f,0xb2,0xc0,0xdf,0xff,0xff]
558 vmovdqa32 -8256(%rdx), %zmm22
560 // CHECK: vmovdqa64 %zmm12, %zmm22
561 // CHECK: encoding: [0x62,0xc1,0xfd,0x48,0x6f,0xf4]
562 vmovdqa64 %zmm12, %zmm22
564 // CHECK: vmovdqa64 %zmm12, %zmm22 {%k5}
565 // CHECK: encoding: [0x62,0xc1,0xfd,0x4d,0x6f,0xf4]
566 vmovdqa64 %zmm12, %zmm22 {%k5}
568 // CHECK: vmovdqa64 %zmm12, %zmm22 {%k5} {z}
569 // CHECK: encoding: [0x62,0xc1,0xfd,0xcd,0x6f,0xf4]
570 vmovdqa64 %zmm12, %zmm22 {%k5} {z}
572 // CHECK: vmovdqa64 (%rcx), %zmm22
573 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x6f,0x31]
574 vmovdqa64 (%rcx), %zmm22
576 // CHECK: vmovdqa64 291(%rax,%r14,8), %zmm22
577 // CHECK: encoding: [0x62,0xa1,0xfd,0x48,0x6f,0xb4,0xf0,0x23,0x01,0x00,0x00]
578 vmovdqa64 291(%rax,%r14,8), %zmm22
580 // CHECK: vmovdqa64 8128(%rdx), %zmm22
581 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x6f,0x72,0x7f]
582 vmovdqa64 8128(%rdx), %zmm22
584 // CHECK: vmovdqa64 8192(%rdx), %zmm22
585 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x6f,0xb2,0x00,0x20,0x00,0x00]
586 vmovdqa64 8192(%rdx), %zmm22
588 // CHECK: vmovdqa64 -8192(%rdx), %zmm22
589 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x6f,0x72,0x80]
590 vmovdqa64 -8192(%rdx), %zmm22
592 // CHECK: vmovdqa64 -8256(%rdx), %zmm22
593 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x6f,0xb2,0xc0,0xdf,0xff,0xff]
594 vmovdqa64 -8256(%rdx), %zmm22
596 // CHECK: vmovdqu32 %zmm24, %zmm5
597 // CHECK: encoding: [0x62,0x91,0x7e,0x48,0x6f,0xe8]
598 vmovdqu32 %zmm24, %zmm5
600 // CHECK: vmovdqu32 %zmm24, %zmm5 {%k5}
601 // CHECK: encoding: [0x62,0x91,0x7e,0x4d,0x6f,0xe8]
602 vmovdqu32 %zmm24, %zmm5 {%k5}
604 // CHECK: vmovdqu32 %zmm24, %zmm5 {%k5} {z}
605 // CHECK: encoding: [0x62,0x91,0x7e,0xcd,0x6f,0xe8]
606 vmovdqu32 %zmm24, %zmm5 {%k5} {z}
608 // CHECK: vmovdqu32 (%rcx), %zmm5
609 // CHECK: encoding: [0x62,0xf1,0x7e,0x48,0x6f,0x29]
610 vmovdqu32 (%rcx), %zmm5
612 // CHECK: vmovdqu32 291(%rax,%r14,8), %zmm5
613 // CHECK: encoding: [0x62,0xb1,0x7e,0x48,0x6f,0xac,0xf0,0x23,0x01,0x00,0x00]
614 vmovdqu32 291(%rax,%r14,8), %zmm5
616 // CHECK: vmovdqu32 8128(%rdx), %zmm5
617 // CHECK: encoding: [0x62,0xf1,0x7e,0x48,0x6f,0x6a,0x7f]
618 vmovdqu32 8128(%rdx), %zmm5
620 // CHECK: vmovdqu32 8192(%rdx), %zmm5
621 // CHECK: encoding: [0x62,0xf1,0x7e,0x48,0x6f,0xaa,0x00,0x20,0x00,0x00]
622 vmovdqu32 8192(%rdx), %zmm5
624 // CHECK: vmovdqu32 -8192(%rdx), %zmm5
625 // CHECK: encoding: [0x62,0xf1,0x7e,0x48,0x6f,0x6a,0x80]
626 vmovdqu32 -8192(%rdx), %zmm5
628 // CHECK: vmovdqu32 -8256(%rdx), %zmm5
629 // CHECK: encoding: [0x62,0xf1,0x7e,0x48,0x6f,0xaa,0xc0,0xdf,0xff,0xff]
630 vmovdqu32 -8256(%rdx), %zmm5
632 // CHECK: vmovdqu64 %zmm15, %zmm6
633 // CHECK: encoding: [0x62,0xd1,0xfe,0x48,0x6f,0xf7]
634 vmovdqu64 %zmm15, %zmm6
636 // CHECK: vmovdqu64 %zmm15, %zmm6 {%k3}
637 // CHECK: encoding: [0x62,0xd1,0xfe,0x4b,0x6f,0xf7]
638 vmovdqu64 %zmm15, %zmm6 {%k3}
640 // CHECK: vmovdqu64 %zmm15, %zmm6 {%k3} {z}
641 // CHECK: encoding: [0x62,0xd1,0xfe,0xcb,0x6f,0xf7]
642 vmovdqu64 %zmm15, %zmm6 {%k3} {z}
644 // CHECK: vmovdqu64 (%rcx), %zmm6
645 // CHECK: encoding: [0x62,0xf1,0xfe,0x48,0x6f,0x31]
646 vmovdqu64 (%rcx), %zmm6
648 // CHECK: vmovdqu64 291(%rax,%r14,8), %zmm6
649 // CHECK: encoding: [0x62,0xb1,0xfe,0x48,0x6f,0xb4,0xf0,0x23,0x01,0x00,0x00]
650 vmovdqu64 291(%rax,%r14,8), %zmm6
652 // CHECK: vmovdqu64 8128(%rdx), %zmm6
653 // CHECK: encoding: [0x62,0xf1,0xfe,0x48,0x6f,0x72,0x7f]
654 vmovdqu64 8128(%rdx), %zmm6
656 // CHECK: vmovdqu64 8192(%rdx), %zmm6
657 // CHECK: encoding: [0x62,0xf1,0xfe,0x48,0x6f,0xb2,0x00,0x20,0x00,0x00]
658 vmovdqu64 8192(%rdx), %zmm6
660 // CHECK: vmovdqu64 -8192(%rdx), %zmm6
661 // CHECK: encoding: [0x62,0xf1,0xfe,0x48,0x6f,0x72,0x80]
662 vmovdqu64 -8192(%rdx), %zmm6
664 // CHECK: vmovdqu64 -8256(%rdx), %zmm6
665 // CHECK: encoding: [0x62,0xf1,0xfe,0x48,0x6f,0xb2,0xc0,0xdf,0xff,0xff]
666 vmovdqu64 -8256(%rdx), %zmm6
668 // CHECK: vmovntdq %zmm24, (%rcx)
669 // CHECK: encoding: [0x62,0x61,0x7d,0x48,0xe7,0x01]
670 vmovntdq %zmm24, (%rcx)
672 // CHECK: vmovntdq %zmm24, 291(%rax,%r14,8)
673 // CHECK: encoding: [0x62,0x21,0x7d,0x48,0xe7,0x84,0xf0,0x23,0x01,0x00,0x00]
674 vmovntdq %zmm24, 291(%rax,%r14,8)
676 // CHECK: vmovntdq %zmm24, 8128(%rdx)
677 // CHECK: encoding: [0x62,0x61,0x7d,0x48,0xe7,0x42,0x7f]
678 vmovntdq %zmm24, 8128(%rdx)
680 // CHECK: vmovntdq %zmm24, 8192(%rdx)
681 // CHECK: encoding: [0x62,0x61,0x7d,0x48,0xe7,0x82,0x00,0x20,0x00,0x00]
682 vmovntdq %zmm24, 8192(%rdx)
684 // CHECK: vmovntdq %zmm24, -8192(%rdx)
685 // CHECK: encoding: [0x62,0x61,0x7d,0x48,0xe7,0x42,0x80]
686 vmovntdq %zmm24, -8192(%rdx)
688 // CHECK: vmovntdq %zmm24, -8256(%rdx)
689 // CHECK: encoding: [0x62,0x61,0x7d,0x48,0xe7,0x82,0xc0,0xdf,0xff,0xff]
690 vmovntdq %zmm24, -8256(%rdx)
692 // CHECK: vmovntdqa (%rcx), %zmm17
693 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x2a,0x09]
694 vmovntdqa (%rcx), %zmm17
696 // CHECK: vmovntdqa 291(%rax,%r14,8), %zmm17
697 // CHECK: encoding: [0x62,0xa2,0x7d,0x48,0x2a,0x8c,0xf0,0x23,0x01,0x00,0x00]
698 vmovntdqa 291(%rax,%r14,8), %zmm17
700 // CHECK: vmovntdqa 8128(%rdx), %zmm17
701 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x2a,0x4a,0x7f]
702 vmovntdqa 8128(%rdx), %zmm17
704 // CHECK: vmovntdqa 8192(%rdx), %zmm17
705 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x2a,0x8a,0x00,0x20,0x00,0x00]
706 vmovntdqa 8192(%rdx), %zmm17
708 // CHECK: vmovntdqa -8192(%rdx), %zmm17
709 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x2a,0x4a,0x80]
710 vmovntdqa -8192(%rdx), %zmm17
712 // CHECK: vmovntdqa -8256(%rdx), %zmm17
713 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x2a,0x8a,0xc0,0xdf,0xff,0xff]
714 vmovntdqa -8256(%rdx), %zmm17
716 // CHECK: vmovntpd %zmm17, (%rcx)
717 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x2b,0x09]
718 vmovntpd %zmm17, (%rcx)
720 // CHECK: vmovntpd %zmm17, 291(%rax,%r14,8)
721 // CHECK: encoding: [0x62,0xa1,0xfd,0x48,0x2b,0x8c,0xf0,0x23,0x01,0x00,0x00]
722 vmovntpd %zmm17, 291(%rax,%r14,8)
724 // CHECK: vmovntpd %zmm17, 8128(%rdx)
725 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x2b,0x4a,0x7f]
726 vmovntpd %zmm17, 8128(%rdx)
728 // CHECK: vmovntpd %zmm17, 8192(%rdx)
729 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x2b,0x8a,0x00,0x20,0x00,0x00]
730 vmovntpd %zmm17, 8192(%rdx)
732 // CHECK: vmovntpd %zmm17, -8192(%rdx)
733 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x2b,0x4a,0x80]
734 vmovntpd %zmm17, -8192(%rdx)
736 // CHECK: vmovntpd %zmm17, -8256(%rdx)
737 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x2b,0x8a,0xc0,0xdf,0xff,0xff]
738 vmovntpd %zmm17, -8256(%rdx)
740 // CHECK: vmovntps %zmm5, (%rcx)
741 // CHECK: encoding: [0x62,0xf1,0x7c,0x48,0x2b,0x29]
742 vmovntps %zmm5, (%rcx)
744 // CHECK: vmovntps %zmm5, 291(%rax,%r14,8)
745 // CHECK: encoding: [0x62,0xb1,0x7c,0x48,0x2b,0xac,0xf0,0x23,0x01,0x00,0x00]
746 vmovntps %zmm5, 291(%rax,%r14,8)
748 // CHECK: vmovntps %zmm5, 8128(%rdx)
749 // CHECK: encoding: [0x62,0xf1,0x7c,0x48,0x2b,0x6a,0x7f]
750 vmovntps %zmm5, 8128(%rdx)
752 // CHECK: vmovntps %zmm5, 8192(%rdx)
753 // CHECK: encoding: [0x62,0xf1,0x7c,0x48,0x2b,0xaa,0x00,0x20,0x00,0x00]
754 vmovntps %zmm5, 8192(%rdx)
756 // CHECK: vmovntps %zmm5, -8192(%rdx)
757 // CHECK: encoding: [0x62,0xf1,0x7c,0x48,0x2b,0x6a,0x80]
758 vmovntps %zmm5, -8192(%rdx)
760 // CHECK: vmovntps %zmm5, -8256(%rdx)
761 // CHECK: encoding: [0x62,0xf1,0x7c,0x48,0x2b,0xaa,0xc0,0xdf,0xff,0xff]
762 vmovntps %zmm5, -8256(%rdx)
764 // CHECK: vmovupd %zmm9, %zmm27
765 // CHECK: encoding: [0x62,0x41,0xfd,0x48,0x10,0xd9]
766 vmovupd %zmm9, %zmm27
768 // CHECK: vmovupd %zmm9, %zmm27 {%k2}
769 // CHECK: encoding: [0x62,0x41,0xfd,0x4a,0x10,0xd9]
770 vmovupd %zmm9, %zmm27 {%k2}
772 // CHECK: vmovupd %zmm9, %zmm27 {%k2} {z}
773 // CHECK: encoding: [0x62,0x41,0xfd,0xca,0x10,0xd9]
774 vmovupd %zmm9, %zmm27 {%k2} {z}
776 // CHECK: vmovupd (%rcx), %zmm27
777 // CHECK: encoding: [0x62,0x61,0xfd,0x48,0x10,0x19]
778 vmovupd (%rcx), %zmm27
780 // CHECK: vmovupd 291(%rax,%r14,8), %zmm27
781 // CHECK: encoding: [0x62,0x21,0xfd,0x48,0x10,0x9c,0xf0,0x23,0x01,0x00,0x00]
782 vmovupd 291(%rax,%r14,8), %zmm27
784 // CHECK: vmovupd 8128(%rdx), %zmm27
785 // CHECK: encoding: [0x62,0x61,0xfd,0x48,0x10,0x5a,0x7f]
786 vmovupd 8128(%rdx), %zmm27
788 // CHECK: vmovupd 8192(%rdx), %zmm27
789 // CHECK: encoding: [0x62,0x61,0xfd,0x48,0x10,0x9a,0x00,0x20,0x00,0x00]
790 vmovupd 8192(%rdx), %zmm27
792 // CHECK: vmovupd -8192(%rdx), %zmm27
793 // CHECK: encoding: [0x62,0x61,0xfd,0x48,0x10,0x5a,0x80]
794 vmovupd -8192(%rdx), %zmm27
796 // CHECK: vmovupd -8256(%rdx), %zmm27
797 // CHECK: encoding: [0x62,0x61,0xfd,0x48,0x10,0x9a,0xc0,0xdf,0xff,0xff]
798 vmovupd -8256(%rdx), %zmm27
800 // CHECK: vmovups %zmm22, %zmm22
801 // CHECK: encoding: [0x62,0xa1,0x7c,0x48,0x10,0xf6]
802 vmovups %zmm22, %zmm22
804 // CHECK: vmovups %zmm22, %zmm22 {%k3}
805 // CHECK: encoding: [0x62,0xa1,0x7c,0x4b,0x10,0xf6]
806 vmovups %zmm22, %zmm22 {%k3}
808 // CHECK: vmovups %zmm22, %zmm22 {%k3} {z}
809 // CHECK: encoding: [0x62,0xa1,0x7c,0xcb,0x10,0xf6]
810 vmovups %zmm22, %zmm22 {%k3} {z}
812 // CHECK: vmovups (%rcx), %zmm22
813 // CHECK: encoding: [0x62,0xe1,0x7c,0x48,0x10,0x31]
814 vmovups (%rcx), %zmm22
816 // CHECK: vmovups 291(%rax,%r14,8), %zmm22
817 // CHECK: encoding: [0x62,0xa1,0x7c,0x48,0x10,0xb4,0xf0,0x23,0x01,0x00,0x00]
818 vmovups 291(%rax,%r14,8), %zmm22
820 // CHECK: vmovups 8128(%rdx), %zmm22
821 // CHECK: encoding: [0x62,0xe1,0x7c,0x48,0x10,0x72,0x7f]
822 vmovups 8128(%rdx), %zmm22
824 // CHECK: vmovups 8192(%rdx), %zmm22
825 // CHECK: encoding: [0x62,0xe1,0x7c,0x48,0x10,0xb2,0x00,0x20,0x00,0x00]
826 vmovups 8192(%rdx), %zmm22
828 // CHECK: vmovups -8192(%rdx), %zmm22
829 // CHECK: encoding: [0x62,0xe1,0x7c,0x48,0x10,0x72,0x80]
830 vmovups -8192(%rdx), %zmm22
832 // CHECK: vmovups -8256(%rdx), %zmm22
833 // CHECK: encoding: [0x62,0xe1,0x7c,0x48,0x10,0xb2,0xc0,0xdf,0xff,0xff]
834 vmovups -8256(%rdx), %zmm22
836 // CHECK: vmulpd %zmm23, %zmm4, %zmm24
837 // CHECK: encoding: [0x62,0x21,0xdd,0x48,0x59,0xc7]
838 vmulpd %zmm23, %zmm4, %zmm24
840 // CHECK: vmulpd %zmm23, %zmm4, %zmm24 {%k6}
841 // CHECK: encoding: [0x62,0x21,0xdd,0x4e,0x59,0xc7]
842 vmulpd %zmm23, %zmm4, %zmm24 {%k6}
844 // CHECK: vmulpd %zmm23, %zmm4, %zmm24 {%k6} {z}
845 // CHECK: encoding: [0x62,0x21,0xdd,0xce,0x59,0xc7]
846 vmulpd %zmm23, %zmm4, %zmm24 {%k6} {z}
848 // CHECK: vmulpd (%rcx), %zmm4, %zmm24
849 // CHECK: encoding: [0x62,0x61,0xdd,0x48,0x59,0x01]
850 vmulpd (%rcx), %zmm4, %zmm24
852 // CHECK: vmulpd 291(%rax,%r14,8), %zmm4, %zmm24
853 // CHECK: encoding: [0x62,0x21,0xdd,0x48,0x59,0x84,0xf0,0x23,0x01,0x00,0x00]
854 vmulpd 291(%rax,%r14,8), %zmm4, %zmm24
856 // CHECK: vmulpd (%rcx){1to8}, %zmm4, %zmm24
857 // CHECK: encoding: [0x62,0x61,0xdd,0x58,0x59,0x01]
858 vmulpd (%rcx){1to8}, %zmm4, %zmm24
860 // CHECK: vmulpd 8128(%rdx), %zmm4, %zmm24
861 // CHECK: encoding: [0x62,0x61,0xdd,0x48,0x59,0x42,0x7f]
862 vmulpd 8128(%rdx), %zmm4, %zmm24
864 // CHECK: vmulpd 8192(%rdx), %zmm4, %zmm24
865 // CHECK: encoding: [0x62,0x61,0xdd,0x48,0x59,0x82,0x00,0x20,0x00,0x00]
866 vmulpd 8192(%rdx), %zmm4, %zmm24
868 // CHECK: vmulpd -8192(%rdx), %zmm4, %zmm24
869 // CHECK: encoding: [0x62,0x61,0xdd,0x48,0x59,0x42,0x80]
870 vmulpd -8192(%rdx), %zmm4, %zmm24
872 // CHECK: vmulpd -8256(%rdx), %zmm4, %zmm24
873 // CHECK: encoding: [0x62,0x61,0xdd,0x48,0x59,0x82,0xc0,0xdf,0xff,0xff]
874 vmulpd -8256(%rdx), %zmm4, %zmm24
876 // CHECK: vmulpd 1016(%rdx){1to8}, %zmm4, %zmm24
877 // CHECK: encoding: [0x62,0x61,0xdd,0x58,0x59,0x42,0x7f]
878 vmulpd 1016(%rdx){1to8}, %zmm4, %zmm24
880 // CHECK: vmulpd 1024(%rdx){1to8}, %zmm4, %zmm24
881 // CHECK: encoding: [0x62,0x61,0xdd,0x58,0x59,0x82,0x00,0x04,0x00,0x00]
882 vmulpd 1024(%rdx){1to8}, %zmm4, %zmm24
884 // CHECK: vmulpd -1024(%rdx){1to8}, %zmm4, %zmm24
885 // CHECK: encoding: [0x62,0x61,0xdd,0x58,0x59,0x42,0x80]
886 vmulpd -1024(%rdx){1to8}, %zmm4, %zmm24
888 // CHECK: vmulpd -1032(%rdx){1to8}, %zmm4, %zmm24
889 // CHECK: encoding: [0x62,0x61,0xdd,0x58,0x59,0x82,0xf8,0xfb,0xff,0xff]
890 vmulpd -1032(%rdx){1to8}, %zmm4, %zmm24
892 // CHECK: vmulps %zmm24, %zmm6, %zmm3
893 // CHECK: encoding: [0x62,0x91,0x4c,0x48,0x59,0xd8]
894 vmulps %zmm24, %zmm6, %zmm3
896 // CHECK: vmulps %zmm24, %zmm6, %zmm3 {%k4}
897 // CHECK: encoding: [0x62,0x91,0x4c,0x4c,0x59,0xd8]
898 vmulps %zmm24, %zmm6, %zmm3 {%k4}
900 // CHECK: vmulps %zmm24, %zmm6, %zmm3 {%k4} {z}
901 // CHECK: encoding: [0x62,0x91,0x4c,0xcc,0x59,0xd8]
902 vmulps %zmm24, %zmm6, %zmm3 {%k4} {z}
904 // CHECK: vmulps (%rcx), %zmm6, %zmm3
905 // CHECK: encoding: [0x62,0xf1,0x4c,0x48,0x59,0x19]
906 vmulps (%rcx), %zmm6, %zmm3
908 // CHECK: vmulps 291(%rax,%r14,8), %zmm6, %zmm3
909 // CHECK: encoding: [0x62,0xb1,0x4c,0x48,0x59,0x9c,0xf0,0x23,0x01,0x00,0x00]
910 vmulps 291(%rax,%r14,8), %zmm6, %zmm3
912 // CHECK: vmulps (%rcx){1to16}, %zmm6, %zmm3
913 // CHECK: encoding: [0x62,0xf1,0x4c,0x58,0x59,0x19]
914 vmulps (%rcx){1to16}, %zmm6, %zmm3
916 // CHECK: vmulps 8128(%rdx), %zmm6, %zmm3
917 // CHECK: encoding: [0x62,0xf1,0x4c,0x48,0x59,0x5a,0x7f]
918 vmulps 8128(%rdx), %zmm6, %zmm3
920 // CHECK: vmulps 8192(%rdx), %zmm6, %zmm3
921 // CHECK: encoding: [0x62,0xf1,0x4c,0x48,0x59,0x9a,0x00,0x20,0x00,0x00]
922 vmulps 8192(%rdx), %zmm6, %zmm3
924 // CHECK: vmulps -8192(%rdx), %zmm6, %zmm3
925 // CHECK: encoding: [0x62,0xf1,0x4c,0x48,0x59,0x5a,0x80]
926 vmulps -8192(%rdx), %zmm6, %zmm3
928 // CHECK: vmulps -8256(%rdx), %zmm6, %zmm3
929 // CHECK: encoding: [0x62,0xf1,0x4c,0x48,0x59,0x9a,0xc0,0xdf,0xff,0xff]
930 vmulps -8256(%rdx), %zmm6, %zmm3
932 // CHECK: vmulps 508(%rdx){1to16}, %zmm6, %zmm3
933 // CHECK: encoding: [0x62,0xf1,0x4c,0x58,0x59,0x5a,0x7f]
934 vmulps 508(%rdx){1to16}, %zmm6, %zmm3
936 // CHECK: vmulps 512(%rdx){1to16}, %zmm6, %zmm3
937 // CHECK: encoding: [0x62,0xf1,0x4c,0x58,0x59,0x9a,0x00,0x02,0x00,0x00]
938 vmulps 512(%rdx){1to16}, %zmm6, %zmm3
940 // CHECK: vmulps -512(%rdx){1to16}, %zmm6, %zmm3
941 // CHECK: encoding: [0x62,0xf1,0x4c,0x58,0x59,0x5a,0x80]
942 vmulps -512(%rdx){1to16}, %zmm6, %zmm3
944 // CHECK: vmulps -516(%rdx){1to16}, %zmm6, %zmm3
945 // CHECK: encoding: [0x62,0xf1,0x4c,0x58,0x59,0x9a,0xfc,0xfd,0xff,0xff]
946 vmulps -516(%rdx){1to16}, %zmm6, %zmm3
948 // CHECK: vpabsd %zmm14, %zmm15
949 // CHECK: encoding: [0x62,0x52,0x7d,0x48,0x1e,0xfe]
950 vpabsd %zmm14, %zmm15
952 // CHECK: vpabsd %zmm14, %zmm15 {%k6}
953 // CHECK: encoding: [0x62,0x52,0x7d,0x4e,0x1e,0xfe]
954 vpabsd %zmm14, %zmm15 {%k6}
956 // CHECK: vpabsd %zmm14, %zmm15 {%k6} {z}
957 // CHECK: encoding: [0x62,0x52,0x7d,0xce,0x1e,0xfe]
958 vpabsd %zmm14, %zmm15 {%k6} {z}
960 // CHECK: vpabsd (%rcx), %zmm15
961 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x1e,0x39]
962 vpabsd (%rcx), %zmm15
964 // CHECK: vpabsd (%rcx), %zmm15 {%k1}
965 // CHECK: encoding: [0x62,0x72,0x7d,0x49,0x1e,0x39]
966 vpabsd (%rcx), %zmm15 {%k1}
968 // CHECK: vpabsd (%rcx), %zmm15 {%k1} {z}
969 // CHECK: encoding: [0x62,0x72,0x7d,0xc9,0x1e,0x39]
970 vpabsd (%rcx), %zmm15 {%k1} {z}
972 // CHECK: vpabsd 291(%rax,%r14,8), %zmm15
973 // CHECK: encoding: [0x62,0x32,0x7d,0x48,0x1e,0xbc,0xf0,0x23,0x01,0x00,0x00]
974 vpabsd 291(%rax,%r14,8), %zmm15
976 // CHECK: vpabsd (%rcx){1to16}, %zmm15
977 // CHECK: encoding: [0x62,0x72,0x7d,0x58,0x1e,0x39]
978 vpabsd (%rcx){1to16}, %zmm15
980 // CHECK: vpabsd 8128(%rdx), %zmm15
981 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x1e,0x7a,0x7f]
982 vpabsd 8128(%rdx), %zmm15
984 // CHECK: vpabsd 8192(%rdx), %zmm15
985 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x1e,0xba,0x00,0x20,0x00,0x00]
986 vpabsd 8192(%rdx), %zmm15
988 // CHECK: vpabsd -8192(%rdx), %zmm15
989 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x1e,0x7a,0x80]
990 vpabsd -8192(%rdx), %zmm15
992 // CHECK: vpabsd -8256(%rdx), %zmm15
993 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x1e,0xba,0xc0,0xdf,0xff,0xff]
994 vpabsd -8256(%rdx), %zmm15
996 // CHECK: vpabsd 508(%rdx){1to16}, %zmm15
997 // CHECK: encoding: [0x62,0x72,0x7d,0x58,0x1e,0x7a,0x7f]
998 vpabsd 508(%rdx){1to16}, %zmm15
1000 // CHECK: vpabsd 512(%rdx){1to16}, %zmm15
1001 // CHECK: encoding: [0x62,0x72,0x7d,0x58,0x1e,0xba,0x00,0x02,0x00,0x00]
1002 vpabsd 512(%rdx){1to16}, %zmm15
1004 // CHECK: vpabsd -512(%rdx){1to16}, %zmm15
1005 // CHECK: encoding: [0x62,0x72,0x7d,0x58,0x1e,0x7a,0x80]
1006 vpabsd -512(%rdx){1to16}, %zmm15
1008 // CHECK: vpabsd -516(%rdx){1to16}, %zmm15
1009 // CHECK: encoding: [0x62,0x72,0x7d,0x58,0x1e,0xba,0xfc,0xfd,0xff,0xff]
1010 vpabsd -516(%rdx){1to16}, %zmm15
1012 // CHECK: vpabsd (%rcx){1to16}, %zmm15 {%k2}
1013 // CHECK: encoding: [0x62,0x72,0x7d,0x5a,0x1e,0x39]
1014 vpabsd (%rcx){1to16}, %zmm15 {%k2}
1016 // CHECK: vpabsd (%rcx){1to16}, %zmm15 {%k2} {z}
1017 // CHECK: encoding: [0x62,0x72,0x7d,0xda,0x1e,0x39]
1018 vpabsd (%rcx){1to16}, %zmm15 {%k2} {z}
1020 // CHECK: vpabsq %zmm24, %zmm5
1021 // CHECK: encoding: [0x62,0x92,0xfd,0x48,0x1f,0xe8]
1022 vpabsq %zmm24, %zmm5
1024 // CHECK: vpabsq %zmm24, %zmm5 {%k6}
1025 // CHECK: encoding: [0x62,0x92,0xfd,0x4e,0x1f,0xe8]
1026 vpabsq %zmm24, %zmm5 {%k6}
1028 // CHECK: vpabsq %zmm24, %zmm5 {%k6} {z}
1029 // CHECK: encoding: [0x62,0x92,0xfd,0xce,0x1f,0xe8]
1030 vpabsq %zmm24, %zmm5 {%k6} {z}
1032 // CHECK: vpabsq (%rcx), %zmm5
1033 // CHECK: encoding: [0x62,0xf2,0xfd,0x48,0x1f,0x29]
1034 vpabsq (%rcx), %zmm5
1036 // CHECK: vpabsq 291(%rax,%r14,8), %zmm5
1037 // CHECK: encoding: [0x62,0xb2,0xfd,0x48,0x1f,0xac,0xf0,0x23,0x01,0x00,0x00]
1038 vpabsq 291(%rax,%r14,8), %zmm5
1040 // CHECK: vpabsq (%rcx){1to8}, %zmm5
1041 // CHECK: encoding: [0x62,0xf2,0xfd,0x58,0x1f,0x29]
1042 vpabsq (%rcx){1to8}, %zmm5
1044 // CHECK: vpabsq 8128(%rdx), %zmm5
1045 // CHECK: encoding: [0x62,0xf2,0xfd,0x48,0x1f,0x6a,0x7f]
1046 vpabsq 8128(%rdx), %zmm5
1048 // CHECK: vpabsq 8192(%rdx), %zmm5
1049 // CHECK: encoding: [0x62,0xf2,0xfd,0x48,0x1f,0xaa,0x00,0x20,0x00,0x00]
1050 vpabsq 8192(%rdx), %zmm5
1052 // CHECK: vpabsq -8192(%rdx), %zmm5
1053 // CHECK: encoding: [0x62,0xf2,0xfd,0x48,0x1f,0x6a,0x80]
1054 vpabsq -8192(%rdx), %zmm5
1056 // CHECK: vpabsq -8256(%rdx), %zmm5
1057 // CHECK: encoding: [0x62,0xf2,0xfd,0x48,0x1f,0xaa,0xc0,0xdf,0xff,0xff]
1058 vpabsq -8256(%rdx), %zmm5
1060 // CHECK: vpabsq 1016(%rdx){1to8}, %zmm5
1061 // CHECK: encoding: [0x62,0xf2,0xfd,0x58,0x1f,0x6a,0x7f]
1062 vpabsq 1016(%rdx){1to8}, %zmm5
1064 // CHECK: vpabsq 1024(%rdx){1to8}, %zmm5
1065 // CHECK: encoding: [0x62,0xf2,0xfd,0x58,0x1f,0xaa,0x00,0x04,0x00,0x00]
1066 vpabsq 1024(%rdx){1to8}, %zmm5
1068 // CHECK: vpabsq -1024(%rdx){1to8}, %zmm5
1069 // CHECK: encoding: [0x62,0xf2,0xfd,0x58,0x1f,0x6a,0x80]
1070 vpabsq -1024(%rdx){1to8}, %zmm5
1072 // CHECK: vpabsq -1032(%rdx){1to8}, %zmm5
1073 // CHECK: encoding: [0x62,0xf2,0xfd,0x58,0x1f,0xaa,0xf8,0xfb,0xff,0xff]
1074 vpabsq -1032(%rdx){1to8}, %zmm5
1076 // CHECK: vpaddd %zmm20, %zmm5, %zmm26
1077 // CHECK: encoding: [0x62,0x21,0x55,0x48,0xfe,0xd4]
1078 vpaddd %zmm20, %zmm5, %zmm26
1080 // CHECK: vpaddd %zmm20, %zmm5, %zmm26 {%k1}
1081 // CHECK: encoding: [0x62,0x21,0x55,0x49,0xfe,0xd4]
1082 vpaddd %zmm20, %zmm5, %zmm26 {%k1}
1084 // CHECK: vpaddd %zmm20, %zmm5, %zmm26 {%k1} {z}
1085 // CHECK: encoding: [0x62,0x21,0x55,0xc9,0xfe,0xd4]
1086 vpaddd %zmm20, %zmm5, %zmm26 {%k1} {z}
1088 // CHECK: vpaddd (%rcx), %zmm5, %zmm26
1089 // CHECK: encoding: [0x62,0x61,0x55,0x48,0xfe,0x11]
1090 vpaddd (%rcx), %zmm5, %zmm26
1092 // CHECK: vpaddd (%rcx), %zmm5, %zmm26 {%k2}
1093 // CHECK: encoding: [0x62,0x61,0x55,0x4a,0xfe,0x11]
1094 vpaddd (%rcx), %zmm5, %zmm26 {%k2}
1096 // CHECK: vpaddd (%rcx), %zmm5, %zmm26 {%k2} {z}
1097 // CHECK: encoding: [0x62,0x61,0x55,0xca,0xfe,0x11]
1098 vpaddd (%rcx), %zmm5, %zmm26 {%k2} {z}
1100 // CHECK: vpaddd 291(%rax,%r14,8), %zmm5, %zmm26
1101 // CHECK: encoding: [0x62,0x21,0x55,0x48,0xfe,0x94,0xf0,0x23,0x01,0x00,0x00]
1102 vpaddd 291(%rax,%r14,8), %zmm5, %zmm26
1104 // CHECK: vpaddd (%rcx){1to16}, %zmm5, %zmm26
1105 // CHECK: encoding: [0x62,0x61,0x55,0x58,0xfe,0x11]
1106 vpaddd (%rcx){1to16}, %zmm5, %zmm26
1108 // CHECK: vpaddd 8128(%rdx), %zmm5, %zmm26
1109 // CHECK: encoding: [0x62,0x61,0x55,0x48,0xfe,0x52,0x7f]
1110 vpaddd 8128(%rdx), %zmm5, %zmm26
1112 // CHECK: vpaddd 8192(%rdx), %zmm5, %zmm26
1113 // CHECK: encoding: [0x62,0x61,0x55,0x48,0xfe,0x92,0x00,0x20,0x00,0x00]
1114 vpaddd 8192(%rdx), %zmm5, %zmm26
1116 // CHECK: vpaddd -8192(%rdx), %zmm5, %zmm26
1117 // CHECK: encoding: [0x62,0x61,0x55,0x48,0xfe,0x52,0x80]
1118 vpaddd -8192(%rdx), %zmm5, %zmm26
1120 // CHECK: vpaddd -8256(%rdx), %zmm5, %zmm26
1121 // CHECK: encoding: [0x62,0x61,0x55,0x48,0xfe,0x92,0xc0,0xdf,0xff,0xff]
1122 vpaddd -8256(%rdx), %zmm5, %zmm26
1124 // CHECK: vpaddd (%rcx){1to16}, %zmm5, %zmm26 {%k2}
1125 // CHECK: encoding: [0x62,0x61,0x55,0x5a,0xfe,0x11]
1126 vpaddd (%rcx){1to16}, %zmm5, %zmm26 {%k2}
1128 // CHECK: vpaddd (%rcx){1to16}, %zmm5, %zmm26 {%k2} {z}
1129 // CHECK: encoding: [0x62,0x61,0x55,0xda,0xfe,0x11]
1130 vpaddd (%rcx){1to16}, %zmm5, %zmm26 {%k2} {z}
1132 // CHECK: vpaddd 508(%rdx){1to16}, %zmm5, %zmm26
1133 // CHECK: encoding: [0x62,0x61,0x55,0x58,0xfe,0x52,0x7f]
1134 vpaddd 508(%rdx){1to16}, %zmm5, %zmm26
1136 // CHECK: vpaddd 512(%rdx){1to16}, %zmm5, %zmm26
1137 // CHECK: encoding: [0x62,0x61,0x55,0x58,0xfe,0x92,0x00,0x02,0x00,0x00]
1138 vpaddd 512(%rdx){1to16}, %zmm5, %zmm26
1140 // CHECK: vpaddd -512(%rdx){1to16}, %zmm5, %zmm26
1141 // CHECK: encoding: [0x62,0x61,0x55,0x58,0xfe,0x52,0x80]
1142 vpaddd -512(%rdx){1to16}, %zmm5, %zmm26
1144 // CHECK: vpaddd -516(%rdx){1to16}, %zmm5, %zmm26
1145 // CHECK: encoding: [0x62,0x61,0x55,0x58,0xfe,0x92,0xfc,0xfd,0xff,0xff]
1146 vpaddd -516(%rdx){1to16}, %zmm5, %zmm26
1148 // CHECK: vpaddq %zmm14, %zmm25, %zmm8
1149 // CHECK: encoding: [0x62,0x51,0xb5,0x40,0xd4,0xc6]
1150 vpaddq %zmm14, %zmm25, %zmm8
1152 // CHECK: vpaddq %zmm14, %zmm25, %zmm8 {%k3}
1153 // CHECK: encoding: [0x62,0x51,0xb5,0x43,0xd4,0xc6]
1154 vpaddq %zmm14, %zmm25, %zmm8 {%k3}
1156 // CHECK: vpaddq %zmm14, %zmm25, %zmm8 {%k3} {z}
1157 // CHECK: encoding: [0x62,0x51,0xb5,0xc3,0xd4,0xc6]
1158 vpaddq %zmm14, %zmm25, %zmm8 {%k3} {z}
1160 // CHECK: vpaddq (%rcx), %zmm25, %zmm8
1161 // CHECK: encoding: [0x62,0x71,0xb5,0x40,0xd4,0x01]
1162 vpaddq (%rcx), %zmm25, %zmm8
1164 // CHECK: vpaddq 291(%rax,%r14,8), %zmm25, %zmm8
1165 // CHECK: encoding: [0x62,0x31,0xb5,0x40,0xd4,0x84,0xf0,0x23,0x01,0x00,0x00]
1166 vpaddq 291(%rax,%r14,8), %zmm25, %zmm8
1168 // CHECK: vpaddq (%rcx){1to8}, %zmm25, %zmm8
1169 // CHECK: encoding: [0x62,0x71,0xb5,0x50,0xd4,0x01]
1170 vpaddq (%rcx){1to8}, %zmm25, %zmm8
1172 // CHECK: vpaddq 8128(%rdx), %zmm25, %zmm8
1173 // CHECK: encoding: [0x62,0x71,0xb5,0x40,0xd4,0x42,0x7f]
1174 vpaddq 8128(%rdx), %zmm25, %zmm8
1176 // CHECK: vpaddq 8192(%rdx), %zmm25, %zmm8
1177 // CHECK: encoding: [0x62,0x71,0xb5,0x40,0xd4,0x82,0x00,0x20,0x00,0x00]
1178 vpaddq 8192(%rdx), %zmm25, %zmm8
1180 // CHECK: vpaddq -8192(%rdx), %zmm25, %zmm8
1181 // CHECK: encoding: [0x62,0x71,0xb5,0x40,0xd4,0x42,0x80]
1182 vpaddq -8192(%rdx), %zmm25, %zmm8
1184 // CHECK: vpaddq -8256(%rdx), %zmm25, %zmm8
1185 // CHECK: encoding: [0x62,0x71,0xb5,0x40,0xd4,0x82,0xc0,0xdf,0xff,0xff]
1186 vpaddq -8256(%rdx), %zmm25, %zmm8
1188 // CHECK: vpaddq 1016(%rdx){1to8}, %zmm25, %zmm8
1189 // CHECK: encoding: [0x62,0x71,0xb5,0x50,0xd4,0x42,0x7f]
1190 vpaddq 1016(%rdx){1to8}, %zmm25, %zmm8
1192 // CHECK: vpaddq 1024(%rdx){1to8}, %zmm25, %zmm8
1193 // CHECK: encoding: [0x62,0x71,0xb5,0x50,0xd4,0x82,0x00,0x04,0x00,0x00]
1194 vpaddq 1024(%rdx){1to8}, %zmm25, %zmm8
1196 // CHECK: vpaddq -1024(%rdx){1to8}, %zmm25, %zmm8
1197 // CHECK: encoding: [0x62,0x71,0xb5,0x50,0xd4,0x42,0x80]
1198 vpaddq -1024(%rdx){1to8}, %zmm25, %zmm8
1200 // CHECK: vpaddq -1032(%rdx){1to8}, %zmm25, %zmm8
1201 // CHECK: encoding: [0x62,0x71,0xb5,0x50,0xd4,0x82,0xf8,0xfb,0xff,0xff]
1202 vpaddq -1032(%rdx){1to8}, %zmm25, %zmm8
1204 // CHECK: vpandd %zmm25, %zmm22, %zmm19
1205 // CHECK: encoding: [0x62,0x81,0x4d,0x40,0xdb,0xd9]
1206 vpandd %zmm25, %zmm22, %zmm19
1208 // CHECK: vpandd %zmm25, %zmm22, %zmm19 {%k1}
1209 // CHECK: encoding: [0x62,0x81,0x4d,0x41,0xdb,0xd9]
1210 vpandd %zmm25, %zmm22, %zmm19 {%k1}
1212 // CHECK: vpandd %zmm25, %zmm22, %zmm19 {%k1} {z}
1213 // CHECK: encoding: [0x62,0x81,0x4d,0xc1,0xdb,0xd9]
1214 vpandd %zmm25, %zmm22, %zmm19 {%k1} {z}
1216 // CHECK: vpandd (%rcx), %zmm22, %zmm19
1217 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xdb,0x19]
1218 vpandd (%rcx), %zmm22, %zmm19
1220 // CHECK: vpandd 291(%rax,%r14,8), %zmm22, %zmm19
1221 // CHECK: encoding: [0x62,0xa1,0x4d,0x40,0xdb,0x9c,0xf0,0x23,0x01,0x00,0x00]
1222 vpandd 291(%rax,%r14,8), %zmm22, %zmm19
1224 // CHECK: vpandd (%rcx){1to16}, %zmm22, %zmm19
1225 // CHECK: encoding: [0x62,0xe1,0x4d,0x50,0xdb,0x19]
1226 vpandd (%rcx){1to16}, %zmm22, %zmm19
1228 // CHECK: vpandd 8128(%rdx), %zmm22, %zmm19
1229 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xdb,0x5a,0x7f]
1230 vpandd 8128(%rdx), %zmm22, %zmm19
1232 // CHECK: vpandd 8192(%rdx), %zmm22, %zmm19
1233 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xdb,0x9a,0x00,0x20,0x00,0x00]
1234 vpandd 8192(%rdx), %zmm22, %zmm19
1236 // CHECK: vpandd -8192(%rdx), %zmm22, %zmm19
1237 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xdb,0x5a,0x80]
1238 vpandd -8192(%rdx), %zmm22, %zmm19
1240 // CHECK: vpandd -8256(%rdx), %zmm22, %zmm19
1241 // CHECK: encoding: [0x62,0xe1,0x4d,0x40,0xdb,0x9a,0xc0,0xdf,0xff,0xff]
1242 vpandd -8256(%rdx), %zmm22, %zmm19
1244 // CHECK: vpandd 508(%rdx){1to16}, %zmm22, %zmm19
1245 // CHECK: encoding: [0x62,0xe1,0x4d,0x50,0xdb,0x5a,0x7f]
1246 vpandd 508(%rdx){1to16}, %zmm22, %zmm19
1248 // CHECK: vpandd 512(%rdx){1to16}, %zmm22, %zmm19
1249 // CHECK: encoding: [0x62,0xe1,0x4d,0x50,0xdb,0x9a,0x00,0x02,0x00,0x00]
1250 vpandd 512(%rdx){1to16}, %zmm22, %zmm19
1252 // CHECK: vpandd -512(%rdx){1to16}, %zmm22, %zmm19
1253 // CHECK: encoding: [0x62,0xe1,0x4d,0x50,0xdb,0x5a,0x80]
1254 vpandd -512(%rdx){1to16}, %zmm22, %zmm19
1256 // CHECK: vpandd -516(%rdx){1to16}, %zmm22, %zmm19
1257 // CHECK: encoding: [0x62,0xe1,0x4d,0x50,0xdb,0x9a,0xfc,0xfd,0xff,0xff]
1258 vpandd -516(%rdx){1to16}, %zmm22, %zmm19
1260 // CHECK: vpandnd %zmm15, %zmm28, %zmm30
1261 // CHECK: encoding: [0x62,0x41,0x1d,0x40,0xdf,0xf7]
1262 vpandnd %zmm15, %zmm28, %zmm30
1264 // CHECK: vpandnd %zmm15, %zmm28, %zmm30 {%k3}
1265 // CHECK: encoding: [0x62,0x41,0x1d,0x43,0xdf,0xf7]
1266 vpandnd %zmm15, %zmm28, %zmm30 {%k3}
1268 // CHECK: vpandnd %zmm15, %zmm28, %zmm30 {%k3} {z}
1269 // CHECK: encoding: [0x62,0x41,0x1d,0xc3,0xdf,0xf7]
1270 vpandnd %zmm15, %zmm28, %zmm30 {%k3} {z}
1272 // CHECK: vpandnd (%rcx), %zmm28, %zmm30
1273 // CHECK: encoding: [0x62,0x61,0x1d,0x40,0xdf,0x31]
1274 vpandnd (%rcx), %zmm28, %zmm30
1276 // CHECK: vpandnd 291(%rax,%r14,8), %zmm28, %zmm30
1277 // CHECK: encoding: [0x62,0x21,0x1d,0x40,0xdf,0xb4,0xf0,0x23,0x01,0x00,0x00]
1278 vpandnd 291(%rax,%r14,8), %zmm28, %zmm30
1280 // CHECK: vpandnd (%rcx){1to16}, %zmm28, %zmm30
1281 // CHECK: encoding: [0x62,0x61,0x1d,0x50,0xdf,0x31]
1282 vpandnd (%rcx){1to16}, %zmm28, %zmm30
1284 // CHECK: vpandnd 8128(%rdx), %zmm28, %zmm30
1285 // CHECK: encoding: [0x62,0x61,0x1d,0x40,0xdf,0x72,0x7f]
1286 vpandnd 8128(%rdx), %zmm28, %zmm30
1288 // CHECK: vpandnd 8192(%rdx), %zmm28, %zmm30
1289 // CHECK: encoding: [0x62,0x61,0x1d,0x40,0xdf,0xb2,0x00,0x20,0x00,0x00]
1290 vpandnd 8192(%rdx), %zmm28, %zmm30
1292 // CHECK: vpandnd -8192(%rdx), %zmm28, %zmm30
1293 // CHECK: encoding: [0x62,0x61,0x1d,0x40,0xdf,0x72,0x80]
1294 vpandnd -8192(%rdx), %zmm28, %zmm30
1296 // CHECK: vpandnd -8256(%rdx), %zmm28, %zmm30
1297 // CHECK: encoding: [0x62,0x61,0x1d,0x40,0xdf,0xb2,0xc0,0xdf,0xff,0xff]
1298 vpandnd -8256(%rdx), %zmm28, %zmm30
1300 // CHECK: vpandnd 508(%rdx){1to16}, %zmm28, %zmm30
1301 // CHECK: encoding: [0x62,0x61,0x1d,0x50,0xdf,0x72,0x7f]
1302 vpandnd 508(%rdx){1to16}, %zmm28, %zmm30
1304 // CHECK: vpandnd 512(%rdx){1to16}, %zmm28, %zmm30
1305 // CHECK: encoding: [0x62,0x61,0x1d,0x50,0xdf,0xb2,0x00,0x02,0x00,0x00]
1306 vpandnd 512(%rdx){1to16}, %zmm28, %zmm30
1308 // CHECK: vpandnd -512(%rdx){1to16}, %zmm28, %zmm30
1309 // CHECK: encoding: [0x62,0x61,0x1d,0x50,0xdf,0x72,0x80]
1310 vpandnd -512(%rdx){1to16}, %zmm28, %zmm30
1312 // CHECK: vpandnd -516(%rdx){1to16}, %zmm28, %zmm30
1313 // CHECK: encoding: [0x62,0x61,0x1d,0x50,0xdf,0xb2,0xfc,0xfd,0xff,0xff]
1314 vpandnd -516(%rdx){1to16}, %zmm28, %zmm30
1316 // CHECK: vpandnq %zmm19, %zmm7, %zmm20
1317 // CHECK: encoding: [0x62,0xa1,0xc5,0x48,0xdf,0xe3]
1318 vpandnq %zmm19, %zmm7, %zmm20
1320 // CHECK: vpandnq %zmm19, %zmm7, %zmm20 {%k5}
1321 // CHECK: encoding: [0x62,0xa1,0xc5,0x4d,0xdf,0xe3]
1322 vpandnq %zmm19, %zmm7, %zmm20 {%k5}
1324 // CHECK: vpandnq %zmm19, %zmm7, %zmm20 {%k5} {z}
1325 // CHECK: encoding: [0x62,0xa1,0xc5,0xcd,0xdf,0xe3]
1326 vpandnq %zmm19, %zmm7, %zmm20 {%k5} {z}
1328 // CHECK: vpandnq (%rcx), %zmm7, %zmm20
1329 // CHECK: encoding: [0x62,0xe1,0xc5,0x48,0xdf,0x21]
1330 vpandnq (%rcx), %zmm7, %zmm20
1332 // CHECK: vpandnq 291(%rax,%r14,8), %zmm7, %zmm20
1333 // CHECK: encoding: [0x62,0xa1,0xc5,0x48,0xdf,0xa4,0xf0,0x23,0x01,0x00,0x00]
1334 vpandnq 291(%rax,%r14,8), %zmm7, %zmm20
1336 // CHECK: vpandnq (%rcx){1to8}, %zmm7, %zmm20
1337 // CHECK: encoding: [0x62,0xe1,0xc5,0x58,0xdf,0x21]
1338 vpandnq (%rcx){1to8}, %zmm7, %zmm20
1340 // CHECK: vpandnq 8128(%rdx), %zmm7, %zmm20
1341 // CHECK: encoding: [0x62,0xe1,0xc5,0x48,0xdf,0x62,0x7f]
1342 vpandnq 8128(%rdx), %zmm7, %zmm20
1344 // CHECK: vpandnq 8192(%rdx), %zmm7, %zmm20
1345 // CHECK: encoding: [0x62,0xe1,0xc5,0x48,0xdf,0xa2,0x00,0x20,0x00,0x00]
1346 vpandnq 8192(%rdx), %zmm7, %zmm20
1348 // CHECK: vpandnq -8192(%rdx), %zmm7, %zmm20
1349 // CHECK: encoding: [0x62,0xe1,0xc5,0x48,0xdf,0x62,0x80]
1350 vpandnq -8192(%rdx), %zmm7, %zmm20
1352 // CHECK: vpandnq -8256(%rdx), %zmm7, %zmm20
1353 // CHECK: encoding: [0x62,0xe1,0xc5,0x48,0xdf,0xa2,0xc0,0xdf,0xff,0xff]
1354 vpandnq -8256(%rdx), %zmm7, %zmm20
1356 // CHECK: vpandnq 1016(%rdx){1to8}, %zmm7, %zmm20
1357 // CHECK: encoding: [0x62,0xe1,0xc5,0x58,0xdf,0x62,0x7f]
1358 vpandnq 1016(%rdx){1to8}, %zmm7, %zmm20
1360 // CHECK: vpandnq 1024(%rdx){1to8}, %zmm7, %zmm20
1361 // CHECK: encoding: [0x62,0xe1,0xc5,0x58,0xdf,0xa2,0x00,0x04,0x00,0x00]
1362 vpandnq 1024(%rdx){1to8}, %zmm7, %zmm20
1364 // CHECK: vpandnq -1024(%rdx){1to8}, %zmm7, %zmm20
1365 // CHECK: encoding: [0x62,0xe1,0xc5,0x58,0xdf,0x62,0x80]
1366 vpandnq -1024(%rdx){1to8}, %zmm7, %zmm20
1368 // CHECK: vpandnq -1032(%rdx){1to8}, %zmm7, %zmm20
1369 // CHECK: encoding: [0x62,0xe1,0xc5,0x58,0xdf,0xa2,0xf8,0xfb,0xff,0xff]
1370 vpandnq -1032(%rdx){1to8}, %zmm7, %zmm20
1372 // CHECK: vpandq %zmm26, %zmm4, %zmm17
1373 // CHECK: encoding: [0x62,0x81,0xdd,0x48,0xdb,0xca]
1374 vpandq %zmm26, %zmm4, %zmm17
1376 // CHECK: vpandq %zmm26, %zmm4, %zmm17 {%k7}
1377 // CHECK: encoding: [0x62,0x81,0xdd,0x4f,0xdb,0xca]
1378 vpandq %zmm26, %zmm4, %zmm17 {%k7}
1380 // CHECK: vpandq %zmm26, %zmm4, %zmm17 {%k7} {z}
1381 // CHECK: encoding: [0x62,0x81,0xdd,0xcf,0xdb,0xca]
1382 vpandq %zmm26, %zmm4, %zmm17 {%k7} {z}
1384 // CHECK: vpandq (%rcx), %zmm4, %zmm17
1385 // CHECK: encoding: [0x62,0xe1,0xdd,0x48,0xdb,0x09]
1386 vpandq (%rcx), %zmm4, %zmm17
1388 // CHECK: vpandq 291(%rax,%r14,8), %zmm4, %zmm17
1389 // CHECK: encoding: [0x62,0xa1,0xdd,0x48,0xdb,0x8c,0xf0,0x23,0x01,0x00,0x00]
1390 vpandq 291(%rax,%r14,8), %zmm4, %zmm17
1392 // CHECK: vpandq (%rcx){1to8}, %zmm4, %zmm17
1393 // CHECK: encoding: [0x62,0xe1,0xdd,0x58,0xdb,0x09]
1394 vpandq (%rcx){1to8}, %zmm4, %zmm17
1396 // CHECK: vpandq 8128(%rdx), %zmm4, %zmm17
1397 // CHECK: encoding: [0x62,0xe1,0xdd,0x48,0xdb,0x4a,0x7f]
1398 vpandq 8128(%rdx), %zmm4, %zmm17
1400 // CHECK: vpandq 8192(%rdx), %zmm4, %zmm17
1401 // CHECK: encoding: [0x62,0xe1,0xdd,0x48,0xdb,0x8a,0x00,0x20,0x00,0x00]
1402 vpandq 8192(%rdx), %zmm4, %zmm17
1404 // CHECK: vpandq -8192(%rdx), %zmm4, %zmm17
1405 // CHECK: encoding: [0x62,0xe1,0xdd,0x48,0xdb,0x4a,0x80]
1406 vpandq -8192(%rdx), %zmm4, %zmm17
1408 // CHECK: vpandq -8256(%rdx), %zmm4, %zmm17
1409 // CHECK: encoding: [0x62,0xe1,0xdd,0x48,0xdb,0x8a,0xc0,0xdf,0xff,0xff]
1410 vpandq -8256(%rdx), %zmm4, %zmm17
1412 // CHECK: vpandq 1016(%rdx){1to8}, %zmm4, %zmm17
1413 // CHECK: encoding: [0x62,0xe1,0xdd,0x58,0xdb,0x4a,0x7f]
1414 vpandq 1016(%rdx){1to8}, %zmm4, %zmm17
1416 // CHECK: vpandq 1024(%rdx){1to8}, %zmm4, %zmm17
1417 // CHECK: encoding: [0x62,0xe1,0xdd,0x58,0xdb,0x8a,0x00,0x04,0x00,0x00]
1418 vpandq 1024(%rdx){1to8}, %zmm4, %zmm17
1420 // CHECK: vpandq -1024(%rdx){1to8}, %zmm4, %zmm17
1421 // CHECK: encoding: [0x62,0xe1,0xdd,0x58,0xdb,0x4a,0x80]
1422 vpandq -1024(%rdx){1to8}, %zmm4, %zmm17
1424 // CHECK: vpandq -1032(%rdx){1to8}, %zmm4, %zmm17
1425 // CHECK: encoding: [0x62,0xe1,0xdd,0x58,0xdb,0x8a,0xf8,0xfb,0xff,0xff]
1426 vpandq -1032(%rdx){1to8}, %zmm4, %zmm17
1428 // CHECK: vpcmpeqd %zmm10, %zmm2, %k5
1429 // CHECK: encoding: [0x62,0xd1,0x6d,0x48,0x76,0xea]
1430 vpcmpeqd %zmm10, %zmm2, %k5
1432 // CHECK: vpcmpeqd %zmm10, %zmm2, %k5 {%k7}
1433 // CHECK: encoding: [0x62,0xd1,0x6d,0x4f,0x76,0xea]
1434 vpcmpeqd %zmm10, %zmm2, %k5 {%k7}
1436 // CHECK: vpcmpeqd (%rcx), %zmm2, %k5
1437 // CHECK: encoding: [0x62,0xf1,0x6d,0x48,0x76,0x29]
1438 vpcmpeqd (%rcx), %zmm2, %k5
1440 // CHECK: vpcmpeqd 291(%rax,%r14,8), %zmm2, %k5
1441 // CHECK: encoding: [0x62,0xb1,0x6d,0x48,0x76,0xac,0xf0,0x23,0x01,0x00,0x00]
1442 vpcmpeqd 291(%rax,%r14,8), %zmm2, %k5
1444 // CHECK: vpcmpeqd (%rcx){1to16}, %zmm2, %k5
1445 // CHECK: encoding: [0x62,0xf1,0x6d,0x58,0x76,0x29]
1446 vpcmpeqd (%rcx){1to16}, %zmm2, %k5
1448 // CHECK: vpcmpeqd 8128(%rdx), %zmm2, %k5
1449 // CHECK: encoding: [0x62,0xf1,0x6d,0x48,0x76,0x6a,0x7f]
1450 vpcmpeqd 8128(%rdx), %zmm2, %k5
1452 // CHECK: vpcmpeqd 8192(%rdx), %zmm2, %k5
1453 // CHECK: encoding: [0x62,0xf1,0x6d,0x48,0x76,0xaa,0x00,0x20,0x00,0x00]
1454 vpcmpeqd 8192(%rdx), %zmm2, %k5
1456 // CHECK: vpcmpeqd -8192(%rdx), %zmm2, %k5
1457 // CHECK: encoding: [0x62,0xf1,0x6d,0x48,0x76,0x6a,0x80]
1458 vpcmpeqd -8192(%rdx), %zmm2, %k5
1460 // CHECK: vpcmpeqd -8256(%rdx), %zmm2, %k5
1461 // CHECK: encoding: [0x62,0xf1,0x6d,0x48,0x76,0xaa,0xc0,0xdf,0xff,0xff]
1462 vpcmpeqd -8256(%rdx), %zmm2, %k5
1464 // CHECK: vpcmpeqd 508(%rdx){1to16}, %zmm2, %k5
1465 // CHECK: encoding: [0x62,0xf1,0x6d,0x58,0x76,0x6a,0x7f]
1466 vpcmpeqd 508(%rdx){1to16}, %zmm2, %k5
1468 // CHECK: vpcmpeqd 512(%rdx){1to16}, %zmm2, %k5
1469 // CHECK: encoding: [0x62,0xf1,0x6d,0x58,0x76,0xaa,0x00,0x02,0x00,0x00]
1470 vpcmpeqd 512(%rdx){1to16}, %zmm2, %k5
1472 // CHECK: vpcmpeqd -512(%rdx){1to16}, %zmm2, %k5
1473 // CHECK: encoding: [0x62,0xf1,0x6d,0x58,0x76,0x6a,0x80]
1474 vpcmpeqd -512(%rdx){1to16}, %zmm2, %k5
1476 // CHECK: vpcmpeqd -516(%rdx){1to16}, %zmm2, %k5
1477 // CHECK: encoding: [0x62,0xf1,0x6d,0x58,0x76,0xaa,0xfc,0xfd,0xff,0xff]
1478 vpcmpeqd -516(%rdx){1to16}, %zmm2, %k5
1480 // CHECK: vpcmpeqq %zmm2, %zmm22, %k3
1481 // CHECK: encoding: [0x62,0xf2,0xcd,0x40,0x29,0xda]
1482 vpcmpeqq %zmm2, %zmm22, %k3
1484 // CHECK: vpcmpeqq %zmm2, %zmm22, %k3 {%k6}
1485 // CHECK: encoding: [0x62,0xf2,0xcd,0x46,0x29,0xda]
1486 vpcmpeqq %zmm2, %zmm22, %k3 {%k6}
1488 // CHECK: vpcmpeqq (%rcx), %zmm22, %k3
1489 // CHECK: encoding: [0x62,0xf2,0xcd,0x40,0x29,0x19]
1490 vpcmpeqq (%rcx), %zmm22, %k3
1492 // CHECK: vpcmpeqq 291(%rax,%r14,8), %zmm22, %k3
1493 // CHECK: encoding: [0x62,0xb2,0xcd,0x40,0x29,0x9c,0xf0,0x23,0x01,0x00,0x00]
1494 vpcmpeqq 291(%rax,%r14,8), %zmm22, %k3
1496 // CHECK: vpcmpeqq (%rcx){1to8}, %zmm22, %k3
1497 // CHECK: encoding: [0x62,0xf2,0xcd,0x50,0x29,0x19]
1498 vpcmpeqq (%rcx){1to8}, %zmm22, %k3
1500 // CHECK: vpcmpeqq 8128(%rdx), %zmm22, %k3
1501 // CHECK: encoding: [0x62,0xf2,0xcd,0x40,0x29,0x5a,0x7f]
1502 vpcmpeqq 8128(%rdx), %zmm22, %k3
1504 // CHECK: vpcmpeqq 8192(%rdx), %zmm22, %k3
1505 // CHECK: encoding: [0x62,0xf2,0xcd,0x40,0x29,0x9a,0x00,0x20,0x00,0x00]
1506 vpcmpeqq 8192(%rdx), %zmm22, %k3
1508 // CHECK: vpcmpeqq -8192(%rdx), %zmm22, %k3
1509 // CHECK: encoding: [0x62,0xf2,0xcd,0x40,0x29,0x5a,0x80]
1510 vpcmpeqq -8192(%rdx), %zmm22, %k3
1512 // CHECK: vpcmpeqq -8256(%rdx), %zmm22, %k3
1513 // CHECK: encoding: [0x62,0xf2,0xcd,0x40,0x29,0x9a,0xc0,0xdf,0xff,0xff]
1514 vpcmpeqq -8256(%rdx), %zmm22, %k3
1516 // CHECK: vpcmpeqq 1016(%rdx){1to8}, %zmm22, %k3
1517 // CHECK: encoding: [0x62,0xf2,0xcd,0x50,0x29,0x5a,0x7f]
1518 vpcmpeqq 1016(%rdx){1to8}, %zmm22, %k3
1520 // CHECK: vpcmpeqq 1024(%rdx){1to8}, %zmm22, %k3
1521 // CHECK: encoding: [0x62,0xf2,0xcd,0x50,0x29,0x9a,0x00,0x04,0x00,0x00]
1522 vpcmpeqq 1024(%rdx){1to8}, %zmm22, %k3
1524 // CHECK: vpcmpeqq -1024(%rdx){1to8}, %zmm22, %k3
1525 // CHECK: encoding: [0x62,0xf2,0xcd,0x50,0x29,0x5a,0x80]
1526 vpcmpeqq -1024(%rdx){1to8}, %zmm22, %k3
1528 // CHECK: vpcmpeqq -1032(%rdx){1to8}, %zmm22, %k3
1529 // CHECK: encoding: [0x62,0xf2,0xcd,0x50,0x29,0x9a,0xf8,0xfb,0xff,0xff]
1530 vpcmpeqq -1032(%rdx){1to8}, %zmm22, %k3
1532 // CHECK: vpcmpgtd %zmm8, %zmm21, %k5
1533 // CHECK: encoding: [0x62,0xd1,0x55,0x40,0x66,0xe8]
1534 vpcmpgtd %zmm8, %zmm21, %k5
1536 // CHECK: vpcmpgtd %zmm8, %zmm21, %k5 {%k5}
1537 // CHECK: encoding: [0x62,0xd1,0x55,0x45,0x66,0xe8]
1538 vpcmpgtd %zmm8, %zmm21, %k5 {%k5}
1540 // CHECK: vpcmpgtd (%rcx), %zmm21, %k5
1541 // CHECK: encoding: [0x62,0xf1,0x55,0x40,0x66,0x29]
1542 vpcmpgtd (%rcx), %zmm21, %k5
1544 // CHECK: vpcmpgtd 291(%rax,%r14,8), %zmm21, %k5
1545 // CHECK: encoding: [0x62,0xb1,0x55,0x40,0x66,0xac,0xf0,0x23,0x01,0x00,0x00]
1546 vpcmpgtd 291(%rax,%r14,8), %zmm21, %k5
1548 // CHECK: vpcmpgtd (%rcx){1to16}, %zmm21, %k5
1549 // CHECK: encoding: [0x62,0xf1,0x55,0x50,0x66,0x29]
1550 vpcmpgtd (%rcx){1to16}, %zmm21, %k5
1552 // CHECK: vpcmpgtd 8128(%rdx), %zmm21, %k5
1553 // CHECK: encoding: [0x62,0xf1,0x55,0x40,0x66,0x6a,0x7f]
1554 vpcmpgtd 8128(%rdx), %zmm21, %k5
1556 // CHECK: vpcmpgtd 8192(%rdx), %zmm21, %k5
1557 // CHECK: encoding: [0x62,0xf1,0x55,0x40,0x66,0xaa,0x00,0x20,0x00,0x00]
1558 vpcmpgtd 8192(%rdx), %zmm21, %k5
1560 // CHECK: vpcmpgtd -8192(%rdx), %zmm21, %k5
1561 // CHECK: encoding: [0x62,0xf1,0x55,0x40,0x66,0x6a,0x80]
1562 vpcmpgtd -8192(%rdx), %zmm21, %k5
1564 // CHECK: vpcmpgtd -8256(%rdx), %zmm21, %k5
1565 // CHECK: encoding: [0x62,0xf1,0x55,0x40,0x66,0xaa,0xc0,0xdf,0xff,0xff]
1566 vpcmpgtd -8256(%rdx), %zmm21, %k5
1568 // CHECK: vpcmpgtd 508(%rdx){1to16}, %zmm21, %k5
1569 // CHECK: encoding: [0x62,0xf1,0x55,0x50,0x66,0x6a,0x7f]
1570 vpcmpgtd 508(%rdx){1to16}, %zmm21, %k5
1572 // CHECK: vpcmpgtd 512(%rdx){1to16}, %zmm21, %k5
1573 // CHECK: encoding: [0x62,0xf1,0x55,0x50,0x66,0xaa,0x00,0x02,0x00,0x00]
1574 vpcmpgtd 512(%rdx){1to16}, %zmm21, %k5
1576 // CHECK: vpcmpgtd -512(%rdx){1to16}, %zmm21, %k5
1577 // CHECK: encoding: [0x62,0xf1,0x55,0x50,0x66,0x6a,0x80]
1578 vpcmpgtd -512(%rdx){1to16}, %zmm21, %k5
1580 // CHECK: vpcmpgtd -516(%rdx){1to16}, %zmm21, %k5
1581 // CHECK: encoding: [0x62,0xf1,0x55,0x50,0x66,0xaa,0xfc,0xfd,0xff,0xff]
1582 vpcmpgtd -516(%rdx){1to16}, %zmm21, %k5
1584 // CHECK: vpcmpgtq %zmm17, %zmm20, %k2
1585 // CHECK: encoding: [0x62,0xb2,0xdd,0x40,0x37,0xd1]
1586 vpcmpgtq %zmm17, %zmm20, %k2
1588 // CHECK: vpcmpgtq %zmm17, %zmm20, %k2 {%k3}
1589 // CHECK: encoding: [0x62,0xb2,0xdd,0x43,0x37,0xd1]
1590 vpcmpgtq %zmm17, %zmm20, %k2 {%k3}
1592 // CHECK: vpcmpgtq (%rcx), %zmm20, %k2
1593 // CHECK: encoding: [0x62,0xf2,0xdd,0x40,0x37,0x11]
1594 vpcmpgtq (%rcx), %zmm20, %k2
1596 // CHECK: vpcmpgtq 291(%rax,%r14,8), %zmm20, %k2
1597 // CHECK: encoding: [0x62,0xb2,0xdd,0x40,0x37,0x94,0xf0,0x23,0x01,0x00,0x00]
1598 vpcmpgtq 291(%rax,%r14,8), %zmm20, %k2
1600 // CHECK: vpcmpgtq (%rcx){1to8}, %zmm20, %k2
1601 // CHECK: encoding: [0x62,0xf2,0xdd,0x50,0x37,0x11]
1602 vpcmpgtq (%rcx){1to8}, %zmm20, %k2
1604 // CHECK: vpcmpgtq 8128(%rdx), %zmm20, %k2
1605 // CHECK: encoding: [0x62,0xf2,0xdd,0x40,0x37,0x52,0x7f]
1606 vpcmpgtq 8128(%rdx), %zmm20, %k2
1608 // CHECK: vpcmpgtq 8192(%rdx), %zmm20, %k2
1609 // CHECK: encoding: [0x62,0xf2,0xdd,0x40,0x37,0x92,0x00,0x20,0x00,0x00]
1610 vpcmpgtq 8192(%rdx), %zmm20, %k2
1612 // CHECK: vpcmpgtq -8192(%rdx), %zmm20, %k2
1613 // CHECK: encoding: [0x62,0xf2,0xdd,0x40,0x37,0x52,0x80]
1614 vpcmpgtq -8192(%rdx), %zmm20, %k2
1616 // CHECK: vpcmpgtq -8256(%rdx), %zmm20, %k2
1617 // CHECK: encoding: [0x62,0xf2,0xdd,0x40,0x37,0x92,0xc0,0xdf,0xff,0xff]
1618 vpcmpgtq -8256(%rdx), %zmm20, %k2
1620 // CHECK: vpcmpgtq 1016(%rdx){1to8}, %zmm20, %k2
1621 // CHECK: encoding: [0x62,0xf2,0xdd,0x50,0x37,0x52,0x7f]
1622 vpcmpgtq 1016(%rdx){1to8}, %zmm20, %k2
1624 // CHECK: vpcmpgtq 1024(%rdx){1to8}, %zmm20, %k2
1625 // CHECK: encoding: [0x62,0xf2,0xdd,0x50,0x37,0x92,0x00,0x04,0x00,0x00]
1626 vpcmpgtq 1024(%rdx){1to8}, %zmm20, %k2
1628 // CHECK: vpcmpgtq -1024(%rdx){1to8}, %zmm20, %k2
1629 // CHECK: encoding: [0x62,0xf2,0xdd,0x50,0x37,0x52,0x80]
1630 vpcmpgtq -1024(%rdx){1to8}, %zmm20, %k2
1632 // CHECK: vpcmpgtq -1032(%rdx){1to8}, %zmm20, %k2
1633 // CHECK: encoding: [0x62,0xf2,0xdd,0x50,0x37,0x92,0xf8,0xfb,0xff,0xff]
1634 vpcmpgtq -1032(%rdx){1to8}, %zmm20, %k2
1636 // CHECK: vpmaxsd %zmm16, %zmm8, %zmm6
1637 // CHECK: encoding: [0x62,0xb2,0x3d,0x48,0x3d,0xf0]
1638 vpmaxsd %zmm16, %zmm8, %zmm6
1640 // CHECK: vpmaxsd %zmm16, %zmm8, %zmm6 {%k3}
1641 // CHECK: encoding: [0x62,0xb2,0x3d,0x4b,0x3d,0xf0]
1642 vpmaxsd %zmm16, %zmm8, %zmm6 {%k3}
1644 // CHECK: vpmaxsd %zmm16, %zmm8, %zmm6 {%k3} {z}
1645 // CHECK: encoding: [0x62,0xb2,0x3d,0xcb,0x3d,0xf0]
1646 vpmaxsd %zmm16, %zmm8, %zmm6 {%k3} {z}
1648 // CHECK: vpmaxsd (%rcx), %zmm8, %zmm6
1649 // CHECK: encoding: [0x62,0xf2,0x3d,0x48,0x3d,0x31]
1650 vpmaxsd (%rcx), %zmm8, %zmm6
1652 // CHECK: vpmaxsd 291(%rax,%r14,8), %zmm8, %zmm6
1653 // CHECK: encoding: [0x62,0xb2,0x3d,0x48,0x3d,0xb4,0xf0,0x23,0x01,0x00,0x00]
1654 vpmaxsd 291(%rax,%r14,8), %zmm8, %zmm6
1656 // CHECK: vpmaxsd (%rcx){1to16}, %zmm8, %zmm6
1657 // CHECK: encoding: [0x62,0xf2,0x3d,0x58,0x3d,0x31]
1658 vpmaxsd (%rcx){1to16}, %zmm8, %zmm6
1660 // CHECK: vpmaxsd 8128(%rdx), %zmm8, %zmm6
1661 // CHECK: encoding: [0x62,0xf2,0x3d,0x48,0x3d,0x72,0x7f]
1662 vpmaxsd 8128(%rdx), %zmm8, %zmm6
1664 // CHECK: vpmaxsd 8192(%rdx), %zmm8, %zmm6
1665 // CHECK: encoding: [0x62,0xf2,0x3d,0x48,0x3d,0xb2,0x00,0x20,0x00,0x00]
1666 vpmaxsd 8192(%rdx), %zmm8, %zmm6
1668 // CHECK: vpmaxsd -8192(%rdx), %zmm8, %zmm6
1669 // CHECK: encoding: [0x62,0xf2,0x3d,0x48,0x3d,0x72,0x80]
1670 vpmaxsd -8192(%rdx), %zmm8, %zmm6
1672 // CHECK: vpmaxsd -8256(%rdx), %zmm8, %zmm6
1673 // CHECK: encoding: [0x62,0xf2,0x3d,0x48,0x3d,0xb2,0xc0,0xdf,0xff,0xff]
1674 vpmaxsd -8256(%rdx), %zmm8, %zmm6
1676 // CHECK: vpmaxsd 508(%rdx){1to16}, %zmm8, %zmm6
1677 // CHECK: encoding: [0x62,0xf2,0x3d,0x58,0x3d,0x72,0x7f]
1678 vpmaxsd 508(%rdx){1to16}, %zmm8, %zmm6
1680 // CHECK: vpmaxsd 512(%rdx){1to16}, %zmm8, %zmm6
1681 // CHECK: encoding: [0x62,0xf2,0x3d,0x58,0x3d,0xb2,0x00,0x02,0x00,0x00]
1682 vpmaxsd 512(%rdx){1to16}, %zmm8, %zmm6
1684 // CHECK: vpmaxsd -512(%rdx){1to16}, %zmm8, %zmm6
1685 // CHECK: encoding: [0x62,0xf2,0x3d,0x58,0x3d,0x72,0x80]
1686 vpmaxsd -512(%rdx){1to16}, %zmm8, %zmm6
1688 // CHECK: vpmaxsd -516(%rdx){1to16}, %zmm8, %zmm6
1689 // CHECK: encoding: [0x62,0xf2,0x3d,0x58,0x3d,0xb2,0xfc,0xfd,0xff,0xff]
1690 vpmaxsd -516(%rdx){1to16}, %zmm8, %zmm6
1692 // CHECK: vpmaxsq %zmm1, %zmm6, %zmm6
1693 // CHECK: encoding: [0x62,0xf2,0xcd,0x48,0x3d,0xf1]
1694 vpmaxsq %zmm1, %zmm6, %zmm6
1696 // CHECK: vpmaxsq %zmm1, %zmm6, %zmm6 {%k7}
1697 // CHECK: encoding: [0x62,0xf2,0xcd,0x4f,0x3d,0xf1]
1698 vpmaxsq %zmm1, %zmm6, %zmm6 {%k7}
1700 // CHECK: vpmaxsq %zmm1, %zmm6, %zmm6 {%k7} {z}
1701 // CHECK: encoding: [0x62,0xf2,0xcd,0xcf,0x3d,0xf1]
1702 vpmaxsq %zmm1, %zmm6, %zmm6 {%k7} {z}
1704 // CHECK: vpmaxsq (%rcx), %zmm6, %zmm6
1705 // CHECK: encoding: [0x62,0xf2,0xcd,0x48,0x3d,0x31]
1706 vpmaxsq (%rcx), %zmm6, %zmm6
1708 // CHECK: vpmaxsq 291(%rax,%r14,8), %zmm6, %zmm6
1709 // CHECK: encoding: [0x62,0xb2,0xcd,0x48,0x3d,0xb4,0xf0,0x23,0x01,0x00,0x00]
1710 vpmaxsq 291(%rax,%r14,8), %zmm6, %zmm6
1712 // CHECK: vpmaxsq (%rcx){1to8}, %zmm6, %zmm6
1713 // CHECK: encoding: [0x62,0xf2,0xcd,0x58,0x3d,0x31]
1714 vpmaxsq (%rcx){1to8}, %zmm6, %zmm6
1716 // CHECK: vpmaxsq 8128(%rdx), %zmm6, %zmm6
1717 // CHECK: encoding: [0x62,0xf2,0xcd,0x48,0x3d,0x72,0x7f]
1718 vpmaxsq 8128(%rdx), %zmm6, %zmm6
1720 // CHECK: vpmaxsq 8192(%rdx), %zmm6, %zmm6
1721 // CHECK: encoding: [0x62,0xf2,0xcd,0x48,0x3d,0xb2,0x00,0x20,0x00,0x00]
1722 vpmaxsq 8192(%rdx), %zmm6, %zmm6
1724 // CHECK: vpmaxsq -8192(%rdx), %zmm6, %zmm6
1725 // CHECK: encoding: [0x62,0xf2,0xcd,0x48,0x3d,0x72,0x80]
1726 vpmaxsq -8192(%rdx), %zmm6, %zmm6
1728 // CHECK: vpmaxsq -8256(%rdx), %zmm6, %zmm6
1729 // CHECK: encoding: [0x62,0xf2,0xcd,0x48,0x3d,0xb2,0xc0,0xdf,0xff,0xff]
1730 vpmaxsq -8256(%rdx), %zmm6, %zmm6
1732 // CHECK: vpmaxsq 1016(%rdx){1to8}, %zmm6, %zmm6
1733 // CHECK: encoding: [0x62,0xf2,0xcd,0x58,0x3d,0x72,0x7f]
1734 vpmaxsq 1016(%rdx){1to8}, %zmm6, %zmm6
1736 // CHECK: vpmaxsq 1024(%rdx){1to8}, %zmm6, %zmm6
1737 // CHECK: encoding: [0x62,0xf2,0xcd,0x58,0x3d,0xb2,0x00,0x04,0x00,0x00]
1738 vpmaxsq 1024(%rdx){1to8}, %zmm6, %zmm6
1740 // CHECK: vpmaxsq -1024(%rdx){1to8}, %zmm6, %zmm6
1741 // CHECK: encoding: [0x62,0xf2,0xcd,0x58,0x3d,0x72,0x80]
1742 vpmaxsq -1024(%rdx){1to8}, %zmm6, %zmm6
1744 // CHECK: vpmaxsq -1032(%rdx){1to8}, %zmm6, %zmm6
1745 // CHECK: encoding: [0x62,0xf2,0xcd,0x58,0x3d,0xb2,0xf8,0xfb,0xff,0xff]
1746 vpmaxsq -1032(%rdx){1to8}, %zmm6, %zmm6
1748 // CHECK: vpmaxud %zmm25, %zmm7, %zmm17
1749 // CHECK: encoding: [0x62,0x82,0x45,0x48,0x3f,0xc9]
1750 vpmaxud %zmm25, %zmm7, %zmm17
1752 // CHECK: vpmaxud %zmm25, %zmm7, %zmm17 {%k5}
1753 // CHECK: encoding: [0x62,0x82,0x45,0x4d,0x3f,0xc9]
1754 vpmaxud %zmm25, %zmm7, %zmm17 {%k5}
1756 // CHECK: vpmaxud %zmm25, %zmm7, %zmm17 {%k5} {z}
1757 // CHECK: encoding: [0x62,0x82,0x45,0xcd,0x3f,0xc9]
1758 vpmaxud %zmm25, %zmm7, %zmm17 {%k5} {z}
1760 // CHECK: vpmaxud (%rcx), %zmm7, %zmm17
1761 // CHECK: encoding: [0x62,0xe2,0x45,0x48,0x3f,0x09]
1762 vpmaxud (%rcx), %zmm7, %zmm17
1764 // CHECK: vpmaxud 291(%rax,%r14,8), %zmm7, %zmm17
1765 // CHECK: encoding: [0x62,0xa2,0x45,0x48,0x3f,0x8c,0xf0,0x23,0x01,0x00,0x00]
1766 vpmaxud 291(%rax,%r14,8), %zmm7, %zmm17
1768 // CHECK: vpmaxud (%rcx){1to16}, %zmm7, %zmm17
1769 // CHECK: encoding: [0x62,0xe2,0x45,0x58,0x3f,0x09]
1770 vpmaxud (%rcx){1to16}, %zmm7, %zmm17
1772 // CHECK: vpmaxud 8128(%rdx), %zmm7, %zmm17
1773 // CHECK: encoding: [0x62,0xe2,0x45,0x48,0x3f,0x4a,0x7f]
1774 vpmaxud 8128(%rdx), %zmm7, %zmm17
1776 // CHECK: vpmaxud 8192(%rdx), %zmm7, %zmm17
1777 // CHECK: encoding: [0x62,0xe2,0x45,0x48,0x3f,0x8a,0x00,0x20,0x00,0x00]
1778 vpmaxud 8192(%rdx), %zmm7, %zmm17
1780 // CHECK: vpmaxud -8192(%rdx), %zmm7, %zmm17
1781 // CHECK: encoding: [0x62,0xe2,0x45,0x48,0x3f,0x4a,0x80]
1782 vpmaxud -8192(%rdx), %zmm7, %zmm17
1784 // CHECK: vpmaxud -8256(%rdx), %zmm7, %zmm17
1785 // CHECK: encoding: [0x62,0xe2,0x45,0x48,0x3f,0x8a,0xc0,0xdf,0xff,0xff]
1786 vpmaxud -8256(%rdx), %zmm7, %zmm17
1788 // CHECK: vpmaxud 508(%rdx){1to16}, %zmm7, %zmm17
1789 // CHECK: encoding: [0x62,0xe2,0x45,0x58,0x3f,0x4a,0x7f]
1790 vpmaxud 508(%rdx){1to16}, %zmm7, %zmm17
1792 // CHECK: vpmaxud 512(%rdx){1to16}, %zmm7, %zmm17
1793 // CHECK: encoding: [0x62,0xe2,0x45,0x58,0x3f,0x8a,0x00,0x02,0x00,0x00]
1794 vpmaxud 512(%rdx){1to16}, %zmm7, %zmm17
1796 // CHECK: vpmaxud -512(%rdx){1to16}, %zmm7, %zmm17
1797 // CHECK: encoding: [0x62,0xe2,0x45,0x58,0x3f,0x4a,0x80]
1798 vpmaxud -512(%rdx){1to16}, %zmm7, %zmm17
1800 // CHECK: vpmaxud -516(%rdx){1to16}, %zmm7, %zmm17
1801 // CHECK: encoding: [0x62,0xe2,0x45,0x58,0x3f,0x8a,0xfc,0xfd,0xff,0xff]
1802 vpmaxud -516(%rdx){1to16}, %zmm7, %zmm17
1804 // CHECK: vpmaxuq %zmm25, %zmm22, %zmm30
1805 // CHECK: encoding: [0x62,0x02,0xcd,0x40,0x3f,0xf1]
1806 vpmaxuq %zmm25, %zmm22, %zmm30
1808 // CHECK: vpmaxuq %zmm25, %zmm22, %zmm30 {%k1}
1809 // CHECK: encoding: [0x62,0x02,0xcd,0x41,0x3f,0xf1]
1810 vpmaxuq %zmm25, %zmm22, %zmm30 {%k1}
1812 // CHECK: vpmaxuq %zmm25, %zmm22, %zmm30 {%k1} {z}
1813 // CHECK: encoding: [0x62,0x02,0xcd,0xc1,0x3f,0xf1]
1814 vpmaxuq %zmm25, %zmm22, %zmm30 {%k1} {z}
1816 // CHECK: vpmaxuq (%rcx), %zmm22, %zmm30
1817 // CHECK: encoding: [0x62,0x62,0xcd,0x40,0x3f,0x31]
1818 vpmaxuq (%rcx), %zmm22, %zmm30
1820 // CHECK: vpmaxuq 291(%rax,%r14,8), %zmm22, %zmm30
1821 // CHECK: encoding: [0x62,0x22,0xcd,0x40,0x3f,0xb4,0xf0,0x23,0x01,0x00,0x00]
1822 vpmaxuq 291(%rax,%r14,8), %zmm22, %zmm30
1824 // CHECK: vpmaxuq (%rcx){1to8}, %zmm22, %zmm30
1825 // CHECK: encoding: [0x62,0x62,0xcd,0x50,0x3f,0x31]
1826 vpmaxuq (%rcx){1to8}, %zmm22, %zmm30
1828 // CHECK: vpmaxuq 8128(%rdx), %zmm22, %zmm30
1829 // CHECK: encoding: [0x62,0x62,0xcd,0x40,0x3f,0x72,0x7f]
1830 vpmaxuq 8128(%rdx), %zmm22, %zmm30
1832 // CHECK: vpmaxuq 8192(%rdx), %zmm22, %zmm30
1833 // CHECK: encoding: [0x62,0x62,0xcd,0x40,0x3f,0xb2,0x00,0x20,0x00,0x00]
1834 vpmaxuq 8192(%rdx), %zmm22, %zmm30
1836 // CHECK: vpmaxuq -8192(%rdx), %zmm22, %zmm30
1837 // CHECK: encoding: [0x62,0x62,0xcd,0x40,0x3f,0x72,0x80]
1838 vpmaxuq -8192(%rdx), %zmm22, %zmm30
1840 // CHECK: vpmaxuq -8256(%rdx), %zmm22, %zmm30
1841 // CHECK: encoding: [0x62,0x62,0xcd,0x40,0x3f,0xb2,0xc0,0xdf,0xff,0xff]
1842 vpmaxuq -8256(%rdx), %zmm22, %zmm30
1844 // CHECK: vpmaxuq 1016(%rdx){1to8}, %zmm22, %zmm30
1845 // CHECK: encoding: [0x62,0x62,0xcd,0x50,0x3f,0x72,0x7f]
1846 vpmaxuq 1016(%rdx){1to8}, %zmm22, %zmm30
1848 // CHECK: vpmaxuq 1024(%rdx){1to8}, %zmm22, %zmm30
1849 // CHECK: encoding: [0x62,0x62,0xcd,0x50,0x3f,0xb2,0x00,0x04,0x00,0x00]
1850 vpmaxuq 1024(%rdx){1to8}, %zmm22, %zmm30
1852 // CHECK: vpmaxuq -1024(%rdx){1to8}, %zmm22, %zmm30
1853 // CHECK: encoding: [0x62,0x62,0xcd,0x50,0x3f,0x72,0x80]
1854 vpmaxuq -1024(%rdx){1to8}, %zmm22, %zmm30
1856 // CHECK: vpmaxuq -1032(%rdx){1to8}, %zmm22, %zmm30
1857 // CHECK: encoding: [0x62,0x62,0xcd,0x50,0x3f,0xb2,0xf8,0xfb,0xff,0xff]
1858 vpmaxuq -1032(%rdx){1to8}, %zmm22, %zmm30
1860 // CHECK: vpminsd %zmm24, %zmm16, %zmm2
1861 // CHECK: encoding: [0x62,0x92,0x7d,0x40,0x39,0xd0]
1862 vpminsd %zmm24, %zmm16, %zmm2
1864 // CHECK: vpminsd %zmm24, %zmm16, %zmm2 {%k3}
1865 // CHECK: encoding: [0x62,0x92,0x7d,0x43,0x39,0xd0]
1866 vpminsd %zmm24, %zmm16, %zmm2 {%k3}
1868 // CHECK: vpminsd %zmm24, %zmm16, %zmm2 {%k3} {z}
1869 // CHECK: encoding: [0x62,0x92,0x7d,0xc3,0x39,0xd0]
1870 vpminsd %zmm24, %zmm16, %zmm2 {%k3} {z}
1872 // CHECK: vpminsd (%rcx), %zmm16, %zmm2
1873 // CHECK: encoding: [0x62,0xf2,0x7d,0x40,0x39,0x11]
1874 vpminsd (%rcx), %zmm16, %zmm2
1876 // CHECK: vpminsd 291(%rax,%r14,8), %zmm16, %zmm2
1877 // CHECK: encoding: [0x62,0xb2,0x7d,0x40,0x39,0x94,0xf0,0x23,0x01,0x00,0x00]
1878 vpminsd 291(%rax,%r14,8), %zmm16, %zmm2
1880 // CHECK: vpminsd (%rcx){1to16}, %zmm16, %zmm2
1881 // CHECK: encoding: [0x62,0xf2,0x7d,0x50,0x39,0x11]
1882 vpminsd (%rcx){1to16}, %zmm16, %zmm2
1884 // CHECK: vpminsd 8128(%rdx), %zmm16, %zmm2
1885 // CHECK: encoding: [0x62,0xf2,0x7d,0x40,0x39,0x52,0x7f]
1886 vpminsd 8128(%rdx), %zmm16, %zmm2
1888 // CHECK: vpminsd 8192(%rdx), %zmm16, %zmm2
1889 // CHECK: encoding: [0x62,0xf2,0x7d,0x40,0x39,0x92,0x00,0x20,0x00,0x00]
1890 vpminsd 8192(%rdx), %zmm16, %zmm2
1892 // CHECK: vpminsd -8192(%rdx), %zmm16, %zmm2
1893 // CHECK: encoding: [0x62,0xf2,0x7d,0x40,0x39,0x52,0x80]
1894 vpminsd -8192(%rdx), %zmm16, %zmm2
1896 // CHECK: vpminsd -8256(%rdx), %zmm16, %zmm2
1897 // CHECK: encoding: [0x62,0xf2,0x7d,0x40,0x39,0x92,0xc0,0xdf,0xff,0xff]
1898 vpminsd -8256(%rdx), %zmm16, %zmm2
1900 // CHECK: vpminsd 508(%rdx){1to16}, %zmm16, %zmm2
1901 // CHECK: encoding: [0x62,0xf2,0x7d,0x50,0x39,0x52,0x7f]
1902 vpminsd 508(%rdx){1to16}, %zmm16, %zmm2
1904 // CHECK: vpminsd 512(%rdx){1to16}, %zmm16, %zmm2
1905 // CHECK: encoding: [0x62,0xf2,0x7d,0x50,0x39,0x92,0x00,0x02,0x00,0x00]
1906 vpminsd 512(%rdx){1to16}, %zmm16, %zmm2
1908 // CHECK: vpminsd -512(%rdx){1to16}, %zmm16, %zmm2
1909 // CHECK: encoding: [0x62,0xf2,0x7d,0x50,0x39,0x52,0x80]
1910 vpminsd -512(%rdx){1to16}, %zmm16, %zmm2
1912 // CHECK: vpminsd -516(%rdx){1to16}, %zmm16, %zmm2
1913 // CHECK: encoding: [0x62,0xf2,0x7d,0x50,0x39,0x92,0xfc,0xfd,0xff,0xff]
1914 vpminsd -516(%rdx){1to16}, %zmm16, %zmm2
1916 // CHECK: vpminsq %zmm17, %zmm16, %zmm20
1917 // CHECK: encoding: [0x62,0xa2,0xfd,0x40,0x39,0xe1]
1918 vpminsq %zmm17, %zmm16, %zmm20
1920 // CHECK: vpminsq %zmm17, %zmm16, %zmm20 {%k6}
1921 // CHECK: encoding: [0x62,0xa2,0xfd,0x46,0x39,0xe1]
1922 vpminsq %zmm17, %zmm16, %zmm20 {%k6}
1924 // CHECK: vpminsq %zmm17, %zmm16, %zmm20 {%k6} {z}
1925 // CHECK: encoding: [0x62,0xa2,0xfd,0xc6,0x39,0xe1]
1926 vpminsq %zmm17, %zmm16, %zmm20 {%k6} {z}
1928 // CHECK: vpminsq (%rcx), %zmm16, %zmm20
1929 // CHECK: encoding: [0x62,0xe2,0xfd,0x40,0x39,0x21]
1930 vpminsq (%rcx), %zmm16, %zmm20
1932 // CHECK: vpminsq 291(%rax,%r14,8), %zmm16, %zmm20
1933 // CHECK: encoding: [0x62,0xa2,0xfd,0x40,0x39,0xa4,0xf0,0x23,0x01,0x00,0x00]
1934 vpminsq 291(%rax,%r14,8), %zmm16, %zmm20
1936 // CHECK: vpminsq (%rcx){1to8}, %zmm16, %zmm20
1937 // CHECK: encoding: [0x62,0xe2,0xfd,0x50,0x39,0x21]
1938 vpminsq (%rcx){1to8}, %zmm16, %zmm20
1940 // CHECK: vpminsq 8128(%rdx), %zmm16, %zmm20
1941 // CHECK: encoding: [0x62,0xe2,0xfd,0x40,0x39,0x62,0x7f]
1942 vpminsq 8128(%rdx), %zmm16, %zmm20
1944 // CHECK: vpminsq 8192(%rdx), %zmm16, %zmm20
1945 // CHECK: encoding: [0x62,0xe2,0xfd,0x40,0x39,0xa2,0x00,0x20,0x00,0x00]
1946 vpminsq 8192(%rdx), %zmm16, %zmm20
1948 // CHECK: vpminsq -8192(%rdx), %zmm16, %zmm20
1949 // CHECK: encoding: [0x62,0xe2,0xfd,0x40,0x39,0x62,0x80]
1950 vpminsq -8192(%rdx), %zmm16, %zmm20
1952 // CHECK: vpminsq -8256(%rdx), %zmm16, %zmm20
1953 // CHECK: encoding: [0x62,0xe2,0xfd,0x40,0x39,0xa2,0xc0,0xdf,0xff,0xff]
1954 vpminsq -8256(%rdx), %zmm16, %zmm20
1956 // CHECK: vpminsq 1016(%rdx){1to8}, %zmm16, %zmm20
1957 // CHECK: encoding: [0x62,0xe2,0xfd,0x50,0x39,0x62,0x7f]
1958 vpminsq 1016(%rdx){1to8}, %zmm16, %zmm20
1960 // CHECK: vpminsq 1024(%rdx){1to8}, %zmm16, %zmm20
1961 // CHECK: encoding: [0x62,0xe2,0xfd,0x50,0x39,0xa2,0x00,0x04,0x00,0x00]
1962 vpminsq 1024(%rdx){1to8}, %zmm16, %zmm20
1964 // CHECK: vpminsq -1024(%rdx){1to8}, %zmm16, %zmm20
1965 // CHECK: encoding: [0x62,0xe2,0xfd,0x50,0x39,0x62,0x80]
1966 vpminsq -1024(%rdx){1to8}, %zmm16, %zmm20
1968 // CHECK: vpminsq -1032(%rdx){1to8}, %zmm16, %zmm20
1969 // CHECK: encoding: [0x62,0xe2,0xfd,0x50,0x39,0xa2,0xf8,0xfb,0xff,0xff]
1970 vpminsq -1032(%rdx){1to8}, %zmm16, %zmm20
1972 // CHECK: vpminud %zmm20, %zmm23, %zmm3
1973 // CHECK: encoding: [0x62,0xb2,0x45,0x40,0x3b,0xdc]
1974 vpminud %zmm20, %zmm23, %zmm3
1976 // CHECK: vpminud %zmm20, %zmm23, %zmm3 {%k3}
1977 // CHECK: encoding: [0x62,0xb2,0x45,0x43,0x3b,0xdc]
1978 vpminud %zmm20, %zmm23, %zmm3 {%k3}
1980 // CHECK: vpminud %zmm20, %zmm23, %zmm3 {%k3} {z}
1981 // CHECK: encoding: [0x62,0xb2,0x45,0xc3,0x3b,0xdc]
1982 vpminud %zmm20, %zmm23, %zmm3 {%k3} {z}
1984 // CHECK: vpminud (%rcx), %zmm23, %zmm3
1985 // CHECK: encoding: [0x62,0xf2,0x45,0x40,0x3b,0x19]
1986 vpminud (%rcx), %zmm23, %zmm3
1988 // CHECK: vpminud 291(%rax,%r14,8), %zmm23, %zmm3
1989 // CHECK: encoding: [0x62,0xb2,0x45,0x40,0x3b,0x9c,0xf0,0x23,0x01,0x00,0x00]
1990 vpminud 291(%rax,%r14,8), %zmm23, %zmm3
1992 // CHECK: vpminud (%rcx){1to16}, %zmm23, %zmm3
1993 // CHECK: encoding: [0x62,0xf2,0x45,0x50,0x3b,0x19]
1994 vpminud (%rcx){1to16}, %zmm23, %zmm3
1996 // CHECK: vpminud 8128(%rdx), %zmm23, %zmm3
1997 // CHECK: encoding: [0x62,0xf2,0x45,0x40,0x3b,0x5a,0x7f]
1998 vpminud 8128(%rdx), %zmm23, %zmm3
2000 // CHECK: vpminud 8192(%rdx), %zmm23, %zmm3
2001 // CHECK: encoding: [0x62,0xf2,0x45,0x40,0x3b,0x9a,0x00,0x20,0x00,0x00]
2002 vpminud 8192(%rdx), %zmm23, %zmm3
2004 // CHECK: vpminud -8192(%rdx), %zmm23, %zmm3
2005 // CHECK: encoding: [0x62,0xf2,0x45,0x40,0x3b,0x5a,0x80]
2006 vpminud -8192(%rdx), %zmm23, %zmm3
2008 // CHECK: vpminud -8256(%rdx), %zmm23, %zmm3
2009 // CHECK: encoding: [0x62,0xf2,0x45,0x40,0x3b,0x9a,0xc0,0xdf,0xff,0xff]
2010 vpminud -8256(%rdx), %zmm23, %zmm3
2012 // CHECK: vpminud 508(%rdx){1to16}, %zmm23, %zmm3
2013 // CHECK: encoding: [0x62,0xf2,0x45,0x50,0x3b,0x5a,0x7f]
2014 vpminud 508(%rdx){1to16}, %zmm23, %zmm3
2016 // CHECK: vpminud 512(%rdx){1to16}, %zmm23, %zmm3
2017 // CHECK: encoding: [0x62,0xf2,0x45,0x50,0x3b,0x9a,0x00,0x02,0x00,0x00]
2018 vpminud 512(%rdx){1to16}, %zmm23, %zmm3
2020 // CHECK: vpminud -512(%rdx){1to16}, %zmm23, %zmm3
2021 // CHECK: encoding: [0x62,0xf2,0x45,0x50,0x3b,0x5a,0x80]
2022 vpminud -512(%rdx){1to16}, %zmm23, %zmm3
2024 // CHECK: vpminud -516(%rdx){1to16}, %zmm23, %zmm3
2025 // CHECK: encoding: [0x62,0xf2,0x45,0x50,0x3b,0x9a,0xfc,0xfd,0xff,0xff]
2026 vpminud -516(%rdx){1to16}, %zmm23, %zmm3
2028 // CHECK: vpminuq %zmm7, %zmm26, %zmm11
2029 // CHECK: encoding: [0x62,0x72,0xad,0x40,0x3b,0xdf]
2030 vpminuq %zmm7, %zmm26, %zmm11
2032 // CHECK: vpminuq %zmm7, %zmm26, %zmm11 {%k5}
2033 // CHECK: encoding: [0x62,0x72,0xad,0x45,0x3b,0xdf]
2034 vpminuq %zmm7, %zmm26, %zmm11 {%k5}
2036 // CHECK: vpminuq %zmm7, %zmm26, %zmm11 {%k5} {z}
2037 // CHECK: encoding: [0x62,0x72,0xad,0xc5,0x3b,0xdf]
2038 vpminuq %zmm7, %zmm26, %zmm11 {%k5} {z}
2040 // CHECK: vpminuq (%rcx), %zmm26, %zmm11
2041 // CHECK: encoding: [0x62,0x72,0xad,0x40,0x3b,0x19]
2042 vpminuq (%rcx), %zmm26, %zmm11
2044 // CHECK: vpminuq 291(%rax,%r14,8), %zmm26, %zmm11
2045 // CHECK: encoding: [0x62,0x32,0xad,0x40,0x3b,0x9c,0xf0,0x23,0x01,0x00,0x00]
2046 vpminuq 291(%rax,%r14,8), %zmm26, %zmm11
2048 // CHECK: vpminuq (%rcx){1to8}, %zmm26, %zmm11
2049 // CHECK: encoding: [0x62,0x72,0xad,0x50,0x3b,0x19]
2050 vpminuq (%rcx){1to8}, %zmm26, %zmm11
2052 // CHECK: vpminuq 8128(%rdx), %zmm26, %zmm11
2053 // CHECK: encoding: [0x62,0x72,0xad,0x40,0x3b,0x5a,0x7f]
2054 vpminuq 8128(%rdx), %zmm26, %zmm11
2056 // CHECK: vpminuq 8192(%rdx), %zmm26, %zmm11
2057 // CHECK: encoding: [0x62,0x72,0xad,0x40,0x3b,0x9a,0x00,0x20,0x00,0x00]
2058 vpminuq 8192(%rdx), %zmm26, %zmm11
2060 // CHECK: vpminuq -8192(%rdx), %zmm26, %zmm11
2061 // CHECK: encoding: [0x62,0x72,0xad,0x40,0x3b,0x5a,0x80]
2062 vpminuq -8192(%rdx), %zmm26, %zmm11
2064 // CHECK: vpminuq -8256(%rdx), %zmm26, %zmm11
2065 // CHECK: encoding: [0x62,0x72,0xad,0x40,0x3b,0x9a,0xc0,0xdf,0xff,0xff]
2066 vpminuq -8256(%rdx), %zmm26, %zmm11
2068 // CHECK: vpminuq 1016(%rdx){1to8}, %zmm26, %zmm11
2069 // CHECK: encoding: [0x62,0x72,0xad,0x50,0x3b,0x5a,0x7f]
2070 vpminuq 1016(%rdx){1to8}, %zmm26, %zmm11
2072 // CHECK: vpminuq 1024(%rdx){1to8}, %zmm26, %zmm11
2073 // CHECK: encoding: [0x62,0x72,0xad,0x50,0x3b,0x9a,0x00,0x04,0x00,0x00]
2074 vpminuq 1024(%rdx){1to8}, %zmm26, %zmm11
2076 // CHECK: vpminuq -1024(%rdx){1to8}, %zmm26, %zmm11
2077 // CHECK: encoding: [0x62,0x72,0xad,0x50,0x3b,0x5a,0x80]
2078 vpminuq -1024(%rdx){1to8}, %zmm26, %zmm11
2080 // CHECK: vpminuq -1032(%rdx){1to8}, %zmm26, %zmm11
2081 // CHECK: encoding: [0x62,0x72,0xad,0x50,0x3b,0x9a,0xf8,0xfb,0xff,0xff]
2082 vpminuq -1032(%rdx){1to8}, %zmm26, %zmm11
2084 // CHECK: vpmovsxbd %xmm7, %zmm27
2085 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x21,0xdf]
2086 vpmovsxbd %xmm7, %zmm27
2088 // CHECK: vpmovsxbd %xmm7, %zmm27 {%k5}
2089 // CHECK: encoding: [0x62,0x62,0x7d,0x4d,0x21,0xdf]
2090 vpmovsxbd %xmm7, %zmm27 {%k5}
2092 // CHECK: vpmovsxbd %xmm7, %zmm27 {%k5} {z}
2093 // CHECK: encoding: [0x62,0x62,0x7d,0xcd,0x21,0xdf]
2094 vpmovsxbd %xmm7, %zmm27 {%k5} {z}
2096 // CHECK: vpmovsxbd (%rcx), %zmm27
2097 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x21,0x19]
2098 vpmovsxbd (%rcx), %zmm27
2100 // CHECK: vpmovsxbd 291(%rax,%r14,8), %zmm27
2101 // CHECK: encoding: [0x62,0x22,0x7d,0x48,0x21,0x9c,0xf0,0x23,0x01,0x00,0x00]
2102 vpmovsxbd 291(%rax,%r14,8), %zmm27
2104 // CHECK: vpmovsxbd 2032(%rdx), %zmm27
2105 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x21,0x5a,0x7f]
2106 vpmovsxbd 2032(%rdx), %zmm27
2108 // CHECK: vpmovsxbd 2048(%rdx), %zmm27
2109 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x21,0x9a,0x00,0x08,0x00,0x00]
2110 vpmovsxbd 2048(%rdx), %zmm27
2112 // CHECK: vpmovsxbd -2048(%rdx), %zmm27
2113 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x21,0x5a,0x80]
2114 vpmovsxbd -2048(%rdx), %zmm27
2116 // CHECK: vpmovsxbd -2064(%rdx), %zmm27
2117 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x21,0x9a,0xf0,0xf7,0xff,0xff]
2118 vpmovsxbd -2064(%rdx), %zmm27
2120 // CHECK: vpmovsxbd (%rcx), %zmm27 {%k1}
2121 // CHECK: encoding: [0x62,0x62,0x7d,0x49,0x21,0x19]
2122 vpmovsxbd (%rcx), %zmm27 {%k1}
2124 // CHECK: vpmovsxbd (%rcx), %zmm27 {%k2} {z}
2125 // CHECK: encoding: [0x62,0x62,0x7d,0xca,0x21,0x19]
2126 vpmovsxbd (%rcx), %zmm27 {%k2} {z}
2128 // CHECK: vpmovsxbq %xmm11, %zmm11
2129 // CHECK: encoding: [0x62,0x52,0x7d,0x48,0x22,0xdb]
2130 vpmovsxbq %xmm11, %zmm11
2132 // CHECK: vpmovsxbq %xmm11, %zmm11 {%k5}
2133 // CHECK: encoding: [0x62,0x52,0x7d,0x4d,0x22,0xdb]
2134 vpmovsxbq %xmm11, %zmm11 {%k5}
2136 // CHECK: vpmovsxbq %xmm11, %zmm11 {%k5} {z}
2137 // CHECK: encoding: [0x62,0x52,0x7d,0xcd,0x22,0xdb]
2138 vpmovsxbq %xmm11, %zmm11 {%k5} {z}
2140 // CHECK: vpmovsxbq (%rcx), %zmm11
2141 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x22,0x19]
2142 vpmovsxbq (%rcx), %zmm11
2144 // CHECK: vpmovsxbq 291(%rax,%r14,8), %zmm11
2145 // CHECK: encoding: [0x62,0x32,0x7d,0x48,0x22,0x9c,0xf0,0x23,0x01,0x00,0x00]
2146 vpmovsxbq 291(%rax,%r14,8), %zmm11
2148 // CHECK: vpmovsxbq 1016(%rdx), %zmm11
2149 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x22,0x5a,0x7f]
2150 vpmovsxbq 1016(%rdx), %zmm11
2152 // CHECK: vpmovsxbq 1024(%rdx), %zmm11
2153 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x22,0x9a,0x00,0x04,0x00,0x00]
2154 vpmovsxbq 1024(%rdx), %zmm11
2156 // CHECK: vpmovsxbq -1024(%rdx), %zmm11
2157 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x22,0x5a,0x80]
2158 vpmovsxbq -1024(%rdx), %zmm11
2160 // CHECK: vpmovsxbq -1032(%rdx), %zmm11
2161 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x22,0x9a,0xf8,0xfb,0xff,0xff]
2162 vpmovsxbq -1032(%rdx), %zmm11
2164 // CHECK: vpmovsxdq %ymm29, %zmm26
2165 // CHECK: encoding: [0x62,0x02,0x7d,0x48,0x25,0xd5]
2166 vpmovsxdq %ymm29, %zmm26
2168 // CHECK: vpmovsxdq %ymm29, %zmm26 {%k1}
2169 // CHECK: encoding: [0x62,0x02,0x7d,0x49,0x25,0xd5]
2170 vpmovsxdq %ymm29, %zmm26 {%k1}
2172 // CHECK: vpmovsxdq %ymm29, %zmm26 {%k1} {z}
2173 // CHECK: encoding: [0x62,0x02,0x7d,0xc9,0x25,0xd5]
2174 vpmovsxdq %ymm29, %zmm26 {%k1} {z}
2176 // CHECK: vpmovsxdq (%rcx), %zmm26
2177 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x25,0x11]
2178 vpmovsxdq (%rcx), %zmm26
2180 // CHECK: vpmovsxdq 291(%rax,%r14,8), %zmm26
2181 // CHECK: encoding: [0x62,0x22,0x7d,0x48,0x25,0x94,0xf0,0x23,0x01,0x00,0x00]
2182 vpmovsxdq 291(%rax,%r14,8), %zmm26
2184 // CHECK: vpmovsxdq 4064(%rdx), %zmm26
2185 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x25,0x52,0x7f]
2186 vpmovsxdq 4064(%rdx), %zmm26
2188 // CHECK: vpmovsxdq 4096(%rdx), %zmm26
2189 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x25,0x92,0x00,0x10,0x00,0x00]
2190 vpmovsxdq 4096(%rdx), %zmm26
2192 // CHECK: vpmovsxdq -4096(%rdx), %zmm26
2193 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x25,0x52,0x80]
2194 vpmovsxdq -4096(%rdx), %zmm26
2196 // CHECK: vpmovsxdq -4128(%rdx), %zmm26
2197 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x25,0x92,0xe0,0xef,0xff,0xff]
2198 vpmovsxdq -4128(%rdx), %zmm26
2200 // CHECK: vpmovsxwd %ymm11, %zmm23
2201 // CHECK: encoding: [0x62,0xc2,0x7d,0x48,0x23,0xfb]
2202 vpmovsxwd %ymm11, %zmm23
2204 // CHECK: vpmovsxwd %ymm11, %zmm23 {%k2}
2205 // CHECK: encoding: [0x62,0xc2,0x7d,0x4a,0x23,0xfb]
2206 vpmovsxwd %ymm11, %zmm23 {%k2}
2208 // CHECK: vpmovsxwd %ymm11, %zmm23 {%k2} {z}
2209 // CHECK: encoding: [0x62,0xc2,0x7d,0xca,0x23,0xfb]
2210 vpmovsxwd %ymm11, %zmm23 {%k2} {z}
2212 // CHECK: vpmovsxwd (%rcx), %zmm23
2213 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x23,0x39]
2214 vpmovsxwd (%rcx), %zmm23
2216 // CHECK: vpmovsxwd 291(%rax,%r14,8), %zmm23
2217 // CHECK: encoding: [0x62,0xa2,0x7d,0x48,0x23,0xbc,0xf0,0x23,0x01,0x00,0x00]
2218 vpmovsxwd 291(%rax,%r14,8), %zmm23
2220 // CHECK: vpmovsxwd 4064(%rdx), %zmm23
2221 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x23,0x7a,0x7f]
2222 vpmovsxwd 4064(%rdx), %zmm23
2224 // CHECK: vpmovsxwd 4096(%rdx), %zmm23
2225 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x23,0xba,0x00,0x10,0x00,0x00]
2226 vpmovsxwd 4096(%rdx), %zmm23
2228 // CHECK: vpmovsxwd -4096(%rdx), %zmm23
2229 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x23,0x7a,0x80]
2230 vpmovsxwd -4096(%rdx), %zmm23
2232 // CHECK: vpmovsxwd -4128(%rdx), %zmm23
2233 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x23,0xba,0xe0,0xef,0xff,0xff]
2234 vpmovsxwd -4128(%rdx), %zmm23
2236 // CHECK: vpmovsxwq %xmm25, %zmm25
2237 // CHECK: encoding: [0x62,0x02,0x7d,0x48,0x24,0xc9]
2238 vpmovsxwq %xmm25, %zmm25
2240 // CHECK: vpmovsxwq %xmm25, %zmm25 {%k4}
2241 // CHECK: encoding: [0x62,0x02,0x7d,0x4c,0x24,0xc9]
2242 vpmovsxwq %xmm25, %zmm25 {%k4}
2244 // CHECK: vpmovsxwq %xmm25, %zmm25 {%k4} {z}
2245 // CHECK: encoding: [0x62,0x02,0x7d,0xcc,0x24,0xc9]
2246 vpmovsxwq %xmm25, %zmm25 {%k4} {z}
2248 // CHECK: vpmovsxwq (%rcx), %zmm25
2249 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x24,0x09]
2250 vpmovsxwq (%rcx), %zmm25
2252 // CHECK: vpmovsxwq 291(%rax,%r14,8), %zmm25
2253 // CHECK: encoding: [0x62,0x22,0x7d,0x48,0x24,0x8c,0xf0,0x23,0x01,0x00,0x00]
2254 vpmovsxwq 291(%rax,%r14,8), %zmm25
2256 // CHECK: vpmovsxwq 2032(%rdx), %zmm25
2257 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x24,0x4a,0x7f]
2258 vpmovsxwq 2032(%rdx), %zmm25
2260 // CHECK: vpmovsxwq 2048(%rdx), %zmm25
2261 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x24,0x8a,0x00,0x08,0x00,0x00]
2262 vpmovsxwq 2048(%rdx), %zmm25
2264 // CHECK: vpmovsxwq -2048(%rdx), %zmm25
2265 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x24,0x4a,0x80]
2266 vpmovsxwq -2048(%rdx), %zmm25
2268 // CHECK: vpmovsxwq -2064(%rdx), %zmm25
2269 // CHECK: encoding: [0x62,0x62,0x7d,0x48,0x24,0x8a,0xf0,0xf7,0xff,0xff]
2270 vpmovsxwq -2064(%rdx), %zmm25
2272 // CHECK: vpmovzxbd %xmm25, %zmm18
2273 // CHECK: encoding: [0x62,0x82,0x7d,0x48,0x31,0xd1]
2274 vpmovzxbd %xmm25, %zmm18
2276 // CHECK: vpmovzxbd %xmm25, %zmm18 {%k7}
2277 // CHECK: encoding: [0x62,0x82,0x7d,0x4f,0x31,0xd1]
2278 vpmovzxbd %xmm25, %zmm18 {%k7}
2280 // CHECK: vpmovzxbd %xmm25, %zmm18 {%k7} {z}
2281 // CHECK: encoding: [0x62,0x82,0x7d,0xcf,0x31,0xd1]
2282 vpmovzxbd %xmm25, %zmm18 {%k7} {z}
2284 // CHECK: vpmovzxbd (%rcx), %zmm18
2285 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x31,0x11]
2286 vpmovzxbd (%rcx), %zmm18
2288 // CHECK: vpmovzxbd 291(%rax,%r14,8), %zmm18
2289 // CHECK: encoding: [0x62,0xa2,0x7d,0x48,0x31,0x94,0xf0,0x23,0x01,0x00,0x00]
2290 vpmovzxbd 291(%rax,%r14,8), %zmm18
2292 // CHECK: vpmovzxbd 2032(%rdx), %zmm18
2293 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x31,0x52,0x7f]
2294 vpmovzxbd 2032(%rdx), %zmm18
2296 // CHECK: vpmovzxbd 2048(%rdx), %zmm18
2297 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x31,0x92,0x00,0x08,0x00,0x00]
2298 vpmovzxbd 2048(%rdx), %zmm18
2300 // CHECK: vpmovzxbd -2048(%rdx), %zmm18
2301 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x31,0x52,0x80]
2302 vpmovzxbd -2048(%rdx), %zmm18
2304 // CHECK: vpmovzxbd -2064(%rdx), %zmm18
2305 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x31,0x92,0xf0,0xf7,0xff,0xff]
2306 vpmovzxbd -2064(%rdx), %zmm18
2308 // CHECK: vpmovzxbq %xmm15, %zmm5
2309 // CHECK: encoding: [0x62,0xd2,0x7d,0x48,0x32,0xef]
2310 vpmovzxbq %xmm15, %zmm5
2312 // CHECK: vpmovzxbq %xmm15, %zmm5 {%k1}
2313 // CHECK: encoding: [0x62,0xd2,0x7d,0x49,0x32,0xef]
2314 vpmovzxbq %xmm15, %zmm5 {%k1}
2316 // CHECK: vpmovzxbq %xmm15, %zmm5 {%k1} {z}
2317 // CHECK: encoding: [0x62,0xd2,0x7d,0xc9,0x32,0xef]
2318 vpmovzxbq %xmm15, %zmm5 {%k1} {z}
2320 // CHECK: vpmovzxbq (%rcx), %zmm5
2321 // CHECK: encoding: [0x62,0xf2,0x7d,0x48,0x32,0x29]
2322 vpmovzxbq (%rcx), %zmm5
2324 // CHECK: vpmovzxbq 291(%rax,%r14,8), %zmm5
2325 // CHECK: encoding: [0x62,0xb2,0x7d,0x48,0x32,0xac,0xf0,0x23,0x01,0x00,0x00]
2326 vpmovzxbq 291(%rax,%r14,8), %zmm5
2328 // CHECK: vpmovzxbq 1016(%rdx), %zmm5
2329 // CHECK: encoding: [0x62,0xf2,0x7d,0x48,0x32,0x6a,0x7f]
2330 vpmovzxbq 1016(%rdx), %zmm5
2332 // CHECK: vpmovzxbq 1024(%rdx), %zmm5
2333 // CHECK: encoding: [0x62,0xf2,0x7d,0x48,0x32,0xaa,0x00,0x04,0x00,0x00]
2334 vpmovzxbq 1024(%rdx), %zmm5
2336 // CHECK: vpmovzxbq -1024(%rdx), %zmm5
2337 // CHECK: encoding: [0x62,0xf2,0x7d,0x48,0x32,0x6a,0x80]
2338 vpmovzxbq -1024(%rdx), %zmm5
2340 // CHECK: vpmovzxbq -1032(%rdx), %zmm5
2341 // CHECK: encoding: [0x62,0xf2,0x7d,0x48,0x32,0xaa,0xf8,0xfb,0xff,0xff]
2342 vpmovzxbq -1032(%rdx), %zmm5
2344 // CHECK: vpmovzxdq %ymm4, %zmm20
2345 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x35,0xe4]
2346 vpmovzxdq %ymm4, %zmm20
2348 // CHECK: vpmovzxdq %ymm4, %zmm20 {%k3}
2349 // CHECK: encoding: [0x62,0xe2,0x7d,0x4b,0x35,0xe4]
2350 vpmovzxdq %ymm4, %zmm20 {%k3}
2352 // CHECK: vpmovzxdq %ymm4, %zmm20 {%k3} {z}
2353 // CHECK: encoding: [0x62,0xe2,0x7d,0xcb,0x35,0xe4]
2354 vpmovzxdq %ymm4, %zmm20 {%k3} {z}
2356 // CHECK: vpmovzxdq (%rcx), %zmm20
2357 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x35,0x21]
2358 vpmovzxdq (%rcx), %zmm20
2360 // CHECK: vpmovzxdq 291(%rax,%r14,8), %zmm20
2361 // CHECK: encoding: [0x62,0xa2,0x7d,0x48,0x35,0xa4,0xf0,0x23,0x01,0x00,0x00]
2362 vpmovzxdq 291(%rax,%r14,8), %zmm20
2364 // CHECK: vpmovzxdq 4064(%rdx), %zmm20
2365 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x35,0x62,0x7f]
2366 vpmovzxdq 4064(%rdx), %zmm20
2368 // CHECK: vpmovzxdq 4096(%rdx), %zmm20
2369 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x35,0xa2,0x00,0x10,0x00,0x00]
2370 vpmovzxdq 4096(%rdx), %zmm20
2372 // CHECK: vpmovzxdq -4096(%rdx), %zmm20
2373 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x35,0x62,0x80]
2374 vpmovzxdq -4096(%rdx), %zmm20
2376 // CHECK: vpmovzxdq -4128(%rdx), %zmm20
2377 // CHECK: encoding: [0x62,0xe2,0x7d,0x48,0x35,0xa2,0xe0,0xef,0xff,0xff]
2378 vpmovzxdq -4128(%rdx), %zmm20
2380 // CHECK: vpmovzxwd %ymm6, %zmm8
2381 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x33,0xc6]
2382 vpmovzxwd %ymm6, %zmm8
2384 // CHECK: vpmovzxwd %ymm6, %zmm8 {%k7}
2385 // CHECK: encoding: [0x62,0x72,0x7d,0x4f,0x33,0xc6]
2386 vpmovzxwd %ymm6, %zmm8 {%k7}
2388 // CHECK: vpmovzxwd %ymm6, %zmm8 {%k7} {z}
2389 // CHECK: encoding: [0x62,0x72,0x7d,0xcf,0x33,0xc6]
2390 vpmovzxwd %ymm6, %zmm8 {%k7} {z}
2392 // CHECK: vpmovzxwd (%rcx), %zmm8
2393 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x33,0x01]
2394 vpmovzxwd (%rcx), %zmm8
2396 // CHECK: vpmovzxwd 291(%rax,%r14,8), %zmm8
2397 // CHECK: encoding: [0x62,0x32,0x7d,0x48,0x33,0x84,0xf0,0x23,0x01,0x00,0x00]
2398 vpmovzxwd 291(%rax,%r14,8), %zmm8
2400 // CHECK: vpmovzxwd 4064(%rdx), %zmm8
2401 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x33,0x42,0x7f]
2402 vpmovzxwd 4064(%rdx), %zmm8
2404 // CHECK: vpmovzxwd 4096(%rdx), %zmm8
2405 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x33,0x82,0x00,0x10,0x00,0x00]
2406 vpmovzxwd 4096(%rdx), %zmm8
2408 // CHECK: vpmovzxwd -4096(%rdx), %zmm8
2409 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x33,0x42,0x80]
2410 vpmovzxwd -4096(%rdx), %zmm8
2412 // CHECK: vpmovzxwd -4128(%rdx), %zmm8
2413 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x33,0x82,0xe0,0xef,0xff,0xff]
2414 vpmovzxwd -4128(%rdx), %zmm8
2416 // CHECK: vpmovzxwq %xmm15, %zmm5
2417 // CHECK: encoding: [0x62,0xd2,0x7d,0x48,0x34,0xef]
2418 vpmovzxwq %xmm15, %zmm5
2420 // CHECK: vpmovzxwq %xmm15, %zmm5 {%k7}
2421 // CHECK: encoding: [0x62,0xd2,0x7d,0x4f,0x34,0xef]
2422 vpmovzxwq %xmm15, %zmm5 {%k7}
2424 // CHECK: vpmovzxwq %xmm15, %zmm5 {%k7} {z}
2425 // CHECK: encoding: [0x62,0xd2,0x7d,0xcf,0x34,0xef]
2426 vpmovzxwq %xmm15, %zmm5 {%k7} {z}
2428 // CHECK: vpmovzxwq (%rcx), %zmm5
2429 // CHECK: encoding: [0x62,0xf2,0x7d,0x48,0x34,0x29]
2430 vpmovzxwq (%rcx), %zmm5
2432 // CHECK: vpmovzxwq 291(%rax,%r14,8), %zmm5
2433 // CHECK: encoding: [0x62,0xb2,0x7d,0x48,0x34,0xac,0xf0,0x23,0x01,0x00,0x00]
2434 vpmovzxwq 291(%rax,%r14,8), %zmm5
2436 // CHECK: vpmovzxwq 2032(%rdx), %zmm5
2437 // CHECK: encoding: [0x62,0xf2,0x7d,0x48,0x34,0x6a,0x7f]
2438 vpmovzxwq 2032(%rdx), %zmm5
2440 // CHECK: vpmovzxwq 2048(%rdx), %zmm5
2441 // CHECK: encoding: [0x62,0xf2,0x7d,0x48,0x34,0xaa,0x00,0x08,0x00,0x00]
2442 vpmovzxwq 2048(%rdx), %zmm5
2444 // CHECK: vpmovzxwq -2048(%rdx), %zmm5
2445 // CHECK: encoding: [0x62,0xf2,0x7d,0x48,0x34,0x6a,0x80]
2446 vpmovzxwq -2048(%rdx), %zmm5
2448 // CHECK: vpmovzxwq -2064(%rdx), %zmm5
2449 // CHECK: encoding: [0x62,0xf2,0x7d,0x48,0x34,0xaa,0xf0,0xf7,0xff,0xff]
2450 vpmovzxwq -2064(%rdx), %zmm5
2452 // CHECK: vpmuldq %zmm9, %zmm9, %zmm29
2453 // CHECK: encoding: [0x62,0x42,0xb5,0x48,0x28,0xe9]
2454 vpmuldq %zmm9, %zmm9, %zmm29
2456 // CHECK: vpmuldq %zmm9, %zmm9, %zmm29 {%k5}
2457 // CHECK: encoding: [0x62,0x42,0xb5,0x4d,0x28,0xe9]
2458 vpmuldq %zmm9, %zmm9, %zmm29 {%k5}
2460 // CHECK: vpmuldq %zmm9, %zmm9, %zmm29 {%k5} {z}
2461 // CHECK: encoding: [0x62,0x42,0xb5,0xcd,0x28,0xe9]
2462 vpmuldq %zmm9, %zmm9, %zmm29 {%k5} {z}
2464 // CHECK: vpmuldq (%rcx), %zmm9, %zmm29
2465 // CHECK: encoding: [0x62,0x62,0xb5,0x48,0x28,0x29]
2466 vpmuldq (%rcx), %zmm9, %zmm29
2468 // CHECK: vpmuldq (%rcx), %zmm9, %zmm29 {%k6}
2469 // CHECK: encoding: [0x62,0x62,0xb5,0x4e,0x28,0x29]
2470 vpmuldq (%rcx), %zmm9, %zmm29 {%k6}
2472 // CHECK: vpmuldq (%rcx), %zmm9, %zmm29 {%k6} {z}
2473 // CHECK: encoding: [0x62,0x62,0xb5,0xce,0x28,0x29]
2474 vpmuldq (%rcx), %zmm9, %zmm29 {%k6} {z}
2476 // CHECK: vpmuldq 291(%rax,%r14,8), %zmm9, %zmm29
2477 // CHECK: encoding: [0x62,0x22,0xb5,0x48,0x28,0xac,0xf0,0x23,0x01,0x00,0x00]
2478 vpmuldq 291(%rax,%r14,8), %zmm9, %zmm29
2480 // CHECK: vpmuldq (%rcx){1to8}, %zmm9, %zmm29
2481 // CHECK: encoding: [0x62,0x62,0xb5,0x58,0x28,0x29]
2482 vpmuldq (%rcx){1to8}, %zmm9, %zmm29
2484 // CHECK: vpmuldq (%rcx){1to8}, %zmm9, %zmm29 {%k3}
2485 // CHECK: encoding: [0x62,0x62,0xb5,0x5b,0x28,0x29]
2486 vpmuldq (%rcx){1to8}, %zmm9, %zmm29 {%k3}
2488 // CHECK: vpmuldq (%rcx){1to8}, %zmm9, %zmm29
2489 // CHECK: encoding: [0x62,0x62,0xb5,0xdb,0x28,0x29]
2490 vpmuldq (%rcx){1to8}, %zmm9, %zmm29 {%k3} {z}
2492 // CHECK: vpmuldq 8128(%rdx), %zmm9, %zmm29
2493 // CHECK: encoding: [0x62,0x62,0xb5,0x48,0x28,0x6a,0x7f]
2494 vpmuldq 8128(%rdx), %zmm9, %zmm29
2496 // CHECK: vpmuldq 8192(%rdx), %zmm9, %zmm29
2497 // CHECK: encoding: [0x62,0x62,0xb5,0x48,0x28,0xaa,0x00,0x20,0x00,0x00]
2498 vpmuldq 8192(%rdx), %zmm9, %zmm29
2500 // CHECK: vpmuldq -8192(%rdx), %zmm9, %zmm29
2501 // CHECK: encoding: [0x62,0x62,0xb5,0x48,0x28,0x6a,0x80]
2502 vpmuldq -8192(%rdx), %zmm9, %zmm29
2504 // CHECK: vpmuldq -8256(%rdx), %zmm9, %zmm29
2505 // CHECK: encoding: [0x62,0x62,0xb5,0x48,0x28,0xaa,0xc0,0xdf,0xff,0xff]
2506 vpmuldq -8256(%rdx), %zmm9, %zmm29
2508 // CHECK: vpmuldq 1016(%rdx){1to8}, %zmm9, %zmm29
2509 // CHECK: encoding: [0x62,0x62,0xb5,0x58,0x28,0x6a,0x7f]
2510 vpmuldq 1016(%rdx){1to8}, %zmm9, %zmm29
2512 // CHECK: vpmuldq 1024(%rdx){1to8}, %zmm9, %zmm29
2513 // CHECK: encoding: [0x62,0x62,0xb5,0x58,0x28,0xaa,0x00,0x04,0x00,0x00]
2514 vpmuldq 1024(%rdx){1to8}, %zmm9, %zmm29
2516 // CHECK: vpmuldq -1024(%rdx){1to8}, %zmm9, %zmm29
2517 // CHECK: encoding: [0x62,0x62,0xb5,0x58,0x28,0x6a,0x80]
2518 vpmuldq -1024(%rdx){1to8}, %zmm9, %zmm29
2520 // CHECK: vpmuldq -1032(%rdx){1to8}, %zmm9, %zmm29
2521 // CHECK: encoding: [0x62,0x62,0xb5,0x58,0x28,0xaa,0xf8,0xfb,0xff,0xff]
2522 vpmuldq -1032(%rdx){1to8}, %zmm9, %zmm29
2524 // CHECK: vpmulld %zmm2, %zmm3, %zmm12
2525 // CHECK: encoding: [0x62,0x72,0x65,0x48,0x40,0xe2]
2526 vpmulld %zmm2, %zmm3, %zmm12
2528 // CHECK: vpmulld %zmm2, %zmm3, %zmm12 {%k6}
2529 // CHECK: encoding: [0x62,0x72,0x65,0x4e,0x40,0xe2]
2530 vpmulld %zmm2, %zmm3, %zmm12 {%k6}
2532 // CHECK: vpmulld %zmm2, %zmm3, %zmm12 {%k6} {z}
2533 // CHECK: encoding: [0x62,0x72,0x65,0xce,0x40,0xe2]
2534 vpmulld %zmm2, %zmm3, %zmm12 {%k6} {z}
2536 // CHECK: vpmulld (%rcx), %zmm3, %zmm12
2537 // CHECK: encoding: [0x62,0x72,0x65,0x48,0x40,0x21]
2538 vpmulld (%rcx), %zmm3, %zmm12
2540 // CHECK: vpmulld 291(%rax,%r14,8), %zmm3, %zmm12
2541 // CHECK: encoding: [0x62,0x32,0x65,0x48,0x40,0xa4,0xf0,0x23,0x01,0x00,0x00]
2542 vpmulld 291(%rax,%r14,8), %zmm3, %zmm12
2544 // CHECK: vpmulld (%rcx){1to16}, %zmm3, %zmm12
2545 // CHECK: encoding: [0x62,0x72,0x65,0x58,0x40,0x21]
2546 vpmulld (%rcx){1to16}, %zmm3, %zmm12
2548 // CHECK: vpmulld 8128(%rdx), %zmm3, %zmm12
2549 // CHECK: encoding: [0x62,0x72,0x65,0x48,0x40,0x62,0x7f]
2550 vpmulld 8128(%rdx), %zmm3, %zmm12
2552 // CHECK: vpmulld 8192(%rdx), %zmm3, %zmm12
2553 // CHECK: encoding: [0x62,0x72,0x65,0x48,0x40,0xa2,0x00,0x20,0x00,0x00]
2554 vpmulld 8192(%rdx), %zmm3, %zmm12
2556 // CHECK: vpmulld -8192(%rdx), %zmm3, %zmm12
2557 // CHECK: encoding: [0x62,0x72,0x65,0x48,0x40,0x62,0x80]
2558 vpmulld -8192(%rdx), %zmm3, %zmm12
2560 // CHECK: vpmulld -8256(%rdx), %zmm3, %zmm12
2561 // CHECK: encoding: [0x62,0x72,0x65,0x48,0x40,0xa2,0xc0,0xdf,0xff,0xff]
2562 vpmulld -8256(%rdx), %zmm3, %zmm12
2564 // CHECK: vpmulld 508(%rdx){1to16}, %zmm3, %zmm12
2565 // CHECK: encoding: [0x62,0x72,0x65,0x58,0x40,0x62,0x7f]
2566 vpmulld 508(%rdx){1to16}, %zmm3, %zmm12
2568 // CHECK: vpmulld 512(%rdx){1to16}, %zmm3, %zmm12
2569 // CHECK: encoding: [0x62,0x72,0x65,0x58,0x40,0xa2,0x00,0x02,0x00,0x00]
2570 vpmulld 512(%rdx){1to16}, %zmm3, %zmm12
2572 // CHECK: vpmulld -512(%rdx){1to16}, %zmm3, %zmm12
2573 // CHECK: encoding: [0x62,0x72,0x65,0x58,0x40,0x62,0x80]
2574 vpmulld -512(%rdx){1to16}, %zmm3, %zmm12
2576 // CHECK: vpmulld -516(%rdx){1to16}, %zmm3, %zmm12
2577 // CHECK: encoding: [0x62,0x72,0x65,0x58,0x40,0xa2,0xfc,0xfd,0xff,0xff]
2578 vpmulld -516(%rdx){1to16}, %zmm3, %zmm12
2580 // CHECK: vpmuludq %zmm9, %zmm5, %zmm23
2581 // CHECK: encoding: [0x62,0xc1,0xd5,0x48,0xf4,0xf9]
2582 vpmuludq %zmm9, %zmm5, %zmm23
2584 // CHECK: vpmuludq %zmm9, %zmm5, %zmm23 {%k4}
2585 // CHECK: encoding: [0x62,0xc1,0xd5,0x4c,0xf4,0xf9]
2586 vpmuludq %zmm9, %zmm5, %zmm23 {%k4}
2588 // CHECK: vpmuludq %zmm9, %zmm5, %zmm23 {%k4} {z}
2589 // CHECK: encoding: [0x62,0xc1,0xd5,0xcc,0xf4,0xf9]
2590 vpmuludq %zmm9, %zmm5, %zmm23 {%k4} {z}
2592 // CHECK: vpmuludq (%rcx), %zmm5, %zmm23
2593 // CHECK: encoding: [0x62,0xe1,0xd5,0x48,0xf4,0x39]
2594 vpmuludq (%rcx), %zmm5, %zmm23
2596 // CHECK: vpmuludq 291(%rax,%r14,8), %zmm5, %zmm23
2597 // CHECK: encoding: [0x62,0xa1,0xd5,0x48,0xf4,0xbc,0xf0,0x23,0x01,0x00,0x00]
2598 vpmuludq 291(%rax,%r14,8), %zmm5, %zmm23
2600 // CHECK: vpmuludq (%rcx){1to8}, %zmm5, %zmm23
2601 // CHECK: encoding: [0x62,0xe1,0xd5,0x58,0xf4,0x39]
2602 vpmuludq (%rcx){1to8}, %zmm5, %zmm23
2604 // CHECK: vpmuludq 8128(%rdx), %zmm5, %zmm23
2605 // CHECK: encoding: [0x62,0xe1,0xd5,0x48,0xf4,0x7a,0x7f]
2606 vpmuludq 8128(%rdx), %zmm5, %zmm23
2608 // CHECK: vpmuludq 8192(%rdx), %zmm5, %zmm23
2609 // CHECK: encoding: [0x62,0xe1,0xd5,0x48,0xf4,0xba,0x00,0x20,0x00,0x00]
2610 vpmuludq 8192(%rdx), %zmm5, %zmm23
2612 // CHECK: vpmuludq -8192(%rdx), %zmm5, %zmm23
2613 // CHECK: encoding: [0x62,0xe1,0xd5,0x48,0xf4,0x7a,0x80]
2614 vpmuludq -8192(%rdx), %zmm5, %zmm23
2616 // CHECK: vpmuludq -8256(%rdx), %zmm5, %zmm23
2617 // CHECK: encoding: [0x62,0xe1,0xd5,0x48,0xf4,0xba,0xc0,0xdf,0xff,0xff]
2618 vpmuludq -8256(%rdx), %zmm5, %zmm23
2620 // CHECK: vpmuludq 1016(%rdx){1to8}, %zmm5, %zmm23
2621 // CHECK: encoding: [0x62,0xe1,0xd5,0x58,0xf4,0x7a,0x7f]
2622 vpmuludq 1016(%rdx){1to8}, %zmm5, %zmm23
2624 // CHECK: vpmuludq 1024(%rdx){1to8}, %zmm5, %zmm23
2625 // CHECK: encoding: [0x62,0xe1,0xd5,0x58,0xf4,0xba,0x00,0x04,0x00,0x00]
2626 vpmuludq 1024(%rdx){1to8}, %zmm5, %zmm23
2628 // CHECK: vpmuludq -1024(%rdx){1to8}, %zmm5, %zmm23
2629 // CHECK: encoding: [0x62,0xe1,0xd5,0x58,0xf4,0x7a,0x80]
2630 vpmuludq -1024(%rdx){1to8}, %zmm5, %zmm23
2632 // CHECK: vpmuludq -1032(%rdx){1to8}, %zmm5, %zmm23
2633 // CHECK: encoding: [0x62,0xe1,0xd5,0x58,0xf4,0xba,0xf8,0xfb,0xff,0xff]
2634 vpmuludq -1032(%rdx){1to8}, %zmm5, %zmm23
2636 // CHECK: vpord %zmm20, %zmm2, %zmm23
2637 // CHECK: encoding: [0x62,0xa1,0x6d,0x48,0xeb,0xfc]
2638 vpord %zmm20, %zmm2, %zmm23
2640 // CHECK: vpord %zmm20, %zmm2, %zmm23 {%k2}
2641 // CHECK: encoding: [0x62,0xa1,0x6d,0x4a,0xeb,0xfc]
2642 vpord %zmm20, %zmm2, %zmm23 {%k2}
2644 // CHECK: vpord %zmm20, %zmm2, %zmm23 {%k2} {z}
2645 // CHECK: encoding: [0x62,0xa1,0x6d,0xca,0xeb,0xfc]
2646 vpord %zmm20, %zmm2, %zmm23 {%k2} {z}
2648 // CHECK: vpord (%rcx), %zmm2, %zmm23
2649 // CHECK: encoding: [0x62,0xe1,0x6d,0x48,0xeb,0x39]
2650 vpord (%rcx), %zmm2, %zmm23
2652 // CHECK: vpord 291(%rax,%r14,8), %zmm2, %zmm23
2653 // CHECK: encoding: [0x62,0xa1,0x6d,0x48,0xeb,0xbc,0xf0,0x23,0x01,0x00,0x00]
2654 vpord 291(%rax,%r14,8), %zmm2, %zmm23
2656 // CHECK: vpord (%rcx){1to16}, %zmm2, %zmm23
2657 // CHECK: encoding: [0x62,0xe1,0x6d,0x58,0xeb,0x39]
2658 vpord (%rcx){1to16}, %zmm2, %zmm23
2660 // CHECK: vpord 8128(%rdx), %zmm2, %zmm23
2661 // CHECK: encoding: [0x62,0xe1,0x6d,0x48,0xeb,0x7a,0x7f]
2662 vpord 8128(%rdx), %zmm2, %zmm23
2664 // CHECK: vpord 8192(%rdx), %zmm2, %zmm23
2665 // CHECK: encoding: [0x62,0xe1,0x6d,0x48,0xeb,0xba,0x00,0x20,0x00,0x00]
2666 vpord 8192(%rdx), %zmm2, %zmm23
2668 // CHECK: vpord -8192(%rdx), %zmm2, %zmm23
2669 // CHECK: encoding: [0x62,0xe1,0x6d,0x48,0xeb,0x7a,0x80]
2670 vpord -8192(%rdx), %zmm2, %zmm23
2672 // CHECK: vpord -8256(%rdx), %zmm2, %zmm23
2673 // CHECK: encoding: [0x62,0xe1,0x6d,0x48,0xeb,0xba,0xc0,0xdf,0xff,0xff]
2674 vpord -8256(%rdx), %zmm2, %zmm23
2676 // CHECK: vpord 508(%rdx){1to16}, %zmm2, %zmm23
2677 // CHECK: encoding: [0x62,0xe1,0x6d,0x58,0xeb,0x7a,0x7f]
2678 vpord 508(%rdx){1to16}, %zmm2, %zmm23
2680 // CHECK: vpord 512(%rdx){1to16}, %zmm2, %zmm23
2681 // CHECK: encoding: [0x62,0xe1,0x6d,0x58,0xeb,0xba,0x00,0x02,0x00,0x00]
2682 vpord 512(%rdx){1to16}, %zmm2, %zmm23
2684 // CHECK: vpord -512(%rdx){1to16}, %zmm2, %zmm23
2685 // CHECK: encoding: [0x62,0xe1,0x6d,0x58,0xeb,0x7a,0x80]
2686 vpord -512(%rdx){1to16}, %zmm2, %zmm23
2688 // CHECK: vpord -516(%rdx){1to16}, %zmm2, %zmm23
2689 // CHECK: encoding: [0x62,0xe1,0x6d,0x58,0xeb,0xba,0xfc,0xfd,0xff,0xff]
2690 vpord -516(%rdx){1to16}, %zmm2, %zmm23
2692 // CHECK: vporq %zmm6, %zmm10, %zmm1
2693 // CHECK: encoding: [0x62,0xf1,0xad,0x48,0xeb,0xce]
2694 vporq %zmm6, %zmm10, %zmm1
2696 // CHECK: vporq %zmm6, %zmm10, %zmm1 {%k2}
2697 // CHECK: encoding: [0x62,0xf1,0xad,0x4a,0xeb,0xce]
2698 vporq %zmm6, %zmm10, %zmm1 {%k2}
2700 // CHECK: vporq %zmm6, %zmm10, %zmm1 {%k2} {z}
2701 // CHECK: encoding: [0x62,0xf1,0xad,0xca,0xeb,0xce]
2702 vporq %zmm6, %zmm10, %zmm1 {%k2} {z}
2704 // CHECK: vporq (%rcx), %zmm10, %zmm1
2705 // CHECK: encoding: [0x62,0xf1,0xad,0x48,0xeb,0x09]
2706 vporq (%rcx), %zmm10, %zmm1
2708 // CHECK: vporq 291(%rax,%r14,8), %zmm10, %zmm1
2709 // CHECK: encoding: [0x62,0xb1,0xad,0x48,0xeb,0x8c,0xf0,0x23,0x01,0x00,0x00]
2710 vporq 291(%rax,%r14,8), %zmm10, %zmm1
2712 // CHECK: vporq (%rcx){1to8}, %zmm10, %zmm1
2713 // CHECK: encoding: [0x62,0xf1,0xad,0x58,0xeb,0x09]
2714 vporq (%rcx){1to8}, %zmm10, %zmm1
2716 // CHECK: vporq 8128(%rdx), %zmm10, %zmm1
2717 // CHECK: encoding: [0x62,0xf1,0xad,0x48,0xeb,0x4a,0x7f]
2718 vporq 8128(%rdx), %zmm10, %zmm1
2720 // CHECK: vporq 8192(%rdx), %zmm10, %zmm1
2721 // CHECK: encoding: [0x62,0xf1,0xad,0x48,0xeb,0x8a,0x00,0x20,0x00,0x00]
2722 vporq 8192(%rdx), %zmm10, %zmm1
2724 // CHECK: vporq -8192(%rdx), %zmm10, %zmm1
2725 // CHECK: encoding: [0x62,0xf1,0xad,0x48,0xeb,0x4a,0x80]
2726 vporq -8192(%rdx), %zmm10, %zmm1
2728 // CHECK: vporq -8256(%rdx), %zmm10, %zmm1
2729 // CHECK: encoding: [0x62,0xf1,0xad,0x48,0xeb,0x8a,0xc0,0xdf,0xff,0xff]
2730 vporq -8256(%rdx), %zmm10, %zmm1
2732 // CHECK: vporq 1016(%rdx){1to8}, %zmm10, %zmm1
2733 // CHECK: encoding: [0x62,0xf1,0xad,0x58,0xeb,0x4a,0x7f]
2734 vporq 1016(%rdx){1to8}, %zmm10, %zmm1
2736 // CHECK: vporq 1024(%rdx){1to8}, %zmm10, %zmm1
2737 // CHECK: encoding: [0x62,0xf1,0xad,0x58,0xeb,0x8a,0x00,0x04,0x00,0x00]
2738 vporq 1024(%rdx){1to8}, %zmm10, %zmm1
2740 // CHECK: vporq -1024(%rdx){1to8}, %zmm10, %zmm1
2741 // CHECK: encoding: [0x62,0xf1,0xad,0x58,0xeb,0x4a,0x80]
2742 vporq -1024(%rdx){1to8}, %zmm10, %zmm1
2744 // CHECK: vporq -1032(%rdx){1to8}, %zmm10, %zmm1
2745 // CHECK: encoding: [0x62,0xf1,0xad,0x58,0xeb,0x8a,0xf8,0xfb,0xff,0xff]
2746 vporq -1032(%rdx){1to8}, %zmm10, %zmm1
2748 // CHECK: vpsubd %zmm7, %zmm28, %zmm7
2749 // CHECK: encoding: [0x62,0xf1,0x1d,0x40,0xfa,0xff]
2750 vpsubd %zmm7, %zmm28, %zmm7
2752 // CHECK: vpsubd %zmm7, %zmm28, %zmm7 {%k3}
2753 // CHECK: encoding: [0x62,0xf1,0x1d,0x43,0xfa,0xff]
2754 vpsubd %zmm7, %zmm28, %zmm7 {%k3}
2756 // CHECK: vpsubd %zmm7, %zmm28, %zmm7 {%k3} {z}
2757 // CHECK: encoding: [0x62,0xf1,0x1d,0xc3,0xfa,0xff]
2758 vpsubd %zmm7, %zmm28, %zmm7 {%k3} {z}
2760 // CHECK: vpsubd (%rcx), %zmm28, %zmm7
2761 // CHECK: encoding: [0x62,0xf1,0x1d,0x40,0xfa,0x39]
2762 vpsubd (%rcx), %zmm28, %zmm7
2764 // CHECK: vpsubd 291(%rax,%r14,8), %zmm28, %zmm7
2765 // CHECK: encoding: [0x62,0xb1,0x1d,0x40,0xfa,0xbc,0xf0,0x23,0x01,0x00,0x00]
2766 vpsubd 291(%rax,%r14,8), %zmm28, %zmm7
2768 // CHECK: vpsubd (%rcx){1to16}, %zmm28, %zmm7
2769 // CHECK: encoding: [0x62,0xf1,0x1d,0x50,0xfa,0x39]
2770 vpsubd (%rcx){1to16}, %zmm28, %zmm7
2772 // CHECK: vpsubd 8128(%rdx), %zmm28, %zmm7
2773 // CHECK: encoding: [0x62,0xf1,0x1d,0x40,0xfa,0x7a,0x7f]
2774 vpsubd 8128(%rdx), %zmm28, %zmm7
2776 // CHECK: vpsubd 8192(%rdx), %zmm28, %zmm7
2777 // CHECK: encoding: [0x62,0xf1,0x1d,0x40,0xfa,0xba,0x00,0x20,0x00,0x00]
2778 vpsubd 8192(%rdx), %zmm28, %zmm7
2780 // CHECK: vpsubd -8192(%rdx), %zmm28, %zmm7
2781 // CHECK: encoding: [0x62,0xf1,0x1d,0x40,0xfa,0x7a,0x80]
2782 vpsubd -8192(%rdx), %zmm28, %zmm7
2784 // CHECK: vpsubd -8256(%rdx), %zmm28, %zmm7
2785 // CHECK: encoding: [0x62,0xf1,0x1d,0x40,0xfa,0xba,0xc0,0xdf,0xff,0xff]
2786 vpsubd -8256(%rdx), %zmm28, %zmm7
2788 // CHECK: vpsubd 508(%rdx){1to16}, %zmm28, %zmm7
2789 // CHECK: encoding: [0x62,0xf1,0x1d,0x50,0xfa,0x7a,0x7f]
2790 vpsubd 508(%rdx){1to16}, %zmm28, %zmm7
2792 // CHECK: vpsubd 512(%rdx){1to16}, %zmm28, %zmm7
2793 // CHECK: encoding: [0x62,0xf1,0x1d,0x50,0xfa,0xba,0x00,0x02,0x00,0x00]
2794 vpsubd 512(%rdx){1to16}, %zmm28, %zmm7
2796 // CHECK: vpsubd -512(%rdx){1to16}, %zmm28, %zmm7
2797 // CHECK: encoding: [0x62,0xf1,0x1d,0x50,0xfa,0x7a,0x80]
2798 vpsubd -512(%rdx){1to16}, %zmm28, %zmm7
2800 // CHECK: vpsubd -516(%rdx){1to16}, %zmm28, %zmm7
2801 // CHECK: encoding: [0x62,0xf1,0x1d,0x50,0xfa,0xba,0xfc,0xfd,0xff,0xff]
2802 vpsubd -516(%rdx){1to16}, %zmm28, %zmm7
2804 // CHECK: vpsubq %zmm17, %zmm28, %zmm29
2805 // CHECK: encoding: [0x62,0x21,0x9d,0x40,0xfb,0xe9]
2806 vpsubq %zmm17, %zmm28, %zmm29
2808 // CHECK: vpsubq %zmm17, %zmm28, %zmm29 {%k2}
2809 // CHECK: encoding: [0x62,0x21,0x9d,0x42,0xfb,0xe9]
2810 vpsubq %zmm17, %zmm28, %zmm29 {%k2}
2812 // CHECK: vpsubq %zmm17, %zmm28, %zmm29 {%k2} {z}
2813 // CHECK: encoding: [0x62,0x21,0x9d,0xc2,0xfb,0xe9]
2814 vpsubq %zmm17, %zmm28, %zmm29 {%k2} {z}
2816 // CHECK: vpsubq (%rcx), %zmm28, %zmm29
2817 // CHECK: encoding: [0x62,0x61,0x9d,0x40,0xfb,0x29]
2818 vpsubq (%rcx), %zmm28, %zmm29
2820 // CHECK: vpsubq 291(%rax,%r14,8), %zmm28, %zmm29
2821 // CHECK: encoding: [0x62,0x21,0x9d,0x40,0xfb,0xac,0xf0,0x23,0x01,0x00,0x00]
2822 vpsubq 291(%rax,%r14,8), %zmm28, %zmm29
2824 // CHECK: vpsubq (%rcx){1to8}, %zmm28, %zmm29
2825 // CHECK: encoding: [0x62,0x61,0x9d,0x50,0xfb,0x29]
2826 vpsubq (%rcx){1to8}, %zmm28, %zmm29
2828 // CHECK: vpsubq 8128(%rdx), %zmm28, %zmm29
2829 // CHECK: encoding: [0x62,0x61,0x9d,0x40,0xfb,0x6a,0x7f]
2830 vpsubq 8128(%rdx), %zmm28, %zmm29
2832 // CHECK: vpsubq 8192(%rdx), %zmm28, %zmm29
2833 // CHECK: encoding: [0x62,0x61,0x9d,0x40,0xfb,0xaa,0x00,0x20,0x00,0x00]
2834 vpsubq 8192(%rdx), %zmm28, %zmm29
2836 // CHECK: vpsubq -8192(%rdx), %zmm28, %zmm29
2837 // CHECK: encoding: [0x62,0x61,0x9d,0x40,0xfb,0x6a,0x80]
2838 vpsubq -8192(%rdx), %zmm28, %zmm29
2840 // CHECK: vpsubq -8256(%rdx), %zmm28, %zmm29
2841 // CHECK: encoding: [0x62,0x61,0x9d,0x40,0xfb,0xaa,0xc0,0xdf,0xff,0xff]
2842 vpsubq -8256(%rdx), %zmm28, %zmm29
2844 // CHECK: vpsubq 1016(%rdx){1to8}, %zmm28, %zmm29
2845 // CHECK: encoding: [0x62,0x61,0x9d,0x50,0xfb,0x6a,0x7f]
2846 vpsubq 1016(%rdx){1to8}, %zmm28, %zmm29
2848 // CHECK: vpsubq 1024(%rdx){1to8}, %zmm28, %zmm29
2849 // CHECK: encoding: [0x62,0x61,0x9d,0x50,0xfb,0xaa,0x00,0x04,0x00,0x00]
2850 vpsubq 1024(%rdx){1to8}, %zmm28, %zmm29
2852 // CHECK: vpsubq -1024(%rdx){1to8}, %zmm28, %zmm29
2853 // CHECK: encoding: [0x62,0x61,0x9d,0x50,0xfb,0x6a,0x80]
2854 vpsubq -1024(%rdx){1to8}, %zmm28, %zmm29
2856 // CHECK: vpsubq -1032(%rdx){1to8}, %zmm28, %zmm29
2857 // CHECK: encoding: [0x62,0x61,0x9d,0x50,0xfb,0xaa,0xf8,0xfb,0xff,0xff]
2858 vpsubq -1032(%rdx){1to8}, %zmm28, %zmm29
2860 // CHECK: vpxord %zmm24, %zmm12, %zmm8
2861 // CHECK: encoding: [0x62,0x11,0x1d,0x48,0xef,0xc0]
2862 vpxord %zmm24, %zmm12, %zmm8
2864 // CHECK: vpxord %zmm24, %zmm12, %zmm8 {%k6}
2865 // CHECK: encoding: [0x62,0x11,0x1d,0x4e,0xef,0xc0]
2866 vpxord %zmm24, %zmm12, %zmm8 {%k6}
2868 // CHECK: vpxord %zmm24, %zmm12, %zmm8 {%k6} {z}
2869 // CHECK: encoding: [0x62,0x11,0x1d,0xce,0xef,0xc0]
2870 vpxord %zmm24, %zmm12, %zmm8 {%k6} {z}
2872 // CHECK: vpxord (%rcx), %zmm12, %zmm8
2873 // CHECK: encoding: [0x62,0x71,0x1d,0x48,0xef,0x01]
2874 vpxord (%rcx), %zmm12, %zmm8
2876 // CHECK: vpxord 291(%rax,%r14,8), %zmm12, %zmm8
2877 // CHECK: encoding: [0x62,0x31,0x1d,0x48,0xef,0x84,0xf0,0x23,0x01,0x00,0x00]
2878 vpxord 291(%rax,%r14,8), %zmm12, %zmm8
2880 // CHECK: vpxord (%rcx){1to16}, %zmm12, %zmm8
2881 // CHECK: encoding: [0x62,0x71,0x1d,0x58,0xef,0x01]
2882 vpxord (%rcx){1to16}, %zmm12, %zmm8
2884 // CHECK: vpxord 8128(%rdx), %zmm12, %zmm8
2885 // CHECK: encoding: [0x62,0x71,0x1d,0x48,0xef,0x42,0x7f]
2886 vpxord 8128(%rdx), %zmm12, %zmm8
2888 // CHECK: vpxord 8192(%rdx), %zmm12, %zmm8
2889 // CHECK: encoding: [0x62,0x71,0x1d,0x48,0xef,0x82,0x00,0x20,0x00,0x00]
2890 vpxord 8192(%rdx), %zmm12, %zmm8
2892 // CHECK: vpxord -8192(%rdx), %zmm12, %zmm8
2893 // CHECK: encoding: [0x62,0x71,0x1d,0x48,0xef,0x42,0x80]
2894 vpxord -8192(%rdx), %zmm12, %zmm8
2896 // CHECK: vpxord -8256(%rdx), %zmm12, %zmm8
2897 // CHECK: encoding: [0x62,0x71,0x1d,0x48,0xef,0x82,0xc0,0xdf,0xff,0xff]
2898 vpxord -8256(%rdx), %zmm12, %zmm8
2900 // CHECK: vpxord 508(%rdx){1to16}, %zmm12, %zmm8
2901 // CHECK: encoding: [0x62,0x71,0x1d,0x58,0xef,0x42,0x7f]
2902 vpxord 508(%rdx){1to16}, %zmm12, %zmm8
2904 // CHECK: vpxord 512(%rdx){1to16}, %zmm12, %zmm8
2905 // CHECK: encoding: [0x62,0x71,0x1d,0x58,0xef,0x82,0x00,0x02,0x00,0x00]
2906 vpxord 512(%rdx){1to16}, %zmm12, %zmm8
2908 // CHECK: vpxord -512(%rdx){1to16}, %zmm12, %zmm8
2909 // CHECK: encoding: [0x62,0x71,0x1d,0x58,0xef,0x42,0x80]
2910 vpxord -512(%rdx){1to16}, %zmm12, %zmm8
2912 // CHECK: vpxord -516(%rdx){1to16}, %zmm12, %zmm8
2913 // CHECK: encoding: [0x62,0x71,0x1d,0x58,0xef,0x82,0xfc,0xfd,0xff,0xff]
2914 vpxord -516(%rdx){1to16}, %zmm12, %zmm8
2916 // CHECK: vpxorq %zmm10, %zmm22, %zmm7
2917 // CHECK: encoding: [0x62,0xd1,0xcd,0x40,0xef,0xfa]
2918 vpxorq %zmm10, %zmm22, %zmm7
2920 // CHECK: vpxorq %zmm10, %zmm22, %zmm7 {%k6}
2921 // CHECK: encoding: [0x62,0xd1,0xcd,0x46,0xef,0xfa]
2922 vpxorq %zmm10, %zmm22, %zmm7 {%k6}
2924 // CHECK: vpxorq %zmm10, %zmm22, %zmm7 {%k6} {z}
2925 // CHECK: encoding: [0x62,0xd1,0xcd,0xc6,0xef,0xfa]
2926 vpxorq %zmm10, %zmm22, %zmm7 {%k6} {z}
2928 // CHECK: vpxorq (%rcx), %zmm22, %zmm7
2929 // CHECK: encoding: [0x62,0xf1,0xcd,0x40,0xef,0x39]
2930 vpxorq (%rcx), %zmm22, %zmm7
2932 // CHECK: vpxorq 291(%rax,%r14,8), %zmm22, %zmm7
2933 // CHECK: encoding: [0x62,0xb1,0xcd,0x40,0xef,0xbc,0xf0,0x23,0x01,0x00,0x00]
2934 vpxorq 291(%rax,%r14,8), %zmm22, %zmm7
2936 // CHECK: vpxorq (%rcx){1to8}, %zmm22, %zmm7
2937 // CHECK: encoding: [0x62,0xf1,0xcd,0x50,0xef,0x39]
2938 vpxorq (%rcx){1to8}, %zmm22, %zmm7
2940 // CHECK: vpxorq 8128(%rdx), %zmm22, %zmm7
2941 // CHECK: encoding: [0x62,0xf1,0xcd,0x40,0xef,0x7a,0x7f]
2942 vpxorq 8128(%rdx), %zmm22, %zmm7
2944 // CHECK: vpxorq 8192(%rdx), %zmm22, %zmm7
2945 // CHECK: encoding: [0x62,0xf1,0xcd,0x40,0xef,0xba,0x00,0x20,0x00,0x00]
2946 vpxorq 8192(%rdx), %zmm22, %zmm7
2948 // CHECK: vpxorq -8192(%rdx), %zmm22, %zmm7
2949 // CHECK: encoding: [0x62,0xf1,0xcd,0x40,0xef,0x7a,0x80]
2950 vpxorq -8192(%rdx), %zmm22, %zmm7
2952 // CHECK: vpxorq -8256(%rdx), %zmm22, %zmm7
2953 // CHECK: encoding: [0x62,0xf1,0xcd,0x40,0xef,0xba,0xc0,0xdf,0xff,0xff]
2954 vpxorq -8256(%rdx), %zmm22, %zmm7
2956 // CHECK: vpxorq 1016(%rdx){1to8}, %zmm22, %zmm7
2957 // CHECK: encoding: [0x62,0xf1,0xcd,0x50,0xef,0x7a,0x7f]
2958 vpxorq 1016(%rdx){1to8}, %zmm22, %zmm7
2960 // CHECK: vpxorq 1024(%rdx){1to8}, %zmm22, %zmm7
2961 // CHECK: encoding: [0x62,0xf1,0xcd,0x50,0xef,0xba,0x00,0x04,0x00,0x00]
2962 vpxorq 1024(%rdx){1to8}, %zmm22, %zmm7
2964 // CHECK: vpxorq -1024(%rdx){1to8}, %zmm22, %zmm7
2965 // CHECK: encoding: [0x62,0xf1,0xcd,0x50,0xef,0x7a,0x80]
2966 vpxorq -1024(%rdx){1to8}, %zmm22, %zmm7
2968 // CHECK: vpxorq -1032(%rdx){1to8}, %zmm22, %zmm7
2969 // CHECK: encoding: [0x62,0xf1,0xcd,0x50,0xef,0xba,0xf8,0xfb,0xff,0xff]
2970 vpxorq -1032(%rdx){1to8}, %zmm22, %zmm7
2972 // CHECK: vsubpd %zmm9, %zmm12, %zmm9
2973 // CHECK: encoding: [0x62,0x51,0x9d,0x48,0x5c,0xc9]
2974 vsubpd %zmm9, %zmm12, %zmm9
2976 // CHECK: vsubpd %zmm9, %zmm12, %zmm9 {%k7}
2977 // CHECK: encoding: [0x62,0x51,0x9d,0x4f,0x5c,0xc9]
2978 vsubpd %zmm9, %zmm12, %zmm9 {%k7}
2980 // CHECK: vsubpd %zmm9, %zmm12, %zmm9 {%k7} {z}
2981 // CHECK: encoding: [0x62,0x51,0x9d,0xcf,0x5c,0xc9]
2982 vsubpd %zmm9, %zmm12, %zmm9 {%k7} {z}
2984 // CHECK: vsubpd (%rcx), %zmm12, %zmm9
2985 // CHECK: encoding: [0x62,0x71,0x9d,0x48,0x5c,0x09]
2986 vsubpd (%rcx), %zmm12, %zmm9
2988 // CHECK: vsubpd 291(%rax,%r14,8), %zmm12, %zmm9
2989 // CHECK: encoding: [0x62,0x31,0x9d,0x48,0x5c,0x8c,0xf0,0x23,0x01,0x00,0x00]
2990 vsubpd 291(%rax,%r14,8), %zmm12, %zmm9
2992 // CHECK: vsubpd (%rcx){1to8}, %zmm12, %zmm9
2993 // CHECK: encoding: [0x62,0x71,0x9d,0x58,0x5c,0x09]
2994 vsubpd (%rcx){1to8}, %zmm12, %zmm9
2996 // CHECK: vsubpd 8128(%rdx), %zmm12, %zmm9
2997 // CHECK: encoding: [0x62,0x71,0x9d,0x48,0x5c,0x4a,0x7f]
2998 vsubpd 8128(%rdx), %zmm12, %zmm9
3000 // CHECK: vsubpd 8192(%rdx), %zmm12, %zmm9
3001 // CHECK: encoding: [0x62,0x71,0x9d,0x48,0x5c,0x8a,0x00,0x20,0x00,0x00]
3002 vsubpd 8192(%rdx), %zmm12, %zmm9
3004 // CHECK: vsubpd -8192(%rdx), %zmm12, %zmm9
3005 // CHECK: encoding: [0x62,0x71,0x9d,0x48,0x5c,0x4a,0x80]
3006 vsubpd -8192(%rdx), %zmm12, %zmm9
3008 // CHECK: vsubpd -8256(%rdx), %zmm12, %zmm9
3009 // CHECK: encoding: [0x62,0x71,0x9d,0x48,0x5c,0x8a,0xc0,0xdf,0xff,0xff]
3010 vsubpd -8256(%rdx), %zmm12, %zmm9
3012 // CHECK: vsubpd 1016(%rdx){1to8}, %zmm12, %zmm9
3013 // CHECK: encoding: [0x62,0x71,0x9d,0x58,0x5c,0x4a,0x7f]
3014 vsubpd 1016(%rdx){1to8}, %zmm12, %zmm9
3016 // CHECK: vsubpd 1024(%rdx){1to8}, %zmm12, %zmm9
3017 // CHECK: encoding: [0x62,0x71,0x9d,0x58,0x5c,0x8a,0x00,0x04,0x00,0x00]
3018 vsubpd 1024(%rdx){1to8}, %zmm12, %zmm9
3020 // CHECK: vsubpd -1024(%rdx){1to8}, %zmm12, %zmm9
3021 // CHECK: encoding: [0x62,0x71,0x9d,0x58,0x5c,0x4a,0x80]
3022 vsubpd -1024(%rdx){1to8}, %zmm12, %zmm9
3024 // CHECK: vsubpd -1032(%rdx){1to8}, %zmm12, %zmm9
3025 // CHECK: encoding: [0x62,0x71,0x9d,0x58,0x5c,0x8a,0xf8,0xfb,0xff,0xff]
3026 vsubpd -1032(%rdx){1to8}, %zmm12, %zmm9
3028 // CHECK: vsubps %zmm21, %zmm27, %zmm14
3029 // CHECK: encoding: [0x62,0x31,0x24,0x40,0x5c,0xf5]
3030 vsubps %zmm21, %zmm27, %zmm14
3032 // CHECK: vsubps %zmm21, %zmm27, %zmm14 {%k5}
3033 // CHECK: encoding: [0x62,0x31,0x24,0x45,0x5c,0xf5]
3034 vsubps %zmm21, %zmm27, %zmm14 {%k5}
3036 // CHECK: vsubps %zmm21, %zmm27, %zmm14 {%k5} {z}
3037 // CHECK: encoding: [0x62,0x31,0x24,0xc5,0x5c,0xf5]
3038 vsubps %zmm21, %zmm27, %zmm14 {%k5} {z}
3040 // CHECK: vsubps (%rcx), %zmm27, %zmm14
3041 // CHECK: encoding: [0x62,0x71,0x24,0x40,0x5c,0x31]
3042 vsubps (%rcx), %zmm27, %zmm14
3044 // CHECK: vsubps 291(%rax,%r14,8), %zmm27, %zmm14
3045 // CHECK: encoding: [0x62,0x31,0x24,0x40,0x5c,0xb4,0xf0,0x23,0x01,0x00,0x00]
3046 vsubps 291(%rax,%r14,8), %zmm27, %zmm14
3048 // CHECK: vsubps (%rcx){1to16}, %zmm27, %zmm14
3049 // CHECK: encoding: [0x62,0x71,0x24,0x50,0x5c,0x31]
3050 vsubps (%rcx){1to16}, %zmm27, %zmm14
3052 // CHECK: vsubps 8128(%rdx), %zmm27, %zmm14
3053 // CHECK: encoding: [0x62,0x71,0x24,0x40,0x5c,0x72,0x7f]
3054 vsubps 8128(%rdx), %zmm27, %zmm14
3056 // CHECK: vsubps 8192(%rdx), %zmm27, %zmm14
3057 // CHECK: encoding: [0x62,0x71,0x24,0x40,0x5c,0xb2,0x00,0x20,0x00,0x00]
3058 vsubps 8192(%rdx), %zmm27, %zmm14
3060 // CHECK: vsubps -8192(%rdx), %zmm27, %zmm14
3061 // CHECK: encoding: [0x62,0x71,0x24,0x40,0x5c,0x72,0x80]
3062 vsubps -8192(%rdx), %zmm27, %zmm14
3064 // CHECK: vsubps -8256(%rdx), %zmm27, %zmm14
3065 // CHECK: encoding: [0x62,0x71,0x24,0x40,0x5c,0xb2,0xc0,0xdf,0xff,0xff]
3066 vsubps -8256(%rdx), %zmm27, %zmm14
3068 // CHECK: vsubps 508(%rdx){1to16}, %zmm27, %zmm14
3069 // CHECK: encoding: [0x62,0x71,0x24,0x50,0x5c,0x72,0x7f]
3070 vsubps 508(%rdx){1to16}, %zmm27, %zmm14
3072 // CHECK: vsubps 512(%rdx){1to16}, %zmm27, %zmm14
3073 // CHECK: encoding: [0x62,0x71,0x24,0x50,0x5c,0xb2,0x00,0x02,0x00,0x00]
3074 vsubps 512(%rdx){1to16}, %zmm27, %zmm14
3076 // CHECK: vsubps -512(%rdx){1to16}, %zmm27, %zmm14
3077 // CHECK: encoding: [0x62,0x71,0x24,0x50,0x5c,0x72,0x80]
3078 vsubps -512(%rdx){1to16}, %zmm27, %zmm14
3080 // CHECK: vsubps -516(%rdx){1to16}, %zmm27, %zmm14
3081 // CHECK: encoding: [0x62,0x71,0x24,0x50,0x5c,0xb2,0xfc,0xfd,0xff,0xff]
3082 vsubps -516(%rdx){1to16}, %zmm27, %zmm14
3084 // CHECK: kandw %k6, %k5, %k2
3085 // CHECK: encoding: [0xc5,0xd4,0x41,0xd6]
3088 // CHECK: kandnw %k7, %k6, %k4
3089 // CHECK: encoding: [0xc5,0xcc,0x42,0xe7]
3090 kandnw %k7, %k6, %k4
3092 // CHECK: korw %k7, %k6, %k4
3093 // CHECK: encoding: [0xc5,0xcc,0x45,0xe7]
3096 // CHECK: kxnorw %k5, %k5, %k3
3097 // CHECK: encoding: [0xc5,0xd4,0x46,0xdd]
3098 kxnorw %k5, %k5, %k3
3100 // CHECK: kxorw %k7, %k6, %k2
3101 // CHECK: encoding: [0xc5,0xcc,0x47,0xd7]
3104 // CHECK: knotw %k6, %k3
3105 // CHECK: encoding: [0xc5,0xf8,0x44,0xde]
3108 // CHECK: kmovw %k5, %k4
3109 // CHECK: encoding: [0xc5,0xf8,0x90,0xe5]
3112 // CHECK: kmovw (%rcx), %k4
3113 // CHECK: encoding: [0xc5,0xf8,0x90,0x21]
3116 // CHECK: kmovw 291(%rax,%r14,8), %k4
3117 // CHECK: encoding: [0xc4,0xa1,0x78,0x90,0xa4,0xf0,0x23,0x01,0x00,0x00]
3118 kmovw 291(%rax,%r14,8), %k4
3120 // CHECK: kmovw %k4, (%rcx)
3121 // CHECK: encoding: [0xc5,0xf8,0x91,0x21]
3124 // CHECK: kmovw %k4, 291(%rax,%r14,8)
3125 // CHECK: encoding: [0xc4,0xa1,0x78,0x91,0xa4,0xf0,0x23,0x01,0x00,0x00]
3126 kmovw %k4, 291(%rax,%r14,8)
3128 // CHECK: kmovw %eax, %k3
3129 // CHECK: encoding: [0xc5,0xf8,0x92,0xd8]
3132 // CHECK: kmovw %ebp, %k3
3133 // CHECK: encoding: [0xc5,0xf8,0x92,0xdd]
3136 // CHECK: kmovw %r13d, %k3
3137 // CHECK: encoding: [0xc4,0xc1,0x78,0x92,0xdd]
3140 // CHECK: kmovw %k2, %eax
3141 // CHECK: encoding: [0xc5,0xf8,0x93,0xc2]
3144 // CHECK: kmovw %k2, %ebp
3145 // CHECK: encoding: [0xc5,0xf8,0x93,0xea]
3148 // CHECK: kmovw %k2, %r13d
3149 // CHECK: encoding: [0xc5,0x78,0x93,0xea]
3152 // CHECK: vmovapd %zmm18, (%rcx)
3153 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x29,0x11]
3154 vmovapd %zmm18, (%rcx)
3156 // CHECK: vmovapd %zmm18, (%rcx) {%k6}
3157 // CHECK: encoding: [0x62,0xe1,0xfd,0x4e,0x29,0x11]
3158 vmovapd %zmm18, (%rcx) {%k6}
3160 // CHECK: vmovapd %zmm18, 291(%rax,%r14,8)
3161 // CHECK: encoding: [0x62,0xa1,0xfd,0x48,0x29,0x94,0xf0,0x23,0x01,0x00,0x00]
3162 vmovapd %zmm18, 291(%rax,%r14,8)
3164 // CHECK: vmovapd %zmm18, 8128(%rdx)
3165 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x29,0x52,0x7f]
3166 vmovapd %zmm18, 8128(%rdx)
3168 // CHECK: vmovapd %zmm18, 8192(%rdx)
3169 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x29,0x92,0x00,0x20,0x00,0x00]
3170 vmovapd %zmm18, 8192(%rdx)
3172 // CHECK: vmovapd %zmm18, -8192(%rdx)
3173 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x29,0x52,0x80]
3174 vmovapd %zmm18, -8192(%rdx)
3176 // CHECK: vmovapd %zmm18, -8256(%rdx)
3177 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x29,0x92,0xc0,0xdf,0xff,0xff]
3178 vmovapd %zmm18, -8256(%rdx)
3180 // CHECK: vmovaps %zmm9, (%rcx)
3181 // CHECK: encoding: [0x62,0x71,0x7c,0x48,0x29,0x09]
3182 vmovaps %zmm9, (%rcx)
3184 // CHECK: vmovaps %zmm9, (%rcx) {%k3}
3185 // CHECK: encoding: [0x62,0x71,0x7c,0x4b,0x29,0x09]
3186 vmovaps %zmm9, (%rcx) {%k3}
3188 // CHECK: vmovaps %zmm9, 291(%rax,%r14,8)
3189 // CHECK: encoding: [0x62,0x31,0x7c,0x48,0x29,0x8c,0xf0,0x23,0x01,0x00,0x00]
3190 vmovaps %zmm9, 291(%rax,%r14,8)
3192 // CHECK: vmovaps %zmm9, 8128(%rdx)
3193 // CHECK: encoding: [0x62,0x71,0x7c,0x48,0x29,0x4a,0x7f]
3194 vmovaps %zmm9, 8128(%rdx)
3196 // CHECK: vmovaps %zmm9, 8192(%rdx)
3197 // CHECK: encoding: [0x62,0x71,0x7c,0x48,0x29,0x8a,0x00,0x20,0x00,0x00]
3198 vmovaps %zmm9, 8192(%rdx)
3200 // CHECK: vmovaps %zmm9, -8192(%rdx)
3201 // CHECK: encoding: [0x62,0x71,0x7c,0x48,0x29,0x4a,0x80]
3202 vmovaps %zmm9, -8192(%rdx)
3204 // CHECK: vmovaps %zmm9, -8256(%rdx)
3205 // CHECK: encoding: [0x62,0x71,0x7c,0x48,0x29,0x8a,0xc0,0xdf,0xff,0xff]
3206 vmovaps %zmm9, -8256(%rdx)
3208 // CHECK: vmovdqa32 %zmm18, (%rcx)
3209 // CHECK: encoding: [0x62,0xe1,0x7d,0x48,0x7f,0x11]
3210 vmovdqa32 %zmm18, (%rcx)
3212 // CHECK: vmovdqa32 %zmm18, (%rcx) {%k4}
3213 // CHECK: encoding: [0x62,0xe1,0x7d,0x4c,0x7f,0x11]
3214 vmovdqa32 %zmm18, (%rcx) {%k4}
3216 // CHECK: vmovdqa32 %zmm18, 291(%rax,%r14,8)
3217 // CHECK: encoding: [0x62,0xa1,0x7d,0x48,0x7f,0x94,0xf0,0x23,0x01,0x00,0x00]
3218 vmovdqa32 %zmm18, 291(%rax,%r14,8)
3220 // CHECK: vmovdqa32 %zmm18, 8128(%rdx)
3221 // CHECK: encoding: [0x62,0xe1,0x7d,0x48,0x7f,0x52,0x7f]
3222 vmovdqa32 %zmm18, 8128(%rdx)
3224 // CHECK: vmovdqa32 %zmm18, 8192(%rdx)
3225 // CHECK: encoding: [0x62,0xe1,0x7d,0x48,0x7f,0x92,0x00,0x20,0x00,0x00]
3226 vmovdqa32 %zmm18, 8192(%rdx)
3228 // CHECK: vmovdqa32 %zmm18, -8192(%rdx)
3229 // CHECK: encoding: [0x62,0xe1,0x7d,0x48,0x7f,0x52,0x80]
3230 vmovdqa32 %zmm18, -8192(%rdx)
3232 // CHECK: vmovdqa32 %zmm18, -8256(%rdx)
3233 // CHECK: encoding: [0x62,0xe1,0x7d,0x48,0x7f,0x92,0xc0,0xdf,0xff,0xff]
3234 vmovdqa32 %zmm18, -8256(%rdx)
3236 // CHECK: vmovdqa64 %zmm19, (%rcx)
3237 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x7f,0x19]
3238 vmovdqa64 %zmm19, (%rcx)
3240 // CHECK: vmovdqa64 %zmm19, (%rcx) {%k5}
3241 // CHECK: encoding: [0x62,0xe1,0xfd,0x4d,0x7f,0x19]
3242 vmovdqa64 %zmm19, (%rcx) {%k5}
3244 // CHECK: vmovdqa64 %zmm19, 291(%rax,%r14,8)
3245 // CHECK: encoding: [0x62,0xa1,0xfd,0x48,0x7f,0x9c,0xf0,0x23,0x01,0x00,0x00]
3246 vmovdqa64 %zmm19, 291(%rax,%r14,8)
3248 // CHECK: vmovdqa64 %zmm19, 8128(%rdx)
3249 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x7f,0x5a,0x7f]
3250 vmovdqa64 %zmm19, 8128(%rdx)
3252 // CHECK: vmovdqa64 %zmm19, 8192(%rdx)
3253 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x7f,0x9a,0x00,0x20,0x00,0x00]
3254 vmovdqa64 %zmm19, 8192(%rdx)
3256 // CHECK: vmovdqa64 %zmm19, -8192(%rdx)
3257 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x7f,0x5a,0x80]
3258 vmovdqa64 %zmm19, -8192(%rdx)
3260 // CHECK: vmovdqa64 %zmm19, -8256(%rdx)
3261 // CHECK: encoding: [0x62,0xe1,0xfd,0x48,0x7f,0x9a,0xc0,0xdf,0xff,0xff]
3262 vmovdqa64 %zmm19, -8256(%rdx)
3264 // CHECK: vmovdqu32 %zmm22, (%rcx)
3265 // CHECK: encoding: [0x62,0xe1,0x7e,0x48,0x7f,0x31]
3266 vmovdqu32 %zmm22, (%rcx)
3268 // CHECK: vmovdqu32 %zmm22, (%rcx) {%k1}
3269 // CHECK: encoding: [0x62,0xe1,0x7e,0x49,0x7f,0x31]
3270 vmovdqu32 %zmm22, (%rcx) {%k1}
3272 // CHECK: vmovdqu32 %zmm22, 291(%rax,%r14,8)
3273 // CHECK: encoding: [0x62,0xa1,0x7e,0x48,0x7f,0xb4,0xf0,0x23,0x01,0x00,0x00]
3274 vmovdqu32 %zmm22, 291(%rax,%r14,8)
3276 // CHECK: vmovdqu32 %zmm22, 8128(%rdx)
3277 // CHECK: encoding: [0x62,0xe1,0x7e,0x48,0x7f,0x72,0x7f]
3278 vmovdqu32 %zmm22, 8128(%rdx)
3280 // CHECK: vmovdqu32 %zmm22, 8192(%rdx)
3281 // CHECK: encoding: [0x62,0xe1,0x7e,0x48,0x7f,0xb2,0x00,0x20,0x00,0x00]
3282 vmovdqu32 %zmm22, 8192(%rdx)
3284 // CHECK: vmovdqu32 %zmm22, -8192(%rdx)
3285 // CHECK: encoding: [0x62,0xe1,0x7e,0x48,0x7f,0x72,0x80]
3286 vmovdqu32 %zmm22, -8192(%rdx)
3288 // CHECK: vmovdqu32 %zmm22, -8256(%rdx)
3289 // CHECK: encoding: [0x62,0xe1,0x7e,0x48,0x7f,0xb2,0xc0,0xdf,0xff,0xff]
3290 vmovdqu32 %zmm22, -8256(%rdx)
3292 // CHECK: vmovdqu64 %zmm24, (%rcx)
3293 // CHECK: encoding: [0x62,0x61,0xfe,0x48,0x7f,0x01]
3294 vmovdqu64 %zmm24, (%rcx)
3296 // CHECK: vmovdqu64 %zmm24, (%rcx) {%k5}
3297 // CHECK: encoding: [0x62,0x61,0xfe,0x4d,0x7f,0x01]
3298 vmovdqu64 %zmm24, (%rcx) {%k5}
3300 // CHECK: vmovdqu64 %zmm24, 291(%rax,%r14,8)
3301 // CHECK: encoding: [0x62,0x21,0xfe,0x48,0x7f,0x84,0xf0,0x23,0x01,0x00,0x00]
3302 vmovdqu64 %zmm24, 291(%rax,%r14,8)
3304 // CHECK: vmovdqu64 %zmm24, 8128(%rdx)
3305 // CHECK: encoding: [0x62,0x61,0xfe,0x48,0x7f,0x42,0x7f]
3306 vmovdqu64 %zmm24, 8128(%rdx)
3308 // CHECK: vmovdqu64 %zmm24, 8192(%rdx)
3309 // CHECK: encoding: [0x62,0x61,0xfe,0x48,0x7f,0x82,0x00,0x20,0x00,0x00]
3310 vmovdqu64 %zmm24, 8192(%rdx)
3312 // CHECK: vmovdqu64 %zmm24, -8192(%rdx)
3313 // CHECK: encoding: [0x62,0x61,0xfe,0x48,0x7f,0x42,0x80]
3314 vmovdqu64 %zmm24, -8192(%rdx)
3316 // CHECK: vmovdqu64 %zmm24, -8256(%rdx)
3317 // CHECK: encoding: [0x62,0x61,0xfe,0x48,0x7f,0x82,0xc0,0xdf,0xff,0xff]
3318 vmovdqu64 %zmm24, -8256(%rdx)
3320 // CHECK: vmovupd %zmm10, (%rcx)
3321 // CHECK: encoding: [0x62,0x71,0xfd,0x48,0x11,0x11]
3322 vmovupd %zmm10, (%rcx)
3324 // CHECK: vmovupd %zmm10, (%rcx) {%k7}
3325 // CHECK: encoding: [0x62,0x71,0xfd,0x4f,0x11,0x11]
3326 vmovupd %zmm10, (%rcx) {%k7}
3328 // CHECK: vmovupd %zmm10, 291(%rax,%r14,8)
3329 // CHECK: encoding: [0x62,0x31,0xfd,0x48,0x11,0x94,0xf0,0x23,0x01,0x00,0x00]
3330 vmovupd %zmm10, 291(%rax,%r14,8)
3332 // CHECK: vmovupd %zmm10, 8128(%rdx)
3333 // CHECK: encoding: [0x62,0x71,0xfd,0x48,0x11,0x52,0x7f]
3334 vmovupd %zmm10, 8128(%rdx)
3336 // CHECK: vmovupd %zmm10, 8192(%rdx)
3337 // CHECK: encoding: [0x62,0x71,0xfd,0x48,0x11,0x92,0x00,0x20,0x00,0x00]
3338 vmovupd %zmm10, 8192(%rdx)
3340 // CHECK: vmovupd %zmm10, -8192(%rdx)
3341 // CHECK: encoding: [0x62,0x71,0xfd,0x48,0x11,0x52,0x80]
3342 vmovupd %zmm10, -8192(%rdx)
3344 // CHECK: vmovupd %zmm10, -8256(%rdx)
3345 // CHECK: encoding: [0x62,0x71,0xfd,0x48,0x11,0x92,0xc0,0xdf,0xff,0xff]
3346 vmovupd %zmm10, -8256(%rdx)
3348 // CHECK: vmovups %zmm24, (%rcx)
3349 // CHECK: encoding: [0x62,0x61,0x7c,0x48,0x11,0x01]
3350 vmovups %zmm24, (%rcx)
3352 // CHECK: vmovups %zmm24, (%rcx) {%k7}
3353 // CHECK: encoding: [0x62,0x61,0x7c,0x4f,0x11,0x01]
3354 vmovups %zmm24, (%rcx) {%k7}
3356 // CHECK: vmovups %zmm24, 291(%rax,%r14,8)
3357 // CHECK: encoding: [0x62,0x21,0x7c,0x48,0x11,0x84,0xf0,0x23,0x01,0x00,0x00]
3358 vmovups %zmm24, 291(%rax,%r14,8)
3360 // CHECK: vmovups %zmm24, 8128(%rdx)
3361 // CHECK: encoding: [0x62,0x61,0x7c,0x48,0x11,0x42,0x7f]
3362 vmovups %zmm24, 8128(%rdx)
3364 // CHECK: vmovups %zmm24, 8192(%rdx)
3365 // CHECK: encoding: [0x62,0x61,0x7c,0x48,0x11,0x82,0x00,0x20,0x00,0x00]
3366 vmovups %zmm24, 8192(%rdx)
3368 // CHECK: vmovups %zmm24, -8192(%rdx)
3369 // CHECK: encoding: [0x62,0x61,0x7c,0x48,0x11,0x42,0x80]
3370 vmovups %zmm24, -8192(%rdx)
3372 // CHECK: vmovups %zmm24, -8256(%rdx)
3373 // CHECK: encoding: [0x62,0x61,0x7c,0x48,0x11,0x82,0xc0,0xdf,0xff,0xff]
3374 vmovups %zmm24, -8256(%rdx)
3376 // CHECK: vpmovqb %zmm2, %xmm3
3377 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x32,0xd3]
3378 vpmovqb %zmm2, %xmm3
3380 // CHECK: vpmovqb %zmm2, %xmm3 {%k1}
3381 // CHECK: encoding: [0x62,0xf2,0x7e,0x49,0x32,0xd3]
3382 vpmovqb %zmm2, %xmm3 {%k1}
3384 // CHECK: vpmovqb %zmm2, %xmm3 {%k1} {z}
3385 // CHECK: encoding: [0x62,0xf2,0x7e,0xc9,0x32,0xd3]
3386 vpmovqb %zmm2, %xmm3 {%k1} {z}
3388 // CHECK: vpmovsqb %zmm29, %xmm30
3389 // CHECK: encoding: [0x62,0x02,0x7e,0x48,0x22,0xee]
3390 vpmovsqb %zmm29, %xmm30
3392 // CHECK: vpmovsqb %zmm29, %xmm30 {%k5}
3393 // CHECK: encoding: [0x62,0x02,0x7e,0x4d,0x22,0xee]
3394 vpmovsqb %zmm29, %xmm30 {%k5}
3396 // CHECK: vpmovsqb %zmm29, %xmm30 {%k5} {z}
3397 // CHECK: encoding: [0x62,0x02,0x7e,0xcd,0x22,0xee]
3398 vpmovsqb %zmm29, %xmm30 {%k5} {z}
3400 // CHECK: vpmovusqb %zmm28, %xmm24
3401 // CHECK: encoding: [0x62,0x02,0x7e,0x48,0x12,0xe0]
3402 vpmovusqb %zmm28, %xmm24
3404 // CHECK: vpmovusqb %zmm28, %xmm24 {%k7}
3405 // CHECK: encoding: [0x62,0x02,0x7e,0x4f,0x12,0xe0]
3406 vpmovusqb %zmm28, %xmm24 {%k7}
3408 // CHECK: vpmovusqb %zmm28, %xmm24 {%k7} {z}
3409 // CHECK: encoding: [0x62,0x02,0x7e,0xcf,0x12,0xe0]
3410 vpmovusqb %zmm28, %xmm24 {%k7} {z}
3412 // CHECK: vpmovqw %zmm18, %xmm6
3413 // CHECK: encoding: [0x62,0xe2,0x7e,0x48,0x34,0xd6]
3414 vpmovqw %zmm18, %xmm6
3416 // CHECK: vpmovqw %zmm18, %xmm6 {%k1}
3417 // CHECK: encoding: [0x62,0xe2,0x7e,0x49,0x34,0xd6]
3418 vpmovqw %zmm18, %xmm6 {%k1}
3420 // CHECK: vpmovqw %zmm18, %xmm6 {%k1} {z}
3421 // CHECK: encoding: [0x62,0xe2,0x7e,0xc9,0x34,0xd6]
3422 vpmovqw %zmm18, %xmm6 {%k1} {z}
3424 // CHECK: vpmovsqw %zmm19, %xmm27
3425 // CHECK: encoding: [0x62,0x82,0x7e,0x48,0x24,0xdb]
3426 vpmovsqw %zmm19, %xmm27
3428 // CHECK: vpmovsqw %zmm19, %xmm27 {%k6}
3429 // CHECK: encoding: [0x62,0x82,0x7e,0x4e,0x24,0xdb]
3430 vpmovsqw %zmm19, %xmm27 {%k6}
3432 // CHECK: vpmovsqw %zmm19, %xmm27 {%k6} {z}
3433 // CHECK: encoding: [0x62,0x82,0x7e,0xce,0x24,0xdb]
3434 vpmovsqw %zmm19, %xmm27 {%k6} {z}
3436 // CHECK: vpmovusqw %zmm10, %xmm28
3437 // CHECK: encoding: [0x62,0x12,0x7e,0x48,0x14,0xd4]
3438 vpmovusqw %zmm10, %xmm28
3440 // CHECK: vpmovusqw %zmm10, %xmm28 {%k7}
3441 // CHECK: encoding: [0x62,0x12,0x7e,0x4f,0x14,0xd4]
3442 vpmovusqw %zmm10, %xmm28 {%k7}
3444 // CHECK: vpmovusqw %zmm10, %xmm28 {%k7} {z}
3445 // CHECK: encoding: [0x62,0x12,0x7e,0xcf,0x14,0xd4]
3446 vpmovusqw %zmm10, %xmm28 {%k7} {z}
3448 // CHECK: vpmovqd %zmm25, %ymm6
3449 // CHECK: encoding: [0x62,0x62,0x7e,0x48,0x35,0xce]
3450 vpmovqd %zmm25, %ymm6
3452 // CHECK: vpmovqd %zmm25, %ymm6 {%k5}
3453 // CHECK: encoding: [0x62,0x62,0x7e,0x4d,0x35,0xce]
3454 vpmovqd %zmm25, %ymm6 {%k5}
3456 // CHECK: vpmovqd %zmm25, %ymm6 {%k5} {z}
3457 // CHECK: encoding: [0x62,0x62,0x7e,0xcd,0x35,0xce]
3458 vpmovqd %zmm25, %ymm6 {%k5} {z}
3460 // CHECK: vpmovsqd %zmm2, %ymm15
3461 // CHECK: encoding: [0x62,0xd2,0x7e,0x48,0x25,0xd7]
3462 vpmovsqd %zmm2, %ymm15
3464 // CHECK: vpmovsqd %zmm2, %ymm15 {%k2}
3465 // CHECK: encoding: [0x62,0xd2,0x7e,0x4a,0x25,0xd7]
3466 vpmovsqd %zmm2, %ymm15 {%k2}
3468 // CHECK: vpmovsqd %zmm2, %ymm15 {%k2} {z}
3469 // CHECK: encoding: [0x62,0xd2,0x7e,0xca,0x25,0xd7]
3470 vpmovsqd %zmm2, %ymm15 {%k2} {z}
3472 // CHECK: vpmovusqd %zmm4, %ymm8
3473 // CHECK: encoding: [0x62,0xd2,0x7e,0x48,0x15,0xe0]
3474 vpmovusqd %zmm4, %ymm8
3476 // CHECK: vpmovusqd %zmm4, %ymm8 {%k4}
3477 // CHECK: encoding: [0x62,0xd2,0x7e,0x4c,0x15,0xe0]
3478 vpmovusqd %zmm4, %ymm8 {%k4}
3480 // CHECK: vpmovusqd %zmm4, %ymm8 {%k4} {z}
3481 // CHECK: encoding: [0x62,0xd2,0x7e,0xcc,0x15,0xe0]
3482 vpmovusqd %zmm4, %ymm8 {%k4} {z}
3484 // CHECK: vpmovdb %zmm5, %xmm2
3485 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x31,0xea]
3486 vpmovdb %zmm5, %xmm2
3488 // CHECK: vpmovdb %zmm5, %xmm2 {%k5}
3489 // CHECK: encoding: [0x62,0xf2,0x7e,0x4d,0x31,0xea]
3490 vpmovdb %zmm5, %xmm2 {%k5}
3492 // CHECK: vpmovdb %zmm5, %xmm2 {%k5} {z}
3493 // CHECK: encoding: [0x62,0xf2,0x7e,0xcd,0x31,0xea]
3494 vpmovdb %zmm5, %xmm2 {%k5} {z}
3496 // CHECK: vpmovsdb %zmm2, %xmm21
3497 // CHECK: encoding: [0x62,0xb2,0x7e,0x48,0x21,0xd5]
3498 vpmovsdb %zmm2, %xmm21
3500 // CHECK: vpmovsdb %zmm2, %xmm21 {%k4}
3501 // CHECK: encoding: [0x62,0xb2,0x7e,0x4c,0x21,0xd5]
3502 vpmovsdb %zmm2, %xmm21 {%k4}
3504 // CHECK: vpmovsdb %zmm2, %xmm21 {%k4} {z}
3505 // CHECK: encoding: [0x62,0xb2,0x7e,0xcc,0x21,0xd5]
3506 vpmovsdb %zmm2, %xmm21 {%k4} {z}
3508 // CHECK: vpmovusdb %zmm2, %xmm20
3509 // CHECK: encoding: [0x62,0xb2,0x7e,0x48,0x11,0xd4]
3510 vpmovusdb %zmm2, %xmm20
3512 // CHECK: vpmovusdb %zmm2, %xmm20 {%k3}
3513 // CHECK: encoding: [0x62,0xb2,0x7e,0x4b,0x11,0xd4]
3514 vpmovusdb %zmm2, %xmm20 {%k3}
3516 // CHECK: vpmovusdb %zmm2, %xmm20 {%k3} {z}
3517 // CHECK: encoding: [0x62,0xb2,0x7e,0xcb,0x11,0xd4]
3518 vpmovusdb %zmm2, %xmm20 {%k3} {z}
3520 // CHECK: vpmovdw %zmm29, %ymm22
3521 // CHECK: encoding: [0x62,0x22,0x7e,0x48,0x33,0xee]
3522 vpmovdw %zmm29, %ymm22
3524 // CHECK: vpmovdw %zmm29, %ymm22 {%k5}
3525 // CHECK: encoding: [0x62,0x22,0x7e,0x4d,0x33,0xee]
3526 vpmovdw %zmm29, %ymm22 {%k5}
3528 // CHECK: vpmovdw %zmm29, %ymm22 {%k5} {z}
3529 // CHECK: encoding: [0x62,0x22,0x7e,0xcd,0x33,0xee]
3530 vpmovdw %zmm29, %ymm22 {%k5} {z}
3532 // CHECK: vpmovsdw %zmm14, %ymm25
3533 // CHECK: encoding: [0x62,0x12,0x7e,0x48,0x23,0xf1]
3534 vpmovsdw %zmm14, %ymm25
3536 // CHECK: vpmovsdw %zmm14, %ymm25 {%k4}
3537 // CHECK: encoding: [0x62,0x12,0x7e,0x4c,0x23,0xf1]
3538 vpmovsdw %zmm14, %ymm25 {%k4}
3540 // CHECK: vpmovsdw %zmm14, %ymm25 {%k4} {z}
3541 // CHECK: encoding: [0x62,0x12,0x7e,0xcc,0x23,0xf1]
3542 vpmovsdw %zmm14, %ymm25 {%k4} {z}
3544 // CHECK: vpmovusdw %zmm7, %ymm8
3545 // CHECK: encoding: [0x62,0xd2,0x7e,0x48,0x13,0xf8]
3546 vpmovusdw %zmm7, %ymm8
3548 // CHECK: vpmovusdw %zmm7, %ymm8 {%k1}
3549 // CHECK: encoding: [0x62,0xd2,0x7e,0x49,0x13,0xf8]
3550 vpmovusdw %zmm7, %ymm8 {%k1}
3552 // CHECK: vpmovusdw %zmm7, %ymm8 {%k1} {z}
3553 // CHECK: encoding: [0x62,0xd2,0x7e,0xc9,0x13,0xf8]
3554 vpmovusdw %zmm7, %ymm8 {%k1} {z}
3556 // CHECK: vpmovqb %zmm3, (%rcx)
3557 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x32,0x19]
3558 vpmovqb %zmm3, (%rcx)
3560 // CHECK: vpmovqb %zmm3, (%rcx) {%k7}
3561 // CHECK: encoding: [0x62,0xf2,0x7e,0x4f,0x32,0x19]
3562 vpmovqb %zmm3, (%rcx) {%k7}
3564 // CHECK: vpmovqb %zmm3, 291(%rax,%r14,8)
3565 // CHECK: encoding: [0x62,0xb2,0x7e,0x48,0x32,0x9c,0xf0,0x23,0x01,0x00,0x00]
3566 vpmovqb %zmm3, 291(%rax,%r14,8)
3568 // CHECK: vpmovqb %zmm3, 1016(%rdx)
3569 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x32,0x5a,0x7f]
3570 vpmovqb %zmm3, 1016(%rdx)
3572 // CHECK: vpmovqb %zmm3, 1024(%rdx)
3573 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x32,0x9a,0x00,0x04,0x00,0x00]
3574 vpmovqb %zmm3, 1024(%rdx)
3576 // CHECK: vpmovqb %zmm3, -1024(%rdx)
3577 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x32,0x5a,0x80]
3578 vpmovqb %zmm3, -1024(%rdx)
3580 // CHECK: vpmovqb %zmm3, -1032(%rdx)
3581 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x32,0x9a,0xf8,0xfb,0xff,0xff]
3582 vpmovqb %zmm3, -1032(%rdx)
3584 // CHECK: vpmovsqb %zmm16, (%rcx)
3585 // CHECK: encoding: [0x62,0xe2,0x7e,0x48,0x22,0x01]
3586 vpmovsqb %zmm16, (%rcx)
3588 // CHECK: vpmovsqb %zmm16, (%rcx) {%k2}
3589 // CHECK: encoding: [0x62,0xe2,0x7e,0x4a,0x22,0x01]
3590 vpmovsqb %zmm16, (%rcx) {%k2}
3592 // CHECK: vpmovsqb %zmm16, 291(%rax,%r14,8)
3593 // CHECK: encoding: [0x62,0xa2,0x7e,0x48,0x22,0x84,0xf0,0x23,0x01,0x00,0x00]
3594 vpmovsqb %zmm16, 291(%rax,%r14,8)
3596 // CHECK: vpmovsqb %zmm16, 1016(%rdx)
3597 // CHECK: encoding: [0x62,0xe2,0x7e,0x48,0x22,0x42,0x7f]
3598 vpmovsqb %zmm16, 1016(%rdx)
3600 // CHECK: vpmovsqb %zmm16, 1024(%rdx)
3601 // CHECK: encoding: [0x62,0xe2,0x7e,0x48,0x22,0x82,0x00,0x04,0x00,0x00]
3602 vpmovsqb %zmm16, 1024(%rdx)
3604 // CHECK: vpmovsqb %zmm16, -1024(%rdx)
3605 // CHECK: encoding: [0x62,0xe2,0x7e,0x48,0x22,0x42,0x80]
3606 vpmovsqb %zmm16, -1024(%rdx)
3608 // CHECK: vpmovsqb %zmm16, -1032(%rdx)
3609 // CHECK: encoding: [0x62,0xe2,0x7e,0x48,0x22,0x82,0xf8,0xfb,0xff,0xff]
3610 vpmovsqb %zmm16, -1032(%rdx)
3612 // CHECK: vpmovusqb %zmm28, (%rcx)
3613 // CHECK: encoding: [0x62,0x62,0x7e,0x48,0x12,0x21]
3614 vpmovusqb %zmm28, (%rcx)
3616 // CHECK: vpmovusqb %zmm28, (%rcx) {%k1}
3617 // CHECK: encoding: [0x62,0x62,0x7e,0x49,0x12,0x21]
3618 vpmovusqb %zmm28, (%rcx) {%k1}
3620 // CHECK: vpmovusqb %zmm28, 291(%rax,%r14,8)
3621 // CHECK: encoding: [0x62,0x22,0x7e,0x48,0x12,0xa4,0xf0,0x23,0x01,0x00,0x00]
3622 vpmovusqb %zmm28, 291(%rax,%r14,8)
3624 // CHECK: vpmovusqb %zmm28, 1016(%rdx)
3625 // CHECK: encoding: [0x62,0x62,0x7e,0x48,0x12,0x62,0x7f]
3626 vpmovusqb %zmm28, 1016(%rdx)
3628 // CHECK: vpmovusqb %zmm28, 1024(%rdx)
3629 // CHECK: encoding: [0x62,0x62,0x7e,0x48,0x12,0xa2,0x00,0x04,0x00,0x00]
3630 vpmovusqb %zmm28, 1024(%rdx)
3632 // CHECK: vpmovusqb %zmm28, -1024(%rdx)
3633 // CHECK: encoding: [0x62,0x62,0x7e,0x48,0x12,0x62,0x80]
3634 vpmovusqb %zmm28, -1024(%rdx)
3636 // CHECK: vpmovusqb %zmm28, -1032(%rdx)
3637 // CHECK: encoding: [0x62,0x62,0x7e,0x48,0x12,0xa2,0xf8,0xfb,0xff,0xff]
3638 vpmovusqb %zmm28, -1032(%rdx)
3640 // CHECK: vpmovqw %zmm7, (%rcx)
3641 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x34,0x39]
3642 vpmovqw %zmm7, (%rcx)
3644 // CHECK: vpmovqw %zmm7, (%rcx) {%k6}
3645 // CHECK: encoding: [0x62,0xf2,0x7e,0x4e,0x34,0x39]
3646 vpmovqw %zmm7, (%rcx) {%k6}
3648 // CHECK: vpmovqw %zmm7, 291(%rax,%r14,8)
3649 // CHECK: encoding: [0x62,0xb2,0x7e,0x48,0x34,0xbc,0xf0,0x23,0x01,0x00,0x00]
3650 vpmovqw %zmm7, 291(%rax,%r14,8)
3652 // CHECK: vpmovqw %zmm7, 2032(%rdx)
3653 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x34,0x7a,0x7f]
3654 vpmovqw %zmm7, 2032(%rdx)
3656 // CHECK: vpmovqw %zmm7, 2048(%rdx)
3657 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x34,0xba,0x00,0x08,0x00,0x00]
3658 vpmovqw %zmm7, 2048(%rdx)
3660 // CHECK: vpmovqw %zmm7, -2048(%rdx)
3661 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x34,0x7a,0x80]
3662 vpmovqw %zmm7, -2048(%rdx)
3664 // CHECK: vpmovqw %zmm7, -2064(%rdx)
3665 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x34,0xba,0xf0,0xf7,0xff,0xff]
3666 vpmovqw %zmm7, -2064(%rdx)
3668 // CHECK: vpmovsqw %zmm1, (%rcx)
3669 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x24,0x09]
3670 vpmovsqw %zmm1, (%rcx)
3672 // CHECK: vpmovsqw %zmm1, (%rcx) {%k5}
3673 // CHECK: encoding: [0x62,0xf2,0x7e,0x4d,0x24,0x09]
3674 vpmovsqw %zmm1, (%rcx) {%k5}
3676 // CHECK: vpmovsqw %zmm1, 291(%rax,%r14,8)
3677 // CHECK: encoding: [0x62,0xb2,0x7e,0x48,0x24,0x8c,0xf0,0x23,0x01,0x00,0x00]
3678 vpmovsqw %zmm1, 291(%rax,%r14,8)
3680 // CHECK: vpmovsqw %zmm1, 2032(%rdx)
3681 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x24,0x4a,0x7f]
3682 vpmovsqw %zmm1, 2032(%rdx)
3684 // CHECK: vpmovsqw %zmm1, 2048(%rdx)
3685 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x24,0x8a,0x00,0x08,0x00,0x00]
3686 vpmovsqw %zmm1, 2048(%rdx)
3688 // CHECK: vpmovsqw %zmm1, -2048(%rdx)
3689 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x24,0x4a,0x80]
3690 vpmovsqw %zmm1, -2048(%rdx)
3692 // CHECK: vpmovsqw %zmm1, -2064(%rdx)
3693 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x24,0x8a,0xf0,0xf7,0xff,0xff]
3694 vpmovsqw %zmm1, -2064(%rdx)
3696 // CHECK: vpmovusqw %zmm25, (%rcx)
3697 // CHECK: encoding: [0x62,0x62,0x7e,0x48,0x14,0x09]
3698 vpmovusqw %zmm25, (%rcx)
3700 // CHECK: vpmovusqw %zmm25, (%rcx) {%k3}
3701 // CHECK: encoding: [0x62,0x62,0x7e,0x4b,0x14,0x09]
3702 vpmovusqw %zmm25, (%rcx) {%k3}
3704 // CHECK: vpmovusqw %zmm25, 291(%rax,%r14,8)
3705 // CHECK: encoding: [0x62,0x22,0x7e,0x48,0x14,0x8c,0xf0,0x23,0x01,0x00,0x00]
3706 vpmovusqw %zmm25, 291(%rax,%r14,8)
3708 // CHECK: vpmovusqw %zmm25, 2032(%rdx)
3709 // CHECK: encoding: [0x62,0x62,0x7e,0x48,0x14,0x4a,0x7f]
3710 vpmovusqw %zmm25, 2032(%rdx)
3712 // CHECK: vpmovusqw %zmm25, 2048(%rdx)
3713 // CHECK: encoding: [0x62,0x62,0x7e,0x48,0x14,0x8a,0x00,0x08,0x00,0x00]
3714 vpmovusqw %zmm25, 2048(%rdx)
3716 // CHECK: vpmovusqw %zmm25, -2048(%rdx)
3717 // CHECK: encoding: [0x62,0x62,0x7e,0x48,0x14,0x4a,0x80]
3718 vpmovusqw %zmm25, -2048(%rdx)
3720 // CHECK: vpmovusqw %zmm25, -2064(%rdx)
3721 // CHECK: encoding: [0x62,0x62,0x7e,0x48,0x14,0x8a,0xf0,0xf7,0xff,0xff]
3722 vpmovusqw %zmm25, -2064(%rdx)
3724 // CHECK: vpmovqd %zmm28, (%rcx)
3725 // CHECK: encoding: [0x62,0x62,0x7e,0x48,0x35,0x21]
3726 vpmovqd %zmm28, (%rcx)
3728 // CHECK: vpmovqd %zmm28, (%rcx) {%k5}
3729 // CHECK: encoding: [0x62,0x62,0x7e,0x4d,0x35,0x21]
3730 vpmovqd %zmm28, (%rcx) {%k5}
3732 // CHECK: vpmovqd %zmm28, 291(%rax,%r14,8)
3733 // CHECK: encoding: [0x62,0x22,0x7e,0x48,0x35,0xa4,0xf0,0x23,0x01,0x00,0x00]
3734 vpmovqd %zmm28, 291(%rax,%r14,8)
3736 // CHECK: vpmovqd %zmm28, 4064(%rdx)
3737 // CHECK: encoding: [0x62,0x62,0x7e,0x48,0x35,0x62,0x7f]
3738 vpmovqd %zmm28, 4064(%rdx)
3740 // CHECK: vpmovqd %zmm28, 4096(%rdx)
3741 // CHECK: encoding: [0x62,0x62,0x7e,0x48,0x35,0xa2,0x00,0x10,0x00,0x00]
3742 vpmovqd %zmm28, 4096(%rdx)
3744 // CHECK: vpmovqd %zmm28, -4096(%rdx)
3745 // CHECK: encoding: [0x62,0x62,0x7e,0x48,0x35,0x62,0x80]
3746 vpmovqd %zmm28, -4096(%rdx)
3748 // CHECK: vpmovqd %zmm28, -4128(%rdx)
3749 // CHECK: encoding: [0x62,0x62,0x7e,0x48,0x35,0xa2,0xe0,0xef,0xff,0xff]
3750 vpmovqd %zmm28, -4128(%rdx)
3752 // CHECK: vpmovsqd %zmm9, (%rcx)
3753 // CHECK: encoding: [0x62,0x72,0x7e,0x48,0x25,0x09]
3754 vpmovsqd %zmm9, (%rcx)
3756 // CHECK: vpmovsqd %zmm9, (%rcx) {%k7}
3757 // CHECK: encoding: [0x62,0x72,0x7e,0x4f,0x25,0x09]
3758 vpmovsqd %zmm9, (%rcx) {%k7}
3760 // CHECK: vpmovsqd %zmm9, 291(%rax,%r14,8)
3761 // CHECK: encoding: [0x62,0x32,0x7e,0x48,0x25,0x8c,0xf0,0x23,0x01,0x00,0x00]
3762 vpmovsqd %zmm9, 291(%rax,%r14,8)
3764 // CHECK: vpmovsqd %zmm9, 4064(%rdx)
3765 // CHECK: encoding: [0x62,0x72,0x7e,0x48,0x25,0x4a,0x7f]
3766 vpmovsqd %zmm9, 4064(%rdx)
3768 // CHECK: vpmovsqd %zmm9, 4096(%rdx)
3769 // CHECK: encoding: [0x62,0x72,0x7e,0x48,0x25,0x8a,0x00,0x10,0x00,0x00]
3770 vpmovsqd %zmm9, 4096(%rdx)
3772 // CHECK: vpmovsqd %zmm9, -4096(%rdx)
3773 // CHECK: encoding: [0x62,0x72,0x7e,0x48,0x25,0x4a,0x80]
3774 vpmovsqd %zmm9, -4096(%rdx)
3776 // CHECK: vpmovsqd %zmm9, -4128(%rdx)
3777 // CHECK: encoding: [0x62,0x72,0x7e,0x48,0x25,0x8a,0xe0,0xef,0xff,0xff]
3778 vpmovsqd %zmm9, -4128(%rdx)
3780 // CHECK: vpmovusqd %zmm22, (%rcx)
3781 // CHECK: encoding: [0x62,0xe2,0x7e,0x48,0x15,0x31]
3782 vpmovusqd %zmm22, (%rcx)
3784 // CHECK: vpmovusqd %zmm22, (%rcx) {%k1}
3785 // CHECK: encoding: [0x62,0xe2,0x7e,0x49,0x15,0x31]
3786 vpmovusqd %zmm22, (%rcx) {%k1}
3788 // CHECK: vpmovusqd %zmm22, 291(%rax,%r14,8)
3789 // CHECK: encoding: [0x62,0xa2,0x7e,0x48,0x15,0xb4,0xf0,0x23,0x01,0x00,0x00]
3790 vpmovusqd %zmm22, 291(%rax,%r14,8)
3792 // CHECK: vpmovusqd %zmm22, 4064(%rdx)
3793 // CHECK: encoding: [0x62,0xe2,0x7e,0x48,0x15,0x72,0x7f]
3794 vpmovusqd %zmm22, 4064(%rdx)
3796 // CHECK: vpmovusqd %zmm22, 4096(%rdx)
3797 // CHECK: encoding: [0x62,0xe2,0x7e,0x48,0x15,0xb2,0x00,0x10,0x00,0x00]
3798 vpmovusqd %zmm22, 4096(%rdx)
3800 // CHECK: vpmovusqd %zmm22, -4096(%rdx)
3801 // CHECK: encoding: [0x62,0xe2,0x7e,0x48,0x15,0x72,0x80]
3802 vpmovusqd %zmm22, -4096(%rdx)
3804 // CHECK: vpmovusqd %zmm22, -4128(%rdx)
3805 // CHECK: encoding: [0x62,0xe2,0x7e,0x48,0x15,0xb2,0xe0,0xef,0xff,0xff]
3806 vpmovusqd %zmm22, -4128(%rdx)
3808 // CHECK: vpmovdb %zmm12, (%rcx)
3809 // CHECK: encoding: [0x62,0x72,0x7e,0x48,0x31,0x21]
3810 vpmovdb %zmm12, (%rcx)
3812 // CHECK: vpmovdb %zmm12, (%rcx) {%k3}
3813 // CHECK: encoding: [0x62,0x72,0x7e,0x4b,0x31,0x21]
3814 vpmovdb %zmm12, (%rcx) {%k3}
3816 // CHECK: vpmovdb %zmm12, 291(%rax,%r14,8)
3817 // CHECK: encoding: [0x62,0x32,0x7e,0x48,0x31,0xa4,0xf0,0x23,0x01,0x00,0x00]
3818 vpmovdb %zmm12, 291(%rax,%r14,8)
3820 // CHECK: vpmovdb %zmm12, 2032(%rdx)
3821 // CHECK: encoding: [0x62,0x72,0x7e,0x48,0x31,0x62,0x7f]
3822 vpmovdb %zmm12, 2032(%rdx)
3824 // CHECK: vpmovdb %zmm12, 2048(%rdx)
3825 // CHECK: encoding: [0x62,0x72,0x7e,0x48,0x31,0xa2,0x00,0x08,0x00,0x00]
3826 vpmovdb %zmm12, 2048(%rdx)
3828 // CHECK: vpmovdb %zmm12, -2048(%rdx)
3829 // CHECK: encoding: [0x62,0x72,0x7e,0x48,0x31,0x62,0x80]
3830 vpmovdb %zmm12, -2048(%rdx)
3832 // CHECK: vpmovdb %zmm12, -2064(%rdx)
3833 // CHECK: encoding: [0x62,0x72,0x7e,0x48,0x31,0xa2,0xf0,0xf7,0xff,0xff]
3834 vpmovdb %zmm12, -2064(%rdx)
3836 // CHECK: vpmovsdb %zmm6, (%rcx)
3837 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x21,0x31]
3838 vpmovsdb %zmm6, (%rcx)
3840 // CHECK: vpmovsdb %zmm6, (%rcx) {%k1}
3841 // CHECK: encoding: [0x62,0xf2,0x7e,0x49,0x21,0x31]
3842 vpmovsdb %zmm6, (%rcx) {%k1}
3844 // CHECK: vpmovsdb %zmm6, 291(%rax,%r14,8)
3845 // CHECK: encoding: [0x62,0xb2,0x7e,0x48,0x21,0xb4,0xf0,0x23,0x01,0x00,0x00]
3846 vpmovsdb %zmm6, 291(%rax,%r14,8)
3848 // CHECK: vpmovsdb %zmm6, 2032(%rdx)
3849 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x21,0x72,0x7f]
3850 vpmovsdb %zmm6, 2032(%rdx)
3852 // CHECK: vpmovsdb %zmm6, 2048(%rdx)
3853 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x21,0xb2,0x00,0x08,0x00,0x00]
3854 vpmovsdb %zmm6, 2048(%rdx)
3856 // CHECK: vpmovsdb %zmm6, -2048(%rdx)
3857 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x21,0x72,0x80]
3858 vpmovsdb %zmm6, -2048(%rdx)
3860 // CHECK: vpmovsdb %zmm6, -2064(%rdx)
3861 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x21,0xb2,0xf0,0xf7,0xff,0xff]
3862 vpmovsdb %zmm6, -2064(%rdx)
3864 // CHECK: vpmovusdb %zmm23, (%rcx)
3865 // CHECK: encoding: [0x62,0xe2,0x7e,0x48,0x11,0x39]
3866 vpmovusdb %zmm23, (%rcx)
3868 // CHECK: vpmovusdb %zmm23, (%rcx) {%k3}
3869 // CHECK: encoding: [0x62,0xe2,0x7e,0x4b,0x11,0x39]
3870 vpmovusdb %zmm23, (%rcx) {%k3}
3872 // CHECK: vpmovusdb %zmm23, 291(%rax,%r14,8)
3873 // CHECK: encoding: [0x62,0xa2,0x7e,0x48,0x11,0xbc,0xf0,0x23,0x01,0x00,0x00]
3874 vpmovusdb %zmm23, 291(%rax,%r14,8)
3876 // CHECK: vpmovusdb %zmm23, 2032(%rdx)
3877 // CHECK: encoding: [0x62,0xe2,0x7e,0x48,0x11,0x7a,0x7f]
3878 vpmovusdb %zmm23, 2032(%rdx)
3880 // CHECK: vpmovusdb %zmm23, 2048(%rdx)
3881 // CHECK: encoding: [0x62,0xe2,0x7e,0x48,0x11,0xba,0x00,0x08,0x00,0x00]
3882 vpmovusdb %zmm23, 2048(%rdx)
3884 // CHECK: vpmovusdb %zmm23, -2048(%rdx)
3885 // CHECK: encoding: [0x62,0xe2,0x7e,0x48,0x11,0x7a,0x80]
3886 vpmovusdb %zmm23, -2048(%rdx)
3888 // CHECK: vpmovusdb %zmm23, -2064(%rdx)
3889 // CHECK: encoding: [0x62,0xe2,0x7e,0x48,0x11,0xba,0xf0,0xf7,0xff,0xff]
3890 vpmovusdb %zmm23, -2064(%rdx)
3892 // CHECK: vpmovdw %zmm7, (%rcx)
3893 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x33,0x39]
3894 vpmovdw %zmm7, (%rcx)
3896 // CHECK: vpmovdw %zmm7, (%rcx) {%k7}
3897 // CHECK: encoding: [0x62,0xf2,0x7e,0x4f,0x33,0x39]
3898 vpmovdw %zmm7, (%rcx) {%k7}
3900 // CHECK: vpmovdw %zmm7, 291(%rax,%r14,8)
3901 // CHECK: encoding: [0x62,0xb2,0x7e,0x48,0x33,0xbc,0xf0,0x23,0x01,0x00,0x00]
3902 vpmovdw %zmm7, 291(%rax,%r14,8)
3904 // CHECK: vpmovdw %zmm7, 4064(%rdx)
3905 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x33,0x7a,0x7f]
3906 vpmovdw %zmm7, 4064(%rdx)
3908 // CHECK: vpmovdw %zmm7, 4096(%rdx)
3909 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x33,0xba,0x00,0x10,0x00,0x00]
3910 vpmovdw %zmm7, 4096(%rdx)
3912 // CHECK: vpmovdw %zmm7, -4096(%rdx)
3913 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x33,0x7a,0x80]
3914 vpmovdw %zmm7, -4096(%rdx)
3916 // CHECK: vpmovdw %zmm7, -4128(%rdx)
3917 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x33,0xba,0xe0,0xef,0xff,0xff]
3918 vpmovdw %zmm7, -4128(%rdx)
3920 // CHECK: vpmovsdw %zmm14, (%rcx)
3921 // CHECK: encoding: [0x62,0x72,0x7e,0x48,0x23,0x31]
3922 vpmovsdw %zmm14, (%rcx)
3924 // CHECK: vpmovsdw %zmm14, (%rcx) {%k6}
3925 // CHECK: encoding: [0x62,0x72,0x7e,0x4e,0x23,0x31]
3926 vpmovsdw %zmm14, (%rcx) {%k6}
3928 // CHECK: vpmovsdw %zmm14, 291(%rax,%r14,8)
3929 // CHECK: encoding: [0x62,0x32,0x7e,0x48,0x23,0xb4,0xf0,0x23,0x01,0x00,0x00]
3930 vpmovsdw %zmm14, 291(%rax,%r14,8)
3932 // CHECK: vpmovsdw %zmm14, 4064(%rdx)
3933 // CHECK: encoding: [0x62,0x72,0x7e,0x48,0x23,0x72,0x7f]
3934 vpmovsdw %zmm14, 4064(%rdx)
3936 // CHECK: vpmovsdw %zmm14, 4096(%rdx)
3937 // CHECK: encoding: [0x62,0x72,0x7e,0x48,0x23,0xb2,0x00,0x10,0x00,0x00]
3938 vpmovsdw %zmm14, 4096(%rdx)
3940 // CHECK: vpmovsdw %zmm14, -4096(%rdx)
3941 // CHECK: encoding: [0x62,0x72,0x7e,0x48,0x23,0x72,0x80]
3942 vpmovsdw %zmm14, -4096(%rdx)
3944 // CHECK: vpmovsdw %zmm14, -4128(%rdx)
3945 // CHECK: encoding: [0x62,0x72,0x7e,0x48,0x23,0xb2,0xe0,0xef,0xff,0xff]
3946 vpmovsdw %zmm14, -4128(%rdx)
3948 // CHECK: vpmovusdw %zmm5, (%rcx)
3949 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x13,0x29]
3950 vpmovusdw %zmm5, (%rcx)
3952 // CHECK: vpmovusdw %zmm5, (%rcx) {%k3}
3953 // CHECK: encoding: [0x62,0xf2,0x7e,0x4b,0x13,0x29]
3954 vpmovusdw %zmm5, (%rcx) {%k3}
3956 // CHECK: vpmovusdw %zmm5, 291(%rax,%r14,8)
3957 // CHECK: encoding: [0x62,0xb2,0x7e,0x48,0x13,0xac,0xf0,0x23,0x01,0x00,0x00]
3958 vpmovusdw %zmm5, 291(%rax,%r14,8)
3960 // CHECK: vpmovusdw %zmm5, 4064(%rdx)
3961 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x13,0x6a,0x7f]
3962 vpmovusdw %zmm5, 4064(%rdx)
3964 // CHECK: vpmovusdw %zmm5, 4096(%rdx)
3965 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x13,0xaa,0x00,0x10,0x00,0x00]
3966 vpmovusdw %zmm5, 4096(%rdx)
3968 // CHECK: vpmovusdw %zmm5, -4096(%rdx)
3969 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x13,0x6a,0x80]
3970 vpmovusdw %zmm5, -4096(%rdx)
3972 // CHECK: vpmovusdw %zmm5, -4128(%rdx)
3973 // CHECK: encoding: [0x62,0xf2,0x7e,0x48,0x13,0xaa,0xe0,0xef,0xff,0xff]
3974 vpmovusdw %zmm5, -4128(%rdx)
3976 // CHECK: vinserti32x4
3977 // CHECK: encoding: [0x62,0xa3,0x55,0x48,0x38,0xcd,0x01]
3978 vinserti32x4 $1, %xmm21, %zmm5, %zmm17
3980 // CHECK: vinserti32x4
3981 // CHECK: encoding: [0x62,0xe3,0x1d,0x40,0x38,0x4f,0x10,0x01]
3982 vinserti32x4 $1, 256(%rdi), %zmm28, %zmm17
3984 // CHECK: vextracti32x4
3985 // CHECK: encoding: [0x62,0x33,0x7d,0x48,0x39,0xc9,0x01]
3986 vextracti32x4 $1, %zmm9, %xmm17
3988 // CHECK: vextracti64x4
3989 // CHECK: encoding: [0x62,0x33,0xfd,0x48,0x3b,0xc9,0x01]
3990 vextracti64x4 $1, %zmm9, %ymm17
3992 // CHECK: vextracti64x4
3993 // CHECK: encoding: [0x62,0x73,0xfd,0x48,0x3b,0x4f,0x10,0x01]
3994 vextracti64x4 $1, %zmm9, 512(%rdi)
3997 // CHECK: encoding: [0x62,0xb1,0x35,0x40,0x72,0xe1,0x02]
3998 vpsrad $2, %zmm17, %zmm25
4001 // CHECK: encoding: [0x62,0xf1,0x35,0x40,0x72,0x64,0xb7,0x08,0x02]
4002 vpsrad $2, 512(%rdi, %rsi, 4), %zmm25
4005 // CHECK: encoding: [0x62,0x21,0x1d,0x48,0xe2,0xc9]
4006 vpsrad %xmm17, %zmm12, %zmm25
4009 // CHECK: encoding: [0x62,0x61,0x1d,0x48,0xe2,0x4c,0xb7,0x20]
4010 vpsrad 512(%rdi, %rsi, 4), %zmm12, %zmm25
4012 // CHECK: vpbroadcastd {{.*}} {%k1} {z}
4013 // CHECK: encoding: [0x62,0xf2,0x7d,0xc9,0x58,0xc8]
4014 vpbroadcastd %xmm0, %zmm1 {%k1} {z}
4016 // CHECK: vbroadcasti32x4 {{.*}} {%k7} {z}
4017 // CHECK: encoding: [0x67,0x62,0xf2,0x7d,0xcf,0x5a,0x52,0x02]
4018 vbroadcasti32x4 0x20(%edx), %zmm2 {%k7} {z}
4020 // CHECK: vbroadcasti64x4 {{.*}} %zmm22
4021 // CHECK: encoding: [0x62,0xe2,0xfd,0x48,0x5b,0x72,0x02]
4022 vbroadcasti64x4 0x40(%rdx), %zmm22
4024 // CHECK: vmovdqu64 {{.*}} {%k3}
4025 // CHECK: encoding: [0x62,0xf1,0xfe,0x4b,0x7f,0x07]
4026 vmovdqu64 %zmm0, (%rdi) {%k3}
4028 // CHECK: vmovdqa32 {{.*}} {%k4}
4029 // CHECK: encoding: [0x62,0x61,0x7d,0x4c,0x6f,0x1e]
4030 vmovdqa32 (%rsi), %zmm27 {%k4}
4033 // CHECK: encoding: [0x62,0xe1,0x7d,0x08,0x7e,0x74,0x24,0xeb]
4034 vmovd %xmm22, -84(%rsp)
4036 // CHECK: vextractps
4037 // CHECK: encoding: [0x62,0xe3,0x7d,0x08,0x17,0x61,0x1f,0x02]
4038 vextractps $2, %xmm20, 124(%rcx)
4040 // CHECK: vaddpd {{.*}}{1to8}
4041 // CHECK: encoding: [0x62,0x61,0xdd,0x50,0x58,0x74,0xf7,0x40]
4042 vaddpd 512(%rdi, %rsi, 8) {1to8}, %zmm20, %zmm30
4044 // CHECK: vaddps {{.*}}{1to16}
4045 // CHECK: encoding: [0x62,0x61,0x5c,0x50,0x58,0xb4,0xf7,0x00,0x02,0x00,0x00]
4046 vaddps 512(%rdi, %rsi, 8) {1to16}, %zmm20, %zmm30
4049 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x2a,0xab,0x78,0x56,0x34,0x12]
4050 vmovntdqa 0x12345678(%rbx), %zmm13
4053 // CHECK: encoding: [0x62,0xc2,0x7d,0x48,0x2a,0x14,0x56]
4054 vmovntdqa (%r14,%rdx,2), %zmm18
4057 // CHECK: encoding: [0x62,0xc2,0x7d,0x48,0x2a,0x7c,0x14,0x02]
4058 vmovntdqa 128(%r12,%rdx), %zmm23
4061 // CHECK: encoding: [0x62,0x21,0x7d,0x48,0xe7,0x24,0xa9]
4062 vmovntdq %zmm28, (%rcx,%r13,4)
4065 // CHECK: encoding: [0x62,0xf1,0xfd,0x48,0x2b,0xb2,0x04,0x00,0x00,0x00]
4066 vmovntpd %zmm6, 4(%rdx)
4069 // CHECK: encoding: [0x62,0x51,0x7c,0x48,0x2b,0x5c,0x8d,0x00]
4070 vmovntps %zmm11, (%r13,%rcx,4)
4072 // CHECK: vcmpps $14
4073 // CHECK: encoding: [0x62,0xb1,0x54,0x48,0xc2,0xd1,0x0e]
4074 vcmpgtps %zmm17, %zmm5, %k2
4076 // CHECK: vcmppd $13
4077 // CHECK: encoding: [0x62,0xd1,0xf5,0x40,0xc2,0x76,0x02,0x0d]
4078 vcmpgepd 0x80(%r14), %zmm17, %k6
4080 // CHECK: vpcmpd $1,
4081 // CHECK: encoding: [0x62,0x93,0x45,0x4c,0x1f,0xe8,0x01]
4082 vpcmpd $1, %zmm24, %zmm7, %k5{%k4}
4084 // CHECK: vpcmpuq $2,
4085 // CHECK: encoding: [0x62,0xf3,0xf5,0x47,0x1e,0x72,0x01,0x02]
4086 vpcmpuq $2, 0x40(%rdx), %zmm17, %k6{%k7}
4088 // ERR: invalid operand for instruction
4089 vpcmpd $1, %zmm24, %zmm7, %k5{%k0}
4092 // CHECK: encoding: [0x62,0x42,0x6d,0x4b,0x76,0xd6]
4093 vpermi2d %zmm14, %zmm2, %zmm26 {%k3}
4096 // CHECK: encoding: [0x62,0xf2,0xcd,0xc6,0x7f,0xf3]
4097 vpermt2pd %zmm3, %zmm22, %zmm6 {%k6} {z}
4100 // CHECK: encoding: [0x62,0x62,0xed,0x4b,0x76,0x54,0x58,0x02]
4101 vpermi2q 0x80(%rax,%rbx,2), %zmm2, %zmm26 {%k3}
4104 // CHECK: encoding: [0x62,0x32,0x4d,0xc2,0x7e,0x24,0xad,0x05,0x00,0x00,0x00]
4105 vpermt2d 5(,%r13,4), %zmm22, %zmm12 {%k2} {z}
4107 // CHECK: valignq $2
4108 // CHECK: encoding: [0x62,0xf3,0xfd,0x48,0x03,0x4c,0x24,0x04,0x02]
4109 valignq $2, 0x100(%rsp), %zmm0, %zmm1
4111 // CHECK: valignq $3
4112 // CHECK: encoding: [0x62,0xf3,0xfd,0x49,0x03,0xcb,0x03]
4113 valignq $3, %zmm3, %zmm0, %zmm1 {%k1}