Index: src/trusted/validator_ragel/build.scons |
diff --git a/src/trusted/validator_ragel/build.scons b/src/trusted/validator_ragel/build.scons |
index 308eb33b75b87a4b37446d590f76ff4d3b304715..3ff8239ba0f168ae820a8eae63ed889789a748de 100644 |
--- a/src/trusted/validator_ragel/build.scons |
+++ b/src/trusted/validator_ragel/build.scons |
@@ -336,6 +336,10 @@ if ragel_involved: |
('xadd16_proof.py', '64', '20141028.shld_shrd', '20141029.xadd16'), |
('cmpxchg16_proof.py', '32', '20141029.xadd16', '20141030.cmpxchg16'), |
('cmpxchg16_proof.py', '64', '20141029.xadd16', '20141030.cmpxchg16'), |
+ ('avx1_xmm_ymm_memory_3op_pd_proof.py', '32', '20141030.cmpxchg16', |
+ '20141031.avx1_3op_fp_pd'), |
+ ('avx1_xmm_ymm_memory_3op_pd_proof.py', '64', '20141030.cmpxchg16', |
+ '20141031.avx1_3op_fp_pd'), |
] |
for proof_file, bitness, old, new in trie_proofs: |
trie_subdirs = {'32': 'ragel_trie_x86_32', '64': 'ragel_trie_x86_64'} |