add isl_space_is_domain

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

diff --git a/isl_space.c b/isl_space.c
index d5f62ed..5667dca 100644 (file)
--- a/isl_space.c
+++ b/isl_space.c
@@ -1297,6 +1297,19 @@ int isl_space_is_equal(__isl_keep isl_space *dim1, __isl_keep isl_space *dim2)
               isl_space_tuple_match(dim1, isl_dim_out, dim2, isl_dim_out);
 }
 
+/* Is space1 equal to the domain of space2?
+ */
+int isl_space_is_domain(__isl_keep isl_space *space1,
+       __isl_keep isl_space *space2)
+{
+       if (!space1 || !space2)
+               return -1;
+       if (!isl_space_is_set(space1))
+               return 0;
+       return match(space1, isl_dim_param, space2, isl_dim_param) &&
+              isl_space_tuple_match(space1, isl_dim_set, space2, isl_dim_in);
+}
+
 int isl_space_compatible(__isl_keep isl_space *dim1,
        __isl_keep isl_space *dim2)
 {

diff --git a/isl_space_private.h b/isl_space_private.h
index 74480d6..28cb586 100644 (file)
--- a/isl_space_private.h
+++ b/isl_space_private.h
@@ -26,6 +26,9 @@ __isl_give isl_space *isl_space_underlying(__isl_take isl_space *dim,
 
 uint32_t isl_space_get_hash(__isl_keep isl_space *dim);
 
+int isl_space_is_domain(__isl_keep isl_space *space1,
+       __isl_keep isl_space *space2);
+
 __isl_give isl_space *isl_space_as_set_space(__isl_take isl_space *dim);
 
 unsigned isl_space_offset(__isl_keep isl_space *dim, enum isl_dim_type type);