projects / platform / upstream / nasm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e6d0eb4)
Finish the VCMP series...
authorH. Peter Anvin <hpa@zytor.com>
Tue, 20 May 2008 23:59:17 +0000 (16:59 -0700)
committerH. Peter Anvin <hpa@zytor.com>
Tue, 20 May 2008 23:59:17 +0000 (16:59 -0700)
insns.dat patch | blob | history

diff --git a/insns.dat b/insns.dat
index 5fa337a..26c1098 100644 (file)
--- a/insns.dat
+++ b/insns.dat
@@ -2355,6 +2355,140 @@ VCMPPS          xmmreg,xmmreg,xmmrm,imm         [rvmi:  vex.nds.128.0f c2 /r ib]                AVX,SANDYBRIDG
 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
+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
+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
 
 VPERMILTD2PS   xmmreg,xmmreg,xmmrm,xmmreg      [rvms:  vex.nds.128.66.0f3a.w0 48 /r /is4=0]    AVX,SANDYBRIDGE,SO
 VPERMILTD2PS   xmmreg,xmmreg,xmmreg,xmmrm      [rvsm:  vex.nds.128.66.0f3a.w1 48 /r /is4=0]    AVX,SANDYBRIDGE,SO
Domain: System / Toolchain;