Re: SSA without phi

On May 7, 1:44 pm, "Inderaj Bains" <inde...@xxxxxxxxx> wrote:
That is incorrect. Leaving SSA does not require register allocation,
renaming plus color-out can guarantee dropping remaining names is
correct.

That is the same as register allocation for an unbounded set of
registers. I'm not sure why you mean by "color-out", but you'd have to
track liveness and conflicts to accomplish the renaming at which point
you're very close to a full allocator.

My main point was that just dropping the subscripts doesn't work.

Also retaining some names can be very useful for a production
compiler for debugging purposes

Certainly.

Tommy

.