Stefan Koch wrote:

> Well formed SSA is a little tricky to generate.
> And does not map well on hardware.
that is not what SSA is used for. ;-)

also, well-formed SSA is dead easy to generate: just don't try to be smart, and don't write "locals reuse logic" at all. other passes will take care of eliminating redunant loads and locals. and then simple linear scan register allocator will give you very surprising results. ;-)

The Great Secret of SSA is "don't be smart". each SSA pass should do only one thing, it should do it in the easiest possible way, and only care about repairing SSA damage it done. and then you can easily add more passes, and choose between generated code quality and time spent on optimising.