code wiki / _hdl_build / nx_prepared_character_bundle_emit_t316_gate.nx

nx_prepared_character_bundle_emit_t316_gate.nx

buildroot/runtime/_hdl_build/nx_prepared_character_bundle_emit_t316_gate.nx

1150 B11 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic prepared
docsdependenciesstructsconstsfunctions

dependencies 4 imports · 0 importers

nx_prepared_motion_candidate_t316. nx_character_prepared_runtime.nx nx_syscalls.nx nx_gate_verdict.nx nx_prepared_character_bundle_e

imports: nx_prepared_motion_candidate_t316.nxnx_character_prepared_runtime.nxnx_syscalls.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main nx_prepared_motion_js nx_character_prepared_runt has gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_verdict gv_note_bare_rate gv_bare_rate gv_at gv_obj_has_n gv_at ↻ gv_puts sys_write ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_puts ↻ gv_num ↻ gv_journal sys_openat_append sys_mmap ↻ gv_catn sys_mmap ↻ sys_munmap ↻

structs

none

consts

5const BUNDLE_TESTS:i64=6

functions

6func has(h:*u8,hn:i64,n:*u8)->i64{var nn:i64=0;while n[nn]!=(0 as u8){nn=nn+1};if nn<=0||hn<nn{return 0};var i:i64=0;while i<=hn-nn{var j:i64=0;while j<nn&&h[i+j]==n[j]{j=j+1};if j==nn{return 1};i=i+1};return 0}
called by 1: main
7func main(argc:i64,argv:*i64)->i64
calls 6: nx_prepared_motion_jsnx_character_prepared_runtime_jshasgv_ctrgv_verdictsys_exit