Struct StrengthReductionPass 

pub struct StrengthReductionPass { /* private fields */ }

The strength-reduction optimization pass.

Usage:

use oxilean_codegen::opt_strength::{StrengthReductionPass, StrengthConfig};
let mut pass = StrengthReductionPass::new(StrengthConfig::default());
// pass.run(&mut decls);

Implementations

impl StrengthReductionPass

pub fn new(config: StrengthConfig) -> Self

Create a new pass with the given configuration.

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

Run strength reduction on all function declarations.

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

Apply strength reduction to a single expression.

pub fn detect_induction_vars( &self, decl: &LcnfFunDecl, ) -> Vec<InductionVariable>

Detect induction variables in a function declaration.

A simple heuristic: look for parameters whose name contains “i”, “n”, “k”, or “idx”, and where the recursive tail call increments that parameter by a constant step.

pub fn reduce_iv_uses( &mut self, expr: &LcnfExpr, iv: &InductionVariable, ) -> LcnfExpr

Apply operator strength reduction for a known induction variable.

Rewrites uses of a * iv + b within expr (where iv is the induction variable’s LcnfVarId) into uses of a helper variable that is updated by cheaper additions.

pub fn report(&self) -> StrengthReport

Return the accumulated report.

Trait Implementations

impl Default for StrengthReductionPass

fn default() -> Self

Returns the “default value” for a type.