Method block_dominates

src/function.rs:650–661

Returns whether block `a` dominates block `b`. This should return true if `a == b`.

(&self, a: Block, mut b: Block)

    ///
    /// This should return true if `a == b`.
    fn block_dominates(&self, a: Block, mut b: Block) -> bool {
        // Walk b up the dominator tree until a is reached or we go past it.
        // This works because the block ordering is required to be topologically
        // ordered with regards to the dominator tree.
        while a < b {
            match self.block_immediate_dominator(b) {
                Some(idom) => b = idom,
                None => return false,
            }
        }
        a == b
    }

    /// Get the block parameters for a given block.
    ///