generate loops for all dimensions if -otl 0 is specified
commit994737713b9a0809535f8fe8ddf7d8d45288d620
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 26 Mar 2010 11:04:49 +0000 (26 12:04 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 1 Apr 2010 10:12:15 +0000 (1 12:12 +0200)
tree2a9423f16dcf3ff99051bb1c82ef581ab9ba065e
parentca55fb3ef1c338e71006bb3e61f075d59949f35c
generate loops for all dimensions if -otl 0 is specified

Before, -otl 0 would only generate loops for dimensions that
ended up having identical lower and upper bounds.
However, backends (especially isl, but in some cases also PolyLib)
would usually replace such pairs of lower and upper bounds by
an equality and then no loop would be generated.
Users seem to expect to get a loop even in these cases, so
with this patch, CLooG will now generate a loop for all dimensions
when -otl 0 is specified.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Tested-by: Michael Claßen <classenm@infosun.fim.uni-passau.de>
source/clast.c
test/Makefile.am
test/otl.c [new file with mode: 0644]
test/otl.cloog [new file with mode: 0644]
test/otl.good.c [new file with mode: 0644]