Enum Allocation 

pub enum Allocation {
    Allocated(Vec<(usize, usize)>),
    Spill {
        pressure: usize,
        must_spill: Vec<usize>,
    },
}

The result of allocating physical registers to a basic block.

Variants

Allocated(Vec<(usize, usize)>)

Success: (var, register) pairs, every register in 0..registers, no two simultaneously-live variables sharing one (re-checkable via is_valid_allocation).

Spill

Spilling is unavoidable: the block needs pressure registers, and must_spill is a set of pairwise-live variables larger than the register count — a certified proof that they cannot all be kept in registers (re-checkable via is_spill_certificate).

Fields

pressure: usize

Minimum registers the block requires (peak simultaneous liveness).

must_spill: Vec<usize>

> registers mutually-live variables — the spill certificate.

Trait Implementations

impl Clone for Allocation

fn clone(&self) -> Allocation

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Allocation

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

Formats the value using the given formatter.

impl PartialEq for Allocation

fn eq(&self, other: &Allocation) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Allocation

impl StructuralPartialEq for Allocation