| commit | 351876525a22320b32e435f6af950a779f7f1aee | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 29 Apr 2015 11:56:42 +0000 (29 13:56 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 29 Jun 2015 06:33:43 +0000 (29 08:33 +0200) | ||
| tree | 57594d2d9f8e9163bdeff9bdabb5f99f5e8d6989 | treesnapshot (tar.gz zip) |
| parent | 8a4e4ab0d0f31bdbddb591780f04506214ac9eda | commitdiff |
isl_ast_build_expr_from_set_internal: exploit earlier disjuncts
When generating constraints for subsequent disjuncts, constraints
that only serve to exclude earlier disjuncts do not need to be generated.
We currently take the basic sets as they come. We may want
to sort them first at some point.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
When generating constraints for subsequent disjuncts, constraints
that only serve to exclude earlier disjuncts do not need to be generated.
We currently take the basic sets as they come. We may want
to sort them first at some point.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_ast_build_expr.c | diffblobblamehistory | |
| test_inputs/codegen/omega/iter9-0.c | diffblobblamehistory | |
| test_inputs/codegen/unroll4.c | diffblobblamehistory |