From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 12 Sep 2012 10:25:46 +0000 (+0200)
Subject: isl_basic_map_is_empty: special case universal input
X-Git-Tag: isl-0.11~177
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=f801ac029f15c6fae91662a30744cb9eb80ef478;p=platform%2Fupstream%2Fisl.git

isl_basic_map_is_empty: special case universal input

In particular, there is no need to compute any sample point on
universal inputs.

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

diff --git a/isl_map.c b/isl_map.c
index c42809c..0bccc4c 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -7283,6 +7283,9 @@ int isl_basic_map_is_empty(struct isl_basic_map *bmap)
 	if (ISL_F_ISSET(bmap, ISL_BASIC_MAP_EMPTY))
 		return 1;
 
+	if (isl_basic_map_is_universe(bmap))
+		return 0;
+
 	if (ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL)) {
 		struct isl_basic_map *copy = isl_basic_map_copy(bmap);
 		copy = isl_basic_map_remove_redundancies(copy);