code wiki / (root) / nx_f32_lazy_weight_test.nx

nx_f32_lazy_weight_test.nx

buildroot/runtime/nx_f32_lazy_weight_test.nx

4657 B129 linesdepth 10pulls 29 transitivereach 0 importersview sourcekind gate/prooftopic f32
docsdependenciesstructsconstsfunctions

about

nx_f32_lazy_weight_test.nx -- smoke for nx_f32_lazy_weight.nx. Two dispatch paths: F32 path: build a 1x4 f32 weight as raw bits, do lazy_matmul, verify result equals direct nx_f32_matmul output. Q4_K path: build a 1x256 Q4_K super-block with known values, do lazy_matmul, verify result equals direct nx_f32_q4k_matmul output.

dependencies 9 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_le.nx nx_gguf_load.nx nx_f32.nx nx_f32_matmul.nx nx_q4k_to_f32.nx nx_f32_q4k_matmul.nx nx_f32_lazy_weight.nx nx_f32_lazy_weight_test.nx

imports: nx_syscalls.nxnx_tier.nxnx_le.nxnx_gguf_load.nxnx_f32.nxnx_f32_matmul.nxnx_q4k_to_f32.nxnx_f32_q4k_matmul.nxnx_f32_lazy_weight.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_lw_verdict_is_valid sys_mmap nx_f32_matmul nx_f32_lazy_weight_new_f32 sys_mmap ↻ nx_f32_lazy_matmul nx_f32_matmul_t_pool sys_mmap ↻ nx_pool_n_completed nx_atom_load_i64 nx_pool_submit nx_atom_faa_i64 nx_chan_send nx_chan_try_send _nx_chan_cell nx_thread_yield _pool_futex_wake_all sys_futex_wake nx_pool_wait nx_atom_load_i64 ↻ nx_thread_yield ↻ nx_atom_store_i64 _pool_futex_wait sys_futex_wait sys_munmap nx_lw_shared_pool nx_pool_is_native _lw_try_fill _lw_budget sys_mmap ↻ nx_lw_shared_pool ↻ nx_pool_n_completed ↻ nx_pool_submit ↻ nx_pool_wait ↻ sys_munmap ↻ _lw_cached_matmul nx_lw_shared_pool ↻ sys_mmap ↻ _fq4m_pack_q10

structs

none

consts

none

functions

20func _write_block(buf: *u8, off: i64) -> i64
called by 1: main calls 1: nx_le_write_u16
45func main() -> i64