From f801ac029f15c6fae91662a30744cb9eb80ef478 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 12 Sep 2012 12:25:46 +0200 Subject: [PATCH] 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 --- isl_map.c | 3 +++ 1 file changed, 3 insertions(+) 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); -- 2.7.4