sounio-compiler-mir

name	sounio-compiler-mir
description	Implement and debug Sounio MIR/SSA analyses and optimization passes (CSE/DCE/const-prop/LICM); use when editing `compiler/src/mir/` or adding MIR-level performance work.

Sounio Compiler MIR

Overview

Make safe, SSA-aware performance improvements in MIR without breaking semantics.

Workflow

1) Orient in the MIR stack

• Read docs/MIR_OPTIMIZATION_STRATEGY.md for the intended pass roadmap.
• Use references/mir-navigation.md to jump to the right module quickly.

2) When editing an existing pass (e.g., CSE)

• Confirm effect/purity assumptions:
  • Treat Call/CallIndirect as effectful unless proven pure.
  • Treat Load as unsafe for CSE without alias info (current CSE is conservative).
• Preserve SSA invariants (or mark preserves_ssa() false and re-establish SSA).

3) When adding a new MIR pass

• Implement the pass under compiler/src/mir/optimization/.
• Export it in compiler/src/mir/optimization/mod.rs.
• Register it in compiler/src/mir/optimization/pass_manager.rs if it’s in the default pipeline.
• Add focused unit tests close to the pass (see existing pass tests).

References

• MIR map + entry points: references/mir-navigation.md
• New-pass checklist: references/pass-checklist.md