privately export isl_basic_map_divs_known

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

diff --git a/isl_map.c b/isl_map.c
index f116687..7d5151c 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -5382,7 +5382,7 @@ error:
        return NULL;
 }
 
-static int basic_map_divs_known(__isl_keep isl_basic_map *bmap)
+int isl_basic_map_divs_known(__isl_keep isl_basic_map *bmap)
 {
        int i;
        unsigned off;
@@ -5408,7 +5408,7 @@ static int map_divs_known(__isl_keep isl_map *map)
                return -1;
 
        for (i = 0; i < map->n; ++i) {
-               int known = basic_map_divs_known(map->p[i]);
+               int known = isl_basic_map_divs_known(map->p[i]);
                if (known <= 0)
                        return known;
        }
@@ -5426,7 +5426,7 @@ struct isl_map *isl_basic_map_compute_divs(struct isl_basic_map *bmap)
        int known;
        struct isl_map *map;
 
-       known = basic_map_divs_known(bmap);
+       known = isl_basic_map_divs_known(bmap);
        if (known < 0)
                goto error;
        if (known)
@@ -5434,7 +5434,7 @@ struct isl_map *isl_basic_map_compute_divs(struct isl_basic_map *bmap)
 
        bmap = isl_basic_map_drop_redundant_divs(bmap);
 
-       known = basic_map_divs_known(bmap);
+       known = isl_basic_map_divs_known(bmap);
        if (known < 0)
                goto error;
        if (known)

diff --git a/isl_map_private.h b/isl_map_private.h
index 0594fb0..a3b106b 100644 (file)
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -303,6 +303,8 @@ __isl_give isl_basic_map *isl_basic_map_from_local_space(
 __isl_give isl_basic_set *isl_basic_set_expand_divs(
        __isl_take isl_basic_set *bset, __isl_take isl_mat *div, int *exp);
 
+int isl_basic_map_divs_known(__isl_keep isl_basic_map *bmap);
+
 __isl_give isl_map *isl_map_inline_foreach_basic_map(__isl_take isl_map *map,
        __isl_give isl_basic_map *(*fn)(__isl_take isl_basic_map *bmap));