mirror/nasm
2
0
Fork 0
mirror of https://github.com/netwide-assembler/nasm.git synced 2025-02-23 17:29:23 +08:00
Code Issues Packages Projects Releases Wiki Activity

Remove imm from specific versions of VCMPxx

Browse Source 
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.
This commit is contained in:
H. Peter Anvin 2008-05-24 22:04:23 -07:00
parent d0da1c7202
commit 89031ff5d2
1 changed files with 384 additions and 384 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

768
insns.dat
View File

@ -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