| commit | be0a52e6953792435d95413e10c80852464d695d | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 22 Dec 2014 22:03:25 +0000 (22 23:03 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 25 Dec 2014 09:37:42 +0000 (25 10:37 +0100) | ||
| tree | 27e06defce606fae7901bd80d1401c94bb1d175b | treesnapshot (tar.gz zip) |
| parent | a64d183f30d3486b8a0a805152c5df10a3a38f6f | commitdiff |
isl_ast_codegen.c: add_implied_guards: combine degenerate and stride constraints
If there are both stride constraints and degenerate loop bounds, then
a combination of them may imply more guards then the two sets of
constraints would imply separately. Combine them before deriving
the implied guards.
It is difficult to find a test case that illustrates this issue
in the current code base, but it has occurred in an experimental
schedule tree branch.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If there are both stride constraints and degenerate loop bounds, then
a combination of them may imply more guards then the two sets of
constraints would imply separately. Combine them before deriving
the implied guards.
It is difficult to find a test case that illustrates this issue
in the current code base, but it has occurred in an experimental
schedule tree branch.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_ast_codegen.c | diffblobblamehistory |