compiler-dev

SSA form transforms intermediate representation into single-static-assignment format, enabling precise data-flow analysis. This Skill provides standard templates for SSA graph construction, control-flow graph (CFG) representation, and data-flow analysis frameworks across typical compiler projects, with Maven-based testing workflows to validate optimization passes.

Effective compiler backends require explicit data structures: IR nodes representing program operations, symbol tables tracking declarations and scope, and type systems enforcing semantic correctness. This Skill covers modular, testable implementations of these components with standard designs suitable for research prototypes and educational codebases.

Control-flow graphs organize code into blocks and edges, enabling targeted optimization passes. This Skill automates CFG construction, provides data-flow templates for analysis (reaching definitions, live variables), and delivers optimization pass patterns that transform IR while preserving correctness, tested via Maven workflows.

Compiler backend development benefits from integrated symbol tables, type systems, IR construction, and data-flow analysis frameworks. This Skill satisfies those modular requirements with explicit data structures, standard templates, and a Maven-based build and test environment for backend components.

Optimization passes analyze and transform intermediate code using control-flow graphs and SSA form to identify redundancy and inefficiency. This Skill provides data-flow templates, optimization frameworks, and testable implementations that apply passes consistently across IR construction, CFG analysis, and SSA transformations.