isl_ast_build_get_stride: use isl_val

[platform/upstream/isl.git] / include / isl / space.h

diff --git a/include/isl/space.h b/include/isl/space.h
index ec552c4..3ce4102 100644 (file)
--- a/include/isl/space.h
+++ b/include/isl/space.h
@@ -1,7 +1,7 @@
 /*
  * Copyright 2008-2009 Katholieke Universiteit Leuven
  *
- * Use of this software is governed by the GNU LGPLv2.1 license
+ * Use of this software is governed by the MIT license
  *
  * Written by Sven Verdoolaege, K.U.Leuven, Departement
  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
@@ -38,7 +38,7 @@ __isl_give isl_space *isl_space_set_alloc(isl_ctx *ctx,
                        unsigned nparam, unsigned dim);
 __isl_give isl_space *isl_space_params_alloc(isl_ctx *ctx, unsigned nparam);
 __isl_give isl_space *isl_space_copy(__isl_keep isl_space *dim);
-void isl_space_free(__isl_take isl_space *dim);
+void *isl_space_free(__isl_take isl_space *dim);
 
 int isl_space_is_params(__isl_keep isl_space *space);
 int isl_space_is_set(__isl_keep isl_space *space);
@@ -125,8 +125,13 @@ __isl_give isl_space *isl_space_zip(__isl_take isl_space *dim);
 int isl_space_can_curry(__isl_keep isl_space *space);
 __isl_give isl_space *isl_space_curry(__isl_take isl_space *space);
 
+int isl_space_can_uncurry(__isl_keep isl_space *space);
+__isl_give isl_space *isl_space_uncurry(__isl_take isl_space *space);
+
 int isl_space_is_domain(__isl_keep isl_space *space1,
        __isl_keep isl_space *space2);
+int isl_space_is_range(__isl_keep isl_space *space1,
+       __isl_keep isl_space *space2);
 int isl_space_is_equal(__isl_keep isl_space *space1,
        __isl_keep isl_space *space2);
 int isl_space_match(__isl_keep isl_space *dim1, enum isl_dim_type dim1_type,