Method block_dominates

cranelift/codegen/src/dominator_tree.rs:295–299

Returns `true` if `block_a` dominates `block_b`. A block is considered to dominate itself. This uses preorder numbers for O(1) constant time performance.

(&self, block_a: Block, block_b: Block)

    /// A block is considered to dominate itself.
    /// This uses preorder numbers for O(1) constant time performance.
    pub fn block_dominates(&self, block_a: Block, block_b: Block) -> bool {
        let na = &self.nodes[block_a];
        let nb = &self.nodes[block_b];
        na.dom_pre_number <= nb.dom_pre_number && na.dom_pre_max >= nb.dom_pre_max
    }

    /// Get an iterator over the direct children of `block` in the dominator tree.
    ///