ssair-design

# SSA/IR Design Skill ## Overview Expert skill for designing intermediate representations and implementing SSA (Static Single Assignment) construction. ## Capabilities - Design control flow graph (CFG) structures - Implement dominance tree computation - Implement SSA construction algorithms (Cytron et al.) - Design phi function placement and pruning - Implement SSA destruction for register allocation - Design sea-of-nodes IR representations - Implement basic block reordering - Design IR verification passes ## Target Processes - ir-design.js - code-generation-llvm.js - jit-compiler-development.js - semantic-analysis.js ## Dependencies Compiler optimization textbooks (Engineering a Compiler, Modern Compiler Implementation) ## Usage Guidelines 1. **CFG Design**: Start with a clear CFG representation with explicit entry/exit blocks 2. **Dominance**: Implement dominance computation before SSA construction 3. **Phi Placement**: Use dominance frontiers for minimal phi placement 4. **Verification**: Build IR verification passes to catch malformed IR early 5. **Debugging**: Include IR pretty-printing from the start for debugging ## Output Schema ```json { "type": "object", "properties": { "irStyle": { "type": "string", "enum": ["basic-blocks", "sea-of-nodes", "continuation-passing"] }, "ssaConstruction": { "type": "string", "enum": ["cytron", "braun", "sreedhar"] }, "passes": { "type": "array", "items": { "type": ...