From ba85844784fbb14ff68f8b5e8bd1f78365f487fc Mon Sep 17 00:00:00 2001 From: Sebastian Pop Date: Tue, 25 Jan 2011 06:46:56 +0000 Subject: Relax the definition of same_pdr_p. 2011-01-25 Sebastian Pop * graphite-dependences.c (new_poly_ddr): Call same_pdr_p. * graphite-poly.h (same_pdr_p): Do not expect that the PDR_TYPE of both data references to be the same. From-SVN: r169210 --- gcc/ChangeLog | 6 ++++++ gcc/ChangeLog.graphite | 6 ++++++ gcc/graphite-dependences.c | 3 +-- gcc/graphite-poly.h | 3 +-- 4 files changed, 14 insertions(+), 4 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 061bc61..4337903 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2011-01-25 Sebastian Pop + * graphite-dependences.c (new_poly_ddr): Call same_pdr_p. + * graphite-poly.h (same_pdr_p): Do not expect that the PDR_TYPE + of both data references to be the same. + +2011-01-25 Sebastian Pop + * graphite-dependences.c (build_lexicographical_constraint): Remove the gdim parameter. (build_lexicographical_constraint): Adjust call to ppl_powerset_is_empty. diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite index 5a1ed00..f4a0fc1 100644 --- a/gcc/ChangeLog.graphite +++ b/gcc/ChangeLog.graphite @@ -1,5 +1,11 @@ 2011-01-17 Sebastian Pop + * graphite-dependences.c (new_poly_ddr): Call same_pdr_p. + * graphite-poly.h (same_pdr_p): Do not expect that the PDR_TYPE + of both data references to be the same. + +2011-01-17 Sebastian Pop + * graphite-dependences.c (build_lexicographical_constraint): Remove the gdim parameter. (build_lexicographical_constraint): Adjust call to ppl_powerset_is_empty. diff --git a/gcc/graphite-dependences.c b/gcc/graphite-dependences.c index 58549b7..d45c7ce 100644 --- a/gcc/graphite-dependences.c +++ b/gcc/graphite-dependences.c @@ -531,8 +531,7 @@ new_poly_ddr (poly_dr_p pdr1, poly_dr_p pdr2, PDDR_KIND (res) = unknown_dependence; else if (!(pdr_read_p (pdr1) && pdr_read_p (pdr2)) - && PDR_BASE_OBJECT_SET (pdr1) == PDR_BASE_OBJECT_SET (pdr2) - && PDR_NB_SUBSCRIPTS (pdr1) == PDR_NB_SUBSCRIPTS (pdr2) + && same_pdr_p (pdr1, pdr2) && may_alias) { PDDR_DDP (res) = dependence_polyhedron (pdr1, pdr2, direction, diff --git a/gcc/graphite-poly.h b/gcc/graphite-poly.h index 8be905e..3bf87b0 100644 --- a/gcc/graphite-poly.h +++ b/gcc/graphite-poly.h @@ -301,8 +301,7 @@ pdr_may_write_p (poly_dr_p pdr) static inline bool same_pdr_p (poly_dr_p pdr1, poly_dr_p pdr2) { - return PDR_TYPE (pdr1) == PDR_TYPE (pdr2) - && PDR_NB_SUBSCRIPTS (pdr1) == PDR_NB_SUBSCRIPTS (pdr2) + return PDR_NB_SUBSCRIPTS (pdr1) == PDR_NB_SUBSCRIPTS (pdr2) && PDR_BASE_OBJECT_SET (pdr1) == PDR_BASE_OBJECT_SET (pdr2); } -- cgit v1.1