Relax the definition of same_pdr_p.

2011-01-25  Sebastian Pop  <sebastian.pop@amd.com>

	* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@169210 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 061bc61..4337903 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
 2011-01-25  Sebastian Pop  <sebastian.pop@amd.com>
 
+       * 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  <sebastian.pop@amd.com>
+
        * 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 (file)
--- a/gcc/ChangeLog.graphite
+++ b/gcc/ChangeLog.graphite
@@ -1,5 +1,11 @@
 2011-01-17  Sebastian Pop  <sebastian.pop@amd.com>
 
+       * 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  <sebastian.pop@amd.com>
+
        * 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 (file)
--- 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 (file)
--- 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);
 }