Struct ForwardControlFlowGraph 

pub struct ForwardControlFlowGraph {
    pub root: usize,
    pub predecessors: Vec<Vec<usize>>,
    pub successors: Vec<Vec<usize>>,
    pub dominators: DominatorTree,
    pub dominance_frontier: Vec<Vec<usize>>,
    pub sccs: Vec<StronglyConnectedRegion>,
    pub scc_for_block: Vec<usize>,
    pub loops: Vec<NaturalLoop>,
}

Forward-only CFG analysis used by SSA construction and machine backends.

Unlike ControlFlowGraph, this does not construct postdominators or control dependence. SCC membership is retained because loop-sensitive placement needs to reject irreducible cycles without materializing the potentially dense reverse/control-dependence graphs.

Fields

root: usize

predecessors: Vec<Vec<usize>>

successors: Vec<Vec<usize>>

dominators: DominatorTree

dominance_frontier: Vec<Vec<usize>>

sccs: Vec<StronglyConnectedRegion>

scc_for_block: Vec<usize>

loops: Vec<NaturalLoop>

Implementations

impl ForwardControlFlowGraph

pub fn analyze( successors: Vec<Vec<usize>>, root: usize, ) -> Result<Self, CfgError>

Analyze the forward properties of a graph without changing block IDs.

pub fn analyze_structure( successors: Vec<Vec<usize>>, root: usize, ) -> Result<Self, CfgError>

Analyze dominance, loops, and SCCs without constructing a dominance frontier.

This is for placement clients which issue dominance queries but do not construct SSA. The returned frontier table has one empty entry per block so accidental frontier use is explicit in tests and diagnostics.

Trait Implementations

impl Clone for ForwardControlFlowGraph

fn clone(&self) -> ForwardControlFlowGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ForwardControlFlowGraph

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

Formats the value using the given formatter.

impl Eq for ForwardControlFlowGraph

impl PartialEq for ForwardControlFlowGraph

fn eq(&self, other: &ForwardControlFlowGraph) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl SsaCfg for ForwardControlFlowGraph

type FrontierIter<'a> = Copied<Iter<'a, usize>>

fn root(&self) -> usize

fn predecessors(&self) -> &[Vec<usize>]

fn successors(&self) -> &[Vec<usize>]

fn dominator_children(&self) -> &[Vec<usize>]

fn dominance_frontier_len(&self) -> usize

fn dominance_frontier(&self, block: usize) -> Self::FrontierIter<'_>

impl StructuralPartialEq for ForwardControlFlowGraph