isl_basic_map_simplify: normalize div expressions

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

diff --git a/isl_vertices.c b/isl_vertices.c
index 5a4f8e3..45f82c0 100644 (file)
--- a/isl_vertices.c
+++ b/isl_vertices.c
@@ -199,7 +199,8 @@ static __isl_give isl_vertices *vertices_0D(__isl_keep isl_basic_set *bset)
                goto error;
        vertices->n_vertices = 1;
        vertices->v[0].vertex = isl_basic_set_copy(bset);
-       if (!vertices->v[0].vertex)
+       vertices->v[0].dom = isl_basic_set_params(isl_basic_set_copy(bset));
+       if (!vertices->v[0].vertex || !vertices->v[0].dom)
                goto error;
 
        vertices->c = isl_calloc_array(bset->ctx, struct isl_chamber, 1);
@@ -210,7 +211,7 @@ static __isl_give isl_vertices *vertices_0D(__isl_keep isl_basic_set *bset)
        vertices->c[0].vertices = isl_calloc_array(bset->ctx, int, 1);
        if (!vertices->c[0].vertices)
                goto error;
-       vertices->c[0].dom = isl_basic_set_params(isl_basic_set_copy(bset));
+       vertices->c[0].dom = isl_basic_set_copy(vertices->v[0].dom);
        if (!vertices->c[0].dom)
                goto error;
 
@@ -422,7 +423,7 @@ __isl_give isl_vertices *isl_basic_set_compute_vertices(
        if (!bset)
                return NULL;
 
-       tab = isl_tab_from_basic_set(bset);
+       tab = isl_tab_from_basic_set(bset, 0);
        if (!tab)
                goto error;
        tab->strict_redundant = 1;
@@ -876,12 +877,11 @@ static __isl_give isl_vertices *compute_chambers(__isl_take isl_basic_set *bset,
 
        bset = isl_basic_set_params(bset);
 
-       tab = isl_tab_from_basic_set(bset);
+       tab = isl_tab_from_basic_set(bset, 1);
        for (i = 0; i < bset->n_ineq; ++i)
                if (isl_tab_freeze_constraint(tab, i) < 0)
                        goto error;
-       if (isl_tab_track_bset(tab, bset) < 0)
-               goto error;
+       isl_basic_set_free(bset);
 
        snap = isl_tab_snap(tab);