IMA vs tree-ssa

[Richard Henderson]

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.


r~