Struct NaturalLoop 

pub struct NaturalLoop {
    pub header: NodeIndex,
    pub back_edge: (NodeIndex, NodeIndex),
    pub body: HashSet<NodeIndex>,
}

A natural loop detected in the CFG

A natural loop has a single entry point (the header) and is identified by a back-edge where the header dominates the tail.

Fields

header: NodeIndex

Loop header node (single entry point)

back_edge: (NodeIndex, NodeIndex)

Back edge (tail -> header) that identifies this loop

body: HashSet<NodeIndex>

All nodes in the loop body (including header)

Implementations

impl NaturalLoop

pub fn contains(&self, node: NodeIndex) -> bool

Check if a node is in the loop body

pub fn size(&self) -> usize

Get the number of nodes in the loop body

pub fn nesting_level(&self, all_loops: &[NaturalLoop]) -> usize

Get the loop depth (nesting level) relative to other loops

Returns 0 for outermost loops, 1 for loops nested inside one outer loop, etc.

Trait Implementations

impl Clone for NaturalLoop

fn clone(&self) -> NaturalLoop

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NaturalLoop

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

Formats the value using the given formatter.