Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(824)

Issues Search
    My Issues | Starred     Open | Closed | All

Unified Diff: src/trusted/validator_ragel/instruction_definitions/xmm_instructions.def

Issue 697143002: enable packed double precision 3 operand mem/simd register avx1 instructions. (Closed) Base URL: svn://svn.chromium.org/native_client/trunk/src/native_client
Patch Set: Created 6 years, 1 month ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « src/trusted/validator_ragel/gen/validator_x86_64.xml ('k') | src/trusted/validator_ragel/proof_tools_templates.py » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: src/trusted/validator_ragel/instruction_definitions/xmm_instructions.def
diff --git a/src/trusted/validator_ragel/instruction_definitions/xmm_instructions.def b/src/trusted/validator_ragel/instruction_definitions/xmm_instructions.def
index 4770992424ef7d679eb7b31f2cf9d98673e1f726..0fe3536bfeaf227f75c10763d61c266b5503856a 100644
--- a/src/trusted/validator_ragel/instruction_definitions/xmm_instructions.def
+++ b/src/trusted/validator_ragel/instruction_definitions/xmm_instructions.def
@@ -8,8 +8,7 @@
# File format: see def_format.py
######## ADDPD/VADDPD ##########################################################
addpd Wpd Vpd, 0x66 0x0f 0x58, CPUFeature_SSE2
-vaddpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x58,
- CPUFeature_AVX disabled_untested
+vaddpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x58
######## ADDPS/VADDPS ##########################################################
addps Wps Vps, 0x0f 0x58, CPUFeature_SSE
vaddps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x58,
@@ -24,8 +23,7 @@ vaddss Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0x58,
CPUFeature_AVX disabled_untested
######## ADDSUBPD/VADDSUBPD ####################################################
addsubpd Wpd Vpd, 0x66 0x0f 0xd0, CPUFeature_SSE2
-vaddsubpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0xd0,
- CPUFeature_AVX disabled_untested
+vaddsubpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0xd0, CPUFeature_AVX
######## ADDSUBPS/VADDSUBPS ####################################################
addsubps Wps Vps, 0xf2 0x0f 0xd0, CPUFeature_SSE
vaddsubps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.11 0xd0,
@@ -50,16 +48,14 @@ aeskeygenassist Ib Wo Vo, 0x66 0x0f 0x3a 0xdf, CPUFeature_AES
vaeskeygenassist Ib Wo Vo, 0xc4 RXB.00011 x.src.0.01 0xdf, CPUFeature_AESAVX
######## ANDNPD/VANDNPD ########################################################
andnpd Wpd Vpd, 0x66 0x0f 0x55, CPUFeature_SSE2
-vandnpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x55,
- CPUFeature_AVX disabled_untested
+vandnpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x55, CPUFeature_AVX
######## ANDNPS/VANDNPS ########################################################
andnps Wps Vps, 0x0f 0x55, CPUFeature_SSE
vandnps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x55,
CPUFeature_AVX disabled_untested
######## ANDPD/VANDPD ##########################################################
andpd Wpd Vpd, 0x66 0x0f 0x54, CPUFeature_SSE2
-vandpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x54,
- CPUFeature_AVX disabled_untested
+vandpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x54, CPUFeature_AVX
######## ANDPS/VANDPS ##########################################################
andps Wps Vps, 0x0f 0x54, CPUFeature_SSE
vandps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x54,
@@ -470,8 +466,7 @@ vcvttss2si Wss Gy, 0xc4 RXB.00001 W.1111.x.10 0x2c,
CPUFeature_AVX disabled_untested
######## DIVPD/VDIVPD ##########################################################
divpd Wpd Vpd, 0x66 0x0f 0x5e, CPUFeature_SSE2
-vdivpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5e,
- CPUFeature_AVX disabled_untested
+vdivpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5e, CPUFeature_AVX
######## DIVPS/VDIVPS ##########################################################
divps Wps Vps, 0x0f 0x5e, CPUFeature_SSE
vdivps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x5e,
@@ -504,16 +499,14 @@ extrq ib Ib Uq, 0x66 0x0f 0x78 /0, CPUFeature_SSE4A nacl-forbidden
extrq Uq Vq, 0x66 0x0f 0x79, CPUFeature_SSE4A
######## HADDPD/VHADDPD ########################################################
haddpd Wpd Vpd, 0x66 0x0f 0x7c, CPUFeature_SSE3
-vhaddpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x7c,
- CPUFeature_AVX disabled_untested
+vhaddpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x7c, CPUFeature_AVX
######## HADDPS/VHADDPS ########################################################
haddps Wps Vps, 0xf2 0x0f 0x7c, CPUFeature_SSE3
vhaddps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.11 0x7c,
CPUFeature_AVX disabled_untested
######## HSUBPD/VHSUBPD ########################################################
hsubpd Wpd Vpd, 0x66 0x0f 0x7d, CPUFeature_SSE3
-vhsubpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x7d,
- CPUFeature_AVX disabled_untested
+vhsubpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x7d, CPUFeature_AVX
######## HSUBPS/VHSUBPS ########################################################
hsubps Wps Vps, 0xf2 0x0f 0x7d, CPUFeature_SSE3
vhsubps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.11 0x7d,
@@ -544,8 +537,7 @@ vmaskmovdqu Upb Vpb, 0xc4 RXB.00001 x.1111.0.01 0xf7,
CPUFeature_AVX disabled_untested nacl-amd64-forbidden
######## MAXPD/VMAXPD ##########################################################
maxpd Wpd Vpd, 0x66 0x0f 0x5f, CPUFeature_SSE2
-vmaxpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5f,
- CPUFeature_AVX disabled_untested
+vmaxpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5f, CPUFeature_AVX
######## MAXPS/VMAXPS ##########################################################
maxps Wps Vps, 0x0f 0x5f, CPUFeature_SSE
vmaxps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x5f,
@@ -560,8 +552,7 @@ vmaxss Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0x5f,
CPUFeature_AVX disabled_untested
######## MINPD/VMINPD ##########################################################
minpd Wpd Vpd, 0x66 0x0f 0x5d, CPUFeature_SSE2
-vminpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5d,
- CPUFeature_AVX disabled_untested
+vminpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5d, CPUFeature_AVX
######## MINPS/VMINPS ##########################################################
minps Wps Vps, 0x0f 0x5d, CPUFeature_SSE
vminps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x5d,
@@ -777,8 +768,7 @@ vmpsadbw Ib Wpk Hpk Vpi, 0xc4 RXB.00011 x.src.0.01 0x42,
CPUFeature_AVX disabled_untested
######## MULPD/VMULPD ##########################################################
mulpd Wpd Vpd, 0x66 0x0f 0x59, CPUFeature_SSE2
-vmulpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x59,
- CPUFeature_AVX disabled_untested
+vmulpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x59, CPUFeature_AVX
######## MULPS/VMULPS ##########################################################
mulps Wps Vps, 0x0f 0x59, CPUFeature_SSE
vmulps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x59,
@@ -793,8 +783,7 @@ vmulss Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0x59,
CPUFeature_AVX disabled_untested
######## ORPD/VORPD ############################################################
orpd Wpd Vpd, 0x66 0x0f 0x56, CPUFeature_SSE2
-vorpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x56,
- CPUFeature_AVX disabled_untested
+vorpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x56, CPUFeature_AVX
######## ORPS/VORPS ############################################################
orps Wpd Vpd, 0x0f 0x56, CPUFeature_SSE
vorps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x56,
@@ -1449,8 +1438,7 @@ vstmxcsr Md, 0xc4 RXB.00001 x.1111.0.00 0xae /3,
CPUFeature_AVX disabled_untested
######## SUBPD/VSUBPD ##########################################################
subpd Wpd Vpd, 0x66 0x0f 0x5c, CPUFeature_SSE2
-vsubpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5c,
- CPUFeature_AVX disabled_untested
+vsubpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5c, CPUFeature_AVX
######## SUBPS/VSUBPS ##########################################################
subps Wps Vps, 0x0f 0x5c, CPUFeature_SSE
vsubps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x5c,
@@ -1473,16 +1461,14 @@ vucomiss Wsd Vsd, 0xc4 RXB.00001 x.src.x.00 0x2e,
CPUFeature_AVX disabled_untested
######## UNPCKHPD/VUNPCKHPD ####################################################
unpckhpd Wq Vpd, 0x66 0x0f 0x15, CPUFeature_SSE2
-vunpckhpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x15,
- CPUFeature_AVX disabled_untested
+vunpckhpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x15, CPUFeature_AVX
######## UNPCKHPS/VUNPCKHPS ####################################################
unpckhps Wps Vps, 0x0f 0x15, CPUFeature_SSE
vunpckhps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x15,
CPUFeature_AVX disabled_untested
######## UNPCKLPD/VUNPCKLPD ####################################################
unpcklpd Wq Vpd, 0x66 0x0f 0x14, CPUFeature_SSE2
-vunpcklpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x14,
- CPUFeature_AVX disabled_untested
+vunpcklpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x14, CPUFeature_AVX
######## UNPCKLPS/VUNPCKLPS ####################################################
unpcklps Wps Vps, 0x0f 0x14, CPUFeature_SSE
vunpcklps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x14,
@@ -1966,8 +1952,7 @@ vzeroall, 0xc4 RXB.00001 x.1111.1.00 0x77, CPUFeature_AVX
vzeroupper, 0xc4 RXB.00001 x.1111.0.00 0x77, CPUFeature_AVX
######## XORPD/VXORPD ##########################################################
xorpd Wpd Vpd, 0x66 0x0f 0x57, CPUFeature_SSE2
-vxorpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x57,
- CPUFeature_AVX disabled_untested
+vxorpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x57, CPUFeature_AVX
######## XORPS/VXORPS ##########################################################
xorps Wpd Vpd, 0x0f 0x57, CPUFeature_SSE
vxorps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x57,
« no previous file with comments | « src/trusted/validator_ragel/gen/validator_x86_64.xml ('k') | src/trusted/validator_ragel/proof_tools_templates.py » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698