Struct CSEPass 

pub struct CSEPass { /* private fields */ }

Common Subexpression Elimination pass.

Usage:

use oxilean_codegen::opt_cse::{CSEPass, CseConfig};
let mut pass = CSEPass::new(CseConfig::default());
// pass.run(&mut decls);

Implementations

impl CSEPass

pub fn new(config: CseConfig) -> Self

Create a new CSE pass with the given configuration.

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

Run CSE over all function declarations, modifying them in place.

pub fn global_cse(&mut self, decl: &LcnfFunDecl) -> LcnfFunDecl

Perform CSE on a single function declaration.

pub fn local_cse(&mut self, expr: &LcnfExpr) -> LcnfExpr

Perform local CSE on a single expression (no cross-branch sharing).

pub fn hash_expr(&self, value: &LcnfLetValue) -> Option<ExprKey>

Compute the canonical hash key for a let-bound value.

pub fn find_available( &self, avail: &AvailableSet, value: &LcnfLetValue, ) -> Option<LcnfVarId>

Look up expr in the available set.

pub fn report(&self) -> CseReport

Return the accumulated CSE report.

Trait Implementations

impl Default for CSEPass

fn default() -> Self

Returns the “default value” for a type.