code wiki / (root) / nx_nxa_gpu_gate.nx

nx_nxa_gpu_gate.nx

buildroot/runtime/nx_nxa_gpu_gate.nx

13141 B243 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic nxa
docsdependenciesstructsconstsfunctions

about

Qualify native GPU geometry packing with IEEE-754 witnesses and real NXA assets.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_nxa_gpu_lib.nx nx_nxa_gpu_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_nxa_gpu_lib.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gg_skin sys_mmap ↻ gg_skin_seal gv_check_eq gv_check gv_puts sys_write ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap ngp_skin_bytes ngp_skin_section ngp_section nxa_counted_section nxa_section_entry nxa_tag4 nxa_counted_section ↻ nxa_tag4 ↻ ngp_skin ngp_skin_section ↻ ngp_output

structs

none

consts

5const GG_WORD: i64=8
6const GG_TOC: i64=4
7const GG_SECTIONS: i64=2
8const GG_VERT: i64=GG_TOC+GG_SECTIONS*GG_TOC
9const GG_TRIS: i64=GG_VERT+1+NGP_COMPONENTS
10const GG_WORDS: i64=GG_TRIS+1+NGP_COMPONENTS
11const GG_ONE_F32: i64=1065353216 // IEEE-754 +1
12const GG_NEG_TWO_F32: i64=3221225472 // IEEE-754 -2
13const GG_ROUND_INPUT: i64=16777217 // 2^24+1: midpoint, rounds to even.
14const GG_ROUND_F32: i64=1266679808 // IEEE-754 2^24
15const GG_SENTINEL: i64=165
24const GG_SKIN_SECTIONS: i64=3
25const GG_SKIN_VERT: i64=GG_TOC+GG_SKIN_SECTIONS*GG_TOC
26const GG_SKIN_SKEL: i64=GG_SKIN_VERT+1+NGP_COMPONENTS
27const GG_SKIN_DATA: i64=GG_SKIN_SKEL+1+NGP_SKEL_WORDS
28const GG_SKIN_TOTAL: i64=GG_SKIN_DATA+1+NGP_SKIN_WORDS
29const GG_HALF_F32: i64=1056964608 // IEEE-754 1/2
30const GG_QUARTER_F32: i64=1048576000 // IEEE-754 1/4
31const GG_UV_MAX_F32: i64=1065352960 // IEEE-754 largest unsigned Q16 fractional coordinate.
32const GG_EIGHTH_F32: i64=1040187392 // IEEE-754 1/8

functions

17func gg_seal(h: *i64) -> i64
called by 1: main
33func gg_skin_seal(h: *i64) -> i64
called by 2: gg_skingg_texcoords
43func gg_skin(c: *i64) -> i64
called by 1: main calls 6: sys_mmapgg_skin_sealgv_check_eqngp_skin_bytesngp_skinsys_munmap
84func gg_texcoords(c: *i64) -> i64
called by 1: main calls 6: sys_mmapgg_skin_sealgv_check_eqngp_texcoord_bytesngp_texcoordssys_munmap
130func gg_normals(c: *i64) -> i64
called by 1: main calls 4: sys_mmapgv_check_eqngp_normalssys_munmap
164func main(argc: i64,argv: *i64) -> i64
calls 20: gv_ctrgg_skingg_texcoordsgg_normalssys_mmapgg_seal+14