Class DominatorTree

src/debug_utils/dominator_tree.rs:35–46

Dominator tree of the control flow graph.

/// Dominator tree of the control flow graph.
pub struct DominatorTree {
    nodes: SecondaryMap<Block, DominatorTreeNode>,

    /// First child node of the internal virtual root.
    virtual_root_child: PackedOption<Block>,

    /// Blocks whose immediate dominator has been computed.
    processed: EntitySet<Block>,

    /// Stack for DFS traversal.
    stack: Vec<Block>,
}

impl DominatorTree {
    /// Creates a new `DominatorTree`.