Type Alias LivenessInfo 

pub type LivenessInfo = LiveVariableInfo;

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.