projects / platform / upstream / nasm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: fc2297e)
BR 2690688: Fix opcodes for FMA instructions
authorH. Peter Anvin <hpa@linux.intel.com>
Wed, 18 Mar 2009 01:26:47 +0000 (18:26 -0700)
committerH. Peter Anvin <hpa@linux.intel.com>
Wed, 18 Mar 2009 01:26:47 +0000 (18:26 -0700)
Two bugs with respect to the FMA instructions:
- the variant increment is supposed to be 0x10, not 0x01.
- the base opcode for scalar VFNMADD is 0x9d, not 0x9c

insns.dat patch | blob | history
misc/genfma.pl patch | blob | history

diff --git a/insns.dat b/insns.dat
index 966a1b3..af16c4c 100644 (file)
--- a/insns.dat
+++ b/insns.dat
@@ -3308,38 +3308,38 @@ VFMADD312PD     xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 98 /r]           FMA,FUTURE
 VFMADD312PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 98 /r]           FMA,FUTURE,SO
 VFMADD312PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 98 /r]           FMA,FUTURE,SY
 VFMADD312PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 98 /r]           FMA,FUTURE,SY
-VFMADD213PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 99 /r]           FMA,FUTURE,SO
-VFMADD213PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 99 /r]           FMA,FUTURE,SO
-VFMADD213PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 99 /r]           FMA,FUTURE,SY
-VFMADD213PS    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 99 /r]           FMA,FUTURE,SY
-VFMADD213PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 99 /r]           FMA,FUTURE,SO
-VFMADD213PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 99 /r]           FMA,FUTURE,SO
-VFMADD213PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 99 /r]           FMA,FUTURE,SY
-VFMADD213PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 99 /r]           FMA,FUTURE,SY
-VFMADD123PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 99 /r]           FMA,FUTURE,SO
-VFMADD123PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 99 /r]           FMA,FUTURE,SO
-VFMADD123PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 99 /r]           FMA,FUTURE,SY
-VFMADD123PS    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 99 /r]           FMA,FUTURE,SY
-VFMADD123PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 99 /r]           FMA,FUTURE,SO
-VFMADD123PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 99 /r]           FMA,FUTURE,SO
-VFMADD123PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 99 /r]           FMA,FUTURE,SY
-VFMADD123PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 99 /r]           FMA,FUTURE,SY
-VFMADD231PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9a /r]           FMA,FUTURE,SO
-VFMADD231PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9a /r]           FMA,FUTURE,SO
-VFMADD231PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9a /r]           FMA,FUTURE,SY
-VFMADD231PS    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 9a /r]           FMA,FUTURE,SY
-VFMADD231PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9a /r]           FMA,FUTURE,SO
-VFMADD231PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9a /r]           FMA,FUTURE,SO
-VFMADD231PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9a /r]           FMA,FUTURE,SY
-VFMADD231PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 9a /r]           FMA,FUTURE,SY
-VFMADD321PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9a /r]           FMA,FUTURE,SO
-VFMADD321PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9a /r]           FMA,FUTURE,SO
-VFMADD321PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9a /r]           FMA,FUTURE,SY
-VFMADD321PS    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 9a /r]           FMA,FUTURE,SY
-VFMADD321PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9a /r]           FMA,FUTURE,SO
-VFMADD321PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9a /r]           FMA,FUTURE,SO
-VFMADD321PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9a /r]           FMA,FUTURE,SY
-VFMADD321PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 9a /r]           FMA,FUTURE,SY
+VFMADD213PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 a8 /r]           FMA,FUTURE,SO
+VFMADD213PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 a8 /r]           FMA,FUTURE,SO
+VFMADD213PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 a8 /r]           FMA,FUTURE,SY
+VFMADD213PS    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 a8 /r]           FMA,FUTURE,SY
+VFMADD213PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 a8 /r]           FMA,FUTURE,SO
+VFMADD213PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 a8 /r]           FMA,FUTURE,SO
+VFMADD213PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 a8 /r]           FMA,FUTURE,SY
+VFMADD213PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 a8 /r]           FMA,FUTURE,SY
+VFMADD123PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 a8 /r]           FMA,FUTURE,SO
+VFMADD123PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 a8 /r]           FMA,FUTURE,SO
+VFMADD123PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 a8 /r]           FMA,FUTURE,SY
+VFMADD123PS    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 a8 /r]           FMA,FUTURE,SY
+VFMADD123PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 a8 /r]           FMA,FUTURE,SO
+VFMADD123PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 a8 /r]           FMA,FUTURE,SO
+VFMADD123PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 a8 /r]           FMA,FUTURE,SY
+VFMADD123PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 a8 /r]           FMA,FUTURE,SY
+VFMADD231PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 b8 /r]           FMA,FUTURE,SO
+VFMADD231PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 b8 /r]           FMA,FUTURE,SO
+VFMADD231PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 b8 /r]           FMA,FUTURE,SY
+VFMADD231PS    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 b8 /r]           FMA,FUTURE,SY
+VFMADD231PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 b8 /r]           FMA,FUTURE,SO
+VFMADD231PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 b8 /r]           FMA,FUTURE,SO
+VFMADD231PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 b8 /r]           FMA,FUTURE,SY
+VFMADD231PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 b8 /r]           FMA,FUTURE,SY
+VFMADD321PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 b8 /r]           FMA,FUTURE,SO
+VFMADD321PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 b8 /r]           FMA,FUTURE,SO
+VFMADD321PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 b8 /r]           FMA,FUTURE,SY
+VFMADD321PS    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 b8 /r]           FMA,FUTURE,SY
+VFMADD321PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 b8 /r]           FMA,FUTURE,SO
+VFMADD321PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 b8 /r]           FMA,FUTURE,SO
+VFMADD321PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 b8 /r]           FMA,FUTURE,SY
+VFMADD321PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 b8 /r]           FMA,FUTURE,SY
 VFMADDSUB132PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 96 /r]           FMA,FUTURE,SO
 VFMADDSUB132PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 96 /r]           FMA,FUTURE,SO
 VFMADDSUB132PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 96 /r]           FMA,FUTURE,SY
@@ -3356,38 +3356,38 @@ VFMADDSUB312PD  xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 96 /r]           FMA,FUT
 VFMADDSUB312PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 96 /r]           FMA,FUTURE,SO
 VFMADDSUB312PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 96 /r]           FMA,FUTURE,SY
 VFMADDSUB312PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 96 /r]           FMA,FUTURE,SY
-VFMADDSUB213PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 97 /r]           FMA,FUTURE,SO
-VFMADDSUB213PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 97 /r]           FMA,FUTURE,SO
-VFMADDSUB213PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 97 /r]           FMA,FUTURE,SY
-VFMADDSUB213PS ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 97 /r]           FMA,FUTURE,SY
-VFMADDSUB213PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 97 /r]           FMA,FUTURE,SO
-VFMADDSUB213PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 97 /r]           FMA,FUTURE,SO
-VFMADDSUB213PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 97 /r]           FMA,FUTURE,SY
-VFMADDSUB213PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 97 /r]           FMA,FUTURE,SY
-VFMADDSUB123PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 97 /r]           FMA,FUTURE,SO
-VFMADDSUB123PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 97 /r]           FMA,FUTURE,SO
-VFMADDSUB123PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 97 /r]           FMA,FUTURE,SY
-VFMADDSUB123PS ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 97 /r]           FMA,FUTURE,SY
-VFMADDSUB123PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 97 /r]           FMA,FUTURE,SO
-VFMADDSUB123PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 97 /r]           FMA,FUTURE,SO
-VFMADDSUB123PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 97 /r]           FMA,FUTURE,SY
-VFMADDSUB123PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 97 /r]           FMA,FUTURE,SY
-VFMADDSUB231PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 98 /r]           FMA,FUTURE,SO
-VFMADDSUB231PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 98 /r]           FMA,FUTURE,SO
-VFMADDSUB231PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 98 /r]           FMA,FUTURE,SY
-VFMADDSUB231PS ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 98 /r]           FMA,FUTURE,SY
-VFMADDSUB231PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 98 /r]           FMA,FUTURE,SO
-VFMADDSUB231PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 98 /r]           FMA,FUTURE,SO
-VFMADDSUB231PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 98 /r]           FMA,FUTURE,SY
-VFMADDSUB231PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 98 /r]           FMA,FUTURE,SY
-VFMADDSUB321PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 98 /r]           FMA,FUTURE,SO
-VFMADDSUB321PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 98 /r]           FMA,FUTURE,SO
-VFMADDSUB321PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 98 /r]           FMA,FUTURE,SY
-VFMADDSUB321PS ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 98 /r]           FMA,FUTURE,SY
-VFMADDSUB321PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 98 /r]           FMA,FUTURE,SO
-VFMADDSUB321PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 98 /r]           FMA,FUTURE,SO
-VFMADDSUB321PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 98 /r]           FMA,FUTURE,SY
-VFMADDSUB321PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 98 /r]           FMA,FUTURE,SY
+VFMADDSUB213PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 a6 /r]           FMA,FUTURE,SO
+VFMADDSUB213PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 a6 /r]           FMA,FUTURE,SO
+VFMADDSUB213PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 a6 /r]           FMA,FUTURE,SY
+VFMADDSUB213PS ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 a6 /r]           FMA,FUTURE,SY
+VFMADDSUB213PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 a6 /r]           FMA,FUTURE,SO
+VFMADDSUB213PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 a6 /r]           FMA,FUTURE,SO
+VFMADDSUB213PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 a6 /r]           FMA,FUTURE,SY
+VFMADDSUB213PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 a6 /r]           FMA,FUTURE,SY
+VFMADDSUB123PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 a6 /r]           FMA,FUTURE,SO
+VFMADDSUB123PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 a6 /r]           FMA,FUTURE,SO
+VFMADDSUB123PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 a6 /r]           FMA,FUTURE,SY
+VFMADDSUB123PS ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 a6 /r]           FMA,FUTURE,SY
+VFMADDSUB123PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 a6 /r]           FMA,FUTURE,SO
+VFMADDSUB123PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 a6 /r]           FMA,FUTURE,SO
+VFMADDSUB123PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 a6 /r]           FMA,FUTURE,SY
+VFMADDSUB123PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 a6 /r]           FMA,FUTURE,SY
+VFMADDSUB231PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 b6 /r]           FMA,FUTURE,SO
+VFMADDSUB231PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 b6 /r]           FMA,FUTURE,SO
+VFMADDSUB231PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 b6 /r]           FMA,FUTURE,SY
+VFMADDSUB231PS ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 b6 /r]           FMA,FUTURE,SY
+VFMADDSUB231PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 b6 /r]           FMA,FUTURE,SO
+VFMADDSUB231PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 b6 /r]           FMA,FUTURE,SO
+VFMADDSUB231PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 b6 /r]           FMA,FUTURE,SY
+VFMADDSUB231PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 b6 /r]           FMA,FUTURE,SY
+VFMADDSUB321PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 b6 /r]           FMA,FUTURE,SO
+VFMADDSUB321PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 b6 /r]           FMA,FUTURE,SO
+VFMADDSUB321PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 b6 /r]           FMA,FUTURE,SY
+VFMADDSUB321PS ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 b6 /r]           FMA,FUTURE,SY
+VFMADDSUB321PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 b6 /r]           FMA,FUTURE,SO
+VFMADDSUB321PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 b6 /r]           FMA,FUTURE,SO
+VFMADDSUB321PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 b6 /r]           FMA,FUTURE,SY
+VFMADDSUB321PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 b6 /r]           FMA,FUTURE,SY
 VFMSUB132PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9a /r]           FMA,FUTURE,SO
 VFMSUB132PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9a /r]           FMA,FUTURE,SO
 VFMSUB132PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9a /r]           FMA,FUTURE,SY
@@ -3404,38 +3404,38 @@ VFMSUB312PD     xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9a /r]           FMA,FUTURE
 VFMSUB312PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9a /r]           FMA,FUTURE,SO
 VFMSUB312PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9a /r]           FMA,FUTURE,SY
 VFMSUB312PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 9a /r]           FMA,FUTURE,SY
-VFMSUB213PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9b /r]           FMA,FUTURE,SO
-VFMSUB213PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9b /r]           FMA,FUTURE,SO
-VFMSUB213PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9b /r]           FMA,FUTURE,SY
-VFMSUB213PS    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 9b /r]           FMA,FUTURE,SY
-VFMSUB213PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9b /r]           FMA,FUTURE,SO
-VFMSUB213PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9b /r]           FMA,FUTURE,SO
-VFMSUB213PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9b /r]           FMA,FUTURE,SY
-VFMSUB213PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 9b /r]           FMA,FUTURE,SY
-VFMSUB123PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9b /r]           FMA,FUTURE,SO
-VFMSUB123PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9b /r]           FMA,FUTURE,SO
-VFMSUB123PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9b /r]           FMA,FUTURE,SY
-VFMSUB123PS    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 9b /r]           FMA,FUTURE,SY
-VFMSUB123PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9b /r]           FMA,FUTURE,SO
-VFMSUB123PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9b /r]           FMA,FUTURE,SO
-VFMSUB123PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9b /r]           FMA,FUTURE,SY
-VFMSUB123PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 9b /r]           FMA,FUTURE,SY
-VFMSUB231PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9c /r]           FMA,FUTURE,SO
-VFMSUB231PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9c /r]           FMA,FUTURE,SO
-VFMSUB231PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9c /r]           FMA,FUTURE,SY
-VFMSUB231PS    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 9c /r]           FMA,FUTURE,SY
-VFMSUB231PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9c /r]           FMA,FUTURE,SO
-VFMSUB231PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9c /r]           FMA,FUTURE,SO
-VFMSUB231PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9c /r]           FMA,FUTURE,SY
-VFMSUB231PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 9c /r]           FMA,FUTURE,SY
-VFMSUB321PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9c /r]           FMA,FUTURE,SO
-VFMSUB321PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9c /r]           FMA,FUTURE,SO
-VFMSUB321PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9c /r]           FMA,FUTURE,SY
-VFMSUB321PS    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 9c /r]           FMA,FUTURE,SY
-VFMSUB321PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9c /r]           FMA,FUTURE,SO
-VFMSUB321PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9c /r]           FMA,FUTURE,SO
-VFMSUB321PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9c /r]           FMA,FUTURE,SY
-VFMSUB321PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 9c /r]           FMA,FUTURE,SY
+VFMSUB213PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 aa /r]           FMA,FUTURE,SO
+VFMSUB213PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 aa /r]           FMA,FUTURE,SO
+VFMSUB213PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 aa /r]           FMA,FUTURE,SY
+VFMSUB213PS    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 aa /r]           FMA,FUTURE,SY
+VFMSUB213PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 aa /r]           FMA,FUTURE,SO
+VFMSUB213PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 aa /r]           FMA,FUTURE,SO
+VFMSUB213PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 aa /r]           FMA,FUTURE,SY
+VFMSUB213PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 aa /r]           FMA,FUTURE,SY
+VFMSUB123PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 aa /r]           FMA,FUTURE,SO
+VFMSUB123PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 aa /r]           FMA,FUTURE,SO
+VFMSUB123PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 aa /r]           FMA,FUTURE,SY
+VFMSUB123PS    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 aa /r]           FMA,FUTURE,SY
+VFMSUB123PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 aa /r]           FMA,FUTURE,SO
+VFMSUB123PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 aa /r]           FMA,FUTURE,SO
+VFMSUB123PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 aa /r]           FMA,FUTURE,SY
+VFMSUB123PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 aa /r]           FMA,FUTURE,SY
+VFMSUB231PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 ba /r]           FMA,FUTURE,SO
+VFMSUB231PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 ba /r]           FMA,FUTURE,SO
+VFMSUB231PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 ba /r]           FMA,FUTURE,SY
+VFMSUB231PS    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 ba /r]           FMA,FUTURE,SY
+VFMSUB231PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 ba /r]           FMA,FUTURE,SO
+VFMSUB231PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 ba /r]           FMA,FUTURE,SO
+VFMSUB231PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 ba /r]           FMA,FUTURE,SY
+VFMSUB231PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 ba /r]           FMA,FUTURE,SY
+VFMSUB321PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 ba /r]           FMA,FUTURE,SO
+VFMSUB321PS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 ba /r]           FMA,FUTURE,SO
+VFMSUB321PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 ba /r]           FMA,FUTURE,SY
+VFMSUB321PS    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 ba /r]           FMA,FUTURE,SY
+VFMSUB321PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 ba /r]           FMA,FUTURE,SO
+VFMSUB321PD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 ba /r]           FMA,FUTURE,SO
+VFMSUB321PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 ba /r]           FMA,FUTURE,SY
+VFMSUB321PD    ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 ba /r]           FMA,FUTURE,SY
 VFMSUBADD132PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 97 /r]           FMA,FUTURE,SO
 VFMSUBADD132PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 97 /r]           FMA,FUTURE,SO
 VFMSUBADD132PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 97 /r]           FMA,FUTURE,SY
@@ -3452,38 +3452,38 @@ VFMSUBADD312PD  xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 97 /r]           FMA,FUT
 VFMSUBADD312PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 97 /r]           FMA,FUTURE,SO
 VFMSUBADD312PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 97 /r]           FMA,FUTURE,SY
 VFMSUBADD312PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 97 /r]           FMA,FUTURE,SY
-VFMSUBADD213PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 98 /r]           FMA,FUTURE,SO
-VFMSUBADD213PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 98 /r]           FMA,FUTURE,SO
-VFMSUBADD213PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 98 /r]           FMA,FUTURE,SY
-VFMSUBADD213PS ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 98 /r]           FMA,FUTURE,SY
-VFMSUBADD213PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 98 /r]           FMA,FUTURE,SO
-VFMSUBADD213PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 98 /r]           FMA,FUTURE,SO
-VFMSUBADD213PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 98 /r]           FMA,FUTURE,SY
-VFMSUBADD213PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 98 /r]           FMA,FUTURE,SY
-VFMSUBADD123PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 98 /r]           FMA,FUTURE,SO
-VFMSUBADD123PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 98 /r]           FMA,FUTURE,SO
-VFMSUBADD123PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 98 /r]           FMA,FUTURE,SY
-VFMSUBADD123PS ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 98 /r]           FMA,FUTURE,SY
-VFMSUBADD123PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 98 /r]           FMA,FUTURE,SO
-VFMSUBADD123PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 98 /r]           FMA,FUTURE,SO
-VFMSUBADD123PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 98 /r]           FMA,FUTURE,SY
-VFMSUBADD123PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 98 /r]           FMA,FUTURE,SY
-VFMSUBADD231PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 99 /r]           FMA,FUTURE,SO
-VFMSUBADD231PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 99 /r]           FMA,FUTURE,SO
-VFMSUBADD231PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 99 /r]           FMA,FUTURE,SY
-VFMSUBADD231PS ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 99 /r]           FMA,FUTURE,SY
-VFMSUBADD231PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 99 /r]           FMA,FUTURE,SO
-VFMSUBADD231PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 99 /r]           FMA,FUTURE,SO
-VFMSUBADD231PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 99 /r]           FMA,FUTURE,SY
-VFMSUBADD231PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 99 /r]           FMA,FUTURE,SY
-VFMSUBADD321PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 99 /r]           FMA,FUTURE,SO
-VFMSUBADD321PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 99 /r]           FMA,FUTURE,SO
-VFMSUBADD321PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 99 /r]           FMA,FUTURE,SY
-VFMSUBADD321PS ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 99 /r]           FMA,FUTURE,SY
-VFMSUBADD321PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 99 /r]           FMA,FUTURE,SO
-VFMSUBADD321PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 99 /r]           FMA,FUTURE,SO
-VFMSUBADD321PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 99 /r]           FMA,FUTURE,SY
-VFMSUBADD321PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 99 /r]           FMA,FUTURE,SY
+VFMSUBADD213PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 a7 /r]           FMA,FUTURE,SO
+VFMSUBADD213PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 a7 /r]           FMA,FUTURE,SO
+VFMSUBADD213PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 a7 /r]           FMA,FUTURE,SY
+VFMSUBADD213PS ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 a7 /r]           FMA,FUTURE,SY
+VFMSUBADD213PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 a7 /r]           FMA,FUTURE,SO
+VFMSUBADD213PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 a7 /r]           FMA,FUTURE,SO
+VFMSUBADD213PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 a7 /r]           FMA,FUTURE,SY
+VFMSUBADD213PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 a7 /r]           FMA,FUTURE,SY
+VFMSUBADD123PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 a7 /r]           FMA,FUTURE,SO
+VFMSUBADD123PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 a7 /r]           FMA,FUTURE,SO
+VFMSUBADD123PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 a7 /r]           FMA,FUTURE,SY
+VFMSUBADD123PS ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 a7 /r]           FMA,FUTURE,SY
+VFMSUBADD123PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 a7 /r]           FMA,FUTURE,SO
+VFMSUBADD123PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 a7 /r]           FMA,FUTURE,SO
+VFMSUBADD123PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 a7 /r]           FMA,FUTURE,SY
+VFMSUBADD123PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 a7 /r]           FMA,FUTURE,SY
+VFMSUBADD231PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 b7 /r]           FMA,FUTURE,SO
+VFMSUBADD231PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 b7 /r]           FMA,FUTURE,SO
+VFMSUBADD231PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 b7 /r]           FMA,FUTURE,SY
+VFMSUBADD231PS ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 b7 /r]           FMA,FUTURE,SY
+VFMSUBADD231PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 b7 /r]           FMA,FUTURE,SO
+VFMSUBADD231PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 b7 /r]           FMA,FUTURE,SO
+VFMSUBADD231PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 b7 /r]           FMA,FUTURE,SY
+VFMSUBADD231PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 b7 /r]           FMA,FUTURE,SY
+VFMSUBADD321PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 b7 /r]           FMA,FUTURE,SO
+VFMSUBADD321PS xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 b7 /r]           FMA,FUTURE,SO
+VFMSUBADD321PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 b7 /r]           FMA,FUTURE,SY
+VFMSUBADD321PS ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 b7 /r]           FMA,FUTURE,SY
+VFMSUBADD321PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 b7 /r]           FMA,FUTURE,SO
+VFMSUBADD321PD xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 b7 /r]           FMA,FUTURE,SO
+VFMSUBADD321PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 b7 /r]           FMA,FUTURE,SY
+VFMSUBADD321PD ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 b7 /r]           FMA,FUTURE,SY
 VFNMADD132PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9c /r]           FMA,FUTURE,SO
 VFNMADD132PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9c /r]           FMA,FUTURE,SO
 VFNMADD132PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9c /r]           FMA,FUTURE,SY
@@ -3500,38 +3500,38 @@ VFNMADD312PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9c /r]           FMA,FUTUR
 VFNMADD312PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9c /r]           FMA,FUTURE,SO
 VFNMADD312PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9c /r]           FMA,FUTURE,SY
 VFNMADD312PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 9c /r]           FMA,FUTURE,SY
-VFNMADD213PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9d /r]           FMA,FUTURE,SO
-VFNMADD213PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9d /r]           FMA,FUTURE,SO
-VFNMADD213PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9d /r]           FMA,FUTURE,SY
-VFNMADD213PS   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 9d /r]           FMA,FUTURE,SY
-VFNMADD213PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9d /r]           FMA,FUTURE,SO
-VFNMADD213PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9d /r]           FMA,FUTURE,SO
-VFNMADD213PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9d /r]           FMA,FUTURE,SY
-VFNMADD213PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 9d /r]           FMA,FUTURE,SY
-VFNMADD123PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9d /r]           FMA,FUTURE,SO
-VFNMADD123PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9d /r]           FMA,FUTURE,SO
-VFNMADD123PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9d /r]           FMA,FUTURE,SY
-VFNMADD123PS   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 9d /r]           FMA,FUTURE,SY
-VFNMADD123PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9d /r]           FMA,FUTURE,SO
-VFNMADD123PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9d /r]           FMA,FUTURE,SO
-VFNMADD123PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9d /r]           FMA,FUTURE,SY
-VFNMADD123PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 9d /r]           FMA,FUTURE,SY
-VFNMADD231PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9e /r]           FMA,FUTURE,SO
-VFNMADD231PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9e /r]           FMA,FUTURE,SO
-VFNMADD231PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9e /r]           FMA,FUTURE,SY
-VFNMADD231PS   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 9e /r]           FMA,FUTURE,SY
-VFNMADD231PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9e /r]           FMA,FUTURE,SO
-VFNMADD231PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9e /r]           FMA,FUTURE,SO
-VFNMADD231PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9e /r]           FMA,FUTURE,SY
-VFNMADD231PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 9e /r]           FMA,FUTURE,SY
-VFNMADD321PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9e /r]           FMA,FUTURE,SO
-VFNMADD321PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9e /r]           FMA,FUTURE,SO
-VFNMADD321PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9e /r]           FMA,FUTURE,SY
-VFNMADD321PS   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 9e /r]           FMA,FUTURE,SY
-VFNMADD321PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9e /r]           FMA,FUTURE,SO
-VFNMADD321PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9e /r]           FMA,FUTURE,SO
-VFNMADD321PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9e /r]           FMA,FUTURE,SY
-VFNMADD321PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 9e /r]           FMA,FUTURE,SY
+VFNMADD213PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 ac /r]           FMA,FUTURE,SO
+VFNMADD213PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 ac /r]           FMA,FUTURE,SO
+VFNMADD213PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 ac /r]           FMA,FUTURE,SY
+VFNMADD213PS   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 ac /r]           FMA,FUTURE,SY
+VFNMADD213PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 ac /r]           FMA,FUTURE,SO
+VFNMADD213PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 ac /r]           FMA,FUTURE,SO
+VFNMADD213PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 ac /r]           FMA,FUTURE,SY
+VFNMADD213PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 ac /r]           FMA,FUTURE,SY
+VFNMADD123PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 ac /r]           FMA,FUTURE,SO
+VFNMADD123PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 ac /r]           FMA,FUTURE,SO
+VFNMADD123PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 ac /r]           FMA,FUTURE,SY
+VFNMADD123PS   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 ac /r]           FMA,FUTURE,SY
+VFNMADD123PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 ac /r]           FMA,FUTURE,SO
+VFNMADD123PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 ac /r]           FMA,FUTURE,SO
+VFNMADD123PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 ac /r]           FMA,FUTURE,SY
+VFNMADD123PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 ac /r]           FMA,FUTURE,SY
+VFNMADD231PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 bc /r]           FMA,FUTURE,SO
+VFNMADD231PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 bc /r]           FMA,FUTURE,SO
+VFNMADD231PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 bc /r]           FMA,FUTURE,SY
+VFNMADD231PS   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 bc /r]           FMA,FUTURE,SY
+VFNMADD231PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 bc /r]           FMA,FUTURE,SO
+VFNMADD231PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 bc /r]           FMA,FUTURE,SO
+VFNMADD231PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 bc /r]           FMA,FUTURE,SY
+VFNMADD231PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 bc /r]           FMA,FUTURE,SY
+VFNMADD321PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 bc /r]           FMA,FUTURE,SO
+VFNMADD321PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 bc /r]           FMA,FUTURE,SO
+VFNMADD321PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 bc /r]           FMA,FUTURE,SY
+VFNMADD321PS   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 bc /r]           FMA,FUTURE,SY
+VFNMADD321PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 bc /r]           FMA,FUTURE,SO
+VFNMADD321PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 bc /r]           FMA,FUTURE,SO
+VFNMADD321PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 bc /r]           FMA,FUTURE,SY
+VFNMADD321PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 bc /r]           FMA,FUTURE,SY
 VFNMSUB132PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9e /r]           FMA,FUTURE,SO
 VFNMSUB132PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9e /r]           FMA,FUTURE,SO
 VFNMSUB132PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9e /r]           FMA,FUTURE,SY
@@ -3548,38 +3548,38 @@ VFNMSUB312PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9e /r]           FMA,FUTUR
 VFNMSUB312PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9e /r]           FMA,FUTURE,SO
 VFNMSUB312PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9e /r]           FMA,FUTURE,SY
 VFNMSUB312PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 9e /r]           FMA,FUTURE,SY
-VFNMSUB213PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9f /r]           FMA,FUTURE,SO
-VFNMSUB213PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9f /r]           FMA,FUTURE,SO
-VFNMSUB213PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9f /r]           FMA,FUTURE,SY
-VFNMSUB213PS   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 9f /r]           FMA,FUTURE,SY
-VFNMSUB213PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9f /r]           FMA,FUTURE,SO
-VFNMSUB213PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9f /r]           FMA,FUTURE,SO
-VFNMSUB213PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9f /r]           FMA,FUTURE,SY
-VFNMSUB213PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 9f /r]           FMA,FUTURE,SY
-VFNMSUB123PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9f /r]           FMA,FUTURE,SO
-VFNMSUB123PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9f /r]           FMA,FUTURE,SO
-VFNMSUB123PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9f /r]           FMA,FUTURE,SY
-VFNMSUB123PS   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 9f /r]           FMA,FUTURE,SY
-VFNMSUB123PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9f /r]           FMA,FUTURE,SO
-VFNMSUB123PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9f /r]           FMA,FUTURE,SO
-VFNMSUB123PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9f /r]           FMA,FUTURE,SY
-VFNMSUB123PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 9f /r]           FMA,FUTURE,SY
-VFNMSUB231PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 a0 /r]           FMA,FUTURE,SO
-VFNMSUB231PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 a0 /r]           FMA,FUTURE,SO
-VFNMSUB231PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 a0 /r]           FMA,FUTURE,SY
-VFNMSUB231PS   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 a0 /r]           FMA,FUTURE,SY
-VFNMSUB231PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 a0 /r]           FMA,FUTURE,SO
-VFNMSUB231PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 a0 /r]           FMA,FUTURE,SO
-VFNMSUB231PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 a0 /r]           FMA,FUTURE,SY
-VFNMSUB231PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 a0 /r]           FMA,FUTURE,SY
-VFNMSUB321PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 a0 /r]           FMA,FUTURE,SO
-VFNMSUB321PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 a0 /r]           FMA,FUTURE,SO
-VFNMSUB321PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 a0 /r]           FMA,FUTURE,SY
-VFNMSUB321PS   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 a0 /r]           FMA,FUTURE,SY
-VFNMSUB321PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 a0 /r]           FMA,FUTURE,SO
-VFNMSUB321PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 a0 /r]           FMA,FUTURE,SO
-VFNMSUB321PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 a0 /r]           FMA,FUTURE,SY
-VFNMSUB321PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 a0 /r]           FMA,FUTURE,SY
+VFNMSUB213PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 ae /r]           FMA,FUTURE,SO
+VFNMSUB213PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 ae /r]           FMA,FUTURE,SO
+VFNMSUB213PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 ae /r]           FMA,FUTURE,SY
+VFNMSUB213PS   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 ae /r]           FMA,FUTURE,SY
+VFNMSUB213PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 ae /r]           FMA,FUTURE,SO
+VFNMSUB213PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 ae /r]           FMA,FUTURE,SO
+VFNMSUB213PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 ae /r]           FMA,FUTURE,SY
+VFNMSUB213PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 ae /r]           FMA,FUTURE,SY
+VFNMSUB123PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 ae /r]           FMA,FUTURE,SO
+VFNMSUB123PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 ae /r]           FMA,FUTURE,SO
+VFNMSUB123PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 ae /r]           FMA,FUTURE,SY
+VFNMSUB123PS   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 ae /r]           FMA,FUTURE,SY
+VFNMSUB123PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 ae /r]           FMA,FUTURE,SO
+VFNMSUB123PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 ae /r]           FMA,FUTURE,SO
+VFNMSUB123PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 ae /r]           FMA,FUTURE,SY
+VFNMSUB123PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 ae /r]           FMA,FUTURE,SY
+VFNMSUB231PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 be /r]           FMA,FUTURE,SO
+VFNMSUB231PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 be /r]           FMA,FUTURE,SO
+VFNMSUB231PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 be /r]           FMA,FUTURE,SY
+VFNMSUB231PS   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 be /r]           FMA,FUTURE,SY
+VFNMSUB231PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 be /r]           FMA,FUTURE,SO
+VFNMSUB231PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 be /r]           FMA,FUTURE,SO
+VFNMSUB231PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 be /r]           FMA,FUTURE,SY
+VFNMSUB231PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 be /r]           FMA,FUTURE,SY
+VFNMSUB321PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 be /r]           FMA,FUTURE,SO
+VFNMSUB321PS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 be /r]           FMA,FUTURE,SO
+VFNMSUB321PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 be /r]           FMA,FUTURE,SY
+VFNMSUB321PS   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w0 be /r]           FMA,FUTURE,SY
+VFNMSUB321PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 be /r]           FMA,FUTURE,SO
+VFNMSUB321PD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 be /r]           FMA,FUTURE,SO
+VFNMSUB321PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 be /r]           FMA,FUTURE,SY
+VFNMSUB321PD   ymmreg,ymmrm                    [r+vm:  vex.dds.256.66.0f38.w1 be /r]           FMA,FUTURE,SY
 VFMADD132SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 99 /r]           FMA,FUTURE,SD
 VFMADD132SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 99 /r]           FMA,FUTURE,SD
 VFMADD132SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 99 /r]           FMA,FUTURE,SQ
@@ -3588,22 +3588,22 @@ VFMADD312SS     xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 99 /r]           FMA,FUTURE
 VFMADD312SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 99 /r]           FMA,FUTURE,SD
 VFMADD312SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 99 /r]           FMA,FUTURE,SQ
 VFMADD312SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 99 /r]           FMA,FUTURE,SQ
-VFMADD213SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9a /r]           FMA,FUTURE,SD
-VFMADD213SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9a /r]           FMA,FUTURE,SD
-VFMADD213SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9a /r]           FMA,FUTURE,SQ
-VFMADD213SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9a /r]           FMA,FUTURE,SQ
-VFMADD123SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9a /r]           FMA,FUTURE,SD
-VFMADD123SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9a /r]           FMA,FUTURE,SD
-VFMADD123SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9a /r]           FMA,FUTURE,SQ
-VFMADD123SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9a /r]           FMA,FUTURE,SQ
-VFMADD231SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9b /r]           FMA,FUTURE,SD
-VFMADD231SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9b /r]           FMA,FUTURE,SD
-VFMADD231SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9b /r]           FMA,FUTURE,SQ
-VFMADD231SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9b /r]           FMA,FUTURE,SQ
-VFMADD321SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9b /r]           FMA,FUTURE,SD
-VFMADD321SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9b /r]           FMA,FUTURE,SD
-VFMADD321SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9b /r]           FMA,FUTURE,SQ
-VFMADD321SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9b /r]           FMA,FUTURE,SQ
+VFMADD213SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 a9 /r]           FMA,FUTURE,SD
+VFMADD213SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 a9 /r]           FMA,FUTURE,SD
+VFMADD213SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 a9 /r]           FMA,FUTURE,SQ
+VFMADD213SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 a9 /r]           FMA,FUTURE,SQ
+VFMADD123SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 a9 /r]           FMA,FUTURE,SD
+VFMADD123SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 a9 /r]           FMA,FUTURE,SD
+VFMADD123SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 a9 /r]           FMA,FUTURE,SQ
+VFMADD123SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 a9 /r]           FMA,FUTURE,SQ
+VFMADD231SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 b9 /r]           FMA,FUTURE,SD
+VFMADD231SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 b9 /r]           FMA,FUTURE,SD
+VFMADD231SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 b9 /r]           FMA,FUTURE,SQ
+VFMADD231SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 b9 /r]           FMA,FUTURE,SQ
+VFMADD321SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 b9 /r]           FMA,FUTURE,SD
+VFMADD321SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 b9 /r]           FMA,FUTURE,SD
+VFMADD321SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 b9 /r]           FMA,FUTURE,SQ
+VFMADD321SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 b9 /r]           FMA,FUTURE,SQ
 VFMSUB132SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9b /r]           FMA,FUTURE,SD
 VFMSUB132SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9b /r]           FMA,FUTURE,SD
 VFMSUB132SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9b /r]           FMA,FUTURE,SQ
@@ -3612,46 +3612,46 @@ VFMSUB312SS     xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9b /r]           FMA,FUTURE
 VFMSUB312SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9b /r]           FMA,FUTURE,SD
 VFMSUB312SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9b /r]           FMA,FUTURE,SQ
 VFMSUB312SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9b /r]           FMA,FUTURE,SQ
-VFMSUB213SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9c /r]           FMA,FUTURE,SD
-VFMSUB213SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9c /r]           FMA,FUTURE,SD
-VFMSUB213SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9c /r]           FMA,FUTURE,SQ
-VFMSUB213SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9c /r]           FMA,FUTURE,SQ
-VFMSUB123SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9c /r]           FMA,FUTURE,SD
-VFMSUB123SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9c /r]           FMA,FUTURE,SD
-VFMSUB123SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9c /r]           FMA,FUTURE,SQ
-VFMSUB123SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9c /r]           FMA,FUTURE,SQ
-VFMSUB231SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9d /r]           FMA,FUTURE,SD
-VFMSUB231SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9d /r]           FMA,FUTURE,SD
-VFMSUB231SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9d /r]           FMA,FUTURE,SQ
-VFMSUB231SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9d /r]           FMA,FUTURE,SQ
-VFMSUB321SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9d /r]           FMA,FUTURE,SD
-VFMSUB321SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9d /r]           FMA,FUTURE,SD
-VFMSUB321SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9d /r]           FMA,FUTURE,SQ
-VFMSUB321SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9d /r]           FMA,FUTURE,SQ
-VFNMADD132SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9c /r]           FMA,FUTURE,SD
-VFNMADD132SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9c /r]           FMA,FUTURE,SD
-VFNMADD132SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9c /r]           FMA,FUTURE,SQ
-VFNMADD132SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9c /r]           FMA,FUTURE,SQ
-VFNMADD312SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9c /r]           FMA,FUTURE,SD
-VFNMADD312SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9c /r]           FMA,FUTURE,SD
-VFNMADD312SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9c /r]           FMA,FUTURE,SQ
-VFNMADD312SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9c /r]           FMA,FUTURE,SQ
-VFNMADD213SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9d /r]           FMA,FUTURE,SD
-VFNMADD213SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9d /r]           FMA,FUTURE,SD
-VFNMADD213SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9d /r]           FMA,FUTURE,SQ
-VFNMADD213SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9d /r]           FMA,FUTURE,SQ
-VFNMADD123SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9d /r]           FMA,FUTURE,SD
-VFNMADD123SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9d /r]           FMA,FUTURE,SD
-VFNMADD123SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9d /r]           FMA,FUTURE,SQ
-VFNMADD123SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9d /r]           FMA,FUTURE,SQ
-VFNMADD231SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9e /r]           FMA,FUTURE,SD
-VFNMADD231SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9e /r]           FMA,FUTURE,SD
-VFNMADD231SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9e /r]           FMA,FUTURE,SQ
-VFNMADD231SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9e /r]           FMA,FUTURE,SQ
-VFNMADD321SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9e /r]           FMA,FUTURE,SD
-VFNMADD321SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9e /r]           FMA,FUTURE,SD
-VFNMADD321SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9e /r]           FMA,FUTURE,SQ
-VFNMADD321SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9e /r]           FMA,FUTURE,SQ
+VFMSUB213SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 ab /r]           FMA,FUTURE,SD
+VFMSUB213SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 ab /r]           FMA,FUTURE,SD
+VFMSUB213SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 ab /r]           FMA,FUTURE,SQ
+VFMSUB213SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 ab /r]           FMA,FUTURE,SQ
+VFMSUB123SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 ab /r]           FMA,FUTURE,SD
+VFMSUB123SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 ab /r]           FMA,FUTURE,SD
+VFMSUB123SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 ab /r]           FMA,FUTURE,SQ
+VFMSUB123SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 ab /r]           FMA,FUTURE,SQ
+VFMSUB231SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 bb /r]           FMA,FUTURE,SD
+VFMSUB231SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 bb /r]           FMA,FUTURE,SD
+VFMSUB231SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 bb /r]           FMA,FUTURE,SQ
+VFMSUB231SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 bb /r]           FMA,FUTURE,SQ
+VFMSUB321SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 bb /r]           FMA,FUTURE,SD
+VFMSUB321SS    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 bb /r]           FMA,FUTURE,SD
+VFMSUB321SD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 bb /r]           FMA,FUTURE,SQ
+VFMSUB321SD    xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 bb /r]           FMA,FUTURE,SQ
+VFNMADD132SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9d /r]           FMA,FUTURE,SD
+VFNMADD132SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9d /r]           FMA,FUTURE,SD
+VFNMADD132SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9d /r]           FMA,FUTURE,SQ
+VFNMADD132SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9d /r]           FMA,FUTURE,SQ
+VFNMADD312SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9d /r]           FMA,FUTURE,SD
+VFNMADD312SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9d /r]           FMA,FUTURE,SD
+VFNMADD312SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9d /r]           FMA,FUTURE,SQ
+VFNMADD312SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9d /r]           FMA,FUTURE,SQ
+VFNMADD213SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 ad /r]           FMA,FUTURE,SD
+VFNMADD213SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 ad /r]           FMA,FUTURE,SD
+VFNMADD213SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 ad /r]           FMA,FUTURE,SQ
+VFNMADD213SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 ad /r]           FMA,FUTURE,SQ
+VFNMADD123SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 ad /r]           FMA,FUTURE,SD
+VFNMADD123SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 ad /r]           FMA,FUTURE,SD
+VFNMADD123SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 ad /r]           FMA,FUTURE,SQ
+VFNMADD123SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 ad /r]           FMA,FUTURE,SQ
+VFNMADD231SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 bd /r]           FMA,FUTURE,SD
+VFNMADD231SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 bd /r]           FMA,FUTURE,SD
+VFNMADD231SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 bd /r]           FMA,FUTURE,SQ
+VFNMADD231SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 bd /r]           FMA,FUTURE,SQ
+VFNMADD321SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 bd /r]           FMA,FUTURE,SD
+VFNMADD321SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 bd /r]           FMA,FUTURE,SD
+VFNMADD321SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 bd /r]           FMA,FUTURE,SQ
+VFNMADD321SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 bd /r]           FMA,FUTURE,SQ
 VFNMSUB132SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9f /r]           FMA,FUTURE,SD
 VFNMSUB132SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9f /r]           FMA,FUTURE,SD
 VFNMSUB132SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9f /r]           FMA,FUTURE,SQ
@@ -3660,22 +3660,22 @@ VFNMSUB312SS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9f /r]           FMA,FUTUR
 VFNMSUB312SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 9f /r]           FMA,FUTURE,SD
 VFNMSUB312SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9f /r]           FMA,FUTURE,SQ
 VFNMSUB312SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 9f /r]           FMA,FUTURE,SQ
-VFNMSUB213SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 a0 /r]           FMA,FUTURE,SD
-VFNMSUB213SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 a0 /r]           FMA,FUTURE,SD
-VFNMSUB213SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 a0 /r]           FMA,FUTURE,SQ
-VFNMSUB213SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 a0 /r]           FMA,FUTURE,SQ
-VFNMSUB123SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 a0 /r]           FMA,FUTURE,SD
-VFNMSUB123SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 a0 /r]           FMA,FUTURE,SD
-VFNMSUB123SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 a0 /r]           FMA,FUTURE,SQ
-VFNMSUB123SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 a0 /r]           FMA,FUTURE,SQ
-VFNMSUB231SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 a1 /r]           FMA,FUTURE,SD
-VFNMSUB231SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 a1 /r]           FMA,FUTURE,SD
-VFNMSUB231SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 a1 /r]           FMA,FUTURE,SQ
-VFNMSUB231SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 a1 /r]           FMA,FUTURE,SQ
-VFNMSUB321SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 a1 /r]           FMA,FUTURE,SD
-VFNMSUB321SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 a1 /r]           FMA,FUTURE,SD
-VFNMSUB321SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 a1 /r]           FMA,FUTURE,SQ
-VFNMSUB321SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 a1 /r]           FMA,FUTURE,SQ
+VFNMSUB213SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 af /r]           FMA,FUTURE,SD
+VFNMSUB213SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 af /r]           FMA,FUTURE,SD
+VFNMSUB213SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 af /r]           FMA,FUTURE,SQ
+VFNMSUB213SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 af /r]           FMA,FUTURE,SQ
+VFNMSUB123SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 af /r]           FMA,FUTURE,SD
+VFNMSUB123SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 af /r]           FMA,FUTURE,SD
+VFNMSUB123SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 af /r]           FMA,FUTURE,SQ
+VFNMSUB123SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 af /r]           FMA,FUTURE,SQ
+VFNMSUB231SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 bf /r]           FMA,FUTURE,SD
+VFNMSUB231SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 bf /r]           FMA,FUTURE,SD
+VFNMSUB231SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 bf /r]           FMA,FUTURE,SQ
+VFNMSUB231SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 bf /r]           FMA,FUTURE,SQ
+VFNMSUB321SS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 bf /r]           FMA,FUTURE,SD
+VFNMSUB321SS   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w0 bf /r]           FMA,FUTURE,SD
+VFNMSUB321SD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 bf /r]           FMA,FUTURE,SQ
+VFNMSUB321SD   xmmreg,xmmrm                    [r+vm:  vex.dds.128.66.0f38.w1 bf /r]           FMA,FUTURE,SQ
 
 ;# VIA (Centaur) security instructions
 XSTORE         void                            \3\x0F\xA7\xC0                                  PENT,CYRIX
diff --git a/misc/genfma.pl b/misc/genfma.pl
index b1bb001..8f849c2 100755 (executable)
--- a/misc/genfma.pl
+++ b/misc/genfma.pl
@@ -11,7 +11,7 @@
 %scalar_insns = (
     'vfmadd'    => 0x99,
     'vfmsub'    => 0x9b,
-    'vfnmadd'   => 0x9c,
+    'vfnmadd'   => 0x9d,
     'vfnmsub'   => 0x9f
     );
 
@@ -42,7 +42,7 @@ foreach $pi ( sort(keys(%packed_insns)) ) {
                }
            }
        }
-       $op++;
+       $op += 0x10;
     }
 }
 
@@ -72,6 +72,6 @@ foreach $si ( sort(keys(%scalar_insns)) ) {
                "FMA,FUTURE,${sx}";
            }
        }
-       $op++;
+       $op += 0x10;
     }
 }
Domain: System / Toolchain;