Struct DominanceAnalysis 

pub struct DominanceAnalysis {
    pub idom: HashMap<usize, usize>,
    pub dominance_frontier: HashMap<usize, HashSet<usize>>,
    pub post_dominators: HashMap<usize, HashSet<usize>>,
}

Dominance analysis result.

Fields

idom: HashMap<usize, usize>

Immediate dominator of each node

dominance_frontier: HashMap<usize, HashSet<usize>>

Dominance frontiers

post_dominators: HashMap<usize, HashSet<usize>>

Post-dominators

Implementations

impl DominanceAnalysis

pub fn new() -> Self

Create a new dominance analysis.

pub fn get_idom(&self, node: usize) -> Option<usize>

Get immediate dominator of a node.

pub fn dominates(&self, dom: usize, node: usize) -> bool

Check if dom dominates node.

pub fn get_frontier(&self, node: usize) -> HashSet<usize>

Get dominance frontier of a node.

pub fn get_post_dominators(&self, node: usize) -> HashSet<usize>

Get post-dominators of a node.

Trait Implementations

impl Clone for DominanceAnalysis

fn clone(&self) -> DominanceAnalysis

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DominanceAnalysis

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

Formats the value using the given formatter.

impl Default for DominanceAnalysis

fn default() -> Self

Returns the “default value” for a type.