From 5ac8f275f6a13e532cd1343afe096913e9ca5c43 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 27 Jun 2013 11:52:21 +0200 Subject: [PATCH] scan.cc: universally: use pet_expr_from_index Signed-off-by: Sven Verdoolaege --- scan.cc | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/scan.cc b/scan.cc index 70ebd5f..0c885bb 100644 --- a/scan.cc +++ b/scan.cc @@ -3967,14 +3967,16 @@ static bool need_skip(struct pet_scop *scop_then, struct pet_scop *scop_else, */ static struct pet_expr *universally(isl_ctx *ctx, int val) { - isl_space *space; - isl_map *map; + isl_local_space *ls; + isl_val *v; + isl_aff *aff; + isl_multi_pw_aff *mpa; - space = isl_space_alloc(ctx, 0, 0, 1); - map = isl_map_universe(space); - map = isl_map_fix_si(map, isl_dim_out, 0, val); + ls = isl_local_space_from_space(isl_space_set_alloc(ctx, 0, 0)); + aff = isl_aff_val_on_domain(ls, isl_val_int_from_si(ctx, val)); + mpa = isl_multi_pw_aff_from_pw_aff(isl_pw_aff_from_aff(aff)); - return pet_expr_from_access(map); + return pet_expr_from_index(mpa); } /* Construct an affine expression pet_expr that evaluates -- 2.11.4.GIT