From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 2 Mar 2011 20:43:54 +0000 (+0100)
Subject: isl_set_lifting: simplify and finalize result
X-Git-Tag: isl-0.06~28
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=a88daa9ede4f1531cc702749b2ebae9b66e7a9a2;p=platform%2Fupstream%2Fisl.git

isl_set_lifting: simplify and finalize result

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

diff --git a/isl_map.c b/isl_map.c
index 766c25f..bfcfd67 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -7495,6 +7495,8 @@ __isl_give isl_map *isl_set_lifting(__isl_take isl_set *set)
 	}
 
 	isl_set_free(set);
+	bmap = isl_basic_map_simplify(bmap);
+	bmap = isl_basic_map_finalize(bmap);
 	return isl_map_from_basic_map(bmap);
 error:
 	isl_set_free(set);