Struct LivenessResult 

pub struct LivenessResult {
    pub live_in: HashMap<BasicBlockId, HashSet<SlotId>>,
    pub live_out: HashMap<BasicBlockId, HashSet<SlotId>>,
}

Result of liveness analysis for a MIR function.

Fields

live_in: HashMap<BasicBlockId, HashSet<SlotId>>

Variables live at the entry of each block.

live_out: HashMap<BasicBlockId, HashSet<SlotId>>

Variables live at the exit of each block.

Implementations

impl LivenessResult

pub fn is_live_after( &self, block: BasicBlockId, stmt_idx: usize, slot: SlotId, mir: &MirFunction, ) -> bool

Check if a variable is live at a given point within a block. Walks backwards from the block exit to the statement index.

pub fn is_live_at_entry(&self, block: BasicBlockId, slot: SlotId) -> bool

Check if a variable is live at the entry of a block.

Trait Implementations

impl Clone for LivenessResult

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LivenessResult

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

Formats the value using the given formatter.