From c6ec35e18351f5d647fb4bcba3b78156e2f75b28 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 25 Mar 2014 22:12:37 +0100 Subject: [PATCH] pet_expr_filter: avoid using access relation In a future commit, we will only keep track of access relation(s) when they cannot be trivially derived from the index expression. Extract domain space from the index expression rather than from the access relation. Signed-off-by: Sven Verdoolaege --- expr.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/expr.c b/expr.c index c131e64..7265d71 100644 --- a/expr.c +++ b/expr.c @@ -1475,7 +1475,7 @@ __isl_give pet_expr *pet_expr_filter(__isl_take pet_expr *expr, isl_die(ctx, isl_error_invalid, "can only filter access expressions", goto error); - space = isl_space_domain(isl_map_get_space(expr->acc.access)); + space = isl_space_domain(isl_multi_pw_aff_get_space(expr->acc.index)); id = isl_multi_pw_aff_get_tuple_id(test, isl_dim_out); pma = pet_filter_insert_pma(space, id, satisfied); -- 2.11.4.GIT