◄ Wiki / Build
SSA IR
A compiler's internal representation where every variable is assigned exactly once, making code easy to analyze and optimize.
Static Single Assignment form rewrites code so each variable has a single definition, with special merge nodes where control flow joins. This makes it far easier for a compiler (or JIT) to track how values flow and to apply optimizations. A JIT with a custom SSA IR uses this form as the workbench where it analyzes and speeds up code before emitting machine instructions.