From 2be9aaa10daa7245408bfae8b43021d31d013510 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 15 Nov 2016 14:44:24 +0100 Subject: [PATCH] pet_tree_is_affine_assume: return isl_bool This clarifies what the possible return values are. Signed-off-by: Sven Verdoolaege --- scop.c | 10 +++++++--- tree.c | 4 ++-- tree.h | 2 +- 3 files changed, 10 insertions(+), 6 deletions(-) diff --git a/scop.c b/scop.c index ad05baf..8bd57f3 100644 --- a/scop.c +++ b/scop.c @@ -415,10 +415,10 @@ error: /* Is "stmt" an assume statement with an affine assumption? */ -int pet_stmt_is_affine_assume(struct pet_stmt *stmt) +isl_bool pet_stmt_is_affine_assume(struct pet_stmt *stmt) { if (!stmt) - return 0; + return isl_bool_error; return pet_tree_is_affine_assume(stmt->body); } @@ -447,9 +447,13 @@ static __isl_give isl_set *stmt_extract_context(struct pet_stmt *stmt, __isl_take isl_set *context) { int i; + isl_bool affine; pet_expr *body; - if (pet_stmt_is_affine_assume(stmt)) { + affine = pet_stmt_is_affine_assume(stmt); + if (affine < 0) + return isl_set_free(context); + if (affine) { isl_multi_pw_aff *index; isl_pw_aff *pa; isl_set *cond; diff --git a/tree.c b/tree.c index 00838af..0cc7980 100644 --- a/tree.c +++ b/tree.c @@ -1418,10 +1418,10 @@ int pet_tree_is_assume(__isl_keep pet_tree *tree) /* Is "tree" an expression tree that performs an assume operation * such that the assumed expression is affine? */ -int pet_tree_is_affine_assume(__isl_keep pet_tree *tree) +isl_bool pet_tree_is_affine_assume(__isl_keep pet_tree *tree) { if (!pet_tree_is_assume(tree)) - return 0; + return isl_bool_false; return pet_expr_is_affine(tree->u.e.expr->args[0]); } diff --git a/tree.h b/tree.h index baf9163..1cd7fa9 100644 --- a/tree.h +++ b/tree.h @@ -92,7 +92,7 @@ int pet_tree_is_equal(__isl_keep pet_tree *tree1, __isl_keep pet_tree *tree2); int pet_tree_is_kill(__isl_keep pet_tree *tree); int pet_tree_is_assign(__isl_keep pet_tree *tree); int pet_tree_is_assume(__isl_keep pet_tree *tree); -int pet_tree_is_affine_assume(__isl_keep pet_tree *tree); +isl_bool pet_tree_is_affine_assume(__isl_keep pet_tree *tree); __isl_give isl_multi_pw_aff *pet_tree_assume_get_index( __isl_keep pet_tree *tree); -- 2.11.4.GIT