1 // RUN: llvm-mc -triple x86_64-unknown-unknown -mcpu=knl -mattr=+avx512dq -mattr=+avx512vl --show-encoding %s | FileCheck %s
3 // CHECK: vpmullq %xmm22, %xmm17, %xmm26
4 // CHECK: encoding: [0x62,0x22,0xf5,0x00,0x40,0xd6]
5 vpmullq %xmm22, %xmm17, %xmm26
7 // CHECK: vpmullq %xmm22, %xmm17, %xmm26 {%k6}
8 // CHECK: encoding: [0x62,0x22,0xf5,0x06,0x40,0xd6]
9 vpmullq %xmm22, %xmm17, %xmm26 {%k6}
11 // CHECK: vpmullq %xmm22, %xmm17, %xmm26 {%k6} {z}
12 // CHECK: encoding: [0x62,0x22,0xf5,0x86,0x40,0xd6]
13 vpmullq %xmm22, %xmm17, %xmm26 {%k6} {z}
15 // CHECK: vpmullq (%rcx), %xmm17, %xmm26
16 // CHECK: encoding: [0x62,0x62,0xf5,0x00,0x40,0x11]
17 vpmullq (%rcx), %xmm17, %xmm26
19 // CHECK: vpmullq 291(%rax,%r14,8), %xmm17, %xmm26
20 // CHECK: encoding: [0x62,0x22,0xf5,0x00,0x40,0x94,0xf0,0x23,0x01,0x00,0x00]
21 vpmullq 291(%rax,%r14,8), %xmm17, %xmm26
23 // CHECK: vpmullq (%rcx){1to2}, %xmm17, %xmm26
24 // CHECK: encoding: [0x62,0x62,0xf5,0x10,0x40,0x11]
25 vpmullq (%rcx){1to2}, %xmm17, %xmm26
27 // CHECK: vpmullq 2032(%rdx), %xmm17, %xmm26
28 // CHECK: encoding: [0x62,0x62,0xf5,0x00,0x40,0x52,0x7f]
29 vpmullq 2032(%rdx), %xmm17, %xmm26
31 // CHECK: vpmullq 2048(%rdx), %xmm17, %xmm26
32 // CHECK: encoding: [0x62,0x62,0xf5,0x00,0x40,0x92,0x00,0x08,0x00,0x00]
33 vpmullq 2048(%rdx), %xmm17, %xmm26
35 // CHECK: vpmullq -2048(%rdx), %xmm17, %xmm26
36 // CHECK: encoding: [0x62,0x62,0xf5,0x00,0x40,0x52,0x80]
37 vpmullq -2048(%rdx), %xmm17, %xmm26
39 // CHECK: vpmullq -2064(%rdx), %xmm17, %xmm26
40 // CHECK: encoding: [0x62,0x62,0xf5,0x00,0x40,0x92,0xf0,0xf7,0xff,0xff]
41 vpmullq -2064(%rdx), %xmm17, %xmm26
43 // CHECK: vpmullq 1016(%rdx){1to2}, %xmm17, %xmm26
44 // CHECK: encoding: [0x62,0x62,0xf5,0x10,0x40,0x52,0x7f]
45 vpmullq 1016(%rdx){1to2}, %xmm17, %xmm26
47 // CHECK: vpmullq 1024(%rdx){1to2}, %xmm17, %xmm26
48 // CHECK: encoding: [0x62,0x62,0xf5,0x10,0x40,0x92,0x00,0x04,0x00,0x00]
49 vpmullq 1024(%rdx){1to2}, %xmm17, %xmm26
51 // CHECK: vpmullq -1024(%rdx){1to2}, %xmm17, %xmm26
52 // CHECK: encoding: [0x62,0x62,0xf5,0x10,0x40,0x52,0x80]
53 vpmullq -1024(%rdx){1to2}, %xmm17, %xmm26
55 // CHECK: vpmullq -1032(%rdx){1to2}, %xmm17, %xmm26
56 // CHECK: encoding: [0x62,0x62,0xf5,0x10,0x40,0x92,0xf8,0xfb,0xff,0xff]
57 vpmullq -1032(%rdx){1to2}, %xmm17, %xmm26
59 // CHECK: vpmullq %ymm25, %ymm25, %ymm25
60 // CHECK: encoding: [0x62,0x02,0xb5,0x20,0x40,0xc9]
61 vpmullq %ymm25, %ymm25, %ymm25
63 // CHECK: vpmullq %ymm25, %ymm25, %ymm25 {%k3}
64 // CHECK: encoding: [0x62,0x02,0xb5,0x23,0x40,0xc9]
65 vpmullq %ymm25, %ymm25, %ymm25 {%k3}
67 // CHECK: vpmullq %ymm25, %ymm25, %ymm25 {%k3} {z}
68 // CHECK: encoding: [0x62,0x02,0xb5,0xa3,0x40,0xc9]
69 vpmullq %ymm25, %ymm25, %ymm25 {%k3} {z}
71 // CHECK: vpmullq (%rcx), %ymm25, %ymm25
72 // CHECK: encoding: [0x62,0x62,0xb5,0x20,0x40,0x09]
73 vpmullq (%rcx), %ymm25, %ymm25
75 // CHECK: vpmullq 291(%rax,%r14,8), %ymm25, %ymm25
76 // CHECK: encoding: [0x62,0x22,0xb5,0x20,0x40,0x8c,0xf0,0x23,0x01,0x00,0x00]
77 vpmullq 291(%rax,%r14,8), %ymm25, %ymm25
79 // CHECK: vpmullq (%rcx){1to4}, %ymm25, %ymm25
80 // CHECK: encoding: [0x62,0x62,0xb5,0x30,0x40,0x09]
81 vpmullq (%rcx){1to4}, %ymm25, %ymm25
83 // CHECK: vpmullq 4064(%rdx), %ymm25, %ymm25
84 // CHECK: encoding: [0x62,0x62,0xb5,0x20,0x40,0x4a,0x7f]
85 vpmullq 4064(%rdx), %ymm25, %ymm25
87 // CHECK: vpmullq 4096(%rdx), %ymm25, %ymm25
88 // CHECK: encoding: [0x62,0x62,0xb5,0x20,0x40,0x8a,0x00,0x10,0x00,0x00]
89 vpmullq 4096(%rdx), %ymm25, %ymm25
91 // CHECK: vpmullq -4096(%rdx), %ymm25, %ymm25
92 // CHECK: encoding: [0x62,0x62,0xb5,0x20,0x40,0x4a,0x80]
93 vpmullq -4096(%rdx), %ymm25, %ymm25
95 // CHECK: vpmullq -4128(%rdx), %ymm25, %ymm25
96 // CHECK: encoding: [0x62,0x62,0xb5,0x20,0x40,0x8a,0xe0,0xef,0xff,0xff]
97 vpmullq -4128(%rdx), %ymm25, %ymm25
99 // CHECK: vpmullq 1016(%rdx){1to4}, %ymm25, %ymm25
100 // CHECK: encoding: [0x62,0x62,0xb5,0x30,0x40,0x4a,0x7f]
101 vpmullq 1016(%rdx){1to4}, %ymm25, %ymm25
103 // CHECK: vpmullq 1024(%rdx){1to4}, %ymm25, %ymm25
104 // CHECK: encoding: [0x62,0x62,0xb5,0x30,0x40,0x8a,0x00,0x04,0x00,0x00]
105 vpmullq 1024(%rdx){1to4}, %ymm25, %ymm25
107 // CHECK: vpmullq -1024(%rdx){1to4}, %ymm25, %ymm25
108 // CHECK: encoding: [0x62,0x62,0xb5,0x30,0x40,0x4a,0x80]
109 vpmullq -1024(%rdx){1to4}, %ymm25, %ymm25
111 // CHECK: vpmullq -1032(%rdx){1to4}, %ymm25, %ymm25
112 // CHECK: encoding: [0x62,0x62,0xb5,0x30,0x40,0x8a,0xf8,0xfb,0xff,0xff]
113 vpmullq -1032(%rdx){1to4}, %ymm25, %ymm25
115 // CHECK: vandpd %xmm20, %xmm29, %xmm21
116 // CHECK: encoding: [0x62,0xa1,0x95,0x00,0x54,0xec]
117 vandpd %xmm20, %xmm29, %xmm21
119 // CHECK: vandpd %xmm20, %xmm29, %xmm21 {%k6}
120 // CHECK: encoding: [0x62,0xa1,0x95,0x06,0x54,0xec]
121 vandpd %xmm20, %xmm29, %xmm21 {%k6}
123 // CHECK: vandpd %xmm20, %xmm29, %xmm21 {%k6} {z}
124 // CHECK: encoding: [0x62,0xa1,0x95,0x86,0x54,0xec]
125 vandpd %xmm20, %xmm29, %xmm21 {%k6} {z}
127 // CHECK: vandpd (%rcx), %xmm29, %xmm21
128 // CHECK: encoding: [0x62,0xe1,0x95,0x00,0x54,0x29]
129 vandpd (%rcx), %xmm29, %xmm21
131 // CHECK: vandpd 291(%rax,%r14,8), %xmm29, %xmm21
132 // CHECK: encoding: [0x62,0xa1,0x95,0x00,0x54,0xac,0xf0,0x23,0x01,0x00,0x00]
133 vandpd 291(%rax,%r14,8), %xmm29, %xmm21
135 // CHECK: vandpd (%rcx){1to2}, %xmm29, %xmm21
136 // CHECK: encoding: [0x62,0xe1,0x95,0x10,0x54,0x29]
137 vandpd (%rcx){1to2}, %xmm29, %xmm21
139 // CHECK: vandpd 2032(%rdx), %xmm29, %xmm21
140 // CHECK: encoding: [0x62,0xe1,0x95,0x00,0x54,0x6a,0x7f]
141 vandpd 2032(%rdx), %xmm29, %xmm21
143 // CHECK: vandpd 2048(%rdx), %xmm29, %xmm21
144 // CHECK: encoding: [0x62,0xe1,0x95,0x00,0x54,0xaa,0x00,0x08,0x00,0x00]
145 vandpd 2048(%rdx), %xmm29, %xmm21
147 // CHECK: vandpd -2048(%rdx), %xmm29, %xmm21
148 // CHECK: encoding: [0x62,0xe1,0x95,0x00,0x54,0x6a,0x80]
149 vandpd -2048(%rdx), %xmm29, %xmm21
151 // CHECK: vandpd -2064(%rdx), %xmm29, %xmm21
152 // CHECK: encoding: [0x62,0xe1,0x95,0x00,0x54,0xaa,0xf0,0xf7,0xff,0xff]
153 vandpd -2064(%rdx), %xmm29, %xmm21
155 // CHECK: vandpd 1016(%rdx){1to2}, %xmm29, %xmm21
156 // CHECK: encoding: [0x62,0xe1,0x95,0x10,0x54,0x6a,0x7f]
157 vandpd 1016(%rdx){1to2}, %xmm29, %xmm21
159 // CHECK: vandpd 1024(%rdx){1to2}, %xmm29, %xmm21
160 // CHECK: encoding: [0x62,0xe1,0x95,0x10,0x54,0xaa,0x00,0x04,0x00,0x00]
161 vandpd 1024(%rdx){1to2}, %xmm29, %xmm21
163 // CHECK: vandpd -1024(%rdx){1to2}, %xmm29, %xmm21
164 // CHECK: encoding: [0x62,0xe1,0x95,0x10,0x54,0x6a,0x80]
165 vandpd -1024(%rdx){1to2}, %xmm29, %xmm21
167 // CHECK: vandpd -1032(%rdx){1to2}, %xmm29, %xmm21
168 // CHECK: encoding: [0x62,0xe1,0x95,0x10,0x54,0xaa,0xf8,0xfb,0xff,0xff]
169 vandpd -1032(%rdx){1to2}, %xmm29, %xmm21
171 // CHECK: vandpd %ymm28, %ymm21, %ymm28
172 // CHECK: encoding: [0x62,0x01,0xd5,0x20,0x54,0xe4]
173 vandpd %ymm28, %ymm21, %ymm28
175 // CHECK: vandpd %ymm28, %ymm21, %ymm28 {%k4}
176 // CHECK: encoding: [0x62,0x01,0xd5,0x24,0x54,0xe4]
177 vandpd %ymm28, %ymm21, %ymm28 {%k4}
179 // CHECK: vandpd %ymm28, %ymm21, %ymm28 {%k4} {z}
180 // CHECK: encoding: [0x62,0x01,0xd5,0xa4,0x54,0xe4]
181 vandpd %ymm28, %ymm21, %ymm28 {%k4} {z}
183 // CHECK: vandpd (%rcx), %ymm21, %ymm28
184 // CHECK: encoding: [0x62,0x61,0xd5,0x20,0x54,0x21]
185 vandpd (%rcx), %ymm21, %ymm28
187 // CHECK: vandpd 291(%rax,%r14,8), %ymm21, %ymm28
188 // CHECK: encoding: [0x62,0x21,0xd5,0x20,0x54,0xa4,0xf0,0x23,0x01,0x00,0x00]
189 vandpd 291(%rax,%r14,8), %ymm21, %ymm28
191 // CHECK: vandpd (%rcx){1to4}, %ymm21, %ymm28
192 // CHECK: encoding: [0x62,0x61,0xd5,0x30,0x54,0x21]
193 vandpd (%rcx){1to4}, %ymm21, %ymm28
195 // CHECK: vandpd 4064(%rdx), %ymm21, %ymm28
196 // CHECK: encoding: [0x62,0x61,0xd5,0x20,0x54,0x62,0x7f]
197 vandpd 4064(%rdx), %ymm21, %ymm28
199 // CHECK: vandpd 4096(%rdx), %ymm21, %ymm28
200 // CHECK: encoding: [0x62,0x61,0xd5,0x20,0x54,0xa2,0x00,0x10,0x00,0x00]
201 vandpd 4096(%rdx), %ymm21, %ymm28
203 // CHECK: vandpd -4096(%rdx), %ymm21, %ymm28
204 // CHECK: encoding: [0x62,0x61,0xd5,0x20,0x54,0x62,0x80]
205 vandpd -4096(%rdx), %ymm21, %ymm28
207 // CHECK: vandpd -4128(%rdx), %ymm21, %ymm28
208 // CHECK: encoding: [0x62,0x61,0xd5,0x20,0x54,0xa2,0xe0,0xef,0xff,0xff]
209 vandpd -4128(%rdx), %ymm21, %ymm28
211 // CHECK: vandpd 1016(%rdx){1to4}, %ymm21, %ymm28
212 // CHECK: encoding: [0x62,0x61,0xd5,0x30,0x54,0x62,0x7f]
213 vandpd 1016(%rdx){1to4}, %ymm21, %ymm28
215 // CHECK: vandpd 1024(%rdx){1to4}, %ymm21, %ymm28
216 // CHECK: encoding: [0x62,0x61,0xd5,0x30,0x54,0xa2,0x00,0x04,0x00,0x00]
217 vandpd 1024(%rdx){1to4}, %ymm21, %ymm28
219 // CHECK: vandpd -1024(%rdx){1to4}, %ymm21, %ymm28
220 // CHECK: encoding: [0x62,0x61,0xd5,0x30,0x54,0x62,0x80]
221 vandpd -1024(%rdx){1to4}, %ymm21, %ymm28
223 // CHECK: vandpd -1032(%rdx){1to4}, %ymm21, %ymm28
224 // CHECK: encoding: [0x62,0x61,0xd5,0x30,0x54,0xa2,0xf8,0xfb,0xff,0xff]
225 vandpd -1032(%rdx){1to4}, %ymm21, %ymm28
227 // CHECK: vandps %xmm24, %xmm21, %xmm23
228 // CHECK: encoding: [0x62,0x81,0x54,0x00,0x54,0xf8]
229 vandps %xmm24, %xmm21, %xmm23
231 // CHECK: vandps %xmm24, %xmm21, %xmm23 {%k5}
232 // CHECK: encoding: [0x62,0x81,0x54,0x05,0x54,0xf8]
233 vandps %xmm24, %xmm21, %xmm23 {%k5}
235 // CHECK: vandps %xmm24, %xmm21, %xmm23 {%k5} {z}
236 // CHECK: encoding: [0x62,0x81,0x54,0x85,0x54,0xf8]
237 vandps %xmm24, %xmm21, %xmm23 {%k5} {z}
239 // CHECK: vandps (%rcx), %xmm21, %xmm23
240 // CHECK: encoding: [0x62,0xe1,0x54,0x00,0x54,0x39]
241 vandps (%rcx), %xmm21, %xmm23
243 // CHECK: vandps 291(%rax,%r14,8), %xmm21, %xmm23
244 // CHECK: encoding: [0x62,0xa1,0x54,0x00,0x54,0xbc,0xf0,0x23,0x01,0x00,0x00]
245 vandps 291(%rax,%r14,8), %xmm21, %xmm23
247 // CHECK: vandps (%rcx){1to4}, %xmm21, %xmm23
248 // CHECK: encoding: [0x62,0xe1,0x54,0x10,0x54,0x39]
249 vandps (%rcx){1to4}, %xmm21, %xmm23
251 // CHECK: vandps 2032(%rdx), %xmm21, %xmm23
252 // CHECK: encoding: [0x62,0xe1,0x54,0x00,0x54,0x7a,0x7f]
253 vandps 2032(%rdx), %xmm21, %xmm23
255 // CHECK: vandps 2048(%rdx), %xmm21, %xmm23
256 // CHECK: encoding: [0x62,0xe1,0x54,0x00,0x54,0xba,0x00,0x08,0x00,0x00]
257 vandps 2048(%rdx), %xmm21, %xmm23
259 // CHECK: vandps -2048(%rdx), %xmm21, %xmm23
260 // CHECK: encoding: [0x62,0xe1,0x54,0x00,0x54,0x7a,0x80]
261 vandps -2048(%rdx), %xmm21, %xmm23
263 // CHECK: vandps -2064(%rdx), %xmm21, %xmm23
264 // CHECK: encoding: [0x62,0xe1,0x54,0x00,0x54,0xba,0xf0,0xf7,0xff,0xff]
265 vandps -2064(%rdx), %xmm21, %xmm23
267 // CHECK: vandps 508(%rdx){1to4}, %xmm21, %xmm23
268 // CHECK: encoding: [0x62,0xe1,0x54,0x10,0x54,0x7a,0x7f]
269 vandps 508(%rdx){1to4}, %xmm21, %xmm23
271 // CHECK: vandps 512(%rdx){1to4}, %xmm21, %xmm23
272 // CHECK: encoding: [0x62,0xe1,0x54,0x10,0x54,0xba,0x00,0x02,0x00,0x00]
273 vandps 512(%rdx){1to4}, %xmm21, %xmm23
275 // CHECK: vandps -512(%rdx){1to4}, %xmm21, %xmm23
276 // CHECK: encoding: [0x62,0xe1,0x54,0x10,0x54,0x7a,0x80]
277 vandps -512(%rdx){1to4}, %xmm21, %xmm23
279 // CHECK: vandps -516(%rdx){1to4}, %xmm21, %xmm23
280 // CHECK: encoding: [0x62,0xe1,0x54,0x10,0x54,0xba,0xfc,0xfd,0xff,0xff]
281 vandps -516(%rdx){1to4}, %xmm21, %xmm23
283 // CHECK: vandps %ymm23, %ymm18, %ymm26
284 // CHECK: encoding: [0x62,0x21,0x6c,0x20,0x54,0xd7]
285 vandps %ymm23, %ymm18, %ymm26
287 // CHECK: vandps %ymm23, %ymm18, %ymm26 {%k6}
288 // CHECK: encoding: [0x62,0x21,0x6c,0x26,0x54,0xd7]
289 vandps %ymm23, %ymm18, %ymm26 {%k6}
291 // CHECK: vandps %ymm23, %ymm18, %ymm26 {%k6} {z}
292 // CHECK: encoding: [0x62,0x21,0x6c,0xa6,0x54,0xd7]
293 vandps %ymm23, %ymm18, %ymm26 {%k6} {z}
295 // CHECK: vandps (%rcx), %ymm18, %ymm26
296 // CHECK: encoding: [0x62,0x61,0x6c,0x20,0x54,0x11]
297 vandps (%rcx), %ymm18, %ymm26
299 // CHECK: vandps 291(%rax,%r14,8), %ymm18, %ymm26
300 // CHECK: encoding: [0x62,0x21,0x6c,0x20,0x54,0x94,0xf0,0x23,0x01,0x00,0x00]
301 vandps 291(%rax,%r14,8), %ymm18, %ymm26
303 // CHECK: vandps (%rcx){1to8}, %ymm18, %ymm26
304 // CHECK: encoding: [0x62,0x61,0x6c,0x30,0x54,0x11]
305 vandps (%rcx){1to8}, %ymm18, %ymm26
307 // CHECK: vandps 4064(%rdx), %ymm18, %ymm26
308 // CHECK: encoding: [0x62,0x61,0x6c,0x20,0x54,0x52,0x7f]
309 vandps 4064(%rdx), %ymm18, %ymm26
311 // CHECK: vandps 4096(%rdx), %ymm18, %ymm26
312 // CHECK: encoding: [0x62,0x61,0x6c,0x20,0x54,0x92,0x00,0x10,0x00,0x00]
313 vandps 4096(%rdx), %ymm18, %ymm26
315 // CHECK: vandps -4096(%rdx), %ymm18, %ymm26
316 // CHECK: encoding: [0x62,0x61,0x6c,0x20,0x54,0x52,0x80]
317 vandps -4096(%rdx), %ymm18, %ymm26
319 // CHECK: vandps -4128(%rdx), %ymm18, %ymm26
320 // CHECK: encoding: [0x62,0x61,0x6c,0x20,0x54,0x92,0xe0,0xef,0xff,0xff]
321 vandps -4128(%rdx), %ymm18, %ymm26
323 // CHECK: vandps 508(%rdx){1to8}, %ymm18, %ymm26
324 // CHECK: encoding: [0x62,0x61,0x6c,0x30,0x54,0x52,0x7f]
325 vandps 508(%rdx){1to8}, %ymm18, %ymm26
327 // CHECK: vandps 512(%rdx){1to8}, %ymm18, %ymm26
328 // CHECK: encoding: [0x62,0x61,0x6c,0x30,0x54,0x92,0x00,0x02,0x00,0x00]
329 vandps 512(%rdx){1to8}, %ymm18, %ymm26
331 // CHECK: vandps -512(%rdx){1to8}, %ymm18, %ymm26
332 // CHECK: encoding: [0x62,0x61,0x6c,0x30,0x54,0x52,0x80]
333 vandps -512(%rdx){1to8}, %ymm18, %ymm26
335 // CHECK: vandps -516(%rdx){1to8}, %ymm18, %ymm26
336 // CHECK: encoding: [0x62,0x61,0x6c,0x30,0x54,0x92,0xfc,0xfd,0xff,0xff]
337 vandps -516(%rdx){1to8}, %ymm18, %ymm26
339 // CHECK: vandnpd %xmm25, %xmm27, %xmm25
340 // CHECK: encoding: [0x62,0x01,0xa5,0x00,0x55,0xc9]
341 vandnpd %xmm25, %xmm27, %xmm25
343 // CHECK: vandnpd %xmm25, %xmm27, %xmm25 {%k5}
344 // CHECK: encoding: [0x62,0x01,0xa5,0x05,0x55,0xc9]
345 vandnpd %xmm25, %xmm27, %xmm25 {%k5}
347 // CHECK: vandnpd %xmm25, %xmm27, %xmm25 {%k5} {z}
348 // CHECK: encoding: [0x62,0x01,0xa5,0x85,0x55,0xc9]
349 vandnpd %xmm25, %xmm27, %xmm25 {%k5} {z}
351 // CHECK: vandnpd (%rcx), %xmm27, %xmm25
352 // CHECK: encoding: [0x62,0x61,0xa5,0x00,0x55,0x09]
353 vandnpd (%rcx), %xmm27, %xmm25
355 // CHECK: vandnpd 291(%rax,%r14,8), %xmm27, %xmm25
356 // CHECK: encoding: [0x62,0x21,0xa5,0x00,0x55,0x8c,0xf0,0x23,0x01,0x00,0x00]
357 vandnpd 291(%rax,%r14,8), %xmm27, %xmm25
359 // CHECK: vandnpd (%rcx){1to2}, %xmm27, %xmm25
360 // CHECK: encoding: [0x62,0x61,0xa5,0x10,0x55,0x09]
361 vandnpd (%rcx){1to2}, %xmm27, %xmm25
363 // CHECK: vandnpd 2032(%rdx), %xmm27, %xmm25
364 // CHECK: encoding: [0x62,0x61,0xa5,0x00,0x55,0x4a,0x7f]
365 vandnpd 2032(%rdx), %xmm27, %xmm25
367 // CHECK: vandnpd 2048(%rdx), %xmm27, %xmm25
368 // CHECK: encoding: [0x62,0x61,0xa5,0x00,0x55,0x8a,0x00,0x08,0x00,0x00]
369 vandnpd 2048(%rdx), %xmm27, %xmm25
371 // CHECK: vandnpd -2048(%rdx), %xmm27, %xmm25
372 // CHECK: encoding: [0x62,0x61,0xa5,0x00,0x55,0x4a,0x80]
373 vandnpd -2048(%rdx), %xmm27, %xmm25
375 // CHECK: vandnpd -2064(%rdx), %xmm27, %xmm25
376 // CHECK: encoding: [0x62,0x61,0xa5,0x00,0x55,0x8a,0xf0,0xf7,0xff,0xff]
377 vandnpd -2064(%rdx), %xmm27, %xmm25
379 // CHECK: vandnpd 1016(%rdx){1to2}, %xmm27, %xmm25
380 // CHECK: encoding: [0x62,0x61,0xa5,0x10,0x55,0x4a,0x7f]
381 vandnpd 1016(%rdx){1to2}, %xmm27, %xmm25
383 // CHECK: vandnpd 1024(%rdx){1to2}, %xmm27, %xmm25
384 // CHECK: encoding: [0x62,0x61,0xa5,0x10,0x55,0x8a,0x00,0x04,0x00,0x00]
385 vandnpd 1024(%rdx){1to2}, %xmm27, %xmm25
387 // CHECK: vandnpd -1024(%rdx){1to2}, %xmm27, %xmm25
388 // CHECK: encoding: [0x62,0x61,0xa5,0x10,0x55,0x4a,0x80]
389 vandnpd -1024(%rdx){1to2}, %xmm27, %xmm25
391 // CHECK: vandnpd -1032(%rdx){1to2}, %xmm27, %xmm25
392 // CHECK: encoding: [0x62,0x61,0xa5,0x10,0x55,0x8a,0xf8,0xfb,0xff,0xff]
393 vandnpd -1032(%rdx){1to2}, %xmm27, %xmm25
395 // CHECK: vandnpd %ymm22, %ymm18, %ymm22
396 // CHECK: encoding: [0x62,0xa1,0xed,0x20,0x55,0xf6]
397 vandnpd %ymm22, %ymm18, %ymm22
399 // CHECK: vandnpd %ymm22, %ymm18, %ymm22 {%k7}
400 // CHECK: encoding: [0x62,0xa1,0xed,0x27,0x55,0xf6]
401 vandnpd %ymm22, %ymm18, %ymm22 {%k7}
403 // CHECK: vandnpd %ymm22, %ymm18, %ymm22 {%k7} {z}
404 // CHECK: encoding: [0x62,0xa1,0xed,0xa7,0x55,0xf6]
405 vandnpd %ymm22, %ymm18, %ymm22 {%k7} {z}
407 // CHECK: vandnpd (%rcx), %ymm18, %ymm22
408 // CHECK: encoding: [0x62,0xe1,0xed,0x20,0x55,0x31]
409 vandnpd (%rcx), %ymm18, %ymm22
411 // CHECK: vandnpd 291(%rax,%r14,8), %ymm18, %ymm22
412 // CHECK: encoding: [0x62,0xa1,0xed,0x20,0x55,0xb4,0xf0,0x23,0x01,0x00,0x00]
413 vandnpd 291(%rax,%r14,8), %ymm18, %ymm22
415 // CHECK: vandnpd (%rcx){1to4}, %ymm18, %ymm22
416 // CHECK: encoding: [0x62,0xe1,0xed,0x30,0x55,0x31]
417 vandnpd (%rcx){1to4}, %ymm18, %ymm22
419 // CHECK: vandnpd 4064(%rdx), %ymm18, %ymm22
420 // CHECK: encoding: [0x62,0xe1,0xed,0x20,0x55,0x72,0x7f]
421 vandnpd 4064(%rdx), %ymm18, %ymm22
423 // CHECK: vandnpd 4096(%rdx), %ymm18, %ymm22
424 // CHECK: encoding: [0x62,0xe1,0xed,0x20,0x55,0xb2,0x00,0x10,0x00,0x00]
425 vandnpd 4096(%rdx), %ymm18, %ymm22
427 // CHECK: vandnpd -4096(%rdx), %ymm18, %ymm22
428 // CHECK: encoding: [0x62,0xe1,0xed,0x20,0x55,0x72,0x80]
429 vandnpd -4096(%rdx), %ymm18, %ymm22
431 // CHECK: vandnpd -4128(%rdx), %ymm18, %ymm22
432 // CHECK: encoding: [0x62,0xe1,0xed,0x20,0x55,0xb2,0xe0,0xef,0xff,0xff]
433 vandnpd -4128(%rdx), %ymm18, %ymm22
435 // CHECK: vandnpd 1016(%rdx){1to4}, %ymm18, %ymm22
436 // CHECK: encoding: [0x62,0xe1,0xed,0x30,0x55,0x72,0x7f]
437 vandnpd 1016(%rdx){1to4}, %ymm18, %ymm22
439 // CHECK: vandnpd 1024(%rdx){1to4}, %ymm18, %ymm22
440 // CHECK: encoding: [0x62,0xe1,0xed,0x30,0x55,0xb2,0x00,0x04,0x00,0x00]
441 vandnpd 1024(%rdx){1to4}, %ymm18, %ymm22
443 // CHECK: vandnpd -1024(%rdx){1to4}, %ymm18, %ymm22
444 // CHECK: encoding: [0x62,0xe1,0xed,0x30,0x55,0x72,0x80]
445 vandnpd -1024(%rdx){1to4}, %ymm18, %ymm22
447 // CHECK: vandnpd -1032(%rdx){1to4}, %ymm18, %ymm22
448 // CHECK: encoding: [0x62,0xe1,0xed,0x30,0x55,0xb2,0xf8,0xfb,0xff,0xff]
449 vandnpd -1032(%rdx){1to4}, %ymm18, %ymm22
451 // CHECK: vandnps %xmm27, %xmm21, %xmm21
452 // CHECK: encoding: [0x62,0x81,0x54,0x00,0x55,0xeb]
453 vandnps %xmm27, %xmm21, %xmm21
455 // CHECK: vandnps %xmm27, %xmm21, %xmm21 {%k2}
456 // CHECK: encoding: [0x62,0x81,0x54,0x02,0x55,0xeb]
457 vandnps %xmm27, %xmm21, %xmm21 {%k2}
459 // CHECK: vandnps %xmm27, %xmm21, %xmm21 {%k2} {z}
460 // CHECK: encoding: [0x62,0x81,0x54,0x82,0x55,0xeb]
461 vandnps %xmm27, %xmm21, %xmm21 {%k2} {z}
463 // CHECK: vandnps (%rcx), %xmm21, %xmm21
464 // CHECK: encoding: [0x62,0xe1,0x54,0x00,0x55,0x29]
465 vandnps (%rcx), %xmm21, %xmm21
467 // CHECK: vandnps 291(%rax,%r14,8), %xmm21, %xmm21
468 // CHECK: encoding: [0x62,0xa1,0x54,0x00,0x55,0xac,0xf0,0x23,0x01,0x00,0x00]
469 vandnps 291(%rax,%r14,8), %xmm21, %xmm21
471 // CHECK: vandnps (%rcx){1to4}, %xmm21, %xmm21
472 // CHECK: encoding: [0x62,0xe1,0x54,0x10,0x55,0x29]
473 vandnps (%rcx){1to4}, %xmm21, %xmm21
475 // CHECK: vandnps 2032(%rdx), %xmm21, %xmm21
476 // CHECK: encoding: [0x62,0xe1,0x54,0x00,0x55,0x6a,0x7f]
477 vandnps 2032(%rdx), %xmm21, %xmm21
479 // CHECK: vandnps 2048(%rdx), %xmm21, %xmm21
480 // CHECK: encoding: [0x62,0xe1,0x54,0x00,0x55,0xaa,0x00,0x08,0x00,0x00]
481 vandnps 2048(%rdx), %xmm21, %xmm21
483 // CHECK: vandnps -2048(%rdx), %xmm21, %xmm21
484 // CHECK: encoding: [0x62,0xe1,0x54,0x00,0x55,0x6a,0x80]
485 vandnps -2048(%rdx), %xmm21, %xmm21
487 // CHECK: vandnps -2064(%rdx), %xmm21, %xmm21
488 // CHECK: encoding: [0x62,0xe1,0x54,0x00,0x55,0xaa,0xf0,0xf7,0xff,0xff]
489 vandnps -2064(%rdx), %xmm21, %xmm21
491 // CHECK: vandnps 508(%rdx){1to4}, %xmm21, %xmm21
492 // CHECK: encoding: [0x62,0xe1,0x54,0x10,0x55,0x6a,0x7f]
493 vandnps 508(%rdx){1to4}, %xmm21, %xmm21
495 // CHECK: vandnps 512(%rdx){1to4}, %xmm21, %xmm21
496 // CHECK: encoding: [0x62,0xe1,0x54,0x10,0x55,0xaa,0x00,0x02,0x00,0x00]
497 vandnps 512(%rdx){1to4}, %xmm21, %xmm21
499 // CHECK: vandnps -512(%rdx){1to4}, %xmm21, %xmm21
500 // CHECK: encoding: [0x62,0xe1,0x54,0x10,0x55,0x6a,0x80]
501 vandnps -512(%rdx){1to4}, %xmm21, %xmm21
503 // CHECK: vandnps -516(%rdx){1to4}, %xmm21, %xmm21
504 // CHECK: encoding: [0x62,0xe1,0x54,0x10,0x55,0xaa,0xfc,0xfd,0xff,0xff]
505 vandnps -516(%rdx){1to4}, %xmm21, %xmm21
507 // CHECK: vandnps %ymm25, %ymm23, %ymm19
508 // CHECK: encoding: [0x62,0x81,0x44,0x20,0x55,0xd9]
509 vandnps %ymm25, %ymm23, %ymm19
511 // CHECK: vandnps %ymm25, %ymm23, %ymm19 {%k1}
512 // CHECK: encoding: [0x62,0x81,0x44,0x21,0x55,0xd9]
513 vandnps %ymm25, %ymm23, %ymm19 {%k1}
515 // CHECK: vandnps %ymm25, %ymm23, %ymm19 {%k1} {z}
516 // CHECK: encoding: [0x62,0x81,0x44,0xa1,0x55,0xd9]
517 vandnps %ymm25, %ymm23, %ymm19 {%k1} {z}
519 // CHECK: vandnps (%rcx), %ymm23, %ymm19
520 // CHECK: encoding: [0x62,0xe1,0x44,0x20,0x55,0x19]
521 vandnps (%rcx), %ymm23, %ymm19
523 // CHECK: vandnps 291(%rax,%r14,8), %ymm23, %ymm19
524 // CHECK: encoding: [0x62,0xa1,0x44,0x20,0x55,0x9c,0xf0,0x23,0x01,0x00,0x00]
525 vandnps 291(%rax,%r14,8), %ymm23, %ymm19
527 // CHECK: vandnps (%rcx){1to8}, %ymm23, %ymm19
528 // CHECK: encoding: [0x62,0xe1,0x44,0x30,0x55,0x19]
529 vandnps (%rcx){1to8}, %ymm23, %ymm19
531 // CHECK: vandnps 4064(%rdx), %ymm23, %ymm19
532 // CHECK: encoding: [0x62,0xe1,0x44,0x20,0x55,0x5a,0x7f]
533 vandnps 4064(%rdx), %ymm23, %ymm19
535 // CHECK: vandnps 4096(%rdx), %ymm23, %ymm19
536 // CHECK: encoding: [0x62,0xe1,0x44,0x20,0x55,0x9a,0x00,0x10,0x00,0x00]
537 vandnps 4096(%rdx), %ymm23, %ymm19
539 // CHECK: vandnps -4096(%rdx), %ymm23, %ymm19
540 // CHECK: encoding: [0x62,0xe1,0x44,0x20,0x55,0x5a,0x80]
541 vandnps -4096(%rdx), %ymm23, %ymm19
543 // CHECK: vandnps -4128(%rdx), %ymm23, %ymm19
544 // CHECK: encoding: [0x62,0xe1,0x44,0x20,0x55,0x9a,0xe0,0xef,0xff,0xff]
545 vandnps -4128(%rdx), %ymm23, %ymm19
547 // CHECK: vandnps 508(%rdx){1to8}, %ymm23, %ymm19
548 // CHECK: encoding: [0x62,0xe1,0x44,0x30,0x55,0x5a,0x7f]
549 vandnps 508(%rdx){1to8}, %ymm23, %ymm19
551 // CHECK: vandnps 512(%rdx){1to8}, %ymm23, %ymm19
552 // CHECK: encoding: [0x62,0xe1,0x44,0x30,0x55,0x9a,0x00,0x02,0x00,0x00]
553 vandnps 512(%rdx){1to8}, %ymm23, %ymm19
555 // CHECK: vandnps -512(%rdx){1to8}, %ymm23, %ymm19
556 // CHECK: encoding: [0x62,0xe1,0x44,0x30,0x55,0x5a,0x80]
557 vandnps -512(%rdx){1to8}, %ymm23, %ymm19
559 // CHECK: vandnps -516(%rdx){1to8}, %ymm23, %ymm19
560 // CHECK: encoding: [0x62,0xe1,0x44,0x30,0x55,0x9a,0xfc,0xfd,0xff,0xff]
561 vandnps -516(%rdx){1to8}, %ymm23, %ymm19
563 // CHECK: vorpd %xmm18, %xmm27, %xmm23
564 // CHECK: encoding: [0x62,0xa1,0xa5,0x00,0x56,0xfa]
565 vorpd %xmm18, %xmm27, %xmm23
567 // CHECK: vorpd %xmm18, %xmm27, %xmm23 {%k1}
568 // CHECK: encoding: [0x62,0xa1,0xa5,0x01,0x56,0xfa]
569 vorpd %xmm18, %xmm27, %xmm23 {%k1}
571 // CHECK: vorpd %xmm18, %xmm27, %xmm23 {%k1} {z}
572 // CHECK: encoding: [0x62,0xa1,0xa5,0x81,0x56,0xfa]
573 vorpd %xmm18, %xmm27, %xmm23 {%k1} {z}
575 // CHECK: vorpd (%rcx), %xmm27, %xmm23
576 // CHECK: encoding: [0x62,0xe1,0xa5,0x00,0x56,0x39]
577 vorpd (%rcx), %xmm27, %xmm23
579 // CHECK: vorpd 291(%rax,%r14,8), %xmm27, %xmm23
580 // CHECK: encoding: [0x62,0xa1,0xa5,0x00,0x56,0xbc,0xf0,0x23,0x01,0x00,0x00]
581 vorpd 291(%rax,%r14,8), %xmm27, %xmm23
583 // CHECK: vorpd (%rcx){1to2}, %xmm27, %xmm23
584 // CHECK: encoding: [0x62,0xe1,0xa5,0x10,0x56,0x39]
585 vorpd (%rcx){1to2}, %xmm27, %xmm23
587 // CHECK: vorpd 2032(%rdx), %xmm27, %xmm23
588 // CHECK: encoding: [0x62,0xe1,0xa5,0x00,0x56,0x7a,0x7f]
589 vorpd 2032(%rdx), %xmm27, %xmm23
591 // CHECK: vorpd 2048(%rdx), %xmm27, %xmm23
592 // CHECK: encoding: [0x62,0xe1,0xa5,0x00,0x56,0xba,0x00,0x08,0x00,0x00]
593 vorpd 2048(%rdx), %xmm27, %xmm23
595 // CHECK: vorpd -2048(%rdx), %xmm27, %xmm23
596 // CHECK: encoding: [0x62,0xe1,0xa5,0x00,0x56,0x7a,0x80]
597 vorpd -2048(%rdx), %xmm27, %xmm23
599 // CHECK: vorpd -2064(%rdx), %xmm27, %xmm23
600 // CHECK: encoding: [0x62,0xe1,0xa5,0x00,0x56,0xba,0xf0,0xf7,0xff,0xff]
601 vorpd -2064(%rdx), %xmm27, %xmm23
603 // CHECK: vorpd 1016(%rdx){1to2}, %xmm27, %xmm23
604 // CHECK: encoding: [0x62,0xe1,0xa5,0x10,0x56,0x7a,0x7f]
605 vorpd 1016(%rdx){1to2}, %xmm27, %xmm23
607 // CHECK: vorpd 1024(%rdx){1to2}, %xmm27, %xmm23
608 // CHECK: encoding: [0x62,0xe1,0xa5,0x10,0x56,0xba,0x00,0x04,0x00,0x00]
609 vorpd 1024(%rdx){1to2}, %xmm27, %xmm23
611 // CHECK: vorpd -1024(%rdx){1to2}, %xmm27, %xmm23
612 // CHECK: encoding: [0x62,0xe1,0xa5,0x10,0x56,0x7a,0x80]
613 vorpd -1024(%rdx){1to2}, %xmm27, %xmm23
615 // CHECK: vorpd -1032(%rdx){1to2}, %xmm27, %xmm23
616 // CHECK: encoding: [0x62,0xe1,0xa5,0x10,0x56,0xba,0xf8,0xfb,0xff,0xff]
617 vorpd -1032(%rdx){1to2}, %xmm27, %xmm23
619 // CHECK: vorpd %ymm20, %ymm29, %ymm26
620 // CHECK: encoding: [0x62,0x21,0x95,0x20,0x56,0xd4]
621 vorpd %ymm20, %ymm29, %ymm26
623 // CHECK: vorpd %ymm20, %ymm29, %ymm26 {%k5}
624 // CHECK: encoding: [0x62,0x21,0x95,0x25,0x56,0xd4]
625 vorpd %ymm20, %ymm29, %ymm26 {%k5}
627 // CHECK: vorpd %ymm20, %ymm29, %ymm26 {%k5} {z}
628 // CHECK: encoding: [0x62,0x21,0x95,0xa5,0x56,0xd4]
629 vorpd %ymm20, %ymm29, %ymm26 {%k5} {z}
631 // CHECK: vorpd (%rcx), %ymm29, %ymm26
632 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x56,0x11]
633 vorpd (%rcx), %ymm29, %ymm26
635 // CHECK: vorpd 291(%rax,%r14,8), %ymm29, %ymm26
636 // CHECK: encoding: [0x62,0x21,0x95,0x20,0x56,0x94,0xf0,0x23,0x01,0x00,0x00]
637 vorpd 291(%rax,%r14,8), %ymm29, %ymm26
639 // CHECK: vorpd (%rcx){1to4}, %ymm29, %ymm26
640 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x56,0x11]
641 vorpd (%rcx){1to4}, %ymm29, %ymm26
643 // CHECK: vorpd 4064(%rdx), %ymm29, %ymm26
644 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x56,0x52,0x7f]
645 vorpd 4064(%rdx), %ymm29, %ymm26
647 // CHECK: vorpd 4096(%rdx), %ymm29, %ymm26
648 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x56,0x92,0x00,0x10,0x00,0x00]
649 vorpd 4096(%rdx), %ymm29, %ymm26
651 // CHECK: vorpd -4096(%rdx), %ymm29, %ymm26
652 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x56,0x52,0x80]
653 vorpd -4096(%rdx), %ymm29, %ymm26
655 // CHECK: vorpd -4128(%rdx), %ymm29, %ymm26
656 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x56,0x92,0xe0,0xef,0xff,0xff]
657 vorpd -4128(%rdx), %ymm29, %ymm26
659 // CHECK: vorpd 1016(%rdx){1to4}, %ymm29, %ymm26
660 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x56,0x52,0x7f]
661 vorpd 1016(%rdx){1to4}, %ymm29, %ymm26
663 // CHECK: vorpd 1024(%rdx){1to4}, %ymm29, %ymm26
664 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x56,0x92,0x00,0x04,0x00,0x00]
665 vorpd 1024(%rdx){1to4}, %ymm29, %ymm26
667 // CHECK: vorpd -1024(%rdx){1to4}, %ymm29, %ymm26
668 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x56,0x52,0x80]
669 vorpd -1024(%rdx){1to4}, %ymm29, %ymm26
671 // CHECK: vorpd -1032(%rdx){1to4}, %ymm29, %ymm26
672 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x56,0x92,0xf8,0xfb,0xff,0xff]
673 vorpd -1032(%rdx){1to4}, %ymm29, %ymm26
675 // CHECK: vorps %xmm27, %xmm28, %xmm19
676 // CHECK: encoding: [0x62,0x81,0x1c,0x00,0x56,0xdb]
677 vorps %xmm27, %xmm28, %xmm19
679 // CHECK: vorps %xmm27, %xmm28, %xmm19 {%k4}
680 // CHECK: encoding: [0x62,0x81,0x1c,0x04,0x56,0xdb]
681 vorps %xmm27, %xmm28, %xmm19 {%k4}
683 // CHECK: vorps %xmm27, %xmm28, %xmm19 {%k4} {z}
684 // CHECK: encoding: [0x62,0x81,0x1c,0x84,0x56,0xdb]
685 vorps %xmm27, %xmm28, %xmm19 {%k4} {z}
687 // CHECK: vorps (%rcx), %xmm28, %xmm19
688 // CHECK: encoding: [0x62,0xe1,0x1c,0x00,0x56,0x19]
689 vorps (%rcx), %xmm28, %xmm19
691 // CHECK: vorps 291(%rax,%r14,8), %xmm28, %xmm19
692 // CHECK: encoding: [0x62,0xa1,0x1c,0x00,0x56,0x9c,0xf0,0x23,0x01,0x00,0x00]
693 vorps 291(%rax,%r14,8), %xmm28, %xmm19
695 // CHECK: vorps (%rcx){1to4}, %xmm28, %xmm19
696 // CHECK: encoding: [0x62,0xe1,0x1c,0x10,0x56,0x19]
697 vorps (%rcx){1to4}, %xmm28, %xmm19
699 // CHECK: vorps 2032(%rdx), %xmm28, %xmm19
700 // CHECK: encoding: [0x62,0xe1,0x1c,0x00,0x56,0x5a,0x7f]
701 vorps 2032(%rdx), %xmm28, %xmm19
703 // CHECK: vorps 2048(%rdx), %xmm28, %xmm19
704 // CHECK: encoding: [0x62,0xe1,0x1c,0x00,0x56,0x9a,0x00,0x08,0x00,0x00]
705 vorps 2048(%rdx), %xmm28, %xmm19
707 // CHECK: vorps -2048(%rdx), %xmm28, %xmm19
708 // CHECK: encoding: [0x62,0xe1,0x1c,0x00,0x56,0x5a,0x80]
709 vorps -2048(%rdx), %xmm28, %xmm19
711 // CHECK: vorps -2064(%rdx), %xmm28, %xmm19
712 // CHECK: encoding: [0x62,0xe1,0x1c,0x00,0x56,0x9a,0xf0,0xf7,0xff,0xff]
713 vorps -2064(%rdx), %xmm28, %xmm19
715 // CHECK: vorps 508(%rdx){1to4}, %xmm28, %xmm19
716 // CHECK: encoding: [0x62,0xe1,0x1c,0x10,0x56,0x5a,0x7f]
717 vorps 508(%rdx){1to4}, %xmm28, %xmm19
719 // CHECK: vorps 512(%rdx){1to4}, %xmm28, %xmm19
720 // CHECK: encoding: [0x62,0xe1,0x1c,0x10,0x56,0x9a,0x00,0x02,0x00,0x00]
721 vorps 512(%rdx){1to4}, %xmm28, %xmm19
723 // CHECK: vorps -512(%rdx){1to4}, %xmm28, %xmm19
724 // CHECK: encoding: [0x62,0xe1,0x1c,0x10,0x56,0x5a,0x80]
725 vorps -512(%rdx){1to4}, %xmm28, %xmm19
727 // CHECK: vorps -516(%rdx){1to4}, %xmm28, %xmm19
728 // CHECK: encoding: [0x62,0xe1,0x1c,0x10,0x56,0x9a,0xfc,0xfd,0xff,0xff]
729 vorps -516(%rdx){1to4}, %xmm28, %xmm19
731 // CHECK: vorps %ymm26, %ymm26, %ymm27
732 // CHECK: encoding: [0x62,0x01,0x2c,0x20,0x56,0xda]
733 vorps %ymm26, %ymm26, %ymm27
735 // CHECK: vorps %ymm26, %ymm26, %ymm27 {%k1}
736 // CHECK: encoding: [0x62,0x01,0x2c,0x21,0x56,0xda]
737 vorps %ymm26, %ymm26, %ymm27 {%k1}
739 // CHECK: vorps %ymm26, %ymm26, %ymm27 {%k1} {z}
740 // CHECK: encoding: [0x62,0x01,0x2c,0xa1,0x56,0xda]
741 vorps %ymm26, %ymm26, %ymm27 {%k1} {z}
743 // CHECK: vorps (%rcx), %ymm26, %ymm27
744 // CHECK: encoding: [0x62,0x61,0x2c,0x20,0x56,0x19]
745 vorps (%rcx), %ymm26, %ymm27
747 // CHECK: vorps 291(%rax,%r14,8), %ymm26, %ymm27
748 // CHECK: encoding: [0x62,0x21,0x2c,0x20,0x56,0x9c,0xf0,0x23,0x01,0x00,0x00]
749 vorps 291(%rax,%r14,8), %ymm26, %ymm27
751 // CHECK: vorps (%rcx){1to8}, %ymm26, %ymm27
752 // CHECK: encoding: [0x62,0x61,0x2c,0x30,0x56,0x19]
753 vorps (%rcx){1to8}, %ymm26, %ymm27
755 // CHECK: vorps 4064(%rdx), %ymm26, %ymm27
756 // CHECK: encoding: [0x62,0x61,0x2c,0x20,0x56,0x5a,0x7f]
757 vorps 4064(%rdx), %ymm26, %ymm27
759 // CHECK: vorps 4096(%rdx), %ymm26, %ymm27
760 // CHECK: encoding: [0x62,0x61,0x2c,0x20,0x56,0x9a,0x00,0x10,0x00,0x00]
761 vorps 4096(%rdx), %ymm26, %ymm27
763 // CHECK: vorps -4096(%rdx), %ymm26, %ymm27
764 // CHECK: encoding: [0x62,0x61,0x2c,0x20,0x56,0x5a,0x80]
765 vorps -4096(%rdx), %ymm26, %ymm27
767 // CHECK: vorps -4128(%rdx), %ymm26, %ymm27
768 // CHECK: encoding: [0x62,0x61,0x2c,0x20,0x56,0x9a,0xe0,0xef,0xff,0xff]
769 vorps -4128(%rdx), %ymm26, %ymm27
771 // CHECK: vorps 508(%rdx){1to8}, %ymm26, %ymm27
772 // CHECK: encoding: [0x62,0x61,0x2c,0x30,0x56,0x5a,0x7f]
773 vorps 508(%rdx){1to8}, %ymm26, %ymm27
775 // CHECK: vorps 512(%rdx){1to8}, %ymm26, %ymm27
776 // CHECK: encoding: [0x62,0x61,0x2c,0x30,0x56,0x9a,0x00,0x02,0x00,0x00]
777 vorps 512(%rdx){1to8}, %ymm26, %ymm27
779 // CHECK: vorps -512(%rdx){1to8}, %ymm26, %ymm27
780 // CHECK: encoding: [0x62,0x61,0x2c,0x30,0x56,0x5a,0x80]
781 vorps -512(%rdx){1to8}, %ymm26, %ymm27
783 // CHECK: vorps -516(%rdx){1to8}, %ymm26, %ymm27
784 // CHECK: encoding: [0x62,0x61,0x2c,0x30,0x56,0x9a,0xfc,0xfd,0xff,0xff]
785 vorps -516(%rdx){1to8}, %ymm26, %ymm27
787 // CHECK: vxorpd %xmm23, %xmm21, %xmm18
788 // CHECK: encoding: [0x62,0xa1,0xd5,0x00,0x57,0xd7]
789 vxorpd %xmm23, %xmm21, %xmm18
791 // CHECK: vxorpd %xmm23, %xmm21, %xmm18 {%k2}
792 // CHECK: encoding: [0x62,0xa1,0xd5,0x02,0x57,0xd7]
793 vxorpd %xmm23, %xmm21, %xmm18 {%k2}
795 // CHECK: vxorpd %xmm23, %xmm21, %xmm18 {%k2} {z}
796 // CHECK: encoding: [0x62,0xa1,0xd5,0x82,0x57,0xd7]
797 vxorpd %xmm23, %xmm21, %xmm18 {%k2} {z}
799 // CHECK: vxorpd (%rcx), %xmm21, %xmm18
800 // CHECK: encoding: [0x62,0xe1,0xd5,0x00,0x57,0x11]
801 vxorpd (%rcx), %xmm21, %xmm18
803 // CHECK: vxorpd 291(%rax,%r14,8), %xmm21, %xmm18
804 // CHECK: encoding: [0x62,0xa1,0xd5,0x00,0x57,0x94,0xf0,0x23,0x01,0x00,0x00]
805 vxorpd 291(%rax,%r14,8), %xmm21, %xmm18
807 // CHECK: vxorpd (%rcx){1to2}, %xmm21, %xmm18
808 // CHECK: encoding: [0x62,0xe1,0xd5,0x10,0x57,0x11]
809 vxorpd (%rcx){1to2}, %xmm21, %xmm18
811 // CHECK: vxorpd 2032(%rdx), %xmm21, %xmm18
812 // CHECK: encoding: [0x62,0xe1,0xd5,0x00,0x57,0x52,0x7f]
813 vxorpd 2032(%rdx), %xmm21, %xmm18
815 // CHECK: vxorpd 2048(%rdx), %xmm21, %xmm18
816 // CHECK: encoding: [0x62,0xe1,0xd5,0x00,0x57,0x92,0x00,0x08,0x00,0x00]
817 vxorpd 2048(%rdx), %xmm21, %xmm18
819 // CHECK: vxorpd -2048(%rdx), %xmm21, %xmm18
820 // CHECK: encoding: [0x62,0xe1,0xd5,0x00,0x57,0x52,0x80]
821 vxorpd -2048(%rdx), %xmm21, %xmm18
823 // CHECK: vxorpd -2064(%rdx), %xmm21, %xmm18
824 // CHECK: encoding: [0x62,0xe1,0xd5,0x00,0x57,0x92,0xf0,0xf7,0xff,0xff]
825 vxorpd -2064(%rdx), %xmm21, %xmm18
827 // CHECK: vxorpd 1016(%rdx){1to2}, %xmm21, %xmm18
828 // CHECK: encoding: [0x62,0xe1,0xd5,0x10,0x57,0x52,0x7f]
829 vxorpd 1016(%rdx){1to2}, %xmm21, %xmm18
831 // CHECK: vxorpd 1024(%rdx){1to2}, %xmm21, %xmm18
832 // CHECK: encoding: [0x62,0xe1,0xd5,0x10,0x57,0x92,0x00,0x04,0x00,0x00]
833 vxorpd 1024(%rdx){1to2}, %xmm21, %xmm18
835 // CHECK: vxorpd -1024(%rdx){1to2}, %xmm21, %xmm18
836 // CHECK: encoding: [0x62,0xe1,0xd5,0x10,0x57,0x52,0x80]
837 vxorpd -1024(%rdx){1to2}, %xmm21, %xmm18
839 // CHECK: vxorpd -1032(%rdx){1to2}, %xmm21, %xmm18
840 // CHECK: encoding: [0x62,0xe1,0xd5,0x10,0x57,0x92,0xf8,0xfb,0xff,0xff]
841 vxorpd -1032(%rdx){1to2}, %xmm21, %xmm18
843 // CHECK: vxorpd %ymm19, %ymm29, %ymm24
844 // CHECK: encoding: [0x62,0x21,0x95,0x20,0x57,0xc3]
845 vxorpd %ymm19, %ymm29, %ymm24
847 // CHECK: vxorpd %ymm19, %ymm29, %ymm24 {%k7}
848 // CHECK: encoding: [0x62,0x21,0x95,0x27,0x57,0xc3]
849 vxorpd %ymm19, %ymm29, %ymm24 {%k7}
851 // CHECK: vxorpd %ymm19, %ymm29, %ymm24 {%k7} {z}
852 // CHECK: encoding: [0x62,0x21,0x95,0xa7,0x57,0xc3]
853 vxorpd %ymm19, %ymm29, %ymm24 {%k7} {z}
855 // CHECK: vxorpd (%rcx), %ymm29, %ymm24
856 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x57,0x01]
857 vxorpd (%rcx), %ymm29, %ymm24
859 // CHECK: vxorpd 291(%rax,%r14,8), %ymm29, %ymm24
860 // CHECK: encoding: [0x62,0x21,0x95,0x20,0x57,0x84,0xf0,0x23,0x01,0x00,0x00]
861 vxorpd 291(%rax,%r14,8), %ymm29, %ymm24
863 // CHECK: vxorpd (%rcx){1to4}, %ymm29, %ymm24
864 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x57,0x01]
865 vxorpd (%rcx){1to4}, %ymm29, %ymm24
867 // CHECK: vxorpd 4064(%rdx), %ymm29, %ymm24
868 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x57,0x42,0x7f]
869 vxorpd 4064(%rdx), %ymm29, %ymm24
871 // CHECK: vxorpd 4096(%rdx), %ymm29, %ymm24
872 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x57,0x82,0x00,0x10,0x00,0x00]
873 vxorpd 4096(%rdx), %ymm29, %ymm24
875 // CHECK: vxorpd -4096(%rdx), %ymm29, %ymm24
876 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x57,0x42,0x80]
877 vxorpd -4096(%rdx), %ymm29, %ymm24
879 // CHECK: vxorpd -4128(%rdx), %ymm29, %ymm24
880 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x57,0x82,0xe0,0xef,0xff,0xff]
881 vxorpd -4128(%rdx), %ymm29, %ymm24
883 // CHECK: vxorpd 1016(%rdx){1to4}, %ymm29, %ymm24
884 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x57,0x42,0x7f]
885 vxorpd 1016(%rdx){1to4}, %ymm29, %ymm24
887 // CHECK: vxorpd 1024(%rdx){1to4}, %ymm29, %ymm24
888 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x57,0x82,0x00,0x04,0x00,0x00]
889 vxorpd 1024(%rdx){1to4}, %ymm29, %ymm24
891 // CHECK: vxorpd -1024(%rdx){1to4}, %ymm29, %ymm24
892 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x57,0x42,0x80]
893 vxorpd -1024(%rdx){1to4}, %ymm29, %ymm24
895 // CHECK: vxorpd -1032(%rdx){1to4}, %ymm29, %ymm24
896 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x57,0x82,0xf8,0xfb,0xff,0xff]
897 vxorpd -1032(%rdx){1to4}, %ymm29, %ymm24
899 // CHECK: vxorps %xmm19, %xmm18, %xmm20
900 // CHECK: encoding: [0x62,0xa1,0x6c,0x00,0x57,0xe3]
901 vxorps %xmm19, %xmm18, %xmm20
903 // CHECK: vxorps %xmm19, %xmm18, %xmm20 {%k1}
904 // CHECK: encoding: [0x62,0xa1,0x6c,0x01,0x57,0xe3]
905 vxorps %xmm19, %xmm18, %xmm20 {%k1}
907 // CHECK: vxorps %xmm19, %xmm18, %xmm20 {%k1} {z}
908 // CHECK: encoding: [0x62,0xa1,0x6c,0x81,0x57,0xe3]
909 vxorps %xmm19, %xmm18, %xmm20 {%k1} {z}
911 // CHECK: vxorps (%rcx), %xmm18, %xmm20
912 // CHECK: encoding: [0x62,0xe1,0x6c,0x00,0x57,0x21]
913 vxorps (%rcx), %xmm18, %xmm20
915 // CHECK: vxorps 291(%rax,%r14,8), %xmm18, %xmm20
916 // CHECK: encoding: [0x62,0xa1,0x6c,0x00,0x57,0xa4,0xf0,0x23,0x01,0x00,0x00]
917 vxorps 291(%rax,%r14,8), %xmm18, %xmm20
919 // CHECK: vxorps (%rcx){1to4}, %xmm18, %xmm20
920 // CHECK: encoding: [0x62,0xe1,0x6c,0x10,0x57,0x21]
921 vxorps (%rcx){1to4}, %xmm18, %xmm20
923 // CHECK: vxorps 2032(%rdx), %xmm18, %xmm20
924 // CHECK: encoding: [0x62,0xe1,0x6c,0x00,0x57,0x62,0x7f]
925 vxorps 2032(%rdx), %xmm18, %xmm20
927 // CHECK: vxorps 2048(%rdx), %xmm18, %xmm20
928 // CHECK: encoding: [0x62,0xe1,0x6c,0x00,0x57,0xa2,0x00,0x08,0x00,0x00]
929 vxorps 2048(%rdx), %xmm18, %xmm20
931 // CHECK: vxorps -2048(%rdx), %xmm18, %xmm20
932 // CHECK: encoding: [0x62,0xe1,0x6c,0x00,0x57,0x62,0x80]
933 vxorps -2048(%rdx), %xmm18, %xmm20
935 // CHECK: vxorps -2064(%rdx), %xmm18, %xmm20
936 // CHECK: encoding: [0x62,0xe1,0x6c,0x00,0x57,0xa2,0xf0,0xf7,0xff,0xff]
937 vxorps -2064(%rdx), %xmm18, %xmm20
939 // CHECK: vxorps 508(%rdx){1to4}, %xmm18, %xmm20
940 // CHECK: encoding: [0x62,0xe1,0x6c,0x10,0x57,0x62,0x7f]
941 vxorps 508(%rdx){1to4}, %xmm18, %xmm20
943 // CHECK: vxorps 512(%rdx){1to4}, %xmm18, %xmm20
944 // CHECK: encoding: [0x62,0xe1,0x6c,0x10,0x57,0xa2,0x00,0x02,0x00,0x00]
945 vxorps 512(%rdx){1to4}, %xmm18, %xmm20
947 // CHECK: vxorps -512(%rdx){1to4}, %xmm18, %xmm20
948 // CHECK: encoding: [0x62,0xe1,0x6c,0x10,0x57,0x62,0x80]
949 vxorps -512(%rdx){1to4}, %xmm18, %xmm20
951 // CHECK: vxorps -516(%rdx){1to4}, %xmm18, %xmm20
952 // CHECK: encoding: [0x62,0xe1,0x6c,0x10,0x57,0xa2,0xfc,0xfd,0xff,0xff]
953 vxorps -516(%rdx){1to4}, %xmm18, %xmm20
955 // CHECK: vxorps %ymm24, %ymm20, %ymm27
956 // CHECK: encoding: [0x62,0x01,0x5c,0x20,0x57,0xd8]
957 vxorps %ymm24, %ymm20, %ymm27
959 // CHECK: vxorps %ymm24, %ymm20, %ymm27 {%k2}
960 // CHECK: encoding: [0x62,0x01,0x5c,0x22,0x57,0xd8]
961 vxorps %ymm24, %ymm20, %ymm27 {%k2}
963 // CHECK: vxorps %ymm24, %ymm20, %ymm27 {%k2} {z}
964 // CHECK: encoding: [0x62,0x01,0x5c,0xa2,0x57,0xd8]
965 vxorps %ymm24, %ymm20, %ymm27 {%k2} {z}
967 // CHECK: vxorps (%rcx), %ymm20, %ymm27
968 // CHECK: encoding: [0x62,0x61,0x5c,0x20,0x57,0x19]
969 vxorps (%rcx), %ymm20, %ymm27
971 // CHECK: vxorps 291(%rax,%r14,8), %ymm20, %ymm27
972 // CHECK: encoding: [0x62,0x21,0x5c,0x20,0x57,0x9c,0xf0,0x23,0x01,0x00,0x00]
973 vxorps 291(%rax,%r14,8), %ymm20, %ymm27
975 // CHECK: vxorps (%rcx){1to8}, %ymm20, %ymm27
976 // CHECK: encoding: [0x62,0x61,0x5c,0x30,0x57,0x19]
977 vxorps (%rcx){1to8}, %ymm20, %ymm27
979 // CHECK: vxorps 4064(%rdx), %ymm20, %ymm27
980 // CHECK: encoding: [0x62,0x61,0x5c,0x20,0x57,0x5a,0x7f]
981 vxorps 4064(%rdx), %ymm20, %ymm27
983 // CHECK: vxorps 4096(%rdx), %ymm20, %ymm27
984 // CHECK: encoding: [0x62,0x61,0x5c,0x20,0x57,0x9a,0x00,0x10,0x00,0x00]
985 vxorps 4096(%rdx), %ymm20, %ymm27
987 // CHECK: vxorps -4096(%rdx), %ymm20, %ymm27
988 // CHECK: encoding: [0x62,0x61,0x5c,0x20,0x57,0x5a,0x80]
989 vxorps -4096(%rdx), %ymm20, %ymm27
991 // CHECK: vxorps -4128(%rdx), %ymm20, %ymm27
992 // CHECK: encoding: [0x62,0x61,0x5c,0x20,0x57,0x9a,0xe0,0xef,0xff,0xff]
993 vxorps -4128(%rdx), %ymm20, %ymm27
995 // CHECK: vxorps 508(%rdx){1to8}, %ymm20, %ymm27
996 // CHECK: encoding: [0x62,0x61,0x5c,0x30,0x57,0x5a,0x7f]
997 vxorps 508(%rdx){1to8}, %ymm20, %ymm27
999 // CHECK: vxorps 512(%rdx){1to8}, %ymm20, %ymm27
1000 // CHECK: encoding: [0x62,0x61,0x5c,0x30,0x57,0x9a,0x00,0x02,0x00,0x00]
1001 vxorps 512(%rdx){1to8}, %ymm20, %ymm27
1003 // CHECK: vxorps -512(%rdx){1to8}, %ymm20, %ymm27
1004 // CHECK: encoding: [0x62,0x61,0x5c,0x30,0x57,0x5a,0x80]
1005 vxorps -512(%rdx){1to8}, %ymm20, %ymm27
1007 // CHECK: vxorps -516(%rdx){1to8}, %ymm20, %ymm27
1008 // CHECK: encoding: [0x62,0x61,0x5c,0x30,0x57,0x9a,0xfc,0xfd,0xff,0xff]
1009 vxorps -516(%rdx){1to8}, %ymm20, %ymm27
1011 // CHECK: vandpd %xmm27, %xmm25, %xmm19
1012 // CHECK: encoding: [0x62,0x81,0xb5,0x00,0x54,0xdb]
1013 vandpd %xmm27, %xmm25, %xmm19
1015 // CHECK: vandpd %xmm27, %xmm25, %xmm19 {%k6}
1016 // CHECK: encoding: [0x62,0x81,0xb5,0x06,0x54,0xdb]
1017 vandpd %xmm27, %xmm25, %xmm19 {%k6}
1019 // CHECK: vandpd %xmm27, %xmm25, %xmm19 {%k6} {z}
1020 // CHECK: encoding: [0x62,0x81,0xb5,0x86,0x54,0xdb]
1021 vandpd %xmm27, %xmm25, %xmm19 {%k6} {z}
1023 // CHECK: vandpd (%rcx), %xmm25, %xmm19
1024 // CHECK: encoding: [0x62,0xe1,0xb5,0x00,0x54,0x19]
1025 vandpd (%rcx), %xmm25, %xmm19
1027 // CHECK: vandpd 4660(%rax,%r14,8), %xmm25, %xmm19
1028 // CHECK: encoding: [0x62,0xa1,0xb5,0x00,0x54,0x9c,0xf0,0x34,0x12,0x00,0x00]
1029 vandpd 4660(%rax,%r14,8), %xmm25, %xmm19
1031 // CHECK: vandpd (%rcx){1to2}, %xmm25, %xmm19
1032 // CHECK: encoding: [0x62,0xe1,0xb5,0x10,0x54,0x19]
1033 vandpd (%rcx){1to2}, %xmm25, %xmm19
1035 // CHECK: vandpd 2032(%rdx), %xmm25, %xmm19
1036 // CHECK: encoding: [0x62,0xe1,0xb5,0x00,0x54,0x5a,0x7f]
1037 vandpd 2032(%rdx), %xmm25, %xmm19
1039 // CHECK: vandpd 2048(%rdx), %xmm25, %xmm19
1040 // CHECK: encoding: [0x62,0xe1,0xb5,0x00,0x54,0x9a,0x00,0x08,0x00,0x00]
1041 vandpd 2048(%rdx), %xmm25, %xmm19
1043 // CHECK: vandpd -2048(%rdx), %xmm25, %xmm19
1044 // CHECK: encoding: [0x62,0xe1,0xb5,0x00,0x54,0x5a,0x80]
1045 vandpd -2048(%rdx), %xmm25, %xmm19
1047 // CHECK: vandpd -2064(%rdx), %xmm25, %xmm19
1048 // CHECK: encoding: [0x62,0xe1,0xb5,0x00,0x54,0x9a,0xf0,0xf7,0xff,0xff]
1049 vandpd -2064(%rdx), %xmm25, %xmm19
1051 // CHECK: vandpd 1016(%rdx){1to2}, %xmm25, %xmm19
1052 // CHECK: encoding: [0x62,0xe1,0xb5,0x10,0x54,0x5a,0x7f]
1053 vandpd 1016(%rdx){1to2}, %xmm25, %xmm19
1055 // CHECK: vandpd 1024(%rdx){1to2}, %xmm25, %xmm19
1056 // CHECK: encoding: [0x62,0xe1,0xb5,0x10,0x54,0x9a,0x00,0x04,0x00,0x00]
1057 vandpd 1024(%rdx){1to2}, %xmm25, %xmm19
1059 // CHECK: vandpd -1024(%rdx){1to2}, %xmm25, %xmm19
1060 // CHECK: encoding: [0x62,0xe1,0xb5,0x10,0x54,0x5a,0x80]
1061 vandpd -1024(%rdx){1to2}, %xmm25, %xmm19
1063 // CHECK: vandpd -1032(%rdx){1to2}, %xmm25, %xmm19
1064 // CHECK: encoding: [0x62,0xe1,0xb5,0x10,0x54,0x9a,0xf8,0xfb,0xff,0xff]
1065 vandpd -1032(%rdx){1to2}, %xmm25, %xmm19
1067 // CHECK: vandpd %ymm21, %ymm29, %ymm24
1068 // CHECK: encoding: [0x62,0x21,0x95,0x20,0x54,0xc5]
1069 vandpd %ymm21, %ymm29, %ymm24
1071 // CHECK: vandpd %ymm21, %ymm29, %ymm24 {%k2}
1072 // CHECK: encoding: [0x62,0x21,0x95,0x22,0x54,0xc5]
1073 vandpd %ymm21, %ymm29, %ymm24 {%k2}
1075 // CHECK: vandpd %ymm21, %ymm29, %ymm24 {%k2} {z}
1076 // CHECK: encoding: [0x62,0x21,0x95,0xa2,0x54,0xc5]
1077 vandpd %ymm21, %ymm29, %ymm24 {%k2} {z}
1079 // CHECK: vandpd (%rcx), %ymm29, %ymm24
1080 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x54,0x01]
1081 vandpd (%rcx), %ymm29, %ymm24
1083 // CHECK: vandpd 4660(%rax,%r14,8), %ymm29, %ymm24
1084 // CHECK: encoding: [0x62,0x21,0x95,0x20,0x54,0x84,0xf0,0x34,0x12,0x00,0x00]
1085 vandpd 4660(%rax,%r14,8), %ymm29, %ymm24
1087 // CHECK: vandpd (%rcx){1to4}, %ymm29, %ymm24
1088 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x54,0x01]
1089 vandpd (%rcx){1to4}, %ymm29, %ymm24
1091 // CHECK: vandpd 4064(%rdx), %ymm29, %ymm24
1092 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x54,0x42,0x7f]
1093 vandpd 4064(%rdx), %ymm29, %ymm24
1095 // CHECK: vandpd 4096(%rdx), %ymm29, %ymm24
1096 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x54,0x82,0x00,0x10,0x00,0x00]
1097 vandpd 4096(%rdx), %ymm29, %ymm24
1099 // CHECK: vandpd -4096(%rdx), %ymm29, %ymm24
1100 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x54,0x42,0x80]
1101 vandpd -4096(%rdx), %ymm29, %ymm24
1103 // CHECK: vandpd -4128(%rdx), %ymm29, %ymm24
1104 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x54,0x82,0xe0,0xef,0xff,0xff]
1105 vandpd -4128(%rdx), %ymm29, %ymm24
1107 // CHECK: vandpd 1016(%rdx){1to4}, %ymm29, %ymm24
1108 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x54,0x42,0x7f]
1109 vandpd 1016(%rdx){1to4}, %ymm29, %ymm24
1111 // CHECK: vandpd 1024(%rdx){1to4}, %ymm29, %ymm24
1112 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x54,0x82,0x00,0x04,0x00,0x00]
1113 vandpd 1024(%rdx){1to4}, %ymm29, %ymm24
1115 // CHECK: vandpd -1024(%rdx){1to4}, %ymm29, %ymm24
1116 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x54,0x42,0x80]
1117 vandpd -1024(%rdx){1to4}, %ymm29, %ymm24
1119 // CHECK: vandpd -1032(%rdx){1to4}, %ymm29, %ymm24
1120 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x54,0x82,0xf8,0xfb,0xff,0xff]
1121 vandpd -1032(%rdx){1to4}, %ymm29, %ymm24
1123 // CHECK: vandps %xmm17, %xmm25, %xmm22
1124 // CHECK: encoding: [0x62,0xa1,0x34,0x00,0x54,0xf1]
1125 vandps %xmm17, %xmm25, %xmm22
1127 // CHECK: vandps %xmm17, %xmm25, %xmm22 {%k3}
1128 // CHECK: encoding: [0x62,0xa1,0x34,0x03,0x54,0xf1]
1129 vandps %xmm17, %xmm25, %xmm22 {%k3}
1131 // CHECK: vandps %xmm17, %xmm25, %xmm22 {%k3} {z}
1132 // CHECK: encoding: [0x62,0xa1,0x34,0x83,0x54,0xf1]
1133 vandps %xmm17, %xmm25, %xmm22 {%k3} {z}
1135 // CHECK: vandps (%rcx), %xmm25, %xmm22
1136 // CHECK: encoding: [0x62,0xe1,0x34,0x00,0x54,0x31]
1137 vandps (%rcx), %xmm25, %xmm22
1139 // CHECK: vandps 4660(%rax,%r14,8), %xmm25, %xmm22
1140 // CHECK: encoding: [0x62,0xa1,0x34,0x00,0x54,0xb4,0xf0,0x34,0x12,0x00,0x00]
1141 vandps 4660(%rax,%r14,8), %xmm25, %xmm22
1143 // CHECK: vandps (%rcx){1to4}, %xmm25, %xmm22
1144 // CHECK: encoding: [0x62,0xe1,0x34,0x10,0x54,0x31]
1145 vandps (%rcx){1to4}, %xmm25, %xmm22
1147 // CHECK: vandps 2032(%rdx), %xmm25, %xmm22
1148 // CHECK: encoding: [0x62,0xe1,0x34,0x00,0x54,0x72,0x7f]
1149 vandps 2032(%rdx), %xmm25, %xmm22
1151 // CHECK: vandps 2048(%rdx), %xmm25, %xmm22
1152 // CHECK: encoding: [0x62,0xe1,0x34,0x00,0x54,0xb2,0x00,0x08,0x00,0x00]
1153 vandps 2048(%rdx), %xmm25, %xmm22
1155 // CHECK: vandps -2048(%rdx), %xmm25, %xmm22
1156 // CHECK: encoding: [0x62,0xe1,0x34,0x00,0x54,0x72,0x80]
1157 vandps -2048(%rdx), %xmm25, %xmm22
1159 // CHECK: vandps -2064(%rdx), %xmm25, %xmm22
1160 // CHECK: encoding: [0x62,0xe1,0x34,0x00,0x54,0xb2,0xf0,0xf7,0xff,0xff]
1161 vandps -2064(%rdx), %xmm25, %xmm22
1163 // CHECK: vandps 508(%rdx){1to4}, %xmm25, %xmm22
1164 // CHECK: encoding: [0x62,0xe1,0x34,0x10,0x54,0x72,0x7f]
1165 vandps 508(%rdx){1to4}, %xmm25, %xmm22
1167 // CHECK: vandps 512(%rdx){1to4}, %xmm25, %xmm22
1168 // CHECK: encoding: [0x62,0xe1,0x34,0x10,0x54,0xb2,0x00,0x02,0x00,0x00]
1169 vandps 512(%rdx){1to4}, %xmm25, %xmm22
1171 // CHECK: vandps -512(%rdx){1to4}, %xmm25, %xmm22
1172 // CHECK: encoding: [0x62,0xe1,0x34,0x10,0x54,0x72,0x80]
1173 vandps -512(%rdx){1to4}, %xmm25, %xmm22
1175 // CHECK: vandps -516(%rdx){1to4}, %xmm25, %xmm22
1176 // CHECK: encoding: [0x62,0xe1,0x34,0x10,0x54,0xb2,0xfc,0xfd,0xff,0xff]
1177 vandps -516(%rdx){1to4}, %xmm25, %xmm22
1179 // CHECK: vandps %ymm18, %ymm25, %ymm22
1180 // CHECK: encoding: [0x62,0xa1,0x34,0x20,0x54,0xf2]
1181 vandps %ymm18, %ymm25, %ymm22
1183 // CHECK: vandps %ymm18, %ymm25, %ymm22 {%k1}
1184 // CHECK: encoding: [0x62,0xa1,0x34,0x21,0x54,0xf2]
1185 vandps %ymm18, %ymm25, %ymm22 {%k1}
1187 // CHECK: vandps %ymm18, %ymm25, %ymm22 {%k1} {z}
1188 // CHECK: encoding: [0x62,0xa1,0x34,0xa1,0x54,0xf2]
1189 vandps %ymm18, %ymm25, %ymm22 {%k1} {z}
1191 // CHECK: vandps (%rcx), %ymm25, %ymm22
1192 // CHECK: encoding: [0x62,0xe1,0x34,0x20,0x54,0x31]
1193 vandps (%rcx), %ymm25, %ymm22
1195 // CHECK: vandps 4660(%rax,%r14,8), %ymm25, %ymm22
1196 // CHECK: encoding: [0x62,0xa1,0x34,0x20,0x54,0xb4,0xf0,0x34,0x12,0x00,0x00]
1197 vandps 4660(%rax,%r14,8), %ymm25, %ymm22
1199 // CHECK: vandps (%rcx){1to8}, %ymm25, %ymm22
1200 // CHECK: encoding: [0x62,0xe1,0x34,0x30,0x54,0x31]
1201 vandps (%rcx){1to8}, %ymm25, %ymm22
1203 // CHECK: vandps 4064(%rdx), %ymm25, %ymm22
1204 // CHECK: encoding: [0x62,0xe1,0x34,0x20,0x54,0x72,0x7f]
1205 vandps 4064(%rdx), %ymm25, %ymm22
1207 // CHECK: vandps 4096(%rdx), %ymm25, %ymm22
1208 // CHECK: encoding: [0x62,0xe1,0x34,0x20,0x54,0xb2,0x00,0x10,0x00,0x00]
1209 vandps 4096(%rdx), %ymm25, %ymm22
1211 // CHECK: vandps -4096(%rdx), %ymm25, %ymm22
1212 // CHECK: encoding: [0x62,0xe1,0x34,0x20,0x54,0x72,0x80]
1213 vandps -4096(%rdx), %ymm25, %ymm22
1215 // CHECK: vandps -4128(%rdx), %ymm25, %ymm22
1216 // CHECK: encoding: [0x62,0xe1,0x34,0x20,0x54,0xb2,0xe0,0xef,0xff,0xff]
1217 vandps -4128(%rdx), %ymm25, %ymm22
1219 // CHECK: vandps 508(%rdx){1to8}, %ymm25, %ymm22
1220 // CHECK: encoding: [0x62,0xe1,0x34,0x30,0x54,0x72,0x7f]
1221 vandps 508(%rdx){1to8}, %ymm25, %ymm22
1223 // CHECK: vandps 512(%rdx){1to8}, %ymm25, %ymm22
1224 // CHECK: encoding: [0x62,0xe1,0x34,0x30,0x54,0xb2,0x00,0x02,0x00,0x00]
1225 vandps 512(%rdx){1to8}, %ymm25, %ymm22
1227 // CHECK: vandps -512(%rdx){1to8}, %ymm25, %ymm22
1228 // CHECK: encoding: [0x62,0xe1,0x34,0x30,0x54,0x72,0x80]
1229 vandps -512(%rdx){1to8}, %ymm25, %ymm22
1231 // CHECK: vandps -516(%rdx){1to8}, %ymm25, %ymm22
1232 // CHECK: encoding: [0x62,0xe1,0x34,0x30,0x54,0xb2,0xfc,0xfd,0xff,0xff]
1233 vandps -516(%rdx){1to8}, %ymm25, %ymm22
1235 // CHECK: vandnpd %xmm23, %xmm18, %xmm19
1236 // CHECK: encoding: [0x62,0xa1,0xed,0x00,0x55,0xdf]
1237 vandnpd %xmm23, %xmm18, %xmm19
1239 // CHECK: vandnpd %xmm23, %xmm18, %xmm19 {%k1}
1240 // CHECK: encoding: [0x62,0xa1,0xed,0x01,0x55,0xdf]
1241 vandnpd %xmm23, %xmm18, %xmm19 {%k1}
1243 // CHECK: vandnpd %xmm23, %xmm18, %xmm19 {%k1} {z}
1244 // CHECK: encoding: [0x62,0xa1,0xed,0x81,0x55,0xdf]
1245 vandnpd %xmm23, %xmm18, %xmm19 {%k1} {z}
1247 // CHECK: vandnpd (%rcx), %xmm18, %xmm19
1248 // CHECK: encoding: [0x62,0xe1,0xed,0x00,0x55,0x19]
1249 vandnpd (%rcx), %xmm18, %xmm19
1251 // CHECK: vandnpd 4660(%rax,%r14,8), %xmm18, %xmm19
1252 // CHECK: encoding: [0x62,0xa1,0xed,0x00,0x55,0x9c,0xf0,0x34,0x12,0x00,0x00]
1253 vandnpd 4660(%rax,%r14,8), %xmm18, %xmm19
1255 // CHECK: vandnpd (%rcx){1to2}, %xmm18, %xmm19
1256 // CHECK: encoding: [0x62,0xe1,0xed,0x10,0x55,0x19]
1257 vandnpd (%rcx){1to2}, %xmm18, %xmm19
1259 // CHECK: vandnpd 2032(%rdx), %xmm18, %xmm19
1260 // CHECK: encoding: [0x62,0xe1,0xed,0x00,0x55,0x5a,0x7f]
1261 vandnpd 2032(%rdx), %xmm18, %xmm19
1263 // CHECK: vandnpd 2048(%rdx), %xmm18, %xmm19
1264 // CHECK: encoding: [0x62,0xe1,0xed,0x00,0x55,0x9a,0x00,0x08,0x00,0x00]
1265 vandnpd 2048(%rdx), %xmm18, %xmm19
1267 // CHECK: vandnpd -2048(%rdx), %xmm18, %xmm19
1268 // CHECK: encoding: [0x62,0xe1,0xed,0x00,0x55,0x5a,0x80]
1269 vandnpd -2048(%rdx), %xmm18, %xmm19
1271 // CHECK: vandnpd -2064(%rdx), %xmm18, %xmm19
1272 // CHECK: encoding: [0x62,0xe1,0xed,0x00,0x55,0x9a,0xf0,0xf7,0xff,0xff]
1273 vandnpd -2064(%rdx), %xmm18, %xmm19
1275 // CHECK: vandnpd 1016(%rdx){1to2}, %xmm18, %xmm19
1276 // CHECK: encoding: [0x62,0xe1,0xed,0x10,0x55,0x5a,0x7f]
1277 vandnpd 1016(%rdx){1to2}, %xmm18, %xmm19
1279 // CHECK: vandnpd 1024(%rdx){1to2}, %xmm18, %xmm19
1280 // CHECK: encoding: [0x62,0xe1,0xed,0x10,0x55,0x9a,0x00,0x04,0x00,0x00]
1281 vandnpd 1024(%rdx){1to2}, %xmm18, %xmm19
1283 // CHECK: vandnpd -1024(%rdx){1to2}, %xmm18, %xmm19
1284 // CHECK: encoding: [0x62,0xe1,0xed,0x10,0x55,0x5a,0x80]
1285 vandnpd -1024(%rdx){1to2}, %xmm18, %xmm19
1287 // CHECK: vandnpd -1032(%rdx){1to2}, %xmm18, %xmm19
1288 // CHECK: encoding: [0x62,0xe1,0xed,0x10,0x55,0x9a,0xf8,0xfb,0xff,0xff]
1289 vandnpd -1032(%rdx){1to2}, %xmm18, %xmm19
1291 // CHECK: vandnpd %ymm28, %ymm29, %ymm25
1292 // CHECK: encoding: [0x62,0x01,0x95,0x20,0x55,0xcc]
1293 vandnpd %ymm28, %ymm29, %ymm25
1295 // CHECK: vandnpd %ymm28, %ymm29, %ymm25 {%k7}
1296 // CHECK: encoding: [0x62,0x01,0x95,0x27,0x55,0xcc]
1297 vandnpd %ymm28, %ymm29, %ymm25 {%k7}
1299 // CHECK: vandnpd %ymm28, %ymm29, %ymm25 {%k7} {z}
1300 // CHECK: encoding: [0x62,0x01,0x95,0xa7,0x55,0xcc]
1301 vandnpd %ymm28, %ymm29, %ymm25 {%k7} {z}
1303 // CHECK: vandnpd (%rcx), %ymm29, %ymm25
1304 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x55,0x09]
1305 vandnpd (%rcx), %ymm29, %ymm25
1307 // CHECK: vandnpd 4660(%rax,%r14,8), %ymm29, %ymm25
1308 // CHECK: encoding: [0x62,0x21,0x95,0x20,0x55,0x8c,0xf0,0x34,0x12,0x00,0x00]
1309 vandnpd 4660(%rax,%r14,8), %ymm29, %ymm25
1311 // CHECK: vandnpd (%rcx){1to4}, %ymm29, %ymm25
1312 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x55,0x09]
1313 vandnpd (%rcx){1to4}, %ymm29, %ymm25
1315 // CHECK: vandnpd 4064(%rdx), %ymm29, %ymm25
1316 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x55,0x4a,0x7f]
1317 vandnpd 4064(%rdx), %ymm29, %ymm25
1319 // CHECK: vandnpd 4096(%rdx), %ymm29, %ymm25
1320 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x55,0x8a,0x00,0x10,0x00,0x00]
1321 vandnpd 4096(%rdx), %ymm29, %ymm25
1323 // CHECK: vandnpd -4096(%rdx), %ymm29, %ymm25
1324 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x55,0x4a,0x80]
1325 vandnpd -4096(%rdx), %ymm29, %ymm25
1327 // CHECK: vandnpd -4128(%rdx), %ymm29, %ymm25
1328 // CHECK: encoding: [0x62,0x61,0x95,0x20,0x55,0x8a,0xe0,0xef,0xff,0xff]
1329 vandnpd -4128(%rdx), %ymm29, %ymm25
1331 // CHECK: vandnpd 1016(%rdx){1to4}, %ymm29, %ymm25
1332 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x55,0x4a,0x7f]
1333 vandnpd 1016(%rdx){1to4}, %ymm29, %ymm25
1335 // CHECK: vandnpd 1024(%rdx){1to4}, %ymm29, %ymm25
1336 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x55,0x8a,0x00,0x04,0x00,0x00]
1337 vandnpd 1024(%rdx){1to4}, %ymm29, %ymm25
1339 // CHECK: vandnpd -1024(%rdx){1to4}, %ymm29, %ymm25
1340 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x55,0x4a,0x80]
1341 vandnpd -1024(%rdx){1to4}, %ymm29, %ymm25
1343 // CHECK: vandnpd -1032(%rdx){1to4}, %ymm29, %ymm25
1344 // CHECK: encoding: [0x62,0x61,0x95,0x30,0x55,0x8a,0xf8,0xfb,0xff,0xff]
1345 vandnpd -1032(%rdx){1to4}, %ymm29, %ymm25
1347 // CHECK: vandnps %xmm23, %xmm17, %xmm25
1348 // CHECK: encoding: [0x62,0x21,0x74,0x00,0x55,0xcf]
1349 vandnps %xmm23, %xmm17, %xmm25
1351 // CHECK: vandnps %xmm23, %xmm17, %xmm25 {%k5}
1352 // CHECK: encoding: [0x62,0x21,0x74,0x05,0x55,0xcf]
1353 vandnps %xmm23, %xmm17, %xmm25 {%k5}
1355 // CHECK: vandnps %xmm23, %xmm17, %xmm25 {%k5} {z}
1356 // CHECK: encoding: [0x62,0x21,0x74,0x85,0x55,0xcf]
1357 vandnps %xmm23, %xmm17, %xmm25 {%k5} {z}
1359 // CHECK: vandnps (%rcx), %xmm17, %xmm25
1360 // CHECK: encoding: [0x62,0x61,0x74,0x00,0x55,0x09]
1361 vandnps (%rcx), %xmm17, %xmm25
1363 // CHECK: vandnps 4660(%rax,%r14,8), %xmm17, %xmm25
1364 // CHECK: encoding: [0x62,0x21,0x74,0x00,0x55,0x8c,0xf0,0x34,0x12,0x00,0x00]
1365 vandnps 4660(%rax,%r14,8), %xmm17, %xmm25
1367 // CHECK: vandnps (%rcx){1to4}, %xmm17, %xmm25
1368 // CHECK: encoding: [0x62,0x61,0x74,0x10,0x55,0x09]
1369 vandnps (%rcx){1to4}, %xmm17, %xmm25
1371 // CHECK: vandnps 2032(%rdx), %xmm17, %xmm25
1372 // CHECK: encoding: [0x62,0x61,0x74,0x00,0x55,0x4a,0x7f]
1373 vandnps 2032(%rdx), %xmm17, %xmm25
1375 // CHECK: vandnps 2048(%rdx), %xmm17, %xmm25
1376 // CHECK: encoding: [0x62,0x61,0x74,0x00,0x55,0x8a,0x00,0x08,0x00,0x00]
1377 vandnps 2048(%rdx), %xmm17, %xmm25
1379 // CHECK: vandnps -2048(%rdx), %xmm17, %xmm25
1380 // CHECK: encoding: [0x62,0x61,0x74,0x00,0x55,0x4a,0x80]
1381 vandnps -2048(%rdx), %xmm17, %xmm25
1383 // CHECK: vandnps -2064(%rdx), %xmm17, %xmm25
1384 // CHECK: encoding: [0x62,0x61,0x74,0x00,0x55,0x8a,0xf0,0xf7,0xff,0xff]
1385 vandnps -2064(%rdx), %xmm17, %xmm25
1387 // CHECK: vandnps 508(%rdx){1to4}, %xmm17, %xmm25
1388 // CHECK: encoding: [0x62,0x61,0x74,0x10,0x55,0x4a,0x7f]
1389 vandnps 508(%rdx){1to4}, %xmm17, %xmm25
1391 // CHECK: vandnps 512(%rdx){1to4}, %xmm17, %xmm25
1392 // CHECK: encoding: [0x62,0x61,0x74,0x10,0x55,0x8a,0x00,0x02,0x00,0x00]
1393 vandnps 512(%rdx){1to4}, %xmm17, %xmm25
1395 // CHECK: vandnps -512(%rdx){1to4}, %xmm17, %xmm25
1396 // CHECK: encoding: [0x62,0x61,0x74,0x10,0x55,0x4a,0x80]
1397 vandnps -512(%rdx){1to4}, %xmm17, %xmm25
1399 // CHECK: vandnps -516(%rdx){1to4}, %xmm17, %xmm25
1400 // CHECK: encoding: [0x62,0x61,0x74,0x10,0x55,0x8a,0xfc,0xfd,0xff,0xff]
1401 vandnps -516(%rdx){1to4}, %xmm17, %xmm25
1403 // CHECK: vandnps %ymm23, %ymm19, %ymm18
1404 // CHECK: encoding: [0x62,0xa1,0x64,0x20,0x55,0xd7]
1405 vandnps %ymm23, %ymm19, %ymm18
1407 // CHECK: vandnps %ymm23, %ymm19, %ymm18 {%k6}
1408 // CHECK: encoding: [0x62,0xa1,0x64,0x26,0x55,0xd7]
1409 vandnps %ymm23, %ymm19, %ymm18 {%k6}
1411 // CHECK: vandnps %ymm23, %ymm19, %ymm18 {%k6} {z}
1412 // CHECK: encoding: [0x62,0xa1,0x64,0xa6,0x55,0xd7]
1413 vandnps %ymm23, %ymm19, %ymm18 {%k6} {z}
1415 // CHECK: vandnps (%rcx), %ymm19, %ymm18
1416 // CHECK: encoding: [0x62,0xe1,0x64,0x20,0x55,0x11]
1417 vandnps (%rcx), %ymm19, %ymm18
1419 // CHECK: vandnps 4660(%rax,%r14,8), %ymm19, %ymm18
1420 // CHECK: encoding: [0x62,0xa1,0x64,0x20,0x55,0x94,0xf0,0x34,0x12,0x00,0x00]
1421 vandnps 4660(%rax,%r14,8), %ymm19, %ymm18
1423 // CHECK: vandnps (%rcx){1to8}, %ymm19, %ymm18
1424 // CHECK: encoding: [0x62,0xe1,0x64,0x30,0x55,0x11]
1425 vandnps (%rcx){1to8}, %ymm19, %ymm18
1427 // CHECK: vandnps 4064(%rdx), %ymm19, %ymm18
1428 // CHECK: encoding: [0x62,0xe1,0x64,0x20,0x55,0x52,0x7f]
1429 vandnps 4064(%rdx), %ymm19, %ymm18
1431 // CHECK: vandnps 4096(%rdx), %ymm19, %ymm18
1432 // CHECK: encoding: [0x62,0xe1,0x64,0x20,0x55,0x92,0x00,0x10,0x00,0x00]
1433 vandnps 4096(%rdx), %ymm19, %ymm18
1435 // CHECK: vandnps -4096(%rdx), %ymm19, %ymm18
1436 // CHECK: encoding: [0x62,0xe1,0x64,0x20,0x55,0x52,0x80]
1437 vandnps -4096(%rdx), %ymm19, %ymm18
1439 // CHECK: vandnps -4128(%rdx), %ymm19, %ymm18
1440 // CHECK: encoding: [0x62,0xe1,0x64,0x20,0x55,0x92,0xe0,0xef,0xff,0xff]
1441 vandnps -4128(%rdx), %ymm19, %ymm18
1443 // CHECK: vandnps 508(%rdx){1to8}, %ymm19, %ymm18
1444 // CHECK: encoding: [0x62,0xe1,0x64,0x30,0x55,0x52,0x7f]
1445 vandnps 508(%rdx){1to8}, %ymm19, %ymm18
1447 // CHECK: vandnps 512(%rdx){1to8}, %ymm19, %ymm18
1448 // CHECK: encoding: [0x62,0xe1,0x64,0x30,0x55,0x92,0x00,0x02,0x00,0x00]
1449 vandnps 512(%rdx){1to8}, %ymm19, %ymm18
1451 // CHECK: vandnps -512(%rdx){1to8}, %ymm19, %ymm18
1452 // CHECK: encoding: [0x62,0xe1,0x64,0x30,0x55,0x52,0x80]
1453 vandnps -512(%rdx){1to8}, %ymm19, %ymm18
1455 // CHECK: vandnps -516(%rdx){1to8}, %ymm19, %ymm18
1456 // CHECK: encoding: [0x62,0xe1,0x64,0x30,0x55,0x92,0xfc,0xfd,0xff,0xff]
1457 vandnps -516(%rdx){1to8}, %ymm19, %ymm18
1459 // CHECK: vorpd %xmm18, %xmm29, %xmm26
1460 // CHECK: encoding: [0x62,0x21,0x95,0x00,0x56,0xd2]
1461 vorpd %xmm18, %xmm29, %xmm26
1463 // CHECK: vorpd %xmm18, %xmm29, %xmm26 {%k2}
1464 // CHECK: encoding: [0x62,0x21,0x95,0x02,0x56,0xd2]
1465 vorpd %xmm18, %xmm29, %xmm26 {%k2}
1467 // CHECK: vorpd %xmm18, %xmm29, %xmm26 {%k2} {z}
1468 // CHECK: encoding: [0x62,0x21,0x95,0x82,0x56,0xd2]
1469 vorpd %xmm18, %xmm29, %xmm26 {%k2} {z}
1471 // CHECK: vorpd (%rcx), %xmm29, %xmm26
1472 // CHECK: encoding: [0x62,0x61,0x95,0x00,0x56,0x11]
1473 vorpd (%rcx), %xmm29, %xmm26
1475 // CHECK: vorpd 4660(%rax,%r14,8), %xmm29, %xmm26
1476 // CHECK: encoding: [0x62,0x21,0x95,0x00,0x56,0x94,0xf0,0x34,0x12,0x00,0x00]
1477 vorpd 4660(%rax,%r14,8), %xmm29, %xmm26
1479 // CHECK: vorpd (%rcx){1to2}, %xmm29, %xmm26
1480 // CHECK: encoding: [0x62,0x61,0x95,0x10,0x56,0x11]
1481 vorpd (%rcx){1to2}, %xmm29, %xmm26
1483 // CHECK: vorpd 2032(%rdx), %xmm29, %xmm26
1484 // CHECK: encoding: [0x62,0x61,0x95,0x00,0x56,0x52,0x7f]
1485 vorpd 2032(%rdx), %xmm29, %xmm26
1487 // CHECK: vorpd 2048(%rdx), %xmm29, %xmm26
1488 // CHECK: encoding: [0x62,0x61,0x95,0x00,0x56,0x92,0x00,0x08,0x00,0x00]
1489 vorpd 2048(%rdx), %xmm29, %xmm26
1491 // CHECK: vorpd -2048(%rdx), %xmm29, %xmm26
1492 // CHECK: encoding: [0x62,0x61,0x95,0x00,0x56,0x52,0x80]
1493 vorpd -2048(%rdx), %xmm29, %xmm26
1495 // CHECK: vorpd -2064(%rdx), %xmm29, %xmm26
1496 // CHECK: encoding: [0x62,0x61,0x95,0x00,0x56,0x92,0xf0,0xf7,0xff,0xff]
1497 vorpd -2064(%rdx), %xmm29, %xmm26
1499 // CHECK: vorpd 1016(%rdx){1to2}, %xmm29, %xmm26
1500 // CHECK: encoding: [0x62,0x61,0x95,0x10,0x56,0x52,0x7f]
1501 vorpd 1016(%rdx){1to2}, %xmm29, %xmm26
1503 // CHECK: vorpd 1024(%rdx){1to2}, %xmm29, %xmm26
1504 // CHECK: encoding: [0x62,0x61,0x95,0x10,0x56,0x92,0x00,0x04,0x00,0x00]
1505 vorpd 1024(%rdx){1to2}, %xmm29, %xmm26
1507 // CHECK: vorpd -1024(%rdx){1to2}, %xmm29, %xmm26
1508 // CHECK: encoding: [0x62,0x61,0x95,0x10,0x56,0x52,0x80]
1509 vorpd -1024(%rdx){1to2}, %xmm29, %xmm26
1511 // CHECK: vorpd -1032(%rdx){1to2}, %xmm29, %xmm26
1512 // CHECK: encoding: [0x62,0x61,0x95,0x10,0x56,0x92,0xf8,0xfb,0xff,0xff]
1513 vorpd -1032(%rdx){1to2}, %xmm29, %xmm26
1515 // CHECK: vorpd %ymm22, %ymm19, %ymm28
1516 // CHECK: encoding: [0x62,0x21,0xe5,0x20,0x56,0xe6]
1517 vorpd %ymm22, %ymm19, %ymm28
1519 // CHECK: vorpd %ymm22, %ymm19, %ymm28 {%k1}
1520 // CHECK: encoding: [0x62,0x21,0xe5,0x21,0x56,0xe6]
1521 vorpd %ymm22, %ymm19, %ymm28 {%k1}
1523 // CHECK: vorpd %ymm22, %ymm19, %ymm28 {%k1} {z}
1524 // CHECK: encoding: [0x62,0x21,0xe5,0xa1,0x56,0xe6]
1525 vorpd %ymm22, %ymm19, %ymm28 {%k1} {z}
1527 // CHECK: vorpd (%rcx), %ymm19, %ymm28
1528 // CHECK: encoding: [0x62,0x61,0xe5,0x20,0x56,0x21]
1529 vorpd (%rcx), %ymm19, %ymm28
1531 // CHECK: vorpd 4660(%rax,%r14,8), %ymm19, %ymm28
1532 // CHECK: encoding: [0x62,0x21,0xe5,0x20,0x56,0xa4,0xf0,0x34,0x12,0x00,0x00]
1533 vorpd 4660(%rax,%r14,8), %ymm19, %ymm28
1535 // CHECK: vorpd (%rcx){1to4}, %ymm19, %ymm28
1536 // CHECK: encoding: [0x62,0x61,0xe5,0x30,0x56,0x21]
1537 vorpd (%rcx){1to4}, %ymm19, %ymm28
1539 // CHECK: vorpd 4064(%rdx), %ymm19, %ymm28
1540 // CHECK: encoding: [0x62,0x61,0xe5,0x20,0x56,0x62,0x7f]
1541 vorpd 4064(%rdx), %ymm19, %ymm28
1543 // CHECK: vorpd 4096(%rdx), %ymm19, %ymm28
1544 // CHECK: encoding: [0x62,0x61,0xe5,0x20,0x56,0xa2,0x00,0x10,0x00,0x00]
1545 vorpd 4096(%rdx), %ymm19, %ymm28
1547 // CHECK: vorpd -4096(%rdx), %ymm19, %ymm28
1548 // CHECK: encoding: [0x62,0x61,0xe5,0x20,0x56,0x62,0x80]
1549 vorpd -4096(%rdx), %ymm19, %ymm28
1551 // CHECK: vorpd -4128(%rdx), %ymm19, %ymm28
1552 // CHECK: encoding: [0x62,0x61,0xe5,0x20,0x56,0xa2,0xe0,0xef,0xff,0xff]
1553 vorpd -4128(%rdx), %ymm19, %ymm28
1555 // CHECK: vorpd 1016(%rdx){1to4}, %ymm19, %ymm28
1556 // CHECK: encoding: [0x62,0x61,0xe5,0x30,0x56,0x62,0x7f]
1557 vorpd 1016(%rdx){1to4}, %ymm19, %ymm28
1559 // CHECK: vorpd 1024(%rdx){1to4}, %ymm19, %ymm28
1560 // CHECK: encoding: [0x62,0x61,0xe5,0x30,0x56,0xa2,0x00,0x04,0x00,0x00]
1561 vorpd 1024(%rdx){1to4}, %ymm19, %ymm28
1563 // CHECK: vorpd -1024(%rdx){1to4}, %ymm19, %ymm28
1564 // CHECK: encoding: [0x62,0x61,0xe5,0x30,0x56,0x62,0x80]
1565 vorpd -1024(%rdx){1to4}, %ymm19, %ymm28
1567 // CHECK: vorpd -1032(%rdx){1to4}, %ymm19, %ymm28
1568 // CHECK: encoding: [0x62,0x61,0xe5,0x30,0x56,0xa2,0xf8,0xfb,0xff,0xff]
1569 vorpd -1032(%rdx){1to4}, %ymm19, %ymm28
1571 // CHECK: vorps %xmm24, %xmm22, %xmm28
1572 // CHECK: encoding: [0x62,0x01,0x4c,0x00,0x56,0xe0]
1573 vorps %xmm24, %xmm22, %xmm28
1575 // CHECK: vorps %xmm24, %xmm22, %xmm28 {%k6}
1576 // CHECK: encoding: [0x62,0x01,0x4c,0x06,0x56,0xe0]
1577 vorps %xmm24, %xmm22, %xmm28 {%k6}
1579 // CHECK: vorps %xmm24, %xmm22, %xmm28 {%k6} {z}
1580 // CHECK: encoding: [0x62,0x01,0x4c,0x86,0x56,0xe0]
1581 vorps %xmm24, %xmm22, %xmm28 {%k6} {z}
1583 // CHECK: vorps (%rcx), %xmm22, %xmm28
1584 // CHECK: encoding: [0x62,0x61,0x4c,0x00,0x56,0x21]
1585 vorps (%rcx), %xmm22, %xmm28
1587 // CHECK: vorps 4660(%rax,%r14,8), %xmm22, %xmm28
1588 // CHECK: encoding: [0x62,0x21,0x4c,0x00,0x56,0xa4,0xf0,0x34,0x12,0x00,0x00]
1589 vorps 4660(%rax,%r14,8), %xmm22, %xmm28
1591 // CHECK: vorps (%rcx){1to4}, %xmm22, %xmm28
1592 // CHECK: encoding: [0x62,0x61,0x4c,0x10,0x56,0x21]
1593 vorps (%rcx){1to4}, %xmm22, %xmm28
1595 // CHECK: vorps 2032(%rdx), %xmm22, %xmm28
1596 // CHECK: encoding: [0x62,0x61,0x4c,0x00,0x56,0x62,0x7f]
1597 vorps 2032(%rdx), %xmm22, %xmm28
1599 // CHECK: vorps 2048(%rdx), %xmm22, %xmm28
1600 // CHECK: encoding: [0x62,0x61,0x4c,0x00,0x56,0xa2,0x00,0x08,0x00,0x00]
1601 vorps 2048(%rdx), %xmm22, %xmm28
1603 // CHECK: vorps -2048(%rdx), %xmm22, %xmm28
1604 // CHECK: encoding: [0x62,0x61,0x4c,0x00,0x56,0x62,0x80]
1605 vorps -2048(%rdx), %xmm22, %xmm28
1607 // CHECK: vorps -2064(%rdx), %xmm22, %xmm28
1608 // CHECK: encoding: [0x62,0x61,0x4c,0x00,0x56,0xa2,0xf0,0xf7,0xff,0xff]
1609 vorps -2064(%rdx), %xmm22, %xmm28
1611 // CHECK: vorps 508(%rdx){1to4}, %xmm22, %xmm28
1612 // CHECK: encoding: [0x62,0x61,0x4c,0x10,0x56,0x62,0x7f]
1613 vorps 508(%rdx){1to4}, %xmm22, %xmm28
1615 // CHECK: vorps 512(%rdx){1to4}, %xmm22, %xmm28
1616 // CHECK: encoding: [0x62,0x61,0x4c,0x10,0x56,0xa2,0x00,0x02,0x00,0x00]
1617 vorps 512(%rdx){1to4}, %xmm22, %xmm28
1619 // CHECK: vorps -512(%rdx){1to4}, %xmm22, %xmm28
1620 // CHECK: encoding: [0x62,0x61,0x4c,0x10,0x56,0x62,0x80]
1621 vorps -512(%rdx){1to4}, %xmm22, %xmm28
1623 // CHECK: vorps -516(%rdx){1to4}, %xmm22, %xmm28
1624 // CHECK: encoding: [0x62,0x61,0x4c,0x10,0x56,0xa2,0xfc,0xfd,0xff,0xff]
1625 vorps -516(%rdx){1to4}, %xmm22, %xmm28
1627 // CHECK: vorps %ymm25, %ymm24, %ymm20
1628 // CHECK: encoding: [0x62,0x81,0x3c,0x20,0x56,0xe1]
1629 vorps %ymm25, %ymm24, %ymm20
1631 // CHECK: vorps %ymm25, %ymm24, %ymm20 {%k1}
1632 // CHECK: encoding: [0x62,0x81,0x3c,0x21,0x56,0xe1]
1633 vorps %ymm25, %ymm24, %ymm20 {%k1}
1635 // CHECK: vorps %ymm25, %ymm24, %ymm20 {%k1} {z}
1636 // CHECK: encoding: [0x62,0x81,0x3c,0xa1,0x56,0xe1]
1637 vorps %ymm25, %ymm24, %ymm20 {%k1} {z}
1639 // CHECK: vorps (%rcx), %ymm24, %ymm20
1640 // CHECK: encoding: [0x62,0xe1,0x3c,0x20,0x56,0x21]
1641 vorps (%rcx), %ymm24, %ymm20
1643 // CHECK: vorps 4660(%rax,%r14,8), %ymm24, %ymm20
1644 // CHECK: encoding: [0x62,0xa1,0x3c,0x20,0x56,0xa4,0xf0,0x34,0x12,0x00,0x00]
1645 vorps 4660(%rax,%r14,8), %ymm24, %ymm20
1647 // CHECK: vorps (%rcx){1to8}, %ymm24, %ymm20
1648 // CHECK: encoding: [0x62,0xe1,0x3c,0x30,0x56,0x21]
1649 vorps (%rcx){1to8}, %ymm24, %ymm20
1651 // CHECK: vorps 4064(%rdx), %ymm24, %ymm20
1652 // CHECK: encoding: [0x62,0xe1,0x3c,0x20,0x56,0x62,0x7f]
1653 vorps 4064(%rdx), %ymm24, %ymm20
1655 // CHECK: vorps 4096(%rdx), %ymm24, %ymm20
1656 // CHECK: encoding: [0x62,0xe1,0x3c,0x20,0x56,0xa2,0x00,0x10,0x00,0x00]
1657 vorps 4096(%rdx), %ymm24, %ymm20
1659 // CHECK: vorps -4096(%rdx), %ymm24, %ymm20
1660 // CHECK: encoding: [0x62,0xe1,0x3c,0x20,0x56,0x62,0x80]
1661 vorps -4096(%rdx), %ymm24, %ymm20
1663 // CHECK: vorps -4128(%rdx), %ymm24, %ymm20
1664 // CHECK: encoding: [0x62,0xe1,0x3c,0x20,0x56,0xa2,0xe0,0xef,0xff,0xff]
1665 vorps -4128(%rdx), %ymm24, %ymm20
1667 // CHECK: vorps 508(%rdx){1to8}, %ymm24, %ymm20
1668 // CHECK: encoding: [0x62,0xe1,0x3c,0x30,0x56,0x62,0x7f]
1669 vorps 508(%rdx){1to8}, %ymm24, %ymm20
1671 // CHECK: vorps 512(%rdx){1to8}, %ymm24, %ymm20
1672 // CHECK: encoding: [0x62,0xe1,0x3c,0x30,0x56,0xa2,0x00,0x02,0x00,0x00]
1673 vorps 512(%rdx){1to8}, %ymm24, %ymm20
1675 // CHECK: vorps -512(%rdx){1to8}, %ymm24, %ymm20
1676 // CHECK: encoding: [0x62,0xe1,0x3c,0x30,0x56,0x62,0x80]
1677 vorps -512(%rdx){1to8}, %ymm24, %ymm20
1679 // CHECK: vorps -516(%rdx){1to8}, %ymm24, %ymm20
1680 // CHECK: encoding: [0x62,0xe1,0x3c,0x30,0x56,0xa2,0xfc,0xfd,0xff,0xff]
1681 vorps -516(%rdx){1to8}, %ymm24, %ymm20
1683 // CHECK: vxorpd %xmm18, %xmm21, %xmm22
1684 // CHECK: encoding: [0x62,0xa1,0xd5,0x00,0x57,0xf2]
1685 vxorpd %xmm18, %xmm21, %xmm22
1687 // CHECK: vxorpd %xmm18, %xmm21, %xmm22 {%k3}
1688 // CHECK: encoding: [0x62,0xa1,0xd5,0x03,0x57,0xf2]
1689 vxorpd %xmm18, %xmm21, %xmm22 {%k3}
1691 // CHECK: vxorpd %xmm18, %xmm21, %xmm22 {%k3} {z}
1692 // CHECK: encoding: [0x62,0xa1,0xd5,0x83,0x57,0xf2]
1693 vxorpd %xmm18, %xmm21, %xmm22 {%k3} {z}
1695 // CHECK: vxorpd (%rcx), %xmm21, %xmm22
1696 // CHECK: encoding: [0x62,0xe1,0xd5,0x00,0x57,0x31]
1697 vxorpd (%rcx), %xmm21, %xmm22
1699 // CHECK: vxorpd 4660(%rax,%r14,8), %xmm21, %xmm22
1700 // CHECK: encoding: [0x62,0xa1,0xd5,0x00,0x57,0xb4,0xf0,0x34,0x12,0x00,0x00]
1701 vxorpd 4660(%rax,%r14,8), %xmm21, %xmm22
1703 // CHECK: vxorpd (%rcx){1to2}, %xmm21, %xmm22
1704 // CHECK: encoding: [0x62,0xe1,0xd5,0x10,0x57,0x31]
1705 vxorpd (%rcx){1to2}, %xmm21, %xmm22
1707 // CHECK: vxorpd 2032(%rdx), %xmm21, %xmm22
1708 // CHECK: encoding: [0x62,0xe1,0xd5,0x00,0x57,0x72,0x7f]
1709 vxorpd 2032(%rdx), %xmm21, %xmm22
1711 // CHECK: vxorpd 2048(%rdx), %xmm21, %xmm22
1712 // CHECK: encoding: [0x62,0xe1,0xd5,0x00,0x57,0xb2,0x00,0x08,0x00,0x00]
1713 vxorpd 2048(%rdx), %xmm21, %xmm22
1715 // CHECK: vxorpd -2048(%rdx), %xmm21, %xmm22
1716 // CHECK: encoding: [0x62,0xe1,0xd5,0x00,0x57,0x72,0x80]
1717 vxorpd -2048(%rdx), %xmm21, %xmm22
1719 // CHECK: vxorpd -2064(%rdx), %xmm21, %xmm22
1720 // CHECK: encoding: [0x62,0xe1,0xd5,0x00,0x57,0xb2,0xf0,0xf7,0xff,0xff]
1721 vxorpd -2064(%rdx), %xmm21, %xmm22
1723 // CHECK: vxorpd 1016(%rdx){1to2}, %xmm21, %xmm22
1724 // CHECK: encoding: [0x62,0xe1,0xd5,0x10,0x57,0x72,0x7f]
1725 vxorpd 1016(%rdx){1to2}, %xmm21, %xmm22
1727 // CHECK: vxorpd 1024(%rdx){1to2}, %xmm21, %xmm22
1728 // CHECK: encoding: [0x62,0xe1,0xd5,0x10,0x57,0xb2,0x00,0x04,0x00,0x00]
1729 vxorpd 1024(%rdx){1to2}, %xmm21, %xmm22
1731 // CHECK: vxorpd -1024(%rdx){1to2}, %xmm21, %xmm22
1732 // CHECK: encoding: [0x62,0xe1,0xd5,0x10,0x57,0x72,0x80]
1733 vxorpd -1024(%rdx){1to2}, %xmm21, %xmm22
1735 // CHECK: vxorpd -1032(%rdx){1to2}, %xmm21, %xmm22
1736 // CHECK: encoding: [0x62,0xe1,0xd5,0x10,0x57,0xb2,0xf8,0xfb,0xff,0xff]
1737 vxorpd -1032(%rdx){1to2}, %xmm21, %xmm22
1739 // CHECK: vxorpd %ymm27, %ymm21, %ymm25
1740 // CHECK: encoding: [0x62,0x01,0xd5,0x20,0x57,0xcb]
1741 vxorpd %ymm27, %ymm21, %ymm25
1743 // CHECK: vxorpd %ymm27, %ymm21, %ymm25 {%k7}
1744 // CHECK: encoding: [0x62,0x01,0xd5,0x27,0x57,0xcb]
1745 vxorpd %ymm27, %ymm21, %ymm25 {%k7}
1747 // CHECK: vxorpd %ymm27, %ymm21, %ymm25 {%k7} {z}
1748 // CHECK: encoding: [0x62,0x01,0xd5,0xa7,0x57,0xcb]
1749 vxorpd %ymm27, %ymm21, %ymm25 {%k7} {z}
1751 // CHECK: vxorpd (%rcx), %ymm21, %ymm25
1752 // CHECK: encoding: [0x62,0x61,0xd5,0x20,0x57,0x09]
1753 vxorpd (%rcx), %ymm21, %ymm25
1755 // CHECK: vxorpd 4660(%rax,%r14,8), %ymm21, %ymm25
1756 // CHECK: encoding: [0x62,0x21,0xd5,0x20,0x57,0x8c,0xf0,0x34,0x12,0x00,0x00]
1757 vxorpd 4660(%rax,%r14,8), %ymm21, %ymm25
1759 // CHECK: vxorpd (%rcx){1to4}, %ymm21, %ymm25
1760 // CHECK: encoding: [0x62,0x61,0xd5,0x30,0x57,0x09]
1761 vxorpd (%rcx){1to4}, %ymm21, %ymm25
1763 // CHECK: vxorpd 4064(%rdx), %ymm21, %ymm25
1764 // CHECK: encoding: [0x62,0x61,0xd5,0x20,0x57,0x4a,0x7f]
1765 vxorpd 4064(%rdx), %ymm21, %ymm25
1767 // CHECK: vxorpd 4096(%rdx), %ymm21, %ymm25
1768 // CHECK: encoding: [0x62,0x61,0xd5,0x20,0x57,0x8a,0x00,0x10,0x00,0x00]
1769 vxorpd 4096(%rdx), %ymm21, %ymm25
1771 // CHECK: vxorpd -4096(%rdx), %ymm21, %ymm25
1772 // CHECK: encoding: [0x62,0x61,0xd5,0x20,0x57,0x4a,0x80]
1773 vxorpd -4096(%rdx), %ymm21, %ymm25
1775 // CHECK: vxorpd -4128(%rdx), %ymm21, %ymm25
1776 // CHECK: encoding: [0x62,0x61,0xd5,0x20,0x57,0x8a,0xe0,0xef,0xff,0xff]
1777 vxorpd -4128(%rdx), %ymm21, %ymm25
1779 // CHECK: vxorpd 1016(%rdx){1to4}, %ymm21, %ymm25
1780 // CHECK: encoding: [0x62,0x61,0xd5,0x30,0x57,0x4a,0x7f]
1781 vxorpd 1016(%rdx){1to4}, %ymm21, %ymm25
1783 // CHECK: vxorpd 1024(%rdx){1to4}, %ymm21, %ymm25
1784 // CHECK: encoding: [0x62,0x61,0xd5,0x30,0x57,0x8a,0x00,0x04,0x00,0x00]
1785 vxorpd 1024(%rdx){1to4}, %ymm21, %ymm25
1787 // CHECK: vxorpd -1024(%rdx){1to4}, %ymm21, %ymm25
1788 // CHECK: encoding: [0x62,0x61,0xd5,0x30,0x57,0x4a,0x80]
1789 vxorpd -1024(%rdx){1to4}, %ymm21, %ymm25
1791 // CHECK: vxorpd -1032(%rdx){1to4}, %ymm21, %ymm25
1792 // CHECK: encoding: [0x62,0x61,0xd5,0x30,0x57,0x8a,0xf8,0xfb,0xff,0xff]
1793 vxorpd -1032(%rdx){1to4}, %ymm21, %ymm25
1795 // CHECK: vxorps %xmm21, %xmm21, %xmm17
1796 // CHECK: encoding: [0x62,0xa1,0x54,0x00,0x57,0xcd]
1797 vxorps %xmm21, %xmm21, %xmm17
1799 // CHECK: vxorps %xmm21, %xmm21, %xmm17 {%k5}
1800 // CHECK: encoding: [0x62,0xa1,0x54,0x05,0x57,0xcd]
1801 vxorps %xmm21, %xmm21, %xmm17 {%k5}
1803 // CHECK: vxorps %xmm21, %xmm21, %xmm17 {%k5} {z}
1804 // CHECK: encoding: [0x62,0xa1,0x54,0x85,0x57,0xcd]
1805 vxorps %xmm21, %xmm21, %xmm17 {%k5} {z}
1807 // CHECK: vxorps (%rcx), %xmm21, %xmm17
1808 // CHECK: encoding: [0x62,0xe1,0x54,0x00,0x57,0x09]
1809 vxorps (%rcx), %xmm21, %xmm17
1811 // CHECK: vxorps 4660(%rax,%r14,8), %xmm21, %xmm17
1812 // CHECK: encoding: [0x62,0xa1,0x54,0x00,0x57,0x8c,0xf0,0x34,0x12,0x00,0x00]
1813 vxorps 4660(%rax,%r14,8), %xmm21, %xmm17
1815 // CHECK: vxorps (%rcx){1to4}, %xmm21, %xmm17
1816 // CHECK: encoding: [0x62,0xe1,0x54,0x10,0x57,0x09]
1817 vxorps (%rcx){1to4}, %xmm21, %xmm17
1819 // CHECK: vxorps 2032(%rdx), %xmm21, %xmm17
1820 // CHECK: encoding: [0x62,0xe1,0x54,0x00,0x57,0x4a,0x7f]
1821 vxorps 2032(%rdx), %xmm21, %xmm17
1823 // CHECK: vxorps 2048(%rdx), %xmm21, %xmm17
1824 // CHECK: encoding: [0x62,0xe1,0x54,0x00,0x57,0x8a,0x00,0x08,0x00,0x00]
1825 vxorps 2048(%rdx), %xmm21, %xmm17
1827 // CHECK: vxorps -2048(%rdx), %xmm21, %xmm17
1828 // CHECK: encoding: [0x62,0xe1,0x54,0x00,0x57,0x4a,0x80]
1829 vxorps -2048(%rdx), %xmm21, %xmm17
1831 // CHECK: vxorps -2064(%rdx), %xmm21, %xmm17
1832 // CHECK: encoding: [0x62,0xe1,0x54,0x00,0x57,0x8a,0xf0,0xf7,0xff,0xff]
1833 vxorps -2064(%rdx), %xmm21, %xmm17
1835 // CHECK: vxorps 508(%rdx){1to4}, %xmm21, %xmm17
1836 // CHECK: encoding: [0x62,0xe1,0x54,0x10,0x57,0x4a,0x7f]
1837 vxorps 508(%rdx){1to4}, %xmm21, %xmm17
1839 // CHECK: vxorps 512(%rdx){1to4}, %xmm21, %xmm17
1840 // CHECK: encoding: [0x62,0xe1,0x54,0x10,0x57,0x8a,0x00,0x02,0x00,0x00]
1841 vxorps 512(%rdx){1to4}, %xmm21, %xmm17
1843 // CHECK: vxorps -512(%rdx){1to4}, %xmm21, %xmm17
1844 // CHECK: encoding: [0x62,0xe1,0x54,0x10,0x57,0x4a,0x80]
1845 vxorps -512(%rdx){1to4}, %xmm21, %xmm17
1847 // CHECK: vxorps -516(%rdx){1to4}, %xmm21, %xmm17
1848 // CHECK: encoding: [0x62,0xe1,0x54,0x10,0x57,0x8a,0xfc,0xfd,0xff,0xff]
1849 vxorps -516(%rdx){1to4}, %xmm21, %xmm17
1851 // CHECK: vxorps %ymm22, %ymm25, %ymm28
1852 // CHECK: encoding: [0x62,0x21,0x34,0x20,0x57,0xe6]
1853 vxorps %ymm22, %ymm25, %ymm28
1855 // CHECK: vxorps %ymm22, %ymm25, %ymm28 {%k3}
1856 // CHECK: encoding: [0x62,0x21,0x34,0x23,0x57,0xe6]
1857 vxorps %ymm22, %ymm25, %ymm28 {%k3}
1859 // CHECK: vxorps %ymm22, %ymm25, %ymm28 {%k3} {z}
1860 // CHECK: encoding: [0x62,0x21,0x34,0xa3,0x57,0xe6]
1861 vxorps %ymm22, %ymm25, %ymm28 {%k3} {z}
1863 // CHECK: vxorps (%rcx), %ymm25, %ymm28
1864 // CHECK: encoding: [0x62,0x61,0x34,0x20,0x57,0x21]
1865 vxorps (%rcx), %ymm25, %ymm28
1867 // CHECK: vxorps 4660(%rax,%r14,8), %ymm25, %ymm28
1868 // CHECK: encoding: [0x62,0x21,0x34,0x20,0x57,0xa4,0xf0,0x34,0x12,0x00,0x00]
1869 vxorps 4660(%rax,%r14,8), %ymm25, %ymm28
1871 // CHECK: vxorps (%rcx){1to8}, %ymm25, %ymm28
1872 // CHECK: encoding: [0x62,0x61,0x34,0x30,0x57,0x21]
1873 vxorps (%rcx){1to8}, %ymm25, %ymm28
1875 // CHECK: vxorps 4064(%rdx), %ymm25, %ymm28
1876 // CHECK: encoding: [0x62,0x61,0x34,0x20,0x57,0x62,0x7f]
1877 vxorps 4064(%rdx), %ymm25, %ymm28
1879 // CHECK: vxorps 4096(%rdx), %ymm25, %ymm28
1880 // CHECK: encoding: [0x62,0x61,0x34,0x20,0x57,0xa2,0x00,0x10,0x00,0x00]
1881 vxorps 4096(%rdx), %ymm25, %ymm28
1883 // CHECK: vxorps -4096(%rdx), %ymm25, %ymm28
1884 // CHECK: encoding: [0x62,0x61,0x34,0x20,0x57,0x62,0x80]
1885 vxorps -4096(%rdx), %ymm25, %ymm28
1887 // CHECK: vxorps -4128(%rdx), %ymm25, %ymm28
1888 // CHECK: encoding: [0x62,0x61,0x34,0x20,0x57,0xa2,0xe0,0xef,0xff,0xff]
1889 vxorps -4128(%rdx), %ymm25, %ymm28
1891 // CHECK: vxorps 508(%rdx){1to8}, %ymm25, %ymm28
1892 // CHECK: encoding: [0x62,0x61,0x34,0x30,0x57,0x62,0x7f]
1893 vxorps 508(%rdx){1to8}, %ymm25, %ymm28
1895 // CHECK: vxorps 512(%rdx){1to8}, %ymm25, %ymm28
1896 // CHECK: encoding: [0x62,0x61,0x34,0x30,0x57,0xa2,0x00,0x02,0x00,0x00]
1897 vxorps 512(%rdx){1to8}, %ymm25, %ymm28
1899 // CHECK: vxorps -512(%rdx){1to8}, %ymm25, %ymm28
1900 // CHECK: encoding: [0x62,0x61,0x34,0x30,0x57,0x62,0x80]
1901 vxorps -512(%rdx){1to8}, %ymm25, %ymm28
1903 // CHECK: vxorps -516(%rdx){1to8}, %ymm25, %ymm28
1904 // CHECK: encoding: [0x62,0x61,0x34,0x30,0x57,0xa2,0xfc,0xfd,0xff,0xff]
1905 vxorps -516(%rdx){1to8}, %ymm25, %ymm28
1907 // CHECK: vbroadcastf64x2 (%rcx), %ymm27
1908 // CHECK: encoding: [0x62,0x62,0xfd,0x28,0x1a,0x19]
1909 vbroadcastf64x2 (%rcx), %ymm27
1911 // CHECK: vbroadcastf64x2 (%rcx), %ymm27 {%k5}
1912 // CHECK: encoding: [0x62,0x62,0xfd,0x2d,0x1a,0x19]
1913 vbroadcastf64x2 (%rcx), %ymm27 {%k5}
1915 // CHECK: vbroadcastf64x2 (%rcx), %ymm27 {%k5} {z}
1916 // CHECK: encoding: [0x62,0x62,0xfd,0xad,0x1a,0x19]
1917 vbroadcastf64x2 (%rcx), %ymm27 {%k5} {z}
1919 // CHECK: vbroadcastf64x2 291(%rax,%r14,8), %ymm27
1920 // CHECK: encoding: [0x62,0x22,0xfd,0x28,0x1a,0x9c,0xf0,0x23,0x01,0x00,0x00]
1921 vbroadcastf64x2 291(%rax,%r14,8), %ymm27
1923 // CHECK: vbroadcastf64x2 2032(%rdx), %ymm27
1924 // CHECK: encoding: [0x62,0x62,0xfd,0x28,0x1a,0x5a,0x7f]
1925 vbroadcastf64x2 2032(%rdx), %ymm27
1927 // CHECK: vbroadcastf64x2 2048(%rdx), %ymm27
1928 // CHECK: encoding: [0x62,0x62,0xfd,0x28,0x1a,0x9a,0x00,0x08,0x00,0x00]
1929 vbroadcastf64x2 2048(%rdx), %ymm27
1931 // CHECK: vbroadcastf64x2 -2048(%rdx), %ymm27
1932 // CHECK: encoding: [0x62,0x62,0xfd,0x28,0x1a,0x5a,0x80]
1933 vbroadcastf64x2 -2048(%rdx), %ymm27
1935 // CHECK: vbroadcastf64x2 -2064(%rdx), %ymm27
1936 // CHECK: encoding: [0x62,0x62,0xfd,0x28,0x1a,0x9a,0xf0,0xf7,0xff,0xff]
1937 vbroadcastf64x2 -2064(%rdx), %ymm27
1939 // CHECK: vbroadcasti64x2 (%rcx), %ymm18
1940 // CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x5a,0x11]
1941 vbroadcasti64x2 (%rcx), %ymm18
1943 // CHECK: vbroadcasti64x2 (%rcx), %ymm18 {%k1}
1944 // CHECK: encoding: [0x62,0xe2,0xfd,0x29,0x5a,0x11]
1945 vbroadcasti64x2 (%rcx), %ymm18 {%k1}
1947 // CHECK: vbroadcasti64x2 (%rcx), %ymm18 {%k1} {z}
1948 // CHECK: encoding: [0x62,0xe2,0xfd,0xa9,0x5a,0x11]
1949 vbroadcasti64x2 (%rcx), %ymm18 {%k1} {z}
1951 // CHECK: vbroadcasti64x2 291(%rax,%r14,8), %ymm18
1952 // CHECK: encoding: [0x62,0xa2,0xfd,0x28,0x5a,0x94,0xf0,0x23,0x01,0x00,0x00]
1953 vbroadcasti64x2 291(%rax,%r14,8), %ymm18
1955 // CHECK: vbroadcasti64x2 2032(%rdx), %ymm18
1956 // CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x5a,0x52,0x7f]
1957 vbroadcasti64x2 2032(%rdx), %ymm18
1959 // CHECK: vbroadcasti64x2 2048(%rdx), %ymm18
1960 // CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x5a,0x92,0x00,0x08,0x00,0x00]
1961 vbroadcasti64x2 2048(%rdx), %ymm18
1963 // CHECK: vbroadcasti64x2 -2048(%rdx), %ymm18
1964 // CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x5a,0x52,0x80]
1965 vbroadcasti64x2 -2048(%rdx), %ymm18
1967 // CHECK: vbroadcasti64x2 -2064(%rdx), %ymm18
1968 // CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x5a,0x92,0xf0,0xf7,0xff,0xff]
1969 vbroadcasti64x2 -2064(%rdx), %ymm18
1971 // CHECK: vrangepd $171, %xmm26, %xmm27, %xmm25
1972 // CHECK: encoding: [0x62,0x03,0xa5,0x00,0x50,0xca,0xab]
1973 vrangepd $0xab, %xmm26, %xmm27, %xmm25
1975 // CHECK: vrangepd $171, %xmm26, %xmm27, %xmm25 {%k6}
1976 // CHECK: encoding: [0x62,0x03,0xa5,0x06,0x50,0xca,0xab]
1977 vrangepd $0xab, %xmm26, %xmm27, %xmm25 {%k6}
1979 // CHECK: vrangepd $171, %xmm26, %xmm27, %xmm25 {%k6} {z}
1980 // CHECK: encoding: [0x62,0x03,0xa5,0x86,0x50,0xca,0xab]
1981 vrangepd $0xab, %xmm26, %xmm27, %xmm25 {%k6} {z}
1983 // CHECK: vrangepd $123, %xmm26, %xmm27, %xmm25
1984 // CHECK: encoding: [0x62,0x03,0xa5,0x00,0x50,0xca,0x7b]
1985 vrangepd $0x7b, %xmm26, %xmm27, %xmm25
1987 // CHECK: vrangepd $123, (%rcx), %xmm27, %xmm25
1988 // CHECK: encoding: [0x62,0x63,0xa5,0x00,0x50,0x09,0x7b]
1989 vrangepd $0x7b,(%rcx), %xmm27, %xmm25
1991 // CHECK: vrangepd $123, 291(%rax,%r14,8), %xmm27, %xmm25
1992 // CHECK: encoding: [0x62,0x23,0xa5,0x00,0x50,0x8c,0xf0,0x23,0x01,0x00,0x00,0x7b]
1993 vrangepd $0x7b,291(%rax,%r14,8), %xmm27, %xmm25
1995 // CHECK: vrangepd $123, (%rcx){1to2}, %xmm27, %xmm25
1996 // CHECK: encoding: [0x62,0x63,0xa5,0x10,0x50,0x09,0x7b]
1997 vrangepd $0x7b,(%rcx){1to2}, %xmm27, %xmm25
1999 // CHECK: vrangepd $123, 2032(%rdx), %xmm27, %xmm25
2000 // CHECK: encoding: [0x62,0x63,0xa5,0x00,0x50,0x4a,0x7f,0x7b]
2001 vrangepd $0x7b,2032(%rdx), %xmm27, %xmm25
2003 // CHECK: vrangepd $123, 2048(%rdx), %xmm27, %xmm25
2004 // CHECK: encoding: [0x62,0x63,0xa5,0x00,0x50,0x8a,0x00,0x08,0x00,0x00,0x7b]
2005 vrangepd $0x7b,2048(%rdx), %xmm27, %xmm25
2007 // CHECK: vrangepd $123, -2048(%rdx), %xmm27, %xmm25
2008 // CHECK: encoding: [0x62,0x63,0xa5,0x00,0x50,0x4a,0x80,0x7b]
2009 vrangepd $0x7b,-2048(%rdx), %xmm27, %xmm25
2011 // CHECK: vrangepd $123, -2064(%rdx), %xmm27, %xmm25
2012 // CHECK: encoding: [0x62,0x63,0xa5,0x00,0x50,0x8a,0xf0,0xf7,0xff,0xff,0x7b]
2013 vrangepd $0x7b,-2064(%rdx), %xmm27, %xmm25
2015 // CHECK: vrangepd $123, 1016(%rdx){1to2}, %xmm27, %xmm25
2016 // CHECK: encoding: [0x62,0x63,0xa5,0x10,0x50,0x4a,0x7f,0x7b]
2017 vrangepd $0x7b,1016(%rdx){1to2}, %xmm27, %xmm25
2019 // CHECK: vrangepd $123, 1024(%rdx){1to2}, %xmm27, %xmm25
2020 // CHECK: encoding: [0x62,0x63,0xa5,0x10,0x50,0x8a,0x00,0x04,0x00,0x00,0x7b]
2021 vrangepd $0x7b,1024(%rdx){1to2}, %xmm27, %xmm25
2023 // CHECK: vrangepd $123, -1024(%rdx){1to2}, %xmm27, %xmm25
2024 // CHECK: encoding: [0x62,0x63,0xa5,0x10,0x50,0x4a,0x80,0x7b]
2025 vrangepd $0x7b,-1024(%rdx){1to2}, %xmm27, %xmm25
2027 // CHECK: vrangepd $123, -1032(%rdx){1to2}, %xmm27, %xmm25
2028 // CHECK: encoding: [0x62,0x63,0xa5,0x10,0x50,0x8a,0xf8,0xfb,0xff,0xff,0x7b]
2029 vrangepd $0x7b,-1032(%rdx){1to2}, %xmm27, %xmm25
2031 // CHECK: vrangepd $171, %ymm28, %ymm27, %ymm29
2032 // CHECK: encoding: [0x62,0x03,0xa5,0x20,0x50,0xec,0xab]
2033 vrangepd $0xab, %ymm28, %ymm27, %ymm29
2035 // CHECK: vrangepd $171, %ymm28, %ymm27, %ymm29 {%k7}
2036 // CHECK: encoding: [0x62,0x03,0xa5,0x27,0x50,0xec,0xab]
2037 vrangepd $0xab, %ymm28, %ymm27, %ymm29 {%k7}
2039 // CHECK: vrangepd $171, %ymm28, %ymm27, %ymm29 {%k7} {z}
2040 // CHECK: encoding: [0x62,0x03,0xa5,0xa7,0x50,0xec,0xab]
2041 vrangepd $0xab, %ymm28, %ymm27, %ymm29 {%k7} {z}
2043 // CHECK: vrangepd $123, %ymm28, %ymm27, %ymm29
2044 // CHECK: encoding: [0x62,0x03,0xa5,0x20,0x50,0xec,0x7b]
2045 vrangepd $0x7b, %ymm28, %ymm27, %ymm29
2047 // CHECK: vrangepd $123, (%rcx), %ymm27, %ymm29
2048 // CHECK: encoding: [0x62,0x63,0xa5,0x20,0x50,0x29,0x7b]
2049 vrangepd $0x7b,(%rcx), %ymm27, %ymm29
2051 // CHECK: vrangepd $123, 291(%rax,%r14,8), %ymm27, %ymm29
2052 // CHECK: encoding: [0x62,0x23,0xa5,0x20,0x50,0xac,0xf0,0x23,0x01,0x00,0x00,0x7b]
2053 vrangepd $0x7b,291(%rax,%r14,8), %ymm27, %ymm29
2055 // CHECK: vrangepd $123, (%rcx){1to4}, %ymm27, %ymm29
2056 // CHECK: encoding: [0x62,0x63,0xa5,0x30,0x50,0x29,0x7b]
2057 vrangepd $0x7b,(%rcx){1to4}, %ymm27, %ymm29
2059 // CHECK: vrangepd $123, 4064(%rdx), %ymm27, %ymm29
2060 // CHECK: encoding: [0x62,0x63,0xa5,0x20,0x50,0x6a,0x7f,0x7b]
2061 vrangepd $0x7b,4064(%rdx), %ymm27, %ymm29
2063 // CHECK: vrangepd $123, 4096(%rdx), %ymm27, %ymm29
2064 // CHECK: encoding: [0x62,0x63,0xa5,0x20,0x50,0xaa,0x00,0x10,0x00,0x00,0x7b]
2065 vrangepd $0x7b,4096(%rdx), %ymm27, %ymm29
2067 // CHECK: vrangepd $123, -4096(%rdx), %ymm27, %ymm29
2068 // CHECK: encoding: [0x62,0x63,0xa5,0x20,0x50,0x6a,0x80,0x7b]
2069 vrangepd $0x7b,-4096(%rdx), %ymm27, %ymm29
2071 // CHECK: vrangepd $123, -4128(%rdx), %ymm27, %ymm29
2072 // CHECK: encoding: [0x62,0x63,0xa5,0x20,0x50,0xaa,0xe0,0xef,0xff,0xff,0x7b]
2073 vrangepd $0x7b,-4128(%rdx), %ymm27, %ymm29
2075 // CHECK: vrangepd $123, 1016(%rdx){1to4}, %ymm27, %ymm29
2076 // CHECK: encoding: [0x62,0x63,0xa5,0x30,0x50,0x6a,0x7f,0x7b]
2077 vrangepd $0x7b,1016(%rdx){1to4}, %ymm27, %ymm29
2079 // CHECK: vrangepd $123, 1024(%rdx){1to4}, %ymm27, %ymm29
2080 // CHECK: encoding: [0x62,0x63,0xa5,0x30,0x50,0xaa,0x00,0x04,0x00,0x00,0x7b]
2081 vrangepd $0x7b,1024(%rdx){1to4}, %ymm27, %ymm29
2083 // CHECK: vrangepd $123, -1024(%rdx){1to4}, %ymm27, %ymm29
2084 // CHECK: encoding: [0x62,0x63,0xa5,0x30,0x50,0x6a,0x80,0x7b]
2085 vrangepd $0x7b,-1024(%rdx){1to4}, %ymm27, %ymm29
2087 // CHECK: vrangepd $123, -1032(%rdx){1to4}, %ymm27, %ymm29
2088 // CHECK: encoding: [0x62,0x63,0xa5,0x30,0x50,0xaa,0xf8,0xfb,0xff,0xff,0x7b]
2089 vrangepd $0x7b,-1032(%rdx){1to4}, %ymm27, %ymm29
2091 // CHECK: vrangeps $171, %xmm24, %xmm23, %xmm27
2092 // CHECK: encoding: [0x62,0x03,0x45,0x00,0x50,0xd8,0xab]
2093 vrangeps $0xab, %xmm24, %xmm23, %xmm27
2095 // CHECK: vrangeps $171, %xmm24, %xmm23, %xmm27 {%k6}
2096 // CHECK: encoding: [0x62,0x03,0x45,0x06,0x50,0xd8,0xab]
2097 vrangeps $0xab, %xmm24, %xmm23, %xmm27 {%k6}
2099 // CHECK: vrangeps $171, %xmm24, %xmm23, %xmm27 {%k6} {z}
2100 // CHECK: encoding: [0x62,0x03,0x45,0x86,0x50,0xd8,0xab]
2101 vrangeps $0xab, %xmm24, %xmm23, %xmm27 {%k6} {z}
2103 // CHECK: vrangeps $123, %xmm24, %xmm23, %xmm27
2104 // CHECK: encoding: [0x62,0x03,0x45,0x00,0x50,0xd8,0x7b]
2105 vrangeps $0x7b, %xmm24, %xmm23, %xmm27
2107 // CHECK: vrangeps $123, (%rcx), %xmm23, %xmm27
2108 // CHECK: encoding: [0x62,0x63,0x45,0x00,0x50,0x19,0x7b]
2109 vrangeps $0x7b,(%rcx), %xmm23, %xmm27
2111 // CHECK: vrangeps $123, 291(%rax,%r14,8), %xmm23, %xmm27
2112 // CHECK: encoding: [0x62,0x23,0x45,0x00,0x50,0x9c,0xf0,0x23,0x01,0x00,0x00,0x7b]
2113 vrangeps $0x7b,291(%rax,%r14,8), %xmm23, %xmm27
2115 // CHECK: vrangeps $123, (%rcx){1to4}, %xmm23, %xmm27
2116 // CHECK: encoding: [0x62,0x63,0x45,0x10,0x50,0x19,0x7b]
2117 vrangeps $0x7b,(%rcx){1to4}, %xmm23, %xmm27
2119 // CHECK: vrangeps $123, 2032(%rdx), %xmm23, %xmm27
2120 // CHECK: encoding: [0x62,0x63,0x45,0x00,0x50,0x5a,0x7f,0x7b]
2121 vrangeps $0x7b,2032(%rdx), %xmm23, %xmm27
2123 // CHECK: vrangeps $123, 2048(%rdx), %xmm23, %xmm27
2124 // CHECK: encoding: [0x62,0x63,0x45,0x00,0x50,0x9a,0x00,0x08,0x00,0x00,0x7b]
2125 vrangeps $0x7b,2048(%rdx), %xmm23, %xmm27
2127 // CHECK: vrangeps $123, -2048(%rdx), %xmm23, %xmm27
2128 // CHECK: encoding: [0x62,0x63,0x45,0x00,0x50,0x5a,0x80,0x7b]
2129 vrangeps $0x7b,-2048(%rdx), %xmm23, %xmm27
2131 // CHECK: vrangeps $123, -2064(%rdx), %xmm23, %xmm27
2132 // CHECK: encoding: [0x62,0x63,0x45,0x00,0x50,0x9a,0xf0,0xf7,0xff,0xff,0x7b]
2133 vrangeps $0x7b,-2064(%rdx), %xmm23, %xmm27
2135 // CHECK: vrangeps $123, 508(%rdx){1to4}, %xmm23, %xmm27
2136 // CHECK: encoding: [0x62,0x63,0x45,0x10,0x50,0x5a,0x7f,0x7b]
2137 vrangeps $0x7b,508(%rdx){1to4}, %xmm23, %xmm27
2139 // CHECK: vrangeps $123, 512(%rdx){1to4}, %xmm23, %xmm27
2140 // CHECK: encoding: [0x62,0x63,0x45,0x10,0x50,0x9a,0x00,0x02,0x00,0x00,0x7b]
2141 vrangeps $0x7b,512(%rdx){1to4}, %xmm23, %xmm27
2143 // CHECK: vrangeps $123, -512(%rdx){1to4}, %xmm23, %xmm27
2144 // CHECK: encoding: [0x62,0x63,0x45,0x10,0x50,0x5a,0x80,0x7b]
2145 vrangeps $0x7b,-512(%rdx){1to4}, %xmm23, %xmm27
2147 // CHECK: vrangeps $123, -516(%rdx){1to4}, %xmm23, %xmm27
2148 // CHECK: encoding: [0x62,0x63,0x45,0x10,0x50,0x9a,0xfc,0xfd,0xff,0xff,0x7b]
2149 vrangeps $0x7b,-516(%rdx){1to4}, %xmm23, %xmm27
2151 // CHECK: vrangeps $171, %ymm21, %ymm23, %ymm24
2152 // CHECK: encoding: [0x62,0x23,0x45,0x20,0x50,0xc5,0xab]
2153 vrangeps $0xab, %ymm21, %ymm23, %ymm24
2155 // CHECK: vrangeps $171, %ymm21, %ymm23, %ymm24 {%k7}
2156 // CHECK: encoding: [0x62,0x23,0x45,0x27,0x50,0xc5,0xab]
2157 vrangeps $0xab, %ymm21, %ymm23, %ymm24 {%k7}
2159 // CHECK: vrangeps $171, %ymm21, %ymm23, %ymm24 {%k7} {z}
2160 // CHECK: encoding: [0x62,0x23,0x45,0xa7,0x50,0xc5,0xab]
2161 vrangeps $0xab, %ymm21, %ymm23, %ymm24 {%k7} {z}
2163 // CHECK: vrangeps $123, %ymm21, %ymm23, %ymm24
2164 // CHECK: encoding: [0x62,0x23,0x45,0x20,0x50,0xc5,0x7b]
2165 vrangeps $0x7b, %ymm21, %ymm23, %ymm24
2167 // CHECK: vrangeps $123, (%rcx), %ymm23, %ymm24
2168 // CHECK: encoding: [0x62,0x63,0x45,0x20,0x50,0x01,0x7b]
2169 vrangeps $0x7b,(%rcx), %ymm23, %ymm24
2171 // CHECK: vrangeps $123, 291(%rax,%r14,8), %ymm23, %ymm24
2172 // CHECK: encoding: [0x62,0x23,0x45,0x20,0x50,0x84,0xf0,0x23,0x01,0x00,0x00,0x7b]
2173 vrangeps $0x7b,291(%rax,%r14,8), %ymm23, %ymm24
2175 // CHECK: vrangeps $123, (%rcx){1to8}, %ymm23, %ymm24
2176 // CHECK: encoding: [0x62,0x63,0x45,0x30,0x50,0x01,0x7b]
2177 vrangeps $0x7b,(%rcx){1to8}, %ymm23, %ymm24
2179 // CHECK: vrangeps $123, 4064(%rdx), %ymm23, %ymm24
2180 // CHECK: encoding: [0x62,0x63,0x45,0x20,0x50,0x42,0x7f,0x7b]
2181 vrangeps $0x7b,4064(%rdx), %ymm23, %ymm24
2183 // CHECK: vrangeps $123, 4096(%rdx), %ymm23, %ymm24
2184 // CHECK: encoding: [0x62,0x63,0x45,0x20,0x50,0x82,0x00,0x10,0x00,0x00,0x7b]
2185 vrangeps $0x7b,4096(%rdx), %ymm23, %ymm24
2187 // CHECK: vrangeps $123, -4096(%rdx), %ymm23, %ymm24
2188 // CHECK: encoding: [0x62,0x63,0x45,0x20,0x50,0x42,0x80,0x7b]
2189 vrangeps $0x7b,-4096(%rdx), %ymm23, %ymm24
2191 // CHECK: vrangeps $123, -4128(%rdx), %ymm23, %ymm24
2192 // CHECK: encoding: [0x62,0x63,0x45,0x20,0x50,0x82,0xe0,0xef,0xff,0xff,0x7b]
2193 vrangeps $0x7b,-4128(%rdx), %ymm23, %ymm24
2195 // CHECK: vrangeps $123, 508(%rdx){1to8}, %ymm23, %ymm24
2196 // CHECK: encoding: [0x62,0x63,0x45,0x30,0x50,0x42,0x7f,0x7b]
2197 vrangeps $0x7b,508(%rdx){1to8}, %ymm23, %ymm24
2199 // CHECK: vrangeps $123, 512(%rdx){1to8}, %ymm23, %ymm24
2200 // CHECK: encoding: [0x62,0x63,0x45,0x30,0x50,0x82,0x00,0x02,0x00,0x00,0x7b]
2201 vrangeps $0x7b,512(%rdx){1to8}, %ymm23, %ymm24
2203 // CHECK: vrangeps $123, -512(%rdx){1to8}, %ymm23, %ymm24
2204 // CHECK: encoding: [0x62,0x63,0x45,0x30,0x50,0x42,0x80,0x7b]
2205 vrangeps $0x7b,-512(%rdx){1to8}, %ymm23, %ymm24
2207 // CHECK: vrangeps $123, -516(%rdx){1to8}, %ymm23, %ymm24
2208 // CHECK: encoding: [0x62,0x63,0x45,0x30,0x50,0x82,0xfc,0xfd,0xff,0xff,0x7b]
2209 vrangeps $0x7b,-516(%rdx){1to8}, %ymm23, %ymm24
2211 // CHECK: vreducepd $171, %xmm17, %xmm18
2212 // CHECK: encoding: [0x62,0xa3,0xfd,0x08,0x56,0xd1,0xab]
2213 vreducepd $0xab, %xmm17, %xmm18
2215 // CHECK: vreducepd $171, %xmm17, %xmm18 {%k3}
2216 // CHECK: encoding: [0x62,0xa3,0xfd,0x0b,0x56,0xd1,0xab]
2217 vreducepd $0xab, %xmm17, %xmm18 {%k3}
2219 // CHECK: vreducepd $171, %xmm17, %xmm18 {%k3} {z}
2220 // CHECK: encoding: [0x62,0xa3,0xfd,0x8b,0x56,0xd1,0xab]
2221 vreducepd $0xab, %xmm17, %xmm18 {%k3} {z}
2223 // CHECK: vreducepd $123, %xmm17, %xmm18
2224 // CHECK: encoding: [0x62,0xa3,0xfd,0x08,0x56,0xd1,0x7b]
2225 vreducepd $0x7b, %xmm17, %xmm18
2227 // CHECK: vreducepd $123, (%rcx), %xmm18
2228 // CHECK: encoding: [0x62,0xe3,0xfd,0x08,0x56,0x11,0x7b]
2229 vreducepd $0x7b,(%rcx), %xmm18
2231 // CHECK: vreducepd $123, 291(%rax,%r14,8), %xmm18
2232 // CHECK: encoding: [0x62,0xa3,0xfd,0x08,0x56,0x94,0xf0,0x23,0x01,0x00,0x00,0x7b]
2233 vreducepd $0x7b,291(%rax,%r14,8), %xmm18
2235 // CHECK: vreducepd $171, %xmm28, %xmm25
2236 // CHECK: encoding: [0x62,0x03,0xfd,0x08,0x56,0xcc,0xab]
2237 vreducepd $0xab, %xmm28, %xmm25
2239 // CHECK: vreducepd $171, %xmm28, %xmm25 {%k4}
2240 // CHECK: encoding: [0x62,0x03,0xfd,0x0c,0x56,0xcc,0xab]
2241 vreducepd $0xab, %xmm28, %xmm25 {%k4}
2243 // CHECK: vreducepd $171, %xmm28, %xmm25 {%k4} {z}
2244 // CHECK: encoding: [0x62,0x03,0xfd,0x8c,0x56,0xcc,0xab]
2245 vreducepd $0xab, %xmm28, %xmm25 {%k4} {z}
2247 // CHECK: vreducepd $123, %xmm28, %xmm25
2248 // CHECK: encoding: [0x62,0x03,0xfd,0x08,0x56,0xcc,0x7b]
2249 vreducepd $0x7b, %xmm28, %xmm25
2251 // CHECK: vreducepd $123, (%rcx), %xmm25
2252 // CHECK: encoding: [0x62,0x63,0xfd,0x08,0x56,0x09,0x7b]
2253 vreducepd $0x7b,(%rcx), %xmm25
2255 // CHECK: vreducepd $123, 4660(%rax,%r14,8), %xmm25
2256 // CHECK: encoding: [0x62,0x23,0xfd,0x08,0x56,0x8c,0xf0,0x34,0x12,0x00,0x00,0x7b]
2257 vreducepd $0x7b,4660(%rax,%r14,8), %xmm25
2259 // CHECK: vreducepd $123, (%rcx){1to2}, %xmm25
2260 // CHECK: encoding: [0x62,0x63,0xfd,0x18,0x56,0x09,0x7b]
2261 vreducepd $0x7b,(%rcx){1to2}, %xmm25
2263 // CHECK: vreducepd $123, 2032(%rdx), %xmm25
2264 // CHECK: encoding: [0x62,0x63,0xfd,0x08,0x56,0x4a,0x7f,0x7b]
2265 vreducepd $0x7b,2032(%rdx), %xmm25
2267 // CHECK: vreducepd $123, 2048(%rdx), %xmm25
2268 // CHECK: encoding: [0x62,0x63,0xfd,0x08,0x56,0x8a,0x00,0x08,0x00,0x00,0x7b]
2269 vreducepd $0x7b,2048(%rdx), %xmm25
2271 // CHECK: vreducepd $123, -2048(%rdx), %xmm25
2272 // CHECK: encoding: [0x62,0x63,0xfd,0x08,0x56,0x4a,0x80,0x7b]
2273 vreducepd $0x7b,-2048(%rdx), %xmm25
2275 // CHECK: vreducepd $123, -2064(%rdx), %xmm25
2276 // CHECK: encoding: [0x62,0x63,0xfd,0x08,0x56,0x8a,0xf0,0xf7,0xff,0xff,0x7b]
2277 vreducepd $0x7b,-2064(%rdx), %xmm25
2279 // CHECK: vreducepd $123, 1016(%rdx){1to2}, %xmm25
2280 // CHECK: encoding: [0x62,0x63,0xfd,0x18,0x56,0x4a,0x7f,0x7b]
2281 vreducepd $0x7b,1016(%rdx){1to2}, %xmm25
2283 // CHECK: vreducepd $123, 1024(%rdx){1to2}, %xmm25
2284 // CHECK: encoding: [0x62,0x63,0xfd,0x18,0x56,0x8a,0x00,0x04,0x00,0x00,0x7b]
2285 vreducepd $0x7b,1024(%rdx){1to2}, %xmm25
2287 // CHECK: vreducepd $123, -1024(%rdx){1to2}, %xmm25
2288 // CHECK: encoding: [0x62,0x63,0xfd,0x18,0x56,0x4a,0x80,0x7b]
2289 vreducepd $0x7b,-1024(%rdx){1to2}, %xmm25
2291 // CHECK: vreducepd $123, -1032(%rdx){1to2}, %xmm25
2292 // CHECK: encoding: [0x62,0x63,0xfd,0x18,0x56,0x8a,0xf8,0xfb,0xff,0xff,0x7b]
2293 vreducepd $0x7b,-1032(%rdx){1to2}, %xmm25
2295 // CHECK: vreducepd $171, %ymm17, %ymm28
2296 // CHECK: encoding: [0x62,0x23,0xfd,0x28,0x56,0xe1,0xab]
2297 vreducepd $0xab, %ymm17, %ymm28
2299 // CHECK: vreducepd $171, %ymm17, %ymm28 {%k4}
2300 // CHECK: encoding: [0x62,0x23,0xfd,0x2c,0x56,0xe1,0xab]
2301 vreducepd $0xab, %ymm17, %ymm28 {%k4}
2303 // CHECK: vreducepd $171, %ymm17, %ymm28 {%k4} {z}
2304 // CHECK: encoding: [0x62,0x23,0xfd,0xac,0x56,0xe1,0xab]
2305 vreducepd $0xab, %ymm17, %ymm28 {%k4} {z}
2307 // CHECK: vreducepd $123, %ymm17, %ymm28
2308 // CHECK: encoding: [0x62,0x23,0xfd,0x28,0x56,0xe1,0x7b]
2309 vreducepd $0x7b, %ymm17, %ymm28
2311 // CHECK: vreducepd $123, (%rcx), %ymm28
2312 // CHECK: encoding: [0x62,0x63,0xfd,0x28,0x56,0x21,0x7b]
2313 vreducepd $0x7b,(%rcx), %ymm28
2315 // CHECK: vreducepd $123, 4660(%rax,%r14,8), %ymm28
2316 // CHECK: encoding: [0x62,0x23,0xfd,0x28,0x56,0xa4,0xf0,0x34,0x12,0x00,0x00,0x7b]
2317 vreducepd $0x7b,4660(%rax,%r14,8), %ymm28
2319 // CHECK: vreducepd $123, (%rcx){1to4}, %ymm28
2320 // CHECK: encoding: [0x62,0x63,0xfd,0x38,0x56,0x21,0x7b]
2321 vreducepd $0x7b,(%rcx){1to4}, %ymm28
2323 // CHECK: vreducepd $123, 4064(%rdx), %ymm28
2324 // CHECK: encoding: [0x62,0x63,0xfd,0x28,0x56,0x62,0x7f,0x7b]
2325 vreducepd $0x7b,4064(%rdx), %ymm28
2327 // CHECK: vreducepd $123, 4096(%rdx), %ymm28
2328 // CHECK: encoding: [0x62,0x63,0xfd,0x28,0x56,0xa2,0x00,0x10,0x00,0x00,0x7b]
2329 vreducepd $0x7b,4096(%rdx), %ymm28
2331 // CHECK: vreducepd $123, -4096(%rdx), %ymm28
2332 // CHECK: encoding: [0x62,0x63,0xfd,0x28,0x56,0x62,0x80,0x7b]
2333 vreducepd $0x7b,-4096(%rdx), %ymm28
2335 // CHECK: vreducepd $123, -4128(%rdx), %ymm28
2336 // CHECK: encoding: [0x62,0x63,0xfd,0x28,0x56,0xa2,0xe0,0xef,0xff,0xff,0x7b]
2337 vreducepd $0x7b,-4128(%rdx), %ymm28
2339 // CHECK: vreducepd $123, 1016(%rdx){1to4}, %ymm28
2340 // CHECK: encoding: [0x62,0x63,0xfd,0x38,0x56,0x62,0x7f,0x7b]
2341 vreducepd $0x7b,1016(%rdx){1to4}, %ymm28
2343 // CHECK: vreducepd $123, 1024(%rdx){1to4}, %ymm28
2344 // CHECK: encoding: [0x62,0x63,0xfd,0x38,0x56,0xa2,0x00,0x04,0x00,0x00,0x7b]
2345 vreducepd $0x7b,1024(%rdx){1to4}, %ymm28
2347 // CHECK: vreducepd $123, -1024(%rdx){1to4}, %ymm28
2348 // CHECK: encoding: [0x62,0x63,0xfd,0x38,0x56,0x62,0x80,0x7b]
2349 vreducepd $0x7b,-1024(%rdx){1to4}, %ymm28
2351 // CHECK: vreducepd $123, -1032(%rdx){1to4}, %ymm28
2352 // CHECK: encoding: [0x62,0x63,0xfd,0x38,0x56,0xa2,0xf8,0xfb,0xff,0xff,0x7b]
2353 vreducepd $0x7b,-1032(%rdx){1to4}, %ymm28
2355 // CHECK: vreduceps $171, %xmm21, %xmm29
2356 // CHECK: encoding: [0x62,0x23,0x7d,0x08,0x56,0xed,0xab]
2357 vreduceps $0xab, %xmm21, %xmm29
2359 // CHECK: vreduceps $171, %xmm21, %xmm29 {%k7}
2360 // CHECK: encoding: [0x62,0x23,0x7d,0x0f,0x56,0xed,0xab]
2361 vreduceps $0xab, %xmm21, %xmm29 {%k7}
2363 // CHECK: vreduceps $171, %xmm21, %xmm29 {%k7} {z}
2364 // CHECK: encoding: [0x62,0x23,0x7d,0x8f,0x56,0xed,0xab]
2365 vreduceps $0xab, %xmm21, %xmm29 {%k7} {z}
2367 // CHECK: vreduceps $123, %xmm21, %xmm29
2368 // CHECK: encoding: [0x62,0x23,0x7d,0x08,0x56,0xed,0x7b]
2369 vreduceps $0x7b, %xmm21, %xmm29
2371 // CHECK: vreduceps $123, (%rcx), %xmm29
2372 // CHECK: encoding: [0x62,0x63,0x7d,0x08,0x56,0x29,0x7b]
2373 vreduceps $0x7b,(%rcx), %xmm29
2375 // CHECK: vreduceps $123, 4660(%rax,%r14,8), %xmm29
2376 // CHECK: encoding: [0x62,0x23,0x7d,0x08,0x56,0xac,0xf0,0x34,0x12,0x00,0x00,0x7b]
2377 vreduceps $0x7b,4660(%rax,%r14,8), %xmm29
2379 // CHECK: vreduceps $123, (%rcx){1to4}, %xmm29
2380 // CHECK: encoding: [0x62,0x63,0x7d,0x18,0x56,0x29,0x7b]
2381 vreduceps $0x7b,(%rcx){1to4}, %xmm29
2383 // CHECK: vreduceps $123, 2032(%rdx), %xmm29
2384 // CHECK: encoding: [0x62,0x63,0x7d,0x08,0x56,0x6a,0x7f,0x7b]
2385 vreduceps $0x7b,2032(%rdx), %xmm29
2387 // CHECK: vreduceps $123, 2048(%rdx), %xmm29
2388 // CHECK: encoding: [0x62,0x63,0x7d,0x08,0x56,0xaa,0x00,0x08,0x00,0x00,0x7b]
2389 vreduceps $0x7b,2048(%rdx), %xmm29
2391 // CHECK: vreduceps $123, -2048(%rdx), %xmm29
2392 // CHECK: encoding: [0x62,0x63,0x7d,0x08,0x56,0x6a,0x80,0x7b]
2393 vreduceps $0x7b,-2048(%rdx), %xmm29
2395 // CHECK: vreduceps $123, -2064(%rdx), %xmm29
2396 // CHECK: encoding: [0x62,0x63,0x7d,0x08,0x56,0xaa,0xf0,0xf7,0xff,0xff,0x7b]
2397 vreduceps $0x7b,-2064(%rdx), %xmm29
2399 // CHECK: vreduceps $123, 508(%rdx){1to4}, %xmm29
2400 // CHECK: encoding: [0x62,0x63,0x7d,0x18,0x56,0x6a,0x7f,0x7b]
2401 vreduceps $0x7b,508(%rdx){1to4}, %xmm29
2403 // CHECK: vreduceps $123, 512(%rdx){1to4}, %xmm29
2404 // CHECK: encoding: [0x62,0x63,0x7d,0x18,0x56,0xaa,0x00,0x02,0x00,0x00,0x7b]
2405 vreduceps $0x7b,512(%rdx){1to4}, %xmm29
2407 // CHECK: vreduceps $123, -512(%rdx){1to4}, %xmm29
2408 // CHECK: encoding: [0x62,0x63,0x7d,0x18,0x56,0x6a,0x80,0x7b]
2409 vreduceps $0x7b,-512(%rdx){1to4}, %xmm29
2411 // CHECK: vreduceps $123, -516(%rdx){1to4}, %xmm29
2412 // CHECK: encoding: [0x62,0x63,0x7d,0x18,0x56,0xaa,0xfc,0xfd,0xff,0xff,0x7b]
2413 vreduceps $0x7b,-516(%rdx){1to4}, %xmm29
2415 // CHECK: vreduceps $171, %ymm23, %ymm25
2416 // CHECK: encoding: [0x62,0x23,0x7d,0x28,0x56,0xcf,0xab]
2417 vreduceps $0xab, %ymm23, %ymm25
2419 // CHECK: vreduceps $171, %ymm23, %ymm25 {%k3}
2420 // CHECK: encoding: [0x62,0x23,0x7d,0x2b,0x56,0xcf,0xab]
2421 vreduceps $0xab, %ymm23, %ymm25 {%k3}
2423 // CHECK: vreduceps $171, %ymm23, %ymm25 {%k3} {z}
2424 // CHECK: encoding: [0x62,0x23,0x7d,0xab,0x56,0xcf,0xab]
2425 vreduceps $0xab, %ymm23, %ymm25 {%k3} {z}
2427 // CHECK: vreduceps $123, %ymm23, %ymm25
2428 // CHECK: encoding: [0x62,0x23,0x7d,0x28,0x56,0xcf,0x7b]
2429 vreduceps $0x7b, %ymm23, %ymm25
2431 // CHECK: vreduceps $123, (%rcx), %ymm25
2432 // CHECK: encoding: [0x62,0x63,0x7d,0x28,0x56,0x09,0x7b]
2433 vreduceps $0x7b,(%rcx), %ymm25
2435 // CHECK: vreduceps $123, 4660(%rax,%r14,8), %ymm25
2436 // CHECK: encoding: [0x62,0x23,0x7d,0x28,0x56,0x8c,0xf0,0x34,0x12,0x00,0x00,0x7b]
2437 vreduceps $0x7b,4660(%rax,%r14,8), %ymm25
2439 // CHECK: vreduceps $123, (%rcx){1to8}, %ymm25
2440 // CHECK: encoding: [0x62,0x63,0x7d,0x38,0x56,0x09,0x7b]
2441 vreduceps $0x7b,(%rcx){1to8}, %ymm25
2443 // CHECK: vreduceps $123, 4064(%rdx), %ymm25
2444 // CHECK: encoding: [0x62,0x63,0x7d,0x28,0x56,0x4a,0x7f,0x7b]
2445 vreduceps $0x7b,4064(%rdx), %ymm25
2447 // CHECK: vreduceps $123, 4096(%rdx), %ymm25
2448 // CHECK: encoding: [0x62,0x63,0x7d,0x28,0x56,0x8a,0x00,0x10,0x00,0x00,0x7b]
2449 vreduceps $0x7b,4096(%rdx), %ymm25
2451 // CHECK: vreduceps $123, -4096(%rdx), %ymm25
2452 // CHECK: encoding: [0x62,0x63,0x7d,0x28,0x56,0x4a,0x80,0x7b]
2453 vreduceps $0x7b,-4096(%rdx), %ymm25
2455 // CHECK: vreduceps $123, -4128(%rdx), %ymm25
2456 // CHECK: encoding: [0x62,0x63,0x7d,0x28,0x56,0x8a,0xe0,0xef,0xff,0xff,0x7b]
2457 vreduceps $0x7b,-4128(%rdx), %ymm25
2459 // CHECK: vreduceps $123, 508(%rdx){1to8}, %ymm25
2460 // CHECK: encoding: [0x62,0x63,0x7d,0x38,0x56,0x4a,0x7f,0x7b]
2461 vreduceps $0x7b,508(%rdx){1to8}, %ymm25
2463 // CHECK: vreduceps $123, 512(%rdx){1to8}, %ymm25
2464 // CHECK: encoding: [0x62,0x63,0x7d,0x38,0x56,0x8a,0x00,0x02,0x00,0x00,0x7b]
2465 vreduceps $0x7b,512(%rdx){1to8}, %ymm25
2467 // CHECK: vreduceps $123, -512(%rdx){1to8}, %ymm25
2468 // CHECK: encoding: [0x62,0x63,0x7d,0x38,0x56,0x4a,0x80,0x7b]
2469 vreduceps $0x7b,-512(%rdx){1to8}, %ymm25
2471 // CHECK: vreduceps $123, -516(%rdx){1to8}, %ymm25
2472 // CHECK: encoding: [0x62,0x63,0x7d,0x38,0x56,0x8a,0xfc,0xfd,0xff,0xff,0x7b]
2473 vreduceps $0x7b,-516(%rdx){1to8}, %ymm25
2475 // CHECK: vreducepd $123, (%rcx){1to2}, %xmm18
2476 // CHECK: encoding: [0x62,0xe3,0xfd,0x18,0x56,0x11,0x7b]
2477 vreducepd $0x7b,(%rcx){1to2}, %xmm18
2479 // CHECK: vreducepd $123, 2032(%rdx), %xmm18
2480 // CHECK: encoding: [0x62,0xe3,0xfd,0x08,0x56,0x52,0x7f,0x7b]
2481 vreducepd $0x7b,2032(%rdx), %xmm18
2483 // CHECK: vreducepd $123, 2048(%rdx), %xmm18
2484 // CHECK: encoding: [0x62,0xe3,0xfd,0x08,0x56,0x92,0x00,0x08,0x00,0x00,0x7b]
2485 vreducepd $0x7b,2048(%rdx), %xmm18
2487 // CHECK: vreducepd $123, -2048(%rdx), %xmm18
2488 // CHECK: encoding: [0x62,0xe3,0xfd,0x08,0x56,0x52,0x80,0x7b]
2489 vreducepd $0x7b,-2048(%rdx), %xmm18
2491 // CHECK: vreducepd $123, -2064(%rdx), %xmm18
2492 // CHECK: encoding: [0x62,0xe3,0xfd,0x08,0x56,0x92,0xf0,0xf7,0xff,0xff,0x7b]
2493 vreducepd $0x7b,-2064(%rdx), %xmm18
2495 // CHECK: vreducepd $123, 1016(%rdx){1to2}, %xmm18
2496 // CHECK: encoding: [0x62,0xe3,0xfd,0x18,0x56,0x52,0x7f,0x7b]
2497 vreducepd $0x7b,1016(%rdx){1to2}, %xmm18
2499 // CHECK: vreducepd $123, 1024(%rdx){1to2}, %xmm18
2500 // CHECK: encoding: [0x62,0xe3,0xfd,0x18,0x56,0x92,0x00,0x04,0x00,0x00,0x7b]
2501 vreducepd $0x7b,1024(%rdx){1to2}, %xmm18
2503 // CHECK: vreducepd $123, -1024(%rdx){1to2}, %xmm18
2504 // CHECK: encoding: [0x62,0xe3,0xfd,0x18,0x56,0x52,0x80,0x7b]
2505 vreducepd $0x7b,-1024(%rdx){1to2}, %xmm18
2507 // CHECK: vreducepd $123, -1032(%rdx){1to2}, %xmm18
2508 // CHECK: encoding: [0x62,0xe3,0xfd,0x18,0x56,0x92,0xf8,0xfb,0xff,0xff,0x7b]
2509 vreducepd $0x7b,-1032(%rdx){1to2}, %xmm18
2511 // CHECK: vreducepd $171, %ymm29, %ymm25
2512 // CHECK: encoding: [0x62,0x03,0xfd,0x28,0x56,0xcd,0xab]
2513 vreducepd $0xab, %ymm29, %ymm25
2515 // CHECK: vreducepd $171, %ymm29, %ymm25 {%k1}
2516 // CHECK: encoding: [0x62,0x03,0xfd,0x29,0x56,0xcd,0xab]
2517 vreducepd $0xab, %ymm29, %ymm25 {%k1}
2519 // CHECK: vreducepd $171, %ymm29, %ymm25 {%k1} {z}
2520 // CHECK: encoding: [0x62,0x03,0xfd,0xa9,0x56,0xcd,0xab]
2521 vreducepd $0xab, %ymm29, %ymm25 {%k1} {z}
2523 // CHECK: vreducepd $123, %ymm29, %ymm25
2524 // CHECK: encoding: [0x62,0x03,0xfd,0x28,0x56,0xcd,0x7b]
2525 vreducepd $0x7b, %ymm29, %ymm25
2527 // CHECK: vreducepd $123, (%rcx), %ymm25
2528 // CHECK: encoding: [0x62,0x63,0xfd,0x28,0x56,0x09,0x7b]
2529 vreducepd $0x7b,(%rcx), %ymm25
2531 // CHECK: vreducepd $123, 291(%rax,%r14,8), %ymm25
2532 // CHECK: encoding: [0x62,0x23,0xfd,0x28,0x56,0x8c,0xf0,0x23,0x01,0x00,0x00,0x7b]
2533 vreducepd $0x7b,291(%rax,%r14,8), %ymm25
2535 // CHECK: vreducepd $123, (%rcx){1to4}, %ymm25
2536 // CHECK: encoding: [0x62,0x63,0xfd,0x38,0x56,0x09,0x7b]
2537 vreducepd $0x7b,(%rcx){1to4}, %ymm25
2539 // CHECK: vreducepd $123, 4064(%rdx), %ymm25
2540 // CHECK: encoding: [0x62,0x63,0xfd,0x28,0x56,0x4a,0x7f,0x7b]
2541 vreducepd $0x7b,4064(%rdx), %ymm25
2543 // CHECK: vreducepd $123, 4096(%rdx), %ymm25
2544 // CHECK: encoding: [0x62,0x63,0xfd,0x28,0x56,0x8a,0x00,0x10,0x00,0x00,0x7b]
2545 vreducepd $0x7b,4096(%rdx), %ymm25
2547 // CHECK: vreducepd $123, -4096(%rdx), %ymm25
2548 // CHECK: encoding: [0x62,0x63,0xfd,0x28,0x56,0x4a,0x80,0x7b]
2549 vreducepd $0x7b,-4096(%rdx), %ymm25
2551 // CHECK: vreducepd $123, -4128(%rdx), %ymm25
2552 // CHECK: encoding: [0x62,0x63,0xfd,0x28,0x56,0x8a,0xe0,0xef,0xff,0xff,0x7b]
2553 vreducepd $0x7b,-4128(%rdx), %ymm25
2555 // CHECK: vreducepd $123, 1016(%rdx){1to4}, %ymm25
2556 // CHECK: encoding: [0x62,0x63,0xfd,0x38,0x56,0x4a,0x7f,0x7b]
2557 vreducepd $0x7b,1016(%rdx){1to4}, %ymm25
2559 // CHECK: vreducepd $123, 1024(%rdx){1to4}, %ymm25
2560 // CHECK: encoding: [0x62,0x63,0xfd,0x38,0x56,0x8a,0x00,0x04,0x00,0x00,0x7b]
2561 vreducepd $0x7b,1024(%rdx){1to4}, %ymm25
2563 // CHECK: vreducepd $123, -1024(%rdx){1to4}, %ymm25
2564 // CHECK: encoding: [0x62,0x63,0xfd,0x38,0x56,0x4a,0x80,0x7b]
2565 vreducepd $0x7b,-1024(%rdx){1to4}, %ymm25
2567 // CHECK: vreducepd $123, -1032(%rdx){1to4}, %ymm25
2568 // CHECK: encoding: [0x62,0x63,0xfd,0x38,0x56,0x8a,0xf8,0xfb,0xff,0xff,0x7b]
2569 vreducepd $0x7b,-1032(%rdx){1to4}, %ymm25
2571 // CHECK: vreduceps $171, %xmm23, %xmm20
2572 // CHECK: encoding: [0x62,0xa3,0x7d,0x08,0x56,0xe7,0xab]
2573 vreduceps $0xab, %xmm23, %xmm20
2575 // CHECK: vreduceps $171, %xmm23, %xmm20 {%k7}
2576 // CHECK: encoding: [0x62,0xa3,0x7d,0x0f,0x56,0xe7,0xab]
2577 vreduceps $0xab, %xmm23, %xmm20 {%k7}
2579 // CHECK: vreduceps $171, %xmm23, %xmm20 {%k7} {z}
2580 // CHECK: encoding: [0x62,0xa3,0x7d,0x8f,0x56,0xe7,0xab]
2581 vreduceps $0xab, %xmm23, %xmm20 {%k7} {z}
2583 // CHECK: vreduceps $123, %xmm23, %xmm20
2584 // CHECK: encoding: [0x62,0xa3,0x7d,0x08,0x56,0xe7,0x7b]
2585 vreduceps $0x7b, %xmm23, %xmm20
2587 // CHECK: vreduceps $123, (%rcx), %xmm20
2588 // CHECK: encoding: [0x62,0xe3,0x7d,0x08,0x56,0x21,0x7b]
2589 vreduceps $0x7b,(%rcx), %xmm20
2591 // CHECK: vreduceps $123, 291(%rax,%r14,8), %xmm20
2592 // CHECK: encoding: [0x62,0xa3,0x7d,0x08,0x56,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b]
2593 vreduceps $0x7b,291(%rax,%r14,8), %xmm20
2595 // CHECK: vreduceps $123, (%rcx){1to4}, %xmm20
2596 // CHECK: encoding: [0x62,0xe3,0x7d,0x18,0x56,0x21,0x7b]
2597 vreduceps $0x7b,(%rcx){1to4}, %xmm20
2599 // CHECK: vreduceps $123, 2032(%rdx), %xmm20
2600 // CHECK: encoding: [0x62,0xe3,0x7d,0x08,0x56,0x62,0x7f,0x7b]
2601 vreduceps $0x7b,2032(%rdx), %xmm20
2603 // CHECK: vreduceps $123, 2048(%rdx), %xmm20
2604 // CHECK: encoding: [0x62,0xe3,0x7d,0x08,0x56,0xa2,0x00,0x08,0x00,0x00,0x7b]
2605 vreduceps $0x7b,2048(%rdx), %xmm20
2607 // CHECK: vreduceps $123, -2048(%rdx), %xmm20
2608 // CHECK: encoding: [0x62,0xe3,0x7d,0x08,0x56,0x62,0x80,0x7b]
2609 vreduceps $0x7b,-2048(%rdx), %xmm20
2611 // CHECK: vreduceps $123, -2064(%rdx), %xmm20
2612 // CHECK: encoding: [0x62,0xe3,0x7d,0x08,0x56,0xa2,0xf0,0xf7,0xff,0xff,0x7b]
2613 vreduceps $0x7b,-2064(%rdx), %xmm20
2615 // CHECK: vreduceps $123, 508(%rdx){1to4}, %xmm20
2616 // CHECK: encoding: [0x62,0xe3,0x7d,0x18,0x56,0x62,0x7f,0x7b]
2617 vreduceps $0x7b,508(%rdx){1to4}, %xmm20
2619 // CHECK: vreduceps $123, 512(%rdx){1to4}, %xmm20
2620 // CHECK: encoding: [0x62,0xe3,0x7d,0x18,0x56,0xa2,0x00,0x02,0x00,0x00,0x7b]
2621 vreduceps $0x7b,512(%rdx){1to4}, %xmm20
2623 // CHECK: vreduceps $123, -512(%rdx){1to4}, %xmm20
2624 // CHECK: encoding: [0x62,0xe3,0x7d,0x18,0x56,0x62,0x80,0x7b]
2625 vreduceps $0x7b,-512(%rdx){1to4}, %xmm20
2627 // CHECK: vreduceps $123, -516(%rdx){1to4}, %xmm20
2628 // CHECK: encoding: [0x62,0xe3,0x7d,0x18,0x56,0xa2,0xfc,0xfd,0xff,0xff,0x7b]
2629 vreduceps $0x7b,-516(%rdx){1to4}, %xmm20
2631 // CHECK: vreduceps $171, %ymm22, %ymm26
2632 // CHECK: encoding: [0x62,0x23,0x7d,0x28,0x56,0xd6,0xab]
2633 vreduceps $0xab, %ymm22, %ymm26
2635 // CHECK: vreduceps $171, %ymm22, %ymm26 {%k6}
2636 // CHECK: encoding: [0x62,0x23,0x7d,0x2e,0x56,0xd6,0xab]
2637 vreduceps $0xab, %ymm22, %ymm26 {%k6}
2639 // CHECK: vreduceps $171, %ymm22, %ymm26 {%k6} {z}
2640 // CHECK: encoding: [0x62,0x23,0x7d,0xae,0x56,0xd6,0xab]
2641 vreduceps $0xab, %ymm22, %ymm26 {%k6} {z}
2643 // CHECK: vreduceps $123, %ymm22, %ymm26
2644 // CHECK: encoding: [0x62,0x23,0x7d,0x28,0x56,0xd6,0x7b]
2645 vreduceps $0x7b, %ymm22, %ymm26
2647 // CHECK: vreduceps $123, (%rcx), %ymm26
2648 // CHECK: encoding: [0x62,0x63,0x7d,0x28,0x56,0x11,0x7b]
2649 vreduceps $0x7b,(%rcx), %ymm26
2651 // CHECK: vreduceps $123, 291(%rax,%r14,8), %ymm26
2652 // CHECK: encoding: [0x62,0x23,0x7d,0x28,0x56,0x94,0xf0,0x23,0x01,0x00,0x00,0x7b]
2653 vreduceps $0x7b,291(%rax,%r14,8), %ymm26
2655 // CHECK: vreduceps $123, (%rcx){1to8}, %ymm26
2656 // CHECK: encoding: [0x62,0x63,0x7d,0x38,0x56,0x11,0x7b]
2657 vreduceps $0x7b,(%rcx){1to8}, %ymm26
2659 // CHECK: vreduceps $123, 4064(%rdx), %ymm26
2660 // CHECK: encoding: [0x62,0x63,0x7d,0x28,0x56,0x52,0x7f,0x7b]
2661 vreduceps $0x7b,4064(%rdx), %ymm26
2663 // CHECK: vreduceps $123, 4096(%rdx), %ymm26
2664 // CHECK: encoding: [0x62,0x63,0x7d,0x28,0x56,0x92,0x00,0x10,0x00,0x00,0x7b]
2665 vreduceps $0x7b,4096(%rdx), %ymm26
2667 // CHECK: vreduceps $123, -4096(%rdx), %ymm26
2668 // CHECK: encoding: [0x62,0x63,0x7d,0x28,0x56,0x52,0x80,0x7b]
2669 vreduceps $0x7b,-4096(%rdx), %ymm26
2671 // CHECK: vreduceps $123, -4128(%rdx), %ymm26
2672 // CHECK: encoding: [0x62,0x63,0x7d,0x28,0x56,0x92,0xe0,0xef,0xff,0xff,0x7b]
2673 vreduceps $0x7b,-4128(%rdx), %ymm26
2675 // CHECK: vreduceps $123, 508(%rdx){1to8}, %ymm26
2676 // CHECK: encoding: [0x62,0x63,0x7d,0x38,0x56,0x52,0x7f,0x7b]
2677 vreduceps $0x7b,508(%rdx){1to8}, %ymm26
2679 // CHECK: vreduceps $123, 512(%rdx){1to8}, %ymm26
2680 // CHECK: encoding: [0x62,0x63,0x7d,0x38,0x56,0x92,0x00,0x02,0x00,0x00,0x7b]
2681 vreduceps $0x7b,512(%rdx){1to8}, %ymm26
2683 // CHECK: vreduceps $123, -512(%rdx){1to8}, %ymm26
2684 // CHECK: encoding: [0x62,0x63,0x7d,0x38,0x56,0x52,0x80,0x7b]
2685 vreduceps $0x7b,-512(%rdx){1to8}, %ymm26
2687 // CHECK: vreduceps $123, -516(%rdx){1to8}, %ymm26
2688 // CHECK: encoding: [0x62,0x63,0x7d,0x38,0x56,0x92,0xfc,0xfd,0xff,0xff,0x7b]
2689 vreduceps $0x7b,-516(%rdx){1to8}, %ymm26
2691 // CHECK: vcvtpd2qq %xmm22, %xmm24
2692 // CHECK: encoding: [0x62,0x21,0xfd,0x08,0x7b,0xc6]
2693 vcvtpd2qq %xmm22, %xmm24
2695 // CHECK: vcvtpd2qq %xmm22, %xmm24 {%k6}
2696 // CHECK: encoding: [0x62,0x21,0xfd,0x0e,0x7b,0xc6]
2697 vcvtpd2qq %xmm22, %xmm24 {%k6}
2699 // CHECK: vcvtpd2qq %xmm22, %xmm24 {%k6} {z}
2700 // CHECK: encoding: [0x62,0x21,0xfd,0x8e,0x7b,0xc6]
2701 vcvtpd2qq %xmm22, %xmm24 {%k6} {z}
2703 // CHECK: vcvtpd2qq (%rcx), %xmm24
2704 // CHECK: encoding: [0x62,0x61,0xfd,0x08,0x7b,0x01]
2705 vcvtpd2qq (%rcx), %xmm24
2707 // CHECK: vcvtpd2qq 291(%rax,%r14,8), %xmm24
2708 // CHECK: encoding: [0x62,0x21,0xfd,0x08,0x7b,0x84,0xf0,0x23,0x01,0x00,0x00]
2709 vcvtpd2qq 291(%rax,%r14,8), %xmm24
2711 // CHECK: vcvtpd2qq (%rcx){1to2}, %xmm24
2712 // CHECK: encoding: [0x62,0x61,0xfd,0x18,0x7b,0x01]
2713 vcvtpd2qq (%rcx){1to2}, %xmm24
2715 // CHECK: vcvtpd2qq 2032(%rdx), %xmm24
2716 // CHECK: encoding: [0x62,0x61,0xfd,0x08,0x7b,0x42,0x7f]
2717 vcvtpd2qq 2032(%rdx), %xmm24
2719 // CHECK: vcvtpd2qq 2048(%rdx), %xmm24
2720 // CHECK: encoding: [0x62,0x61,0xfd,0x08,0x7b,0x82,0x00,0x08,0x00,0x00]
2721 vcvtpd2qq 2048(%rdx), %xmm24
2723 // CHECK: vcvtpd2qq -2048(%rdx), %xmm24
2724 // CHECK: encoding: [0x62,0x61,0xfd,0x08,0x7b,0x42,0x80]
2725 vcvtpd2qq -2048(%rdx), %xmm24
2727 // CHECK: vcvtpd2qq -2064(%rdx), %xmm24
2728 // CHECK: encoding: [0x62,0x61,0xfd,0x08,0x7b,0x82,0xf0,0xf7,0xff,0xff]
2729 vcvtpd2qq -2064(%rdx), %xmm24
2731 // CHECK: vcvtpd2qq 1016(%rdx){1to2}, %xmm24
2732 // CHECK: encoding: [0x62,0x61,0xfd,0x18,0x7b,0x42,0x7f]
2733 vcvtpd2qq 1016(%rdx){1to2}, %xmm24
2735 // CHECK: vcvtpd2qq 1024(%rdx){1to2}, %xmm24
2736 // CHECK: encoding: [0x62,0x61,0xfd,0x18,0x7b,0x82,0x00,0x04,0x00,0x00]
2737 vcvtpd2qq 1024(%rdx){1to2}, %xmm24
2739 // CHECK: vcvtpd2qq -1024(%rdx){1to2}, %xmm24
2740 // CHECK: encoding: [0x62,0x61,0xfd,0x18,0x7b,0x42,0x80]
2741 vcvtpd2qq -1024(%rdx){1to2}, %xmm24
2743 // CHECK: vcvtpd2qq -1032(%rdx){1to2}, %xmm24
2744 // CHECK: encoding: [0x62,0x61,0xfd,0x18,0x7b,0x82,0xf8,0xfb,0xff,0xff]
2745 vcvtpd2qq -1032(%rdx){1to2}, %xmm24
2747 // CHECK: vcvtpd2qq %ymm27, %ymm24
2748 // CHECK: encoding: [0x62,0x01,0xfd,0x28,0x7b,0xc3]
2749 vcvtpd2qq %ymm27, %ymm24
2751 // CHECK: vcvtpd2qq %ymm27, %ymm24 {%k7}
2752 // CHECK: encoding: [0x62,0x01,0xfd,0x2f,0x7b,0xc3]
2753 vcvtpd2qq %ymm27, %ymm24 {%k7}
2755 // CHECK: vcvtpd2qq %ymm27, %ymm24 {%k7} {z}
2756 // CHECK: encoding: [0x62,0x01,0xfd,0xaf,0x7b,0xc3]
2757 vcvtpd2qq %ymm27, %ymm24 {%k7} {z}
2759 // CHECK: vcvtpd2qq (%rcx), %ymm24
2760 // CHECK: encoding: [0x62,0x61,0xfd,0x28,0x7b,0x01]
2761 vcvtpd2qq (%rcx), %ymm24
2763 // CHECK: vcvtpd2qq 291(%rax,%r14,8), %ymm24
2764 // CHECK: encoding: [0x62,0x21,0xfd,0x28,0x7b,0x84,0xf0,0x23,0x01,0x00,0x00]
2765 vcvtpd2qq 291(%rax,%r14,8), %ymm24
2767 // CHECK: vcvtpd2qq (%rcx){1to4}, %ymm24
2768 // CHECK: encoding: [0x62,0x61,0xfd,0x38,0x7b,0x01]
2769 vcvtpd2qq (%rcx){1to4}, %ymm24
2771 // CHECK: vcvtpd2qq 4064(%rdx), %ymm24
2772 // CHECK: encoding: [0x62,0x61,0xfd,0x28,0x7b,0x42,0x7f]
2773 vcvtpd2qq 4064(%rdx), %ymm24
2775 // CHECK: vcvtpd2qq 4096(%rdx), %ymm24
2776 // CHECK: encoding: [0x62,0x61,0xfd,0x28,0x7b,0x82,0x00,0x10,0x00,0x00]
2777 vcvtpd2qq 4096(%rdx), %ymm24
2779 // CHECK: vcvtpd2qq -4096(%rdx), %ymm24
2780 // CHECK: encoding: [0x62,0x61,0xfd,0x28,0x7b,0x42,0x80]
2781 vcvtpd2qq -4096(%rdx), %ymm24
2783 // CHECK: vcvtpd2qq -4128(%rdx), %ymm24
2784 // CHECK: encoding: [0x62,0x61,0xfd,0x28,0x7b,0x82,0xe0,0xef,0xff,0xff]
2785 vcvtpd2qq -4128(%rdx), %ymm24
2787 // CHECK: vcvtpd2qq 1016(%rdx){1to4}, %ymm24
2788 // CHECK: encoding: [0x62,0x61,0xfd,0x38,0x7b,0x42,0x7f]
2789 vcvtpd2qq 1016(%rdx){1to4}, %ymm24
2791 // CHECK: vcvtpd2qq 1024(%rdx){1to4}, %ymm24
2792 // CHECK: encoding: [0x62,0x61,0xfd,0x38,0x7b,0x82,0x00,0x04,0x00,0x00]
2793 vcvtpd2qq 1024(%rdx){1to4}, %ymm24
2795 // CHECK: vcvtpd2qq -1024(%rdx){1to4}, %ymm24
2796 // CHECK: encoding: [0x62,0x61,0xfd,0x38,0x7b,0x42,0x80]
2797 vcvtpd2qq -1024(%rdx){1to4}, %ymm24
2799 // CHECK: vcvtpd2qq -1032(%rdx){1to4}, %ymm24
2800 // CHECK: encoding: [0x62,0x61,0xfd,0x38,0x7b,0x82,0xf8,0xfb,0xff,0xff]
2801 vcvtpd2qq -1032(%rdx){1to4}, %ymm24
2803 // CHECK: vcvtpd2uqq %xmm20, %xmm22
2804 // CHECK: encoding: [0x62,0xa1,0xfd,0x08,0x79,0xf4]
2805 vcvtpd2uqq %xmm20, %xmm22
2807 // CHECK: vcvtpd2uqq %xmm20, %xmm22 {%k3}
2808 // CHECK: encoding: [0x62,0xa1,0xfd,0x0b,0x79,0xf4]
2809 vcvtpd2uqq %xmm20, %xmm22 {%k3}
2811 // CHECK: vcvtpd2uqq %xmm20, %xmm22 {%k3} {z}
2812 // CHECK: encoding: [0x62,0xa1,0xfd,0x8b,0x79,0xf4]
2813 vcvtpd2uqq %xmm20, %xmm22 {%k3} {z}
2815 // CHECK: vcvtpd2uqq (%rcx), %xmm22
2816 // CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x79,0x31]
2817 vcvtpd2uqq (%rcx), %xmm22
2819 // CHECK: vcvtpd2uqq 291(%rax,%r14,8), %xmm22
2820 // CHECK: encoding: [0x62,0xa1,0xfd,0x08,0x79,0xb4,0xf0,0x23,0x01,0x00,0x00]
2821 vcvtpd2uqq 291(%rax,%r14,8), %xmm22
2823 // CHECK: vcvtpd2uqq (%rcx){1to2}, %xmm22
2824 // CHECK: encoding: [0x62,0xe1,0xfd,0x18,0x79,0x31]
2825 vcvtpd2uqq (%rcx){1to2}, %xmm22
2827 // CHECK: vcvtpd2uqq 2032(%rdx), %xmm22
2828 // CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x79,0x72,0x7f]
2829 vcvtpd2uqq 2032(%rdx), %xmm22
2831 // CHECK: vcvtpd2uqq 2048(%rdx), %xmm22
2832 // CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x79,0xb2,0x00,0x08,0x00,0x00]
2833 vcvtpd2uqq 2048(%rdx), %xmm22
2835 // CHECK: vcvtpd2uqq -2048(%rdx), %xmm22
2836 // CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x79,0x72,0x80]
2837 vcvtpd2uqq -2048(%rdx), %xmm22
2839 // CHECK: vcvtpd2uqq -2064(%rdx), %xmm22
2840 // CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x79,0xb2,0xf0,0xf7,0xff,0xff]
2841 vcvtpd2uqq -2064(%rdx), %xmm22
2843 // CHECK: vcvtpd2uqq 1016(%rdx){1to2}, %xmm22
2844 // CHECK: encoding: [0x62,0xe1,0xfd,0x18,0x79,0x72,0x7f]
2845 vcvtpd2uqq 1016(%rdx){1to2}, %xmm22
2847 // CHECK: vcvtpd2uqq 1024(%rdx){1to2}, %xmm22
2848 // CHECK: encoding: [0x62,0xe1,0xfd,0x18,0x79,0xb2,0x00,0x04,0x00,0x00]
2849 vcvtpd2uqq 1024(%rdx){1to2}, %xmm22
2851 // CHECK: vcvtpd2uqq -1024(%rdx){1to2}, %xmm22
2852 // CHECK: encoding: [0x62,0xe1,0xfd,0x18,0x79,0x72,0x80]
2853 vcvtpd2uqq -1024(%rdx){1to2}, %xmm22
2855 // CHECK: vcvtpd2uqq -1032(%rdx){1to2}, %xmm22
2856 // CHECK: encoding: [0x62,0xe1,0xfd,0x18,0x79,0xb2,0xf8,0xfb,0xff,0xff]
2857 vcvtpd2uqq -1032(%rdx){1to2}, %xmm22
2859 // CHECK: vcvtpd2uqq %ymm24, %ymm21
2860 // CHECK: encoding: [0x62,0x81,0xfd,0x28,0x79,0xe8]
2861 vcvtpd2uqq %ymm24, %ymm21
2863 // CHECK: vcvtpd2uqq %ymm24, %ymm21 {%k6}
2864 // CHECK: encoding: [0x62,0x81,0xfd,0x2e,0x79,0xe8]
2865 vcvtpd2uqq %ymm24, %ymm21 {%k6}
2867 // CHECK: vcvtpd2uqq %ymm24, %ymm21 {%k6} {z}
2868 // CHECK: encoding: [0x62,0x81,0xfd,0xae,0x79,0xe8]
2869 vcvtpd2uqq %ymm24, %ymm21 {%k6} {z}
2871 // CHECK: vcvtpd2uqq (%rcx), %ymm21
2872 // CHECK: encoding: [0x62,0xe1,0xfd,0x28,0x79,0x29]
2873 vcvtpd2uqq (%rcx), %ymm21
2875 // CHECK: vcvtpd2uqq 291(%rax,%r14,8), %ymm21
2876 // CHECK: encoding: [0x62,0xa1,0xfd,0x28,0x79,0xac,0xf0,0x23,0x01,0x00,0x00]
2877 vcvtpd2uqq 291(%rax,%r14,8), %ymm21
2879 // CHECK: vcvtpd2uqq (%rcx){1to4}, %ymm21
2880 // CHECK: encoding: [0x62,0xe1,0xfd,0x38,0x79,0x29]
2881 vcvtpd2uqq (%rcx){1to4}, %ymm21
2883 // CHECK: vcvtpd2uqq 4064(%rdx), %ymm21
2884 // CHECK: encoding: [0x62,0xe1,0xfd,0x28,0x79,0x6a,0x7f]
2885 vcvtpd2uqq 4064(%rdx), %ymm21
2887 // CHECK: vcvtpd2uqq 4096(%rdx), %ymm21
2888 // CHECK: encoding: [0x62,0xe1,0xfd,0x28,0x79,0xaa,0x00,0x10,0x00,0x00]
2889 vcvtpd2uqq 4096(%rdx), %ymm21
2891 // CHECK: vcvtpd2uqq -4096(%rdx), %ymm21
2892 // CHECK: encoding: [0x62,0xe1,0xfd,0x28,0x79,0x6a,0x80]
2893 vcvtpd2uqq -4096(%rdx), %ymm21
2895 // CHECK: vcvtpd2uqq -4128(%rdx), %ymm21
2896 // CHECK: encoding: [0x62,0xe1,0xfd,0x28,0x79,0xaa,0xe0,0xef,0xff,0xff]
2897 vcvtpd2uqq -4128(%rdx), %ymm21
2899 // CHECK: vcvtpd2uqq 1016(%rdx){1to4}, %ymm21
2900 // CHECK: encoding: [0x62,0xe1,0xfd,0x38,0x79,0x6a,0x7f]
2901 vcvtpd2uqq 1016(%rdx){1to4}, %ymm21
2903 // CHECK: vcvtpd2uqq 1024(%rdx){1to4}, %ymm21
2904 // CHECK: encoding: [0x62,0xe1,0xfd,0x38,0x79,0xaa,0x00,0x04,0x00,0x00]
2905 vcvtpd2uqq 1024(%rdx){1to4}, %ymm21
2907 // CHECK: vcvtpd2uqq -1024(%rdx){1to4}, %ymm21
2908 // CHECK: encoding: [0x62,0xe1,0xfd,0x38,0x79,0x6a,0x80]
2909 vcvtpd2uqq -1024(%rdx){1to4}, %ymm21
2911 // CHECK: vcvtpd2uqq -1032(%rdx){1to4}, %ymm21
2912 // CHECK: encoding: [0x62,0xe1,0xfd,0x38,0x79,0xaa,0xf8,0xfb,0xff,0xff]
2913 vcvtpd2uqq -1032(%rdx){1to4}, %ymm21
2915 // CHECK: vcvtps2qq %xmm28, %xmm17
2916 // CHECK: encoding: [0x62,0x81,0x7d,0x08,0x7b,0xcc]
2917 vcvtps2qq %xmm28, %xmm17
2919 // CHECK: vcvtps2qq %xmm28, %xmm17 {%k4}
2920 // CHECK: encoding: [0x62,0x81,0x7d,0x0c,0x7b,0xcc]
2921 vcvtps2qq %xmm28, %xmm17 {%k4}
2923 // CHECK: vcvtps2qq %xmm28, %xmm17 {%k4} {z}
2924 // CHECK: encoding: [0x62,0x81,0x7d,0x8c,0x7b,0xcc]
2925 vcvtps2qq %xmm28, %xmm17 {%k4} {z}
2927 // CHECK: vcvtps2qq (%rcx), %xmm17
2928 // CHECK: encoding: [0x62,0xe1,0x7d,0x08,0x7b,0x09]
2929 vcvtps2qq (%rcx), %xmm17
2931 // CHECK: vcvtps2qq 291(%rax,%r14,8), %xmm17
2932 // CHECK: encoding: [0x62,0xa1,0x7d,0x08,0x7b,0x8c,0xf0,0x23,0x01,0x00,0x00]
2933 vcvtps2qq 291(%rax,%r14,8), %xmm17
2935 // CHECK: vcvtps2qq (%rcx){1to2}, %xmm17
2936 // CHECK: encoding: [0x62,0xe1,0x7d,0x18,0x7b,0x09]
2937 vcvtps2qq (%rcx){1to2}, %xmm17
2939 // CHECK: vcvtps2qq 1016(%rdx), %xmm17
2940 // CHECK: encoding: [0x62,0xe1,0x7d,0x08,0x7b,0x4a,0x7f]
2941 vcvtps2qq 1016(%rdx), %xmm17
2943 // CHECK: vcvtps2qq 1024(%rdx), %xmm17
2944 // CHECK: encoding: [0x62,0xe1,0x7d,0x08,0x7b,0x8a,0x00,0x04,0x00,0x00]
2945 vcvtps2qq 1024(%rdx), %xmm17
2947 // CHECK: vcvtps2qq -1024(%rdx), %xmm17
2948 // CHECK: encoding: [0x62,0xe1,0x7d,0x08,0x7b,0x4a,0x80]
2949 vcvtps2qq -1024(%rdx), %xmm17
2951 // CHECK: vcvtps2qq -1032(%rdx), %xmm17
2952 // CHECK: encoding: [0x62,0xe1,0x7d,0x08,0x7b,0x8a,0xf8,0xfb,0xff,0xff]
2953 vcvtps2qq -1032(%rdx), %xmm17
2955 // CHECK: vcvtps2qq 508(%rdx){1to2}, %xmm17
2956 // CHECK: encoding: [0x62,0xe1,0x7d,0x18,0x7b,0x4a,0x7f]
2957 vcvtps2qq 508(%rdx){1to2}, %xmm17
2959 // CHECK: vcvtps2qq 512(%rdx){1to2}, %xmm17
2960 // CHECK: encoding: [0x62,0xe1,0x7d,0x18,0x7b,0x8a,0x00,0x02,0x00,0x00]
2961 vcvtps2qq 512(%rdx){1to2}, %xmm17
2963 // CHECK: vcvtps2qq -512(%rdx){1to2}, %xmm17
2964 // CHECK: encoding: [0x62,0xe1,0x7d,0x18,0x7b,0x4a,0x80]
2965 vcvtps2qq -512(%rdx){1to2}, %xmm17
2967 // CHECK: vcvtps2qq -516(%rdx){1to2}, %xmm17
2968 // CHECK: encoding: [0x62,0xe1,0x7d,0x18,0x7b,0x8a,0xfc,0xfd,0xff,0xff]
2969 vcvtps2qq -516(%rdx){1to2}, %xmm17
2971 // CHECK: vcvtps2qq %xmm27, %ymm25
2972 // CHECK: encoding: [0x62,0x01,0x7d,0x28,0x7b,0xcb]
2973 vcvtps2qq %xmm27, %ymm25
2975 // CHECK: vcvtps2qq %xmm27, %ymm25 {%k7}
2976 // CHECK: encoding: [0x62,0x01,0x7d,0x2f,0x7b,0xcb]
2977 vcvtps2qq %xmm27, %ymm25 {%k7}
2979 // CHECK: vcvtps2qq %xmm27, %ymm25 {%k7} {z}
2980 // CHECK: encoding: [0x62,0x01,0x7d,0xaf,0x7b,0xcb]
2981 vcvtps2qq %xmm27, %ymm25 {%k7} {z}
2983 // CHECK: vcvtps2qq (%rcx), %ymm25
2984 // CHECK: encoding: [0x62,0x61,0x7d,0x28,0x7b,0x09]
2985 vcvtps2qq (%rcx), %ymm25
2987 // CHECK: vcvtps2qq 291(%rax,%r14,8), %ymm25
2988 // CHECK: encoding: [0x62,0x21,0x7d,0x28,0x7b,0x8c,0xf0,0x23,0x01,0x00,0x00]
2989 vcvtps2qq 291(%rax,%r14,8), %ymm25
2991 // CHECK: vcvtps2qq (%rcx){1to4}, %ymm25
2992 // CHECK: encoding: [0x62,0x61,0x7d,0x38,0x7b,0x09]
2993 vcvtps2qq (%rcx){1to4}, %ymm25
2995 // CHECK: vcvtps2qq 2032(%rdx), %ymm25
2996 // CHECK: encoding: [0x62,0x61,0x7d,0x28,0x7b,0x4a,0x7f]
2997 vcvtps2qq 2032(%rdx), %ymm25
2999 // CHECK: vcvtps2qq 2048(%rdx), %ymm25
3000 // CHECK: encoding: [0x62,0x61,0x7d,0x28,0x7b,0x8a,0x00,0x08,0x00,0x00]
3001 vcvtps2qq 2048(%rdx), %ymm25
3003 // CHECK: vcvtps2qq -2048(%rdx), %ymm25
3004 // CHECK: encoding: [0x62,0x61,0x7d,0x28,0x7b,0x4a,0x80]
3005 vcvtps2qq -2048(%rdx), %ymm25
3007 // CHECK: vcvtps2qq -2064(%rdx), %ymm25
3008 // CHECK: encoding: [0x62,0x61,0x7d,0x28,0x7b,0x8a,0xf0,0xf7,0xff,0xff]
3009 vcvtps2qq -2064(%rdx), %ymm25
3011 // CHECK: vcvtps2qq 508(%rdx){1to4}, %ymm25
3012 // CHECK: encoding: [0x62,0x61,0x7d,0x38,0x7b,0x4a,0x7f]
3013 vcvtps2qq 508(%rdx){1to4}, %ymm25
3015 // CHECK: vcvtps2qq 512(%rdx){1to4}, %ymm25
3016 // CHECK: encoding: [0x62,0x61,0x7d,0x38,0x7b,0x8a,0x00,0x02,0x00,0x00]
3017 vcvtps2qq 512(%rdx){1to4}, %ymm25
3019 // CHECK: vcvtps2qq -512(%rdx){1to4}, %ymm25
3020 // CHECK: encoding: [0x62,0x61,0x7d,0x38,0x7b,0x4a,0x80]
3021 vcvtps2qq -512(%rdx){1to4}, %ymm25
3023 // CHECK: vcvtps2qq -516(%rdx){1to4}, %ymm25
3024 // CHECK: encoding: [0x62,0x61,0x7d,0x38,0x7b,0x8a,0xfc,0xfd,0xff,0xff]
3025 vcvtps2qq -516(%rdx){1to4}, %ymm25
3027 // CHECK: vcvtps2uqq %xmm29, %xmm29
3028 // CHECK: encoding: [0x62,0x01,0x7d,0x08,0x79,0xed]
3029 vcvtps2uqq %xmm29, %xmm29
3031 // CHECK: vcvtps2uqq %xmm29, %xmm29 {%k1}
3032 // CHECK: encoding: [0x62,0x01,0x7d,0x09,0x79,0xed]
3033 vcvtps2uqq %xmm29, %xmm29 {%k1}
3035 // CHECK: vcvtps2uqq %xmm29, %xmm29 {%k1} {z}
3036 // CHECK: encoding: [0x62,0x01,0x7d,0x89,0x79,0xed]
3037 vcvtps2uqq %xmm29, %xmm29 {%k1} {z}
3039 // CHECK: vcvtps2uqq (%rcx), %xmm29
3040 // CHECK: encoding: [0x62,0x61,0x7d,0x08,0x79,0x29]
3041 vcvtps2uqq (%rcx), %xmm29
3043 // CHECK: vcvtps2uqq 291(%rax,%r14,8), %xmm29
3044 // CHECK: encoding: [0x62,0x21,0x7d,0x08,0x79,0xac,0xf0,0x23,0x01,0x00,0x00]
3045 vcvtps2uqq 291(%rax,%r14,8), %xmm29
3047 // CHECK: vcvtps2uqq (%rcx){1to2}, %xmm29
3048 // CHECK: encoding: [0x62,0x61,0x7d,0x18,0x79,0x29]
3049 vcvtps2uqq (%rcx){1to2}, %xmm29
3051 // CHECK: vcvtps2uqq 1016(%rdx), %xmm29
3052 // CHECK: encoding: [0x62,0x61,0x7d,0x08,0x79,0x6a,0x7f]
3053 vcvtps2uqq 1016(%rdx), %xmm29
3055 // CHECK: vcvtps2uqq 1024(%rdx), %xmm29
3056 // CHECK: encoding: [0x62,0x61,0x7d,0x08,0x79,0xaa,0x00,0x04,0x00,0x00]
3057 vcvtps2uqq 1024(%rdx), %xmm29
3059 // CHECK: vcvtps2uqq -1024(%rdx), %xmm29
3060 // CHECK: encoding: [0x62,0x61,0x7d,0x08,0x79,0x6a,0x80]
3061 vcvtps2uqq -1024(%rdx), %xmm29
3063 // CHECK: vcvtps2uqq -1032(%rdx), %xmm29
3064 // CHECK: encoding: [0x62,0x61,0x7d,0x08,0x79,0xaa,0xf8,0xfb,0xff,0xff]
3065 vcvtps2uqq -1032(%rdx), %xmm29
3067 // CHECK: vcvtps2uqq 508(%rdx){1to2}, %xmm29
3068 // CHECK: encoding: [0x62,0x61,0x7d,0x18,0x79,0x6a,0x7f]
3069 vcvtps2uqq 508(%rdx){1to2}, %xmm29
3071 // CHECK: vcvtps2uqq 512(%rdx){1to2}, %xmm29
3072 // CHECK: encoding: [0x62,0x61,0x7d,0x18,0x79,0xaa,0x00,0x02,0x00,0x00]
3073 vcvtps2uqq 512(%rdx){1to2}, %xmm29
3075 // CHECK: vcvtps2uqq -512(%rdx){1to2}, %xmm29
3076 // CHECK: encoding: [0x62,0x61,0x7d,0x18,0x79,0x6a,0x80]
3077 vcvtps2uqq -512(%rdx){1to2}, %xmm29
3079 // CHECK: vcvtps2uqq -516(%rdx){1to2}, %xmm29
3080 // CHECK: encoding: [0x62,0x61,0x7d,0x18,0x79,0xaa,0xfc,0xfd,0xff,0xff]
3081 vcvtps2uqq -516(%rdx){1to2}, %xmm29
3083 // CHECK: vcvtps2uqq %xmm19, %ymm23
3084 // CHECK: encoding: [0x62,0xa1,0x7d,0x28,0x79,0xfb]
3085 vcvtps2uqq %xmm19, %ymm23
3087 // CHECK: vcvtps2uqq %xmm19, %ymm23 {%k2}
3088 // CHECK: encoding: [0x62,0xa1,0x7d,0x2a,0x79,0xfb]
3089 vcvtps2uqq %xmm19, %ymm23 {%k2}
3091 // CHECK: vcvtps2uqq %xmm19, %ymm23 {%k2} {z}
3092 // CHECK: encoding: [0x62,0xa1,0x7d,0xaa,0x79,0xfb]
3093 vcvtps2uqq %xmm19, %ymm23 {%k2} {z}
3095 // CHECK: vcvtps2uqq (%rcx), %ymm23
3096 // CHECK: encoding: [0x62,0xe1,0x7d,0x28,0x79,0x39]
3097 vcvtps2uqq (%rcx), %ymm23
3099 // CHECK: vcvtps2uqq 291(%rax,%r14,8), %ymm23
3100 // CHECK: encoding: [0x62,0xa1,0x7d,0x28,0x79,0xbc,0xf0,0x23,0x01,0x00,0x00]
3101 vcvtps2uqq 291(%rax,%r14,8), %ymm23
3103 // CHECK: vcvtps2uqq (%rcx){1to4}, %ymm23
3104 // CHECK: encoding: [0x62,0xe1,0x7d,0x38,0x79,0x39]
3105 vcvtps2uqq (%rcx){1to4}, %ymm23
3107 // CHECK: vcvtps2uqq 2032(%rdx), %ymm23
3108 // CHECK: encoding: [0x62,0xe1,0x7d,0x28,0x79,0x7a,0x7f]
3109 vcvtps2uqq 2032(%rdx), %ymm23
3111 // CHECK: vcvtps2uqq 2048(%rdx), %ymm23
3112 // CHECK: encoding: [0x62,0xe1,0x7d,0x28,0x79,0xba,0x00,0x08,0x00,0x00]
3113 vcvtps2uqq 2048(%rdx), %ymm23
3115 // CHECK: vcvtps2uqq -2048(%rdx), %ymm23
3116 // CHECK: encoding: [0x62,0xe1,0x7d,0x28,0x79,0x7a,0x80]
3117 vcvtps2uqq -2048(%rdx), %ymm23
3119 // CHECK: vcvtps2uqq -2064(%rdx), %ymm23
3120 // CHECK: encoding: [0x62,0xe1,0x7d,0x28,0x79,0xba,0xf0,0xf7,0xff,0xff]
3121 vcvtps2uqq -2064(%rdx), %ymm23
3123 // CHECK: vcvtps2uqq 508(%rdx){1to4}, %ymm23
3124 // CHECK: encoding: [0x62,0xe1,0x7d,0x38,0x79,0x7a,0x7f]
3125 vcvtps2uqq 508(%rdx){1to4}, %ymm23
3127 // CHECK: vcvtps2uqq 512(%rdx){1to4}, %ymm23
3128 // CHECK: encoding: [0x62,0xe1,0x7d,0x38,0x79,0xba,0x00,0x02,0x00,0x00]
3129 vcvtps2uqq 512(%rdx){1to4}, %ymm23
3131 // CHECK: vcvtps2uqq -512(%rdx){1to4}, %ymm23
3132 // CHECK: encoding: [0x62,0xe1,0x7d,0x38,0x79,0x7a,0x80]
3133 vcvtps2uqq -512(%rdx){1to4}, %ymm23
3135 // CHECK: vcvtps2uqq -516(%rdx){1to4}, %ymm23
3136 // CHECK: encoding: [0x62,0xe1,0x7d,0x38,0x79,0xba,0xfc,0xfd,0xff,0xff]
3137 vcvtps2uqq -516(%rdx){1to4}, %ymm23
3139 // CHECK: vcvtqq2pd %xmm29, %xmm22
3140 // CHECK: encoding: [0x62,0x81,0xfe,0x08,0xe6,0xf5]
3141 vcvtqq2pd %xmm29, %xmm22
3143 // CHECK: vcvtqq2pd %xmm29, %xmm22 {%k7}
3144 // CHECK: encoding: [0x62,0x81,0xfe,0x0f,0xe6,0xf5]
3145 vcvtqq2pd %xmm29, %xmm22 {%k7}
3147 // CHECK: vcvtqq2pd %xmm29, %xmm22 {%k7} {z}
3148 // CHECK: encoding: [0x62,0x81,0xfe,0x8f,0xe6,0xf5]
3149 vcvtqq2pd %xmm29, %xmm22 {%k7} {z}
3151 // CHECK: vcvtqq2pd (%rcx), %xmm22
3152 // CHECK: encoding: [0x62,0xe1,0xfe,0x08,0xe6,0x31]
3153 vcvtqq2pd (%rcx), %xmm22
3155 // CHECK: vcvtqq2pd 291(%rax,%r14,8), %xmm22
3156 // CHECK: encoding: [0x62,0xa1,0xfe,0x08,0xe6,0xb4,0xf0,0x23,0x01,0x00,0x00]
3157 vcvtqq2pd 291(%rax,%r14,8), %xmm22
3159 // CHECK: vcvtqq2pd (%rcx){1to2}, %xmm22
3160 // CHECK: encoding: [0x62,0xe1,0xfe,0x18,0xe6,0x31]
3161 vcvtqq2pd (%rcx){1to2}, %xmm22
3163 // CHECK: vcvtqq2pd 2032(%rdx), %xmm22
3164 // CHECK: encoding: [0x62,0xe1,0xfe,0x08,0xe6,0x72,0x7f]
3165 vcvtqq2pd 2032(%rdx), %xmm22
3167 // CHECK: vcvtqq2pd 2048(%rdx), %xmm22
3168 // CHECK: encoding: [0x62,0xe1,0xfe,0x08,0xe6,0xb2,0x00,0x08,0x00,0x00]
3169 vcvtqq2pd 2048(%rdx), %xmm22
3171 // CHECK: vcvtqq2pd -2048(%rdx), %xmm22
3172 // CHECK: encoding: [0x62,0xe1,0xfe,0x08,0xe6,0x72,0x80]
3173 vcvtqq2pd -2048(%rdx), %xmm22
3175 // CHECK: vcvtqq2pd -2064(%rdx), %xmm22
3176 // CHECK: encoding: [0x62,0xe1,0xfe,0x08,0xe6,0xb2,0xf0,0xf7,0xff,0xff]
3177 vcvtqq2pd -2064(%rdx), %xmm22
3179 // CHECK: vcvtqq2pd 1016(%rdx){1to2}, %xmm22
3180 // CHECK: encoding: [0x62,0xe1,0xfe,0x18,0xe6,0x72,0x7f]
3181 vcvtqq2pd 1016(%rdx){1to2}, %xmm22
3183 // CHECK: vcvtqq2pd 1024(%rdx){1to2}, %xmm22
3184 // CHECK: encoding: [0x62,0xe1,0xfe,0x18,0xe6,0xb2,0x00,0x04,0x00,0x00]
3185 vcvtqq2pd 1024(%rdx){1to2}, %xmm22
3187 // CHECK: vcvtqq2pd -1024(%rdx){1to2}, %xmm22
3188 // CHECK: encoding: [0x62,0xe1,0xfe,0x18,0xe6,0x72,0x80]
3189 vcvtqq2pd -1024(%rdx){1to2}, %xmm22
3191 // CHECK: vcvtqq2pd -1032(%rdx){1to2}, %xmm22
3192 // CHECK: encoding: [0x62,0xe1,0xfe,0x18,0xe6,0xb2,0xf8,0xfb,0xff,0xff]
3193 vcvtqq2pd -1032(%rdx){1to2}, %xmm22
3195 // CHECK: vcvtqq2pd %ymm20, %ymm21
3196 // CHECK: encoding: [0x62,0xa1,0xfe,0x28,0xe6,0xec]
3197 vcvtqq2pd %ymm20, %ymm21
3199 // CHECK: vcvtqq2pd %ymm20, %ymm21 {%k5}
3200 // CHECK: encoding: [0x62,0xa1,0xfe,0x2d,0xe6,0xec]
3201 vcvtqq2pd %ymm20, %ymm21 {%k5}
3203 // CHECK: vcvtqq2pd %ymm20, %ymm21 {%k5} {z}
3204 // CHECK: encoding: [0x62,0xa1,0xfe,0xad,0xe6,0xec]
3205 vcvtqq2pd %ymm20, %ymm21 {%k5} {z}
3207 // CHECK: vcvtqq2pd (%rcx), %ymm21
3208 // CHECK: encoding: [0x62,0xe1,0xfe,0x28,0xe6,0x29]
3209 vcvtqq2pd (%rcx), %ymm21
3211 // CHECK: vcvtqq2pd 291(%rax,%r14,8), %ymm21
3212 // CHECK: encoding: [0x62,0xa1,0xfe,0x28,0xe6,0xac,0xf0,0x23,0x01,0x00,0x00]
3213 vcvtqq2pd 291(%rax,%r14,8), %ymm21
3215 // CHECK: vcvtqq2pd (%rcx){1to4}, %ymm21
3216 // CHECK: encoding: [0x62,0xe1,0xfe,0x38,0xe6,0x29]
3217 vcvtqq2pd (%rcx){1to4}, %ymm21
3219 // CHECK: vcvtqq2pd 4064(%rdx), %ymm21
3220 // CHECK: encoding: [0x62,0xe1,0xfe,0x28,0xe6,0x6a,0x7f]
3221 vcvtqq2pd 4064(%rdx), %ymm21
3223 // CHECK: vcvtqq2pd 4096(%rdx), %ymm21
3224 // CHECK: encoding: [0x62,0xe1,0xfe,0x28,0xe6,0xaa,0x00,0x10,0x00,0x00]
3225 vcvtqq2pd 4096(%rdx), %ymm21
3227 // CHECK: vcvtqq2pd -4096(%rdx), %ymm21
3228 // CHECK: encoding: [0x62,0xe1,0xfe,0x28,0xe6,0x6a,0x80]
3229 vcvtqq2pd -4096(%rdx), %ymm21
3231 // CHECK: vcvtqq2pd -4128(%rdx), %ymm21
3232 // CHECK: encoding: [0x62,0xe1,0xfe,0x28,0xe6,0xaa,0xe0,0xef,0xff,0xff]
3233 vcvtqq2pd -4128(%rdx), %ymm21
3235 // CHECK: vcvtqq2pd 1016(%rdx){1to4}, %ymm21
3236 // CHECK: encoding: [0x62,0xe1,0xfe,0x38,0xe6,0x6a,0x7f]
3237 vcvtqq2pd 1016(%rdx){1to4}, %ymm21
3239 // CHECK: vcvtqq2pd 1024(%rdx){1to4}, %ymm21
3240 // CHECK: encoding: [0x62,0xe1,0xfe,0x38,0xe6,0xaa,0x00,0x04,0x00,0x00]
3241 vcvtqq2pd 1024(%rdx){1to4}, %ymm21
3243 // CHECK: vcvtqq2pd -1024(%rdx){1to4}, %ymm21
3244 // CHECK: encoding: [0x62,0xe1,0xfe,0x38,0xe6,0x6a,0x80]
3245 vcvtqq2pd -1024(%rdx){1to4}, %ymm21
3247 // CHECK: vcvtqq2pd -1032(%rdx){1to4}, %ymm21
3248 // CHECK: encoding: [0x62,0xe1,0xfe,0x38,0xe6,0xaa,0xf8,0xfb,0xff,0xff]
3249 vcvtqq2pd -1032(%rdx){1to4}, %ymm21
3251 // CHECK: vcvtqq2ps %xmm28, %xmm25
3252 // CHECK: encoding: [0x62,0x01,0xfc,0x08,0x5b,0xcc]
3253 vcvtqq2ps %xmm28, %xmm25
3255 // CHECK: vcvtqq2ps %xmm28, %xmm25 {%k6}
3256 // CHECK: encoding: [0x62,0x01,0xfc,0x0e,0x5b,0xcc]
3257 vcvtqq2ps %xmm28, %xmm25 {%k6}
3259 // CHECK: vcvtqq2ps %xmm28, %xmm25 {%k6} {z}
3260 // CHECK: encoding: [0x62,0x01,0xfc,0x8e,0x5b,0xcc]
3261 vcvtqq2ps %xmm28, %xmm25 {%k6} {z}
3263 // CHECK: vcvtqq2psx (%rcx), %xmm25
3264 // CHECK: encoding: [0x62,0x61,0xfc,0x08,0x5b,0x09]
3265 vcvtqq2psx (%rcx), %xmm25
3267 // CHECK: vcvtqq2psx 291(%rax,%r14,8), %xmm25
3268 // CHECK: encoding: [0x62,0x21,0xfc,0x08,0x5b,0x8c,0xf0,0x23,0x01,0x00,0x00]
3269 vcvtqq2psx 291(%rax,%r14,8), %xmm25
3271 // CHECK: vcvtqq2ps (%rcx){1to2}, %xmm25
3272 // CHECK: encoding: [0x62,0x61,0xfc,0x18,0x5b,0x09]
3273 vcvtqq2ps (%rcx){1to2}, %xmm25
3275 // CHECK: vcvtqq2psx 2032(%rdx), %xmm25
3276 // CHECK: encoding: [0x62,0x61,0xfc,0x08,0x5b,0x4a,0x7f]
3277 vcvtqq2psx 2032(%rdx), %xmm25
3279 // CHECK: vcvtqq2psx 2048(%rdx), %xmm25
3280 // CHECK: encoding: [0x62,0x61,0xfc,0x08,0x5b,0x8a,0x00,0x08,0x00,0x00]
3281 vcvtqq2psx 2048(%rdx), %xmm25
3283 // CHECK: vcvtqq2psx -2048(%rdx), %xmm25
3284 // CHECK: encoding: [0x62,0x61,0xfc,0x08,0x5b,0x4a,0x80]
3285 vcvtqq2psx -2048(%rdx), %xmm25
3287 // CHECK: vcvtqq2psx -2064(%rdx), %xmm25
3288 // CHECK: encoding: [0x62,0x61,0xfc,0x08,0x5b,0x8a,0xf0,0xf7,0xff,0xff]
3289 vcvtqq2psx -2064(%rdx), %xmm25
3291 // CHECK: vcvtqq2ps 1016(%rdx){1to2}, %xmm25
3292 // CHECK: encoding: [0x62,0x61,0xfc,0x18,0x5b,0x4a,0x7f]
3293 vcvtqq2ps 1016(%rdx){1to2}, %xmm25
3295 // CHECK: vcvtqq2ps 1024(%rdx){1to2}, %xmm25
3296 // CHECK: encoding: [0x62,0x61,0xfc,0x18,0x5b,0x8a,0x00,0x04,0x00,0x00]
3297 vcvtqq2ps 1024(%rdx){1to2}, %xmm25
3299 // CHECK: vcvtqq2ps -1024(%rdx){1to2}, %xmm25
3300 // CHECK: encoding: [0x62,0x61,0xfc,0x18,0x5b,0x4a,0x80]
3301 vcvtqq2ps -1024(%rdx){1to2}, %xmm25
3303 // CHECK: vcvtqq2ps -1032(%rdx){1to2}, %xmm25
3304 // CHECK: encoding: [0x62,0x61,0xfc,0x18,0x5b,0x8a,0xf8,0xfb,0xff,0xff]
3305 vcvtqq2ps -1032(%rdx){1to2}, %xmm25
3307 // CHECK: vcvtqq2ps %ymm22, %xmm27
3308 // CHECK: encoding: [0x62,0x21,0xfc,0x28,0x5b,0xde]
3309 vcvtqq2ps %ymm22, %xmm27
3311 // CHECK: vcvtqq2ps %ymm22, %xmm27 {%k3}
3312 // CHECK: encoding: [0x62,0x21,0xfc,0x2b,0x5b,0xde]
3313 vcvtqq2ps %ymm22, %xmm27 {%k3}
3315 // CHECK: vcvtqq2ps %ymm22, %xmm27 {%k3} {z}
3316 // CHECK: encoding: [0x62,0x21,0xfc,0xab,0x5b,0xde]
3317 vcvtqq2ps %ymm22, %xmm27 {%k3} {z}
3319 // CHECK: vcvtqq2psy (%rcx), %xmm27
3320 // CHECK: encoding: [0x62,0x61,0xfc,0x28,0x5b,0x19]
3321 vcvtqq2psy (%rcx), %xmm27
3323 // CHECK: vcvtqq2psy 291(%rax,%r14,8), %xmm27
3324 // CHECK: encoding: [0x62,0x21,0xfc,0x28,0x5b,0x9c,0xf0,0x23,0x01,0x00,0x00]
3325 vcvtqq2psy 291(%rax,%r14,8), %xmm27
3327 // CHECK: vcvtqq2ps (%rcx){1to4}, %xmm27
3328 // CHECK: encoding: [0x62,0x61,0xfc,0x38,0x5b,0x19]
3329 vcvtqq2ps (%rcx){1to4}, %xmm27
3331 // CHECK: vcvtqq2psy 4064(%rdx), %xmm27
3332 // CHECK: encoding: [0x62,0x61,0xfc,0x28,0x5b,0x5a,0x7f]
3333 vcvtqq2psy 4064(%rdx), %xmm27
3335 // CHECK: vcvtqq2psy 4096(%rdx), %xmm27
3336 // CHECK: encoding: [0x62,0x61,0xfc,0x28,0x5b,0x9a,0x00,0x10,0x00,0x00]
3337 vcvtqq2psy 4096(%rdx), %xmm27
3339 // CHECK: vcvtqq2psy -4096(%rdx), %xmm27
3340 // CHECK: encoding: [0x62,0x61,0xfc,0x28,0x5b,0x5a,0x80]
3341 vcvtqq2psy -4096(%rdx), %xmm27
3343 // CHECK: vcvtqq2psy -4128(%rdx), %xmm27
3344 // CHECK: encoding: [0x62,0x61,0xfc,0x28,0x5b,0x9a,0xe0,0xef,0xff,0xff]
3345 vcvtqq2psy -4128(%rdx), %xmm27
3347 // CHECK: vcvtqq2ps 1016(%rdx){1to4}, %xmm27
3348 // CHECK: encoding: [0x62,0x61,0xfc,0x38,0x5b,0x5a,0x7f]
3349 vcvtqq2ps 1016(%rdx){1to4}, %xmm27
3351 // CHECK: vcvtqq2ps 1024(%rdx){1to4}, %xmm27
3352 // CHECK: encoding: [0x62,0x61,0xfc,0x38,0x5b,0x9a,0x00,0x04,0x00,0x00]
3353 vcvtqq2ps 1024(%rdx){1to4}, %xmm27
3355 // CHECK: vcvtqq2ps -1024(%rdx){1to4}, %xmm27
3356 // CHECK: encoding: [0x62,0x61,0xfc,0x38,0x5b,0x5a,0x80]
3357 vcvtqq2ps -1024(%rdx){1to4}, %xmm27
3359 // CHECK: vcvtqq2ps -1032(%rdx){1to4}, %xmm27
3360 // CHECK: encoding: [0x62,0x61,0xfc,0x38,0x5b,0x9a,0xf8,0xfb,0xff,0xff]
3361 vcvtqq2ps -1032(%rdx){1to4}, %xmm27
3363 // CHECK: vcvtuqq2pd %xmm20, %xmm19
3364 // CHECK: encoding: [0x62,0xa1,0xfe,0x08,0x7a,0xdc]
3365 vcvtuqq2pd %xmm20, %xmm19
3367 // CHECK: vcvtuqq2pd %xmm20, %xmm19 {%k3}
3368 // CHECK: encoding: [0x62,0xa1,0xfe,0x0b,0x7a,0xdc]
3369 vcvtuqq2pd %xmm20, %xmm19 {%k3}
3371 // CHECK: vcvtuqq2pd %xmm20, %xmm19 {%k3} {z}
3372 // CHECK: encoding: [0x62,0xa1,0xfe,0x8b,0x7a,0xdc]
3373 vcvtuqq2pd %xmm20, %xmm19 {%k3} {z}
3375 // CHECK: vcvtuqq2pd (%rcx), %xmm19
3376 // CHECK: encoding: [0x62,0xe1,0xfe,0x08,0x7a,0x19]
3377 vcvtuqq2pd (%rcx), %xmm19
3379 // CHECK: vcvtuqq2pd 291(%rax,%r14,8), %xmm19
3380 // CHECK: encoding: [0x62,0xa1,0xfe,0x08,0x7a,0x9c,0xf0,0x23,0x01,0x00,0x00]
3381 vcvtuqq2pd 291(%rax,%r14,8), %xmm19
3383 // CHECK: vcvtuqq2pd (%rcx){1to2}, %xmm19
3384 // CHECK: encoding: [0x62,0xe1,0xfe,0x18,0x7a,0x19]
3385 vcvtuqq2pd (%rcx){1to2}, %xmm19
3387 // CHECK: vcvtuqq2pd 2032(%rdx), %xmm19
3388 // CHECK: encoding: [0x62,0xe1,0xfe,0x08,0x7a,0x5a,0x7f]
3389 vcvtuqq2pd 2032(%rdx), %xmm19
3391 // CHECK: vcvtuqq2pd 2048(%rdx), %xmm19
3392 // CHECK: encoding: [0x62,0xe1,0xfe,0x08,0x7a,0x9a,0x00,0x08,0x00,0x00]
3393 vcvtuqq2pd 2048(%rdx), %xmm19
3395 // CHECK: vcvtuqq2pd -2048(%rdx), %xmm19
3396 // CHECK: encoding: [0x62,0xe1,0xfe,0x08,0x7a,0x5a,0x80]
3397 vcvtuqq2pd -2048(%rdx), %xmm19
3399 // CHECK: vcvtuqq2pd -2064(%rdx), %xmm19
3400 // CHECK: encoding: [0x62,0xe1,0xfe,0x08,0x7a,0x9a,0xf0,0xf7,0xff,0xff]
3401 vcvtuqq2pd -2064(%rdx), %xmm19
3403 // CHECK: vcvtuqq2pd 1016(%rdx){1to2}, %xmm19
3404 // CHECK: encoding: [0x62,0xe1,0xfe,0x18,0x7a,0x5a,0x7f]
3405 vcvtuqq2pd 1016(%rdx){1to2}, %xmm19
3407 // CHECK: vcvtuqq2pd 1024(%rdx){1to2}, %xmm19
3408 // CHECK: encoding: [0x62,0xe1,0xfe,0x18,0x7a,0x9a,0x00,0x04,0x00,0x00]
3409 vcvtuqq2pd 1024(%rdx){1to2}, %xmm19
3411 // CHECK: vcvtuqq2pd -1024(%rdx){1to2}, %xmm19
3412 // CHECK: encoding: [0x62,0xe1,0xfe,0x18,0x7a,0x5a,0x80]
3413 vcvtuqq2pd -1024(%rdx){1to2}, %xmm19
3415 // CHECK: vcvtuqq2pd -1032(%rdx){1to2}, %xmm19
3416 // CHECK: encoding: [0x62,0xe1,0xfe,0x18,0x7a,0x9a,0xf8,0xfb,0xff,0xff]
3417 vcvtuqq2pd -1032(%rdx){1to2}, %xmm19
3419 // CHECK: vcvtuqq2pd %ymm26, %ymm28
3420 // CHECK: encoding: [0x62,0x01,0xfe,0x28,0x7a,0xe2]
3421 vcvtuqq2pd %ymm26, %ymm28
3423 // CHECK: vcvtuqq2pd %ymm26, %ymm28 {%k4}
3424 // CHECK: encoding: [0x62,0x01,0xfe,0x2c,0x7a,0xe2]
3425 vcvtuqq2pd %ymm26, %ymm28 {%k4}
3427 // CHECK: vcvtuqq2pd %ymm26, %ymm28 {%k4} {z}
3428 // CHECK: encoding: [0x62,0x01,0xfe,0xac,0x7a,0xe2]
3429 vcvtuqq2pd %ymm26, %ymm28 {%k4} {z}
3431 // CHECK: vcvtuqq2pd (%rcx), %ymm28
3432 // CHECK: encoding: [0x62,0x61,0xfe,0x28,0x7a,0x21]
3433 vcvtuqq2pd (%rcx), %ymm28
3435 // CHECK: vcvtuqq2pd 291(%rax,%r14,8), %ymm28
3436 // CHECK: encoding: [0x62,0x21,0xfe,0x28,0x7a,0xa4,0xf0,0x23,0x01,0x00,0x00]
3437 vcvtuqq2pd 291(%rax,%r14,8), %ymm28
3439 // CHECK: vcvtuqq2pd (%rcx){1to4}, %ymm28
3440 // CHECK: encoding: [0x62,0x61,0xfe,0x38,0x7a,0x21]
3441 vcvtuqq2pd (%rcx){1to4}, %ymm28
3443 // CHECK: vcvtuqq2pd 4064(%rdx), %ymm28
3444 // CHECK: encoding: [0x62,0x61,0xfe,0x28,0x7a,0x62,0x7f]
3445 vcvtuqq2pd 4064(%rdx), %ymm28
3447 // CHECK: vcvtuqq2pd 4096(%rdx), %ymm28
3448 // CHECK: encoding: [0x62,0x61,0xfe,0x28,0x7a,0xa2,0x00,0x10,0x00,0x00]
3449 vcvtuqq2pd 4096(%rdx), %ymm28
3451 // CHECK: vcvtuqq2pd -4096(%rdx), %ymm28
3452 // CHECK: encoding: [0x62,0x61,0xfe,0x28,0x7a,0x62,0x80]
3453 vcvtuqq2pd -4096(%rdx), %ymm28
3455 // CHECK: vcvtuqq2pd -4128(%rdx), %ymm28
3456 // CHECK: encoding: [0x62,0x61,0xfe,0x28,0x7a,0xa2,0xe0,0xef,0xff,0xff]
3457 vcvtuqq2pd -4128(%rdx), %ymm28
3459 // CHECK: vcvtuqq2pd 1016(%rdx){1to4}, %ymm28
3460 // CHECK: encoding: [0x62,0x61,0xfe,0x38,0x7a,0x62,0x7f]
3461 vcvtuqq2pd 1016(%rdx){1to4}, %ymm28
3463 // CHECK: vcvtuqq2pd 1024(%rdx){1to4}, %ymm28
3464 // CHECK: encoding: [0x62,0x61,0xfe,0x38,0x7a,0xa2,0x00,0x04,0x00,0x00]
3465 vcvtuqq2pd 1024(%rdx){1to4}, %ymm28
3467 // CHECK: vcvtuqq2pd -1024(%rdx){1to4}, %ymm28
3468 // CHECK: encoding: [0x62,0x61,0xfe,0x38,0x7a,0x62,0x80]
3469 vcvtuqq2pd -1024(%rdx){1to4}, %ymm28
3471 // CHECK: vcvtuqq2pd -1032(%rdx){1to4}, %ymm28
3472 // CHECK: encoding: [0x62,0x61,0xfe,0x38,0x7a,0xa2,0xf8,0xfb,0xff,0xff]
3473 vcvtuqq2pd -1032(%rdx){1to4}, %ymm28
3475 // CHECK: vcvtuqq2ps %xmm27, %xmm21
3476 // CHECK: encoding: [0x62,0x81,0xff,0x08,0x7a,0xeb]
3477 vcvtuqq2ps %xmm27, %xmm21
3479 // CHECK: vcvtuqq2ps %xmm27, %xmm21 {%k7}
3480 // CHECK: encoding: [0x62,0x81,0xff,0x0f,0x7a,0xeb]
3481 vcvtuqq2ps %xmm27, %xmm21 {%k7}
3483 // CHECK: vcvtuqq2ps %xmm27, %xmm21 {%k7} {z}
3484 // CHECK: encoding: [0x62,0x81,0xff,0x8f,0x7a,0xeb]
3485 vcvtuqq2ps %xmm27, %xmm21 {%k7} {z}
3487 // CHECK: vcvtuqq2psx (%rcx), %xmm21
3488 // CHECK: encoding: [0x62,0xe1,0xff,0x08,0x7a,0x29]
3489 vcvtuqq2psx (%rcx), %xmm21
3491 // CHECK: vcvtuqq2psx 291(%rax,%r14,8), %xmm21
3492 // CHECK: encoding: [0x62,0xa1,0xff,0x08,0x7a,0xac,0xf0,0x23,0x01,0x00,0x00]
3493 vcvtuqq2psx 291(%rax,%r14,8), %xmm21
3495 // CHECK: vcvtuqq2ps (%rcx){1to2}, %xmm21
3496 // CHECK: encoding: [0x62,0xe1,0xff,0x18,0x7a,0x29]
3497 vcvtuqq2ps (%rcx){1to2}, %xmm21
3499 // CHECK: vcvtuqq2psx 2032(%rdx), %xmm21
3500 // CHECK: encoding: [0x62,0xe1,0xff,0x08,0x7a,0x6a,0x7f]
3501 vcvtuqq2psx 2032(%rdx), %xmm21
3503 // CHECK: vcvtuqq2psx 2048(%rdx), %xmm21
3504 // CHECK: encoding: [0x62,0xe1,0xff,0x08,0x7a,0xaa,0x00,0x08,0x00,0x00]
3505 vcvtuqq2psx 2048(%rdx), %xmm21
3507 // CHECK: vcvtuqq2psx -2048(%rdx), %xmm21
3508 // CHECK: encoding: [0x62,0xe1,0xff,0x08,0x7a,0x6a,0x80]
3509 vcvtuqq2psx -2048(%rdx), %xmm21
3511 // CHECK: vcvtuqq2psx -2064(%rdx), %xmm21
3512 // CHECK: encoding: [0x62,0xe1,0xff,0x08,0x7a,0xaa,0xf0,0xf7,0xff,0xff]
3513 vcvtuqq2psx -2064(%rdx), %xmm21
3515 // CHECK: vcvtuqq2ps 1016(%rdx){1to2}, %xmm21
3516 // CHECK: encoding: [0x62,0xe1,0xff,0x18,0x7a,0x6a,0x7f]
3517 vcvtuqq2ps 1016(%rdx){1to2}, %xmm21
3519 // CHECK: vcvtuqq2ps 1024(%rdx){1to2}, %xmm21
3520 // CHECK: encoding: [0x62,0xe1,0xff,0x18,0x7a,0xaa,0x00,0x04,0x00,0x00]
3521 vcvtuqq2ps 1024(%rdx){1to2}, %xmm21
3523 // CHECK: vcvtuqq2ps -1024(%rdx){1to2}, %xmm21
3524 // CHECK: encoding: [0x62,0xe1,0xff,0x18,0x7a,0x6a,0x80]
3525 vcvtuqq2ps -1024(%rdx){1to2}, %xmm21
3527 // CHECK: vcvtuqq2ps -1032(%rdx){1to2}, %xmm21
3528 // CHECK: encoding: [0x62,0xe1,0xff,0x18,0x7a,0xaa,0xf8,0xfb,0xff,0xff]
3529 vcvtuqq2ps -1032(%rdx){1to2}, %xmm21
3531 // CHECK: vcvtuqq2ps %ymm24, %xmm28
3532 // CHECK: encoding: [0x62,0x01,0xff,0x28,0x7a,0xe0]
3533 vcvtuqq2ps %ymm24, %xmm28
3535 // CHECK: vcvtuqq2ps %ymm24, %xmm28 {%k3}
3536 // CHECK: encoding: [0x62,0x01,0xff,0x2b,0x7a,0xe0]
3537 vcvtuqq2ps %ymm24, %xmm28 {%k3}
3539 // CHECK: vcvtuqq2ps %ymm24, %xmm28 {%k3} {z}
3540 // CHECK: encoding: [0x62,0x01,0xff,0xab,0x7a,0xe0]
3541 vcvtuqq2ps %ymm24, %xmm28 {%k3} {z}
3543 // CHECK: vcvtuqq2psy (%rcx), %xmm28
3544 // CHECK: encoding: [0x62,0x61,0xff,0x28,0x7a,0x21]
3545 vcvtuqq2psy (%rcx), %xmm28
3547 // CHECK: vcvtuqq2psy 291(%rax,%r14,8), %xmm28
3548 // CHECK: encoding: [0x62,0x21,0xff,0x28,0x7a,0xa4,0xf0,0x23,0x01,0x00,0x00]
3549 vcvtuqq2psy 291(%rax,%r14,8), %xmm28
3551 // CHECK: vcvtuqq2ps (%rcx){1to4}, %xmm28
3552 // CHECK: encoding: [0x62,0x61,0xff,0x38,0x7a,0x21]
3553 vcvtuqq2ps (%rcx){1to4}, %xmm28
3555 // CHECK: vcvtuqq2psy 4064(%rdx), %xmm28
3556 // CHECK: encoding: [0x62,0x61,0xff,0x28,0x7a,0x62,0x7f]
3557 vcvtuqq2psy 4064(%rdx), %xmm28
3559 // CHECK: vcvtuqq2psy 4096(%rdx), %xmm28
3560 // CHECK: encoding: [0x62,0x61,0xff,0x28,0x7a,0xa2,0x00,0x10,0x00,0x00]
3561 vcvtuqq2psy 4096(%rdx), %xmm28
3563 // CHECK: vcvtuqq2psy -4096(%rdx), %xmm28
3564 // CHECK: encoding: [0x62,0x61,0xff,0x28,0x7a,0x62,0x80]
3565 vcvtuqq2psy -4096(%rdx), %xmm28
3567 // CHECK: vcvtuqq2psy -4128(%rdx), %xmm28
3568 // CHECK: encoding: [0x62,0x61,0xff,0x28,0x7a,0xa2,0xe0,0xef,0xff,0xff]
3569 vcvtuqq2psy -4128(%rdx), %xmm28
3571 // CHECK: vcvtuqq2ps 1016(%rdx){1to4}, %xmm28
3572 // CHECK: encoding: [0x62,0x61,0xff,0x38,0x7a,0x62,0x7f]
3573 vcvtuqq2ps 1016(%rdx){1to4}, %xmm28
3575 // CHECK: vcvtuqq2ps 1024(%rdx){1to4}, %xmm28
3576 // CHECK: encoding: [0x62,0x61,0xff,0x38,0x7a,0xa2,0x00,0x04,0x00,0x00]
3577 vcvtuqq2ps 1024(%rdx){1to4}, %xmm28
3579 // CHECK: vcvtuqq2ps -1024(%rdx){1to4}, %xmm28
3580 // CHECK: encoding: [0x62,0x61,0xff,0x38,0x7a,0x62,0x80]
3581 vcvtuqq2ps -1024(%rdx){1to4}, %xmm28
3583 // CHECK: vcvtuqq2ps -1032(%rdx){1to4}, %xmm28
3584 // CHECK: encoding: [0x62,0x61,0xff,0x38,0x7a,0xa2,0xf8,0xfb,0xff,0xff]
3585 vcvtuqq2ps -1032(%rdx){1to4}, %xmm28
3587 // CHECK: vinsertf64x2 $171, %xmm23, %ymm27, %ymm21
3588 // CHECK: encoding: [0x62,0xa3,0xa5,0x20,0x18,0xef,0xab]
3589 vinsertf64x2 $0xab, %xmm23, %ymm27, %ymm21
3591 // CHECK: vinsertf64x2 $171, %xmm23, %ymm27, %ymm21 {%k7}
3592 // CHECK: encoding: [0x62,0xa3,0xa5,0x27,0x18,0xef,0xab]
3593 vinsertf64x2 $0xab, %xmm23, %ymm27, %ymm21 {%k7}
3595 // CHECK: vinsertf64x2 $171, %xmm23, %ymm27, %ymm21 {%k7} {z}
3596 // CHECK: encoding: [0x62,0xa3,0xa5,0xa7,0x18,0xef,0xab]
3597 vinsertf64x2 $0xab, %xmm23, %ymm27, %ymm21 {%k7} {z}
3599 // CHECK: vinsertf64x2 $123, %xmm23, %ymm27, %ymm21
3600 // CHECK: encoding: [0x62,0xa3,0xa5,0x20,0x18,0xef,0x7b]
3601 vinsertf64x2 $0x7b, %xmm23, %ymm27, %ymm21
3603 // CHECK: vinsertf64x2 $123, (%rcx), %ymm27, %ymm21
3604 // CHECK: encoding: [0x62,0xe3,0xa5,0x20,0x18,0x29,0x7b]
3605 vinsertf64x2 $0x7b,(%rcx), %ymm27, %ymm21
3607 // CHECK: vinsertf64x2 $123, 291(%rax,%r14,8), %ymm27, %ymm21
3608 // CHECK: encoding: [0x62,0xa3,0xa5,0x20,0x18,0xac,0xf0,0x23,0x01,0x00,0x00,0x7b]
3609 vinsertf64x2 $0x7b,291(%rax,%r14,8), %ymm27, %ymm21
3611 // CHECK: vinsertf64x2 $123, 2032(%rdx), %ymm27, %ymm21
3612 // CHECK: encoding: [0x62,0xe3,0xa5,0x20,0x18,0x6a,0x7f,0x7b]
3613 vinsertf64x2 $0x7b,2032(%rdx), %ymm27, %ymm21
3615 // CHECK: vinsertf64x2 $123, 2048(%rdx), %ymm27, %ymm21
3616 // CHECK: encoding: [0x62,0xe3,0xa5,0x20,0x18,0xaa,0x00,0x08,0x00,0x00,0x7b]
3617 vinsertf64x2 $0x7b,2048(%rdx), %ymm27, %ymm21
3619 // CHECK: vinsertf64x2 $123, -2048(%rdx), %ymm27, %ymm21
3620 // CHECK: encoding: [0x62,0xe3,0xa5,0x20,0x18,0x6a,0x80,0x7b]
3621 vinsertf64x2 $0x7b,-2048(%rdx), %ymm27, %ymm21
3623 // CHECK: vinsertf64x2 $123, -2064(%rdx), %ymm27, %ymm21
3624 // CHECK: encoding: [0x62,0xe3,0xa5,0x20,0x18,0xaa,0xf0,0xf7,0xff,0xff,0x7b]
3625 vinsertf64x2 $0x7b,-2064(%rdx), %ymm27, %ymm21
3627 // CHECK: vinsertf64x2 $171, %xmm27, %ymm23, %ymm24
3628 // CHECK: encoding: [0x62,0x03,0xc5,0x20,0x18,0xc3,0xab]
3629 vinsertf64x2 $0xab, %xmm27, %ymm23, %ymm24
3631 // CHECK: vinsertf64x2 $171, %xmm27, %ymm23, %ymm24 {%k5}
3632 // CHECK: encoding: [0x62,0x03,0xc5,0x25,0x18,0xc3,0xab]
3633 vinsertf64x2 $0xab, %xmm27, %ymm23, %ymm24 {%k5}
3635 // CHECK: vinsertf64x2 $171, %xmm27, %ymm23, %ymm24 {%k5} {z}
3636 // CHECK: encoding: [0x62,0x03,0xc5,0xa5,0x18,0xc3,0xab]
3637 vinsertf64x2 $0xab, %xmm27, %ymm23, %ymm24 {%k5} {z}
3639 // CHECK: vinsertf64x2 $123, %xmm27, %ymm23, %ymm24
3640 // CHECK: encoding: [0x62,0x03,0xc5,0x20,0x18,0xc3,0x7b]
3641 vinsertf64x2 $0x7b, %xmm27, %ymm23, %ymm24
3643 // CHECK: vinsertf64x2 $123, (%rcx), %ymm23, %ymm24
3644 // CHECK: encoding: [0x62,0x63,0xc5,0x20,0x18,0x01,0x7b]
3645 vinsertf64x2 $0x7b,(%rcx), %ymm23, %ymm24
3647 // CHECK: vinsertf64x2 $123, 4660(%rax,%r14,8), %ymm23, %ymm24
3648 // CHECK: encoding: [0x62,0x23,0xc5,0x20,0x18,0x84,0xf0,0x34,0x12,0x00,0x00,0x7b]
3649 vinsertf64x2 $0x7b,4660(%rax,%r14,8), %ymm23, %ymm24
3651 // CHECK: vinsertf64x2 $123, 2032(%rdx), %ymm23, %ymm24
3652 // CHECK: encoding: [0x62,0x63,0xc5,0x20,0x18,0x42,0x7f,0x7b]
3653 vinsertf64x2 $0x7b,2032(%rdx), %ymm23, %ymm24
3655 // CHECK: vinsertf64x2 $123, 2048(%rdx), %ymm23, %ymm24
3656 // CHECK: encoding: [0x62,0x63,0xc5,0x20,0x18,0x82,0x00,0x08,0x00,0x00,0x7b]
3657 vinsertf64x2 $0x7b,2048(%rdx), %ymm23, %ymm24
3659 // CHECK: vinsertf64x2 $123, -2048(%rdx), %ymm23, %ymm24
3660 // CHECK: encoding: [0x62,0x63,0xc5,0x20,0x18,0x42,0x80,0x7b]
3661 vinsertf64x2 $0x7b,-2048(%rdx), %ymm23, %ymm24
3663 // CHECK: vinsertf64x2 $123, -2064(%rdx), %ymm23, %ymm24
3664 // CHECK: encoding: [0x62,0x63,0xc5,0x20,0x18,0x82,0xf0,0xf7,0xff,0xff,0x7b]
3665 vinsertf64x2 $0x7b,-2064(%rdx), %ymm23, %ymm24
3667 // CHECK: vinserti64x2 $171, %xmm21, %ymm25, %ymm19
3668 // CHECK: encoding: [0x62,0xa3,0xb5,0x20,0x38,0xdd,0xab]
3669 vinserti64x2 $0xab, %xmm21, %ymm25, %ymm19
3671 // CHECK: vinserti64x2 $171, %xmm21, %ymm25, %ymm19 {%k6}
3672 // CHECK: encoding: [0x62,0xa3,0xb5,0x26,0x38,0xdd,0xab]
3673 vinserti64x2 $0xab, %xmm21, %ymm25, %ymm19 {%k6}
3675 // CHECK: vinserti64x2 $171, %xmm21, %ymm25, %ymm19 {%k6} {z}
3676 // CHECK: encoding: [0x62,0xa3,0xb5,0xa6,0x38,0xdd,0xab]
3677 vinserti64x2 $0xab, %xmm21, %ymm25, %ymm19 {%k6} {z}
3679 // CHECK: vinserti64x2 $123, %xmm21, %ymm25, %ymm19
3680 // CHECK: encoding: [0x62,0xa3,0xb5,0x20,0x38,0xdd,0x7b]
3681 vinserti64x2 $0x7b, %xmm21, %ymm25, %ymm19
3683 // CHECK: vinserti64x2 $123, (%rcx), %ymm25, %ymm19
3684 // CHECK: encoding: [0x62,0xe3,0xb5,0x20,0x38,0x19,0x7b]
3685 vinserti64x2 $0x7b,(%rcx), %ymm25, %ymm19
3687 // CHECK: vinserti64x2 $123, 291(%rax,%r14,8), %ymm25, %ymm19
3688 // CHECK: encoding: [0x62,0xa3,0xb5,0x20,0x38,0x9c,0xf0,0x23,0x01,0x00,0x00,0x7b]
3689 vinserti64x2 $0x7b,291(%rax,%r14,8), %ymm25, %ymm19
3691 // CHECK: vinserti64x2 $123, 2032(%rdx), %ymm25, %ymm19
3692 // CHECK: encoding: [0x62,0xe3,0xb5,0x20,0x38,0x5a,0x7f,0x7b]
3693 vinserti64x2 $0x7b,2032(%rdx), %ymm25, %ymm19
3695 // CHECK: vinserti64x2 $123, 2048(%rdx), %ymm25, %ymm19
3696 // CHECK: encoding: [0x62,0xe3,0xb5,0x20,0x38,0x9a,0x00,0x08,0x00,0x00,0x7b]
3697 vinserti64x2 $0x7b,2048(%rdx), %ymm25, %ymm19
3699 // CHECK: vinserti64x2 $123, -2048(%rdx), %ymm25, %ymm19
3700 // CHECK: encoding: [0x62,0xe3,0xb5,0x20,0x38,0x5a,0x80,0x7b]
3701 vinserti64x2 $0x7b,-2048(%rdx), %ymm25, %ymm19
3703 // CHECK: vinserti64x2 $123, -2064(%rdx), %ymm25, %ymm19
3704 // CHECK: encoding: [0x62,0xe3,0xb5,0x20,0x38,0x9a,0xf0,0xf7,0xff,0xff,0x7b]
3705 vinserti64x2 $0x7b,-2064(%rdx), %ymm25, %ymm19
3707 // CHECK: vinserti64x2 $171, %xmm25, %ymm24, %ymm29
3708 // CHECK: encoding: [0x62,0x03,0xbd,0x20,0x38,0xe9,0xab]
3709 vinserti64x2 $0xab, %xmm25, %ymm24, %ymm29
3711 // CHECK: vinserti64x2 $171, %xmm25, %ymm24, %ymm29 {%k2}
3712 // CHECK: encoding: [0x62,0x03,0xbd,0x22,0x38,0xe9,0xab]
3713 vinserti64x2 $0xab, %xmm25, %ymm24, %ymm29 {%k2}
3715 // CHECK: vinserti64x2 $171, %xmm25, %ymm24, %ymm29 {%k2} {z}
3716 // CHECK: encoding: [0x62,0x03,0xbd,0xa2,0x38,0xe9,0xab]
3717 vinserti64x2 $0xab, %xmm25, %ymm24, %ymm29 {%k2} {z}
3719 // CHECK: vinserti64x2 $123, %xmm25, %ymm24, %ymm29
3720 // CHECK: encoding: [0x62,0x03,0xbd,0x20,0x38,0xe9,0x7b]
3721 vinserti64x2 $0x7b, %xmm25, %ymm24, %ymm29
3723 // CHECK: vinserti64x2 $123, (%rcx), %ymm24, %ymm29
3724 // CHECK: encoding: [0x62,0x63,0xbd,0x20,0x38,0x29,0x7b]
3725 vinserti64x2 $0x7b,(%rcx), %ymm24, %ymm29
3727 // CHECK: vinserti64x2 $123, 4660(%rax,%r14,8), %ymm24, %ymm29
3728 // CHECK: encoding: [0x62,0x23,0xbd,0x20,0x38,0xac,0xf0,0x34,0x12,0x00,0x00,0x7b]
3729 vinserti64x2 $0x7b,4660(%rax,%r14,8), %ymm24, %ymm29
3731 // CHECK: vinserti64x2 $123, 2032(%rdx), %ymm24, %ymm29
3732 // CHECK: encoding: [0x62,0x63,0xbd,0x20,0x38,0x6a,0x7f,0x7b]
3733 vinserti64x2 $0x7b,2032(%rdx), %ymm24, %ymm29
3735 // CHECK: vinserti64x2 $123, 2048(%rdx), %ymm24, %ymm29
3736 // CHECK: encoding: [0x62,0x63,0xbd,0x20,0x38,0xaa,0x00,0x08,0x00,0x00,0x7b]
3737 vinserti64x2 $0x7b,2048(%rdx), %ymm24, %ymm29
3739 // CHECK: vinserti64x2 $123, -2048(%rdx), %ymm24, %ymm29
3740 // CHECK: encoding: [0x62,0x63,0xbd,0x20,0x38,0x6a,0x80,0x7b]
3741 vinserti64x2 $0x7b,-2048(%rdx), %ymm24, %ymm29
3743 // CHECK: vinserti64x2 $123, -2064(%rdx), %ymm24, %ymm29
3744 // CHECK: encoding: [0x62,0x63,0xbd,0x20,0x38,0xaa,0xf0,0xf7,0xff,0xff,0x7b]
3745 vinserti64x2 $0x7b,-2064(%rdx), %ymm24, %ymm29
3747 // CHECK: vextractf64x2 $171, %ymm21, %xmm27
3748 // CHECK: encoding: [0x62,0x83,0xfd,0x28,0x19,0xeb,0xab]
3749 vextractf64x2 $0xab, %ymm21, %xmm27
3751 // CHECK: vextractf64x2 $171, %ymm21, %xmm27 {%k7}
3752 // CHECK: encoding: [0x62,0x83,0xfd,0x2f,0x19,0xeb,0xab]
3753 vextractf64x2 $0xab, %ymm21, %xmm27 {%k7}
3755 // CHECK: vextractf64x2 $171, %ymm21, %xmm27 {%k7} {z}
3756 // CHECK: encoding: [0x62,0x83,0xfd,0xaf,0x19,0xeb,0xab]
3757 vextractf64x2 $0xab, %ymm21, %xmm27 {%k7} {z}
3759 // CHECK: vextractf64x2 $123, %ymm21, %xmm27
3760 // CHECK: encoding: [0x62,0x83,0xfd,0x28,0x19,0xeb,0x7b]
3761 vextractf64x2 $0x7b, %ymm21, %xmm27
3763 // CHECK: vextractf64x2 $171, %ymm20, (%rcx)
3764 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x19,0x21,0xab]
3765 vextractf64x2 $0xab, %ymm20,(%rcx)
3767 // CHECK: vextractf64x2 $171, %ymm20, (%rcx) {%k1}
3768 // CHECK: encoding: [0x62,0xe3,0xfd,0x29,0x19,0x21,0xab]
3769 vextractf64x2 $0xab, %ymm20,(%rcx) {%k1}
3771 // CHECK: vextractf64x2 $123, %ymm20, (%rcx)
3772 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x19,0x21,0x7b]
3773 vextractf64x2 $0x7b, %ymm20,(%rcx)
3775 // CHECK: vextractf64x2 $123, %ymm20, 291(%rax,%r14,8)
3776 // CHECK: encoding: [0x62,0xa3,0xfd,0x28,0x19,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b]
3777 vextractf64x2 $0x7b, %ymm20,291(%rax,%r14,8)
3779 // CHECK: vextractf64x2 $123, %ymm20, 2032(%rdx)
3780 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x19,0x62,0x7f,0x7b]
3781 vextractf64x2 $0x7b, %ymm20,2032(%rdx)
3783 // CHECK: vextractf64x2 $123, %ymm20, 2048(%rdx)
3784 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x19,0xa2,0x00,0x08,0x00,0x00,0x7b]
3785 vextractf64x2 $0x7b, %ymm20,2048(%rdx)
3787 // CHECK: vextractf64x2 $123, %ymm20, -2048(%rdx)
3788 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x19,0x62,0x80,0x7b]
3789 vextractf64x2 $0x7b, %ymm20,-2048(%rdx)
3791 // CHECK: vextractf64x2 $123, %ymm20, -2064(%rdx)
3792 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x19,0xa2,0xf0,0xf7,0xff,0xff,0x7b]
3793 vextractf64x2 $0x7b, %ymm20,-2064(%rdx)
3795 // CHECK: vextractf64x2 $171, %ymm26, %xmm28
3796 // CHECK: encoding: [0x62,0x03,0xfd,0x28,0x19,0xd4,0xab]
3797 vextractf64x2 $0xab, %ymm26, %xmm28
3799 // CHECK: vextractf64x2 $171, %ymm26, %xmm28 {%k4}
3800 // CHECK: encoding: [0x62,0x03,0xfd,0x2c,0x19,0xd4,0xab]
3801 vextractf64x2 $0xab, %ymm26, %xmm28 {%k4}
3803 // CHECK: vextractf64x2 $171, %ymm26, %xmm28 {%k4} {z}
3804 // CHECK: encoding: [0x62,0x03,0xfd,0xac,0x19,0xd4,0xab]
3805 vextractf64x2 $0xab, %ymm26, %xmm28 {%k4} {z}
3807 // CHECK: vextractf64x2 $123, %ymm26, %xmm28
3808 // CHECK: encoding: [0x62,0x03,0xfd,0x28,0x19,0xd4,0x7b]
3809 vextractf64x2 $0x7b, %ymm26, %xmm28
3811 // CHECK: vextractf64x2 $171, %ymm17, (%rcx)
3812 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x19,0x09,0xab]
3813 vextractf64x2 $0xab, %ymm17,(%rcx)
3815 // CHECK: vextractf64x2 $171, %ymm17, (%rcx) {%k2}
3816 // CHECK: encoding: [0x62,0xe3,0xfd,0x2a,0x19,0x09,0xab]
3817 vextractf64x2 $0xab, %ymm17,(%rcx) {%k2}
3819 // CHECK: vextractf64x2 $123, %ymm17, (%rcx)
3820 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x19,0x09,0x7b]
3821 vextractf64x2 $0x7b, %ymm17,(%rcx)
3823 // CHECK: vextractf64x2 $123, %ymm17, 4660(%rax,%r14,8)
3824 // CHECK: encoding: [0x62,0xa3,0xfd,0x28,0x19,0x8c,0xf0,0x34,0x12,0x00,0x00,0x7b]
3825 vextractf64x2 $0x7b, %ymm17,4660(%rax,%r14,8)
3827 // CHECK: vextractf64x2 $123, %ymm17, 2032(%rdx)
3828 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x19,0x4a,0x7f,0x7b]
3829 vextractf64x2 $0x7b, %ymm17,2032(%rdx)
3831 // CHECK: vextractf64x2 $123, %ymm17, 2048(%rdx)
3832 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x19,0x8a,0x00,0x08,0x00,0x00,0x7b]
3833 vextractf64x2 $0x7b, %ymm17,2048(%rdx)
3835 // CHECK: vextractf64x2 $123, %ymm17, -2048(%rdx)
3836 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x19,0x4a,0x80,0x7b]
3837 vextractf64x2 $0x7b, %ymm17,-2048(%rdx)
3839 // CHECK: vextractf64x2 $123, %ymm17, -2064(%rdx)
3840 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x19,0x8a,0xf0,0xf7,0xff,0xff,0x7b]
3841 vextractf64x2 $0x7b, %ymm17,-2064(%rdx)
3843 // CHECK: vextracti64x2 $171, %ymm24, %xmm29
3844 // CHECK: encoding: [0x62,0x03,0xfd,0x28,0x39,0xc5,0xab]
3845 vextracti64x2 $0xab, %ymm24, %xmm29
3847 // CHECK: vextracti64x2 $171, %ymm24, %xmm29 {%k7}
3848 // CHECK: encoding: [0x62,0x03,0xfd,0x2f,0x39,0xc5,0xab]
3849 vextracti64x2 $0xab, %ymm24, %xmm29 {%k7}
3851 // CHECK: vextracti64x2 $171, %ymm24, %xmm29 {%k7} {z}
3852 // CHECK: encoding: [0x62,0x03,0xfd,0xaf,0x39,0xc5,0xab]
3853 vextracti64x2 $0xab, %ymm24, %xmm29 {%k7} {z}
3855 // CHECK: vextracti64x2 $123, %ymm24, %xmm29
3856 // CHECK: encoding: [0x62,0x03,0xfd,0x28,0x39,0xc5,0x7b]
3857 vextracti64x2 $0x7b, %ymm24, %xmm29
3859 // CHECK: vextracti64x2 $171, %ymm17, (%rcx)
3860 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x39,0x09,0xab]
3861 vextracti64x2 $0xab, %ymm17,(%rcx)
3863 // CHECK: vextracti64x2 $171, %ymm17, (%rcx) {%k1}
3864 // CHECK: encoding: [0x62,0xe3,0xfd,0x29,0x39,0x09,0xab]
3865 vextracti64x2 $0xab, %ymm17,(%rcx) {%k1}
3867 // CHECK: vextracti64x2 $123, %ymm17, (%rcx)
3868 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x39,0x09,0x7b]
3869 vextracti64x2 $0x7b, %ymm17,(%rcx)
3871 // CHECK: vextracti64x2 $123, %ymm17, 291(%rax,%r14,8)
3872 // CHECK: encoding: [0x62,0xa3,0xfd,0x28,0x39,0x8c,0xf0,0x23,0x01,0x00,0x00,0x7b]
3873 vextracti64x2 $0x7b, %ymm17,291(%rax,%r14,8)
3875 // CHECK: vextracti64x2 $123, %ymm17, 2032(%rdx)
3876 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x39,0x4a,0x7f,0x7b]
3877 vextracti64x2 $0x7b, %ymm17,2032(%rdx)
3879 // CHECK: vextracti64x2 $123, %ymm17, 2048(%rdx)
3880 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x39,0x8a,0x00,0x08,0x00,0x00,0x7b]
3881 vextracti64x2 $0x7b, %ymm17,2048(%rdx)
3883 // CHECK: vextracti64x2 $123, %ymm17, -2048(%rdx)
3884 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x39,0x4a,0x80,0x7b]
3885 vextracti64x2 $0x7b, %ymm17,-2048(%rdx)
3887 // CHECK: vextracti64x2 $123, %ymm17, -2064(%rdx)
3888 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x39,0x8a,0xf0,0xf7,0xff,0xff,0x7b]
3889 vextracti64x2 $0x7b, %ymm17,-2064(%rdx)
3891 // CHECK: vextracti64x2 $171, %ymm17, %xmm29
3892 // CHECK: encoding: [0x62,0x83,0xfd,0x28,0x39,0xcd,0xab]
3893 vextracti64x2 $0xab, %ymm17, %xmm29
3895 // CHECK: vextracti64x2 $171, %ymm17, %xmm29 {%k5}
3896 // CHECK: encoding: [0x62,0x83,0xfd,0x2d,0x39,0xcd,0xab]
3897 vextracti64x2 $0xab, %ymm17, %xmm29 {%k5}
3899 // CHECK: vextracti64x2 $171, %ymm17, %xmm29 {%k5} {z}
3900 // CHECK: encoding: [0x62,0x83,0xfd,0xad,0x39,0xcd,0xab]
3901 vextracti64x2 $0xab, %ymm17, %xmm29 {%k5} {z}
3903 // CHECK: vextracti64x2 $123, %ymm17, %xmm29
3904 // CHECK: encoding: [0x62,0x83,0xfd,0x28,0x39,0xcd,0x7b]
3905 vextracti64x2 $0x7b, %ymm17, %xmm29
3907 // CHECK: vextracti64x2 $171, %ymm20, (%rcx)
3908 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x39,0x21,0xab]
3909 vextracti64x2 $0xab, %ymm20,(%rcx)
3911 // CHECK: vextracti64x2 $171, %ymm20, (%rcx) {%k2}
3912 // CHECK: encoding: [0x62,0xe3,0xfd,0x2a,0x39,0x21,0xab]
3913 vextracti64x2 $0xab, %ymm20,(%rcx) {%k2}
3915 // CHECK: vextracti64x2 $123, %ymm20, (%rcx)
3916 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x39,0x21,0x7b]
3917 vextracti64x2 $0x7b, %ymm20,(%rcx)
3919 // CHECK: vextracti64x2 $123, %ymm20, 4660(%rax,%r14,8)
3920 // CHECK: encoding: [0x62,0xa3,0xfd,0x28,0x39,0xa4,0xf0,0x34,0x12,0x00,0x00,0x7b]
3921 vextracti64x2 $0x7b, %ymm20,4660(%rax,%r14,8)
3923 // CHECK: vextracti64x2 $123, %ymm20, 2032(%rdx)
3924 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x39,0x62,0x7f,0x7b]
3925 vextracti64x2 $0x7b, %ymm20,2032(%rdx)
3927 // CHECK: vextracti64x2 $123, %ymm20, 2048(%rdx)
3928 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x39,0xa2,0x00,0x08,0x00,0x00,0x7b]
3929 vextracti64x2 $0x7b, %ymm20,2048(%rdx)
3931 // CHECK: vextracti64x2 $123, %ymm20, -2048(%rdx)
3932 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x39,0x62,0x80,0x7b]
3933 vextracti64x2 $0x7b, %ymm20,-2048(%rdx)
3935 // CHECK: vextracti64x2 $123, %ymm20, -2064(%rdx)
3936 // CHECK: encoding: [0x62,0xe3,0xfd,0x28,0x39,0xa2,0xf0,0xf7,0xff,0xff,0x7b]
3937 vextracti64x2 $0x7b, %ymm20,-2064(%rdx)