From fcb0a9ebdef51ea0cf028891a2c117de2d569ee1 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sat, 21 Mar 2009 12:43:58 +0100 Subject: [PATCH] add isl_basic_set_fast_is_empty --- include/isl_set.h | 1 + isl_map.c | 7 +++++++ 2 files changed, 8 insertions(+) diff --git a/include/isl_set.h b/include/isl_set.h index 4f9b61f..69c5307 100644 --- a/include/isl_set.h +++ b/include/isl_set.h @@ -140,6 +140,7 @@ struct isl_set *isl_basic_set_union( int isl_basic_set_compare_at(struct isl_basic_set *bset1, struct isl_basic_set *bset2, int pos); +int isl_basic_set_fast_is_empty(struct isl_basic_set *bset); int isl_basic_set_is_empty(struct isl_basic_set *bset); struct isl_set *isl_set_alloc(struct isl_ctx *ctx, diff --git a/isl_map.c b/isl_map.c index f0ee231..2920fdf 100644 --- a/isl_map.c +++ b/isl_map.c @@ -3507,6 +3507,13 @@ int isl_basic_map_fast_is_empty(struct isl_basic_map *bmap) return ISL_F_ISSET(bmap, ISL_BASIC_MAP_EMPTY); } +int isl_basic_set_fast_is_empty(struct isl_basic_set *bset) +{ + if (!bset) + return -1; + return ISL_F_ISSET(bset, ISL_BASIC_SET_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