AgentSkillsCN

sounio-compiler-mir

实施并调试 Sounio MIR/SSA 分析与优化 pass（CSE/DCE/常量传播/LICM）；在编辑 `compiler/src/mir/` 或新增 MIR 层面的性能优化工作时，此技能同样不可或缺。

SKILL.md
--- frontmatter
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