diff options
| author | Sebastian Pop <sebastian.pop@amd.com> | 2011-01-25 06:45:42 +0000 |
|---|---|---|
| committer | Sebastian Pop <spop@gcc.gnu.org> | 2011-01-25 06:45:42 +0000 |
| commit | 5168d98f3d2f48196f3f7f33906492f5e5b22275 (patch) | |
| tree | dedeb6731552085d97b9e8f0292b1ba0568ddc95 /gcc | |
| parent | 4a40293ae13bf68f00a7ac23932e654c12c8ff00 (diff) | |
| download | gcc-5168d98f3d2f48196f3f7f33906492f5e5b22275.zip gcc-5168d98f3d2f48196f3f7f33906492f5e5b22275.tar.gz gcc-5168d98f3d2f48196f3f7f33906492f5e5b22275.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ChangeLog.graphite | 5 | ||||
| -rw-r--r-- | gcc/graphite-dependences.c | 15 |
3 files changed, 20 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index fb0cf2c..f729e10 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 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 iteration when the bag of constraints is empty. diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite index 0db1c60..ab1498a 100644 --- a/gcc/ChangeLog.graphite +++ b/gcc/ChangeLog.graphite @@ -1,5 +1,10 @@ 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 iteration when the bag of constraints is empty. diff --git a/gcc/graphite-dependences.c b/gcc/graphite-dependences.c index c9bd1be..0164129 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; |