Struct ControlFlowGraph 

pub struct ControlFlowGraph<'m> { /* private fields */ }

The control flow graph for a particular function.

To construct a ControlFlowGraph, use FunctionAnalysis, which you can get from ModuleAnalysis.

Implementations

impl<'m> ControlFlowGraph<'m>

pub fn preds<'s>( &'s self, block: &'m Name, ) -> impl Iterator<Item = &'m Name> + 's

Get the predecessors of the basic block with the given Name

pub fn preds_of_return<'s>(&'s self) -> impl Iterator<Item = &'m Name> + 's

Get the predecessors of the special Return node, i.e., get all blocks which may directly return

pub fn succs<'s>( &'s self, block: &'m Name, ) -> impl Iterator<Item = CFGNode<'m>> + 's

Get the successors of the basic block with the given Name. Here, CFGNode::Return indicates that the function may directly return from this basic block.

pub fn entry(&self) -> &'m Name

Get the Name of the entry block for the function