Re:Static Single Assignment Book [pdf]
by rurban on Tuesday April 14, 2015 @05:48PM
(#9377596)
Why SSA? Please also read the first chapter.
What: The IR (internal represention) is in SSA form is if every variable is defined once, and every use of a variable refers to exactly one definition.
Think of const-only or functional programming, without any assignment statements. In SSA you can have only one lvalue, and multiple writes to the same variable in different branches are split into so-called phi merges, with a renamed final variable.
Why? It's the basis for most compiler optimizations.
You can write compilers without, but for most optimizations you'll need to convert to SSA.
For whom? For compiler and optimizer writers. People who like to optimize their programs to get better performance.
What: The IR (internal represention) is in SSA form is if every variable is defined once, and every use of a variable refers to exactly one definition. Think of const-only or functional programming, without any assignment statements. In SSA you can have only one lvalue, and multiple writes to the same variable in different branches are split into so-called phi merges, with a renamed final variable.
Why? It's the basis for most compiler optimizations. You can write compilers without, but for most optimizations you'll need to convert to SSA.
For whom? For compiler and optimizer writers. People who like to optimize their programs to get better performance.