code wiki / _hdl_build / nx_lang_export_grow.nx

nx_lang_export_grow.nx

buildroot/runtime/_hdl_build/nx_lang_export_grow.nx

31030 B505 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind tooltopic lang
docsdependenciesstructsconstsfunctions

about

nx_lang_export_grow.nx -- LANG-EXPORT-GROW: IR-driven multi-language codegen. Advance over 002: the PROGRAM is now a NEUTRAL IR (knowledge/registry/lang_export_program.tsv, a statement list) and each LANGUAGE is a set of per-CONSTRUCT templates (lang_export_constructs.tsv). The engine WALKS the IR emitting each statement via the target language's construct-templates (with depth-indent), so BOTH program and language are DATA -- the whole-organ architecture in miniature. HONEST TRUTH: the organ also INTERPRETS the same IR (tiny evaluator) for the native value, so the Nishi truth is literally the IR evaluated (the wheeler flip: Nishi = oracle). GATE = gcc/node/python on the emitted source must each reproduce that truth. GROW = more constructs + nesting + wiring nxc2's frontend to PRODUCE this IR so whole real organs export. license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_syscalls.nx nx_lang_export_grow.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 sys_mmap readfile sys_openat_rd sys_read sys_close puts sys_write slen parse_ir sys_mmap ↻ tok op_of interp sys_mmap ↻ parseint exec_body parseint ↻ slice_eq sys_mmap ↻ exec_body ↻ putn sys_mmap ↻ catn sys_mmap ↻ sys_write ↻ sys_write ↻ enum_langs scant streq_slice gen_lang sys_mmap ↻ mkkey cat lookup slen ↻ scant ↻ render copyslice emit_line

structs

none

consts

11const K_MAGIC_8192: i64 = 8192

functions

13func slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 2: putslookup
14func puts(s: *u8) -> i64 { sys_write(1, s, slen(s)); return 0 }
called by 2: emitlogmain calls 2: sys_writeslen
15func catn(dst: *u8, off: i64, v: i64) -> i64
called by 1: putn calls 1: sys_mmap
27func putn(v: i64) -> i64 { let b: *u8 = sys_mmap(28); let o: i64 = catn(b, 0, v); sys_write(1, b, o); return 0 }
called by 2: emitlogmain calls 3: sys_mmapcatnsys_write
28func cat(dst: *u8, off: i64, s: *u8) -> i64 { var o: i64 = off; var i: i64 = 0; while s[i] != (0 as u8) { dst[o] = s[i]; o = o + 1; i = i + 1 } return o }
called by 2: mkkeymkpath
29func copyslice(out: *u8, o: i64, src: *u8, start: i64, len: i64) -> i64 { var oo: i64 = o; var j: i64 = 0; while j < len { out[oo] = src[start + j]; oo = oo + 1; j = j + 1 } return oo }
called by 1: render
30func scant(buf: *u8, start: i64, end: i64) -> i64 { var p: i64 = start; var g: i64 = 1; while g == 1 { if p >= end { g = 0 } else { if buf[p] == (9 as u8) { g = 0 } else { p = p + 1 } } } return p }
called by 2: lookupenum_langs
31func parseint(buf: *u8, start: i64, len: i64) -> i64 { var v: i64 = 0; var i: i64 = 0; while i < len { v = v * 10 + ((buf[start + i] as i64) - 48); i = i + 1 } return v }
called by 2: exec_bodyinterp
32func readfile(path: *u8, buf: *u8, cap: i64) -> i64
called by 1: main calls 3: sys_openat_rdsys_readsys_close
41func wfile(path: *u8, buf: *u8, n: i64) -> i64 { let fd: i64 = sys_openat_wr(path, 420); if fd < 0 { return 0 - 1 } sys_write(fd, buf, n); sys_close(fd); return 0 }
called by 1: main calls 3: sys_openat_wrsys_writesys_close
44func tok(buf: *u8, pos: i64, end: i64, res: *i64) -> i64
called by 1: parse_ir
67func op_of(buf: *u8, start: i64) -> i64
called by 1: parse_ir
85func parse_ir(ir: *u8, irn: i64, sop: *i64, opd: *i64) -> i64
called by 1: main calls 3: sys_mmaptokop_of
114func slice_eq(ir: *u8, s1: i64, l1: i64, s2: i64, l2: i64) -> i64
called by 1: exec_body
126func exec_body(ir: *u8, sop: *i64, opd: *i64, val: *i64, bs: i64, be: i64, ftab: *i64, nf: i64, arrs: *i64) -> i64
called by 2: exec_bodyinterp calls 4: parseintslice_eqsys_mmapexec_body
181func interp(ir: *u8, sop: *i64, opd: *i64, ns: i64) -> i64
called by 1: main calls 3: sys_mmapparseintexec_body
242func lookup(cons: *u8, consn: i64, key: *u8, res: *i64) -> i64
called by 4: emit_lineemit_sepemit_localsig_funcogen_lang calls 2: slenscant
267func render(out: *u8, o: i64, tpl: *u8, tlen: i64, ir: *u8, ops: *i64) -> i64
called by 4: emit_lineemit_sepemit_localsig_funcogen_lang calls 1: copyslice
292func emit_line(out: *u8, o: i64, key: *u8, depth: i64, ind: *u8, indlen: i64, cons: *u8, consn: i64, ir: *u8, ops: *i64) -> i64
called by 1: gen_lang calls 3: sys_mmaplookuprender
303func mkkey(kb: *u8, lang: *u8, construct: *u8) -> i64 { var o: i64 = cat(kb, 0, lang); kb[o] = (46 as u8); o = o + 1; o = cat(kb, o, construct); kb[o] = (0 as u8); return 0 }
called by 3: emit_sepemit_localsig_funcogen_lang calls 1: cat
304func mkpath(pathb: *u8, name: *u8, ext: *u8) -> i64 { var o: i64 = cat(pathb, 0, "_offc/lg_" as *u8); o = cat(pathb, o, name); pathb[o] = (46 as u8); o = o + 1; o = cat(pathb, o, ext); pathb[o] = (0 as u8); return 0 }
called by 1: main calls 1: cat
305func emitlog(name: *u8, bytes: i64) -> i64 { puts("EMIT lang=" as *u8); puts(name); puts(" file=_offc/lg_" as *u8); puts(name); puts(" bytes=" as *u8); putn(bytes); puts("\n" as *u8); return 0 }
called by 1: main calls 2: putsputn
307func emit_sep(out: *u8, o: i64, lang: *u8, cons: *u8, consn: i64) -> i64
called by 1: emit_localsig_funco calls 4: sys_mmapmkkeylookuprender
318func emit_localsig_funco(out: *u8, o: i64, lang: *u8, ir: *u8, sop: *i64, opd: *i64, fk: i64, ns: i64, fops: *i64, cons: *u8, consn: i64) -> i64
called by 1: gen_lang calls 5: sys_mmapmkkeylookuprenderemit_sep
340func gen_lang(lang: *u8, ir: *u8, sop: *i64, opd: *i64, ns: i64, cons: *u8, consn: i64, out: *u8) -> i64
called by 1: main calls 6: sys_mmapmkkeylookuprenderemit_lineemit_localsig_funco
434func streq_slice(buf: *u8, off: i64, src: *u8, start: i64, len: i64) -> i64
called by 1: enum_langs
441func enum_langs(cons: *u8, consn: i64, langbuf: *u8, langoff: *i64, maxl: i64) -> i64
called by 1: main calls 2: scantstreq_slice
473func main() -> i64
calls 12: sys_mmapreadfileputsparse_irinterpputn+6