Struct Liveness 

pub struct Liveness { /* private fields */ }

Liveness analysis results for a function.

Implementations

impl Liveness

pub fn compute(func: &Function) -> Self

Computes liveness for a function.

pub fn live_in(&self, block: BlockId) -> &LiveSet

Returns the values live at the entry of a block.

pub fn live_out(&self, block: BlockId) -> &LiveSet

Returns the values live at the exit of a block.

pub fn live_at_inst( &self, func: &Function, block_id: BlockId, inst_idx: usize, ) -> LivenessInfo

Computes liveness at a specific instruction within a block. Returns values live before and after the instruction.

pub fn last_use_in_block( &self, val: ValueId, block: BlockId, ) -> Option<Option<usize>>

Returns the last use location of a value within a specific block, if any. Returns Some(Some(inst_idx)) if last used at an instruction, Some(None) if last used in a terminator, None if the value is not used in this block.

pub fn is_dead_after( &self, val: ValueId, block: BlockId, inst_idx: usize, ) -> bool

Returns true if the value is dead after the given instruction in the given block.

A value is dead after an instruction if:

1. The instruction is the last use of the value within this block, AND
2. The value is NOT in live_out (meaning no successor blocks use it)

Trait Implementations

impl Debug for Liveness

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

Formats the value using the given formatter.