Struct LoopInfo 

pub struct LoopInfo {
    pub header: usize,
    pub body: Vec<usize>,
    pub preheader: Option<usize>,
    pub back_edges: Vec<(usize, usize)>,
}

Information about a natural loop identified in a CFG.

Fields

header: usize

Block index of the loop header (dominator of all blocks in the loop).

body: Vec<usize>

All block indices that make up the loop body (including the header).

preheader: Option<usize>

Optional preheader block index inserted before the loop header.

back_edges: Vec<(usize, usize)>

Back-edges (from, to) where to is the header.

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.