src/trusted/validator_ragel/instruction_definitions/xmm_instructions.def - Issue 1234393005: A mechanism to identify/forbid/"rewrite" non-temporal instructions (and other)

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

Issue 1234393005: A mechanism to identify/forbid/"rewrite" non-temporal instructions (and other) (Closed) Base URL: https://chromium.googlesource.com/native_client/src/native_client.git@master

Patch Set: Fixing nits Created 5 years, 5 months 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

« src/trusted/validator_ragel/dfa_validate_common.c ('K') | « src/trusted/validator_ragel/instruction_definitions/mmx_instructions.def ('k') | src/trusted/validator_ragel/nacl_unsupported_proof.py » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | 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 4f8400dba2a9ac888478524e33cc17c5e1c2b8dc..34bdd3cac31d5c347d9af0497907df1436e25b0e 100644

--- a/src/trusted/validator_ragel/instruction_definitions/xmm_instructions.def

+++ b/src/trusted/validator_ragel/instruction_definitions/xmm_instructions.def

@@ -609,23 +609,29 @@ vmovmskpd Updx Gd, 0xc4 RXB.00001 x.1111.L.01 0x50, CPUFeature_AVX

movmskps Ups Gy, 0x0f 0x50, CPUFeature_SSE

vmovmskps Upsx Gd, 0xc4 RXB.00001 x.1111.L.00 0x50, CPUFeature_AVX

######## MOVNTDQ/VMOVNTDQ ######################################################

-movntdq Vdq Mdq, 0x66 0x0f 0xe7, CPUFeature_SSE2

-vmovntdq Vo Mo, 0xc4 RXB.00001 x.1111.0.01 0xe7, CPUFeature_AVX

-vmovntdq Vdo Mdo, 0xc4 RXB.00001 x.1111.1.01 0xe7, CPUFeature_AVX

+movntdq Vdq Mdq, 0x66 0x0f 0xe7, CPUFeature_SSE2 nacl-unsupported

+vmovntdq Vo Mo, 0xc4 RXB.00001 x.1111.0.01 0xe7,

+ CPUFeature_AVX nacl-unsupported

+vmovntdq Vdo Mdo, 0xc4 RXB.00001 x.1111.1.01 0xe7,

+ CPUFeature_AVX nacl-unsupported

######## MOVNTDQA/VMOVNTDQA ####################################################

-movntdqa Mo Vo, 0x66 0x0f 0x38 0x2a, CPUFeature_SSE41

-vmovntdqa Mo Vo, 0xc4 RXB.00010 x.1111.0.01 0x2a, CPUFeature_AVX

-vmovntdqa Mdo Vdo, 0xc4 RXB.00010 x.1111.1.01 0x2a, CPUFeature_AVX2

+movntdqa Mo Vo, 0x66 0x0f 0x38 0x2a, CPUFeature_SSE41 nacl-unsupported

+vmovntdqa Mo Vo, 0xc4 RXB.00010 x.1111.0.01 0x2a,

+ CPUFeature_AVX nacl-unsupported

+vmovntdqa Mdo Vdo, 0xc4 RXB.00010 x.1111.1.01 0x2a,

+ CPUFeature_AVX2 nacl-unsupported

######## MOVNTPD/VMOVNTPD ######################################################

-movntpd Vpd Mpd, 0x66 0x0f 0x2b, CPUFeature_SSE2

-vmovntpd Vpdx Mpdx, 0xc4 RXB.00001 x.1111.L.01 0x2b, CPUFeature_AVX

+movntpd Vpd Mpd, 0x66 0x0f 0x2b, CPUFeature_SSE2 nacl-unsupported

+vmovntpd Vpdx Mpdx, 0xc4 RXB.00001 x.1111.L.01 0x2b,

+ CPUFeature_AVX nacl-unsupported

######## MOVNTPS/VMOVNTPS ######################################################

-movntps Vps Mps, 0x0f 0x2b, CPUFeature_SSE

-vmovntps Vpsx Mpsx, 0xc4 RXB.00001 x.1111.L.00 0x2b, CPUFeature_AVX

+movntps Vps Mps, 0x0f 0x2b, CPUFeature_SSE nacl-unsupported

+vmovntps Vpsx Mpsx, 0xc4 RXB.00001 x.1111.L.00 0x2b,

+ CPUFeature_AVX nacl-unsupported

######## MOVNTSD ###############################################################

-movntsd Vsd Mq, 0xf2 0x0f 0x2b, CPUFeature_SSE4A

+movntsd Vsd Mq, 0xf2 0x0f 0x2b, CPUFeature_SSE4A nacl-unsupported

######## MOVNTSS ###############################################################

-movntss Vss Md, 0xf3 0x0f 0x2b, CPUFeature_SSE4A

+movntss Vss Md, 0xf3 0x0f 0x2b, CPUFeature_SSE4A nacl-unsupported

######## MOVQ/VMOVQ ############################################################

movq Wq Vq, 0xf3 0x0f 0x7e, CPUFeature_SSE2

movq Vq Wq, 0x66 0x0f 0xd6, CPUFeature_SSE2