code wiki / (root) / nx_nxa_gpu_wasm_gate.nx

nx_nxa_gpu_wasm_gate.nx

buildroot/runtime/nx_nxa_gpu_wasm_gate.nx

770 B13 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic nxa

about

Cross-backend regression: compiler data semantics plus the real NXA conversion workload.

imports: nx_nxa_gpu_lib.nx

imported by: nobody (leaf or entry point)

none

none

5	func wdg_read() -> i64 { return wdg_value } called by 1: wdg_write
6	func wdg_write(value: i64) -> i64 { wdg_value=value; return wdg_read() } calls 1: wdg_read
7	func wdg_empty() -> i64 { let s: u8="" as u8; return s[0] as i64 }
8	func wdg_terminated() -> i64 { let s: u8="NXANIM01" as u8; return s[8] as i64 }
9	func wdg_literal() -> i64 { return nxa_tag4("VERT" as *u8) }
10	func wdg_other_literal() -> i64 { return nxa_tag4("TRIS" as *u8) }
11	func wdg_escaped() -> i64 { let s: u8="\n\t\\\"" as u8; return nxa_tag4(s) }
12	func wdg_utf8_first() -> i64 { let s: u8="é" as u8; return s[0] as i64 }
13	func wdg_utf8_second() -> i64 { let s: u8="é" as u8; return s[1] as i64 }