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