| commit | 97ddb42962f9cc98e8a65b02479c8d720cdfbb87 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 23 Oct 2010 15:53:51 +0000 (23 17:53 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 27 Oct 2010 13:50:21 +0000 (27 15:50 +0200) | ||
| tree | ce4be30701a960515ec131a48a7bb86a426054dc | treesnapshot (tar.gz zip) |
| parent | f6b9b7e17151786bb1bc049e306abb178dbdad99 | commitdiff |
clast.c: insert_modulo_guard_constraint: properly handle existentials
The upper bound on an existentially quantified variable may get
filtered out by cloog_constraint_set_foreach_constraint.
insert_modulo_guard_constraint therefore needs to accept not only
upper bounds, but also lower bounds.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The upper bound on an existentially quantified variable may get
filtered out by cloog_constraint_set_foreach_constraint.
insert_modulo_guard_constraint therefore needs to accept not only
upper bounds, but also lower bounds.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| source/clast.c | diffblobblamehistory | |
| test/Makefile.am | diffblobblamehistory | |
| test/isl/mod2.c | [new file with mode: 0644] | blob |
| test/isl/mod2.cloog | [new file with mode: 0644] | blob |