add isl_basic_set_remove_unknown_divs

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

diff --git a/doc/user.pod b/doc/user.pod
index 29b98fd..d052c01 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1486,6 +1486,9 @@ no explicit representation is known.
                __isl_take isl_map *map, enum isl_dim_type type,
                unsigned first, unsigned n);
 
+       __isl_give isl_basic_set *
+       isl_basic_set_remove_unknown_divs(
+               __isl_take isl_basic_set *bset);
        __isl_give isl_set *isl_set_remove_unknown_divs(
                __isl_take isl_set *set);
        __isl_give isl_map *isl_map_remove_unknown_divs(

diff --git a/include/isl/set.h b/include/isl/set.h
index bf2440e..e9ca691 100644 (file)
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -341,6 +341,8 @@ __isl_give isl_basic_set *isl_basic_set_remove_divs_involving_dims(
        enum isl_dim_type type, unsigned first, unsigned n);
 __isl_give isl_set *isl_set_remove_divs_involving_dims(__isl_take isl_set *set,
        enum isl_dim_type type, unsigned first, unsigned n);
+__isl_give isl_basic_set *isl_basic_set_remove_unknown_divs(
+       __isl_take isl_basic_set *bset);
 __isl_give isl_set *isl_set_remove_unknown_divs(__isl_take isl_set *set);
 __isl_give isl_set *isl_set_remove_divs(__isl_take isl_set *set);
 __isl_give isl_set *isl_set_split_dims(__isl_take isl_set *set,

diff --git a/isl_map.c b/isl_map.c
index 0bccc4c..244cb59 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -2133,6 +2133,14 @@ __isl_give isl_basic_map *isl_basic_map_remove_unknown_divs(
        return bmap;
 }
 
+/* Remove all divs that are unknown or defined in terms of unknown divs.
+ */
+__isl_give isl_basic_set *isl_basic_set_remove_unknown_divs(
+       __isl_take isl_basic_set *bset)
+{
+       return isl_basic_map_remove_unknown_divs(bset);
+}
+
 __isl_give isl_map *isl_map_remove_unknown_divs(__isl_take isl_map *map)
 {
        int i;