1 // RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
5 // CHECK: encoding: [0x66,0xe8,A,A]
9 // CHECK: movq %gs:(%rdi), %rax
10 // CHECK: encoding: [0x65,0x48,0x8b,0x07]
13 // CHECK: crc32b %bl, %eax
14 // CHECK: encoding: [0xf2,0x0f,0x38,0xf0,0xc3]
17 // CHECK: crc32b 4(%rbx), %eax
18 // CHECK: encoding: [0xf2,0x0f,0x38,0xf0,0x43,0x04]
21 // CHECK: crc32w %bx, %eax
22 // CHECK: encoding: [0x66,0xf2,0x0f,0x38,0xf1,0xc3]
25 // CHECK: crc32w 4(%rbx), %eax
26 // CHECK: encoding: [0x66,0xf2,0x0f,0x38,0xf1,0x43,0x04]
29 // CHECK: crc32l %ebx, %eax
30 // CHECK: encoding: [0xf2,0x0f,0x38,0xf1,0xc3]
33 // CHECK: crc32l 4(%rbx), %eax
34 // CHECK: encoding: [0xf2,0x0f,0x38,0xf1,0x43,0x04]
37 // CHECK: crc32l 3735928559(%rbx,%rcx,8), %ecx
38 // CHECK: encoding: [0xf2,0x0f,0x38,0xf1,0x8c,0xcb,0xef,0xbe,0xad,0xde]
39 crc32l 0xdeadbeef(%rbx,%rcx,8),%ecx
41 // CHECK: crc32l 69, %ecx
42 // CHECK: encoding: [0xf2,0x0f,0x38,0xf1,0x0c,0x25,0x45,0x00,0x00,0x00]
45 // CHECK: crc32l 32493, %ecx
46 // CHECK: encoding: [0xf2,0x0f,0x38,0xf1,0x0c,0x25,0xed,0x7e,0x00,0x00]
49 // CHECK: crc32l 3133065982, %ecx
50 // CHECK: encoding: [0xf2,0x0f,0x38,0xf1,0x0c,0x25,0xfe,0xca,0xbe,0xba]
51 crc32l 0xbabecafe,%ecx
53 // CHECK: crc32l %ecx, %ecx
54 // CHECK: encoding: [0xf2,0x0f,0x38,0xf1,0xc9]
57 // CHECK: crc32b %r11b, %eax
58 // CHECK: encoding: [0xf2,0x41,0x0f,0x38,0xf0,0xc3]
61 // CHECK: crc32b 4(%rbx), %eax
62 // CHECK: encoding: [0xf2,0x0f,0x38,0xf0,0x43,0x04]
65 // CHECK: crc32b %dil, %rax
66 // CHECK: encoding: [0xf2,0x48,0x0f,0x38,0xf0,0xc7]
69 // CHECK: crc32b %r11b, %rax
70 // CHECK: encoding: [0xf2,0x49,0x0f,0x38,0xf0,0xc3]
73 // CHECK: crc32b 4(%rbx), %rax
74 // CHECK: encoding: [0xf2,0x48,0x0f,0x38,0xf0,0x43,0x04]
77 // CHECK: crc32q %rbx, %rax
78 // CHECK: encoding: [0xf2,0x48,0x0f,0x38,0xf1,0xc3]
81 // CHECK: crc32q 4(%rbx), %rax
82 // CHECK: encoding: [0xf2,0x48,0x0f,0x38,0xf1,0x43,0x04]
85 // CHECK: movd %r8, %mm1
86 // CHECK: encoding: [0x49,0x0f,0x6e,0xc8]
89 // CHECK: movd %r8d, %mm1
90 // CHECK: encoding: [0x41,0x0f,0x6e,0xc8]
93 // CHECK: movd %rdx, %mm1
94 // CHECK: encoding: [0x48,0x0f,0x6e,0xca]
97 // CHECK: movd %edx, %mm1
98 // CHECK: encoding: [0x0f,0x6e,0xca]
101 // CHECK: movd %mm1, %r8
102 // CHECK: encoding: [0x49,0x0f,0x7e,0xc8]
105 // CHECK: movd %mm1, %r8d
106 // CHECK: encoding: [0x41,0x0f,0x7e,0xc8]
109 // CHECK: movd %mm1, %rdx
110 // CHECK: encoding: [0x48,0x0f,0x7e,0xca]
113 // CHECK: movd %mm1, %edx
114 // CHECK: encoding: [0x0f,0x7e,0xca]
117 // CHECK: vaddss %xmm8, %xmm9, %xmm10
118 // CHECK: encoding: [0xc4,0x41,0x32,0x58,0xd0]
119 vaddss %xmm8, %xmm9, %xmm10
121 // CHECK: vmulss %xmm8, %xmm9, %xmm10
122 // CHECK: encoding: [0xc4,0x41,0x32,0x59,0xd0]
123 vmulss %xmm8, %xmm9, %xmm10
125 // CHECK: vsubss %xmm8, %xmm9, %xmm10
126 // CHECK: encoding: [0xc4,0x41,0x32,0x5c,0xd0]
127 vsubss %xmm8, %xmm9, %xmm10
129 // CHECK: vdivss %xmm8, %xmm9, %xmm10
130 // CHECK: encoding: [0xc4,0x41,0x32,0x5e,0xd0]
131 vdivss %xmm8, %xmm9, %xmm10
133 // CHECK: vaddsd %xmm8, %xmm9, %xmm10
134 // CHECK: encoding: [0xc4,0x41,0x33,0x58,0xd0]
135 vaddsd %xmm8, %xmm9, %xmm10
137 // CHECK: vmulsd %xmm8, %xmm9, %xmm10
138 // CHECK: encoding: [0xc4,0x41,0x33,0x59,0xd0]
139 vmulsd %xmm8, %xmm9, %xmm10
141 // CHECK: vsubsd %xmm8, %xmm9, %xmm10
142 // CHECK: encoding: [0xc4,0x41,0x33,0x5c,0xd0]
143 vsubsd %xmm8, %xmm9, %xmm10
145 // CHECK: vdivsd %xmm8, %xmm9, %xmm10
146 // CHECK: encoding: [0xc4,0x41,0x33,0x5e,0xd0]
147 vdivsd %xmm8, %xmm9, %xmm10
149 // CHECK: vaddss -4(%rcx,%rbx,8), %xmm10, %xmm11
150 // CHECK: encoding: [0xc5,0x2a,0x58,0x5c,0xd9,0xfc]
151 vaddss -4(%rcx,%rbx,8), %xmm10, %xmm11
153 // CHECK: vsubss -4(%rcx,%rbx,8), %xmm10, %xmm11
154 // CHECK: encoding: [0xc5,0x2a,0x5c,0x5c,0xd9,0xfc]
155 vsubss -4(%rcx,%rbx,8), %xmm10, %xmm11
157 // CHECK: vmulss -4(%rcx,%rbx,8), %xmm10, %xmm11
158 // CHECK: encoding: [0xc5,0x2a,0x59,0x5c,0xd9,0xfc]
159 vmulss -4(%rcx,%rbx,8), %xmm10, %xmm11
161 // CHECK: vdivss -4(%rcx,%rbx,8), %xmm10, %xmm11
162 // CHECK: encoding: [0xc5,0x2a,0x5e,0x5c,0xd9,0xfc]
163 vdivss -4(%rcx,%rbx,8), %xmm10, %xmm11
165 // CHECK: vaddsd -4(%rcx,%rbx,8), %xmm10, %xmm11
166 // CHECK: encoding: [0xc5,0x2b,0x58,0x5c,0xd9,0xfc]
167 vaddsd -4(%rcx,%rbx,8), %xmm10, %xmm11
169 // CHECK: vsubsd -4(%rcx,%rbx,8), %xmm10, %xmm11
170 // CHECK: encoding: [0xc5,0x2b,0x5c,0x5c,0xd9,0xfc]
171 vsubsd -4(%rcx,%rbx,8), %xmm10, %xmm11
173 // CHECK: vmulsd -4(%rcx,%rbx,8), %xmm10, %xmm11
174 // CHECK: encoding: [0xc5,0x2b,0x59,0x5c,0xd9,0xfc]
175 vmulsd -4(%rcx,%rbx,8), %xmm10, %xmm11
177 // CHECK: vdivsd -4(%rcx,%rbx,8), %xmm10, %xmm11
178 // CHECK: encoding: [0xc5,0x2b,0x5e,0x5c,0xd9,0xfc]
179 vdivsd -4(%rcx,%rbx,8), %xmm10, %xmm11
181 // CHECK: vaddps %xmm10, %xmm11, %xmm15
182 // CHECK: encoding: [0xc4,0x41,0x20,0x58,0xfa]
183 vaddps %xmm10, %xmm11, %xmm15
185 // CHECK: vsubps %xmm10, %xmm11, %xmm15
186 // CHECK: encoding: [0xc4,0x41,0x20,0x5c,0xfa]
187 vsubps %xmm10, %xmm11, %xmm15
189 // CHECK: vmulps %xmm10, %xmm11, %xmm15
190 // CHECK: encoding: [0xc4,0x41,0x20,0x59,0xfa]
191 vmulps %xmm10, %xmm11, %xmm15
193 // CHECK: vdivps %xmm10, %xmm11, %xmm15
194 // CHECK: encoding: [0xc4,0x41,0x20,0x5e,0xfa]
195 vdivps %xmm10, %xmm11, %xmm15
197 // CHECK: vaddpd %xmm10, %xmm11, %xmm15
198 // CHECK: encoding: [0xc4,0x41,0x21,0x58,0xfa]
199 vaddpd %xmm10, %xmm11, %xmm15
201 // CHECK: vsubpd %xmm10, %xmm11, %xmm15
202 // CHECK: encoding: [0xc4,0x41,0x21,0x5c,0xfa]
203 vsubpd %xmm10, %xmm11, %xmm15
205 // CHECK: vmulpd %xmm10, %xmm11, %xmm15
206 // CHECK: encoding: [0xc4,0x41,0x21,0x59,0xfa]
207 vmulpd %xmm10, %xmm11, %xmm15
209 // CHECK: vdivpd %xmm10, %xmm11, %xmm15
210 // CHECK: encoding: [0xc4,0x41,0x21,0x5e,0xfa]
211 vdivpd %xmm10, %xmm11, %xmm15
213 // CHECK: vaddps -4(%rcx,%rbx,8), %xmm10, %xmm11
214 // CHECK: encoding: [0xc5,0x28,0x58,0x5c,0xd9,0xfc]
215 vaddps -4(%rcx,%rbx,8), %xmm10, %xmm11
217 // CHECK: vsubps -4(%rcx,%rbx,8), %xmm10, %xmm11
218 // CHECK: encoding: [0xc5,0x28,0x5c,0x5c,0xd9,0xfc]
219 vsubps -4(%rcx,%rbx,8), %xmm10, %xmm11
221 // CHECK: vmulps -4(%rcx,%rbx,8), %xmm10, %xmm11
222 // CHECK: encoding: [0xc5,0x28,0x59,0x5c,0xd9,0xfc]
223 vmulps -4(%rcx,%rbx,8), %xmm10, %xmm11
225 // CHECK: vdivps -4(%rcx,%rbx,8), %xmm10, %xmm11
226 // CHECK: encoding: [0xc5,0x28,0x5e,0x5c,0xd9,0xfc]
227 vdivps -4(%rcx,%rbx,8), %xmm10, %xmm11
229 // CHECK: vaddpd -4(%rcx,%rbx,8), %xmm10, %xmm11
230 // CHECK: encoding: [0xc5,0x29,0x58,0x5c,0xd9,0xfc]
231 vaddpd -4(%rcx,%rbx,8), %xmm10, %xmm11
233 // CHECK: vsubpd -4(%rcx,%rbx,8), %xmm10, %xmm11
234 // CHECK: encoding: [0xc5,0x29,0x5c,0x5c,0xd9,0xfc]
235 vsubpd -4(%rcx,%rbx,8), %xmm10, %xmm11
237 // CHECK: vmulpd -4(%rcx,%rbx,8), %xmm10, %xmm11
238 // CHECK: encoding: [0xc5,0x29,0x59,0x5c,0xd9,0xfc]
239 vmulpd -4(%rcx,%rbx,8), %xmm10, %xmm11
241 // CHECK: vdivpd -4(%rcx,%rbx,8), %xmm10, %xmm11
242 // CHECK: encoding: [0xc5,0x29,0x5e,0x5c,0xd9,0xfc]
243 vdivpd -4(%rcx,%rbx,8), %xmm10, %xmm11
245 // CHECK: vmaxss %xmm10, %xmm14, %xmm12
246 // CHECK: encoding: [0xc4,0x41,0x0a,0x5f,0xe2]
247 vmaxss %xmm10, %xmm14, %xmm12
249 // CHECK: vmaxsd %xmm10, %xmm14, %xmm12
250 // CHECK: encoding: [0xc4,0x41,0x0b,0x5f,0xe2]
251 vmaxsd %xmm10, %xmm14, %xmm12
253 // CHECK: vminss %xmm10, %xmm14, %xmm12
254 // CHECK: encoding: [0xc4,0x41,0x0a,0x5d,0xe2]
255 vminss %xmm10, %xmm14, %xmm12
257 // CHECK: vminsd %xmm10, %xmm14, %xmm12
258 // CHECK: encoding: [0xc4,0x41,0x0b,0x5d,0xe2]
259 vminsd %xmm10, %xmm14, %xmm12
261 // CHECK: vmaxss -4(%rbx,%rcx,8), %xmm12, %xmm10
262 // CHECK: encoding: [0xc5,0x1a,0x5f,0x54,0xcb,0xfc]
263 vmaxss -4(%rbx,%rcx,8), %xmm12, %xmm10
265 // CHECK: vmaxsd -4(%rbx,%rcx,8), %xmm12, %xmm10
266 // CHECK: encoding: [0xc5,0x1b,0x5f,0x54,0xcb,0xfc]
267 vmaxsd -4(%rbx,%rcx,8), %xmm12, %xmm10
269 // CHECK: vminss -4(%rbx,%rcx,8), %xmm12, %xmm10
270 // CHECK: encoding: [0xc5,0x1a,0x5d,0x54,0xcb,0xfc]
271 vminss -4(%rbx,%rcx,8), %xmm12, %xmm10
273 // CHECK: vminsd -4(%rbx,%rcx,8), %xmm12, %xmm10
274 // CHECK: encoding: [0xc5,0x1b,0x5d,0x54,0xcb,0xfc]
275 vminsd -4(%rbx,%rcx,8), %xmm12, %xmm10
277 // CHECK: vmaxps %xmm10, %xmm14, %xmm12
278 // CHECK: encoding: [0xc4,0x41,0x08,0x5f,0xe2]
279 vmaxps %xmm10, %xmm14, %xmm12
281 // CHECK: vmaxpd %xmm10, %xmm14, %xmm12
282 // CHECK: encoding: [0xc4,0x41,0x09,0x5f,0xe2]
283 vmaxpd %xmm10, %xmm14, %xmm12
285 // CHECK: vminps %xmm10, %xmm14, %xmm12
286 // CHECK: encoding: [0xc4,0x41,0x08,0x5d,0xe2]
287 vminps %xmm10, %xmm14, %xmm12
289 // CHECK: vminpd %xmm10, %xmm14, %xmm12
290 // CHECK: encoding: [0xc4,0x41,0x09,0x5d,0xe2]
291 vminpd %xmm10, %xmm14, %xmm12
293 // CHECK: vmaxps -4(%rbx,%rcx,8), %xmm12, %xmm10
294 // CHECK: encoding: [0xc5,0x18,0x5f,0x54,0xcb,0xfc]
295 vmaxps -4(%rbx,%rcx,8), %xmm12, %xmm10
297 // CHECK: vmaxpd -4(%rbx,%rcx,8), %xmm12, %xmm10
298 // CHECK: encoding: [0xc5,0x19,0x5f,0x54,0xcb,0xfc]
299 vmaxpd -4(%rbx,%rcx,8), %xmm12, %xmm10
301 // CHECK: vminps -4(%rbx,%rcx,8), %xmm12, %xmm10
302 // CHECK: encoding: [0xc5,0x18,0x5d,0x54,0xcb,0xfc]
303 vminps -4(%rbx,%rcx,8), %xmm12, %xmm10
305 // CHECK: vminpd -4(%rbx,%rcx,8), %xmm12, %xmm10
306 // CHECK: encoding: [0xc5,0x19,0x5d,0x54,0xcb,0xfc]
307 vminpd -4(%rbx,%rcx,8), %xmm12, %xmm10
309 // CHECK: vandps %xmm10, %xmm14, %xmm12
310 // CHECK: encoding: [0xc4,0x41,0x08,0x54,0xe2]
311 vandps %xmm10, %xmm14, %xmm12
313 // CHECK: vandpd %xmm10, %xmm14, %xmm12
314 // CHECK: encoding: [0xc4,0x41,0x09,0x54,0xe2]
315 vandpd %xmm10, %xmm14, %xmm12
317 // CHECK: vandps -4(%rbx,%rcx,8), %xmm12, %xmm10
318 // CHECK: encoding: [0xc5,0x18,0x54,0x54,0xcb,0xfc]
319 vandps -4(%rbx,%rcx,8), %xmm12, %xmm10
321 // CHECK: vandpd -4(%rbx,%rcx,8), %xmm12, %xmm10
322 // CHECK: encoding: [0xc5,0x19,0x54,0x54,0xcb,0xfc]
323 vandpd -4(%rbx,%rcx,8), %xmm12, %xmm10
325 // CHECK: vorps %xmm10, %xmm14, %xmm12
326 // CHECK: encoding: [0xc4,0x41,0x08,0x56,0xe2]
327 vorps %xmm10, %xmm14, %xmm12
329 // CHECK: vorpd %xmm10, %xmm14, %xmm12
330 // CHECK: encoding: [0xc4,0x41,0x09,0x56,0xe2]
331 vorpd %xmm10, %xmm14, %xmm12
333 // CHECK: vorps -4(%rbx,%rcx,8), %xmm12, %xmm10
334 // CHECK: encoding: [0xc5,0x18,0x56,0x54,0xcb,0xfc]
335 vorps -4(%rbx,%rcx,8), %xmm12, %xmm10
337 // CHECK: vorpd -4(%rbx,%rcx,8), %xmm12, %xmm10
338 // CHECK: encoding: [0xc5,0x19,0x56,0x54,0xcb,0xfc]
339 vorpd -4(%rbx,%rcx,8), %xmm12, %xmm10
341 // CHECK: vxorps %xmm10, %xmm14, %xmm12
342 // CHECK: encoding: [0xc4,0x41,0x08,0x57,0xe2]
343 vxorps %xmm10, %xmm14, %xmm12
345 // CHECK: vxorpd %xmm10, %xmm14, %xmm12
346 // CHECK: encoding: [0xc4,0x41,0x09,0x57,0xe2]
347 vxorpd %xmm10, %xmm14, %xmm12
349 // CHECK: vxorps -4(%rbx,%rcx,8), %xmm12, %xmm10
350 // CHECK: encoding: [0xc5,0x18,0x57,0x54,0xcb,0xfc]
351 vxorps -4(%rbx,%rcx,8), %xmm12, %xmm10
353 // CHECK: vxorpd -4(%rbx,%rcx,8), %xmm12, %xmm10
354 // CHECK: encoding: [0xc5,0x19,0x57,0x54,0xcb,0xfc]
355 vxorpd -4(%rbx,%rcx,8), %xmm12, %xmm10
357 // CHECK: vandnps %xmm10, %xmm14, %xmm12
358 // CHECK: encoding: [0xc4,0x41,0x08,0x55,0xe2]
359 vandnps %xmm10, %xmm14, %xmm12
361 // CHECK: vandnpd %xmm10, %xmm14, %xmm12
362 // CHECK: encoding: [0xc4,0x41,0x09,0x55,0xe2]
363 vandnpd %xmm10, %xmm14, %xmm12
365 // CHECK: vandnps -4(%rbx,%rcx,8), %xmm12, %xmm10
366 // CHECK: encoding: [0xc5,0x18,0x55,0x54,0xcb,0xfc]
367 vandnps -4(%rbx,%rcx,8), %xmm12, %xmm10
369 // CHECK: vandnpd -4(%rbx,%rcx,8), %xmm12, %xmm10
370 // CHECK: encoding: [0xc5,0x19,0x55,0x54,0xcb,0xfc]
371 vandnpd -4(%rbx,%rcx,8), %xmm12, %xmm10
373 // CHECK: vmovss -4(%rbx,%rcx,8), %xmm10
374 // CHECK: encoding: [0xc5,0x7a,0x10,0x54,0xcb,0xfc]
375 vmovss -4(%rbx,%rcx,8), %xmm10
377 // CHECK: vmovss %xmm14, %xmm10, %xmm15
378 // CHECK: encoding: [0xc4,0x41,0x2a,0x10,0xfe]
379 vmovss %xmm14, %xmm10, %xmm15
381 // CHECK: vmovsd -4(%rbx,%rcx,8), %xmm10
382 // CHECK: encoding: [0xc5,0x7b,0x10,0x54,0xcb,0xfc]
383 vmovsd -4(%rbx,%rcx,8), %xmm10
385 // CHECK: vmovsd %xmm14, %xmm10, %xmm15
386 // CHECK: encoding: [0xc4,0x41,0x2b,0x10,0xfe]
387 vmovsd %xmm14, %xmm10, %xmm15
390 // CHECK: pshufb CPI1_0(%rip), %xmm1
391 // CHECK: encoding: [0x66,0x0f,0x38,0x00,0x0d,A,A,A,A]
392 // CHECK: fixup A - offset: 5, value: CPI1_0-4
393 pshufb CPI1_0(%rip), %xmm1
395 // CHECK: vunpckhps %xmm15, %xmm12, %xmm13
396 // CHECK: encoding: [0xc4,0x41,0x18,0x15,0xef]
397 vunpckhps %xmm15, %xmm12, %xmm13
399 // CHECK: vunpckhpd %xmm15, %xmm12, %xmm13
400 // CHECK: encoding: [0xc4,0x41,0x19,0x15,0xef]
401 vunpckhpd %xmm15, %xmm12, %xmm13
403 // CHECK: vunpcklps %xmm15, %xmm12, %xmm13
404 // CHECK: encoding: [0xc4,0x41,0x18,0x14,0xef]
405 vunpcklps %xmm15, %xmm12, %xmm13
407 // CHECK: vunpcklpd %xmm15, %xmm12, %xmm13
408 // CHECK: encoding: [0xc4,0x41,0x19,0x14,0xef]
409 vunpcklpd %xmm15, %xmm12, %xmm13
411 // CHECK: vunpckhps -4(%rbx,%rcx,8), %xmm12, %xmm15
412 // CHECK: encoding: [0xc5,0x18,0x15,0x7c,0xcb,0xfc]
413 vunpckhps -4(%rbx,%rcx,8), %xmm12, %xmm15
415 // CHECK: vunpckhpd -4(%rbx,%rcx,8), %xmm12, %xmm15
416 // CHECK: encoding: [0xc5,0x19,0x15,0x7c,0xcb,0xfc]
417 vunpckhpd -4(%rbx,%rcx,8), %xmm12, %xmm15
419 // CHECK: vunpcklps -4(%rbx,%rcx,8), %xmm12, %xmm15
420 // CHECK: encoding: [0xc5,0x18,0x14,0x7c,0xcb,0xfc]
421 vunpcklps -4(%rbx,%rcx,8), %xmm12, %xmm15
423 // CHECK: vunpcklpd -4(%rbx,%rcx,8), %xmm12, %xmm15
424 // CHECK: encoding: [0xc5,0x19,0x14,0x7c,0xcb,0xfc]
425 vunpcklpd -4(%rbx,%rcx,8), %xmm12, %xmm15
427 // CHECK: vcmpps $0, %xmm10, %xmm12, %xmm15
428 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xfa,0x00]
429 vcmpps $0, %xmm10, %xmm12, %xmm15
431 // CHECK: vcmpps $0, (%rax), %xmm12, %xmm15
432 // CHECK: encoding: [0xc5,0x18,0xc2,0x38,0x00]
433 vcmpps $0, (%rax), %xmm12, %xmm15
435 // CHECK: vcmpps $7, %xmm10, %xmm12, %xmm15
436 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xfa,0x07]
437 vcmpps $7, %xmm10, %xmm12, %xmm15
439 // CHECK: vcmppd $0, %xmm10, %xmm12, %xmm15
440 // CHECK: encoding: [0xc4,0x41,0x19,0xc2,0xfa,0x00]
441 vcmppd $0, %xmm10, %xmm12, %xmm15
443 // CHECK: vcmppd $0, (%rax), %xmm12, %xmm15
444 // CHECK: encoding: [0xc5,0x19,0xc2,0x38,0x00]
445 vcmppd $0, (%rax), %xmm12, %xmm15
447 // CHECK: vcmppd $7, %xmm10, %xmm12, %xmm15
448 // CHECK: encoding: [0xc4,0x41,0x19,0xc2,0xfa,0x07]
449 vcmppd $7, %xmm10, %xmm12, %xmm15
451 // CHECK: vshufps $8, %xmm11, %xmm12, %xmm13
452 // CHECK: encoding: [0xc4,0x41,0x18,0xc6,0xeb,0x08]
453 vshufps $8, %xmm11, %xmm12, %xmm13
455 // CHECK: vshufps $8, -4(%rbx,%rcx,8), %xmm12, %xmm13
456 // CHECK: encoding: [0xc5,0x18,0xc6,0x6c,0xcb,0xfc,0x08]
457 vshufps $8, -4(%rbx,%rcx,8), %xmm12, %xmm13
459 // CHECK: vshufpd $8, %xmm11, %xmm12, %xmm13
460 // CHECK: encoding: [0xc4,0x41,0x19,0xc6,0xeb,0x08]
461 vshufpd $8, %xmm11, %xmm12, %xmm13
463 // CHECK: vshufpd $8, -4(%rbx,%rcx,8), %xmm12, %xmm13
464 // CHECK: encoding: [0xc5,0x19,0xc6,0x6c,0xcb,0xfc,0x08]
465 vshufpd $8, -4(%rbx,%rcx,8), %xmm12, %xmm13
467 // CHECK: vcmpps $0, %xmm11, %xmm12, %xmm13
468 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x00]
469 vcmpeqps %xmm11, %xmm12, %xmm13
471 // CHECK: vcmpps $2, %xmm11, %xmm12, %xmm13
472 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x02]
473 vcmpleps %xmm11, %xmm12, %xmm13
475 // CHECK: vcmpps $1, %xmm11, %xmm12, %xmm13
476 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x01]
477 vcmpltps %xmm11, %xmm12, %xmm13
479 // CHECK: vcmpps $4, %xmm11, %xmm12, %xmm13
480 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x04]
481 vcmpneqps %xmm11, %xmm12, %xmm13
483 // CHECK: vcmpps $6, %xmm11, %xmm12, %xmm13
484 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x06]
485 vcmpnleps %xmm11, %xmm12, %xmm13
487 // CHECK: vcmpps $5, %xmm11, %xmm12, %xmm13
488 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x05]
489 vcmpnltps %xmm11, %xmm12, %xmm13
491 // CHECK: vcmpps $7, %xmm11, %xmm12, %xmm13
492 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x07]
493 vcmpordps %xmm11, %xmm12, %xmm13
495 // CHECK: vcmpps $3, %xmm11, %xmm12, %xmm13
496 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x03]
497 vcmpunordps %xmm11, %xmm12, %xmm13
499 // CHECK: vcmpps $0, -4(%rbx,%rcx,8), %xmm12, %xmm13
500 // CHECK: encoding: [0xc5,0x18,0xc2,0x6c,0xcb,0xfc,0x00]
501 vcmpeqps -4(%rbx,%rcx,8), %xmm12, %xmm13
503 // CHECK: vcmpps $2, -4(%rbx,%rcx,8), %xmm12, %xmm13
504 // CHECK: encoding: [0xc5,0x18,0xc2,0x6c,0xcb,0xfc,0x02]
505 vcmpleps -4(%rbx,%rcx,8), %xmm12, %xmm13
507 // CHECK: vcmpps $1, -4(%rbx,%rcx,8), %xmm12, %xmm13
508 // CHECK: encoding: [0xc5,0x18,0xc2,0x6c,0xcb,0xfc,0x01]
509 vcmpltps -4(%rbx,%rcx,8), %xmm12, %xmm13
511 // CHECK: vcmpps $4, -4(%rbx,%rcx,8), %xmm12, %xmm13
512 // CHECK: encoding: [0xc5,0x18,0xc2,0x6c,0xcb,0xfc,0x04]
513 vcmpneqps -4(%rbx,%rcx,8), %xmm12, %xmm13
515 // CHECK: vcmpps $6, -4(%rbx,%rcx,8), %xmm12, %xmm13
516 // CHECK: encoding: [0xc5,0x18,0xc2,0x6c,0xcb,0xfc,0x06]
517 vcmpnleps -4(%rbx,%rcx,8), %xmm12, %xmm13
519 // CHECK: vcmpps $5, -4(%rbx,%rcx,8), %xmm12, %xmm13
520 // CHECK: encoding: [0xc5,0x18,0xc2,0x6c,0xcb,0xfc,0x05]
521 vcmpnltps -4(%rbx,%rcx,8), %xmm12, %xmm13
523 // CHECK: vcmpps $7, -4(%rbx,%rcx,8), %xmm6, %xmm2
524 // CHECK: encoding: [0xc5,0xc8,0xc2,0x54,0xcb,0xfc,0x07]
525 vcmpordps -4(%rbx,%rcx,8), %xmm6, %xmm2
527 // CHECK: vcmpps $3, -4(%rbx,%rcx,8), %xmm12, %xmm13
528 // CHECK: encoding: [0xc5,0x18,0xc2,0x6c,0xcb,0xfc,0x03]
529 vcmpunordps -4(%rbx,%rcx,8), %xmm12, %xmm13
531 // CHECK: vcmppd $0, %xmm11, %xmm12, %xmm13
532 // CHECK: encoding: [0xc4,0x41,0x19,0xc2,0xeb,0x00]
533 vcmpeqpd %xmm11, %xmm12, %xmm13
535 // CHECK: vcmppd $2, %xmm11, %xmm12, %xmm13
536 // CHECK: encoding: [0xc4,0x41,0x19,0xc2,0xeb,0x02]
537 vcmplepd %xmm11, %xmm12, %xmm13
539 // CHECK: vcmppd $1, %xmm11, %xmm12, %xmm13
540 // CHECK: encoding: [0xc4,0x41,0x19,0xc2,0xeb,0x01]
541 vcmpltpd %xmm11, %xmm12, %xmm13
543 // CHECK: vcmppd $4, %xmm11, %xmm12, %xmm13
544 // CHECK: encoding: [0xc4,0x41,0x19,0xc2,0xeb,0x04]
545 vcmpneqpd %xmm11, %xmm12, %xmm13
547 // CHECK: vcmppd $6, %xmm11, %xmm12, %xmm13
548 // CHECK: encoding: [0xc4,0x41,0x19,0xc2,0xeb,0x06]
549 vcmpnlepd %xmm11, %xmm12, %xmm13
551 // CHECK: vcmppd $5, %xmm11, %xmm12, %xmm13
552 // CHECK: encoding: [0xc4,0x41,0x19,0xc2,0xeb,0x05]
553 vcmpnltpd %xmm11, %xmm12, %xmm13
555 // CHECK: vcmppd $7, %xmm11, %xmm12, %xmm13
556 // CHECK: encoding: [0xc4,0x41,0x19,0xc2,0xeb,0x07]
557 vcmpordpd %xmm11, %xmm12, %xmm13
559 // CHECK: vcmppd $3, %xmm11, %xmm12, %xmm13
560 // CHECK: encoding: [0xc4,0x41,0x19,0xc2,0xeb,0x03]
561 vcmpunordpd %xmm11, %xmm12, %xmm13
563 // CHECK: vcmppd $0, -4(%rbx,%rcx,8), %xmm12, %xmm13
564 // CHECK: encoding: [0xc5,0x19,0xc2,0x6c,0xcb,0xfc,0x00]
565 vcmpeqpd -4(%rbx,%rcx,8), %xmm12, %xmm13
567 // CHECK: vcmppd $2, -4(%rbx,%rcx,8), %xmm12, %xmm13
568 // CHECK: encoding: [0xc5,0x19,0xc2,0x6c,0xcb,0xfc,0x02]
569 vcmplepd -4(%rbx,%rcx,8), %xmm12, %xmm13
571 // CHECK: vcmppd $1, -4(%rbx,%rcx,8), %xmm12, %xmm13
572 // CHECK: encoding: [0xc5,0x19,0xc2,0x6c,0xcb,0xfc,0x01]
573 vcmpltpd -4(%rbx,%rcx,8), %xmm12, %xmm13
575 // CHECK: vcmppd $4, -4(%rbx,%rcx,8), %xmm12, %xmm13
576 // CHECK: encoding: [0xc5,0x19,0xc2,0x6c,0xcb,0xfc,0x04]
577 vcmpneqpd -4(%rbx,%rcx,8), %xmm12, %xmm13
579 // CHECK: vcmppd $6, -4(%rbx,%rcx,8), %xmm12, %xmm13
580 // CHECK: encoding: [0xc5,0x19,0xc2,0x6c,0xcb,0xfc,0x06]
581 vcmpnlepd -4(%rbx,%rcx,8), %xmm12, %xmm13
583 // CHECK: vcmppd $5, -4(%rbx,%rcx,8), %xmm12, %xmm13
584 // CHECK: encoding: [0xc5,0x19,0xc2,0x6c,0xcb,0xfc,0x05]
585 vcmpnltpd -4(%rbx,%rcx,8), %xmm12, %xmm13
587 // CHECK: vcmppd $7, -4(%rbx,%rcx,8), %xmm6, %xmm2
588 // CHECK: encoding: [0xc5,0xc9,0xc2,0x54,0xcb,0xfc,0x07]
589 vcmpordpd -4(%rbx,%rcx,8), %xmm6, %xmm2
591 // CHECK: vcmppd $3, -4(%rbx,%rcx,8), %xmm12, %xmm13
592 // CHECK: encoding: [0xc5,0x19,0xc2,0x6c,0xcb,0xfc,0x03]
593 vcmpunordpd -4(%rbx,%rcx,8), %xmm12, %xmm13
595 // CHECK: vcmpss $0, %xmm11, %xmm12, %xmm13
596 // CHECK: encoding: [0xc4,0x41,0x1a,0xc2,0xeb,0x00]
597 vcmpeqss %xmm11, %xmm12, %xmm13
599 // CHECK: vcmpss $2, %xmm11, %xmm12, %xmm13
600 // CHECK: encoding: [0xc4,0x41,0x1a,0xc2,0xeb,0x02]
601 vcmpless %xmm11, %xmm12, %xmm13
603 // CHECK: vcmpss $1, %xmm11, %xmm12, %xmm13
604 // CHECK: encoding: [0xc4,0x41,0x1a,0xc2,0xeb,0x01]
605 vcmpltss %xmm11, %xmm12, %xmm13
607 // CHECK: vcmpss $4, %xmm11, %xmm12, %xmm13
608 // CHECK: encoding: [0xc4,0x41,0x1a,0xc2,0xeb,0x04]
609 vcmpneqss %xmm11, %xmm12, %xmm13
611 // CHECK: vcmpss $6, %xmm11, %xmm12, %xmm13
612 // CHECK: encoding: [0xc4,0x41,0x1a,0xc2,0xeb,0x06]
613 vcmpnless %xmm11, %xmm12, %xmm13
615 // CHECK: vcmpss $5, %xmm11, %xmm12, %xmm13
616 // CHECK: encoding: [0xc4,0x41,0x1a,0xc2,0xeb,0x05]
617 vcmpnltss %xmm11, %xmm12, %xmm13
619 // CHECK: vcmpss $7, %xmm11, %xmm12, %xmm13
620 // CHECK: encoding: [0xc4,0x41,0x1a,0xc2,0xeb,0x07]
621 vcmpordss %xmm11, %xmm12, %xmm13
623 // CHECK: vcmpss $3, %xmm11, %xmm12, %xmm13
624 // CHECK: encoding: [0xc4,0x41,0x1a,0xc2,0xeb,0x03]
625 vcmpunordss %xmm11, %xmm12, %xmm13
627 // CHECK: vcmpss $0, -4(%rbx,%rcx,8), %xmm12, %xmm13
628 // CHECK: encoding: [0xc5,0x1a,0xc2,0x6c,0xcb,0xfc,0x00]
629 vcmpeqss -4(%rbx,%rcx,8), %xmm12, %xmm13
631 // CHECK: vcmpss $2, -4(%rbx,%rcx,8), %xmm12, %xmm13
632 // CHECK: encoding: [0xc5,0x1a,0xc2,0x6c,0xcb,0xfc,0x02]
633 vcmpless -4(%rbx,%rcx,8), %xmm12, %xmm13
635 // CHECK: vcmpss $1, -4(%rbx,%rcx,8), %xmm12, %xmm13
636 // CHECK: encoding: [0xc5,0x1a,0xc2,0x6c,0xcb,0xfc,0x01]
637 vcmpltss -4(%rbx,%rcx,8), %xmm12, %xmm13
639 // CHECK: vcmpss $4, -4(%rbx,%rcx,8), %xmm12, %xmm13
640 // CHECK: encoding: [0xc5,0x1a,0xc2,0x6c,0xcb,0xfc,0x04]
641 vcmpneqss -4(%rbx,%rcx,8), %xmm12, %xmm13
643 // CHECK: vcmpss $6, -4(%rbx,%rcx,8), %xmm12, %xmm13
644 // CHECK: encoding: [0xc5,0x1a,0xc2,0x6c,0xcb,0xfc,0x06]
645 vcmpnless -4(%rbx,%rcx,8), %xmm12, %xmm13
647 // CHECK: vcmpss $5, -4(%rbx,%rcx,8), %xmm12, %xmm13
648 // CHECK: encoding: [0xc5,0x1a,0xc2,0x6c,0xcb,0xfc,0x05]
649 vcmpnltss -4(%rbx,%rcx,8), %xmm12, %xmm13
651 // CHECK: vcmpss $7, -4(%rbx,%rcx,8), %xmm6, %xmm2
652 // CHECK: encoding: [0xc5,0xca,0xc2,0x54,0xcb,0xfc,0x07]
653 vcmpordss -4(%rbx,%rcx,8), %xmm6, %xmm2
655 // CHECK: vcmpss $3, -4(%rbx,%rcx,8), %xmm12, %xmm13
656 // CHECK: encoding: [0xc5,0x1a,0xc2,0x6c,0xcb,0xfc,0x03]
657 vcmpunordss -4(%rbx,%rcx,8), %xmm12, %xmm13
659 // CHECK: vcmpsd $0, %xmm11, %xmm12, %xmm13
660 // CHECK: encoding: [0xc4,0x41,0x1b,0xc2,0xeb,0x00]
661 vcmpeqsd %xmm11, %xmm12, %xmm13
663 // CHECK: vcmpsd $2, %xmm11, %xmm12, %xmm13
664 // CHECK: encoding: [0xc4,0x41,0x1b,0xc2,0xeb,0x02]
665 vcmplesd %xmm11, %xmm12, %xmm13
667 // CHECK: vcmpsd $1, %xmm11, %xmm12, %xmm13
668 // CHECK: encoding: [0xc4,0x41,0x1b,0xc2,0xeb,0x01]
669 vcmpltsd %xmm11, %xmm12, %xmm13
671 // CHECK: vcmpsd $4, %xmm11, %xmm12, %xmm13
672 // CHECK: encoding: [0xc4,0x41,0x1b,0xc2,0xeb,0x04]
673 vcmpneqsd %xmm11, %xmm12, %xmm13
675 // CHECK: vcmpsd $6, %xmm11, %xmm12, %xmm13
676 // CHECK: encoding: [0xc4,0x41,0x1b,0xc2,0xeb,0x06]
677 vcmpnlesd %xmm11, %xmm12, %xmm13
679 // CHECK: vcmpsd $5, %xmm11, %xmm12, %xmm13
680 // CHECK: encoding: [0xc4,0x41,0x1b,0xc2,0xeb,0x05]
681 vcmpnltsd %xmm11, %xmm12, %xmm13
683 // CHECK: vcmpsd $7, %xmm11, %xmm12, %xmm13
684 // CHECK: encoding: [0xc4,0x41,0x1b,0xc2,0xeb,0x07]
685 vcmpordsd %xmm11, %xmm12, %xmm13
687 // CHECK: vcmpsd $3, %xmm11, %xmm12, %xmm13
688 // CHECK: encoding: [0xc4,0x41,0x1b,0xc2,0xeb,0x03]
689 vcmpunordsd %xmm11, %xmm12, %xmm13
691 // CHECK: vcmpsd $0, -4(%rbx,%rcx,8), %xmm12, %xmm13
692 // CHECK: encoding: [0xc5,0x1b,0xc2,0x6c,0xcb,0xfc,0x00]
693 vcmpeqsd -4(%rbx,%rcx,8), %xmm12, %xmm13
695 // CHECK: vcmpsd $2, -4(%rbx,%rcx,8), %xmm12, %xmm13
696 // CHECK: encoding: [0xc5,0x1b,0xc2,0x6c,0xcb,0xfc,0x02]
697 vcmplesd -4(%rbx,%rcx,8), %xmm12, %xmm13
699 // CHECK: vcmpsd $1, -4(%rbx,%rcx,8), %xmm12, %xmm13
700 // CHECK: encoding: [0xc5,0x1b,0xc2,0x6c,0xcb,0xfc,0x01]
701 vcmpltsd -4(%rbx,%rcx,8), %xmm12, %xmm13
703 // CHECK: vcmpsd $4, -4(%rbx,%rcx,8), %xmm12, %xmm13
704 // CHECK: encoding: [0xc5,0x1b,0xc2,0x6c,0xcb,0xfc,0x04]
705 vcmpneqsd -4(%rbx,%rcx,8), %xmm12, %xmm13
707 // CHECK: vcmpsd $6, -4(%rbx,%rcx,8), %xmm12, %xmm13
708 // CHECK: encoding: [0xc5,0x1b,0xc2,0x6c,0xcb,0xfc,0x06]
709 vcmpnlesd -4(%rbx,%rcx,8), %xmm12, %xmm13
711 // CHECK: vcmpsd $5, -4(%rbx,%rcx,8), %xmm12, %xmm13
712 // CHECK: encoding: [0xc5,0x1b,0xc2,0x6c,0xcb,0xfc,0x05]
713 vcmpnltsd -4(%rbx,%rcx,8), %xmm12, %xmm13
715 // CHECK: vcmpsd $7, -4(%rbx,%rcx,8), %xmm6, %xmm2
716 // CHECK: encoding: [0xc5,0xcb,0xc2,0x54,0xcb,0xfc,0x07]
717 vcmpordsd -4(%rbx,%rcx,8), %xmm6, %xmm2
719 // CHECK: vcmpsd $3, -4(%rbx,%rcx,8), %xmm12, %xmm13
720 // CHECK: encoding: [0xc5,0x1b,0xc2,0x6c,0xcb,0xfc,0x03]
721 vcmpunordsd -4(%rbx,%rcx,8), %xmm12, %xmm13
723 // CHECK: vucomiss %xmm11, %xmm12
724 // CHECK: encoding: [0xc4,0x41,0x78,0x2e,0xe3]
725 vucomiss %xmm11, %xmm12
727 // CHECK: vucomiss (%rax), %xmm12
728 // CHECK: encoding: [0xc5,0x78,0x2e,0x20]
729 vucomiss (%rax), %xmm12
731 // CHECK: vcomiss %xmm11, %xmm12
732 // CHECK: encoding: [0xc4,0x41,0x78,0x2f,0xe3]
733 vcomiss %xmm11, %xmm12
735 // CHECK: vcomiss (%rax), %xmm12
736 // CHECK: encoding: [0xc5,0x78,0x2f,0x20]
737 vcomiss (%rax), %xmm12
739 // CHECK: vucomisd %xmm11, %xmm12
740 // CHECK: encoding: [0xc4,0x41,0x79,0x2e,0xe3]
741 vucomisd %xmm11, %xmm12
743 // CHECK: vucomisd (%rax), %xmm12
744 // CHECK: encoding: [0xc5,0x79,0x2e,0x20]
745 vucomisd (%rax), %xmm12
747 // CHECK: vcomisd %xmm11, %xmm12
748 // CHECK: encoding: [0xc4,0x41,0x79,0x2f,0xe3]
749 vcomisd %xmm11, %xmm12
751 // CHECK: vcomisd (%rax), %xmm12
752 // CHECK: encoding: [0xc5,0x79,0x2f,0x20]
753 vcomisd (%rax), %xmm12
755 // CHECK: vcvttss2si (%rcx), %eax
756 // CHECK: encoding: [0xc5,0xfa,0x2c,0x01]
757 vcvttss2si (%rcx), %eax
759 // CHECK: vcvtsi2ss (%rax), %xmm11, %xmm12
760 // CHECK: encoding: [0xc5,0x22,0x2a,0x20]
761 vcvtsi2ss (%rax), %xmm11, %xmm12
763 // CHECK: vcvtsi2ss (%rax), %xmm11, %xmm12
764 // CHECK: encoding: [0xc5,0x22,0x2a,0x20]
765 vcvtsi2ss (%rax), %xmm11, %xmm12
767 // CHECK: vcvttsd2si (%rcx), %eax
768 // CHECK: encoding: [0xc5,0xfb,0x2c,0x01]
769 vcvttsd2si (%rcx), %eax
771 // CHECK: vcvtsi2sd (%rax), %xmm11, %xmm12
772 // CHECK: encoding: [0xc5,0x23,0x2a,0x20]
773 vcvtsi2sd (%rax), %xmm11, %xmm12
775 // CHECK: vcvtsi2sd (%rax), %xmm11, %xmm12
776 // CHECK: encoding: [0xc5,0x23,0x2a,0x20]
777 vcvtsi2sd (%rax), %xmm11, %xmm12
779 // CHECK: vmovaps (%rax), %xmm12
780 // CHECK: encoding: [0xc5,0x78,0x28,0x20]
781 vmovaps (%rax), %xmm12
783 // CHECK: vmovaps %xmm11, %xmm12
784 // CHECK: encoding: [0xc4,0x41,0x78,0x28,0xe3]
785 vmovaps %xmm11, %xmm12
787 // CHECK: vmovaps %xmm11, (%rax)
788 // CHECK: encoding: [0xc5,0x78,0x29,0x18]
789 vmovaps %xmm11, (%rax)
791 // CHECK: vmovapd (%rax), %xmm12
792 // CHECK: encoding: [0xc5,0x79,0x28,0x20]
793 vmovapd (%rax), %xmm12
795 // CHECK: vmovapd %xmm11, %xmm12
796 // CHECK: encoding: [0xc4,0x41,0x79,0x28,0xe3]
797 vmovapd %xmm11, %xmm12
799 // CHECK: vmovapd %xmm11, (%rax)
800 // CHECK: encoding: [0xc5,0x79,0x29,0x18]
801 vmovapd %xmm11, (%rax)
803 // CHECK: vmovups (%rax), %xmm12
804 // CHECK: encoding: [0xc5,0x78,0x10,0x20]
805 vmovups (%rax), %xmm12
807 // CHECK: vmovups %xmm11, %xmm12
808 // CHECK: encoding: [0xc4,0x41,0x78,0x10,0xe3]
809 vmovups %xmm11, %xmm12
811 // CHECK: vmovups %xmm11, (%rax)
812 // CHECK: encoding: [0xc5,0x78,0x11,0x18]
813 vmovups %xmm11, (%rax)
815 // CHECK: vmovupd (%rax), %xmm12
816 // CHECK: encoding: [0xc5,0x79,0x10,0x20]
817 vmovupd (%rax), %xmm12
819 // CHECK: vmovupd %xmm11, %xmm12
820 // CHECK: encoding: [0xc4,0x41,0x79,0x10,0xe3]
821 vmovupd %xmm11, %xmm12
823 // CHECK: vmovupd %xmm11, (%rax)
824 // CHECK: encoding: [0xc5,0x79,0x11,0x18]
825 vmovupd %xmm11, (%rax)
827 // CHECK: vmovlps %xmm11, (%rax)
828 // CHECK: encoding: [0xc5,0x78,0x13,0x18]
829 vmovlps %xmm11, (%rax)
831 // CHECK: vmovlps (%rax), %xmm12, %xmm13
832 // CHECK: encoding: [0xc5,0x18,0x12,0x28]
833 vmovlps (%rax), %xmm12, %xmm13
835 // CHECK: vmovlpd %xmm11, (%rax)
836 // CHECK: encoding: [0xc5,0x79,0x13,0x18]
837 vmovlpd %xmm11, (%rax)
839 // CHECK: vmovlpd (%rax), %xmm12, %xmm13
840 // CHECK: encoding: [0xc5,0x19,0x12,0x28]
841 vmovlpd (%rax), %xmm12, %xmm13
843 // CHECK: vmovhps %xmm11, (%rax)
844 // CHECK: encoding: [0xc5,0x78,0x17,0x18]
845 vmovhps %xmm11, (%rax)
847 // CHECK: vmovhps (%rax), %xmm12, %xmm13
848 // CHECK: encoding: [0xc5,0x18,0x16,0x28]
849 vmovhps (%rax), %xmm12, %xmm13
851 // CHECK: vmovhpd %xmm11, (%rax)
852 // CHECK: encoding: [0xc5,0x79,0x17,0x18]
853 vmovhpd %xmm11, (%rax)
855 // CHECK: vmovhpd (%rax), %xmm12, %xmm13
856 // CHECK: encoding: [0xc5,0x19,0x16,0x28]
857 vmovhpd (%rax), %xmm12, %xmm13
859 // CHECK: vmovlhps %xmm11, %xmm12, %xmm13
860 // CHECK: encoding: [0xc4,0x41,0x18,0x16,0xeb]
861 vmovlhps %xmm11, %xmm12, %xmm13
863 // CHECK: vmovhlps %xmm11, %xmm12, %xmm13
864 // CHECK: encoding: [0xc4,0x41,0x18,0x12,0xeb]
865 vmovhlps %xmm11, %xmm12, %xmm13
867 // CHECK: vcvtss2sil %xmm11, %eax
868 // CHECK: encoding: [0xc4,0xc1,0x7a,0x2d,0xc3]
869 vcvtss2si %xmm11, %eax
871 // CHECK: vcvtss2sil (%rax), %ebx
872 // CHECK: encoding: [0xc5,0xfa,0x2d,0x18]
873 vcvtss2si (%rax), %ebx
875 // CHECK: vcvtdq2ps %xmm10, %xmm12
876 // CHECK: encoding: [0xc4,0x41,0x78,0x5b,0xe2]
877 vcvtdq2ps %xmm10, %xmm12
879 // CHECK: vcvtdq2ps (%rax), %xmm12
880 // CHECK: encoding: [0xc5,0x78,0x5b,0x20]
881 vcvtdq2ps (%rax), %xmm12
883 // CHECK: vcvtsd2ss %xmm12, %xmm13, %xmm10
884 // CHECK: encoding: [0xc4,0x41,0x13,0x5a,0xd4]
885 vcvtsd2ss %xmm12, %xmm13, %xmm10
887 // CHECK: vcvtsd2ss (%rax), %xmm13, %xmm10
888 // CHECK: encoding: [0xc5,0x13,0x5a,0x10]
889 vcvtsd2ss (%rax), %xmm13, %xmm10
891 // CHECK: vcvtps2dq %xmm12, %xmm11
892 // CHECK: encoding: [0xc4,0x41,0x79,0x5b,0xdc]
893 vcvtps2dq %xmm12, %xmm11
895 // CHECK: vcvtps2dq (%rax), %xmm11
896 // CHECK: encoding: [0xc5,0x79,0x5b,0x18]
897 vcvtps2dq (%rax), %xmm11
899 // CHECK: vcvtss2sd %xmm12, %xmm13, %xmm10
900 // CHECK: encoding: [0xc4,0x41,0x12,0x5a,0xd4]
901 vcvtss2sd %xmm12, %xmm13, %xmm10
903 // CHECK: vcvtss2sd (%rax), %xmm13, %xmm10
904 // CHECK: encoding: [0xc5,0x12,0x5a,0x10]
905 vcvtss2sd (%rax), %xmm13, %xmm10
907 // CHECK: vcvtdq2ps %xmm13, %xmm10
908 // CHECK: encoding: [0xc4,0x41,0x78,0x5b,0xd5]
909 vcvtdq2ps %xmm13, %xmm10
911 // CHECK: vcvtdq2ps (%ecx), %xmm13
912 // CHECK: encoding: [0xc5,0x78,0x5b,0x29]
913 vcvtdq2ps (%ecx), %xmm13
915 // CHECK: vcvttps2dq %xmm12, %xmm11
916 // CHECK: encoding: [0xc4,0x41,0x7a,0x5b,0xdc]
917 vcvttps2dq %xmm12, %xmm11
919 // CHECK: vcvttps2dq (%rax), %xmm11
920 // CHECK: encoding: [0xc5,0x7a,0x5b,0x18]
921 vcvttps2dq (%rax), %xmm11
923 // CHECK: vcvtps2pd %xmm12, %xmm11
924 // CHECK: encoding: [0xc4,0x41,0x78,0x5a,0xdc]
925 vcvtps2pd %xmm12, %xmm11
927 // CHECK: vcvtps2pd (%rax), %xmm11
928 // CHECK: encoding: [0xc5,0x78,0x5a,0x18]
929 vcvtps2pd (%rax), %xmm11
931 // CHECK: vcvtpd2ps %xmm12, %xmm11
932 // CHECK: encoding: [0xc4,0x41,0x79,0x5a,0xdc]
933 vcvtpd2ps %xmm12, %xmm11
935 // CHECK: vsqrtpd %xmm11, %xmm12
936 // CHECK: encoding: [0xc4,0x41,0x79,0x51,0xe3]
937 vsqrtpd %xmm11, %xmm12
939 // CHECK: vsqrtpd (%rax), %xmm12
940 // CHECK: encoding: [0xc5,0x79,0x51,0x20]
941 vsqrtpd (%rax), %xmm12
943 // CHECK: vsqrtps %xmm11, %xmm12
944 // CHECK: encoding: [0xc4,0x41,0x78,0x51,0xe3]
945 vsqrtps %xmm11, %xmm12
947 // CHECK: vsqrtps (%rax), %xmm12
948 // CHECK: encoding: [0xc5,0x78,0x51,0x20]
949 vsqrtps (%rax), %xmm12
951 // CHECK: vsqrtsd %xmm11, %xmm12, %xmm10
952 // CHECK: encoding: [0xc4,0x41,0x1b,0x51,0xd3]
953 vsqrtsd %xmm11, %xmm12, %xmm10
955 // CHECK: vsqrtsd (%rax), %xmm12, %xmm10
956 // CHECK: encoding: [0xc5,0x1b,0x51,0x10]
957 vsqrtsd (%rax), %xmm12, %xmm10
959 // CHECK: vsqrtss %xmm11, %xmm12, %xmm10
960 // CHECK: encoding: [0xc4,0x41,0x1a,0x51,0xd3]
961 vsqrtss %xmm11, %xmm12, %xmm10
963 // CHECK: vsqrtss (%rax), %xmm12, %xmm10
964 // CHECK: encoding: [0xc5,0x1a,0x51,0x10]
965 vsqrtss (%rax), %xmm12, %xmm10
967 // CHECK: vrsqrtps %xmm11, %xmm12
968 // CHECK: encoding: [0xc4,0x41,0x78,0x52,0xe3]
969 vrsqrtps %xmm11, %xmm12
971 // CHECK: vrsqrtps (%rax), %xmm12
972 // CHECK: encoding: [0xc5,0x78,0x52,0x20]
973 vrsqrtps (%rax), %xmm12
975 // CHECK: vrsqrtss %xmm11, %xmm12, %xmm10
976 // CHECK: encoding: [0xc4,0x41,0x1a,0x52,0xd3]
977 vrsqrtss %xmm11, %xmm12, %xmm10
979 // CHECK: vrsqrtss (%rax), %xmm12, %xmm10
980 // CHECK: encoding: [0xc5,0x1a,0x52,0x10]
981 vrsqrtss (%rax), %xmm12, %xmm10
983 // CHECK: vrcpps %xmm11, %xmm12
984 // CHECK: encoding: [0xc4,0x41,0x78,0x53,0xe3]
985 vrcpps %xmm11, %xmm12
987 // CHECK: vrcpps (%rax), %xmm12
988 // CHECK: encoding: [0xc5,0x78,0x53,0x20]
989 vrcpps (%rax), %xmm12
991 // CHECK: vrcpss %xmm11, %xmm12, %xmm10
992 // CHECK: encoding: [0xc4,0x41,0x1a,0x53,0xd3]
993 vrcpss %xmm11, %xmm12, %xmm10
995 // CHECK: vrcpss (%rax), %xmm12, %xmm10
996 // CHECK: encoding: [0xc5,0x1a,0x53,0x10]
997 vrcpss (%rax), %xmm12, %xmm10
999 // CHECK: vmovntdq %xmm11, (%rax)
1000 // CHECK: encoding: [0xc5,0x79,0xe7,0x18]
1001 vmovntdq %xmm11, (%rax)
1003 // CHECK: vmovntpd %xmm11, (%rax)
1004 // CHECK: encoding: [0xc5,0x79,0x2b,0x18]
1005 vmovntpd %xmm11, (%rax)
1007 // CHECK: vmovntps %xmm11, (%rax)
1008 // CHECK: encoding: [0xc5,0x78,0x2b,0x18]
1009 vmovntps %xmm11, (%rax)
1011 // CHECK: vldmxcsr -4(%rip)
1012 // CHECK: encoding: [0xc5,0xf8,0xae,0x15,0xfc,0xff,0xff,0xff]
1015 // CHECK: vstmxcsr -4(%rsp)
1016 // CHECK: encoding: [0xc5,0xf8,0xae,0x5c,0x24,0xfc]
1019 // CHECK: vpsubb %xmm11, %xmm12, %xmm13
1020 // CHECK: encoding: [0xc4,0x41,0x19,0xf8,0xeb]
1021 vpsubb %xmm11, %xmm12, %xmm13
1023 // CHECK: vpsubb (%rax), %xmm12, %xmm13
1024 // CHECK: encoding: [0xc5,0x19,0xf8,0x28]
1025 vpsubb (%rax), %xmm12, %xmm13
1027 // CHECK: vpsubw %xmm11, %xmm12, %xmm13
1028 // CHECK: encoding: [0xc4,0x41,0x19,0xf9,0xeb]
1029 vpsubw %xmm11, %xmm12, %xmm13
1031 // CHECK: vpsubw (%rax), %xmm12, %xmm13
1032 // CHECK: encoding: [0xc5,0x19,0xf9,0x28]
1033 vpsubw (%rax), %xmm12, %xmm13
1035 // CHECK: vpsubd %xmm11, %xmm12, %xmm13
1036 // CHECK: encoding: [0xc4,0x41,0x19,0xfa,0xeb]
1037 vpsubd %xmm11, %xmm12, %xmm13
1039 // CHECK: vpsubd (%rax), %xmm12, %xmm13
1040 // CHECK: encoding: [0xc5,0x19,0xfa,0x28]
1041 vpsubd (%rax), %xmm12, %xmm13
1043 // CHECK: vpsubq %xmm11, %xmm12, %xmm13
1044 // CHECK: encoding: [0xc4,0x41,0x19,0xfb,0xeb]
1045 vpsubq %xmm11, %xmm12, %xmm13
1047 // CHECK: vpsubq (%rax), %xmm12, %xmm13
1048 // CHECK: encoding: [0xc5,0x19,0xfb,0x28]
1049 vpsubq (%rax), %xmm12, %xmm13
1051 // CHECK: vpsubsb %xmm11, %xmm12, %xmm13
1052 // CHECK: encoding: [0xc4,0x41,0x19,0xe8,0xeb]
1053 vpsubsb %xmm11, %xmm12, %xmm13
1055 // CHECK: vpsubsb (%rax), %xmm12, %xmm13
1056 // CHECK: encoding: [0xc5,0x19,0xe8,0x28]
1057 vpsubsb (%rax), %xmm12, %xmm13
1059 // CHECK: vpsubsw %xmm11, %xmm12, %xmm13
1060 // CHECK: encoding: [0xc4,0x41,0x19,0xe9,0xeb]
1061 vpsubsw %xmm11, %xmm12, %xmm13
1063 // CHECK: vpsubsw (%rax), %xmm12, %xmm13
1064 // CHECK: encoding: [0xc5,0x19,0xe9,0x28]
1065 vpsubsw (%rax), %xmm12, %xmm13
1067 // CHECK: vpsubusb %xmm11, %xmm12, %xmm13
1068 // CHECK: encoding: [0xc4,0x41,0x19,0xd8,0xeb]
1069 vpsubusb %xmm11, %xmm12, %xmm13
1071 // CHECK: vpsubusb (%rax), %xmm12, %xmm13
1072 // CHECK: encoding: [0xc5,0x19,0xd8,0x28]
1073 vpsubusb (%rax), %xmm12, %xmm13
1075 // CHECK: vpsubusw %xmm11, %xmm12, %xmm13
1076 // CHECK: encoding: [0xc4,0x41,0x19,0xd9,0xeb]
1077 vpsubusw %xmm11, %xmm12, %xmm13
1079 // CHECK: vpsubusw (%rax), %xmm12, %xmm13
1080 // CHECK: encoding: [0xc5,0x19,0xd9,0x28]
1081 vpsubusw (%rax), %xmm12, %xmm13
1083 // CHECK: vpaddb %xmm11, %xmm12, %xmm13
1084 // CHECK: encoding: [0xc4,0x41,0x19,0xfc,0xeb]
1085 vpaddb %xmm11, %xmm12, %xmm13
1087 // CHECK: vpaddb (%rax), %xmm12, %xmm13
1088 // CHECK: encoding: [0xc5,0x19,0xfc,0x28]
1089 vpaddb (%rax), %xmm12, %xmm13
1091 // CHECK: vpaddw %xmm11, %xmm12, %xmm13
1092 // CHECK: encoding: [0xc4,0x41,0x19,0xfd,0xeb]
1093 vpaddw %xmm11, %xmm12, %xmm13
1095 // CHECK: vpaddw (%rax), %xmm12, %xmm13
1096 // CHECK: encoding: [0xc5,0x19,0xfd,0x28]
1097 vpaddw (%rax), %xmm12, %xmm13
1099 // CHECK: vpaddd %xmm11, %xmm12, %xmm13
1100 // CHECK: encoding: [0xc4,0x41,0x19,0xfe,0xeb]
1101 vpaddd %xmm11, %xmm12, %xmm13
1103 // CHECK: vpaddd (%rax), %xmm12, %xmm13
1104 // CHECK: encoding: [0xc5,0x19,0xfe,0x28]
1105 vpaddd (%rax), %xmm12, %xmm13
1107 // CHECK: vpaddq %xmm11, %xmm12, %xmm13
1108 // CHECK: encoding: [0xc4,0x41,0x19,0xd4,0xeb]
1109 vpaddq %xmm11, %xmm12, %xmm13
1111 // CHECK: vpaddq (%rax), %xmm12, %xmm13
1112 // CHECK: encoding: [0xc5,0x19,0xd4,0x28]
1113 vpaddq (%rax), %xmm12, %xmm13
1115 // CHECK: vpaddsb %xmm11, %xmm12, %xmm13
1116 // CHECK: encoding: [0xc4,0x41,0x19,0xec,0xeb]
1117 vpaddsb %xmm11, %xmm12, %xmm13
1119 // CHECK: vpaddsb (%rax), %xmm12, %xmm13
1120 // CHECK: encoding: [0xc5,0x19,0xec,0x28]
1121 vpaddsb (%rax), %xmm12, %xmm13
1123 // CHECK: vpaddsw %xmm11, %xmm12, %xmm13
1124 // CHECK: encoding: [0xc4,0x41,0x19,0xed,0xeb]
1125 vpaddsw %xmm11, %xmm12, %xmm13
1127 // CHECK: vpaddsw (%rax), %xmm12, %xmm13
1128 // CHECK: encoding: [0xc5,0x19,0xed,0x28]
1129 vpaddsw (%rax), %xmm12, %xmm13
1131 // CHECK: vpaddusb %xmm11, %xmm12, %xmm13
1132 // CHECK: encoding: [0xc4,0x41,0x19,0xdc,0xeb]
1133 vpaddusb %xmm11, %xmm12, %xmm13
1135 // CHECK: vpaddusb (%rax), %xmm12, %xmm13
1136 // CHECK: encoding: [0xc5,0x19,0xdc,0x28]
1137 vpaddusb (%rax), %xmm12, %xmm13
1139 // CHECK: vpaddusw %xmm11, %xmm12, %xmm13
1140 // CHECK: encoding: [0xc4,0x41,0x19,0xdd,0xeb]
1141 vpaddusw %xmm11, %xmm12, %xmm13
1143 // CHECK: vpaddusw (%rax), %xmm12, %xmm13
1144 // CHECK: encoding: [0xc5,0x19,0xdd,0x28]
1145 vpaddusw (%rax), %xmm12, %xmm13
1147 // CHECK: vpmulhuw %xmm11, %xmm12, %xmm13
1148 // CHECK: encoding: [0xc4,0x41,0x19,0xe4,0xeb]
1149 vpmulhuw %xmm11, %xmm12, %xmm13
1151 // CHECK: vpmulhuw (%rax), %xmm12, %xmm13
1152 // CHECK: encoding: [0xc5,0x19,0xe4,0x28]
1153 vpmulhuw (%rax), %xmm12, %xmm13
1155 // CHECK: vpmulhw %xmm11, %xmm12, %xmm13
1156 // CHECK: encoding: [0xc4,0x41,0x19,0xe5,0xeb]
1157 vpmulhw %xmm11, %xmm12, %xmm13
1159 // CHECK: vpmulhw (%rax), %xmm12, %xmm13
1160 // CHECK: encoding: [0xc5,0x19,0xe5,0x28]
1161 vpmulhw (%rax), %xmm12, %xmm13
1163 // CHECK: vpmullw %xmm11, %xmm12, %xmm13
1164 // CHECK: encoding: [0xc4,0x41,0x19,0xd5,0xeb]
1165 vpmullw %xmm11, %xmm12, %xmm13
1167 // CHECK: vpmullw (%rax), %xmm12, %xmm13
1168 // CHECK: encoding: [0xc5,0x19,0xd5,0x28]
1169 vpmullw (%rax), %xmm12, %xmm13
1171 // CHECK: vpmuludq %xmm11, %xmm12, %xmm13
1172 // CHECK: encoding: [0xc4,0x41,0x19,0xf4,0xeb]
1173 vpmuludq %xmm11, %xmm12, %xmm13
1175 // CHECK: vpmuludq (%rax), %xmm12, %xmm13
1176 // CHECK: encoding: [0xc5,0x19,0xf4,0x28]
1177 vpmuludq (%rax), %xmm12, %xmm13
1179 // CHECK: vpavgb %xmm11, %xmm12, %xmm13
1180 // CHECK: encoding: [0xc4,0x41,0x19,0xe0,0xeb]
1181 vpavgb %xmm11, %xmm12, %xmm13
1183 // CHECK: vpavgb (%rax), %xmm12, %xmm13
1184 // CHECK: encoding: [0xc5,0x19,0xe0,0x28]
1185 vpavgb (%rax), %xmm12, %xmm13
1187 // CHECK: vpavgw %xmm11, %xmm12, %xmm13
1188 // CHECK: encoding: [0xc4,0x41,0x19,0xe3,0xeb]
1189 vpavgw %xmm11, %xmm12, %xmm13
1191 // CHECK: vpavgw (%rax), %xmm12, %xmm13
1192 // CHECK: encoding: [0xc5,0x19,0xe3,0x28]
1193 vpavgw (%rax), %xmm12, %xmm13
1195 // CHECK: vpminsw %xmm11, %xmm12, %xmm13
1196 // CHECK: encoding: [0xc4,0x41,0x19,0xea,0xeb]
1197 vpminsw %xmm11, %xmm12, %xmm13
1199 // CHECK: vpminsw (%rax), %xmm12, %xmm13
1200 // CHECK: encoding: [0xc5,0x19,0xea,0x28]
1201 vpminsw (%rax), %xmm12, %xmm13
1203 // CHECK: vpminub %xmm11, %xmm12, %xmm13
1204 // CHECK: encoding: [0xc4,0x41,0x19,0xda,0xeb]
1205 vpminub %xmm11, %xmm12, %xmm13
1207 // CHECK: vpminub (%rax), %xmm12, %xmm13
1208 // CHECK: encoding: [0xc5,0x19,0xda,0x28]
1209 vpminub (%rax), %xmm12, %xmm13
1211 // CHECK: vpmaxsw %xmm11, %xmm12, %xmm13
1212 // CHECK: encoding: [0xc4,0x41,0x19,0xee,0xeb]
1213 vpmaxsw %xmm11, %xmm12, %xmm13
1215 // CHECK: vpmaxsw (%rax), %xmm12, %xmm13
1216 // CHECK: encoding: [0xc5,0x19,0xee,0x28]
1217 vpmaxsw (%rax), %xmm12, %xmm13
1219 // CHECK: vpmaxub %xmm11, %xmm12, %xmm13
1220 // CHECK: encoding: [0xc4,0x41,0x19,0xde,0xeb]
1221 vpmaxub %xmm11, %xmm12, %xmm13
1223 // CHECK: vpmaxub (%rax), %xmm12, %xmm13
1224 // CHECK: encoding: [0xc5,0x19,0xde,0x28]
1225 vpmaxub (%rax), %xmm12, %xmm13
1227 // CHECK: vpsadbw %xmm11, %xmm12, %xmm13
1228 // CHECK: encoding: [0xc4,0x41,0x19,0xf6,0xeb]
1229 vpsadbw %xmm11, %xmm12, %xmm13
1231 // CHECK: vpsadbw (%rax), %xmm12, %xmm13
1232 // CHECK: encoding: [0xc5,0x19,0xf6,0x28]
1233 vpsadbw (%rax), %xmm12, %xmm13
1235 // CHECK: vpsllw %xmm11, %xmm12, %xmm13
1236 // CHECK: encoding: [0xc4,0x41,0x19,0xf1,0xeb]
1237 vpsllw %xmm11, %xmm12, %xmm13
1239 // CHECK: vpsllw (%rax), %xmm12, %xmm13
1240 // CHECK: encoding: [0xc5,0x19,0xf1,0x28]
1241 vpsllw (%rax), %xmm12, %xmm13
1243 // CHECK: vpslld %xmm11, %xmm12, %xmm13
1244 // CHECK: encoding: [0xc4,0x41,0x19,0xf2,0xeb]
1245 vpslld %xmm11, %xmm12, %xmm13
1247 // CHECK: vpslld (%rax), %xmm12, %xmm13
1248 // CHECK: encoding: [0xc5,0x19,0xf2,0x28]
1249 vpslld (%rax), %xmm12, %xmm13
1251 // CHECK: vpsllq %xmm11, %xmm12, %xmm13
1252 // CHECK: encoding: [0xc4,0x41,0x19,0xf3,0xeb]
1253 vpsllq %xmm11, %xmm12, %xmm13
1255 // CHECK: vpsllq (%rax), %xmm12, %xmm13
1256 // CHECK: encoding: [0xc5,0x19,0xf3,0x28]
1257 vpsllq (%rax), %xmm12, %xmm13
1259 // CHECK: vpsraw %xmm11, %xmm12, %xmm13
1260 // CHECK: encoding: [0xc4,0x41,0x19,0xe1,0xeb]
1261 vpsraw %xmm11, %xmm12, %xmm13
1263 // CHECK: vpsraw (%rax), %xmm12, %xmm13
1264 // CHECK: encoding: [0xc5,0x19,0xe1,0x28]
1265 vpsraw (%rax), %xmm12, %xmm13
1267 // CHECK: vpsrad %xmm11, %xmm12, %xmm13
1268 // CHECK: encoding: [0xc4,0x41,0x19,0xe2,0xeb]
1269 vpsrad %xmm11, %xmm12, %xmm13
1271 // CHECK: vpsrad (%rax), %xmm12, %xmm13
1272 // CHECK: encoding: [0xc5,0x19,0xe2,0x28]
1273 vpsrad (%rax), %xmm12, %xmm13
1275 // CHECK: vpsrlw %xmm11, %xmm12, %xmm13
1276 // CHECK: encoding: [0xc4,0x41,0x19,0xd1,0xeb]
1277 vpsrlw %xmm11, %xmm12, %xmm13
1279 // CHECK: vpsrlw (%rax), %xmm12, %xmm13
1280 // CHECK: encoding: [0xc5,0x19,0xd1,0x28]
1281 vpsrlw (%rax), %xmm12, %xmm13
1283 // CHECK: vpsrld %xmm11, %xmm12, %xmm13
1284 // CHECK: encoding: [0xc4,0x41,0x19,0xd2,0xeb]
1285 vpsrld %xmm11, %xmm12, %xmm13
1287 // CHECK: vpsrld (%rax), %xmm12, %xmm13
1288 // CHECK: encoding: [0xc5,0x19,0xd2,0x28]
1289 vpsrld (%rax), %xmm12, %xmm13
1291 // CHECK: vpsrlq %xmm11, %xmm12, %xmm13
1292 // CHECK: encoding: [0xc4,0x41,0x19,0xd3,0xeb]
1293 vpsrlq %xmm11, %xmm12, %xmm13
1295 // CHECK: vpsrlq (%rax), %xmm12, %xmm13
1296 // CHECK: encoding: [0xc5,0x19,0xd3,0x28]
1297 vpsrlq (%rax), %xmm12, %xmm13
1299 // CHECK: vpslld $10, %xmm12, %xmm13
1300 // CHECK: encoding: [0xc4,0xc1,0x11,0x72,0xf4,0x0a]
1301 vpslld $10, %xmm12, %xmm13
1303 // CHECK: vpslldq $10, %xmm12, %xmm13
1304 // CHECK: encoding: [0xc4,0xc1,0x11,0x73,0xfc,0x0a]
1305 vpslldq $10, %xmm12, %xmm13
1307 // CHECK: vpsllq $10, %xmm12, %xmm13
1308 // CHECK: encoding: [0xc4,0xc1,0x11,0x73,0xf4,0x0a]
1309 vpsllq $10, %xmm12, %xmm13
1311 // CHECK: vpsllw $10, %xmm12, %xmm13
1312 // CHECK: encoding: [0xc4,0xc1,0x11,0x71,0xf4,0x0a]
1313 vpsllw $10, %xmm12, %xmm13
1315 // CHECK: vpsrad $10, %xmm12, %xmm13
1316 // CHECK: encoding: [0xc4,0xc1,0x11,0x72,0xe4,0x0a]
1317 vpsrad $10, %xmm12, %xmm13
1319 // CHECK: vpsraw $10, %xmm12, %xmm13
1320 // CHECK: encoding: [0xc4,0xc1,0x11,0x71,0xe4,0x0a]
1321 vpsraw $10, %xmm12, %xmm13
1323 // CHECK: vpsrld $10, %xmm12, %xmm13
1324 // CHECK: encoding: [0xc4,0xc1,0x11,0x72,0xd4,0x0a]
1325 vpsrld $10, %xmm12, %xmm13
1327 // CHECK: vpsrldq $10, %xmm12, %xmm13
1328 // CHECK: encoding: [0xc4,0xc1,0x11,0x73,0xdc,0x0a]
1329 vpsrldq $10, %xmm12, %xmm13
1331 // CHECK: vpsrlq $10, %xmm12, %xmm13
1332 // CHECK: encoding: [0xc4,0xc1,0x11,0x73,0xd4,0x0a]
1333 vpsrlq $10, %xmm12, %xmm13
1335 // CHECK: vpsrlw $10, %xmm12, %xmm13
1336 // CHECK: encoding: [0xc4,0xc1,0x11,0x71,0xd4,0x0a]
1337 vpsrlw $10, %xmm12, %xmm13
1339 // CHECK: vpslld $10, %xmm12, %xmm13
1340 // CHECK: encoding: [0xc4,0xc1,0x11,0x72,0xf4,0x0a]
1341 vpslld $10, %xmm12, %xmm13
1343 // CHECK: vpand %xmm11, %xmm12, %xmm13
1344 // CHECK: encoding: [0xc4,0x41,0x19,0xdb,0xeb]
1345 vpand %xmm11, %xmm12, %xmm13
1347 // CHECK: vpand (%rax), %xmm12, %xmm13
1348 // CHECK: encoding: [0xc5,0x19,0xdb,0x28]
1349 vpand (%rax), %xmm12, %xmm13
1351 // CHECK: vpor %xmm11, %xmm12, %xmm13
1352 // CHECK: encoding: [0xc4,0x41,0x19,0xeb,0xeb]
1353 vpor %xmm11, %xmm12, %xmm13
1355 // CHECK: vpor (%rax), %xmm12, %xmm13
1356 // CHECK: encoding: [0xc5,0x19,0xeb,0x28]
1357 vpor (%rax), %xmm12, %xmm13
1359 // CHECK: vpxor %xmm11, %xmm12, %xmm13
1360 // CHECK: encoding: [0xc4,0x41,0x19,0xef,0xeb]
1361 vpxor %xmm11, %xmm12, %xmm13
1363 // CHECK: vpxor (%rax), %xmm12, %xmm13
1364 // CHECK: encoding: [0xc5,0x19,0xef,0x28]
1365 vpxor (%rax), %xmm12, %xmm13
1367 // CHECK: vpandn %xmm11, %xmm12, %xmm13
1368 // CHECK: encoding: [0xc4,0x41,0x19,0xdf,0xeb]
1369 vpandn %xmm11, %xmm12, %xmm13
1371 // CHECK: vpandn (%rax), %xmm12, %xmm13
1372 // CHECK: encoding: [0xc5,0x19,0xdf,0x28]
1373 vpandn (%rax), %xmm12, %xmm13
1375 // CHECK: vpcmpeqb %xmm11, %xmm12, %xmm13
1376 // CHECK: encoding: [0xc4,0x41,0x19,0x74,0xeb]
1377 vpcmpeqb %xmm11, %xmm12, %xmm13
1379 // CHECK: vpcmpeqb (%rax), %xmm12, %xmm13
1380 // CHECK: encoding: [0xc5,0x19,0x74,0x28]
1381 vpcmpeqb (%rax), %xmm12, %xmm13
1383 // CHECK: vpcmpeqw %xmm11, %xmm12, %xmm13
1384 // CHECK: encoding: [0xc4,0x41,0x19,0x75,0xeb]
1385 vpcmpeqw %xmm11, %xmm12, %xmm13
1387 // CHECK: vpcmpeqw (%rax), %xmm12, %xmm13
1388 // CHECK: encoding: [0xc5,0x19,0x75,0x28]
1389 vpcmpeqw (%rax), %xmm12, %xmm13
1391 // CHECK: vpcmpeqd %xmm11, %xmm12, %xmm13
1392 // CHECK: encoding: [0xc4,0x41,0x19,0x76,0xeb]
1393 vpcmpeqd %xmm11, %xmm12, %xmm13
1395 // CHECK: vpcmpeqd (%rax), %xmm12, %xmm13
1396 // CHECK: encoding: [0xc5,0x19,0x76,0x28]
1397 vpcmpeqd (%rax), %xmm12, %xmm13
1399 // CHECK: vpcmpgtb %xmm11, %xmm12, %xmm13
1400 // CHECK: encoding: [0xc4,0x41,0x19,0x64,0xeb]
1401 vpcmpgtb %xmm11, %xmm12, %xmm13
1403 // CHECK: vpcmpgtb (%rax), %xmm12, %xmm13
1404 // CHECK: encoding: [0xc5,0x19,0x64,0x28]
1405 vpcmpgtb (%rax), %xmm12, %xmm13
1407 // CHECK: vpcmpgtw %xmm11, %xmm12, %xmm13
1408 // CHECK: encoding: [0xc4,0x41,0x19,0x65,0xeb]
1409 vpcmpgtw %xmm11, %xmm12, %xmm13
1411 // CHECK: vpcmpgtw (%rax), %xmm12, %xmm13
1412 // CHECK: encoding: [0xc5,0x19,0x65,0x28]
1413 vpcmpgtw (%rax), %xmm12, %xmm13
1415 // CHECK: vpcmpgtd %xmm11, %xmm12, %xmm13
1416 // CHECK: encoding: [0xc4,0x41,0x19,0x66,0xeb]
1417 vpcmpgtd %xmm11, %xmm12, %xmm13
1419 // CHECK: vpcmpgtd (%rax), %xmm12, %xmm13
1420 // CHECK: encoding: [0xc5,0x19,0x66,0x28]
1421 vpcmpgtd (%rax), %xmm12, %xmm13
1423 // CHECK: vpacksswb %xmm11, %xmm12, %xmm13
1424 // CHECK: encoding: [0xc4,0x41,0x19,0x63,0xeb]
1425 vpacksswb %xmm11, %xmm12, %xmm13
1427 // CHECK: vpacksswb (%rax), %xmm12, %xmm13
1428 // CHECK: encoding: [0xc5,0x19,0x63,0x28]
1429 vpacksswb (%rax), %xmm12, %xmm13
1431 // CHECK: vpackssdw %xmm11, %xmm12, %xmm13
1432 // CHECK: encoding: [0xc4,0x41,0x19,0x6b,0xeb]
1433 vpackssdw %xmm11, %xmm12, %xmm13
1435 // CHECK: vpackssdw (%rax), %xmm12, %xmm13
1436 // CHECK: encoding: [0xc5,0x19,0x6b,0x28]
1437 vpackssdw (%rax), %xmm12, %xmm13
1439 // CHECK: vpackuswb %xmm11, %xmm12, %xmm13
1440 // CHECK: encoding: [0xc4,0x41,0x19,0x67,0xeb]
1441 vpackuswb %xmm11, %xmm12, %xmm13
1443 // CHECK: vpackuswb (%rax), %xmm12, %xmm13
1444 // CHECK: encoding: [0xc5,0x19,0x67,0x28]
1445 vpackuswb (%rax), %xmm12, %xmm13
1447 // CHECK: vpshufd $4, %xmm12, %xmm13
1448 // CHECK: encoding: [0xc4,0x41,0x79,0x70,0xec,0x04]
1449 vpshufd $4, %xmm12, %xmm13
1451 // CHECK: vpshufd $4, (%rax), %xmm13
1452 // CHECK: encoding: [0xc5,0x79,0x70,0x28,0x04]
1453 vpshufd $4, (%rax), %xmm13
1455 // CHECK: vpshufhw $4, %xmm12, %xmm13
1456 // CHECK: encoding: [0xc4,0x41,0x7a,0x70,0xec,0x04]
1457 vpshufhw $4, %xmm12, %xmm13
1459 // CHECK: vpshufhw $4, (%rax), %xmm13
1460 // CHECK: encoding: [0xc5,0x7a,0x70,0x28,0x04]
1461 vpshufhw $4, (%rax), %xmm13
1463 // CHECK: vpshuflw $4, %xmm12, %xmm13
1464 // CHECK: encoding: [0xc4,0x41,0x7b,0x70,0xec,0x04]
1465 vpshuflw $4, %xmm12, %xmm13
1467 // CHECK: vpshuflw $4, (%rax), %xmm13
1468 // CHECK: encoding: [0xc5,0x7b,0x70,0x28,0x04]
1469 vpshuflw $4, (%rax), %xmm13
1471 // CHECK: vpunpcklbw %xmm11, %xmm12, %xmm13
1472 // CHECK: encoding: [0xc4,0x41,0x19,0x60,0xeb]
1473 vpunpcklbw %xmm11, %xmm12, %xmm13
1475 // CHECK: vpunpcklbw (%rax), %xmm12, %xmm13
1476 // CHECK: encoding: [0xc5,0x19,0x60,0x28]
1477 vpunpcklbw (%rax), %xmm12, %xmm13
1479 // CHECK: vpunpcklwd %xmm11, %xmm12, %xmm13
1480 // CHECK: encoding: [0xc4,0x41,0x19,0x61,0xeb]
1481 vpunpcklwd %xmm11, %xmm12, %xmm13
1483 // CHECK: vpunpcklwd (%rax), %xmm12, %xmm13
1484 // CHECK: encoding: [0xc5,0x19,0x61,0x28]
1485 vpunpcklwd (%rax), %xmm12, %xmm13
1487 // CHECK: vpunpckldq %xmm11, %xmm12, %xmm13
1488 // CHECK: encoding: [0xc4,0x41,0x19,0x62,0xeb]
1489 vpunpckldq %xmm11, %xmm12, %xmm13
1491 // CHECK: vpunpckldq (%rax), %xmm12, %xmm13
1492 // CHECK: encoding: [0xc5,0x19,0x62,0x28]
1493 vpunpckldq (%rax), %xmm12, %xmm13
1495 // CHECK: vpunpcklqdq %xmm11, %xmm12, %xmm13
1496 // CHECK: encoding: [0xc4,0x41,0x19,0x6c,0xeb]
1497 vpunpcklqdq %xmm11, %xmm12, %xmm13
1499 // CHECK: vpunpcklqdq (%rax), %xmm12, %xmm13
1500 // CHECK: encoding: [0xc5,0x19,0x6c,0x28]
1501 vpunpcklqdq (%rax), %xmm12, %xmm13
1503 // CHECK: vpunpckhbw %xmm11, %xmm12, %xmm13
1504 // CHECK: encoding: [0xc4,0x41,0x19,0x68,0xeb]
1505 vpunpckhbw %xmm11, %xmm12, %xmm13
1507 // CHECK: vpunpckhbw (%rax), %xmm12, %xmm13
1508 // CHECK: encoding: [0xc5,0x19,0x68,0x28]
1509 vpunpckhbw (%rax), %xmm12, %xmm13
1511 // CHECK: vpunpckhwd %xmm11, %xmm12, %xmm13
1512 // CHECK: encoding: [0xc4,0x41,0x19,0x69,0xeb]
1513 vpunpckhwd %xmm11, %xmm12, %xmm13
1515 // CHECK: vpunpckhwd (%rax), %xmm12, %xmm13
1516 // CHECK: encoding: [0xc5,0x19,0x69,0x28]
1517 vpunpckhwd (%rax), %xmm12, %xmm13
1519 // CHECK: vpunpckhdq %xmm11, %xmm12, %xmm13
1520 // CHECK: encoding: [0xc4,0x41,0x19,0x6a,0xeb]
1521 vpunpckhdq %xmm11, %xmm12, %xmm13
1523 // CHECK: vpunpckhdq (%rax), %xmm12, %xmm13
1524 // CHECK: encoding: [0xc5,0x19,0x6a,0x28]
1525 vpunpckhdq (%rax), %xmm12, %xmm13
1527 // CHECK: vpunpckhqdq %xmm11, %xmm12, %xmm13
1528 // CHECK: encoding: [0xc4,0x41,0x19,0x6d,0xeb]
1529 vpunpckhqdq %xmm11, %xmm12, %xmm13
1531 // CHECK: vpunpckhqdq (%rax), %xmm12, %xmm13
1532 // CHECK: encoding: [0xc5,0x19,0x6d,0x28]
1533 vpunpckhqdq (%rax), %xmm12, %xmm13
1535 // CHECK: vpinsrw $7, %eax, %xmm12, %xmm13
1536 // CHECK: encoding: [0xc5,0x19,0xc4,0xe8,0x07]
1537 vpinsrw $7, %eax, %xmm12, %xmm13
1539 // CHECK: vpinsrw $7, (%rax), %xmm12, %xmm13
1540 // CHECK: encoding: [0xc5,0x19,0xc4,0x28,0x07]
1541 vpinsrw $7, (%rax), %xmm12, %xmm13
1543 // CHECK: vpextrw $7, %xmm12, %eax
1544 // CHECK: encoding: [0xc4,0xc1,0x79,0xc5,0xc4,0x07]
1545 vpextrw $7, %xmm12, %eax
1547 // CHECK: vpmovmskb %xmm12, %eax
1548 // CHECK: encoding: [0xc4,0xc1,0x79,0xd7,0xc4]
1549 vpmovmskb %xmm12, %eax
1551 // CHECK: vmaskmovdqu %xmm14, %xmm15
1552 // CHECK: encoding: [0xc4,0x41,0x79,0xf7,0xfe]
1553 vmaskmovdqu %xmm14, %xmm15
1555 // CHECK: vmovd %eax, %xmm14
1556 // CHECK: encoding: [0xc5,0x79,0x6e,0xf0]
1559 // CHECK: vmovd (%rax), %xmm14
1560 // CHECK: encoding: [0xc5,0x79,0x6e,0x30]
1561 vmovd (%rax), %xmm14
1563 // CHECK: vmovd %xmm14, (%rax)
1564 // CHECK: encoding: [0xc5,0x79,0x7e,0x30]
1565 vmovd %xmm14, (%rax)
1567 // CHECK: vmovd %rax, %xmm14
1568 // CHECK: encoding: [0xc4,0x61,0xf9,0x6e,0xf0]
1571 // CHECK: vmovq %xmm14, (%rax)
1572 // CHECK: encoding: [0xc5,0x79,0xd6,0x30]
1573 vmovq %xmm14, (%rax)
1575 // CHECK: vmovq %xmm14, %xmm12
1576 // CHECK: encoding: [0xc4,0x41,0x7a,0x7e,0xe6]
1577 vmovq %xmm14, %xmm12
1579 // CHECK: vmovq (%rax), %xmm14
1580 // CHECK: encoding: [0xc5,0x7a,0x7e,0x30]
1581 vmovq (%rax), %xmm14
1583 // CHECK: vmovq %rax, %xmm14
1584 // CHECK: encoding: [0xc4,0x61,0xf9,0x6e,0xf0]
1587 // CHECK: vmovq %xmm14, %rax
1588 // CHECK: encoding: [0xc4,0x61,0xf9,0x7e,0xf0]
1591 // CHECK: vcvtpd2dq %xmm11, %xmm12
1592 // CHECK: encoding: [0xc4,0x41,0x7b,0xe6,0xe3]
1593 vcvtpd2dq %xmm11, %xmm12
1595 // CHECK: vcvtdq2pd %xmm11, %xmm12
1596 // CHECK: encoding: [0xc4,0x41,0x7a,0xe6,0xe3]
1597 vcvtdq2pd %xmm11, %xmm12
1599 // CHECK: vcvtdq2pd (%rax), %xmm12
1600 // CHECK: encoding: [0xc5,0x7a,0xe6,0x20]
1601 vcvtdq2pd (%rax), %xmm12
1603 // CHECK: vmovshdup %xmm11, %xmm12
1604 // CHECK: encoding: [0xc4,0x41,0x7a,0x16,0xe3]
1605 vmovshdup %xmm11, %xmm12
1607 // CHECK: vmovshdup (%rax), %xmm12
1608 // CHECK: encoding: [0xc5,0x7a,0x16,0x20]
1609 vmovshdup (%rax), %xmm12
1611 // CHECK: vmovsldup %xmm11, %xmm12
1612 // CHECK: encoding: [0xc4,0x41,0x7a,0x12,0xe3]
1613 vmovsldup %xmm11, %xmm12
1615 // CHECK: vmovsldup (%rax), %xmm12
1616 // CHECK: encoding: [0xc5,0x7a,0x12,0x20]
1617 vmovsldup (%rax), %xmm12
1619 // CHECK: vmovddup %xmm11, %xmm12
1620 // CHECK: encoding: [0xc4,0x41,0x7b,0x12,0xe3]
1621 vmovddup %xmm11, %xmm12
1623 // CHECK: vmovddup (%rax), %xmm12
1624 // CHECK: encoding: [0xc5,0x7b,0x12,0x20]
1625 vmovddup (%rax), %xmm12
1627 // CHECK: vaddsubps %xmm11, %xmm12, %xmm13
1628 // CHECK: encoding: [0xc4,0x41,0x1b,0xd0,0xeb]
1629 vaddsubps %xmm11, %xmm12, %xmm13
1631 // CHECK: vaddsubps (%rax), %xmm11, %xmm12
1632 // CHECK: encoding: [0xc5,0x23,0xd0,0x20]
1633 vaddsubps (%rax), %xmm11, %xmm12
1635 // CHECK: vaddsubpd %xmm11, %xmm12, %xmm13
1636 // CHECK: encoding: [0xc4,0x41,0x19,0xd0,0xeb]
1637 vaddsubpd %xmm11, %xmm12, %xmm13
1639 // CHECK: vaddsubpd (%rax), %xmm11, %xmm12
1640 // CHECK: encoding: [0xc5,0x21,0xd0,0x20]
1641 vaddsubpd (%rax), %xmm11, %xmm12
1643 // CHECK: vhaddps %xmm11, %xmm12, %xmm13
1644 // CHECK: encoding: [0xc4,0x41,0x1b,0x7c,0xeb]
1645 vhaddps %xmm11, %xmm12, %xmm13
1647 // CHECK: vhaddps (%rax), %xmm12, %xmm13
1648 // CHECK: encoding: [0xc5,0x1b,0x7c,0x28]
1649 vhaddps (%rax), %xmm12, %xmm13
1651 // CHECK: vhaddpd %xmm11, %xmm12, %xmm13
1652 // CHECK: encoding: [0xc4,0x41,0x19,0x7c,0xeb]
1653 vhaddpd %xmm11, %xmm12, %xmm13
1655 // CHECK: vhaddpd (%rax), %xmm12, %xmm13
1656 // CHECK: encoding: [0xc5,0x19,0x7c,0x28]
1657 vhaddpd (%rax), %xmm12, %xmm13
1659 // CHECK: vhsubps %xmm11, %xmm12, %xmm13
1660 // CHECK: encoding: [0xc4,0x41,0x1b,0x7d,0xeb]
1661 vhsubps %xmm11, %xmm12, %xmm13
1663 // CHECK: vhsubps (%rax), %xmm12, %xmm13
1664 // CHECK: encoding: [0xc5,0x1b,0x7d,0x28]
1665 vhsubps (%rax), %xmm12, %xmm13
1667 // CHECK: vhsubpd %xmm11, %xmm12, %xmm13
1668 // CHECK: encoding: [0xc4,0x41,0x19,0x7d,0xeb]
1669 vhsubpd %xmm11, %xmm12, %xmm13
1671 // CHECK: vhsubpd (%rax), %xmm12, %xmm13
1672 // CHECK: encoding: [0xc5,0x19,0x7d,0x28]
1673 vhsubpd (%rax), %xmm12, %xmm13
1675 // CHECK: vpabsb %xmm11, %xmm12
1676 // CHECK: encoding: [0xc4,0x42,0x79,0x1c,0xe3]
1677 vpabsb %xmm11, %xmm12
1679 // CHECK: vpabsb (%rax), %xmm12
1680 // CHECK: encoding: [0xc4,0x62,0x79,0x1c,0x20]
1681 vpabsb (%rax), %xmm12
1683 // CHECK: vpabsw %xmm11, %xmm12
1684 // CHECK: encoding: [0xc4,0x42,0x79,0x1d,0xe3]
1685 vpabsw %xmm11, %xmm12
1687 // CHECK: vpabsw (%rax), %xmm12
1688 // CHECK: encoding: [0xc4,0x62,0x79,0x1d,0x20]
1689 vpabsw (%rax), %xmm12
1691 // CHECK: vpabsd %xmm11, %xmm12
1692 // CHECK: encoding: [0xc4,0x42,0x79,0x1e,0xe3]
1693 vpabsd %xmm11, %xmm12
1695 // CHECK: vpabsd (%rax), %xmm12
1696 // CHECK: encoding: [0xc4,0x62,0x79,0x1e,0x20]
1697 vpabsd (%rax), %xmm12
1699 // CHECK: vphaddw %xmm11, %xmm12, %xmm13
1700 // CHECK: encoding: [0xc4,0x42,0x19,0x01,0xeb]
1701 vphaddw %xmm11, %xmm12, %xmm13
1703 // CHECK: vphaddw (%rax), %xmm12, %xmm13
1704 // CHECK: encoding: [0xc4,0x62,0x19,0x01,0x28]
1705 vphaddw (%rax), %xmm12, %xmm13
1707 // CHECK: vphaddd %xmm11, %xmm12, %xmm13
1708 // CHECK: encoding: [0xc4,0x42,0x19,0x02,0xeb]
1709 vphaddd %xmm11, %xmm12, %xmm13
1711 // CHECK: vphaddd (%rax), %xmm12, %xmm13
1712 // CHECK: encoding: [0xc4,0x62,0x19,0x02,0x28]
1713 vphaddd (%rax), %xmm12, %xmm13
1715 // CHECK: vphaddsw %xmm11, %xmm12, %xmm13
1716 // CHECK: encoding: [0xc4,0x42,0x19,0x03,0xeb]
1717 vphaddsw %xmm11, %xmm12, %xmm13
1719 // CHECK: vphaddsw (%rax), %xmm12, %xmm13
1720 // CHECK: encoding: [0xc4,0x62,0x19,0x03,0x28]
1721 vphaddsw (%rax), %xmm12, %xmm13
1723 // CHECK: vphsubw %xmm11, %xmm12, %xmm13
1724 // CHECK: encoding: [0xc4,0x42,0x19,0x05,0xeb]
1725 vphsubw %xmm11, %xmm12, %xmm13
1727 // CHECK: vphsubw (%rax), %xmm12, %xmm13
1728 // CHECK: encoding: [0xc4,0x62,0x19,0x05,0x28]
1729 vphsubw (%rax), %xmm12, %xmm13
1731 // CHECK: vphsubd %xmm11, %xmm12, %xmm13
1732 // CHECK: encoding: [0xc4,0x42,0x19,0x06,0xeb]
1733 vphsubd %xmm11, %xmm12, %xmm13
1735 // CHECK: vphsubd (%rax), %xmm12, %xmm13
1736 // CHECK: encoding: [0xc4,0x62,0x19,0x06,0x28]
1737 vphsubd (%rax), %xmm12, %xmm13
1739 // CHECK: vphsubsw %xmm11, %xmm12, %xmm13
1740 // CHECK: encoding: [0xc4,0x42,0x19,0x07,0xeb]
1741 vphsubsw %xmm11, %xmm12, %xmm13
1743 // CHECK: vphsubsw (%rax), %xmm12, %xmm13
1744 // CHECK: encoding: [0xc4,0x62,0x19,0x07,0x28]
1745 vphsubsw (%rax), %xmm12, %xmm13
1747 // CHECK: vpmaddubsw %xmm11, %xmm12, %xmm13
1748 // CHECK: encoding: [0xc4,0x42,0x19,0x04,0xeb]
1749 vpmaddubsw %xmm11, %xmm12, %xmm13
1751 // CHECK: vpmaddubsw (%rax), %xmm12, %xmm13
1752 // CHECK: encoding: [0xc4,0x62,0x19,0x04,0x28]
1753 vpmaddubsw (%rax), %xmm12, %xmm13
1755 // CHECK: vpshufb %xmm11, %xmm12, %xmm13
1756 // CHECK: encoding: [0xc4,0x42,0x19,0x00,0xeb]
1757 vpshufb %xmm11, %xmm12, %xmm13
1759 // CHECK: vpshufb (%rax), %xmm12, %xmm13
1760 // CHECK: encoding: [0xc4,0x62,0x19,0x00,0x28]
1761 vpshufb (%rax), %xmm12, %xmm13
1763 // CHECK: vpsignb %xmm11, %xmm12, %xmm13
1764 // CHECK: encoding: [0xc4,0x42,0x19,0x08,0xeb]
1765 vpsignb %xmm11, %xmm12, %xmm13
1767 // CHECK: vpsignb (%rax), %xmm12, %xmm13
1768 // CHECK: encoding: [0xc4,0x62,0x19,0x08,0x28]
1769 vpsignb (%rax), %xmm12, %xmm13
1771 // CHECK: vpsignw %xmm11, %xmm12, %xmm13
1772 // CHECK: encoding: [0xc4,0x42,0x19,0x09,0xeb]
1773 vpsignw %xmm11, %xmm12, %xmm13
1775 // CHECK: vpsignw (%rax), %xmm12, %xmm13
1776 // CHECK: encoding: [0xc4,0x62,0x19,0x09,0x28]
1777 vpsignw (%rax), %xmm12, %xmm13
1779 // CHECK: vpsignd %xmm11, %xmm12, %xmm13
1780 // CHECK: encoding: [0xc4,0x42,0x19,0x0a,0xeb]
1781 vpsignd %xmm11, %xmm12, %xmm13
1783 // CHECK: vpsignd (%rax), %xmm12, %xmm13
1784 // CHECK: encoding: [0xc4,0x62,0x19,0x0a,0x28]
1785 vpsignd (%rax), %xmm12, %xmm13
1787 // CHECK: vpmulhrsw %xmm11, %xmm12, %xmm13
1788 // CHECK: encoding: [0xc4,0x42,0x19,0x0b,0xeb]
1789 vpmulhrsw %xmm11, %xmm12, %xmm13
1791 // CHECK: vpmulhrsw (%rax), %xmm12, %xmm13
1792 // CHECK: encoding: [0xc4,0x62,0x19,0x0b,0x28]
1793 vpmulhrsw (%rax), %xmm12, %xmm13
1795 // CHECK: vpalignr $7, %xmm11, %xmm12, %xmm13
1796 // CHECK: encoding: [0xc4,0x43,0x19,0x0f,0xeb,0x07]
1797 vpalignr $7, %xmm11, %xmm12, %xmm13
1799 // CHECK: vpalignr $7, (%rax), %xmm12, %xmm13
1800 // CHECK: encoding: [0xc4,0x63,0x19,0x0f,0x28,0x07]
1801 vpalignr $7, (%rax), %xmm12, %xmm13
1803 // CHECK: vroundsd $7, %xmm11, %xmm12, %xmm13
1804 // CHECK: encoding: [0xc4,0x43,0x19,0x0b,0xeb,0x07]
1805 vroundsd $7, %xmm11, %xmm12, %xmm13
1807 // CHECK: vroundsd $7, (%rax), %xmm12, %xmm13
1808 // CHECK: encoding: [0xc4,0x63,0x19,0x0b,0x28,0x07]
1809 vroundsd $7, (%rax), %xmm12, %xmm13
1811 // CHECK: vroundss $7, %xmm11, %xmm12, %xmm13
1812 // CHECK: encoding: [0xc4,0x43,0x19,0x0a,0xeb,0x07]
1813 vroundss $7, %xmm11, %xmm12, %xmm13
1815 // CHECK: vroundss $7, (%rax), %xmm12, %xmm13
1816 // CHECK: encoding: [0xc4,0x63,0x19,0x0a,0x28,0x07]
1817 vroundss $7, (%rax), %xmm12, %xmm13
1819 // CHECK: vroundpd $7, %xmm12, %xmm13
1820 // CHECK: encoding: [0xc4,0x43,0x79,0x09,0xec,0x07]
1821 vroundpd $7, %xmm12, %xmm13
1823 // CHECK: vroundpd $7, (%rax), %xmm13
1824 // CHECK: encoding: [0xc4,0x63,0x79,0x09,0x28,0x07]
1825 vroundpd $7, (%rax), %xmm13
1827 // CHECK: vroundps $7, %xmm12, %xmm13
1828 // CHECK: encoding: [0xc4,0x43,0x79,0x08,0xec,0x07]
1829 vroundps $7, %xmm12, %xmm13
1831 // CHECK: vroundps $7, (%rax), %xmm13
1832 // CHECK: encoding: [0xc4,0x63,0x79,0x08,0x28,0x07]
1833 vroundps $7, (%rax), %xmm13
1835 // CHECK: vphminposuw %xmm12, %xmm13
1836 // CHECK: encoding: [0xc4,0x42,0x79,0x41,0xec]
1837 vphminposuw %xmm12, %xmm13
1839 // CHECK: vphminposuw (%rax), %xmm12
1840 // CHECK: encoding: [0xc4,0x62,0x79,0x41,0x20]
1841 vphminposuw (%rax), %xmm12
1843 // CHECK: vpackusdw %xmm12, %xmm13, %xmm11
1844 // CHECK: encoding: [0xc4,0x42,0x11,0x2b,0xdc]
1845 vpackusdw %xmm12, %xmm13, %xmm11
1847 // CHECK: vpackusdw (%rax), %xmm12, %xmm13
1848 // CHECK: encoding: [0xc4,0x62,0x19,0x2b,0x28]
1849 vpackusdw (%rax), %xmm12, %xmm13
1851 // CHECK: vpcmpeqq %xmm12, %xmm13, %xmm11
1852 // CHECK: encoding: [0xc4,0x42,0x11,0x29,0xdc]
1853 vpcmpeqq %xmm12, %xmm13, %xmm11
1855 // CHECK: vpcmpeqq (%rax), %xmm12, %xmm13
1856 // CHECK: encoding: [0xc4,0x62,0x19,0x29,0x28]
1857 vpcmpeqq (%rax), %xmm12, %xmm13
1859 // CHECK: vpminsb %xmm12, %xmm13, %xmm11
1860 // CHECK: encoding: [0xc4,0x42,0x11,0x38,0xdc]
1861 vpminsb %xmm12, %xmm13, %xmm11
1863 // CHECK: vpminsb (%rax), %xmm12, %xmm13
1864 // CHECK: encoding: [0xc4,0x62,0x19,0x38,0x28]
1865 vpminsb (%rax), %xmm12, %xmm13
1867 // CHECK: vpminsd %xmm12, %xmm13, %xmm11
1868 // CHECK: encoding: [0xc4,0x42,0x11,0x39,0xdc]
1869 vpminsd %xmm12, %xmm13, %xmm11
1871 // CHECK: vpminsd (%rax), %xmm12, %xmm13
1872 // CHECK: encoding: [0xc4,0x62,0x19,0x39,0x28]
1873 vpminsd (%rax), %xmm12, %xmm13
1875 // CHECK: vpminud %xmm12, %xmm13, %xmm11
1876 // CHECK: encoding: [0xc4,0x42,0x11,0x3b,0xdc]
1877 vpminud %xmm12, %xmm13, %xmm11
1879 // CHECK: vpminud (%rax), %xmm12, %xmm13
1880 // CHECK: encoding: [0xc4,0x62,0x19,0x3b,0x28]
1881 vpminud (%rax), %xmm12, %xmm13
1883 // CHECK: vpminuw %xmm12, %xmm13, %xmm11
1884 // CHECK: encoding: [0xc4,0x42,0x11,0x3a,0xdc]
1885 vpminuw %xmm12, %xmm13, %xmm11
1887 // CHECK: vpminuw (%rax), %xmm12, %xmm13
1888 // CHECK: encoding: [0xc4,0x62,0x19,0x3a,0x28]
1889 vpminuw (%rax), %xmm12, %xmm13
1891 // CHECK: vpmaxsb %xmm12, %xmm13, %xmm11
1892 // CHECK: encoding: [0xc4,0x42,0x11,0x3c,0xdc]
1893 vpmaxsb %xmm12, %xmm13, %xmm11
1895 // CHECK: vpmaxsb (%rax), %xmm12, %xmm13
1896 // CHECK: encoding: [0xc4,0x62,0x19,0x3c,0x28]
1897 vpmaxsb (%rax), %xmm12, %xmm13
1899 // CHECK: vpmaxsd %xmm12, %xmm13, %xmm11
1900 // CHECK: encoding: [0xc4,0x42,0x11,0x3d,0xdc]
1901 vpmaxsd %xmm12, %xmm13, %xmm11
1903 // CHECK: vpmaxsd (%rax), %xmm12, %xmm13
1904 // CHECK: encoding: [0xc4,0x62,0x19,0x3d,0x28]
1905 vpmaxsd (%rax), %xmm12, %xmm13
1907 // CHECK: vpmaxud %xmm12, %xmm13, %xmm11
1908 // CHECK: encoding: [0xc4,0x42,0x11,0x3f,0xdc]
1909 vpmaxud %xmm12, %xmm13, %xmm11
1911 // CHECK: vpmaxud (%rax), %xmm12, %xmm13
1912 // CHECK: encoding: [0xc4,0x62,0x19,0x3f,0x28]
1913 vpmaxud (%rax), %xmm12, %xmm13
1915 // CHECK: vpmaxuw %xmm12, %xmm13, %xmm11
1916 // CHECK: encoding: [0xc4,0x42,0x11,0x3e,0xdc]
1917 vpmaxuw %xmm12, %xmm13, %xmm11
1919 // CHECK: vpmaxuw (%rax), %xmm12, %xmm13
1920 // CHECK: encoding: [0xc4,0x62,0x19,0x3e,0x28]
1921 vpmaxuw (%rax), %xmm12, %xmm13
1923 // CHECK: vpmuldq %xmm12, %xmm13, %xmm11
1924 // CHECK: encoding: [0xc4,0x42,0x11,0x28,0xdc]
1925 vpmuldq %xmm12, %xmm13, %xmm11
1927 // CHECK: vpmuldq (%rax), %xmm12, %xmm13
1928 // CHECK: encoding: [0xc4,0x62,0x19,0x28,0x28]
1929 vpmuldq (%rax), %xmm12, %xmm13
1931 // CHECK: vpmulld %xmm12, %xmm5, %xmm11
1932 // CHECK: encoding: [0xc4,0x42,0x51,0x40,0xdc]
1933 vpmulld %xmm12, %xmm5, %xmm11
1935 // CHECK: vpmulld (%rax), %xmm5, %xmm13
1936 // CHECK: encoding: [0xc4,0x62,0x51,0x40,0x28]
1937 vpmulld (%rax), %xmm5, %xmm13
1939 // CHECK: vblendps $3, %xmm12, %xmm5, %xmm11
1940 // CHECK: encoding: [0xc4,0x43,0x51,0x0c,0xdc,0x03]
1941 vblendps $3, %xmm12, %xmm5, %xmm11
1943 // CHECK: vblendps $3, (%rax), %xmm5, %xmm11
1944 // CHECK: encoding: [0xc4,0x63,0x51,0x0c,0x18,0x03]
1945 vblendps $3, (%rax), %xmm5, %xmm11
1947 // CHECK: vblendpd $3, %xmm12, %xmm5, %xmm11
1948 // CHECK: encoding: [0xc4,0x43,0x51,0x0d,0xdc,0x03]
1949 vblendpd $3, %xmm12, %xmm5, %xmm11
1951 // CHECK: vblendpd $3, (%rax), %xmm5, %xmm11
1952 // CHECK: encoding: [0xc4,0x63,0x51,0x0d,0x18,0x03]
1953 vblendpd $3, (%rax), %xmm5, %xmm11
1955 // CHECK: vpblendw $3, %xmm12, %xmm5, %xmm11
1956 // CHECK: encoding: [0xc4,0x43,0x51,0x0e,0xdc,0x03]
1957 vpblendw $3, %xmm12, %xmm5, %xmm11
1959 // CHECK: vpblendw $3, (%rax), %xmm5, %xmm11
1960 // CHECK: encoding: [0xc4,0x63,0x51,0x0e,0x18,0x03]
1961 vpblendw $3, (%rax), %xmm5, %xmm11
1963 // CHECK: vmpsadbw $3, %xmm12, %xmm5, %xmm11
1964 // CHECK: encoding: [0xc4,0x43,0x51,0x42,0xdc,0x03]
1965 vmpsadbw $3, %xmm12, %xmm5, %xmm11
1967 // CHECK: vmpsadbw $3, (%rax), %xmm5, %xmm11
1968 // CHECK: encoding: [0xc4,0x63,0x51,0x42,0x18,0x03]
1969 vmpsadbw $3, (%rax), %xmm5, %xmm11
1971 // CHECK: vdpps $3, %xmm12, %xmm5, %xmm11
1972 // CHECK: encoding: [0xc4,0x43,0x51,0x40,0xdc,0x03]
1973 vdpps $3, %xmm12, %xmm5, %xmm11
1975 // CHECK: vdpps $3, (%rax), %xmm5, %xmm11
1976 // CHECK: encoding: [0xc4,0x63,0x51,0x40,0x18,0x03]
1977 vdpps $3, (%rax), %xmm5, %xmm11
1979 // CHECK: vdppd $3, %xmm12, %xmm5, %xmm11
1980 // CHECK: encoding: [0xc4,0x43,0x51,0x41,0xdc,0x03]
1981 vdppd $3, %xmm12, %xmm5, %xmm11
1983 // CHECK: vdppd $3, (%rax), %xmm5, %xmm11
1984 // CHECK: encoding: [0xc4,0x63,0x51,0x41,0x18,0x03]
1985 vdppd $3, (%rax), %xmm5, %xmm11
1987 // CHECK: vblendvpd %xmm12, %xmm5, %xmm11, %xmm13
1988 // CHECK: encoding: [0xc4,0x63,0x21,0x4b,0xed,0xc0]
1989 vblendvpd %xmm12, %xmm5, %xmm11, %xmm13
1991 // CHECK: vblendvpd %xmm12, (%rax), %xmm11, %xmm13
1992 // CHECK: encoding: [0xc4,0x63,0x21,0x4b,0x28,0xc0]
1993 vblendvpd %xmm12, (%rax), %xmm11, %xmm13
1995 // CHECK: vblendvps %xmm12, %xmm5, %xmm11, %xmm13
1996 // CHECK: encoding: [0xc4,0x63,0x21,0x4a,0xed,0xc0]
1997 vblendvps %xmm12, %xmm5, %xmm11, %xmm13
1999 // CHECK: vblendvps %xmm12, (%rax), %xmm11, %xmm13
2000 // CHECK: encoding: [0xc4,0x63,0x21,0x4a,0x28,0xc0]
2001 vblendvps %xmm12, (%rax), %xmm11, %xmm13
2003 // CHECK: vpblendvb %xmm12, %xmm5, %xmm11, %xmm13
2004 // CHECK: encoding: [0xc4,0x63,0x21,0x4c,0xed,0xc0]
2005 vpblendvb %xmm12, %xmm5, %xmm11, %xmm13
2007 // CHECK: vpblendvb %xmm12, (%rax), %xmm11, %xmm13
2008 // CHECK: encoding: [0xc4,0x63,0x21,0x4c,0x28,0xc0]
2009 vpblendvb %xmm12, (%rax), %xmm11, %xmm13
2011 // CHECK: vpmovsxbw %xmm12, %xmm10
2012 // CHECK: encoding: [0xc4,0x42,0x79,0x20,0xd4]
2013 vpmovsxbw %xmm12, %xmm10
2015 // CHECK: vpmovsxbw (%rax), %xmm12
2016 // CHECK: encoding: [0xc4,0x62,0x79,0x20,0x20]
2017 vpmovsxbw (%rax), %xmm12
2019 // CHECK: vpmovsxwd %xmm12, %xmm10
2020 // CHECK: encoding: [0xc4,0x42,0x79,0x23,0xd4]
2021 vpmovsxwd %xmm12, %xmm10
2023 // CHECK: vpmovsxwd (%rax), %xmm12
2024 // CHECK: encoding: [0xc4,0x62,0x79,0x23,0x20]
2025 vpmovsxwd (%rax), %xmm12
2027 // CHECK: vpmovsxdq %xmm12, %xmm10
2028 // CHECK: encoding: [0xc4,0x42,0x79,0x25,0xd4]
2029 vpmovsxdq %xmm12, %xmm10
2031 // CHECK: vpmovsxdq (%rax), %xmm12
2032 // CHECK: encoding: [0xc4,0x62,0x79,0x25,0x20]
2033 vpmovsxdq (%rax), %xmm12
2035 // CHECK: vpmovzxbw %xmm12, %xmm10
2036 // CHECK: encoding: [0xc4,0x42,0x79,0x30,0xd4]
2037 vpmovzxbw %xmm12, %xmm10
2039 // CHECK: vpmovzxbw (%rax), %xmm12
2040 // CHECK: encoding: [0xc4,0x62,0x79,0x30,0x20]
2041 vpmovzxbw (%rax), %xmm12
2043 // CHECK: vpmovzxwd %xmm12, %xmm10
2044 // CHECK: encoding: [0xc4,0x42,0x79,0x33,0xd4]
2045 vpmovzxwd %xmm12, %xmm10
2047 // CHECK: vpmovzxwd (%rax), %xmm12
2048 // CHECK: encoding: [0xc4,0x62,0x79,0x33,0x20]
2049 vpmovzxwd (%rax), %xmm12
2051 // CHECK: vpmovzxdq %xmm12, %xmm10
2052 // CHECK: encoding: [0xc4,0x42,0x79,0x35,0xd4]
2053 vpmovzxdq %xmm12, %xmm10
2055 // CHECK: vpmovzxdq (%rax), %xmm12
2056 // CHECK: encoding: [0xc4,0x62,0x79,0x35,0x20]
2057 vpmovzxdq (%rax), %xmm12
2059 // CHECK: vpmovsxbq %xmm12, %xmm10
2060 // CHECK: encoding: [0xc4,0x42,0x79,0x22,0xd4]
2061 vpmovsxbq %xmm12, %xmm10
2063 // CHECK: vpmovsxbq (%rax), %xmm12
2064 // CHECK: encoding: [0xc4,0x62,0x79,0x22,0x20]
2065 vpmovsxbq (%rax), %xmm12
2067 // CHECK: vpmovzxbq %xmm12, %xmm10
2068 // CHECK: encoding: [0xc4,0x42,0x79,0x32,0xd4]
2069 vpmovzxbq %xmm12, %xmm10
2071 // CHECK: vpmovzxbq (%rax), %xmm12
2072 // CHECK: encoding: [0xc4,0x62,0x79,0x32,0x20]
2073 vpmovzxbq (%rax), %xmm12
2075 // CHECK: vpmovsxbd %xmm12, %xmm10
2076 // CHECK: encoding: [0xc4,0x42,0x79,0x21,0xd4]
2077 vpmovsxbd %xmm12, %xmm10
2079 // CHECK: vpmovsxbd (%rax), %xmm12
2080 // CHECK: encoding: [0xc4,0x62,0x79,0x21,0x20]
2081 vpmovsxbd (%rax), %xmm12
2083 // CHECK: vpmovsxwq %xmm12, %xmm10
2084 // CHECK: encoding: [0xc4,0x42,0x79,0x24,0xd4]
2085 vpmovsxwq %xmm12, %xmm10
2087 // CHECK: vpmovsxwq (%rax), %xmm12
2088 // CHECK: encoding: [0xc4,0x62,0x79,0x24,0x20]
2089 vpmovsxwq (%rax), %xmm12
2091 // CHECK: vpmovzxbd %xmm12, %xmm10
2092 // CHECK: encoding: [0xc4,0x42,0x79,0x31,0xd4]
2093 vpmovzxbd %xmm12, %xmm10
2095 // CHECK: vpmovzxbd (%rax), %xmm12
2096 // CHECK: encoding: [0xc4,0x62,0x79,0x31,0x20]
2097 vpmovzxbd (%rax), %xmm12
2099 // CHECK: vpmovzxwq %xmm12, %xmm10
2100 // CHECK: encoding: [0xc4,0x42,0x79,0x34,0xd4]
2101 vpmovzxwq %xmm12, %xmm10
2103 // CHECK: vpmovzxwq (%rax), %xmm12
2104 // CHECK: encoding: [0xc4,0x62,0x79,0x34,0x20]
2105 vpmovzxwq (%rax), %xmm12
2107 // CHECK: vpextrw $7, %xmm12, %eax
2108 // CHECK: encoding: [0xc4,0xc1,0x79,0xc5,0xc4,0x07]
2109 vpextrw $7, %xmm12, %eax
2111 // CHECK: vpextrw $7, %xmm12, (%rax)
2112 // CHECK: encoding: [0xc4,0x63,0x79,0x15,0x20,0x07]
2113 vpextrw $7, %xmm12, (%rax)
2115 // CHECK: vpextrd $7, %xmm12, %eax
2116 // CHECK: encoding: [0xc4,0x63,0x79,0x16,0xe0,0x07]
2117 vpextrd $7, %xmm12, %eax
2119 // CHECK: vpextrd $7, %xmm12, (%rax)
2120 // CHECK: encoding: [0xc4,0x63,0x79,0x16,0x20,0x07]
2121 vpextrd $7, %xmm12, (%rax)
2123 // CHECK: vpextrb $7, %xmm12, %eax
2124 // CHECK: encoding: [0xc4,0x63,0x79,0x14,0xe0,0x07]
2125 vpextrb $7, %xmm12, %eax
2127 // CHECK: vpextrb $7, %xmm12, (%rax)
2128 // CHECK: encoding: [0xc4,0x63,0x79,0x14,0x20,0x07]
2129 vpextrb $7, %xmm12, (%rax)
2131 // CHECK: vpextrq $7, %xmm12, %rcx
2132 // CHECK: encoding: [0xc4,0x63,0xf9,0x16,0xe1,0x07]
2133 vpextrq $7, %xmm12, %rcx
2135 // CHECK: vpextrq $7, %xmm12, (%rcx)
2136 // CHECK: encoding: [0xc4,0x63,0xf9,0x16,0x21,0x07]
2137 vpextrq $7, %xmm12, (%rcx)
2139 // CHECK: vextractps $7, %xmm12, (%rax)
2140 // CHECK: encoding: [0xc4,0x63,0x79,0x17,0x20,0x07]
2141 vextractps $7, %xmm12, (%rax)
2143 // CHECK: vextractps $7, %xmm12, %eax
2144 // CHECK: encoding: [0xc4,0x63,0x79,0x17,0xe0,0x07]
2145 vextractps $7, %xmm12, %eax
2147 // CHECK: vpinsrw $7, %eax, %xmm12, %xmm10
2148 // CHECK: encoding: [0xc5,0x19,0xc4,0xd0,0x07]
2149 vpinsrw $7, %eax, %xmm12, %xmm10
2151 // CHECK: vpinsrw $7, (%rax), %xmm12, %xmm10
2152 // CHECK: encoding: [0xc5,0x19,0xc4,0x10,0x07]
2153 vpinsrw $7, (%rax), %xmm12, %xmm10
2155 // CHECK: vpinsrb $7, %eax, %xmm12, %xmm10
2156 // CHECK: encoding: [0xc4,0x63,0x19,0x20,0xd0,0x07]
2157 vpinsrb $7, %eax, %xmm12, %xmm10
2159 // CHECK: vpinsrb $7, (%rax), %xmm12, %xmm10
2160 // CHECK: encoding: [0xc4,0x63,0x19,0x20,0x10,0x07]
2161 vpinsrb $7, (%rax), %xmm12, %xmm10
2163 // CHECK: vpinsrd $7, %eax, %xmm12, %xmm10
2164 // CHECK: encoding: [0xc4,0x63,0x19,0x22,0xd0,0x07]
2165 vpinsrd $7, %eax, %xmm12, %xmm10
2167 // CHECK: vpinsrd $7, (%rax), %xmm12, %xmm10
2168 // CHECK: encoding: [0xc4,0x63,0x19,0x22,0x10,0x07]
2169 vpinsrd $7, (%rax), %xmm12, %xmm10
2171 // CHECK: vpinsrq $7, %rax, %xmm12, %xmm10
2172 // CHECK: encoding: [0xc4,0x63,0x99,0x22,0xd0,0x07]
2173 vpinsrq $7, %rax, %xmm12, %xmm10
2175 // CHECK: vpinsrq $7, (%rax), %xmm12, %xmm10
2176 // CHECK: encoding: [0xc4,0x63,0x99,0x22,0x10,0x07]
2177 vpinsrq $7, (%rax), %xmm12, %xmm10
2179 // CHECK: vinsertps $7, %xmm12, %xmm10, %xmm11
2180 // CHECK: encoding: [0xc4,0x43,0x29,0x21,0xdc,0x07]
2181 vinsertps $7, %xmm12, %xmm10, %xmm11
2183 // CHECK: vinsertps $7, (%rax), %xmm10, %xmm11
2184 // CHECK: encoding: [0xc4,0x63,0x29,0x21,0x18,0x07]
2185 vinsertps $7, (%rax), %xmm10, %xmm11
2187 // CHECK: vptest %xmm12, %xmm10
2188 // CHECK: encoding: [0xc4,0x42,0x79,0x17,0xd4]
2189 vptest %xmm12, %xmm10
2191 // CHECK: vptest (%rax), %xmm12
2192 // CHECK: encoding: [0xc4,0x62,0x79,0x17,0x20]
2193 vptest (%rax), %xmm12
2195 // CHECK: vmovntdqa (%rax), %xmm12
2196 // CHECK: encoding: [0xc4,0x62,0x79,0x2a,0x20]
2197 vmovntdqa (%rax), %xmm12
2199 // CHECK: vpcmpgtq %xmm12, %xmm10, %xmm11
2200 // CHECK: encoding: [0xc4,0x42,0x29,0x37,0xdc]
2201 vpcmpgtq %xmm12, %xmm10, %xmm11
2203 // CHECK: vpcmpgtq (%rax), %xmm10, %xmm13
2204 // CHECK: encoding: [0xc4,0x62,0x29,0x37,0x28]
2205 vpcmpgtq (%rax), %xmm10, %xmm13
2207 // CHECK: vpcmpistrm $7, %xmm12, %xmm10
2208 // CHECK: encoding: [0xc4,0x43,0x79,0x62,0xd4,0x07]
2209 vpcmpistrm $7, %xmm12, %xmm10
2211 // CHECK: vpcmpistrm $7, (%rax), %xmm10
2212 // CHECK: encoding: [0xc4,0x63,0x79,0x62,0x10,0x07]
2213 vpcmpistrm $7, (%rax), %xmm10
2215 // CHECK: vpcmpestrm $7, %xmm12, %xmm10
2216 // CHECK: encoding: [0xc4,0x43,0x79,0x60,0xd4,0x07]
2217 vpcmpestrm $7, %xmm12, %xmm10
2219 // CHECK: vpcmpestrm $7, (%rax), %xmm10
2220 // CHECK: encoding: [0xc4,0x63,0x79,0x60,0x10,0x07]
2221 vpcmpestrm $7, (%rax), %xmm10
2223 // CHECK: vpcmpistri $7, %xmm12, %xmm10
2224 // CHECK: encoding: [0xc4,0x43,0x79,0x63,0xd4,0x07]
2225 vpcmpistri $7, %xmm12, %xmm10
2227 // CHECK: vpcmpistri $7, (%rax), %xmm10
2228 // CHECK: encoding: [0xc4,0x63,0x79,0x63,0x10,0x07]
2229 vpcmpistri $7, (%rax), %xmm10
2231 // CHECK: vpcmpestri $7, %xmm12, %xmm10
2232 // CHECK: encoding: [0xc4,0x43,0x79,0x61,0xd4,0x07]
2233 vpcmpestri $7, %xmm12, %xmm10
2235 // CHECK: vpcmpestri $7, (%rax), %xmm10
2236 // CHECK: encoding: [0xc4,0x63,0x79,0x61,0x10,0x07]
2237 vpcmpestri $7, (%rax), %xmm10
2239 // CHECK: vaesimc %xmm12, %xmm10
2240 // CHECK: encoding: [0xc4,0x42,0x79,0xdb,0xd4]
2241 vaesimc %xmm12, %xmm10
2243 // CHECK: vaesimc (%rax), %xmm12
2244 // CHECK: encoding: [0xc4,0x62,0x79,0xdb,0x20]
2245 vaesimc (%rax), %xmm12
2247 // CHECK: vaesenc %xmm12, %xmm10, %xmm11
2248 // CHECK: encoding: [0xc4,0x42,0x29,0xdc,0xdc]
2249 vaesenc %xmm12, %xmm10, %xmm11
2251 // CHECK: vaesenc (%rax), %xmm10, %xmm13
2252 // CHECK: encoding: [0xc4,0x62,0x29,0xdc,0x28]
2253 vaesenc (%rax), %xmm10, %xmm13
2255 // CHECK: vaesenclast %xmm12, %xmm10, %xmm11
2256 // CHECK: encoding: [0xc4,0x42,0x29,0xdd,0xdc]
2257 vaesenclast %xmm12, %xmm10, %xmm11
2259 // CHECK: vaesenclast (%rax), %xmm10, %xmm13
2260 // CHECK: encoding: [0xc4,0x62,0x29,0xdd,0x28]
2261 vaesenclast (%rax), %xmm10, %xmm13
2263 // CHECK: vaesdec %xmm12, %xmm10, %xmm11
2264 // CHECK: encoding: [0xc4,0x42,0x29,0xde,0xdc]
2265 vaesdec %xmm12, %xmm10, %xmm11
2267 // CHECK: vaesdec (%rax), %xmm10, %xmm13
2268 // CHECK: encoding: [0xc4,0x62,0x29,0xde,0x28]
2269 vaesdec (%rax), %xmm10, %xmm13
2271 // CHECK: vaesdeclast %xmm12, %xmm10, %xmm11
2272 // CHECK: encoding: [0xc4,0x42,0x29,0xdf,0xdc]
2273 vaesdeclast %xmm12, %xmm10, %xmm11
2275 // CHECK: vaesdeclast (%rax), %xmm10, %xmm13
2276 // CHECK: encoding: [0xc4,0x62,0x29,0xdf,0x28]
2277 vaesdeclast (%rax), %xmm10, %xmm13
2279 // CHECK: vaeskeygenassist $7, %xmm12, %xmm10
2280 // CHECK: encoding: [0xc4,0x43,0x79,0xdf,0xd4,0x07]
2281 vaeskeygenassist $7, %xmm12, %xmm10
2283 // CHECK: vaeskeygenassist $7, (%rax), %xmm10
2284 // CHECK: encoding: [0xc4,0x63,0x79,0xdf,0x10,0x07]
2285 vaeskeygenassist $7, (%rax), %xmm10
2287 // CHECK: vcmpps $8, %xmm11, %xmm12, %xmm13
2288 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x08]
2289 vcmpeq_uqps %xmm11, %xmm12, %xmm13
2291 // CHECK: vcmpps $9, %xmm11, %xmm12, %xmm13
2292 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x09]
2293 vcmpngeps %xmm11, %xmm12, %xmm13
2295 // CHECK: vcmpps $10, %xmm11, %xmm12, %xmm13
2296 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x0a]
2297 vcmpngtps %xmm11, %xmm12, %xmm13
2299 // CHECK: vcmpps $11, %xmm11, %xmm12, %xmm13
2300 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x0b]
2301 vcmpfalseps %xmm11, %xmm12, %xmm13
2303 // CHECK: vcmpps $12, %xmm11, %xmm12, %xmm13
2304 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x0c]
2305 vcmpneq_oqps %xmm11, %xmm12, %xmm13
2307 // CHECK: vcmpps $13, %xmm11, %xmm12, %xmm13
2308 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x0d]
2309 vcmpgeps %xmm11, %xmm12, %xmm13
2311 // CHECK: vcmpps $14, %xmm11, %xmm12, %xmm13
2312 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x0e]
2313 vcmpgtps %xmm11, %xmm12, %xmm13
2315 // CHECK: vcmpps $15, %xmm11, %xmm12, %xmm13
2316 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x0f]
2317 vcmptrueps %xmm11, %xmm12, %xmm13
2319 // CHECK: vcmpps $16, %xmm11, %xmm12, %xmm13
2320 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x10]
2321 vcmpeq_osps %xmm11, %xmm12, %xmm13
2323 // CHECK: vcmpps $17, %xmm11, %xmm12, %xmm13
2324 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x11]
2325 vcmplt_oqps %xmm11, %xmm12, %xmm13
2327 // CHECK: vcmpps $18, %xmm11, %xmm12, %xmm13
2328 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x12]
2329 vcmple_oqps %xmm11, %xmm12, %xmm13
2331 // CHECK: vcmpps $19, %xmm11, %xmm12, %xmm13
2332 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x13]
2333 vcmpunord_sps %xmm11, %xmm12, %xmm13
2335 // CHECK: vcmpps $20, %xmm11, %xmm12, %xmm13
2336 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x14]
2337 vcmpneq_usps %xmm11, %xmm12, %xmm13
2339 // CHECK: vcmpps $21, %xmm11, %xmm12, %xmm13
2340 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x15]
2341 vcmpnlt_uqps %xmm11, %xmm12, %xmm13
2343 // CHECK: vcmpps $22, %xmm11, %xmm12, %xmm13
2344 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x16]
2345 vcmpnle_uqps %xmm11, %xmm12, %xmm13
2347 // CHECK: vcmpps $23, %xmm11, %xmm12, %xmm13
2348 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x17]
2349 vcmpord_sps %xmm11, %xmm12, %xmm13
2351 // CHECK: vcmpps $24, %xmm11, %xmm12, %xmm13
2352 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x18]
2353 vcmpeq_usps %xmm11, %xmm12, %xmm13
2355 // CHECK: vcmpps $25, %xmm11, %xmm12, %xmm13
2356 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x19]
2357 vcmpnge_uqps %xmm11, %xmm12, %xmm13
2359 // CHECK: vcmpps $26, %xmm11, %xmm12, %xmm13
2360 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x1a]
2361 vcmpngt_uqps %xmm11, %xmm12, %xmm13
2363 // CHECK: vcmpps $27, %xmm11, %xmm12, %xmm13
2364 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x1b]
2365 vcmpfalse_osps %xmm11, %xmm12, %xmm13
2367 // CHECK: vcmpps $28, %xmm11, %xmm12, %xmm13
2368 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x1c]
2369 vcmpneq_osps %xmm11, %xmm12, %xmm13
2371 // CHECK: vcmpps $29, %xmm11, %xmm12, %xmm13
2372 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x1d]
2373 vcmpge_oqps %xmm11, %xmm12, %xmm13
2375 // CHECK: vcmpps $30, %xmm11, %xmm12, %xmm13
2376 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x1e]
2377 vcmpgt_oqps %xmm11, %xmm12, %xmm13
2379 // CHECK: vcmpps $31, %xmm11, %xmm12, %xmm13
2380 // CHECK: encoding: [0xc4,0x41,0x18,0xc2,0xeb,0x1f]
2381 vcmptrue_usps %xmm11, %xmm12, %xmm13
2383 // CHECK: vmovaps (%rax), %ymm12
2384 // CHECK: encoding: [0xc5,0x7c,0x28,0x20]
2385 vmovaps (%rax), %ymm12
2387 // CHECK: vmovaps %ymm11, %ymm12
2388 // CHECK: encoding: [0xc4,0x41,0x7c,0x28,0xe3]
2389 vmovaps %ymm11, %ymm12
2391 // CHECK: vmovaps %ymm11, (%rax)
2392 // CHECK: encoding: [0xc5,0x7c,0x29,0x18]
2393 vmovaps %ymm11, (%rax)
2395 // CHECK: vmovapd (%rax), %ymm12
2396 // CHECK: encoding: [0xc5,0x7d,0x28,0x20]
2397 vmovapd (%rax), %ymm12
2399 // CHECK: vmovapd %ymm11, %ymm12
2400 // CHECK: encoding: [0xc4,0x41,0x7d,0x28,0xe3]
2401 vmovapd %ymm11, %ymm12
2403 // CHECK: vmovapd %ymm11, (%rax)
2404 // CHECK: encoding: [0xc5,0x7d,0x29,0x18]
2405 vmovapd %ymm11, (%rax)
2407 // CHECK: vmovups (%rax), %ymm12
2408 // CHECK: encoding: [0xc5,0x7c,0x10,0x20]
2409 vmovups (%rax), %ymm12
2411 // CHECK: vmovups %ymm11, %ymm12
2412 // CHECK: encoding: [0xc4,0x41,0x7c,0x10,0xe3]
2413 vmovups %ymm11, %ymm12
2415 // CHECK: vmovups %ymm11, (%rax)
2416 // CHECK: encoding: [0xc5,0x7c,0x11,0x18]
2417 vmovups %ymm11, (%rax)
2419 // CHECK: vmovupd (%rax), %ymm12
2420 // CHECK: encoding: [0xc5,0x7d,0x10,0x20]
2421 vmovupd (%rax), %ymm12
2423 // CHECK: vmovupd %ymm11, %ymm12
2424 // CHECK: encoding: [0xc4,0x41,0x7d,0x10,0xe3]
2425 vmovupd %ymm11, %ymm12
2427 // CHECK: vmovupd %ymm11, (%rax)
2428 // CHECK: encoding: [0xc5,0x7d,0x11,0x18]
2429 vmovupd %ymm11, (%rax)
2431 // CHECK: vunpckhps %ymm11, %ymm12, %ymm4
2432 // CHECK: encoding: [0xc4,0xc1,0x1c,0x15,0xe3]
2433 vunpckhps %ymm11, %ymm12, %ymm4
2435 // CHECK: vunpckhpd %ymm11, %ymm12, %ymm4
2436 // CHECK: encoding: [0xc4,0xc1,0x1d,0x15,0xe3]
2437 vunpckhpd %ymm11, %ymm12, %ymm4
2439 // CHECK: vunpcklps %ymm11, %ymm12, %ymm4
2440 // CHECK: encoding: [0xc4,0xc1,0x1c,0x14,0xe3]
2441 vunpcklps %ymm11, %ymm12, %ymm4
2443 // CHECK: vunpcklpd %ymm11, %ymm12, %ymm4
2444 // CHECK: encoding: [0xc4,0xc1,0x1d,0x14,0xe3]
2445 vunpcklpd %ymm11, %ymm12, %ymm4
2447 // CHECK: vunpckhps -4(%rbx,%rcx,8), %ymm12, %ymm10
2448 // CHECK: encoding: [0xc5,0x1c,0x15,0x54,0xcb,0xfc]
2449 vunpckhps -4(%rbx,%rcx,8), %ymm12, %ymm10
2451 // CHECK: vunpckhpd -4(%rbx,%rcx,8), %ymm12, %ymm10
2452 // CHECK: encoding: [0xc5,0x1d,0x15,0x54,0xcb,0xfc]
2453 vunpckhpd -4(%rbx,%rcx,8), %ymm12, %ymm10
2455 // CHECK: vunpcklps -4(%rbx,%rcx,8), %ymm12, %ymm10
2456 // CHECK: encoding: [0xc5,0x1c,0x14,0x54,0xcb,0xfc]
2457 vunpcklps -4(%rbx,%rcx,8), %ymm12, %ymm10
2459 // CHECK: vunpcklpd -4(%rbx,%rcx,8), %ymm12, %ymm10
2460 // CHECK: encoding: [0xc5,0x1d,0x14,0x54,0xcb,0xfc]
2461 vunpcklpd -4(%rbx,%rcx,8), %ymm12, %ymm10
2463 // CHECK: vmovntdq %ymm11, (%rax)
2464 // CHECK: encoding: [0xc5,0x7d,0xe7,0x18]
2465 vmovntdq %ymm11, (%rax)
2467 // CHECK: vmovntpd %ymm11, (%rax)
2468 // CHECK: encoding: [0xc5,0x7d,0x2b,0x18]
2469 vmovntpd %ymm11, (%rax)
2471 // CHECK: vmovntps %ymm11, (%rax)
2472 // CHECK: encoding: [0xc5,0x7c,0x2b,0x18]
2473 vmovntps %ymm11, (%rax)
2475 // CHECK: vmovmskps %xmm12, %eax
2476 // CHECK: encoding: [0xc4,0xc1,0x78,0x50,0xc4]
2477 vmovmskps %xmm12, %eax
2479 // CHECK: vmovmskpd %xmm12, %eax
2480 // CHECK: encoding: [0xc4,0xc1,0x79,0x50,0xc4]
2481 vmovmskpd %xmm12, %eax
2483 // CHECK: vmaxps %ymm12, %ymm4, %ymm6
2484 // CHECK: encoding: [0xc4,0xc1,0x5c,0x5f,0xf4]
2485 vmaxps %ymm12, %ymm4, %ymm6
2487 // CHECK: vmaxpd %ymm12, %ymm4, %ymm6
2488 // CHECK: encoding: [0xc4,0xc1,0x5d,0x5f,0xf4]
2489 vmaxpd %ymm12, %ymm4, %ymm6
2491 // CHECK: vminps %ymm12, %ymm4, %ymm6
2492 // CHECK: encoding: [0xc4,0xc1,0x5c,0x5d,0xf4]
2493 vminps %ymm12, %ymm4, %ymm6
2495 // CHECK: vminpd %ymm12, %ymm4, %ymm6
2496 // CHECK: encoding: [0xc4,0xc1,0x5d,0x5d,0xf4]
2497 vminpd %ymm12, %ymm4, %ymm6
2499 // CHECK: vsubps %ymm12, %ymm4, %ymm6
2500 // CHECK: encoding: [0xc4,0xc1,0x5c,0x5c,0xf4]
2501 vsubps %ymm12, %ymm4, %ymm6
2503 // CHECK: vsubpd %ymm12, %ymm4, %ymm6
2504 // CHECK: encoding: [0xc4,0xc1,0x5d,0x5c,0xf4]
2505 vsubpd %ymm12, %ymm4, %ymm6
2507 // CHECK: vdivps %ymm12, %ymm4, %ymm6
2508 // CHECK: encoding: [0xc4,0xc1,0x5c,0x5e,0xf4]
2509 vdivps %ymm12, %ymm4, %ymm6
2511 // CHECK: vdivpd %ymm12, %ymm4, %ymm6
2512 // CHECK: encoding: [0xc4,0xc1,0x5d,0x5e,0xf4]
2513 vdivpd %ymm12, %ymm4, %ymm6
2515 // CHECK: vaddps %ymm12, %ymm4, %ymm6
2516 // CHECK: encoding: [0xc4,0xc1,0x5c,0x58,0xf4]
2517 vaddps %ymm12, %ymm4, %ymm6
2519 // CHECK: vaddpd %ymm12, %ymm4, %ymm6
2520 // CHECK: encoding: [0xc4,0xc1,0x5d,0x58,0xf4]
2521 vaddpd %ymm12, %ymm4, %ymm6
2523 // CHECK: vmulps %ymm12, %ymm4, %ymm6
2524 // CHECK: encoding: [0xc4,0xc1,0x5c,0x59,0xf4]
2525 vmulps %ymm12, %ymm4, %ymm6
2527 // CHECK: vmulpd %ymm12, %ymm4, %ymm6
2528 // CHECK: encoding: [0xc4,0xc1,0x5d,0x59,0xf4]
2529 vmulpd %ymm12, %ymm4, %ymm6
2531 // CHECK: vmaxps (%rax), %ymm4, %ymm6
2532 // CHECK: encoding: [0xc5,0xdc,0x5f,0x30]
2533 vmaxps (%rax), %ymm4, %ymm6
2535 // CHECK: vmaxpd (%rax), %ymm4, %ymm6
2536 // CHECK: encoding: [0xc5,0xdd,0x5f,0x30]
2537 vmaxpd (%rax), %ymm4, %ymm6
2539 // CHECK: vminps (%rax), %ymm4, %ymm6
2540 // CHECK: encoding: [0xc5,0xdc,0x5d,0x30]
2541 vminps (%rax), %ymm4, %ymm6
2543 // CHECK: vminpd (%rax), %ymm4, %ymm6
2544 // CHECK: encoding: [0xc5,0xdd,0x5d,0x30]
2545 vminpd (%rax), %ymm4, %ymm6
2547 // CHECK: vsubps (%rax), %ymm4, %ymm6
2548 // CHECK: encoding: [0xc5,0xdc,0x5c,0x30]
2549 vsubps (%rax), %ymm4, %ymm6
2551 // CHECK: vsubpd (%rax), %ymm4, %ymm6
2552 // CHECK: encoding: [0xc5,0xdd,0x5c,0x30]
2553 vsubpd (%rax), %ymm4, %ymm6
2555 // CHECK: vdivps (%rax), %ymm4, %ymm6
2556 // CHECK: encoding: [0xc5,0xdc,0x5e,0x30]
2557 vdivps (%rax), %ymm4, %ymm6
2559 // CHECK: vdivpd (%rax), %ymm4, %ymm6
2560 // CHECK: encoding: [0xc5,0xdd,0x5e,0x30]
2561 vdivpd (%rax), %ymm4, %ymm6
2563 // CHECK: vaddps (%rax), %ymm4, %ymm6
2564 // CHECK: encoding: [0xc5,0xdc,0x58,0x30]
2565 vaddps (%rax), %ymm4, %ymm6
2567 // CHECK: vaddpd (%rax), %ymm4, %ymm6
2568 // CHECK: encoding: [0xc5,0xdd,0x58,0x30]
2569 vaddpd (%rax), %ymm4, %ymm6
2571 // CHECK: vmulps (%rax), %ymm4, %ymm6
2572 // CHECK: encoding: [0xc5,0xdc,0x59,0x30]
2573 vmulps (%rax), %ymm4, %ymm6
2575 // CHECK: vmulpd (%rax), %ymm4, %ymm6
2576 // CHECK: encoding: [0xc5,0xdd,0x59,0x30]
2577 vmulpd (%rax), %ymm4, %ymm6
2579 // CHECK: vsqrtpd %ymm11, %ymm12
2580 // CHECK: encoding: [0xc4,0x41,0x7d,0x51,0xe3]
2581 vsqrtpd %ymm11, %ymm12
2583 // CHECK: vsqrtpd (%rax), %ymm12
2584 // CHECK: encoding: [0xc5,0x7d,0x51,0x20]
2585 vsqrtpd (%rax), %ymm12
2587 // CHECK: vsqrtps %ymm11, %ymm12
2588 // CHECK: encoding: [0xc4,0x41,0x7c,0x51,0xe3]
2589 vsqrtps %ymm11, %ymm12
2591 // CHECK: vsqrtps (%rax), %ymm12
2592 // CHECK: encoding: [0xc5,0x7c,0x51,0x20]
2593 vsqrtps (%rax), %ymm12
2595 // CHECK: vrsqrtps %ymm11, %ymm12
2596 // CHECK: encoding: [0xc4,0x41,0x7c,0x52,0xe3]
2597 vrsqrtps %ymm11, %ymm12
2599 // CHECK: vrsqrtps (%rax), %ymm12
2600 // CHECK: encoding: [0xc5,0x7c,0x52,0x20]
2601 vrsqrtps (%rax), %ymm12
2603 // CHECK: vrcpps %ymm11, %ymm12
2604 // CHECK: encoding: [0xc4,0x41,0x7c,0x53,0xe3]
2605 vrcpps %ymm11, %ymm12
2607 // CHECK: vrcpps (%rax), %ymm12
2608 // CHECK: encoding: [0xc5,0x7c,0x53,0x20]
2609 vrcpps (%rax), %ymm12
2611 // CHECK: vandps %ymm12, %ymm14, %ymm11
2612 // CHECK: encoding: [0xc4,0x41,0x0c,0x54,0xdc]
2613 vandps %ymm12, %ymm14, %ymm11
2615 // CHECK: vandpd %ymm12, %ymm14, %ymm11
2616 // CHECK: encoding: [0xc4,0x41,0x0d,0x54,0xdc]
2617 vandpd %ymm12, %ymm14, %ymm11
2619 // CHECK: vandps -4(%rbx,%rcx,8), %ymm12, %ymm10
2620 // CHECK: encoding: [0xc5,0x1c,0x54,0x54,0xcb,0xfc]
2621 vandps -4(%rbx,%rcx,8), %ymm12, %ymm10
2623 // CHECK: vandpd -4(%rbx,%rcx,8), %ymm12, %ymm10
2624 // CHECK: encoding: [0xc5,0x1d,0x54,0x54,0xcb,0xfc]
2625 vandpd -4(%rbx,%rcx,8), %ymm12, %ymm10
2627 // CHECK: vorps %ymm12, %ymm14, %ymm11
2628 // CHECK: encoding: [0xc4,0x41,0x0c,0x56,0xdc]
2629 vorps %ymm12, %ymm14, %ymm11
2631 // CHECK: vorpd %ymm12, %ymm14, %ymm11
2632 // CHECK: encoding: [0xc4,0x41,0x0d,0x56,0xdc]
2633 vorpd %ymm12, %ymm14, %ymm11
2635 // CHECK: vorps -4(%rbx,%rcx,8), %ymm12, %ymm10
2636 // CHECK: encoding: [0xc5,0x1c,0x56,0x54,0xcb,0xfc]
2637 vorps -4(%rbx,%rcx,8), %ymm12, %ymm10
2639 // CHECK: vorpd -4(%rbx,%rcx,8), %ymm12, %ymm10
2640 // CHECK: encoding: [0xc5,0x1d,0x56,0x54,0xcb,0xfc]
2641 vorpd -4(%rbx,%rcx,8), %ymm12, %ymm10
2643 // CHECK: vxorps %ymm12, %ymm14, %ymm11
2644 // CHECK: encoding: [0xc4,0x41,0x0c,0x57,0xdc]
2645 vxorps %ymm12, %ymm14, %ymm11
2647 // CHECK: vxorpd %ymm12, %ymm14, %ymm11
2648 // CHECK: encoding: [0xc4,0x41,0x0d,0x57,0xdc]
2649 vxorpd %ymm12, %ymm14, %ymm11
2651 // CHECK: vxorps -4(%rbx,%rcx,8), %ymm12, %ymm10
2652 // CHECK: encoding: [0xc5,0x1c,0x57,0x54,0xcb,0xfc]
2653 vxorps -4(%rbx,%rcx,8), %ymm12, %ymm10
2655 // CHECK: vxorpd -4(%rbx,%rcx,8), %ymm12, %ymm10
2656 // CHECK: encoding: [0xc5,0x1d,0x57,0x54,0xcb,0xfc]
2657 vxorpd -4(%rbx,%rcx,8), %ymm12, %ymm10
2659 // CHECK: vandnps %ymm12, %ymm14, %ymm11
2660 // CHECK: encoding: [0xc4,0x41,0x0c,0x55,0xdc]
2661 vandnps %ymm12, %ymm14, %ymm11
2663 // CHECK: vandnpd %ymm12, %ymm14, %ymm11
2664 // CHECK: encoding: [0xc4,0x41,0x0d,0x55,0xdc]
2665 vandnpd %ymm12, %ymm14, %ymm11
2667 // CHECK: vandnps -4(%rbx,%rcx,8), %ymm12, %ymm10
2668 // CHECK: encoding: [0xc5,0x1c,0x55,0x54,0xcb,0xfc]
2669 vandnps -4(%rbx,%rcx,8), %ymm12, %ymm10
2671 // CHECK: vandnpd -4(%rbx,%rcx,8), %ymm12, %ymm10
2672 // CHECK: encoding: [0xc5,0x1d,0x55,0x54,0xcb,0xfc]
2673 vandnpd -4(%rbx,%rcx,8), %ymm12, %ymm10
2675 // CHECK: vcvtps2pd %xmm13, %ymm12
2676 // CHECK: encoding: [0xc4,0x41,0x7c,0x5a,0xe5]
2677 vcvtps2pd %xmm13, %ymm12
2679 // CHECK: vcvtps2pd (%rax), %ymm12
2680 // CHECK: encoding: [0xc5,0x7c,0x5a,0x20]
2681 vcvtps2pd (%rax), %ymm12
2683 // CHECK: vcvtdq2pd %xmm13, %ymm12
2684 // CHECK: encoding: [0xc4,0x41,0x7e,0xe6,0xe5]
2685 vcvtdq2pd %xmm13, %ymm12
2687 // CHECK: vcvtdq2pd (%rax), %ymm12
2688 // CHECK: encoding: [0xc5,0x7e,0xe6,0x20]
2689 vcvtdq2pd (%rax), %ymm12
2691 // CHECK: vcvtdq2ps %ymm12, %ymm10
2692 // CHECK: encoding: [0xc4,0x41,0x7c,0x5b,0xd4]
2693 vcvtdq2ps %ymm12, %ymm10
2695 // CHECK: vcvtdq2ps (%rax), %ymm12
2696 // CHECK: encoding: [0xc5,0x7c,0x5b,0x20]
2697 vcvtdq2ps (%rax), %ymm12
2699 // CHECK: vcvtps2dq %ymm12, %ymm10
2700 // CHECK: encoding: [0xc4,0x41,0x7d,0x5b,0xd4]
2701 vcvtps2dq %ymm12, %ymm10
2703 // CHECK: vcvtps2dq (%rax), %ymm10
2704 // CHECK: encoding: [0xc5,0x7d,0x5b,0x10]
2705 vcvtps2dq (%rax), %ymm10
2707 // CHECK: vcvttps2dq %ymm12, %ymm10
2708 // CHECK: encoding: [0xc4,0x41,0x7e,0x5b,0xd4]
2709 vcvttps2dq %ymm12, %ymm10
2711 // CHECK: vcvttps2dq (%rax), %ymm10
2712 // CHECK: encoding: [0xc5,0x7e,0x5b,0x10]
2713 vcvttps2dq (%rax), %ymm10
2715 // CHECK: vcvttpd2dq %xmm11, %xmm10
2716 // CHECK: encoding: [0xc4,0x41,0x79,0xe6,0xd3]
2717 vcvttpd2dq %xmm11, %xmm10
2719 // CHECK: vcvttpd2dq %ymm12, %xmm10
2720 // CHECK: encoding: [0xc4,0x41,0x7d,0xe6,0xd4]
2721 vcvttpd2dq %ymm12, %xmm10
2723 // CHECK: vcvttpd2dqx %xmm11, %xmm10
2724 // CHECK: encoding: [0xc4,0x41,0x79,0xe6,0xd3]
2725 vcvttpd2dqx %xmm11, %xmm10
2727 // CHECK: vcvttpd2dqx (%rax), %xmm11
2728 // CHECK: encoding: [0xc5,0x79,0xe6,0x18]
2729 vcvttpd2dqx (%rax), %xmm11
2731 // CHECK: vcvttpd2dqy %ymm12, %xmm11
2732 // CHECK: encoding: [0xc4,0x41,0x7d,0xe6,0xdc]
2733 vcvttpd2dqy %ymm12, %xmm11
2735 // CHECK: vcvttpd2dqy (%rax), %xmm11
2736 // CHECK: encoding: [0xc5,0x7d,0xe6,0x18]
2737 vcvttpd2dqy (%rax), %xmm11
2739 // CHECK: vcvtpd2ps %ymm12, %xmm10
2740 // CHECK: encoding: [0xc4,0x41,0x7d,0x5a,0xd4]
2741 vcvtpd2ps %ymm12, %xmm10
2743 // CHECK: vcvtpd2psx %xmm11, %xmm10
2744 // CHECK: encoding: [0xc4,0x41,0x79,0x5a,0xd3]
2745 vcvtpd2psx %xmm11, %xmm10
2747 // CHECK: vcvtpd2psx (%rax), %xmm11
2748 // CHECK: encoding: [0xc5,0x79,0x5a,0x18]
2749 vcvtpd2psx (%rax), %xmm11
2751 // CHECK: vcvtpd2psy %ymm12, %xmm11
2752 // CHECK: encoding: [0xc4,0x41,0x7d,0x5a,0xdc]
2753 vcvtpd2psy %ymm12, %xmm11
2755 // CHECK: vcvtpd2psy (%rax), %xmm11
2756 // CHECK: encoding: [0xc5,0x7d,0x5a,0x18]
2757 vcvtpd2psy (%rax), %xmm11
2759 // CHECK: vcvtpd2dq %ymm12, %xmm10
2760 // CHECK: encoding: [0xc4,0x41,0x7f,0xe6,0xd4]
2761 vcvtpd2dq %ymm12, %xmm10
2763 // CHECK: vcvtpd2dqy %ymm12, %xmm11
2764 // CHECK: encoding: [0xc4,0x41,0x7f,0xe6,0xdc]
2765 vcvtpd2dqy %ymm12, %xmm11
2767 // CHECK: vcvtpd2dqy (%rax), %xmm11
2768 // CHECK: encoding: [0xc5,0x7f,0xe6,0x18]
2769 vcvtpd2dqy (%rax), %xmm11
2771 // CHECK: vcvtpd2dqx %xmm11, %xmm10
2772 // CHECK: encoding: [0xc4,0x41,0x7b,0xe6,0xd3]
2773 vcvtpd2dqx %xmm11, %xmm10
2775 // CHECK: vcvtpd2dqx (%rax), %xmm11
2776 // CHECK: encoding: [0xc5,0x7b,0xe6,0x18]
2777 vcvtpd2dqx (%rax), %xmm11
2779 // CHECK: vcmpps $0, %ymm11, %ymm12, %ymm13
2780 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x00]
2781 vcmpeqps %ymm11, %ymm12, %ymm13
2783 // CHECK: vcmpps $2, %ymm11, %ymm12, %ymm13
2784 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x02]
2785 vcmpleps %ymm11, %ymm12, %ymm13
2787 // CHECK: vcmpps $1, %ymm11, %ymm12, %ymm13
2788 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x01]
2789 vcmpltps %ymm11, %ymm12, %ymm13
2791 // CHECK: vcmpps $4, %ymm11, %ymm12, %ymm13
2792 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x04]
2793 vcmpneqps %ymm11, %ymm12, %ymm13
2795 // CHECK: vcmpps $6, %ymm11, %ymm12, %ymm13
2796 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x06]
2797 vcmpnleps %ymm11, %ymm12, %ymm13
2799 // CHECK: vcmpps $5, %ymm11, %ymm12, %ymm13
2800 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x05]
2801 vcmpnltps %ymm11, %ymm12, %ymm13
2803 // CHECK: vcmpps $7, %ymm11, %ymm12, %ymm13
2804 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x07]
2805 vcmpordps %ymm11, %ymm12, %ymm13
2807 // CHECK: vcmpps $3, %ymm11, %ymm12, %ymm13
2808 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x03]
2809 vcmpunordps %ymm11, %ymm12, %ymm13
2811 // CHECK: vcmpps $0, -4(%rbx,%rcx,8), %ymm12, %ymm13
2812 // CHECK: encoding: [0xc5,0x1c,0xc2,0x6c,0xcb,0xfc,0x00]
2813 vcmpeqps -4(%rbx,%rcx,8), %ymm12, %ymm13
2815 // CHECK: vcmpps $2, -4(%rbx,%rcx,8), %ymm12, %ymm13
2816 // CHECK: encoding: [0xc5,0x1c,0xc2,0x6c,0xcb,0xfc,0x02]
2817 vcmpleps -4(%rbx,%rcx,8), %ymm12, %ymm13
2819 // CHECK: vcmpps $1, -4(%rbx,%rcx,8), %ymm12, %ymm13
2820 // CHECK: encoding: [0xc5,0x1c,0xc2,0x6c,0xcb,0xfc,0x01]
2821 vcmpltps -4(%rbx,%rcx,8), %ymm12, %ymm13
2823 // CHECK: vcmpps $4, -4(%rbx,%rcx,8), %ymm12, %ymm13
2824 // CHECK: encoding: [0xc5,0x1c,0xc2,0x6c,0xcb,0xfc,0x04]
2825 vcmpneqps -4(%rbx,%rcx,8), %ymm12, %ymm13
2827 // CHECK: vcmpps $6, -4(%rbx,%rcx,8), %ymm12, %ymm13
2828 // CHECK: encoding: [0xc5,0x1c,0xc2,0x6c,0xcb,0xfc,0x06]
2829 vcmpnleps -4(%rbx,%rcx,8), %ymm12, %ymm13
2831 // CHECK: vcmpps $5, -4(%rbx,%rcx,8), %ymm12, %ymm13
2832 // CHECK: encoding: [0xc5,0x1c,0xc2,0x6c,0xcb,0xfc,0x05]
2833 vcmpnltps -4(%rbx,%rcx,8), %ymm12, %ymm13
2835 // CHECK: vcmpps $7, -4(%rbx,%rcx,8), %ymm6, %ymm12
2836 // CHECK: encoding: [0xc5,0x4c,0xc2,0x64,0xcb,0xfc,0x07]
2837 vcmpordps -4(%rbx,%rcx,8), %ymm6, %ymm12
2839 // CHECK: vcmpps $3, -4(%rbx,%rcx,8), %ymm12, %ymm13
2840 // CHECK: encoding: [0xc5,0x1c,0xc2,0x6c,0xcb,0xfc,0x03]
2841 vcmpunordps -4(%rbx,%rcx,8), %ymm12, %ymm13
2843 // CHECK: vcmppd $0, %ymm11, %ymm12, %ymm13
2844 // CHECK: encoding: [0xc4,0x41,0x1d,0xc2,0xeb,0x00]
2845 vcmpeqpd %ymm11, %ymm12, %ymm13
2847 // CHECK: vcmppd $2, %ymm11, %ymm12, %ymm13
2848 // CHECK: encoding: [0xc4,0x41,0x1d,0xc2,0xeb,0x02]
2849 vcmplepd %ymm11, %ymm12, %ymm13
2851 // CHECK: vcmppd $1, %ymm11, %ymm12, %ymm13
2852 // CHECK: encoding: [0xc4,0x41,0x1d,0xc2,0xeb,0x01]
2853 vcmpltpd %ymm11, %ymm12, %ymm13
2855 // CHECK: vcmppd $4, %ymm11, %ymm12, %ymm13
2856 // CHECK: encoding: [0xc4,0x41,0x1d,0xc2,0xeb,0x04]
2857 vcmpneqpd %ymm11, %ymm12, %ymm13
2859 // CHECK: vcmppd $6, %ymm11, %ymm12, %ymm13
2860 // CHECK: encoding: [0xc4,0x41,0x1d,0xc2,0xeb,0x06]
2861 vcmpnlepd %ymm11, %ymm12, %ymm13
2863 // CHECK: vcmppd $5, %ymm11, %ymm12, %ymm13
2864 // CHECK: encoding: [0xc4,0x41,0x1d,0xc2,0xeb,0x05]
2865 vcmpnltpd %ymm11, %ymm12, %ymm13
2867 // CHECK: vcmppd $7, %ymm11, %ymm12, %ymm13
2868 // CHECK: encoding: [0xc4,0x41,0x1d,0xc2,0xeb,0x07]
2869 vcmpordpd %ymm11, %ymm12, %ymm13
2871 // CHECK: vcmppd $3, %ymm11, %ymm12, %ymm13
2872 // CHECK: encoding: [0xc4,0x41,0x1d,0xc2,0xeb,0x03]
2873 vcmpunordpd %ymm11, %ymm12, %ymm13
2875 // CHECK: vcmppd $0, -4(%rbx,%rcx,8), %ymm12, %ymm13
2876 // CHECK: encoding: [0xc5,0x1d,0xc2,0x6c,0xcb,0xfc,0x00]
2877 vcmpeqpd -4(%rbx,%rcx,8), %ymm12, %ymm13
2879 // CHECK: vcmppd $2, -4(%rbx,%rcx,8), %ymm12, %ymm13
2880 // CHECK: encoding: [0xc5,0x1d,0xc2,0x6c,0xcb,0xfc,0x02]
2881 vcmplepd -4(%rbx,%rcx,8), %ymm12, %ymm13
2883 // CHECK: vcmppd $1, -4(%rbx,%rcx,8), %ymm12, %ymm13
2884 // CHECK: encoding: [0xc5,0x1d,0xc2,0x6c,0xcb,0xfc,0x01]
2885 vcmpltpd -4(%rbx,%rcx,8), %ymm12, %ymm13
2887 // CHECK: vcmppd $4, -4(%rbx,%rcx,8), %ymm12, %ymm13
2888 // CHECK: encoding: [0xc5,0x1d,0xc2,0x6c,0xcb,0xfc,0x04]
2889 vcmpneqpd -4(%rbx,%rcx,8), %ymm12, %ymm13
2891 // CHECK: vcmppd $6, -4(%rbx,%rcx,8), %ymm12, %ymm13
2892 // CHECK: encoding: [0xc5,0x1d,0xc2,0x6c,0xcb,0xfc,0x06]
2893 vcmpnlepd -4(%rbx,%rcx,8), %ymm12, %ymm13
2895 // CHECK: vcmppd $5, -4(%rbx,%rcx,8), %ymm12, %ymm13
2896 // CHECK: encoding: [0xc5,0x1d,0xc2,0x6c,0xcb,0xfc,0x05]
2897 vcmpnltpd -4(%rbx,%rcx,8), %ymm12, %ymm13
2899 // CHECK: vcmppd $7, -4(%rbx,%rcx,8), %ymm6, %ymm12
2900 // CHECK: encoding: [0xc5,0x4d,0xc2,0x64,0xcb,0xfc,0x07]
2901 vcmpordpd -4(%rbx,%rcx,8), %ymm6, %ymm12
2903 // CHECK: vcmppd $3, -4(%rbx,%rcx,8), %ymm12, %ymm13
2904 // CHECK: encoding: [0xc5,0x1d,0xc2,0x6c,0xcb,0xfc,0x03]
2905 vcmpunordpd -4(%rbx,%rcx,8), %ymm12, %ymm13
2907 // CHECK: vcmpps $8, %ymm11, %ymm12, %ymm13
2908 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x08]
2909 vcmpeq_uqps %ymm11, %ymm12, %ymm13
2911 // CHECK: vcmpps $9, %ymm11, %ymm12, %ymm13
2912 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x09]
2913 vcmpngeps %ymm11, %ymm12, %ymm13
2915 // CHECK: vcmpps $10, %ymm11, %ymm12, %ymm13
2916 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x0a]
2917 vcmpngtps %ymm11, %ymm12, %ymm13
2919 // CHECK: vcmpps $11, %ymm11, %ymm12, %ymm13
2920 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x0b]
2921 vcmpfalseps %ymm11, %ymm12, %ymm13
2923 // CHECK: vcmpps $12, %ymm11, %ymm12, %ymm13
2924 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x0c]
2925 vcmpneq_oqps %ymm11, %ymm12, %ymm13
2927 // CHECK: vcmpps $13, %ymm11, %ymm12, %ymm13
2928 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x0d]
2929 vcmpgeps %ymm11, %ymm12, %ymm13
2931 // CHECK: vcmpps $14, %ymm11, %ymm12, %ymm13
2932 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x0e]
2933 vcmpgtps %ymm11, %ymm12, %ymm13
2935 // CHECK: vcmpps $15, %ymm11, %ymm12, %ymm13
2936 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x0f]
2937 vcmptrueps %ymm11, %ymm12, %ymm13
2939 // CHECK: vcmpps $16, %ymm11, %ymm12, %ymm13
2940 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x10]
2941 vcmpeq_osps %ymm11, %ymm12, %ymm13
2943 // CHECK: vcmpps $17, %ymm11, %ymm12, %ymm13
2944 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x11]
2945 vcmplt_oqps %ymm11, %ymm12, %ymm13
2947 // CHECK: vcmpps $18, %ymm11, %ymm12, %ymm13
2948 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x12]
2949 vcmple_oqps %ymm11, %ymm12, %ymm13
2951 // CHECK: vcmpps $19, %ymm11, %ymm12, %ymm13
2952 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x13]
2953 vcmpunord_sps %ymm11, %ymm12, %ymm13
2955 // CHECK: vcmpps $20, %ymm11, %ymm12, %ymm13
2956 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x14]
2957 vcmpneq_usps %ymm11, %ymm12, %ymm13
2959 // CHECK: vcmpps $21, %ymm11, %ymm12, %ymm13
2960 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x15]
2961 vcmpnlt_uqps %ymm11, %ymm12, %ymm13
2963 // CHECK: vcmpps $22, %ymm11, %ymm12, %ymm13
2964 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x16]
2965 vcmpnle_uqps %ymm11, %ymm12, %ymm13
2967 // CHECK: vcmpps $23, %ymm11, %ymm12, %ymm13
2968 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x17]
2969 vcmpord_sps %ymm11, %ymm12, %ymm13
2971 // CHECK: vcmpps $24, %ymm11, %ymm12, %ymm13
2972 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x18]
2973 vcmpeq_usps %ymm11, %ymm12, %ymm13
2975 // CHECK: vcmpps $25, %ymm11, %ymm12, %ymm13
2976 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x19]
2977 vcmpnge_uqps %ymm11, %ymm12, %ymm13
2979 // CHECK: vcmpps $26, %ymm11, %ymm12, %ymm13
2980 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x1a]
2981 vcmpngt_uqps %ymm11, %ymm12, %ymm13
2983 // CHECK: vcmpps $27, %ymm11, %ymm12, %ymm13
2984 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x1b]
2985 vcmpfalse_osps %ymm11, %ymm12, %ymm13
2987 // CHECK: vcmpps $28, %ymm11, %ymm12, %ymm13
2988 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x1c]
2989 vcmpneq_osps %ymm11, %ymm12, %ymm13
2991 // CHECK: vcmpps $29, %ymm11, %ymm12, %ymm13
2992 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x1d]
2993 vcmpge_oqps %ymm11, %ymm12, %ymm13
2995 // CHECK: vcmpps $30, %ymm11, %ymm12, %ymm13
2996 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x1e]
2997 vcmpgt_oqps %ymm11, %ymm12, %ymm13
2999 // CHECK: vcmpps $31, %ymm11, %ymm12, %ymm13
3000 // CHECK: encoding: [0xc4,0x41,0x1c,0xc2,0xeb,0x1f]
3001 vcmptrue_usps %ymm11, %ymm12, %ymm13
3003 // CHECK: vaddsubps %ymm11, %ymm12, %ymm13
3004 // CHECK: encoding: [0xc4,0x41,0x1f,0xd0,0xeb]
3005 vaddsubps %ymm11, %ymm12, %ymm13
3007 // CHECK: vaddsubps (%rax), %ymm11, %ymm12
3008 // CHECK: encoding: [0xc5,0x27,0xd0,0x20]
3009 vaddsubps (%rax), %ymm11, %ymm12
3011 // CHECK: vaddsubpd %ymm11, %ymm12, %ymm13
3012 // CHECK: encoding: [0xc4,0x41,0x1d,0xd0,0xeb]
3013 vaddsubpd %ymm11, %ymm12, %ymm13
3015 // CHECK: vaddsubpd (%rax), %ymm11, %ymm12
3016 // CHECK: encoding: [0xc5,0x25,0xd0,0x20]
3017 vaddsubpd (%rax), %ymm11, %ymm12
3019 // CHECK: vhaddps %ymm11, %ymm12, %ymm13
3020 // CHECK: encoding: [0xc4,0x41,0x1f,0x7c,0xeb]
3021 vhaddps %ymm11, %ymm12, %ymm13
3023 // CHECK: vhaddps (%rax), %ymm12, %ymm13
3024 // CHECK: encoding: [0xc5,0x1f,0x7c,0x28]
3025 vhaddps (%rax), %ymm12, %ymm13
3027 // CHECK: vhaddpd %ymm11, %ymm12, %ymm13
3028 // CHECK: encoding: [0xc4,0x41,0x1d,0x7c,0xeb]
3029 vhaddpd %ymm11, %ymm12, %ymm13
3031 // CHECK: vhaddpd (%rax), %ymm12, %ymm13
3032 // CHECK: encoding: [0xc5,0x1d,0x7c,0x28]
3033 vhaddpd (%rax), %ymm12, %ymm13
3035 // CHECK: vhsubps %ymm11, %ymm12, %ymm13
3036 // CHECK: encoding: [0xc4,0x41,0x1f,0x7d,0xeb]
3037 vhsubps %ymm11, %ymm12, %ymm13
3039 // CHECK: vhsubps (%rax), %ymm12, %ymm13
3040 // CHECK: encoding: [0xc5,0x1f,0x7d,0x28]
3041 vhsubps (%rax), %ymm12, %ymm13
3043 // CHECK: vhsubpd %ymm11, %ymm12, %ymm13
3044 // CHECK: encoding: [0xc4,0x41,0x1d,0x7d,0xeb]
3045 vhsubpd %ymm11, %ymm12, %ymm13
3047 // CHECK: vhsubpd (%rax), %ymm12, %ymm13
3048 // CHECK: encoding: [0xc5,0x1d,0x7d,0x28]
3049 vhsubpd (%rax), %ymm12, %ymm13
3051 // CHECK: vblendps $3, %ymm12, %ymm10, %ymm11
3052 // CHECK: encoding: [0xc4,0x43,0x2d,0x0c,0xdc,0x03]
3053 vblendps $3, %ymm12, %ymm10, %ymm11
3055 // CHECK: vblendps $3, (%rax), %ymm10, %ymm11
3056 // CHECK: encoding: [0xc4,0x63,0x2d,0x0c,0x18,0x03]
3057 vblendps $3, (%rax), %ymm10, %ymm11
3059 // CHECK: vblendpd $3, %ymm12, %ymm10, %ymm11
3060 // CHECK: encoding: [0xc4,0x43,0x2d,0x0d,0xdc,0x03]
3061 vblendpd $3, %ymm12, %ymm10, %ymm11
3063 // CHECK: vblendpd $3, (%rax), %ymm10, %ymm11
3064 // CHECK: encoding: [0xc4,0x63,0x2d,0x0d,0x18,0x03]
3065 vblendpd $3, (%rax), %ymm10, %ymm11
3067 // CHECK: vdpps $3, %ymm12, %ymm10, %ymm11
3068 // CHECK: encoding: [0xc4,0x43,0x2d,0x40,0xdc,0x03]
3069 vdpps $3, %ymm12, %ymm10, %ymm11
3071 // CHECK: vdpps $3, (%rax), %ymm10, %ymm11
3072 // CHECK: encoding: [0xc4,0x63,0x2d,0x40,0x18,0x03]
3073 vdpps $3, (%rax), %ymm10, %ymm11