Skip to main content

LivenessInfo

Type Alias LivenessInfo 

Source
pub type LivenessInfo = LiveVariableInfo;
Expand description

Alias for LiveVariableInfo (used as the return type of compute_liveness).

Aliased Type§

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

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.