Method loop_header

cranelift/codegen/src/loop_analysis.rs:109–111

Returns the header block of a particular loop. The characteristic property of a loop header block is that it dominates some of its predecessors.

(&self, lp: Loop)

    /// The characteristic property of a loop header block is that it dominates some of its
    /// predecessors.
    pub fn loop_header(&self, lp: Loop) -> Block {
        self.loops[lp].header
    }

    /// Return the eventual parent of a loop in the loop tree.
    pub fn loop_parent(&self, lp: Loop) -> Option<Loop> {