add isl_map_has_equal_dim

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

diff --git a/include/isl_map.h b/include/isl_map.h
index a0f0a7e..0c7d759 100644 (file)
--- a/include/isl_map.h
+++ b/include/isl_map.h
@@ -371,6 +371,7 @@ int isl_map_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
 int isl_map_is_single_valued(__isl_keep isl_map *map);
 int isl_map_is_bijective(__isl_keep isl_map *map);
 int isl_map_is_translation(__isl_keep isl_map *map);
+int isl_map_has_equal_dim(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
 
 __isl_give isl_map *isl_map_make_disjoint(__isl_take isl_map *map);
 __isl_give isl_map *isl_basic_map_compute_divs(__isl_take isl_basic_map *bmap);

diff --git a/include/isl_set.h b/include/isl_set.h
index ddbb6ca..f0f853c 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -286,6 +286,7 @@ int isl_set_is_strict_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2)
 int isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
 int isl_set_is_singleton(__isl_keep isl_set *set);
 int isl_set_is_box(__isl_keep isl_set *set);
+int isl_set_has_equal_dim(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
 
 __isl_give isl_set *isl_set_sum(__isl_take isl_set *set1,
        __isl_take isl_set *set2);

diff --git a/isl_map.c b/isl_map.c
index 43ccf43..732bb17 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -5314,6 +5314,22 @@ int isl_set_is_empty(struct isl_set *set)
        return isl_map_is_empty((struct isl_map *)set);
 }
 
+int isl_map_has_equal_dim(__isl_keep isl_map *map1, __isl_keep isl_map *map2)
+{
+       if (!map1 || !map2)
+               return -1;
+
+       return isl_dim_equal(map1->dim, map2->dim);
+}
+
+int isl_set_has_equal_dim(__isl_keep isl_set *set1, __isl_keep isl_set *set2)
+{
+       if (!set1 || !set2)
+               return -1;
+
+       return isl_dim_equal(set1->dim, set2->dim);
+}
+
 int isl_map_is_equal(struct isl_map *map1, struct isl_map *map2)
 {
        int is_subset;