Struct TestCfg 

pub struct TestCfg {
    pub entry: BlockId,
    pub exits: HashSet<BlockId>,
    pub error_blocks: HashSet<BlockId>,
    pub successors: HashMap<BlockId, Vec<BlockId>>,
    pub predecessors: HashMap<BlockId, Vec<BlockId>>,
}

Test CFG structure for unit tests.

Fields

entry: BlockId

Entry block ID

exits: HashSet<BlockId>

Exit block IDs (may be multiple in real CFG)

error_blocks: HashSet<BlockId>

Error/panic blocks

successors: HashMap<BlockId, Vec<BlockId>>

Successors: block -> list of successor blocks

predecessors: HashMap<BlockId, Vec<BlockId>>

Predecessors: block -> list of predecessor blocks

Implementations

impl TestCfg

pub fn new(entry: BlockId) -> Self

Creates a new empty test CFG.

pub fn add_edge(&mut self, from: BlockId, to: BlockId) -> &mut Self

Adds an edge from from to to.

pub fn add_exit(&mut self, block: BlockId) -> &mut Self

Marks a block as an exit block.

pub fn add_error(&mut self, block: BlockId) -> &mut Self

Marks a block as an error block.

pub fn chain(start: i64, count: usize) -> Self

Builds a chain of blocks: 0 -> 1 -> 2 -> … -> n

pub fn if_else() -> Self

Builds a simple if-else CFG.

pub fn simple_loop() -> Self

Builds a simple loop CFG.

pub fn enumerate_paths(&self) -> Vec<Path>

Enumerates all paths from entry to exits using DFS.

pub fn compute_dominators(&self) -> DominatorTree

Computes the dominator tree using the iterative algorithm.

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

Detects natural loops using back-edge detection.

Trait Implementations

impl Clone for TestCfg

fn clone(&self) -> TestCfg

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TestCfg

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

Formats the value using the given formatter.