d304afd333
meta: Apply clippy suggested changes
2023-12-11 15:16:23 +08:00
4dc5dbb856
meta: Replace equality assertion with assert_eq
...
Emits a more useful assertion message.
2023-12-11 15:16:23 +08:00
fd9f66b8d9
meta: Remove redundant casts and brackets
2023-12-11 15:16:23 +08:00
5182453bd9
meta: Remove redundant path prefixes
2023-12-11 15:16:23 +08:00
031e660f18
core: Initial implementation for const generics
2023-12-08 18:02:11 +08:00
b6dfcfcc38
core: Move some SymbolValue functions to symbol_resolver.rs
2023-12-08 18:00:51 +08:00
68b97347b1
core: Infer builtins name list using builtin declaration list
2023-12-08 17:29:34 +08:00
875d534de4
ast: Use {filename}:{row}:{col} for location output
2023-12-08 15:48:54 +08:00
5c5620692f
core: Add np_{round,floor,ceil}
...
These functions are NumPy variants of round/floor/ceil, which returns
floats instead of ints.
2023-11-23 13:45:07 +08:00
0af1e37e99
core: Prefix all NumPy/SciPy functions with np_/sp_spec
2023-11-23 13:35:23 +08:00
10538b5296
core: Update insta snapshots
2023-11-09 13:00:27 +08:00
08a5050f9a
core: Implement non-trivial builtin functions using IRRT
2023-11-06 12:57:23 +08:00
fd787ca3f5
core: Remove trunc
...
The behavior of trunc is already implemented by casts and is therefore
redundant.
2023-11-04 13:35:53 +08:00
4dbe07a0c0
core: Revert breaking changes to round-family functions
...
These functions should return ints as the math.* functions do instead of
following the convention of numpy.* functions.
2023-11-04 13:35:53 +08:00
2e055e8ab1
core: Replace rint implementation with LLVM intrinsic
2023-11-04 13:35:53 +08:00
c6b9aefe00
core: Fix int32-to-uint64 conversion
...
This conversion should be sign-extended.
2023-11-03 16:24:26 +08:00
8ad09748d0
core: Fix conversion from float to unsigned types
...
These conversions also need to wraparound.
2023-11-03 16:24:26 +08:00
7a5a2db842
core: Fix handling of float-to-int32 casts
...
Out-of-bound conversions should be wrapped around.
2023-11-03 16:24:26 +08:00
ff1fed112c
core: Rework gamma/gammaln to match SciPy behavior
...
Matches behavior for infinities and NaNs.
2023-11-01 18:03:29 +08:00
36a6a7b8cd
core: Replace TopLevelDef comments with documentation
2023-11-01 18:03:29 +08:00
2b635a0b97
core: Implement numpy and scipy functions
2023-11-01 18:03:29 +08:00
60ad100fbb
core: Implement and expose {isinf,isnan}
2023-11-01 18:03:29 +08:00
7cf7634985
core: Add create_fn_by_* functions
...
Used for abstracting the creation of function from different sources.
2023-11-01 18:03:29 +08:00
068f0d9faf
core: Do not cast floor/ceil result to int
...
NumPy explicitly states that the return type of the floor/ceil is float.
2023-11-01 18:03:29 +08:00
95810d4229
core: Remove {ceil64,floor64,round,round64}
...
These are not present in NumPy or Artiq.
2023-11-01 18:03:29 +08:00
60a503a791
core: Allocate more stack variables at the beginning of function
...
All allocas for temporary objects are now placed in the beginning of the
function. Allocas for on-temporary objects are not modified because
these variables may appear in a loop and thus must be uniquely
allocated by different allocas.
2023-10-06 11:42:47 +08:00
31dcd2dde9
core: Use i8 for boolean variable allocation
...
In LLVM, i1 represents a 1-byte integer with a single valid bit; The
rest of the 7 upper bits are undefined. This causes problems when
using these variables in memory operations (e.g. memcpy/memmove as
needed by List slicing and assignment).
We fix this by treating all local boolean variables as i8 so that they
are well-defined for memory operations. Function ABIs will continue to
use i1, as memory operations cannot be directly performed on function
arguments or return types, instead they are always converted back into
local boolean variables (which are i8s anyways).
Fixes #315 .
2023-09-25 15:42:07 +08:00
6dfc43c8b0
core: Add name to build_gep_and_load
2023-09-22 17:16:29 +08:00
ebd25af38b
nac3standalone: allow classes without explicit init ( #221 )
...
Reviewed-on: M-Labs/nac3#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
ffac37dc48
nac3core: fix exception type in primitive store
2022-05-29 19:14:00 +08:00
a321b13bec
fix typos
2022-04-27 11:08:10 +08:00
wylited
35b6459c58
nac3core: replace paramter with parameter
2022-04-13 15:42:26 +08:00
e94b25f544
spelling ( #264 )
...
Co-authored-by: wylited <ds@m-labs.hk>
Co-committed-by: wylited <ds@m-labs.hk>
2022-04-13 11:32:31 +08:00
f5a6d29106
update insta snapshots
2022-04-12 09:56:49 +08:00
ca07cb66cd
format typevars consistently
2022-04-12 09:28:17 +08:00
0e0871bc38
nac3core, artiq: to_basic_value_enum takes an argument indicating the expected type
2022-04-10 01:28:22 +08:00
c29cbf6ddd
nac3core: add bound check for list slice
2022-04-05 18:21:46 +08:00
c3156afebd
nac3core: fix broken tests
2022-03-30 04:05:47 +08:00
388c9b7241
nac3core: better check and err msg for default param
2022-03-30 04:05:47 +08:00
6ab73a223c
nac3core/artiq: support default param of option type
2022-03-30 04:05:47 +08:00
26a4834254
fix warnings
2022-03-26 18:52:08 +08:00
80631fc92b
Option type support ( #224 )
...
Co-authored-by: ychenfo <yc@m-labs.hk>
Co-committed-by: ychenfo <yc@m-labs.hk>
2022-03-26 15:09:15 +08:00
24a26b53ae
nac3core/toplevel: fixed broken tests
...
We should not include class type variables in functions type variables.
2022-03-24 21:33:09 +08:00
1084ba2158
nac3core: fixed typevar with finite range
...
1. Function type variables should not include class type variables,
because they are not bound to the function.
2. Defer type variable constraint evaluation until we get all fields
definition.
2022-03-24 21:31:51 +08:00
41d62f7325
nac3core/toplevel: fixed typevar substitution bug
2022-03-23 00:25:10 +08:00
b97c016629
nac3core: fixed test breakage
2022-03-18 16:52:28 +08:00
35ac5cb6f6
nac3core: fixed typevar bug
2022-03-18 01:07:44 +08:00
0ca2797428
fix compilation warning
2022-03-17 21:31:45 +08:00
c5993c2a58
composer: improve class field typevar error message
2022-03-17 21:04:42 +08:00
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
e126fef012
nac3artiq: support more builtin errors
2022-03-16 23:42:08 +08:00
5006028e2d
nac3core: abs builtin function
2022-03-08 23:23:36 +08:00
8241a29908
nac3core: max builtin function
2022-03-08 22:22:00 +08:00
adb5c69e67
nac3core: min builtin function
2022-03-08 21:59:37 +08:00
f7e62ab5b7
nac3ast/parser/core: use i128 for u64 constants
2022-03-08 18:21:14 +08:00
9f6c7b3359
nac3core: type conversion to/from uint
2022-03-08 13:42:45 +08:00
79c469301a
basic unsigned integer support
2022-03-08 13:34:02 +08:00
8602852241
nac3core: use signed extension to convert i32 to i64
2022-03-06 04:49:02 +08:00
63b0f29728
Fix broken tests
2022-03-05 00:27:51 +08:00
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
da039e3acf
fix error message string
2022-03-02 08:04:15 +08:00
323d77a455
nac3artiq: improve error message for out of range error
2022-02-28 23:09:14 +08:00
5d8e87d923
more readable type annotation error string
2022-02-28 16:24:03 +08:00
17792b76b7
rename exception symbols
2022-02-23 11:04:35 +08:00
3ad25c8f07
nac3core: sort error messages for determinism
2022-02-22 14:33:43 +08:00
f97f93d92c
applied rustfmt and clippy auto fix
2022-02-21 18:27:46 +08:00
d9cb506f6a
nac3core: refactored for better error messages
2022-02-21 18:24:19 +08:00
352831b2ca
nac3core: removed legacy location definition
2022-02-13 22:39:24 +08:00
21d9182ba2
nac3core: disallow methods/fields in Exception subclass
...
Fixes #192
2022-02-13 21:45:22 +08:00
b18626b149
Fix compilation and test failures
2022-02-12 22:50:32 +08:00
e303248261
nac3core: exception type check and codegen
2022-02-12 22:50:32 +08:00
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
050c862c1a
nac3core: function codegen callback changes
...
Added code generator argument to the callback, so it would be easier to
write complicated codegen with that callback. To prepare for RPC
codegen.
2022-02-12 21:24:41 +08:00
1288624218
lock insta version ( #179 )
2022-01-31 15:18:49 +08:00
de065cfa14
update dependencies
2022-01-31 12:28:40 +08:00
ae8f82ccb0
nac3core: fix broken tests
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
4976e89ae2
nac3core: list slice support
2022-01-13 16:53:32 +08:00
85e06d431a
nac3core: improve some type annotation error messages ( #87 )
2021-12-28 10:49:14 +08:00
9b3b47ce50
fix broken tests
2021-12-28 01:38:16 +08:00
88f0da7bdd
add file name to AST node location
2021-12-28 01:28:55 +08:00
1bd966965e
fixed M-Labs/nac3#146
2021-12-27 22:56:50 +08:00
80d3ab1b0f
remove bigints
2021-12-26 00:23:54 +08:00
9e3f75255e
update inkwell. Closes #67
2021-12-25 22:17:06 +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
e2b44a066b
return int32 in len(). Closes #141
2021-12-20 17:44:42 +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
b5637a04e9
nac3core: use official implementation for len
2021-12-13 10:44:33 +08:00
2c6601d97c
nac3core: fix len on range with step of different sign
2021-12-13 10:44:33 +08:00
82359b81a2
nac3core: fix bool to int conversion
2021-12-13 04:13:43 +08:00
4d2fd9582a
nac3core: fix broken tests
2021-12-09 01:37:05 +08:00
b7892ce952
nac3core: add len support for list and range
2021-12-09 01:37:00 +08:00
1c31aa6e8e
consistent naming
2021-12-02 10:45:46 +08:00
aa2d79fea6
Merge branch 'master' into built_in_floor_ceil
2021-12-02 01:08:55 +08:00
1e6848ab92
nac3core: distinguish i64 and i32 in bool conversion
2021-12-02 01:02:42 +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
fa2fe8ed5d
nac3core: add ceil and floor
2021-12-01 03:23:58 +08:00
7ede4f15b6
nac3core: move builtin definitions to another file
2021-12-01 02:52:00 +08:00
0fe346106d
nac3core: fix converting int to bool ( #119 )
2021-11-30 03:02:26 +08:00
4b17511b4a
Merge branch 'master' into KernelInvariant
2021-11-27 21:29:27 +08:00
