Ssa Transformation Library

SSA-form transformations and optimizations for compiler development

a5c-ai Updated 1.7k repo stars

File contents

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

  1. CFG Analysis: Analyze control flow graph
  2. Dominance: Compute dominance frontiers
  3. SSA Construction: Insert phi nodes and rename variables
  4. Optimization: Apply SSA-based optimizations
  5. Destruction: Convert back for code generation

Tools/Libraries

  • LLVM IR
  • GCC GIMPLE
  • SSA libraries

a5c-ai/babysitter/tree/main/library/specializations/domains/science/computer-science/skills/ssa-transformation-library commit 703dabc1b2

Frequently asked questions

npx skillmds@latest add a5c-ai/ssa-transformation-library