From 35d5b5e2b414b46414cda15c204248b9271ecedc Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 28 Jun 2011 20:21:47 +0200 Subject: [PATCH] add isl_local_space_is_named_or_nested Signed-off-by: Sven Verdoolaege --- isl_local_space.c | 8 ++++++++ isl_local_space_private.h | 3 +++ 2 files changed, 11 insertions(+) diff --git a/isl_local_space.c b/isl_local_space.c index e279f72b..e6a8cb8e 100644 --- a/isl_local_space.c +++ b/isl_local_space.c @@ -463,3 +463,11 @@ error: isl_local_space_free(ls); return NULL; } + +int isl_local_space_is_named_or_nested(__isl_keep isl_local_space *ls, + enum isl_dim_type type) +{ + if (!ls) + return -1; + return isl_dim_is_named_or_nested(ls->dim, type); +} diff --git a/isl_local_space_private.h b/isl_local_space_private.h index 95503b1c..76d74b57 100644 --- a/isl_local_space_private.h +++ b/isl_local_space_private.h @@ -32,4 +32,7 @@ int isl_local_space_divs_known(__isl_keep isl_local_space *ls); __isl_give isl_local_space *isl_local_space_substitute_equalities( __isl_take isl_local_space *ls, __isl_take isl_basic_set *eq); +int isl_local_space_is_named_or_nested(__isl_keep isl_local_space *ls, + enum isl_dim_type type); + #endif -- 2.11.4.GIT