privately export isl_basic_map_add_div_constraints

[platform/upstream/isl.git] / isl_map.c

diff --git a/isl_map.c b/isl_map.c
index 12842ee..d0009de 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -1132,6 +1132,8 @@ struct isl_basic_map *isl_basic_map_set_to_empty(struct isl_basic_map *bmap)
        isl_int_set_si(bmap->eq[i][0], 1);
        isl_seq_clr(bmap->eq[i]+1, total);
        ISL_F_SET(bmap, ISL_BASIC_MAP_EMPTY);
+       isl_vec_free(bmap->sample);
+       bmap->sample = NULL;
        return isl_basic_map_finalize(bmap);
 error:
        isl_basic_map_free(bmap);
@@ -2591,7 +2593,7 @@ error:
  *
  *             f - m d >= n
  */
-static int add_div_constraints(struct isl_basic_map *bmap, unsigned div)
+int isl_basic_map_add_div_constraints(struct isl_basic_map *bmap, unsigned div)
 {
        int i, j;
        unsigned total = isl_basic_map_total_dim(bmap);
@@ -2693,7 +2695,7 @@ struct isl_basic_map *isl_basic_map_overlying_set(
                for (i = 0; i < like->n_div; ++i) {
                        if (isl_int_is_zero(bmap->div[i][0]))
                                continue;
-                       if (add_div_constraints(bmap, i) < 0)
+                       if (isl_basic_map_add_div_constraints(bmap, i) < 0)
                                goto error;
                }
        }
@@ -4267,6 +4269,11 @@ int isl_map_fast_is_empty(struct isl_map *map)
        return map->n == 0;
 }
 
+int isl_set_fast_is_empty(struct isl_set *set)
+{
+       return set->n == 0;
+}
+
 int isl_set_is_empty(struct isl_set *set)
 {
        return isl_map_is_empty((struct isl_map *)set);
@@ -4514,7 +4521,7 @@ struct isl_basic_map *isl_basic_map_align_divs(
                                goto error;
                        isl_seq_cpy(dst->div[j], src->div[i], 1+1+total+i);
                        isl_seq_clr(dst->div[j]+1+1+total+i, dst->n_div - i);
-                       if (add_div_constraints(dst, j) < 0)
+                       if (isl_basic_map_add_div_constraints(dst, j) < 0)
                                goto error;
                }
                if (j != i)