Struct LoopInfo 

pub struct LoopInfo {
    pub loops: FxHashMap<BlockId, Loop>,
    pub block_to_loop: FxHashMap<BlockId, BlockId>,
}

Result of loop analysis for a function.

Fields

loops: FxHashMap<BlockId, Loop>

All loops in the function, keyed by header block.

block_to_loop: FxHashMap<BlockId, BlockId>

Mapping from block to the innermost loop containing it.

Implementations

impl LoopInfo

pub fn is_in_loop(&self, block: BlockId) -> bool

Returns true if the block is in any loop.

pub fn get_loop(&self, block: BlockId) -> Option<&Loop>

Returns the loop containing the given block, if any.

pub fn all_loops(&self) -> impl Iterator<Item = &Loop>

Returns all loops in the function.

Trait Implementations

impl Clone for LoopInfo

fn clone(&self) -> LoopInfo

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LoopInfo

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for LoopInfo

fn default() -> LoopInfo

Returns the “default value” for a type.