v2.ssa.optimize

fn build_cfg(mut m ssa.Module) CfgData

fn optimize(mut m ssa.Module)

Optimize Module

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

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 on critical errors. Historical non-critical verifier warnings remain suppressed by default.

fn verify_and_panic_with_options(m &ssa.Module, pass_name string, opts VerifyPanicOptions)

verify_and_panic_with_options runs verification with explicit warning policy. Set allow_noncritical to false for strict verifier checkpoints.

struct OptimizeOptions {
pub:
	verify_each_pass bool
	strict_verify    bool
}

struct VerifyPanicOptions {
pub:
	allow_noncritical bool
}