cloog_loop_generate: optimize the loop domains after separation
commitb9e2954dfebada35ad03c5ef16f0ed67889a26fe
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 4 May 2010 14:45:20 +0000 (4 16:45 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 6 May 2010 20:58:26 +0000 (6 22:58 +0200)
tree6f848bdd20786e9dd830ffb86d0403f86d971206
parente87f391a5a9c0d6343b8f1d50bfd38d7286bcb43
cloog_loop_generate: optimize the loop domains after separation

The separation phase may split a domain into parts with only
a single inner loop.  In this case we want to replace the
iteration domain by the projection of the iteration domain
of the inner loop.
This can be seen as a light-weight backtracking phase.
When backtracking is turned on, the effect of this change is small,
but with backtracking turned off, it helps to recover some of the
benefits of backtracking.

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