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