code wiki / _hdl_build / nx_js_earley_diag.nx
nx_js_earley_diag.nx source
↩ module page · 30 lines · 1771 B
1// nx_js_earley_diag.nx -- run the earley DIAGNOSTIC bundle (head+raw+diagfoot): replays test(k)
2// step-by-step and prints typeof at each boundary, localizing where undefined first appears. expect_exit: 0
3import "nx_js_vm.nx"
4const K_MAGIC_524288: i64 = 524288
5func ow(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
6func on(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 q: i64=k-1; var x: i64=0; while q>=0 { o[x]=t[q]; x=x+1; q=q-1 } sys_write(1,o,x); return 0 }
7func main(argc: i64, argv: *i64) -> i64 {
8 ow("=== nx_js_earley_diag ===\n" as *u8)
9 let fd: i64 = sys_openat_rd("knowledge/octane/earley_diag.js\x00" as *u8)
10 if fd < 0 { ow("cannot open earley_diag.js\n" as *u8); return 1 }
11 let cap: i64 = K_MAGIC_524288
12 let buf: *u8 = sys_mmap(cap + 8)
13 var total: i64 = 0
14 var done: i64 = 0
15 while done == 0 {
16 let n: i64 = sys_read(fd, ((buf as i64) + total) as *u8, cap - total)
17 if n <= 0 { done = 1 } else { total = total + n }
18 }
19 sys_close(fd)
20 buf[total] = 0 as u8
21 ow(" bytes=" as *u8); on(total); ow("\n" as *u8)
22 let out: *i64 = sys_mmap(16) as *i64
23 js_set_rt_dbg(1)
24 js_jit_disable(1) // pure interpreter: vs[VS_PC] is exact per-op, so VMX-HALT prints the true site
25 let rc: i64 = compile_run(buf, out)
26 ow(" rc=" as *u8); on(rc); ow(" tag=" as *u8); on(out[0])
27 if out[0] == VAL_STR { ow(" '" as *u8); sys_write(1, ev_str_bytes((out[1]) as *i64), ev_str_len((out[1]) as *i64)); ow("'" as *u8) }
28 ow("\n" as *u8)
29 return 0
30}