0.18.1 FAIL: ./reservoir/QR.c is not the same

[Richard PALO]

I'm testing a cloog 0.18.1 installation and would like to sollicit hints
on tracking down the failure encountered.

gcc 4.9.1
gmp 6.0.0a
isl 0.13
cloog 0.18.1

dev environment SunOS 5.11 (illumos) under pkgsrc trunk 32-bit.

/*-----------------------------------------------*
* Testing CLooG: C test set
*-----------------------------------------------*/
Check file ./infinite.cloog (no option), generating... PASS
Check file ./infinite2.cloog (no option), generating... PASS
Check file ./infinite3.cloog (no option), generating... PASS
Check file ./infinite4.cloog (no option), generating... PASS
Check file ./0D-1.cloog (no option), generating... PASS
Check file ./0D-2.cloog (no option), generating... PASS
Check file ./0D-3.cloog (no option), generating... PASS
Check file ./1point-1.cloog (no option), generating... PASS
Check file ./1point-2.cloog (no option), generating... PASS
Check file ./4-param.cloog (no option), generating... PASS
Check file ./basic-bounds-1.cloog (no option), generating... PASS
Check file ./basic-bounds-2.cloog (no option), generating... PASS
Check file ./basic-bounds-3.cloog (no option), generating... PASS
Check file ./basic-bounds-4.cloog (no option), generating... PASS
Check file ./basic-bounds-5.cloog (no option), generating... PASS
Check file ./basic-bounds-6.cloog (no option), generating... PASS
Check file ./block.cloog (no option), generating... PASS
Check file ./block2.cloog (no option), generating... PASS
Check file ./block3.cloog (no option), generating... PASS
Check file ./byu98-1-2-3.cloog (no option), generating... PASS
Check file ./cholesky.cloog (no option), generating... PASS
Check file ./cholesky2.cloog (no option), generating... PASS
Check file ./christian.cloog (no option), generating... PASS
Check file ./classen.cloog (no option), generating... PASS
Check file ./classen2.cloog (no option), generating... PASS
Check file ./constant.cloog (no option), generating... PASS
Check file ./constbound.cloog (no option), generating... PASS
Check file ./darte.cloog (no option), generating... PASS
Check file ./dealII.cloog (no option), generating... PASS
Check file ./donotsimp.cloog (no option), generating... PASS
Check file ./dot.cloog (no option), generating... PASS
Check file ./dot2.cloog (no option), generating... PASS
Check file ./double.cloog (no option), generating... PASS
Check file ./durbin_e_s.cloog (no option), generating... PASS
Check file ./emploi.cloog (no option), generating... PASS
Check file ./esced.cloog (no option), generating... PASS
Check file ./ex1.cloog (no option), generating... PASS
Check file ./forwardsub-1-1-2.cloog (no option), generating... PASS
Check file ./forwardsub-2-1-2-3.cloog (no option), generating... PASS
Check file ./forwardsub-3-1-2.cloog (no option), generating... PASS
Check file ./gauss.cloog (no option), generating... PASS
Check file ./gesced.cloog (no option), generating... PASS
Check file ./gesced2.cloog (no option), generating... PASS
Check file ./gesced3.cloog (no option), generating... PASS
Check file ./guide.cloog (no option), generating... PASS
Check file ./iftest.cloog (no option), generating... PASS
Check file ./iftest2.cloog (no option), generating... PASS
Check file ./largeur.cloog (no option), generating... PASS
Check file ./levenshtein-1-2-3.cloog (no option), generating... PASS
Check file ./lex.cloog (no option), generating... PASS
Check file ./lineality-1-2.cloog (no option), generating... PASS
Check file ./lineality-2-1-2.cloog (no option), generating... PASS
Check file ./logo.cloog (no option), generating... PASS
Check file ./logopar.cloog (no option), generating... PASS
Check file ./lu.cloog (no option), generating... PASS
Check file ./lu2.cloog (no option), generating... PASS
Check file ./lub.cloog (no option), generating... PASS
Check file ./lux.cloog (no option), generating... PASS
Check file ./min-1-1.cloog (no option), generating... PASS
Check file ./min-2-1.cloog (no option), generating... PASS
Check file ./min-3-1.cloog (no option), generating... PASS
Check file ./min-4-1.cloog (no option), generating... PASS
Check file ./mode.cloog (no option), generating... PASS
Check file ./multi-mm-1.cloog (no option), generating... PASS
Check file ./no_lindep.cloog (no option), generating... PASS
Check file ./orc.cloog (no option), generating... PASS
Check file ./rectangle.cloog (no option), generating... PASS
Check file ./singleton.cloog (no option), generating... PASS
Check file ./square+triangle-1-1-2-3.cloog (no option), generating... PASS
Check file ./swim.cloog (no option), generating... PASS
Check file ./test.cloog (no option), generating... PASS
Check file ./thomasset.cloog (no option), generating... PASS
Check file ./tiling.cloog (no option), generating... PASS
Check file ./uday_scalars.cloog (no option), generating... PASS
Check file ./union.cloog (no option), generating... PASS
Check file ./vivien.cloog (no option), generating... PASS
Check file ./vivien2.cloog (no option), generating... PASS
Check file ./walters.cloog (no option), generating... PASS
Check file ./walters2.cloog (no option), generating... PASS
Check file ./walters3.cloog (no option), generating... PASS
Check file ./wavefront.cloog (no option), generating... PASS
Check file ./yosr.cloog (no option), generating... PASS
Check file ./yosr2.cloog (no option), generating... PASS
Check file ./non_optimal/nul_complex1.cloog (no option), generating... PASS
Check file ./non_optimal/usvd_e_t.cloog (no option), generating... PASS
Check file ./non_optimal/youcef.cloog (no option), generating... PASS
Check file ./reservoir/cholesky2.cloog (no option), generating... PASS
Check file ./reservoir/fusion1.cloog (no option), generating... PASS
Check file ./reservoir/fusion2.cloog (no option), generating... PASS
Check file ./reservoir/jacobi2.cloog (no option), generating... PASS
Check file ./reservoir/jacobi3.cloog (no option), generating... PASS
Check file ./reservoir/lim-lam1.cloog (no option), generating... PASS
Check file ./reservoir/lim-lam2.cloog (no option), generating... PASS
Check file ./reservoir/lim-lam3.cloog (no option), generating... PASS
Check file ./reservoir/lim-lam4.cloog (no option), generating... PASS
Check file ./reservoir/lim-lam5.cloog (no option), generating... PASS
Check file ./reservoir/lim-lam6.cloog (no option), generating... PASS
Check file ./reservoir/liu-zhuge1.cloog (no option), generating... PASS
Check file ./reservoir/loechner3.cloog (no option), generating... PASS
Check file ./reservoir/loechner4.cloog (no option), generating... PASS
Check file ./reservoir/loechner5.cloog (no option), generating... PASS
Check file ./reservoir/mg-interp2.cloog (no option), generating... PASS
Check file ./reservoir/mg-interp.cloog (no option), generating... PASS
Check file ./reservoir/mg-psinv.cloog (no option), generating... PASS
Check file ./reservoir/mg-resid.cloog (no option), generating... PASS
Check file ./reservoir/mg-rprj3.cloog (no option), generating... PASS
Check file ./reservoir/pingali1.cloog (no option), generating... PASS
Check file ./reservoir/pingali2.cloog (no option), generating... PASS
Check file ./reservoir/pingali3.cloog (no option), generating... PASS
Check file ./reservoir/pingali4.cloog (no option), generating... PASS
Check file ./reservoir/pingali5.cloog (no option), generating... PASS
Check file ./reservoir/pingali6.cloog (no option), generating... PASS
Check file ./reservoir/QR.cloog (no option), generating... ---
cloog_temp 2014-09-23 11:21:10.328854738 +0200
+++ ./reservoir/QR.c 2013-10-11 09:27:03.000000000 +0200
@@ -1,12 +1,6 @@
-/* Generated from ./reservoir/QR.cloog by CLooG 0.18.1-UNKNOWN gmp bits
in 0.25s. */
+/* Generated from ../../../git/cloog/test/./reservoir/QR.cloog by CLooG
0.14.0-136-gb91ef26 gmp bits in 0.21s. */
if (N >= 1) {
S1(0);
- if ((M <= 0) && (N >= 2)) {
- S3(0);
- S10(0);
- S1(1);
- S5(0);
- }
if ((M >= 1) && (N == 1)) {
for (c4=0;c4<=M-1;c4++) {
S2(0,c4);
@@ -35,6 +29,12 @@
S1(1);
S5(0);
}
+ if ((M <= 0) && (N >= 2)) {
+ S3(0) ;
+ S10(0) ;
+ S1(1) ;
+ S5(0) ;
+ }
for (c2=2;c2<=min(M,N-1);c2++) {
for (c4=c2-1;c4<=N-1;c4++) {
S6(c2-2,c4);
-e FAIL: ./reservoir/QR.c is not the same
Check file ./reservoir/tang-xue1.cloog (no option), generating... PASS
Check file ./reservoir/two.cloog (no option), generating... PASS
Check file ./isl/mod.cloog (no option), generating... PASS
Check file ./isl/mod2.cloog (no option), generating... PASS
Check file ./isl/mod3.cloog (no option), generating... PASS
Check file ./isl/mod4.cloog (no option), generating... PASS
[CLooG] FAIL: 1 tests failed in C
FAIL: check_c.sh
/*-----------------------------------------------*
* Testing CLooG: FORTRAN test set
*-----------------------------------------------*/
Check file ./dartef.cloog (no option), generating... PASS
Check file ./iftestf.cloog (no option), generating... PASS
Check file ./levenshtein-1-2-3f.cloog (no option), generating... PASS
Check file ./yosrf.cloog (no option), generating... PASS
[CLooG] PASS: FORTRAN passed :-) !
PASS: check_fortran.sh
/*-----------------------------------------------*
* Testing CLooG: STRIDED test set
*-----------------------------------------------*/
Check file ./basic-bounds-2.cloog (options -strides 1), generating... PASS
Check file ./mod4.cloog (options -strides 1), generating... PASS
Check file ./nul_basic1.cloog (options -strides 1), generating... PASS
Check file ./nul_basic2.cloog (options -strides 1), generating... PASS
Check file ./nul_lcpc.cloog (options -strides 1), generating... PASS
Check file ./multi-stride.cloog (options -strides 1), generating... PASS
Check file ./multi-stride2.cloog (options -strides 1), generating... PASS
Check file ./stride3.cloog (options -strides 1), generating... PASS
Check file ./stride4.cloog (options -strides 1), generating... PASS
Check file ./reservoir/bastoul3.cloog (options -strides 1),
generating... PASS
Check file ./reservoir/stride.cloog (options -strides 1), generating...
PASS
Check file ./reservoir/stride2.cloog (options -strides 1),
generating... PASS
Check file ./isl/mxm-shared.cloog (options -strides 1), generating... PASS
[CLooG] PASS: STRIDED passed :-) !
PASS: check_strided.sh
/*-----------------------------------------------*
* Testing CLooG: OPENSCOP test set
*-----------------------------------------------*/
[CLooG] PASS: OPENSCOP passed :-) !
PASS: check_openscop.sh
/*-----------------------------------------------*
* Testing CLooG: SPECIAL test set
*-----------------------------------------------*/
Check file ./isl/unroll.cloog (options -first-unroll ), generating...
isl_ctx.c:245: isl_ctx freed, but some objects still reference it
PASS
[CLooG] PASS: SPECIAL passed :-) !
PASS: check_special.sh
===================================================
1 of 5 tests failed
Please report to cloog-de...@googlegroups.com
===================================================

[Cédric Bastoul]

Dear Richard,

thanks for reporting. Using an isl version different than the bundled one may have such an effect : the generated codes may differ but they are (in general) semantically equivalent. The failing test case you reported belongs to that class, so your CLooG build looks OK. We will update CLooG to be in line with the current behavior of isl. We are (slowly) working on something to improve that.

Best regards,

Cedric

Please report to cloog-development@googlegroups.com
===================================================

--
--
You got this message because you subscribed to the CLooG Development mailing list.
To send messages to this list, use cloog-development@googlegroups.com
To stop subscribing, send a mail to cloog-development+unsubscribe@googlegroups.com
For more options and to visit the group, http://groups.google.fr/group/cloog-development?hl=en
--- You received this message because you are subscribed to the Google Groups "CLooG Development" group.
To unsubscribe from this group and stop receiving emails from it, send an email to cloog-development+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[marc....@gmail.com]

Am Dienstag, 23. September 2014 12:36:16 UTC+2 schrieb Richard PALO:

I'm testing a cloog 0.18.1 installation and would like to sollicit hints
on tracking down the failure encountered.

gcc 4.9.1
gmp 6.0.0a
isl 0.13
cloog 0.18.1

although this post passed time a bit just an additional note on versions. 

for me a combination of isl 0.12.2 and 0.18.1 lets the tests pass.

isl 0.12.2 and cloog 0.18.3  failed too.