code wiki / (root) / nx_compiler_bounds_cli_gate.nx

nx_compiler_bounds_cli_gate.nx

buildroot/runtime/nx_compiler_bounds_cli_gate.nx

11805 B154 linesdepth 6pulls 8 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

End-to-end CLI qualification of the staged compiler against a supplied incumbent. Uses existing timed capture, per-run exclusive fixtures and complete artifact byte comparisons.

dependencies 2 imports · 0 importers

nx_wat_refuse_gate.nx nx_gate_verdict.nx nx_compiler_bounds_cli_gate.nx

imports: nx_wat_refuse_gate.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 gv_puts sys_write bc_number gk_len 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_head gv_puts ↻ gv_need gv_puts ↻ gk_exists sys_openat_rd sys_close gv_check gv_puts ↻ gv_verdict gv_note_bare_rate gv_bare_rate gv_at gv_obj_has_n gv_at ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻

structs

none

consts

5const BC_PAGE: i64=65536
6const BC_PRIVATE: i64=448
7const BC_I64_MAX: i64=9223372036854775807

functions

12func bc_number(s: *u8) -> i64
called by 1: main
17func bc_read(path: *u8,out: *u8) -> i64
called by 1: bc_run
23func bc_equal(a: *u8,an: i64,b: *u8,bn: i64) -> i64
called by 1: main
28func bc_run(subject: *u8,dir: *u8,source: *u8,options: *i64,noptions: i64,want: i64,cause: *u8,label: *u8,c: *i64) -> i64
60func bc_save(dst: *u8) -> i64 {var i: i64=0;while i<bc_output_n{dst[i]=bc_output[i];i=i+1};return bc_output_n}
called by 1: main
61func bc_literal(characters: i64) -> *u8
called by 1: main calls 2: gk_lengk_cat
70func main(argc: i64,argv: **u8) -> i64