add isl_basic_set_fast_is_empty
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 21 Mar 2009 11:43:58 +0000 (12:43 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 23 Mar 2009 09:00:20 +0000 (10:00 +0100)
include/isl_set.h
isl_map.c

index 4f9b61f..69c5307 100644 (file)
@@ -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,
index f0ee231..2920fdf 100644 (file)
--- 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);