code wiki / _hdl_build / _dfl_rtgate_sa_test.nx

_dfl_rtgate_sa_test.nx

buildroot/runtime/_hdl_build/_dfl_rtgate_sa_test.nx

254 B8 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic dfl
docsdependenciesstructsconstsfunctions

about

AUTHORED BY THE NISHI BUILDER (GATE_HARNESS test) -- asserts the round-trip+tamper gate is GREEN

dependencies 2 imports · 0 importers

_dfl_rtgate_sa.nx nx_syscalls.nx _dfl_rtgate_sa_test.nx

imports: _dfl_rtgate_sa.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main _dfl_rtgate_sa_check sys_mmap dfl_encode sys_mmap ↻ dfl_putbit dfl_match dfl_matchlen dfl_lensym dfl_putcode dfl_putbit ↻ dfl_putbits_lsb dfl_putbit ↻ dfl_distsym dfl_decode inflate sys_mmap ↻ ibr ihb sys_mmap ↻ icodes ihd ibr ↻ ibr ↻ ihd ↻ sys_exit

structs

none

consts

none

functions

4func main() -> i64
calls 2: _dfl_rtgate_sa_checksys_exit