possible gcse failure: not able to eliminate redundant loads

[Richard Henderson]

On Wed, Dec 11, 2002 at 08:50:01PM -0500, Daniel Berlin wrote:
> >>>       for (i ; i < 3; i = i + 8)
> >>>       {
> >>>               a[4] = a[1];
> >>>       }
[...]
> Store motion can't handle this right now.

This shouldn't have anything to do with store motion.  Not for this
simple case.  If these memories are known to not alias, then they
should be hoisted out of the loop by load_mems.

To me it's clear that this is an alias.c defect.


r~