Method rpo_cmp

cranelift/codegen/src/dominator_tree/simple.rs:89–98

Compare two program points relative to a reverse post-order traversal of the control-flow graph. Return `Ordering::Less` if `a` comes before `b` in the RPO. If `a` and `b` belong to the same block, compare their relative position in the block.

(&self, a: A, b: B, layout: &Layout)

    ///
    /// If `a` and `b` belong to the same block, compare their relative position in the block.
    pub fn rpo_cmp<A, B>(&self, a: A, b: B, layout: &Layout) -> Ordering
    where
        A: Into<ProgramPoint>,
        B: Into<ProgramPoint>,
    {
        let a = a.into();
        let b = b.into();
        self.rpo_cmp_block(layout.pp_block(a), layout.pp_block(b))
            .then_with(|| layout.pp_cmp(a, b))
    }

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