add isl_space_is_range

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

diff --git a/doc/user.pod b/doc/user.pod
index 159dba3..2ecb82e 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -623,6 +623,8 @@ Spaces can be compared using the following functions:
                __isl_keep isl_space *space2);
        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);
 
 C<isl_space_is_domain> checks whether the first argument is equal
 to the domain of the second argument.  This requires in particular that

diff --git a/include/isl/space.h b/include/isl/space.h
index ec552c4..bd613bc 100644 (file)
--- a/include/isl/space.h
+++ b/include/isl/space.h
@@ -127,6 +127,8 @@ __isl_give isl_space *isl_space_curry(__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,

diff --git a/isl_space.c b/isl_space.c
index e54fbde..07ef7c3 100644 (file)
--- a/isl_space.c
+++ b/isl_space.c
@@ -1500,6 +1500,34 @@ int isl_space_is_domain(__isl_keep isl_space *space1,
        return isl_space_is_domain_internal(space1, space2);
 }
 
+/* Is space1 equal to the range of space2?
+ *
+ * In the internal version, space2 is allowed to be the space of a set,
+ * in which case it should be equal to space1.
+ */
+int isl_space_is_range_internal(__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_out);
+}
+
+/* Is space1 equal to the range of space2?
+ */
+int isl_space_is_range(__isl_keep isl_space *space1,
+       __isl_keep isl_space *space2)
+{
+       if (!space2)
+               return -1;
+       if (!isl_space_is_map(space2))
+               return 0;
+       return isl_space_is_range_internal(space1, space2);
+}
+
 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 031a332..cc4a89e 100644 (file)
--- a/isl_space_private.h
+++ b/isl_space_private.h
@@ -28,6 +28,8 @@ uint32_t isl_space_get_hash(__isl_keep isl_space *dim);
 
 int isl_space_is_domain_internal(__isl_keep isl_space *space1,
        __isl_keep isl_space *space2);
+int isl_space_is_range_internal(__isl_keep isl_space *space1,
+       __isl_keep isl_space *space2);
 
 __isl_give isl_space *isl_space_as_set_space(__isl_take isl_space *dim);