Static Single Assignment (SSA) is a form of intermediate representation used in the compiler’s back end where:
- Each variable is assigned exactly once.
- Each block has a single branch statement at the very end.
It simplifies the program structure and enables many optimizations.
