add isl_map_fast_is_universe

diff --git a/include/isl_map.h b/include/isl_map.h
index 1458200..0c274a4 100644 (file)
--- a/include/isl_map.h
+++ b/include/isl_map.h
@@ -290,6 +290,7 @@ struct isl_set *isl_set_from_map(struct isl_map *map);
 __isl_give isl_basic_map *isl_map_sample(__isl_take isl_map *map);
 
 int isl_map_fast_is_empty(__isl_keep isl_map *map);
+int isl_map_fast_is_universe(__isl_keep isl_map *map);
 int isl_map_is_empty(__isl_keep isl_map *map);
 int isl_map_is_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
 int isl_map_is_strict_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2);

diff --git a/isl_map.c b/isl_map.c
index eb93c36..57b9ad9 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -4152,6 +4152,14 @@ int isl_basic_set_is_universe(struct isl_basic_set *bset)
        return bset->n_eq == 0 && bset->n_ineq == 0;
 }
 
+int isl_map_fast_is_universe(__isl_keep isl_map *map)
+{
+       if (!map)
+               return -1;
+
+       return map->n == 1 && isl_basic_map_is_universe(map->p[0]);
+}
+
 int isl_basic_map_is_empty(struct isl_basic_map *bmap)
 {
        struct isl_basic_set *bset = NULL;