On Tuesday, 24 September 2024 at 06:23:24 UTC, Walter Bright wrote: > ``` > x = x + 6 > ``` > > ``` > r1 = x > r2 = 6 > r3 = r1 + r2 > x = r3 > ``` > > The r's are only assigned once. Doesn't that just come implicitly from them being temporaries? For SSA the x's would have to be assigned only once, so the last line "x=r3", x would be renamed there.