add isl_map_fast_is_empty

diff --git a/include/isl_map.h b/include/isl_map.h
index 53d720a..92963da 100644 (file)
--- a/include/isl_map.h
+++ b/include/isl_map.h
@@ -237,6 +237,7 @@ struct isl_map *isl_map_from_basic_map(struct isl_basic_map *bmap);
 struct isl_map *isl_map_from_set(struct isl_set *set, struct isl_dim *dim);
 struct isl_set *isl_set_from_map(struct isl_map *map);
 
+int isl_map_fast_is_empty(struct isl_map *map);
 int isl_map_is_empty(struct isl_map *map);
 int isl_map_is_subset(struct isl_map *map1, struct isl_map *map2);
 int isl_map_is_equal(struct isl_map *map1, struct isl_map *map2);

diff --git a/isl_map.c b/isl_map.c
index 647e611..96f0b45 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -3251,6 +3251,11 @@ int isl_map_is_empty(struct isl_map *map)
        return 1;
 }
 
+int isl_map_fast_is_empty(struct isl_map *map)
+{
+       return map->n == 0;
+}
+
 int isl_set_is_empty(struct isl_set *set)
 {
        return isl_map_is_empty((struct isl_map *)set);