> PCC, to the best of my knowledge is still in the [very early] planning
> stages. One of its design choices would be to go pure SSA. Another
> option, closer to GCC (RTL), would be to retain existing code-gen
> passes. Tough choices.
I'm not sure why it's such a big deal, except that everything in gcc
is a big deal because gcc is such a mess inside.
Moving an existing representation to SSA just requires adding phi
nodes to the representation, writing a check pass to enforce the
single assignment property, and updating existing passes to maintain
the property -- in a language without proper algebraic data types this
is a bigger deal than otherwise but it does not seem like a
particularly major undertaking. Unless the representation is totally
wrong in other ways that need to be rectified first.