Struct ControlDependence 

pub struct ControlDependence { /* private fields */ }

Which branches decide whether a block runs.

This is the post-dominance frontier under the name a pass would look for. A block is control dependent on a branch when one arm of the branch always reaches it and the other does not have to, so the branch is what a pass has to keep in order to keep the block meaningful.

Implementations

impl ControlDependence

pub fn new(cfg: &Cfg, post: &PostDominators) -> Self

Builds the relation for every block.

pub fn on(&self, block: Block) -> &[Block]

The blocks whose terminator decides whether this one runs.

Empty for a block that runs whenever the function runs, which is the entry and every block that post-dominates it.

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

Whether this block runs whatever any branch decides.

Trait Implementations

impl Clone for ControlDependence

fn clone(&self) -> ControlDependence

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ControlDependence

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

Formats the value using the given formatter.

impl Default for ControlDependence

fn default() -> ControlDependence

Returns the “default value” for a type.

impl Eq for ControlDependence

impl PartialEq for ControlDependence

fn eq(&self, other: &ControlDependence) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ControlDependence