This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] ipa aliasing analysis


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.

:)



Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]