1// RUN: llvm-mc -triple i386-unknown-unknown --show-encoding %s | FileCheck %s
2
3// CHECK: vfmadd132pd  %xmm2, %xmm5, %xmm1
4// CHECK: encoding: [0xc4,0xe2,0xd1,0x98,0xca]
5          vfmadd132pd  %xmm2, %xmm5, %xmm1
6
7// CHECK: vfmadd132pd  (%eax), %xmm5, %xmm1
8// CHECK: encoding: [0xc4,0xe2,0xd1,0x98,0x08]
9          vfmadd132pd  (%eax), %xmm5, %xmm1
10
11// CHECK: vfmadd132ps  %xmm2, %xmm5, %xmm1
12// CHECK: encoding: [0xc4,0xe2,0x51,0x98,0xca]
13          vfmadd132ps  %xmm2, %xmm5, %xmm1
14
15// CHECK: vfmadd132ps  (%eax), %xmm5, %xmm1
16// CHECK: encoding: [0xc4,0xe2,0x51,0x98,0x08]
17          vfmadd132ps  (%eax), %xmm5, %xmm1
18
19// CHECK: vfmadd213pd  %xmm2, %xmm5, %xmm1
20// CHECK: encoding: [0xc4,0xe2,0xd1,0xa8,0xca]
21          vfmadd213pd  %xmm2, %xmm5, %xmm1
22
23// CHECK: vfmadd213pd  (%eax), %xmm5, %xmm1
24// CHECK: encoding: [0xc4,0xe2,0xd1,0xa8,0x08]
25          vfmadd213pd  (%eax), %xmm5, %xmm1
26
27// CHECK: vfmadd213ps  %xmm2, %xmm5, %xmm1
28// CHECK: encoding: [0xc4,0xe2,0x51,0xa8,0xca]
29          vfmadd213ps  %xmm2, %xmm5, %xmm1
30
31// CHECK: vfmadd213ps  (%eax), %xmm5, %xmm1
32// CHECK: encoding: [0xc4,0xe2,0x51,0xa8,0x08]
33          vfmadd213ps  (%eax), %xmm5, %xmm1
34
35// CHECK: vfmadd231pd  %xmm2, %xmm5, %xmm1
36// CHECK: encoding: [0xc4,0xe2,0xd1,0xb8,0xca]
37          vfmadd231pd  %xmm2, %xmm5, %xmm1
38
39// CHECK: vfmadd231pd  (%eax), %xmm5, %xmm1
40// CHECK: encoding: [0xc4,0xe2,0xd1,0xb8,0x08]
41          vfmadd231pd  (%eax), %xmm5, %xmm1
42
43// CHECK: vfmadd231ps  %xmm2, %xmm5, %xmm1
44// CHECK: encoding: [0xc4,0xe2,0x51,0xb8,0xca]
45          vfmadd231ps  %xmm2, %xmm5, %xmm1
46
47// CHECK: vfmadd231ps  (%eax), %xmm5, %xmm1
48// CHECK: encoding: [0xc4,0xe2,0x51,0xb8,0x08]
49          vfmadd231ps  (%eax), %xmm5, %xmm1
50
51// CHECK: vfmadd132pd  %ymm2, %ymm5, %ymm1
52// CHECK: encoding: [0xc4,0xe2,0xd5,0x98,0xca]
53          vfmadd132pd  %ymm2, %ymm5, %ymm1
54
55// CHECK: vfmadd132pd  (%eax), %ymm5, %ymm1
56// CHECK: encoding: [0xc4,0xe2,0xd5,0x98,0x08]
57          vfmadd132pd  (%eax), %ymm5, %ymm1
58
59// CHECK: vfmadd132ps  %ymm2, %ymm5, %ymm1
60// CHECK: encoding: [0xc4,0xe2,0x55,0x98,0xca]
61          vfmadd132ps  %ymm2, %ymm5, %ymm1
62
63// CHECK: vfmadd132ps  (%eax), %ymm5, %ymm1
64// CHECK: encoding: [0xc4,0xe2,0x55,0x98,0x08]
65          vfmadd132ps  (%eax), %ymm5, %ymm1
66
67// CHECK: vfmadd213pd  %ymm2, %ymm5, %ymm1
68// CHECK: encoding: [0xc4,0xe2,0xd5,0xa8,0xca]
69          vfmadd213pd  %ymm2, %ymm5, %ymm1
70
71// CHECK: vfmadd213pd  (%eax), %ymm5, %ymm1
72// CHECK: encoding: [0xc4,0xe2,0xd5,0xa8,0x08]
73          vfmadd213pd  (%eax), %ymm5, %ymm1
74
75// CHECK: vfmadd213ps  %ymm2, %ymm5, %ymm1
76// CHECK: encoding: [0xc4,0xe2,0x55,0xa8,0xca]
77          vfmadd213ps  %ymm2, %ymm5, %ymm1
78
79// CHECK: vfmadd213ps  (%eax), %ymm5, %ymm1
80// CHECK: encoding: [0xc4,0xe2,0x55,0xa8,0x08]
81          vfmadd213ps  (%eax), %ymm5, %ymm1
82
83// CHECK: vfmadd231pd  %ymm2, %ymm5, %ymm1
84// CHECK: encoding: [0xc4,0xe2,0xd5,0xb8,0xca]
85          vfmadd231pd  %ymm2, %ymm5, %ymm1
86
87// CHECK: vfmadd231pd  (%eax), %ymm5, %ymm1
88// CHECK: encoding: [0xc4,0xe2,0xd5,0xb8,0x08]
89          vfmadd231pd  (%eax), %ymm5, %ymm1
90
91// CHECK: vfmadd231ps  %ymm2, %ymm5, %ymm1
92// CHECK: encoding: [0xc4,0xe2,0x55,0xb8,0xca]
93          vfmadd231ps  %ymm2, %ymm5, %ymm1
94
95// CHECK: vfmadd231ps  (%eax), %ymm5, %ymm1
96// CHECK: encoding: [0xc4,0xe2,0x55,0xb8,0x08]
97          vfmadd231ps  (%eax), %ymm5, %ymm1
98
99// CHECK: vfmadd132pd  %xmm2, %xmm5, %xmm1
100// CHECK: encoding: [0xc4,0xe2,0xd1,0x98,0xca]
101          vfmadd132pd  %xmm2, %xmm5, %xmm1
102
103// CHECK: vfmadd132pd  (%eax), %xmm5, %xmm1
104// CHECK: encoding: [0xc4,0xe2,0xd1,0x98,0x08]
105          vfmadd132pd  (%eax), %xmm5, %xmm1
106
107// CHECK: vfmadd132ps  %xmm2, %xmm5, %xmm1
108// CHECK: encoding: [0xc4,0xe2,0x51,0x98,0xca]
109          vfmadd132ps  %xmm2, %xmm5, %xmm1
110
111// CHECK: vfmadd132ps  (%eax), %xmm5, %xmm1
112// CHECK: encoding: [0xc4,0xe2,0x51,0x98,0x08]
113          vfmadd132ps  (%eax), %xmm5, %xmm1
114
115// CHECK: vfmadd213pd  %xmm2, %xmm5, %xmm1
116// CHECK: encoding: [0xc4,0xe2,0xd1,0xa8,0xca]
117          vfmadd213pd  %xmm2, %xmm5, %xmm1
118
119// CHECK: vfmadd213pd  (%eax), %xmm5, %xmm1
120// CHECK: encoding: [0xc4,0xe2,0xd1,0xa8,0x08]
121          vfmadd213pd  (%eax), %xmm5, %xmm1
122
123// CHECK: vfmadd213ps  %xmm2, %xmm5, %xmm1
124// CHECK: encoding: [0xc4,0xe2,0x51,0xa8,0xca]
125          vfmadd213ps  %xmm2, %xmm5, %xmm1
126
127// CHECK: vfmadd213ps  (%eax), %xmm5, %xmm1
128// CHECK: encoding: [0xc4,0xe2,0x51,0xa8,0x08]
129          vfmadd213ps  (%eax), %xmm5, %xmm1
130
131// CHECK: vfmadd231pd  %xmm2, %xmm5, %xmm1
132// CHECK: encoding: [0xc4,0xe2,0xd1,0xb8,0xca]
133          vfmadd231pd  %xmm2, %xmm5, %xmm1
134
135// CHECK: vfmadd231pd  (%eax), %xmm5, %xmm1
136// CHECK: encoding: [0xc4,0xe2,0xd1,0xb8,0x08]
137          vfmadd231pd  (%eax), %xmm5, %xmm1
138
139// CHECK: vfmadd231ps  %xmm2, %xmm5, %xmm1
140// CHECK: encoding: [0xc4,0xe2,0x51,0xb8,0xca]
141          vfmadd231ps  %xmm2, %xmm5, %xmm1
142
143// CHECK: vfmadd231ps  (%eax), %xmm5, %xmm1
144// CHECK: encoding: [0xc4,0xe2,0x51,0xb8,0x08]
145          vfmadd231ps  (%eax), %xmm5, %xmm1
146
147// CHECK: vfmaddsub132pd  %xmm2, %xmm5, %xmm1
148// CHECK: encoding: [0xc4,0xe2,0xd1,0x96,0xca]
149          vfmaddsub132pd  %xmm2, %xmm5, %xmm1
150
151// CHECK: vfmaddsub132pd  (%eax), %xmm5, %xmm1
152// CHECK: encoding: [0xc4,0xe2,0xd1,0x96,0x08]
153          vfmaddsub132pd  (%eax), %xmm5, %xmm1
154
155// CHECK: vfmaddsub132ps  %xmm2, %xmm5, %xmm1
156// CHECK: encoding: [0xc4,0xe2,0x51,0x96,0xca]
157          vfmaddsub132ps  %xmm2, %xmm5, %xmm1
158
159// CHECK: vfmaddsub132ps  (%eax), %xmm5, %xmm1
160// CHECK: encoding: [0xc4,0xe2,0x51,0x96,0x08]
161          vfmaddsub132ps  (%eax), %xmm5, %xmm1
162
163// CHECK: vfmaddsub213pd  %xmm2, %xmm5, %xmm1
164// CHECK: encoding: [0xc4,0xe2,0xd1,0xa6,0xca]
165          vfmaddsub213pd  %xmm2, %xmm5, %xmm1
166
167// CHECK: vfmaddsub213pd  (%eax), %xmm5, %xmm1
168// CHECK: encoding: [0xc4,0xe2,0xd1,0xa6,0x08]
169          vfmaddsub213pd  (%eax), %xmm5, %xmm1
170
171// CHECK: vfmaddsub213ps  %xmm2, %xmm5, %xmm1
172// CHECK: encoding: [0xc4,0xe2,0x51,0xa6,0xca]
173          vfmaddsub213ps  %xmm2, %xmm5, %xmm1
174
175// CHECK: vfmaddsub213ps  (%eax), %xmm5, %xmm1
176// CHECK: encoding: [0xc4,0xe2,0x51,0xa6,0x08]
177          vfmaddsub213ps  (%eax), %xmm5, %xmm1
178
179// CHECK: vfmaddsub231pd  %xmm2, %xmm5, %xmm1
180// CHECK: encoding: [0xc4,0xe2,0xd1,0xb6,0xca]
181          vfmaddsub231pd  %xmm2, %xmm5, %xmm1
182
183// CHECK: vfmaddsub231pd  (%eax), %xmm5, %xmm1
184// CHECK: encoding: [0xc4,0xe2,0xd1,0xb6,0x08]
185          vfmaddsub231pd  (%eax), %xmm5, %xmm1
186
187// CHECK: vfmaddsub231ps  %xmm2, %xmm5, %xmm1
188// CHECK: encoding: [0xc4,0xe2,0x51,0xb6,0xca]
189          vfmaddsub231ps  %xmm2, %xmm5, %xmm1
190
191// CHECK: vfmaddsub231ps  (%eax), %xmm5, %xmm1
192// CHECK: encoding: [0xc4,0xe2,0x51,0xb6,0x08]
193          vfmaddsub231ps  (%eax), %xmm5, %xmm1
194
195// CHECK: vfmsubadd132pd  %xmm2, %xmm5, %xmm1
196// CHECK: encoding: [0xc4,0xe2,0xd1,0x97,0xca]
197          vfmsubadd132pd  %xmm2, %xmm5, %xmm1
198
199// CHECK: vfmsubadd132pd  (%eax), %xmm5, %xmm1
200// CHECK: encoding: [0xc4,0xe2,0xd1,0x97,0x08]
201          vfmsubadd132pd  (%eax), %xmm5, %xmm1
202
203// CHECK: vfmsubadd132ps  %xmm2, %xmm5, %xmm1
204// CHECK: encoding: [0xc4,0xe2,0x51,0x97,0xca]
205          vfmsubadd132ps  %xmm2, %xmm5, %xmm1
206
207// CHECK: vfmsubadd132ps  (%eax), %xmm5, %xmm1
208// CHECK: encoding: [0xc4,0xe2,0x51,0x97,0x08]
209          vfmsubadd132ps  (%eax), %xmm5, %xmm1
210
211// CHECK: vfmsubadd213pd  %xmm2, %xmm5, %xmm1
212// CHECK: encoding: [0xc4,0xe2,0xd1,0xa7,0xca]
213          vfmsubadd213pd  %xmm2, %xmm5, %xmm1
214
215// CHECK: vfmsubadd213pd  (%eax), %xmm5, %xmm1
216// CHECK: encoding: [0xc4,0xe2,0xd1,0xa7,0x08]
217          vfmsubadd213pd  (%eax), %xmm5, %xmm1
218
219// CHECK: vfmsubadd213ps  %xmm2, %xmm5, %xmm1
220// CHECK: encoding: [0xc4,0xe2,0x51,0xa7,0xca]
221          vfmsubadd213ps  %xmm2, %xmm5, %xmm1
222
223// CHECK: vfmsubadd213ps  (%eax), %xmm5, %xmm1
224// CHECK: encoding: [0xc4,0xe2,0x51,0xa7,0x08]
225          vfmsubadd213ps  (%eax), %xmm5, %xmm1
226
227// CHECK: vfmsubadd231pd  %xmm2, %xmm5, %xmm1
228// CHECK: encoding: [0xc4,0xe2,0xd1,0xb7,0xca]
229          vfmsubadd231pd  %xmm2, %xmm5, %xmm1
230
231// CHECK: vfmsubadd231pd  (%eax), %xmm5, %xmm1
232// CHECK: encoding: [0xc4,0xe2,0xd1,0xb7,0x08]
233          vfmsubadd231pd  (%eax), %xmm5, %xmm1
234
235// CHECK: vfmsubadd231ps  %xmm2, %xmm5, %xmm1
236// CHECK: encoding: [0xc4,0xe2,0x51,0xb7,0xca]
237          vfmsubadd231ps  %xmm2, %xmm5, %xmm1
238
239// CHECK: vfmsubadd231ps  (%eax), %xmm5, %xmm1
240// CHECK: encoding: [0xc4,0xe2,0x51,0xb7,0x08]
241          vfmsubadd231ps  (%eax), %xmm5, %xmm1
242
243// CHECK: vfmsub132pd  %xmm2, %xmm5, %xmm1
244// CHECK: encoding: [0xc4,0xe2,0xd1,0x9a,0xca]
245          vfmsub132pd  %xmm2, %xmm5, %xmm1
246
247// CHECK: vfmsub132pd  (%eax), %xmm5, %xmm1
248// CHECK: encoding: [0xc4,0xe2,0xd1,0x9a,0x08]
249          vfmsub132pd  (%eax), %xmm5, %xmm1
250
251// CHECK: vfmsub132ps  %xmm2, %xmm5, %xmm1
252// CHECK: encoding: [0xc4,0xe2,0x51,0x9a,0xca]
253          vfmsub132ps  %xmm2, %xmm5, %xmm1
254
255// CHECK: vfmsub132ps  (%eax), %xmm5, %xmm1
256// CHECK: encoding: [0xc4,0xe2,0x51,0x9a,0x08]
257          vfmsub132ps  (%eax), %xmm5, %xmm1
258
259// CHECK: vfmsub213pd  %xmm2, %xmm5, %xmm1
260// CHECK: encoding: [0xc4,0xe2,0xd1,0xaa,0xca]
261          vfmsub213pd  %xmm2, %xmm5, %xmm1
262
263// CHECK: vfmsub213pd  (%eax), %xmm5, %xmm1
264// CHECK: encoding: [0xc4,0xe2,0xd1,0xaa,0x08]
265          vfmsub213pd  (%eax), %xmm5, %xmm1
266
267// CHECK: vfmsub213ps  %xmm2, %xmm5, %xmm1
268// CHECK: encoding: [0xc4,0xe2,0x51,0xaa,0xca]
269          vfmsub213ps  %xmm2, %xmm5, %xmm1
270
271// CHECK: vfmsub213ps  (%eax), %xmm5, %xmm1
272// CHECK: encoding: [0xc4,0xe2,0x51,0xaa,0x08]
273          vfmsub213ps  (%eax), %xmm5, %xmm1
274
275// CHECK: vfmsub231pd  %xmm2, %xmm5, %xmm1
276// CHECK: encoding: [0xc4,0xe2,0xd1,0xba,0xca]
277          vfmsub231pd  %xmm2, %xmm5, %xmm1
278
279// CHECK: vfmsub231pd  (%eax), %xmm5, %xmm1
280// CHECK: encoding: [0xc4,0xe2,0xd1,0xba,0x08]
281          vfmsub231pd  (%eax), %xmm5, %xmm1
282
283// CHECK: vfmsub231ps  %xmm2, %xmm5, %xmm1
284// CHECK: encoding: [0xc4,0xe2,0x51,0xba,0xca]
285          vfmsub231ps  %xmm2, %xmm5, %xmm1
286
287// CHECK: vfmsub231ps  (%eax), %xmm5, %xmm1
288// CHECK: encoding: [0xc4,0xe2,0x51,0xba,0x08]
289          vfmsub231ps  (%eax), %xmm5, %xmm1
290
291// CHECK: vfnmadd132pd  %xmm2, %xmm5, %xmm1
292// CHECK: encoding: [0xc4,0xe2,0xd1,0x9c,0xca]
293          vfnmadd132pd  %xmm2, %xmm5, %xmm1
294
295// CHECK: vfnmadd132pd  (%eax), %xmm5, %xmm1
296// CHECK: encoding: [0xc4,0xe2,0xd1,0x9c,0x08]
297          vfnmadd132pd  (%eax), %xmm5, %xmm1
298
299// CHECK: vfnmadd132ps  %xmm2, %xmm5, %xmm1
300// CHECK: encoding: [0xc4,0xe2,0x51,0x9c,0xca]
301          vfnmadd132ps  %xmm2, %xmm5, %xmm1
302
303// CHECK: vfnmadd132ps  (%eax), %xmm5, %xmm1
304// CHECK: encoding: [0xc4,0xe2,0x51,0x9c,0x08]
305          vfnmadd132ps  (%eax), %xmm5, %xmm1
306
307// CHECK: vfnmadd213pd  %xmm2, %xmm5, %xmm1
308// CHECK: encoding: [0xc4,0xe2,0xd1,0xac,0xca]
309          vfnmadd213pd  %xmm2, %xmm5, %xmm1
310
311// CHECK: vfnmadd213pd  (%eax), %xmm5, %xmm1
312// CHECK: encoding: [0xc4,0xe2,0xd1,0xac,0x08]
313          vfnmadd213pd  (%eax), %xmm5, %xmm1
314
315// CHECK: vfnmadd213ps  %xmm2, %xmm5, %xmm1
316// CHECK: encoding: [0xc4,0xe2,0x51,0xac,0xca]
317          vfnmadd213ps  %xmm2, %xmm5, %xmm1
318
319// CHECK: vfnmadd213ps  (%eax), %xmm5, %xmm1
320// CHECK: encoding: [0xc4,0xe2,0x51,0xac,0x08]
321          vfnmadd213ps  (%eax), %xmm5, %xmm1
322
323// CHECK: vfnmadd231pd  %xmm2, %xmm5, %xmm1
324// CHECK: encoding: [0xc4,0xe2,0xd1,0xbc,0xca]
325          vfnmadd231pd  %xmm2, %xmm5, %xmm1
326
327// CHECK: vfnmadd231pd  (%eax), %xmm5, %xmm1
328// CHECK: encoding: [0xc4,0xe2,0xd1,0xbc,0x08]
329          vfnmadd231pd  (%eax), %xmm5, %xmm1
330
331// CHECK: vfnmadd231ps  %xmm2, %xmm5, %xmm1
332// CHECK: encoding: [0xc4,0xe2,0x51,0xbc,0xca]
333          vfnmadd231ps  %xmm2, %xmm5, %xmm1
334
335// CHECK: vfnmadd231ps  (%eax), %xmm5, %xmm1
336// CHECK: encoding: [0xc4,0xe2,0x51,0xbc,0x08]
337          vfnmadd231ps  (%eax), %xmm5, %xmm1
338
339// CHECK: vfnmsub132pd  %xmm2, %xmm5, %xmm1
340// CHECK: encoding: [0xc4,0xe2,0xd1,0x9e,0xca]
341          vfnmsub132pd  %xmm2, %xmm5, %xmm1
342
343// CHECK: vfnmsub132pd  (%eax), %xmm5, %xmm1
344// CHECK: encoding: [0xc4,0xe2,0xd1,0x9e,0x08]
345          vfnmsub132pd  (%eax), %xmm5, %xmm1
346
347// CHECK: vfnmsub132ps  %xmm2, %xmm5, %xmm1
348// CHECK: encoding: [0xc4,0xe2,0x51,0x9e,0xca]
349          vfnmsub132ps  %xmm2, %xmm5, %xmm1
350
351// CHECK: vfnmsub132ps  (%eax), %xmm5, %xmm1
352// CHECK: encoding: [0xc4,0xe2,0x51,0x9e,0x08]
353          vfnmsub132ps  (%eax), %xmm5, %xmm1
354
355// CHECK: vfnmsub213pd  %xmm2, %xmm5, %xmm1
356// CHECK: encoding: [0xc4,0xe2,0xd1,0xae,0xca]
357          vfnmsub213pd  %xmm2, %xmm5, %xmm1
358
359// CHECK: vfnmsub213pd  (%eax), %xmm5, %xmm1
360// CHECK: encoding: [0xc4,0xe2,0xd1,0xae,0x08]
361          vfnmsub213pd  (%eax), %xmm5, %xmm1
362
363// CHECK: vfnmsub213ps  %xmm2, %xmm5, %xmm1
364// CHECK: encoding: [0xc4,0xe2,0x51,0xae,0xca]
365          vfnmsub213ps  %xmm2, %xmm5, %xmm1
366
367// CHECK: vfnmsub213ps  (%eax), %xmm5, %xmm1
368// CHECK: encoding: [0xc4,0xe2,0x51,0xae,0x08]
369          vfnmsub213ps  (%eax), %xmm5, %xmm1
370
371// CHECK: vfnmsub231pd  %xmm2, %xmm5, %xmm1
372// CHECK: encoding: [0xc4,0xe2,0xd1,0xbe,0xca]
373          vfnmsub231pd  %xmm2, %xmm5, %xmm1
374
375// CHECK: vfnmsub231pd  (%eax), %xmm5, %xmm1
376// CHECK: encoding: [0xc4,0xe2,0xd1,0xbe,0x08]
377          vfnmsub231pd  (%eax), %xmm5, %xmm1
378
379// CHECK: vfnmsub231ps  %xmm2, %xmm5, %xmm1
380// CHECK: encoding: [0xc4,0xe2,0x51,0xbe,0xca]
381          vfnmsub231ps  %xmm2, %xmm5, %xmm1
382
383// CHECK: vfnmsub231ps  (%eax), %xmm5, %xmm1
384// CHECK: encoding: [0xc4,0xe2,0x51,0xbe,0x08]
385          vfnmsub231ps  (%eax), %xmm5, %xmm1
386
387// CHECK: vfmadd132pd  %ymm2, %ymm5, %ymm1
388// CHECK: encoding: [0xc4,0xe2,0xd5,0x98,0xca]
389          vfmadd132pd  %ymm2, %ymm5, %ymm1
390
391// CHECK: vfmadd132pd  (%eax), %ymm5, %ymm1
392// CHECK: encoding: [0xc4,0xe2,0xd5,0x98,0x08]
393          vfmadd132pd  (%eax), %ymm5, %ymm1
394
395// CHECK: vfmadd132ps  %ymm2, %ymm5, %ymm1
396// CHECK: encoding: [0xc4,0xe2,0x55,0x98,0xca]
397          vfmadd132ps  %ymm2, %ymm5, %ymm1
398
399// CHECK: vfmadd132ps  (%eax), %ymm5, %ymm1
400// CHECK: encoding: [0xc4,0xe2,0x55,0x98,0x08]
401          vfmadd132ps  (%eax), %ymm5, %ymm1
402
403// CHECK: vfmadd213pd  %ymm2, %ymm5, %ymm1
404// CHECK: encoding: [0xc4,0xe2,0xd5,0xa8,0xca]
405          vfmadd213pd  %ymm2, %ymm5, %ymm1
406
407// CHECK: vfmadd213pd  (%eax), %ymm5, %ymm1
408// CHECK: encoding: [0xc4,0xe2,0xd5,0xa8,0x08]
409          vfmadd213pd  (%eax), %ymm5, %ymm1
410
411// CHECK: vfmadd213ps  %ymm2, %ymm5, %ymm1
412// CHECK: encoding: [0xc4,0xe2,0x55,0xa8,0xca]
413          vfmadd213ps  %ymm2, %ymm5, %ymm1
414
415// CHECK: vfmadd213ps  (%eax), %ymm5, %ymm1
416// CHECK: encoding: [0xc4,0xe2,0x55,0xa8,0x08]
417          vfmadd213ps  (%eax), %ymm5, %ymm1
418
419// CHECK: vfmadd231pd  %ymm2, %ymm5, %ymm1
420// CHECK: encoding: [0xc4,0xe2,0xd5,0xb8,0xca]
421          vfmadd231pd  %ymm2, %ymm5, %ymm1
422
423// CHECK: vfmadd231pd  (%eax), %ymm5, %ymm1
424// CHECK: encoding: [0xc4,0xe2,0xd5,0xb8,0x08]
425          vfmadd231pd  (%eax), %ymm5, %ymm1
426
427// CHECK: vfmadd231ps  %ymm2, %ymm5, %ymm1
428// CHECK: encoding: [0xc4,0xe2,0x55,0xb8,0xca]
429          vfmadd231ps  %ymm2, %ymm5, %ymm1
430
431// CHECK: vfmadd231ps  (%eax), %ymm5, %ymm1
432// CHECK: encoding: [0xc4,0xe2,0x55,0xb8,0x08]
433          vfmadd231ps  (%eax), %ymm5, %ymm1
434
435// CHECK: vfmaddsub132pd  %ymm2, %ymm5, %ymm1
436// CHECK: encoding: [0xc4,0xe2,0xd5,0x96,0xca]
437          vfmaddsub132pd  %ymm2, %ymm5, %ymm1
438
439// CHECK: vfmaddsub132pd  (%eax), %ymm5, %ymm1
440// CHECK: encoding: [0xc4,0xe2,0xd5,0x96,0x08]
441          vfmaddsub132pd  (%eax), %ymm5, %ymm1
442
443// CHECK: vfmaddsub132ps  %ymm2, %ymm5, %ymm1
444// CHECK: encoding: [0xc4,0xe2,0x55,0x96,0xca]
445          vfmaddsub132ps  %ymm2, %ymm5, %ymm1
446
447// CHECK: vfmaddsub132ps  (%eax), %ymm5, %ymm1
448// CHECK: encoding: [0xc4,0xe2,0x55,0x96,0x08]
449          vfmaddsub132ps  (%eax), %ymm5, %ymm1
450
451// CHECK: vfmaddsub213pd  %ymm2, %ymm5, %ymm1
452// CHECK: encoding: [0xc4,0xe2,0xd5,0xa6,0xca]
453          vfmaddsub213pd  %ymm2, %ymm5, %ymm1
454
455// CHECK: vfmaddsub213pd  (%eax), %ymm5, %ymm1
456// CHECK: encoding: [0xc4,0xe2,0xd5,0xa6,0x08]
457          vfmaddsub213pd  (%eax), %ymm5, %ymm1
458
459// CHECK: vfmaddsub213ps  %ymm2, %ymm5, %ymm1
460// CHECK: encoding: [0xc4,0xe2,0x55,0xa6,0xca]
461          vfmaddsub213ps  %ymm2, %ymm5, %ymm1
462
463// CHECK: vfmaddsub213ps  (%eax), %ymm5, %ymm1
464// CHECK: encoding: [0xc4,0xe2,0x55,0xa6,0x08]
465          vfmaddsub213ps  (%eax), %ymm5, %ymm1
466
467// CHECK: vfmaddsub231pd  %ymm2, %ymm5, %ymm1
468// CHECK: encoding: [0xc4,0xe2,0xd5,0xb6,0xca]
469          vfmaddsub231pd  %ymm2, %ymm5, %ymm1
470
471// CHECK: vfmaddsub231pd  (%eax), %ymm5, %ymm1
472// CHECK: encoding: [0xc4,0xe2,0xd5,0xb6,0x08]
473          vfmaddsub231pd  (%eax), %ymm5, %ymm1
474
475// CHECK: vfmaddsub231ps  %ymm2, %ymm5, %ymm1
476// CHECK: encoding: [0xc4,0xe2,0x55,0xb6,0xca]
477          vfmaddsub231ps  %ymm2, %ymm5, %ymm1
478
479// CHECK: vfmaddsub231ps  (%eax), %ymm5, %ymm1
480// CHECK: encoding: [0xc4,0xe2,0x55,0xb6,0x08]
481          vfmaddsub231ps  (%eax), %ymm5, %ymm1
482
483// CHECK: vfmsubadd132pd  %ymm2, %ymm5, %ymm1
484// CHECK: encoding: [0xc4,0xe2,0xd5,0x97,0xca]
485          vfmsubadd132pd  %ymm2, %ymm5, %ymm1
486
487// CHECK: vfmsubadd132pd  (%eax), %ymm5, %ymm1
488// CHECK: encoding: [0xc4,0xe2,0xd5,0x97,0x08]
489          vfmsubadd132pd  (%eax), %ymm5, %ymm1
490
491// CHECK: vfmsubadd132ps  %ymm2, %ymm5, %ymm1
492// CHECK: encoding: [0xc4,0xe2,0x55,0x97,0xca]
493          vfmsubadd132ps  %ymm2, %ymm5, %ymm1
494
495// CHECK: vfmsubadd132ps  (%eax), %ymm5, %ymm1
496// CHECK: encoding: [0xc4,0xe2,0x55,0x97,0x08]
497          vfmsubadd132ps  (%eax), %ymm5, %ymm1
498
499// CHECK: vfmsubadd213pd  %ymm2, %ymm5, %ymm1
500// CHECK: encoding: [0xc4,0xe2,0xd5,0xa7,0xca]
501          vfmsubadd213pd  %ymm2, %ymm5, %ymm1
502
503// CHECK: vfmsubadd213pd  (%eax), %ymm5, %ymm1
504// CHECK: encoding: [0xc4,0xe2,0xd5,0xa7,0x08]
505          vfmsubadd213pd  (%eax), %ymm5, %ymm1
506
507// CHECK: vfmsubadd213ps  %ymm2, %ymm5, %ymm1
508// CHECK: encoding: [0xc4,0xe2,0x55,0xa7,0xca]
509          vfmsubadd213ps  %ymm2, %ymm5, %ymm1
510
511// CHECK: vfmsubadd213ps  (%eax), %ymm5, %ymm1
512// CHECK: encoding: [0xc4,0xe2,0x55,0xa7,0x08]
513          vfmsubadd213ps  (%eax), %ymm5, %ymm1
514
515// CHECK: vfmsubadd231pd  %ymm2, %ymm5, %ymm1
516// CHECK: encoding: [0xc4,0xe2,0xd5,0xb7,0xca]
517          vfmsubadd231pd  %ymm2, %ymm5, %ymm1
518
519// CHECK: vfmsubadd231pd  (%eax), %ymm5, %ymm1
520// CHECK: encoding: [0xc4,0xe2,0xd5,0xb7,0x08]
521          vfmsubadd231pd  (%eax), %ymm5, %ymm1
522
523// CHECK: vfmsubadd231ps  %ymm2, %ymm5, %ymm1
524// CHECK: encoding: [0xc4,0xe2,0x55,0xb7,0xca]
525          vfmsubadd231ps  %ymm2, %ymm5, %ymm1
526
527// CHECK: vfmsubadd231ps  (%eax), %ymm5, %ymm1
528// CHECK: encoding: [0xc4,0xe2,0x55,0xb7,0x08]
529          vfmsubadd231ps  (%eax), %ymm5, %ymm1
530
531// CHECK: vfmsub132pd  %ymm2, %ymm5, %ymm1
532// CHECK: encoding: [0xc4,0xe2,0xd5,0x9a,0xca]
533          vfmsub132pd  %ymm2, %ymm5, %ymm1
534
535// CHECK: vfmsub132pd  (%eax), %ymm5, %ymm1
536// CHECK: encoding: [0xc4,0xe2,0xd5,0x9a,0x08]
537          vfmsub132pd  (%eax), %ymm5, %ymm1
538
539// CHECK: vfmsub132ps  %ymm2, %ymm5, %ymm1
540// CHECK: encoding: [0xc4,0xe2,0x55,0x9a,0xca]
541          vfmsub132ps  %ymm2, %ymm5, %ymm1
542
543// CHECK: vfmsub132ps  (%eax), %ymm5, %ymm1
544// CHECK: encoding: [0xc4,0xe2,0x55,0x9a,0x08]
545          vfmsub132ps  (%eax), %ymm5, %ymm1
546
547// CHECK: vfmsub213pd  %ymm2, %ymm5, %ymm1
548// CHECK: encoding: [0xc4,0xe2,0xd5,0xaa,0xca]
549          vfmsub213pd  %ymm2, %ymm5, %ymm1
550
551// CHECK: vfmsub213pd  (%eax), %ymm5, %ymm1
552// CHECK: encoding: [0xc4,0xe2,0xd5,0xaa,0x08]
553          vfmsub213pd  (%eax), %ymm5, %ymm1
554
555// CHECK: vfmsub213ps  %ymm2, %ymm5, %ymm1
556// CHECK: encoding: [0xc4,0xe2,0x55,0xaa,0xca]
557          vfmsub213ps  %ymm2, %ymm5, %ymm1
558
559// CHECK: vfmsub213ps  (%eax), %ymm5, %ymm1
560// CHECK: encoding: [0xc4,0xe2,0x55,0xaa,0x08]
561          vfmsub213ps  (%eax), %ymm5, %ymm1
562
563// CHECK: vfmsub231pd  %ymm2, %ymm5, %ymm1
564// CHECK: encoding: [0xc4,0xe2,0xd5,0xba,0xca]
565          vfmsub231pd  %ymm2, %ymm5, %ymm1
566
567// CHECK: vfmsub231pd  (%eax), %ymm5, %ymm1
568// CHECK: encoding: [0xc4,0xe2,0xd5,0xba,0x08]
569          vfmsub231pd  (%eax), %ymm5, %ymm1
570
571// CHECK: vfmsub231ps  %ymm2, %ymm5, %ymm1
572// CHECK: encoding: [0xc4,0xe2,0x55,0xba,0xca]
573          vfmsub231ps  %ymm2, %ymm5, %ymm1
574
575// CHECK: vfmsub231ps  (%eax), %ymm5, %ymm1
576// CHECK: encoding: [0xc4,0xe2,0x55,0xba,0x08]
577          vfmsub231ps  (%eax), %ymm5, %ymm1
578
579// CHECK: vfnmadd132pd  %ymm2, %ymm5, %ymm1
580// CHECK: encoding: [0xc4,0xe2,0xd5,0x9c,0xca]
581          vfnmadd132pd  %ymm2, %ymm5, %ymm1
582
583// CHECK: vfnmadd132pd  (%eax), %ymm5, %ymm1
584// CHECK: encoding: [0xc4,0xe2,0xd5,0x9c,0x08]
585          vfnmadd132pd  (%eax), %ymm5, %ymm1
586
587// CHECK: vfnmadd132ps  %ymm2, %ymm5, %ymm1
588// CHECK: encoding: [0xc4,0xe2,0x55,0x9c,0xca]
589          vfnmadd132ps  %ymm2, %ymm5, %ymm1
590
591// CHECK: vfnmadd132ps  (%eax), %ymm5, %ymm1
592// CHECK: encoding: [0xc4,0xe2,0x55,0x9c,0x08]
593          vfnmadd132ps  (%eax), %ymm5, %ymm1
594
595// CHECK: vfnmadd213pd  %ymm2, %ymm5, %ymm1
596// CHECK: encoding: [0xc4,0xe2,0xd5,0xac,0xca]
597          vfnmadd213pd  %ymm2, %ymm5, %ymm1
598
599// CHECK: vfnmadd213pd  (%eax), %ymm5, %ymm1
600// CHECK: encoding: [0xc4,0xe2,0xd5,0xac,0x08]
601          vfnmadd213pd  (%eax), %ymm5, %ymm1
602
603// CHECK: vfnmadd213ps  %ymm2, %ymm5, %ymm1
604// CHECK: encoding: [0xc4,0xe2,0x55,0xac,0xca]
605          vfnmadd213ps  %ymm2, %ymm5, %ymm1
606
607// CHECK: vfnmadd213ps  (%eax), %ymm5, %ymm1
608// CHECK: encoding: [0xc4,0xe2,0x55,0xac,0x08]
609          vfnmadd213ps  (%eax), %ymm5, %ymm1
610
611// CHECK: vfnmadd231pd  %ymm2, %ymm5, %ymm1
612// CHECK: encoding: [0xc4,0xe2,0xd5,0xbc,0xca]
613          vfnmadd231pd  %ymm2, %ymm5, %ymm1
614
615// CHECK: vfnmadd231pd  (%eax), %ymm5, %ymm1
616// CHECK: encoding: [0xc4,0xe2,0xd5,0xbc,0x08]
617          vfnmadd231pd  (%eax), %ymm5, %ymm1
618
619// CHECK: vfnmadd231ps  %ymm2, %ymm5, %ymm1
620// CHECK: encoding: [0xc4,0xe2,0x55,0xbc,0xca]
621          vfnmadd231ps  %ymm2, %ymm5, %ymm1
622
623// CHECK: vfnmadd231ps  (%eax), %ymm5, %ymm1
624// CHECK: encoding: [0xc4,0xe2,0x55,0xbc,0x08]
625          vfnmadd231ps  (%eax), %ymm5, %ymm1
626
627// CHECK: vfnmsub132pd  %ymm2, %ymm5, %ymm1
628// CHECK: encoding: [0xc4,0xe2,0xd5,0x9e,0xca]
629          vfnmsub132pd  %ymm2, %ymm5, %ymm1
630
631// CHECK: vfnmsub132pd  (%eax), %ymm5, %ymm1
632// CHECK: encoding: [0xc4,0xe2,0xd5,0x9e,0x08]
633          vfnmsub132pd  (%eax), %ymm5, %ymm1
634
635// CHECK: vfnmsub132ps  %ymm2, %ymm5, %ymm1
636// CHECK: encoding: [0xc4,0xe2,0x55,0x9e,0xca]
637          vfnmsub132ps  %ymm2, %ymm5, %ymm1
638
639// CHECK: vfnmsub132ps  (%eax), %ymm5, %ymm1
640// CHECK: encoding: [0xc4,0xe2,0x55,0x9e,0x08]
641          vfnmsub132ps  (%eax), %ymm5, %ymm1
642
643// CHECK: vfnmsub213pd  %ymm2, %ymm5, %ymm1
644// CHECK: encoding: [0xc4,0xe2,0xd5,0xae,0xca]
645          vfnmsub213pd  %ymm2, %ymm5, %ymm1
646
647// CHECK: vfnmsub213pd  (%eax), %ymm5, %ymm1
648// CHECK: encoding: [0xc4,0xe2,0xd5,0xae,0x08]
649          vfnmsub213pd  (%eax), %ymm5, %ymm1
650
651// CHECK: vfnmsub213ps  %ymm2, %ymm5, %ymm1
652// CHECK: encoding: [0xc4,0xe2,0x55,0xae,0xca]
653          vfnmsub213ps  %ymm2, %ymm5, %ymm1
654
655// CHECK: vfnmsub213ps  (%eax), %ymm5, %ymm1
656// CHECK: encoding: [0xc4,0xe2,0x55,0xae,0x08]
657          vfnmsub213ps  (%eax), %ymm5, %ymm1
658
659// CHECK: vfnmsub231pd  %ymm2, %ymm5, %ymm1
660// CHECK: encoding: [0xc4,0xe2,0xd5,0xbe,0xca]
661          vfnmsub231pd  %ymm2, %ymm5, %ymm1
662
663// CHECK: vfnmsub231pd  (%eax), %ymm5, %ymm1
664// CHECK: encoding: [0xc4,0xe2,0xd5,0xbe,0x08]
665          vfnmsub231pd  (%eax), %ymm5, %ymm1
666
667// CHECK: vfnmsub231ps  %ymm2, %ymm5, %ymm1
668// CHECK: encoding: [0xc4,0xe2,0x55,0xbe,0xca]
669          vfnmsub231ps  %ymm2, %ymm5, %ymm1
670
671// CHECK: vfnmsub231ps  (%eax), %ymm5, %ymm1
672// CHECK: encoding: [0xc4,0xe2,0x55,0xbe,0x08]
673          vfnmsub231ps  (%eax), %ymm5, %ymm1
674
675