Struct DSEPass 

pub struct DSEPass { /* private fields */ }

The main Dead Store Elimination pass.

Implementations

impl DSEPass

pub fn new(config: DeadStoreConfig) -> Self

pub fn run(&mut self, decls: &mut [LcnfFunDecl])

Run the DSE pass over all function declarations, removing dead stores in-place.

pub fn compute_liveness(&self, decl: &LcnfFunDecl) -> LivenessInfo

Compute liveness information for all variables in decl using a backward dataflow pass.

pub fn find_dead_stores( &mut self, decl: &LcnfFunDecl, liveness: &LivenessInfo, ) -> HashSet<LcnfVarId>

Identify variables that are defined but never used (dead stores).

Returns the set of variable ids whose let-bindings can be removed.

pub fn eliminate_dead_stores( &self, decl: &mut LcnfFunDecl, dead: &HashSet<LcnfVarId>, )

Remove all let-bindings for variables in dead from decl.body.

pub fn report(&self) -> DSEReport

Return a copy of the accumulated statistics report.

Trait Implementations

impl Default for DSEPass

fn default() -> Self

Returns the “default value” for a type.