# SSA/IR Design Skill

Expert skill for designing intermediate representations and implementing SSA construction.

## Quick Reference

- **Category**: Compiler Middle-end
- **ID**: SK-006

## Key Capabilities

- Control flow graph (CFG) structure design
- Dominance tree computation
- SSA construction algorithms (Cytron et al.)
- Phi function placement and pruning
- SSA destruction for register allocation
- Sea-of-nodes IR representations
- Basic block reordering
- IR verification passes

## When to Use

Use this skill when implementing:
- Intermediate representation design
- SSA-based optimization infrastructure
- Control flow analysis
- Dataflow analysis foundations
- Compiler middle-end passes

## Related Skills

- llvm-backend (SK-005)
- register-allocation (SK-007)
- jit-compilation (SK-011)
