add isl_basic_map_fast_is_empty

diff --git a/include/isl_map.h b/include/isl_map.h
index 42069ae..4c12915 100644 (file)
--- 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 (file)
--- 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);