allow unrolling of loops with multiple lower bounds
commita0c4004fe657eb5f2c500386524e45b3d33832f0
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 3 Jun 2011 13:04:07 +0000 (3 15:04 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 3 Jun 2011 13:08:58 +0000 (3 15:08 +0200)
tree1ae0f47c422ac0b665819a158065bca595c145c8
parent0bc530310a986fd39ebde3eb48bdf5107eecfc50
allow unrolling of loops with multiple lower bounds

When support for unrolling was added in 7f6868b (add support for
unrolling, Thu May 12 16:22:49 2011 +0200), it was restricted
to loops with only a single lower bound.
There is no need for this restriction, however.
Instead, it is sufficient that there be a lower bound
that can be incremented only a finite number of times.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/cloog.texi
source/isl/domain.c