Polyhedron benchmark results on AMD64
Richard Guenther
richard.guenther@gmail.com
Fri Feb 9 21:15:00 GMT 2007
On 2/9/07, Paul Richard Thomas <paul.richard.thomas@gmail.com> wrote:
> Please excuse me if this breaks the thread; I am not in a position to
> reply directly to the list for the next 24hours.
>
> Diego,
>
> > OK, thanks. With the two or three cases in the PRs, I think we have enough to
> > work on for now. From what I've seen, one of the main problems with Fortran and
> > aliasing is the pass-by-reference rule in Fortran. This often tricks alias analysis
> > into overstating the amount of call-clobbered variables.
>
> Can we do something in the frontend to overcome the pass-by-reference
> rule? Can some of the analysis be done where we have the information
> and the variables be marked up ins some way?
We need middle-end support to annotate function parameters as
read-only and/or non-escaping. It's not hard to add really - just somebody
needs to do the work ;)
Let's see if I can find some spare weekend minutes.
Richard.
More information about the Fortran
mailing list