Static single-assignment form: Difference between revisions

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]].