This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] ipa aliasing analysis
- From: Daniel Berlin <dberlin at dberlin dot org>
- To: Olga Golovanevsky <OLGA at il dot ibm dot com>
- Cc: gcc-patches at gcc dot gnu dot org, Jan Hubicka <jh at suse dot cz>, Kenneth Zadeck <zadeck at naturalbridge dot com>, Ayal Zaks <ZAKS at il dot ibm dot com>, Mircea Namolaru <NAMOLARU at il dot ibm dot com>, Razya Ladelsky <RAZYA at il dot ibm dot com>
- Date: Sat, 30 Apr 2005 12:27:00 -0400
- Subject: Re: [PATCH] ipa aliasing analysis
- References: <OF3D3C2B4C.A8EDF48E-ONC2256FF2.00587DBF-C2256FF3.004B0C57@il.ibm.com>
On Sat, 2005-04-30 at 16:39 +0300, Olga Golovanevsky wrote:
>
>
>
> This patch is an initial version of interprocedural
> alias analysis (ipaa) for tree-profilinf branch. It is
> based on the paper by Cooper and Kennedy:
>
> http://www.cs.wisc.edu/~cs701-1/PAPERS/CooperKennedyPOPL89.pdf
>
> The flag is "-fipa-alias".
>
> The analysis calculates aliasing for pairs of formals. The
> possible analysis results are: non_alias, must_alias,
> may_alias and do_not_know. They can be seen in dump file
> <file_name>.c.i02.alias, when trying the relevant testcases
> (attached below).
In other words, it disambiguates function arguments.
:)