pca006132
35ac5cb6f6
nac3core: fixed typevar bug
2022-03-18 01:07:44 +08:00
pca006132
fb8553311c
nac3artiq: remove accidentally added print
2022-03-17 15:13:00 +08:00
pca006132
04e7a7eb4b
nac3artiq: support more exceptions
2022-03-17 15:03:22 +08:00
pca006132
642e3b2bad
nac3core: moved all builtin errors to nac3artiq code
...
This remove the need for hard-coding those definition IDs.
2022-03-17 00:04:49 +08:00
pca006132
e126fef012
nac3artiq: support more builtin errors
2022-03-16 23:42:08 +08:00
pca006132
94aac16cc5
nac3artiq: fixed RPC codegen for lists
2022-03-10 16:48:28 +08:00
79c469301a
basic unsigned integer support
2022-03-08 13:34:02 +08:00
pca006132
a5e1da0b92
nac3artiq/demo/embedding_map: avoid key 0
...
Object key 0 is reserved for builtin exceptions.
2022-03-05 00:27:23 +08:00
pca006132
294943e303
nac3core: get exception ID from symbol resolver
...
We need to store the exception class somewhere in order to create them
back in the host. Fixes #200
2022-03-05 00:26:35 +08:00
84b4bd920b
nac3artiq: remove cached pyid_to_type if error
2022-03-04 16:23:25 +08:00
pca006132
d1e172501d
nac3artiq: remove debug messages
2022-02-28 23:10:05 +08:00
pca006132
323d77a455
nac3artiq: improve error message for out of range error
2022-02-28 23:09:14 +08:00
pca006132
d41c923cfd
nac3artiq: handle recursive types properly
2022-02-28 23:08:42 +08:00
Sebastien Bourdeauducq
a9c73a4915
fix some error strings
2022-02-28 11:10:33 +08:00
Sebastien Bourdeauducq
804d5db27e
nac3artiq: make CompileError importable from Python
2022-02-26 17:29:13 +08:00
Sebastien Bourdeauducq
cbc77dddb0
nac3artiq: raise specific exception on error
2022-02-26 17:17:06 +08:00
pca006132
d3cb5d6e52
Fixed type error messages
2022-02-22 17:22:15 +08:00
Sebastien Bourdeauducq
bb7c0a2d79
nac3artiq: remove errors from demo
2022-02-22 16:00:37 +08:00
pca006132
f97f93d92c
applied rustfmt and clippy auto fix
2022-02-21 18:27:46 +08:00
pca006132
d9cb506f6a
nac3core: refactored for better error messages
2022-02-21 18:24:19 +08:00
pca006132
352831b2ca
nac3core: removed legacy location definition
2022-02-13 22:39:24 +08:00
pca006132
bf52e294ee
nac3artiq: RPC support
2022-02-12 22:50:32 +08:00
0439bf6aef
nac3artiq: fix errors of non-primitive object when running multiple kernels
2022-01-15 04:43:39 +08:00
Sebastien Bourdeauducq
fd4bf12808
fix grammar of some type error messages
2022-01-14 16:56:23 +08:00
9d342d9f0f
nac3artiq: error msg improvement for synthesized __modinit__
2022-01-14 16:28:37 +08:00
4a1a4dc076
nac3core/artiq/standalone: symbol resolver return error msg for type error of host variables
2022-01-14 16:28:34 +08:00
Sebastien Bourdeauducq
4a65d82db5
introduce IRRT, implement power
...
based on code by Yijia
M-Labs/nac3#160
2022-01-09 00:57:50 +08:00
88f0da7bdd
add file name to AST node location
2021-12-28 01:28:55 +08:00
pca006132
521f136f2e
redo "nac3artiq: fixed compilation error"
...
This reverts commit 3b5328d3cd
2021-12-27 22:56:30 +08:00
pca006132
fa04768a77
redo "nac3core: fix #84 "
...
This reverts commit 86005da8e1
2021-12-27 22:56:26 +08:00
Sebastien Bourdeauducq
6162d21a5b
LLVM PGO support
2021-12-26 21:11:14 +08:00
Sebastien Bourdeauducq
86005da8e1
Revert "nac3core: fix #84 "
...
This reverts commit 0902d8adf4
2021-12-26 08:35:27 +08:00
Sebastien Bourdeauducq
3b5328d3cd
Revert "nac3artiq: fixed compilation error"
...
This reverts commit 34cabe0e55
2021-12-26 08:31:37 +08:00
Sebastien Bourdeauducq
d2a5cd6d57
update to LLVM 13
2021-12-25 22:49:47 +08:00
Sebastien Bourdeauducq
9e3f75255e
update inkwell. Closes #67
2021-12-25 22:17:06 +08:00
pca006132
34cabe0e55
nac3artiq: fixed compilation error
2021-12-23 15:47:54 +08:00
pca006132
0902d8adf4
nac3core: fix #84
2021-12-23 15:26:48 +08:00
66320679be
improve error messages
...
#112 , #110 , #108 , #87
Reviewed-on: M-Labs/nac3#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: M-Labs/nac3#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
Sebastien Bourdeauducq
3f73896477
remove a small amount of LLVM bloat
...
Also avoids libffi.dll dependency on Windows.
2021-12-08 17:41:34 +08:00
pca006132
6d00d4dabb
nac3artiq: cache python data if possible
2021-12-05 20:30:03 +08:00
pca006132
65bc1e5fa4
nac3artiq: handle name_to_pyid in compilation
...
python variables can change between kernel invocations
2021-12-05 13:10:54 +08:00
pca006132
2938eacd16
nac3artiq: supports running multiple kernels
2021-12-05 13:10:54 +08:00
Sebastien Bourdeauducq
41f88095a5
min_artiq: add round64, floor64, ceil64
2021-12-04 20:35:52 +08:00
pca006132
c98f367f90
nac3artiq: enables inlining
2021-12-04 17:52:03 +08:00
Sebastien Bourdeauducq
4526c28edb
Merge branch 'windows'
2021-12-02 22:26:55 +08:00
Sebastien Bourdeauducq
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
Sebastien Bourdeauducq
c683958e4a
nac3artiq: clarify comment about virtual class
2021-12-01 22:49:20 +08:00
Sebastien Bourdeauducq
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: M-Labs/nac3#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
Sebastien Bourdeauducq
681d85d3be
remove debug print
2021-11-28 12:57:28 +08:00
pca006132
b35075245b
nac3artiq: remove debug print
2021-11-27 21:29:57 +08:00
pca006132
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: M-Labs/nac3#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
pca006132
f5ec103c82
nac3artiq: kernel invariant support
2021-11-20 21:15:15 +08:00
pca006132
ba08deada6
nac3core: refactor codegen
2021-11-20 19:50:25 +08:00
Sebastien Bourdeauducq
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
Sebastien Bourdeauducq
9ae08d6e3d
nac3artiq: add stubs for now-pinning on rv32g ( #97 )
2021-11-13 12:10:55 +08:00
Sebastien Bourdeauducq
d6b92adf70
nac3artiq: add stack guard
2021-11-12 20:03:52 +08:00
Sebastien Bourdeauducq
978eaf16a4
nac3artiq: support RISC-V with and without FPU. Closes #83
2021-11-11 23:43:50 +08:00
Sebastien Bourdeauducq
612b6768c0
nac3artiq: bail early on non-NAC3 classes
2021-11-11 16:35:40 +08:00
Sebastien Bourdeauducq
c004da85f7
nac3artiq: drop host-only base classes. Closes #80
2021-11-11 16:08:29 +08:00
Sebastien Bourdeauducq
b57b869c49
min_artiq: remove unused imports
2021-11-10 14:01:39 +08:00
Sebastien Bourdeauducq
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
pca006132
ffa89e9308
fix clippy warnings
2021-11-06 23:00:18 +08:00
pca006132
34cf303e6c
nac3artiq: modified demo to use KernelInvariants
2021-11-06 22:50:28 +08:00
pca006132
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
Sebastien Bourdeauducq
7385b91113
nac3artiq: support kernel entry short form from original ARTIQ
2021-11-06 18:41:59 +08:00
Sebastien Bourdeauducq
016cbf2b90
nac3artiq: return bytes in compile_method_to_mem
2021-11-06 14:29:23 +08:00
Sebastien Bourdeauducq
37eae090e5
nac3artiq: fix linker inputs
2021-11-06 14:23:54 +08:00
Sebastien Bourdeauducq
204baabfd2
nac3artiq: add compile_method_to_mem
2021-11-06 14:14:53 +08:00
Sebastien Bourdeauducq
7d66195eae
nac3artiq: embed linker script, put intermediate objects in temp dir
2021-11-06 13:04:00 +08:00
Sebastien Bourdeauducq
afb94dd299
nac3artiq: move demo to dedicated folder
2021-11-05 18:28:31 +08:00
Sebastien Bourdeauducq
d6f0607ff0
nac3artiq: rename class decorator to nac3
2021-11-05 18:08:36 +08:00
Sebastien Bourdeauducq
610448fa73
nac3artiq: include parallel in demo
2021-11-05 18:07:18 +08:00
Sebastien Bourdeauducq
e8228710e7
min_artiq: remove unnecessary definitions
2021-11-05 17:50:26 +08:00
Sebastien Bourdeauducq
bf7e2c295a
integrate nac3parser
2021-11-03 17:11:00 +08:00
Sebastien Bourdeauducq
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
Sebastien Bourdeauducq
624dfe8cd1
upgrade to LLVM 12
2021-11-02 14:00:20 +08:00
pca006132
e47597bb8a
Merge branch 'context-manager'
2021-11-02 11:17:00 +08:00
pca006132
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
Sebastien Bourdeauducq
b37cf6de08
nac3artiq: share isa->time_fns map
2021-11-01 00:03:15 +08:00
pca006132
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
Sebastien Bourdeauducq
443b95d909
nac3artiq: do not use custom linker script when targeting host
2021-10-31 23:51:50 +08:00
Sebastien Bourdeauducq
8b73a123cc
nac3artiq: support compiling for the host
2021-10-31 23:02:21 +08:00
pca006132
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
pca006132
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
pca006132
1f5bea2448
nac3core/codegen: refactor according to #23
2021-10-16 22:17:36 +08:00
pca006132
c4259d14d1
fixed some clippy warnings
2021-10-16 18:08:13 +08:00
Sebastien Bourdeauducq
3a1dd893a1
nac3artiq/demo: get closer to regular ARTIQ
2021-10-10 17:45:38 +08:00
pca006132
a4ccac2329
nac3artiq: implements #55 , #56
2021-10-10 16:26:01 +08:00
pca006132
a3ce5be10b
nac3core: fixes #32 and #57
2021-10-09 16:20:49 +08:00
Sebastien Bourdeauducq
a22552a012
nac3artiq: work around #56
2021-10-09 15:52:45 +08:00
Sebastien Bourdeauducq
6ba74ed9f6
nac3artiq: allow creating drivers on device
2021-10-09 15:51:47 +08:00
Sebastien Bourdeauducq
8b32c8270d
nac3artiq: explain delayed registration
2021-10-09 15:21:41 +08:00
Sebastien Bourdeauducq
5749141efb
nac3artiq: add simple KernelInvariant CPython wrapper
2021-10-08 23:46:46 +08:00
Sebastien Bourdeauducq
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
Sebastien Bourdeauducq
82efb0e720
missing file from previous commit
2021-10-08 23:21:36 +08:00
Sebastien Bourdeauducq
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
