From 412ff5881523448c3606e14a85429dd532b748ca Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 19 Mar 2009 09:50:34 +0100 Subject: [PATCH] add isl_basic_map_fast_is_empty --- include/isl_map.h | 1 + isl_map.c | 7 +++++++ 2 files changed, 8 insertions(+) diff --git a/include/isl_map.h b/include/isl_map.h index 42069ae..4c12915 100644 --- a/include/isl_map.h +++ b/include/isl_map.h @@ -192,6 +192,7 @@ int isl_basic_map_fast_is_fixed(struct isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, isl_int *val); int isl_basic_map_is_universe(struct isl_basic_map *bmap); +int isl_basic_map_fast_is_empty(struct isl_basic_map *bmap); int isl_basic_map_is_empty(struct isl_basic_map *bmap); int isl_basic_map_is_subset(struct isl_basic_map *bmap1, struct isl_basic_map *bmap2); diff --git a/isl_map.c b/isl_map.c index 1095596..074f31d 100644 --- a/isl_map.c +++ b/isl_map.c @@ -3490,6 +3490,13 @@ int isl_basic_map_is_empty(struct isl_basic_map *bmap) return empty; } +int isl_basic_map_fast_is_empty(struct isl_basic_map *bmap) +{ + if (!bmap) + return -1; + return ISL_F_ISSET(bmap, ISL_BASIC_MAP_EMPTY); +} + int isl_basic_set_is_empty(struct isl_basic_set *bset) { return isl_basic_map_is_empty((struct isl_basic_map *)bset); -- 2.7.4