From 095dbe323b6e6ae3ad92c210eb012723d7a8438c Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 21 Jun 2013 09:16:46 +0200 Subject: [PATCH] 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 --- isl_schedule.c | 4 ++++ 1 file changed, 4 insertions(+) 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; -- 2.11.4.GIT