Polyhedron benchmark results on AMD64

[Daniel Berlin]

On 2/9/07, Richard Guenther <richard.guenther@gmail.com> wrote:
> 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.


If you throw a bitmap or something of arg info in the graph nodes (or
edges, since it can be context-sensitive), i'm happy to do the rest.