This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[Fortran Ping] Improved dependency analysis of pointer variables
- From: Roger Sayle <roger at eyesopen dot com>
- To: fortran at gcc dot gnu dot org
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Fri, 24 Mar 2006 22:15:44 -0700 (MST)
- Subject: [Fortran Ping] Improved dependency analysis of pointer variables
Now that the gfc_are_equivalenced_arrays bug, that was discovered during
the discussion of my original posting, has been resolved, I thought I'd
ping the original change itself after over a week.
Could a gfortran maintainer please take a look at:
http://gcc.gnu.org/ml/gcc-patches/2006-03/msg01005.html
As mentioned in the previous discussion, it should be possible to do
even better than this "type based aliasing resolution", using the
TARGET attribute, but (1) this may require fixing some TARGET issues,
and (2) is complementary to my proposed change (a follow-up/enhancement
patch). Even with accurate TARGET tracking, a pointer and a variable
with a target attribute can still be resolved as not aliasing based
upon their types. This change is sufficient to reduce the number of
calls to malloc in polyhedron's capacita.f90 (which appears to be the
only program in that suite where pointers complicate dependency analysis).
Many thanks in advance. More dependency.c improvements to follow.
Roger
--