Making check in isl make[1]: Entering directory `/sources/cloog-0.16.3/isl' Making check in . make[2]: Entering directory `/sources/cloog-0.16.3/isl' make check-TESTS make[3]: Entering directory `/sources/cloog-0.16.3/isl' PASS: isl_test boulet.pip ............................................................. ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo ............................................................. ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo brisebarre.pip . o . o cg1.pip .............................................................. oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo .............................................................. oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo esced.pip . o . o ex2.pip ..................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo ..................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo ex.pip ..................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo ..................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo fimmel.pip ..................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo ..................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo max.pip ............................... ooooooooooooooooooooooooooooooo ............................... ooooooooooooooooooooooooooooooo negative.pip ............................... ooooooooooooooooooooooooooooooo ............................... ooooooooooooooooooooooooooooooo seghir-vd.pip ..................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo ..................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo small.pip . o . o sor1d.pip ..................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo ..................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo square.pip ............................... ooooooooooooooooooooooooooooooo ............................... ooooooooooooooooooooooooooooooo sven.pip ............................... ooooooooooooooooooooooooooooooo ............................... ooooooooooooooooooooooooooooooo tobi.pip ............................... ooooooooooooooooooooooooooooooo ............................... ooooooooooooooooooooooooooooooo PASS: pip_test.sh basicLinear2.pwqp ................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo basicLinear.pwqp ................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo basicTestParameterPosNeg.pwqp ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo basicTest.pwqp ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo devos.pwqp ........... ooooooooooo ........... ooooooooooo equality1.pwqp ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo equality2.pwqp ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo equality3.pwqp ........... ooooooooooo ........... ooooooooooo equality4.pwqp ........... ooooooooooo ........... ooooooooooo equality5.pwqp ........... ooooooooooo ........... ooooooooooo faddeev.pwqp ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo linearExample.pwqp ................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo neg.pwqp ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo philippe3vars3pars.pwqp ................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo philippe3vars.pwqp ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo philippeNeg.pwqp ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo philippePolynomialCoeff1P.pwqp ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo philippePolynomialCoeff.pwqp ................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo philippe.pwqp ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo product.pwqp ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo split.pwqp ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo test3Deg3Var.pwqp ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo toplas.pwqp ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo ................................................... ooooooooooooooooooooooooooooooooooooooooooooooooooo unexpanded.pwqp . o . o PASS: bound_test.sh ================== All 3 tests passed ================== make[3]: Leaving directory `/sources/cloog-0.16.3/isl' make[2]: Leaving directory `/sources/cloog-0.16.3/isl' Making check in doc make[2]: Entering directory `/sources/cloog-0.16.3/isl/doc' make[2]: Nothing to be done for `check'. make[2]: Leaving directory `/sources/cloog-0.16.3/isl/doc' make[1]: Leaving directory `/sources/cloog-0.16.3/isl' Making check in . make[1]: Entering directory `/sources/cloog-0.16.3' cd isl; make libisl.la make[2]: Entering directory `/sources/cloog-0.16.3/isl' make[2]: Leaving directory `/sources/cloog-0.16.3/isl' make[1]: Leaving directory `/sources/cloog-0.16.3' Making check in doc make[1]: Entering directory `/sources/cloog-0.16.3/doc' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/sources/cloog-0.16.3/doc' Making check in test make[1]: Entering directory `/sources/cloog-0.16.3/test' cd ..; make libcloog-isl.la make[2]: Entering directory `/sources/cloog-0.16.3' cd isl; make libisl.la make[3]: Entering directory `/sources/cloog-0.16.3/isl' make[3]: Leaving directory `/sources/cloog-0.16.3/isl' make[2]: Leaving directory `/sources/cloog-0.16.3' make[1]: Leaving directory `/sources/cloog-0.16.3/test' make test -C test make[1]: Entering directory `/sources/cloog-0.16.3/test' /*-----------------------------------------------* * Testing CLooG * *-----------------------------------------------*/ --- Testing C files... (expected output) Verify file infinite infinite passed Verify file infinite2 infinite2 passed Verify file infinite3 infinite3 passed Verify file infinite4 infinite4 passed Verify file 0D-1 0D-1 passed Verify file 0D-2 0D-2 passed Verify file 0D-3 0D-3 passed Verify file 1point-1 1point-1 passed Verify file 1point-2 1point-2 passed Verify file 4-param 4-param passed Verify file basic-bounds-1 basic-bounds-1 passed Verify file basic-bounds-2 basic-bounds-2 passed Verify file basic-bounds-3 basic-bounds-3 passed Verify file basic-bounds-4 basic-bounds-4 passed Verify file basic-bounds-5 basic-bounds-5 passed Verify file basic-bounds-6 basic-bounds-6 passed Verify file block [CLooG] INFO: 1 dimensions (over 2) are scalar. block passed Verify file block2 [CLooG] INFO: 1 dimensions (over 3) are scalar. block2 passed Verify file block3 block3 passed Verify file byu98-1-2-3 byu98-1-2-3 passed Verify file cholesky [CLooG] INFO: 3 dimensions (over 6) are scalar. cholesky passed Verify file cholesky2 cholesky2 passed Verify file christian christian passed Verify file classen [CLooG] WARNING: some scattering functions are similar. [CLooG] INFO: 3 dimensions (over 7) are scalar. classen passed Verify file classen2 classen2 passed Verify file constant [CLooG] INFO: 1 dimensions (over 3) are scalar. constant passed Verify file constbound [CLooG] INFO: 1 dimensions (over 4) are scalar. constbound passed Verify file darte darte passed Verify file dealII dealII passed Verify file donotsimp [CLooG] WARNING: some scattering functions are similar. [CLooG] INFO: 3 dimensions (over 5) are scalar. donotsimp passed Verify file dot dot passed Verify file dot2 dot2 passed Verify file double double passed Verify file durbin_e_s durbin_e_s passed Verify file emploi emploi passed Verify file esced esced passed Verify file ex1 ex1 passed Verify file forwardsub-1-1-2 forwardsub-1-1-2 passed Verify file forwardsub-2-1-2-3 forwardsub-2-1-2-3 passed Verify file forwardsub-3-1-2 forwardsub-3-1-2 passed Verify file gauss [CLooG] WARNING: some scattering functions are similar. gauss passed Verify file gesced gesced passed Verify file gesced2 gesced2 passed Verify file gesced3 gesced3 passed Verify file guide guide passed Verify file iftest iftest passed Verify file iftest2 iftest2 passed Verify file largeur largeur passed Verify file levenshtein-1-2-3 levenshtein-1-2-3 passed Verify file lex [CLooG] INFO: 2 dimensions (over 3) are scalar. lex passed Verify file lineality-1-2 lineality-1-2 passed Verify file lineality-2-1-2 lineality-2-1-2 passed Verify file logo logo passed Verify file logopar logopar passed Verify file lu lu passed Verify file lu2 lu2 passed Verify file lub lub passed Verify file lux lux passed Verify file min-1-1 min-1-1 passed Verify file min-2-1 min-2-1 passed Verify file min-3-1 min-3-1 passed Verify file min-4-1 min-4-1 passed Verify file mode mode passed Verify file multi-mm-1 multi-mm-1 passed Verify file no_lindep no_lindep passed Verify file orc [CLooG] INFO: 1 dimensions (over 3) are scalar. orc passed Verify file rectangle rectangle passed Verify file singleton [CLooG] INFO: 1 dimensions (over 1) are scalar. singleton passed Verify file square+triangle-1-1-2-3 square+triangle-1-1-2-3 passed Verify file swim [CLooG] INFO: 12 domains have been blocked. [CLooG] INFO: 4 dimensions (over 7) are scalar. swim passed Verify file test test passed Verify file thomasset thomasset passed Verify file tiling tiling passed Verify file uday_scalars [CLooG] INFO: 3 dimensions (over 4) are scalar. uday_scalars passed Verify file union union passed Verify file vivien vivien passed Verify file vivien2 vivien2 passed Verify file walters walters passed Verify file walters2 walters2 passed Verify file walters3 walters3 passed Verify file wavefront wavefront passed Verify file yosr yosr passed Verify file yosr2 yosr2 passed Verify file ./non_optimal/nul_complex1 ./non_optimal/nul_complex1 passed Verify file ./non_optimal/usvd_e_t ./non_optimal/usvd_e_t passed Verify file ./non_optimal/youcef ./non_optimal/youcef passed Verify file ./reservoir/cholesky2 [CLooG] INFO: 4 dimensions (over 7) are scalar. ./reservoir/cholesky2 passed Verify file ./reservoir/fusion1 [CLooG] INFO: 2 dimensions (over 3) are scalar. ./reservoir/fusion1 passed Verify file ./reservoir/fusion2 [CLooG] INFO: 3 dimensions (over 5) are scalar. ./reservoir/fusion2 passed Verify file ./reservoir/jacobi2 [CLooG] INFO: 3 dimensions (over 5) are scalar. ./reservoir/jacobi2 passed Verify file ./reservoir/jacobi3 [CLooG] INFO: 4 dimensions (over 7) are scalar. ./reservoir/jacobi3 passed Verify file ./reservoir/lim-lam1 [CLooG] INFO: 3 dimensions (over 5) are scalar. ./reservoir/lim-lam1 passed Verify file ./reservoir/lim-lam2 [CLooG] INFO: 3 dimensions (over 5) are scalar. ./reservoir/lim-lam2 passed Verify file ./reservoir/lim-lam3 [CLooG] INFO: 4 dimensions (over 7) are scalar. ./reservoir/lim-lam3 passed Verify file ./reservoir/lim-lam4 [CLooG] INFO: 4 dimensions (over 7) are scalar. ./reservoir/lim-lam4 passed Verify file ./reservoir/lim-lam5 [CLooG] INFO: 3 dimensions (over 5) are scalar. ./reservoir/lim-lam5 passed Verify file ./reservoir/lim-lam6 [CLooG] INFO: 3 dimensions (over 5) are scalar. ./reservoir/lim-lam6 passed Verify file ./reservoir/liu-zhuge1 [CLooG] INFO: 3 dimensions (over 5) are scalar. ./reservoir/liu-zhuge1 passed Verify file ./reservoir/loechner3 [CLooG] INFO: 4 dimensions (over 7) are scalar. ./reservoir/loechner3 passed Verify file ./reservoir/loechner4 [CLooG] INFO: 5 dimensions (over 9) are scalar. ./reservoir/loechner4 passed Verify file ./reservoir/loechner5 [CLooG] INFO: 5 dimensions (over 9) are scalar. ./reservoir/loechner5 passed Verify file ./reservoir/mg-interp2 [CLooG] INFO: 4 dimensions (over 7) are scalar. ./reservoir/mg-interp2 passed Verify file ./reservoir/mg-interp [CLooG] INFO: 4 dimensions (over 7) are scalar. ./reservoir/mg-interp passed Verify file ./reservoir/mg-psinv [CLooG] INFO: 1 domains have been blocked. [CLooG] INFO: 4 dimensions (over 7) are scalar. ./reservoir/mg-psinv passed Verify file ./reservoir/mg-resid [CLooG] INFO: 1 domains have been blocked. [CLooG] INFO: 4 dimensions (over 7) are scalar. ./reservoir/mg-resid passed Verify file ./reservoir/mg-rprj3 [CLooG] INFO: 4 dimensions (over 7) are scalar. ./reservoir/mg-rprj3 passed Verify file ./reservoir/pingali1 [CLooG] INFO: 4 dimensions (over 7) are scalar. ./reservoir/pingali1 passed Verify file ./reservoir/pingali2 [CLooG] INFO: 3 dimensions (over 5) are scalar. ./reservoir/pingali2 passed Verify file ./reservoir/pingali3 [CLooG] INFO: 4 dimensions (over 7) are scalar. ./reservoir/pingali3 passed Verify file ./reservoir/pingali4 [CLooG] INFO: 3 dimensions (over 5) are scalar. ./reservoir/pingali4 passed Verify file ./reservoir/pingali5 [CLooG] INFO: 4 dimensions (over 7) are scalar. ./reservoir/pingali5 passed Verify file ./reservoir/pingali6 [CLooG] INFO: 4 dimensions (over 7) are scalar. ./reservoir/pingali6 passed Verify file ./reservoir/QR [CLooG] INFO: 4 dimensions (over 7) are scalar. ./reservoir/QR passed Verify file ./reservoir/tang-xue1 [CLooG] INFO: 5 dimensions (over 9) are scalar. ./reservoir/tang-xue1 passed Verify file ./reservoir/two ./reservoir/two passed Verify file isl/mod isl/mod passed Verify file isl/mod2 isl/mod2 passed Verify file isl/mod3 isl/mod3 passed Verify file isl/mod4 isl/mod4 passed --- Testing FORTRAN files... Verify file dartef dartef passed Verify file iftestf iftestf passed Verify file levenshtein-1-2-3f levenshtein-1-2-3f passed Verify file yosrf yosrf passed --- Testing STRIDED files... Verify file basic-bounds-2 basic-bounds-2 passed Verify file mod4 mod4 passed Verify file nul_basic1 nul_basic1 passed Verify file nul_basic2 nul_basic2 passed Verify file nul_lcpc nul_lcpc passed Verify file multi-stride multi-stride passed Verify file multi-stride2 multi-stride2 passed Verify file stride3 [CLooG] INFO: 1 dimensions (over 2) are scalar. stride3 passed Verify file stride4 stride4 passed Verify file reservoir/bastoul3 reservoir/bastoul3 passed Verify file reservoir/stride [CLooG] INFO: 4 dimensions (over 5) are scalar. reservoir/stride passed Verify file reservoir/stride2 [CLooG] INFO: 4 dimensions (over 5) are scalar. reservoir/stride2 passed Verify file isl/mxm-shared isl/mxm-shared passed --- Testing SPECIAL OPTIONS files... Verify file isl/jacobi-shared (-f 4 -l -1 -override -strides 1 -sh 1) [CLooG] WARNING: you are using -override option, be aware that the generated code may be incorrect. isl/jacobi-shared passed Verify file backtrack (-f 1 -backtrack) [CLooG] INFO: 1 dimensions (over 2) are scalar. backtrack passed Verify file vasilache (-f 8 -l 9) [CLooG] INFO: 5 dimensions (over 9) are scalar. vasilache passed Verify file merge (-f -1) [CLooG] INFO: 1 dimensions (over 2) are scalar. [CLooG] WARNING: -f depth is more than one, -l depth has been automaticaly set to the scattering dimension number (target code may have duplicated iterations), -l depth has been automaticaly set to this value (use option -override to override). merge passed Verify file equality (-f -1 -l 2 -override) [CLooG] WARNING: you are using -override option, be aware that the generated code may be incorrect. equality passed Verify file equality2 (-f -1 -l 4 -esp 1 -override) [CLooG] WARNING: you are using -override option, be aware that the generated code may be incorrect. equality2 passed Verify file otl (-block 1 -esp 0 -otl 0) otl passed Verify file param-split (-f -1) [CLooG] WARNING: -f depth is more than one, -l depth has been automaticaly set to the scattering dimension number (target code may have duplicated iterations), -l depth has been automaticaly set to this value (use option -override to override). param-split passed Verify file pouchet (-f 3 -l 7) [CLooG] WARNING: -f depth is more than one, -l depth has been automaticaly set to the scattering dimension number (target code may have duplicated iterations), -l depth has been automaticaly set to this value (use option -override to override). pouchet passed Verify file stride (-f -1 -strides 1) [CLooG] WARNING: -f depth is more than one, -l depth has been automaticaly set to the scattering dimension number (target code may have duplicated iterations), -l depth has been automaticaly set to this value (use option -override to override). stride passed Verify file stride2 (-f -1 -strides 1) [CLooG] WARNING: -f depth is more than one, -l depth has been automaticaly set to the scattering dimension number (target code may have duplicated iterations), -l depth has been automaticaly set to this value (use option -override to override). stride2 passed Verify file sor1d (-f -1) [CLooG] INFO: 3 dimensions (over 9) are scalar. [CLooG] WARNING: -f depth is more than one, -l depth has been automaticaly set to the scattering dimension number (target code may have duplicated iterations), -l depth has been automaticaly set to this value (use option -override to override). sor1d passed CLooG works correctly :-) ! make[1]: Leaving directory `/sources/cloog-0.16.3/test'