| commit | dec3e4a9dbe8b2134e25319be0846cfc3536cee9 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 27 Jun 2010 18:46:22 +0000 (27 20:46 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 29 Jun 2010 17:47:33 +0000 (29 19:47 +0200) | ||
| tree | 762cfdb44a9da15decd6439a4526fa8382635339 | treesnapshot (tar.gz zip) |
| parent | 0b7e0ddfe45adadab0177d86a4de7c4a21a5aaa6 | commitdiff |
isl backend: cloog_constraint_set_foreach_constraint: skip div constraints
Constraints that correspond directly to the definition of an existential
variable as an integer division should not result in any conditions being
generated in the CLooG output.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Constraints that correspond directly to the definition of an existential
variable as an integer division should not result in any conditions being
generated in the CLooG output.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| source/isl/constraints.c | diffblobblamehistory |