Struct CFGInfo

pub struct CFGInfo {
    pub entry: Block,
    pub return_blocks: Vec<Block>,
    pub rpo: EntityVec<RPOIndex, Block>,
    pub rpo_pos: PerEntity<Block, Option<RPOIndex>>,
    pub domtree: PerEntity<Block, Block>,
    pub domtree_children: PerEntity<Block, DomtreeChildren>,
    pub def_block: PerEntity<Value, Block>,
    pub preds: PerEntity<Block, SmallVec<[Block; 4]>>,
    pub pred_pos: PerEntity<Block, SmallVec<[usize; 4]>>,
}

Auxiliary analyses of the control-flow graph.

Fields

entry: Block

Entry block.

return_blocks: Vec<Block>

Blocks that end in return.

rpo: EntityVec<RPOIndex, Block>

Reverse-postorder traversal of blocks.

rpo_pos: PerEntity<Block, Option<RPOIndex>>

Position of each block in RPO, if reachable.

domtree: PerEntity<Block, Block>

Domtree parents, indexed by block.

domtree_children: PerEntity<Block, DomtreeChildren>

Domtree children.

def_block: PerEntity<Value, Block>

Defining block for a given value.

preds: PerEntity<Block, SmallVec<[Block; 4]>>

Preds for a given block.

pred_pos: PerEntity<Block, SmallVec<[usize; 4]>>

A given block’s position in each predecessor’s successor list.

Implementations

impl CFGInfo

pub fn new(f: &FunctionBody) -> CFGInfo

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

pub fn dom_children<'a>(&'a self, block: Block) -> DomtreeChildIter<'a>

Trait Implementations

impl Clone for CFGInfo

fn clone(&self) -> CFGInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CFGInfo

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

Formats the value using the given formatter.