31m[CLooG] FAIL: 1 tests failed in SPECIAL

[Mikhail Alekseev]

During 'make check' 1 test has failed:

             /*-----------------------------------------------*
              *       Testing CLooG: SPECIAL test set
              *-----------------------------------------------*/
Check file ./isl/unroll.cloog \c
(options -first-unroll 1  isl/jacobi-shared -f 4 -l -1 -override -strides 1 -sh 1  isl/unroll2 -first-unroll 1  backtrack -f 1 -backtrack  vasilache -f 8 -l 9  merge -f -1  equality -f -1 -l 2 -override  equality2 -f -1 -l 4 -esp 1 -override  otl -block 1 -esp 0 -otl 0  param-split -f -1  pouchet -f 3 -l 7  stride -f -1 -strides 1  stride2 -f -1 -strides 1  sor1d -f -1 ), \c
generating... \c
[CLooG] ERROR: isl/jacobi-shared file does not exist.
--- cloog_temp  2012-08-12 14:11:27.897348800 +1000
+++ ./isl/unroll.c      2011-10-18 04:06:19.000000000 +1100
@@ -0,0 +1,12 @@
+/* Generated from ./isl/unroll.cloog by CLooG 0.16.3-13-gbbcc8fc gmp bits in 0.00s. */
+S1(0);
+S1(1);
+S1(2);
+S1(3);
+S1(4);
+S1(5);
+S1(6);
+S1(7);
+S1(8);
+S1(9);
+S1(10);
FAIL: ./isl/unroll.c is not the same
\033[31m[CLooG] FAIL: 1 tests failed in SPECIAL\033[0m
FAIL: ./check_special.sh
===================================================
1 of 5 tests failed
Please report to cloog-de...@googlegroups.com
===================================================
Makefile:642: recipe for target `check-TESTS' failed
make[2]: *** [check-TESTS] Error 1
make[2]: Leaving directory `/src/cloog-0.17.0/test'
Makefile:764: recipe for target `check-am' failed
make[1]: *** [check-am] Error 2
make[1]: Leaving directory `/src/cloog-0.17.0/test'
Makefile:885: recipe for target `check-recursive' failed
make: *** [check-recursive] Error 1


The attached are config.log files for both GMP-5.0.5 and CLooG-0.17.0 (with ISL-0.10.0, not the default one).
Nevertheless, configure, make and make install were successful. Could you please tell me if the test failure above is critical for the purpose of building CLooG - I'm trying to create myown ARM Cortex-M3 cross-complier and want to use CLooG as a component of Graphite optimization engine in my ARM GCC cross-complier.

Thanks!
Mikhail

[Sven Verdoolaege]

On Sun, Aug 12, 2012 at 03:25:37PM +1000, Mikhail Alekseev wrote:
> During 'make check' 1 test has failed:
>
> /*-----------------------------------------------*
> * Testing CLooG: SPECIAL test set
> *-----------------------------------------------*/
> Check file ./isl/unroll.cloog \c
> (options -first-unroll 1 isl/jacobi-shared -f 4 -l -1 -override -strides 1
> -sh 1 isl/unroll2 -first-unroll 1 backtrack -f 1 -backtrack vasilache -f
> 8 -l 9 merge -f -1 equality -f -1 -l 2 -override equality2 -f -1 -l 4
> -esp 1 -override otl -block 1 -esp 0 -otl 0 param-split -f -1 pouchet -f
> 3 -l 7 stride -f -1 -strides 1 stride2 -f -1 -strides 1 sor1d -f -1 ), \c
> generating... \c

Something went wrong with the testing infrastructure.
I guess you are using a shell that is different from bash.

> Nevertheless, configure, make and make install were successful. Could you
> please tell me if the test failure above is critical for the purpose of
> building CLooG

The failure doesn't indicate a problem in CLooG, but only
in the testing infrastructure.

skimo

[Mikhail Alekseev]

Thank you Sven!

You guys are doing amazing things!

Thank you,
Mikhail

[Cédric Bastoul]

Hi Mikhail, thank you for reporting, and Sven for answering. What shell are you using (I just see "/bin/sh" from config.log, you can name it with the command "echo $0") ?

Ced.

--
You got this message because you subscribed to the CLooG Development mailing list.
To send messages to this list, use cloog-de...@googlegroups.com
To stop subscribing, send a mail to cloog-developm...@googlegroups.com
For more options and to visit the group, http://groups.google.fr/group/cloog-development?hl=en

[Mikhail Alekseev]

Hi Ced,

I'm using Cygwin:

malekseev@ATP-6XZQ4S1 /src/cloog-0.17.0
$ uname -a
CYGWIN_NT-6.1-WOW64 ATP-6XZQ4S1 1.7.16(0.262/5/3) 2012-07-20 22:55 i686 Cygwin

I have commented out isl/unroll in test/Makefile.in:SPECIAL_TEST, line 433 and in Makefile.am
After that I was able to perform "make check" successfully. So obviously only one test "isl/unroll" does not work in my Cygwin for some reason.

Please note that I'm using ISL-0.10 and NOT the default one (version 0.80 for CLooG 0.17.0). I have replaced the default CLooG/isl with the 0.10 version and building everything as one source tree.
Btw, in my Ubunty 12.04 all tests passed successfully so I don't need to disable "isl/unroll" test there.

Let me know if you have any other questions.

Thanks, regards,
MIkhail

[Cédric Bastoul]

Hi Mikhail,

thanks for the additional details, can you give me in addition the result of the command "echo $0" on your Cygwin ?

Best,

Ced.

[Mikhail Alekseev]

Sorry I've forgotten to provide you with an answer to your question...
Here we go:

$ echo $0
-bash

Thanks,
Mikhail

[Cédric Bastoul]

Thank you !

On Tue, Aug 14, 2012 at 1:48 PM, Mikhail Alekseev <male...@gmail.com> wrote:

Sorry I've forgotten to provide you with an answer to your question...
Here we go:

$ echo $0
-bash

(OK, so I will probably not be able to see the mistake easily, it will have to wait a little bit on my side since it is not a blocking problem...)

[vree...@gmail.com]

Same error on make check of cloog-0.18 using installed isl-0.11
mismatch on isl/unroll

Which is of course silly since it is comparing my installed isl to the bundled ./isl/unroll, which is guaranteed not to match.