Struct LoopInfo 

pub struct LoopInfo {
    pub loops: Vec<NaturalLoop>,
    pub back_edges: Vec<(BlockId, BlockId)>,
    pub block_depth: HashMap<BlockId, u32>,
}

Result of loop analysis.

Fields

loops: Vec<NaturalLoop>

Detected natural loops.

back_edges: Vec<(BlockId, BlockId)>

Back edges in the CFG.

block_depth: HashMap<BlockId, u32>

Loop depth for each block (0 if not in any loop).

Implementations

impl LoopInfo

pub fn compute(cfg: &Cfg, dom: &DomTree) -> Self

Perform loop analysis on a CFG with dominator tree.

pub fn depth(&self, block: BlockId) -> u32

Returns the loop depth of a block (0 if not in any loop).

pub fn containing_loop(&self, block: BlockId) -> Option<&NaturalLoop>

Returns the innermost loop containing a block, if any.