From bff486ace833092e3cae787b4ded2010eed5ed02 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 11 Apr 2011 22:42:50 +0200 Subject: [PATCH] cloog_domain_simple_convex: always compute simple hull Before, we would call the real convex hull on zero-dimensional domains. However, a zero-dimensional domain may still have existentially quantified variables and then the convex hull may also be expensive to compute. Instead, we now respect the user's request in all cases. Signed-off-by: Sven Verdoolaege --- source/isl/domain.c | 3 --- 1 file changed, 3 deletions(-) diff --git a/source/isl/domain.c b/source/isl/domain.c index 65caa4b..127c5b9 100644 --- a/source/isl/domain.c +++ b/source/isl/domain.c @@ -128,9 +128,6 @@ CloogDomain *cloog_domain_simple_convex(CloogDomain *domain) if (cloog_domain_isconvex(domain)) return cloog_domain_copy(domain); - if (dim == 0) - return cloog_domain_convex(domain); - hull = isl_set_bounded_simple_hull(isl_set_copy(set)); return cloog_domain_from_isl_set(isl_set_from_basic_set(hull)); } -- 2.11.4.GIT