Testsuite failures with isl-0.11.2

[allan...@gmail.com]

Building cloog-0.18 with isl-0.11.2 results in a few testsuite failures:

FAIL: ./darte.c is not the same
FAIL: ./dealII.c is not the same
FAIL: ./dartef.f is not the same
FAIL: ./isl/jacobi-shared.c is not the same
FAIL: ./vasilache.c is not the same

This is likely the result of isl changes to make the output consistent on all platforms and requires the testsuite to be updated.

Allan

[Roland McGrath]

Anyone planning to fix this?

It would be great to have a point release soonish that works with isl-0.11.2.

Thanks,

Roland

[kizkizz...@googlemail.com]

Yes, please fix these issues. Also, would you please elaborate on how critical the failing checks are?

On my test machine the situation is currently as follows (see the used dependencies in the ldd output, in all cases isl links to the same gmp version as cloog-isl does):

Scenario 1 (make check successful):

# find -name *.so | parallel -v ldd ; make -j12 check | grep ^FAIL:

ldd ./.libs/libcloog-isl.so

        libisl.so.10 => /usr/local/isl/0.11.1-1/lib/libisl.so.10 (0x00002b74596e9000)

        libgmp.so.10 => /usr/local/gmp/5.1.1-1/lib/libgmp.so.10 (0x00002b7459a03000)

        libc.so.6 => /lib64/libc.so.6 (0x00002b7459c93000)

        /lib64/ld-linux-x86-64.so.2 (0x00000031a7800000)

Scenario 2 (make check failing):

# find -name *.so | parallel -v ldd ; make -j12 check | grep ^FAIL:

ldd ./.libs/libcloog-isl.so

        libisl.so.10 => /usr/local/isl/0.11.2-1/lib/libisl.so.10 (0x00002aff89c7d000)

        libgmp.so.10 => /usr/local/gmp/5.1.1-1/lib/libgmp.so.10 (0x00002aff89f97000)

        libc.so.6 => /lib64/libc.so.6 (0x00002aff8a227000)

        /lib64/ld-linux-x86-64.so.2 (0x00000031a7800000)

FAIL: ./check_c.sh

FAIL: ./check_fortran.sh

FAIL: ./check_special.sh

make[2]: *** [check-TESTS] Error 1

make[1]: *** [check-am] Error 2

make: *** [check-recursive] Error 1

Scenario 3 (make check failing):

# find -name *.so | parallel -v ldd ; make -j12 check | grep ^FAIL:

ldd ./.libs/libcloog-isl.so

        libisl.so.10 => /usr/local/isl/0.11.2-2/lib/libisl.so.10 (0x00002b573f803000)

        libgmp.so.10 => /usr/local/gmp/5.1.2-1/lib/libgmp.so.10 (0x00002b573fb1d000)

        libc.so.6 => /lib64/libc.so.6 (0x00002b573fdad000)

        /lib64/ld-linux-x86-64.so.2 (0x00000031a7800000)

FAIL: ./check_c.sh

FAIL: ./check_fortran.sh

FAIL: ./check_special.sh

make[2]: *** [check-TESTS] Error 1

make[1]: *** [check-am] Error 2

make: *** [check-recursive] Error 1

[Tobias Grosser]

On 06/07/2013 01:14 AM, kizkizz...@googlemail.com wrote:
> Yes, please fix these issues. Also, would you please elaborate on how
> critical the failing checks are?

I just pushed commit f861f854b6cc85b67e39794e38e7104fcd59af90 that
updates the CLooG test suite to work with the very latest version
of isl.

I checked and all these "failures" where caused by some internal isl
changes that did not caused incorrect code being generated, but that
caused CLooG to generate slightly different code for certain programs.

Cheers,
Tobias