From 5168d98f3d2f48196f3f7f33906492f5e5b22275 Mon Sep 17 00:00:00 2001 From: Sebastian Pop Date: Tue, 25 Jan 2011 06:45:42 +0000 Subject: [PATCH] Correct the precedence relation. 2011-01-25 Sebastian Pop * graphite-dependences.c (build_pairwise_scheduling): Correctly compute the "a followed by b" relation and document it. From-SVN: r169204 --- gcc/ChangeLog | 5 +++++ gcc/ChangeLog.graphite | 5 +++++ gcc/graphite-dependences.c | 15 ++++++++++----- 3 files changed, 20 insertions(+), 5 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index fb0cf2ce8728..f729e1048aea 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2011-01-25 Sebastian Pop + + * graphite-dependences.c (build_pairwise_scheduling): Correctly compute + the "a followed by b" relation and document it. + 2011-01-25 Sebastian Pop * graphite-dependences.c (build_lexicographical_constraint): Stop the diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite index 0db1c600b0e1..ab1498ad6f42 100644 --- a/gcc/ChangeLog.graphite +++ b/gcc/ChangeLog.graphite @@ -1,3 +1,8 @@ +2011-01-15 Sebastian Pop + + * graphite-dependences.c (build_pairwise_scheduling): Correctly compute + the "a followed by b" relation and document it. + 2011-01-15 Sebastian Pop * graphite-dependences.c (build_lexicographical_constraint): Stop the diff --git a/gcc/graphite-dependences.c b/gcc/graphite-dependences.c index c9bd1befe532..0164129d38e9 100644 --- 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; -- 2.47.2