enable packed double precision 3 operand mem/simd register avx1 instructions.

src/trusted/validator_ragel/build.scons

 # -*- python -*-
 # Copyright (c) 2012 The Native Client Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 
 import json
 import hashlib
 import os
 import platform
 import sys
@@ skipping 318 matching lines @@
     ('movbe_proof.py', '32', '20141020.vzero', '20141021.movbe'),
     ('movbe_proof.py', '64', '20141020.vzero', '20141021.movbe'),
     ('bsr_bsf_proof.py', '32', '20141021.movbe', '20141027.bsr_bsf'),
     ('bsr_bsf_proof.py', '64', '20141021.movbe', '20141027.bsr_bsf'),
     ('shld_shrd_proof.py', '32', '20141027.bsr_bsf', '20141028.shld_shrd'),
     ('shld_shrd_proof.py', '64', '20141027.bsr_bsf', '20141028.shld_shrd'),
     ('xadd16_proof.py', '32', '20141028.shld_shrd', '20141029.xadd16'),
     ('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'}
     check_proof = env.AutoDepsCommand(
       '%s_%s_results' % (proof_file, bitness),
       ['${PYTHON}',
        env.File(proof_file),
        '--validator_dll', validator_dll,
        '--decoder_dll', decoder_dll,
        '--bitness', bitness,
@@ skipping 174 matching lines @@
 
   if env.Bit('regenerate_golden'):
     # Don't want these tests run in parallel because they write
     # to .test files.
     SideEffect(tests_mask, spec_test)
 
     # Spec test uses @dis section in test files, which in turn is updated
     # by dis_section_test.
     if env.Bit('target_x86'):
       env.Depends(spec_test, dis_section_test)