Loading page…
Static Single Assignment: an IR property where every variable is assigned exactly once, with phi-nodes merging values at control-flow joins.
SSA turns hard dataflow problems into simple def-use lookups, which is why LLVM, GCC, V8, and HotSpot all optimize in SSA form.