Correct the precedence relation.

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

	* graphite-dependences.c (build_pairwise_scheduling): Correctly compute
	the "a followed by b" relation and document it.

From-SVN: r169204

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index fb0cf2ce8728ca6ac7fcf853bb9e267764a91ab7..f729e1048aeab0456b9b2dd6605ca1c1fb0c9d10 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2011-01-25  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-dependences.c (build_pairwise_scheduling): Correctly compute
+       the "a followed by b" relation and document it.
+
 2011-01-25  Sebastian Pop  <sebastian.pop@amd.com>
 
        * graphite-dependences.c (build_lexicographical_constraint): Stop the

diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite
index 0db1c600b0e1784b17ee47b5927f807a9bf3fe80..ab1498ad6f42e2a78494ecd94fdbb32f565471de 100644 (file)
--- a/gcc/ChangeLog.graphite
+++ b/gcc/ChangeLog.graphite
@@ -1,3 +1,8 @@
+2011-01-15  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-dependences.c (build_pairwise_scheduling): Correctly compute
+       the "a followed by b" relation and document it.
+
 2011-01-15  Sebastian Pop  <sebastian.pop@amd.com>
 
        * graphite-dependences.c (build_lexicographical_constraint): Stop the

diff --git a/gcc/graphite-dependences.c b/gcc/graphite-dependences.c
index c9bd1befe532201d129bf84d088c5d40b294f129..0164129d38e932d84e9cbf2c9a7db420418c0470 100644 (file)
--- a/gcc/graphite-dependences.c
+++ b/gcc/graphite-dependences.c
@@ -347,23 +347,28 @@ build_pairwise_scheduling (graphite_dim_t dim,
   ppl_Pointset_Powerset_C_Polyhedron_t res;
   ppl_Polyhedron_t equalities;
   ppl_Constraint_t cstr;
+  graphite_dim_t a = pos;
+  graphite_dim_t b = pos + offset;
 
   ppl_new_C_Polyhedron_from_space_dimension (&equalities, dim, 0);
 
   switch (direction)
     {
-    case -1:
-      cstr = ppl_build_relation (dim, pos, pos + offset, 1,
+    case 1:
+      /* Builds "a + 1 <= b.  */
+      cstr = ppl_build_relation (dim, a, b, 1,
                                 PPL_CONSTRAINT_TYPE_LESS_OR_EQUAL);
       break;
 
     case 0:
-      cstr = ppl_build_relation (dim, pos, pos + offset, 0,
+      /* Builds "a = b.  */
+      cstr = ppl_build_relation (dim, a, b, 0,
                                 PPL_CONSTRAINT_TYPE_EQUAL);
       break;
 
-    case 1:
-      cstr = ppl_build_relation (dim, pos, pos + offset, -1,
+    case -1:
+      /* Builds "a >= b + 1.  */
+      cstr = ppl_build_relation (dim, a, b, -1,
                                 PPL_CONSTRAINT_TYPE_GREATER_OR_EQUAL);
       break;