Feb. 5, 2021
11:35 p.m.
On 5/02/21 8:51 pm, Paul Sokolovsky wrote:
a = 0 while a < 5: a += 1 ----
becomes:
---- a0 = 0 while (a1 := phi(a0, a2)) < 5: a2 = a1 + 1
SSA seems to be something intended for compilers to use as an intermediate representation, not something to actually write code in. So I'm puzzled as to why you would want to do this. Also, what definition do you have in mind for phi? It doesn't seem to be something you can implement as a real function. -- Greg