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

1303 Commits

Author SHA1 Message Date
lyken c87cd926ee
core/model: add util::gen_for_model 2024-08-21 11:39:20 +08:00
lyken 9d34a46d06
core/object: add ListObject and TupleObject 
Needed for implementing other ndarray utils.
 2024-08-21 11:39:20 +08:00
lyken 525da97320
core/ndstrides: add ndarray iterator (NDIter) 2024-08-21 11:39:20 +08:00
lyken 2f3edd6450
core/ndstrides: add basic ndarray utilities 2024-08-21 11:39:20 +08:00
lyken 2083c7929b
core/ndstrides: define ndarray with strides 2024-08-21 11:39:20 +08:00
lyken 0008ca3050
core/toplevel/helper: add {extract,create}_ndims 2024-08-21 11:39:20 +08:00
lyken 0e46932588
core/object: introduce object 
Small abstraction to simplify implementations.
 2024-08-21 11:39:20 +08:00
lyken b0e5afde5e
core/model: introduce models 2024-08-21 11:39:20 +08:00
lyken 1522bd226e
core/fix: stringify type in expected concrete type error 2024-08-21 11:39:20 +08:00
lyken a26216f8cb
core/irrt/exceptions: add debug utils with exceptions 2024-08-21 11:39:20 +08:00
lyken 68e3d59aea
core/irrt/exceptions: allow irrt to raise exceptions 2024-08-21 11:39:20 +08:00
lyken f95dc35056
core/irrt: split irrt.cpp into headers 2024-08-21 11:39:20 +08:00
lyken 2fb02884c3
core/irrt: build.rs capture IR defined constants 2024-08-21 11:39:20 +08:00
lyken f7d2e20c7f
core/irrt: build.rs capture IR defined types 2024-08-21 11:39:20 +08:00
lyken b17a8bc6e1
core/irrt: reformat 2024-08-21 11:39:20 +08:00
lyken c19948d198
core: add .clang-format 2024-08-21 11:39:20 +08:00
lyken e979d84ca5
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:39:20 +08:00
lyken 8532bf5206
standalone: add missing test_ndarray_ceil() run 2024-08-21 11:39:00 +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
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