nx_gif_decode_gate.nx
buildroot/runtime/nx_gif_decode_gate.nx
about
nx_gif_decode_gate.nx -- GREEN/RED gate: decode the REAL page3.com mast3.gif (fetched by nx_archive_media_fetch)
with nx_gif_decode and prove it yields a sane, non-blank grayscale image; NEG-CTL rejects a non-GIF buffer.
Image stack (syscalls.nx). license_tier: ORIGINAL
dependencies 1 imports · 0 importers
imports: nx_gif_decode.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
| 6 | func gw(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 1: main |
| 7 | func gn(v: i64) -> i64 { if v==0 { sys_write(1,"0" as *u8,1); return 0 } var m: i64=v; if m<0 { sys_write(1,"-" as *u8,1); m=0-m } let t: *u8=sys_mmap(24); var k: i64=0; while m>0 { t[k]=(48+(m%10)) as u8; m=m/10; k=k+1 } let o: *u8=sys_mmap(24); var w: i64=0; var q: i64=k-1; while q>=0 { o[w]=t[q]; w=w+1; q=q-1 } sys_write(1,o,w); return 0 } called by 1: main |
| 9 | func main() -> i64 |