ssa-transformation-library
// SSA-form transformations and optimizations for compiler development
$ git log --oneline --stat
stars:384
forks:73
updated:March 4, 2026
SKILL.mdreadonly
SKILL.md Frontmatter
namessa-transformation-library
descriptionSSA-form transformations and optimizations for compiler development
allowed-toolsBash,Read,Write,Edit,Glob,Grep
metadata[object Object]
SSA Transformation Library
Purpose
Provides expert guidance on SSA (Static Single Assignment) form transformations for compiler optimization.
Capabilities
- SSA construction (dominance-based)
- Phi node insertion and elimination
- SSA-based optimization templates
- Dominance tree computation
- Use-def chain analysis
- SSA destruction for code generation
Usage Guidelines
- CFG Analysis: Analyze control flow graph
- Dominance: Compute dominance frontiers
- SSA Construction: Insert phi nodes and rename variables
- Optimization: Apply SSA-based optimizations
- Destruction: Convert back for code generation
Tools/Libraries
- LLVM IR
- GCC GIMPLE
- SSA libraries