projects / platform / upstream / nasm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d0da1c7)
Remove imm from specific versions of VCMPxx
authorH. Peter Anvin <hpa@zytor.com>
Sun, 25 May 2008 05:04:23 +0000 (22:04 -0700)
committerH. Peter Anvin <hpa@zytor.com>
Sun, 25 May 2008 05:04:23 +0000 (22:04 -0700)
For the versions of VCMPxx which already embed their condition code,
we do not want an extra immediate argument.

Todo: fix bytecode compiler to complain more about these.

insns.dat patch | blob | history

diff --git a/insns.dat b/insns.dat
index 8e3143d..2cd4eb1 100644 (file)
--- a/insns.dat
+++ b/insns.dat
@@ -2246,403 +2246,403 @@ VBROADCASTSS  ymmreg,mem                      [rm:    vex.256.66.0f38 18 /r]                  AVX,SANDYBRIDGE,SD
 VBROADCASTSD   ymmreg,mem                      [rm:    vex.256.66.0f38 19 /r]                  AVX,SANDYBRIDGE,SQ
 VBROADCASTF128 ymmreg,mem                      [rm:    vex.256.66.0f38 1a /r]                  AVX,SANDYBRIDGE,SO
 ; Specific aliases first, then the generic version, to keep the disassembler happy...
-VCMPEQPD       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 00]             AVX,SANDYBRIDGE,SO
-VCMPEQPD       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 00]             AVX,SANDYBRIDGE,SO
-VCMPEQPD       ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 00]             AVX,SANDYBRIDGE,SY
-VCMPEQPD       ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 00]             AVX,SANDYBRIDGE,SY
-VCMPLTPD       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 01]             AVX,SANDYBRIDGE,SO
-VCMPLTPD       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 01]             AVX,SANDYBRIDGE,SO
-VCMPLTPD       ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 01]             AVX,SANDYBRIDGE,SY
-VCMPLTPD       ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 01]             AVX,SANDYBRIDGE,SY
-VCMPLEPD       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 02]             AVX,SANDYBRIDGE,SO
-VCMPLEPD       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 02]             AVX,SANDYBRIDGE,SO
-VCMPLEPD       ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 02]             AVX,SANDYBRIDGE,SY
-VCMPLEPD       ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 02]             AVX,SANDYBRIDGE,SY
-VCMPUNORDPD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 03]             AVX,SANDYBRIDGE,SO
-VCMPUNORDPD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 03]             AVX,SANDYBRIDGE,SO
-VCMPUNORDPD    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 03]             AVX,SANDYBRIDGE,SY
-VCMPUNORDPD    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 03]             AVX,SANDYBRIDGE,SY
-VCMPNEQPD      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 04]             AVX,SANDYBRIDGE,SO
-VCMPNEQPD      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 04]             AVX,SANDYBRIDGE,SO
-VCMPNEQPD      ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 04]             AVX,SANDYBRIDGE,SY
-VCMPNEQPD      ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 04]             AVX,SANDYBRIDGE,SY
-VCMPNLTPD      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 05]             AVX,SANDYBRIDGE,SO
-VCMPNLTPD      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 05]             AVX,SANDYBRIDGE,SO
-VCMPNLTPD      ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 05]             AVX,SANDYBRIDGE,SY
-VCMPNLTPD      ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 05]             AVX,SANDYBRIDGE,SY
-VCMPNLEPD      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 06]             AVX,SANDYBRIDGE,SO
-VCMPNLEPD      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 06]             AVX,SANDYBRIDGE,SO
-VCMPNLEPD      ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 06]             AVX,SANDYBRIDGE,SY
-VCMPNLEPD      ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 06]             AVX,SANDYBRIDGE,SY
-VCMPORDPD      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 07]             AVX,SANDYBRIDGE,SO
-VCMPORDPD      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 07]             AVX,SANDYBRIDGE,SO
-VCMPORDPD      ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 07]             AVX,SANDYBRIDGE,SY
-VCMPORDPD      ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 07]             AVX,SANDYBRIDGE,SY
-VCMPEQ_UQPD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 08]             AVX,SANDYBRIDGE,SO
-VCMPEQ_UQPD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 08]             AVX,SANDYBRIDGE,SO
-VCMPEQ_UQPD    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 08]             AVX,SANDYBRIDGE,SY
-VCMPEQ_UQPD    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 08]             AVX,SANDYBRIDGE,SY
-VCMPNGEPD      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 09]             AVX,SANDYBRIDGE,SO
-VCMPNGEPD      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 09]             AVX,SANDYBRIDGE,SO
-VCMPNGEPD      ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 09]             AVX,SANDYBRIDGE,SY
-VCMPNGEPD      ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 09]             AVX,SANDYBRIDGE,SY
-VCMPNGTPD      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 0a]             AVX,SANDYBRIDGE,SO
-VCMPNGTPD      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 0a]             AVX,SANDYBRIDGE,SO
-VCMPNGTPD      ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 0a]             AVX,SANDYBRIDGE,SY
-VCMPNGTPD      ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 0a]             AVX,SANDYBRIDGE,SY
-VCMPFALSEPD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 0b]             AVX,SANDYBRIDGE,SO
-VCMPFALSEPD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 0b]             AVX,SANDYBRIDGE,SO
-VCMPFALSEPD    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 0b]             AVX,SANDYBRIDGE,SY
-VCMPFALSEPD    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 0b]             AVX,SANDYBRIDGE,SY
-VCMPNEQ_OQPD   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 0c]             AVX,SANDYBRIDGE,SO
-VCMPNEQ_OQPD   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 0c]             AVX,SANDYBRIDGE,SO
-VCMPNEQ_OQPD   ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 0c]             AVX,SANDYBRIDGE,SY
-VCMPNEQ_OQPD   ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 0c]             AVX,SANDYBRIDGE,SY
-VCMPGEPD       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 0d]             AVX,SANDYBRIDGE,SO
-VCMPGEPD       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 0d]             AVX,SANDYBRIDGE,SO
-VCMPGEPD       ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 0d]             AVX,SANDYBRIDGE,SY
-VCMPGEPD       ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 0d]             AVX,SANDYBRIDGE,SY
-VCMPGTPD       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 0e]             AVX,SANDYBRIDGE,SO
-VCMPGTPD       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 0e]             AVX,SANDYBRIDGE,SO
-VCMPGTPD       ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 0e]             AVX,SANDYBRIDGE,SY
-VCMPGTPD       ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 0e]             AVX,SANDYBRIDGE,SY
-VCMPTRUEPD     xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 0f]             AVX,SANDYBRIDGE,SO
-VCMPTRUEPD     xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 0f]             AVX,SANDYBRIDGE,SO
-VCMPTRUEPD     ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 0f]             AVX,SANDYBRIDGE,SY
-VCMPTRUEPD     ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 0f]             AVX,SANDYBRIDGE,SY
-VCMPEQ_OSPD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 10]             AVX,SANDYBRIDGE,SO
-VCMPEQ_OSPD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 10]             AVX,SANDYBRIDGE,SO
-VCMPEQ_OSPD    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 10]             AVX,SANDYBRIDGE,SY
-VCMPEQ_OSPD    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 10]             AVX,SANDYBRIDGE,SY
-VCMPLT_OQPD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 11]             AVX,SANDYBRIDGE,SO
-VCMPLT_OQPD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 11]             AVX,SANDYBRIDGE,SO
-VCMPLT_OQPD    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 11]             AVX,SANDYBRIDGE,SY
-VCMPLT_OQPD    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 11]             AVX,SANDYBRIDGE,SY
-VCMPLE_OQPD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 12]             AVX,SANDYBRIDGE,SO
-VCMPLE_OQPD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 12]             AVX,SANDYBRIDGE,SO
-VCMPLE_OQPD    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 12]             AVX,SANDYBRIDGE,SY
-VCMPLE_OQPD    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 12]             AVX,SANDYBRIDGE,SY
-VCMPUNORD_SPD  xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 13]             AVX,SANDYBRIDGE,SO
-VCMPUNORD_SPD  xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 13]             AVX,SANDYBRIDGE,SO
-VCMPUNORD_SPD  ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 13]             AVX,SANDYBRIDGE,SY
-VCMPUNORD_SPD  ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 13]             AVX,SANDYBRIDGE,SY
-VCMPNEQ_USPD   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 14]             AVX,SANDYBRIDGE,SO
-VCMPNEQ_USPD   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 14]             AVX,SANDYBRIDGE,SO
-VCMPNEQ_USPD   ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 14]             AVX,SANDYBRIDGE,SY
-VCMPNEQ_USPD   ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 14]             AVX,SANDYBRIDGE,SY
-VCMPNLT_UQPD   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 15]             AVX,SANDYBRIDGE,SO
-VCMPNLT_UQPD   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 15]             AVX,SANDYBRIDGE,SO
-VCMPNLT_UQPD   ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 15]             AVX,SANDYBRIDGE,SY
-VCMPNLT_UQPD   ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 15]             AVX,SANDYBRIDGE,SY
-VCMPNLE_UQPD   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 16]             AVX,SANDYBRIDGE,SO
-VCMPNLE_UQPD   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 16]             AVX,SANDYBRIDGE,SO
-VCMPNLE_UQPD   ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 16]             AVX,SANDYBRIDGE,SY
-VCMPNLE_UQPD   ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 16]             AVX,SANDYBRIDGE,SY
-VCMPORD_SPD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 17]             AVX,SANDYBRIDGE,SO
-VCMPORD_SPD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 17]             AVX,SANDYBRIDGE,SO
-VCMPORD_SPD    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 17]             AVX,SANDYBRIDGE,SY
-VCMPORS_SPD    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 17]             AVX,SANDYBRIDGE,SY
-VCMPEQ_USPD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 18]             AVX,SANDYBRIDGE,SO
-VCMPEQ_USPD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 18]             AVX,SANDYBRIDGE,SO
-VCMPEQ_USPD    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 18]             AVX,SANDYBRIDGE,SY
-VCMPEQ_USPD    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 18]             AVX,SANDYBRIDGE,SY
-VCMPNGE_UQPD   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 19]             AVX,SANDYBRIDGE,SO
-VCMPNGE_UQPD   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 19]             AVX,SANDYBRIDGE,SO
-VCMPNGE_UQPD   ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 19]             AVX,SANDYBRIDGE,SY
-VCMPNGE_UQPD   ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 19]             AVX,SANDYBRIDGE,SY
-VCMPNGT_UQPD   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 1a]             AVX,SANDYBRIDGE,SO
-VCMPNGT_UQPD   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 1a]             AVX,SANDYBRIDGE,SO
-VCMPNGT_UQPD   ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 1a]             AVX,SANDYBRIDGE,SY
-VCMPNGT_UQPD   ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 1a]             AVX,SANDYBRIDGE,SY
-VCMPFALSE_OSPD xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 1b]             AVX,SANDYBRIDGE,SO
-VCMPFALSE_OSPD xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 1b]             AVX,SANDYBRIDGE,SO
-VCMPFALSE_OSPD ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 1b]             AVX,SANDYBRIDGE,SY
-VCMPFALSE_OSPD ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 1b]             AVX,SANDYBRIDGE,SY
-VCMPNEQ_OSPD   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 1c]             AVX,SANDYBRIDGE,SO
-VCMPNEQ_OSPD   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 1c]             AVX,SANDYBRIDGE,SO
-VCMPNEQ_OSPD   ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 1c]             AVX,SANDYBRIDGE,SY
-VCMPNEQ_OSPD   ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 1c]             AVX,SANDYBRIDGE,SY
-VCMPGE_OQPD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 1d]             AVX,SANDYBRIDGE,SO
-VCMPGE_OQPD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 1d]             AVX,SANDYBRIDGE,SO
-VCMPGE_OQPD    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 1d]             AVX,SANDYBRIDGE,SY
-VCMPGE_OQPD    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 1d]             AVX,SANDYBRIDGE,SY
-VCMPGT_OQPD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 1e]             AVX,SANDYBRIDGE,SO
-VCMPGT_OQPD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 1e]             AVX,SANDYBRIDGE,SO
-VCMPGT_OQPD    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 1e]             AVX,SANDYBRIDGE,SY
-VCMPFT_OQPD    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 1e]             AVX,SANDYBRIDGE,SY
-VCMPTRUE_USPD  xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.66.0f c2 /r 1f]             AVX,SANDYBRIDGE,SO
-VCMPTRUE_USPD  xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.66.0f c2 /r 1f]             AVX,SANDYBRIDGE,SO
-VCMPTRUE_USPD  ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.66.0f c2 /r 1f]             AVX,SANDYBRIDGE,SY
-VCMPTRUE_USPD  ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.66.0f c2 /r 1f]             AVX,SANDYBRIDGE,SY
+VCMPEQPD       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 00]             AVX,SANDYBRIDGE,SO
+VCMPEQPD       xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 00]             AVX,SANDYBRIDGE,SO
+VCMPEQPD       ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 00]             AVX,SANDYBRIDGE,SY
+VCMPEQPD       ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 00]             AVX,SANDYBRIDGE,SY
+VCMPLTPD       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 01]             AVX,SANDYBRIDGE,SO
+VCMPLTPD       xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 01]             AVX,SANDYBRIDGE,SO
+VCMPLTPD       ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 01]             AVX,SANDYBRIDGE,SY
+VCMPLTPD       ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 01]             AVX,SANDYBRIDGE,SY
+VCMPLEPD       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 02]             AVX,SANDYBRIDGE,SO
+VCMPLEPD       xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 02]             AVX,SANDYBRIDGE,SO
+VCMPLEPD       ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 02]             AVX,SANDYBRIDGE,SY
+VCMPLEPD       ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 02]             AVX,SANDYBRIDGE,SY
+VCMPUNORDPD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 03]             AVX,SANDYBRIDGE,SO
+VCMPUNORDPD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 03]             AVX,SANDYBRIDGE,SO
+VCMPUNORDPD    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 03]             AVX,SANDYBRIDGE,SY
+VCMPUNORDPD    ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 03]             AVX,SANDYBRIDGE,SY
+VCMPNEQPD      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 04]             AVX,SANDYBRIDGE,SO
+VCMPNEQPD      xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 04]             AVX,SANDYBRIDGE,SO
+VCMPNEQPD      ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 04]             AVX,SANDYBRIDGE,SY
+VCMPNEQPD      ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 04]             AVX,SANDYBRIDGE,SY
+VCMPNLTPD      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 05]             AVX,SANDYBRIDGE,SO
+VCMPNLTPD      xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 05]             AVX,SANDYBRIDGE,SO
+VCMPNLTPD      ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 05]             AVX,SANDYBRIDGE,SY
+VCMPNLTPD      ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 05]             AVX,SANDYBRIDGE,SY
+VCMPNLEPD      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 06]             AVX,SANDYBRIDGE,SO
+VCMPNLEPD      xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 06]             AVX,SANDYBRIDGE,SO
+VCMPNLEPD      ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 06]             AVX,SANDYBRIDGE,SY
+VCMPNLEPD      ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 06]             AVX,SANDYBRIDGE,SY
+VCMPORDPD      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 07]             AVX,SANDYBRIDGE,SO
+VCMPORDPD      xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 07]             AVX,SANDYBRIDGE,SO
+VCMPORDPD      ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 07]             AVX,SANDYBRIDGE,SY
+VCMPORDPD      ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 07]             AVX,SANDYBRIDGE,SY
+VCMPEQ_UQPD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 08]             AVX,SANDYBRIDGE,SO
+VCMPEQ_UQPD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 08]             AVX,SANDYBRIDGE,SO
+VCMPEQ_UQPD    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 08]             AVX,SANDYBRIDGE,SY
+VCMPEQ_UQPD    ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 08]             AVX,SANDYBRIDGE,SY
+VCMPNGEPD      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 09]             AVX,SANDYBRIDGE,SO
+VCMPNGEPD      xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 09]             AVX,SANDYBRIDGE,SO
+VCMPNGEPD      ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 09]             AVX,SANDYBRIDGE,SY
+VCMPNGEPD      ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 09]             AVX,SANDYBRIDGE,SY
+VCMPNGTPD      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 0a]             AVX,SANDYBRIDGE,SO
+VCMPNGTPD      xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 0a]             AVX,SANDYBRIDGE,SO
+VCMPNGTPD      ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 0a]             AVX,SANDYBRIDGE,SY
+VCMPNGTPD      ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 0a]             AVX,SANDYBRIDGE,SY
+VCMPFALSEPD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 0b]             AVX,SANDYBRIDGE,SO
+VCMPFALSEPD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 0b]             AVX,SANDYBRIDGE,SO
+VCMPFALSEPD    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 0b]             AVX,SANDYBRIDGE,SY
+VCMPFALSEPD    ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 0b]             AVX,SANDYBRIDGE,SY
+VCMPNEQ_OQPD   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 0c]             AVX,SANDYBRIDGE,SO
+VCMPNEQ_OQPD   xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 0c]             AVX,SANDYBRIDGE,SO
+VCMPNEQ_OQPD   ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 0c]             AVX,SANDYBRIDGE,SY
+VCMPNEQ_OQPD   ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 0c]             AVX,SANDYBRIDGE,SY
+VCMPGEPD       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 0d]             AVX,SANDYBRIDGE,SO
+VCMPGEPD       xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 0d]             AVX,SANDYBRIDGE,SO
+VCMPGEPD       ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 0d]             AVX,SANDYBRIDGE,SY
+VCMPGEPD       ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 0d]             AVX,SANDYBRIDGE,SY
+VCMPGTPD       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 0e]             AVX,SANDYBRIDGE,SO
+VCMPGTPD       xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 0e]             AVX,SANDYBRIDGE,SO
+VCMPGTPD       ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 0e]             AVX,SANDYBRIDGE,SY
+VCMPGTPD       ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 0e]             AVX,SANDYBRIDGE,SY
+VCMPTRUEPD     xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 0f]             AVX,SANDYBRIDGE,SO
+VCMPTRUEPD     xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 0f]             AVX,SANDYBRIDGE,SO
+VCMPTRUEPD     ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 0f]             AVX,SANDYBRIDGE,SY
+VCMPTRUEPD     ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 0f]             AVX,SANDYBRIDGE,SY
+VCMPEQ_OSPD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 10]             AVX,SANDYBRIDGE,SO
+VCMPEQ_OSPD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 10]             AVX,SANDYBRIDGE,SO
+VCMPEQ_OSPD    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 10]             AVX,SANDYBRIDGE,SY
+VCMPEQ_OSPD    ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 10]             AVX,SANDYBRIDGE,SY
+VCMPLT_OQPD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 11]             AVX,SANDYBRIDGE,SO
+VCMPLT_OQPD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 11]             AVX,SANDYBRIDGE,SO
+VCMPLT_OQPD    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 11]             AVX,SANDYBRIDGE,SY
+VCMPLT_OQPD    ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 11]             AVX,SANDYBRIDGE,SY
+VCMPLE_OQPD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 12]             AVX,SANDYBRIDGE,SO
+VCMPLE_OQPD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 12]             AVX,SANDYBRIDGE,SO
+VCMPLE_OQPD    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 12]             AVX,SANDYBRIDGE,SY
+VCMPLE_OQPD    ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 12]             AVX,SANDYBRIDGE,SY
+VCMPUNORD_SPD  xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 13]             AVX,SANDYBRIDGE,SO
+VCMPUNORD_SPD  xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 13]             AVX,SANDYBRIDGE,SO
+VCMPUNORD_SPD  ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 13]             AVX,SANDYBRIDGE,SY
+VCMPUNORD_SPD  ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 13]             AVX,SANDYBRIDGE,SY
+VCMPNEQ_USPD   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 14]             AVX,SANDYBRIDGE,SO
+VCMPNEQ_USPD   xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 14]             AVX,SANDYBRIDGE,SO
+VCMPNEQ_USPD   ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 14]             AVX,SANDYBRIDGE,SY
+VCMPNEQ_USPD   ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 14]             AVX,SANDYBRIDGE,SY
+VCMPNLT_UQPD   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 15]             AVX,SANDYBRIDGE,SO
+VCMPNLT_UQPD   xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 15]             AVX,SANDYBRIDGE,SO
+VCMPNLT_UQPD   ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 15]             AVX,SANDYBRIDGE,SY
+VCMPNLT_UQPD   ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 15]             AVX,SANDYBRIDGE,SY
+VCMPNLE_UQPD   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 16]             AVX,SANDYBRIDGE,SO
+VCMPNLE_UQPD   xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 16]             AVX,SANDYBRIDGE,SO
+VCMPNLE_UQPD   ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 16]             AVX,SANDYBRIDGE,SY
+VCMPNLE_UQPD   ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 16]             AVX,SANDYBRIDGE,SY
+VCMPORD_SPD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 17]             AVX,SANDYBRIDGE,SO
+VCMPORD_SPD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 17]             AVX,SANDYBRIDGE,SO
+VCMPORD_SPD    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 17]             AVX,SANDYBRIDGE,SY
+VCMPORS_SPD    ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 17]             AVX,SANDYBRIDGE,SY
+VCMPEQ_USPD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 18]             AVX,SANDYBRIDGE,SO
+VCMPEQ_USPD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 18]             AVX,SANDYBRIDGE,SO
+VCMPEQ_USPD    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 18]             AVX,SANDYBRIDGE,SY
+VCMPEQ_USPD    ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 18]             AVX,SANDYBRIDGE,SY
+VCMPNGE_UQPD   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 19]             AVX,SANDYBRIDGE,SO
+VCMPNGE_UQPD   xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 19]             AVX,SANDYBRIDGE,SO
+VCMPNGE_UQPD   ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 19]             AVX,SANDYBRIDGE,SY
+VCMPNGE_UQPD   ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 19]             AVX,SANDYBRIDGE,SY
+VCMPNGT_UQPD   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 1a]             AVX,SANDYBRIDGE,SO
+VCMPNGT_UQPD   xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 1a]             AVX,SANDYBRIDGE,SO
+VCMPNGT_UQPD   ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 1a]             AVX,SANDYBRIDGE,SY
+VCMPNGT_UQPD   ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 1a]             AVX,SANDYBRIDGE,SY
+VCMPFALSE_OSPD xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 1b]             AVX,SANDYBRIDGE,SO
+VCMPFALSE_OSPD xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 1b]             AVX,SANDYBRIDGE,SO
+VCMPFALSE_OSPD ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 1b]             AVX,SANDYBRIDGE,SY
+VCMPFALSE_OSPD ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 1b]             AVX,SANDYBRIDGE,SY
+VCMPNEQ_OSPD   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 1c]             AVX,SANDYBRIDGE,SO
+VCMPNEQ_OSPD   xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 1c]             AVX,SANDYBRIDGE,SO
+VCMPNEQ_OSPD   ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 1c]             AVX,SANDYBRIDGE,SY
+VCMPNEQ_OSPD   ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 1c]             AVX,SANDYBRIDGE,SY
+VCMPGE_OQPD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 1d]             AVX,SANDYBRIDGE,SO
+VCMPGE_OQPD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 1d]             AVX,SANDYBRIDGE,SO
+VCMPGE_OQPD    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 1d]             AVX,SANDYBRIDGE,SY
+VCMPGE_OQPD    ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 1d]             AVX,SANDYBRIDGE,SY
+VCMPGT_OQPD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 1e]             AVX,SANDYBRIDGE,SO
+VCMPGT_OQPD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 1e]             AVX,SANDYBRIDGE,SO
+VCMPGT_OQPD    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 1e]             AVX,SANDYBRIDGE,SY
+VCMPFT_OQPD    ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 1e]             AVX,SANDYBRIDGE,SY
+VCMPTRUE_USPD  xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.66.0f c2 /r 1f]             AVX,SANDYBRIDGE,SO
+VCMPTRUE_USPD  xmmreg,xmmrm                    [r+vm:  vex.nds.128.66.0f c2 /r 1f]             AVX,SANDYBRIDGE,SO
+VCMPTRUE_USPD  ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.66.0f c2 /r 1f]             AVX,SANDYBRIDGE,SY
+VCMPTRUE_USPD  ymmreg,ymmrm                    [r+vm:  vex.nds.256.66.0f c2 /r 1f]             AVX,SANDYBRIDGE,SY
 VCMPPD         xmmreg,xmmreg,xmmrm,imm         [rvmi:  vex.nds.128.66.0f c2 /r ib]             AVX,SANDYBRIDGE,SO
 VCMPPD         xmmreg,xmmrm,imm                [r+vmi: vex.nds.128.66.0f c2 /r ib]             AVX,SANDYBRIDGE,SO
 VCMPPD         ymmreg,ymmreg,ymmrm,imm         [rvmi:  vex.nds.256.66.0f c2 /r ib]             AVX,SANDYBRIDGE,SY
 VCMPPD         ymmreg,ymmrm,imm                [r+vmi: vex.nds.256.66.0f c2 /r ib]             AVX,SANDYBRIDGE,SY
 ; Specific aliases first, then the generic version, to keep the disassembler happy...
-VCMPEQPS       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 00]                AVX,SANDYBRIDGE,SO
-VCMPEQPS       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 00]                AVX,SANDYBRIDGE,SO
-VCMPEQPS       ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 00]                AVX,SANDYBRIDGE,SY
-VCMPEQPS       ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 00]                AVX,SANDYBRIDGE,SY
-VCMPLTPS       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 01]                AVX,SANDYBRIDGE,SO
-VCMPLTPS       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 01]                AVX,SANDYBRIDGE,SO
-VCMPLTPS       ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 01]                AVX,SANDYBRIDGE,SY
-VCMPLTPS       ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 01]                AVX,SANDYBRIDGE,SY
-VCMPLEPS       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 02]                AVX,SANDYBRIDGE,SO
-VCMPLEPS       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 02]                AVX,SANDYBRIDGE,SO
-VCMPLEPS       ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 02]                AVX,SANDYBRIDGE,SY
-VCMPLEPS       ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 02]                AVX,SANDYBRIDGE,SY
-VCMPUNORDPS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 03]                AVX,SANDYBRIDGE,SO
-VCMPUNORDPS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 03]                AVX,SANDYBRIDGE,SO
-VCMPUNORDPS    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 03]                AVX,SANDYBRIDGE,SY
-VCMPUNORDPS    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 03]                AVX,SANDYBRIDGE,SY
-VCMPNEQPS      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 04]                AVX,SANDYBRIDGE,SO
-VCMPNEQPS      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 04]                AVX,SANDYBRIDGE,SO
-VCMPNEQPS      ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 04]                AVX,SANDYBRIDGE,SY
-VCMPNEQPS      ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 04]                AVX,SANDYBRIDGE,SY
-VCMPNLTPS      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 05]                AVX,SANDYBRIDGE,SO
-VCMPNLTPS      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 05]                AVX,SANDYBRIDGE,SO
-VCMPNLTPS      ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 05]                AVX,SANDYBRIDGE,SY
-VCMPNLTPS      ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 05]                AVX,SANDYBRIDGE,SY
-VCMPNLEPS      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 06]                AVX,SANDYBRIDGE,SO
-VCMPNLEPS      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 06]                AVX,SANDYBRIDGE,SO
-VCMPNLEPS      ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 06]                AVX,SANDYBRIDGE,SY
-VCMPNLEPS      ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 06]                AVX,SANDYBRIDGE,SY
-VCMPORDPS      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 07]                AVX,SANDYBRIDGE,SO
-VCMPORDPS      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 07]                AVX,SANDYBRIDGE,SO
-VCMPORDPS      ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 07]                AVX,SANDYBRIDGE,SY
-VCMPORDPS      ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 07]                AVX,SANDYBRIDGE,SY
-VCMPEQ_UQPS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 08]                AVX,SANDYBRIDGE,SO
-VCMPEQ_UQPS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 08]                AVX,SANDYBRIDGE,SO
-VCMPEQ_UQPS    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 08]                AVX,SANDYBRIDGE,SY
-VCMPEQ_UQPS    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 08]                AVX,SANDYBRIDGE,SY
-VCMPNGEPS      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 09]                AVX,SANDYBRIDGE,SO
-VCMPNGEPS      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 09]                AVX,SANDYBRIDGE,SO
-VCMPNGEPS      ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 09]                AVX,SANDYBRIDGE,SY
-VCMPNGEPS      ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 09]                AVX,SANDYBRIDGE,SY
-VCMPNGTPS      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 0a]                AVX,SANDYBRIDGE,SO
-VCMPNGTPS      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 0a]                AVX,SANDYBRIDGE,SO
-VCMPNGTPS      ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 0a]                AVX,SANDYBRIDGE,SY
-VCMPNGTPS      ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 0a]                AVX,SANDYBRIDGE,SY
-VCMPFALSEPS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 0b]                AVX,SANDYBRIDGE,SO
-VCMPFALSEPS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 0b]                AVX,SANDYBRIDGE,SO
-VCMPFALSEPS    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 0b]                AVX,SANDYBRIDGE,SY
-VCMPFALSEPS    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 0b]                AVX,SANDYBRIDGE,SY
-VCMPNEQ_OQPS   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 0c]                AVX,SANDYBRIDGE,SO
-VCMPNEQ_OQPS   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 0c]                AVX,SANDYBRIDGE,SO
-VCMPNEQ_OQPS   ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 0c]                AVX,SANDYBRIDGE,SY
-VCMPNEQ_OQPS   ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 0c]                AVX,SANDYBRIDGE,SY
-VCMPGEPS       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 0d]                AVX,SANDYBRIDGE,SO
-VCMPGEPS       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 0d]                AVX,SANDYBRIDGE,SO
-VCMPGEPS       ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 0d]                AVX,SANDYBRIDGE,SY
-VCMPGEPS       ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 0d]                AVX,SANDYBRIDGE,SY
-VCMPGTPS       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 0e]                AVX,SANDYBRIDGE,SO
-VCMPGTPS       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 0e]                AVX,SANDYBRIDGE,SO
-VCMPGTPS       ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 0e]                AVX,SANDYBRIDGE,SY
-VCMPGTPS       ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 0e]                AVX,SANDYBRIDGE,SY
-VCMPTRUEPS     xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 0f]                AVX,SANDYBRIDGE,SO
-VCMPTRUEPS     xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 0f]                AVX,SANDYBRIDGE,SO
-VCMPTRUEPS     ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 0f]                AVX,SANDYBRIDGE,SY
-VCMPTRUEPS     ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 0f]                AVX,SANDYBRIDGE,SY
-VCMPEQ_OSPS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 10]                AVX,SANDYBRIDGE,SO
-VCMPEQ_OSPS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 10]                AVX,SANDYBRIDGE,SO
-VCMPEQ_OSPS    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 10]                AVX,SANDYBRIDGE,SY
-VCMPEQ_OSPS    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 10]                AVX,SANDYBRIDGE,SY
-VCMPLT_OQPS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 11]                AVX,SANDYBRIDGE,SO
-VCMPLT_OQPS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 11]                AVX,SANDYBRIDGE,SO
-VCMPLT_OQPS    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 11]                AVX,SANDYBRIDGE,SY
-VCMPLT_OQPS    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 11]                AVX,SANDYBRIDGE,SY
-VCMPLE_OQPS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 12]                AVX,SANDYBRIDGE,SO
-VCMPLE_OQPS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 12]                AVX,SANDYBRIDGE,SO
-VCMPLE_OQPS    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 12]                AVX,SANDYBRIDGE,SY
-VCMPLE_OQPS    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 12]                AVX,SANDYBRIDGE,SY
-VCMPUNORD_SPS  xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 13]                AVX,SANDYBRIDGE,SO
-VCMPUNORD_SPS  xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 13]                AVX,SANDYBRIDGE,SO
-VCMPUNORD_SPS  ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 13]                AVX,SANDYBRIDGE,SY
-VCMPUNORD_SPS  ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 13]                AVX,SANDYBRIDGE,SY
-VCMPNEQ_USPS   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 14]                AVX,SANDYBRIDGE,SO
-VCMPNEQ_USPS   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 14]                AVX,SANDYBRIDGE,SO
-VCMPNEQ_USPS   ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 14]                AVX,SANDYBRIDGE,SY
-VCMPNEQ_USPS   ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 14]                AVX,SANDYBRIDGE,SY
-VCMPNLT_UQPS   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 15]                AVX,SANDYBRIDGE,SO
-VCMPNLT_UQPS   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 15]                AVX,SANDYBRIDGE,SO
-VCMPNLT_UQPS   ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 15]                AVX,SANDYBRIDGE,SY
-VCMPNLT_UQPS   ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 15]                AVX,SANDYBRIDGE,SY
-VCMPNLE_UQPS   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 16]                AVX,SANDYBRIDGE,SO
-VCMPNLE_UQPS   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 16]                AVX,SANDYBRIDGE,SO
-VCMPNLE_UQPS   ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 16]                AVX,SANDYBRIDGE,SY
-VCMPNLE_UQPS   ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 16]                AVX,SANDYBRIDGE,SY
-VCMPORD_SPS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 17]                AVX,SANDYBRIDGE,SO
-VCMPORD_SPS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 17]                AVX,SANDYBRIDGE,SO
-VCMPORD_SPS    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 17]                AVX,SANDYBRIDGE,SY
-VCMPORS_SPS    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 17]                AVX,SANDYBRIDGE,SY
-VCMPEQ_USPS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 18]                AVX,SANDYBRIDGE,SO
-VCMPEQ_USPS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 18]                AVX,SANDYBRIDGE,SO
-VCMPEQ_USPS    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 18]                AVX,SANDYBRIDGE,SY
-VCMPEQ_USPS    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 18]                AVX,SANDYBRIDGE,SY
-VCMPNGE_UQPS   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 19]                AVX,SANDYBRIDGE,SO
-VCMPNGE_UQPS   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 19]                AVX,SANDYBRIDGE,SO
-VCMPNGE_UQPS   ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 19]                AVX,SANDYBRIDGE,SY
-VCMPNGE_UQPS   ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 19]                AVX,SANDYBRIDGE,SY
-VCMPNGT_UQPS   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 1a]                AVX,SANDYBRIDGE,SO
-VCMPNGT_UQPS   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 1a]                AVX,SANDYBRIDGE,SO
-VCMPNGT_UQPS   ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 1a]                AVX,SANDYBRIDGE,SY
-VCMPNGT_UQPS   ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 1a]                AVX,SANDYBRIDGE,SY
-VCMPFALSE_OSPS xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 1b]                AVX,SANDYBRIDGE,SO
-VCMPFALSE_OSPS xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 1b]                AVX,SANDYBRIDGE,SO
-VCMPFALSE_OSPS ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 1b]                AVX,SANDYBRIDGE,SY
-VCMPFALSE_OSPS ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 1b]                AVX,SANDYBRIDGE,SY
-VCMPNEQ_OSPS   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 1c]                AVX,SANDYBRIDGE,SO
-VCMPNEQ_OSPS   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 1c]                AVX,SANDYBRIDGE,SO
-VCMPNEQ_OSPS   ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 1c]                AVX,SANDYBRIDGE,SY
-VCMPNEQ_OSPS   ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 1c]                AVX,SANDYBRIDGE,SY
-VCMPGE_OQPS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 1d]                AVX,SANDYBRIDGE,SO
-VCMPGE_OQPS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 1d]                AVX,SANDYBRIDGE,SO
-VCMPGE_OQPS    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 1d]                AVX,SANDYBRIDGE,SY
-VCMPGE_OQPS    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 1d]                AVX,SANDYBRIDGE,SY
-VCMPGT_OQPS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 1e]                AVX,SANDYBRIDGE,SO
-VCMPGT_OQPS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 1e]                AVX,SANDYBRIDGE,SO
-VCMPGT_OQPS    ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 1e]                AVX,SANDYBRIDGE,SY
-VCMPFT_OQPS    ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 1e]                AVX,SANDYBRIDGE,SY
-VCMPTRUE_USPS  xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.0f c2 /r 1f]                AVX,SANDYBRIDGE,SO
-VCMPTRUE_USPS  xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.0f c2 /r 1f]                AVX,SANDYBRIDGE,SO
-VCMPTRUE_USPS  ymmreg,ymmreg,ymmrm,imm         [rvm:   vex.nds.256.0f c2 /r 1f]                AVX,SANDYBRIDGE,SY
-VCMPTRUE_USPS  ymmreg,ymmrm,imm                [r+vm:  vex.nds.256.0f c2 /r 1f]                AVX,SANDYBRIDGE,SY
+VCMPEQPS       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 00]                AVX,SANDYBRIDGE,SO
+VCMPEQPS       xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 00]                AVX,SANDYBRIDGE,SO
+VCMPEQPS       ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 00]                AVX,SANDYBRIDGE,SY
+VCMPEQPS       ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 00]                AVX,SANDYBRIDGE,SY
+VCMPLTPS       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 01]                AVX,SANDYBRIDGE,SO
+VCMPLTPS       xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 01]                AVX,SANDYBRIDGE,SO
+VCMPLTPS       ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 01]                AVX,SANDYBRIDGE,SY
+VCMPLTPS       ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 01]                AVX,SANDYBRIDGE,SY
+VCMPLEPS       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 02]                AVX,SANDYBRIDGE,SO
+VCMPLEPS       xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 02]                AVX,SANDYBRIDGE,SO
+VCMPLEPS       ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 02]                AVX,SANDYBRIDGE,SY
+VCMPLEPS       ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 02]                AVX,SANDYBRIDGE,SY
+VCMPUNORDPS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 03]                AVX,SANDYBRIDGE,SO
+VCMPUNORDPS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 03]                AVX,SANDYBRIDGE,SO
+VCMPUNORDPS    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 03]                AVX,SANDYBRIDGE,SY
+VCMPUNORDPS    ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 03]                AVX,SANDYBRIDGE,SY
+VCMPNEQPS      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 04]                AVX,SANDYBRIDGE,SO
+VCMPNEQPS      xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 04]                AVX,SANDYBRIDGE,SO
+VCMPNEQPS      ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 04]                AVX,SANDYBRIDGE,SY
+VCMPNEQPS      ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 04]                AVX,SANDYBRIDGE,SY
+VCMPNLTPS      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 05]                AVX,SANDYBRIDGE,SO
+VCMPNLTPS      xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 05]                AVX,SANDYBRIDGE,SO
+VCMPNLTPS      ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 05]                AVX,SANDYBRIDGE,SY
+VCMPNLTPS      ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 05]                AVX,SANDYBRIDGE,SY
+VCMPNLEPS      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 06]                AVX,SANDYBRIDGE,SO
+VCMPNLEPS      xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 06]                AVX,SANDYBRIDGE,SO
+VCMPNLEPS      ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 06]                AVX,SANDYBRIDGE,SY
+VCMPNLEPS      ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 06]                AVX,SANDYBRIDGE,SY
+VCMPORDPS      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 07]                AVX,SANDYBRIDGE,SO
+VCMPORDPS      xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 07]                AVX,SANDYBRIDGE,SO
+VCMPORDPS      ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 07]                AVX,SANDYBRIDGE,SY
+VCMPORDPS      ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 07]                AVX,SANDYBRIDGE,SY
+VCMPEQ_UQPS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 08]                AVX,SANDYBRIDGE,SO
+VCMPEQ_UQPS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 08]                AVX,SANDYBRIDGE,SO
+VCMPEQ_UQPS    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 08]                AVX,SANDYBRIDGE,SY
+VCMPEQ_UQPS    ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 08]                AVX,SANDYBRIDGE,SY
+VCMPNGEPS      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 09]                AVX,SANDYBRIDGE,SO
+VCMPNGEPS      xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 09]                AVX,SANDYBRIDGE,SO
+VCMPNGEPS      ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 09]                AVX,SANDYBRIDGE,SY
+VCMPNGEPS      ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 09]                AVX,SANDYBRIDGE,SY
+VCMPNGTPS      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 0a]                AVX,SANDYBRIDGE,SO
+VCMPNGTPS      xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 0a]                AVX,SANDYBRIDGE,SO
+VCMPNGTPS      ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 0a]                AVX,SANDYBRIDGE,SY
+VCMPNGTPS      ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 0a]                AVX,SANDYBRIDGE,SY
+VCMPFALSEPS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 0b]                AVX,SANDYBRIDGE,SO
+VCMPFALSEPS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 0b]                AVX,SANDYBRIDGE,SO
+VCMPFALSEPS    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 0b]                AVX,SANDYBRIDGE,SY
+VCMPFALSEPS    ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 0b]                AVX,SANDYBRIDGE,SY
+VCMPNEQ_OQPS   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 0c]                AVX,SANDYBRIDGE,SO
+VCMPNEQ_OQPS   xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 0c]                AVX,SANDYBRIDGE,SO
+VCMPNEQ_OQPS   ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 0c]                AVX,SANDYBRIDGE,SY
+VCMPNEQ_OQPS   ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 0c]                AVX,SANDYBRIDGE,SY
+VCMPGEPS       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 0d]                AVX,SANDYBRIDGE,SO
+VCMPGEPS       xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 0d]                AVX,SANDYBRIDGE,SO
+VCMPGEPS       ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 0d]                AVX,SANDYBRIDGE,SY
+VCMPGEPS       ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 0d]                AVX,SANDYBRIDGE,SY
+VCMPGTPS       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 0e]                AVX,SANDYBRIDGE,SO
+VCMPGTPS       xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 0e]                AVX,SANDYBRIDGE,SO
+VCMPGTPS       ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 0e]                AVX,SANDYBRIDGE,SY
+VCMPGTPS       ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 0e]                AVX,SANDYBRIDGE,SY
+VCMPTRUEPS     xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 0f]                AVX,SANDYBRIDGE,SO
+VCMPTRUEPS     xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 0f]                AVX,SANDYBRIDGE,SO
+VCMPTRUEPS     ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 0f]                AVX,SANDYBRIDGE,SY
+VCMPTRUEPS     ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 0f]                AVX,SANDYBRIDGE,SY
+VCMPEQ_OSPS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 10]                AVX,SANDYBRIDGE,SO
+VCMPEQ_OSPS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 10]                AVX,SANDYBRIDGE,SO
+VCMPEQ_OSPS    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 10]                AVX,SANDYBRIDGE,SY
+VCMPEQ_OSPS    ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 10]                AVX,SANDYBRIDGE,SY
+VCMPLT_OQPS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 11]                AVX,SANDYBRIDGE,SO
+VCMPLT_OQPS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 11]                AVX,SANDYBRIDGE,SO
+VCMPLT_OQPS    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 11]                AVX,SANDYBRIDGE,SY
+VCMPLT_OQPS    ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 11]                AVX,SANDYBRIDGE,SY
+VCMPLE_OQPS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 12]                AVX,SANDYBRIDGE,SO
+VCMPLE_OQPS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 12]                AVX,SANDYBRIDGE,SO
+VCMPLE_OQPS    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 12]                AVX,SANDYBRIDGE,SY
+VCMPLE_OQPS    ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 12]                AVX,SANDYBRIDGE,SY
+VCMPUNORD_SPS  xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 13]                AVX,SANDYBRIDGE,SO
+VCMPUNORD_SPS  xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 13]                AVX,SANDYBRIDGE,SO
+VCMPUNORD_SPS  ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 13]                AVX,SANDYBRIDGE,SY
+VCMPUNORD_SPS  ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 13]                AVX,SANDYBRIDGE,SY
+VCMPNEQ_USPS   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 14]                AVX,SANDYBRIDGE,SO
+VCMPNEQ_USPS   xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 14]                AVX,SANDYBRIDGE,SO
+VCMPNEQ_USPS   ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 14]                AVX,SANDYBRIDGE,SY
+VCMPNEQ_USPS   ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 14]                AVX,SANDYBRIDGE,SY
+VCMPNLT_UQPS   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 15]                AVX,SANDYBRIDGE,SO
+VCMPNLT_UQPS   xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 15]                AVX,SANDYBRIDGE,SO
+VCMPNLT_UQPS   ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 15]                AVX,SANDYBRIDGE,SY
+VCMPNLT_UQPS   ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 15]                AVX,SANDYBRIDGE,SY
+VCMPNLE_UQPS   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 16]                AVX,SANDYBRIDGE,SO
+VCMPNLE_UQPS   xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 16]                AVX,SANDYBRIDGE,SO
+VCMPNLE_UQPS   ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 16]                AVX,SANDYBRIDGE,SY
+VCMPNLE_UQPS   ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 16]                AVX,SANDYBRIDGE,SY
+VCMPORD_SPS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 17]                AVX,SANDYBRIDGE,SO
+VCMPORD_SPS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 17]                AVX,SANDYBRIDGE,SO
+VCMPORD_SPS    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 17]                AVX,SANDYBRIDGE,SY
+VCMPORS_SPS    ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 17]                AVX,SANDYBRIDGE,SY
+VCMPEQ_USPS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 18]                AVX,SANDYBRIDGE,SO
+VCMPEQ_USPS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 18]                AVX,SANDYBRIDGE,SO
+VCMPEQ_USPS    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 18]                AVX,SANDYBRIDGE,SY
+VCMPEQ_USPS    ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 18]                AVX,SANDYBRIDGE,SY
+VCMPNGE_UQPS   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 19]                AVX,SANDYBRIDGE,SO
+VCMPNGE_UQPS   xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 19]                AVX,SANDYBRIDGE,SO
+VCMPNGE_UQPS   ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 19]                AVX,SANDYBRIDGE,SY
+VCMPNGE_UQPS   ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 19]                AVX,SANDYBRIDGE,SY
+VCMPNGT_UQPS   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 1a]                AVX,SANDYBRIDGE,SO
+VCMPNGT_UQPS   xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 1a]                AVX,SANDYBRIDGE,SO
+VCMPNGT_UQPS   ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 1a]                AVX,SANDYBRIDGE,SY
+VCMPNGT_UQPS   ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 1a]                AVX,SANDYBRIDGE,SY
+VCMPFALSE_OSPS xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 1b]                AVX,SANDYBRIDGE,SO
+VCMPFALSE_OSPS xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 1b]                AVX,SANDYBRIDGE,SO
+VCMPFALSE_OSPS ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 1b]                AVX,SANDYBRIDGE,SY
+VCMPFALSE_OSPS ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 1b]                AVX,SANDYBRIDGE,SY
+VCMPNEQ_OSPS   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 1c]                AVX,SANDYBRIDGE,SO
+VCMPNEQ_OSPS   xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 1c]                AVX,SANDYBRIDGE,SO
+VCMPNEQ_OSPS   ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 1c]                AVX,SANDYBRIDGE,SY
+VCMPNEQ_OSPS   ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 1c]                AVX,SANDYBRIDGE,SY
+VCMPGE_OQPS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 1d]                AVX,SANDYBRIDGE,SO
+VCMPGE_OQPS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 1d]                AVX,SANDYBRIDGE,SO
+VCMPGE_OQPS    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 1d]                AVX,SANDYBRIDGE,SY
+VCMPGE_OQPS    ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 1d]                AVX,SANDYBRIDGE,SY
+VCMPGT_OQPS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 1e]                AVX,SANDYBRIDGE,SO
+VCMPGT_OQPS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 1e]                AVX,SANDYBRIDGE,SO
+VCMPGT_OQPS    ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 1e]                AVX,SANDYBRIDGE,SY
+VCMPFT_OQPS    ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 1e]                AVX,SANDYBRIDGE,SY
+VCMPTRUE_USPS  xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.0f c2 /r 1f]                AVX,SANDYBRIDGE,SO
+VCMPTRUE_USPS  xmmreg,xmmrm                    [r+vm:  vex.nds.128.0f c2 /r 1f]                AVX,SANDYBRIDGE,SO
+VCMPTRUE_USPS  ymmreg,ymmreg,ymmrm             [rvm:   vex.nds.256.0f c2 /r 1f]                AVX,SANDYBRIDGE,SY
+VCMPTRUE_USPS  ymmreg,ymmrm                    [r+vm:  vex.nds.256.0f c2 /r 1f]                AVX,SANDYBRIDGE,SY
 VCMPPS         xmmreg,xmmreg,xmmrm,imm         [rvmi:  vex.nds.128.0f c2 /r ib]                AVX,SANDYBRIDGE,SO
 VCMPPS         xmmreg,xmmrm,imm                [r+vmi: vex.nds.128.0f c2 /r ib]                AVX,SANDYBRIDGE,SO
 VCMPPS         ymmreg,ymmreg,ymmrm,imm         [rvmi:  vex.nds.256.0f c2 /r ib]                AVX,SANDYBRIDGE,SY
 VCMPPS         ymmreg,ymmrm,imm                [r+vmi: vex.nds.256.0f c2 /r ib]                AVX,SANDYBRIDGE,SY
 ; Specific aliases first, then the generic version, to keep the disassembler happy...
-VCMPEQSD       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 00]             AVX,SANDYBRIDGE,SQ
-VCMPEQSD       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 00]             AVX,SANDYBRIDGE,SQ
-VCMPLTSD       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 01]             AVX,SANDYBRIDGE,SQ
-VCMPLTSD       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 01]             AVX,SANDYBRIDGE,SQ
-VCMPLESD       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 02]             AVX,SANDYBRIDGE,SQ
-VCMPLESD       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 02]             AVX,SANDYBRIDGE,SQ
-VCMPUNORDSD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 03]             AVX,SANDYBRIDGE,SQ
-VCMPUNORDSD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 03]             AVX,SANDYBRIDGE,SQ
-VCMPNEQSD      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 04]             AVX,SANDYBRIDGE,SQ
-VCMPNEQSD      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 04]             AVX,SANDYBRIDGE,SQ
-VCMPNLTSD      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 05]             AVX,SANDYBRIDGE,SQ
-VCMPNLTSD      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 05]             AVX,SANDYBRIDGE,SQ
-VCMPNLESD      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 06]             AVX,SANDYBRIDGE,SQ
-VCMPNLESD      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 06]             AVX,SANDYBRIDGE,SQ
-VCMPORDSD      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 07]             AVX,SANDYBRIDGE,SQ
-VCMPORDSD      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 07]             AVX,SANDYBRIDGE,SQ
-VCMPEQ_UQSD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 08]             AVX,SANDYBRIDGE,SQ
-VCMPEQ_UQSD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 08]             AVX,SANDYBRIDGE,SQ
-VCMPNGESD      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 09]             AVX,SANDYBRIDGE,SQ
-VCMPNGESD      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 09]             AVX,SANDYBRIDGE,SQ
-VCMPNGTSD      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 0a]             AVX,SANDYBRIDGE,SQ
-VCMPNGTSD      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 0a]             AVX,SANDYBRIDGE,SQ
-VCMPFALSESD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 0b]             AVX,SANDYBRIDGE,SQ
-VCMPFALSESD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 0b]             AVX,SANDYBRIDGE,SQ
-VCMPNEQ_OQSD   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 0c]             AVX,SANDYBRIDGE,SQ
-VCMPNEQ_OQSD   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 0c]             AVX,SANDYBRIDGE,SQ
-VCMPGESD       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 0d]             AVX,SANDYBRIDGE,SQ
-VCMPGESD       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 0d]             AVX,SANDYBRIDGE,SQ
-VCMPGTSD       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 0e]             AVX,SANDYBRIDGE,SQ
-VCMPGTSD       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 0e]             AVX,SANDYBRIDGE,SQ
-VCMPTRUESD     xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 0f]             AVX,SANDYBRIDGE,SQ
-VCMPTRUESD     xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 0f]             AVX,SANDYBRIDGE,SQ
-VCMPEQ_OSSD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 10]             AVX,SANDYBRIDGE,SQ
-VCMPEQ_OSSD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 10]             AVX,SANDYBRIDGE,SQ
-VCMPLT_OQSD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 11]             AVX,SANDYBRIDGE,SQ
-VCMPLT_OQSD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 11]             AVX,SANDYBRIDGE,SQ
-VCMPLE_OQSD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 12]             AVX,SANDYBRIDGE,SQ
-VCMPLE_OQSD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 12]             AVX,SANDYBRIDGE,SQ
-VCMPUNORD_SSD  xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 13]             AVX,SANDYBRIDGE,SQ
-VCMPUNORD_SSD  xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 13]             AVX,SANDYBRIDGE,SQ
-VCMPNEQ_USSD   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 14]             AVX,SANDYBRIDGE,SQ
-VCMPNEQ_USSD   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 14]             AVX,SANDYBRIDGE,SQ
-VCMPNLT_UQSD   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 15]             AVX,SANDYBRIDGE,SQ
-VCMPNLT_UQSD   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 15]             AVX,SANDYBRIDGE,SQ
-VCMPNLE_UQSD   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 16]             AVX,SANDYBRIDGE,SQ
-VCMPNLE_UQSD   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 16]             AVX,SANDYBRIDGE,SQ
-VCMPORD_SSD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 17]             AVX,SANDYBRIDGE,SQ
-VCMPORD_SSD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 17]             AVX,SANDYBRIDGE,SQ
-VCMPEQ_USSD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 18]             AVX,SANDYBRIDGE,SQ
-VCMPEQ_USSD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 18]             AVX,SANDYBRIDGE,SQ
-VCMPNGE_UQSD   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 19]             AVX,SANDYBRIDGE,SQ
-VCMPNGE_UQSD   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 19]             AVX,SANDYBRIDGE,SQ
-VCMPNGT_UQSD   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 1a]             AVX,SANDYBRIDGE,SQ
-VCMPNGT_UQSD   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 1a]             AVX,SANDYBRIDGE,SQ
-VCMPFALSE_OSSD xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 1b]             AVX,SANDYBRIDGE,SQ
-VCMPFALSE_OSSD xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 1b]             AVX,SANDYBRIDGE,SQ
-VCMPNEQ_OSSD   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 1c]             AVX,SANDYBRIDGE,SQ
-VCMPNEQ_OSSD   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 1c]             AVX,SANDYBRIDGE,SQ
-VCMPGE_OQSD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 1d]             AVX,SANDYBRIDGE,SQ
-VCMPGE_OQSD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 1d]             AVX,SANDYBRIDGE,SQ
-VCMPGT_OQSD    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 1e]             AVX,SANDYBRIDGE,SQ
-VCMPGT_OQSD    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 1e]             AVX,SANDYBRIDGE,SQ
-VCMPTRUE_USSD  xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f2.0f c2 /r 1f]             AVX,SANDYBRIDGE,SQ
-VCMPTRUE_USSD  xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f2.0f c2 /r 1f]             AVX,SANDYBRIDGE,SQ
+VCMPEQSD       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 00]             AVX,SANDYBRIDGE,SQ
+VCMPEQSD       xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 00]             AVX,SANDYBRIDGE,SQ
+VCMPLTSD       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 01]             AVX,SANDYBRIDGE,SQ
+VCMPLTSD       xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 01]             AVX,SANDYBRIDGE,SQ
+VCMPLESD       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 02]             AVX,SANDYBRIDGE,SQ
+VCMPLESD       xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 02]             AVX,SANDYBRIDGE,SQ
+VCMPUNORDSD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 03]             AVX,SANDYBRIDGE,SQ
+VCMPUNORDSD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 03]             AVX,SANDYBRIDGE,SQ
+VCMPNEQSD      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 04]             AVX,SANDYBRIDGE,SQ
+VCMPNEQSD      xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 04]             AVX,SANDYBRIDGE,SQ
+VCMPNLTSD      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 05]             AVX,SANDYBRIDGE,SQ
+VCMPNLTSD      xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 05]             AVX,SANDYBRIDGE,SQ
+VCMPNLESD      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 06]             AVX,SANDYBRIDGE,SQ
+VCMPNLESD      xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 06]             AVX,SANDYBRIDGE,SQ
+VCMPORDSD      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 07]             AVX,SANDYBRIDGE,SQ
+VCMPORDSD      xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 07]             AVX,SANDYBRIDGE,SQ
+VCMPEQ_UQSD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 08]             AVX,SANDYBRIDGE,SQ
+VCMPEQ_UQSD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 08]             AVX,SANDYBRIDGE,SQ
+VCMPNGESD      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 09]             AVX,SANDYBRIDGE,SQ
+VCMPNGESD      xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 09]             AVX,SANDYBRIDGE,SQ
+VCMPNGTSD      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 0a]             AVX,SANDYBRIDGE,SQ
+VCMPNGTSD      xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 0a]             AVX,SANDYBRIDGE,SQ
+VCMPFALSESD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 0b]             AVX,SANDYBRIDGE,SQ
+VCMPFALSESD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 0b]             AVX,SANDYBRIDGE,SQ
+VCMPNEQ_OQSD   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 0c]             AVX,SANDYBRIDGE,SQ
+VCMPNEQ_OQSD   xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 0c]             AVX,SANDYBRIDGE,SQ
+VCMPGESD       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 0d]             AVX,SANDYBRIDGE,SQ
+VCMPGESD       xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 0d]             AVX,SANDYBRIDGE,SQ
+VCMPGTSD       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 0e]             AVX,SANDYBRIDGE,SQ
+VCMPGTSD       xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 0e]             AVX,SANDYBRIDGE,SQ
+VCMPTRUESD     xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 0f]             AVX,SANDYBRIDGE,SQ
+VCMPTRUESD     xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 0f]             AVX,SANDYBRIDGE,SQ
+VCMPEQ_OSSD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 10]             AVX,SANDYBRIDGE,SQ
+VCMPEQ_OSSD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 10]             AVX,SANDYBRIDGE,SQ
+VCMPLT_OQSD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 11]             AVX,SANDYBRIDGE,SQ
+VCMPLT_OQSD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 11]             AVX,SANDYBRIDGE,SQ
+VCMPLE_OQSD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 12]             AVX,SANDYBRIDGE,SQ
+VCMPLE_OQSD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 12]             AVX,SANDYBRIDGE,SQ
+VCMPUNORD_SSD  xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 13]             AVX,SANDYBRIDGE,SQ
+VCMPUNORD_SSD  xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 13]             AVX,SANDYBRIDGE,SQ
+VCMPNEQ_USSD   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 14]             AVX,SANDYBRIDGE,SQ
+VCMPNEQ_USSD   xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 14]             AVX,SANDYBRIDGE,SQ
+VCMPNLT_UQSD   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 15]             AVX,SANDYBRIDGE,SQ
+VCMPNLT_UQSD   xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 15]             AVX,SANDYBRIDGE,SQ
+VCMPNLE_UQSD   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 16]             AVX,SANDYBRIDGE,SQ
+VCMPNLE_UQSD   xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 16]             AVX,SANDYBRIDGE,SQ
+VCMPORD_SSD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 17]             AVX,SANDYBRIDGE,SQ
+VCMPORD_SSD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 17]             AVX,SANDYBRIDGE,SQ
+VCMPEQ_USSD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 18]             AVX,SANDYBRIDGE,SQ
+VCMPEQ_USSD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 18]             AVX,SANDYBRIDGE,SQ
+VCMPNGE_UQSD   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 19]             AVX,SANDYBRIDGE,SQ
+VCMPNGE_UQSD   xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 19]             AVX,SANDYBRIDGE,SQ
+VCMPNGT_UQSD   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 1a]             AVX,SANDYBRIDGE,SQ
+VCMPNGT_UQSD   xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 1a]             AVX,SANDYBRIDGE,SQ
+VCMPFALSE_OSSD xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 1b]             AVX,SANDYBRIDGE,SQ
+VCMPFALSE_OSSD xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 1b]             AVX,SANDYBRIDGE,SQ
+VCMPNEQ_OSSD   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 1c]             AVX,SANDYBRIDGE,SQ
+VCMPNEQ_OSSD   xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 1c]             AVX,SANDYBRIDGE,SQ
+VCMPGE_OQSD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 1d]             AVX,SANDYBRIDGE,SQ
+VCMPGE_OQSD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 1d]             AVX,SANDYBRIDGE,SQ
+VCMPGT_OQSD    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 1e]             AVX,SANDYBRIDGE,SQ
+VCMPGT_OQSD    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 1e]             AVX,SANDYBRIDGE,SQ
+VCMPTRUE_USSD  xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f2.0f c2 /r 1f]             AVX,SANDYBRIDGE,SQ
+VCMPTRUE_USSD  xmmreg,xmmrm                    [r+vm:  vex.nds.128.f2.0f c2 /r 1f]             AVX,SANDYBRIDGE,SQ
 VCMPSD         xmmreg,xmmreg,xmmrm,imm         [rvmi:  vex.nds.128.f2.0f c2 /r ib]             AVX,SANDYBRIDGE,SQ
 VCMPSD         xmmreg,xmmrm,imm                [r+vmi: vex.nds.128.f2.0f c2 /r ib]             AVX,SANDYBRIDGE,SQ
 ; Specific aliases first, then the generic version, to keep the disassembler happy...
-VCMPEQSS       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 00]             AVX,SANDYBRIDGE,SD
-VCMPEQSS       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 00]             AVX,SANDYBRIDGE,SD
-VCMPLTSS       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 01]             AVX,SANDYBRIDGE,SD
-VCMPLTSS       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 01]             AVX,SANDYBRIDGE,SD
-VCMPLESS       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 02]             AVX,SANDYBRIDGE,SD
-VCMPLESS       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 02]             AVX,SANDYBRIDGE,SD
-VCMPUNORDSS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 03]             AVX,SANDYBRIDGE,SD
-VCMPUNORDSS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 03]             AVX,SANDYBRIDGE,SD
-VCMPNEQSS      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 04]             AVX,SANDYBRIDGE,SD
-VCMPNEQSS      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 04]             AVX,SANDYBRIDGE,SD
-VCMPNLTSS      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 05]             AVX,SANDYBRIDGE,SD
-VCMPNLTSS      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 05]             AVX,SANDYBRIDGE,SD
-VCMPNLESS      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 06]             AVX,SANDYBRIDGE,SD
-VCMPNLESS      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 06]             AVX,SANDYBRIDGE,SD
-VCMPORDSS      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 07]             AVX,SANDYBRIDGE,SD
-VCMPORDSS      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 07]             AVX,SANDYBRIDGE,SD
-VCMPEQ_UQSS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 08]             AVX,SANDYBRIDGE,SD
-VCMPEQ_UQSS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 08]             AVX,SANDYBRIDGE,SD
-VCMPNGESS      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 09]             AVX,SANDYBRIDGE,SD
-VCMPNGESS      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 09]             AVX,SANDYBRIDGE,SD
-VCMPNGTSS      xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 0a]             AVX,SANDYBRIDGE,SD
-VCMPNGTSS      xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 0a]             AVX,SANDYBRIDGE,SD
-VCMPFALSESS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 0b]             AVX,SANDYBRIDGE,SD
-VCMPFALSESS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 0b]             AVX,SANDYBRIDGE,SD
-VCMPNEQ_OQSS   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 0c]             AVX,SANDYBRIDGE,SD
-VCMPNEQ_OQSS   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 0c]             AVX,SANDYBRIDGE,SD
-VCMPGESS       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 0d]             AVX,SANDYBRIDGE,SD
-VCMPGESS       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 0d]             AVX,SANDYBRIDGE,SD
-VCMPGTSS       xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 0e]             AVX,SANDYBRIDGE,SD
-VCMPGTSS       xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 0e]             AVX,SANDYBRIDGE,SD
-VCMPTRUESS     xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 0f]             AVX,SANDYBRIDGE,SD
-VCMPTRUESS     xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 0f]             AVX,SANDYBRIDGE,SD
-VCMPEQ_OSSS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 10]             AVX,SANDYBRIDGE,SD
-VCMPEQ_OSSS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 10]             AVX,SANDYBRIDGE,SD
-VCMPLT_OQSS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 11]             AVX,SANDYBRIDGE,SD
-VCMPLT_OQSS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 11]             AVX,SANDYBRIDGE,SD
-VCMPLE_OQSS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 12]             AVX,SANDYBRIDGE,SD
-VCMPLE_OQSS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 12]             AVX,SANDYBRIDGE,SD
-VCMPUNORD_SSS  xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 13]             AVX,SANDYBRIDGE,SD
-VCMPUNORD_SSS  xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 13]             AVX,SANDYBRIDGE,SD
-VCMPNEQ_USSS   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 14]             AVX,SANDYBRIDGE,SD
-VCMPNEQ_USSS   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 14]             AVX,SANDYBRIDGE,SD
-VCMPNLT_UQSS   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 15]             AVX,SANDYBRIDGE,SD
-VCMPNLT_UQSS   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 15]             AVX,SANDYBRIDGE,SD
-VCMPNLE_UQSS   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 16]             AVX,SANDYBRIDGE,SD
-VCMPNLE_UQSS   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 16]             AVX,SANDYBRIDGE,SD
-VCMPORD_SSS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 17]             AVX,SANDYBRIDGE,SD
-VCMPORD_SSS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 17]             AVX,SANDYBRIDGE,SD
-VCMPEQ_USSS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 18]             AVX,SANDYBRIDGE,SD
-VCMPEQ_USSS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 18]             AVX,SANDYBRIDGE,SD
-VCMPNGE_UQSS   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 19]             AVX,SANDYBRIDGE,SD
-VCMPNGE_UQSS   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 19]             AVX,SANDYBRIDGE,SD
-VCMPNGT_UQSS   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 1a]             AVX,SANDYBRIDGE,SD
-VCMPNGT_UQSS   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 1a]             AVX,SANDYBRIDGE,SD
-VCMPFALSE_OSSS xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 1b]             AVX,SANDYBRIDGE,SD
-VCMPFALSE_OSSS xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 1b]             AVX,SANDYBRIDGE,SD
-VCMPNEQ_OSSS   xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 1c]             AVX,SANDYBRIDGE,SD
-VCMPNEQ_OSSS   xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 1c]             AVX,SANDYBRIDGE,SD
-VCMPGE_OQSS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 1d]             AVX,SANDYBRIDGE,SD
-VCMPGE_OQSS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 1d]             AVX,SANDYBRIDGE,SD
-VCMPGT_OQSS    xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 1e]             AVX,SANDYBRIDGE,SD
-VCMPGT_OQSS    xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 1e]             AVX,SANDYBRIDGE,SD
-VCMPTRUE_USSS  xmmreg,xmmreg,xmmrm,imm         [rvm:   vex.nds.128.f3.0f c2 /r 1f]             AVX,SANDYBRIDGE,SD
-VCMPTRUE_USSS  xmmreg,xmmrm,imm                [r+vm:  vex.nds.128.f3.0f c2 /r 1f]             AVX,SANDYBRIDGE,SD
+VCMPEQSS       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 00]             AVX,SANDYBRIDGE,SD
+VCMPEQSS       xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 00]             AVX,SANDYBRIDGE,SD
+VCMPLTSS       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 01]             AVX,SANDYBRIDGE,SD
+VCMPLTSS       xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 01]             AVX,SANDYBRIDGE,SD
+VCMPLESS       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 02]             AVX,SANDYBRIDGE,SD
+VCMPLESS       xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 02]             AVX,SANDYBRIDGE,SD
+VCMPUNORDSS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 03]             AVX,SANDYBRIDGE,SD
+VCMPUNORDSS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 03]             AVX,SANDYBRIDGE,SD
+VCMPNEQSS      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 04]             AVX,SANDYBRIDGE,SD
+VCMPNEQSS      xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 04]             AVX,SANDYBRIDGE,SD
+VCMPNLTSS      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 05]             AVX,SANDYBRIDGE,SD
+VCMPNLTSS      xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 05]             AVX,SANDYBRIDGE,SD
+VCMPNLESS      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 06]             AVX,SANDYBRIDGE,SD
+VCMPNLESS      xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 06]             AVX,SANDYBRIDGE,SD
+VCMPORDSS      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 07]             AVX,SANDYBRIDGE,SD
+VCMPORDSS      xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 07]             AVX,SANDYBRIDGE,SD
+VCMPEQ_UQSS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 08]             AVX,SANDYBRIDGE,SD
+VCMPEQ_UQSS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 08]             AVX,SANDYBRIDGE,SD
+VCMPNGESS      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 09]             AVX,SANDYBRIDGE,SD
+VCMPNGESS      xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 09]             AVX,SANDYBRIDGE,SD
+VCMPNGTSS      xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 0a]             AVX,SANDYBRIDGE,SD
+VCMPNGTSS      xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 0a]             AVX,SANDYBRIDGE,SD
+VCMPFALSESS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 0b]             AVX,SANDYBRIDGE,SD
+VCMPFALSESS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 0b]             AVX,SANDYBRIDGE,SD
+VCMPNEQ_OQSS   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 0c]             AVX,SANDYBRIDGE,SD
+VCMPNEQ_OQSS   xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 0c]             AVX,SANDYBRIDGE,SD
+VCMPGESS       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 0d]             AVX,SANDYBRIDGE,SD
+VCMPGESS       xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 0d]             AVX,SANDYBRIDGE,SD
+VCMPGTSS       xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 0e]             AVX,SANDYBRIDGE,SD
+VCMPGTSS       xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 0e]             AVX,SANDYBRIDGE,SD
+VCMPTRUESS     xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 0f]             AVX,SANDYBRIDGE,SD
+VCMPTRUESS     xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 0f]             AVX,SANDYBRIDGE,SD
+VCMPEQ_OSSS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 10]             AVX,SANDYBRIDGE,SD
+VCMPEQ_OSSS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 10]             AVX,SANDYBRIDGE,SD
+VCMPLT_OQSS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 11]             AVX,SANDYBRIDGE,SD
+VCMPLT_OQSS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 11]             AVX,SANDYBRIDGE,SD
+VCMPLE_OQSS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 12]             AVX,SANDYBRIDGE,SD
+VCMPLE_OQSS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 12]             AVX,SANDYBRIDGE,SD
+VCMPUNORD_SSS  xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 13]             AVX,SANDYBRIDGE,SD
+VCMPUNORD_SSS  xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 13]             AVX,SANDYBRIDGE,SD
+VCMPNEQ_USSS   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 14]             AVX,SANDYBRIDGE,SD
+VCMPNEQ_USSS   xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 14]             AVX,SANDYBRIDGE,SD
+VCMPNLT_UQSS   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 15]             AVX,SANDYBRIDGE,SD
+VCMPNLT_UQSS   xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 15]             AVX,SANDYBRIDGE,SD
+VCMPNLE_UQSS   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 16]             AVX,SANDYBRIDGE,SD
+VCMPNLE_UQSS   xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 16]             AVX,SANDYBRIDGE,SD
+VCMPORD_SSS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 17]             AVX,SANDYBRIDGE,SD
+VCMPORD_SSS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 17]             AVX,SANDYBRIDGE,SD
+VCMPEQ_USSS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 18]             AVX,SANDYBRIDGE,SD
+VCMPEQ_USSS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 18]             AVX,SANDYBRIDGE,SD
+VCMPNGE_UQSS   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 19]             AVX,SANDYBRIDGE,SD
+VCMPNGE_UQSS   xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 19]             AVX,SANDYBRIDGE,SD
+VCMPNGT_UQSS   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 1a]             AVX,SANDYBRIDGE,SD
+VCMPNGT_UQSS   xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 1a]             AVX,SANDYBRIDGE,SD
+VCMPFALSE_OSSS xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 1b]             AVX,SANDYBRIDGE,SD
+VCMPFALSE_OSSS xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 1b]             AVX,SANDYBRIDGE,SD
+VCMPNEQ_OSSS   xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 1c]             AVX,SANDYBRIDGE,SD
+VCMPNEQ_OSSS   xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 1c]             AVX,SANDYBRIDGE,SD
+VCMPGE_OQSS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 1d]             AVX,SANDYBRIDGE,SD
+VCMPGE_OQSS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 1d]             AVX,SANDYBRIDGE,SD
+VCMPGT_OQSS    xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 1e]             AVX,SANDYBRIDGE,SD
+VCMPGT_OQSS    xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 1e]             AVX,SANDYBRIDGE,SD
+VCMPTRUE_USSS  xmmreg,xmmreg,xmmrm             [rvm:   vex.nds.128.f3.0f c2 /r 1f]             AVX,SANDYBRIDGE,SD
+VCMPTRUE_USSS  xmmreg,xmmrm                    [r+vm:  vex.nds.128.f3.0f c2 /r 1f]             AVX,SANDYBRIDGE,SD
 VCMPSS         xmmreg,xmmreg,xmmrm,imm         [rvmi:  vex.nds.128.f3.0f c2 /r ib]             AVX,SANDYBRIDGE,SD
 VCMPSS         xmmreg,xmmrm,imm                [r+vmi: vex.nds.128.f3.0f c2 /r ib]             AVX,SANDYBRIDGE,SD
 VCOMISD                xmmreg,xmmrm                    [rm:    vex.128.66.0f 2f /r]                    AVX,SANDYBRIDGE,SQ
Domain: System / Toolchain;