Struct ControlFlowGraph 

pub struct ControlFlowGraph { /* private fields */ }

Control Flow Graph for a function.

Implementations

impl ControlFlowGraph

pub fn new() -> Self

Create a new CFG for a function.

pub fn new_block(&mut self) -> usize

Create a new basic block in the CFG.

pub fn add_edge( &mut self, from: usize, to: usize, label: impl Into<String>, ) -> AnalysisResult<()>

Add an edge from one block to another.

pub fn add_statement( &mut self, block_id: usize, stmt: Statement, ) -> AnalysisResult<()>

Add a statement to a block.

pub fn mark_exit(&mut self, block_id: usize) -> AnalysisResult<()>

Mark a block as an exit block.

pub fn compute_dominance(&mut self) -> AnalysisResult<()>

Compute dominance relationships.

pub fn dominates(&self, a: usize, b: usize) -> bool

Check if block a dominates block b.

pub fn detect_loops(&mut self) -> AnalysisResult<Vec<Loop>>

Detect loops in the CFG.

pub fn reachable(&self, from: usize) -> AnalysisResult<Vec<usize>>

Get all reachable blocks from a starting block.

pub fn entry(&self) -> usize

Get entry block ID.

pub fn exits(&self) -> Vec<usize>

Get exit block IDs.

pub fn block_count(&self) -> usize

Get block count.

Trait Implementations

impl Clone for ControlFlowGraph

fn clone(&self) -> ControlFlowGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ControlFlowGraph

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

Formats the value using the given formatter.

impl Default for ControlFlowGraph

fn default() -> Self

Returns the “default value” for a type.