add isl_basic_map_has_dim_id

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

diff --git a/doc/user.pod b/doc/user.pod
index ab43bdf..ad04919 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1467,6 +1467,9 @@ read off using the following functions.
        __isl_give isl_id *isl_set_get_dim_id(
                __isl_keep isl_set *set, enum isl_dim_type type,
                unsigned pos);
+       int isl_basic_map_has_dim_id(
+               __isl_keep isl_basic_map *bmap,
+               enum isl_dim_type type, unsigned pos);
        __isl_give isl_map *isl_map_set_dim_id(
                __isl_take isl_map *map, enum isl_dim_type type,
                unsigned pos, __isl_take isl_id *id);

diff --git a/include/isl/map.h b/include/isl/map.h
index 44c455d..6881353 100644 (file)
--- a/include/isl/map.h
+++ b/include/isl/map.h
@@ -86,6 +86,8 @@ __isl_give isl_map *isl_map_set_dim_name(__isl_take isl_map *map,
 
 __isl_give isl_map *isl_map_set_dim_id(__isl_take isl_map *map,
        enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
+int isl_basic_map_has_dim_id(__isl_keep isl_basic_map *bmap,
+       enum isl_dim_type type, unsigned pos);
 int isl_map_has_dim_id(__isl_keep isl_map *map,
        enum isl_dim_type type, unsigned pos);
 __isl_give isl_id *isl_map_get_dim_id(__isl_keep isl_map *map,

diff --git a/isl_map.c b/isl_map.c
index bcf09b5..fd14555 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -541,6 +541,12 @@ __isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set,
        return (isl_set *)isl_map_set_dim_name((isl_map *)set, type, pos, s);
 }
 
+int isl_basic_map_has_dim_id(__isl_keep isl_basic_map *bmap,
+       enum isl_dim_type type, unsigned pos)
+{
+       return bmap ? isl_space_has_dim_id(bmap->dim, type, pos) : -1;
+}
+
 int isl_map_has_dim_id(__isl_keep isl_map *map,
        enum isl_dim_type type, unsigned pos)
 {