Struct SccDetector 

struct SccDetector {
    successors: Vec<Vec<BasicBlock>>,
    components: Vec<Vec<usize>>,
}

Adapter that lets the shared SCC utility run over a MIR CFG.

Fields

successors: Vec<Vec<BasicBlock>>

components: Vec<Vec<usize>>

Implementations

impl SccDetector

fn new(successors: Vec<Vec<BasicBlock>>) -> Self

Create an SCC detector over a concrete successor list.

Trait Implementations

impl Scc for SccDetector

fn on_scc_found(&mut self, _root: usize, scc_components: &[usize])

Store every SCC discovered by the shared Tarjan utility.

fn get_next(&mut self, root: usize) -> FxHashSet<usize>

Return outgoing successor indices for the SCC traversal.

fn get_size(&mut self) -> usize

Return the number of CFG nodes in the detector graph.

fn find_scc(&mut self)

Run SCC discovery from CFG entry block 0.

fn find_scc_from(&mut self, start: usize)

Run SCC discovery from a specific start node.

fn tarjan( &mut self, index: usize, stack: &mut Vec<usize>, instack: &mut FxHashSet<usize>, dfn: &mut Vec<usize>, low: &mut Vec<usize>, time: &mut usize, )

Recursive Tarjan traversal.