OpenSkillIndex← back to search
claude-codescience

Babysitter ssa-transformation-library

SSA-form transformations and optimizations for compiler development

install
source · Clone the upstream repo
git clone https://github.com/a5c-ai/babysitter
Claude Code · Install into ~/.claude/skills/
T=$(mktemp -d) && git clone --depth=1 https://github.com/a5c-ai/babysitter "$T" && mkdir -p ~/.claude/skills && cp -r "$T/library/specializations/domains/science/computer-science/skills/ssa-transformation-library" ~/.claude/skills/a5c-ai-babysitter-ssa-transformation-library && rm -rf "$T"
manifest: library/specializations/domains/science/computer-science/skills/ssa-transformation-library/SKILL.md
tags
#ssa-optimization#compiler-development#code-transformation#static-single-assignment#llvm-ir#gimple
source content

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