isl_ast_codegen.c: generate_domain: intersect with simple hull of build domain
commit0ed6ed381cd8d743e6247cc7a9f077257be03bee
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 2 Jun 2014 16:46:22 +0000 (2 18:46 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 22 Aug 2014 14:49:38 +0000 (22 16:49 +0200)
treef58d53ea2326df5e9e356976c1bfaf2f5449f312
parentf4485101547c8e15de093ba1d02757b9f174dd02
isl_ast_codegen.c: generate_domain: intersect with simple hull of build domain

We used to intersect with the build domain itself, but this domain
may be a disjunction and intersecting with it may result in a lot of
extra conditions because it is more difficult to simplify away
a disjunction.  At least, isl's gist is not very good at simplifying
away disjunctions at the moment.
Note that by approximating the build domain, we may lose some special
cases where we would detect single-valuedness,
but we can always recover from that through the nested call.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_ast_codegen.c