From 37a7cd0be75dbb7db8fa006602b3e7527f9e5885 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 17 Jan 2012 11:19:09 +0100 Subject: [PATCH] pet_scop_add: combine (intersect) contexts of original scops A sequence can only be executed if both parts can be executed. Signed-off-by: Sven Verdoolaege --- scop.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scop.c b/scop.c index e9b52ee..ab9b84c 100644 --- a/scop.c +++ b/scop.c @@ -717,6 +717,9 @@ struct pet_scop *pet_scop_add(isl_ctx *ctx, struct pet_scop *scop1, scop2->arrays[i] = NULL; } + scop = pet_scop_restrict_context(scop, isl_set_copy(scop1->context)); + scop = pet_scop_restrict_context(scop, isl_set_copy(scop2->context)); + pet_scop_free(scop1); pet_scop_free(scop2); return scop; -- 2.11.4.GIT