add isl_local_space_has_dim_name

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

diff --git a/doc/user.pod b/doc/user.pod
index 8fefa70..93c96e2 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -830,6 +830,9 @@ They can be inspected, modified, copied and freed using the following functions.
        int isl_local_space_is_set(__isl_keep isl_local_space *ls);
        int isl_local_space_dim(__isl_keep isl_local_space *ls,
                enum isl_dim_type type);
+       int isl_local_space_has_dim_name(
+               __isl_keep isl_local_space *ls,
+               enum isl_dim_type type, unsigned pos)
        const char *isl_local_space_get_dim_name(
                __isl_keep isl_local_space *ls,
                enum isl_dim_type type, unsigned pos);

diff --git a/include/isl/local_space.h b/include/isl/local_space.h
index 1f6108d..cfb1be5 100644 (file)
--- a/include/isl/local_space.h
+++ b/include/isl/local_space.h
@@ -25,6 +25,8 @@ int isl_local_space_is_set(__isl_keep isl_local_space *ls);
 
 int isl_local_space_dim(__isl_keep isl_local_space *ls,
        enum isl_dim_type type);
+int isl_local_space_has_dim_name(__isl_keep isl_local_space *ls,
+       enum isl_dim_type type, unsigned pos);
 const char *isl_local_space_get_dim_name(__isl_keep isl_local_space *ls,
        enum isl_dim_type type, unsigned pos);
 __isl_give isl_local_space *isl_local_space_set_dim_name(

diff --git a/isl_local_space.c b/isl_local_space.c
index 6f24205..4a14cf5 100644 (file)
--- a/isl_local_space.c
+++ b/isl_local_space.c
@@ -178,6 +178,14 @@ unsigned isl_local_space_offset(__isl_keep isl_local_space *ls,
        }
 }
 
+/* Does the given dimension have a name?
+ */
+int isl_local_space_has_dim_name(__isl_keep isl_local_space *ls,
+       enum isl_dim_type type, unsigned pos)
+{
+       return ls ? isl_space_has_dim_name(ls->dim, type, pos) : -1;
+}
+
 const char *isl_local_space_get_dim_name(__isl_keep isl_local_space *ls,
        enum isl_dim_type type, unsigned pos)
 {