Struct NaturalLoop 

pub struct NaturalLoop {
    pub header: u64,
    pub latch: u64,
    pub body: HashSet<u64>,
    pub pre_header: HashSet<u64>,
}

A natural loop in the CFG

Fields

header: u64

Loop header (entry point)

latch: u64

Loop latch (node with back-edge to header)

body: HashSet<u64>

All nodes in the loop body

pre_header: HashSet<u64>

Predecessors outside the loop

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.