M-Labs/nac3
M-Labs
/
nac3
8
0
Fork 10
Code Issues 99 Pull Requests 20 Releases Wiki Activity
1,302 Commits 33 Branches 0 Tags 157 MiB
Commit Graph

1302 Commits

Author SHA1 Message Date
lyken 917ba6619e
core/ndstrides: implement ndarray np_{zeros,ones,full,empty} 2024-08-20 17:03:51 +08:00
lyken cb12ec93ae
core/object: add is_instance for ndarray, tuple and list 2024-08-20 17:03:51 +08:00
lyken 79cbe13c68
core/model: add util::gen_for_model 2024-08-20 17:03:51 +08:00
lyken 8da8e5bb09
core/object: add ListObject and TupleObject 
Needed for implementing other ndarray utils.
 2024-08-20 17:03:51 +08:00
lyken 5113c12b8b
core/ndstrides: add ndarray iterator 2024-08-20 17:03:51 +08:00
lyken 51740c6c90
core/ndstrides: add basic ndarray utilities 2024-08-20 17:03:51 +08:00
lyken f090b3b4d2
core/ndstrides: define ndarray with strides 2024-08-20 17:03:51 +08:00
lyken 9d8cc0c59d
core/toplevel/helper: add {extract,create}_ndims 2024-08-20 17:03:51 +08:00
lyken 5f4486bbbb
core/object: introduce object 
Small abstraction to simplify implementations.
 2024-08-20 17:03:50 +08:00
lyken d98919fdf9
core/model: introduce models 2024-08-20 15:35:47 +08:00
lyken 82c4908305
core/fix: add missing lifetime in gen_for* 2024-08-20 15:35:47 +08:00
lyken 7436ce8ba8
core/fix: stringify type in expected concrete type error 2024-08-20 15:35:47 +08:00
lyken eb1dee81d0
core/irrt/exceptions: add debug utils with exceptions 2024-08-20 15:35:47 +08:00
lyken 61ecbb4e47
core/irrt/exceptions: allow irrt to raise exceptions 2024-08-20 15:35:47 +08:00
lyken dcd9010dd1
core/irrt: split irrt.cpp into headers 2024-08-20 15:35:47 +08:00
lyken f742b303ab
core/irrt: build.rs capture IR defined constants 2024-08-20 15:35:47 +08:00
lyken bc595d3552
core/irrt: build.rs capture IR defined types 2024-08-20 15:35:47 +08:00
lyken 290e6b97d2
core/irrt: reformat 2024-08-20 15:35:47 +08:00
lyken 472bc25f4c
core: add .clang-format 2024-08-20 15:35:47 +08:00
lyken 9b3790631d
core/irrt: comment build.rs & move irrt to its own dir 
To prepare for future IRRT implementations, and to also make cargo
only have to watch a single directory.
 2024-08-20 15:35:47 +08:00
Sebastien Bourdeauducq 0fc26df29e flake: update nixpkgs 2024-08-19 23:53:15 +08:00
David Mak 0b074c2cf2 [artiq] symbol_resolver: Set private linkage for constants 2024-08-19 14:41:43 +08:00
Sébastien Bourdeauducq a0f6961e0e cargo: update dependencies 2024-08-19 13:15:03 +08:00
David Mak b1c5c2e1d4 [artiq] Fix RPC of ndarrays to host 2024-08-15 15:41:24 +08:00
David Mak 69320a6cf1 [artiq] Fix LLVM representation of strings 
Should be `%str` rather than `[N x i8]`.
 2024-08-14 09:30:08 +08:00
David Mak 9e0601837a core: Add compile-time feature to disable escape analysis 2024-08-14 09:29:48 +08:00
lyken 432c81a500
core: update insta after #489 2024-08-13 15:30:34 +08:00
David Mak 6beff7a268 [artiq] Implement core_log and rtio_log in terms of polymorphic_print 
Implementation mostly references the original implementation in Python.
 2024-08-13 15:19:03 +08:00
David Mak 6ca7aecd4a [artiq] Add core_log and rtio_log function declarations 2024-08-13 15:19:03 +08:00
David Mak 8fd7216243 [core] toplevel/composer: Add lateinit_builtins 
This is required for the new core_log and rtio_log functions, which take
a generic type as its parameter. However, in ARTIQ builtins are
initialized using one unifier and then actually used by another unifier.

lateinit_builtins workaround this issue by deferring the initialization
of functions requiring type variables until the actual unifier is ready.
 2024-08-13 15:19:03 +08:00
David Mak 4f5e417012 [core] codegen: Add function to get format constants for integers 2024-08-13 15:19:03 +08:00
David Mak a0614bad83 [core] codegen/expr: Make gen_string return `StructValue` 
So that it is clear that the value itself is returned rather than a
pointer to the struct or its data.
 2024-08-13 15:19:03 +08:00
David Mak 5539d144ed [core] Add `CodeGenContext::build_in_bounds_gep_and_load` 
For safer accesses to `gep`-able values and faster fails.
 2024-08-13 15:19:03 +08:00
David Mak b3891b9a0d standalone: Fix several issues post script refactoring 
- Add helptext for check_demos.sh
- Add back support for using debug NAC3 for running tests
- Output error message when argument is not recognized
- Fixed last non-demo script argument being ignored
- Add back SSE2 requirement to NAC3 (required for mandelbrot)
 2024-08-13 15:19:03 +08:00
David Mak 6fb8939179 [meta] Update dependencies 2024-08-13 15:19:03 +08:00
lyken 973dc5041a core/typecheck: Support tuple arg type in len() 2024-08-13 15:02:59 +08:00
David Mak d0da688aa7 standalone: Add tuple len test 2024-08-13 15:02:59 +08:00
David Mak 12c4e1cf48 core/toplevel/builtins: Add support for len() on tuples 2024-08-13 15:02:59 +08:00
David Mak 9b988647ed core/toplevel/builtins: Extract len() into builtin function 2024-08-13 15:02:59 +08:00
lyken 35a7cecc12
core/typecheck: fix np_array ndmin bug 2024-08-13 12:50:04 +08:00
lyken 7e3d87f841 core/codegen: fix bug in call_ceil function 2024-08-07 16:40:55 +08:00
David Mak ac0d83ef98 standalone: Add vararg.py 2024-08-06 11:48:42 +08:00
David Mak 3ff6db1a29 core/codegen: Add va_start and va_end intrinsics 2024-08-06 11:48:42 +08:00
David Mak d7b806afb4 core/codegen: Implement support for va_info on supported architectures 2024-08-06 11:48:40 +08:00
David Mak fac60c3974 core/codegen: Handle vararg in function generation 2024-08-06 11:46:00 +08:00
David Mak f5fb504a15 core/codegen/expr: Implement vararg handling in gen_call 2024-08-06 11:46:00 +08:00
David Mak faa3bb97ad core/typecheck/typedef: Add vararg to Unifier::stringify 2024-08-06 11:46:00 +08:00
David Mak 6a64c9d1de core/typecheck/typedef: Add is_vararg_ctx to TTuple 2024-08-06 11:45:54 +08:00
David Mak 3dc8498202 core/typecheck/typedef: Handle vararg parameters in unify_call 2024-08-06 11:43:13 +08:00
David Mak cbf79c5e9c core/typecheck/typedef: Add is_vararg to FuncArg, ConcreteFuncArg 2024-08-06 11:43:13 +08:00