isl_tab_basic_set_non_trivial_lexmin: drop explicit conversion to isl_basic_map

And similarly for isl_tab_basic_set_non_neg_lexmin.

In future, the space of an isl_basic_map will be different from that
of an isl_basic_set.  Calling isl_basic_map_from_range may therefore
result in possibly costly changes.

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

diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 1d8da80..6e57da2 100644 (file)
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -4867,7 +4867,7 @@ __isl_give isl_vec *isl_tab_basic_set_non_trivial_lexmin(
        struct isl_trivial *triv = NULL;
        int level, init;
 
-       tab = tab_for_lexmin(isl_basic_map_from_range(bset), NULL, 0, 0);
+       tab = tab_for_lexmin(bset, NULL, 0, 0);
        if (!tab)
                goto error;
        tab->conflict = conflict;
@@ -4982,7 +4982,7 @@ __isl_give isl_vec *isl_tab_basic_set_non_neg_lexmin(
        isl_ctx *ctx = isl_basic_set_get_ctx(bset);
        isl_vec *sol;
 
-       tab = tab_for_lexmin(isl_basic_map_from_range(bset), NULL, 0, 0);
+       tab = tab_for_lexmin(bset, NULL, 0, 0);
        if (!tab)
                goto error;
        if (tab->empty)