From f99359c03ac96c1feb27e6e84cf8872892c8ca16 Mon Sep 17 00:00:00 2001 From: "H. Peter Anvin" Date: Tue, 20 May 2008 16:59:17 -0700 Subject: [PATCH] Finish the VCMP series... --- insns.dat | 134 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 134 insertions(+) diff --git a/insns.dat b/insns.dat index 5fa337a2..26c10983 100644 --- 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 -- 2.11.4.GIT