This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Patch to fix local-alloc REG_EQUIV handling
- To: John Wehle <john at feith dot com>
- Subject: Re: Patch to fix local-alloc REG_EQUIV handling
- From: Jeffrey A Law <law at redhat dot com>
- Date: Thu, 08 Mar 2001 19:10:37 -0700
- cc: gcc-patches at gcc dot gnu dot org
- Reply-To: law at redhat dot com
In message <200103060111.UAA13213@jwlab.FEITH.COM>you write:
> > > * local-alloc.c (validate_equiv_mem): Reject memory
> > > addresses which vary.
> > I'm almost certain this isn't needed.
> >
> > Why? Because validate_equiv_mem already checks for anything which
> > modifies the MEM's address. ie, even though the address varies, we
> > check explicitly for modifications in the interval we care about.
>
> Don't we have the same reload problem if the MEM's address mentions a
> pseudo? The pseudo might not be live when reload uses the REG_EQUIV.
See my previous message.
validate_equiv_mem verifies that registers in the MEM's address do not die
across the set of insns where the equivalence might be used by local or
reload.
jeff