diff options
| author | Tobias Grosser <tobias@grosser.es> | 2013-07-14 06:45:08 +0000 |
|---|---|---|
| committer | Tobias Grosser <grosser@gcc.gnu.org> | 2013-07-14 06:45:08 +0000 |
| commit | 52d676b6c27f1c160c82251559606beec8089384 (patch) | |
| tree | 7fa30f844d733a742d0c1c82dc483064dd6e42ea /gcc/graphite-dependences.c | |
| parent | 25d7bb75cf12d78bf3cfd0637de40420ee36900d (diff) | |
| download | gcc-52d676b6c27f1c160c82251559606beec8089384.zip gcc-52d676b6c27f1c160c82251559606beec8089384.tar.gz gcc-52d676b6c27f1c160c82251559606beec8089384.tar.bz2 | |
graphite: Do not depend on 2D + 1 form in parallelism check
PR tree-optimization/54094
* graphite-clast-to-gimple.c (translate_clast_for_loop): Derive the
scheduling dimension for the parallelism check from the polyhedral
information in the AST.
* graphite-dependences.c (carries_deps): Do not assume the schedule is
in 2D + 1 form.
From-SVN: r200946
Diffstat (limited to 'gcc/graphite-dependences.c')
| -rw-r--r-- | gcc/graphite-dependences.c | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/gcc/graphite-dependences.c b/gcc/graphite-dependences.c index 366588b..7fd4081 100644 --- a/gcc/graphite-dependences.c +++ b/gcc/graphite-dependences.c @@ -298,7 +298,7 @@ carries_deps (__isl_keep isl_union_map *schedule, int depth) { bool res; - int idx, i; + int i; isl_space *space; isl_map *lex, *x; isl_constraint *ineq; @@ -313,13 +313,12 @@ carries_deps (__isl_keep isl_union_map *schedule, space = isl_map_get_space (x); ineq = isl_inequality_alloc (isl_local_space_from_space (space)); - idx = 2 * depth + 1; - for (i = 0; i < idx; i++) + for (i = 0; i < depth - 1; i++) lex = isl_map_equate (lex, isl_dim_in, i, isl_dim_out, i); /* in + 1 <= out */ - ineq = isl_constraint_set_coefficient_si (ineq, isl_dim_out, idx, 1); - ineq = isl_constraint_set_coefficient_si (ineq, isl_dim_in, idx, -1); + ineq = isl_constraint_set_coefficient_si (ineq, isl_dim_out, depth - 1, 1); + ineq = isl_constraint_set_coefficient_si (ineq, isl_dim_in, depth - 1, -1); ineq = isl_constraint_set_constant_si (ineq, -1); lex = isl_map_add_constraint (lex, ineq); x = isl_map_intersect (x, lex); |