Struct PostDomTree 

pub struct PostDomTree { /* private fields */ }

Implementations

impl PostDomTree

pub fn new() -> Self

pub fn compute(&mut self, func: &Function)

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

pub fn clear(&mut self)

pub fn compute_df(&self) -> PDFSet

Compute post dominance frontiers of each blocks.

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

Returns true if block is reachable from the exit blocks.

Trait Implementations

impl Debug for PostDomTree

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

Formats the value using the given formatter.

impl Default for PostDomTree

fn default() -> Self

Returns the “default value” for a type.