Struct OptimizationPipeline 

pub struct OptimizationPipeline {
    pub passes: Vec<Box<dyn Fn(&Program) -> Program>>,
    pub pass_names: Vec<String>,
    pub max_iterations: usize,
}

A configurable pipeline of optimization passes.

Passes are applied in order. The pipeline can be run multiple times until no further reductions occur (fixed-point iteration).

Fields

passes: Vec<Box<dyn Fn(&Program) -> Program>>

pass_names: Vec<String>

max_iterations: usize

Implementations

impl OptimizationPipeline

pub fn new() -> Self

pub fn add_pass<F: Fn(&Program) -> Program + 'static>( self, name: &str, pass: F, ) -> Self

pub fn run_once(&self, program: &Program) -> OptimizationResult

Run all passes once.

pub fn run_to_fixed_point(&self, program: &Program) -> OptimizationResult

Run passes repeatedly until the program stops changing or max iterations reached.