Static single assignment form is a property of an intermediate representation that requires each variable to be assigned exactly once and defined before it is used. Variables are split into versions, and use-def chains are explicit and contain a single element. SSA is equivalent to a subset of CPS, allowing optimizations and transformations formulated in terms of one to apply to the other.
Carnegie Mellon University
Fall 2020
Comprehensive study of compiler design and implementation, examining interaction between language design and runtime organization. Topics include program analysis, code generation, optimization, memory management.
No concepts data
+ 21 more concepts