possible gcse failure: not able to eliminate redundant loads

[Geoff Keating]

Richard Henderson <rth@redhat.com> writes:

> On Thu, Dec 12, 2002 at 04:02:07PM -0500, David Edelsohn wrote:
> > Richard> Both.  We hoist values read-write when we can.
> > 
> > 	GCC should but it doesn't.
> 
> My point exactly.
> 
> We have the code for it, but alias.c isn't helping.

It looks like memrefs_conflict_p is supposed to be able to prove that
a[2] and a[4] don't alias, I wonder why it's not working?

-- 
- Geoffrey Keating <geoffk@geoffk.org>