code wiki / _hdl_build / nx_meshrender_gate.nx

nx_meshrender_gate.nx

buildroot/runtime/_hdl_build/nx_meshrender_gate.nx

6459 B109 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_meshrender_gate.nx -- GATE for the sovereign general-mesh renderer (nx_meshrender over nx_render_core). Proves we can transform+project+z-buffer-rasterize an ARBITRARY loaded mesh through OUR pipeline (no WebGL), with a MEASURED exceed over painter's-algorithm: two overlapping triangles, RED nearer + BLUE farther, and the overlap shows RED *regardless of draw order* -- the exact case draw-order/painter's gets wrong. Plus coverage (non-vacuous), determinism, and a teeth/neg-control (empty mesh -> nothing drawn). expect_exit: 0

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_g_puts_lib.nx nx_render_core.nx nx_meshrender.nx nx_meshrender_gate.nx

imports: nx_syscalls.nxnx_g_puts_lib.nxnx_render_core.nxnx_meshrender.nx

imported by: nobody (leaf or entry point)

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

main g_puts sys_write sys_mmap fill_vert mr_render rc_clear rc_zclear rc_cos_q14 rc_sin_q14 rc_sin_q14 ↻ rc_perspective_cs rc_identity_4x4 mr_roty rc_cos_q14 ↻ rc_sin_q14 ↻ rc_translation_4x4 rc_identity_4x4 ↻ rc_mat4_mul mr_project rc_mat4_vec4 rc_triangle rc_clamp rc_min3 rc_max3 rc_same_sign_3 cover xchk g_pn sys_mmap ↻ sys_write ↻ ck g_puts ↻ sys_openat_append sys_write ↻ sys_close sys_exit

structs

none

consts

none

functions

11func g_pn(v: i64) -> i64 { let b: *u8=sys_mmap(28); var x: i64=v; if x==0{b[0]=48;sys_write(1,b,1);return 0} if x<0{sys_write(1,"-" as *u8,1);x=0-x} 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_mmapsys_write
12func 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
14func fill_vert(verts: *i64, i: i64, x: i64, y: i64, z: i64, c: i64) -> i64
called by 1: main
18func 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
20func xchk(fb: *i64, n: i64) -> i64 { var x: i64=0; var i: i64=0; while i<n { x=x+fb[i]; i=i+1 } return x }
called by 1: main
22func main() -> i64