This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Alias Analysis Improvement Patch
- From: law at redhat dot com
- To: Vladimir Makarov <vmakarov at redhat dot com>
- Cc: Andreas Jaeger <aj at suse dot de>, "Sanjiv Kumar Gupta, Noida" <sanjivg at noida dot hcltech dot com>, gcc-patches at gcc dot gnu dot org
- Date: Wed, 11 Jun 2003 19:31:01 -0600
- Subject: Re: Alias Analysis Improvement Patch
- Reply-to: law at redhat dot com
In message <3EE75443.C89F5BCE@redhat.com>, Vladimir Makarov writes:
>Andreas Jaeger wrote:
> Another question in the patch adoption is that SSA already has alias
>analysis and I don't know yet is it possible to propagate this
>information to rtl level. If there will be such mechanism, then
>probably we don't need this patch.
Richard had the rather interesting idea of having tree-ssa's alias
analysis results passed down in the alias set information carried
for MEMs.
For example, memory references that are disambiguated completely are
put into their own distinct alias sets. If we can determine that X and Y
alias each other, then we create a set for X & Y, etc etc.
The idea being (of course) to provide the RTL code with the aliasing
meta-data, especially cases were things get totally disambiguated, but
still have to live in memory.
>So I think this patch is not for approval in near future but for its
>investigation. I am going to look at this patch for ia64 platform.
Let me know what you find.
jeff