code wiki / _hdl_build / _synth_bench_authored.nx

_synth_bench_authored.nx

buildroot/runtime/_hdl_build/_synth_bench_authored.nx

18358 B484 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind benchtopic synth
docsdependenciesstructsconstsfunctions

about

AUTHORED BY THE NISHI BUILDER (nx_module_author synth-bench template) -- S6 suite compose-v1.

dependencies 1 imports · 0 importers

nx_syscalls.nx _synth_bench_authored.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 _sb_puts sys_write sys_mmap sb_solve sys_mmap ↻ sb_oracle2 sb_oracle sb_eval sb_eval ↻ sb_arity sb_apply sb_search sb_insert sb_vech sb_vec_eq sb_is_target sys_mmap ↻ sb_arity ↻ sb_comm sb_apply ↻ sb_find_cex sb_oracle2 ↻ sb_eval ↻ _sb_puts ↻ _sb_num sys_mmap ↻ sys_write ↻ sb_claude_check sb_claude sb_apply ↻ sb_oracle ↻ _sb_num ↻ sys_openat_append _sb_fputs sys_write ↻ _sb_fnum sys_mmap ↻ sys_write ↻ sys_now_realtime_sec

structs

none

consts

7const SB_KMAX: i64 = 64
8const SB_NCOMP: i64 = 12
9const SB_MAXTERM: i64 = 30000
10const SB_MAXLVL: i64 = 4
11const SB_HCAP: i64 = 131072
12const SB_BUDGET: i64 = 8000000
13const SB_MAXROUND: i64 = 16
14const SB_SLICE: i64 = 150000

functions

3func _sb_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: sb_solvemain calls 1: sys_write
4func _sb_num(v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m;sys_write(1,"-" as *u8,1)}; let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48;k=1}; while m>0{t[k]=48+(m%10);m=m/10;k=k+1}; var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1}; sys_write(1,bb,k); return 0 }
called by 2: sb_solvemain calls 2: sys_mmapsys_write
5func _sb_fputs(fd2: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd2,s,n); return 0 }
called by 1: main calls 1: sys_write
6func _sb_fnum(fd2: i64, v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m;sys_write(fd2,"-" as *u8,1)}; let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48;k=1}; while m>0{t[k]=48+(m%10);m=m/10;k=k+1}; var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1}; sys_write(fd2,bb,k); return 0 }
called by 1: main calls 2: sys_mmapsys_write
15func sb_arity(c: i64) -> i64 { if c == 12 { return 1 } return 2 }
called by 2: sb_searchsb_eval
16func sb_comm(c: i64) -> i64 { if c == 2 { return 1 } if c == 4 { return 1 } if c == 5 { return 1 } if c == 6 { return 1 } if c == 8 { return 1 } return 0 }
called by 1: sb_search
17func sb_apply(c: i64, a: i64, b: i64) -> i64
called by 3: sb_claudesb_searchsb_eval
32func sb_oracle(oid: i64, a: i64, b: i64) -> i64
called by 2: sb_oracle2sb_claude_check
44func sb_claude(oid: i64, a: i64, b: i64) -> i64
called by 1: sb_claude_check calls 1: sb_apply
54func sb_vech(vecs: *i64, ix: i64, kk: i64) -> i64
called by 1: sb_insert
61func sb_vec_eq(vecs: *i64, x: i64, y: i64, kk: i64) -> i64
called by 1: sb_insert
66func sb_insert(vecs: *i64, hash: *i64, nterm: i64, kk: i64) -> i64
called by 1: sb_search calls 2: sb_vechsb_vec_eq
79func sb_is_target(vecs: *i64, ix: i64, kx: *i64, kk: i64) -> i64
called by 1: sb_search
192func sb_eval(terms: *i64, ix: i64, a: i64, b: i64) -> i64
called by 5: sb_evalsb_find_cexng_gensb_oracle2main calls 3: sb_evalsb_aritysb_apply
202func sb_find_cex(terms: *i64, r: i64, oid: i64, ka: *i64, kb: *i64, kx: *i64, kbox: *i64, mode: i64, hterms: *i64, hroot: *i64) -> i64
called by 1: sb_solve calls 2: sb_oracle2sb_eval
241func ng_rand(sbox: *i64) -> i64
called by 1: ng_gen
245func ng_gen(seed: i64, hterms: *i64, hb: *i64, cset: *i64, pa16: *i64, pb16: *i64) -> i64
called by 1: main calls 3: sys_mmapng_randsb_eval
314func sb_oracle2(mode: i64, oid: i64, a: i64, b: i64, hterms: *i64, hroot: *i64) -> i64
called by 2: sb_find_cexsb_solve calls 2: sb_oraclesb_eval
318func sb_claude_check(oid: i64) -> i64
called by 1: main calls 2: sb_claudesb_oracle
330func sb_solve(oid: i64, cons: *i64, ncon: i64, terms: *i64, vecs: *i64, hash: *i64, mode: i64, hterms: *i64, hroot: *i64) -> i64
called by 1: main calls 6: sys_mmapsb_oracle2sb_searchsb_find_cex_sb_puts_sb_num
369func main() -> i64
calls 14: _sb_putssys_mmapsb_solvesb_claude_check_sb_numsys_openat_append+8