native_client/src/validator_snapshots.git
2 days agoadd tries corresponding to enable fma. master
shyamsundarr@chromium.org [Mon, 15 Dec 2014 22:55:31 +0000 (22:55 +0000)]
add tries corresponding to enable fma.

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

7 days agoadd tries corresponding to enabling remaining avx1 instructions.
shyamsundarr@chromium.org [Wed, 10 Dec 2014 23:49:20 +0000 (23:49 +0000)]
add tries corresponding to enabling remaining avx1 instructions.
This corresponds to adding:

vcmpeqpd | vcmpeqps | vcmpeqss |
vcvtpd2dq | vcvtpd2dqx | vcvtpd2dqy |
vcvtpd2ps | vcvtpd2psx | vcvtpd2psy |
vcvtsi2sd | vcvtsi2ss | vcvtsd2si | vcvtss2si |
vcvttpd2dq | vcvttpd2dqx | vcvttpd2dqy |
vcvttps2dq |
vcvttsd2si | vcvttss2si |
vextractps |
vinsertf128 |
vmovd | vmovq |
vpinsrb | vpinsrd | vpinsrw |
vrsqrtss |
vmaskmovdqu | vpinsrq | vpextrq

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

2 weeks agoadd tries corresponding to adding all nonspecial avx1 instructions.
shyamsundarr@chromium.org [Thu, 4 Dec 2014 18:35:32 +0000 (18:35 +0000)]
add tries corresponding to adding all nonspecial avx1 instructions.
The remaining instructions have some quirks/typos in definitions etc.
This corresponds to adding:

   vblendpd | vblendps | vblendvpd | vblendvps |
    vcomisd | vcomiss |
    vcvtdq2pd | vcvtdq2ps | vcvtps2dq | vcvtps2pd |
    vdppd | vdpps |
    vextractf128 | vinsertps |
    vldmxcsr | vstmxcsr |
    vldqqu |
    vmaskmovpd | vmaskmovps |
    vmovmskpd | vmovmskps |
    vmovntdqa | vmovntdq | vmovntpd | vmovntps |
    vmpsadbw |
    vpabsb | vpabsd | vpabsw |
    vpalignr |
    vpblendvb | vpblendw |
    vpcmpestri | vpcmpestrm | vpcmpistri | vpcmpistrm |
    vperm2f128 | vpermilpd | vpermilps |
    vpextrb | vpextrd | vpextrw |
    vphminposuw |
    vpmovmskb |
    vpmovsxbw | vpmovsxbd | vpmovsxbq | vpmovsxdq | vpmovsxwd | vpmovsxwq |
    vpmovzxbw | vpmovzxbd | vpmovzxbq | vpmovzxdq | vpmovzxwd | vpmovzxwq |
    vpshufd | vpshufhw | vpshuflw |
    vpslld | vpslldq | vpsllq | vpsllw |
    vpsrad | vpsraw | vpsrld | vpsrldq | vpsrlq  | vpsrlw |
    vptest |
    vrcpps |
    vroundpd | vroundps |
    vroundsd | vroundss |
    vrsqrtps |
    vshufpd | vshufps |
    vsqrtpd | vsqrtps |
    vtestpd | vtestps |
    vucomisd | vucomiss

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

4 weeks agoadd tries corresponding to avx1 xmm/ymm/memory move instructions.
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

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

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

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

5 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

6 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

6 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

6 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

7 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

7 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

7 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

7 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

8 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

8 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

2 months 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

2 months 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

2 months 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