| commit | 10cad1aca8f2eb844fd36e9ba38547e7d2e58bda | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 2 Aug 2014 13:39:30 +0000 (2 15:39 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 29 Aug 2014 11:54:51 +0000 (29 13:54 +0200) | ||
| tree | 9dd77e58affbd185c32376b1c49d5ef55da02531 | treesnapshot (tar.gz zip) |
| parent | 0ed6ed381cd8d743e6247cc7a9f077257be03bee | commitdiff |
AST generator: exploit all information while looking for unroll lower bound
In particular, the context may include information that is not
completely taken into account in the executed relations because
it may induce extra disjuncts. Since we are taking the simple
hull for each unrolled iteration anyway, it does not hurt to
include all available information while looking for a lower bound
that can be used for unrolling.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, the context may include information that is not
completely taken into account in the executed relations because
it may induce extra disjuncts. Since we are taking the simple
hull for each unrolled iteration anyway, it does not hurt to
include all available information while looking for a lower bound
that can be used for unrolling.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_ast_codegen.c | diffblobblamehistory | |
| test_inputs/codegen/unroll10.c | [new file with mode: 0644] | blob |
| test_inputs/codegen/unroll10.in | [new file with mode: 0644] | blob |