code wiki / _hdl_build / nx_rv64_cjit_gate.nx

nx_rv64_cjit_gate.nx

buildroot/runtime/_hdl_build/nx_rv64_cjit_gate.nx

5439 B66 linesdepth 7pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic rv64
docsdependenciesstructsconstsfunctions

about

nx_rv64_cjit_gate.nx -- GATE: the compressed-region JIT compactor+relinker is CORRECT and FAST. Loads a compressed (gcc -march=rv64imac) program with a HEAVY hot loop (knowledge/hw/cloop.bin, UART==QEMU 80 f4 d4 2a). Runs it on fk_run_c (interpreter) AND tier_run_c (JIT via the compactor); both must equal the QEMU reference, tier_run_c must actually JIT-compile the compressed hot loop (loops-JIT'd>=1), and be measurably faster (native code ran). This is the compressed-loop JIT -- built, not deferred. expect_exit: 0

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_rv64_fast.nx nx_rv64_jit.nx nx_rv64_tier.nx nx_rv64_cjit_gate.nx

imports: nx_syscalls.nxnx_rv64_fast.nxnx_rv64_jit.nxnx_rv64_tier.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 sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close sys_exit run sys_mmap ↻ fk_predecode_c nx_rvc_is_compressed nx_rvc_expand rvc_bit rvc_i rvc_s rvc_sext rvc_u rvc_r rvc_j rvc_b fk_decode_one fk_imm_u fk_sext fk_imm_i fk_sext ↻ fk_imm_s fk_sext ↻ fk_imm_b fk_sext ↻ fk_imm_j fk_sext ↻ fk_w32 fk_tx_reset sys_now_us sys_mmap ↻ sys_clock_gettime_mono

structs

none

consts

15const MEMSZ: i64 = 262144

functions

11func g_puts(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 2: ckmain calls 1: sys_write
12func 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} 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
13func g_hx(v: i64) -> i64 { let b: *u8=sys_mmap(4); let n0: i64=(v>>4)&15; let n1: i64=v&15; if n0<10 { b[0]=(48+n0) as u8 } else { b[0]=(87+n0) as u8 } if n1<10 { b[1]=(48+n1) as u8 } else { b[1]=(87+n1) as u8 } b[2]=32 as u8; sys_write(1,b,3); return 0 }
called by 1: main calls 2: sys_mmapsys_write
14func 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
17func match4(tx: *u8, n: i64) -> i64 { if n!=4 { return 0 } if tx[0]!=(0x80 as u8) { return 0 } if tx[1]!=(0xf4 as u8) { return 0 } if tx[2]!=(0xd4 as u8) { return 0 } if tx[3]!=(0x2a as u8) { return 0 } return 1 }
called by 1: main
19func run(useTier: i64, code: *u8, nb: i64, txbuf: *u8, stats: *i64, us: *i64) -> i64
called by 1: main calls 7: sys_mmapfk_predecode_cfk_tx_resetsys_now_ustier_run_cfk_run_c+1
32func main() -> i64
calls 12: g_putssys_mmapsys_read_filesys_exitrung_hx+6