[x86] Add assembly parser bounds checking to the immediate value for cmpss/cmpsd...
[opencl/llvm.git] / test / MC / X86 / x86-32-avx.s
1 // RUN: llvm-mc -triple i386-unknown-unknown --show-encoding %s | FileCheck %s
3 // CHECK: vaddss  %xmm4, %xmm6, %xmm2
4 // CHECK:  encoding: [0xc5,0xca,0x58,0xd4]
5           vaddss  %xmm4, %xmm6, %xmm2
7 // CHECK: vmulss  %xmm4, %xmm6, %xmm2
8 // CHECK:  encoding: [0xc5,0xca,0x59,0xd4]
9           vmulss  %xmm4, %xmm6, %xmm2
11 // CHECK: vsubss  %xmm4, %xmm6, %xmm2
12 // CHECK:  encoding: [0xc5,0xca,0x5c,0xd4]
13           vsubss  %xmm4, %xmm6, %xmm2
15 // CHECK: vdivss  %xmm4, %xmm6, %xmm2
16 // CHECK:  encoding: [0xc5,0xca,0x5e,0xd4]
17           vdivss  %xmm4, %xmm6, %xmm2
19 // CHECK: vaddsd  %xmm4, %xmm6, %xmm2
20 // CHECK:  encoding: [0xc5,0xcb,0x58,0xd4]
21           vaddsd  %xmm4, %xmm6, %xmm2
23 // CHECK: vmulsd  %xmm4, %xmm6, %xmm2
24 // CHECK:  encoding: [0xc5,0xcb,0x59,0xd4]
25           vmulsd  %xmm4, %xmm6, %xmm2
27 // CHECK: vsubsd  %xmm4, %xmm6, %xmm2
28 // CHECK:  encoding: [0xc5,0xcb,0x5c,0xd4]
29           vsubsd  %xmm4, %xmm6, %xmm2
31 // CHECK: vdivsd  %xmm4, %xmm6, %xmm2
32 // CHECK:  encoding: [0xc5,0xcb,0x5e,0xd4]
33           vdivsd  %xmm4, %xmm6, %xmm2
35 // CHECK: vaddss  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
36 // CHECK:  encoding: [0xc5,0xea,0x58,0xac,0xcb,0xef,0xbe,0xad,0xde]
37           vaddss  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
39 // CHECK: vsubss  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
40 // CHECK:  encoding: [0xc5,0xea,0x5c,0xac,0xcb,0xef,0xbe,0xad,0xde]
41           vsubss  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
43 // CHECK: vmulss  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
44 // CHECK:  encoding: [0xc5,0xea,0x59,0xac,0xcb,0xef,0xbe,0xad,0xde]
45           vmulss  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
47 // CHECK: vdivss  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
48 // CHECK:  encoding: [0xc5,0xea,0x5e,0xac,0xcb,0xef,0xbe,0xad,0xde]
49           vdivss  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
51 // CHECK: vaddsd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
52 // CHECK:  encoding: [0xc5,0xeb,0x58,0xac,0xcb,0xef,0xbe,0xad,0xde]
53           vaddsd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
55 // CHECK: vsubsd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
56 // CHECK:  encoding: [0xc5,0xeb,0x5c,0xac,0xcb,0xef,0xbe,0xad,0xde]
57           vsubsd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
59 // CHECK: vmulsd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
60 // CHECK:  encoding: [0xc5,0xeb,0x59,0xac,0xcb,0xef,0xbe,0xad,0xde]
61           vmulsd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
63 // CHECK: vdivsd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
64 // CHECK:  encoding: [0xc5,0xeb,0x5e,0xac,0xcb,0xef,0xbe,0xad,0xde]
65           vdivsd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
67 // CHECK: vaddps  %xmm4, %xmm6, %xmm2
68 // CHECK: encoding: [0xc5,0xc8,0x58,0xd4]
69           vaddps  %xmm4, %xmm6, %xmm2
71 // CHECK: vsubps  %xmm4, %xmm6, %xmm2
72 // CHECK: encoding: [0xc5,0xc8,0x5c,0xd4]
73           vsubps  %xmm4, %xmm6, %xmm2
75 // CHECK: vmulps  %xmm4, %xmm6, %xmm2
76 // CHECK: encoding: [0xc5,0xc8,0x59,0xd4]
77           vmulps  %xmm4, %xmm6, %xmm2
79 // CHECK: vdivps  %xmm4, %xmm6, %xmm2
80 // CHECK: encoding: [0xc5,0xc8,0x5e,0xd4]
81           vdivps  %xmm4, %xmm6, %xmm2
83 // CHECK: vaddpd  %xmm4, %xmm6, %xmm2
84 // CHECK: encoding: [0xc5,0xc9,0x58,0xd4]
85           vaddpd  %xmm4, %xmm6, %xmm2
87 // CHECK: vsubpd  %xmm4, %xmm6, %xmm2
88 // CHECK: encoding: [0xc5,0xc9,0x5c,0xd4]
89           vsubpd  %xmm4, %xmm6, %xmm2
91 // CHECK: vmulpd  %xmm4, %xmm6, %xmm2
92 // CHECK: encoding: [0xc5,0xc9,0x59,0xd4]
93           vmulpd  %xmm4, %xmm6, %xmm2
95 // CHECK: vdivpd  %xmm4, %xmm6, %xmm2
96 // CHECK: encoding: [0xc5,0xc9,0x5e,0xd4]
97           vdivpd  %xmm4, %xmm6, %xmm2
99 // CHECK: vaddps  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
100 // CHECK: encoding: [0xc5,0xe8,0x58,0xac,0xcb,0xef,0xbe,0xad,0xde]
101           vaddps  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
103 // CHECK: vsubps  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
104 // CHECK: encoding: [0xc5,0xe8,0x5c,0xac,0xcb,0xef,0xbe,0xad,0xde]
105           vsubps  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
107 // CHECK: vmulps  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
108 // CHECK: encoding: [0xc5,0xe8,0x59,0xac,0xcb,0xef,0xbe,0xad,0xde]
109           vmulps  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
111 // CHECK: vdivps  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
112 // CHECK: encoding: [0xc5,0xe8,0x5e,0xac,0xcb,0xef,0xbe,0xad,0xde]
113           vdivps  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
115 // CHECK: vaddpd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
116 // CHECK: encoding: [0xc5,0xe9,0x58,0xac,0xcb,0xef,0xbe,0xad,0xde]
117           vaddpd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
119 // CHECK: vsubpd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
120 // CHECK: encoding: [0xc5,0xe9,0x5c,0xac,0xcb,0xef,0xbe,0xad,0xde]
121           vsubpd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
123 // CHECK: vmulpd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
124 // CHECK: encoding: [0xc5,0xe9,0x59,0xac,0xcb,0xef,0xbe,0xad,0xde]
125           vmulpd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
127 // CHECK: vdivpd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
128 // CHECK: encoding: [0xc5,0xe9,0x5e,0xac,0xcb,0xef,0xbe,0xad,0xde]
129           vdivpd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
130 // CHECK: vmaxss  %xmm2, %xmm4, %xmm6
131 // CHECK: encoding: [0xc5,0xda,0x5f,0xf2]
132           vmaxss  %xmm2, %xmm4, %xmm6
134 // CHECK: vmaxsd  %xmm2, %xmm4, %xmm6
135 // CHECK: encoding: [0xc5,0xdb,0x5f,0xf2]
136           vmaxsd  %xmm2, %xmm4, %xmm6
138 // CHECK: vminss  %xmm2, %xmm4, %xmm6
139 // CHECK: encoding: [0xc5,0xda,0x5d,0xf2]
140           vminss  %xmm2, %xmm4, %xmm6
142 // CHECK: vminsd  %xmm2, %xmm4, %xmm6
143 // CHECK: encoding: [0xc5,0xdb,0x5d,0xf2]
144           vminsd  %xmm2, %xmm4, %xmm6
146 // CHECK: vmaxss  -4(%ebx,%ecx,8), %xmm2, %xmm5
147 // CHECK: encoding: [0xc5,0xea,0x5f,0x6c,0xcb,0xfc]
148           vmaxss  -4(%ebx,%ecx,8), %xmm2, %xmm5
150 // CHECK: vmaxsd  -4(%ebx,%ecx,8), %xmm2, %xmm5
151 // CHECK: encoding: [0xc5,0xeb,0x5f,0x6c,0xcb,0xfc]
152           vmaxsd  -4(%ebx,%ecx,8), %xmm2, %xmm5
154 // CHECK: vminss  -4(%ebx,%ecx,8), %xmm2, %xmm5
155 // CHECK: encoding: [0xc5,0xea,0x5d,0x6c,0xcb,0xfc]
156           vminss  -4(%ebx,%ecx,8), %xmm2, %xmm5
158 // CHECK: vminsd  -4(%ebx,%ecx,8), %xmm2, %xmm5
159 // CHECK: encoding: [0xc5,0xeb,0x5d,0x6c,0xcb,0xfc]
160           vminsd  -4(%ebx,%ecx,8), %xmm2, %xmm5
162 // CHECK: vmaxps  %xmm2, %xmm4, %xmm6
163 // CHECK: encoding: [0xc5,0xd8,0x5f,0xf2]
164           vmaxps  %xmm2, %xmm4, %xmm6
166 // CHECK: vmaxpd  %xmm2, %xmm4, %xmm6
167 // CHECK: encoding: [0xc5,0xd9,0x5f,0xf2]
168           vmaxpd  %xmm2, %xmm4, %xmm6
170 // CHECK: vminps  %xmm2, %xmm4, %xmm6
171 // CHECK: encoding: [0xc5,0xd8,0x5d,0xf2]
172           vminps  %xmm2, %xmm4, %xmm6
174 // CHECK: vminpd  %xmm2, %xmm4, %xmm6
175 // CHECK: encoding: [0xc5,0xd9,0x5d,0xf2]
176           vminpd  %xmm2, %xmm4, %xmm6
178 // CHECK: vmaxps  -4(%ebx,%ecx,8), %xmm2, %xmm5
179 // CHECK: encoding: [0xc5,0xe8,0x5f,0x6c,0xcb,0xfc]
180           vmaxps  -4(%ebx,%ecx,8), %xmm2, %xmm5
182 // CHECK: vmaxpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
183 // CHECK: encoding: [0xc5,0xe9,0x5f,0x6c,0xcb,0xfc]
184           vmaxpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
186 // CHECK: vminps  -4(%ebx,%ecx,8), %xmm2, %xmm5
187 // CHECK: encoding: [0xc5,0xe8,0x5d,0x6c,0xcb,0xfc]
188           vminps  -4(%ebx,%ecx,8), %xmm2, %xmm5
190 // CHECK: vminpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
191 // CHECK: encoding: [0xc5,0xe9,0x5d,0x6c,0xcb,0xfc]
192           vminpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
194 // CHECK: vandps  %xmm2, %xmm4, %xmm6
195 // CHECK: encoding: [0xc5,0xd8,0x54,0xf2]
196           vandps  %xmm2, %xmm4, %xmm6
198 // CHECK: vandpd  %xmm2, %xmm4, %xmm6
199 // CHECK: encoding: [0xc5,0xd9,0x54,0xf2]
200           vandpd  %xmm2, %xmm4, %xmm6
202 // CHECK: vandps  -4(%ebx,%ecx,8), %xmm2, %xmm5
203 // CHECK: encoding: [0xc5,0xe8,0x54,0x6c,0xcb,0xfc]
204           vandps  -4(%ebx,%ecx,8), %xmm2, %xmm5
206 // CHECK: vandpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
207 // CHECK: encoding: [0xc5,0xe9,0x54,0x6c,0xcb,0xfc]
208           vandpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
210 // CHECK: vorps  %xmm2, %xmm4, %xmm6
211 // CHECK: encoding: [0xc5,0xd8,0x56,0xf2]
212           vorps  %xmm2, %xmm4, %xmm6
214 // CHECK: vorpd  %xmm2, %xmm4, %xmm6
215 // CHECK: encoding: [0xc5,0xd9,0x56,0xf2]
216           vorpd  %xmm2, %xmm4, %xmm6
218 // CHECK: vorps  -4(%ebx,%ecx,8), %xmm2, %xmm5
219 // CHECK: encoding: [0xc5,0xe8,0x56,0x6c,0xcb,0xfc]
220           vorps  -4(%ebx,%ecx,8), %xmm2, %xmm5
222 // CHECK: vorpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
223 // CHECK: encoding: [0xc5,0xe9,0x56,0x6c,0xcb,0xfc]
224           vorpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
226 // CHECK: vxorps  %xmm2, %xmm4, %xmm6
227 // CHECK: encoding: [0xc5,0xd8,0x57,0xf2]
228           vxorps  %xmm2, %xmm4, %xmm6
230 // CHECK: vxorpd  %xmm2, %xmm4, %xmm6
231 // CHECK: encoding: [0xc5,0xd9,0x57,0xf2]
232           vxorpd  %xmm2, %xmm4, %xmm6
234 // CHECK: vxorps  -4(%ebx,%ecx,8), %xmm2, %xmm5
235 // CHECK: encoding: [0xc5,0xe8,0x57,0x6c,0xcb,0xfc]
236           vxorps  -4(%ebx,%ecx,8), %xmm2, %xmm5
238 // CHECK: vxorpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
239 // CHECK: encoding: [0xc5,0xe9,0x57,0x6c,0xcb,0xfc]
240           vxorpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
242 // CHECK: vandnps  %xmm2, %xmm4, %xmm6
243 // CHECK: encoding: [0xc5,0xd8,0x55,0xf2]
244           vandnps  %xmm2, %xmm4, %xmm6
246 // CHECK: vandnpd  %xmm2, %xmm4, %xmm6
247 // CHECK: encoding: [0xc5,0xd9,0x55,0xf2]
248           vandnpd  %xmm2, %xmm4, %xmm6
250 // CHECK: vandnps  -4(%ebx,%ecx,8), %xmm2, %xmm5
251 // CHECK: encoding: [0xc5,0xe8,0x55,0x6c,0xcb,0xfc]
252           vandnps  -4(%ebx,%ecx,8), %xmm2, %xmm5
254 // CHECK: vandnpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
255 // CHECK: encoding: [0xc5,0xe9,0x55,0x6c,0xcb,0xfc]
256           vandnpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
258 // CHECK: vmovss  -4(%ebx,%ecx,8), %xmm5
259 // CHECK: encoding: [0xc5,0xfa,0x10,0x6c,0xcb,0xfc]
260           vmovss  -4(%ebx,%ecx,8), %xmm5
262 // CHECK: vmovss  %xmm4, %xmm2, %xmm5
263 // CHECK: encoding: [0xc5,0xea,0x10,0xec]
264           vmovss  %xmm4, %xmm2, %xmm5
266 // CHECK: vmovsd  -4(%ebx,%ecx,8), %xmm5
267 // CHECK: encoding: [0xc5,0xfb,0x10,0x6c,0xcb,0xfc]
268           vmovsd  -4(%ebx,%ecx,8), %xmm5
270 // CHECK: vmovsd  %xmm4, %xmm2, %xmm5
271 // CHECK: encoding: [0xc5,0xeb,0x10,0xec]
272           vmovsd  %xmm4, %xmm2, %xmm5
274 // CHECK: vunpckhps  %xmm1, %xmm2, %xmm4
275 // CHECK: encoding: [0xc5,0xe8,0x15,0xe1]
276           vunpckhps  %xmm1, %xmm2, %xmm4
278 // CHECK: vunpckhpd  %xmm1, %xmm2, %xmm4
279 // CHECK: encoding: [0xc5,0xe9,0x15,0xe1]
280           vunpckhpd  %xmm1, %xmm2, %xmm4
282 // CHECK: vunpcklps  %xmm1, %xmm2, %xmm4
283 // CHECK: encoding: [0xc5,0xe8,0x14,0xe1]
284           vunpcklps  %xmm1, %xmm2, %xmm4
286 // CHECK: vunpcklpd  %xmm1, %xmm2, %xmm4
287 // CHECK: encoding: [0xc5,0xe9,0x14,0xe1]
288           vunpcklpd  %xmm1, %xmm2, %xmm4
290 // CHECK: vunpckhps  -4(%ebx,%ecx,8), %xmm2, %xmm5
291 // CHECK: encoding: [0xc5,0xe8,0x15,0x6c,0xcb,0xfc]
292           vunpckhps  -4(%ebx,%ecx,8), %xmm2, %xmm5
294 // CHECK: vunpckhpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
295 // CHECK: encoding: [0xc5,0xe9,0x15,0x6c,0xcb,0xfc]
296           vunpckhpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
298 // CHECK: vunpcklps  -4(%ebx,%ecx,8), %xmm2, %xmm5
299 // CHECK: encoding: [0xc5,0xe8,0x14,0x6c,0xcb,0xfc]
300           vunpcklps  -4(%ebx,%ecx,8), %xmm2, %xmm5
302 // CHECK: vunpcklpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
303 // CHECK: encoding: [0xc5,0xe9,0x14,0x6c,0xcb,0xfc]
304           vunpcklpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
306 // CHECK: vcmpps  $0, %xmm0, %xmm6, %xmm1
307 // CHECK: encoding: [0xc5,0xc8,0xc2,0xc8,0x00]
308           vcmpps  $0, %xmm0, %xmm6, %xmm1
310 // CHECK: vcmpps  $0, (%eax), %xmm6, %xmm1
311 // CHECK: encoding: [0xc5,0xc8,0xc2,0x08,0x00]
312           vcmpps  $0, (%eax), %xmm6, %xmm1
314 // CHECK: vcmpps  $7, %xmm0, %xmm6, %xmm1
315 // CHECK: encoding: [0xc5,0xc8,0xc2,0xc8,0x07]
316           vcmpps  $7, %xmm0, %xmm6, %xmm1
318 // CHECK: vcmppd  $0, %xmm0, %xmm6, %xmm1
319 // CHECK: encoding: [0xc5,0xc9,0xc2,0xc8,0x00]
320           vcmppd  $0, %xmm0, %xmm6, %xmm1
322 // CHECK: vcmppd  $0, (%eax), %xmm6, %xmm1
323 // CHECK: encoding: [0xc5,0xc9,0xc2,0x08,0x00]
324           vcmppd  $0, (%eax), %xmm6, %xmm1
326 // CHECK: vcmppd  $7, %xmm0, %xmm6, %xmm1
327 // CHECK: encoding: [0xc5,0xc9,0xc2,0xc8,0x07]
328           vcmppd  $7, %xmm0, %xmm6, %xmm1
330 // CHECK: vshufps  $8, %xmm1, %xmm2, %xmm3
331 // CHECK: encoding: [0xc5,0xe8,0xc6,0xd9,0x08]
332           vshufps  $8, %xmm1, %xmm2, %xmm3
334 // CHECK: vshufps  $8, -4(%ebx,%ecx,8), %xmm2, %xmm3
335 // CHECK: encoding: [0xc5,0xe8,0xc6,0x5c,0xcb,0xfc,0x08]
336           vshufps  $8, -4(%ebx,%ecx,8), %xmm2, %xmm3
338 // CHECK: vshufpd  $8, %xmm1, %xmm2, %xmm3
339 // CHECK: encoding: [0xc5,0xe9,0xc6,0xd9,0x08]
340           vshufpd  $8, %xmm1, %xmm2, %xmm3
342 // CHECK: vshufpd  $8, -4(%ebx,%ecx,8), %xmm2, %xmm3
343 // CHECK: encoding: [0xc5,0xe9,0xc6,0x5c,0xcb,0xfc,0x08]
344           vshufpd  $8, -4(%ebx,%ecx,8), %xmm2, %xmm3
346 // CHECK: vcmpps  $0, %xmm1, %xmm2, %xmm3
347 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x00]
348           vcmpeqps   %xmm1, %xmm2, %xmm3
350 // CHECK: vcmpps  $2, %xmm1, %xmm2, %xmm3
351 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x02]
352           vcmpleps   %xmm1, %xmm2, %xmm3
354 // CHECK: vcmpps  $1, %xmm1, %xmm2, %xmm3
355 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x01]
356           vcmpltps   %xmm1, %xmm2, %xmm3
358 // CHECK: vcmpps  $4, %xmm1, %xmm2, %xmm3
359 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x04]
360           vcmpneqps   %xmm1, %xmm2, %xmm3
362 // CHECK: vcmpps  $6, %xmm1, %xmm2, %xmm3
363 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x06]
364           vcmpnleps   %xmm1, %xmm2, %xmm3
366 // CHECK: vcmpps  $5, %xmm1, %xmm2, %xmm3
367 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x05]
368           vcmpnltps   %xmm1, %xmm2, %xmm3
370 // CHECK: vcmpps  $7, %xmm1, %xmm2, %xmm3
371 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x07]
372           vcmpordps   %xmm1, %xmm2, %xmm3
374 // CHECK: vcmpps  $3, %xmm1, %xmm2, %xmm3
375 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x03]
376           vcmpunordps   %xmm1, %xmm2, %xmm3
378 // CHECK: vcmpps  $0, -4(%ebx,%ecx,8), %xmm2, %xmm3
379 // CHECK: encoding: [0xc5,0xe8,0xc2,0x5c,0xcb,0xfc,0x00]
380           vcmpeqps   -4(%ebx,%ecx,8), %xmm2, %xmm3
382 // CHECK: vcmpps  $2, -4(%ebx,%ecx,8), %xmm2, %xmm3
383 // CHECK: encoding: [0xc5,0xe8,0xc2,0x5c,0xcb,0xfc,0x02]
384           vcmpleps   -4(%ebx,%ecx,8), %xmm2, %xmm3
386 // CHECK: vcmpps  $1, -4(%ebx,%ecx,8), %xmm2, %xmm3
387 // CHECK: encoding: [0xc5,0xe8,0xc2,0x5c,0xcb,0xfc,0x01]
388           vcmpltps   -4(%ebx,%ecx,8), %xmm2, %xmm3
390 // CHECK: vcmpps  $4, -4(%ebx,%ecx,8), %xmm2, %xmm3
391 // CHECK: encoding: [0xc5,0xe8,0xc2,0x5c,0xcb,0xfc,0x04]
392           vcmpneqps   -4(%ebx,%ecx,8), %xmm2, %xmm3
394 // CHECK: vcmpps  $6, -4(%ebx,%ecx,8), %xmm2, %xmm3
395 // CHECK: encoding: [0xc5,0xe8,0xc2,0x5c,0xcb,0xfc,0x06]
396           vcmpnleps   -4(%ebx,%ecx,8), %xmm2, %xmm3
398 // CHECK: vcmpps  $5, -4(%ebx,%ecx,8), %xmm2, %xmm3
399 // CHECK: encoding: [0xc5,0xe8,0xc2,0x5c,0xcb,0xfc,0x05]
400           vcmpnltps   -4(%ebx,%ecx,8), %xmm2, %xmm3
402 // CHECK: vcmpps  $7, -4(%ebx,%ecx,8), %xmm6, %xmm2
403 // CHECK: encoding: [0xc5,0xc8,0xc2,0x54,0xcb,0xfc,0x07]
404           vcmpordps   -4(%ebx,%ecx,8), %xmm6, %xmm2
406 // CHECK: vcmpps  $3, -4(%ebx,%ecx,8), %xmm2, %xmm3
407 // CHECK: encoding: [0xc5,0xe8,0xc2,0x5c,0xcb,0xfc,0x03]
408           vcmpunordps   -4(%ebx,%ecx,8), %xmm2, %xmm3
410 // CHECK: vcmppd  $0, %xmm1, %xmm2, %xmm3
411 // CHECK: encoding: [0xc5,0xe9,0xc2,0xd9,0x00]
412           vcmpeqpd   %xmm1, %xmm2, %xmm3
414 // CHECK: vcmppd  $2, %xmm1, %xmm2, %xmm3
415 // CHECK: encoding: [0xc5,0xe9,0xc2,0xd9,0x02]
416           vcmplepd   %xmm1, %xmm2, %xmm3
418 // CHECK: vcmppd  $1, %xmm1, %xmm2, %xmm3
419 // CHECK: encoding: [0xc5,0xe9,0xc2,0xd9,0x01]
420           vcmpltpd   %xmm1, %xmm2, %xmm3
422 // CHECK: vcmppd  $4, %xmm1, %xmm2, %xmm3
423 // CHECK: encoding: [0xc5,0xe9,0xc2,0xd9,0x04]
424           vcmpneqpd   %xmm1, %xmm2, %xmm3
426 // CHECK: vcmppd  $6, %xmm1, %xmm2, %xmm3
427 // CHECK: encoding: [0xc5,0xe9,0xc2,0xd9,0x06]
428           vcmpnlepd   %xmm1, %xmm2, %xmm3
430 // CHECK: vcmppd  $5, %xmm1, %xmm2, %xmm3
431 // CHECK: encoding: [0xc5,0xe9,0xc2,0xd9,0x05]
432           vcmpnltpd   %xmm1, %xmm2, %xmm3
434 // CHECK: vcmppd  $7, %xmm1, %xmm2, %xmm3
435 // CHECK: encoding: [0xc5,0xe9,0xc2,0xd9,0x07]
436           vcmpordpd   %xmm1, %xmm2, %xmm3
438 // CHECK: vcmppd  $3, %xmm1, %xmm2, %xmm3
439 // CHECK: encoding: [0xc5,0xe9,0xc2,0xd9,0x03]
440           vcmpunordpd   %xmm1, %xmm2, %xmm3
442 // CHECK: vcmppd  $0, -4(%ebx,%ecx,8), %xmm2, %xmm3
443 // CHECK: encoding: [0xc5,0xe9,0xc2,0x5c,0xcb,0xfc,0x00]
444           vcmpeqpd   -4(%ebx,%ecx,8), %xmm2, %xmm3
446 // CHECK: vcmppd  $2, -4(%ebx,%ecx,8), %xmm2, %xmm3
447 // CHECK: encoding: [0xc5,0xe9,0xc2,0x5c,0xcb,0xfc,0x02]
448           vcmplepd   -4(%ebx,%ecx,8), %xmm2, %xmm3
450 // CHECK: vcmppd  $1, -4(%ebx,%ecx,8), %xmm2, %xmm3
451 // CHECK: encoding: [0xc5,0xe9,0xc2,0x5c,0xcb,0xfc,0x01]
452           vcmpltpd   -4(%ebx,%ecx,8), %xmm2, %xmm3
454 // CHECK: vcmppd  $4, -4(%ebx,%ecx,8), %xmm2, %xmm3
455 // CHECK: encoding: [0xc5,0xe9,0xc2,0x5c,0xcb,0xfc,0x04]
456           vcmpneqpd   -4(%ebx,%ecx,8), %xmm2, %xmm3
458 // CHECK: vcmppd  $6, -4(%ebx,%ecx,8), %xmm2, %xmm3
459 // CHECK: encoding: [0xc5,0xe9,0xc2,0x5c,0xcb,0xfc,0x06]
460           vcmpnlepd   -4(%ebx,%ecx,8), %xmm2, %xmm3
462 // CHECK: vcmppd  $5, -4(%ebx,%ecx,8), %xmm2, %xmm3
463 // CHECK: encoding: [0xc5,0xe9,0xc2,0x5c,0xcb,0xfc,0x05]
464           vcmpnltpd   -4(%ebx,%ecx,8), %xmm2, %xmm3
466 // CHECK: vcmppd  $7, -4(%ebx,%ecx,8), %xmm6, %xmm2
467 // CHECK: encoding: [0xc5,0xc9,0xc2,0x54,0xcb,0xfc,0x07]
468           vcmpordpd   -4(%ebx,%ecx,8), %xmm6, %xmm2
470 // CHECK: vcmppd  $3, -4(%ebx,%ecx,8), %xmm2, %xmm3
471 // CHECK: encoding: [0xc5,0xe9,0xc2,0x5c,0xcb,0xfc,0x03]
472           vcmpunordpd   -4(%ebx,%ecx,8), %xmm2, %xmm3
474 // CHECK: vmovmskps  %xmm2, %eax
475 // CHECK: encoding: [0xc5,0xf8,0x50,0xc2]
476           vmovmskps  %xmm2, %eax
478 // CHECK: vmovmskpd  %xmm2, %eax
479 // CHECK: encoding: [0xc5,0xf9,0x50,0xc2]
480           vmovmskpd  %xmm2, %eax
482 // CHECK: vmovmskps  %ymm2, %eax
483 // CHECK: encoding: [0xc5,0xfc,0x50,0xc2]
484           vmovmskps  %ymm2, %eax
486 // CHECK: vmovmskpd  %ymm2, %eax
487 // CHECK: encoding: [0xc5,0xfd,0x50,0xc2]
488           vmovmskpd  %ymm2, %eax
490 // CHECK: vcmpss  $0, %xmm1, %xmm2, %xmm3
491 // CHECK: encoding: [0xc5,0xea,0xc2,0xd9,0x00]
492           vcmpeqss   %xmm1, %xmm2, %xmm3
494 // CHECK: vcmpss  $2, %xmm1, %xmm2, %xmm3
495 // CHECK: encoding: [0xc5,0xea,0xc2,0xd9,0x02]
496           vcmpless   %xmm1, %xmm2, %xmm3
498 // CHECK: vcmpss  $1, %xmm1, %xmm2, %xmm3
499 // CHECK: encoding: [0xc5,0xea,0xc2,0xd9,0x01]
500           vcmpltss   %xmm1, %xmm2, %xmm3
502 // CHECK: vcmpss  $4, %xmm1, %xmm2, %xmm3
503 // CHECK: encoding: [0xc5,0xea,0xc2,0xd9,0x04]
504           vcmpneqss   %xmm1, %xmm2, %xmm3
506 // CHECK: vcmpss  $6, %xmm1, %xmm2, %xmm3
507 // CHECK: encoding: [0xc5,0xea,0xc2,0xd9,0x06]
508           vcmpnless   %xmm1, %xmm2, %xmm3
510 // CHECK: vcmpss  $5, %xmm1, %xmm2, %xmm3
511 // CHECK: encoding: [0xc5,0xea,0xc2,0xd9,0x05]
512           vcmpnltss   %xmm1, %xmm2, %xmm3
514 // CHECK: vcmpss  $7, %xmm1, %xmm2, %xmm3
515 // CHECK: encoding: [0xc5,0xea,0xc2,0xd9,0x07]
516           vcmpordss   %xmm1, %xmm2, %xmm3
518 // CHECK: vcmpss  $3, %xmm1, %xmm2, %xmm3
519 // CHECK: encoding: [0xc5,0xea,0xc2,0xd9,0x03]
520           vcmpunordss   %xmm1, %xmm2, %xmm3
522 // CHECK: vcmpss  $0, -4(%ebx,%ecx,8), %xmm2, %xmm3
523 // CHECK: encoding: [0xc5,0xea,0xc2,0x5c,0xcb,0xfc,0x00]
524           vcmpeqss   -4(%ebx,%ecx,8), %xmm2, %xmm3
526 // CHECK: vcmpss  $2, -4(%ebx,%ecx,8), %xmm2, %xmm3
527 // CHECK: encoding: [0xc5,0xea,0xc2,0x5c,0xcb,0xfc,0x02]
528           vcmpless   -4(%ebx,%ecx,8), %xmm2, %xmm3
530 // CHECK: vcmpss  $1, -4(%ebx,%ecx,8), %xmm2, %xmm3
531 // CHECK: encoding: [0xc5,0xea,0xc2,0x5c,0xcb,0xfc,0x01]
532           vcmpltss   -4(%ebx,%ecx,8), %xmm2, %xmm3
534 // CHECK: vcmpss  $4, -4(%ebx,%ecx,8), %xmm2, %xmm3
535 // CHECK: encoding: [0xc5,0xea,0xc2,0x5c,0xcb,0xfc,0x04]
536           vcmpneqss   -4(%ebx,%ecx,8), %xmm2, %xmm3
538 // CHECK: vcmpss  $6, -4(%ebx,%ecx,8), %xmm2, %xmm3
539 // CHECK: encoding: [0xc5,0xea,0xc2,0x5c,0xcb,0xfc,0x06]
540           vcmpnless   -4(%ebx,%ecx,8), %xmm2, %xmm3
542 // CHECK: vcmpss  $5, -4(%ebx,%ecx,8), %xmm2, %xmm3
543 // CHECK: encoding: [0xc5,0xea,0xc2,0x5c,0xcb,0xfc,0x05]
544           vcmpnltss   -4(%ebx,%ecx,8), %xmm2, %xmm3
546 // CHECK: vcmpss  $7, -4(%ebx,%ecx,8), %xmm6, %xmm2
547 // CHECK: encoding: [0xc5,0xca,0xc2,0x54,0xcb,0xfc,0x07]
548           vcmpordss   -4(%ebx,%ecx,8), %xmm6, %xmm2
550 // CHECK: vcmpss  $3, -4(%ebx,%ecx,8), %xmm2, %xmm3
551 // CHECK: encoding: [0xc5,0xea,0xc2,0x5c,0xcb,0xfc,0x03]
552           vcmpunordss   -4(%ebx,%ecx,8), %xmm2, %xmm3
554 // CHECK: vcmpsd  $0, %xmm1, %xmm2, %xmm3
555 // CHECK: encoding: [0xc5,0xeb,0xc2,0xd9,0x00]
556           vcmpeqsd   %xmm1, %xmm2, %xmm3
558 // CHECK: vcmpsd  $2, %xmm1, %xmm2, %xmm3
559 // CHECK: encoding: [0xc5,0xeb,0xc2,0xd9,0x02]
560           vcmplesd   %xmm1, %xmm2, %xmm3
562 // CHECK: vcmpsd  $1, %xmm1, %xmm2, %xmm3
563 // CHECK: encoding: [0xc5,0xeb,0xc2,0xd9,0x01]
564           vcmpltsd   %xmm1, %xmm2, %xmm3
566 // CHECK: vcmpsd  $4, %xmm1, %xmm2, %xmm3
567 // CHECK: encoding: [0xc5,0xeb,0xc2,0xd9,0x04]
568           vcmpneqsd   %xmm1, %xmm2, %xmm3
570 // CHECK: vcmpsd  $6, %xmm1, %xmm2, %xmm3
571 // CHECK: encoding: [0xc5,0xeb,0xc2,0xd9,0x06]
572           vcmpnlesd   %xmm1, %xmm2, %xmm3
574 // CHECK: vcmpsd  $5, %xmm1, %xmm2, %xmm3
575 // CHECK: encoding: [0xc5,0xeb,0xc2,0xd9,0x05]
576           vcmpnltsd   %xmm1, %xmm2, %xmm3
578 // CHECK: vcmpsd  $7, %xmm1, %xmm2, %xmm3
579 // CHECK: encoding: [0xc5,0xeb,0xc2,0xd9,0x07]
580           vcmpordsd   %xmm1, %xmm2, %xmm3
582 // CHECK: vcmpsd  $3, %xmm1, %xmm2, %xmm3
583 // CHECK: encoding: [0xc5,0xeb,0xc2,0xd9,0x03]
584           vcmpunordsd   %xmm1, %xmm2, %xmm3
586 // CHECK: vcmpsd  $0, -4(%ebx,%ecx,8), %xmm2, %xmm3
587 // CHECK: encoding: [0xc5,0xeb,0xc2,0x5c,0xcb,0xfc,0x00]
588           vcmpeqsd   -4(%ebx,%ecx,8), %xmm2, %xmm3
590 // CHECK: vcmpsd  $2, -4(%ebx,%ecx,8), %xmm2, %xmm3
591 // CHECK: encoding: [0xc5,0xeb,0xc2,0x5c,0xcb,0xfc,0x02]
592           vcmplesd   -4(%ebx,%ecx,8), %xmm2, %xmm3
594 // CHECK: vcmpsd  $1, -4(%ebx,%ecx,8), %xmm2, %xmm3
595 // CHECK: encoding: [0xc5,0xeb,0xc2,0x5c,0xcb,0xfc,0x01]
596           vcmpltsd   -4(%ebx,%ecx,8), %xmm2, %xmm3
598 // CHECK: vcmpsd  $4, -4(%ebx,%ecx,8), %xmm2, %xmm3
599 // CHECK: encoding: [0xc5,0xeb,0xc2,0x5c,0xcb,0xfc,0x04]
600           vcmpneqsd   -4(%ebx,%ecx,8), %xmm2, %xmm3
602 // CHECK: vcmpsd  $6, -4(%ebx,%ecx,8), %xmm2, %xmm3
603 // CHECK: encoding: [0xc5,0xeb,0xc2,0x5c,0xcb,0xfc,0x06]
604           vcmpnlesd   -4(%ebx,%ecx,8), %xmm2, %xmm3
606 // CHECK: vcmpsd  $5, -4(%ebx,%ecx,8), %xmm2, %xmm3
607 // CHECK: encoding: [0xc5,0xeb,0xc2,0x5c,0xcb,0xfc,0x05]
608           vcmpnltsd   -4(%ebx,%ecx,8), %xmm2, %xmm3
610 // CHECK: vcmpsd  $7, -4(%ebx,%ecx,8), %xmm6, %xmm2
611 // CHECK: encoding: [0xc5,0xcb,0xc2,0x54,0xcb,0xfc,0x07]
612           vcmpordsd   -4(%ebx,%ecx,8), %xmm6, %xmm2
614 // CHECK: vcmpsd  $3, -4(%ebx,%ecx,8), %xmm2, %xmm3
615 // CHECK: encoding: [0xc5,0xeb,0xc2,0x5c,0xcb,0xfc,0x03]
616           vcmpunordsd   -4(%ebx,%ecx,8), %xmm2, %xmm3
618 // CHECK: vucomiss  %xmm1, %xmm2
619 // CHECK: encoding: [0xc5,0xf8,0x2e,0xd1]
620           vucomiss  %xmm1, %xmm2
622 // CHECK: vucomiss  (%eax), %xmm2
623 // CHECK: encoding: [0xc5,0xf8,0x2e,0x10]
624           vucomiss  (%eax), %xmm2
626 // CHECK: vcomiss  %xmm1, %xmm2
627 // CHECK: encoding: [0xc5,0xf8,0x2f,0xd1]
628           vcomiss  %xmm1, %xmm2
630 // CHECK: vcomiss  (%eax), %xmm2
631 // CHECK: encoding: [0xc5,0xf8,0x2f,0x10]
632           vcomiss  (%eax), %xmm2
634 // CHECK: vucomisd  %xmm1, %xmm2
635 // CHECK: encoding: [0xc5,0xf9,0x2e,0xd1]
636           vucomisd  %xmm1, %xmm2
638 // CHECK: vucomisd  (%eax), %xmm2
639 // CHECK: encoding: [0xc5,0xf9,0x2e,0x10]
640           vucomisd  (%eax), %xmm2
642 // CHECK: vcomisd  %xmm1, %xmm2
643 // CHECK: encoding: [0xc5,0xf9,0x2f,0xd1]
644           vcomisd  %xmm1, %xmm2
646 // CHECK: vcomisd  (%eax), %xmm2
647 // CHECK: encoding: [0xc5,0xf9,0x2f,0x10]
648           vcomisd  (%eax), %xmm2
650 // CHECK: vcvttss2si  %xmm1, %eax
651 // CHECK: encoding: [0xc5,0xfa,0x2c,0xc1]
652           vcvttss2si  %xmm1, %eax
654 // CHECK: vcvttss2si  (%ecx), %eax
655 // CHECK: encoding: [0xc5,0xfa,0x2c,0x01]
656           vcvttss2si  (%ecx), %eax
658 // CHECK: vcvtsi2ssl  (%eax), %xmm1, %xmm2
659 // CHECK: encoding: [0xc5,0xf2,0x2a,0x10]
660           vcvtsi2ss  (%eax), %xmm1, %xmm2
662 // CHECK: vcvtsi2ssl  (%eax), %xmm1, %xmm2
663 // CHECK: encoding: [0xc5,0xf2,0x2a,0x10]
664           vcvtsi2ss  (%eax), %xmm1, %xmm2
666 // CHECK: vcvtsi2ssl  (%eax), %xmm1, %xmm2
667 // CHECK: encoding: [0xc5,0xf2,0x2a,0x10]
668           vcvtsi2ssl  (%eax), %xmm1, %xmm2
670 // CHECK: vcvtsi2ssl  (%eax), %xmm1, %xmm2
671 // CHECK: encoding: [0xc5,0xf2,0x2a,0x10]
672           vcvtsi2ssl  (%eax), %xmm1, %xmm2
674 // CHECK: vcvttsd2si  %xmm1, %eax
675 // CHECK: encoding: [0xc5,0xfb,0x2c,0xc1]
676           vcvttsd2si  %xmm1, %eax
678 // CHECK: vcvttsd2si  (%ecx), %eax
679 // CHECK: encoding: [0xc5,0xfb,0x2c,0x01]
680           vcvttsd2si  (%ecx), %eax
682 // CHECK: vcvtsi2sdl  (%eax), %xmm1, %xmm2
683 // CHECK: encoding: [0xc5,0xf3,0x2a,0x10]
684           vcvtsi2sd  (%eax), %xmm1, %xmm2
686 // CHECK: vcvtsi2sdl  (%eax), %xmm1, %xmm2
687 // CHECK: encoding: [0xc5,0xf3,0x2a,0x10]
688           vcvtsi2sd  (%eax), %xmm1, %xmm2
690 // CHECK: vcvtsi2sdl  (%eax), %xmm1, %xmm2
691 // CHECK: encoding: [0xc5,0xf3,0x2a,0x10]
692           vcvtsi2sdl  (%eax), %xmm1, %xmm2
694 // CHECK: vcvtsi2sdl  (%eax), %xmm1, %xmm2
695 // CHECK: encoding: [0xc5,0xf3,0x2a,0x10]
696           vcvtsi2sdl  (%eax), %xmm1, %xmm2
698 // CHECK: vmovaps  (%eax), %xmm2
699 // CHECK: encoding: [0xc5,0xf8,0x28,0x10]
700           vmovaps  (%eax), %xmm2
702 // CHECK: vmovaps  %xmm1, %xmm2
703 // CHECK: encoding: [0xc5,0xf8,0x28,0xd1]
704           vmovaps  %xmm1, %xmm2
706 // CHECK: vmovaps  %xmm1, (%eax)
707 // CHECK: encoding: [0xc5,0xf8,0x29,0x08]
708           vmovaps  %xmm1, (%eax)
710 // CHECK: vmovapd  (%eax), %xmm2
711 // CHECK: encoding: [0xc5,0xf9,0x28,0x10]
712           vmovapd  (%eax), %xmm2
714 // CHECK: vmovapd  %xmm1, %xmm2
715 // CHECK: encoding: [0xc5,0xf9,0x28,0xd1]
716           vmovapd  %xmm1, %xmm2
718 // CHECK: vmovapd  %xmm1, (%eax)
719 // CHECK: encoding: [0xc5,0xf9,0x29,0x08]
720           vmovapd  %xmm1, (%eax)
722 // CHECK: vmovups  (%eax), %xmm2
723 // CHECK: encoding: [0xc5,0xf8,0x10,0x10]
724           vmovups  (%eax), %xmm2
726 // CHECK: vmovups  %xmm1, %xmm2
727 // CHECK: encoding: [0xc5,0xf8,0x10,0xd1]
728           vmovups  %xmm1, %xmm2
730 // CHECK: vmovups  %xmm1, (%eax)
731 // CHECK: encoding: [0xc5,0xf8,0x11,0x08]
732           vmovups  %xmm1, (%eax)
734 // CHECK: vmovupd  (%eax), %xmm2
735 // CHECK: encoding: [0xc5,0xf9,0x10,0x10]
736           vmovupd  (%eax), %xmm2
738 // CHECK: vmovupd  %xmm1, %xmm2
739 // CHECK: encoding: [0xc5,0xf9,0x10,0xd1]
740           vmovupd  %xmm1, %xmm2
742 // CHECK: vmovupd  %xmm1, (%eax)
743 // CHECK: encoding: [0xc5,0xf9,0x11,0x08]
744           vmovupd  %xmm1, (%eax)
746 // CHECK: vmovlps  %xmm1, (%eax)
747 // CHECK: encoding: [0xc5,0xf8,0x13,0x08]
748           vmovlps  %xmm1, (%eax)
750 // CHECK: vmovlps  (%eax), %xmm2, %xmm3
751 // CHECK: encoding: [0xc5,0xe8,0x12,0x18]
752           vmovlps  (%eax), %xmm2, %xmm3
754 // CHECK: vmovlpd  %xmm1, (%eax)
755 // CHECK: encoding: [0xc5,0xf9,0x13,0x08]
756           vmovlpd  %xmm1, (%eax)
758 // CHECK: vmovlpd  (%eax), %xmm2, %xmm3
759 // CHECK: encoding: [0xc5,0xe9,0x12,0x18]
760           vmovlpd  (%eax), %xmm2, %xmm3
762 // CHECK: vmovhps  %xmm1, (%eax)
763 // CHECK: encoding: [0xc5,0xf8,0x17,0x08]
764           vmovhps  %xmm1, (%eax)
766 // CHECK: vmovhps  (%eax), %xmm2, %xmm3
767 // CHECK: encoding: [0xc5,0xe8,0x16,0x18]
768           vmovhps  (%eax), %xmm2, %xmm3
770 // CHECK: vmovhpd  %xmm1, (%eax)
771 // CHECK: encoding: [0xc5,0xf9,0x17,0x08]
772           vmovhpd  %xmm1, (%eax)
774 // CHECK: vmovhpd  (%eax), %xmm2, %xmm3
775 // CHECK: encoding: [0xc5,0xe9,0x16,0x18]
776           vmovhpd  (%eax), %xmm2, %xmm3
778 // CHECK: vmovlhps  %xmm1, %xmm2, %xmm3
779 // CHECK: encoding: [0xc5,0xe8,0x16,0xd9]
780           vmovlhps  %xmm1, %xmm2, %xmm3
782 // CHECK: vmovhlps  %xmm1, %xmm2, %xmm3
783 // CHECK: encoding: [0xc5,0xe8,0x12,0xd9]
784           vmovhlps  %xmm1, %xmm2, %xmm3
786 // CHECK: vcvtss2si  %xmm1, %eax
787 // CHECK: encoding: [0xc5,0xfa,0x2d,0xc1]
788           vcvtss2si  %xmm1, %eax
790 // CHECK: vcvtss2si  (%eax), %ebx
791 // CHECK: encoding: [0xc5,0xfa,0x2d,0x18]
792           vcvtss2si  (%eax), %ebx
794 // CHECK: vcvtss2si  %xmm1, %eax
795 // CHECK: encoding: [0xc5,0xfa,0x2d,0xc1]
796           vcvtss2sil  %xmm1, %eax
798 // CHECK: vcvtss2si  (%eax), %ebx
799 // CHECK: encoding: [0xc5,0xfa,0x2d,0x18]
800           vcvtss2sil  (%eax), %ebx
802 // CHECK: vcvtdq2ps  %xmm5, %xmm6
803 // CHECK: encoding: [0xc5,0xf8,0x5b,0xf5]
804           vcvtdq2ps  %xmm5, %xmm6
806 // CHECK: vcvtdq2ps  (%eax), %xmm6
807 // CHECK: encoding: [0xc5,0xf8,0x5b,0x30]
808           vcvtdq2ps  (%eax), %xmm6
810 // CHECK: vcvtsd2ss  %xmm2, %xmm4, %xmm6
811 // CHECK: encoding: [0xc5,0xdb,0x5a,0xf2]
812           vcvtsd2ss  %xmm2, %xmm4, %xmm6
814 // CHECK: vcvtsd2ss  (%eax), %xmm4, %xmm6
815 // CHECK: encoding: [0xc5,0xdb,0x5a,0x30]
816           vcvtsd2ss  (%eax), %xmm4, %xmm6
818 // CHECK: vcvtps2dq  %xmm2, %xmm3
819 // CHECK: encoding: [0xc5,0xf9,0x5b,0xda]
820           vcvtps2dq  %xmm2, %xmm3
822 // CHECK: vcvtps2dq  (%eax), %xmm3
823 // CHECK: encoding: [0xc5,0xf9,0x5b,0x18]
824           vcvtps2dq  (%eax), %xmm3
826 // CHECK: vcvtss2sd  %xmm2, %xmm4, %xmm6
827 // CHECK: encoding: [0xc5,0xda,0x5a,0xf2]
828           vcvtss2sd  %xmm2, %xmm4, %xmm6
830 // CHECK: vcvtss2sd  (%eax), %xmm4, %xmm6
831 // CHECK: encoding: [0xc5,0xda,0x5a,0x30]
832           vcvtss2sd  (%eax), %xmm4, %xmm6
834 // CHECK: vcvtdq2ps  %xmm4, %xmm6
835 // CHECK: encoding: [0xc5,0xf8,0x5b,0xf4]
836           vcvtdq2ps  %xmm4, %xmm6
838 // CHECK: vcvtdq2ps  (%ecx), %xmm4
839 // CHECK: encoding: [0xc5,0xf8,0x5b,0x21]
840           vcvtdq2ps  (%ecx), %xmm4
842 // CHECK: vcvttps2dq  %xmm2, %xmm3
843 // CHECK: encoding: [0xc5,0xfa,0x5b,0xda]
844           vcvttps2dq  %xmm2, %xmm3
846 // CHECK: vcvttps2dq  (%eax), %xmm3
847 // CHECK: encoding: [0xc5,0xfa,0x5b,0x18]
848           vcvttps2dq  (%eax), %xmm3
850 // CHECK: vcvtps2pd  %xmm2, %xmm3
851 // CHECK: encoding: [0xc5,0xf8,0x5a,0xda]
852           vcvtps2pd  %xmm2, %xmm3
854 // CHECK: vcvtps2pd  (%eax), %xmm3
855 // CHECK: encoding: [0xc5,0xf8,0x5a,0x18]
856           vcvtps2pd  (%eax), %xmm3
858 // CHECK: vcvtpd2ps  %xmm2, %xmm3
859 // CHECK: encoding: [0xc5,0xf9,0x5a,0xda]
860           vcvtpd2ps  %xmm2, %xmm3
862 // CHECK: vsqrtpd  %xmm1, %xmm2
863 // CHECK: encoding: [0xc5,0xf9,0x51,0xd1]
864           vsqrtpd  %xmm1, %xmm2
866 // CHECK: vsqrtpd  (%eax), %xmm2
867 // CHECK: encoding: [0xc5,0xf9,0x51,0x10]
868           vsqrtpd  (%eax), %xmm2
870 // CHECK: vsqrtps  %xmm1, %xmm2
871 // CHECK: encoding: [0xc5,0xf8,0x51,0xd1]
872           vsqrtps  %xmm1, %xmm2
874 // CHECK: vsqrtps  (%eax), %xmm2
875 // CHECK: encoding: [0xc5,0xf8,0x51,0x10]
876           vsqrtps  (%eax), %xmm2
878 // CHECK: vsqrtsd  %xmm1, %xmm2, %xmm3
879 // CHECK: encoding: [0xc5,0xeb,0x51,0xd9]
880           vsqrtsd  %xmm1, %xmm2, %xmm3
882 // CHECK: vsqrtsd  (%eax), %xmm2, %xmm3
883 // CHECK: encoding: [0xc5,0xeb,0x51,0x18]
884           vsqrtsd  (%eax), %xmm2, %xmm3
886 // CHECK: vsqrtss  %xmm1, %xmm2, %xmm3
887 // CHECK: encoding: [0xc5,0xea,0x51,0xd9]
888           vsqrtss  %xmm1, %xmm2, %xmm3
890 // CHECK: vsqrtss  (%eax), %xmm2, %xmm3
891 // CHECK: encoding: [0xc5,0xea,0x51,0x18]
892           vsqrtss  (%eax), %xmm2, %xmm3
894 // CHECK: vrsqrtps  %xmm1, %xmm2
895 // CHECK: encoding: [0xc5,0xf8,0x52,0xd1]
896           vrsqrtps  %xmm1, %xmm2
898 // CHECK: vrsqrtps  (%eax), %xmm2
899 // CHECK: encoding: [0xc5,0xf8,0x52,0x10]
900           vrsqrtps  (%eax), %xmm2
902 // CHECK: vrsqrtss  %xmm1, %xmm2, %xmm3
903 // CHECK: encoding: [0xc5,0xea,0x52,0xd9]
904           vrsqrtss  %xmm1, %xmm2, %xmm3
906 // CHECK: vrsqrtss  (%eax), %xmm2, %xmm3
907 // CHECK: encoding: [0xc5,0xea,0x52,0x18]
908           vrsqrtss  (%eax), %xmm2, %xmm3
910 // CHECK: vrcpps  %xmm1, %xmm2
911 // CHECK: encoding: [0xc5,0xf8,0x53,0xd1]
912           vrcpps  %xmm1, %xmm2
914 // CHECK: vrcpps  (%eax), %xmm2
915 // CHECK: encoding: [0xc5,0xf8,0x53,0x10]
916           vrcpps  (%eax), %xmm2
918 // CHECK: vrcpss  %xmm1, %xmm2, %xmm3
919 // CHECK: encoding: [0xc5,0xea,0x53,0xd9]
920           vrcpss  %xmm1, %xmm2, %xmm3
922 // CHECK: vrcpss  (%eax), %xmm2, %xmm3
923 // CHECK: encoding: [0xc5,0xea,0x53,0x18]
924           vrcpss  (%eax), %xmm2, %xmm3
926 // CHECK: vmovntdq  %xmm1, (%eax)
927 // CHECK: encoding: [0xc5,0xf9,0xe7,0x08]
928           vmovntdq  %xmm1, (%eax)
930 // CHECK: vmovntpd  %xmm1, (%eax)
931 // CHECK: encoding: [0xc5,0xf9,0x2b,0x08]
932           vmovntpd  %xmm1, (%eax)
934 // CHECK: vmovntps  %xmm1, (%eax)
935 // CHECK: encoding: [0xc5,0xf8,0x2b,0x08]
936           vmovntps  %xmm1, (%eax)
938 // CHECK: vldmxcsr  (%eax)
939 // CHECK: encoding: [0xc5,0xf8,0xae,0x10]
940           vldmxcsr  (%eax)
942 // CHECK: vstmxcsr  (%eax)
943 // CHECK: encoding: [0xc5,0xf8,0xae,0x18]
944           vstmxcsr  (%eax)
946 // CHECK: vldmxcsr  3735928559
947 // CHECK: encoding: [0xc5,0xf8,0xae,0x15,0xef,0xbe,0xad,0xde]
948           vldmxcsr  0xdeadbeef
950 // CHECK: vstmxcsr  3735928559
951 // CHECK: encoding: [0xc5,0xf8,0xae,0x1d,0xef,0xbe,0xad,0xde]
952           vstmxcsr  0xdeadbeef
954 // CHECK: vpsubb  %xmm1, %xmm2, %xmm3
955 // CHECK: encoding: [0xc5,0xe9,0xf8,0xd9]
956           vpsubb  %xmm1, %xmm2, %xmm3
958 // CHECK: vpsubb  (%eax), %xmm2, %xmm3
959 // CHECK: encoding: [0xc5,0xe9,0xf8,0x18]
960           vpsubb  (%eax), %xmm2, %xmm3
962 // CHECK: vpsubw  %xmm1, %xmm2, %xmm3
963 // CHECK: encoding: [0xc5,0xe9,0xf9,0xd9]
964           vpsubw  %xmm1, %xmm2, %xmm3
966 // CHECK: vpsubw  (%eax), %xmm2, %xmm3
967 // CHECK: encoding: [0xc5,0xe9,0xf9,0x18]
968           vpsubw  (%eax), %xmm2, %xmm3
970 // CHECK: vpsubd  %xmm1, %xmm2, %xmm3
971 // CHECK: encoding: [0xc5,0xe9,0xfa,0xd9]
972           vpsubd  %xmm1, %xmm2, %xmm3
974 // CHECK: vpsubd  (%eax), %xmm2, %xmm3
975 // CHECK: encoding: [0xc5,0xe9,0xfa,0x18]
976           vpsubd  (%eax), %xmm2, %xmm3
978 // CHECK: vpsubq  %xmm1, %xmm2, %xmm3
979 // CHECK: encoding: [0xc5,0xe9,0xfb,0xd9]
980           vpsubq  %xmm1, %xmm2, %xmm3
982 // CHECK: vpsubq  (%eax), %xmm2, %xmm3
983 // CHECK: encoding: [0xc5,0xe9,0xfb,0x18]
984           vpsubq  (%eax), %xmm2, %xmm3
986 // CHECK: vpsubsb  %xmm1, %xmm2, %xmm3
987 // CHECK: encoding: [0xc5,0xe9,0xe8,0xd9]
988           vpsubsb  %xmm1, %xmm2, %xmm3
990 // CHECK: vpsubsb  (%eax), %xmm2, %xmm3
991 // CHECK: encoding: [0xc5,0xe9,0xe8,0x18]
992           vpsubsb  (%eax), %xmm2, %xmm3
994 // CHECK: vpsubsw  %xmm1, %xmm2, %xmm3
995 // CHECK: encoding: [0xc5,0xe9,0xe9,0xd9]
996           vpsubsw  %xmm1, %xmm2, %xmm3
998 // CHECK: vpsubsw  (%eax), %xmm2, %xmm3
999 // CHECK: encoding: [0xc5,0xe9,0xe9,0x18]
1000           vpsubsw  (%eax), %xmm2, %xmm3
1002 // CHECK: vpsubusb  %xmm1, %xmm2, %xmm3
1003 // CHECK: encoding: [0xc5,0xe9,0xd8,0xd9]
1004           vpsubusb  %xmm1, %xmm2, %xmm3
1006 // CHECK: vpsubusb  (%eax), %xmm2, %xmm3
1007 // CHECK: encoding: [0xc5,0xe9,0xd8,0x18]
1008           vpsubusb  (%eax), %xmm2, %xmm3
1010 // CHECK: vpsubusw  %xmm1, %xmm2, %xmm3
1011 // CHECK: encoding: [0xc5,0xe9,0xd9,0xd9]
1012           vpsubusw  %xmm1, %xmm2, %xmm3
1014 // CHECK: vpsubusw  (%eax), %xmm2, %xmm3
1015 // CHECK: encoding: [0xc5,0xe9,0xd9,0x18]
1016           vpsubusw  (%eax), %xmm2, %xmm3
1018 // CHECK: vpaddb  %xmm1, %xmm2, %xmm3
1019 // CHECK: encoding: [0xc5,0xe9,0xfc,0xd9]
1020           vpaddb  %xmm1, %xmm2, %xmm3
1022 // CHECK: vpaddb  (%eax), %xmm2, %xmm3
1023 // CHECK: encoding: [0xc5,0xe9,0xfc,0x18]
1024           vpaddb  (%eax), %xmm2, %xmm3
1026 // CHECK: vpaddw  %xmm1, %xmm2, %xmm3
1027 // CHECK: encoding: [0xc5,0xe9,0xfd,0xd9]
1028           vpaddw  %xmm1, %xmm2, %xmm3
1030 // CHECK: vpaddw  (%eax), %xmm2, %xmm3
1031 // CHECK: encoding: [0xc5,0xe9,0xfd,0x18]
1032           vpaddw  (%eax), %xmm2, %xmm3
1034 // CHECK: vpaddd  %xmm1, %xmm2, %xmm3
1035 // CHECK: encoding: [0xc5,0xe9,0xfe,0xd9]
1036           vpaddd  %xmm1, %xmm2, %xmm3
1038 // CHECK: vpaddd  (%eax), %xmm2, %xmm3
1039 // CHECK: encoding: [0xc5,0xe9,0xfe,0x18]
1040           vpaddd  (%eax), %xmm2, %xmm3
1042 // CHECK: vpaddq  %xmm1, %xmm2, %xmm3
1043 // CHECK: encoding: [0xc5,0xe9,0xd4,0xd9]
1044           vpaddq  %xmm1, %xmm2, %xmm3
1046 // CHECK: vpaddq  (%eax), %xmm2, %xmm3
1047 // CHECK: encoding: [0xc5,0xe9,0xd4,0x18]
1048           vpaddq  (%eax), %xmm2, %xmm3
1050 // CHECK: vpaddsb  %xmm1, %xmm2, %xmm3
1051 // CHECK: encoding: [0xc5,0xe9,0xec,0xd9]
1052           vpaddsb  %xmm1, %xmm2, %xmm3
1054 // CHECK: vpaddsb  (%eax), %xmm2, %xmm3
1055 // CHECK: encoding: [0xc5,0xe9,0xec,0x18]
1056           vpaddsb  (%eax), %xmm2, %xmm3
1058 // CHECK: vpaddsw  %xmm1, %xmm2, %xmm3
1059 // CHECK: encoding: [0xc5,0xe9,0xed,0xd9]
1060           vpaddsw  %xmm1, %xmm2, %xmm3
1062 // CHECK: vpaddsw  (%eax), %xmm2, %xmm3
1063 // CHECK: encoding: [0xc5,0xe9,0xed,0x18]
1064           vpaddsw  (%eax), %xmm2, %xmm3
1066 // CHECK: vpaddusb  %xmm1, %xmm2, %xmm3
1067 // CHECK: encoding: [0xc5,0xe9,0xdc,0xd9]
1068           vpaddusb  %xmm1, %xmm2, %xmm3
1070 // CHECK: vpaddusb  (%eax), %xmm2, %xmm3
1071 // CHECK: encoding: [0xc5,0xe9,0xdc,0x18]
1072           vpaddusb  (%eax), %xmm2, %xmm3
1074 // CHECK: vpaddusw  %xmm1, %xmm2, %xmm3
1075 // CHECK: encoding: [0xc5,0xe9,0xdd,0xd9]
1076           vpaddusw  %xmm1, %xmm2, %xmm3
1078 // CHECK: vpaddusw  (%eax), %xmm2, %xmm3
1079 // CHECK: encoding: [0xc5,0xe9,0xdd,0x18]
1080           vpaddusw  (%eax), %xmm2, %xmm3
1082 // CHECK: vpmulhuw  %xmm1, %xmm2, %xmm3
1083 // CHECK: encoding: [0xc5,0xe9,0xe4,0xd9]
1084           vpmulhuw  %xmm1, %xmm2, %xmm3
1086 // CHECK: vpmulhuw  (%eax), %xmm2, %xmm3
1087 // CHECK: encoding: [0xc5,0xe9,0xe4,0x18]
1088           vpmulhuw  (%eax), %xmm2, %xmm3
1090 // CHECK: vpmulhw  %xmm1, %xmm2, %xmm3
1091 // CHECK: encoding: [0xc5,0xe9,0xe5,0xd9]
1092           vpmulhw  %xmm1, %xmm2, %xmm3
1094 // CHECK: vpmulhw  (%eax), %xmm2, %xmm3
1095 // CHECK: encoding: [0xc5,0xe9,0xe5,0x18]
1096           vpmulhw  (%eax), %xmm2, %xmm3
1098 // CHECK: vpmullw  %xmm1, %xmm2, %xmm3
1099 // CHECK: encoding: [0xc5,0xe9,0xd5,0xd9]
1100           vpmullw  %xmm1, %xmm2, %xmm3
1102 // CHECK: vpmullw  (%eax), %xmm2, %xmm3
1103 // CHECK: encoding: [0xc5,0xe9,0xd5,0x18]
1104           vpmullw  (%eax), %xmm2, %xmm3
1106 // CHECK: vpmuludq  %xmm1, %xmm2, %xmm3
1107 // CHECK: encoding: [0xc5,0xe9,0xf4,0xd9]
1108           vpmuludq  %xmm1, %xmm2, %xmm3
1110 // CHECK: vpmuludq  (%eax), %xmm2, %xmm3
1111 // CHECK: encoding: [0xc5,0xe9,0xf4,0x18]
1112           vpmuludq  (%eax), %xmm2, %xmm3
1114 // CHECK: vpavgb  %xmm1, %xmm2, %xmm3
1115 // CHECK: encoding: [0xc5,0xe9,0xe0,0xd9]
1116           vpavgb  %xmm1, %xmm2, %xmm3
1118 // CHECK: vpavgb  (%eax), %xmm2, %xmm3
1119 // CHECK: encoding: [0xc5,0xe9,0xe0,0x18]
1120           vpavgb  (%eax), %xmm2, %xmm3
1122 // CHECK: vpavgw  %xmm1, %xmm2, %xmm3
1123 // CHECK: encoding: [0xc5,0xe9,0xe3,0xd9]
1124           vpavgw  %xmm1, %xmm2, %xmm3
1126 // CHECK: vpavgw  (%eax), %xmm2, %xmm3
1127 // CHECK: encoding: [0xc5,0xe9,0xe3,0x18]
1128           vpavgw  (%eax), %xmm2, %xmm3
1130 // CHECK: vpminsw  %xmm1, %xmm2, %xmm3
1131 // CHECK: encoding: [0xc5,0xe9,0xea,0xd9]
1132           vpminsw  %xmm1, %xmm2, %xmm3
1134 // CHECK: vpminsw  (%eax), %xmm2, %xmm3
1135 // CHECK: encoding: [0xc5,0xe9,0xea,0x18]
1136           vpminsw  (%eax), %xmm2, %xmm3
1138 // CHECK: vpminub  %xmm1, %xmm2, %xmm3
1139 // CHECK: encoding: [0xc5,0xe9,0xda,0xd9]
1140           vpminub  %xmm1, %xmm2, %xmm3
1142 // CHECK: vpminub  (%eax), %xmm2, %xmm3
1143 // CHECK: encoding: [0xc5,0xe9,0xda,0x18]
1144           vpminub  (%eax), %xmm2, %xmm3
1146 // CHECK: vpmaxsw  %xmm1, %xmm2, %xmm3
1147 // CHECK: encoding: [0xc5,0xe9,0xee,0xd9]
1148           vpmaxsw  %xmm1, %xmm2, %xmm3
1150 // CHECK: vpmaxsw  (%eax), %xmm2, %xmm3
1151 // CHECK: encoding: [0xc5,0xe9,0xee,0x18]
1152           vpmaxsw  (%eax), %xmm2, %xmm3
1154 // CHECK: vpmaxub  %xmm1, %xmm2, %xmm3
1155 // CHECK: encoding: [0xc5,0xe9,0xde,0xd9]
1156           vpmaxub  %xmm1, %xmm2, %xmm3
1158 // CHECK: vpmaxub  (%eax), %xmm2, %xmm3
1159 // CHECK: encoding: [0xc5,0xe9,0xde,0x18]
1160           vpmaxub  (%eax), %xmm2, %xmm3
1162 // CHECK: vpsadbw  %xmm1, %xmm2, %xmm3
1163 // CHECK: encoding: [0xc5,0xe9,0xf6,0xd9]
1164           vpsadbw  %xmm1, %xmm2, %xmm3
1166 // CHECK: vpsadbw  (%eax), %xmm2, %xmm3
1167 // CHECK: encoding: [0xc5,0xe9,0xf6,0x18]
1168           vpsadbw  (%eax), %xmm2, %xmm3
1170 // CHECK: vpsllw  %xmm1, %xmm2, %xmm3
1171 // CHECK: encoding: [0xc5,0xe9,0xf1,0xd9]
1172           vpsllw  %xmm1, %xmm2, %xmm3
1174 // CHECK: vpsllw  (%eax), %xmm2, %xmm3
1175 // CHECK: encoding: [0xc5,0xe9,0xf1,0x18]
1176           vpsllw  (%eax), %xmm2, %xmm3
1178 // CHECK: vpslld  %xmm1, %xmm2, %xmm3
1179 // CHECK: encoding: [0xc5,0xe9,0xf2,0xd9]
1180           vpslld  %xmm1, %xmm2, %xmm3
1182 // CHECK: vpslld  (%eax), %xmm2, %xmm3
1183 // CHECK: encoding: [0xc5,0xe9,0xf2,0x18]
1184           vpslld  (%eax), %xmm2, %xmm3
1186 // CHECK: vpsllq  %xmm1, %xmm2, %xmm3
1187 // CHECK: encoding: [0xc5,0xe9,0xf3,0xd9]
1188           vpsllq  %xmm1, %xmm2, %xmm3
1190 // CHECK: vpsllq  (%eax), %xmm2, %xmm3
1191 // CHECK: encoding: [0xc5,0xe9,0xf3,0x18]
1192           vpsllq  (%eax), %xmm2, %xmm3
1194 // CHECK: vpsraw  %xmm1, %xmm2, %xmm3
1195 // CHECK: encoding: [0xc5,0xe9,0xe1,0xd9]
1196           vpsraw  %xmm1, %xmm2, %xmm3
1198 // CHECK: vpsraw  (%eax), %xmm2, %xmm3
1199 // CHECK: encoding: [0xc5,0xe9,0xe1,0x18]
1200           vpsraw  (%eax), %xmm2, %xmm3
1202 // CHECK: vpsrad  %xmm1, %xmm2, %xmm3
1203 // CHECK: encoding: [0xc5,0xe9,0xe2,0xd9]
1204           vpsrad  %xmm1, %xmm2, %xmm3
1206 // CHECK: vpsrad  (%eax), %xmm2, %xmm3
1207 // CHECK: encoding: [0xc5,0xe9,0xe2,0x18]
1208           vpsrad  (%eax), %xmm2, %xmm3
1210 // CHECK: vpsrlw  %xmm1, %xmm2, %xmm3
1211 // CHECK: encoding: [0xc5,0xe9,0xd1,0xd9]
1212           vpsrlw  %xmm1, %xmm2, %xmm3
1214 // CHECK: vpsrlw  (%eax), %xmm2, %xmm3
1215 // CHECK: encoding: [0xc5,0xe9,0xd1,0x18]
1216           vpsrlw  (%eax), %xmm2, %xmm3
1218 // CHECK: vpsrld  %xmm1, %xmm2, %xmm3
1219 // CHECK: encoding: [0xc5,0xe9,0xd2,0xd9]
1220           vpsrld  %xmm1, %xmm2, %xmm3
1222 // CHECK: vpsrld  (%eax), %xmm2, %xmm3
1223 // CHECK: encoding: [0xc5,0xe9,0xd2,0x18]
1224           vpsrld  (%eax), %xmm2, %xmm3
1226 // CHECK: vpsrlq  %xmm1, %xmm2, %xmm3
1227 // CHECK: encoding: [0xc5,0xe9,0xd3,0xd9]
1228           vpsrlq  %xmm1, %xmm2, %xmm3
1230 // CHECK: vpsrlq  (%eax), %xmm2, %xmm3
1231 // CHECK: encoding: [0xc5,0xe9,0xd3,0x18]
1232           vpsrlq  (%eax), %xmm2, %xmm3
1234 // CHECK: vpslld  $10, %xmm2, %xmm3
1235 // CHECK: encoding: [0xc5,0xe1,0x72,0xf2,0x0a]
1236           vpslld  $10, %xmm2, %xmm3
1238 // CHECK: vpslldq  $10, %xmm2, %xmm3
1239 // CHECK: encoding: [0xc5,0xe1,0x73,0xfa,0x0a]
1240           vpslldq  $10, %xmm2, %xmm3
1242 // CHECK: vpsllq  $10, %xmm2, %xmm3
1243 // CHECK: encoding: [0xc5,0xe1,0x73,0xf2,0x0a]
1244           vpsllq  $10, %xmm2, %xmm3
1246 // CHECK: vpsllw  $10, %xmm2, %xmm3
1247 // CHECK: encoding: [0xc5,0xe1,0x71,0xf2,0x0a]
1248           vpsllw  $10, %xmm2, %xmm3
1250 // CHECK: vpsrad  $10, %xmm2, %xmm3
1251 // CHECK: encoding: [0xc5,0xe1,0x72,0xe2,0x0a]
1252           vpsrad  $10, %xmm2, %xmm3
1254 // CHECK: vpsraw  $10, %xmm2, %xmm3
1255 // CHECK: encoding: [0xc5,0xe1,0x71,0xe2,0x0a]
1256           vpsraw  $10, %xmm2, %xmm3
1258 // CHECK: vpsrld  $10, %xmm2, %xmm3
1259 // CHECK: encoding: [0xc5,0xe1,0x72,0xd2,0x0a]
1260           vpsrld  $10, %xmm2, %xmm3
1262 // CHECK: vpsrldq  $10, %xmm2, %xmm3
1263 // CHECK: encoding: [0xc5,0xe1,0x73,0xda,0x0a]
1264           vpsrldq  $10, %xmm2, %xmm3
1266 // CHECK: vpsrlq  $10, %xmm2, %xmm3
1267 // CHECK: encoding: [0xc5,0xe1,0x73,0xd2,0x0a]
1268           vpsrlq  $10, %xmm2, %xmm3
1270 // CHECK: vpsrlw  $10, %xmm2, %xmm3
1271 // CHECK: encoding: [0xc5,0xe1,0x71,0xd2,0x0a]
1272           vpsrlw  $10, %xmm2, %xmm3
1274 // CHECK: vpslld  $10, %xmm2, %xmm3
1275 // CHECK: encoding: [0xc5,0xe1,0x72,0xf2,0x0a]
1276           vpslld  $10, %xmm2, %xmm3
1278 // CHECK: vpand  %xmm1, %xmm2, %xmm3
1279 // CHECK: encoding: [0xc5,0xe9,0xdb,0xd9]
1280           vpand  %xmm1, %xmm2, %xmm3
1282 // CHECK: vpand  (%eax), %xmm2, %xmm3
1283 // CHECK: encoding: [0xc5,0xe9,0xdb,0x18]
1284           vpand  (%eax), %xmm2, %xmm3
1286 // CHECK: vpor  %xmm1, %xmm2, %xmm3
1287 // CHECK: encoding: [0xc5,0xe9,0xeb,0xd9]
1288           vpor  %xmm1, %xmm2, %xmm3
1290 // CHECK: vpor  (%eax), %xmm2, %xmm3
1291 // CHECK: encoding: [0xc5,0xe9,0xeb,0x18]
1292           vpor  (%eax), %xmm2, %xmm3
1294 // CHECK: vpxor  %xmm1, %xmm2, %xmm3
1295 // CHECK: encoding: [0xc5,0xe9,0xef,0xd9]
1296           vpxor  %xmm1, %xmm2, %xmm3
1298 // CHECK: vpxor  (%eax), %xmm2, %xmm3
1299 // CHECK: encoding: [0xc5,0xe9,0xef,0x18]
1300           vpxor  (%eax), %xmm2, %xmm3
1302 // CHECK: vpandn  %xmm1, %xmm2, %xmm3
1303 // CHECK: encoding: [0xc5,0xe9,0xdf,0xd9]
1304           vpandn  %xmm1, %xmm2, %xmm3
1306 // CHECK: vpandn  (%eax), %xmm2, %xmm3
1307 // CHECK: encoding: [0xc5,0xe9,0xdf,0x18]
1308           vpandn  (%eax), %xmm2, %xmm3
1310 // CHECK: vpcmpeqb  %xmm1, %xmm2, %xmm3
1311 // CHECK: encoding: [0xc5,0xe9,0x74,0xd9]
1312           vpcmpeqb  %xmm1, %xmm2, %xmm3
1314 // CHECK: vpcmpeqb  (%eax), %xmm2, %xmm3
1315 // CHECK: encoding: [0xc5,0xe9,0x74,0x18]
1316           vpcmpeqb  (%eax), %xmm2, %xmm3
1318 // CHECK: vpcmpeqw  %xmm1, %xmm2, %xmm3
1319 // CHECK: encoding: [0xc5,0xe9,0x75,0xd9]
1320           vpcmpeqw  %xmm1, %xmm2, %xmm3
1322 // CHECK: vpcmpeqw  (%eax), %xmm2, %xmm3
1323 // CHECK: encoding: [0xc5,0xe9,0x75,0x18]
1324           vpcmpeqw  (%eax), %xmm2, %xmm3
1326 // CHECK: vpcmpeqd  %xmm1, %xmm2, %xmm3
1327 // CHECK: encoding: [0xc5,0xe9,0x76,0xd9]
1328           vpcmpeqd  %xmm1, %xmm2, %xmm3
1330 // CHECK: vpcmpeqd  (%eax), %xmm2, %xmm3
1331 // CHECK: encoding: [0xc5,0xe9,0x76,0x18]
1332           vpcmpeqd  (%eax), %xmm2, %xmm3
1334 // CHECK: vpcmpgtb  %xmm1, %xmm2, %xmm3
1335 // CHECK: encoding: [0xc5,0xe9,0x64,0xd9]
1336           vpcmpgtb  %xmm1, %xmm2, %xmm3
1338 // CHECK: vpcmpgtb  (%eax), %xmm2, %xmm3
1339 // CHECK: encoding: [0xc5,0xe9,0x64,0x18]
1340           vpcmpgtb  (%eax), %xmm2, %xmm3
1342 // CHECK: vpcmpgtw  %xmm1, %xmm2, %xmm3
1343 // CHECK: encoding: [0xc5,0xe9,0x65,0xd9]
1344           vpcmpgtw  %xmm1, %xmm2, %xmm3
1346 // CHECK: vpcmpgtw  (%eax), %xmm2, %xmm3
1347 // CHECK: encoding: [0xc5,0xe9,0x65,0x18]
1348           vpcmpgtw  (%eax), %xmm2, %xmm3
1350 // CHECK: vpcmpgtd  %xmm1, %xmm2, %xmm3
1351 // CHECK: encoding: [0xc5,0xe9,0x66,0xd9]
1352           vpcmpgtd  %xmm1, %xmm2, %xmm3
1354 // CHECK: vpcmpgtd  (%eax), %xmm2, %xmm3
1355 // CHECK: encoding: [0xc5,0xe9,0x66,0x18]
1356           vpcmpgtd  (%eax), %xmm2, %xmm3
1358 // CHECK: vpacksswb  %xmm1, %xmm2, %xmm3
1359 // CHECK: encoding: [0xc5,0xe9,0x63,0xd9]
1360           vpacksswb  %xmm1, %xmm2, %xmm3
1362 // CHECK: vpacksswb  (%eax), %xmm2, %xmm3
1363 // CHECK: encoding: [0xc5,0xe9,0x63,0x18]
1364           vpacksswb  (%eax), %xmm2, %xmm3
1366 // CHECK: vpackssdw  %xmm1, %xmm2, %xmm3
1367 // CHECK: encoding: [0xc5,0xe9,0x6b,0xd9]
1368           vpackssdw  %xmm1, %xmm2, %xmm3
1370 // CHECK: vpackssdw  (%eax), %xmm2, %xmm3
1371 // CHECK: encoding: [0xc5,0xe9,0x6b,0x18]
1372           vpackssdw  (%eax), %xmm2, %xmm3
1374 // CHECK: vpackuswb  %xmm1, %xmm2, %xmm3
1375 // CHECK: encoding: [0xc5,0xe9,0x67,0xd9]
1376           vpackuswb  %xmm1, %xmm2, %xmm3
1378 // CHECK: vpackuswb  (%eax), %xmm2, %xmm3
1379 // CHECK: encoding: [0xc5,0xe9,0x67,0x18]
1380           vpackuswb  (%eax), %xmm2, %xmm3
1382 // CHECK: vpshufd  $4, %xmm2, %xmm3
1383 // CHECK: encoding: [0xc5,0xf9,0x70,0xda,0x04]
1384           vpshufd  $4, %xmm2, %xmm3
1386 // CHECK: vpshufd  $4, (%eax), %xmm3
1387 // CHECK: encoding: [0xc5,0xf9,0x70,0x18,0x04]
1388           vpshufd  $4, (%eax), %xmm3
1390 // CHECK: vpshufhw  $4, %xmm2, %xmm3
1391 // CHECK: encoding: [0xc5,0xfa,0x70,0xda,0x04]
1392           vpshufhw  $4, %xmm2, %xmm3
1394 // CHECK: vpshufhw  $4, (%eax), %xmm3
1395 // CHECK: encoding: [0xc5,0xfa,0x70,0x18,0x04]
1396           vpshufhw  $4, (%eax), %xmm3
1398 // CHECK: vpshuflw  $4, %xmm2, %xmm3
1399 // CHECK: encoding: [0xc5,0xfb,0x70,0xda,0x04]
1400           vpshuflw  $4, %xmm2, %xmm3
1402 // CHECK: vpshuflw  $4, (%eax), %xmm3
1403 // CHECK: encoding: [0xc5,0xfb,0x70,0x18,0x04]
1404           vpshuflw  $4, (%eax), %xmm3
1406 // CHECK: vpunpcklbw  %xmm1, %xmm2, %xmm3
1407 // CHECK: encoding: [0xc5,0xe9,0x60,0xd9]
1408           vpunpcklbw  %xmm1, %xmm2, %xmm3
1410 // CHECK: vpunpcklbw  (%eax), %xmm2, %xmm3
1411 // CHECK: encoding: [0xc5,0xe9,0x60,0x18]
1412           vpunpcklbw  (%eax), %xmm2, %xmm3
1414 // CHECK: vpunpcklwd  %xmm1, %xmm2, %xmm3
1415 // CHECK: encoding: [0xc5,0xe9,0x61,0xd9]
1416           vpunpcklwd  %xmm1, %xmm2, %xmm3
1418 // CHECK: vpunpcklwd  (%eax), %xmm2, %xmm3
1419 // CHECK: encoding: [0xc5,0xe9,0x61,0x18]
1420           vpunpcklwd  (%eax), %xmm2, %xmm3
1422 // CHECK: vpunpckldq  %xmm1, %xmm2, %xmm3
1423 // CHECK: encoding: [0xc5,0xe9,0x62,0xd9]
1424           vpunpckldq  %xmm1, %xmm2, %xmm3
1426 // CHECK: vpunpckldq  (%eax), %xmm2, %xmm3
1427 // CHECK: encoding: [0xc5,0xe9,0x62,0x18]
1428           vpunpckldq  (%eax), %xmm2, %xmm3
1430 // CHECK: vpunpcklqdq  %xmm1, %xmm2, %xmm3
1431 // CHECK: encoding: [0xc5,0xe9,0x6c,0xd9]
1432           vpunpcklqdq  %xmm1, %xmm2, %xmm3
1434 // CHECK: vpunpcklqdq  (%eax), %xmm2, %xmm3
1435 // CHECK: encoding: [0xc5,0xe9,0x6c,0x18]
1436           vpunpcklqdq  (%eax), %xmm2, %xmm3
1438 // CHECK: vpunpckhbw  %xmm1, %xmm2, %xmm3
1439 // CHECK: encoding: [0xc5,0xe9,0x68,0xd9]
1440           vpunpckhbw  %xmm1, %xmm2, %xmm3
1442 // CHECK: vpunpckhbw  (%eax), %xmm2, %xmm3
1443 // CHECK: encoding: [0xc5,0xe9,0x68,0x18]
1444           vpunpckhbw  (%eax), %xmm2, %xmm3
1446 // CHECK: vpunpckhwd  %xmm1, %xmm2, %xmm3
1447 // CHECK: encoding: [0xc5,0xe9,0x69,0xd9]
1448           vpunpckhwd  %xmm1, %xmm2, %xmm3
1450 // CHECK: vpunpckhwd  (%eax), %xmm2, %xmm3
1451 // CHECK: encoding: [0xc5,0xe9,0x69,0x18]
1452           vpunpckhwd  (%eax), %xmm2, %xmm3
1454 // CHECK: vpunpckhdq  %xmm1, %xmm2, %xmm3
1455 // CHECK: encoding: [0xc5,0xe9,0x6a,0xd9]
1456           vpunpckhdq  %xmm1, %xmm2, %xmm3
1458 // CHECK: vpunpckhdq  (%eax), %xmm2, %xmm3
1459 // CHECK: encoding: [0xc5,0xe9,0x6a,0x18]
1460           vpunpckhdq  (%eax), %xmm2, %xmm3
1462 // CHECK: vpunpckhqdq  %xmm1, %xmm2, %xmm3
1463 // CHECK: encoding: [0xc5,0xe9,0x6d,0xd9]
1464           vpunpckhqdq  %xmm1, %xmm2, %xmm3
1466 // CHECK: vpunpckhqdq  (%eax), %xmm2, %xmm3
1467 // CHECK: encoding: [0xc5,0xe9,0x6d,0x18]
1468           vpunpckhqdq  (%eax), %xmm2, %xmm3
1470 // CHECK: vpinsrw  $7, %eax, %xmm2, %xmm3
1471 // CHECK: encoding: [0xc5,0xe9,0xc4,0xd8,0x07]
1472           vpinsrw  $7, %eax, %xmm2, %xmm3
1474 // CHECK: vpinsrw  $7, (%eax), %xmm2, %xmm3
1475 // CHECK: encoding: [0xc5,0xe9,0xc4,0x18,0x07]
1476           vpinsrw  $7, (%eax), %xmm2, %xmm3
1478 // CHECK: vpextrw  $7, %xmm2, %eax
1479 // CHECK: encoding: [0xc5,0xf9,0xc5,0xc2,0x07]
1480           vpextrw  $7, %xmm2, %eax
1482 // CHECK: vpmovmskb  %xmm1, %eax
1483 // CHECK: encoding: [0xc5,0xf9,0xd7,0xc1]
1484           vpmovmskb  %xmm1, %eax
1486 // CHECK: vmaskmovdqu  %xmm1, %xmm2
1487 // CHECK: encoding: [0xc5,0xf9,0xf7,0xd1]
1488           vmaskmovdqu  %xmm1, %xmm2
1490 // CHECK: vmovd  %xmm1, %eax
1491 // CHECK: encoding: [0xc5,0xf9,0x7e,0xc8]
1492           vmovd  %xmm1, %eax
1494 // CHECK: vmovd  %xmm1, (%eax)
1495 // CHECK: encoding: [0xc5,0xf9,0x7e,0x08]
1496           vmovd  %xmm1, (%eax)
1498 // CHECK: vmovd  %eax, %xmm1
1499 // CHECK: encoding: [0xc5,0xf9,0x6e,0xc8]
1500           vmovd  %eax, %xmm1
1502 // CHECK: vmovd  (%eax), %xmm1
1503 // CHECK: encoding: [0xc5,0xf9,0x6e,0x08]
1504           vmovd  (%eax), %xmm1
1506 // CHECK: vmovq  %xmm1, (%eax)
1507 // CHECK: encoding: [0xc5,0xf9,0xd6,0x08]
1508           vmovq  %xmm1, (%eax)
1510 // CHECK: vmovq  %xmm1, %xmm2
1511 // CHECK: encoding: [0xc5,0xfa,0x7e,0xd1]
1512           vmovq  %xmm1, %xmm2
1514 // CHECK: vmovq  (%eax), %xmm1
1515 // CHECK: encoding: [0xc5,0xfa,0x7e,0x08]
1516           vmovq  (%eax), %xmm1
1518 // CHECK: vcvtpd2dq  %xmm1, %xmm2
1519 // CHECK: encoding: [0xc5,0xfb,0xe6,0xd1]
1520           vcvtpd2dq  %xmm1, %xmm2
1522 // CHECK: vcvtdq2pd  %xmm1, %xmm2
1523 // CHECK: encoding: [0xc5,0xfa,0xe6,0xd1]
1524           vcvtdq2pd  %xmm1, %xmm2
1526 // CHECK: vcvtdq2pd  (%eax), %xmm2
1527 // CHECK: encoding: [0xc5,0xfa,0xe6,0x10]
1528           vcvtdq2pd  (%eax), %xmm2
1530 // CHECK: vmovshdup  %xmm1, %xmm2
1531 // CHECK: encoding: [0xc5,0xfa,0x16,0xd1]
1532           vmovshdup  %xmm1, %xmm2
1534 // CHECK: vmovshdup  (%eax), %xmm2
1535 // CHECK: encoding: [0xc5,0xfa,0x16,0x10]
1536           vmovshdup  (%eax), %xmm2
1538 // CHECK: vmovsldup  %xmm1, %xmm2
1539 // CHECK: encoding: [0xc5,0xfa,0x12,0xd1]
1540           vmovsldup  %xmm1, %xmm2
1542 // CHECK: vmovsldup  (%eax), %xmm2
1543 // CHECK: encoding: [0xc5,0xfa,0x12,0x10]
1544           vmovsldup  (%eax), %xmm2
1546 // CHECK: vmovddup  %xmm1, %xmm2
1547 // CHECK: encoding: [0xc5,0xfb,0x12,0xd1]
1548           vmovddup  %xmm1, %xmm2
1550 // CHECK: vmovddup  (%eax), %xmm2
1551 // CHECK: encoding: [0xc5,0xfb,0x12,0x10]
1552           vmovddup  (%eax), %xmm2
1554 // CHECK: vaddsubps  %xmm1, %xmm2, %xmm3
1555 // CHECK: encoding: [0xc5,0xeb,0xd0,0xd9]
1556           vaddsubps  %xmm1, %xmm2, %xmm3
1558 // CHECK: vaddsubps  (%eax), %xmm1, %xmm2
1559 // CHECK: encoding: [0xc5,0xf3,0xd0,0x10]
1560           vaddsubps  (%eax), %xmm1, %xmm2
1562 // CHECK: vaddsubpd  %xmm1, %xmm2, %xmm3
1563 // CHECK: encoding: [0xc5,0xe9,0xd0,0xd9]
1564           vaddsubpd  %xmm1, %xmm2, %xmm3
1566 // CHECK: vaddsubpd  (%eax), %xmm1, %xmm2
1567 // CHECK: encoding: [0xc5,0xf1,0xd0,0x10]
1568           vaddsubpd  (%eax), %xmm1, %xmm2
1570 // CHECK: vhaddps  %xmm1, %xmm2, %xmm3
1571 // CHECK: encoding: [0xc5,0xeb,0x7c,0xd9]
1572           vhaddps  %xmm1, %xmm2, %xmm3
1574 // CHECK: vhaddps  (%eax), %xmm2, %xmm3
1575 // CHECK: encoding: [0xc5,0xeb,0x7c,0x18]
1576           vhaddps  (%eax), %xmm2, %xmm3
1578 // CHECK: vhaddpd  %xmm1, %xmm2, %xmm3
1579 // CHECK: encoding: [0xc5,0xe9,0x7c,0xd9]
1580           vhaddpd  %xmm1, %xmm2, %xmm3
1582 // CHECK: vhaddpd  (%eax), %xmm2, %xmm3
1583 // CHECK: encoding: [0xc5,0xe9,0x7c,0x18]
1584           vhaddpd  (%eax), %xmm2, %xmm3
1586 // CHECK: vhsubps  %xmm1, %xmm2, %xmm3
1587 // CHECK: encoding: [0xc5,0xeb,0x7d,0xd9]
1588           vhsubps  %xmm1, %xmm2, %xmm3
1590 // CHECK: vhsubps  (%eax), %xmm2, %xmm3
1591 // CHECK: encoding: [0xc5,0xeb,0x7d,0x18]
1592           vhsubps  (%eax), %xmm2, %xmm3
1594 // CHECK: vhsubpd  %xmm1, %xmm2, %xmm3
1595 // CHECK: encoding: [0xc5,0xe9,0x7d,0xd9]
1596           vhsubpd  %xmm1, %xmm2, %xmm3
1598 // CHECK: vhsubpd  (%eax), %xmm2, %xmm3
1599 // CHECK: encoding: [0xc5,0xe9,0x7d,0x18]
1600           vhsubpd  (%eax), %xmm2, %xmm3
1602 // CHECK: vpabsb  %xmm1, %xmm2
1603 // CHECK: encoding: [0xc4,0xe2,0x79,0x1c,0xd1]
1604           vpabsb  %xmm1, %xmm2
1606 // CHECK: vpabsb  (%eax), %xmm2
1607 // CHECK: encoding: [0xc4,0xe2,0x79,0x1c,0x10]
1608           vpabsb  (%eax), %xmm2
1610 // CHECK: vpabsw  %xmm1, %xmm2
1611 // CHECK: encoding: [0xc4,0xe2,0x79,0x1d,0xd1]
1612           vpabsw  %xmm1, %xmm2
1614 // CHECK: vpabsw  (%eax), %xmm2
1615 // CHECK: encoding: [0xc4,0xe2,0x79,0x1d,0x10]
1616           vpabsw  (%eax), %xmm2
1618 // CHECK: vpabsd  %xmm1, %xmm2
1619 // CHECK: encoding: [0xc4,0xe2,0x79,0x1e,0xd1]
1620           vpabsd  %xmm1, %xmm2
1622 // CHECK: vpabsd  (%eax), %xmm2
1623 // CHECK: encoding: [0xc4,0xe2,0x79,0x1e,0x10]
1624           vpabsd  (%eax), %xmm2
1626 // CHECK: vphaddw  %xmm1, %xmm2, %xmm3
1627 // CHECK: encoding: [0xc4,0xe2,0x69,0x01,0xd9]
1628           vphaddw  %xmm1, %xmm2, %xmm3
1630 // CHECK: vphaddw  (%eax), %xmm2, %xmm3
1631 // CHECK: encoding: [0xc4,0xe2,0x69,0x01,0x18]
1632           vphaddw  (%eax), %xmm2, %xmm3
1634 // CHECK: vphaddd  %xmm1, %xmm2, %xmm3
1635 // CHECK: encoding: [0xc4,0xe2,0x69,0x02,0xd9]
1636           vphaddd  %xmm1, %xmm2, %xmm3
1638 // CHECK: vphaddd  (%eax), %xmm2, %xmm3
1639 // CHECK: encoding: [0xc4,0xe2,0x69,0x02,0x18]
1640           vphaddd  (%eax), %xmm2, %xmm3
1642 // CHECK: vphaddsw  %xmm1, %xmm2, %xmm3
1643 // CHECK: encoding: [0xc4,0xe2,0x69,0x03,0xd9]
1644           vphaddsw  %xmm1, %xmm2, %xmm3
1646 // CHECK: vphaddsw  (%eax), %xmm2, %xmm3
1647 // CHECK: encoding: [0xc4,0xe2,0x69,0x03,0x18]
1648           vphaddsw  (%eax), %xmm2, %xmm3
1650 // CHECK: vphsubw  %xmm1, %xmm2, %xmm3
1651 // CHECK: encoding: [0xc4,0xe2,0x69,0x05,0xd9]
1652           vphsubw  %xmm1, %xmm2, %xmm3
1654 // CHECK: vphsubw  (%eax), %xmm2, %xmm3
1655 // CHECK: encoding: [0xc4,0xe2,0x69,0x05,0x18]
1656           vphsubw  (%eax), %xmm2, %xmm3
1658 // CHECK: vphsubd  %xmm1, %xmm2, %xmm3
1659 // CHECK: encoding: [0xc4,0xe2,0x69,0x06,0xd9]
1660           vphsubd  %xmm1, %xmm2, %xmm3
1662 // CHECK: vphsubd  (%eax), %xmm2, %xmm3
1663 // CHECK: encoding: [0xc4,0xe2,0x69,0x06,0x18]
1664           vphsubd  (%eax), %xmm2, %xmm3
1666 // CHECK: vphsubsw  %xmm1, %xmm2, %xmm3
1667 // CHECK: encoding: [0xc4,0xe2,0x69,0x07,0xd9]
1668           vphsubsw  %xmm1, %xmm2, %xmm3
1670 // CHECK: vphsubsw  (%eax), %xmm2, %xmm3
1671 // CHECK: encoding: [0xc4,0xe2,0x69,0x07,0x18]
1672           vphsubsw  (%eax), %xmm2, %xmm3
1674 // CHECK: vpmaddubsw  %xmm1, %xmm2, %xmm3
1675 // CHECK: encoding: [0xc4,0xe2,0x69,0x04,0xd9]
1676           vpmaddubsw  %xmm1, %xmm2, %xmm3
1678 // CHECK: vpmaddubsw  (%eax), %xmm2, %xmm3
1679 // CHECK: encoding: [0xc4,0xe2,0x69,0x04,0x18]
1680           vpmaddubsw  (%eax), %xmm2, %xmm3
1682 // CHECK: vpshufb  %xmm1, %xmm2, %xmm3
1683 // CHECK: encoding: [0xc4,0xe2,0x69,0x00,0xd9]
1684           vpshufb  %xmm1, %xmm2, %xmm3
1686 // CHECK: vpshufb  (%eax), %xmm2, %xmm3
1687 // CHECK: encoding: [0xc4,0xe2,0x69,0x00,0x18]
1688           vpshufb  (%eax), %xmm2, %xmm3
1690 // CHECK: vpsignb  %xmm1, %xmm2, %xmm3
1691 // CHECK: encoding: [0xc4,0xe2,0x69,0x08,0xd9]
1692           vpsignb  %xmm1, %xmm2, %xmm3
1694 // CHECK: vpsignb  (%eax), %xmm2, %xmm3
1695 // CHECK: encoding: [0xc4,0xe2,0x69,0x08,0x18]
1696           vpsignb  (%eax), %xmm2, %xmm3
1698 // CHECK: vpsignw  %xmm1, %xmm2, %xmm3
1699 // CHECK: encoding: [0xc4,0xe2,0x69,0x09,0xd9]
1700           vpsignw  %xmm1, %xmm2, %xmm3
1702 // CHECK: vpsignw  (%eax), %xmm2, %xmm3
1703 // CHECK: encoding: [0xc4,0xe2,0x69,0x09,0x18]
1704           vpsignw  (%eax), %xmm2, %xmm3
1706 // CHECK: vpsignd  %xmm1, %xmm2, %xmm3
1707 // CHECK: encoding: [0xc4,0xe2,0x69,0x0a,0xd9]
1708           vpsignd  %xmm1, %xmm2, %xmm3
1710 // CHECK: vpsignd  (%eax), %xmm2, %xmm3
1711 // CHECK: encoding: [0xc4,0xe2,0x69,0x0a,0x18]
1712           vpsignd  (%eax), %xmm2, %xmm3
1714 // CHECK: vpmulhrsw  %xmm1, %xmm2, %xmm3
1715 // CHECK: encoding: [0xc4,0xe2,0x69,0x0b,0xd9]
1716           vpmulhrsw  %xmm1, %xmm2, %xmm3
1718 // CHECK: vpmulhrsw  (%eax), %xmm2, %xmm3
1719 // CHECK: encoding: [0xc4,0xe2,0x69,0x0b,0x18]
1720           vpmulhrsw  (%eax), %xmm2, %xmm3
1722 // CHECK: vpalignr  $7, %xmm1, %xmm2, %xmm3
1723 // CHECK: encoding: [0xc4,0xe3,0x69,0x0f,0xd9,0x07]
1724           vpalignr  $7, %xmm1, %xmm2, %xmm3
1726 // CHECK: vpalignr  $7, (%eax), %xmm2, %xmm3
1727 // CHECK: encoding: [0xc4,0xe3,0x69,0x0f,0x18,0x07]
1728           vpalignr  $7, (%eax), %xmm2, %xmm3
1730 // CHECK: vroundsd  $7, %xmm1, %xmm2, %xmm3
1731 // CHECK: encoding: [0xc4,0xe3,0x69,0x0b,0xd9,0x07]
1732           vroundsd  $7, %xmm1, %xmm2, %xmm3
1734 // CHECK: vroundsd  $7, (%eax), %xmm2, %xmm3
1735 // CHECK: encoding: [0xc4,0xe3,0x69,0x0b,0x18,0x07]
1736           vroundsd  $7, (%eax), %xmm2, %xmm3
1738 // CHECK: vroundss  $7, %xmm1, %xmm2, %xmm3
1739 // CHECK: encoding: [0xc4,0xe3,0x69,0x0a,0xd9,0x07]
1740           vroundss  $7, %xmm1, %xmm2, %xmm3
1742 // CHECK: vroundss  $7, (%eax), %xmm2, %xmm3
1743 // CHECK: encoding: [0xc4,0xe3,0x69,0x0a,0x18,0x07]
1744           vroundss  $7, (%eax), %xmm2, %xmm3
1746 // CHECK: vroundpd  $7, %xmm2, %xmm3
1747 // CHECK: encoding: [0xc4,0xe3,0x79,0x09,0xda,0x07]
1748           vroundpd  $7, %xmm2, %xmm3
1750 // CHECK: vroundpd  $7, (%eax), %xmm3
1751 // CHECK: encoding: [0xc4,0xe3,0x79,0x09,0x18,0x07]
1752           vroundpd  $7, (%eax), %xmm3
1754 // CHECK: vroundps  $7, %xmm2, %xmm3
1755 // CHECK: encoding: [0xc4,0xe3,0x79,0x08,0xda,0x07]
1756           vroundps  $7, %xmm2, %xmm3
1758 // CHECK: vroundps  $7, (%eax), %xmm3
1759 // CHECK: encoding: [0xc4,0xe3,0x79,0x08,0x18,0x07]
1760           vroundps  $7, (%eax), %xmm3
1762 // CHECK: vphminposuw  %xmm2, %xmm3
1763 // CHECK: encoding: [0xc4,0xe2,0x79,0x41,0xda]
1764           vphminposuw  %xmm2, %xmm3
1766 // CHECK: vphminposuw  (%eax), %xmm2
1767 // CHECK: encoding: [0xc4,0xe2,0x79,0x41,0x10]
1768           vphminposuw  (%eax), %xmm2
1770 // CHECK: vpackusdw  %xmm2, %xmm3, %xmm1
1771 // CHECK: encoding: [0xc4,0xe2,0x61,0x2b,0xca]
1772           vpackusdw  %xmm2, %xmm3, %xmm1
1774 // CHECK: vpackusdw  (%eax), %xmm2, %xmm3
1775 // CHECK: encoding: [0xc4,0xe2,0x69,0x2b,0x18]
1776           vpackusdw  (%eax), %xmm2, %xmm3
1778 // CHECK: vpcmpeqq  %xmm2, %xmm3, %xmm1
1779 // CHECK: encoding: [0xc4,0xe2,0x61,0x29,0xca]
1780           vpcmpeqq  %xmm2, %xmm3, %xmm1
1782 // CHECK: vpcmpeqq  (%eax), %xmm2, %xmm3
1783 // CHECK: encoding: [0xc4,0xe2,0x69,0x29,0x18]
1784           vpcmpeqq  (%eax), %xmm2, %xmm3
1786 // CHECK: vpminsb  %xmm2, %xmm3, %xmm1
1787 // CHECK: encoding: [0xc4,0xe2,0x61,0x38,0xca]
1788           vpminsb  %xmm2, %xmm3, %xmm1
1790 // CHECK: vpminsb  (%eax), %xmm2, %xmm3
1791 // CHECK: encoding: [0xc4,0xe2,0x69,0x38,0x18]
1792           vpminsb  (%eax), %xmm2, %xmm3
1794 // CHECK: vpminsd  %xmm2, %xmm3, %xmm1
1795 // CHECK: encoding: [0xc4,0xe2,0x61,0x39,0xca]
1796           vpminsd  %xmm2, %xmm3, %xmm1
1798 // CHECK: vpminsd  (%eax), %xmm2, %xmm3
1799 // CHECK: encoding: [0xc4,0xe2,0x69,0x39,0x18]
1800           vpminsd  (%eax), %xmm2, %xmm3
1802 // CHECK: vpminud  %xmm2, %xmm3, %xmm1
1803 // CHECK: encoding: [0xc4,0xe2,0x61,0x3b,0xca]
1804           vpminud  %xmm2, %xmm3, %xmm1
1806 // CHECK: vpminud  (%eax), %xmm2, %xmm3
1807 // CHECK: encoding: [0xc4,0xe2,0x69,0x3b,0x18]
1808           vpminud  (%eax), %xmm2, %xmm3
1810 // CHECK: vpminuw  %xmm2, %xmm3, %xmm1
1811 // CHECK: encoding: [0xc4,0xe2,0x61,0x3a,0xca]
1812           vpminuw  %xmm2, %xmm3, %xmm1
1814 // CHECK: vpminuw  (%eax), %xmm2, %xmm3
1815 // CHECK: encoding: [0xc4,0xe2,0x69,0x3a,0x18]
1816           vpminuw  (%eax), %xmm2, %xmm3
1818 // CHECK: vpmaxsb  %xmm2, %xmm3, %xmm1
1819 // CHECK: encoding: [0xc4,0xe2,0x61,0x3c,0xca]
1820           vpmaxsb  %xmm2, %xmm3, %xmm1
1822 // CHECK: vpmaxsb  (%eax), %xmm2, %xmm3
1823 // CHECK: encoding: [0xc4,0xe2,0x69,0x3c,0x18]
1824           vpmaxsb  (%eax), %xmm2, %xmm3
1826 // CHECK: vpmaxsd  %xmm2, %xmm3, %xmm1
1827 // CHECK: encoding: [0xc4,0xe2,0x61,0x3d,0xca]
1828           vpmaxsd  %xmm2, %xmm3, %xmm1
1830 // CHECK: vpmaxsd  (%eax), %xmm2, %xmm3
1831 // CHECK: encoding: [0xc4,0xe2,0x69,0x3d,0x18]
1832           vpmaxsd  (%eax), %xmm2, %xmm3
1834 // CHECK: vpmaxud  %xmm2, %xmm3, %xmm1
1835 // CHECK: encoding: [0xc4,0xe2,0x61,0x3f,0xca]
1836           vpmaxud  %xmm2, %xmm3, %xmm1
1838 // CHECK: vpmaxud  (%eax), %xmm2, %xmm3
1839 // CHECK: encoding: [0xc4,0xe2,0x69,0x3f,0x18]
1840           vpmaxud  (%eax), %xmm2, %xmm3
1842 // CHECK: vpmaxuw  %xmm2, %xmm3, %xmm1
1843 // CHECK: encoding: [0xc4,0xe2,0x61,0x3e,0xca]
1844           vpmaxuw  %xmm2, %xmm3, %xmm1
1846 // CHECK: vpmaxuw  (%eax), %xmm2, %xmm3
1847 // CHECK: encoding: [0xc4,0xe2,0x69,0x3e,0x18]
1848           vpmaxuw  (%eax), %xmm2, %xmm3
1850 // CHECK: vpmuldq  %xmm2, %xmm3, %xmm1
1851 // CHECK: encoding: [0xc4,0xe2,0x61,0x28,0xca]
1852           vpmuldq  %xmm2, %xmm3, %xmm1
1854 // CHECK: vpmuldq  (%eax), %xmm2, %xmm3
1855 // CHECK: encoding: [0xc4,0xe2,0x69,0x28,0x18]
1856           vpmuldq  (%eax), %xmm2, %xmm3
1858 // CHECK: vpmulld  %xmm2, %xmm5, %xmm1
1859 // CHECK: encoding: [0xc4,0xe2,0x51,0x40,0xca]
1860           vpmulld  %xmm2, %xmm5, %xmm1
1862 // CHECK: vpmulld  (%eax), %xmm5, %xmm3
1863 // CHECK: encoding: [0xc4,0xe2,0x51,0x40,0x18]
1864           vpmulld  (%eax), %xmm5, %xmm3
1866 // CHECK: vblendps  $3, %xmm2, %xmm5, %xmm1
1867 // CHECK: encoding: [0xc4,0xe3,0x51,0x0c,0xca,0x03]
1868           vblendps  $3, %xmm2, %xmm5, %xmm1
1870 // CHECK: vblendps  $3, (%eax), %xmm5, %xmm1
1871 // CHECK: encoding: [0xc4,0xe3,0x51,0x0c,0x08,0x03]
1872           vblendps  $3, (%eax), %xmm5, %xmm1
1874 // CHECK: vblendpd  $3, %xmm2, %xmm5, %xmm1
1875 // CHECK: encoding: [0xc4,0xe3,0x51,0x0d,0xca,0x03]
1876           vblendpd  $3, %xmm2, %xmm5, %xmm1
1878 // CHECK: vblendpd  $3, (%eax), %xmm5, %xmm1
1879 // CHECK: encoding: [0xc4,0xe3,0x51,0x0d,0x08,0x03]
1880           vblendpd  $3, (%eax), %xmm5, %xmm1
1882 // CHECK: vpblendw  $3, %xmm2, %xmm5, %xmm1
1883 // CHECK: encoding: [0xc4,0xe3,0x51,0x0e,0xca,0x03]
1884           vpblendw  $3, %xmm2, %xmm5, %xmm1
1886 // CHECK: vpblendw  $3, (%eax), %xmm5, %xmm1
1887 // CHECK: encoding: [0xc4,0xe3,0x51,0x0e,0x08,0x03]
1888           vpblendw  $3, (%eax), %xmm5, %xmm1
1890 // CHECK: vmpsadbw  $3, %xmm2, %xmm5, %xmm1
1891 // CHECK: encoding: [0xc4,0xe3,0x51,0x42,0xca,0x03]
1892           vmpsadbw  $3, %xmm2, %xmm5, %xmm1
1894 // CHECK: vmpsadbw  $3, (%eax), %xmm5, %xmm1
1895 // CHECK: encoding: [0xc4,0xe3,0x51,0x42,0x08,0x03]
1896           vmpsadbw  $3, (%eax), %xmm5, %xmm1
1898 // CHECK: vdpps  $3, %xmm2, %xmm5, %xmm1
1899 // CHECK: encoding: [0xc4,0xe3,0x51,0x40,0xca,0x03]
1900           vdpps  $3, %xmm2, %xmm5, %xmm1
1902 // CHECK: vdpps  $3, (%eax), %xmm5, %xmm1
1903 // CHECK: encoding: [0xc4,0xe3,0x51,0x40,0x08,0x03]
1904           vdpps  $3, (%eax), %xmm5, %xmm1
1906 // CHECK: vdppd  $3, %xmm2, %xmm5, %xmm1
1907 // CHECK: encoding: [0xc4,0xe3,0x51,0x41,0xca,0x03]
1908           vdppd  $3, %xmm2, %xmm5, %xmm1
1910 // CHECK: vdppd  $3, (%eax), %xmm5, %xmm1
1911 // CHECK: encoding: [0xc4,0xe3,0x51,0x41,0x08,0x03]
1912           vdppd  $3, (%eax), %xmm5, %xmm1
1914 // CHECK: vblendvpd  %xmm2, %xmm5, %xmm1, %xmm3
1915 // CHECK: encoding: [0xc4,0xe3,0x71,0x4b,0xdd,0x20]
1916           vblendvpd  %xmm2, %xmm5, %xmm1, %xmm3
1918 // CHECK: vblendvpd  %xmm2, (%eax), %xmm1, %xmm3
1919 // CHECK: encoding: [0xc4,0xe3,0x71,0x4b,0x18,0x20]
1920           vblendvpd  %xmm2, (%eax), %xmm1, %xmm3
1922 // CHECK: vblendvps  %xmm2, %xmm5, %xmm1, %xmm3
1923 // CHECK: encoding: [0xc4,0xe3,0x71,0x4a,0xdd,0x20]
1924           vblendvps  %xmm2, %xmm5, %xmm1, %xmm3
1926 // CHECK: vblendvps  %xmm2, (%eax), %xmm1, %xmm3
1927 // CHECK: encoding: [0xc4,0xe3,0x71,0x4a,0x18,0x20]
1928           vblendvps  %xmm2, (%eax), %xmm1, %xmm3
1930 // CHECK: vpblendvb  %xmm2, %xmm5, %xmm1, %xmm3
1931 // CHECK: encoding: [0xc4,0xe3,0x71,0x4c,0xdd,0x20]
1932           vpblendvb  %xmm2, %xmm5, %xmm1, %xmm3
1934 // CHECK: vpblendvb  %xmm2, (%eax), %xmm1, %xmm3
1935 // CHECK: encoding: [0xc4,0xe3,0x71,0x4c,0x18,0x20]
1936           vpblendvb  %xmm2, (%eax), %xmm1, %xmm3
1938 // CHECK: vpmovsxbw  %xmm2, %xmm5
1939 // CHECK: encoding: [0xc4,0xe2,0x79,0x20,0xea]
1940           vpmovsxbw  %xmm2, %xmm5
1942 // CHECK: vpmovsxbw  (%eax), %xmm2
1943 // CHECK: encoding: [0xc4,0xe2,0x79,0x20,0x10]
1944           vpmovsxbw  (%eax), %xmm2
1946 // CHECK: vpmovsxwd  %xmm2, %xmm5
1947 // CHECK: encoding: [0xc4,0xe2,0x79,0x23,0xea]
1948           vpmovsxwd  %xmm2, %xmm5
1950 // CHECK: vpmovsxwd  (%eax), %xmm2
1951 // CHECK: encoding: [0xc4,0xe2,0x79,0x23,0x10]
1952           vpmovsxwd  (%eax), %xmm2
1954 // CHECK: vpmovsxdq  %xmm2, %xmm5
1955 // CHECK: encoding: [0xc4,0xe2,0x79,0x25,0xea]
1956           vpmovsxdq  %xmm2, %xmm5
1958 // CHECK: vpmovsxdq  (%eax), %xmm2
1959 // CHECK: encoding: [0xc4,0xe2,0x79,0x25,0x10]
1960           vpmovsxdq  (%eax), %xmm2
1962 // CHECK: vpmovzxbw  %xmm2, %xmm5
1963 // CHECK: encoding: [0xc4,0xe2,0x79,0x30,0xea]
1964           vpmovzxbw  %xmm2, %xmm5
1966 // CHECK: vpmovzxbw  (%eax), %xmm2
1967 // CHECK: encoding: [0xc4,0xe2,0x79,0x30,0x10]
1968           vpmovzxbw  (%eax), %xmm2
1970 // CHECK: vpmovzxwd  %xmm2, %xmm5
1971 // CHECK: encoding: [0xc4,0xe2,0x79,0x33,0xea]
1972           vpmovzxwd  %xmm2, %xmm5
1974 // CHECK: vpmovzxwd  (%eax), %xmm2
1975 // CHECK: encoding: [0xc4,0xe2,0x79,0x33,0x10]
1976           vpmovzxwd  (%eax), %xmm2
1978 // CHECK: vpmovzxdq  %xmm2, %xmm5
1979 // CHECK: encoding: [0xc4,0xe2,0x79,0x35,0xea]
1980           vpmovzxdq  %xmm2, %xmm5
1982 // CHECK: vpmovzxdq  (%eax), %xmm2
1983 // CHECK: encoding: [0xc4,0xe2,0x79,0x35,0x10]
1984           vpmovzxdq  (%eax), %xmm2
1986 // CHECK: vpmovsxbq  %xmm2, %xmm5
1987 // CHECK: encoding: [0xc4,0xe2,0x79,0x22,0xea]
1988           vpmovsxbq  %xmm2, %xmm5
1990 // CHECK: vpmovsxbq  (%eax), %xmm2
1991 // CHECK: encoding: [0xc4,0xe2,0x79,0x22,0x10]
1992           vpmovsxbq  (%eax), %xmm2
1994 // CHECK: vpmovzxbq  %xmm2, %xmm5
1995 // CHECK: encoding: [0xc4,0xe2,0x79,0x32,0xea]
1996           vpmovzxbq  %xmm2, %xmm5
1998 // CHECK: vpmovzxbq  (%eax), %xmm2
1999 // CHECK: encoding: [0xc4,0xe2,0x79,0x32,0x10]
2000           vpmovzxbq  (%eax), %xmm2
2002 // CHECK: vpmovsxbd  %xmm2, %xmm5
2003 // CHECK: encoding: [0xc4,0xe2,0x79,0x21,0xea]
2004           vpmovsxbd  %xmm2, %xmm5
2006 // CHECK: vpmovsxbd  (%eax), %xmm2
2007 // CHECK: encoding: [0xc4,0xe2,0x79,0x21,0x10]
2008           vpmovsxbd  (%eax), %xmm2
2010 // CHECK: vpmovsxwq  %xmm2, %xmm5
2011 // CHECK: encoding: [0xc4,0xe2,0x79,0x24,0xea]
2012           vpmovsxwq  %xmm2, %xmm5
2014 // CHECK: vpmovsxwq  (%eax), %xmm2
2015 // CHECK: encoding: [0xc4,0xe2,0x79,0x24,0x10]
2016           vpmovsxwq  (%eax), %xmm2
2018 // CHECK: vpmovzxbd  %xmm2, %xmm5
2019 // CHECK: encoding: [0xc4,0xe2,0x79,0x31,0xea]
2020           vpmovzxbd  %xmm2, %xmm5
2022 // CHECK: vpmovzxbd  (%eax), %xmm2
2023 // CHECK: encoding: [0xc4,0xe2,0x79,0x31,0x10]
2024           vpmovzxbd  (%eax), %xmm2
2026 // CHECK: vpmovzxwq  %xmm2, %xmm5
2027 // CHECK: encoding: [0xc4,0xe2,0x79,0x34,0xea]
2028           vpmovzxwq  %xmm2, %xmm5
2030 // CHECK: vpmovzxwq  (%eax), %xmm2
2031 // CHECK: encoding: [0xc4,0xe2,0x79,0x34,0x10]
2032           vpmovzxwq  (%eax), %xmm2
2034 // CHECK: vpextrw  $7, %xmm2, %eax
2035 // CHECK: encoding: [0xc5,0xf9,0xc5,0xc2,0x07]
2036           vpextrw  $7, %xmm2, %eax
2038 // CHECK: vpextrw  $7, %xmm2, (%eax)
2039 // CHECK: encoding: [0xc4,0xe3,0x79,0x15,0x10,0x07]
2040           vpextrw  $7, %xmm2, (%eax)
2042 // CHECK: vpextrd  $7, %xmm2, %eax
2043 // CHECK: encoding: [0xc4,0xe3,0x79,0x16,0xd0,0x07]
2044           vpextrd  $7, %xmm2, %eax
2046 // CHECK: vpextrd  $7, %xmm2, (%eax)
2047 // CHECK: encoding: [0xc4,0xe3,0x79,0x16,0x10,0x07]
2048           vpextrd  $7, %xmm2, (%eax)
2050 // CHECK: vpextrb  $7, %xmm2, %eax
2051 // CHECK: encoding: [0xc4,0xe3,0x79,0x14,0xd0,0x07]
2052           vpextrb  $7, %xmm2, %eax
2054 // CHECK: vpextrb  $7, %xmm2, (%eax)
2055 // CHECK: encoding: [0xc4,0xe3,0x79,0x14,0x10,0x07]
2056           vpextrb  $7, %xmm2, (%eax)
2058 // CHECK: vextractps  $7, %xmm2, (%eax)
2059 // CHECK: encoding: [0xc4,0xe3,0x79,0x17,0x10,0x07]
2060           vextractps  $7, %xmm2, (%eax)
2062 // CHECK: vextractps  $7, %xmm2, %eax
2063 // CHECK: encoding: [0xc4,0xe3,0x79,0x17,0xd0,0x07]
2064           vextractps  $7, %xmm2, %eax
2066 // CHECK: vpinsrw  $7, %eax, %xmm2, %xmm5
2067 // CHECK: encoding: [0xc5,0xe9,0xc4,0xe8,0x07]
2068           vpinsrw  $7, %eax, %xmm2, %xmm5
2070 // CHECK: vpinsrw  $7, (%eax), %xmm2, %xmm5
2071 // CHECK: encoding: [0xc5,0xe9,0xc4,0x28,0x07]
2072           vpinsrw  $7, (%eax), %xmm2, %xmm5
2074 // CHECK: vpinsrb  $7, %eax, %xmm2, %xmm5
2075 // CHECK: encoding: [0xc4,0xe3,0x69,0x20,0xe8,0x07]
2076           vpinsrb  $7, %eax, %xmm2, %xmm5
2078 // CHECK: vpinsrb  $7, (%eax), %xmm2, %xmm5
2079 // CHECK: encoding: [0xc4,0xe3,0x69,0x20,0x28,0x07]
2080           vpinsrb  $7, (%eax), %xmm2, %xmm5
2082 // CHECK: vpinsrd  $7, %eax, %xmm2, %xmm5
2083 // CHECK: encoding: [0xc4,0xe3,0x69,0x22,0xe8,0x07]
2084           vpinsrd  $7, %eax, %xmm2, %xmm5
2086 // CHECK: vpinsrd  $7, (%eax), %xmm2, %xmm5
2087 // CHECK: encoding: [0xc4,0xe3,0x69,0x22,0x28,0x07]
2088           vpinsrd  $7, (%eax), %xmm2, %xmm5
2090 // CHECK: vinsertps  $7, %xmm2, %xmm5, %xmm1
2091 // CHECK: encoding: [0xc4,0xe3,0x51,0x21,0xca,0x07]
2092           vinsertps  $7, %xmm2, %xmm5, %xmm1
2094 // CHECK: vinsertps  $7, (%eax), %xmm5, %xmm1
2095 // CHECK: encoding: [0xc4,0xe3,0x51,0x21,0x08,0x07]
2096           vinsertps  $7, (%eax), %xmm5, %xmm1
2098 // CHECK: vptest  %xmm2, %xmm5
2099 // CHECK: encoding: [0xc4,0xe2,0x79,0x17,0xea]
2100           vptest  %xmm2, %xmm5
2102 // CHECK: vptest  (%eax), %xmm2
2103 // CHECK: encoding: [0xc4,0xe2,0x79,0x17,0x10]
2104           vptest  (%eax), %xmm2
2106 // CHECK: vmovntdqa  (%eax), %xmm2
2107 // CHECK: encoding: [0xc4,0xe2,0x79,0x2a,0x10]
2108           vmovntdqa  (%eax), %xmm2
2110 // CHECK: vpcmpgtq  %xmm2, %xmm5, %xmm1
2111 // CHECK: encoding: [0xc4,0xe2,0x51,0x37,0xca]
2112           vpcmpgtq  %xmm2, %xmm5, %xmm1
2114 // CHECK: vpcmpgtq  (%eax), %xmm5, %xmm3
2115 // CHECK: encoding: [0xc4,0xe2,0x51,0x37,0x18]
2116           vpcmpgtq  (%eax), %xmm5, %xmm3
2118 // CHECK: vpcmpistrm  $7, %xmm2, %xmm5
2119 // CHECK: encoding: [0xc4,0xe3,0x79,0x62,0xea,0x07]
2120           vpcmpistrm  $7, %xmm2, %xmm5
2122 // CHECK: vpcmpistrm  $7, (%eax), %xmm5
2123 // CHECK: encoding: [0xc4,0xe3,0x79,0x62,0x28,0x07]
2124           vpcmpistrm  $7, (%eax), %xmm5
2126 // CHECK: vpcmpestrm  $7, %xmm2, %xmm5
2127 // CHECK: encoding: [0xc4,0xe3,0x79,0x60,0xea,0x07]
2128           vpcmpestrm  $7, %xmm2, %xmm5
2130 // CHECK: vpcmpestrm  $7, (%eax), %xmm5
2131 // CHECK: encoding: [0xc4,0xe3,0x79,0x60,0x28,0x07]
2132           vpcmpestrm  $7, (%eax), %xmm5
2134 // CHECK: vpcmpistri  $7, %xmm2, %xmm5
2135 // CHECK: encoding: [0xc4,0xe3,0x79,0x63,0xea,0x07]
2136           vpcmpistri  $7, %xmm2, %xmm5
2138 // CHECK: vpcmpistri  $7, (%eax), %xmm5
2139 // CHECK: encoding: [0xc4,0xe3,0x79,0x63,0x28,0x07]
2140           vpcmpistri  $7, (%eax), %xmm5
2142 // CHECK: vpcmpestri  $7, %xmm2, %xmm5
2143 // CHECK: encoding: [0xc4,0xe3,0x79,0x61,0xea,0x07]
2144           vpcmpestri  $7, %xmm2, %xmm5
2146 // CHECK: vpcmpestri  $7, (%eax), %xmm5
2147 // CHECK: encoding: [0xc4,0xe3,0x79,0x61,0x28,0x07]
2148           vpcmpestri  $7, (%eax), %xmm5
2150 // CHECK: vaesimc  %xmm2, %xmm5
2151 // CHECK: encoding: [0xc4,0xe2,0x79,0xdb,0xea]
2152           vaesimc  %xmm2, %xmm5
2154 // CHECK: vaesimc  (%eax), %xmm2
2155 // CHECK: encoding: [0xc4,0xe2,0x79,0xdb,0x10]
2156           vaesimc  (%eax), %xmm2
2158 // CHECK: vaesenc  %xmm2, %xmm5, %xmm1
2159 // CHECK: encoding: [0xc4,0xe2,0x51,0xdc,0xca]
2160           vaesenc  %xmm2, %xmm5, %xmm1
2162 // CHECK: vaesenc  (%eax), %xmm5, %xmm3
2163 // CHECK: encoding: [0xc4,0xe2,0x51,0xdc,0x18]
2164           vaesenc  (%eax), %xmm5, %xmm3
2166 // CHECK: vaesenclast  %xmm2, %xmm5, %xmm1
2167 // CHECK: encoding: [0xc4,0xe2,0x51,0xdd,0xca]
2168           vaesenclast  %xmm2, %xmm5, %xmm1
2170 // CHECK: vaesenclast  (%eax), %xmm5, %xmm3
2171 // CHECK: encoding: [0xc4,0xe2,0x51,0xdd,0x18]
2172           vaesenclast  (%eax), %xmm5, %xmm3
2174 // CHECK: vaesdec  %xmm2, %xmm5, %xmm1
2175 // CHECK: encoding: [0xc4,0xe2,0x51,0xde,0xca]
2176           vaesdec  %xmm2, %xmm5, %xmm1
2178 // CHECK: vaesdec  (%eax), %xmm5, %xmm3
2179 // CHECK: encoding: [0xc4,0xe2,0x51,0xde,0x18]
2180           vaesdec  (%eax), %xmm5, %xmm3
2182 // CHECK: vaesdeclast  %xmm2, %xmm5, %xmm1
2183 // CHECK: encoding: [0xc4,0xe2,0x51,0xdf,0xca]
2184           vaesdeclast  %xmm2, %xmm5, %xmm1
2186 // CHECK: vaesdeclast  (%eax), %xmm5, %xmm3
2187 // CHECK: encoding: [0xc4,0xe2,0x51,0xdf,0x18]
2188           vaesdeclast  (%eax), %xmm5, %xmm3
2190 // CHECK: vaeskeygenassist  $7, %xmm2, %xmm5
2191 // CHECK: encoding: [0xc4,0xe3,0x79,0xdf,0xea,0x07]
2192           vaeskeygenassist  $7, %xmm2, %xmm5
2194 // CHECK: vaeskeygenassist  $7, (%eax), %xmm5
2195 // CHECK: encoding: [0xc4,0xe3,0x79,0xdf,0x28,0x07]
2196           vaeskeygenassist  $7, (%eax), %xmm5
2198 // CHECK: vcmpps  $8, %xmm1, %xmm2, %xmm3
2199 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x08]
2200           vcmpeq_uqps %xmm1, %xmm2, %xmm3
2202 // CHECK: vcmpps  $9, %xmm1, %xmm2, %xmm3
2203 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x09]
2204           vcmpngeps %xmm1, %xmm2, %xmm3
2206 // CHECK: vcmpps  $10, %xmm1, %xmm2, %xmm3
2207 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x0a]
2208           vcmpngtps %xmm1, %xmm2, %xmm3
2210 // CHECK: vcmpps  $11, %xmm1, %xmm2, %xmm3
2211 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x0b]
2212           vcmpfalseps %xmm1, %xmm2, %xmm3
2214 // CHECK: vcmpps  $12, %xmm1, %xmm2, %xmm3
2215 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x0c]
2216           vcmpneq_oqps %xmm1, %xmm2, %xmm3
2218 // CHECK: vcmpps  $13, %xmm1, %xmm2, %xmm3
2219 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x0d]
2220           vcmpgeps %xmm1, %xmm2, %xmm3
2222 // CHECK: vcmpps  $14, %xmm1, %xmm2, %xmm3
2223 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x0e]
2224           vcmpgtps %xmm1, %xmm2, %xmm3
2226 // CHECK: vcmpps  $15, %xmm1, %xmm2, %xmm3
2227 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x0f]
2228           vcmptrueps %xmm1, %xmm2, %xmm3
2230 // CHECK: vcmpps  $16, %xmm1, %xmm2, %xmm3
2231 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x10]
2232           vcmpeq_osps %xmm1, %xmm2, %xmm3
2234 // CHECK: vcmpps  $17, %xmm1, %xmm2, %xmm3
2235 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x11]
2236           vcmplt_oqps %xmm1, %xmm2, %xmm3
2238 // CHECK: vcmpps  $18, %xmm1, %xmm2, %xmm3
2239 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x12]
2240           vcmple_oqps %xmm1, %xmm2, %xmm3
2242 // CHECK: vcmpps  $19, %xmm1, %xmm2, %xmm3
2243 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x13]
2244           vcmpunord_sps %xmm1, %xmm2, %xmm3
2246 // CHECK: vcmpps  $20, %xmm1, %xmm2, %xmm3
2247 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x14]
2248           vcmpneq_usps %xmm1, %xmm2, %xmm3
2250 // CHECK: vcmpps  $21, %xmm1, %xmm2, %xmm3
2251 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x15]
2252           vcmpnlt_uqps %xmm1, %xmm2, %xmm3
2254 // CHECK: vcmpps  $22, %xmm1, %xmm2, %xmm3
2255 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x16]
2256           vcmpnle_uqps %xmm1, %xmm2, %xmm3
2258 // CHECK: vcmpps  $23, %xmm1, %xmm2, %xmm3
2259 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x17]
2260           vcmpord_sps %xmm1, %xmm2, %xmm3
2262 // CHECK: vcmpps  $24, %xmm1, %xmm2, %xmm3
2263 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x18]
2264           vcmpeq_usps %xmm1, %xmm2, %xmm3
2266 // CHECK: vcmpps  $25, %xmm1, %xmm2, %xmm3
2267 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x19]
2268           vcmpnge_uqps %xmm1, %xmm2, %xmm3
2270 // CHECK: vcmpps  $26, %xmm1, %xmm2, %xmm3
2271 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x1a]
2272           vcmpngt_uqps %xmm1, %xmm2, %xmm3
2274 // CHECK: vcmpps  $27, %xmm1, %xmm2, %xmm3
2275 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x1b]
2276           vcmpfalse_osps %xmm1, %xmm2, %xmm3
2278 // CHECK: vcmpps  $28, %xmm1, %xmm2, %xmm3
2279 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x1c]
2280           vcmpneq_osps %xmm1, %xmm2, %xmm3
2282 // CHECK: vcmpps  $29, %xmm1, %xmm2, %xmm3
2283 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x1d]
2284           vcmpge_oqps %xmm1, %xmm2, %xmm3
2286 // CHECK: vcmpps  $30, %xmm1, %xmm2, %xmm3
2287 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x1e]
2288           vcmpgt_oqps %xmm1, %xmm2, %xmm3
2290 // CHECK: vcmpps  $31, %xmm1, %xmm2, %xmm3
2291 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x1f]
2292           vcmptrue_usps %xmm1, %xmm2, %xmm3
2294 // CHECK: vmovaps  (%eax), %ymm2
2295 // CHECK: encoding: [0xc5,0xfc,0x28,0x10]
2296           vmovaps  (%eax), %ymm2
2298 // CHECK: vmovaps  %ymm1, %ymm2
2299 // CHECK: encoding: [0xc5,0xfc,0x28,0xd1]
2300           vmovaps  %ymm1, %ymm2
2302 // CHECK: vmovaps  %ymm1, (%eax)
2303 // CHECK: encoding: [0xc5,0xfc,0x29,0x08]
2304           vmovaps  %ymm1, (%eax)
2306 // CHECK: vmovapd  (%eax), %ymm2
2307 // CHECK: encoding: [0xc5,0xfd,0x28,0x10]
2308           vmovapd  (%eax), %ymm2
2310 // CHECK: vmovapd  %ymm1, %ymm2
2311 // CHECK: encoding: [0xc5,0xfd,0x28,0xd1]
2312           vmovapd  %ymm1, %ymm2
2314 // CHECK: vmovapd  %ymm1, (%eax)
2315 // CHECK: encoding: [0xc5,0xfd,0x29,0x08]
2316           vmovapd  %ymm1, (%eax)
2318 // CHECK: vmovups  (%eax), %ymm2
2319 // CHECK: encoding: [0xc5,0xfc,0x10,0x10]
2320           vmovups  (%eax), %ymm2
2322 // CHECK: vmovups  %ymm1, %ymm2
2323 // CHECK: encoding: [0xc5,0xfc,0x10,0xd1]
2324           vmovups  %ymm1, %ymm2
2326 // CHECK: vmovups  %ymm1, (%eax)
2327 // CHECK: encoding: [0xc5,0xfc,0x11,0x08]
2328           vmovups  %ymm1, (%eax)
2330 // CHECK: vmovupd  (%eax), %ymm2
2331 // CHECK: encoding: [0xc5,0xfd,0x10,0x10]
2332           vmovupd  (%eax), %ymm2
2334 // CHECK: vmovupd  %ymm1, %ymm2
2335 // CHECK: encoding: [0xc5,0xfd,0x10,0xd1]
2336           vmovupd  %ymm1, %ymm2
2338 // CHECK: vmovupd  %ymm1, (%eax)
2339 // CHECK: encoding: [0xc5,0xfd,0x11,0x08]
2340           vmovupd  %ymm1, (%eax)
2342 // CHECK: vunpckhps  %ymm1, %ymm2, %ymm4
2343 // CHECK: encoding: [0xc5,0xec,0x15,0xe1]
2344           vunpckhps  %ymm1, %ymm2, %ymm4
2346 // CHECK: vunpckhpd  %ymm1, %ymm2, %ymm4
2347 // CHECK: encoding: [0xc5,0xed,0x15,0xe1]
2348           vunpckhpd  %ymm1, %ymm2, %ymm4
2350 // CHECK: vunpcklps  %ymm1, %ymm2, %ymm4
2351 // CHECK: encoding: [0xc5,0xec,0x14,0xe1]
2352           vunpcklps  %ymm1, %ymm2, %ymm4
2354 // CHECK: vunpcklpd  %ymm1, %ymm2, %ymm4
2355 // CHECK: encoding: [0xc5,0xed,0x14,0xe1]
2356           vunpcklpd  %ymm1, %ymm2, %ymm4
2358 // CHECK: vunpckhps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2359 // CHECK: encoding: [0xc5,0xec,0x15,0x6c,0xcb,0xfc]
2360           vunpckhps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2362 // CHECK: vunpckhpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2363 // CHECK: encoding: [0xc5,0xed,0x15,0x6c,0xcb,0xfc]
2364           vunpckhpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2366 // CHECK: vunpcklps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2367 // CHECK: encoding: [0xc5,0xec,0x14,0x6c,0xcb,0xfc]
2368           vunpcklps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2370 // CHECK: vunpcklpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2371 // CHECK: encoding: [0xc5,0xed,0x14,0x6c,0xcb,0xfc]
2372           vunpcklpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2374 // CHECK: vmovntdq  %ymm1, (%eax)
2375 // CHECK: encoding: [0xc5,0xfd,0xe7,0x08]
2376           vmovntdq  %ymm1, (%eax)
2378 // CHECK: vmovntpd  %ymm1, (%eax)
2379 // CHECK: encoding: [0xc5,0xfd,0x2b,0x08]
2380           vmovntpd  %ymm1, (%eax)
2382 // CHECK: vmovntps  %ymm1, (%eax)
2383 // CHECK: encoding: [0xc5,0xfc,0x2b,0x08]
2384           vmovntps  %ymm1, (%eax)
2386 // CHECK: vmovmskps  %xmm2, %eax
2387 // CHECK: encoding: [0xc5,0xf8,0x50,0xc2]
2388           vmovmskps  %xmm2, %eax
2390 // CHECK: vmovmskpd  %xmm2, %eax
2391 // CHECK: encoding: [0xc5,0xf9,0x50,0xc2]
2392           vmovmskpd  %xmm2, %eax
2394 // CHECK: vmaxps  %ymm2, %ymm4, %ymm6
2395 // CHECK: encoding: [0xc5,0xdc,0x5f,0xf2]
2396           vmaxps  %ymm2, %ymm4, %ymm6
2398 // CHECK: vmaxpd  %ymm2, %ymm4, %ymm6
2399 // CHECK: encoding: [0xc5,0xdd,0x5f,0xf2]
2400           vmaxpd  %ymm2, %ymm4, %ymm6
2402 // CHECK: vminps  %ymm2, %ymm4, %ymm6
2403 // CHECK: encoding: [0xc5,0xdc,0x5d,0xf2]
2404           vminps  %ymm2, %ymm4, %ymm6
2406 // CHECK: vminpd  %ymm2, %ymm4, %ymm6
2407 // CHECK: encoding: [0xc5,0xdd,0x5d,0xf2]
2408           vminpd  %ymm2, %ymm4, %ymm6
2410 // CHECK: vsubps  %ymm2, %ymm4, %ymm6
2411 // CHECK: encoding: [0xc5,0xdc,0x5c,0xf2]
2412           vsubps  %ymm2, %ymm4, %ymm6
2414 // CHECK: vsubpd  %ymm2, %ymm4, %ymm6
2415 // CHECK: encoding: [0xc5,0xdd,0x5c,0xf2]
2416           vsubpd  %ymm2, %ymm4, %ymm6
2418 // CHECK: vdivps  %ymm2, %ymm4, %ymm6
2419 // CHECK: encoding: [0xc5,0xdc,0x5e,0xf2]
2420           vdivps  %ymm2, %ymm4, %ymm6
2422 // CHECK: vdivpd  %ymm2, %ymm4, %ymm6
2423 // CHECK: encoding: [0xc5,0xdd,0x5e,0xf2]
2424           vdivpd  %ymm2, %ymm4, %ymm6
2426 // CHECK: vaddps  %ymm2, %ymm4, %ymm6
2427 // CHECK: encoding: [0xc5,0xdc,0x58,0xf2]
2428           vaddps  %ymm2, %ymm4, %ymm6
2430 // CHECK: vaddpd  %ymm2, %ymm4, %ymm6
2431 // CHECK: encoding: [0xc5,0xdd,0x58,0xf2]
2432           vaddpd  %ymm2, %ymm4, %ymm6
2434 // CHECK: vmulps  %ymm2, %ymm4, %ymm6
2435 // CHECK: encoding: [0xc5,0xdc,0x59,0xf2]
2436           vmulps  %ymm2, %ymm4, %ymm6
2438 // CHECK: vmulpd  %ymm2, %ymm4, %ymm6
2439 // CHECK: encoding: [0xc5,0xdd,0x59,0xf2]
2440           vmulpd  %ymm2, %ymm4, %ymm6
2442 // CHECK: vmaxps  (%eax), %ymm4, %ymm6
2443 // CHECK: encoding: [0xc5,0xdc,0x5f,0x30]
2444           vmaxps  (%eax), %ymm4, %ymm6
2446 // CHECK: vmaxpd  (%eax), %ymm4, %ymm6
2447 // CHECK: encoding: [0xc5,0xdd,0x5f,0x30]
2448           vmaxpd  (%eax), %ymm4, %ymm6
2450 // CHECK: vminps  (%eax), %ymm4, %ymm6
2451 // CHECK: encoding: [0xc5,0xdc,0x5d,0x30]
2452           vminps  (%eax), %ymm4, %ymm6
2454 // CHECK: vminpd  (%eax), %ymm4, %ymm6
2455 // CHECK: encoding: [0xc5,0xdd,0x5d,0x30]
2456           vminpd  (%eax), %ymm4, %ymm6
2458 // CHECK: vsubps  (%eax), %ymm4, %ymm6
2459 // CHECK: encoding: [0xc5,0xdc,0x5c,0x30]
2460           vsubps  (%eax), %ymm4, %ymm6
2462 // CHECK: vsubpd  (%eax), %ymm4, %ymm6
2463 // CHECK: encoding: [0xc5,0xdd,0x5c,0x30]
2464           vsubpd  (%eax), %ymm4, %ymm6
2466 // CHECK: vdivps  (%eax), %ymm4, %ymm6
2467 // CHECK: encoding: [0xc5,0xdc,0x5e,0x30]
2468           vdivps  (%eax), %ymm4, %ymm6
2470 // CHECK: vdivpd  (%eax), %ymm4, %ymm6
2471 // CHECK: encoding: [0xc5,0xdd,0x5e,0x30]
2472           vdivpd  (%eax), %ymm4, %ymm6
2474 // CHECK: vaddps  (%eax), %ymm4, %ymm6
2475 // CHECK: encoding: [0xc5,0xdc,0x58,0x30]
2476           vaddps  (%eax), %ymm4, %ymm6
2478 // CHECK: vaddpd  (%eax), %ymm4, %ymm6
2479 // CHECK: encoding: [0xc5,0xdd,0x58,0x30]
2480           vaddpd  (%eax), %ymm4, %ymm6
2482 // CHECK: vmulps  (%eax), %ymm4, %ymm6
2483 // CHECK: encoding: [0xc5,0xdc,0x59,0x30]
2484           vmulps  (%eax), %ymm4, %ymm6
2486 // CHECK: vmulpd  (%eax), %ymm4, %ymm6
2487 // CHECK: encoding: [0xc5,0xdd,0x59,0x30]
2488           vmulpd  (%eax), %ymm4, %ymm6
2490 // CHECK: vsqrtpd  %ymm1, %ymm2
2491 // CHECK: encoding: [0xc5,0xfd,0x51,0xd1]
2492           vsqrtpd  %ymm1, %ymm2
2494 // CHECK: vsqrtpd  (%eax), %ymm2
2495 // CHECK: encoding: [0xc5,0xfd,0x51,0x10]
2496           vsqrtpd  (%eax), %ymm2
2498 // CHECK: vsqrtps  %ymm1, %ymm2
2499 // CHECK: encoding: [0xc5,0xfc,0x51,0xd1]
2500           vsqrtps  %ymm1, %ymm2
2502 // CHECK: vsqrtps  (%eax), %ymm2
2503 // CHECK: encoding: [0xc5,0xfc,0x51,0x10]
2504           vsqrtps  (%eax), %ymm2
2506 // CHECK: vrsqrtps  %ymm1, %ymm2
2507 // CHECK: encoding: [0xc5,0xfc,0x52,0xd1]
2508           vrsqrtps  %ymm1, %ymm2
2510 // CHECK: vrsqrtps  (%eax), %ymm2
2511 // CHECK: encoding: [0xc5,0xfc,0x52,0x10]
2512           vrsqrtps  (%eax), %ymm2
2514 // CHECK: vrcpps  %ymm1, %ymm2
2515 // CHECK: encoding: [0xc5,0xfc,0x53,0xd1]
2516           vrcpps  %ymm1, %ymm2
2518 // CHECK: vrcpps  (%eax), %ymm2
2519 // CHECK: encoding: [0xc5,0xfc,0x53,0x10]
2520           vrcpps  (%eax), %ymm2
2522 // CHECK: vandps  %ymm2, %ymm4, %ymm6
2523 // CHECK: encoding: [0xc5,0xdc,0x54,0xf2]
2524           vandps  %ymm2, %ymm4, %ymm6
2526 // CHECK: vandpd  %ymm2, %ymm4, %ymm6
2527 // CHECK: encoding: [0xc5,0xdd,0x54,0xf2]
2528           vandpd  %ymm2, %ymm4, %ymm6
2530 // CHECK: vandps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2531 // CHECK: encoding: [0xc5,0xec,0x54,0x6c,0xcb,0xfc]
2532           vandps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2534 // CHECK: vandpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2535 // CHECK: encoding: [0xc5,0xed,0x54,0x6c,0xcb,0xfc]
2536           vandpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2538 // CHECK: vorps  %ymm2, %ymm4, %ymm6
2539 // CHECK: encoding: [0xc5,0xdc,0x56,0xf2]
2540           vorps  %ymm2, %ymm4, %ymm6
2542 // CHECK: vorpd  %ymm2, %ymm4, %ymm6
2543 // CHECK: encoding: [0xc5,0xdd,0x56,0xf2]
2544           vorpd  %ymm2, %ymm4, %ymm6
2546 // CHECK: vorps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2547 // CHECK: encoding: [0xc5,0xec,0x56,0x6c,0xcb,0xfc]
2548           vorps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2550 // CHECK: vorpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2551 // CHECK: encoding: [0xc5,0xed,0x56,0x6c,0xcb,0xfc]
2552           vorpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2554 // CHECK: vxorps  %ymm2, %ymm4, %ymm6
2555 // CHECK: encoding: [0xc5,0xdc,0x57,0xf2]
2556           vxorps  %ymm2, %ymm4, %ymm6
2558 // CHECK: vxorpd  %ymm2, %ymm4, %ymm6
2559 // CHECK: encoding: [0xc5,0xdd,0x57,0xf2]
2560           vxorpd  %ymm2, %ymm4, %ymm6
2562 // CHECK: vxorps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2563 // CHECK: encoding: [0xc5,0xec,0x57,0x6c,0xcb,0xfc]
2564           vxorps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2566 // CHECK: vxorpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2567 // CHECK: encoding: [0xc5,0xed,0x57,0x6c,0xcb,0xfc]
2568           vxorpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2570 // CHECK: vandnps  %ymm2, %ymm4, %ymm6
2571 // CHECK: encoding: [0xc5,0xdc,0x55,0xf2]
2572           vandnps  %ymm2, %ymm4, %ymm6
2574 // CHECK: vandnpd  %ymm2, %ymm4, %ymm6
2575 // CHECK: encoding: [0xc5,0xdd,0x55,0xf2]
2576           vandnpd  %ymm2, %ymm4, %ymm6
2578 // CHECK: vandnps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2579 // CHECK: encoding: [0xc5,0xec,0x55,0x6c,0xcb,0xfc]
2580           vandnps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2582 // CHECK: vandnpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2583 // CHECK: encoding: [0xc5,0xed,0x55,0x6c,0xcb,0xfc]
2584           vandnpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2586 // CHECK: vcvtps2pd  %xmm3, %ymm2
2587 // CHECK: encoding: [0xc5,0xfc,0x5a,0xd3]
2588           vcvtps2pd  %xmm3, %ymm2
2590 // CHECK: vcvtps2pd  (%eax), %ymm2
2591 // CHECK: encoding: [0xc5,0xfc,0x5a,0x10]
2592           vcvtps2pd  (%eax), %ymm2
2594 // CHECK: vcvtdq2pd  %xmm3, %ymm2
2595 // CHECK: encoding: [0xc5,0xfe,0xe6,0xd3]
2596           vcvtdq2pd  %xmm3, %ymm2
2598 // CHECK: vcvtdq2pd  (%eax), %ymm2
2599 // CHECK: encoding: [0xc5,0xfe,0xe6,0x10]
2600           vcvtdq2pd  (%eax), %ymm2
2602 // CHECK: vcvtdq2ps  %ymm2, %ymm5
2603 // CHECK: encoding: [0xc5,0xfc,0x5b,0xea]
2604           vcvtdq2ps  %ymm2, %ymm5
2606 // CHECK: vcvtdq2ps  (%eax), %ymm2
2607 // CHECK: encoding: [0xc5,0xfc,0x5b,0x10]
2608           vcvtdq2ps  (%eax), %ymm2
2610 // CHECK: vcvtps2dq  %ymm2, %ymm5
2611 // CHECK: encoding: [0xc5,0xfd,0x5b,0xea]
2612           vcvtps2dq  %ymm2, %ymm5
2614 // CHECK: vcvtps2dq  (%eax), %ymm5
2615 // CHECK: encoding: [0xc5,0xfd,0x5b,0x28]
2616           vcvtps2dq  (%eax), %ymm5
2618 // CHECK: vcvttps2dq  %ymm2, %ymm5
2619 // CHECK: encoding: [0xc5,0xfe,0x5b,0xea]
2620           vcvttps2dq  %ymm2, %ymm5
2622 // CHECK: vcvttps2dq  (%eax), %ymm5
2623 // CHECK: encoding: [0xc5,0xfe,0x5b,0x28]
2624           vcvttps2dq  (%eax), %ymm5
2626 // CHECK: vcvttpd2dq  %xmm1, %xmm5
2627 // CHECK: encoding: [0xc5,0xf9,0xe6,0xe9]
2628           vcvttpd2dq  %xmm1, %xmm5
2630 // CHECK: vcvttpd2dqy %ymm2, %xmm5
2631 // CHECK: encoding: [0xc5,0xfd,0xe6,0xea]
2632           vcvttpd2dq  %ymm2, %xmm5
2634 // CHECK: vcvttpd2dq   %xmm1, %xmm5
2635 // CHECK: encoding: [0xc5,0xf9,0xe6,0xe9]
2636           vcvttpd2dqx  %xmm1, %xmm5
2638 // CHECK: vcvttpd2dqx  (%eax), %xmm1
2639 // CHECK: encoding: [0xc5,0xf9,0xe6,0x08]
2640           vcvttpd2dqx  (%eax), %xmm1
2642 // CHECK: vcvttpd2dqy  %ymm2, %xmm1
2643 // CHECK: encoding: [0xc5,0xfd,0xe6,0xca]
2644           vcvttpd2dqy  %ymm2, %xmm1
2646 // CHECK: vcvttpd2dqy  (%eax), %xmm1
2647 // CHECK: encoding: [0xc5,0xfd,0xe6,0x08]
2648           vcvttpd2dqy  (%eax), %xmm1
2650 // CHECK: vcvtpd2psy %ymm2, %xmm5
2651 // CHECK: encoding: [0xc5,0xfd,0x5a,0xea]
2652           vcvtpd2ps  %ymm2, %xmm5
2654 // CHECK: vcvtpd2ps   %xmm1, %xmm5
2655 // CHECK: encoding: [0xc5,0xf9,0x5a,0xe9]
2656           vcvtpd2psx  %xmm1, %xmm5
2658 // CHECK: vcvtpd2psx  (%eax), %xmm1
2659 // CHECK: encoding: [0xc5,0xf9,0x5a,0x08]
2660           vcvtpd2psx  (%eax), %xmm1
2662 // CHECK: vcvtpd2psy  %ymm2, %xmm1
2663 // CHECK: encoding: [0xc5,0xfd,0x5a,0xca]
2664           vcvtpd2psy  %ymm2, %xmm1
2666 // CHECK: vcvtpd2psy  (%eax), %xmm1
2667 // CHECK: encoding: [0xc5,0xfd,0x5a,0x08]
2668           vcvtpd2psy  (%eax), %xmm1
2670 // CHECK: vcvtpd2dqy %ymm2, %xmm5
2671 // CHECK: encoding: [0xc5,0xff,0xe6,0xea]
2672           vcvtpd2dq  %ymm2, %xmm5
2674 // CHECK: vcvtpd2dqy  %ymm2, %xmm1
2675 // CHECK: encoding: [0xc5,0xff,0xe6,0xca]
2676           vcvtpd2dqy  %ymm2, %xmm1
2678 // CHECK: vcvtpd2dqy  (%eax), %xmm1
2679 // CHECK: encoding: [0xc5,0xff,0xe6,0x08]
2680           vcvtpd2dqy  (%eax), %xmm1
2682 // CHECK: vcvtpd2dq   %xmm1, %xmm5
2683 // CHECK: encoding: [0xc5,0xfb,0xe6,0xe9]
2684           vcvtpd2dqx  %xmm1, %xmm5
2686 // CHECK: vcvtpd2dqx  (%eax), %xmm1
2687 // CHECK: encoding: [0xc5,0xfb,0xe6,0x08]
2688           vcvtpd2dqx  (%eax), %xmm1
2690 // CHECK: vcmpps  $0, %ymm1, %ymm2, %ymm3
2691 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x00]
2692           vcmpeqps %ymm1, %ymm2, %ymm3
2694 // CHECK: vcmpps  $2, %ymm1, %ymm2, %ymm3
2695 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x02]
2696           vcmpleps %ymm1, %ymm2, %ymm3
2698 // CHECK: vcmpps  $1, %ymm1, %ymm2, %ymm3
2699 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x01]
2700           vcmpltps %ymm1, %ymm2, %ymm3
2702 // CHECK: vcmpps  $4, %ymm1, %ymm2, %ymm3
2703 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x04]
2704           vcmpneqps %ymm1, %ymm2, %ymm3
2706 // CHECK: vcmpps  $6, %ymm1, %ymm2, %ymm3
2707 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x06]
2708           vcmpnleps %ymm1, %ymm2, %ymm3
2710 // CHECK: vcmpps  $5, %ymm1, %ymm2, %ymm3
2711 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x05]
2712           vcmpnltps %ymm1, %ymm2, %ymm3
2714 // CHECK: vcmpps  $7, %ymm1, %ymm2, %ymm3
2715 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x07]
2716           vcmpordps %ymm1, %ymm2, %ymm3
2718 // CHECK: vcmpps  $3, %ymm1, %ymm2, %ymm3
2719 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x03]
2720           vcmpunordps %ymm1, %ymm2, %ymm3
2722 // CHECK: vcmpps  $0, -4(%ebx,%ecx,8), %ymm2, %ymm3
2723 // CHECK: encoding: [0xc5,0xec,0xc2,0x5c,0xcb,0xfc,0x00]
2724           vcmpeqps -4(%ebx,%ecx,8), %ymm2, %ymm3
2726 // CHECK: vcmpps  $2, -4(%ebx,%ecx,8), %ymm2, %ymm3
2727 // CHECK: encoding: [0xc5,0xec,0xc2,0x5c,0xcb,0xfc,0x02]
2728           vcmpleps -4(%ebx,%ecx,8), %ymm2, %ymm3
2730 // CHECK: vcmpps  $1, -4(%ebx,%ecx,8), %ymm2, %ymm3
2731 // CHECK: encoding: [0xc5,0xec,0xc2,0x5c,0xcb,0xfc,0x01]
2732           vcmpltps -4(%ebx,%ecx,8), %ymm2, %ymm3
2734 // CHECK: vcmpps  $4, -4(%ebx,%ecx,8), %ymm2, %ymm3
2735 // CHECK: encoding: [0xc5,0xec,0xc2,0x5c,0xcb,0xfc,0x04]
2736           vcmpneqps -4(%ebx,%ecx,8), %ymm2, %ymm3
2738 // CHECK: vcmpps  $6, -4(%ebx,%ecx,8), %ymm2, %ymm3
2739 // CHECK: encoding: [0xc5,0xec,0xc2,0x5c,0xcb,0xfc,0x06]
2740           vcmpnleps -4(%ebx,%ecx,8), %ymm2, %ymm3
2742 // CHECK: vcmpps  $5, -4(%ebx,%ecx,8), %ymm2, %ymm3
2743 // CHECK: encoding: [0xc5,0xec,0xc2,0x5c,0xcb,0xfc,0x05]
2744           vcmpnltps -4(%ebx,%ecx,8), %ymm2, %ymm3
2746 // CHECK: vcmpps  $7, -4(%ebx,%ecx,8), %ymm6, %ymm2
2747 // CHECK: encoding: [0xc5,0xcc,0xc2,0x54,0xcb,0xfc,0x07]
2748           vcmpordps -4(%ebx,%ecx,8), %ymm6, %ymm2
2750 // CHECK: vcmpps  $3, -4(%ebx,%ecx,8), %ymm2, %ymm3
2751 // CHECK: encoding: [0xc5,0xec,0xc2,0x5c,0xcb,0xfc,0x03]
2752           vcmpunordps -4(%ebx,%ecx,8), %ymm2, %ymm3
2754 // CHECK: vcmppd  $0, %ymm1, %ymm2, %ymm3
2755 // CHECK: encoding: [0xc5,0xed,0xc2,0xd9,0x00]
2756           vcmpeqpd %ymm1, %ymm2, %ymm3
2758 // CHECK: vcmppd  $2, %ymm1, %ymm2, %ymm3
2759 // CHECK: encoding: [0xc5,0xed,0xc2,0xd9,0x02]
2760           vcmplepd %ymm1, %ymm2, %ymm3
2762 // CHECK: vcmppd  $1, %ymm1, %ymm2, %ymm3
2763 // CHECK: encoding: [0xc5,0xed,0xc2,0xd9,0x01]
2764           vcmpltpd %ymm1, %ymm2, %ymm3
2766 // CHECK: vcmppd  $4, %ymm1, %ymm2, %ymm3
2767 // CHECK: encoding: [0xc5,0xed,0xc2,0xd9,0x04]
2768           vcmpneqpd %ymm1, %ymm2, %ymm3
2770 // CHECK: vcmppd  $6, %ymm1, %ymm2, %ymm3
2771 // CHECK: encoding: [0xc5,0xed,0xc2,0xd9,0x06]
2772           vcmpnlepd %ymm1, %ymm2, %ymm3
2774 // CHECK: vcmppd  $5, %ymm1, %ymm2, %ymm3
2775 // CHECK: encoding: [0xc5,0xed,0xc2,0xd9,0x05]
2776           vcmpnltpd %ymm1, %ymm2, %ymm3
2778 // CHECK: vcmppd  $7, %ymm1, %ymm2, %ymm3
2779 // CHECK: encoding: [0xc5,0xed,0xc2,0xd9,0x07]
2780           vcmpordpd %ymm1, %ymm2, %ymm3
2782 // CHECK: vcmppd  $3, %ymm1, %ymm2, %ymm3
2783 // CHECK: encoding: [0xc5,0xed,0xc2,0xd9,0x03]
2784           vcmpunordpd %ymm1, %ymm2, %ymm3
2786 // CHECK: vcmppd  $0, -4(%ebx,%ecx,8), %ymm2, %ymm3
2787 // CHECK: encoding: [0xc5,0xed,0xc2,0x5c,0xcb,0xfc,0x00]
2788           vcmpeqpd -4(%ebx,%ecx,8), %ymm2, %ymm3
2790 // CHECK: vcmppd  $2, -4(%ebx,%ecx,8), %ymm2, %ymm3
2791 // CHECK: encoding: [0xc5,0xed,0xc2,0x5c,0xcb,0xfc,0x02]
2792           vcmplepd -4(%ebx,%ecx,8), %ymm2, %ymm3
2794 // CHECK: vcmppd  $1, -4(%ebx,%ecx,8), %ymm2, %ymm3
2795 // CHECK: encoding: [0xc5,0xed,0xc2,0x5c,0xcb,0xfc,0x01]
2796           vcmpltpd -4(%ebx,%ecx,8), %ymm2, %ymm3
2798 // CHECK: vcmppd  $4, -4(%ebx,%ecx,8), %ymm2, %ymm3
2799 // CHECK: encoding: [0xc5,0xed,0xc2,0x5c,0xcb,0xfc,0x04]
2800           vcmpneqpd -4(%ebx,%ecx,8), %ymm2, %ymm3
2802 // CHECK: vcmppd  $6, -4(%ebx,%ecx,8), %ymm2, %ymm3
2803 // CHECK: encoding: [0xc5,0xed,0xc2,0x5c,0xcb,0xfc,0x06]
2804           vcmpnlepd -4(%ebx,%ecx,8), %ymm2, %ymm3
2806 // CHECK: vcmppd  $5, -4(%ebx,%ecx,8), %ymm2, %ymm3
2807 // CHECK: encoding: [0xc5,0xed,0xc2,0x5c,0xcb,0xfc,0x05]
2808           vcmpnltpd -4(%ebx,%ecx,8), %ymm2, %ymm3
2810 // CHECK: vcmppd  $7, -4(%ebx,%ecx,8), %ymm6, %ymm2
2811 // CHECK: encoding: [0xc5,0xcd,0xc2,0x54,0xcb,0xfc,0x07]
2812           vcmpordpd -4(%ebx,%ecx,8), %ymm6, %ymm2
2814 // CHECK: vcmppd  $3, -4(%ebx,%ecx,8), %ymm2, %ymm3
2815 // CHECK: encoding: [0xc5,0xed,0xc2,0x5c,0xcb,0xfc,0x03]
2816           vcmpunordpd -4(%ebx,%ecx,8), %ymm2, %ymm3
2818 // CHECK: vcmpps  $8, %ymm1, %ymm2, %ymm3
2819 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x08]
2820           vcmpeq_uqps %ymm1, %ymm2, %ymm3
2822 // CHECK: vcmpps  $9, %ymm1, %ymm2, %ymm3
2823 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x09]
2824           vcmpngeps %ymm1, %ymm2, %ymm3
2826 // CHECK: vcmpps  $10, %ymm1, %ymm2, %ymm3
2827 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x0a]
2828           vcmpngtps %ymm1, %ymm2, %ymm3
2830 // CHECK: vcmpps  $11, %ymm1, %ymm2, %ymm3
2831 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x0b]
2832           vcmpfalseps %ymm1, %ymm2, %ymm3
2834 // CHECK: vcmpps  $12, %ymm1, %ymm2, %ymm3
2835 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x0c]
2836           vcmpneq_oqps %ymm1, %ymm2, %ymm3
2838 // CHECK: vcmpps  $13, %ymm1, %ymm2, %ymm3
2839 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x0d]
2840           vcmpgeps %ymm1, %ymm2, %ymm3
2842 // CHECK: vcmpps  $14, %ymm1, %ymm2, %ymm3
2843 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x0e]
2844           vcmpgtps %ymm1, %ymm2, %ymm3
2846 // CHECK: vcmpps  $15, %ymm1, %ymm2, %ymm3
2847 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x0f]
2848           vcmptrueps %ymm1, %ymm2, %ymm3
2850 // CHECK: vcmpps  $16, %ymm1, %ymm2, %ymm3
2851 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x10]
2852           vcmpeq_osps %ymm1, %ymm2, %ymm3
2854 // CHECK: vcmpps  $17, %ymm1, %ymm2, %ymm3
2855 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x11]
2856           vcmplt_oqps %ymm1, %ymm2, %ymm3
2858 // CHECK: vcmpps  $18, %ymm1, %ymm2, %ymm3
2859 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x12]
2860           vcmple_oqps %ymm1, %ymm2, %ymm3
2862 // CHECK: vcmpps  $19, %ymm1, %ymm2, %ymm3
2863 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x13]
2864           vcmpunord_sps %ymm1, %ymm2, %ymm3
2866 // CHECK: vcmpps  $20, %ymm1, %ymm2, %ymm3
2867 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x14]
2868           vcmpneq_usps %ymm1, %ymm2, %ymm3
2870 // CHECK: vcmpps  $21, %ymm1, %ymm2, %ymm3
2871 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x15]
2872           vcmpnlt_uqps %ymm1, %ymm2, %ymm3
2874 // CHECK: vcmpps  $22, %ymm1, %ymm2, %ymm3
2875 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x16]
2876           vcmpnle_uqps %ymm1, %ymm2, %ymm3
2878 // CHECK: vcmpps  $23, %ymm1, %ymm2, %ymm3
2879 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x17]
2880           vcmpord_sps %ymm1, %ymm2, %ymm3
2882 // CHECK: vcmpps  $24, %ymm1, %ymm2, %ymm3
2883 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x18]
2884           vcmpeq_usps %ymm1, %ymm2, %ymm3
2886 // CHECK: vcmpps  $25, %ymm1, %ymm2, %ymm3
2887 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x19]
2888           vcmpnge_uqps %ymm1, %ymm2, %ymm3
2890 // CHECK: vcmpps  $26, %ymm1, %ymm2, %ymm3
2891 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x1a]
2892           vcmpngt_uqps %ymm1, %ymm2, %ymm3
2894 // CHECK: vcmpps  $27, %ymm1, %ymm2, %ymm3
2895 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x1b]
2896           vcmpfalse_osps %ymm1, %ymm2, %ymm3
2898 // CHECK: vcmpps  $28, %ymm1, %ymm2, %ymm3
2899 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x1c]
2900           vcmpneq_osps %ymm1, %ymm2, %ymm3
2902 // CHECK: vcmpps  $29, %ymm1, %ymm2, %ymm3
2903 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x1d]
2904           vcmpge_oqps %ymm1, %ymm2, %ymm3
2906 // CHECK: vcmpps  $30, %ymm1, %ymm2, %ymm3
2907 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x1e]
2908           vcmpgt_oqps %ymm1, %ymm2, %ymm3
2910 // CHECK: vcmpps  $31, %ymm1, %ymm2, %ymm3
2911 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x1f]
2912           vcmptrue_usps %ymm1, %ymm2, %ymm3
2914 // CHECK: vaddsubps  %ymm1, %ymm2, %ymm3
2915 // CHECK: encoding: [0xc5,0xef,0xd0,0xd9]
2916           vaddsubps  %ymm1, %ymm2, %ymm3
2918 // CHECK: vaddsubps  (%eax), %ymm1, %ymm2
2919 // CHECK: encoding: [0xc5,0xf7,0xd0,0x10]
2920           vaddsubps  (%eax), %ymm1, %ymm2
2922 // CHECK: vaddsubpd  %ymm1, %ymm2, %ymm3
2923 // CHECK: encoding: [0xc5,0xed,0xd0,0xd9]
2924           vaddsubpd  %ymm1, %ymm2, %ymm3
2926 // CHECK: vaddsubpd  (%eax), %ymm1, %ymm2
2927 // CHECK: encoding: [0xc5,0xf5,0xd0,0x10]
2928           vaddsubpd  (%eax), %ymm1, %ymm2
2930 // CHECK: vhaddps  %ymm1, %ymm2, %ymm3
2931 // CHECK: encoding: [0xc5,0xef,0x7c,0xd9]
2932           vhaddps  %ymm1, %ymm2, %ymm3
2934 // CHECK: vhaddps  (%eax), %ymm2, %ymm3
2935 // CHECK: encoding: [0xc5,0xef,0x7c,0x18]
2936           vhaddps  (%eax), %ymm2, %ymm3
2938 // CHECK: vhaddpd  %ymm1, %ymm2, %ymm3
2939 // CHECK: encoding: [0xc5,0xed,0x7c,0xd9]
2940           vhaddpd  %ymm1, %ymm2, %ymm3
2942 // CHECK: vhaddpd  (%eax), %ymm2, %ymm3
2943 // CHECK: encoding: [0xc5,0xed,0x7c,0x18]
2944           vhaddpd  (%eax), %ymm2, %ymm3
2946 // CHECK: vhsubps  %ymm1, %ymm2, %ymm3
2947 // CHECK: encoding: [0xc5,0xef,0x7d,0xd9]
2948           vhsubps  %ymm1, %ymm2, %ymm3
2950 // CHECK: vhsubps  (%eax), %ymm2, %ymm3
2951 // CHECK: encoding: [0xc5,0xef,0x7d,0x18]
2952           vhsubps  (%eax), %ymm2, %ymm3
2954 // CHECK: vhsubpd  %ymm1, %ymm2, %ymm3
2955 // CHECK: encoding: [0xc5,0xed,0x7d,0xd9]
2956           vhsubpd  %ymm1, %ymm2, %ymm3
2958 // CHECK: vhsubpd  (%eax), %ymm2, %ymm3
2959 // CHECK: encoding: [0xc5,0xed,0x7d,0x18]
2960           vhsubpd  (%eax), %ymm2, %ymm3
2962 // CHECK: vblendps  $3, %ymm2, %ymm5, %ymm1
2963 // CHECK: encoding: [0xc4,0xe3,0x55,0x0c,0xca,0x03]
2964           vblendps  $3, %ymm2, %ymm5, %ymm1
2966 // CHECK: vblendps  $3, (%eax), %ymm5, %ymm1
2967 // CHECK: encoding: [0xc4,0xe3,0x55,0x0c,0x08,0x03]
2968           vblendps  $3, (%eax), %ymm5, %ymm1
2970 // CHECK: vblendpd  $3, %ymm2, %ymm5, %ymm1
2971 // CHECK: encoding: [0xc4,0xe3,0x55,0x0d,0xca,0x03]
2972           vblendpd  $3, %ymm2, %ymm5, %ymm1
2974 // CHECK: vblendpd  $3, (%eax), %ymm5, %ymm1
2975 // CHECK: encoding: [0xc4,0xe3,0x55,0x0d,0x08,0x03]
2976           vblendpd  $3, (%eax), %ymm5, %ymm1
2978 // CHECK: vdpps  $3, %ymm2, %ymm5, %ymm1
2979 // CHECK: encoding: [0xc4,0xe3,0x55,0x40,0xca,0x03]
2980           vdpps  $3, %ymm2, %ymm5, %ymm1
2982 // CHECK: vdpps  $3, (%eax), %ymm5, %ymm1
2983 // CHECK: encoding: [0xc4,0xe3,0x55,0x40,0x08,0x03]
2984           vdpps  $3, (%eax), %ymm5, %ymm1
2986 // CHECK: vbroadcastf128  (%eax), %ymm2
2987 // CHECK: encoding: [0xc4,0xe2,0x7d,0x1a,0x10]
2988           vbroadcastf128  (%eax), %ymm2
2990 // CHECK: vbroadcastsd  (%eax), %ymm2
2991 // CHECK: encoding: [0xc4,0xe2,0x7d,0x19,0x10]
2992           vbroadcastsd  (%eax), %ymm2
2994 // CHECK: vbroadcastss  (%eax), %xmm2
2995 // CHECK: encoding: [0xc4,0xe2,0x79,0x18,0x10]
2996           vbroadcastss  (%eax), %xmm2
2998 // CHECK: vbroadcastss  (%eax), %ymm2
2999 // CHECK: encoding: [0xc4,0xe2,0x7d,0x18,0x10]
3000           vbroadcastss  (%eax), %ymm2
3002 // CHECK: vinsertf128  $7, %xmm2, %ymm2, %ymm5
3003 // CHECK: encoding: [0xc4,0xe3,0x6d,0x18,0xea,0x07]
3004           vinsertf128  $7, %xmm2, %ymm2, %ymm5
3006 // CHECK: vinsertf128  $7, (%eax), %ymm2, %ymm5
3007 // CHECK: encoding: [0xc4,0xe3,0x6d,0x18,0x28,0x07]
3008           vinsertf128  $7, (%eax), %ymm2, %ymm5
3010 // CHECK: vextractf128  $7, %ymm2, %xmm2
3011 // CHECK: encoding: [0xc4,0xe3,0x7d,0x19,0xd2,0x07]
3012           vextractf128  $7, %ymm2, %xmm2
3014 // CHECK: vextractf128  $7, %ymm2, (%eax)
3015 // CHECK: encoding: [0xc4,0xe3,0x7d,0x19,0x10,0x07]
3016           vextractf128  $7, %ymm2, (%eax)
3018 // CHECK: vmaskmovpd  %xmm2, %xmm5, (%eax)
3019 // CHECK: encoding: [0xc4,0xe2,0x51,0x2f,0x10]
3020           vmaskmovpd  %xmm2, %xmm5, (%eax)
3022 // CHECK: vmaskmovpd  %ymm2, %ymm5, (%eax)
3023 // CHECK: encoding: [0xc4,0xe2,0x55,0x2f,0x10]
3024           vmaskmovpd  %ymm2, %ymm5, (%eax)
3026 // CHECK: vmaskmovpd  (%eax), %xmm2, %xmm5
3027 // CHECK: encoding: [0xc4,0xe2,0x69,0x2d,0x28]
3028           vmaskmovpd  (%eax), %xmm2, %xmm5
3030 // CHECK: vmaskmovpd  (%eax), %ymm2, %ymm5
3031 // CHECK: encoding: [0xc4,0xe2,0x6d,0x2d,0x28]
3032           vmaskmovpd  (%eax), %ymm2, %ymm5
3034 // CHECK: vmaskmovps  %xmm2, %xmm5, (%eax)
3035 // CHECK: encoding: [0xc4,0xe2,0x51,0x2e,0x10]
3036           vmaskmovps  %xmm2, %xmm5, (%eax)
3038 // CHECK: vmaskmovps  %ymm2, %ymm5, (%eax)
3039 // CHECK: encoding: [0xc4,0xe2,0x55,0x2e,0x10]
3040           vmaskmovps  %ymm2, %ymm5, (%eax)
3042 // CHECK: vmaskmovps  (%eax), %xmm2, %xmm5
3043 // CHECK: encoding: [0xc4,0xe2,0x69,0x2c,0x28]
3044           vmaskmovps  (%eax), %xmm2, %xmm5
3046 // CHECK: vmaskmovps  (%eax), %ymm2, %ymm5
3047 // CHECK: encoding: [0xc4,0xe2,0x6d,0x2c,0x28]
3048           vmaskmovps  (%eax), %ymm2, %ymm5
3050 // CHECK: vpermilps  $7, %xmm1, %xmm5
3051 // CHECK: encoding: [0xc4,0xe3,0x79,0x04,0xe9,0x07]
3052           vpermilps  $7, %xmm1, %xmm5
3054 // CHECK: vpermilps  $7, %ymm5, %ymm1
3055 // CHECK: encoding: [0xc4,0xe3,0x7d,0x04,0xcd,0x07]
3056           vpermilps  $7, %ymm5, %ymm1
3058 // CHECK: vpermilps  $7, (%eax), %xmm5
3059 // CHECK: encoding: [0xc4,0xe3,0x79,0x04,0x28,0x07]
3060           vpermilps  $7, (%eax), %xmm5
3062 // CHECK: vpermilps  $7, (%eax), %ymm5
3063 // CHECK: encoding: [0xc4,0xe3,0x7d,0x04,0x28,0x07]
3064           vpermilps  $7, (%eax), %ymm5
3066 // CHECK: vpermilps  %xmm1, %xmm5, %xmm1
3067 // CHECK: encoding: [0xc4,0xe2,0x51,0x0c,0xc9]
3068           vpermilps  %xmm1, %xmm5, %xmm1
3070 // CHECK: vpermilps  %ymm1, %ymm5, %ymm1
3071 // CHECK: encoding: [0xc4,0xe2,0x55,0x0c,0xc9]
3072           vpermilps  %ymm1, %ymm5, %ymm1
3074 // CHECK: vpermilps  (%eax), %xmm5, %xmm3
3075 // CHECK: encoding: [0xc4,0xe2,0x51,0x0c,0x18]
3076           vpermilps  (%eax), %xmm5, %xmm3
3078 // CHECK: vpermilps  (%eax), %ymm5, %ymm1
3079 // CHECK: encoding: [0xc4,0xe2,0x55,0x0c,0x08]
3080           vpermilps  (%eax), %ymm5, %ymm1
3082 // CHECK: vpermilpd  $7, %xmm1, %xmm5
3083 // CHECK: encoding: [0xc4,0xe3,0x79,0x05,0xe9,0x07]
3084           vpermilpd  $7, %xmm1, %xmm5
3086 // CHECK: vpermilpd  $7, %ymm5, %ymm1
3087 // CHECK: encoding: [0xc4,0xe3,0x7d,0x05,0xcd,0x07]
3088           vpermilpd  $7, %ymm5, %ymm1
3090 // CHECK: vpermilpd  $7, (%eax), %xmm5
3091 // CHECK: encoding: [0xc4,0xe3,0x79,0x05,0x28,0x07]
3092           vpermilpd  $7, (%eax), %xmm5
3094 // CHECK: vpermilpd  $7, (%eax), %ymm5
3095 // CHECK: encoding: [0xc4,0xe3,0x7d,0x05,0x28,0x07]
3096           vpermilpd  $7, (%eax), %ymm5
3098 // CHECK: vpermilpd  %xmm1, %xmm5, %xmm1
3099 // CHECK: encoding: [0xc4,0xe2,0x51,0x0d,0xc9]
3100           vpermilpd  %xmm1, %xmm5, %xmm1
3102 // CHECK: vpermilpd  %ymm1, %ymm5, %ymm1
3103 // CHECK: encoding: [0xc4,0xe2,0x55,0x0d,0xc9]
3104           vpermilpd  %ymm1, %ymm5, %ymm1
3106 // CHECK: vpermilpd  (%eax), %xmm5, %xmm3
3107 // CHECK: encoding: [0xc4,0xe2,0x51,0x0d,0x18]
3108           vpermilpd  (%eax), %xmm5, %xmm3
3110 // CHECK: vpermilpd  (%eax), %ymm5, %ymm1
3111 // CHECK: encoding: [0xc4,0xe2,0x55,0x0d,0x08]
3112           vpermilpd  (%eax), %ymm5, %ymm1
3114 // CHECK: vperm2f128  $7, %ymm2, %ymm5, %ymm1
3115 // CHECK: encoding: [0xc4,0xe3,0x55,0x06,0xca,0x07]
3116           vperm2f128  $7, %ymm2, %ymm5, %ymm1
3118 // CHECK: vperm2f128  $7, (%eax), %ymm5, %ymm1
3119 // CHECK: encoding: [0xc4,0xe3,0x55,0x06,0x08,0x07]
3120           vperm2f128  $7, (%eax), %ymm5, %ymm1
3122 // CHECK: vzeroall
3123 // CHECK: encoding: [0xc5,0xfc,0x77]
3124           vzeroall
3126 // CHECK: vzeroupper
3127 // CHECK: encoding: [0xc5,0xf8,0x77]
3128           vzeroupper
3130 // CHECK: vcvtsd2si  %xmm4, %ecx
3131 // CHECK: encoding: [0xc5,0xfb,0x2d,0xcc]
3132           vcvtsd2sil  %xmm4, %ecx
3134 // CHECK: vcvtsd2si  (%ecx), %ecx
3135 // CHECK: encoding: [0xc5,0xfb,0x2d,0x09]
3136           vcvtsd2sil  (%ecx), %ecx
3138 // CHECK: vcvtsd2si  %xmm4, %ecx
3139 // CHECK: encoding: [0xc5,0xfb,0x2d,0xcc]
3140           vcvtsd2si  %xmm4, %ecx
3142 // CHECK: vcvtsd2si  (%ecx), %ecx
3143 // CHECK: encoding: [0xc5,0xfb,0x2d,0x09]
3144           vcvtsd2si  (%ecx), %ecx
3146 // CHECK: vcvtsi2sdl  (%ebp), %xmm0, %xmm7
3147 // CHECK: encoding: [0xc5,0xfb,0x2a,0x7d,0x00]
3148           vcvtsi2sdl  (%ebp), %xmm0, %xmm7
3150 // CHECK: vcvtsi2sdl  (%esp), %xmm0, %xmm7
3151 // CHECK: encoding: [0xc5,0xfb,0x2a,0x3c,0x24]
3152           vcvtsi2sdl  (%esp), %xmm0, %xmm7
3154 // CHECK: vcvtsi2sdl  (%ebp), %xmm0, %xmm7
3155 // CHECK: encoding: [0xc5,0xfb,0x2a,0x7d,0x00]
3156           vcvtsi2sd  (%ebp), %xmm0, %xmm7
3158 // CHECK: vcvtsi2sdl  (%esp), %xmm0, %xmm7
3159 // CHECK: encoding: [0xc5,0xfb,0x2a,0x3c,0x24]
3160           vcvtsi2sd  (%esp), %xmm0, %xmm7
3162 // CHECK: vlddqu  (%eax), %ymm2
3163 // CHECK: encoding: [0xc5,0xff,0xf0,0x10]
3164           vlddqu  (%eax), %ymm2
3166 // CHECK: vmovddup  %ymm2, %ymm5
3167 // CHECK: encoding: [0xc5,0xff,0x12,0xea]
3168           vmovddup  %ymm2, %ymm5
3170 // CHECK: vmovddup  (%eax), %ymm2
3171 // CHECK: encoding: [0xc5,0xff,0x12,0x10]
3172           vmovddup  (%eax), %ymm2
3174 // CHECK: vmovdqa  %ymm2, %ymm5
3175 // CHECK: encoding: [0xc5,0xfd,0x6f,0xea]
3176           vmovdqa  %ymm2, %ymm5
3178 // CHECK: vmovdqa  %ymm2, (%eax)
3179 // CHECK: encoding: [0xc5,0xfd,0x7f,0x10]
3180           vmovdqa  %ymm2, (%eax)
3182 // CHECK: vmovdqa  (%eax), %ymm2
3183 // CHECK: encoding: [0xc5,0xfd,0x6f,0x10]
3184           vmovdqa  (%eax), %ymm2
3186 // CHECK: vmovdqu  %ymm2, %ymm5
3187 // CHECK: encoding: [0xc5,0xfe,0x6f,0xea]
3188           vmovdqu  %ymm2, %ymm5
3190 // CHECK: vmovdqu  %ymm2, (%eax)
3191 // CHECK: encoding: [0xc5,0xfe,0x7f,0x10]
3192           vmovdqu  %ymm2, (%eax)
3194 // CHECK: vmovdqu  (%eax), %ymm2
3195 // CHECK: encoding: [0xc5,0xfe,0x6f,0x10]
3196           vmovdqu  (%eax), %ymm2
3198 // CHECK: vmovshdup  %ymm2, %ymm5
3199 // CHECK: encoding: [0xc5,0xfe,0x16,0xea]
3200           vmovshdup  %ymm2, %ymm5
3202 // CHECK: vmovshdup  (%eax), %ymm2
3203 // CHECK: encoding: [0xc5,0xfe,0x16,0x10]
3204           vmovshdup  (%eax), %ymm2
3206 // CHECK: vmovsldup  %ymm2, %ymm5
3207 // CHECK: encoding: [0xc5,0xfe,0x12,0xea]
3208           vmovsldup  %ymm2, %ymm5
3210 // CHECK: vmovsldup  (%eax), %ymm2
3211 // CHECK: encoding: [0xc5,0xfe,0x12,0x10]
3212           vmovsldup  (%eax), %ymm2
3214 // CHECK: vptest  %ymm2, %ymm5
3215 // CHECK: encoding: [0xc4,0xe2,0x7d,0x17,0xea]
3216           vptest  %ymm2, %ymm5
3218 // CHECK: vptest  (%eax), %ymm2
3219 // CHECK: encoding: [0xc4,0xe2,0x7d,0x17,0x10]
3220           vptest  (%eax), %ymm2
3222 // CHECK: vroundpd  $7, %ymm5, %ymm1
3223 // CHECK: encoding: [0xc4,0xe3,0x7d,0x09,0xcd,0x07]
3224           vroundpd  $7, %ymm5, %ymm1
3226 // CHECK: vroundpd  $7, (%eax), %ymm5
3227 // CHECK: encoding: [0xc4,0xe3,0x7d,0x09,0x28,0x07]
3228           vroundpd  $7, (%eax), %ymm5
3230 // CHECK: vroundps  $7, %ymm5, %ymm1
3231 // CHECK: encoding: [0xc4,0xe3,0x7d,0x08,0xcd,0x07]
3232           vroundps  $7, %ymm5, %ymm1
3234 // CHECK: vroundps  $7, (%eax), %ymm5
3235 // CHECK: encoding: [0xc4,0xe3,0x7d,0x08,0x28,0x07]
3236           vroundps  $7, (%eax), %ymm5
3238 // CHECK: vshufpd  $7, %ymm2, %ymm5, %ymm1
3239 // CHECK: encoding: [0xc5,0xd5,0xc6,0xca,0x07]
3240           vshufpd  $7, %ymm2, %ymm5, %ymm1
3242 // CHECK: vshufpd  $7, (%eax), %ymm5, %ymm1
3243 // CHECK: encoding: [0xc5,0xd5,0xc6,0x08,0x07]
3244           vshufpd  $7, (%eax), %ymm5, %ymm1
3246 // CHECK: vshufps  $7, %ymm2, %ymm5, %ymm1
3247 // CHECK: encoding: [0xc5,0xd4,0xc6,0xca,0x07]
3248           vshufps  $7, %ymm2, %ymm5, %ymm1
3250 // CHECK: vshufps  $7, (%eax), %ymm5, %ymm1
3251 // CHECK: encoding: [0xc5,0xd4,0xc6,0x08,0x07]
3252           vshufps  $7, (%eax), %ymm5, %ymm1
3254 // CHECK: vtestpd  %xmm2, %xmm5
3255 // CHECK: encoding: [0xc4,0xe2,0x79,0x0f,0xea]
3256           vtestpd  %xmm2, %xmm5
3258 // CHECK: vtestpd  %ymm2, %ymm5
3259 // CHECK: encoding: [0xc4,0xe2,0x7d,0x0f,0xea]
3260           vtestpd  %ymm2, %ymm5
3262 // CHECK: vtestpd  (%eax), %xmm2
3263 // CHECK: encoding: [0xc4,0xe2,0x79,0x0f,0x10]
3264           vtestpd  (%eax), %xmm2
3266 // CHECK: vtestpd  (%eax), %ymm2
3267 // CHECK: encoding: [0xc4,0xe2,0x7d,0x0f,0x10]
3268           vtestpd  (%eax), %ymm2
3270 // CHECK: vtestps  %xmm2, %xmm5
3271 // CHECK: encoding: [0xc4,0xe2,0x79,0x0e,0xea]
3272           vtestps  %xmm2, %xmm5
3274 // CHECK: vtestps  %ymm2, %ymm5
3275 // CHECK: encoding: [0xc4,0xe2,0x7d,0x0e,0xea]
3276           vtestps  %ymm2, %ymm5
3278 // CHECK: vtestps  (%eax), %xmm2
3279 // CHECK: encoding: [0xc4,0xe2,0x79,0x0e,0x10]
3280           vtestps  (%eax), %xmm2
3282 // CHECK: vtestps  (%eax), %ymm2
3283 // CHECK: encoding: [0xc4,0xe2,0x7d,0x0e,0x10]
3284           vtestps  (%eax), %ymm2
3286 // CHECK: vblendvpd  %ymm0, 57005(%eax,%eiz), %ymm1, %ymm2
3287 // CHECK: encoding: [0xc4,0xe3,0x75,0x4b,0x94,0x20,0xad,0xde,0x00,0x00,0x00]
3288           vblendvpd  %ymm0, 0xdead(%eax,%eiz), %ymm1, %ymm2
3292 // CHECK: vpclmulqdq  $17, %xmm2, %xmm5, %xmm1
3293 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0xca,0x11]
3294           vpclmulhqhqdq %xmm2, %xmm5, %xmm1
3296 // CHECK: vpclmulqdq  $17, (%eax), %xmm5, %xmm3
3297 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0x18,0x11]
3298           vpclmulhqhqdq (%eax), %xmm5, %xmm3
3300 // CHECK: vpclmulqdq  $1, %xmm2, %xmm5, %xmm1
3301 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0xca,0x01]
3302           vpclmulhqlqdq %xmm2, %xmm5, %xmm1
3304 // CHECK: vpclmulqdq  $1, (%eax), %xmm5, %xmm3
3305 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0x18,0x01]
3306           vpclmulhqlqdq (%eax), %xmm5, %xmm3
3308 // CHECK: vpclmulqdq  $16, %xmm2, %xmm5, %xmm1
3309 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0xca,0x10]
3310           vpclmullqhqdq %xmm2, %xmm5, %xmm1
3312 // CHECK: vpclmulqdq  $16, (%eax), %xmm5, %xmm3
3313 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0x18,0x10]
3314           vpclmullqhqdq (%eax), %xmm5, %xmm3
3316 // CHECK: vpclmulqdq  $0, %xmm2, %xmm5, %xmm1
3317 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0xca,0x00]
3318           vpclmullqlqdq %xmm2, %xmm5, %xmm1
3320 // CHECK: vpclmulqdq  $0, (%eax), %xmm5, %xmm3
3321 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0x18,0x00]
3322           vpclmullqlqdq (%eax), %xmm5, %xmm3
3324 // CHECK: vpclmulqdq  $17, %xmm2, %xmm5, %xmm1
3325 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0xca,0x11]
3326           vpclmulqdq  $17, %xmm2, %xmm5, %xmm1
3328 // CHECK: vpclmulqdq  $17, (%eax), %xmm5, %xmm3
3329 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0x18,0x11]
3330           vpclmulqdq  $17, (%eax), %xmm5, %xmm3
3332 // rdar://9795008
3333 // These instructions take a mask not an 8-bit sign extended value.
3334 // CHECK: vblendps $129, %ymm2, %ymm5, %ymm1
3335           vblendps $0x81, %ymm2, %ymm5, %ymm1
3336 // CHECK: vblendps $129, (%eax), %ymm5, %ymm1
3337           vblendps $0x81, (%eax), %ymm5, %ymm1
3338 // CHECK: vblendpd $129, %ymm2, %ymm5, %ymm1
3339           vblendpd $0x81, %ymm2, %ymm5, %ymm1
3340 // CHECK: vblendpd $129, (%eax), %ymm5, %ymm1
3341           vblendpd $0x81, (%eax), %ymm5, %ymm1
3342 // CHECK: vpblendw $129, %xmm2, %xmm5, %xmm1
3343           vpblendw $0x81, %xmm2, %xmm5, %xmm1
3344 // CHECK: vmpsadbw $129, %xmm2, %xmm5, %xmm1
3345           vmpsadbw $0x81, %xmm2, %xmm5, %xmm1
3346 // CHECK: vdpps $129, %ymm2, %ymm5, %ymm1
3347           vdpps $0x81, %ymm2, %ymm5, %ymm1
3348 // CHECK: vdpps $129, (%eax), %ymm5, %ymm1
3349           vdpps $0x81, (%eax), %ymm5, %ymm1
3350 // CHECK: vdppd $129, %xmm2, %xmm5, %xmm1
3351           vdppd $0x81, %xmm2, %xmm5, %xmm1
3352 // CHECK: vinsertps $129, %xmm3, %xmm2, %xmm1
3353           vinsertps $0x81, %xmm3, %xmm2, %xmm1
3355 // CHECK: vcmpps $-128, %xmm2, %xmm1, %xmm0
3356 // CHECK: encoding: [0xc5,0xf0,0xc2,0xc2,0x80]
3357 vcmpps $-128, %xmm2, %xmm1, %xmm0
3359 // CHECK: vcmpps $128, %xmm2, %xmm1, %xmm0
3360 // CHECK: encoding: [0xc5,0xf0,0xc2,0xc2,0x80]
3361 vcmpps $128, %xmm2, %xmm1, %xmm0
3363 // CHECK: vcmpps $255, %xmm2, %xmm1, %xmm0
3364 // CHECK: encoding: [0xc5,0xf0,0xc2,0xc2,0xff]
3365 vcmpps $255, %xmm2, %xmm1, %xmm0