possible gcse failure: not able to eliminate redundant loads

[Daniel Berlin]

On Thu, 12 Dec 2002, Richard Henderson wrote:

> 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.

a[4] = is a store.
>  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.
Maybe the load, but not the store.

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