x1 = 5 if (y > 0) x2 = 10 else x3 = 20
In the SSA format, each variable is assigned a value only once, and this value is used throughout the program. The SSA representation of a program consists of a set of assignment statements, where each assignment statement gives a name to a value and defines that value. The SSA format has two main properties: ssa format
When writing in the SSA format, consider the following tips: x1 = 5 if (y > 0) x2
x4 = phi(x2, x3)
