code wiki / _hdl_build / nx_author_test.nx

nx_author_test.nx

buildroot/runtime/_hdl_build/nx_author_test.nx

2277 B49 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_author_test.nx -- the team AUTHORS a new primitive from its own diagnosis, by EXPERIMENT. It is given ONLY the mnemonic it diagnosed as missing ("imulq") -- not what it does. It probes the instruction on 5 (K,x) examples, observes the outputs by RUNNING them, and INFERS the semantics by testing hypotheses. It learns, with no one telling it, that imul computes MULTIPLY -- the team teaches itself a new op. Known answer: learned == MULTIPLY.

dependencies 1 imports · 0 importers

nx_author.nx nx_author_test.nx

imports: nx_author.nx

imported by: nobody (leaf or entry point)

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

main at_main at_puts au_learn au_observe au_emit_probe se_str se_num sys_openat_wr eng_link sys_mmap sys_fork sys_openat_wr ↻ sys_dup3 sys_close sys_execve sys_exit sys_wait4 eng_run sys_mmap ↻ sys_fork ↻ sys_openat_wr ↻ sys_dup3 ↻ sys_close ↻ sys_execve ↻ sys_exit ↻ sys_wait4 ↻ au_predict at_num at_puts ↻ au_name

structs

none

consts

none

functions

9func at_puts(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 2: at_numat_main
10func at_num(v: i64) -> i64
called by 1: at_main calls 1: at_puts
20func at_main(r: *i64) -> i64
called by 1: main calls 4: at_putsau_learnat_numau_name
42func main() -> i64
calls 1: at_main