v2.ssa.optimize #

fn build_cfg(mut m ssa.Module)

--- CFG Construction ---

fn optimize(mut m ssa.Module)

Optimize Module

fn verify(m &ssa.Module) []VerifyError

verify performs comprehensive validation of SSA invariants. Returns a list of errors found (empty if valid). Call this after optimization passes to catch bugs.

fn verify_and_panic(m &ssa.Module, pass_name string)

verify_and_panic runs verification and panics if any errors are found. Use this during development to catch SSA corruption early.