nx_opt.nx

buildroot/runtime/nx_opt.nx

178367 B4024 linesdepth 8pulls 16 transitivereach 195 importersview sourcekind librarytopic opt

docs dependencies structs consts functions

about

opt.nx -- first slice of the optimizer, in NishiLang. Three passes, mirroring opt.c: * opt_const_fold -- binops whose operands are both CONST_INT become CONST_INT themselves. * opt_simplify -- peephole identities (x+0=x, x*1=x, etc.) * opt_dce -- pure unused instructions are unlinked. Uses the same Type/Value/Instr/BasicBlock/Function layout as runtime/ir.nx. To stay self-contained without a module system, the struct types are redeclared here identically; a real import step in a future turn deduplicates them.

dependencies 6 imports · 49 importers

diagram shows first 10 each side; +0 more imports, +39 more importers in the complete lists below.

imports: nx_syscalls.nxnx_types.nxnx_ir.nxnx_dom_fn.nxnx_bck_elide.nxnx_opt_eqsat_pass.nx

structs

3286	struct VraResult

consts

334	const INL_MAX_BODY_INSTRS: i64 = 24
939	const OPT_LOAD_FWD_MAX_WALK: i64 = 64
962	const OPT_LOAD_FWD_CROSS_BLOCK: i64 = 0
2148	const CSE_TABLE_CAP: i64 = 256
2466	const LICM_MAX_BLOCKS: i64 = 4096
2590	const LICM_HOIST_LIVE: i64 = 1
2594	const LICM_G9_LOAD_HOIST: i64 = 1
2598	const LICM_CONSERVATIVE: i64 = 0
2603	const NEGCTL_SKIP_PARENT_REBUILD: i64 = 0
3647	const DSE_MAX_TRACKED: i64 = 256

functions

47	func fold_binop(op: i64, a: i64, b: i64, ok: *i64) -> i64 called by 1: opt_const_fold
97	func opt_const_fold(f: *Function) -> i64 called by 2: opt_run main calls 3: block_at val_at fold_binop
151	func is_const_val(f: *Function, id: i64, want: i64) -> i64 called by 1: opt_simplify calls 1: val_at
158	func rewrite_to_copy(inst: *Instr, src_id: i64) -> i64 called by 8: inline_call opt_gvn_block opt_mem2reg_simple opt_alloca_const opt_load_forward opt_simplify+2
166	func make_result_zero(f: Function, inst: Instr) -> i64 called by 2: opt_simplify opt_compare_fold calls 1: val_at
196	func can_inline(callee: *Function) -> i64; called by 1: opt_inline_module
197	func inline_call(caller: Function, bb: BasicBlock, called by 1: opt_inline_module
203	func inl_remap(table: *i64, id: i64, cap: i64) -> i64 called by 2: inl_clone_instr inl_clone_all
220	func inl_snapshot_block(cb: BasicBlock, snap: i64) -> i64 called by 1: inline_call
231	func inl_clone_instr(caller: Function, bb: BasicBlock, call_inst: *Instr, called by 1: inl_clone_all calls 8: alloc_instr write_op inl_remap read_op alloc_value val_at+2
261	func inl_clone_all(caller: Function, bb: BasicBlock, call_inst: *Instr, called by 1: inline_call calls 2: inl_remap inl_clone_instr
279	func opt_inline_module(m: *Module) -> i64 called by 4: nxc_compile main main nxc_compile calls 5: sys_mmap sys_read_file block_at can_inline inline_call
349	func inl_op_safe(op: i64) -> i64 called by 1: can_inline
374	func can_inline(callee: *Function) -> i64 calls 2: block_at inl_op_safe
398	func inline_call(caller: Function, bb: BasicBlock, calls 7: sys_mmap val_at ir_const_i64 block_at inl_snapshot_block inl_clone_all+1
517	func opt_gvn_block(f: *Function) -> i64 called by 1: opt_run calls 3: block_at sys_mmap rewrite_to_copy
630	func opt_sccp_branches(f: *Function) -> i64 called by 1: opt_run calls 2: block_at val_at
686	func opt_mem2reg_simple(f: *Function) -> i64 called by 1: opt_run calls 2: block_at rewrite_to_copy
805	func opt_alloca_const(f: *Function) -> i64 called by 1: opt_run calls 3: block_at val_at rewrite_to_copy
964	func opt_load_forward(f: *Function) -> i64 calls 6: cfg_rebuild_edges cfg_rebuild_parents block_at val_at licm_alloca_noescape rewrite_to_copy
1079	func const_one(f: *Function) -> i64; called by 2: opt_simplify opt_compare_fold
1081	func opt_simplify(f: *Function) -> i64 calls 5: block_at is_const_val rewrite_to_copy make_result_zero const_one
1164	func const_one(f: *Function) -> i64
1195	func op_is_pure(op: i64) -> i64 called by 1: opt_dce
1212	func mark_used(f: Function, used: u8) -> i64 called by 1: opt_dce calls 1: block_at
1263	func unlink(b: BasicBlock, inst: Instr) -> i64 called by 3: opt_dce opt_block_merge opt_dse
1279	func opt_dce(f: *Function) -> i64 called by 1: opt_run calls 6: sys_mmap mark_used block_at op_is_pure val_at unlink
1320	func comptime_eval_binop(op: i64, a: i64, b: i64) -> i64 called by 2: opt_module_const_return opt_reassoc
1388	func opt_module_const_return(m: *Module) -> i64 calls 6: sys_mmap block_at val_at comptime_eval_binop ir_const_i64 rewrite_to_copy
1551	func opt_module_dce_mark(m: Module, live: u8) -> i64 called by 2: main main calls 4: sys_mmap find_function block_at val_at
1659	func opt_sweep_unreachable_function(f: *Function) -> i64 called by 1: opt_run calls 2: sys_mmap block_at
1861	func opt_copyprop(f: *Function) -> i64 called by 1: opt_run calls 3: sys_mmap block_at val_at
1941	func if_br_cond_then_1_else_n(inst: *Instr) -> i64; called by 1: opt_copy_forward
1942	func read_op(inst: *Instr, idx: i64) -> i64; called by 2: inl_clone_instr opt_copy_forward
1943	func write_op(inst: *Instr, idx: i64, v: i64) -> i64; called by 2: inl_clone_instr opt_copy_forward
1956	func opt_copy_forward(f: *Function) -> i64 called by 1: opt_run calls 5: sys_mmap block_at if_br_cond_then_1_else_n read_op write_op
2053	func if_br_cond_then_1_else_n(inst: *Instr) -> i64
2064	func read_op(inst: *Instr, idx: i64) -> i64
2091	func write_op(inst: *Instr, idx: i64, v: i64) -> i64
2152	func cse_is_candidate(op: i64) -> i64 called by 1: opt_cse
2177	func cse_is_commutative(op: i64) -> i64 called by 1: opt_cse
2188	func opt_cse(f: *Function) -> i64 called by 1: opt_run calls 4: sys_mmap block_at cse_is_candidate cse_is_commutative
2288	func skip_bridges(f: Function, b: BasicBlock, hops_left: i64) -> *BasicBlock called by 1: opt_thread_jumps calls 1: block_at
2308	func add_succ(bb: BasicBlock, t: BasicBlock) -> i64 called by 1: opt_thread_jumps
2314	func add_pred(bb: BasicBlock, p: BasicBlock) -> i64 called by 1: opt_thread_jumps
2321	func opt_thread_jumps(f: *Function) -> i64 called by 1: opt_run calls 4: block_at skip_bridges add_succ add_pred
2414	func licm_is_hoistable(op: i64) -> i64; called by 1: opt_licm
2420	func operands_are_loop_invariant(f: Function, inst: Instr, called by 1: opt_licm
2423	func hoist_instr(inst: Instr, preheader: BasicBlock) -> i64; called by 1: opt_licm
2424	func mark_loop_body_nx(f: Function, header: BasicBlock, called by 1: opt_licm
2482	func cfg_block_by_id(f: Function, id: i64) -> BasicBlock called by 1: cfg_rebuild_edges calls 1: block_at
2492	func cfg_add_pred(b: BasicBlock, p: BasicBlock) -> i64 called by 1: cfg_rebuild_edges
2500	func cfg_rebuild_edges(f: *Function) -> i64 called by 4: main opt_load_forward opt_bounds_check_elim opt_licm calls 3: block_at cfg_block_by_id cfg_add_pred
2566	func cfg_rebuild_parents(f: *Function) -> i64 called by 3: opt_load_forward opt_bounds_check_elim opt_licm calls 1: block_at
2618	func opt_bounds_check_elim(f: *Function) -> i64 called by 1: opt_run calls 8: bck_elide_live cfg_rebuild_edges cfg_rebuild_parents sys_mmap dom_compute_fn bck_elide_dominated+2
2638	func opt_licm(f: *Function) -> i64 called by 1: opt_run calls 14: cfg_rebuild_edges cfg_rebuild_parents block_at sys_mmap dom_compute_fn licm_build_escape_map+8
2885	func licm_is_hoistable(op: i64) -> i64
2925	func opt_opk(inst: *Instr, k: i64) -> i64 called by 2: licm_alloca_noescape licm_build_escape_map
2956	func licm_alloca_noescape(f: *Function, aid: i64) -> i64 called by 2: opt_load_forward licm_load_hoistable calls 2: block_at opt_opk
2988	func licm_store_dominated_by_header(f: Function, aid: i64, info: DomInfoFn, called by 1: licm_load_hoistable calls 2: block_at dom_dominates
3009	func licm_build_escape_map(f: Function, esc: u8) -> i64 called by 1: opt_licm calls 2: block_at opt_opk
3040	func licm_build_store_dom_map(f: Function, info: DomInfoFn, header: BasicBlock, stdom: u8) -> i64 called by 1: opt_licm calls 2: block_at dom_dominates
3064	func licm_load_hoistable_memo(f: Function, inst: Instr, esc: u8, stdom: u8) -> i64 called by 1: opt_licm calls 1: val_at
3080	func licm_load_hoistable(f: Function, inst: Instr, info: *DomInfoFn, calls 3: val_at licm_alloca_noescape licm_store_dominated_by_header
3108	func operands_are_loop_invariant(f: Function, inst: Instr, calls 3: val_at df_block_index dom_dominates
3184	func hoist_instr(inst: Instr, preheader: BasicBlock) -> i64
3228	func mark_loop_body_nx(f: Function, header: BasicBlock, calls 3: sys_mmap df_block_index block_at
3292	func opt_vra_compute(f: Function) -> VraResult; called by 2: opt_compare_fold opt_strength_reduce
3293	func vra_is_nonneg(vra: *VraResult, v: i64) -> i64; called by 1: opt_strength_reduce
3295	func opt_compare_fold(f: *Function) -> i64 calls 5: opt_vra_compute block_at rewrite_to_copy const_one make_result_zero
3385	func opt_vra_compute(f: Function) -> VraResult calls 2: sys_mmap block_at
3473	func vra_is_nonneg(vra: *VraResult, v: i64) -> i64
3510	func opt_reassoc(f: *Function) -> i64 called by 1: opt_run calls 3: block_at val_at comptime_eval_binop
3577	func opt_block_merge(f: *Function) -> i64 called by 1: opt_run calls 2: block_at unlink
3649	func opt_dse(f: *Function) -> i64 called by 1: opt_run calls 3: sys_mmap block_at unlink
3741	func is_pow2(n: i64, shift_out: *i64) -> i64 called by 2: opt_strength_reduce main
3754	func opt_strength_reduce(f: *Function) -> i64 called by 1: opt_run calls 7: opt_vra_compute block_at val_at sys_mmap is_pow2 ir_const_i64+1
3855	func opt_tail_call(f: *Function) -> i64 called by 1: opt_run calls 1: block_at
3946	func opt_run(f: *Function) -> i64 called by 23: nxc_compile compile main main main main+17 calls 19: opt_mem2reg_simple opt_sccp_branches opt_const_fold opt_copyprop opt_copy_forward opt_cse+13