Content deleted Content added
"each contain" --> "each contains" |
No edit summary |
||
Line 1:
In [[compiler theory]], '''static single assignment form''', more often abbreviated '''SSA form''' or just '''SSA''', is an [[intermediate representation]] (IR) in which every variable is assigned exactly once. Existing variables in the original IR are split into <i>versions</i>, new variables typically indicated by the original name with a subscript, so that every definition gets its own version. In SSA form, [[use-def chains]] are explicit and each contains a single element.
SSA was developed by researchers at [[International Business Machines|IBM]] in the [[1980s]].
|