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