Method idom

cranelift/codegen/src/dominator_tree.rs:237–239

Returns the immediate dominator of `block`. `block_a` is said to *dominate* `block_b` if all control flow paths from the function entry to `block_b` must go through `block_a`. The *immediate dominator* is the dominator that is closest to `block`. All other dominators also dominate the immediate dominator. This returns `None` if `block` is not reachable from the entry block, or if it is the entr

(&self, block: Block)

    /// This returns `None` if `block` is not reachable from the entry block, or if it is the entry block
    /// which has no dominators.
    pub fn idom(&self, block: Block) -> Option<Block> {
        self.nodes[block].idom.into()
    }

    /// Returns `true` if `a` dominates `b`.
    ///