rename isl_map_is_singleton to isl_map_fast_is_singleton

The function is only meant to detect obvious cases.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/isl_map_subtract.c b/isl_map_subtract.c
index 59df4b1..1cbd0ac 100644 (file)
--- a/isl_map_subtract.c
+++ b/isl_map_subtract.c
@@ -592,7 +592,7 @@ static int map_diff_is_empty(__isl_keep isl_map *map1, __isl_keep isl_map *map2)
 
 /* Return 1 if "bmap" contains a single element.
  */
-int isl_basic_map_is_singleton(__isl_keep isl_basic_map *bmap)
+int isl_basic_map_fast_is_singleton(__isl_keep isl_basic_map *bmap)
 {
        if (!bmap)
                return -1;
@@ -605,14 +605,14 @@ int isl_basic_map_is_singleton(__isl_keep isl_basic_map *bmap)
 
 /* Return 1 if "map" contains a single element.
  */
-int isl_map_is_singleton(__isl_keep isl_map *map)
+int isl_map_fast_is_singleton(__isl_keep isl_map *map)
 {
        if (!map)
                return -1;
        if (map->n != 1)
                return 0;
 
-       return isl_basic_map_is_singleton(map->p[0]);
+       return isl_basic_map_fast_is_singleton(map->p[0]);
 }
 
 /* Given a singleton basic map, extract the single element
@@ -717,7 +717,7 @@ int isl_map_is_subset(struct isl_map *map1, struct isl_map *map2)
 
        map1 = isl_map_compute_divs(isl_map_copy(map1));
        map2 = isl_map_compute_divs(isl_map_copy(map2));
-       if (isl_map_is_singleton(map1)) {
+       if (isl_map_fast_is_singleton(map1)) {
                is_subset = map_is_singleton_subset(map1, map2);
                isl_map_free(map1);
                isl_map_free(map2);