isl_map_simplify.c: uset_gist: break early if there are no inequalities

diff --git a/isl_map_simplify.c b/isl_map_simplify.c
index faa0b93..18041d5 100644 (file)
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
@@ -1336,6 +1336,9 @@ static struct isl_basic_set *normalize_constraints_in_compressed_space(
        if (ISL_F_ISSET(bset, ISL_BASIC_SET_RATIONAL))
                return bset;
 
+       if (!bset->n_ineq)
+               return bset;
+
        bset = isl_basic_set_cow(bset);
        if (!bset)
                return NULL;
@@ -1411,6 +1414,8 @@ static struct isl_basic_set *uset_gist(struct isl_basic_set *bset,
                goto error;
        if (isl_basic_set_fast_is_empty(bset))
                goto done;
+       if (!bset->n_ineq)
+               goto done;
 
        if (bset->n_eq > 0) {
                struct isl_basic_set *affine_hull;