avoid wrapping on some simple cases of loops with unsigned iterators
commit73836755c7c9d640a5b626387cbc5e6102c213d2
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 30 Jul 2011 12:05:15 +0000 (30 14:05 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 30 Jul 2011 13:47:14 +0000 (30 15:47 +0200)
tree8bc51a346507b34ec9c169bc77347f0ce921cad4
parente7ca7e71f2eb7b3a438081cdc9f963c119f78a18
avoid wrapping on some simple cases of loops with unsigned iterators

Also applying wrapping even when it is not necessary always produced
correct the results, the representation may be overly complicated.

We need to update some of the test cases because in the case of
wrapping, the schedule needs to include the constraints of the domain,
while they are not included when wrapping is not applied.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scan.cc
tests/tobi2.scop
tests/unsigned1.scop