Struct DomTree

pub struct DomTree { /* private fields */ }

Implementations

impl DomTree

pub fn compute(cfg: &ControlFlowGraph) -> Self

pub fn idom(&self, block: BasicBlockId) -> Option<BasicBlockId>

Returns the immediate dominator of the block. Returns None if the block is unreachable from the entry block, or the block is the entry block itself.

pub fn strictly_dominates( &self, block1: BasicBlockId, block2: BasicBlockId, ) -> bool

Returns true if block1 strictly dominates block2.

pub fn dominates(&self, block1: BasicBlockId, block2: BasicBlockId) -> bool

Returns true if block1 dominates block2.

pub fn is_reachable(&self, block: BasicBlockId) -> bool

Returns true if block is reachable from the entry block.

pub fn rpo(&self) -> &[BasicBlockId]

Returns blocks in RPO.

pub fn compute_df(&self, cfg: &ControlFlowGraph) -> DFSet

Compute dominance frontiers of each blocks.

Trait Implementations

impl Clone for DomTree

fn clone(&self) -> DomTree

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DomTree

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

Formats the value using the given formatter.