66320679be
improve error messages
...
#112 , #110 , #108 , #87
Reviewed-on: #145
Co-authored-by: ychenfo <yc@m-labs.hk>
Co-committed-by: ychenfo <yc@m-labs.hk>
2021-12-22 08:52:19 +08:00
91625dd327
update kernel-only attribute annotation
...
Reviewed-on: #127
Co-authored-by: ychenfo <yc@m-labs.hk>
Co-committed-by: ychenfo <yc@m-labs.hk>
2021-12-19 11:04:53 +08:00
3f73896477
remove a small amount of LLVM bloat
...
Also avoids libffi.dll dependency on Windows.
2021-12-08 17:41:34 +08:00
6d00d4dabb
nac3artiq: cache python data if possible
2021-12-05 20:30:03 +08:00
65bc1e5fa4
nac3artiq: handle name_to_pyid in compilation
...
python variables can change between kernel invocations
2021-12-05 13:10:54 +08:00
2938eacd16
nac3artiq: supports running multiple kernels
2021-12-05 13:10:54 +08:00
41f88095a5
min_artiq: add round64, floor64, ceil64
2021-12-04 20:35:52 +08:00
c98f367f90
nac3artiq: enables inlining
2021-12-04 17:52:03 +08:00
4526c28edb
Merge branch 'windows'
2021-12-02 22:26:55 +08:00
25fc9db66d
cargo: specify inkwell LLVM target explicitly
...
Windows LLVM linking otherwise breaks on the non-existing targets.
2021-12-02 22:24:33 +08:00
c683958e4a
nac3artiq: clarify comment about virtual class
2021-12-01 22:49:20 +08:00
142f82f987
remove debug prints
2021-12-01 22:48:06 +08:00
dfd3548ed2
TypeVar and virtual support in Symbol Resolver ( #99 )
...
Add `TypeVar` and `virtual` support for Symbol Resolver in nac3artiq and nac3standalone
Reviewed-on: #99
Co-authored-by: ychenfo <yc@m-labs.hk>
Co-committed-by: ychenfo <yc@m-labs.hk>
2021-12-01 22:44:53 +08:00
681d85d3be
remove debug print
2021-11-28 12:57:28 +08:00
b35075245b
nac3artiq: remove debug print
2021-11-27 21:29:57 +08:00
4b17511b4a
Merge branch 'master' into KernelInvariant
2021-11-27 21:29:27 +08:00
4587088835
Constant Default Parameter Support ( #98 )
...
Add support for constant default parameter
Reviewed-on: #98
Co-authored-by: ychenfo <yc@m-labs.hk>
Co-committed-by: ychenfo <yc@m-labs.hk>
2021-11-23 07:32:09 +08:00
f5ec103c82
nac3artiq: kernel invariant support
2021-11-20 21:15:15 +08:00
ba08deada6
nac3core: refactor codegen
2021-11-20 19:50:25 +08:00
439cef636f
runkernel: improve print_int debug functions
2021-11-19 12:39:57 +08:00
1e47b364c5
nac3artiq: support now-pinning on RISC-V with wide data bus ( #97 )
2021-11-16 17:37:40 +08:00
9ae08d6e3d
nac3artiq: add stubs for now-pinning on rv32g ( #97 )
2021-11-13 12:10:55 +08:00
d6b92adf70
nac3artiq: add stack guard
2021-11-12 20:03:52 +08:00
978eaf16a4
nac3artiq: support RISC-V with and without FPU. Closes #83
2021-11-11 23:43:50 +08:00
612b6768c0
nac3artiq: bail early on non-NAC3 classes
2021-11-11 16:35:40 +08:00
c004da85f7
nac3artiq: drop host-only base classes. Closes #80
2021-11-11 16:08:29 +08:00
b57b869c49
min_artiq: remove unused imports
2021-11-10 14:01:39 +08:00
50f1aca1aa
nac3artiq: move module registration list to CPython side
...
In ARTIQ, we cannot create a global NAC3 object because we do not
know the ISA in advance.
2021-11-07 10:29:14 +08:00
ffa89e9308
fix clippy warnings
2021-11-06 23:00:18 +08:00
34cf303e6c
nac3artiq: modified demo to use KernelInvariants
2021-11-06 22:50:28 +08:00
b1e83a1fd4
nac3core: type check invariants
...
This rejects code that tries to assign to KernelInvariant fields and
methods.
2021-11-06 22:48:08 +08:00
7385b91113
nac3artiq: support kernel entry short form from original ARTIQ
2021-11-06 18:41:59 +08:00
016cbf2b90
nac3artiq: return bytes in compile_method_to_mem
2021-11-06 14:29:23 +08:00
37eae090e5
nac3artiq: fix linker inputs
2021-11-06 14:23:54 +08:00
204baabfd2
nac3artiq: add compile_method_to_mem
2021-11-06 14:14:53 +08:00
7d66195eae
nac3artiq: embed linker script, put intermediate objects in temp dir
2021-11-06 13:04:00 +08:00
afb94dd299
nac3artiq: move demo to dedicated folder
2021-11-05 18:28:31 +08:00
d6f0607ff0
nac3artiq: rename class decorator to nac3
2021-11-05 18:08:36 +08:00
610448fa73
nac3artiq: include parallel in demo
2021-11-05 18:07:18 +08:00
e8228710e7
min_artiq: remove unnecessary definitions
2021-11-05 17:50:26 +08:00
bf7e2c295a
integrate nac3parser
2021-11-03 17:11:00 +08:00
bc0f82cad8
Revert "nac3artiq/codegen: fixed smax problem"
...
We have LLVM 12 now and can use the intrinsic.
This reverts commit 98d9f73afb
2021-11-02 14:00:28 +08:00
624dfe8cd1
upgrade to LLVM 12
2021-11-02 14:00:20 +08:00
e47597bb8a
Merge branch 'context-manager'
2021-11-02 11:17:00 +08:00
98d9f73afb
nac3artiq/codegen: fixed smax problem
...
It turns out the smax intrinsic I use is a new one that is not supported
in LLVM11. Now implemented with signed integer compare and select.
2021-11-02 11:10:21 +08:00
b37cf6de08
nac3artiq: share isa->time_fns map
2021-11-01 00:03:15 +08:00
083eacc268
with parallel/sequential support
...
Behavior of parallel and sequential:
Each function call (indirectly, can be inside a sequential block) within a parallel
block will update the end variable to the maximum now_mu in the block.
Each function call directly inside a parallel block will reset the timeline after
execution. A parallel block within a sequential block (or not within any block) will
set the timeline to the max now_mu within the block (and the outer max now_mu will also
be updated).
Implementation: We track the start and end separately.
- If there is a start variable, it indicates that we are directly inside a
parallel block and we have to reset the timeline after every function call.
- If there is a end variable, it indicates that we are (indirectly) inside a
parallel block, and we should update the max end value.
Note: requires testing, it is difficult to inspect the output IR
2021-10-31 23:54:37 +08:00
443b95d909
nac3artiq: do not use custom linker script when targeting host
2021-10-31 23:51:50 +08:00
8b73a123cc
nac3artiq: support compiling for the host
2021-10-31 23:02:21 +08:00
84c5201243
with parallel/sequential support
...
Behavior of parallel and sequential:
Each function call (indirectly, can be inside a sequential block) within a parallel
block will update the end variable to the maximum now_mu in the block.
Each function call directly inside a parallel block will reset the timeline after
execution. A parallel block within a sequential block (or not within any block) will
set the timeline to the max now_mu within the block (and the outer max now_mu will also
be updated).
Implementation: We track the start and end separately.
- If there is a start variable, it indicates that we are directly inside a
parallel block and we have to reset the timeline after every function call.
- If there is a end variable, it indicates that we are (indirectly) inside a
parallel block, and we should update the max end value.
Note: requires testing, it is difficult to inspect the output IR
2021-10-31 17:16:21 +08:00
279f47f633
nac3core/codegen: avoid sending unifiers
...
Previously, we have to copy types from one unification table to another,
and make the table sendable. This requires cloning (processing) the
whole table 3 times per function call which is not efficient and uses
more memory than required when the unification table is large.
We now use a concrete type table to only copy the type we need. This
reduces the overhead as we only need to process the unification table
for once (when we do the function codegen), and reduces memory usage by
a bit (but not noticeable when the unification table is small, i.e. the
types are simple).
2021-10-17 13:02:18 +08:00
1f5bea2448
nac3core/codegen: refactor according to #23
2021-10-16 22:17:36 +08:00
c4259d14d1
fixed some clippy warnings
2021-10-16 18:08:13 +08:00
3a1dd893a1
nac3artiq/demo: get closer to regular ARTIQ
2021-10-10 17:45:38 +08:00
a4ccac2329
nac3artiq: implements #55 , #56
2021-10-10 16:26:01 +08:00
a3ce5be10b
nac3core: fixes #32 and #57
2021-10-09 16:20:49 +08:00
a22552a012
nac3artiq: work around #56
2021-10-09 15:52:45 +08:00
6ba74ed9f6
nac3artiq: allow creating drivers on device
2021-10-09 15:51:47 +08:00
8b32c8270d
nac3artiq: explain delayed registration
2021-10-09 15:21:41 +08:00
5749141efb
nac3artiq: add simple KernelInvariant CPython wrapper
2021-10-08 23:46:46 +08:00
3b10172810
nac3artiq: get closer to original ARTIQ semantics in demo
...
Currently crashes the compiler with:
thread '<unnamed>' panicked at 'called `Option::unwrap()` on a `None` value', nac3core/src/codegen/expr.rs:395:58
2021-10-08 23:41:41 +08:00
82efb0e720
missing file from previous commit
2021-10-08 23:21:36 +08:00
d3a21d75fa
handle time cursor functions on the Rust side entirely
...
This is preparation for with sequential/with parallel support.
2021-10-08 23:14:22 +08:00
a07674a042
nac3artiq: host object supports typevar
2021-10-08 22:45:08 +08:00
c697e522d3
nac3artiq: #33 demo
...
The python API is changed a bit to allow running constructor with
@kernel annotation.
2021-10-07 15:58:19 +08:00
08947d20c2
nac3artiq: implements #33
2021-10-07 15:57:45 +08:00
62673cf608
nac3artiq: add back builtins ( fix #53 )
2021-10-06 16:46:41 +08:00
11144301ca
nac3artiq: added simple host value support
2021-10-06 16:07:42 +08:00
915460ecb7
nac3artiq: fix typo
2021-10-03 16:18:15 +08:00
b2c7f51d57
nac3artiq: guarantee ordering of pinned now stores
2021-10-03 10:00:42 +08:00
248d8cbece
nac3artiq: handle now-pinning depending on target
2021-10-02 23:40:06 +08:00
c429a86586
nac3artiq: refactor timeline functions
2021-10-02 23:35:28 +08:00
c5e731f16d
nac3artiq: implement timeline functions
2021-10-02 23:22:46 +08:00
c93305739d
nac3artiq: fix misleading error message
2021-10-02 19:17:33 +08:00
ba93931758
implement timeline functions for RISC-V (WIP)
2021-10-02 19:05:35 +08:00
3dd916b6ac
nac3artiq: update unsendable comment
2021-10-02 18:28:44 +08:00
8447aa3000
nac3artiq: allows kernel function
2021-10-01 00:02:15 +08:00
07a9229d52
nac3artiq: implements #36
2021-09-30 22:30:54 +08:00
f0fdfe42cb
nac3core: better impl of #24
2021-09-30 17:07:48 +08:00
928b5bafb5
nac3artiq: add missing symlink
2021-09-29 15:36:30 +08:00
dceaf42500
nac3artiq: support ISA selection
2021-09-29 15:33:12 +08:00
bfd041d361
nac3artiq: filter class definitions
2021-09-27 22:25:19 +08:00
6141f01180
nac3artiq: parse whole Python module, filter ast
2021-09-27 22:12:25 +08:00
316db42940
nac3embedded -> nac3artiq, README cleanup
2021-09-27 10:30:54 +08:00
