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/graphite-dependences.c | |
| 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/graphite-dependences.c')
| -rw-r--r-- | gcc/graphite-dependences.c | 15 |
1 files changed, 10 insertions, 5 deletions
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; |