add isl_set_has_dim_name

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

diff --git a/doc/user.pod b/doc/user.pod
index 4bdc376..5ff512c 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1577,6 +1577,8 @@ read off using the following functions.
        const char *isl_basic_set_get_dim_name(
                __isl_keep isl_basic_set *bset,
                enum isl_dim_type type, unsigned pos);
+       int isl_set_has_dim_name(__isl_keep isl_set *set,
+               enum isl_dim_type type, unsigned pos);
        const char *isl_set_get_dim_name(
                __isl_keep isl_set *set,
                enum isl_dim_type type, unsigned pos);

diff --git a/include/isl/set.h b/include/isl/set.h
index 80aeb93..d124181 100644 (file)
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -55,6 +55,8 @@ const char *isl_basic_set_get_dim_name(__isl_keep isl_basic_set *bset,
 __isl_give isl_basic_set *isl_basic_set_set_dim_name(
        __isl_take isl_basic_set *bset,
        enum isl_dim_type type, unsigned pos, const char *s);
+int isl_set_has_dim_name(__isl_keep isl_set *set,
+       enum isl_dim_type type, unsigned pos);
 const char *isl_set_get_dim_name(__isl_keep isl_set *set,
        enum isl_dim_type type, unsigned pos);
 __isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set,

diff --git a/isl_map.c b/isl_map.c
index 58ef4cd..19d976f 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -489,6 +489,14 @@ const char *isl_set_get_dim_name(__isl_keep isl_set *set,
        return set ? isl_space_get_dim_name(set->dim, type, pos) : NULL;
 }
 
+/* Does the given dimension have a name?
+ */
+int isl_set_has_dim_name(__isl_keep isl_set *set,
+       enum isl_dim_type type, unsigned pos)
+{
+       return set ? isl_space_has_dim_name(set->dim, type, pos) : -1;
+}
+
 __isl_give isl_basic_map *isl_basic_map_set_dim_name(
        __isl_take isl_basic_map *bmap,
        enum isl_dim_type type, unsigned pos, const char *s)