ychenfo
9f6c7b3359
nac3core: type conversion to/from uint
2022-03-08 13:42:45 +08:00
ychenfo
142e99a0f1
nac3core: fix broken tests
2022-03-08 13:34:08 +08:00
ychenfo
79c469301a
basic unsigned integer support
2022-03-08 13:34:02 +08:00
ychenfo
8602852241
nac3core: use signed extension to convert i32 to i64
2022-03-06 04:49:02 +08:00
ychenfo
42fbe8e383
nac3core: fix err msg of too many args
2022-03-05 03:59:45 +08:00
pca006132
63b0f29728
Fix broken tests
2022-03-05 00:27:51 +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
ychenfo
84b4bd920b
nac3artiq: remove cached pyid_to_type if error
2022-03-04 16:23:25 +08:00
Sebastien Bourdeauducq
317eb80005
update dependencies
2022-03-03 17:10:22 +08:00
Sebastien Bourdeauducq
59ac5aae8a
fix error message string (2)
2022-03-02 08:33:13 +08:00
Sebastien Bourdeauducq
da039e3acf
fix error message string
2022-03-02 08:04:15 +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
5d8e87d923
more readable type annotation error string
2022-02-28 16:24:03 +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
846d1726ef
nac3core: fixed keyword arguments handling
2022-02-26 16:34:30 +08:00
pca006132
0686e83f4c
nac3core/typecheck: fixed incorrect rollback
2022-02-25 20:01:11 +08:00
pca006132
e710b6c320
nac3core: fix exception final branch handling
...
According to https://github.com/m-labs/artiq/pull/1855
Passed the test cases from 1855.
Fixes #196 .
2022-02-25 17:42:47 +08:00
pca006132
cc769a7006
nac3core: reset unification table state before printing errors
...
Fixes nondeterministic error messages due to nondeterministic
unification order. As all unification operations will be restored, the
error messages should not be affected by the unification order before
the failure operation.
2022-02-25 14:47:19 +08:00
Sebastien Bourdeauducq
5cd4fe6507
update tests
2022-02-23 11:50:03 +08:00
Sebastien Bourdeauducq
aa79c8d8b7
rename exception symbols in host code
2022-02-23 11:43:41 +08:00
Sebastien Bourdeauducq
75fde1bbf7
update tests
2022-02-23 11:39:47 +08:00
Sebastien Bourdeauducq
17792b76b7
rename exception symbols
2022-02-23 11:04:35 +08:00
Sebastien Bourdeauducq
6ae770d5eb
update dependencies
2022-02-23 10:59:13 +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
3ad25c8f07
nac3core: sort error messages for determinism
2022-02-22 14:33:43 +08:00
pca006132
ede3706ca8
type_inferencer: special case tuple index error message
2022-02-21 18:41:42 +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
21d9182ba2
nac3core: disallow methods/fields in Exception subclass
...
Fixes #192
2022-02-13 21:45:22 +08:00
Sebastien Bourdeauducq
91f41052fe
test: remove outdated comment
2022-02-13 17:24:47 +08:00
pca006132
14d25b3b9d
Fixed broken tests
2022-02-13 17:21:42 +08:00
Sebastien Bourdeauducq
265d234266
update LLVM
2022-02-13 13:20:08 +08:00
Sebastien Bourdeauducq
2e44745933
runkernel: add dummy artiq_personality function
2022-02-13 13:03:38 +08:00
Sebastien Bourdeauducq
4b8e70f746
nac3standalone: disable broken tests ( #188 )
2022-02-13 11:41:42 +08:00
Sebastien Bourdeauducq
31e76ca3b6
nac3standalone: add dummy support for artiq_personality
...
So existing tests can run again
2022-02-13 11:35:02 +08:00
Sebastien Bourdeauducq
343f6fd067
update dependencies
2022-02-13 10:51:03 +08:00
Sebastien Bourdeauducq
f1ebf8f96e
flake: update nixpkgs
2022-02-13 10:47:22 +08:00
pca006132
b18626b149
Fix compilation and test failures
2022-02-12 22:50:32 +08:00
pca006132
750d912eb4
nac3core: do list bound check and negative index handling
...
Raise error when index out of range. Note that we use llvm.expect to
tell the optimizer that we expect not to raise an exception, so the
normal path performance would be better. If this assumption is violated,
the exception overhead might be slightly larger, but the percentage
increase in overhead should not be high since exception unwinding is
already pretty slow.
2022-02-12 22:50:32 +08:00
pca006132
bf52e294ee
nac3artiq: RPC support
2022-02-12 22:50:32 +08:00
pca006132
e303248261
nac3core: exception type check and codegen
2022-02-12 22:50:32 +08:00
pca006132
7ea5a5f84d
nac3core: codegen refactoring
...
- No longer check if the statement will return. Instead, we check if
the current basic block is terminated, which is simpler and handles
exception/break/continue better.
- Use invoke statement when unwind is needed.
- Moved codegen for a block of statements into a separate function.
2022-02-12 22:13:59 +08:00
pca006132
b267a656a8
nac3core: added exception type and fixed primitive representation
...
- Added `Exception` primitive type and some builtin exception types.
Note that all exception types share the same layout, and should
inherit from the base `Exception` type. There are some hacks in the
toplevel module for handling exception types, we should revisit and
fix them later.
- Added new primitive types to concrete type module, otherwise there
would be some weird type errors.
- Changed the representation of strings to CSlice<u8>, instead of
CString.
2022-02-12 22:13:59 +08:00
ychenfo
pca006132
Sebastien Bourdeauducq