Struct ControlFlowGraph

pub struct ControlFlowGraph {
    pub control_inst_on_exit_from: EntityOrientedDenseMap<ControlRegion, ControlInst>,
    pub loop_merge_to_loop_header: IndexMap<ControlRegion, ControlRegion, BuildHasherDefault<FxHasher>>,
}

The control-flow graph (CFG) of a function, as control-flow instructions (ControlInsts) attached to ControlRegions, as an “action on exit”, i.e. “terminator” (while intra-region control-flow is strictly structured).

Fields

control_inst_on_exit_from: EntityOrientedDenseMap<ControlRegion, ControlInst>

loop_merge_to_loop_header: IndexMap<ControlRegion, ControlRegion, BuildHasherDefault<FxHasher>>

Implementations

impl ControlFlowGraph

pub fn rev_post_order( &self, func_def_body: &FuncDefBody, ) -> impl DoubleEndedIterator<Item = ControlRegion>

Iterate over all ControlRegions making up func_def_body’s CFG, in reverse post-order (RPO).

RPO iteration over a CFG provides certain guarantees, most importantly that dominators are visited before the entire subgraph they dominate.

Trait Implementations

impl Clone for ControlFlowGraph

fn clone(&self) -> ControlFlowGraph

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for ControlFlowGraph

fn default() -> ControlFlowGraph

Returns the “default value” for a type.