Module optimize 

Optimization pipeline for MIR.

Includes dead code elimination, common subexpression elimination, constant folding, loop-invariant code motion, strength reduction, SCCP, mem2reg, loop unrolling, and CFG simplification. Passes are run in a fixed order until no pass reports changes.

Modules

constant_fold

Constant folding and propagation pass.

cse

Common subexpression elimination pass.

dce

Dead code elimination pass.

licm

Loop-invariant code motion pass.

loop_unroll

Loop unrolling pass.

mem2reg

Memory-to-register promotion pass (SSA construction).

pass

Optimization pass trait definition.

sccp

Sparse conditional constant propagation pass.

simplify_cfg

CFG simplification pass.

strength_reduce

Strength reduction pass.

Functions

optimize

Run the optimization pipeline on a MIR function at the given optimization level.