From 47b1b05ee0d443963f4d9d979ed5e981ae6c775e Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 2 Nov 2011 11:30:40 +0100 Subject: [PATCH] isl_union_pw_*_intersect_domain: special case parameter domains Signed-off-by: Sven Verdoolaege --- isl_union_templ.c | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/isl_union_templ.c b/isl_union_templ.c index 93d004db..bbdde9cc 100644 --- a/isl_union_templ.c +++ b/isl_union_templ.c @@ -565,9 +565,16 @@ error: return NULL; } +/* Intersect the domain of "u" with "uset". + * If "uset" is a parameters domain, then intersect the parameter + * domain of "u" with this set. + */ __isl_give UNION *FN(UNION,intersect_domain)(__isl_take UNION *u, __isl_take isl_union_set *uset) { + if (isl_union_set_is_params(uset)) + return FN(UNION,intersect_params)(u, + isl_set_from_union_set(uset)); return match_set_op(u, uset, &FN(PW,intersect_domain)); } -- 2.11.4.GIT