| commit | bff486ace833092e3cae787b4ded2010eed5ed02 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 11 Apr 2011 20:42:50 +0000 (11 22:42 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 11 Apr 2011 20:52:13 +0000 (11 22:52 +0200) | ||
| tree | 039c6bf16f54fbf1340407e0e2016aa4f09f9ca8 | treesnapshot (tar.gz zip) |
| parent | b1302745c4d62a058d2eb0ae9ba17a10ed107935 | commitdiff |
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 <skimo@kotnet.org>
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 <skimo@kotnet.org>
| source/isl/domain.c | diffblobblamehistory |