Struct RegAllocPass 

pub struct RegAllocPass {
    pub phys_regs: Vec<PhysReg>,
    pub use_graph_coloring: bool,
    pub allocations: HashMap<String, Allocation>,
    /* private fields */
}

Register allocation pass.

Supports both linear scan and graph coloring algorithms.

Fields

phys_regs: Vec<PhysReg>

Physical register bank.

use_graph_coloring: bool

Whether to use graph coloring (Chaitin-Briggs) instead of linear scan.

allocations: HashMap<String, Allocation>

Allocation results per function (function name → allocation).

Implementations

impl RegAllocPass

pub fn new(num_regs: u32) -> Self

Create a new pass with num_regs integer registers using linear scan.

pub fn graph_coloring(num_regs: u32) -> Self

Create a pass that uses Chaitin-Briggs graph coloring.

pub fn with_regs(phys_regs: Vec<PhysReg>, use_graph_coloring: bool) -> Self

Create a pass with an explicit physical register set.

pub fn run(&mut self, decls: &mut [LcnfFunDecl])

Run register allocation on all function declarations.

pub fn report(&self) -> RegAllocReport

Return the accumulated allocation report.

pub fn allocation_for(&self, func: &str) -> Option<&Allocation>

Lookup the allocation for a function by name.

Trait Implementations

impl Debug for RegAllocPass

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.