code wiki / _hdl_build / nx_js_jit_gate.nx

nx_js_jit_gate.nx

buildroot/runtime/_hdl_build/nx_js_jit_gate.nx

12178 B241 linesdepth 8pulls 24 transitivereach 0 importersview sourcekind gate/prooftopic js
docsdependenciesstructsconstsfunctions

about

nx_js_jit_gate.nx -- P5 BASELINE JIT: prove it (A) is CORRECT vs the VM and the tree-walker on the templatable subset, (B) DECLINES cleanly (jit_compile==0 -> VM) on everything outside the subset, and (C) MEASURES the native speedup + class band on the SAME entry point (js_jit_disable A/B). The 108/108 parity gate already proves JIT==tree end-to-end; this adds the three-way A/B/tree agreement, the decline contract, and the ladder placement. expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_js_vm.nx nx_js_jit_gate.nx

imports: nx_js_vm.nx

imported by: nobody (leaf or entry point)

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

main bw jchk bsl js_jit_disable compile_run cr_core jp_parse_source js_lex js_skip_trivia js_lex_one jp_parse_program jp_tok_kind jp_cur jp_err jp_parse_stmt jp_child_commit jp_new_node jp_pst ev_set c_scope_push c_program c_predecl jp_nkind jp_na jp_nb jp_child_at c_newslot ev_tok_start ev_tok_len c_predecl ↻ jp_nextra c_rootslot jp_nc ev_for_body ev_try_finally jp_nb ↻ jp_child_at ↻ jp_nkind ↻ jp_na ↻

structs

none

consts

none

functions

9func jchk(src: *u8, label: *u8, pp: *i64, tp: *i64) -> i64
51func jdec(src: *u8, want: i64, label: *u8, pp: *i64, tp: *i64) -> i64
called by 1: main calls 3: js_jit_probebwbn
66func jt3(src: *u8, disabled: i64, outcell: *i64) -> i64
84func main(argc: i64, argv: *i64) -> i64