isl_basic_map_eliminate_vars: remove all dependent vars first

diff --git a/isl_map_simplify.c b/isl_map_simplify.c
index 0920d8a..ae58079 100644 (file)
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
@@ -1069,9 +1069,11 @@ struct isl_basic_map *isl_basic_map_eliminate_vars(
        total = isl_basic_map_total_dim(bmap);
 
        bmap = isl_basic_map_cow(bmap);
+       for (d = pos + n - 1; d >= 0 && d >= pos; --d)
+               bmap = remove_dependent_vars(bmap, d);
+
        for (d = pos + n - 1; d >= 0 && d >= pos; --d) {
                int n_lower, n_upper;
-               bmap = remove_dependent_vars(bmap, d);
                if (!bmap)
                        return NULL;
                if (d >= total - bmap->n_div)