From 5197dae0274f535ebac0bdd6aba2a91cef8e3c3f Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 16 Oct 2011 10:55:57 +0200 Subject: [PATCH] isl_union_map_intersect_domain: special case intersection with parameter domain Signed-off-by: Sven Verdoolaege --- isl_union_map.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/isl_union_map.c b/isl_union_map.c index ed124910..5ccc46e7 100644 --- a/isl_union_map.c +++ b/isl_union_map.c @@ -840,9 +840,15 @@ static int intersect_domain_entry(void **entry, void *user) return 0; } +/* Intersect the domain of "umap" with "uset". + * If "uset" is a parameters domain, then intersect the parameter + * domain of "umap" with this set. + */ __isl_give isl_union_map *isl_union_map_intersect_domain( __isl_take isl_union_map *umap, __isl_take isl_union_set *uset) { + if (isl_union_set_is_params(uset)) + return union_map_intersect_params(umap, uset); return gen_bin_op(umap, uset, &intersect_domain_entry); } -- 2.11.4.GIT