This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: possible gcse failure: not able to eliminate redundant loads
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~
>