cloog_loop_constant: don't drop constraints on outer loop iterators
commit48ecbf60ab9a84a4f49a015bbf797486f9e89987
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 10 May 2011 08:56:01 +0000 (10 10:56 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 11 May 2011 11:13:22 +0000 (11 13:13 +0200)
treebc743a6faf4e9a6632230fac4bcf3b82e6c2c938
parent1421b58a447ee03ae2aa845eacef42d4285066be
cloog_loop_constant: don't drop constraints on outer loop iterators

9802965 (cloog_loop_generate_general: add special treatment for loops
with constant value, Sat Dec 4 17:57:26 2010 +0100) improved code
generation in presence of the -noscalars option, but did so by creating
loops with domains that only had constraints on the current loop iterator
and not on any previous loop iterator.
This broke a fundamental assumption of the CLooG internals.

We already introduced a bandaid in b130274 (fix backtracking in presence
of constant loops, Thu Mar 24 21:48:27 2011 +0100) for backtracking,
but cloog_loop_stop was also affected.
Rather than introducing a new bandaid, let's just play by the rules
in cloog_loop_constant and remove the backtracking bandaid.
The fallout appears to be relatively minor.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
source/loop.c
test/reservoir/lim-lam3.c