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