projects / platform / upstream / nasm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c47ef94)
AVX-512: Reorder instructions in insns.dat
authorJin Kyu Song <jin.kyu.song@intel.com>
Sat, 31 Aug 2013 01:10:36 +0000 (18:10 -0700)
committerCyrill Gorcunov <gorcunov@gmail.com>
Sat, 7 Sep 2013 07:50:18 +0000 (11:50 +0400)
Within a same instruction mnemonic, instructions are reordered
in order of opcode byte value.
Therefore when there are two possible opcode candidates, smaller
opcode is picked now.
e.g.) vmovapd zmm30, zmm29 -> now 28h is used. 29h previously

Signed-off-by: Jin Kyu Song <jin.kyu.song@intel.com>
Signed-off-by: Cyrill Gorcunov <gorcunov@gmail.com>
insns.dat patch | blob | history

diff --git a/insns.dat b/insns.dat
index cfb2d71..3c9b1ca 100644 (file)
--- a/insns.dat
+++ b/insns.dat
@@ -3458,7 +3458,7 @@ TZMSK             reg64,rm64                      [vm:    xop.ndd.lz.m9.w1 01 /4]                 LONG,FUTURE,TBM
 T1MSKC         reg32,rm32                      [vm:    xop.ndd.lz.m9.w0 01 /7]                 FUTURE,TBM
 T1MSKC         reg64,rm64                      [vm:    xop.ndd.lz.m9.w1 01 /7]                 LONG,FUTURE,TBM
 
-;# Intel AVX512 instructions
+;# Intel AVX-512 instructions
 ;
 ; based on pub number 319433-015 dated July 2013
 ;
@@ -3476,8 +3476,8 @@ VBROADCASTI32X4  zmmreg|mask|z,mem128                          [rm:t4:
 VBROADCASTI64X4  zmmreg|mask|z,mem256                          [rm:t4:            evex.512.66.0f38.w1 5b /r ]  AVX512,FUTURE
 VBROADCASTSD     zmmreg|mask|z,mem64                           [rm:t1s:           evex.512.66.0f38.w1 19 /r ]  AVX512,FUTURE
 VBROADCASTSD     zmmreg|mask|z,xmmreg                          [rm:               evex.512.66.0f38.w1 19 /r ]  AVX512,FUTURE
-VBROADCASTSS     zmmreg|mask|z,mem32                           [rm:t1s:           evex.512.66.0f38.w0 18 /r ]  AVX512,FUTURE
 VBROADCASTSS     zmmreg|mask|z,xmmreg                          [rm:               evex.512.66.0f38.w0 18 /r ]  AVX512,FUTURE
+VBROADCASTSS     zmmreg|mask|z,mem32                           [rm:t1s:           evex.512.66.0f38.w0 18 /r ]  AVX512,FUTURE
 VCMPPD           kreg|mask,zmmreg,zmmrm512|b64|sae,imm8        [rvmi:fv:     evex.nds.512.66.0f.w1 c2 /r ib ]  AVX512,FUTURE
 VCMPPS           kreg|mask,zmmreg,zmmrm512|b32|sae,imm8        [rvmi:fv:        evex.nds.512.0f.w0 c2 /r ib ]  AVX512,FUTURE
 VCMPSD           kreg|mask,xmmreg,xmmrm64|sae,imm8             [rvmi:t1s:    evex.nds.lig.f2.0f.w1 c2 /r ib ]  AVX512,FUTURE
@@ -3496,16 +3496,16 @@ VCVTPD2UDQ       ymmreg|mask|z,zmmrm512|b64|er                 [rm:fv:
 VCVTPH2PS        zmmreg|mask|z,ymmrm256|sae                    [rm:hvm:           evex.512.66.0f38.w0 13 /r ]  AVX512,FUTURE
 VCVTPS2DQ        zmmreg|mask|z,zmmrm512|b32|er                 [rm:fv:              evex.512.66.0f.w0 5b /r ]  AVX512,FUTURE
 VCVTPS2PD        zmmreg|mask|z,ymmrm256|b32|sae                [rm:hv:                 evex.512.0f.w0 5a /r ]  AVX512,FUTURE
-VCVTPS2PH        mem256|mask,zmmreg|sae,imm8                   [mri:hvm:       evex.512.66.0f3a.w0 1d /r ib ]  AVX512,FUTURE
 VCVTPS2PH        ymmreg|mask|z,zmmreg|sae,imm8                 [mri:hvm:       evex.512.66.0f3a.w0 1d /r ib ]  AVX512,FUTURE
+VCVTPS2PH        mem256|mask,zmmreg|sae,imm8                   [mri:hvm:       evex.512.66.0f3a.w0 1d /r ib ]  AVX512,FUTURE
 VCVTPS2UDQ       zmmreg|mask|z,zmmrm512|b32|er                 [rm:fv:                 evex.512.0f.w0 79 /r ]  AVX512,FUTURE
-VCVTSD2SI        reg32,xmmrm64|er                              [rm:t1f64:           evex.lig.f2.0f.w0 2d /r ]  AVX512,FUTURE
 VCVTSD2SI        reg64,xmmrm64|er                              [rm:t1f64:           evex.lig.f2.0f.w1 2d /r ]  AVX512,FUTURE
+VCVTSD2SI        reg32,xmmrm64|er                              [rm:t1f64:           evex.lig.f2.0f.w0 2d /r ]  AVX512,FUTURE
 VCVTSD2SS        xmmreg|mask|z,xmmreg,xmmrm64|er               [rvm:t1s:        evex.nds.lig.f2.0f.w1 5a /r ]  AVX512,FUTURE
-VCVTSD2USI       reg32,xmmrm64|er                              [rm:t1f64:           evex.lig.f2.0f.w0 79 /r ]  AVX512,FUTURE
 VCVTSD2USI       reg64,xmmrm64|er                              [rm:t1f64:           evex.lig.f2.0f.w1 79 /r ]  AVX512,FUTURE
-VCVTSI2SD        xmmreg,xmmreg|er,rm32                         [rvm:t1s:        evex.nds.lig.f2.0f.w0 2a /r ]  AVX512,FUTURE
+VCVTSD2USI       reg32,xmmrm64|er                              [rm:t1f64:           evex.lig.f2.0f.w0 79 /r ]  AVX512,FUTURE
 VCVTSI2SD        xmmreg,xmmreg|er,rm64                         [rvm:t1s:        evex.nds.lig.f2.0f.w1 2a /r ]  AVX512,FUTURE
+VCVTSI2SD        xmmreg,xmmreg|er,rm32                         [rvm:t1s:        evex.nds.lig.f2.0f.w0 2a /r ]  AVX512,FUTURE
 VCVTSI2SS        xmmreg,xmmreg|er,rm32                         [rvm:t1s:        evex.nds.lig.f3.0f.w0 2a /r ]  AVX512,FUTURE
 VCVTSI2SS        xmmreg,xmmreg|er,rm64                         [rvm:t1s:        evex.nds.lig.f3.0f.w1 2a /r ]  AVX512,FUTURE
 VCVTSS2SD        xmmreg|mask|z,xmmreg,xmmrm32|sae              [rvm:t1s:        evex.nds.lig.f3.0f.w0 5a /r ]  AVX512,FUTURE
@@ -3517,20 +3517,20 @@ VCVTTPD2DQ       ymmreg|mask|z,zmmrm512|b64|sae                [rm:fv:
 VCVTTPD2UDQ      ymmreg|mask|z,zmmrm512|b64|sae                [rm:fv:                 evex.512.0f.w1 78 /r ]  AVX512,FUTURE
 VCVTTPS2DQ       zmmreg|mask|z,zmmrm512|b32|sae                [rm:fv:              evex.512.f3.0f.w0 5b /r ]  AVX512,FUTURE
 VCVTTPS2UDQ      zmmreg|mask|z,zmmrm512|b32|sae                [rm:fv:                 evex.512.0f.w0 78 /r ]  AVX512,FUTURE
-VCVTTSD2SI       reg32,xmmrm64|sae                             [rm:t1f64:           evex.lig.f2.0f.w0 2c /r ]  AVX512,FUTURE
 VCVTTSD2SI       reg64,xmmrm64|sae                             [rm:t1f64:           evex.lig.f2.0f.w1 2c /r ]  AVX512,FUTURE
+VCVTTSD2SI       reg32,xmmrm64|sae                             [rm:t1f64:           evex.lig.f2.0f.w0 2c /r ]  AVX512,FUTURE
 VCVTTSD2USI      reg32,xmmrm64|sae                             [rm:t1f64:           evex.lig.f2.0f.w0 78 /r ]  AVX512,FUTURE
 VCVTTSD2USI      reg64,xmmrm64|sae                             [rm:t1f64:           evex.lig.f2.0f.w1 78 /r ]  AVX512,FUTURE
-VCVTTSS2SI       reg32,xmmrm32|sae                             [rm:t1f32:           evex.lig.f3.0f.w0 2c /r ]  AVX512,FUTURE
 VCVTTSS2SI       reg64,xmmrm32|sae                             [rm:t1f32:           evex.lig.f3.0f.w1 2c /r ]  AVX512,FUTURE
+VCVTTSS2SI       reg32,xmmrm32|sae                             [rm:t1f32:           evex.lig.f3.0f.w0 2c /r ]  AVX512,FUTURE
 VCVTTSS2USI      reg32,xmmrm32|sae                             [rm:t1f32:           evex.lig.f3.0f.w0 78 /r ]  AVX512,FUTURE
 VCVTTSS2USI      reg64,xmmrm32|sae                             [rm:t1f32:           evex.lig.f3.0f.w1 78 /r ]  AVX512,FUTURE
 VCVTUDQ2PD       zmmreg|mask|z,ymmrm256|b32|er                 [rm:hv:              evex.512.f3.0f.w0 7a /r ]  AVX512,FUTURE
 VCVTUDQ2PS       zmmreg|mask|z,zmmrm512|b32|er                 [rm:fv:              evex.512.f2.0f.w0 7a /r ]  AVX512,FUTURE
 VCVTUSI2SD       xmmreg,xmmreg|er,rm32                         [rvm:t1s:        evex.nds.lig.f2.0f.w0 7b /r ]  AVX512,FUTURE
 VCVTUSI2SD       xmmreg,xmmreg|er,rm64                         [rvm:t1s:        evex.nds.lig.f2.0f.w1 7b /r ]  AVX512,FUTURE
-VCVTUSI2SS       xmmreg,xmmreg|er,rm32                         [rvm:t1s:        evex.nds.lig.f3.0f.w0 7b /r ]  AVX512,FUTURE
 VCVTUSI2SS       xmmreg,xmmreg|er,rm64                         [rvm:t1s:        evex.nds.lig.f3.0f.w1 7b /r ]  AVX512,FUTURE
+VCVTUSI2SS       xmmreg,xmmreg|er,rm32                         [rvm:t1s:        evex.nds.lig.f3.0f.w0 7b /r ]  AVX512,FUTURE
 VDIVPD           zmmreg|mask|z,zmmreg,zmmrm512|b64|er          [rvm:fv:         evex.nds.512.66.0f.w1 5e /r ]  AVX512,FUTURE
 VDIVPS           zmmreg|mask|z,zmmreg,zmmrm512|b32|er          [rvm:fv:            evex.nds.512.0f.w0 5e /r ]  AVX512,FUTURE
 VDIVSD           xmmreg|mask|z,xmmreg,xmmrm64|er               [rvm:t1s:        evex.nds.lig.f2.0f.w1 5e /r ]  AVX512,FUTURE
@@ -3545,8 +3545,8 @@ VEXTRACTF64X4    mem256|mask,zmmreg,imm8                       [mri:t4:        e
 VEXTRACTF64X4    ymmreg|mask|z,zmmreg,imm8                     [mri:           evex.512.66.0f3a.w1 1b /r ib ]  AVX512,FUTURE
 VEXTRACTI32X4    mem128|mask,zmmreg,imm8                       [mri:t4:        evex.512.66.0f3a.w0 39 /r ib ]  AVX512,FUTURE
 VEXTRACTI32X4    xmmreg|mask|z,zmmreg,imm8                     [mri:           evex.512.66.0f3a.w0 39 /r ib ]  AVX512,FUTURE
-VEXTRACTI64X4    mem256|mask,zmmreg,imm8                       [mri:t4:        evex.512.66.0f3a.w1 3b /r ib ]  AVX512,FUTURE
 VEXTRACTI64X4    ymmreg|mask|z,zmmreg,imm8                     [mri:           evex.512.66.0f3a.w1 3b /r ib ]  AVX512,FUTURE
+VEXTRACTI64X4    mem256|mask,zmmreg,imm8                       [mri:t4:        evex.512.66.0f3a.w1 3b /r ib ]  AVX512,FUTURE
 VEXTRACTPS       rm32,xmmreg,imm8                              [mri:t1s:      evex.128.66.0f3a.wig 17 /r ib ]  AVX512,FUTURE
 VEXTRACTPS       rm64,xmmreg,imm8                              [mri:t1s:       evex.128.66.0f3a.w1 17 /r ib ]  AVX512,FUTURE
 VFIXUPIMMPD      zmmreg|mask|z,zmmreg,zmmrm512|b64|sae,imm8    [rvmi:fv:   evex.nds.512.66.0f3a.w1 54 /r ib ]  AVX512,FUTURE
@@ -3638,61 +3638,61 @@ VMINPD           zmmreg|mask|z,zmmreg,zmmrm512|b64|sae         [rvm:fv:
 VMINPS           zmmreg|mask|z,zmmreg,zmmrm512|b32|sae         [rvm:fv:            evex.nds.512.0f.w0 5d /r ]  AVX512,FUTURE
 VMINSD           xmmreg|mask|z,xmmreg,xmmrm64|sae              [rvm:t1s:        evex.nds.lig.f2.0f.w1 5d /r ]  AVX512,FUTURE
 VMINSS           xmmreg|mask|z,xmmreg,xmmrm32|sae              [rvm:t1s:        evex.nds.lig.f3.0f.w0 5d /r ]  AVX512,FUTURE
+VMOVAPD          zmmreg|mask|z,zmmrm512                        [rm:fvm:             evex.512.66.0f.w1 28 /r ]  AVX512,FUTURE
 VMOVAPD          mem512|mask,zmmreg                            [mr:fvm:             evex.512.66.0f.w1 29 /r ]  AVX512,FUTURE
 VMOVAPD          zmmreg|mask|z,zmmreg                          [mr:                 evex.512.66.0f.w1 29 /r ]  AVX512,FUTURE
-VMOVAPD          zmmreg|mask|z,zmmrm512                        [rm:fvm:             evex.512.66.0f.w1 28 /r ]  AVX512,FUTURE
-VMOVAPS          mem512|mask,zmmreg                            [mr:fvm:                evex.512.0f.w0 29 /r ]  AVX512,FUTURE
-VMOVAPS          zmmreg|mask|z,zmmreg                          [mr:                    evex.512.0f.w0 29 /r ]  AVX512,FUTURE
 VMOVAPS          zmmreg|mask|z,zmmrm512                        [rm:fvm:                evex.512.0f.w0 28 /r ]  AVX512,FUTURE
-VMOVD            rm32,xmmreg                                   [mr:t1s:             evex.128.66.0f.w0 7e /r ]  AVX512,FUTURE
+VMOVAPS          zmmreg|mask|z,zmmreg                          [mr:                    evex.512.0f.w0 29 /r ]  AVX512,FUTURE
+VMOVAPS          mem512|mask,zmmreg                            [mr:fvm:                evex.512.0f.w0 29 /r ]  AVX512,FUTURE
 VMOVD            xmmreg,rm32                                   [rm:t1s:             evex.128.66.0f.w0 6e /r ]  AVX512,FUTURE
+VMOVD            rm32,xmmreg                                   [mr:t1s:             evex.128.66.0f.w0 7e /r ]  AVX512,FUTURE
 VMOVDDUP         zmmreg|mask|z,zmmrm512                        [rm:dup:             evex.512.f2.0f.w1 12 /r ]  AVX512,FUTURE
+VMOVDQA32        zmmreg|mask|z,zmmrm512                        [rm:fvm:             evex.512.66.0f.w0 6f /r ]  AVX512,FUTURE
 VMOVDQA32        mem512|mask,zmmreg                            [mr:fvm:             evex.512.66.0f.w0 7f /r ]  AVX512,FUTURE
 VMOVDQA32        zmmreg|mask|z,zmmreg                          [mr:                 evex.512.66.0f.w0 7f /r ]  AVX512,FUTURE
-VMOVDQA32        zmmreg|mask|z,zmmrm512                        [rm:fvm:             evex.512.66.0f.w0 6f /r ]  AVX512,FUTURE
-VMOVDQA64        mem512|mask,zmmreg                            [mr:fvm:             evex.512.66.0f.w1 7f /r ]  AVX512,FUTURE
-VMOVDQA64        zmmreg|mask|z,zmmreg                          [mr:                 evex.512.66.0f.w1 7f /r ]  AVX512,FUTURE
 VMOVDQA64        zmmreg|mask|z,zmmrm512                        [rm:fvm:             evex.512.66.0f.w1 6f /r ]  AVX512,FUTURE
+VMOVDQA64        zmmreg|mask|z,zmmreg                          [mr:                 evex.512.66.0f.w1 7f /r ]  AVX512,FUTURE
+VMOVDQA64        mem512|mask,zmmreg                            [mr:fvm:             evex.512.66.0f.w1 7f /r ]  AVX512,FUTURE
+VMOVDQU32        zmmreg|mask|z,zmmrm512                        [rm:fvm:             evex.512.f3.0f.w0 6f /r ]  AVX512,FUTURE
 VMOVDQU32        mem512|mask,zmmreg                            [mr:fvm:             evex.512.f3.0f.w0 7f /r ]  AVX512,FUTURE
 VMOVDQU32        zmmreg|mask|z,zmmreg                          [mr:                 evex.512.f3.0f.w0 7f /r ]  AVX512,FUTURE
-VMOVDQU32        zmmreg|mask|z,zmmrm512                        [rm:fvm:             evex.512.f3.0f.w0 6f /r ]  AVX512,FUTURE
+VMOVDQU64        zmmreg|mask|z,zmmrm512                        [rm:fvm:             evex.512.f3.0f.w1 6f /r ]  AVX512,FUTURE
 VMOVDQU64        mem512|mask,zmmreg                            [mr:fvm:             evex.512.f3.0f.w1 7f /r ]  AVX512,FUTURE
 VMOVDQU64        zmmreg|mask|z,zmmreg                          [mr:                 evex.512.f3.0f.w1 7f /r ]  AVX512,FUTURE
-VMOVDQU64        zmmreg|mask|z,zmmrm512                        [rm:fvm:             evex.512.f3.0f.w1 6f /r ]  AVX512,FUTURE
 VMOVHLPS         xmmreg,xmmreg,xmmreg                          [rvm:               evex.nds.128.0f.w0 12 /r ]  AVX512,FUTURE
-VMOVHPD          mem64,xmmreg                                  [mr:t1s:             evex.128.66.0f.w1 17 /r ]  AVX512,FUTURE
 VMOVHPD          xmmreg,xmmreg,mem64                           [rvm:t1s:        evex.nds.128.66.0f.w1 16 /r ]  AVX512,FUTURE
-VMOVHPS          mem64,xmmreg                                  [mr:t2:                 evex.128.0f.w0 17 /r ]  AVX512,FUTURE
+VMOVHPD          mem64,xmmreg                                  [mr:t1s:             evex.128.66.0f.w1 17 /r ]  AVX512,FUTURE
 VMOVHPS          xmmreg,xmmreg,mem64                           [rvm:t2:            evex.nds.128.0f.w0 16 /r ]  AVX512,FUTURE
+VMOVHPS          mem64,xmmreg                                  [mr:t2:                 evex.128.0f.w0 17 /r ]  AVX512,FUTURE
 VMOVLHPS         xmmreg,xmmreg,xmmreg                          [rvm:               evex.nds.128.0f.w0 16 /r ]  AVX512,FUTURE
-VMOVLPD          mem64,xmmreg                                  [mr:t1s:             evex.128.66.0f.w1 13 /r ]  AVX512,FUTURE
 VMOVLPD          xmmreg,xmmreg,mem64                           [rvm:t1s:        evex.nds.128.66.0f.w1 12 /r ]  AVX512,FUTURE
-VMOVLPS          mem64,xmmreg                                  [mr:t2:                 evex.128.0f.w0 13 /r ]  AVX512,FUTURE
+VMOVLPD          mem64,xmmreg                                  [mr:t1s:             evex.128.66.0f.w1 13 /r ]  AVX512,FUTURE
 VMOVLPS          xmmreg,xmmreg,mem64                           [rvm:t2:            evex.nds.128.0f.w0 12 /r ]  AVX512,FUTURE
+VMOVLPS          mem64,xmmreg                                  [mr:t2:                 evex.128.0f.w0 13 /r ]  AVX512,FUTURE
 VMOVNTDQ         mem512,zmmreg                                 [mr:fvm:             evex.512.66.0f.w0 e7 /r ]  AVX512,FUTURE
 VMOVNTDQA        zmmreg,mem512                                 [rm:fvm:           evex.512.66.0f38.w0 2a /r ]  AVX512,FUTURE
 VMOVNTPD         mem512,zmmreg                                 [mr:fvm:             evex.512.66.0f.w1 2b /r ]  AVX512,FUTURE
 VMOVNTPS         mem512,zmmreg                                 [mr:fvm:                evex.512.0f.w0 2b /r ]  AVX512,FUTURE
-VMOVQ            rm64,xmmreg                                   [mr:t1s:             evex.128.66.0f.w1 7e /r ]  AVX512,FUTURE
 VMOVQ            xmmreg,rm64                                   [rm:t1s:             evex.128.66.0f.w1 6e /r ]  AVX512,FUTURE
+VMOVQ            rm64,xmmreg                                   [mr:t1s:             evex.128.66.0f.w1 7e /r ]  AVX512,FUTURE
 VMOVQ            xmmreg,xmmrm64                                [rm:t1s:             evex.128.f3.0f.w1 7e /r ]  AVX512,FUTURE
 VMOVQ            xmmrm64,xmmreg                                [mr:t1s:             evex.128.66.0f.w1 d6 /r ]  AVX512,FUTURE
-VMOVSD           mem64|mask,xmmreg                             [mr:t1s:             evex.lig.f2.0f.w1 11 /r ]  AVX512,FUTURE
+VMOVSD           xmmreg|mask|z,xmmreg,xmmreg                   [rvm:            evex.nds.lig.f2.0f.w1 10 /r ]  AVX512,FUTURE
 VMOVSD           xmmreg|mask|z,mem64                           [rm:t1s:             evex.lig.f2.0f.w1 10 /r ]  AVX512,FUTURE
+VMOVSD           mem64|mask,xmmreg                             [mr:t1s:             evex.lig.f2.0f.w1 11 /r ]  AVX512,FUTURE
 VMOVSD           xmmreg|mask|z,xmmreg,xmmreg                   [mvr:            evex.nds.lig.f2.0f.w1 11 /r ]  AVX512,FUTURE
-VMOVSD           xmmreg|mask|z,xmmreg,xmmreg                   [rvm:            evex.nds.lig.f2.0f.w1 10 /r ]  AVX512,FUTURE
 VMOVSHDUP        zmmreg|mask|z,zmmrm512                        [rm:fvm:             evex.512.f3.0f.w0 16 /r ]  AVX512,FUTURE
 VMOVSLDUP        zmmreg|mask|z,zmmrm512                        [rm:fvm:             evex.512.f3.0f.w0 12 /r ]  AVX512,FUTURE
-VMOVSS           mem32|mask,xmmreg                             [mr:t1s:             evex.lig.f3.0f.w0 11 /r ]  AVX512,FUTURE
 VMOVSS           xmmreg|mask|z,mem32                           [rm:t1s:             evex.lig.f3.0f.w0 10 /r ]  AVX512,FUTURE
-VMOVSS           xmmreg|mask|z,xmmreg,xmmreg                   [mvr:            evex.nds.lig.f3.0f.w0 11 /r ]  AVX512,FUTURE
 VMOVSS           xmmreg|mask|z,xmmreg,xmmreg                   [rvm:            evex.nds.lig.f3.0f.w0 10 /r ]  AVX512,FUTURE
+VMOVSS           mem32|mask,xmmreg                             [mr:t1s:             evex.lig.f3.0f.w0 11 /r ]  AVX512,FUTURE
+VMOVSS           xmmreg|mask|z,xmmreg,xmmreg                   [mvr:            evex.nds.lig.f3.0f.w0 11 /r ]  AVX512,FUTURE
+VMOVUPD          zmmreg|mask|z,zmmrm512                        [rm:fvm:             evex.512.66.0f.w1 10 /r ]  AVX512,FUTURE
 VMOVUPD          mem512|mask,zmmreg                            [mr:fvm:             evex.512.66.0f.w1 11 /r ]  AVX512,FUTURE
 VMOVUPD          zmmreg|mask|z,zmmreg                          [mr:                 evex.512.66.0f.w1 11 /r ]  AVX512,FUTURE
-VMOVUPD          zmmreg|mask|z,zmmrm512                        [rm:fvm:             evex.512.66.0f.w1 10 /r ]  AVX512,FUTURE
-VMOVUPS          mem512|mask,zmmreg                            [mr:fvm:                evex.512.0f.w0 11 /r ]  AVX512,FUTURE
-VMOVUPS          zmmreg|mask|z,zmmreg                          [mr:                    evex.512.0f.w0 11 /r ]  AVX512,FUTURE
 VMOVUPS          zmmreg|mask|z,zmmrm512                        [rm:fvm:                evex.512.0f.w0 10 /r ]  AVX512,FUTURE
+VMOVUPS          zmmreg|mask|z,zmmreg                          [mr:                    evex.512.0f.w0 11 /r ]  AVX512,FUTURE
+VMOVUPS          mem512|mask,zmmreg                            [mr:fvm:                evex.512.0f.w0 11 /r ]  AVX512,FUTURE
 VMULPD           zmmreg|mask|z,zmmreg,zmmrm512|b64|er          [rvm:fv:         evex.nds.512.66.0f.w1 59 /r ]  AVX512,FUTURE
 VMULPS           zmmreg|mask|z,zmmreg,zmmrm512|b32|er          [rvm:fv:            evex.nds.512.0f.w0 59 /r ]  AVX512,FUTURE
 VMULSD           xmmreg|mask|z,xmmreg,xmmrm64|er               [rvm:t1s:        evex.nds.lig.f2.0f.w1 59 /r ]  AVX512,FUTURE
@@ -3707,12 +3707,12 @@ VPANDNQ          zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:
 VPANDQ           zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:         evex.nds.512.66.0f.w1 db /r ]  AVX512,FUTURE
 VPBLENDMD        zmmreg|mask|z,zmmreg,zmmrm512|b32             [rvm:fv:       evex.nds.512.66.0f38.w0 64 /r ]  AVX512,FUTURE
 VPBLENDMQ        zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:       evex.nds.512.66.0f38.w1 64 /r ]  AVX512,FUTURE
+VPBROADCASTD     zmmreg|mask|z,xmmreg                          [rm:               evex.512.66.0f38.w0 58 /r ]  AVX512,FUTURE
 VPBROADCASTD     zmmreg|mask|z,mem32                           [rm:t1s:           evex.512.66.0f38.w0 58 /r ]  AVX512,FUTURE
 VPBROADCASTD     zmmreg|mask|z,reg32                           [rm:               evex.512.66.0f38.w0 7c /r ]  AVX512,FUTURE
-VPBROADCASTD     zmmreg|mask|z,xmmreg                          [rm:               evex.512.66.0f38.w0 58 /r ]  AVX512,FUTURE
+VPBROADCASTQ     zmmreg|mask|z,xmmreg                          [rm:               evex.512.66.0f38.w1 59 /r ]  AVX512,FUTURE
 VPBROADCASTQ     zmmreg|mask|z,mem64                           [rm:t1s:           evex.512.66.0f38.w1 59 /r ]  AVX512,FUTURE
 VPBROADCASTQ     zmmreg|mask|z,reg64                           [rm:               evex.512.66.0f38.w1 7c /r ]  AVX512,FUTURE
-VPBROADCASTQ     zmmreg|mask|z,xmmreg                          [rm:               evex.512.66.0f38.w1 59 /r ]  AVX512,FUTURE
 VPCMPD           kreg|mask,zmmreg,zmmrm512|b32,imm8            [rvmi:fv:   evex.nds.512.66.0f3a.w0 1f /r ib ]  AVX512,FUTURE
 VPCMPEQD         kreg|mask,zmmreg,zmmrm512|b32                 [rvm:fv:         evex.nds.512.66.0f.w0 76 /r ]  AVX512,FUTURE
 VPCMPEQQ         kreg|mask,zmmreg,zmmrm512|b64                 [rvm:fv:       evex.nds.512.66.0f38.w1 29 /r ]  AVX512,FUTURE
@@ -3721,30 +3721,30 @@ VPCMPGTQ         kreg|mask,zmmreg,zmmrm512|b64                 [rvm:fv:       ev
 VPCMPQ           kreg|mask,zmmreg,zmmrm512|b64,imm8            [rvmi:fv:   evex.nds.512.66.0f3a.w1 1f /r ib ]  AVX512,FUTURE
 VPCMPUD          kreg|mask,zmmreg,zmmrm512|b32,imm8            [rvmi:fv:   evex.nds.512.66.0f3a.w0 1e /r ib ]  AVX512,FUTURE
 VPCMPUQ          kreg|mask,zmmreg,zmmrm512|b64,imm8            [rvmi:fv:   evex.nds.512.66.0f3a.w1 1e /r ib ]  AVX512,FUTURE
-VPCOMPRESSD      mem512|mask,zmmreg                            [mr:t1s:           evex.512.66.0f38.w0 8b /r ]  AVX512,FUTURE
 VPCOMPRESSD      zmmreg|mask|z,zmmreg                          [mr:               evex.512.66.0f38.w0 8b /r ]  AVX512,FUTURE
-VPCOMPRESSQ      mem512|mask,zmmreg                            [mr:t1s:           evex.512.66.0f38.w1 8b /r ]  AVX512,FUTURE
+VPCOMPRESSD      mem512|mask,zmmreg                            [mr:t1s:           evex.512.66.0f38.w0 8b /r ]  AVX512,FUTURE
 VPCOMPRESSQ      zmmreg|mask|z,zmmreg                          [mr:               evex.512.66.0f38.w1 8b /r ]  AVX512,FUTURE
+VPCOMPRESSQ      mem512|mask,zmmreg                            [mr:t1s:           evex.512.66.0f38.w1 8b /r ]  AVX512,FUTURE
 VPERMD           zmmreg|mask|z,zmmreg,zmmrm512|b32             [rvm:fv:       evex.nds.512.66.0f38.w0 36 /r ]  AVX512,FUTURE
 VPERMI2D         zmmreg|mask|z,zmmreg,zmmrm512|b32             [rvm:fv:       evex.nds.512.66.0f38.w0 76 /r ]  AVX512,FUTURE
 VPERMI2PD        zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:       evex.nds.512.66.0f38.w1 77 /r ]  AVX512,FUTURE
 VPERMI2PS        zmmreg|mask|z,zmmreg,zmmrm512|b32             [rvm:fv:       evex.nds.512.66.0f38.w0 77 /r ]  AVX512,FUTURE
 VPERMI2Q         zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:       evex.nds.512.66.0f38.w1 76 /r ]  AVX512,FUTURE
-VPERMILPD        zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:       evex.nds.512.66.0f38.w1 0d /r ]  AVX512,FUTURE
 VPERMILPD        zmmreg|mask|z,zmmrm512|b64,imm8               [rmi:fv:        evex.512.66.0f3a.w1 05 /r ib ]  AVX512,FUTURE
-VPERMILPS        zmmreg|mask|z,zmmreg,zmmrm512|b32             [rvm:fv:       evex.nds.512.66.0f38.w0 0c /r ]  AVX512,FUTURE
+VPERMILPD        zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:       evex.nds.512.66.0f38.w1 0d /r ]  AVX512,FUTURE
 VPERMILPS        zmmreg|mask|z,zmmrm512|b32,imm8               [rmi:fv:        evex.512.66.0f3a.w0 04 /r ib ]  AVX512,FUTURE
-VPERMPD          zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:       evex.nds.512.66.0f38.w1 16 /r ]  AVX512,FUTURE
+VPERMILPS        zmmreg|mask|z,zmmreg,zmmrm512|b32             [rvm:fv:       evex.nds.512.66.0f38.w0 0c /r ]  AVX512,FUTURE
 VPERMPD          zmmreg|mask|z,zmmrm512|b64,imm8               [rmi:fv:        evex.512.66.0f3a.w1 01 /r ib ]  AVX512,FUTURE
+VPERMPD          zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:       evex.nds.512.66.0f38.w1 16 /r ]  AVX512,FUTURE
 VPERMPS          zmmreg|mask|z,zmmreg,zmmrm512|b32             [rvm:fv:       evex.nds.512.66.0f38.w0 16 /r ]  AVX512,FUTURE
-VPERMQ           zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:       evex.nds.512.66.0f38.w1 36 /r ]  AVX512,FUTURE
 VPERMQ           zmmreg|mask|z,zmmrm512|b64,imm8               [rmi:fv:        evex.512.66.0f3a.w1 00 /r ib ]  AVX512,FUTURE
+VPERMQ           zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:       evex.nds.512.66.0f38.w1 36 /r ]  AVX512,FUTURE
 VPERMT2D         zmmreg|mask|z,zmmreg,zmmrm512|b32             [rvm:fv:       evex.nds.512.66.0f38.w0 7e /r ]  AVX512,FUTURE
 VPERMT2PD        zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:       evex.nds.512.66.0f38.w1 7f /r ]  AVX512,FUTURE
 VPERMT2PS        zmmreg|mask|z,zmmreg,zmmrm512|b32             [rvm:fv:       evex.nds.512.66.0f38.w0 7f /r ]  AVX512,FUTURE
 VPERMT2Q         zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:       evex.nds.512.66.0f38.w1 7e /r ]  AVX512,FUTURE
-VPEXPANDD        zmmreg|mask|z,mem512                          [rm:t1s:           evex.512.66.0f38.w0 89 /r ]  AVX512,FUTURE
 VPEXPANDD        zmmreg|mask|z,zmmreg                          [rm:t1s:           evex.512.66.0f38.w0 89 /r ]  AVX512,FUTURE
+VPEXPANDD        zmmreg|mask|z,mem512                          [rm:t1s:           evex.512.66.0f38.w0 89 /r ]  AVX512,FUTURE
 VPEXPANDQ        zmmreg|mask|z,mem512                          [rm:t1s:           evex.512.66.0f38.w1 89 /r ]  AVX512,FUTURE
 VPEXPANDQ        zmmreg|mask|z,zmmreg                          [rm:t1s:           evex.512.66.0f38.w1 89 /r ]  AVX512,FUTURE
 VPGATHERDD       zmmreg|mask,zmem32                            [rm:t1s:     vsibz evex.512.66.0f38.w0 90 /r ]  AVX512,FUTURE
@@ -3759,16 +3759,16 @@ VPMINSD          zmmreg|mask|z,zmmreg,zmmrm512|b32             [rvm:fv:       ev
 VPMINSQ          zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:       evex.nds.512.66.0f38.w1 39 /r ]  AVX512,FUTURE
 VPMINUD          zmmreg|mask|z,zmmreg,zmmrm512|b32             [rvm:fv:       evex.nds.512.66.0f38.w0 3b /r ]  AVX512,FUTURE
 VPMINUQ          zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:       evex.nds.512.66.0f38.w1 3b /r ]  AVX512,FUTURE
-VPMOVDB          mem128|mask,zmmreg                            [mr:qvm:           evex.512.f3.0f38.w0 31 /r ]  AVX512,FUTURE
 VPMOVDB          xmmreg|mask|z,zmmreg                          [mr:               evex.512.f3.0f38.w0 31 /r ]  AVX512,FUTURE
-VPMOVDW          mem256|mask,zmmreg                            [mr:hvm:           evex.512.f3.0f38.w0 33 /r ]  AVX512,FUTURE
+VPMOVDB          mem128|mask,zmmreg                            [mr:qvm:           evex.512.f3.0f38.w0 31 /r ]  AVX512,FUTURE
 VPMOVDW          ymmreg|mask|z,zmmreg                          [mr:               evex.512.f3.0f38.w0 33 /r ]  AVX512,FUTURE
-VPMOVQB          mem64|mask,zmmreg                             [mr:ovm:           evex.512.f3.0f38.w0 32 /r ]  AVX512,FUTURE
+VPMOVDW          mem256|mask,zmmreg                            [mr:hvm:           evex.512.f3.0f38.w0 33 /r ]  AVX512,FUTURE
 VPMOVQB          xmmreg|mask|z,zmmreg                          [mr:               evex.512.f3.0f38.w0 32 /r ]  AVX512,FUTURE
-VPMOVQD          mem256|mask,zmmreg                            [mr:hvm:           evex.512.f3.0f38.w0 35 /r ]  AVX512,FUTURE
+VPMOVQB          mem64|mask,zmmreg                             [mr:ovm:           evex.512.f3.0f38.w0 32 /r ]  AVX512,FUTURE
 VPMOVQD          ymmreg|mask|z,zmmreg                          [mr:               evex.512.f3.0f38.w0 35 /r ]  AVX512,FUTURE
-VPMOVQW          mem128|mask,zmmreg                            [mr:qvm:           evex.512.f3.0f38.w0 34 /r ]  AVX512,FUTURE
+VPMOVQD          mem256|mask,zmmreg                            [mr:hvm:           evex.512.f3.0f38.w0 35 /r ]  AVX512,FUTURE
 VPMOVQW          xmmreg|mask|z,zmmreg                          [mr:               evex.512.f3.0f38.w0 34 /r ]  AVX512,FUTURE
+VPMOVQW          mem128|mask,zmmreg                            [mr:qvm:           evex.512.f3.0f38.w0 34 /r ]  AVX512,FUTURE
 VPMOVSDB         mem128|mask,zmmreg                            [mr:qvm:           evex.512.f3.0f38.w0 21 /r ]  AVX512,FUTURE
 VPMOVSDB         xmmreg|mask|z,zmmreg                          [mr:               evex.512.f3.0f38.w0 21 /r ]  AVX512,FUTURE
 VPMOVSDW         mem256|mask,zmmreg                            [mr:hvm:           evex.512.f3.0f38.w0 23 /r ]  AVX512,FUTURE
@@ -3777,23 +3777,23 @@ VPMOVSQB         mem64|mask,zmmreg                             [mr:ovm:
 VPMOVSQB         xmmreg|mask|z,zmmreg                          [mr:               evex.512.f3.0f38.w0 22 /r ]  AVX512,FUTURE
 VPMOVSQD         mem256|mask,zmmreg                            [mr:hvm:           evex.512.f3.0f38.w0 25 /r ]  AVX512,FUTURE
 VPMOVSQD         ymmreg|mask|z,zmmreg                          [mr:               evex.512.f3.0f38.w0 25 /r ]  AVX512,FUTURE
-VPMOVSQW         mem128|mask,zmmreg                            [mr:qvm:           evex.512.f3.0f38.w0 24 /r ]  AVX512,FUTURE
 VPMOVSQW         xmmreg|mask|z,zmmreg                          [mr:               evex.512.f3.0f38.w0 24 /r ]  AVX512,FUTURE
+VPMOVSQW         mem128|mask,zmmreg                            [mr:qvm:           evex.512.f3.0f38.w0 24 /r ]  AVX512,FUTURE
 VPMOVSXBD        zmmreg|mask|z,xmmrm128                        [rm:qvm:          evex.512.66.0f38.wig 21 /r ]  AVX512,FUTURE
 VPMOVSXBQ        zmmreg|mask|z,xmmrm64                         [rm:ovm:          evex.512.66.0f38.wig 22 /r ]  AVX512,FUTURE
 VPMOVSXDQ        zmmreg|mask|z,ymmrm256                        [rm:hvm:           evex.512.66.0f38.w0 25 /r ]  AVX512,FUTURE
 VPMOVSXWD        zmmreg|mask|z,ymmrm256                        [rm:hvm:          evex.512.66.0f38.wig 23 /r ]  AVX512,FUTURE
 VPMOVSXWQ        zmmreg|mask|z,xmmrm128                        [rm:qvm:          evex.512.66.0f38.wig 24 /r ]  AVX512,FUTURE
-VPMOVUSDB        mem128|mask,zmmreg                            [mr:qvm:           evex.512.f3.0f38.w0 11 /r ]  AVX512,FUTURE
 VPMOVUSDB        xmmreg|mask|z,zmmreg                          [mr:               evex.512.f3.0f38.w0 11 /r ]  AVX512,FUTURE
-VPMOVUSDW        mem256|mask,zmmreg                            [mr:hvm:           evex.512.f3.0f38.w0 13 /r ]  AVX512,FUTURE
+VPMOVUSDB        mem128|mask,zmmreg                            [mr:qvm:           evex.512.f3.0f38.w0 11 /r ]  AVX512,FUTURE
 VPMOVUSDW        ymmreg|mask|z,zmmreg                          [mr:               evex.512.f3.0f38.w0 13 /r ]  AVX512,FUTURE
-VPMOVUSQB        mem64|mask,zmmreg                             [mr:ovm:           evex.512.f3.0f38.w0 12 /r ]  AVX512,FUTURE
+VPMOVUSDW        mem256|mask,zmmreg                            [mr:hvm:           evex.512.f3.0f38.w0 13 /r ]  AVX512,FUTURE
 VPMOVUSQB        xmmreg|mask|z,zmmreg                          [mr:               evex.512.f3.0f38.w0 12 /r ]  AVX512,FUTURE
-VPMOVUSQD        mem256|mask,zmmreg                            [mr:hvm:           evex.512.f3.0f38.w0 15 /r ]  AVX512,FUTURE
+VPMOVUSQB        mem64|mask,zmmreg                             [mr:ovm:           evex.512.f3.0f38.w0 12 /r ]  AVX512,FUTURE
 VPMOVUSQD        ymmreg|mask|z,zmmreg                          [mr:               evex.512.f3.0f38.w0 15 /r ]  AVX512,FUTURE
-VPMOVUSQW        mem128|mask,zmmreg                            [mr:qvm:           evex.512.f3.0f38.w0 14 /r ]  AVX512,FUTURE
+VPMOVUSQD        mem256|mask,zmmreg                            [mr:hvm:           evex.512.f3.0f38.w0 15 /r ]  AVX512,FUTURE
 VPMOVUSQW        xmmreg|mask|z,zmmreg                          [mr:               evex.512.f3.0f38.w0 14 /r ]  AVX512,FUTURE
+VPMOVUSQW        mem128|mask,zmmreg                            [mr:qvm:           evex.512.f3.0f38.w0 14 /r ]  AVX512,FUTURE
 VPMOVZXBD        zmmreg|mask|z,xmmrm128                        [rm:qvm:          evex.512.66.0f38.wig 31 /r ]  AVX512,FUTURE
 VPMOVZXBQ        zmmreg|mask|z,xmmrm64                         [rm:ovm:          evex.512.66.0f38.wig 32 /r ]  AVX512,FUTURE
 VPMOVZXDQ        zmmreg|mask|z,ymmrm256                        [rm:hvm:           evex.512.66.0f38.w0 35 /r ]  AVX512,FUTURE
@@ -3817,22 +3817,22 @@ VPSCATTERDQ      ymem64|mask,zmmreg                            [mr:t1s:     vsib
 VPSCATTERQD      zmem32|mask,ymmreg                            [mr:t1s:     vsibz evex.512.66.0f38.w0 a1 /r ]  AVX512,FUTURE
 VPSCATTERQQ      zmem64|mask,zmmreg                            [mr:t1s:     vsibz evex.512.66.0f38.w1 a1 /r ]  AVX512,FUTURE
 VPSHUFD          zmmreg|mask|z,zmmrm512|b32,imm8               [rmi:fv:          evex.512.66.0f.w0 70 /r ib ]  AVX512,FUTURE
-VPSLLD           zmmreg|mask|z,zmmreg,xmmrm128                 [rvm:m128:       evex.nds.512.66.0f.w0 f2 /r ]  AVX512,FUTURE
 VPSLLD           zmmreg|mask|z,zmmrm512|b32,imm8               [vmi:fv:      evex.ndd.512.66.0f.w0 72 /6 ib ]  AVX512,FUTURE
-VPSLLQ           zmmreg|mask|z,zmmreg,xmmrm128                 [rvm:m128:       evex.nds.512.66.0f.w1 f3 /r ]  AVX512,FUTURE
+VPSLLD           zmmreg|mask|z,zmmreg,xmmrm128                 [rvm:m128:       evex.nds.512.66.0f.w0 f2 /r ]  AVX512,FUTURE
 VPSLLQ           zmmreg|mask|z,zmmrm512|b64,imm8               [vmi:fv:      evex.ndd.512.66.0f.w1 73 /6 ib ]  AVX512,FUTURE
+VPSLLQ           zmmreg|mask|z,zmmreg,xmmrm128                 [rvm:m128:       evex.nds.512.66.0f.w1 f3 /r ]  AVX512,FUTURE
 VPSLLVD          zmmreg|mask|z,zmmreg,zmmrm512|b32             [rvm:fv:       evex.nds.512.66.0f38.w0 47 /r ]  AVX512,FUTURE
 VPSLLVQ          zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:       evex.nds.512.66.0f38.w1 47 /r ]  AVX512,FUTURE
-VPSRAD           zmmreg|mask|z,zmmreg,xmmrm128                 [rvm:m128:       evex.nds.512.66.0f.w0 e2 /r ]  AVX512,FUTURE
 VPSRAD           zmmreg|mask|z,zmmrm512|b32,imm8               [vmi:fv:      evex.ndd.512.66.0f.w0 72 /4 ib ]  AVX512,FUTURE
-VPSRAQ           zmmreg|mask|z,zmmreg,xmmrm128                 [rvm:m128:       evex.nds.512.66.0f.w1 e2 /r ]  AVX512,FUTURE
+VPSRAD           zmmreg|mask|z,zmmreg,xmmrm128                 [rvm:m128:       evex.nds.512.66.0f.w0 e2 /r ]  AVX512,FUTURE
 VPSRAQ           zmmreg|mask|z,zmmrm512|b64,imm8               [vmi:fv:      evex.ndd.512.66.0f.w1 72 /4 ib ]  AVX512,FUTURE
+VPSRAQ           zmmreg|mask|z,zmmreg,xmmrm128                 [rvm:m128:       evex.nds.512.66.0f.w1 e2 /r ]  AVX512,FUTURE
 VPSRAVD          zmmreg|mask|z,zmmreg,zmmrm512|b32             [rvm:fv:       evex.nds.512.66.0f38.w0 46 /r ]  AVX512,FUTURE
 VPSRAVQ          zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:       evex.nds.512.66.0f38.w1 46 /r ]  AVX512,FUTURE
-VPSRLD           zmmreg|mask|z,zmmreg,xmmrm128                 [rvm:m128:       evex.nds.512.66.0f.w0 d2 /r ]  AVX512,FUTURE
 VPSRLD           zmmreg|mask|z,zmmrm512|b32,imm8               [vmi:fv:      evex.ndd.512.66.0f.w0 72 /2 ib ]  AVX512,FUTURE
-VPSRLQ           zmmreg|mask|z,zmmreg,xmmrm128                 [rvm:m128:       evex.nds.512.66.0f.w1 d3 /r ]  AVX512,FUTURE
+VPSRLD           zmmreg|mask|z,zmmreg,xmmrm128                 [rvm:m128:       evex.nds.512.66.0f.w0 d2 /r ]  AVX512,FUTURE
 VPSRLQ           zmmreg|mask|z,zmmrm512|b64,imm8               [vmi:fv:      evex.ndd.512.66.0f.w1 73 /2 ib ]  AVX512,FUTURE
+VPSRLQ           zmmreg|mask|z,zmmreg,xmmrm128                 [rvm:m128:       evex.nds.512.66.0f.w1 d3 /r ]  AVX512,FUTURE
 VPSRLVD          zmmreg|mask|z,zmmreg,zmmrm512|b32             [rvm:fv:       evex.nds.512.66.0f38.w0 45 /r ]  AVX512,FUTURE
 VPSRLVQ          zmmreg|mask|z,zmmreg,zmmrm512|b64             [rvm:fv:       evex.nds.512.66.0f38.w1 45 /r ]  AVX512,FUTURE
 VPSUBD           zmmreg|mask|z,zmmreg,zmmrm512|b32             [rvm:fv:         evex.nds.512.66.0f.w0 fa /r ]  AVX512,FUTURE
Domain: System / Toolchain;