Struct NaturalLoopsResult 

pub struct NaturalLoopsResult {
    pub loops: AHashMap<i64, NaturalLoop>,
}

Natural loop detection result.

Contains all natural loops found in the CFG, indexed by their header nodes.

Fields

loops: AHashMap<i64, NaturalLoop>

Map from header to its natural loop.

Each key is a loop header, and the value is the complete loop information including back-edges and body nodes.

Implementations

impl NaturalLoopsResult

pub fn loop_with_header(&self, header: i64) -> Option<&NaturalLoop>

Gets the loop with this header (if any).

Returns None if the node is not a loop header.

Arguments

• header - Potential loop header node ID

Returns

Some(&NaturalLoop) if header has a loop, None otherwise.

pub fn is_loop_header(&self, node: i64) -> bool

Checks if a node is a loop header.

Arguments

• node - Node ID to check

Returns

true if node is a loop header, false otherwise.

pub fn nesting_depth(&self, node: i64) -> usize

Gets loop nesting depth for a node (0 = not in loop).

Returns the number of loops that contain this node. For example, a node in a doubly-nested loop returns 2.

Arguments

• node - Node ID to check

Returns

Nesting depth (0 = not in any loop).

pub fn loops_at_depth(&self, depth: usize) -> Vec<&NaturalLoop>

Gets all loops at a given nesting depth.

Depth 1 = outermost loops, depth 2 = loops nested in depth 1, etc.

Arguments

• depth - Nesting depth to filter by

Returns

Vector of loops at the specified depth.

pub fn nesting_tree(&self) -> AHashMap<i64, Vec<i64>>

Builds loop nesting tree (parent headers -> child headers).

Returns a map where each key is a parent loop header and the value is a vector of child loop headers. This represents the direct nesting relationships (not transitive).

Returns

Map from parent header to vector of child headers.

Example

let tree = loops.nesting_tree();
for (&parent, children) in &tree {
    println!("Loop {} contains inner loops: {:?}", parent, children);
}

pub fn count(&self) -> usize

Gets total number of loops detected.

Returns

Number of natural loops in the CFG.

pub fn headers(&self) -> Vec<i64>

Gets all loop headers.

Returns

Vector of all loop header node IDs.

pub fn iter(&self) -> impl Iterator<Item = (i64, &NaturalLoop)>

Gets all loops as an iterator.

Returns

Iterator over (header, &NaturalLoop) pairs.

Trait Implementations

impl Clone for NaturalLoopsResult

fn clone(&self) -> NaturalLoopsResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NaturalLoopsResult

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

Formats the value using the given formatter.