diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2013-06-21 09:16:46 +0200 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2013-06-25 19:08:28 +0200 |
commit | 095dbe323b6e6ae3ad92c210eb012723d7a8438c (patch) | |
tree | 5f86585b9e1921d8bc700e5a7c9c41105fecf3af | |
parent | afdafde0419d0608c0f27cece94fc0a5f0b86157 (diff) | |
download | isl-095dbe323b6e6ae3ad92c210eb012723d7a8438c.tar.gz isl-095dbe323b6e6ae3ad92c210eb012723d7a8438c.tar.bz2 isl-095dbe323b6e6ae3ad92c210eb012723d7a8438c.zip |
scheduler: also (optionally) bound coefficients computed by carry_dependences
2b54bb6 (scheduler: allow to bound the coefficients in the calculated schedule,
Sun Feb 19 14:05:50 2012 +0100) introduced an option to bound the coefficients
of the calculated schedule, but it would only bound the coefficients
of that part of the schedule computed by the core scheduler in
compute_schedule_wcc.
Also make the option apply to that part of the schedule
(if any) computed by the fallback carry_dependences.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
-rw-r--r-- | isl_schedule.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/isl_schedule.c b/isl_schedule.c index 6a074beb..da0ae63f 100644 --- a/isl_schedule.c +++ b/isl_schedule.c @@ -2413,6 +2413,8 @@ static int setup_carry_lp(isl_ctx *ctx, struct isl_sched_graph *graph) if (count_all_constraints(graph, &n_eq, &n_ineq) < 0) return -1; + if (count_bound_coefficient_constraints(ctx, graph, &n_eq, &n_ineq) < 0) + return -1; dim = isl_space_set_alloc(ctx, 0, total); isl_basic_set_free(graph->lp); @@ -2464,6 +2466,8 @@ static int setup_carry_lp(isl_ctx *ctx, struct isl_sched_graph *graph) isl_int_set_si(graph->lp->ineq[k][0], 1); } + if (add_bound_coefficient_constraints(ctx, graph) < 0) + return -1; if (add_all_constraints(graph) < 0) return -1; |