This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: RTL alias analysis
- From: Richard Henderson <rth at redhat dot com>
- To: Daniel Berlin <dberlin at dberlin dot org>
- Cc: Mark Mitchell <mark at codesourcery dot com>, Steven Bosscher <steven dot bosscher at gmail dot com>, Jan Hubicka <jh at suse dot cz>, gcc at gcc dot gnu dot org
- Date: Tue, 3 Jan 2006 08:27:58 -0800
- Subject: Re: RTL alias analysis
- References: <200512292242.17272.stevenb@suse.de> <200512292353.31258.stevenb@suse.de> <20051229225838.GE11833@kam.mff.cuni.cz> <200512300015.09257.stevenb@suse.de> <200601011821.49043.steven@gcc.gnu.org> <43B81E00.6010806@codesourcery.com> <1136180749.12595.103.camel@linux.site>
On Mon, Jan 02, 2006 at 12:45:49AM -0500, Daniel Berlin wrote:
> ... the real
> solution is to transfer the information that the stack space sharing
> knows into some simple set form, and use *that directly* in alias.c, and
> check it *first*, so that if they have the same stack slot, we say there
> is a dependence, even if the memory expressions/types/etc look
> different.
... And that doesn't work for the test case, because we've
carefuly thrown away any information that might have given
us any information wrt the stack slots.
I'll have to give this some thought.
r~