Module optimize 

Optimization passes for the IR.

This module provides optimization passes that transform IR modules:

• Dead Code Elimination (DCE): Remove instructions whose results are never used
• Constant Folding: Evaluate operations on constants at compile time
• Constant Propagation: Replace uses of constants with their values

Example

use ringkernel_ir::{IrModule, optimize};

let module = build_ir();
let optimized = optimize::run_all_passes(&module);

Structs

AlgebraicSimplification

Algebraic Simplification pass.

ConstantFolding

Constant Folding pass.

DeadBlockElimination

Dead Block Elimination pass.

DeadCodeElimination

Dead Code Elimination pass.

OptimizationResult

Result of running an optimization pass.

PassManager

Runs optimization passes on an IR module.

Traits

OptimizationPass

An optimization pass that transforms an IR module.

Functions

optimize

Run all standard optimization passes on a module.

run_constant_folding

Run only constant folding on a module.

run_dce

Run only DCE on a module.