Method immediate_dominator

src/debug_utils/dominator_tree.rs:113–115

Returns the immediate dominator of the given basic block. Returns `None` for entry points, unreachable blocks, and blocks whose only immediate dominator is the virtual root of a multi-entry CFG.

(&self, block: Block)

    /// Returns `None` for entry points, unreachable blocks, and blocks whose
    /// only immediate dominator is the virtual root of a multi-entry CFG.
    pub fn immediate_dominator(&self, block: Block) -> Option<Block> {
        self.nodes[block].parent.into()
    }

    /// Determines whether `a` dominates `b`.
    ///