v3.ssa.optimize

fn optimize(mut m ssa.Module)

optimize runs the default, backend-safe optimization pipeline. Structural SSA construction (mem2reg / phi elimination) is opt-in via the environment so the proven arm64 lowering path is unchanged unless explicitly requested: V3_MEM2REG=1 enable alloca promotion + phi insertion V3_PHI_ELIM=1 additionally lower phis to assign copies V3_VERIFY=1 structured verify after each pass (V3_VERIFY_STRICT=1 = fatal)

fn optimize_with_options(mut m ssa.Module, opts OptimizeOptions)

struct OptimizeOptions {
pub:
	mem2reg          bool // promote scalar allocas to SSA values + phi nodes
	eliminate_phis   bool // lower phis to `assign` copies (for backends without phi)
	verify_each_pass bool // run the structured verifier after every structural pass
	strict_verify    bool // treat historically-noncritical verifier findings as fatal
}