Struct llhd::analysis::DominatorTree

pub struct DominatorTree { /* fields omitted */ }

A block dominator tree.

Records for every block which other blocks in the CFG have to be traversed to reach it. And vice versa, which blocks a block precedeces in all cases.

Methods

impl DominatorTree

pub fn new(unit: &Unit, pred: &PredecessorTable) -> Self

Deprecated since 0.13.0:

use unit.domtree() instead

Compute the dominator tree of a function or process.

This implementation is based on 1.

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

Get the blocks in the original CFG in post-order.

pub fn block_order(&self, block: Block) -> usize

Get the post-order index of a block.

pub fn dominates(&self, dominator: Block, follower: Block) -> bool

Check if a block dominates another.

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

Get the immediate dominator of a block.

pub fn dominators(&self, follower: Block) -> &HashSet<Block>

Get the dominators of a block.

pub fn dominated_by(&self, dominator: Block) -> &HashSet<Block>

Get the followers of a block, i.e. the blocks it dominates.

pub fn block_dominates_block(&self, parent: Block, child: Block) -> bool

Check if a block dominates another block.

pub fn inst_dominates_block(
    &self,
    unit: &Unit,
    parent: Inst,
    child: Block
) -> bool

Check if an instruction dominates a block.

pub fn value_dominates_block(
    &self,
    unit: &Unit,
    parent: Value,
    child: Block
) -> bool

Check if a value definition dominates a block.

pub fn block_dominates_inst(
    &self,
    unit: &Unit,
    parent: Block,
    child: Inst
) -> bool

Check if a block dominates an instruction.

A block does not dominate instructions within itself.

pub fn inst_dominates_inst(
    &self,
    unit: &Unit,
    parent: Inst,
    child: Inst
) -> bool

Check if an instruction dominates another instruction.

pub fn value_dominates_inst(
    &self,
    unit: &Unit,
    parent: Value,
    child: Inst
) -> bool

Check if a value definition dominates an instruction.

pub fn block_dominates_value(
    &self,
    unit: &Unit,
    parent: Block,
    child: Value
) -> bool

Check if a block dominates a value definition.

A block does not dominate values within itself.

pub fn inst_dominates_value(
    &self,
    unit: &Unit,
    parent: Inst,
    child: Value
) -> bool

Check if an instruction dominates a value definition.

pub fn value_dominates_value(
    &self,
    unit: &Unit,
    parent: Value,
    child: Value
) -> bool

Check if a value definition dominates another value definition.

Trait Implementations

impl Clone for DominatorTree

fn clone(&self) -> DominatorTree

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DominatorTree

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

Formats the value using the given formatter.