native_client/src/validator_snapshots.git
2 days agoadd tries corresponding to avx1 xmm/ymm/memory move instructions. master
shyamsundarr@chromium.org [Thu, 20 Nov 2014 18:14:59 +0000 (18:14 +0000)]
add tries corresponding to avx1 xmm/ymm/memory move instructions.
This corresponds to:

(vmovapd | vmovaps | vmovddup | vmovdqa | vmovdqu | vmovhlps |
 vmovhpd | vmovhps | vmovlhps | vmovlpd | vmovlps | vmovsd |
 vmovshdup | vmovsldup | vmovss | vmovupd | vmovups)

being added.

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

3 days agoadd tries corresponding to remaining 3operand avx1 ops
shyamsundarr@chromium.org [Wed, 19 Nov 2014 18:16:41 +0000 (18:16 +0000)]
add tries corresponding to remaining 3operand avx1 ops

(xmm, xmm, xmm|memory ops):

 'vcvtsd2ss', 'vcvtss2sd', 'vpackssdw', 'vpacksswb', 'vpackusdw',
 'vpackuswb', 'vpaddd', 'vpaddq', 'vpand', 'vpandn', 'vpcmpeqd',
 'vpcmpeqq', 'vpcmpgtd', 'vpcmpgtq', 'vphaddd', 'vphsubd', 'vpmaddubsw',
 'vpmaddwd', 'vpmaxsd', 'vpmaxud', 'vpminsd', 'vpminud', 'vpmuldq',
 'vpmulld', 'vpmuludq', 'vpor', 'vpsadbw', 'vpsignd', 'vpsignw', 'vpslld',
 'vpsllq', 'vpsllw', 'vpsrad', 'vpsraw', 'vpsrld', 'vpsrlq', 'vpsrlw',
 'vpsubd', 'vpsubq', 'vpunpckhdq', 'vpunpckhqdq', 'vpunpckldq',
 'vpunpcklqdq', 'vpxor', 'vrcpss', 'vsqrtsd', 'vsqrtss',

(xmm/ymm, xmm/ymm, xmm/ymm/memory ops):
 'vpermilpd', 'vpermilps',

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

8 days agoadd tries corresponding to vbroadcastf128/vbroadcastsd/vbroadcastss being enabled.
shyamsundarr@chromium.org [Fri, 14 Nov 2014 23:11:24 +0000 (23:11 +0000)]
add tries corresponding to vbroadcastf128/vbroadcastsd/vbroadcastss being enabled.

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

11 days agoadd tries corresponding to 3op fp scalar avx1 ops.
shyamsundarr@chromium.org [Tue, 11 Nov 2014 15:59:26 +0000 (15:59 +0000)]
add tries corresponding to 3op fp scalar avx1 ops.
This includes the instructions:
['vaddsd', 'vaddss', 'vdivsd', 'vdivss',
 'vmaxsd', 'vmaxss', 'vminsd', 'vminss',
 'vmulsd', 'vmulss', 'vsubsd', 'vsubss' ]

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

2 weeks agoadd tries corresponding to 3 operand avx1 packed 8 bit packed integer ops.
shyamsundarr@chromium.org [Fri, 7 Nov 2014 00:36:16 +0000 (00:36 +0000)]
add tries corresponding to 3 operand avx1 packed 8 bit packed integer ops.

this includes:
[ 'vpaddb', 'vpaddsb', 'vpaddusb', 'vpavgb', 'vpcmpeqb', 'vpcmpgtb',
  'vpmaxsb', 'vpmaxub', 'vpminsb', 'vpminub', 'vpshufb', 'vpsignb',
  'vpsubb', 'vpsubsb', 'vpsubusb', 'vpunpckhbw', 'vpunpcklbw', ]

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

2 weeks agoadd tries corresponding to 3 operand avx1 packed 16 bit packed integer ops.
shyamsundarr@chromium.org [Thu, 6 Nov 2014 00:55:00 +0000 (00:55 +0000)]
add tries corresponding to 3 operand avx1 packed 16 bit packed integer ops.

this includes:

[ 'vpaddsw', 'vpaddusw', 'vpaddw', 'vpavgw', 'vpcmpeqw', 'vpcmpgtw',
  'vphaddsw', 'vphaddw', 'vphsubsw', 'vphsubw', 'vpmaxsw', 'vpmaxuw',
  'vpminsw', 'vpminuw', 'vpmulhrsw', 'vpmulhuw', 'vpmulhw', 'vpmullw',
  'vpsubsw', 'vpsubusw', 'vpsubw', 'vpunpckhwd', 'vpunpcklwd' ]

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

2 weeks agoadd tries for avx1 3operand reg,reg,reg/mem packed single precision fp ops.
shyamsundarr@chromium.org [Tue, 4 Nov 2014 22:06:35 +0000 (22:06 +0000)]
add tries for avx1 3operand reg,reg,reg/mem packed single precision fp ops.

This includes instructions  ('vaddps', 'vaddsubps', 'vandnps', 'vandps', 'vdivps', 'vhaddps', 'vhsubps', 'vmaxps', 'vminps', 'vmulps', 'vorps', 'vsubps', 'vunpckhps', 'vunpcklps', 'vxorps').

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

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

3 weeks agoadd tries for adding avx1 3operand reg,reg,reg/mem packed double ops.
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

3 weeks 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

3 weeks 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 weeks 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

3 weeks 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

4 weeks 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

4 weeks 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

6 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

6 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

7 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