Agent Skills: SSA Transformation Library

SSA-form transformations and optimizations for compiler development

compiler-optimizationID: a5c-ai/babysitter/ssa-transformation-library

Install this agent skill to your local

pnpm dlx add-skill https://github.com/a5c-ai/babysitter/tree/HEAD/plugins/babysitter/skills/babysit/process/specializations/domains/science/computer-science/skills/ssa-transformation-library

Skill Files

Browse the full folder contents for ssa-transformation-library.

Download Skill

Loading file tree…

plugins/babysitter/skills/babysit/process/specializations/domains/science/computer-science/skills/ssa-transformation-library/SKILL.md

Skill Metadata

Name
ssa-transformation-library
Description
SSA-form transformations and optimizations for compiler development

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