The Static Single Information Form - FLEX - C Scott Ananian 2025

The document presents the Static Single Information (SSI) form, a compiler intermediate representation designed to enhance program analysis and optimization. It builds upon the Static Single Assignment (SSA) form, introducing features that facilitate efficient sparse implementations of predicated analysis and backward dataflow algorithms. The SSI form is characterized by its ability to handle both forward and reverse dataflow analyses without explicit control dependencies, making it suitable for advanced compiler techniques. The document also discusses an extension called SSI+, which addresses limitations in handling loops and imperative constructs, allowing for greater parallelism in execution. Applications of SSI include abstract interpretation and hardware compilation, demonstrating its practical utility in modern compiler design.