From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 22 May 2009 10:17:00 +0000 (+0200)
Subject: isl_basic_map_drop_redundant_divs: set div expression if obvious from constraints
X-Git-Tag: isl-0.01~167
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=b171f17850c0680203e3349cc612555baab9aa74;p=platform%2Fupstream%2Fisl.git

isl_basic_map_drop_redundant_divs: set div expression if obvious from constraints
---

diff --git a/isl_map_simplify.c b/isl_map_simplify.c
index 3376500..7d7eaf4 100644
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
@@ -2090,9 +2090,15 @@ struct isl_basic_map *isl_basic_map_drop_redundant_divs(
 		isl_int_sub(bmap->ineq[last_pos][0],
 			    bmap->ineq[last_pos][0], bmap->ineq[last_neg][0]);
 		if (!redundant) {
-			pairs[i] = 0;
-			--n;
-			continue;
+			if (!ok_to_set_div_from_bound(bmap, i, last_pos)) {
+				pairs[i] = 0;
+				--n;
+				continue;
+			}
+			bmap = set_div_from_lower_bound(bmap, i, last_pos);
+			bmap = isl_basic_map_simplify(bmap);
+			free(pairs);
+			return isl_basic_map_drop_redundant_divs(bmap);
 		}
 		if (last_pos > last_neg) {
 			isl_basic_map_drop_inequality(bmap, last_pos);