IMA vs tree-ssa

[Dale Johannesen]

On Feb 26, 2004, at 3:08 PM, Richard Henderson wrote:

> On Thu, Feb 26, 2004 at 02:20:09PM -0800, Dale Johannesen wrote:
>> There are several places where tree-ssa does type comparison by
>> comparing TYPE_MAIN_VARIANT() for equality.  This doesn't work with
>> IMA, and leads to several different ICEs in various SPECmarks (you
>> can probably figure out which one the example came from :)
>
> This is a bug in IMA.  When unifying the types, you should either
> replace all of them or make all copies be variants.  Clearly the
> later is much easier than the former.

That's what Geoff thought wouldn't work.  Terrific.