4b17511b4a
Merge branch 'master' into KernelInvariant
2021-11-27 21:29:27 +08:00
7ee82de312
nac3core: fixed weird type inference error
2021-11-27 20:27:46 +08:00
de8fc264d7
fix unsupported default parameter error message
2021-11-23 15:34:44 +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
49476d06e1
nac3core: clearer comments
2021-11-22 15:06:16 +08:00
664e02cec4
nac3core: fix clippy warning
2021-11-22 14:55:39 +08:00
01b51b62ee
nac3core: composer better error msg in for uninit field
2021-11-21 06:11:55 +08:00
d336200bf4
nac3core: fix broken tests due to the fix of rigid typevar handling
2021-11-21 06:11:55 +08:00
a50df6560e
nac3core: fix handling on rigid typevar
2021-11-21 06:11:55 +08:00
a9635f0979
nac3core: top level use codegen official get_subst_key
2021-11-21 06:11:55 +08:00
c2706fa720
nac3core: fix polymorphic class method partial instantiation
2021-11-21 06:11:55 +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
8ab3ee9cce
nac3core: AugAssign support ( #82 )
2021-11-13 12:24:22 +08:00
96607432c1
nac3core: use Python 3.9 list/tuple annotations in test
...
Closes #85
2021-11-11 20:05:08 +08:00
ffa89e9308
fix clippy warnings
2021-11-06 23:00:18 +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
99b29d8ded
Merge branch 'master' into with_nac3comment
2021-11-05 20:46:29 +08:00
3db95b120b
nac3core: implements bool conversion function
2021-11-05 20:34:34 +08:00
8dbb4ad58a
nac3core/toplevel: make test less fragile
...
test results should not depend on internal states if possible
2021-11-05 20:28:21 +08:00
b239806558
nac3core: adapt to ast change due to comment support
2021-11-04 15:02:51 +08:00
bf7e2c295a
integrate nac3parser
2021-11-03 17:11:00 +08:00
e89bc93b5f
ignore expressions in class definition body ( #26 )
2021-11-02 23:30:12 +08:00
47f563908a
basic string support ( #30 )
2021-11-02 23:22:49 +08:00
0e914ab7e9
composer: add range keyword
2021-11-02 18:56:14 +08:00
613020a717
test: add missing id_to_name entry
2021-11-02 18:34:48 +08:00
624dfe8cd1
upgrade to LLVM 12
2021-11-02 14:00:20 +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
558c3f03ef
nac3core/codegen: list comprehension support
2021-10-24 16:53:43 +08:00
45673b0ecc
nac3core/codegen: cleanup
2021-10-24 16:53:43 +08:00
181607008d
nac3core/codegen: supports list iter
2021-10-24 14:39:50 +08:00
fb92b6d364
nac3core: supports range iterator
2021-10-23 23:53:36 +08:00
2f6ba69770
nac3core/typecheck: check if value is none
2021-10-23 21:31:14 +08:00
cc83bbc63a
nac3core/codegen: fix broken test
2021-10-17 13:07:45 +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
9850cbe313
nac3core/codegen: optimize for every function
...
This speeds up compilation and reduces memory usage.
2021-10-17 12:56:11 +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
26076c37ba
nac3core/typecheck: supports recursive type inference
2021-10-16 15:56:49 +08:00
fd0b11087e
nac3core: use round instead of rint. Closes #61
2021-10-11 08:18:52 +08:00
77542170fd
nac3core: fixes #60
2021-10-10 15:01:06 +08:00
a3ce5be10b
nac3core: fixes #32 and #57
2021-10-09 16:20:49 +08:00
11144301ca
nac3artiq: added simple host value support
2021-10-06 16:07:42 +08:00
4fcb54e463
nac3core: fix #46 , better toplevel return type error msg
2021-10-03 18:07:45 +08:00
24b2111c64
nac3core: fix #45 toplevel better error msg for methods/functions
2021-10-03 17:25:28 +08:00
f5ce1afe0b
fix tests and switch to insta
...
Use a library called 'insta' to better organize those longer correct test outputs in toplevel tests. 'insta' creates `.snap` files as snapshots of the test output, and will automatically do the diff if the output is different. This makes maintaining test cases with larger outputs a lot easier.
Reviewed-on: M-Labs/nac3#42
Co-authored-by: ychenfo <yc@m-labs.hk>
Co-committed-by: ychenfo <yc@m-labs.hk>
2021-10-03 16:39:12 +08:00
ba93931758
implement timeline functions for RISC-V (WIP)
2021-10-02 19:05:35 +08:00
1d2a32b140
nac3core/toplevel: impl scalar conversion
...
Implemented scalar conversion functions as builtin functions.
`round` for int64 is now implemented as `round64`.
2021-09-30 23:39:29 +08:00
f0fdfe42cb
nac3core: better impl of #24
2021-09-30 17:07:48 +08:00
8d839db553
typo
2021-09-27 19:12:18 +08:00
64404bba20
syscall -> extern ( #21 )
2021-09-27 10:13:03 +08:00
d4ed76d76e
nac3core: implementing #24
2021-09-26 22:17:09 +08:00
3c121dfcda
nac3core/toplevel/composer: fixes #29
2021-09-25 22:02:19 +08:00
693ac7d336
nac3core/toplevel: added personality symbol config
2021-09-25 21:44:00 +08:00
799ed58d21
nac3core/type_inferencer: avoid type var for assign
2021-09-22 19:25:47 +08:00
105d605e6d
nac3core: fix clippy warnings
2021-09-22 18:04:06 +08:00
97f5b7c324
fixed performance regression
2021-09-22 18:04:06 +08:00
7d48883583
fixed tests
2021-09-22 18:04:06 +08:00
084efe92af
nac3core: use string interning
2021-09-22 18:04:06 +08:00
891056631f
nac3core: use Arc to reduce copy
2021-09-22 18:04:06 +08:00
1b5ac3cd25
nac3core: do not alloc call if it is monomorphic
2021-09-22 18:04:06 +08:00
5ed2b450d3
nac3core/typecheck: no type variable for monomorphic functions
2021-09-22 18:04:06 +08:00
a508baae20
added syscall annotation
...
and temporarily disabled the keyword check for top-level functions
2021-09-22 17:58:46 +08:00
013e7cfc2a
codegen: support pass statement. Closes #10
2021-09-22 15:17:13 +08:00
4fe643f45b
allows function ending with a number
2021-09-22 14:45:42 +08:00
1c170f5c41
nac3core: type inferencer fix the pass statement
2021-09-21 13:19:13 +08:00
df6c9c8a35
fix #11
2021-09-21 11:29:51 +08:00
20905a9b67
nac3core: better field initialization check
2021-09-21 03:02:12 +08:00
e66693282c
nac3core: change the place to unify constructor type for function body type check
...
add really basic field initialize check
2021-09-20 23:44:39 +08:00
dd1be541b8
nac3core: allow class to have no __init__, function/method name with module path added to ensure uniqueness
2021-09-20 23:36:19 +08:00
3c930ae9ab
fixed #12
2021-09-20 15:51:42 +08:00
35a94a8fc0
nac3core: fix broken test
2021-09-20 01:58:07 +08:00
4939ff4dbd
simple implementation of classes
2021-09-19 22:54:06 +08:00
2b74895b71
nac3standalone, nac3core: can use top level composer to compile and run mandelbrot
2021-09-19 16:19:49 +08:00
1b0f3d07cc
nac3core: top level fix field of funinstance
2021-09-17 22:32:13 +08:00
ed5dfd4100
nac3core: top level inferencer call with type var more test
2021-09-17 16:31:33 +08:00
41e63f24d0
nac3core: top level add test utility to print stringfied type
2021-09-17 16:31:21 +08:00
d0df705c5a
nac3core: toplevel type var test
2021-09-17 00:39:42 +08:00
a0662c58e6
nac3core: fix recursive top level function call
2021-09-17 00:39:42 +08:00
526c18bda0
nac3core: top level inferencer without type var should be ok
2021-09-17 00:39:42 +08:00
a10ab81ee7
toplevel composer: add ast to class methods, suppress warning
2021-09-17 00:39:42 +08:00
f5353419ac
codegen: minimized lock holding time
...
The previous way of holding the lock would prohibit multithread code
generation for llvm
2021-09-16 21:36:42 +08:00
180392e2ab
typecheck: fixed recursive substitution
2021-09-12 21:33:21 +08:00
471547855e
nac3core: toplevel change class method name handling, cleanup comments
2021-09-12 13:14:46 +08:00
2ac3f9a176
nac3core: separate top level compoer to a new file
2021-09-12 05:10:10 +08:00
cb310965b8
nac3core: toplevel register consider module path
2021-09-12 05:00:26 +08:00
118f19762a
nac3core: toplevel format
2021-09-12 04:40:40 +08:00
b419634f8a
nac3core: top level fields inheritance check, more tests
2021-09-12 04:34:30 +08:00
147298ff40
nac3core: top level fix class fields as nac3 spec
2021-09-12 03:49:21 +08:00
c7cb02b0f3
nac3core: toplevel fix parse type annotation dead lock
2021-09-12 03:01:56 +08:00
4eacd1aa9e
nac3core: top level err test
2021-09-10 21:26:39 +08:00
9eef51f29f
nac3core: top level class method self parameter fixed
2021-09-10 16:14:08 +08:00
917d447605
nac3core: clean up, fix broken test
2021-09-09 02:09:35 +08:00
f1013d9a17
nac3core: top level fix type var within list tuple, test of type var application compatibility
2021-09-09 02:03:44 +08:00
2ce507964c
nac3core: fix broken top level test due to hashmap order
2021-09-09 00:44:56 +08:00
5a1a8ecee3
nac3core: self is not not allowed to explicitly appear in method type annotations
2021-09-08 21:53:54 +08:00
1300b5ebdd
nac3core: clean up and format
2021-09-08 19:45:36 +08:00
87f25e1c5d
nac3core: remove mutex on dyn symbol resolve
2021-09-08 19:27:32 +08:00
55335fc05d
nac3core: top level simple type var handled
2021-09-08 02:27:12 +08:00
247b364191
nac3core: top level fix cyclic ancestor analysis, add tests
2021-09-07 17:30:15 +08:00
