code wiki / _hdl_build / nx_uigen_l3_gate.nx

nx_uigen_l3_gate.nx

buildroot/runtime/_hdl_build/nx_uigen_l3_gate.nx

7917 B159 linesdepth 4pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic uigen

dependencies 4 imports · 0 importers

imports: nx_gate_gn.nxnx_syscalls.nxnx_uigen_l3.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

none

none

13	func gp(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
14	func litlen(lit: *u8) -> i64 { var n: i64=0; while lit[n]!=(0 as u8){n=n+1} return n } called by 2: idxof countof
15	func idxof(buf: u8, len: i64, lit: u8) -> i64 called by 1: main calls 1: litlen
22	func countof(buf: u8, len: i64, lit: u8) -> i64 called by 1: main calls 1: litlen
29	func csum(p: i64) -> i64 { return (p/65536) + ((p/256)%256) + (p%256) } called by 1: main
31	func sec_marker(sec: i64) -> *u8 called by 1: main
41	func main() -> i64 calls 16: sys_mmap gp l3_spec_from_seed l3_emit_from_spec countof idxof+10