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
|
