SSA form

27 April 2016

Resources:

• Frank Pfenning’s notes from CMU: https://www.cs.cmu.edu/~fp/courses/15411-f08/lectures/09-ssa.pdf

• Book draft about SSA: http://ssabook.gforge.inria.fr/latest/book.pdf

Most intermediate representations use some variant of Static Single Assignment (SSA) form. In this format, each variable (temporary) is assigned exactly once, at one location in the code. This simplifies compiler analysis and optimization by tracking values rather than storage locations.

PDF