x = 1 y = 2 a = x + y a = a + 3 b = x + y Static single assignment form (SSA form) (a) Normal form x 1 = 1 y 1 = 2 a 1 = x 1 + y 1 a 2 = a 1 + 3 b 1 = x 1 + y 1 (b) SSA form Only one definition for each variable.
{}