• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1// RUN: llvm-mc -triple i386-unknown-unknown --show-encoding %s | FileCheck %s
2
3// CHECK: vfmadd132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
4// CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
5vfmadd132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
6
7// CHECK: vfmadd132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
8// CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
9vfmadd132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
10
11// CHECK: vfmadd132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
12// CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
13vfmadd132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
14
15// CHECK: vfmadd132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
16// CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
17vfmadd132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
18
19// CHECK: vfmadd132pd 485498096(%edx), %xmm1, %xmm1
20// CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0x8a,0xf0,0x1c,0xf0,0x1c]
21vfmadd132pd 485498096(%edx), %xmm1, %xmm1
22
23// CHECK: vfmadd132pd 485498096(%edx), %ymm4, %ymm4
24// CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0xa2,0xf0,0x1c,0xf0,0x1c]
25vfmadd132pd 485498096(%edx), %ymm4, %ymm4
26
27// CHECK: vfmadd132pd 485498096, %xmm1, %xmm1
28// CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0x0d,0xf0,0x1c,0xf0,0x1c]
29vfmadd132pd 485498096, %xmm1, %xmm1
30
31// CHECK: vfmadd132pd 485498096, %ymm4, %ymm4
32// CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0x25,0xf0,0x1c,0xf0,0x1c]
33vfmadd132pd 485498096, %ymm4, %ymm4
34
35// CHECK: vfmadd132pd 64(%edx,%eax), %xmm1, %xmm1
36// CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0x4c,0x02,0x40]
37vfmadd132pd 64(%edx,%eax), %xmm1, %xmm1
38
39// CHECK: vfmadd132pd 64(%edx,%eax), %ymm4, %ymm4
40// CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0x64,0x02,0x40]
41vfmadd132pd 64(%edx,%eax), %ymm4, %ymm4
42
43// CHECK: vfmadd132pd (%edx), %xmm1, %xmm1
44// CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0x0a]
45vfmadd132pd (%edx), %xmm1, %xmm1
46
47// CHECK: vfmadd132pd (%edx), %ymm4, %ymm4
48// CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0x22]
49vfmadd132pd (%edx), %ymm4, %ymm4
50
51// CHECK: vfmadd132pd %xmm1, %xmm1, %xmm1
52// CHECK: encoding: [0xc4,0xe2,0xf1,0x98,0xc9]
53vfmadd132pd %xmm1, %xmm1, %xmm1
54
55// CHECK: vfmadd132pd %ymm4, %ymm4, %ymm4
56// CHECK: encoding: [0xc4,0xe2,0xdd,0x98,0xe4]
57vfmadd132pd %ymm4, %ymm4, %ymm4
58
59// CHECK: vfmadd132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
60// CHECK: encoding: [0xc4,0xe2,0x71,0x98,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
61vfmadd132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
62
63// CHECK: vfmadd132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
64// CHECK: encoding: [0xc4,0xe2,0x71,0x98,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
65vfmadd132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
66
67// CHECK: vfmadd132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
68// CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
69vfmadd132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
70
71// CHECK: vfmadd132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
72// CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
73vfmadd132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
74
75// CHECK: vfmadd132ps 485498096(%edx), %xmm1, %xmm1
76// CHECK: encoding: [0xc4,0xe2,0x71,0x98,0x8a,0xf0,0x1c,0xf0,0x1c]
77vfmadd132ps 485498096(%edx), %xmm1, %xmm1
78
79// CHECK: vfmadd132ps 485498096(%edx), %ymm4, %ymm4
80// CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0xa2,0xf0,0x1c,0xf0,0x1c]
81vfmadd132ps 485498096(%edx), %ymm4, %ymm4
82
83// CHECK: vfmadd132ps 485498096, %xmm1, %xmm1
84// CHECK: encoding: [0xc4,0xe2,0x71,0x98,0x0d,0xf0,0x1c,0xf0,0x1c]
85vfmadd132ps 485498096, %xmm1, %xmm1
86
87// CHECK: vfmadd132ps 485498096, %ymm4, %ymm4
88// CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0x25,0xf0,0x1c,0xf0,0x1c]
89vfmadd132ps 485498096, %ymm4, %ymm4
90
91// CHECK: vfmadd132ps 64(%edx,%eax), %xmm1, %xmm1
92// CHECK: encoding: [0xc4,0xe2,0x71,0x98,0x4c,0x02,0x40]
93vfmadd132ps 64(%edx,%eax), %xmm1, %xmm1
94
95// CHECK: vfmadd132ps 64(%edx,%eax), %ymm4, %ymm4
96// CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0x64,0x02,0x40]
97vfmadd132ps 64(%edx,%eax), %ymm4, %ymm4
98
99// CHECK: vfmadd132ps (%edx), %xmm1, %xmm1
100// CHECK: encoding: [0xc4,0xe2,0x71,0x98,0x0a]
101vfmadd132ps (%edx), %xmm1, %xmm1
102
103// CHECK: vfmadd132ps (%edx), %ymm4, %ymm4
104// CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0x22]
105vfmadd132ps (%edx), %ymm4, %ymm4
106
107// CHECK: vfmadd132ps %xmm1, %xmm1, %xmm1
108// CHECK: encoding: [0xc4,0xe2,0x71,0x98,0xc9]
109vfmadd132ps %xmm1, %xmm1, %xmm1
110
111// CHECK: vfmadd132ps %ymm4, %ymm4, %ymm4
112// CHECK: encoding: [0xc4,0xe2,0x5d,0x98,0xe4]
113vfmadd132ps %ymm4, %ymm4, %ymm4
114
115// CHECK: vfmadd132sd -485498096(%edx,%eax,4), %xmm1, %xmm1
116// CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
117vfmadd132sd -485498096(%edx,%eax,4), %xmm1, %xmm1
118
119// CHECK: vfmadd132sd 485498096(%edx,%eax,4), %xmm1, %xmm1
120// CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
121vfmadd132sd 485498096(%edx,%eax,4), %xmm1, %xmm1
122
123// CHECK: vfmadd132sd 485498096(%edx), %xmm1, %xmm1
124// CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0x8a,0xf0,0x1c,0xf0,0x1c]
125vfmadd132sd 485498096(%edx), %xmm1, %xmm1
126
127// CHECK: vfmadd132sd 485498096, %xmm1, %xmm1
128// CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0x0d,0xf0,0x1c,0xf0,0x1c]
129vfmadd132sd 485498096, %xmm1, %xmm1
130
131// CHECK: vfmadd132sd 64(%edx,%eax), %xmm1, %xmm1
132// CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0x4c,0x02,0x40]
133vfmadd132sd 64(%edx,%eax), %xmm1, %xmm1
134
135// CHECK: vfmadd132sd (%edx), %xmm1, %xmm1
136// CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0x0a]
137vfmadd132sd (%edx), %xmm1, %xmm1
138
139// CHECK: vfmadd132sd %xmm1, %xmm1, %xmm1
140// CHECK: encoding: [0xc4,0xe2,0xf1,0x99,0xc9]
141vfmadd132sd %xmm1, %xmm1, %xmm1
142
143// CHECK: vfmadd132ss -485498096(%edx,%eax,4), %xmm1, %xmm1
144// CHECK: encoding: [0xc4,0xe2,0x71,0x99,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
145vfmadd132ss -485498096(%edx,%eax,4), %xmm1, %xmm1
146
147// CHECK: vfmadd132ss 485498096(%edx,%eax,4), %xmm1, %xmm1
148// CHECK: encoding: [0xc4,0xe2,0x71,0x99,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
149vfmadd132ss 485498096(%edx,%eax,4), %xmm1, %xmm1
150
151// CHECK: vfmadd132ss 485498096(%edx), %xmm1, %xmm1
152// CHECK: encoding: [0xc4,0xe2,0x71,0x99,0x8a,0xf0,0x1c,0xf0,0x1c]
153vfmadd132ss 485498096(%edx), %xmm1, %xmm1
154
155// CHECK: vfmadd132ss 485498096, %xmm1, %xmm1
156// CHECK: encoding: [0xc4,0xe2,0x71,0x99,0x0d,0xf0,0x1c,0xf0,0x1c]
157vfmadd132ss 485498096, %xmm1, %xmm1
158
159// CHECK: vfmadd132ss 64(%edx,%eax), %xmm1, %xmm1
160// CHECK: encoding: [0xc4,0xe2,0x71,0x99,0x4c,0x02,0x40]
161vfmadd132ss 64(%edx,%eax), %xmm1, %xmm1
162
163// CHECK: vfmadd132ss (%edx), %xmm1, %xmm1
164// CHECK: encoding: [0xc4,0xe2,0x71,0x99,0x0a]
165vfmadd132ss (%edx), %xmm1, %xmm1
166
167// CHECK: vfmadd132ss %xmm1, %xmm1, %xmm1
168// CHECK: encoding: [0xc4,0xe2,0x71,0x99,0xc9]
169vfmadd132ss %xmm1, %xmm1, %xmm1
170
171// CHECK: vfmadd213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
172// CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
173vfmadd213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
174
175// CHECK: vfmadd213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
176// CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
177vfmadd213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
178
179// CHECK: vfmadd213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
180// CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
181vfmadd213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
182
183// CHECK: vfmadd213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
184// CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
185vfmadd213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
186
187// CHECK: vfmadd213pd 485498096(%edx), %xmm1, %xmm1
188// CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0x8a,0xf0,0x1c,0xf0,0x1c]
189vfmadd213pd 485498096(%edx), %xmm1, %xmm1
190
191// CHECK: vfmadd213pd 485498096(%edx), %ymm4, %ymm4
192// CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0xa2,0xf0,0x1c,0xf0,0x1c]
193vfmadd213pd 485498096(%edx), %ymm4, %ymm4
194
195// CHECK: vfmadd213pd 485498096, %xmm1, %xmm1
196// CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0x0d,0xf0,0x1c,0xf0,0x1c]
197vfmadd213pd 485498096, %xmm1, %xmm1
198
199// CHECK: vfmadd213pd 485498096, %ymm4, %ymm4
200// CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0x25,0xf0,0x1c,0xf0,0x1c]
201vfmadd213pd 485498096, %ymm4, %ymm4
202
203// CHECK: vfmadd213pd 64(%edx,%eax), %xmm1, %xmm1
204// CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0x4c,0x02,0x40]
205vfmadd213pd 64(%edx,%eax), %xmm1, %xmm1
206
207// CHECK: vfmadd213pd 64(%edx,%eax), %ymm4, %ymm4
208// CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0x64,0x02,0x40]
209vfmadd213pd 64(%edx,%eax), %ymm4, %ymm4
210
211// CHECK: vfmadd213pd (%edx), %xmm1, %xmm1
212// CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0x0a]
213vfmadd213pd (%edx), %xmm1, %xmm1
214
215// CHECK: vfmadd213pd (%edx), %ymm4, %ymm4
216// CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0x22]
217vfmadd213pd (%edx), %ymm4, %ymm4
218
219// CHECK: vfmadd213pd %xmm1, %xmm1, %xmm1
220// CHECK: encoding: [0xc4,0xe2,0xf1,0xa8,0xc9]
221vfmadd213pd %xmm1, %xmm1, %xmm1
222
223// CHECK: vfmadd213pd %ymm4, %ymm4, %ymm4
224// CHECK: encoding: [0xc4,0xe2,0xdd,0xa8,0xe4]
225vfmadd213pd %ymm4, %ymm4, %ymm4
226
227// CHECK: vfmadd213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
228// CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
229vfmadd213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
230
231// CHECK: vfmadd213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
232// CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
233vfmadd213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
234
235// CHECK: vfmadd213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
236// CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
237vfmadd213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
238
239// CHECK: vfmadd213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
240// CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
241vfmadd213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
242
243// CHECK: vfmadd213ps 485498096(%edx), %xmm1, %xmm1
244// CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0x8a,0xf0,0x1c,0xf0,0x1c]
245vfmadd213ps 485498096(%edx), %xmm1, %xmm1
246
247// CHECK: vfmadd213ps 485498096(%edx), %ymm4, %ymm4
248// CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0xa2,0xf0,0x1c,0xf0,0x1c]
249vfmadd213ps 485498096(%edx), %ymm4, %ymm4
250
251// CHECK: vfmadd213ps 485498096, %xmm1, %xmm1
252// CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0x0d,0xf0,0x1c,0xf0,0x1c]
253vfmadd213ps 485498096, %xmm1, %xmm1
254
255// CHECK: vfmadd213ps 485498096, %ymm4, %ymm4
256// CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0x25,0xf0,0x1c,0xf0,0x1c]
257vfmadd213ps 485498096, %ymm4, %ymm4
258
259// CHECK: vfmadd213ps 64(%edx,%eax), %xmm1, %xmm1
260// CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0x4c,0x02,0x40]
261vfmadd213ps 64(%edx,%eax), %xmm1, %xmm1
262
263// CHECK: vfmadd213ps 64(%edx,%eax), %ymm4, %ymm4
264// CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0x64,0x02,0x40]
265vfmadd213ps 64(%edx,%eax), %ymm4, %ymm4
266
267// CHECK: vfmadd213ps (%edx), %xmm1, %xmm1
268// CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0x0a]
269vfmadd213ps (%edx), %xmm1, %xmm1
270
271// CHECK: vfmadd213ps (%edx), %ymm4, %ymm4
272// CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0x22]
273vfmadd213ps (%edx), %ymm4, %ymm4
274
275// CHECK: vfmadd213ps %xmm1, %xmm1, %xmm1
276// CHECK: encoding: [0xc4,0xe2,0x71,0xa8,0xc9]
277vfmadd213ps %xmm1, %xmm1, %xmm1
278
279// CHECK: vfmadd213ps %ymm4, %ymm4, %ymm4
280// CHECK: encoding: [0xc4,0xe2,0x5d,0xa8,0xe4]
281vfmadd213ps %ymm4, %ymm4, %ymm4
282
283// CHECK: vfmadd213sd -485498096(%edx,%eax,4), %xmm1, %xmm1
284// CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
285vfmadd213sd -485498096(%edx,%eax,4), %xmm1, %xmm1
286
287// CHECK: vfmadd213sd 485498096(%edx,%eax,4), %xmm1, %xmm1
288// CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
289vfmadd213sd 485498096(%edx,%eax,4), %xmm1, %xmm1
290
291// CHECK: vfmadd213sd 485498096(%edx), %xmm1, %xmm1
292// CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0x8a,0xf0,0x1c,0xf0,0x1c]
293vfmadd213sd 485498096(%edx), %xmm1, %xmm1
294
295// CHECK: vfmadd213sd 485498096, %xmm1, %xmm1
296// CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0x0d,0xf0,0x1c,0xf0,0x1c]
297vfmadd213sd 485498096, %xmm1, %xmm1
298
299// CHECK: vfmadd213sd 64(%edx,%eax), %xmm1, %xmm1
300// CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0x4c,0x02,0x40]
301vfmadd213sd 64(%edx,%eax), %xmm1, %xmm1
302
303// CHECK: vfmadd213sd (%edx), %xmm1, %xmm1
304// CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0x0a]
305vfmadd213sd (%edx), %xmm1, %xmm1
306
307// CHECK: vfmadd213sd %xmm1, %xmm1, %xmm1
308// CHECK: encoding: [0xc4,0xe2,0xf1,0xa9,0xc9]
309vfmadd213sd %xmm1, %xmm1, %xmm1
310
311// CHECK: vfmadd213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
312// CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
313vfmadd213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
314
315// CHECK: vfmadd213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
316// CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
317vfmadd213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
318
319// CHECK: vfmadd213ss 485498096(%edx), %xmm1, %xmm1
320// CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0x8a,0xf0,0x1c,0xf0,0x1c]
321vfmadd213ss 485498096(%edx), %xmm1, %xmm1
322
323// CHECK: vfmadd213ss 485498096, %xmm1, %xmm1
324// CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0x0d,0xf0,0x1c,0xf0,0x1c]
325vfmadd213ss 485498096, %xmm1, %xmm1
326
327// CHECK: vfmadd213ss 64(%edx,%eax), %xmm1, %xmm1
328// CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0x4c,0x02,0x40]
329vfmadd213ss 64(%edx,%eax), %xmm1, %xmm1
330
331// CHECK: vfmadd213ss (%edx), %xmm1, %xmm1
332// CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0x0a]
333vfmadd213ss (%edx), %xmm1, %xmm1
334
335// CHECK: vfmadd213ss %xmm1, %xmm1, %xmm1
336// CHECK: encoding: [0xc4,0xe2,0x71,0xa9,0xc9]
337vfmadd213ss %xmm1, %xmm1, %xmm1
338
339// CHECK: vfmadd231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
340// CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
341vfmadd231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
342
343// CHECK: vfmadd231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
344// CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
345vfmadd231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
346
347// CHECK: vfmadd231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
348// CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
349vfmadd231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
350
351// CHECK: vfmadd231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
352// CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
353vfmadd231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
354
355// CHECK: vfmadd231pd 485498096(%edx), %xmm1, %xmm1
356// CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0x8a,0xf0,0x1c,0xf0,0x1c]
357vfmadd231pd 485498096(%edx), %xmm1, %xmm1
358
359// CHECK: vfmadd231pd 485498096(%edx), %ymm4, %ymm4
360// CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0xa2,0xf0,0x1c,0xf0,0x1c]
361vfmadd231pd 485498096(%edx), %ymm4, %ymm4
362
363// CHECK: vfmadd231pd 485498096, %xmm1, %xmm1
364// CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0x0d,0xf0,0x1c,0xf0,0x1c]
365vfmadd231pd 485498096, %xmm1, %xmm1
366
367// CHECK: vfmadd231pd 485498096, %ymm4, %ymm4
368// CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0x25,0xf0,0x1c,0xf0,0x1c]
369vfmadd231pd 485498096, %ymm4, %ymm4
370
371// CHECK: vfmadd231pd 64(%edx,%eax), %xmm1, %xmm1
372// CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0x4c,0x02,0x40]
373vfmadd231pd 64(%edx,%eax), %xmm1, %xmm1
374
375// CHECK: vfmadd231pd 64(%edx,%eax), %ymm4, %ymm4
376// CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0x64,0x02,0x40]
377vfmadd231pd 64(%edx,%eax), %ymm4, %ymm4
378
379// CHECK: vfmadd231pd (%edx), %xmm1, %xmm1
380// CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0x0a]
381vfmadd231pd (%edx), %xmm1, %xmm1
382
383// CHECK: vfmadd231pd (%edx), %ymm4, %ymm4
384// CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0x22]
385vfmadd231pd (%edx), %ymm4, %ymm4
386
387// CHECK: vfmadd231pd %xmm1, %xmm1, %xmm1
388// CHECK: encoding: [0xc4,0xe2,0xf1,0xb8,0xc9]
389vfmadd231pd %xmm1, %xmm1, %xmm1
390
391// CHECK: vfmadd231pd %ymm4, %ymm4, %ymm4
392// CHECK: encoding: [0xc4,0xe2,0xdd,0xb8,0xe4]
393vfmadd231pd %ymm4, %ymm4, %ymm4
394
395// CHECK: vfmadd231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
396// CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
397vfmadd231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
398
399// CHECK: vfmadd231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
400// CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
401vfmadd231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
402
403// CHECK: vfmadd231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
404// CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
405vfmadd231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
406
407// CHECK: vfmadd231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
408// CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
409vfmadd231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
410
411// CHECK: vfmadd231ps 485498096(%edx), %xmm1, %xmm1
412// CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0x8a,0xf0,0x1c,0xf0,0x1c]
413vfmadd231ps 485498096(%edx), %xmm1, %xmm1
414
415// CHECK: vfmadd231ps 485498096(%edx), %ymm4, %ymm4
416// CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0xa2,0xf0,0x1c,0xf0,0x1c]
417vfmadd231ps 485498096(%edx), %ymm4, %ymm4
418
419// CHECK: vfmadd231ps 485498096, %xmm1, %xmm1
420// CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0x0d,0xf0,0x1c,0xf0,0x1c]
421vfmadd231ps 485498096, %xmm1, %xmm1
422
423// CHECK: vfmadd231ps 485498096, %ymm4, %ymm4
424// CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0x25,0xf0,0x1c,0xf0,0x1c]
425vfmadd231ps 485498096, %ymm4, %ymm4
426
427// CHECK: vfmadd231ps 64(%edx,%eax), %xmm1, %xmm1
428// CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0x4c,0x02,0x40]
429vfmadd231ps 64(%edx,%eax), %xmm1, %xmm1
430
431// CHECK: vfmadd231ps 64(%edx,%eax), %ymm4, %ymm4
432// CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0x64,0x02,0x40]
433vfmadd231ps 64(%edx,%eax), %ymm4, %ymm4
434
435// CHECK: vfmadd231ps (%edx), %xmm1, %xmm1
436// CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0x0a]
437vfmadd231ps (%edx), %xmm1, %xmm1
438
439// CHECK: vfmadd231ps (%edx), %ymm4, %ymm4
440// CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0x22]
441vfmadd231ps (%edx), %ymm4, %ymm4
442
443// CHECK: vfmadd231ps %xmm1, %xmm1, %xmm1
444// CHECK: encoding: [0xc4,0xe2,0x71,0xb8,0xc9]
445vfmadd231ps %xmm1, %xmm1, %xmm1
446
447// CHECK: vfmadd231ps %ymm4, %ymm4, %ymm4
448// CHECK: encoding: [0xc4,0xe2,0x5d,0xb8,0xe4]
449vfmadd231ps %ymm4, %ymm4, %ymm4
450
451// CHECK: vfmadd231sd -485498096(%edx,%eax,4), %xmm1, %xmm1
452// CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
453vfmadd231sd -485498096(%edx,%eax,4), %xmm1, %xmm1
454
455// CHECK: vfmadd231sd 485498096(%edx,%eax,4), %xmm1, %xmm1
456// CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
457vfmadd231sd 485498096(%edx,%eax,4), %xmm1, %xmm1
458
459// CHECK: vfmadd231sd 485498096(%edx), %xmm1, %xmm1
460// CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0x8a,0xf0,0x1c,0xf0,0x1c]
461vfmadd231sd 485498096(%edx), %xmm1, %xmm1
462
463// CHECK: vfmadd231sd 485498096, %xmm1, %xmm1
464// CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0x0d,0xf0,0x1c,0xf0,0x1c]
465vfmadd231sd 485498096, %xmm1, %xmm1
466
467// CHECK: vfmadd231sd 64(%edx,%eax), %xmm1, %xmm1
468// CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0x4c,0x02,0x40]
469vfmadd231sd 64(%edx,%eax), %xmm1, %xmm1
470
471// CHECK: vfmadd231sd (%edx), %xmm1, %xmm1
472// CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0x0a]
473vfmadd231sd (%edx), %xmm1, %xmm1
474
475// CHECK: vfmadd231sd %xmm1, %xmm1, %xmm1
476// CHECK: encoding: [0xc4,0xe2,0xf1,0xb9,0xc9]
477vfmadd231sd %xmm1, %xmm1, %xmm1
478
479// CHECK: vfmadd231ss -485498096(%edx,%eax,4), %xmm1, %xmm1
480// CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
481vfmadd231ss -485498096(%edx,%eax,4), %xmm1, %xmm1
482
483// CHECK: vfmadd231ss 485498096(%edx,%eax,4), %xmm1, %xmm1
484// CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
485vfmadd231ss 485498096(%edx,%eax,4), %xmm1, %xmm1
486
487// CHECK: vfmadd231ss 485498096(%edx), %xmm1, %xmm1
488// CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0x8a,0xf0,0x1c,0xf0,0x1c]
489vfmadd231ss 485498096(%edx), %xmm1, %xmm1
490
491// CHECK: vfmadd231ss 485498096, %xmm1, %xmm1
492// CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0x0d,0xf0,0x1c,0xf0,0x1c]
493vfmadd231ss 485498096, %xmm1, %xmm1
494
495// CHECK: vfmadd231ss 64(%edx,%eax), %xmm1, %xmm1
496// CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0x4c,0x02,0x40]
497vfmadd231ss 64(%edx,%eax), %xmm1, %xmm1
498
499// CHECK: vfmadd231ss (%edx), %xmm1, %xmm1
500// CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0x0a]
501vfmadd231ss (%edx), %xmm1, %xmm1
502
503// CHECK: vfmadd231ss %xmm1, %xmm1, %xmm1
504// CHECK: encoding: [0xc4,0xe2,0x71,0xb9,0xc9]
505vfmadd231ss %xmm1, %xmm1, %xmm1
506
507// CHECK: vfmaddsub132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
508// CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
509vfmaddsub132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
510
511// CHECK: vfmaddsub132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
512// CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
513vfmaddsub132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
514
515// CHECK: vfmaddsub132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
516// CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
517vfmaddsub132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
518
519// CHECK: vfmaddsub132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
520// CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
521vfmaddsub132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
522
523// CHECK: vfmaddsub132pd 485498096(%edx), %xmm1, %xmm1
524// CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0x8a,0xf0,0x1c,0xf0,0x1c]
525vfmaddsub132pd 485498096(%edx), %xmm1, %xmm1
526
527// CHECK: vfmaddsub132pd 485498096(%edx), %ymm4, %ymm4
528// CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0xa2,0xf0,0x1c,0xf0,0x1c]
529vfmaddsub132pd 485498096(%edx), %ymm4, %ymm4
530
531// CHECK: vfmaddsub132pd 485498096, %xmm1, %xmm1
532// CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0x0d,0xf0,0x1c,0xf0,0x1c]
533vfmaddsub132pd 485498096, %xmm1, %xmm1
534
535// CHECK: vfmaddsub132pd 485498096, %ymm4, %ymm4
536// CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0x25,0xf0,0x1c,0xf0,0x1c]
537vfmaddsub132pd 485498096, %ymm4, %ymm4
538
539// CHECK: vfmaddsub132pd 64(%edx,%eax), %xmm1, %xmm1
540// CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0x4c,0x02,0x40]
541vfmaddsub132pd 64(%edx,%eax), %xmm1, %xmm1
542
543// CHECK: vfmaddsub132pd 64(%edx,%eax), %ymm4, %ymm4
544// CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0x64,0x02,0x40]
545vfmaddsub132pd 64(%edx,%eax), %ymm4, %ymm4
546
547// CHECK: vfmaddsub132pd (%edx), %xmm1, %xmm1
548// CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0x0a]
549vfmaddsub132pd (%edx), %xmm1, %xmm1
550
551// CHECK: vfmaddsub132pd (%edx), %ymm4, %ymm4
552// CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0x22]
553vfmaddsub132pd (%edx), %ymm4, %ymm4
554
555// CHECK: vfmaddsub132pd %xmm1, %xmm1, %xmm1
556// CHECK: encoding: [0xc4,0xe2,0xf1,0x96,0xc9]
557vfmaddsub132pd %xmm1, %xmm1, %xmm1
558
559// CHECK: vfmaddsub132pd %ymm4, %ymm4, %ymm4
560// CHECK: encoding: [0xc4,0xe2,0xdd,0x96,0xe4]
561vfmaddsub132pd %ymm4, %ymm4, %ymm4
562
563// CHECK: vfmaddsub132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
564// CHECK: encoding: [0xc4,0xe2,0x71,0x96,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
565vfmaddsub132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
566
567// CHECK: vfmaddsub132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
568// CHECK: encoding: [0xc4,0xe2,0x71,0x96,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
569vfmaddsub132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
570
571// CHECK: vfmaddsub132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
572// CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
573vfmaddsub132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
574
575// CHECK: vfmaddsub132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
576// CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
577vfmaddsub132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
578
579// CHECK: vfmaddsub132ps 485498096(%edx), %xmm1, %xmm1
580// CHECK: encoding: [0xc4,0xe2,0x71,0x96,0x8a,0xf0,0x1c,0xf0,0x1c]
581vfmaddsub132ps 485498096(%edx), %xmm1, %xmm1
582
583// CHECK: vfmaddsub132ps 485498096(%edx), %ymm4, %ymm4
584// CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0xa2,0xf0,0x1c,0xf0,0x1c]
585vfmaddsub132ps 485498096(%edx), %ymm4, %ymm4
586
587// CHECK: vfmaddsub132ps 485498096, %xmm1, %xmm1
588// CHECK: encoding: [0xc4,0xe2,0x71,0x96,0x0d,0xf0,0x1c,0xf0,0x1c]
589vfmaddsub132ps 485498096, %xmm1, %xmm1
590
591// CHECK: vfmaddsub132ps 485498096, %ymm4, %ymm4
592// CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0x25,0xf0,0x1c,0xf0,0x1c]
593vfmaddsub132ps 485498096, %ymm4, %ymm4
594
595// CHECK: vfmaddsub132ps 64(%edx,%eax), %xmm1, %xmm1
596// CHECK: encoding: [0xc4,0xe2,0x71,0x96,0x4c,0x02,0x40]
597vfmaddsub132ps 64(%edx,%eax), %xmm1, %xmm1
598
599// CHECK: vfmaddsub132ps 64(%edx,%eax), %ymm4, %ymm4
600// CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0x64,0x02,0x40]
601vfmaddsub132ps 64(%edx,%eax), %ymm4, %ymm4
602
603// CHECK: vfmaddsub132ps (%edx), %xmm1, %xmm1
604// CHECK: encoding: [0xc4,0xe2,0x71,0x96,0x0a]
605vfmaddsub132ps (%edx), %xmm1, %xmm1
606
607// CHECK: vfmaddsub132ps (%edx), %ymm4, %ymm4
608// CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0x22]
609vfmaddsub132ps (%edx), %ymm4, %ymm4
610
611// CHECK: vfmaddsub132ps %xmm1, %xmm1, %xmm1
612// CHECK: encoding: [0xc4,0xe2,0x71,0x96,0xc9]
613vfmaddsub132ps %xmm1, %xmm1, %xmm1
614
615// CHECK: vfmaddsub132ps %ymm4, %ymm4, %ymm4
616// CHECK: encoding: [0xc4,0xe2,0x5d,0x96,0xe4]
617vfmaddsub132ps %ymm4, %ymm4, %ymm4
618
619// CHECK: vfmaddsub213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
620// CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
621vfmaddsub213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
622
623// CHECK: vfmaddsub213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
624// CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
625vfmaddsub213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
626
627// CHECK: vfmaddsub213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
628// CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
629vfmaddsub213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
630
631// CHECK: vfmaddsub213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
632// CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
633vfmaddsub213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
634
635// CHECK: vfmaddsub213pd 485498096(%edx), %xmm1, %xmm1
636// CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0x8a,0xf0,0x1c,0xf0,0x1c]
637vfmaddsub213pd 485498096(%edx), %xmm1, %xmm1
638
639// CHECK: vfmaddsub213pd 485498096(%edx), %ymm4, %ymm4
640// CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0xa2,0xf0,0x1c,0xf0,0x1c]
641vfmaddsub213pd 485498096(%edx), %ymm4, %ymm4
642
643// CHECK: vfmaddsub213pd 485498096, %xmm1, %xmm1
644// CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0x0d,0xf0,0x1c,0xf0,0x1c]
645vfmaddsub213pd 485498096, %xmm1, %xmm1
646
647// CHECK: vfmaddsub213pd 485498096, %ymm4, %ymm4
648// CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0x25,0xf0,0x1c,0xf0,0x1c]
649vfmaddsub213pd 485498096, %ymm4, %ymm4
650
651// CHECK: vfmaddsub213pd 64(%edx,%eax), %xmm1, %xmm1
652// CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0x4c,0x02,0x40]
653vfmaddsub213pd 64(%edx,%eax), %xmm1, %xmm1
654
655// CHECK: vfmaddsub213pd 64(%edx,%eax), %ymm4, %ymm4
656// CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0x64,0x02,0x40]
657vfmaddsub213pd 64(%edx,%eax), %ymm4, %ymm4
658
659// CHECK: vfmaddsub213pd (%edx), %xmm1, %xmm1
660// CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0x0a]
661vfmaddsub213pd (%edx), %xmm1, %xmm1
662
663// CHECK: vfmaddsub213pd (%edx), %ymm4, %ymm4
664// CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0x22]
665vfmaddsub213pd (%edx), %ymm4, %ymm4
666
667// CHECK: vfmaddsub213pd %xmm1, %xmm1, %xmm1
668// CHECK: encoding: [0xc4,0xe2,0xf1,0xa6,0xc9]
669vfmaddsub213pd %xmm1, %xmm1, %xmm1
670
671// CHECK: vfmaddsub213pd %ymm4, %ymm4, %ymm4
672// CHECK: encoding: [0xc4,0xe2,0xdd,0xa6,0xe4]
673vfmaddsub213pd %ymm4, %ymm4, %ymm4
674
675// CHECK: vfmaddsub213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
676// CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
677vfmaddsub213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
678
679// CHECK: vfmaddsub213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
680// CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
681vfmaddsub213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
682
683// CHECK: vfmaddsub213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
684// CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
685vfmaddsub213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
686
687// CHECK: vfmaddsub213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
688// CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
689vfmaddsub213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
690
691// CHECK: vfmaddsub213ps 485498096(%edx), %xmm1, %xmm1
692// CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0x8a,0xf0,0x1c,0xf0,0x1c]
693vfmaddsub213ps 485498096(%edx), %xmm1, %xmm1
694
695// CHECK: vfmaddsub213ps 485498096(%edx), %ymm4, %ymm4
696// CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0xa2,0xf0,0x1c,0xf0,0x1c]
697vfmaddsub213ps 485498096(%edx), %ymm4, %ymm4
698
699// CHECK: vfmaddsub213ps 485498096, %xmm1, %xmm1
700// CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0x0d,0xf0,0x1c,0xf0,0x1c]
701vfmaddsub213ps 485498096, %xmm1, %xmm1
702
703// CHECK: vfmaddsub213ps 485498096, %ymm4, %ymm4
704// CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0x25,0xf0,0x1c,0xf0,0x1c]
705vfmaddsub213ps 485498096, %ymm4, %ymm4
706
707// CHECK: vfmaddsub213ps 64(%edx,%eax), %xmm1, %xmm1
708// CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0x4c,0x02,0x40]
709vfmaddsub213ps 64(%edx,%eax), %xmm1, %xmm1
710
711// CHECK: vfmaddsub213ps 64(%edx,%eax), %ymm4, %ymm4
712// CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0x64,0x02,0x40]
713vfmaddsub213ps 64(%edx,%eax), %ymm4, %ymm4
714
715// CHECK: vfmaddsub213ps (%edx), %xmm1, %xmm1
716// CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0x0a]
717vfmaddsub213ps (%edx), %xmm1, %xmm1
718
719// CHECK: vfmaddsub213ps (%edx), %ymm4, %ymm4
720// CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0x22]
721vfmaddsub213ps (%edx), %ymm4, %ymm4
722
723// CHECK: vfmaddsub213ps %xmm1, %xmm1, %xmm1
724// CHECK: encoding: [0xc4,0xe2,0x71,0xa6,0xc9]
725vfmaddsub213ps %xmm1, %xmm1, %xmm1
726
727// CHECK: vfmaddsub213ps %ymm4, %ymm4, %ymm4
728// CHECK: encoding: [0xc4,0xe2,0x5d,0xa6,0xe4]
729vfmaddsub213ps %ymm4, %ymm4, %ymm4
730
731// CHECK: vfmaddsub231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
732// CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
733vfmaddsub231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
734
735// CHECK: vfmaddsub231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
736// CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
737vfmaddsub231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
738
739// CHECK: vfmaddsub231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
740// CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
741vfmaddsub231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
742
743// CHECK: vfmaddsub231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
744// CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
745vfmaddsub231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
746
747// CHECK: vfmaddsub231pd 485498096(%edx), %xmm1, %xmm1
748// CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0x8a,0xf0,0x1c,0xf0,0x1c]
749vfmaddsub231pd 485498096(%edx), %xmm1, %xmm1
750
751// CHECK: vfmaddsub231pd 485498096(%edx), %ymm4, %ymm4
752// CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0xa2,0xf0,0x1c,0xf0,0x1c]
753vfmaddsub231pd 485498096(%edx), %ymm4, %ymm4
754
755// CHECK: vfmaddsub231pd 485498096, %xmm1, %xmm1
756// CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0x0d,0xf0,0x1c,0xf0,0x1c]
757vfmaddsub231pd 485498096, %xmm1, %xmm1
758
759// CHECK: vfmaddsub231pd 485498096, %ymm4, %ymm4
760// CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0x25,0xf0,0x1c,0xf0,0x1c]
761vfmaddsub231pd 485498096, %ymm4, %ymm4
762
763// CHECK: vfmaddsub231pd 64(%edx,%eax), %xmm1, %xmm1
764// CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0x4c,0x02,0x40]
765vfmaddsub231pd 64(%edx,%eax), %xmm1, %xmm1
766
767// CHECK: vfmaddsub231pd 64(%edx,%eax), %ymm4, %ymm4
768// CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0x64,0x02,0x40]
769vfmaddsub231pd 64(%edx,%eax), %ymm4, %ymm4
770
771// CHECK: vfmaddsub231pd (%edx), %xmm1, %xmm1
772// CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0x0a]
773vfmaddsub231pd (%edx), %xmm1, %xmm1
774
775// CHECK: vfmaddsub231pd (%edx), %ymm4, %ymm4
776// CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0x22]
777vfmaddsub231pd (%edx), %ymm4, %ymm4
778
779// CHECK: vfmaddsub231pd %xmm1, %xmm1, %xmm1
780// CHECK: encoding: [0xc4,0xe2,0xf1,0xb6,0xc9]
781vfmaddsub231pd %xmm1, %xmm1, %xmm1
782
783// CHECK: vfmaddsub231pd %ymm4, %ymm4, %ymm4
784// CHECK: encoding: [0xc4,0xe2,0xdd,0xb6,0xe4]
785vfmaddsub231pd %ymm4, %ymm4, %ymm4
786
787// CHECK: vfmaddsub231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
788// CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
789vfmaddsub231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
790
791// CHECK: vfmaddsub231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
792// CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
793vfmaddsub231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
794
795// CHECK: vfmaddsub231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
796// CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
797vfmaddsub231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
798
799// CHECK: vfmaddsub231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
800// CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
801vfmaddsub231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
802
803// CHECK: vfmaddsub231ps 485498096(%edx), %xmm1, %xmm1
804// CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0x8a,0xf0,0x1c,0xf0,0x1c]
805vfmaddsub231ps 485498096(%edx), %xmm1, %xmm1
806
807// CHECK: vfmaddsub231ps 485498096(%edx), %ymm4, %ymm4
808// CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0xa2,0xf0,0x1c,0xf0,0x1c]
809vfmaddsub231ps 485498096(%edx), %ymm4, %ymm4
810
811// CHECK: vfmaddsub231ps 485498096, %xmm1, %xmm1
812// CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0x0d,0xf0,0x1c,0xf0,0x1c]
813vfmaddsub231ps 485498096, %xmm1, %xmm1
814
815// CHECK: vfmaddsub231ps 485498096, %ymm4, %ymm4
816// CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0x25,0xf0,0x1c,0xf0,0x1c]
817vfmaddsub231ps 485498096, %ymm4, %ymm4
818
819// CHECK: vfmaddsub231ps 64(%edx,%eax), %xmm1, %xmm1
820// CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0x4c,0x02,0x40]
821vfmaddsub231ps 64(%edx,%eax), %xmm1, %xmm1
822
823// CHECK: vfmaddsub231ps 64(%edx,%eax), %ymm4, %ymm4
824// CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0x64,0x02,0x40]
825vfmaddsub231ps 64(%edx,%eax), %ymm4, %ymm4
826
827// CHECK: vfmaddsub231ps (%edx), %xmm1, %xmm1
828// CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0x0a]
829vfmaddsub231ps (%edx), %xmm1, %xmm1
830
831// CHECK: vfmaddsub231ps (%edx), %ymm4, %ymm4
832// CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0x22]
833vfmaddsub231ps (%edx), %ymm4, %ymm4
834
835// CHECK: vfmaddsub231ps %xmm1, %xmm1, %xmm1
836// CHECK: encoding: [0xc4,0xe2,0x71,0xb6,0xc9]
837vfmaddsub231ps %xmm1, %xmm1, %xmm1
838
839// CHECK: vfmaddsub231ps %ymm4, %ymm4, %ymm4
840// CHECK: encoding: [0xc4,0xe2,0x5d,0xb6,0xe4]
841vfmaddsub231ps %ymm4, %ymm4, %ymm4
842
843// CHECK: vfmsub132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
844// CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
845vfmsub132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
846
847// CHECK: vfmsub132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
848// CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
849vfmsub132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
850
851// CHECK: vfmsub132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
852// CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
853vfmsub132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
854
855// CHECK: vfmsub132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
856// CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
857vfmsub132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
858
859// CHECK: vfmsub132pd 485498096(%edx), %xmm1, %xmm1
860// CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0x8a,0xf0,0x1c,0xf0,0x1c]
861vfmsub132pd 485498096(%edx), %xmm1, %xmm1
862
863// CHECK: vfmsub132pd 485498096(%edx), %ymm4, %ymm4
864// CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0xa2,0xf0,0x1c,0xf0,0x1c]
865vfmsub132pd 485498096(%edx), %ymm4, %ymm4
866
867// CHECK: vfmsub132pd 485498096, %xmm1, %xmm1
868// CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0x0d,0xf0,0x1c,0xf0,0x1c]
869vfmsub132pd 485498096, %xmm1, %xmm1
870
871// CHECK: vfmsub132pd 485498096, %ymm4, %ymm4
872// CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0x25,0xf0,0x1c,0xf0,0x1c]
873vfmsub132pd 485498096, %ymm4, %ymm4
874
875// CHECK: vfmsub132pd 64(%edx,%eax), %xmm1, %xmm1
876// CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0x4c,0x02,0x40]
877vfmsub132pd 64(%edx,%eax), %xmm1, %xmm1
878
879// CHECK: vfmsub132pd 64(%edx,%eax), %ymm4, %ymm4
880// CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0x64,0x02,0x40]
881vfmsub132pd 64(%edx,%eax), %ymm4, %ymm4
882
883// CHECK: vfmsub132pd (%edx), %xmm1, %xmm1
884// CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0x0a]
885vfmsub132pd (%edx), %xmm1, %xmm1
886
887// CHECK: vfmsub132pd (%edx), %ymm4, %ymm4
888// CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0x22]
889vfmsub132pd (%edx), %ymm4, %ymm4
890
891// CHECK: vfmsub132pd %xmm1, %xmm1, %xmm1
892// CHECK: encoding: [0xc4,0xe2,0xf1,0x9a,0xc9]
893vfmsub132pd %xmm1, %xmm1, %xmm1
894
895// CHECK: vfmsub132pd %ymm4, %ymm4, %ymm4
896// CHECK: encoding: [0xc4,0xe2,0xdd,0x9a,0xe4]
897vfmsub132pd %ymm4, %ymm4, %ymm4
898
899// CHECK: vfmsub132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
900// CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
901vfmsub132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
902
903// CHECK: vfmsub132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
904// CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
905vfmsub132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
906
907// CHECK: vfmsub132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
908// CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
909vfmsub132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
910
911// CHECK: vfmsub132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
912// CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
913vfmsub132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
914
915// CHECK: vfmsub132ps 485498096(%edx), %xmm1, %xmm1
916// CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0x8a,0xf0,0x1c,0xf0,0x1c]
917vfmsub132ps 485498096(%edx), %xmm1, %xmm1
918
919// CHECK: vfmsub132ps 485498096(%edx), %ymm4, %ymm4
920// CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0xa2,0xf0,0x1c,0xf0,0x1c]
921vfmsub132ps 485498096(%edx), %ymm4, %ymm4
922
923// CHECK: vfmsub132ps 485498096, %xmm1, %xmm1
924// CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0x0d,0xf0,0x1c,0xf0,0x1c]
925vfmsub132ps 485498096, %xmm1, %xmm1
926
927// CHECK: vfmsub132ps 485498096, %ymm4, %ymm4
928// CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0x25,0xf0,0x1c,0xf0,0x1c]
929vfmsub132ps 485498096, %ymm4, %ymm4
930
931// CHECK: vfmsub132ps 64(%edx,%eax), %xmm1, %xmm1
932// CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0x4c,0x02,0x40]
933vfmsub132ps 64(%edx,%eax), %xmm1, %xmm1
934
935// CHECK: vfmsub132ps 64(%edx,%eax), %ymm4, %ymm4
936// CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0x64,0x02,0x40]
937vfmsub132ps 64(%edx,%eax), %ymm4, %ymm4
938
939// CHECK: vfmsub132ps (%edx), %xmm1, %xmm1
940// CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0x0a]
941vfmsub132ps (%edx), %xmm1, %xmm1
942
943// CHECK: vfmsub132ps (%edx), %ymm4, %ymm4
944// CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0x22]
945vfmsub132ps (%edx), %ymm4, %ymm4
946
947// CHECK: vfmsub132ps %xmm1, %xmm1, %xmm1
948// CHECK: encoding: [0xc4,0xe2,0x71,0x9a,0xc9]
949vfmsub132ps %xmm1, %xmm1, %xmm1
950
951// CHECK: vfmsub132ps %ymm4, %ymm4, %ymm4
952// CHECK: encoding: [0xc4,0xe2,0x5d,0x9a,0xe4]
953vfmsub132ps %ymm4, %ymm4, %ymm4
954
955// CHECK: vfmsub132sd -485498096(%edx,%eax,4), %xmm1, %xmm1
956// CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
957vfmsub132sd -485498096(%edx,%eax,4), %xmm1, %xmm1
958
959// CHECK: vfmsub132sd 485498096(%edx,%eax,4), %xmm1, %xmm1
960// CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
961vfmsub132sd 485498096(%edx,%eax,4), %xmm1, %xmm1
962
963// CHECK: vfmsub132sd 485498096(%edx), %xmm1, %xmm1
964// CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0x8a,0xf0,0x1c,0xf0,0x1c]
965vfmsub132sd 485498096(%edx), %xmm1, %xmm1
966
967// CHECK: vfmsub132sd 485498096, %xmm1, %xmm1
968// CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0x0d,0xf0,0x1c,0xf0,0x1c]
969vfmsub132sd 485498096, %xmm1, %xmm1
970
971// CHECK: vfmsub132sd 64(%edx,%eax), %xmm1, %xmm1
972// CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0x4c,0x02,0x40]
973vfmsub132sd 64(%edx,%eax), %xmm1, %xmm1
974
975// CHECK: vfmsub132sd (%edx), %xmm1, %xmm1
976// CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0x0a]
977vfmsub132sd (%edx), %xmm1, %xmm1
978
979// CHECK: vfmsub132sd %xmm1, %xmm1, %xmm1
980// CHECK: encoding: [0xc4,0xe2,0xf1,0x9b,0xc9]
981vfmsub132sd %xmm1, %xmm1, %xmm1
982
983// CHECK: vfmsub132ss -485498096(%edx,%eax,4), %xmm1, %xmm1
984// CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
985vfmsub132ss -485498096(%edx,%eax,4), %xmm1, %xmm1
986
987// CHECK: vfmsub132ss 485498096(%edx,%eax,4), %xmm1, %xmm1
988// CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
989vfmsub132ss 485498096(%edx,%eax,4), %xmm1, %xmm1
990
991// CHECK: vfmsub132ss 485498096(%edx), %xmm1, %xmm1
992// CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0x8a,0xf0,0x1c,0xf0,0x1c]
993vfmsub132ss 485498096(%edx), %xmm1, %xmm1
994
995// CHECK: vfmsub132ss 485498096, %xmm1, %xmm1
996// CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0x0d,0xf0,0x1c,0xf0,0x1c]
997vfmsub132ss 485498096, %xmm1, %xmm1
998
999// CHECK: vfmsub132ss 64(%edx,%eax), %xmm1, %xmm1
1000// CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0x4c,0x02,0x40]
1001vfmsub132ss 64(%edx,%eax), %xmm1, %xmm1
1002
1003// CHECK: vfmsub132ss (%edx), %xmm1, %xmm1
1004// CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0x0a]
1005vfmsub132ss (%edx), %xmm1, %xmm1
1006
1007// CHECK: vfmsub132ss %xmm1, %xmm1, %xmm1
1008// CHECK: encoding: [0xc4,0xe2,0x71,0x9b,0xc9]
1009vfmsub132ss %xmm1, %xmm1, %xmm1
1010
1011// CHECK: vfmsub213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1012// CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1013vfmsub213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1014
1015// CHECK: vfmsub213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1016// CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1017vfmsub213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1018
1019// CHECK: vfmsub213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1020// CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1021vfmsub213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1022
1023// CHECK: vfmsub213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1024// CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1025vfmsub213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1026
1027// CHECK: vfmsub213pd 485498096(%edx), %xmm1, %xmm1
1028// CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0x8a,0xf0,0x1c,0xf0,0x1c]
1029vfmsub213pd 485498096(%edx), %xmm1, %xmm1
1030
1031// CHECK: vfmsub213pd 485498096(%edx), %ymm4, %ymm4
1032// CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0xa2,0xf0,0x1c,0xf0,0x1c]
1033vfmsub213pd 485498096(%edx), %ymm4, %ymm4
1034
1035// CHECK: vfmsub213pd 485498096, %xmm1, %xmm1
1036// CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0x0d,0xf0,0x1c,0xf0,0x1c]
1037vfmsub213pd 485498096, %xmm1, %xmm1
1038
1039// CHECK: vfmsub213pd 485498096, %ymm4, %ymm4
1040// CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0x25,0xf0,0x1c,0xf0,0x1c]
1041vfmsub213pd 485498096, %ymm4, %ymm4
1042
1043// CHECK: vfmsub213pd 64(%edx,%eax), %xmm1, %xmm1
1044// CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0x4c,0x02,0x40]
1045vfmsub213pd 64(%edx,%eax), %xmm1, %xmm1
1046
1047// CHECK: vfmsub213pd 64(%edx,%eax), %ymm4, %ymm4
1048// CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0x64,0x02,0x40]
1049vfmsub213pd 64(%edx,%eax), %ymm4, %ymm4
1050
1051// CHECK: vfmsub213pd (%edx), %xmm1, %xmm1
1052// CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0x0a]
1053vfmsub213pd (%edx), %xmm1, %xmm1
1054
1055// CHECK: vfmsub213pd (%edx), %ymm4, %ymm4
1056// CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0x22]
1057vfmsub213pd (%edx), %ymm4, %ymm4
1058
1059// CHECK: vfmsub213pd %xmm1, %xmm1, %xmm1
1060// CHECK: encoding: [0xc4,0xe2,0xf1,0xaa,0xc9]
1061vfmsub213pd %xmm1, %xmm1, %xmm1
1062
1063// CHECK: vfmsub213pd %ymm4, %ymm4, %ymm4
1064// CHECK: encoding: [0xc4,0xe2,0xdd,0xaa,0xe4]
1065vfmsub213pd %ymm4, %ymm4, %ymm4
1066
1067// CHECK: vfmsub213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1068// CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1069vfmsub213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1070
1071// CHECK: vfmsub213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1072// CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1073vfmsub213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1074
1075// CHECK: vfmsub213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1076// CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1077vfmsub213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1078
1079// CHECK: vfmsub213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1080// CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1081vfmsub213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1082
1083// CHECK: vfmsub213ps 485498096(%edx), %xmm1, %xmm1
1084// CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0x8a,0xf0,0x1c,0xf0,0x1c]
1085vfmsub213ps 485498096(%edx), %xmm1, %xmm1
1086
1087// CHECK: vfmsub213ps 485498096(%edx), %ymm4, %ymm4
1088// CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0xa2,0xf0,0x1c,0xf0,0x1c]
1089vfmsub213ps 485498096(%edx), %ymm4, %ymm4
1090
1091// CHECK: vfmsub213ps 485498096, %xmm1, %xmm1
1092// CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0x0d,0xf0,0x1c,0xf0,0x1c]
1093vfmsub213ps 485498096, %xmm1, %xmm1
1094
1095// CHECK: vfmsub213ps 485498096, %ymm4, %ymm4
1096// CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0x25,0xf0,0x1c,0xf0,0x1c]
1097vfmsub213ps 485498096, %ymm4, %ymm4
1098
1099// CHECK: vfmsub213ps 64(%edx,%eax), %xmm1, %xmm1
1100// CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0x4c,0x02,0x40]
1101vfmsub213ps 64(%edx,%eax), %xmm1, %xmm1
1102
1103// CHECK: vfmsub213ps 64(%edx,%eax), %ymm4, %ymm4
1104// CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0x64,0x02,0x40]
1105vfmsub213ps 64(%edx,%eax), %ymm4, %ymm4
1106
1107// CHECK: vfmsub213ps (%edx), %xmm1, %xmm1
1108// CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0x0a]
1109vfmsub213ps (%edx), %xmm1, %xmm1
1110
1111// CHECK: vfmsub213ps (%edx), %ymm4, %ymm4
1112// CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0x22]
1113vfmsub213ps (%edx), %ymm4, %ymm4
1114
1115// CHECK: vfmsub213ps %xmm1, %xmm1, %xmm1
1116// CHECK: encoding: [0xc4,0xe2,0x71,0xaa,0xc9]
1117vfmsub213ps %xmm1, %xmm1, %xmm1
1118
1119// CHECK: vfmsub213ps %ymm4, %ymm4, %ymm4
1120// CHECK: encoding: [0xc4,0xe2,0x5d,0xaa,0xe4]
1121vfmsub213ps %ymm4, %ymm4, %ymm4
1122
1123// CHECK: vfmsub213sd -485498096(%edx,%eax,4), %xmm1, %xmm1
1124// CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1125vfmsub213sd -485498096(%edx,%eax,4), %xmm1, %xmm1
1126
1127// CHECK: vfmsub213sd 485498096(%edx,%eax,4), %xmm1, %xmm1
1128// CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1129vfmsub213sd 485498096(%edx,%eax,4), %xmm1, %xmm1
1130
1131// CHECK: vfmsub213sd 485498096(%edx), %xmm1, %xmm1
1132// CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0x8a,0xf0,0x1c,0xf0,0x1c]
1133vfmsub213sd 485498096(%edx), %xmm1, %xmm1
1134
1135// CHECK: vfmsub213sd 485498096, %xmm1, %xmm1
1136// CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0x0d,0xf0,0x1c,0xf0,0x1c]
1137vfmsub213sd 485498096, %xmm1, %xmm1
1138
1139// CHECK: vfmsub213sd 64(%edx,%eax), %xmm1, %xmm1
1140// CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0x4c,0x02,0x40]
1141vfmsub213sd 64(%edx,%eax), %xmm1, %xmm1
1142
1143// CHECK: vfmsub213sd (%edx), %xmm1, %xmm1
1144// CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0x0a]
1145vfmsub213sd (%edx), %xmm1, %xmm1
1146
1147// CHECK: vfmsub213sd %xmm1, %xmm1, %xmm1
1148// CHECK: encoding: [0xc4,0xe2,0xf1,0xab,0xc9]
1149vfmsub213sd %xmm1, %xmm1, %xmm1
1150
1151// CHECK: vfmsub213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
1152// CHECK: encoding: [0xc4,0xe2,0x71,0xab,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1153vfmsub213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
1154
1155// CHECK: vfmsub213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
1156// CHECK: encoding: [0xc4,0xe2,0x71,0xab,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1157vfmsub213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
1158
1159// CHECK: vfmsub213ss 485498096(%edx), %xmm1, %xmm1
1160// CHECK: encoding: [0xc4,0xe2,0x71,0xab,0x8a,0xf0,0x1c,0xf0,0x1c]
1161vfmsub213ss 485498096(%edx), %xmm1, %xmm1
1162
1163// CHECK: vfmsub213ss 485498096, %xmm1, %xmm1
1164// CHECK: encoding: [0xc4,0xe2,0x71,0xab,0x0d,0xf0,0x1c,0xf0,0x1c]
1165vfmsub213ss 485498096, %xmm1, %xmm1
1166
1167// CHECK: vfmsub213ss 64(%edx,%eax), %xmm1, %xmm1
1168// CHECK: encoding: [0xc4,0xe2,0x71,0xab,0x4c,0x02,0x40]
1169vfmsub213ss 64(%edx,%eax), %xmm1, %xmm1
1170
1171// CHECK: vfmsub213ss (%edx), %xmm1, %xmm1
1172// CHECK: encoding: [0xc4,0xe2,0x71,0xab,0x0a]
1173vfmsub213ss (%edx), %xmm1, %xmm1
1174
1175// CHECK: vfmsub213ss %xmm1, %xmm1, %xmm1
1176// CHECK: encoding: [0xc4,0xe2,0x71,0xab,0xc9]
1177vfmsub213ss %xmm1, %xmm1, %xmm1
1178
1179// CHECK: vfmsub231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1180// CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1181vfmsub231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1182
1183// CHECK: vfmsub231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1184// CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1185vfmsub231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1186
1187// CHECK: vfmsub231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1188// CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1189vfmsub231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1190
1191// CHECK: vfmsub231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1192// CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1193vfmsub231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1194
1195// CHECK: vfmsub231pd 485498096(%edx), %xmm1, %xmm1
1196// CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0x8a,0xf0,0x1c,0xf0,0x1c]
1197vfmsub231pd 485498096(%edx), %xmm1, %xmm1
1198
1199// CHECK: vfmsub231pd 485498096(%edx), %ymm4, %ymm4
1200// CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0xa2,0xf0,0x1c,0xf0,0x1c]
1201vfmsub231pd 485498096(%edx), %ymm4, %ymm4
1202
1203// CHECK: vfmsub231pd 485498096, %xmm1, %xmm1
1204// CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0x0d,0xf0,0x1c,0xf0,0x1c]
1205vfmsub231pd 485498096, %xmm1, %xmm1
1206
1207// CHECK: vfmsub231pd 485498096, %ymm4, %ymm4
1208// CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0x25,0xf0,0x1c,0xf0,0x1c]
1209vfmsub231pd 485498096, %ymm4, %ymm4
1210
1211// CHECK: vfmsub231pd 64(%edx,%eax), %xmm1, %xmm1
1212// CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0x4c,0x02,0x40]
1213vfmsub231pd 64(%edx,%eax), %xmm1, %xmm1
1214
1215// CHECK: vfmsub231pd 64(%edx,%eax), %ymm4, %ymm4
1216// CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0x64,0x02,0x40]
1217vfmsub231pd 64(%edx,%eax), %ymm4, %ymm4
1218
1219// CHECK: vfmsub231pd (%edx), %xmm1, %xmm1
1220// CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0x0a]
1221vfmsub231pd (%edx), %xmm1, %xmm1
1222
1223// CHECK: vfmsub231pd (%edx), %ymm4, %ymm4
1224// CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0x22]
1225vfmsub231pd (%edx), %ymm4, %ymm4
1226
1227// CHECK: vfmsub231pd %xmm1, %xmm1, %xmm1
1228// CHECK: encoding: [0xc4,0xe2,0xf1,0xba,0xc9]
1229vfmsub231pd %xmm1, %xmm1, %xmm1
1230
1231// CHECK: vfmsub231pd %ymm4, %ymm4, %ymm4
1232// CHECK: encoding: [0xc4,0xe2,0xdd,0xba,0xe4]
1233vfmsub231pd %ymm4, %ymm4, %ymm4
1234
1235// CHECK: vfmsub231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1236// CHECK: encoding: [0xc4,0xe2,0x71,0xba,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1237vfmsub231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1238
1239// CHECK: vfmsub231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1240// CHECK: encoding: [0xc4,0xe2,0x71,0xba,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1241vfmsub231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1242
1243// CHECK: vfmsub231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1244// CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1245vfmsub231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1246
1247// CHECK: vfmsub231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1248// CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1249vfmsub231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1250
1251// CHECK: vfmsub231ps 485498096(%edx), %xmm1, %xmm1
1252// CHECK: encoding: [0xc4,0xe2,0x71,0xba,0x8a,0xf0,0x1c,0xf0,0x1c]
1253vfmsub231ps 485498096(%edx), %xmm1, %xmm1
1254
1255// CHECK: vfmsub231ps 485498096(%edx), %ymm4, %ymm4
1256// CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0xa2,0xf0,0x1c,0xf0,0x1c]
1257vfmsub231ps 485498096(%edx), %ymm4, %ymm4
1258
1259// CHECK: vfmsub231ps 485498096, %xmm1, %xmm1
1260// CHECK: encoding: [0xc4,0xe2,0x71,0xba,0x0d,0xf0,0x1c,0xf0,0x1c]
1261vfmsub231ps 485498096, %xmm1, %xmm1
1262
1263// CHECK: vfmsub231ps 485498096, %ymm4, %ymm4
1264// CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0x25,0xf0,0x1c,0xf0,0x1c]
1265vfmsub231ps 485498096, %ymm4, %ymm4
1266
1267// CHECK: vfmsub231ps 64(%edx,%eax), %xmm1, %xmm1
1268// CHECK: encoding: [0xc4,0xe2,0x71,0xba,0x4c,0x02,0x40]
1269vfmsub231ps 64(%edx,%eax), %xmm1, %xmm1
1270
1271// CHECK: vfmsub231ps 64(%edx,%eax), %ymm4, %ymm4
1272// CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0x64,0x02,0x40]
1273vfmsub231ps 64(%edx,%eax), %ymm4, %ymm4
1274
1275// CHECK: vfmsub231ps (%edx), %xmm1, %xmm1
1276// CHECK: encoding: [0xc4,0xe2,0x71,0xba,0x0a]
1277vfmsub231ps (%edx), %xmm1, %xmm1
1278
1279// CHECK: vfmsub231ps (%edx), %ymm4, %ymm4
1280// CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0x22]
1281vfmsub231ps (%edx), %ymm4, %ymm4
1282
1283// CHECK: vfmsub231ps %xmm1, %xmm1, %xmm1
1284// CHECK: encoding: [0xc4,0xe2,0x71,0xba,0xc9]
1285vfmsub231ps %xmm1, %xmm1, %xmm1
1286
1287// CHECK: vfmsub231ps %ymm4, %ymm4, %ymm4
1288// CHECK: encoding: [0xc4,0xe2,0x5d,0xba,0xe4]
1289vfmsub231ps %ymm4, %ymm4, %ymm4
1290
1291// CHECK: vfmsub231sd -485498096(%edx,%eax,4), %xmm1, %xmm1
1292// CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1293vfmsub231sd -485498096(%edx,%eax,4), %xmm1, %xmm1
1294
1295// CHECK: vfmsub231sd 485498096(%edx,%eax,4), %xmm1, %xmm1
1296// CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1297vfmsub231sd 485498096(%edx,%eax,4), %xmm1, %xmm1
1298
1299// CHECK: vfmsub231sd 485498096(%edx), %xmm1, %xmm1
1300// CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0x8a,0xf0,0x1c,0xf0,0x1c]
1301vfmsub231sd 485498096(%edx), %xmm1, %xmm1
1302
1303// CHECK: vfmsub231sd 485498096, %xmm1, %xmm1
1304// CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0x0d,0xf0,0x1c,0xf0,0x1c]
1305vfmsub231sd 485498096, %xmm1, %xmm1
1306
1307// CHECK: vfmsub231sd 64(%edx,%eax), %xmm1, %xmm1
1308// CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0x4c,0x02,0x40]
1309vfmsub231sd 64(%edx,%eax), %xmm1, %xmm1
1310
1311// CHECK: vfmsub231sd (%edx), %xmm1, %xmm1
1312// CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0x0a]
1313vfmsub231sd (%edx), %xmm1, %xmm1
1314
1315// CHECK: vfmsub231sd %xmm1, %xmm1, %xmm1
1316// CHECK: encoding: [0xc4,0xe2,0xf1,0xbb,0xc9]
1317vfmsub231sd %xmm1, %xmm1, %xmm1
1318
1319// CHECK: vfmsub231ss -485498096(%edx,%eax,4), %xmm1, %xmm1
1320// CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1321vfmsub231ss -485498096(%edx,%eax,4), %xmm1, %xmm1
1322
1323// CHECK: vfmsub231ss 485498096(%edx,%eax,4), %xmm1, %xmm1
1324// CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1325vfmsub231ss 485498096(%edx,%eax,4), %xmm1, %xmm1
1326
1327// CHECK: vfmsub231ss 485498096(%edx), %xmm1, %xmm1
1328// CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0x8a,0xf0,0x1c,0xf0,0x1c]
1329vfmsub231ss 485498096(%edx), %xmm1, %xmm1
1330
1331// CHECK: vfmsub231ss 485498096, %xmm1, %xmm1
1332// CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0x0d,0xf0,0x1c,0xf0,0x1c]
1333vfmsub231ss 485498096, %xmm1, %xmm1
1334
1335// CHECK: vfmsub231ss 64(%edx,%eax), %xmm1, %xmm1
1336// CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0x4c,0x02,0x40]
1337vfmsub231ss 64(%edx,%eax), %xmm1, %xmm1
1338
1339// CHECK: vfmsub231ss (%edx), %xmm1, %xmm1
1340// CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0x0a]
1341vfmsub231ss (%edx), %xmm1, %xmm1
1342
1343// CHECK: vfmsub231ss %xmm1, %xmm1, %xmm1
1344// CHECK: encoding: [0xc4,0xe2,0x71,0xbb,0xc9]
1345vfmsub231ss %xmm1, %xmm1, %xmm1
1346
1347// CHECK: vfmsubadd132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1348// CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1349vfmsubadd132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1350
1351// CHECK: vfmsubadd132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1352// CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1353vfmsubadd132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1354
1355// CHECK: vfmsubadd132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1356// CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1357vfmsubadd132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1358
1359// CHECK: vfmsubadd132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1360// CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1361vfmsubadd132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1362
1363// CHECK: vfmsubadd132pd 485498096(%edx), %xmm1, %xmm1
1364// CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0x8a,0xf0,0x1c,0xf0,0x1c]
1365vfmsubadd132pd 485498096(%edx), %xmm1, %xmm1
1366
1367// CHECK: vfmsubadd132pd 485498096(%edx), %ymm4, %ymm4
1368// CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0xa2,0xf0,0x1c,0xf0,0x1c]
1369vfmsubadd132pd 485498096(%edx), %ymm4, %ymm4
1370
1371// CHECK: vfmsubadd132pd 485498096, %xmm1, %xmm1
1372// CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0x0d,0xf0,0x1c,0xf0,0x1c]
1373vfmsubadd132pd 485498096, %xmm1, %xmm1
1374
1375// CHECK: vfmsubadd132pd 485498096, %ymm4, %ymm4
1376// CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0x25,0xf0,0x1c,0xf0,0x1c]
1377vfmsubadd132pd 485498096, %ymm4, %ymm4
1378
1379// CHECK: vfmsubadd132pd 64(%edx,%eax), %xmm1, %xmm1
1380// CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0x4c,0x02,0x40]
1381vfmsubadd132pd 64(%edx,%eax), %xmm1, %xmm1
1382
1383// CHECK: vfmsubadd132pd 64(%edx,%eax), %ymm4, %ymm4
1384// CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0x64,0x02,0x40]
1385vfmsubadd132pd 64(%edx,%eax), %ymm4, %ymm4
1386
1387// CHECK: vfmsubadd132pd (%edx), %xmm1, %xmm1
1388// CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0x0a]
1389vfmsubadd132pd (%edx), %xmm1, %xmm1
1390
1391// CHECK: vfmsubadd132pd (%edx), %ymm4, %ymm4
1392// CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0x22]
1393vfmsubadd132pd (%edx), %ymm4, %ymm4
1394
1395// CHECK: vfmsubadd132pd %xmm1, %xmm1, %xmm1
1396// CHECK: encoding: [0xc4,0xe2,0xf1,0x97,0xc9]
1397vfmsubadd132pd %xmm1, %xmm1, %xmm1
1398
1399// CHECK: vfmsubadd132pd %ymm4, %ymm4, %ymm4
1400// CHECK: encoding: [0xc4,0xe2,0xdd,0x97,0xe4]
1401vfmsubadd132pd %ymm4, %ymm4, %ymm4
1402
1403// CHECK: vfmsubadd132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1404// CHECK: encoding: [0xc4,0xe2,0x71,0x97,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1405vfmsubadd132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1406
1407// CHECK: vfmsubadd132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1408// CHECK: encoding: [0xc4,0xe2,0x71,0x97,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1409vfmsubadd132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1410
1411// CHECK: vfmsubadd132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1412// CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1413vfmsubadd132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1414
1415// CHECK: vfmsubadd132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1416// CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1417vfmsubadd132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1418
1419// CHECK: vfmsubadd132ps 485498096(%edx), %xmm1, %xmm1
1420// CHECK: encoding: [0xc4,0xe2,0x71,0x97,0x8a,0xf0,0x1c,0xf0,0x1c]
1421vfmsubadd132ps 485498096(%edx), %xmm1, %xmm1
1422
1423// CHECK: vfmsubadd132ps 485498096(%edx), %ymm4, %ymm4
1424// CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0xa2,0xf0,0x1c,0xf0,0x1c]
1425vfmsubadd132ps 485498096(%edx), %ymm4, %ymm4
1426
1427// CHECK: vfmsubadd132ps 485498096, %xmm1, %xmm1
1428// CHECK: encoding: [0xc4,0xe2,0x71,0x97,0x0d,0xf0,0x1c,0xf0,0x1c]
1429vfmsubadd132ps 485498096, %xmm1, %xmm1
1430
1431// CHECK: vfmsubadd132ps 485498096, %ymm4, %ymm4
1432// CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0x25,0xf0,0x1c,0xf0,0x1c]
1433vfmsubadd132ps 485498096, %ymm4, %ymm4
1434
1435// CHECK: vfmsubadd132ps 64(%edx,%eax), %xmm1, %xmm1
1436// CHECK: encoding: [0xc4,0xe2,0x71,0x97,0x4c,0x02,0x40]
1437vfmsubadd132ps 64(%edx,%eax), %xmm1, %xmm1
1438
1439// CHECK: vfmsubadd132ps 64(%edx,%eax), %ymm4, %ymm4
1440// CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0x64,0x02,0x40]
1441vfmsubadd132ps 64(%edx,%eax), %ymm4, %ymm4
1442
1443// CHECK: vfmsubadd132ps (%edx), %xmm1, %xmm1
1444// CHECK: encoding: [0xc4,0xe2,0x71,0x97,0x0a]
1445vfmsubadd132ps (%edx), %xmm1, %xmm1
1446
1447// CHECK: vfmsubadd132ps (%edx), %ymm4, %ymm4
1448// CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0x22]
1449vfmsubadd132ps (%edx), %ymm4, %ymm4
1450
1451// CHECK: vfmsubadd132ps %xmm1, %xmm1, %xmm1
1452// CHECK: encoding: [0xc4,0xe2,0x71,0x97,0xc9]
1453vfmsubadd132ps %xmm1, %xmm1, %xmm1
1454
1455// CHECK: vfmsubadd132ps %ymm4, %ymm4, %ymm4
1456// CHECK: encoding: [0xc4,0xe2,0x5d,0x97,0xe4]
1457vfmsubadd132ps %ymm4, %ymm4, %ymm4
1458
1459// CHECK: vfmsubadd213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1460// CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1461vfmsubadd213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1462
1463// CHECK: vfmsubadd213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1464// CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1465vfmsubadd213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1466
1467// CHECK: vfmsubadd213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1468// CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1469vfmsubadd213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1470
1471// CHECK: vfmsubadd213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1472// CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1473vfmsubadd213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1474
1475// CHECK: vfmsubadd213pd 485498096(%edx), %xmm1, %xmm1
1476// CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0x8a,0xf0,0x1c,0xf0,0x1c]
1477vfmsubadd213pd 485498096(%edx), %xmm1, %xmm1
1478
1479// CHECK: vfmsubadd213pd 485498096(%edx), %ymm4, %ymm4
1480// CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0xa2,0xf0,0x1c,0xf0,0x1c]
1481vfmsubadd213pd 485498096(%edx), %ymm4, %ymm4
1482
1483// CHECK: vfmsubadd213pd 485498096, %xmm1, %xmm1
1484// CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0x0d,0xf0,0x1c,0xf0,0x1c]
1485vfmsubadd213pd 485498096, %xmm1, %xmm1
1486
1487// CHECK: vfmsubadd213pd 485498096, %ymm4, %ymm4
1488// CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0x25,0xf0,0x1c,0xf0,0x1c]
1489vfmsubadd213pd 485498096, %ymm4, %ymm4
1490
1491// CHECK: vfmsubadd213pd 64(%edx,%eax), %xmm1, %xmm1
1492// CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0x4c,0x02,0x40]
1493vfmsubadd213pd 64(%edx,%eax), %xmm1, %xmm1
1494
1495// CHECK: vfmsubadd213pd 64(%edx,%eax), %ymm4, %ymm4
1496// CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0x64,0x02,0x40]
1497vfmsubadd213pd 64(%edx,%eax), %ymm4, %ymm4
1498
1499// CHECK: vfmsubadd213pd (%edx), %xmm1, %xmm1
1500// CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0x0a]
1501vfmsubadd213pd (%edx), %xmm1, %xmm1
1502
1503// CHECK: vfmsubadd213pd (%edx), %ymm4, %ymm4
1504// CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0x22]
1505vfmsubadd213pd (%edx), %ymm4, %ymm4
1506
1507// CHECK: vfmsubadd213pd %xmm1, %xmm1, %xmm1
1508// CHECK: encoding: [0xc4,0xe2,0xf1,0xa7,0xc9]
1509vfmsubadd213pd %xmm1, %xmm1, %xmm1
1510
1511// CHECK: vfmsubadd213pd %ymm4, %ymm4, %ymm4
1512// CHECK: encoding: [0xc4,0xe2,0xdd,0xa7,0xe4]
1513vfmsubadd213pd %ymm4, %ymm4, %ymm4
1514
1515// CHECK: vfmsubadd213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1516// CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1517vfmsubadd213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1518
1519// CHECK: vfmsubadd213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1520// CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1521vfmsubadd213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1522
1523// CHECK: vfmsubadd213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1524// CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1525vfmsubadd213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1526
1527// CHECK: vfmsubadd213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1528// CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1529vfmsubadd213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1530
1531// CHECK: vfmsubadd213ps 485498096(%edx), %xmm1, %xmm1
1532// CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0x8a,0xf0,0x1c,0xf0,0x1c]
1533vfmsubadd213ps 485498096(%edx), %xmm1, %xmm1
1534
1535// CHECK: vfmsubadd213ps 485498096(%edx), %ymm4, %ymm4
1536// CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0xa2,0xf0,0x1c,0xf0,0x1c]
1537vfmsubadd213ps 485498096(%edx), %ymm4, %ymm4
1538
1539// CHECK: vfmsubadd213ps 485498096, %xmm1, %xmm1
1540// CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0x0d,0xf0,0x1c,0xf0,0x1c]
1541vfmsubadd213ps 485498096, %xmm1, %xmm1
1542
1543// CHECK: vfmsubadd213ps 485498096, %ymm4, %ymm4
1544// CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0x25,0xf0,0x1c,0xf0,0x1c]
1545vfmsubadd213ps 485498096, %ymm4, %ymm4
1546
1547// CHECK: vfmsubadd213ps 64(%edx,%eax), %xmm1, %xmm1
1548// CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0x4c,0x02,0x40]
1549vfmsubadd213ps 64(%edx,%eax), %xmm1, %xmm1
1550
1551// CHECK: vfmsubadd213ps 64(%edx,%eax), %ymm4, %ymm4
1552// CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0x64,0x02,0x40]
1553vfmsubadd213ps 64(%edx,%eax), %ymm4, %ymm4
1554
1555// CHECK: vfmsubadd213ps (%edx), %xmm1, %xmm1
1556// CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0x0a]
1557vfmsubadd213ps (%edx), %xmm1, %xmm1
1558
1559// CHECK: vfmsubadd213ps (%edx), %ymm4, %ymm4
1560// CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0x22]
1561vfmsubadd213ps (%edx), %ymm4, %ymm4
1562
1563// CHECK: vfmsubadd213ps %xmm1, %xmm1, %xmm1
1564// CHECK: encoding: [0xc4,0xe2,0x71,0xa7,0xc9]
1565vfmsubadd213ps %xmm1, %xmm1, %xmm1
1566
1567// CHECK: vfmsubadd213ps %ymm4, %ymm4, %ymm4
1568// CHECK: encoding: [0xc4,0xe2,0x5d,0xa7,0xe4]
1569vfmsubadd213ps %ymm4, %ymm4, %ymm4
1570
1571// CHECK: vfmsubadd231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1572// CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1573vfmsubadd231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1574
1575// CHECK: vfmsubadd231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1576// CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1577vfmsubadd231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1578
1579// CHECK: vfmsubadd231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1580// CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1581vfmsubadd231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1582
1583// CHECK: vfmsubadd231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1584// CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1585vfmsubadd231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1586
1587// CHECK: vfmsubadd231pd 485498096(%edx), %xmm1, %xmm1
1588// CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0x8a,0xf0,0x1c,0xf0,0x1c]
1589vfmsubadd231pd 485498096(%edx), %xmm1, %xmm1
1590
1591// CHECK: vfmsubadd231pd 485498096(%edx), %ymm4, %ymm4
1592// CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0xa2,0xf0,0x1c,0xf0,0x1c]
1593vfmsubadd231pd 485498096(%edx), %ymm4, %ymm4
1594
1595// CHECK: vfmsubadd231pd 485498096, %xmm1, %xmm1
1596// CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0x0d,0xf0,0x1c,0xf0,0x1c]
1597vfmsubadd231pd 485498096, %xmm1, %xmm1
1598
1599// CHECK: vfmsubadd231pd 485498096, %ymm4, %ymm4
1600// CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0x25,0xf0,0x1c,0xf0,0x1c]
1601vfmsubadd231pd 485498096, %ymm4, %ymm4
1602
1603// CHECK: vfmsubadd231pd 64(%edx,%eax), %xmm1, %xmm1
1604// CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0x4c,0x02,0x40]
1605vfmsubadd231pd 64(%edx,%eax), %xmm1, %xmm1
1606
1607// CHECK: vfmsubadd231pd 64(%edx,%eax), %ymm4, %ymm4
1608// CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0x64,0x02,0x40]
1609vfmsubadd231pd 64(%edx,%eax), %ymm4, %ymm4
1610
1611// CHECK: vfmsubadd231pd (%edx), %xmm1, %xmm1
1612// CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0x0a]
1613vfmsubadd231pd (%edx), %xmm1, %xmm1
1614
1615// CHECK: vfmsubadd231pd (%edx), %ymm4, %ymm4
1616// CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0x22]
1617vfmsubadd231pd (%edx), %ymm4, %ymm4
1618
1619// CHECK: vfmsubadd231pd %xmm1, %xmm1, %xmm1
1620// CHECK: encoding: [0xc4,0xe2,0xf1,0xb7,0xc9]
1621vfmsubadd231pd %xmm1, %xmm1, %xmm1
1622
1623// CHECK: vfmsubadd231pd %ymm4, %ymm4, %ymm4
1624// CHECK: encoding: [0xc4,0xe2,0xdd,0xb7,0xe4]
1625vfmsubadd231pd %ymm4, %ymm4, %ymm4
1626
1627// CHECK: vfmsubadd231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1628// CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1629vfmsubadd231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1630
1631// CHECK: vfmsubadd231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1632// CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1633vfmsubadd231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1634
1635// CHECK: vfmsubadd231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1636// CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1637vfmsubadd231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1638
1639// CHECK: vfmsubadd231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1640// CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1641vfmsubadd231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1642
1643// CHECK: vfmsubadd231ps 485498096(%edx), %xmm1, %xmm1
1644// CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0x8a,0xf0,0x1c,0xf0,0x1c]
1645vfmsubadd231ps 485498096(%edx), %xmm1, %xmm1
1646
1647// CHECK: vfmsubadd231ps 485498096(%edx), %ymm4, %ymm4
1648// CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0xa2,0xf0,0x1c,0xf0,0x1c]
1649vfmsubadd231ps 485498096(%edx), %ymm4, %ymm4
1650
1651// CHECK: vfmsubadd231ps 485498096, %xmm1, %xmm1
1652// CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0x0d,0xf0,0x1c,0xf0,0x1c]
1653vfmsubadd231ps 485498096, %xmm1, %xmm1
1654
1655// CHECK: vfmsubadd231ps 485498096, %ymm4, %ymm4
1656// CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0x25,0xf0,0x1c,0xf0,0x1c]
1657vfmsubadd231ps 485498096, %ymm4, %ymm4
1658
1659// CHECK: vfmsubadd231ps 64(%edx,%eax), %xmm1, %xmm1
1660// CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0x4c,0x02,0x40]
1661vfmsubadd231ps 64(%edx,%eax), %xmm1, %xmm1
1662
1663// CHECK: vfmsubadd231ps 64(%edx,%eax), %ymm4, %ymm4
1664// CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0x64,0x02,0x40]
1665vfmsubadd231ps 64(%edx,%eax), %ymm4, %ymm4
1666
1667// CHECK: vfmsubadd231ps (%edx), %xmm1, %xmm1
1668// CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0x0a]
1669vfmsubadd231ps (%edx), %xmm1, %xmm1
1670
1671// CHECK: vfmsubadd231ps (%edx), %ymm4, %ymm4
1672// CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0x22]
1673vfmsubadd231ps (%edx), %ymm4, %ymm4
1674
1675// CHECK: vfmsubadd231ps %xmm1, %xmm1, %xmm1
1676// CHECK: encoding: [0xc4,0xe2,0x71,0xb7,0xc9]
1677vfmsubadd231ps %xmm1, %xmm1, %xmm1
1678
1679// CHECK: vfmsubadd231ps %ymm4, %ymm4, %ymm4
1680// CHECK: encoding: [0xc4,0xe2,0x5d,0xb7,0xe4]
1681vfmsubadd231ps %ymm4, %ymm4, %ymm4
1682
1683// CHECK: vfnmadd132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1684// CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1685vfnmadd132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1686
1687// CHECK: vfnmadd132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1688// CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1689vfnmadd132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1690
1691// CHECK: vfnmadd132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1692// CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1693vfnmadd132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1694
1695// CHECK: vfnmadd132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1696// CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1697vfnmadd132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1698
1699// CHECK: vfnmadd132pd 485498096(%edx), %xmm1, %xmm1
1700// CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0x8a,0xf0,0x1c,0xf0,0x1c]
1701vfnmadd132pd 485498096(%edx), %xmm1, %xmm1
1702
1703// CHECK: vfnmadd132pd 485498096(%edx), %ymm4, %ymm4
1704// CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0xa2,0xf0,0x1c,0xf0,0x1c]
1705vfnmadd132pd 485498096(%edx), %ymm4, %ymm4
1706
1707// CHECK: vfnmadd132pd 485498096, %xmm1, %xmm1
1708// CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0x0d,0xf0,0x1c,0xf0,0x1c]
1709vfnmadd132pd 485498096, %xmm1, %xmm1
1710
1711// CHECK: vfnmadd132pd 485498096, %ymm4, %ymm4
1712// CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0x25,0xf0,0x1c,0xf0,0x1c]
1713vfnmadd132pd 485498096, %ymm4, %ymm4
1714
1715// CHECK: vfnmadd132pd 64(%edx,%eax), %xmm1, %xmm1
1716// CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0x4c,0x02,0x40]
1717vfnmadd132pd 64(%edx,%eax), %xmm1, %xmm1
1718
1719// CHECK: vfnmadd132pd 64(%edx,%eax), %ymm4, %ymm4
1720// CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0x64,0x02,0x40]
1721vfnmadd132pd 64(%edx,%eax), %ymm4, %ymm4
1722
1723// CHECK: vfnmadd132pd (%edx), %xmm1, %xmm1
1724// CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0x0a]
1725vfnmadd132pd (%edx), %xmm1, %xmm1
1726
1727// CHECK: vfnmadd132pd (%edx), %ymm4, %ymm4
1728// CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0x22]
1729vfnmadd132pd (%edx), %ymm4, %ymm4
1730
1731// CHECK: vfnmadd132pd %xmm1, %xmm1, %xmm1
1732// CHECK: encoding: [0xc4,0xe2,0xf1,0x9c,0xc9]
1733vfnmadd132pd %xmm1, %xmm1, %xmm1
1734
1735// CHECK: vfnmadd132pd %ymm4, %ymm4, %ymm4
1736// CHECK: encoding: [0xc4,0xe2,0xdd,0x9c,0xe4]
1737vfnmadd132pd %ymm4, %ymm4, %ymm4
1738
1739// CHECK: vfnmadd132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1740// CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1741vfnmadd132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1742
1743// CHECK: vfnmadd132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1744// CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1745vfnmadd132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1746
1747// CHECK: vfnmadd132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1748// CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1749vfnmadd132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1750
1751// CHECK: vfnmadd132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1752// CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1753vfnmadd132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1754
1755// CHECK: vfnmadd132ps 485498096(%edx), %xmm1, %xmm1
1756// CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0x8a,0xf0,0x1c,0xf0,0x1c]
1757vfnmadd132ps 485498096(%edx), %xmm1, %xmm1
1758
1759// CHECK: vfnmadd132ps 485498096(%edx), %ymm4, %ymm4
1760// CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0xa2,0xf0,0x1c,0xf0,0x1c]
1761vfnmadd132ps 485498096(%edx), %ymm4, %ymm4
1762
1763// CHECK: vfnmadd132ps 485498096, %xmm1, %xmm1
1764// CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0x0d,0xf0,0x1c,0xf0,0x1c]
1765vfnmadd132ps 485498096, %xmm1, %xmm1
1766
1767// CHECK: vfnmadd132ps 485498096, %ymm4, %ymm4
1768// CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0x25,0xf0,0x1c,0xf0,0x1c]
1769vfnmadd132ps 485498096, %ymm4, %ymm4
1770
1771// CHECK: vfnmadd132ps 64(%edx,%eax), %xmm1, %xmm1
1772// CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0x4c,0x02,0x40]
1773vfnmadd132ps 64(%edx,%eax), %xmm1, %xmm1
1774
1775// CHECK: vfnmadd132ps 64(%edx,%eax), %ymm4, %ymm4
1776// CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0x64,0x02,0x40]
1777vfnmadd132ps 64(%edx,%eax), %ymm4, %ymm4
1778
1779// CHECK: vfnmadd132ps (%edx), %xmm1, %xmm1
1780// CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0x0a]
1781vfnmadd132ps (%edx), %xmm1, %xmm1
1782
1783// CHECK: vfnmadd132ps (%edx), %ymm4, %ymm4
1784// CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0x22]
1785vfnmadd132ps (%edx), %ymm4, %ymm4
1786
1787// CHECK: vfnmadd132ps %xmm1, %xmm1, %xmm1
1788// CHECK: encoding: [0xc4,0xe2,0x71,0x9c,0xc9]
1789vfnmadd132ps %xmm1, %xmm1, %xmm1
1790
1791// CHECK: vfnmadd132ps %ymm4, %ymm4, %ymm4
1792// CHECK: encoding: [0xc4,0xe2,0x5d,0x9c,0xe4]
1793vfnmadd132ps %ymm4, %ymm4, %ymm4
1794
1795// CHECK: vfnmadd132sd -485498096(%edx,%eax,4), %xmm1, %xmm1
1796// CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1797vfnmadd132sd -485498096(%edx,%eax,4), %xmm1, %xmm1
1798
1799// CHECK: vfnmadd132sd 485498096(%edx,%eax,4), %xmm1, %xmm1
1800// CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1801vfnmadd132sd 485498096(%edx,%eax,4), %xmm1, %xmm1
1802
1803// CHECK: vfnmadd132sd 485498096(%edx), %xmm1, %xmm1
1804// CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0x8a,0xf0,0x1c,0xf0,0x1c]
1805vfnmadd132sd 485498096(%edx), %xmm1, %xmm1
1806
1807// CHECK: vfnmadd132sd 485498096, %xmm1, %xmm1
1808// CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0x0d,0xf0,0x1c,0xf0,0x1c]
1809vfnmadd132sd 485498096, %xmm1, %xmm1
1810
1811// CHECK: vfnmadd132sd 64(%edx,%eax), %xmm1, %xmm1
1812// CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0x4c,0x02,0x40]
1813vfnmadd132sd 64(%edx,%eax), %xmm1, %xmm1
1814
1815// CHECK: vfnmadd132sd (%edx), %xmm1, %xmm1
1816// CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0x0a]
1817vfnmadd132sd (%edx), %xmm1, %xmm1
1818
1819// CHECK: vfnmadd132sd %xmm1, %xmm1, %xmm1
1820// CHECK: encoding: [0xc4,0xe2,0xf1,0x9d,0xc9]
1821vfnmadd132sd %xmm1, %xmm1, %xmm1
1822
1823// CHECK: vfnmadd132ss -485498096(%edx,%eax,4), %xmm1, %xmm1
1824// CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1825vfnmadd132ss -485498096(%edx,%eax,4), %xmm1, %xmm1
1826
1827// CHECK: vfnmadd132ss 485498096(%edx,%eax,4), %xmm1, %xmm1
1828// CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1829vfnmadd132ss 485498096(%edx,%eax,4), %xmm1, %xmm1
1830
1831// CHECK: vfnmadd132ss 485498096(%edx), %xmm1, %xmm1
1832// CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0x8a,0xf0,0x1c,0xf0,0x1c]
1833vfnmadd132ss 485498096(%edx), %xmm1, %xmm1
1834
1835// CHECK: vfnmadd132ss 485498096, %xmm1, %xmm1
1836// CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0x0d,0xf0,0x1c,0xf0,0x1c]
1837vfnmadd132ss 485498096, %xmm1, %xmm1
1838
1839// CHECK: vfnmadd132ss 64(%edx,%eax), %xmm1, %xmm1
1840// CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0x4c,0x02,0x40]
1841vfnmadd132ss 64(%edx,%eax), %xmm1, %xmm1
1842
1843// CHECK: vfnmadd132ss (%edx), %xmm1, %xmm1
1844// CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0x0a]
1845vfnmadd132ss (%edx), %xmm1, %xmm1
1846
1847// CHECK: vfnmadd132ss %xmm1, %xmm1, %xmm1
1848// CHECK: encoding: [0xc4,0xe2,0x71,0x9d,0xc9]
1849vfnmadd132ss %xmm1, %xmm1, %xmm1
1850
1851// CHECK: vfnmadd213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1852// CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1853vfnmadd213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
1854
1855// CHECK: vfnmadd213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1856// CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1857vfnmadd213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
1858
1859// CHECK: vfnmadd213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1860// CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1861vfnmadd213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
1862
1863// CHECK: vfnmadd213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1864// CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1865vfnmadd213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
1866
1867// CHECK: vfnmadd213pd 485498096(%edx), %xmm1, %xmm1
1868// CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0x8a,0xf0,0x1c,0xf0,0x1c]
1869vfnmadd213pd 485498096(%edx), %xmm1, %xmm1
1870
1871// CHECK: vfnmadd213pd 485498096(%edx), %ymm4, %ymm4
1872// CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0xa2,0xf0,0x1c,0xf0,0x1c]
1873vfnmadd213pd 485498096(%edx), %ymm4, %ymm4
1874
1875// CHECK: vfnmadd213pd 485498096, %xmm1, %xmm1
1876// CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0x0d,0xf0,0x1c,0xf0,0x1c]
1877vfnmadd213pd 485498096, %xmm1, %xmm1
1878
1879// CHECK: vfnmadd213pd 485498096, %ymm4, %ymm4
1880// CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0x25,0xf0,0x1c,0xf0,0x1c]
1881vfnmadd213pd 485498096, %ymm4, %ymm4
1882
1883// CHECK: vfnmadd213pd 64(%edx,%eax), %xmm1, %xmm1
1884// CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0x4c,0x02,0x40]
1885vfnmadd213pd 64(%edx,%eax), %xmm1, %xmm1
1886
1887// CHECK: vfnmadd213pd 64(%edx,%eax), %ymm4, %ymm4
1888// CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0x64,0x02,0x40]
1889vfnmadd213pd 64(%edx,%eax), %ymm4, %ymm4
1890
1891// CHECK: vfnmadd213pd (%edx), %xmm1, %xmm1
1892// CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0x0a]
1893vfnmadd213pd (%edx), %xmm1, %xmm1
1894
1895// CHECK: vfnmadd213pd (%edx), %ymm4, %ymm4
1896// CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0x22]
1897vfnmadd213pd (%edx), %ymm4, %ymm4
1898
1899// CHECK: vfnmadd213pd %xmm1, %xmm1, %xmm1
1900// CHECK: encoding: [0xc4,0xe2,0xf1,0xac,0xc9]
1901vfnmadd213pd %xmm1, %xmm1, %xmm1
1902
1903// CHECK: vfnmadd213pd %ymm4, %ymm4, %ymm4
1904// CHECK: encoding: [0xc4,0xe2,0xdd,0xac,0xe4]
1905vfnmadd213pd %ymm4, %ymm4, %ymm4
1906
1907// CHECK: vfnmadd213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1908// CHECK: encoding: [0xc4,0xe2,0x71,0xac,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1909vfnmadd213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
1910
1911// CHECK: vfnmadd213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1912// CHECK: encoding: [0xc4,0xe2,0x71,0xac,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1913vfnmadd213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
1914
1915// CHECK: vfnmadd213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1916// CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
1917vfnmadd213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
1918
1919// CHECK: vfnmadd213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1920// CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
1921vfnmadd213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
1922
1923// CHECK: vfnmadd213ps 485498096(%edx), %xmm1, %xmm1
1924// CHECK: encoding: [0xc4,0xe2,0x71,0xac,0x8a,0xf0,0x1c,0xf0,0x1c]
1925vfnmadd213ps 485498096(%edx), %xmm1, %xmm1
1926
1927// CHECK: vfnmadd213ps 485498096(%edx), %ymm4, %ymm4
1928// CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0xa2,0xf0,0x1c,0xf0,0x1c]
1929vfnmadd213ps 485498096(%edx), %ymm4, %ymm4
1930
1931// CHECK: vfnmadd213ps 485498096, %xmm1, %xmm1
1932// CHECK: encoding: [0xc4,0xe2,0x71,0xac,0x0d,0xf0,0x1c,0xf0,0x1c]
1933vfnmadd213ps 485498096, %xmm1, %xmm1
1934
1935// CHECK: vfnmadd213ps 485498096, %ymm4, %ymm4
1936// CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0x25,0xf0,0x1c,0xf0,0x1c]
1937vfnmadd213ps 485498096, %ymm4, %ymm4
1938
1939// CHECK: vfnmadd213ps 64(%edx,%eax), %xmm1, %xmm1
1940// CHECK: encoding: [0xc4,0xe2,0x71,0xac,0x4c,0x02,0x40]
1941vfnmadd213ps 64(%edx,%eax), %xmm1, %xmm1
1942
1943// CHECK: vfnmadd213ps 64(%edx,%eax), %ymm4, %ymm4
1944// CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0x64,0x02,0x40]
1945vfnmadd213ps 64(%edx,%eax), %ymm4, %ymm4
1946
1947// CHECK: vfnmadd213ps (%edx), %xmm1, %xmm1
1948// CHECK: encoding: [0xc4,0xe2,0x71,0xac,0x0a]
1949vfnmadd213ps (%edx), %xmm1, %xmm1
1950
1951// CHECK: vfnmadd213ps (%edx), %ymm4, %ymm4
1952// CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0x22]
1953vfnmadd213ps (%edx), %ymm4, %ymm4
1954
1955// CHECK: vfnmadd213ps %xmm1, %xmm1, %xmm1
1956// CHECK: encoding: [0xc4,0xe2,0x71,0xac,0xc9]
1957vfnmadd213ps %xmm1, %xmm1, %xmm1
1958
1959// CHECK: vfnmadd213ps %ymm4, %ymm4, %ymm4
1960// CHECK: encoding: [0xc4,0xe2,0x5d,0xac,0xe4]
1961vfnmadd213ps %ymm4, %ymm4, %ymm4
1962
1963// CHECK: vfnmadd213sd -485498096(%edx,%eax,4), %xmm1, %xmm1
1964// CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1965vfnmadd213sd -485498096(%edx,%eax,4), %xmm1, %xmm1
1966
1967// CHECK: vfnmadd213sd 485498096(%edx,%eax,4), %xmm1, %xmm1
1968// CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1969vfnmadd213sd 485498096(%edx,%eax,4), %xmm1, %xmm1
1970
1971// CHECK: vfnmadd213sd 485498096(%edx), %xmm1, %xmm1
1972// CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0x8a,0xf0,0x1c,0xf0,0x1c]
1973vfnmadd213sd 485498096(%edx), %xmm1, %xmm1
1974
1975// CHECK: vfnmadd213sd 485498096, %xmm1, %xmm1
1976// CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0x0d,0xf0,0x1c,0xf0,0x1c]
1977vfnmadd213sd 485498096, %xmm1, %xmm1
1978
1979// CHECK: vfnmadd213sd 64(%edx,%eax), %xmm1, %xmm1
1980// CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0x4c,0x02,0x40]
1981vfnmadd213sd 64(%edx,%eax), %xmm1, %xmm1
1982
1983// CHECK: vfnmadd213sd (%edx), %xmm1, %xmm1
1984// CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0x0a]
1985vfnmadd213sd (%edx), %xmm1, %xmm1
1986
1987// CHECK: vfnmadd213sd %xmm1, %xmm1, %xmm1
1988// CHECK: encoding: [0xc4,0xe2,0xf1,0xad,0xc9]
1989vfnmadd213sd %xmm1, %xmm1, %xmm1
1990
1991// CHECK: vfnmadd213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
1992// CHECK: encoding: [0xc4,0xe2,0x71,0xad,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
1993vfnmadd213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
1994
1995// CHECK: vfnmadd213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
1996// CHECK: encoding: [0xc4,0xe2,0x71,0xad,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
1997vfnmadd213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
1998
1999// CHECK: vfnmadd213ss 485498096(%edx), %xmm1, %xmm1
2000// CHECK: encoding: [0xc4,0xe2,0x71,0xad,0x8a,0xf0,0x1c,0xf0,0x1c]
2001vfnmadd213ss 485498096(%edx), %xmm1, %xmm1
2002
2003// CHECK: vfnmadd213ss 485498096, %xmm1, %xmm1
2004// CHECK: encoding: [0xc4,0xe2,0x71,0xad,0x0d,0xf0,0x1c,0xf0,0x1c]
2005vfnmadd213ss 485498096, %xmm1, %xmm1
2006
2007// CHECK: vfnmadd213ss 64(%edx,%eax), %xmm1, %xmm1
2008// CHECK: encoding: [0xc4,0xe2,0x71,0xad,0x4c,0x02,0x40]
2009vfnmadd213ss 64(%edx,%eax), %xmm1, %xmm1
2010
2011// CHECK: vfnmadd213ss (%edx), %xmm1, %xmm1
2012// CHECK: encoding: [0xc4,0xe2,0x71,0xad,0x0a]
2013vfnmadd213ss (%edx), %xmm1, %xmm1
2014
2015// CHECK: vfnmadd213ss %xmm1, %xmm1, %xmm1
2016// CHECK: encoding: [0xc4,0xe2,0x71,0xad,0xc9]
2017vfnmadd213ss %xmm1, %xmm1, %xmm1
2018
2019// CHECK: vfnmadd231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
2020// CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2021vfnmadd231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
2022
2023// CHECK: vfnmadd231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
2024// CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2025vfnmadd231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
2026
2027// CHECK: vfnmadd231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
2028// CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
2029vfnmadd231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
2030
2031// CHECK: vfnmadd231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
2032// CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
2033vfnmadd231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
2034
2035// CHECK: vfnmadd231pd 485498096(%edx), %xmm1, %xmm1
2036// CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0x8a,0xf0,0x1c,0xf0,0x1c]
2037vfnmadd231pd 485498096(%edx), %xmm1, %xmm1
2038
2039// CHECK: vfnmadd231pd 485498096(%edx), %ymm4, %ymm4
2040// CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0xa2,0xf0,0x1c,0xf0,0x1c]
2041vfnmadd231pd 485498096(%edx), %ymm4, %ymm4
2042
2043// CHECK: vfnmadd231pd 485498096, %xmm1, %xmm1
2044// CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0x0d,0xf0,0x1c,0xf0,0x1c]
2045vfnmadd231pd 485498096, %xmm1, %xmm1
2046
2047// CHECK: vfnmadd231pd 485498096, %ymm4, %ymm4
2048// CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0x25,0xf0,0x1c,0xf0,0x1c]
2049vfnmadd231pd 485498096, %ymm4, %ymm4
2050
2051// CHECK: vfnmadd231pd 64(%edx,%eax), %xmm1, %xmm1
2052// CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0x4c,0x02,0x40]
2053vfnmadd231pd 64(%edx,%eax), %xmm1, %xmm1
2054
2055// CHECK: vfnmadd231pd 64(%edx,%eax), %ymm4, %ymm4
2056// CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0x64,0x02,0x40]
2057vfnmadd231pd 64(%edx,%eax), %ymm4, %ymm4
2058
2059// CHECK: vfnmadd231pd (%edx), %xmm1, %xmm1
2060// CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0x0a]
2061vfnmadd231pd (%edx), %xmm1, %xmm1
2062
2063// CHECK: vfnmadd231pd (%edx), %ymm4, %ymm4
2064// CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0x22]
2065vfnmadd231pd (%edx), %ymm4, %ymm4
2066
2067// CHECK: vfnmadd231pd %xmm1, %xmm1, %xmm1
2068// CHECK: encoding: [0xc4,0xe2,0xf1,0xbc,0xc9]
2069vfnmadd231pd %xmm1, %xmm1, %xmm1
2070
2071// CHECK: vfnmadd231pd %ymm4, %ymm4, %ymm4
2072// CHECK: encoding: [0xc4,0xe2,0xdd,0xbc,0xe4]
2073vfnmadd231pd %ymm4, %ymm4, %ymm4
2074
2075// CHECK: vfnmadd231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
2076// CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2077vfnmadd231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
2078
2079// CHECK: vfnmadd231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
2080// CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2081vfnmadd231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
2082
2083// CHECK: vfnmadd231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
2084// CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
2085vfnmadd231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
2086
2087// CHECK: vfnmadd231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
2088// CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
2089vfnmadd231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
2090
2091// CHECK: vfnmadd231ps 485498096(%edx), %xmm1, %xmm1
2092// CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0x8a,0xf0,0x1c,0xf0,0x1c]
2093vfnmadd231ps 485498096(%edx), %xmm1, %xmm1
2094
2095// CHECK: vfnmadd231ps 485498096(%edx), %ymm4, %ymm4
2096// CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0xa2,0xf0,0x1c,0xf0,0x1c]
2097vfnmadd231ps 485498096(%edx), %ymm4, %ymm4
2098
2099// CHECK: vfnmadd231ps 485498096, %xmm1, %xmm1
2100// CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0x0d,0xf0,0x1c,0xf0,0x1c]
2101vfnmadd231ps 485498096, %xmm1, %xmm1
2102
2103// CHECK: vfnmadd231ps 485498096, %ymm4, %ymm4
2104// CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0x25,0xf0,0x1c,0xf0,0x1c]
2105vfnmadd231ps 485498096, %ymm4, %ymm4
2106
2107// CHECK: vfnmadd231ps 64(%edx,%eax), %xmm1, %xmm1
2108// CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0x4c,0x02,0x40]
2109vfnmadd231ps 64(%edx,%eax), %xmm1, %xmm1
2110
2111// CHECK: vfnmadd231ps 64(%edx,%eax), %ymm4, %ymm4
2112// CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0x64,0x02,0x40]
2113vfnmadd231ps 64(%edx,%eax), %ymm4, %ymm4
2114
2115// CHECK: vfnmadd231ps (%edx), %xmm1, %xmm1
2116// CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0x0a]
2117vfnmadd231ps (%edx), %xmm1, %xmm1
2118
2119// CHECK: vfnmadd231ps (%edx), %ymm4, %ymm4
2120// CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0x22]
2121vfnmadd231ps (%edx), %ymm4, %ymm4
2122
2123// CHECK: vfnmadd231ps %xmm1, %xmm1, %xmm1
2124// CHECK: encoding: [0xc4,0xe2,0x71,0xbc,0xc9]
2125vfnmadd231ps %xmm1, %xmm1, %xmm1
2126
2127// CHECK: vfnmadd231ps %ymm4, %ymm4, %ymm4
2128// CHECK: encoding: [0xc4,0xe2,0x5d,0xbc,0xe4]
2129vfnmadd231ps %ymm4, %ymm4, %ymm4
2130
2131// CHECK: vfnmadd231sd -485498096(%edx,%eax,4), %xmm1, %xmm1
2132// CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2133vfnmadd231sd -485498096(%edx,%eax,4), %xmm1, %xmm1
2134
2135// CHECK: vfnmadd231sd 485498096(%edx,%eax,4), %xmm1, %xmm1
2136// CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2137vfnmadd231sd 485498096(%edx,%eax,4), %xmm1, %xmm1
2138
2139// CHECK: vfnmadd231sd 485498096(%edx), %xmm1, %xmm1
2140// CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0x8a,0xf0,0x1c,0xf0,0x1c]
2141vfnmadd231sd 485498096(%edx), %xmm1, %xmm1
2142
2143// CHECK: vfnmadd231sd 485498096, %xmm1, %xmm1
2144// CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0x0d,0xf0,0x1c,0xf0,0x1c]
2145vfnmadd231sd 485498096, %xmm1, %xmm1
2146
2147// CHECK: vfnmadd231sd 64(%edx,%eax), %xmm1, %xmm1
2148// CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0x4c,0x02,0x40]
2149vfnmadd231sd 64(%edx,%eax), %xmm1, %xmm1
2150
2151// CHECK: vfnmadd231sd (%edx), %xmm1, %xmm1
2152// CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0x0a]
2153vfnmadd231sd (%edx), %xmm1, %xmm1
2154
2155// CHECK: vfnmadd231sd %xmm1, %xmm1, %xmm1
2156// CHECK: encoding: [0xc4,0xe2,0xf1,0xbd,0xc9]
2157vfnmadd231sd %xmm1, %xmm1, %xmm1
2158
2159// CHECK: vfnmadd231ss -485498096(%edx,%eax,4), %xmm1, %xmm1
2160// CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2161vfnmadd231ss -485498096(%edx,%eax,4), %xmm1, %xmm1
2162
2163// CHECK: vfnmadd231ss 485498096(%edx,%eax,4), %xmm1, %xmm1
2164// CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2165vfnmadd231ss 485498096(%edx,%eax,4), %xmm1, %xmm1
2166
2167// CHECK: vfnmadd231ss 485498096(%edx), %xmm1, %xmm1
2168// CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0x8a,0xf0,0x1c,0xf0,0x1c]
2169vfnmadd231ss 485498096(%edx), %xmm1, %xmm1
2170
2171// CHECK: vfnmadd231ss 485498096, %xmm1, %xmm1
2172// CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0x0d,0xf0,0x1c,0xf0,0x1c]
2173vfnmadd231ss 485498096, %xmm1, %xmm1
2174
2175// CHECK: vfnmadd231ss 64(%edx,%eax), %xmm1, %xmm1
2176// CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0x4c,0x02,0x40]
2177vfnmadd231ss 64(%edx,%eax), %xmm1, %xmm1
2178
2179// CHECK: vfnmadd231ss (%edx), %xmm1, %xmm1
2180// CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0x0a]
2181vfnmadd231ss (%edx), %xmm1, %xmm1
2182
2183// CHECK: vfnmadd231ss %xmm1, %xmm1, %xmm1
2184// CHECK: encoding: [0xc4,0xe2,0x71,0xbd,0xc9]
2185vfnmadd231ss %xmm1, %xmm1, %xmm1
2186
2187// CHECK: vfnmsub132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
2188// CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2189vfnmsub132pd -485498096(%edx,%eax,4), %xmm1, %xmm1
2190
2191// CHECK: vfnmsub132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
2192// CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2193vfnmsub132pd 485498096(%edx,%eax,4), %xmm1, %xmm1
2194
2195// CHECK: vfnmsub132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
2196// CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
2197vfnmsub132pd -485498096(%edx,%eax,4), %ymm4, %ymm4
2198
2199// CHECK: vfnmsub132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
2200// CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
2201vfnmsub132pd 485498096(%edx,%eax,4), %ymm4, %ymm4
2202
2203// CHECK: vfnmsub132pd 485498096(%edx), %xmm1, %xmm1
2204// CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0x8a,0xf0,0x1c,0xf0,0x1c]
2205vfnmsub132pd 485498096(%edx), %xmm1, %xmm1
2206
2207// CHECK: vfnmsub132pd 485498096(%edx), %ymm4, %ymm4
2208// CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0xa2,0xf0,0x1c,0xf0,0x1c]
2209vfnmsub132pd 485498096(%edx), %ymm4, %ymm4
2210
2211// CHECK: vfnmsub132pd 485498096, %xmm1, %xmm1
2212// CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0x0d,0xf0,0x1c,0xf0,0x1c]
2213vfnmsub132pd 485498096, %xmm1, %xmm1
2214
2215// CHECK: vfnmsub132pd 485498096, %ymm4, %ymm4
2216// CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0x25,0xf0,0x1c,0xf0,0x1c]
2217vfnmsub132pd 485498096, %ymm4, %ymm4
2218
2219// CHECK: vfnmsub132pd 64(%edx,%eax), %xmm1, %xmm1
2220// CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0x4c,0x02,0x40]
2221vfnmsub132pd 64(%edx,%eax), %xmm1, %xmm1
2222
2223// CHECK: vfnmsub132pd 64(%edx,%eax), %ymm4, %ymm4
2224// CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0x64,0x02,0x40]
2225vfnmsub132pd 64(%edx,%eax), %ymm4, %ymm4
2226
2227// CHECK: vfnmsub132pd (%edx), %xmm1, %xmm1
2228// CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0x0a]
2229vfnmsub132pd (%edx), %xmm1, %xmm1
2230
2231// CHECK: vfnmsub132pd (%edx), %ymm4, %ymm4
2232// CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0x22]
2233vfnmsub132pd (%edx), %ymm4, %ymm4
2234
2235// CHECK: vfnmsub132pd %xmm1, %xmm1, %xmm1
2236// CHECK: encoding: [0xc4,0xe2,0xf1,0x9e,0xc9]
2237vfnmsub132pd %xmm1, %xmm1, %xmm1
2238
2239// CHECK: vfnmsub132pd %ymm4, %ymm4, %ymm4
2240// CHECK: encoding: [0xc4,0xe2,0xdd,0x9e,0xe4]
2241vfnmsub132pd %ymm4, %ymm4, %ymm4
2242
2243// CHECK: vfnmsub132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
2244// CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2245vfnmsub132ps -485498096(%edx,%eax,4), %xmm1, %xmm1
2246
2247// CHECK: vfnmsub132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
2248// CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2249vfnmsub132ps 485498096(%edx,%eax,4), %xmm1, %xmm1
2250
2251// CHECK: vfnmsub132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
2252// CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
2253vfnmsub132ps -485498096(%edx,%eax,4), %ymm4, %ymm4
2254
2255// CHECK: vfnmsub132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
2256// CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
2257vfnmsub132ps 485498096(%edx,%eax,4), %ymm4, %ymm4
2258
2259// CHECK: vfnmsub132ps 485498096(%edx), %xmm1, %xmm1
2260// CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0x8a,0xf0,0x1c,0xf0,0x1c]
2261vfnmsub132ps 485498096(%edx), %xmm1, %xmm1
2262
2263// CHECK: vfnmsub132ps 485498096(%edx), %ymm4, %ymm4
2264// CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0xa2,0xf0,0x1c,0xf0,0x1c]
2265vfnmsub132ps 485498096(%edx), %ymm4, %ymm4
2266
2267// CHECK: vfnmsub132ps 485498096, %xmm1, %xmm1
2268// CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0x0d,0xf0,0x1c,0xf0,0x1c]
2269vfnmsub132ps 485498096, %xmm1, %xmm1
2270
2271// CHECK: vfnmsub132ps 485498096, %ymm4, %ymm4
2272// CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0x25,0xf0,0x1c,0xf0,0x1c]
2273vfnmsub132ps 485498096, %ymm4, %ymm4
2274
2275// CHECK: vfnmsub132ps 64(%edx,%eax), %xmm1, %xmm1
2276// CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0x4c,0x02,0x40]
2277vfnmsub132ps 64(%edx,%eax), %xmm1, %xmm1
2278
2279// CHECK: vfnmsub132ps 64(%edx,%eax), %ymm4, %ymm4
2280// CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0x64,0x02,0x40]
2281vfnmsub132ps 64(%edx,%eax), %ymm4, %ymm4
2282
2283// CHECK: vfnmsub132ps (%edx), %xmm1, %xmm1
2284// CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0x0a]
2285vfnmsub132ps (%edx), %xmm1, %xmm1
2286
2287// CHECK: vfnmsub132ps (%edx), %ymm4, %ymm4
2288// CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0x22]
2289vfnmsub132ps (%edx), %ymm4, %ymm4
2290
2291// CHECK: vfnmsub132ps %xmm1, %xmm1, %xmm1
2292// CHECK: encoding: [0xc4,0xe2,0x71,0x9e,0xc9]
2293vfnmsub132ps %xmm1, %xmm1, %xmm1
2294
2295// CHECK: vfnmsub132ps %ymm4, %ymm4, %ymm4
2296// CHECK: encoding: [0xc4,0xe2,0x5d,0x9e,0xe4]
2297vfnmsub132ps %ymm4, %ymm4, %ymm4
2298
2299// CHECK: vfnmsub132sd -485498096(%edx,%eax,4), %xmm1, %xmm1
2300// CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2301vfnmsub132sd -485498096(%edx,%eax,4), %xmm1, %xmm1
2302
2303// CHECK: vfnmsub132sd 485498096(%edx,%eax,4), %xmm1, %xmm1
2304// CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2305vfnmsub132sd 485498096(%edx,%eax,4), %xmm1, %xmm1
2306
2307// CHECK: vfnmsub132sd 485498096(%edx), %xmm1, %xmm1
2308// CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0x8a,0xf0,0x1c,0xf0,0x1c]
2309vfnmsub132sd 485498096(%edx), %xmm1, %xmm1
2310
2311// CHECK: vfnmsub132sd 485498096, %xmm1, %xmm1
2312// CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0x0d,0xf0,0x1c,0xf0,0x1c]
2313vfnmsub132sd 485498096, %xmm1, %xmm1
2314
2315// CHECK: vfnmsub132sd 64(%edx,%eax), %xmm1, %xmm1
2316// CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0x4c,0x02,0x40]
2317vfnmsub132sd 64(%edx,%eax), %xmm1, %xmm1
2318
2319// CHECK: vfnmsub132sd (%edx), %xmm1, %xmm1
2320// CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0x0a]
2321vfnmsub132sd (%edx), %xmm1, %xmm1
2322
2323// CHECK: vfnmsub132sd %xmm1, %xmm1, %xmm1
2324// CHECK: encoding: [0xc4,0xe2,0xf1,0x9f,0xc9]
2325vfnmsub132sd %xmm1, %xmm1, %xmm1
2326
2327// CHECK: vfnmsub132ss -485498096(%edx,%eax,4), %xmm1, %xmm1
2328// CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2329vfnmsub132ss -485498096(%edx,%eax,4), %xmm1, %xmm1
2330
2331// CHECK: vfnmsub132ss 485498096(%edx,%eax,4), %xmm1, %xmm1
2332// CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2333vfnmsub132ss 485498096(%edx,%eax,4), %xmm1, %xmm1
2334
2335// CHECK: vfnmsub132ss 485498096(%edx), %xmm1, %xmm1
2336// CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0x8a,0xf0,0x1c,0xf0,0x1c]
2337vfnmsub132ss 485498096(%edx), %xmm1, %xmm1
2338
2339// CHECK: vfnmsub132ss 485498096, %xmm1, %xmm1
2340// CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0x0d,0xf0,0x1c,0xf0,0x1c]
2341vfnmsub132ss 485498096, %xmm1, %xmm1
2342
2343// CHECK: vfnmsub132ss 64(%edx,%eax), %xmm1, %xmm1
2344// CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0x4c,0x02,0x40]
2345vfnmsub132ss 64(%edx,%eax), %xmm1, %xmm1
2346
2347// CHECK: vfnmsub132ss (%edx), %xmm1, %xmm1
2348// CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0x0a]
2349vfnmsub132ss (%edx), %xmm1, %xmm1
2350
2351// CHECK: vfnmsub132ss %xmm1, %xmm1, %xmm1
2352// CHECK: encoding: [0xc4,0xe2,0x71,0x9f,0xc9]
2353vfnmsub132ss %xmm1, %xmm1, %xmm1
2354
2355// CHECK: vfnmsub213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
2356// CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2357vfnmsub213pd -485498096(%edx,%eax,4), %xmm1, %xmm1
2358
2359// CHECK: vfnmsub213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
2360// CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2361vfnmsub213pd 485498096(%edx,%eax,4), %xmm1, %xmm1
2362
2363// CHECK: vfnmsub213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
2364// CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
2365vfnmsub213pd -485498096(%edx,%eax,4), %ymm4, %ymm4
2366
2367// CHECK: vfnmsub213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
2368// CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
2369vfnmsub213pd 485498096(%edx,%eax,4), %ymm4, %ymm4
2370
2371// CHECK: vfnmsub213pd 485498096(%edx), %xmm1, %xmm1
2372// CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0x8a,0xf0,0x1c,0xf0,0x1c]
2373vfnmsub213pd 485498096(%edx), %xmm1, %xmm1
2374
2375// CHECK: vfnmsub213pd 485498096(%edx), %ymm4, %ymm4
2376// CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0xa2,0xf0,0x1c,0xf0,0x1c]
2377vfnmsub213pd 485498096(%edx), %ymm4, %ymm4
2378
2379// CHECK: vfnmsub213pd 485498096, %xmm1, %xmm1
2380// CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0x0d,0xf0,0x1c,0xf0,0x1c]
2381vfnmsub213pd 485498096, %xmm1, %xmm1
2382
2383// CHECK: vfnmsub213pd 485498096, %ymm4, %ymm4
2384// CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0x25,0xf0,0x1c,0xf0,0x1c]
2385vfnmsub213pd 485498096, %ymm4, %ymm4
2386
2387// CHECK: vfnmsub213pd 64(%edx,%eax), %xmm1, %xmm1
2388// CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0x4c,0x02,0x40]
2389vfnmsub213pd 64(%edx,%eax), %xmm1, %xmm1
2390
2391// CHECK: vfnmsub213pd 64(%edx,%eax), %ymm4, %ymm4
2392// CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0x64,0x02,0x40]
2393vfnmsub213pd 64(%edx,%eax), %ymm4, %ymm4
2394
2395// CHECK: vfnmsub213pd (%edx), %xmm1, %xmm1
2396// CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0x0a]
2397vfnmsub213pd (%edx), %xmm1, %xmm1
2398
2399// CHECK: vfnmsub213pd (%edx), %ymm4, %ymm4
2400// CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0x22]
2401vfnmsub213pd (%edx), %ymm4, %ymm4
2402
2403// CHECK: vfnmsub213pd %xmm1, %xmm1, %xmm1
2404// CHECK: encoding: [0xc4,0xe2,0xf1,0xae,0xc9]
2405vfnmsub213pd %xmm1, %xmm1, %xmm1
2406
2407// CHECK: vfnmsub213pd %ymm4, %ymm4, %ymm4
2408// CHECK: encoding: [0xc4,0xe2,0xdd,0xae,0xe4]
2409vfnmsub213pd %ymm4, %ymm4, %ymm4
2410
2411// CHECK: vfnmsub213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
2412// CHECK: encoding: [0xc4,0xe2,0x71,0xae,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2413vfnmsub213ps -485498096(%edx,%eax,4), %xmm1, %xmm1
2414
2415// CHECK: vfnmsub213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
2416// CHECK: encoding: [0xc4,0xe2,0x71,0xae,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2417vfnmsub213ps 485498096(%edx,%eax,4), %xmm1, %xmm1
2418
2419// CHECK: vfnmsub213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
2420// CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
2421vfnmsub213ps -485498096(%edx,%eax,4), %ymm4, %ymm4
2422
2423// CHECK: vfnmsub213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
2424// CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
2425vfnmsub213ps 485498096(%edx,%eax,4), %ymm4, %ymm4
2426
2427// CHECK: vfnmsub213ps 485498096(%edx), %xmm1, %xmm1
2428// CHECK: encoding: [0xc4,0xe2,0x71,0xae,0x8a,0xf0,0x1c,0xf0,0x1c]
2429vfnmsub213ps 485498096(%edx), %xmm1, %xmm1
2430
2431// CHECK: vfnmsub213ps 485498096(%edx), %ymm4, %ymm4
2432// CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0xa2,0xf0,0x1c,0xf0,0x1c]
2433vfnmsub213ps 485498096(%edx), %ymm4, %ymm4
2434
2435// CHECK: vfnmsub213ps 485498096, %xmm1, %xmm1
2436// CHECK: encoding: [0xc4,0xe2,0x71,0xae,0x0d,0xf0,0x1c,0xf0,0x1c]
2437vfnmsub213ps 485498096, %xmm1, %xmm1
2438
2439// CHECK: vfnmsub213ps 485498096, %ymm4, %ymm4
2440// CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0x25,0xf0,0x1c,0xf0,0x1c]
2441vfnmsub213ps 485498096, %ymm4, %ymm4
2442
2443// CHECK: vfnmsub213ps 64(%edx,%eax), %xmm1, %xmm1
2444// CHECK: encoding: [0xc4,0xe2,0x71,0xae,0x4c,0x02,0x40]
2445vfnmsub213ps 64(%edx,%eax), %xmm1, %xmm1
2446
2447// CHECK: vfnmsub213ps 64(%edx,%eax), %ymm4, %ymm4
2448// CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0x64,0x02,0x40]
2449vfnmsub213ps 64(%edx,%eax), %ymm4, %ymm4
2450
2451// CHECK: vfnmsub213ps (%edx), %xmm1, %xmm1
2452// CHECK: encoding: [0xc4,0xe2,0x71,0xae,0x0a]
2453vfnmsub213ps (%edx), %xmm1, %xmm1
2454
2455// CHECK: vfnmsub213ps (%edx), %ymm4, %ymm4
2456// CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0x22]
2457vfnmsub213ps (%edx), %ymm4, %ymm4
2458
2459// CHECK: vfnmsub213ps %xmm1, %xmm1, %xmm1
2460// CHECK: encoding: [0xc4,0xe2,0x71,0xae,0xc9]
2461vfnmsub213ps %xmm1, %xmm1, %xmm1
2462
2463// CHECK: vfnmsub213ps %ymm4, %ymm4, %ymm4
2464// CHECK: encoding: [0xc4,0xe2,0x5d,0xae,0xe4]
2465vfnmsub213ps %ymm4, %ymm4, %ymm4
2466
2467// CHECK: vfnmsub213sd -485498096(%edx,%eax,4), %xmm1, %xmm1
2468// CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2469vfnmsub213sd -485498096(%edx,%eax,4), %xmm1, %xmm1
2470
2471// CHECK: vfnmsub213sd 485498096(%edx,%eax,4), %xmm1, %xmm1
2472// CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2473vfnmsub213sd 485498096(%edx,%eax,4), %xmm1, %xmm1
2474
2475// CHECK: vfnmsub213sd 485498096(%edx), %xmm1, %xmm1
2476// CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0x8a,0xf0,0x1c,0xf0,0x1c]
2477vfnmsub213sd 485498096(%edx), %xmm1, %xmm1
2478
2479// CHECK: vfnmsub213sd 485498096, %xmm1, %xmm1
2480// CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0x0d,0xf0,0x1c,0xf0,0x1c]
2481vfnmsub213sd 485498096, %xmm1, %xmm1
2482
2483// CHECK: vfnmsub213sd 64(%edx,%eax), %xmm1, %xmm1
2484// CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0x4c,0x02,0x40]
2485vfnmsub213sd 64(%edx,%eax), %xmm1, %xmm1
2486
2487// CHECK: vfnmsub213sd (%edx), %xmm1, %xmm1
2488// CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0x0a]
2489vfnmsub213sd (%edx), %xmm1, %xmm1
2490
2491// CHECK: vfnmsub213sd %xmm1, %xmm1, %xmm1
2492// CHECK: encoding: [0xc4,0xe2,0xf1,0xaf,0xc9]
2493vfnmsub213sd %xmm1, %xmm1, %xmm1
2494
2495// CHECK: vfnmsub213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
2496// CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2497vfnmsub213ss -485498096(%edx,%eax,4), %xmm1, %xmm1
2498
2499// CHECK: vfnmsub213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
2500// CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2501vfnmsub213ss 485498096(%edx,%eax,4), %xmm1, %xmm1
2502
2503// CHECK: vfnmsub213ss 485498096(%edx), %xmm1, %xmm1
2504// CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0x8a,0xf0,0x1c,0xf0,0x1c]
2505vfnmsub213ss 485498096(%edx), %xmm1, %xmm1
2506
2507// CHECK: vfnmsub213ss 485498096, %xmm1, %xmm1
2508// CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0x0d,0xf0,0x1c,0xf0,0x1c]
2509vfnmsub213ss 485498096, %xmm1, %xmm1
2510
2511// CHECK: vfnmsub213ss 64(%edx,%eax), %xmm1, %xmm1
2512// CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0x4c,0x02,0x40]
2513vfnmsub213ss 64(%edx,%eax), %xmm1, %xmm1
2514
2515// CHECK: vfnmsub213ss (%edx), %xmm1, %xmm1
2516// CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0x0a]
2517vfnmsub213ss (%edx), %xmm1, %xmm1
2518
2519// CHECK: vfnmsub213ss %xmm1, %xmm1, %xmm1
2520// CHECK: encoding: [0xc4,0xe2,0x71,0xaf,0xc9]
2521vfnmsub213ss %xmm1, %xmm1, %xmm1
2522
2523// CHECK: vfnmsub231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
2524// CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2525vfnmsub231pd -485498096(%edx,%eax,4), %xmm1, %xmm1
2526
2527// CHECK: vfnmsub231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
2528// CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2529vfnmsub231pd 485498096(%edx,%eax,4), %xmm1, %xmm1
2530
2531// CHECK: vfnmsub231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
2532// CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
2533vfnmsub231pd -485498096(%edx,%eax,4), %ymm4, %ymm4
2534
2535// CHECK: vfnmsub231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
2536// CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
2537vfnmsub231pd 485498096(%edx,%eax,4), %ymm4, %ymm4
2538
2539// CHECK: vfnmsub231pd 485498096(%edx), %xmm1, %xmm1
2540// CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0x8a,0xf0,0x1c,0xf0,0x1c]
2541vfnmsub231pd 485498096(%edx), %xmm1, %xmm1
2542
2543// CHECK: vfnmsub231pd 485498096(%edx), %ymm4, %ymm4
2544// CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0xa2,0xf0,0x1c,0xf0,0x1c]
2545vfnmsub231pd 485498096(%edx), %ymm4, %ymm4
2546
2547// CHECK: vfnmsub231pd 485498096, %xmm1, %xmm1
2548// CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0x0d,0xf0,0x1c,0xf0,0x1c]
2549vfnmsub231pd 485498096, %xmm1, %xmm1
2550
2551// CHECK: vfnmsub231pd 485498096, %ymm4, %ymm4
2552// CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0x25,0xf0,0x1c,0xf0,0x1c]
2553vfnmsub231pd 485498096, %ymm4, %ymm4
2554
2555// CHECK: vfnmsub231pd 64(%edx,%eax), %xmm1, %xmm1
2556// CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0x4c,0x02,0x40]
2557vfnmsub231pd 64(%edx,%eax), %xmm1, %xmm1
2558
2559// CHECK: vfnmsub231pd 64(%edx,%eax), %ymm4, %ymm4
2560// CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0x64,0x02,0x40]
2561vfnmsub231pd 64(%edx,%eax), %ymm4, %ymm4
2562
2563// CHECK: vfnmsub231pd (%edx), %xmm1, %xmm1
2564// CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0x0a]
2565vfnmsub231pd (%edx), %xmm1, %xmm1
2566
2567// CHECK: vfnmsub231pd (%edx), %ymm4, %ymm4
2568// CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0x22]
2569vfnmsub231pd (%edx), %ymm4, %ymm4
2570
2571// CHECK: vfnmsub231pd %xmm1, %xmm1, %xmm1
2572// CHECK: encoding: [0xc4,0xe2,0xf1,0xbe,0xc9]
2573vfnmsub231pd %xmm1, %xmm1, %xmm1
2574
2575// CHECK: vfnmsub231pd %ymm4, %ymm4, %ymm4
2576// CHECK: encoding: [0xc4,0xe2,0xdd,0xbe,0xe4]
2577vfnmsub231pd %ymm4, %ymm4, %ymm4
2578
2579// CHECK: vfnmsub231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
2580// CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2581vfnmsub231ps -485498096(%edx,%eax,4), %xmm1, %xmm1
2582
2583// CHECK: vfnmsub231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
2584// CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2585vfnmsub231ps 485498096(%edx,%eax,4), %xmm1, %xmm1
2586
2587// CHECK: vfnmsub231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
2588// CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0xa4,0x82,0x10,0xe3,0x0f,0xe3]
2589vfnmsub231ps -485498096(%edx,%eax,4), %ymm4, %ymm4
2590
2591// CHECK: vfnmsub231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
2592// CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0xa4,0x82,0xf0,0x1c,0xf0,0x1c]
2593vfnmsub231ps 485498096(%edx,%eax,4), %ymm4, %ymm4
2594
2595// CHECK: vfnmsub231ps 485498096(%edx), %xmm1, %xmm1
2596// CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0x8a,0xf0,0x1c,0xf0,0x1c]
2597vfnmsub231ps 485498096(%edx), %xmm1, %xmm1
2598
2599// CHECK: vfnmsub231ps 485498096(%edx), %ymm4, %ymm4
2600// CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0xa2,0xf0,0x1c,0xf0,0x1c]
2601vfnmsub231ps 485498096(%edx), %ymm4, %ymm4
2602
2603// CHECK: vfnmsub231ps 485498096, %xmm1, %xmm1
2604// CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0x0d,0xf0,0x1c,0xf0,0x1c]
2605vfnmsub231ps 485498096, %xmm1, %xmm1
2606
2607// CHECK: vfnmsub231ps 485498096, %ymm4, %ymm4
2608// CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0x25,0xf0,0x1c,0xf0,0x1c]
2609vfnmsub231ps 485498096, %ymm4, %ymm4
2610
2611// CHECK: vfnmsub231ps 64(%edx,%eax), %xmm1, %xmm1
2612// CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0x4c,0x02,0x40]
2613vfnmsub231ps 64(%edx,%eax), %xmm1, %xmm1
2614
2615// CHECK: vfnmsub231ps 64(%edx,%eax), %ymm4, %ymm4
2616// CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0x64,0x02,0x40]
2617vfnmsub231ps 64(%edx,%eax), %ymm4, %ymm4
2618
2619// CHECK: vfnmsub231ps (%edx), %xmm1, %xmm1
2620// CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0x0a]
2621vfnmsub231ps (%edx), %xmm1, %xmm1
2622
2623// CHECK: vfnmsub231ps (%edx), %ymm4, %ymm4
2624// CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0x22]
2625vfnmsub231ps (%edx), %ymm4, %ymm4
2626
2627// CHECK: vfnmsub231ps %xmm1, %xmm1, %xmm1
2628// CHECK: encoding: [0xc4,0xe2,0x71,0xbe,0xc9]
2629vfnmsub231ps %xmm1, %xmm1, %xmm1
2630
2631// CHECK: vfnmsub231ps %ymm4, %ymm4, %ymm4
2632// CHECK: encoding: [0xc4,0xe2,0x5d,0xbe,0xe4]
2633vfnmsub231ps %ymm4, %ymm4, %ymm4
2634
2635// CHECK: vfnmsub231sd -485498096(%edx,%eax,4), %xmm1, %xmm1
2636// CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2637vfnmsub231sd -485498096(%edx,%eax,4), %xmm1, %xmm1
2638
2639// CHECK: vfnmsub231sd 485498096(%edx,%eax,4), %xmm1, %xmm1
2640// CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2641vfnmsub231sd 485498096(%edx,%eax,4), %xmm1, %xmm1
2642
2643// CHECK: vfnmsub231sd 485498096(%edx), %xmm1, %xmm1
2644// CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0x8a,0xf0,0x1c,0xf0,0x1c]
2645vfnmsub231sd 485498096(%edx), %xmm1, %xmm1
2646
2647// CHECK: vfnmsub231sd 485498096, %xmm1, %xmm1
2648// CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0x0d,0xf0,0x1c,0xf0,0x1c]
2649vfnmsub231sd 485498096, %xmm1, %xmm1
2650
2651// CHECK: vfnmsub231sd 64(%edx,%eax), %xmm1, %xmm1
2652// CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0x4c,0x02,0x40]
2653vfnmsub231sd 64(%edx,%eax), %xmm1, %xmm1
2654
2655// CHECK: vfnmsub231sd (%edx), %xmm1, %xmm1
2656// CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0x0a]
2657vfnmsub231sd (%edx), %xmm1, %xmm1
2658
2659// CHECK: vfnmsub231sd %xmm1, %xmm1, %xmm1
2660// CHECK: encoding: [0xc4,0xe2,0xf1,0xbf,0xc9]
2661vfnmsub231sd %xmm1, %xmm1, %xmm1
2662
2663// CHECK: vfnmsub231ss -485498096(%edx,%eax,4), %xmm1, %xmm1
2664// CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0x8c,0x82,0x10,0xe3,0x0f,0xe3]
2665vfnmsub231ss -485498096(%edx,%eax,4), %xmm1, %xmm1
2666
2667// CHECK: vfnmsub231ss 485498096(%edx,%eax,4), %xmm1, %xmm1
2668// CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0x8c,0x82,0xf0,0x1c,0xf0,0x1c]
2669vfnmsub231ss 485498096(%edx,%eax,4), %xmm1, %xmm1
2670
2671// CHECK: vfnmsub231ss 485498096(%edx), %xmm1, %xmm1
2672// CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0x8a,0xf0,0x1c,0xf0,0x1c]
2673vfnmsub231ss 485498096(%edx), %xmm1, %xmm1
2674
2675// CHECK: vfnmsub231ss 485498096, %xmm1, %xmm1
2676// CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0x0d,0xf0,0x1c,0xf0,0x1c]
2677vfnmsub231ss 485498096, %xmm1, %xmm1
2678
2679// CHECK: vfnmsub231ss 64(%edx,%eax), %xmm1, %xmm1
2680// CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0x4c,0x02,0x40]
2681vfnmsub231ss 64(%edx,%eax), %xmm1, %xmm1
2682
2683// CHECK: vfnmsub231ss (%edx), %xmm1, %xmm1
2684// CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0x0a]
2685vfnmsub231ss (%edx), %xmm1, %xmm1
2686
2687// CHECK: vfnmsub231ss %xmm1, %xmm1, %xmm1
2688// CHECK: encoding: [0xc4,0xe2,0x71,0xbf,0xc9]
2689vfnmsub231ss %xmm1, %xmm1, %xmm1
2690
2691