Struct LiveVariableInfo 

pub struct LiveVariableInfo {
    pub live_after: HashMap<LcnfVarId, HashSet<LcnfVarId>>,
    pub live_at_entry: HashSet<LcnfVarId>,
}

Liveness information: the set of variables live at each let-binding site (identified by the variable introduced at that site).

A variable x is live at a program point if there exists a path from that point to a use of x that doesn’t first re-define x.

Fields

live_after: HashMap<LcnfVarId, HashSet<LcnfVarId>>

live_after[x] = set of variables live after the binding of x.

live_at_entry: HashSet<LcnfVarId>

Variables live at the entry of the function.

Implementations

impl LiveVariableInfo

pub fn new() -> Self

pub fn is_live_after(&self, binding: &LcnfVarId, var: &LcnfVarId) -> bool

Trait Implementations

impl Debug for LiveVariableInfo

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

Formats the value using the given formatter.

impl Default for LiveVariableInfo

fn default() -> LiveVariableInfo

Returns the “default value” for a type.