code wiki / (root) / nx_argcap_test.nx

nx_argcap_test.nx

buildroot/runtime/nx_argcap_test.nx

1785 B31 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_argcap_test.nx -- prove the raised function-arg cap (16 -> 24) end-to-end: a 20-arg call must deliver EVERY argument intact (regs 0..5 + stack 6..19, including the new op16..op19 slots). If any arg were dropped/misplaced the weighted sum would differ. license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_syscalls.nx nx_argcap_test.nx

imports: nx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main sum20 pp sys_write pn sys_mmap sys_write ↻ sys_exit

structs

none

consts

none

functions

7func sum20(a0: i64, a1: i64, a2: i64, a3: i64, a4: i64, a5: i64, a6: i64, a7: i64, a8: i64, a9: i64,
called by 1: main
17func pn(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
23func pp(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 1: main calls 1: sys_write
25func main() -> i64