From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 27 Apr 2011 20:23:13 +0000 (+0200)
Subject: isl_tab_pip: don't simplify domain in isl_for_add
X-Git-Tag: isl-0.07~29^2~12
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=0c4cc556aa857ed5bc72996cb73107a9590f8466;p=platform%2Fupstream%2Fisl.git

isl_tab_pip: don't simplify domain in isl_for_add

As the comment above the function explains, the domain should not
be simplified.  Unfortunately, an isl_basic_set_simplify snuck in
in 8b88ebf (isl_tab_pip.c: remove some code duplication between
isl_map_add and isl_for_add, Fri Oct 16 14:10:59 2009 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---

diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 4b64667..56eb161 100644
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -4470,7 +4470,6 @@ static void sol_for_add(struct isl_sol_for *sol,
 	if (sol->sol.error || !dom || !M)
 		goto error;
 
-	dom = isl_basic_set_simplify(dom);
 	dom = isl_basic_set_finalize(dom);
 
 	if (sol->fn(isl_basic_set_copy(dom), isl_mat_copy(M), sol->user) < 0)