Intel FMA: drop relaxed forms
[platform/upstream/nasm.git] / insns.dat
index 18597cb..fa2b4ba 100644 (file)
--- a/insns.dat
+++ b/insns.dat
@@ -2881,198 +2881,198 @@ VPCLMULHQHQDQ xmmreg,xmmreg*,xmmrm            [rvm:   vex.nds.128.66.0f3a 44 /r 11]           AVX,SAN
 VPCLMULQDQ     xmmreg,xmmreg*,xmmrm,imm        [rvmi:  vex.nds.128.66.0f3a 44 /r ib]           AVX,SANDYBRIDGE,SO
 
 ;# Intel Fused Multiply-Add instructions (FMA)
-VFMADD132PS    xmmreg,xmmreg*,xmmrm            [rvm:   vex.dds.128.66.0f38.w0 98 /r]           FMA,FUTURE,SO
-VFMADD132PS    ymmreg,ymmreg*,ymmrm            [rvm:   vex.dds.256.66.0f38.w0 98 /r]           FMA,FUTURE,SY
-VFMADD132PD    xmmreg,xmmreg*,xmmrm            [rvm:   vex.dds.128.66.0f38.w1 98 /r]           FMA,FUTURE,SO
-VFMADD132PD    ymmreg,ymmreg*,ymmrm            [rvm:   vex.dds.256.66.0f38.w1 98 /r]           FMA,FUTURE,SY
-VFMADD312PS    xmmreg,xmmreg*,xmmrm            [rvm:   vex.dds.128.66.0f38.w0 98 /r]           FMA,FUTURE,SO
-VFMADD312PS    ymmreg,ymmreg*,ymmrm            [rvm:   vex.dds.256.66.0f38.w0 98 /r]           FMA,FUTURE,SY
-VFMADD312PD    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADD213PS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADD213PD    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADD123PS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADD123PD    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADD231PS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADD231PD    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADD321PS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADD321PD    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADDSUB132PS xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADDSUB132PD xmmreg,xmmreg*,xmmrm            [rvm:   vex.dds.128.66.0f38.w1 96 /r]           FMA,FUTURE,SO
-VFMADDSUB132PD ymmreg,ymmreg*,ymmrm            [rvm:   vex.dds.256.66.0f38.w1 96 /r]           FMA,FUTURE,SY
-VFMADDSUB312PS xmmreg,xmmreg*,xmmrm            [rvm:   vex.dds.128.66.0f38.w0 96 /r]           FMA,FUTURE,SO
-VFMADDSUB312PS ymmreg,ymmreg*,ymmrm            [rvm:   vex.dds.256.66.0f38.w0 96 /r]           FMA,FUTURE,SY
-VFMADDSUB312PD xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADDSUB213PS xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADDSUB213PD xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADDSUB123PS xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADDSUB123PD xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADDSUB231PS xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADDSUB231PD xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADDSUB321PS xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADDSUB321PD xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUB132PS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUB132PD    xmmreg,xmmreg*,xmmrm            [rvm:   vex.dds.128.66.0f38.w1 9a /r]           FMA,FUTURE,SO
-VFMSUB132PD    ymmreg,ymmreg*,ymmrm            [rvm:   vex.dds.256.66.0f38.w1 9a /r]           FMA,FUTURE,SY
-VFMSUB312PS    xmmreg,xmmreg*,xmmrm            [rvm:   vex.dds.128.66.0f38.w0 9a /r]           FMA,FUTURE,SO
-VFMSUB312PS    ymmreg,ymmreg*,ymmrm            [rvm:   vex.dds.256.66.0f38.w0 9a /r]           FMA,FUTURE,SY
-VFMSUB312PD    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUB213PS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUB213PD    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUB123PS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUB123PD    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUB231PS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUB231PD    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUB321PS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUB321PD    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUBADD132PS xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUBADD132PD xmmreg,xmmreg*,xmmrm            [rvm:   vex.dds.128.66.0f38.w1 97 /r]           FMA,FUTURE,SO
-VFMSUBADD132PD ymmreg,ymmreg*,ymmrm            [rvm:   vex.dds.256.66.0f38.w1 97 /r]           FMA,FUTURE,SY
-VFMSUBADD312PS xmmreg,xmmreg*,xmmrm            [rvm:   vex.dds.128.66.0f38.w0 97 /r]           FMA,FUTURE,SO
-VFMSUBADD312PS ymmreg,ymmreg*,ymmrm            [rvm:   vex.dds.256.66.0f38.w0 97 /r]           FMA,FUTURE,SY
-VFMSUBADD312PD xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUBADD213PS xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUBADD213PD xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUBADD123PS xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUBADD123PD xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUBADD231PS xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUBADD231PD xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUBADD321PS xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUBADD321PD xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMADD132PS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMADD132PD   xmmreg,xmmreg*,xmmrm            [rvm:   vex.dds.128.66.0f38.w1 9c /r]           FMA,FUTURE,SO
-VFNMADD132PD   ymmreg,ymmreg*,ymmrm            [rvm:   vex.dds.256.66.0f38.w1 9c /r]           FMA,FUTURE,SY
-VFNMADD312PS   xmmreg,xmmreg*,xmmrm            [rvm:   vex.dds.128.66.0f38.w0 9c /r]           FMA,FUTURE,SO
-VFNMADD312PS   ymmreg,ymmreg*,ymmrm            [rvm:   vex.dds.256.66.0f38.w0 9c /r]           FMA,FUTURE,SY
-VFNMADD312PD   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMADD213PS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMADD213PD   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMADD123PS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMADD123PD   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMADD231PS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMADD231PD   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMADD321PS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMADD321PD   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMSUB132PS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMSUB132PD   xmmreg,xmmreg*,xmmrm            [rvm:   vex.dds.128.66.0f38.w1 9e /r]           FMA,FUTURE,SO
-VFNMSUB132PD   ymmreg,ymmreg*,ymmrm            [rvm:   vex.dds.256.66.0f38.w1 9e /r]           FMA,FUTURE,SY
-VFNMSUB312PS   xmmreg,xmmreg*,xmmrm            [rvm:   vex.dds.128.66.0f38.w0 9e /r]           FMA,FUTURE,SO
-VFNMSUB312PS   ymmreg,ymmreg*,ymmrm            [rvm:   vex.dds.256.66.0f38.w0 9e /r]           FMA,FUTURE,SY
-VFNMSUB312PD   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMSUB213PS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMSUB213PD   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMSUB123PS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMSUB123PD   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMSUB231PS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMSUB231PD   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMSUB321PS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMSUB321PD   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADD132SS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADD312SS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADD213SS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADD123SS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADD231SS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMADD321SS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUB132SS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUB312SS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUB213SS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUB123SS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUB231SS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFMSUB321SS    xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMADD132SS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMADD312SS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMADD213SS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMADD123SS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMADD231SS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMADD321SS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMSUB132SS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMSUB312SS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMSUB213SS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMSUB123SS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMSUB231SS   xmmreg,xmmreg*,xmmrm            [rvm:   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
-VFNMSUB321SS   xmmreg,xmmreg*,xmmrm            [rvm:   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
+VFMADD132PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 98 /r]           FMA,FUTURE,SO
+VFMADD132PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 98 /r]           FMA,FUTURE,SY
+VFMADD132PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 98 /r]           FMA,FUTURE,SO
+VFMADD132PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 98 /r]           FMA,FUTURE,SY
+VFMADD312PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 98 /r]           FMA,FUTURE,SO
+VFMADD312PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 98 /r]           FMA,FUTURE,SY
+VFMADD312PD    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADD213PS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADD213PD    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADD123PS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADD123PD    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADD231PS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADD231PD    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADD321PS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADD321PD    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADDSUB132PS xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADDSUB132PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 96 /r]           FMA,FUTURE,SO
+VFMADDSUB132PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 96 /r]           FMA,FUTURE,SY
+VFMADDSUB312PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 96 /r]           FMA,FUTURE,SO
+VFMADDSUB312PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 96 /r]           FMA,FUTURE,SY
+VFMADDSUB312PD xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADDSUB213PS xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADDSUB213PD xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADDSUB123PS xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADDSUB123PD xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADDSUB231PS xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADDSUB231PD xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADDSUB321PS xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADDSUB321PD xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUB132PS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUB132PD    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9a /r]           FMA,FUTURE,SO
+VFMSUB132PD    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9a /r]           FMA,FUTURE,SY
+VFMSUB312PS    xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9a /r]           FMA,FUTURE,SO
+VFMSUB312PS    ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9a /r]           FMA,FUTURE,SY
+VFMSUB312PD    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUB213PS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUB213PD    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUB123PS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUB123PD    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUB231PS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUB231PD    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUB321PS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUB321PD    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUBADD132PS xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUBADD132PD xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 97 /r]           FMA,FUTURE,SO
+VFMSUBADD132PD ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 97 /r]           FMA,FUTURE,SY
+VFMSUBADD312PS xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 97 /r]           FMA,FUTURE,SO
+VFMSUBADD312PS ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 97 /r]           FMA,FUTURE,SY
+VFMSUBADD312PD xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUBADD213PS xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUBADD213PD xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUBADD123PS xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUBADD123PD xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUBADD231PS xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUBADD231PD xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUBADD321PS xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUBADD321PD xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMADD132PS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMADD132PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9c /r]           FMA,FUTURE,SO
+VFNMADD132PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9c /r]           FMA,FUTURE,SY
+VFNMADD312PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9c /r]           FMA,FUTURE,SO
+VFNMADD312PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9c /r]           FMA,FUTURE,SY
+VFNMADD312PD   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMADD213PS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMADD213PD   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMADD123PS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMADD123PD   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMADD231PS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMADD231PD   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMADD321PS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMADD321PD   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMSUB132PS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMSUB132PD   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w1 9e /r]           FMA,FUTURE,SO
+VFNMSUB132PD   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w1 9e /r]           FMA,FUTURE,SY
+VFNMSUB312PS   xmmreg,xmmreg,xmmrm             [rvm:   vex.dds.128.66.0f38.w0 9e /r]           FMA,FUTURE,SO
+VFNMSUB312PS   ymmreg,ymmreg,ymmrm             [rvm:   vex.dds.256.66.0f38.w0 9e /r]           FMA,FUTURE,SY
+VFNMSUB312PD   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMSUB213PS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMSUB213PD   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMSUB123PS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMSUB123PD   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMSUB231PS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMSUB231PD   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMSUB321PS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMSUB321PD   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADD132SS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADD312SS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADD213SS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADD123SS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADD231SS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMADD321SS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUB132SS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUB312SS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUB213SS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUB123SS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUB231SS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFMSUB321SS    xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMADD132SS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMADD312SS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMADD213SS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMADD123SS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMADD231SS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMADD321SS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMSUB132SS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMSUB312SS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMSUB213SS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMSUB123SS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMSUB231SS   xmmreg,xmmreg,xmmrm             [rvm:   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
+VFNMSUB321SS   xmmreg,xmmreg,xmmrm             [rvm:   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
 
 ;# VIA (Centaur) security instructions
 XSTORE         void                            \3\x0F\xA7\xC0                                  PENT,CYRIX