[Bug tree-optimization/31995] can't determine dependence between p->a[x+i] and p->a[x+i+1]

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2007-05-22 00:09 -------
Subject: Bug 31995

Author: pinskia
Date: Mon May 21 23:08:54 2007
New Revision: 124927

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=124927
Log:
2007-05-21  Andrew Pinski  <[EMAIL PROTECTED]>

        PR middle-end/31995
        * tree-chrec.c (evolution_function_is_affine_multivariate_p):
        Add loopno argument.  Use evolution_function_is_invariant_rec_p
        instead of evolution_function_is_constant_p.
        Update calls to evolution_function_is_affine_multivariate_p.
        * tree-chrec.h  (evolution_function_is_affine_multivariate_p):
        Add loopno argument.
        * tree-scalar-evolution.c (gather_chrec_stats): Call
        evolution_function_is_affine_multivariate_p with a  loop
        number of 0.
        * tree-data-ref.c (analyze_miv_subscript): Likewise.
        (analyze_overlapping_iterations): Likewise.
        (access_functions_are_affine_or_constant_p):
        Likewise.
        (build_classic_dist_vector_1): If the access functions
        are equal, don't do anything.

2007-05-21  Andrew Pinski  <[EMAIL PROTECTED]>

        PR middle-end/31995
        * gcc.dg/vect/vect-102a.c: New test.



Added:
    trunk/gcc/testsuite/gcc.dg/vect/vect-102a.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-chrec.c
    trunk/gcc/tree-chrec.h
    trunk/gcc/tree-data-ref.c
    trunk/gcc/tree-scalar-evolution.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31995