菜单
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.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
| 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. |
Make safe, SSA-aware performance improvements in MIR without breaking semantics.
docs/MIR_OPTIMIZATION_STRATEGY.md for the intended pass roadmap.references/mir-navigation.md to jump to the right module quickly.Call/CallIndirect as effectful unless proven pure.Load as unsafe for CSE without alias info (current CSE is conservative).preserves_ssa() false and re-establish SSA).compiler/src/mir/optimization/.compiler/src/mir/optimization/mod.rs.compiler/src/mir/optimization/pass_manager.rs if it’s in the default pipeline.references/mir-navigation.mdreferences/pass-checklist.mdType-check a Sounio .sio file using the souc compiler
JIT-execute a Sounio .sio file and show output
Type-check a Sounio .sio file using the souc compiler
Compile and run a Sounio .sio file and show output
Work on the self-hosted Sounio compiler bootstrap path: self-hosted/main.sio pipeline modes (--lex, --parse, --check, --ir-dump, --native-compile), frontend corpus gates, and bootstrap binary milestones.
Work on the native x86-64 code generation backend: register allocation, instruction encoding, peephole optimization, frame sizing, ELF output, and the compile_ir_function pipeline; use when editing any sprint 52–65+ native/*.sio files.