Fw: [PATCH] ipa aliasing analysis

Steven Bosscher stevenb@suse.de
Mon May 2 00:29:00 GMT 2005


On Sunday 01 May 2005 13:59, Steven Bosscher wrote:
> On Saturday 30 April 2005 15:53, 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
>
> Unfortunately this link is broken :-(  I can't find another PS/PDF
> reference...

Did you also use this paper by Mayer and Wolfe,
"InterProcedural Alias Analysis: Implementation and Empirical Results"?

It mentions a mistake in Cooper's paper.  They also use a worklist
instead of the pair-binding graph (Pi-graph, whatever).  What does your
implementation use?

Mayer&Wolfe can be downloaded from Citeseer here:
http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/vol23/issue11/spe859.pdf

Gr.
Steven



More information about the Gcc-patches mailing list