This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] PATCH to expose calculation of VLA ARRAY_REFs
On Wed, Mar 05, 2003 at 04:59:40PM -0500, Jason Merrill wrote:
> On Wed, 5 Mar 2003 22:48:15 +0100, Pop Sébastian <pop at gauvain dot u-strasbg dot fr> wrote:
>
> > why not simplify_array_ref_to_plus all the ARRAY_REFs?
>
> Because currently alias set calculations work better with the ARRAY_REF
> form; with an ARRAY_REF it's clear that it references a particular
> subobject of the array. I'm not sure that this is a reason to keep it in
> the long term, though. Other thoughts?
>
It's simpler to deal with a program that contains only pointer arithmetic in
the dependence test that will be based on the ind var framework I work on:
http://polaris.cs.uiuc.edu/~pengwu/research/papers/phd-thesis.ps.gz
I think that the information gathered during the monotonic evolution pass will
make the points-to analysis more precise since we'll get a closed form of the
access function.
The ME dataflow algorithm can be run before points-to analysis, the dependence
analysis will run just after the points-to analysis.