Struct SccInfo 

pub struct SccInfo {
    pub enter: usize,
    pub nodes: FxHashSet<usize>,
    pub exits: FxHashSet<SccExit>,
    pub backedges: Vec<(usize, usize)>,
    pub child_sccs: Vec<usize>,
}

Per-header SCC metadata used by loop-aware analyses.

Fields

enter: usize

SCC entry / representative block.

nodes: FxHashSet<usize>

SCC member set excluding enter.

exits: FxHashSet<SccExit>

Edges leaving the SCC.

backedges: Vec<(usize, usize)>

Edges inside the SCC region that go back to an earlier block or the representative.

child_sccs: Vec<usize>

Representative nodes of nested child SCCs.

Implementations

impl SccInfo

pub fn new(enter: usize) -> Self

Create empty SCC metadata for enter.

pub fn is_trivial(&self) -> bool

Returns true when this SCC contains only its representative and has no self-loop.

pub fn enter(&self) -> usize

Compatibility accessor for older callers.

Trait Implementations

impl Clone for SccInfo

fn clone(&self) -> SccInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SccInfo

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

Formats the value using the given formatter.