From fa0d7bc97c934ec9e8b8d87b464e01dd0e016ac1 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 28 Jul 2014 16:52:48 +0200 Subject: [PATCH] add isl_ast_build_get_pending Signed-off-by: Sven Verdoolaege --- isl_ast_build.c | 8 ++++++++ isl_ast_build_private.h | 2 ++ 2 files changed, 10 insertions(+) diff --git a/isl_ast_build.c b/isl_ast_build.c index ce89fc48..3da331cf 100644 --- a/isl_ast_build.c +++ b/isl_ast_build.c @@ -934,6 +934,14 @@ __isl_give isl_set *isl_ast_build_get_domain(__isl_keep isl_ast_build *build) return build ? isl_set_copy(build->domain) : NULL; } +/* Return a copy of the set of pending constraints. + */ +__isl_give isl_set *isl_ast_build_get_pending( + __isl_keep isl_ast_build *build) +{ + return build ? isl_set_copy(build->pending) : NULL; +} + /* Return the number of variables of the given type * in the (internal) schedule space. */ diff --git a/isl_ast_build_private.h b/isl_ast_build_private.h index a9fe5004..b43a2cd3 100644 --- a/isl_ast_build_private.h +++ b/isl_ast_build_private.h @@ -193,6 +193,8 @@ __isl_give isl_ast_build *isl_ast_build_set_single_valued( __isl_take isl_ast_build *build, int sv); __isl_give isl_set *isl_ast_build_get_domain( __isl_keep isl_ast_build *build); +__isl_give isl_set *isl_ast_build_get_pending( + __isl_keep isl_ast_build *build); __isl_give isl_ast_build *isl_ast_build_restrict_generated( __isl_take isl_ast_build *build, __isl_take isl_set *set); __isl_give isl_ast_build *isl_ast_build_restrict_pending( -- 2.11.4.GIT