summaryrefslogtreecommitdiff
path: root/test/avx005.asm
blob: 08765140d12ccab79dcad8b9e83087384af0d0ee (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
;Testname=avx005; Arguments=-fbin -oavx005.bin -Ox; Files=stdout stderr avx005.bin

%define regxmm xmm0
%define regymm ymm0
%define mem [0]
%define imm 3

%macro x 1+.nolist
 %1 ; comment this line if RELAXed variants are not supported
%endmacro

  VFMADDSUB132PS regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMADDSUB132PS regxmm,regxmm,regxmm     ; VEX_FMA
  VFMADDSUB132PS regymm,regymm,mem        ; VEX_FMA,SY
  VFMADDSUB132PS regymm,regymm,regymm     ; VEX_FMA

x VFMADDSUB312PS regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMADDSUB312PS regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMADDSUB312PS regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMADDSUB312PS regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMADDSUB132PD regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMADDSUB132PD regxmm,regxmm,regxmm     ; VEX_FMA
  VFMADDSUB132PD regymm,regymm,mem        ; VEX_FMA,SY
  VFMADDSUB132PD regymm,regymm,regymm     ; VEX_FMA

x VFMADDSUB312PD regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMADDSUB312PD regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMADDSUB312PD regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMADDSUB312PD regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMSUBADD132PS regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMSUBADD132PS regxmm,regxmm,regxmm     ; VEX_FMA
  VFMSUBADD132PS regymm,regymm,mem        ; VEX_FMA,SY
  VFMSUBADD132PS regymm,regymm,regymm     ; VEX_FMA

x VFMSUBADD312PS regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMSUBADD312PS regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMSUBADD312PS regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMSUBADD312PS regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMSUBADD132PD regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMSUBADD132PD regxmm,regxmm,regxmm     ; VEX_FMA
  VFMSUBADD132PD regymm,regymm,mem        ; VEX_FMA,SY
  VFMSUBADD132PD regymm,regymm,regymm     ; VEX_FMA

x VFMSUBADD312PD regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMSUBADD312PD regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMSUBADD312PD regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMSUBADD312PD regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMADD132PS    regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMADD132PS    regxmm,regxmm,regxmm     ; VEX_FMA
  VFMADD132PS    regymm,regymm,mem        ; VEX_FMA,SY
  VFMADD132PS    regymm,regymm,regymm     ; VEX_FMA

x VFMADD312PS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMADD312PS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMADD312PS    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMADD312PS    regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMADD132PD    regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMADD132PD    regxmm,regxmm,regxmm     ; VEX_FMA
  VFMADD132PD    regymm,regymm,mem        ; VEX_FMA,SY
  VFMADD132PD    regymm,regymm,regymm     ; VEX_FMA

x VFMADD312PD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMADD312PD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMADD312PD    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMADD312PD    regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMADD132SS    regxmm,regxmm,mem        ; VEX_FMA,SD
  VFMADD132SS    regxmm,regxmm,regxmm     ; VEX_FMA

x VFMADD312SS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
x VFMADD312SS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFMADD132SD    regxmm,regxmm,mem        ; VEX_FMA,SQ
  VFMADD132SD    regxmm,regxmm,regxmm     ; VEX_FMA

x VFMADD312SD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
x VFMADD312SD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFMSUB132PS    regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMSUB132PS    regxmm,regxmm,regxmm     ; VEX_FMA
  VFMSUB132PS    regymm,regymm,mem        ; VEX_FMA,SY
  VFMSUB132PS    regymm,regymm,regymm     ; VEX_FMA

x VFMSUB312PS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMSUB312PS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMSUB312PS    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMSUB312PS    regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMSUB132PD    regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMSUB132PD    regxmm,regxmm,regxmm     ; VEX_FMA
  VFMSUB132PD    regymm,regymm,mem        ; VEX_FMA,SY
  VFMSUB132PD    regymm,regymm,regymm     ; VEX_FMA

x VFMSUB312PD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMSUB312PD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMSUB312PD    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMSUB312PD    regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMSUB132SS    regxmm,regxmm,mem        ; VEX_FMA,SD
  VFMSUB132SS    regxmm,regxmm,regxmm     ; VEX_FMA

x VFMSUB312SS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
x VFMSUB312SS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFMSUB132SD    regxmm,regxmm,mem        ; VEX_FMA,SQ
  VFMSUB132SD    regxmm,regxmm,regxmm     ; VEX_FMA

x VFMSUB312SD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
x VFMSUB312SD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFNMADD132PS   regxmm,regxmm,mem        ; VEX_FMA,SO
  VFNMADD132PS   regxmm,regxmm,regxmm     ; VEX_FMA
  VFNMADD132PS   regymm,regymm,mem        ; VEX_FMA,SY
  VFNMADD132PS   regymm,regymm,regymm     ; VEX_FMA

x VFNMADD312PS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFNMADD312PS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFNMADD312PS   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFNMADD312PS   regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFNMADD132PD   regxmm,regxmm,mem        ; VEX_FMA,SO
  VFNMADD132PD   regxmm,regxmm,regxmm     ; VEX_FMA
  VFNMADD132PD   regymm,regymm,mem        ; VEX_FMA,SY
  VFNMADD132PD   regymm,regymm,regymm     ; VEX_FMA

x VFNMADD312PD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFNMADD312PD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFNMADD312PD   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFNMADD312PD   regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFNMADD132SS   regxmm,regxmm,mem        ; VEX_FMA,SD
  VFNMADD132SS   regxmm,regxmm,regxmm     ; VEX_FMA

x VFNMADD312SS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
x VFNMADD312SS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFNMADD132SD   regxmm,regxmm,mem        ; VEX_FMA,SQ
  VFNMADD132SD   regxmm,regxmm,regxmm     ; VEX_FMA

x VFNMADD312SD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
x VFNMADD312SD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFNMSUB132PS   regxmm,regxmm,mem        ; VEX_FMA,SO
  VFNMSUB132PS   regxmm,regxmm,regxmm     ; VEX_FMA
  VFNMSUB132PS   regymm,regymm,mem        ; VEX_FMA,SY
  VFNMSUB132PS   regymm,regymm,regymm     ; VEX_FMA

x VFNMSUB312PS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFNMSUB312PS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFNMSUB312PS   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFNMSUB312PS   regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFNMSUB132PD   regxmm,regxmm,mem        ; VEX_FMA,SO
  VFNMSUB132PD   regxmm,regxmm,regxmm     ; VEX_FMA
  VFNMSUB132PD   regymm,regymm,mem        ; VEX_FMA,SY
  VFNMSUB132PD   regymm,regymm,regymm     ; VEX_FMA

x VFNMSUB312PD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFNMSUB312PD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFNMSUB312PD   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFNMSUB312PD   regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFNMSUB132SS   regxmm,regxmm,mem        ; VEX_FMA,SD
  VFNMSUB132SS   regxmm,regxmm,regxmm     ; VEX_FMA

x VFNMSUB312SS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
x VFNMSUB312SS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFNMSUB132SD   regxmm,regxmm,mem        ; VEX_FMA,SQ
  VFNMSUB132SD   regxmm,regxmm,regxmm     ; VEX_FMA

x VFNMSUB312SD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
x VFNMSUB312SD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFMADDSUB213PS regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMADDSUB213PS regxmm,regxmm,regxmm     ; VEX_FMA
  VFMADDSUB213PS regymm,regymm,mem        ; VEX_FMA,SY
  VFMADDSUB213PS regymm,regymm,regymm     ; VEX_FMA

x VFMADDSUB123PS regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMADDSUB123PS regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMADDSUB123PS regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMADDSUB123PS regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMADDSUB213PD regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMADDSUB213PD regxmm,regxmm,regxmm     ; VEX_FMA
  VFMADDSUB213PD regymm,regymm,mem        ; VEX_FMA,SY
  VFMADDSUB213PD regymm,regymm,regymm     ; VEX_FMA

x VFMADDSUB123PD regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMADDSUB123PD regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMADDSUB123PD regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMADDSUB123PD regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMSUBADD213PS regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMSUBADD213PS regxmm,regxmm,regxmm     ; VEX_FMA
  VFMSUBADD213PS regymm,regymm,mem        ; VEX_FMA,SY
  VFMSUBADD213PS regymm,regymm,regymm     ; VEX_FMA

x VFMSUBADD123PS regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMSUBADD123PS regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMSUBADD123PS regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMSUBADD123PS regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMSUBADD213PD regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMSUBADD213PD regxmm,regxmm,regxmm     ; VEX_FMA
  VFMSUBADD213PD regymm,regymm,mem        ; VEX_FMA,SY
  VFMSUBADD213PD regymm,regymm,regymm     ; VEX_FMA

x VFMSUBADD123PD regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMSUBADD123PD regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMSUBADD123PD regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMSUBADD123PD regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMADD213PS    regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMADD213PS    regxmm,regxmm,regxmm     ; VEX_FMA
  VFMADD213PS    regymm,regymm,mem        ; VEX_FMA,SY
  VFMADD213PS    regymm,regymm,regymm     ; VEX_FMA

x VFMADD123PS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMADD123PS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMADD123PS    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMADD123PS    regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMADD213PD    regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMADD213PD    regxmm,regxmm,regxmm     ; VEX_FMA
  VFMADD213PD    regymm,regymm,mem        ; VEX_FMA,SY
  VFMADD213PD    regymm,regymm,regymm     ; VEX_FMA

x VFMADD123PD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMADD123PD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMADD123PD    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMADD123PD    regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMADD213SS    regxmm,regxmm,mem        ; VEX_FMA,SD
  VFMADD213SS    regxmm,regxmm,regxmm     ; VEX_FMA

x VFMADD123SS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
x VFMADD123SS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFMADD213SD    regxmm,regxmm,mem        ; VEX_FMA,SQ
  VFMADD213SD    regxmm,regxmm,regxmm     ; VEX_FMA

x VFMADD123SD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
x VFMADD123SD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFMSUB213PS    regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMSUB213PS    regxmm,regxmm,regxmm     ; VEX_FMA
  VFMSUB213PS    regymm,regymm,mem        ; VEX_FMA,SY
  VFMSUB213PS    regymm,regymm,regymm     ; VEX_FMA

x VFMSUB123PS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMSUB123PS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMSUB123PS    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMSUB123PS    regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMSUB213PD    regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMSUB213PD    regxmm,regxmm,regxmm     ; VEX_FMA
  VFMSUB213PD    regymm,regymm,mem        ; VEX_FMA,SY
  VFMSUB213PD    regymm,regymm,regymm     ; VEX_FMA

x VFMSUB123PD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMSUB123PD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMSUB123PD    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMSUB123PD    regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMSUB213SS    regxmm,regxmm,mem        ; VEX_FMA,SD
  VFMSUB213SS    regxmm,regxmm,regxmm     ; VEX_FMA

x VFMSUB123SS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
x VFMSUB123SS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFMSUB213SD    regxmm,regxmm,mem        ; VEX_FMA,SQ
  VFMSUB213SD    regxmm,regxmm,regxmm     ; VEX_FMA

x VFMSUB123SD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
x VFMSUB123SD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFNMADD213PS   regxmm,regxmm,mem        ; VEX_FMA,SO
  VFNMADD213PS   regxmm,regxmm,regxmm     ; VEX_FMA
  VFNMADD213PS   regymm,regymm,mem        ; VEX_FMA,SY
  VFNMADD213PS   regymm,regymm,regymm     ; VEX_FMA

x VFNMADD123PS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFNMADD123PS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFNMADD123PS   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFNMADD123PS   regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFNMADD213PD   regxmm,regxmm,mem        ; VEX_FMA,SO
  VFNMADD213PD   regxmm,regxmm,regxmm     ; VEX_FMA
  VFNMADD213PD   regymm,regymm,mem        ; VEX_FMA,SY
  VFNMADD213PD   regymm,regymm,regymm     ; VEX_FMA

x VFNMADD123PD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFNMADD123PD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFNMADD123PD   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFNMADD123PD   regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFNMADD213SS   regxmm,regxmm,mem        ; VEX_FMA,SD
  VFNMADD213SS   regxmm,regxmm,regxmm     ; VEX_FMA

x VFNMADD123SS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
x VFNMADD123SS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFNMADD213SD   regxmm,regxmm,mem        ; VEX_FMA,SQ
  VFNMADD213SD   regxmm,regxmm,regxmm     ; VEX_FMA

x VFNMADD123SD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
x VFNMADD123SD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFNMSUB213PS   regxmm,regxmm,mem        ; VEX_FMA,SO
  VFNMSUB213PS   regxmm,regxmm,regxmm     ; VEX_FMA
  VFNMSUB213PS   regymm,regymm,mem        ; VEX_FMA,SY
  VFNMSUB213PS   regymm,regymm,regymm     ; VEX_FMA

x VFNMSUB123PS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFNMSUB123PS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFNMSUB123PS   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFNMSUB123PS   regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFNMSUB213PD   regxmm,regxmm,mem        ; VEX_FMA,SO
  VFNMSUB213PD   regxmm,regxmm,regxmm     ; VEX_FMA
  VFNMSUB213PD   regymm,regymm,mem        ; VEX_FMA,SY
  VFNMSUB213PD   regymm,regymm,regymm     ; VEX_FMA

x VFNMSUB123PD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFNMSUB123PD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFNMSUB123PD   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFNMSUB123PD   regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFNMSUB213SS   regxmm,regxmm,mem        ; VEX_FMA,SD
  VFNMSUB213SS   regxmm,regxmm,regxmm     ; VEX_FMA

x VFNMSUB123SS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
x VFNMSUB123SS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFNMSUB213SD   regxmm,regxmm,mem        ; VEX_FMA,SQ
  VFNMSUB213SD   regxmm,regxmm,regxmm     ; VEX_FMA

x VFNMSUB123SD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
x VFNMSUB123SD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFMADDSUB231PS regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMADDSUB231PS regxmm,regxmm,regxmm     ; VEX_FMA
  VFMADDSUB231PS regymm,regymm,mem        ; VEX_FMA,SY
  VFMADDSUB231PS regymm,regymm,regymm     ; VEX_FMA

x VFMADDSUB321PS regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMADDSUB321PS regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMADDSUB321PS regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMADDSUB321PS regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMADDSUB231PD regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMADDSUB231PD regxmm,regxmm,regxmm     ; VEX_FMA
  VFMADDSUB231PD regymm,regymm,mem        ; VEX_FMA,SY
  VFMADDSUB231PD regymm,regymm,regymm     ; VEX_FMA

x VFMADDSUB321PD regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMADDSUB321PD regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMADDSUB321PD regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMADDSUB321PD regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMSUBADD231PS regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMSUBADD231PS regxmm,regxmm,regxmm     ; VEX_FMA
  VFMSUBADD231PS regymm,regymm,mem        ; VEX_FMA,SY
  VFMSUBADD231PS regymm,regymm,regymm     ; VEX_FMA

x VFMSUBADD321PS regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMSUBADD321PS regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMSUBADD321PS regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMSUBADD321PS regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMSUBADD231PD regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMSUBADD231PD regxmm,regxmm,regxmm     ; VEX_FMA
  VFMSUBADD231PD regymm,regymm,mem        ; VEX_FMA,SY
  VFMSUBADD231PD regymm,regymm,regymm     ; VEX_FMA

x VFMSUBADD321PD regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMSUBADD321PD regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMSUBADD321PD regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMSUBADD321PD regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMADD231PS    regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMADD231PS    regxmm,regxmm,regxmm     ; VEX_FMA
  VFMADD231PS    regymm,regymm,mem        ; VEX_FMA,SY
  VFMADD231PS    regymm,regymm,regymm     ; VEX_FMA

x VFMADD321PS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMADD321PS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMADD321PS    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMADD321PS    regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMADD231PD    regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMADD231PD    regxmm,regxmm,regxmm     ; VEX_FMA
  VFMADD231PD    regymm,regymm,mem        ; VEX_FMA,SY
  VFMADD231PD    regymm,regymm,regymm     ; VEX_FMA

x VFMADD321PD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMADD321PD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMADD321PD    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMADD321PD    regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMADD231SS    regxmm,regxmm,mem        ; VEX_FMA,SD
  VFMADD231SS    regxmm,regxmm,regxmm     ; VEX_FMA

x VFMADD321SS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
x VFMADD321SS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFMADD231SD    regxmm,regxmm,mem        ; VEX_FMA,SQ
  VFMADD231SD    regxmm,regxmm,regxmm     ; VEX_FMA

x VFMADD321SD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
x VFMADD321SD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFMSUB231PS    regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMSUB231PS    regxmm,regxmm,regxmm     ; VEX_FMA
  VFMSUB231PS    regymm,regymm,mem        ; VEX_FMA,SY
  VFMSUB231PS    regymm,regymm,regymm     ; VEX_FMA

x VFMSUB321PS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMSUB321PS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMSUB321PS    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMSUB321PS    regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMSUB231PD    regxmm,regxmm,mem        ; VEX_FMA,SO
  VFMSUB231PD    regxmm,regxmm,regxmm     ; VEX_FMA
  VFMSUB231PD    regymm,regymm,mem        ; VEX_FMA,SY
  VFMSUB231PD    regymm,regymm,regymm     ; VEX_FMA

x VFMSUB321PD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFMSUB321PD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFMSUB321PD    regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFMSUB321PD    regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFMSUB231SS    regxmm,regxmm,mem        ; VEX_FMA,SD
  VFMSUB231SS    regxmm,regxmm,regxmm     ; VEX_FMA

x VFMSUB321SS    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
x VFMSUB321SS    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFMSUB231SD    regxmm,regxmm,mem        ; VEX_FMA,SQ
  VFMSUB231SD    regxmm,regxmm,regxmm     ; VEX_FMA

x VFMSUB321SD    regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
x VFMSUB321SD    regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFNMADD231PS   regxmm,regxmm,mem        ; VEX_FMA,SO
  VFNMADD231PS   regxmm,regxmm,regxmm     ; VEX_FMA
  VFNMADD231PS   regymm,regymm,mem        ; VEX_FMA,SY
  VFNMADD231PS   regymm,regymm,regymm     ; VEX_FMA

x VFNMADD321PS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFNMADD321PS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFNMADD321PS   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFNMADD321PS   regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFNMADD231PD   regxmm,regxmm,mem        ; VEX_FMA,SO
  VFNMADD231PD   regxmm,regxmm,regxmm     ; VEX_FMA
  VFNMADD231PD   regymm,regymm,mem        ; VEX_FMA,SY
  VFNMADD231PD   regymm,regymm,regymm     ; VEX_FMA

x VFNMADD321PD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFNMADD321PD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFNMADD321PD   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFNMADD321PD   regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFNMADD231SS   regxmm,regxmm,mem        ; VEX_FMA,SD
  VFNMADD231SS   regxmm,regxmm,regxmm     ; VEX_FMA

x VFNMADD321SS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
x VFNMADD321SS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFNMADD231SD   regxmm,regxmm,mem        ; VEX_FMA,SQ
  VFNMADD231SD   regxmm,regxmm,regxmm     ; VEX_FMA

x VFNMADD321SD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
x VFNMADD321SD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFNMSUB231PS   regxmm,regxmm,mem        ; VEX_FMA,SO
  VFNMSUB231PS   regxmm,regxmm,regxmm     ; VEX_FMA
  VFNMSUB231PS   regymm,regymm,mem        ; VEX_FMA,SY
  VFNMSUB231PS   regymm,regymm,regymm     ; VEX_FMA

x VFNMSUB321PS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFNMSUB321PS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFNMSUB321PS   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFNMSUB321PS   regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFNMSUB231PD   regxmm,regxmm,mem        ; VEX_FMA,SO
  VFNMSUB231PD   regxmm,regxmm,regxmm     ; VEX_FMA
  VFNMSUB231PD   regymm,regymm,mem        ; VEX_FMA,SY
  VFNMSUB231PD   regymm,regymm,regymm     ; VEX_FMA

x VFNMSUB321PD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SO
x VFNMSUB321PD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX
x VFNMSUB321PD   regymm,regymm,mem        ; VEX_FMA,RELAX,SY
x VFNMSUB321PD   regymm,regymm,regymm     ; VEX_FMA,RELAX

  VFNMSUB231SS   regxmm,regxmm,mem        ; VEX_FMA,SD
  VFNMSUB231SS   regxmm,regxmm,regxmm     ; VEX_FMA

x VFNMSUB321SS   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SD
x VFNMSUB321SS   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VFNMSUB231SD   regxmm,regxmm,mem        ; VEX_FMA,SQ
  VFNMSUB231SD   regxmm,regxmm,regxmm     ; VEX_FMA

x VFNMSUB321SD   regxmm,regxmm,mem        ; VEX_FMA,RELAX,SQ
x VFNMSUB321SD   regxmm,regxmm,regxmm     ; VEX_FMA,RELAX

  VPCLMULLQLQDQ  regxmm,regxmm,mem        ; PCLMUL,VEX_AVX,SO
  VPCLMULLQLQDQ  regxmm,regxmm,regxmm     ; PCLMUL,VEX_AVX
  VPCLMULHQLQDQ  regxmm,regxmm,mem        ; PCLMUL,VEX_AVX,SO
  VPCLMULHQLQDQ  regxmm,regxmm,regxmm     ; PCLMUL,VEX_AVX
  VPCLMULLQHQDQ  regxmm,regxmm,mem        ; PCLMUL,VEX_AVX,SO
  VPCLMULLQHQDQ  regxmm,regxmm,regxmm     ; PCLMUL,VEX_AVX
  VPCLMULHQHQDQ  regxmm,regxmm,mem        ; PCLMUL,VEX_AVX,SO
  VPCLMULHQHQDQ  regxmm,regxmm,regxmm     ; PCLMUL,VEX_AVX
  VPCLMULQDQ     regxmm,regxmm,mem,imm    ; PCLMUL,VEX_AVX,SB3,SO
  VPCLMULQDQ     regxmm,regxmm,regxmm,imm ; PCLMUL,VEX_AVX,SB3

; EOF