PolyLib backend: disable cloog_scattering_lazy_block
commitbdccce961c45fc7a825270e070e4c506c30d3586
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 5 May 2009 19:03:03 +0000 (5 21:03 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 5 May 2009 19:15:08 +0000 (5 21:15 +0200)
tree305f21c2fa97fb839fd7edac3ec287047cc26682
parent9f9813935ff32eafdd78fbef685c5ba1b2695d0a
PolyLib backend: disable cloog_scattering_lazy_block

The original cloog_scattering_lazy_block is known to get it wrong
in some cases.  For example, on the newly add block.cloog test case,
it would make CLooG generate

    /* Generated from block.cloog by CLooG 0.14.0-170-g72daac3 64 bits in 0.01s. */
    S1();
    S2();
    S3(0);
    S3(1);

instead of the correct

    /* Generated from block.cloog by CLooG 0.14.0-170-g72daac3 gmp bits in 0.00s. */
    S1();
    S3(0);
    S2();
    S3(1);

Cedric Bastoul is working on a fix, but in the mean time it is safest
to disable the known incorrect implementation.  Once it has been fixed,
it can easily be resurrected.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
source/polylib/domain.c
test/Makefile.am
test/block.cloog [new file with mode: 0644]
test/block.good.c [new file with mode: 0644]
test/isl/block.c [new file with mode: 0644]
test/polylib/block.c [new file with mode: 0644]
test/polylib/reservoir/mg-interp.c