code wiki / _hdl_build / nx_flatraster_gate.nx

nx_flatraster_gate.nx

buildroot/runtime/_hdl_build/nx_flatraster_gate.nx

5708 B87 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof

docs dependencies structs consts functions

about

nx_flatraster_gate.nx -- GATE for rc_triangle_flat (the perf path for flat-shaded faces, in nx_render_core). Proves: (T1) it renders, (T2) it covers EXACTLY the same pixels as rc_triangle = correct drop-in, (T3) it writes a uniform flat colour (no gradient), (T4) it is z-buffered (a near face occludes a far one regardless of draw order), and (T5 MEASURED) it costs ~1 divide/covered-pixel vs rc_triangle's ~8 -> measured covered_px=P, 8x fewer divides in the hot loop (logged SEPARATELY to knowledge/status/flatraster_bench.log). expect_exit: 0

dependencies 3 imports · 0 importers

imports: nx_syscalls.nxnx_g_puts_lib.nxnx_render_core.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

none

functions

10	func g_pn(v: i64) -> i64 { let b: *u8=sys_mmap(28); var x: i64=v; if x<0{b[0]=45 as u8;sys_write(1,b,1);x=0-x} if x==0{b[0]=48 as u8;sys_write(1,b,1);return 0} var d: i64=0; var y: i64=x; while y>0{d=d+1;y=y/10} var i: i64=d-1; y=x; while i>=0{b[i]=(48+(y%10)) as u8;y=y/10;i=i-1} sys_write(1,b,d); return 0 } called by 1: main calls 2: sys_mmap sys_write
11	func ck(name: u8, c: i64) -> i64 { if c==1 { g_puts(" PASS " as u8) } else { g_puts(" FAIL " as u8) } g_puts(name); g_puts("\n" as u8); return c } called by 1: main calls 1: g_puts
12	func cover(fb: *i64, n: i64, bg: i64) -> i64 { var k: i64=0; var i: i64=0; while i<n { if fb[i]!=bg {k=k+1} i=i+1 } return k } called by 1: main
14	func nonflat(fb: *i64, n: i64, bg: i64, col: i64) -> i64 { var k: i64=0; var i: i64=0; while i<n { if fb[i]!=bg { if fb[i]!=col {k=k+1} } i=i+1 } return k } called by 1: main
16	func main() -> i64 calls 14: g_puts sys_mmap rc_clear rc_zclear rc_triangle cover+8