Advanced Optimization Passes (175)
Objective: improve real-world performance via a structured MIR pipeline.
Covered passes (foundation)
- inline (candidates counted)
- loop simplification (loop simplification candidates)
- branch folding (constant branches identified)
- scalar replacement
- dead store elimination (candidates detected)
- value numbering (reserved area)
Current integration
- MIR transformation stats expose these counters in
MirTransformStats. - Pass summary includes inline/loops/branch-fold/dead-store.
- The pipeline keeps the existing CFG simplification as the main active transformation.
Next steps
- make inline/branch-fold/dead-store transformational (not just analytical),
- add cost value (cost model),
- enable inter-block value numbering.