add isl_local_space_drop_dims

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

diff --git a/doc/user.pod b/doc/user.pod
index afc905c..647adcd 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -626,6 +626,9 @@ using the following functions.
        __isl_give isl_local_space *isl_local_space_add_dims(
                __isl_take isl_local_space *ls,
                enum isl_dim_type type, unsigned n);
+       __isl_give isl_local_space *isl_local_space_drop_dims(
+               __isl_take isl_local_space *ls,
+               enum isl_dim_type type, unsigned first, unsigned n);
 
 =head2 Input and Output
 

diff --git a/include/isl/local_space.h b/include/isl/local_space.h
index 664f4fb..4636871 100644 (file)
--- a/include/isl/local_space.h
+++ b/include/isl/local_space.h
@@ -34,6 +34,9 @@ __isl_give isl_local_space *isl_local_space_from_domain(
        __isl_take isl_local_space *ls);
 __isl_give isl_local_space *isl_local_space_add_dims(
        __isl_take isl_local_space *ls, enum isl_dim_type type, unsigned n);
+__isl_give isl_local_space *isl_local_space_drop_dims(
+       __isl_take isl_local_space *ls,
+       enum isl_dim_type type, unsigned first, unsigned n);
 
 int isl_local_space_is_equal(__isl_keep isl_local_space *ls1,
        __isl_keep isl_local_space *ls2);

diff --git a/isl_local_space.c b/isl_local_space.c
index a7d581f..8a6b919 100644 (file)
--- a/isl_local_space.c
+++ b/isl_local_space.c
@@ -471,3 +471,39 @@ int isl_local_space_is_named_or_nested(__isl_keep isl_local_space *ls,
                return -1;
        return isl_dim_is_named_or_nested(ls->dim, type);
 }
+
+__isl_give isl_local_space *isl_local_space_drop_dims(
+       __isl_take isl_local_space *ls,
+       enum isl_dim_type type, unsigned first, unsigned n)
+{
+       isl_ctx *ctx;
+
+       if (!ls)
+               return NULL;
+       if (n == 0 && !isl_local_space_is_named_or_nested(ls, type))
+               return ls;
+
+       ctx = isl_local_space_get_ctx(ls);
+       if (first + n > isl_local_space_dim(ls, type))
+               isl_die(ctx, isl_error_invalid, "range out of bounds",
+                       return isl_local_space_free(ls));
+
+       ls = isl_local_space_cow(ls);
+       if (!ls)
+               return NULL;
+
+       if (type == isl_dim_div) {
+               ls->div = isl_mat_drop_rows(ls->div, first, n);
+       } else {
+               ls->dim = isl_dim_drop(ls->dim, type, first, n);
+               if (!ls->dim)
+                       return isl_local_space_free(ls);
+       }
+
+       first += 1 + isl_local_space_offset(ls, type);
+       ls->div = isl_mat_drop_cols(ls->div, first, n);
+       if (!ls->div)
+               return isl_local_space_free(ls);
+
+       return ls;
+}