Content deleted Content added
fix grammar |
Sammi Brie (talk | contribs) Adding local short description: "Property of an intermediate representation in a compiler", overriding Wikidata description "intermediate representation (IR) in which each variable is assigned exactly once, and every variable is defined before it is used" |
||
Line 1:
{{Short description|Property of an intermediate representation in a compiler}}
In [[compiler]] design, '''static single assignment form''' (often abbreviated as '''SSA form''' or simply '''SSA''') is a property of an [[intermediate representation]] (IR) that requires each [[Variable (computer science)|variable]] to be [[Assignment (computer science)|assigned]] exactly once and defined before it is used. Existing variables in the original IR are split into ''versions'', new variables typically indicated by the original name with a subscript in textbooks, so that every definition gets its own version. In SSA form, [[use-define chain|use-def chains]] are explicit and each contains a single element.
| |||