Sebastien Bourdeauducq
5769107936
gateware/rtio: keep counter clock domain transfer active during CSR reset
2015-12-20 22:12:34 +08:00
Sebastien Bourdeauducq
b96e0d241e
coredevice/analyzer: set VCD timescale
2015-12-20 22:06:07 +08:00
Sebastien Bourdeauducq
4b5c10b641
coredevice/core: remove default period
2015-12-20 22:05:52 +08:00
Sebastien Bourdeauducq
cdcb57effe
coredevice/analyzer: basic VCD writing
2015-12-20 19:32:52 +08:00
whitequark
e4615e7b37
transforms.int_monomorphizer: visit children of CallT.
2015-12-20 18:07:31 +08:00
Sebastien Bourdeauducq
46f59b673f
coredevice: analyzer message decoding
2015-12-20 14:34:16 +08:00
whitequark
d5216879d4
runtime: implement round() ( fixes #198 ).
...
From https://github.com/bpowers/musl/blob/master/src/math/round.c .
2015-12-20 04:06:11 +08:00
whitequark
54aeb5030d
transforms.int_monomorphizer: also monomorphize round() calls ( #198 ).
2015-12-20 02:36:30 +08:00
whitequark
95af6daa28
transforms.inferencer: accept round(width=n) form ( #198 ).
2015-12-20 01:02:57 +08:00
Sebastien Bourdeauducq
1638f0fa9b
gateware/rtio/analyzer: fix event ordering
2015-12-19 17:04:30 +08:00
whitequark
afee03b89c
Commit missing parts of 4fb1de33
.
2015-12-19 06:41:32 +08:00
whitequark
4fcd6abc5e
Commit missing parts of 0395efd4
.
2015-12-19 06:33:29 +08:00
whitequark
4fb1de33c9
Initial invocation of a @kernel function can now return a value ( fixes #197 ).
2015-12-19 05:26:18 +08:00
whitequark
e9afe5a93b
runtime: include __powidf2.
2015-12-19 00:14:51 +08:00
whitequark
0395efd479
compiler: give environment types in LLVM IR readable names.
2015-12-18 23:41:51 +08:00
whitequark
baa986aa32
compiler.prelude: add @portable as an alias for @kernel.
2015-12-18 23:00:29 +08:00
whitequark
7b3ace2e30
transforms.inferencer: fix unsupported decorator diagnostic when embedding.
...
decorator.loc points to the quoted object with a synthesized location,
and it's not really worth refactoring when we can just point at the @.
2015-12-18 22:58:17 +08:00
whitequark
0755aa38ff
transforms.iodelay_estimator: allow goto in zero-iodelay while statements.
2015-12-18 21:14:40 +08:00
whitequark
2759310662
transforms.iodelay_estimator: reject control flow in 'with parallel:' ( fixes #195 ).
2015-12-18 21:02:53 +08:00
Sebastien Bourdeauducq
64ad38854b
gateware/rtio/analyzer: fix exception message layout
2015-12-18 18:27:06 +08:00
Sebastien Bourdeauducq
10d4bfba38
frontend/coretool: basic analyzer dump
2015-12-18 18:23:16 +08:00
Sebastien Bourdeauducq
0832c71a66
coredevice/comm_tcp: support retrieving analyzer data
2015-12-18 18:22:50 +08:00
whitequark
52102a1a79
Fix handling of default values for RPC arguments ( fixes #190 ).
2015-12-18 18:03:07 +08:00
whitequark
f4b19fee5c
compiler.types: make TValue hashable.
2015-12-18 17:31:20 +08:00
whitequark
3fbee2707b
analyses.domination: consider unreachable blocks dominated by any other.
...
As a result, the dominator tree can now process arbitrary (reducible)
CFGs and we do not run DCE before analyses, risking loss of
correspondence to the AST, which would arbitrarily silence analyses.
2015-12-18 16:39:52 +08:00
Sebastien Bourdeauducq
59a3ea4f15
gateware/rtio/analyzer: fix bus write
2015-12-18 15:44:20 +08:00
Sebastien Bourdeauducq
f431add20e
runtime/analyzer: fix zero data corner case, handle cache
2015-12-18 15:17:22 +08:00
Sebastien Bourdeauducq
40e10caf0a
examples/blink_forever: revert incorrectly committed changes
2015-12-18 15:09:56 +08:00
Sebastien Bourdeauducq
b3abc9baf9
runtime/net_server: fix PCB filter
2015-12-18 01:14:57 +08:00
Sebastien Bourdeauducq
80172f9548
frontend/coretool: minor cleanup
2015-12-18 00:18:39 +08:00
Sebastien Bourdeauducq
73794b5c25
runtime: send analyzer data
2015-12-18 00:13:22 +08:00
Sebastien Bourdeauducq
6ae41e6024
runtime/net_server: refactor to support multiple services
2015-12-17 16:55:39 +08:00
whitequark
7f4490a543
Remove garbage.
2015-12-17 14:37:06 +08:00
whitequark
8cb7844621
transforms.interleaver: unroll loops.
2015-12-17 00:52:22 +08:00
whitequark
5dd1fc993e
transforms.dead_code_eliminator: also remove dead instructions.
2015-12-17 00:52:22 +08:00
Sebastien Bourdeauducq
5e38cad64c
test/coredevice: partial update to new APIs
2015-12-16 19:45:57 +08:00
whitequark
142b9b059b
lit-test: add tests for control flow in parallel blocks.
2015-12-16 19:39:07 +08:00
whitequark
2570932264
transforms.interleaver: don't fail on delay-free loops/conditionals.
2015-12-16 19:26:17 +08:00
whitequark
69cdeaf706
transforms.interleaver: don't fail on degenerate parallel blocks.
2015-12-16 19:26:17 +08:00
Sebastien Bourdeauducq
4def561710
targets: integrate RTIO analyzer
2015-12-16 17:36:52 +08:00
Sebastien Bourdeauducq
afaad270cc
rtio/analyzer: fix superficial mistakes
2015-12-16 17:36:36 +08:00
whitequark
f8eaeaa43f
compiler: explicitly represent loops in IR.
2015-12-16 15:33:26 +08:00
Sebastien Bourdeauducq
33860820b9
gateware/soc: use new SDRAM API call
2015-12-16 14:59:35 +08:00
whitequark
35acc33ef6
validators.escape: don't fail on quoted values in lhs.
2015-12-16 13:57:02 +08:00
whitequark
8751d2ee6c
Delay.{expr→interval}.
2015-12-16 13:57:02 +08:00
Robert Jördens
bf29e8ddc6
kc705: make config[] usage consistent
2015-12-15 12:14:30 -07:00
Sebastien Bourdeauducq
4362f97d67
gateware/rtio/analyzer: complete, untested
2015-12-14 23:53:14 +08:00
whitequark
e755e1ba9e
validators.escape: support arrays in multiple assignment.
2015-12-14 16:31:03 +08:00
whitequark
1860364778
protocols.pyon: support artiq.int ( fixes #188 ).
2015-12-14 16:26:02 +08:00
Sebastien Bourdeauducq
b5f2e178f6
rtio/analyzer: message encoder
2015-12-14 00:37:08 +08:00