Struct FunctionAllocationFacts 

pub struct FunctionAllocationFacts<V, R> {
    pub entry: usize,
    pub blocks: Vec<BlockAllocationFacts<V, R>>,
}

Target-independent input boundary for register-allocation analyses.

x86 and AArch64 retain separate MIR instruction types and optimization pipelines. Each backend projects its final virtual-register MIR into this representation immediately before allocation.

Fields

entry: usize

blocks: Vec<BlockAllocationFacts<V, R>>

Implementations

impl<V, R> FunctionAllocationFacts<V, R>

where V: Copy + Eq + Debug,

pub fn verify(&self) -> Result<(), AllocationFactsError<V>>

Verify only target-independent shape invariants. Opcode legality and register-class rules remain the responsibility of the owning backend.

Trait Implementations

impl<V: Clone, R: Clone> Clone for FunctionAllocationFacts<V, R>

fn clone(&self) -> FunctionAllocationFacts<V, R>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<V: Debug, R: Debug> Debug for FunctionAllocationFacts<V, R>

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

Formats the value using the given formatter.

impl<V: Eq, R: Eq> Eq for FunctionAllocationFacts<V, R>

impl<V: PartialEq, R: PartialEq> PartialEq for FunctionAllocationFacts<V, R>

fn eq(&self, other: &FunctionAllocationFacts<V, R>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<V: PartialEq, R: PartialEq> StructuralPartialEq for FunctionAllocationFacts<V, R>