static single assignment form
intermediate representation (IR) in which each variable is assigned exactly once, and every variable is defined before it is used
intermediate representation (IR) in which each variable is assigned exactly once, and every variable is defined before it is used