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

1308 Commits

Author SHA1 Message Date
lyken 1aa3f468ad
core/ndstrides: implement general ndarray indexing 
`...`, `none` are now also supported.
 2024-08-21 11:31:50 +08:00
lyken ccc6ed9748
core/irrt: rename NDIndex to NDIndexInt 
The name `NDIndex` is used in later commits.
 2024-08-21 11:27:03 +08:00
lyken afb08f61cf
core/irrt: add Slice and ResolvedSlice 
Needed for implementing general ndarray indexing
 2024-08-21 11:27:03 +08:00
lyken 252341b9e8
core/codegen: refactor call_len() & update to ndarray with strides 2024-08-21 11:27:03 +08:00
lyken 3922601ba1
core/ndstrides: implement ndarray np_{zeros,ones,full,empty} 2024-08-21 11:27:00 +08:00
lyken 799821b556
core/object: add is_instance for ndarray, tuple and list 2024-08-21 11:22:43 +08:00
lyken e00a7707bc
core/model: add util::gen_for_model 2024-08-21 11:22:43 +08:00
lyken 5fe884015b
core/object: add ListObject and TupleObject 
Needed for implementing other ndarray utils.
 2024-08-21 11:22:43 +08:00
lyken 751a319be9
core/ndstrides: add ndarray iterator 2024-08-21 11:22:43 +08:00
lyken f6b80fc40a
core/ndstrides: add basic ndarray utilities 2024-08-21 11:22:43 +08:00
lyken 20db7298aa
core/ndstrides: define ndarray with strides 2024-08-21 11:22:43 +08:00
lyken ca7fdba4fc
core/toplevel/helper: add {extract,create}_ndims 2024-08-21 11:22:43 +08:00
lyken 46064fdfbf
core/object: introduce object 
Small abstraction to simplify implementations.
 2024-08-21 11:22:43 +08:00
lyken 57144acd25
core/model: introduce models 2024-08-21 11:22:43 +08:00
lyken cc4c2593f7
core/fix: stringify type in expected concrete type error 2024-08-21 11:22:43 +08:00
lyken efefa13b7e
core/irrt/exceptions: add debug utils with exceptions 2024-08-21 11:22:43 +08:00
lyken 59ddf084d2
core/irrt/exceptions: allow irrt to raise exceptions 2024-08-21 11:22:43 +08:00
lyken 84653279bb
core/irrt: split irrt.cpp into headers 2024-08-21 11:22:43 +08:00
lyken 4d79d8e7f4
core/irrt: build.rs capture IR defined constants 2024-08-21 11:22:43 +08:00
lyken 0ef29f06d7
core/irrt: build.rs capture IR defined types 2024-08-21 11:22:43 +08:00
lyken 40568d2e1b
core/irrt: reformat 2024-08-21 11:22:43 +08:00
lyken d2e6119ac5
core: add .clang-format 2024-08-21 11:22:43 +08:00
lyken c9c5c83e6c
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-21 11:22:43 +08:00
lyken 2cf64d8608
apply clippy comment changes 2024-08-21 11:21:10 +08:00
lyken 706759adb2
artiq: apply cargo fmt 2024-08-21 11:21:10 +08:00
lyken b90cf2300b
core/fix: add missing lifetime in gen_for* 2024-08-21 11:05:30 +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