Struct DomTree 

pub struct DomTree {
    pub nodes: HashMap<LcnfVarId, DomTreeNode>,
    pub roots: Vec<LcnfVarId>,
}

Dominator tree derived from the LCNF nesting structure.

Fields

nodes: HashMap<LcnfVarId, DomTreeNode>

Map from variable id to its dominator tree node.

roots: Vec<LcnfVarId>

The root variables (outermost let-bindings or function entries).

Implementations

impl DomTree

pub fn new() -> Self

pub fn build_from_decl(decl: &LcnfFunDecl) -> Self

Build a dominator tree from a function declaration.

pub fn dominates(&self, a: LcnfVarId, b: LcnfVarId) -> bool

Return true if a dominates b.

pub fn num_nodes(&self) -> usize

Trait Implementations

impl Debug for DomTree

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

Formats the value using the given formatter.

impl Default for DomTree

fn default() -> DomTree

Returns the “default value” for a type.