native_client/src/validator_snapshots.git
78 min agoadd tries for adding avx1 3operand reg,reg,reg/mem packed double ops. master
shyamsundarr@chromium.org [Fri, 31 Oct 2014 23:48:45 +0000 (23:48 +0000)]
add tries for adding avx1 3operand reg,reg,reg/mem packed double ops.

This includes instructions  ('vaddpd', 'vaddsubpd', 'vandnpd', 'vandpd', 'vdivpd', 'vhaddpd', 'vhsubpd', 'vmaxpd', 'vminpd', 'vmulpd', 'vorpd', 'vsubpd', 'vunpckhpd', 'vunpcklpd', 'vxorpd').

BUG=https://code.google.com/p/nativeclient/issues/detail?id=1972

git-svn-id: svn://svn.chromium.org/native_client/trunk/src/validator_snapshots@14018 fcba33aa-ac0c-11dd-b9e7-8d5594d729c2

2 days agoadd tries corresponding to 16 bit cmpxchg being added to 32 bit dfa.
shyamsundarr@chromium.org [Wed, 29 Oct 2014 23:20:49 +0000 (23:20 +0000)]
add tries corresponding to 16 bit cmpxchg being added to 32 bit dfa.

BUG=https://code.google.com/p/nativeclient/issues/detail?id=2974

git-svn-id: svn://svn.chromium.org/native_client/trunk/src/validator_snapshots@14012 fcba33aa-ac0c-11dd-b9e7-8d5594d729c2

2 days agoAdd tries corresponding to 16 bit xadd being added to ia32.
shyamsundarr@chromium.org [Wed, 29 Oct 2014 21:13:04 +0000 (21:13 +0000)]
Add tries corresponding to 16 bit xadd being added to ia32.
BUG=https://code.google.com/p/nativeclient/issues/detail?id=2981

git-svn-id: svn://svn.chromium.org/native_client/trunk/src/validator_snapshots@14009 fcba33aa-ac0c-11dd-b9e7-8d5594d729c2

3 days agoadd tries corresponding to 16 bit shld/shrd being added to ia32 dfa.
shyamsundarr@chromium.org [Tue, 28 Oct 2014 19:56:02 +0000 (19:56 +0000)]
add tries corresponding to 16 bit shld/shrd being added to ia32 dfa.

BUG=https://code.google.com/p/nativeclient/issues/detail?id=2978
BUG=https://code.google.com/p/nativeclient/issues/detail?id=2980

git-svn-id: svn://svn.chromium.org/native_client/trunk/src/validator_snapshots@14006 fcba33aa-ac0c-11dd-b9e7-8d5594d729c2

4 days agoadd tries corresponding to adding 16-bit bsr,bsf to ia32 dfa.
shyamsundarr@chromium.org [Mon, 27 Oct 2014 21:02:53 +0000 (21:02 +0000)]
add tries corresponding to adding 16-bit bsr,bsf to ia32 dfa.

BUG=https://code.google.com/p/nativeclient/issues/detail?id=2972
BUG=https://code.google.com/p/nativeclient/issues/detail?id=2973

git-svn-id: svn://svn.chromium.org/native_client/trunk/src/validator_snapshots@13996 fcba33aa-ac0c-11dd-b9e7-8d5594d729c2

10 days agoadd tries corresponding to a DFA with 16 bit movbe added.
shyamsundarr@chromium.org [Tue, 21 Oct 2014 21:41:19 +0000 (21:41 +0000)]
add tries corresponding to a DFA with 16 bit movbe added.

BUG=https://code.google.com/p/nativeclient/issues/detail?id=2976

git-svn-id: svn://svn.chromium.org/native_client/trunk/src/validator_snapshots@13966 fcba33aa-ac0c-11dd-b9e7-8d5594d729c2

11 days agoadd tries corresponding to a dfa adding vzeroall/vzeroupper.
shyamsundarr@chromium.org [Mon, 20 Oct 2014 21:32:25 +0000 (21:32 +0000)]
add tries corresponding to a dfa adding vzeroall/vzeroupper.

git-svn-id: svn://svn.chromium.org/native_client/trunk/src/validator_snapshots@13951 fcba33aa-ac0c-11dd-b9e7-8d5594d729c2

3 weeks agolibrary to find latest trie.
shyamsundarr@chromium.org [Tue, 7 Oct 2014 17:34:08 +0000 (17:34 +0000)]
library to find latest trie.

Review=https://codereview.chromium.org/633533003/
BUG=https://code.google.com/p/nativeclient/issues/detail?id=3452

git-svn-id: svn://svn.chromium.org/native_client/trunk/src/validator_snapshots@13858 fcba33aa-ac0c-11dd-b9e7-8d5594d729c2

3 weeks agomove tries to a directory based structure for easier scripting.
shyamsundarr@chromium.org [Mon, 6 Oct 2014 19:11:20 +0000 (19:11 +0000)]
move tries to a directory based structure for easier scripting.

git-svn-id: svn://svn.chromium.org/native_client/trunk/src/validator_snapshots@13834 fcba33aa-ac0c-11dd-b9e7-8d5594d729c2

4 weeks agoAdd current ragel snapshots/tries to the repo. Adding out side of the main repo into...
shyamsundarr@chromium.org [Wed, 1 Oct 2014 20:22:15 +0000 (20:22 +0000)]
Add current ragel snapshots/tries to the repo. Adding out side of the main repo into validator_snapshots for repo efficiency reasons. We will maintain snapshots here, and the proofs in source control. To a buildbot we will eventually add a test that the latest dfa can produce the latest trie, as well as runs of the individual proofs. skipping code review as it is just a binary commit outside of git.

git-svn-id: svn://svn.chromium.org/native_client/trunk/src/validator_snapshots@13821 fcba33aa-ac0c-11dd-b9e7-8d5594d729c2

2 years agoStore enuminst snapshot in separate directory from source.
kschimpf@google.com [Wed, 11 Apr 2012 16:11:42 +0000 (16:11 +0000)]
Store enuminst snapshot in separate directory from source.

BUG= http://code.google.com/p/nativeclient/issues/detail?id=2267
Review URL: https://chromiumcodereview.appspot.com/10048010

git-svn-id: svn://svn.chromium.org/native_client/trunk/src/validator_snapshots@8228 fcba33aa-ac0c-11dd-b9e7-8d5594d729c2