Finish the VCMP series...

This commit is contained in:
H. Peter Anvin 2008-05-20 16:59:17 -07:00
parent e6d0eb4d68
commit f99359c03a

134
insns.dat
View file

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