Struct DomTree 

pub struct DomTree { /* private fields */ }

Implementations

impl DomTree

pub fn new() -> Self

pub fn clear(&mut self)

pub fn idom_of(&self, block: Block) -> Option<Block>

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: Block, block2: Block) -> bool

Returns true if block1 strictly dominates block2.

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

Returns true if block1 dominates block2.

pub fn compute(&mut self, cfg: &ControlFlowGraph)

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

Compute dominance frontiers of each blocks.

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

Returns true if block is reachable from the entry block.

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

Returns blocks in RPO.

Trait Implementations

impl Debug for DomTree

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

Formats the value using the given formatter.

impl Default for DomTree

fn default() -> DomTree

Returns the “default value” for a type.