4481d48709
core: Use C-style for loop logic for iterables
...
Index increment is now performed at the end of the loop body.
2023-09-06 20:09:38 +08:00
b4983526bd
core: Remove redundant for.cond BB for iterable loops
...
Simplifies logic for creating basic blocks.
2023-09-06 20:09:37 +08:00
b4a9616648
core: Add assertion for when range has step of 0
...
Aligns with the behavior in Python.
2023-09-06 20:09:36 +08:00
e0de82993f
core: Preserve value of variable shadowed by for loop
...
Previously, the final value of the target expression would be one after
the last element of the loop, which does not match Python's behavior.
This commit fixes this problem while also preserving the last assigned
value of the loop beyond the loop, matching Python's behavior.
2023-09-06 20:09:36 +08:00
6805253515
core: Use AST var name for IR name
...
Aids debugging IR.
2023-09-06 20:09:36 +08:00
19915bac79
core: Prepend statement type to basic block label names
...
Aids debugging IR.
2023-09-06 20:09:36 +08:00
17b4686260
standalone: Adapt loop example to output loop variable
2023-09-06 18:56:45 +08:00
6de0884dc1
core: Use anonymous name for variables if unspecified
...
The current default prefix is only derived from the instruction type,
which is not helpful during the comprehension of the IR. Changing to
anonymous names (e.g. %1) helps understand that the variable is only
needed as part of a larger (possibly named) expression.
2023-09-06 14:02:15 +08:00
f1b0e05b3d
core: Rename IR variables
...
Because it is unclear which variables are expressions and
subexpressions, all variables which are previously anonymous are named
using (1) the control flow statement if available, (2) the possible name
of the variable as inferred from the variable name in Rust, and (3) the
"addr" prefix to indicate that the values are pointers. These three
strings are joint together using '.', forming "for.i.addr" for instance.
2023-09-06 14:02:15 +08:00
ff23968544
core: Add name parameter to gen_{var_alloc,store_target}
...
This allows variables in the IR to be assigned a custom name as opposed
to names with a default prefix.
2023-09-06 11:00:02 +08:00
049908044a
flake: update dependencies
2023-09-04 11:00:15 +08:00
d37287a33d
Cargo: Update dependencies
2023-09-04 10:43:57 +08:00
283bd7c69a
cargo: update dependencies
2023-07-14 10:57:21 +08:00
3d73f5c129
flake: update dependencies
2023-07-10 13:46:00 +08:00
d824c5d8b5
flake: cleanup dev shells
2023-05-30 16:28:46 +08:00
b8d637f5c4
cargo: update dependencies
2023-05-27 18:56:21 +08:00
3af287d1c4
flake: nixpkgs 23.05
2023-05-27 18:14:55 +08:00
5b53be0311
update dependencies
2023-04-30 17:11:47 +08:00
aead36f0fd
update dependencies
2023-03-08 15:19:09 +08:00
c269444c0b
msys2: update packages
2023-01-14 16:09:21 +08:00
52cec3c12f
msys2: nix store doesn't like tildes
2023-01-14 16:09:00 +08:00
2927f2a1d0
msys2: adapt to recent pacman
2023-01-14 16:08:39 +08:00
c1c45373a6
update dependencies
2023-01-12 19:31:03 +08:00
946ea155b8
flake: switch to NixOS release
2022-11-30 11:37:48 +08:00
085c6ee738
update dependencies
2022-11-18 16:15:46 +08:00
cfa67c418a
update MSYS2 URL
2022-11-03 19:00:44 +08:00
813bfa92a7
windows: fix nac3artiq module installation path
2022-08-05 22:42:32 +08:00
fff4b65169
windows: parallel LLVM build
2022-08-05 18:24:00 +08:00
c891fffd75
windows: update msys2, python 3.10
2022-08-05 17:27:07 +08:00
12acd35e15
switch to nixpkgs master, python 3.10
2022-08-05 17:24:49 +08:00
f66ca02b2d
update Rust dependencies
2022-08-05 16:58:57 +08:00
b514f91441
nac3artiq: inherit kernel constructors
...
Closes #139
Co-authored-by: z78078 <cc@m-labs.hk>
Co-committed-by: z78078 <cc@m-labs.hk>
2022-07-28 19:18:36 +08:00
8f95b79257
nac3artiq: throw error message when constructor use rpc decorator ( #306 )
...
Co-authored-by: z78078 <cc@m-labs.hk>
Co-committed-by: z78078 <cc@m-labs.hk>
2022-07-11 15:55:55 +08:00
ebd25af38b
nac3standalone: allow classes without explicit init ( #221 )
...
Reviewed-on: #304
Co-authored-by: z78078 <cc@m-labs.hk>
Co-committed-by: z78078 <cc@m-labs.hk>
2022-07-07 10:36:25 +08:00
96b3a3bf5c
work around random segmentation fault ( #275 )
...
Reviewed-on: #302
Co-authored-by: z78078 <cc@m-labs.hk>
Co-committed-by: z78078 <cc@m-labs.hk>
2022-07-04 18:06:36 +08:00
a18d095245
nac3core: codegen fix call parameter type error
2022-07-04 14:39:33 +08:00
b242463548
update dependencies
2022-07-02 19:04:19 +08:00
8e6e4d6715
README: call for Nix 2.8 (older versions have flake bugs)
2022-06-06 18:14:21 +08:00
73c2aefe4b
README: mention nac3ld
2022-06-06 18:13:21 +08:00
892597cda4
update dependencies
2022-06-06 17:54:23 +08:00
33321c5e9c
README,nix: remove lld
2022-06-06 17:50:32 +08:00
50ed04b787
nac3ld: replace unsafe code
2022-06-06 14:41:14 +08:00
7cb9be0f81
nac3artiq: refactor compile methods
...
Avoids writing relocatable object to a file when linking with nac3ld.
2022-06-06 14:41:10 +08:00
ac560ba985
nac3artiq: switch ld.lld to nac3ld for non-host target
2022-06-06 14:40:13 +08:00
a96371145d
add nac3ld
2022-06-06 14:40:13 +08:00
8addf2b55e
nac3standalone: add more tests
2022-06-01 17:58:16 +08:00
5d5e9a5e02
nac3core: fix codegen error of inheritance
2022-06-01 17:58:16 +08:00
4c39dd240f
update all dependencies
2022-05-31 23:09:51 +08:00
48fc5ceb8e
nac3artiq: demote global value to private
...
... except typeinfo & now symbols.
typeinfo will be read by the runtime linker; now is for now-pinning.
2022-05-30 22:46:41 +08:00
c4ab2855e5
nac3core: pretty print codegen panic error
2022-05-30 04:09:21 +08:00
