==> Making package: cloog 0.18.0-1 (Fri May 3 08:12:05 CEST 2013) ==> Checking runtime dependencies... ==> Checking buildtime dependencies... ==> Retrieving sources... -> Found cloog-0.18.0.tar.gz ==> Validating source files with md5sums... cloog-0.18.0.tar.gz ... Passed ==> Extracting sources... -> Extracting cloog-0.18.0.tar.gz with bsdtar ==> Starting build()... checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /usr/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for style of include used by make... GNU checking dependency style of gcc... gcc3 checking whether ln -s works... yes checking whether make sets $(MAKE)... (cached) yes checking for cd... no checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking how to print strings... printf checking for a sed that does not truncate output... /usr/bin/sed checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for fgrep... /usr/bin/grep -F checking for ld used by gcc... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 1572864 checking whether the shell understands some XSI constructs... yes checking whether the shell understands "+="... yes checking how to convert x86_64-unknown-linux-gnu file names to x86_64-unknown-linux-gnu format... func_convert_file_noop checking how to convert x86_64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for ar... ar checking for archiver @FILE support... @ checking for strip... strip checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for mt... no checking if : is a manifest tool... no checking how to run the C preprocessor... gcc -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking for texi2dvi... texi2dvi checking for C compiler vendor... gnu checking CFLAGS_WARN for maximum warnings... -Wall checking for an ANSI C-conforming const... yes checking for size_t... yes checking for ANSI C header files... (cached) yes checking for strtol... yes checking for getrusage... yes checking which isl to use... system checking which gmp to use... system checking gmp.h usability... yes checking gmp.h presence... yes checking for gmp.h... yes checking for __gmpz_init in -lgmp... yes checking whether mp_get_memory_functions is declared... yes checking which osl to use... no checking our pkgconfig libname... cloog-isl checking our pkgconfig version... 0.18.0 checking our pkgconfig_libdir... ${libdir}/pkgconfig expanded our pkgconfig_libdir... /usr/lib/pkgconfig checking our pkgconfig_libfile... cloog-isl.pc checking our package / suffix... cloog-isl / checking our pkgconfig description... cloog-isl Library checking our pkgconfig requires... checking our pkgconfig ext libs... -lcloog-isl -lgmp checking our pkgconfig cppflags... -D_FORTIFY_SOURCE=2 -DCLOOG_INT_GMP=1 checking our pkgconfig ldflags... -L/lib -Wl,-O1,--sort-common,--as-needed,-z,relro noninstalled pkgconfig -L /home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0/.libs noninstalled pkgconfig -I /home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0/./include configure: creating ./config.status config.status: creating Makefile config.status: creating test/Makefile config.status: creating autoconf/Doxyfile config.status: creating doc/Makefile config.status: creating source/version.c config.status: creating include/cloog/version.h config.status: creating genversion.sh config.status: executing depfiles commands config.status: executing libtool commands config.status: executing cloog-isl.pc commands config.status: creating cloog-isl.pc.in config.status: creating cloog-isl.pc config.status: creating cloog-isl-uninstalled.pc config.status: creating cloog-isl-uninstalled.sh config.status: executing version.h commands config.status: executing doc/gitversion.texi commands /*-----------------------------------------------* * CLooG configuration is OK * *-----------------------------------------------*/ It appears that your system is OK to start CLooG compilation. You need now to type "make". After compilation, you should check CLooG by typing "make check". If no problem occur, you can type "make uninstall" if you are upgrading an old version. Lastly type "make install" to install CLooG on your system (log as root if necessary). Making all in . make[1]: Entering directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0' CC libcloog_isl_la-block.lo CC libcloog_isl_la-clast.lo CC libcloog_isl_la-matrix.lo CC libcloog_isl_la-state.lo CC libcloog_isl_la-input.lo CC libcloog_isl_la-int.lo CC libcloog_isl_la-loop.lo source/loop.c: In function 'cloog_loop_read': source/loop.c:319:8: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result] fgets(s,MAX_STRING,foo) ; ^ CC libcloog_isl_la-names.lo source/names.c: In function 'cloog_names_read_strings': source/names.c:274:8: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result] fgets(s,MAX_STRING,file) ; ^ CC libcloog_isl_la-options.lo CC libcloog_isl_la-pprint.lo CC libcloog_isl_la-program.lo CC libcloog_isl_la-statement.lo CC libcloog_isl_la-stride.lo CC libcloog_isl_la-union_domain.lo CC libcloog_isl_la-version.lo CC libcloog_isl_la-domain.lo CC libcloog_isl_la-constraints.lo CC libcloog_isl_la-backend.lo CCLD libcloog-isl.la CC cloog.o CCLD cloog make[1]: Leaving directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0' Making all in doc make[1]: Entering directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0/doc' make[1]: Nothing to be done for `all'. make[1]: Leaving directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0/doc' Making all in test make[1]: Entering directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0/test' CC generate_test.o cd ..; make libcloog-isl.la make[2]: Entering directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0' make[2]: `libcloog-isl.la' is up to date. make[2]: Leaving directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0' CCLD generate_test make[1]: Leaving directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0/test' ==> Starting check()... Making check in . make[1]: Entering directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0' make[1]: Nothing to be done for `check-am'. make[1]: Leaving directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0' Making check in doc make[1]: Entering directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0/doc' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0/doc' Making check in test make[1]: Entering directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0/test' cd ..; make libcloog-isl.la make[2]: Entering directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0' make[2]: `libcloog-isl.la' is up to date. make[2]: Leaving directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0' make ./check_c.sh ./check_fortran.sh ./check_strided.sh ./check_openscop.sh ./check_special.sh make[2]: Entering directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0/test' make[2]: Nothing to be done for `check_c.sh'. make[2]: Nothing to be done for `check_fortran.sh'. make[2]: Nothing to be done for `check_strided.sh'. make[2]: Nothing to be done for `check_openscop.sh'. make[2]: Nothing to be done for `check_special.sh'. make[2]: Leaving directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0/test' make check-TESTS make[2]: Entering directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0/test' /*-----------------------------------------------* * Testing CLooG: C test set *-----------------------------------------------*/ Check file ./infinite.cloog \c (no option), \c generating... \c PASS Check file ./infinite2.cloog \c (no option), \c generating... \c PASS Check file ./infinite3.cloog \c (no option), \c generating... \c PASS Check file ./infinite4.cloog \c (no option), \c generating... \c PASS Check file ./0D-1.cloog \c (no option), \c generating... \c PASS Check file ./0D-2.cloog \c (no option), \c generating... \c PASS Check file ./0D-3.cloog \c (no option), \c generating... \c PASS Check file ./1point-1.cloog \c (no option), \c generating... \c PASS Check file ./1point-2.cloog \c (no option), \c generating... \c PASS Check file ./4-param.cloog \c (no option), \c generating... \c PASS Check file ./basic-bounds-1.cloog \c (no option), \c generating... \c PASS Check file ./basic-bounds-2.cloog \c (no option), \c generating... \c PASS Check file ./basic-bounds-3.cloog \c (no option), \c generating... \c PASS Check file ./basic-bounds-4.cloog \c (no option), \c generating... \c PASS Check file ./basic-bounds-5.cloog \c (no option), \c generating... \c PASS Check file ./basic-bounds-6.cloog \c (no option), \c generating... \c PASS Check file ./block.cloog \c (no option), \c generating... \c PASS Check file ./block2.cloog \c (no option), \c generating... \c PASS Check file ./block3.cloog \c (no option), \c generating... \c PASS Check file ./byu98-1-2-3.cloog \c (no option), \c generating... \c PASS Check file ./cholesky.cloog \c (no option), \c generating... \c PASS Check file ./cholesky2.cloog \c (no option), \c generating... \c PASS Check file ./christian.cloog \c (no option), \c generating... \c PASS Check file ./classen.cloog \c (no option), \c generating... \c PASS Check file ./classen2.cloog \c (no option), \c generating... \c PASS Check file ./constant.cloog \c (no option), \c generating... \c PASS Check file ./constbound.cloog \c (no option), \c generating... \c PASS Check file ./darte.cloog \c (no option), \c generating... \c --- cloog_temp 2013-05-03 08:12:17.193560150 +0200 +++ ./darte.c 2012-12-20 18:22:01.000000000 +0100 @@ -6,14 +6,14 @@ } } for (t1=-n+2;t1<=n-1;t1++) { - if (t1 >= 0) { + if (t1 >= 2) { for (t3=t1+4;t3<=t1+2*n+2;t3++) { if ((t1+t3)%2 == 0) { S1(t1+1,1,(-t1+t3-2)/2); } } } - for (t2=max(-t1+2,t1+3);t2<=-t1+4;t2++) { + for (t2=max(-t1+2,t1+2);t2<=-t1+4;t2++) { for (t3=t2+2;t3<=t2+2*n;t3++) { if ((t1+t2)%2 == 0) { if ((t1+t3)%2 == 0) { FAIL: ./darte.c is not the same Check file ./dealII.cloog \c (no option), \c generating... \c --- cloog_temp 2013-05-03 08:12:17.226893595 +0200 +++ ./dealII.c 2012-12-20 18:22:01.000000000 +0100 @@ -3,13 +3,10 @@ S1(scat_0); S2(scat_0); } -if ((T_2 == 0) && (T_66 >= 0) && (T_67 == 0)) { +if ((T_2 == 0) && (T_67 == 0)) { S1(0); } -if ((T_66 <= -1) && (T_67 == 0)) { - S1(0); -} -for (scat_0=max(max(0,T_66+1),-T_67+1);scat_0<=T_2-1;scat_0++) { +for (scat_0=max(0,T_66+1);scat_0<=T_2-1;scat_0++) { S1(scat_0); } for (scat_0=T_2;scat_0<=min(T_66,T_67-1);scat_0++) { FAIL: ./dealII.c is not the same Check file ./donotsimp.cloog \c (no option), \c generating... \c PASS Check file ./dot.cloog \c (no option), \c generating... \c PASS Check file ./dot2.cloog \c (no option), \c generating... \c PASS Check file ./double.cloog \c (no option), \c generating... \c PASS Check file ./durbin_e_s.cloog \c (no option), \c generating... \c PASS Check file ./emploi.cloog \c (no option), \c generating... \c PASS Check file ./esced.cloog \c (no option), \c generating... \c PASS Check file ./ex1.cloog \c (no option), \c generating... \c PASS Check file ./forwardsub-1-1-2.cloog \c (no option), \c generating... \c PASS Check file ./forwardsub-2-1-2-3.cloog \c (no option), \c generating... \c PASS Check file ./forwardsub-3-1-2.cloog \c (no option), \c generating... \c PASS Check file ./gauss.cloog \c (no option), \c generating... \c PASS Check file ./gesced.cloog \c (no option), \c generating... \c PASS Check file ./gesced2.cloog \c (no option), \c generating... \c PASS Check file ./gesced3.cloog \c (no option), \c generating... \c PASS Check file ./guide.cloog \c (no option), \c generating... \c PASS Check file ./iftest.cloog \c (no option), \c generating... \c PASS Check file ./iftest2.cloog \c (no option), \c generating... \c PASS Check file ./largeur.cloog \c (no option), \c generating... \c PASS Check file ./levenshtein-1-2-3.cloog \c (no option), \c generating... \c PASS Check file ./lex.cloog \c (no option), \c generating... \c PASS Check file ./lineality-1-2.cloog \c (no option), \c generating... \c PASS Check file ./lineality-2-1-2.cloog \c (no option), \c generating... \c PASS Check file ./logo.cloog \c (no option), \c generating... \c PASS Check file ./logopar.cloog \c (no option), \c generating... \c PASS Check file ./lu.cloog \c (no option), \c generating... \c PASS Check file ./lu2.cloog \c (no option), \c generating... \c PASS Check file ./lub.cloog \c (no option), \c generating... \c PASS Check file ./lux.cloog \c (no option), \c generating... \c PASS Check file ./min-1-1.cloog \c (no option), \c generating... \c PASS Check file ./min-2-1.cloog \c (no option), \c generating... \c PASS Check file ./min-3-1.cloog \c (no option), \c generating... \c PASS Check file ./min-4-1.cloog \c (no option), \c generating... \c PASS Check file ./mode.cloog \c (no option), \c generating... \c PASS Check file ./multi-mm-1.cloog \c (no option), \c generating... \c PASS Check file ./no_lindep.cloog \c (no option), \c generating... \c PASS Check file ./orc.cloog \c (no option), \c generating... \c PASS Check file ./rectangle.cloog \c (no option), \c generating... \c PASS Check file ./singleton.cloog \c (no option), \c generating... \c PASS Check file ./square+triangle-1-1-2-3.cloog \c (no option), \c generating... \c PASS Check file ./swim.cloog \c (no option), \c generating... \c PASS Check file ./test.cloog \c (no option), \c generating... \c PASS Check file ./thomasset.cloog \c (no option), \c generating... \c PASS Check file ./tiling.cloog \c (no option), \c generating... \c PASS Check file ./uday_scalars.cloog \c (no option), \c generating... \c PASS Check file ./union.cloog \c (no option), \c generating... \c PASS Check file ./vivien.cloog \c (no option), \c generating... \c PASS Check file ./vivien2.cloog \c (no option), \c generating... \c PASS Check file ./walters.cloog \c (no option), \c generating... \c PASS Check file ./walters2.cloog \c (no option), \c generating... \c PASS Check file ./walters3.cloog \c (no option), \c generating... \c PASS Check file ./wavefront.cloog \c (no option), \c generating... \c PASS Check file ./yosr.cloog \c (no option), \c generating... \c PASS Check file ./yosr2.cloog \c (no option), \c generating... \c PASS Check file ./non_optimal/nul_complex1.cloog \c (no option), \c generating... \c PASS Check file ./non_optimal/usvd_e_t.cloog \c (no option), \c generating... \c PASS Check file ./non_optimal/youcef.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/cholesky2.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/fusion1.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/fusion2.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/jacobi2.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/jacobi3.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/lim-lam1.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/lim-lam2.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/lim-lam3.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/lim-lam4.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/lim-lam5.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/lim-lam6.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/liu-zhuge1.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/loechner3.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/loechner4.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/loechner5.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/mg-interp2.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/mg-interp.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/mg-psinv.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/mg-resid.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/mg-rprj3.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/pingali1.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/pingali2.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/pingali3.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/pingali4.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/pingali5.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/pingali6.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/QR.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/tang-xue1.cloog \c (no option), \c generating... \c PASS Check file ./reservoir/two.cloog \c (no option), \c generating... \c PASS Check file ./isl/mod.cloog \c (no option), \c generating... \c PASS Check file ./isl/mod2.cloog \c (no option), \c generating... \c PASS Check file ./isl/mod3.cloog \c (no option), \c generating... \c PASS Check file ./isl/mod4.cloog \c (no option), \c generating... \c PASS \033[31m[CLooG] FAIL: 2 tests failed in C\033[0m FAIL: ./check_c.sh /*-----------------------------------------------* * Testing CLooG: FORTRAN test set *-----------------------------------------------*/ Check file ./dartef.cloog \c (no option), \c generating... \c --- cloog_temp 2013-05-03 08:12:21.136906744 +0200 +++ ./dartef.f 2012-12-20 18:22:01.000000000 +0100 @@ -6,14 +6,14 @@ END IF END DO DO t1=-n+2, n-1 - IF (t1 >= 0) THEN + IF (t1 >= 2) THEN DO t3=t1+4, t1+2*n+2 IF (MOD(t1+t3, 2) == 0) THEN S1(t1+1,1,(-t1+t3-2)/2) END IF END DO END IF - DO t2=MAX(-t1+2,t1+3), -t1+4 + DO t2=MAX(-t1+2,t1+2), -t1+4 DO t3=t2+2, t2+2*n IF (MOD(t1+t2, 2) == 0) THEN IF (MOD(t1+t3, 2) == 0) THEN FAIL: ./dartef.f is not the same Check file ./iftestf.cloog \c (no option), \c generating... \c PASS Check file ./levenshtein-1-2-3f.cloog \c (no option), \c generating... \c PASS Check file ./yosrf.cloog \c (no option), \c generating... \c PASS \033[31m[CLooG] FAIL: 1 tests failed in FORTRAN\033[0m FAIL: ./check_fortran.sh /*-----------------------------------------------* * Testing CLooG: STRIDED test set *-----------------------------------------------*/ Check file ./basic-bounds-2.cloog \c (options -strides 1), \c generating... \c PASS Check file ./mod4.cloog \c (options -strides 1), \c generating... \c PASS Check file ./nul_basic1.cloog \c (options -strides 1), \c generating... \c PASS Check file ./nul_basic2.cloog \c (options -strides 1), \c generating... \c PASS Check file ./nul_lcpc.cloog \c (options -strides 1), \c generating... \c PASS Check file ./multi-stride.cloog \c (options -strides 1), \c generating... \c PASS Check file ./multi-stride2.cloog \c (options -strides 1), \c generating... \c PASS Check file ./stride3.cloog \c (options -strides 1), \c generating... \c PASS Check file ./stride4.cloog \c (options -strides 1), \c generating... \c PASS Check file ./reservoir/bastoul3.cloog \c (options -strides 1), \c generating... \c PASS Check file ./reservoir/stride.cloog \c (options -strides 1), \c generating... \c PASS Check file ./reservoir/stride2.cloog \c (options -strides 1), \c generating... \c PASS Check file ./isl/mxm-shared.cloog \c (options -strides 1), \c generating... \c 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 \c (options -first-unroll 1 ), \c generating... \c PASS Check file ./isl/jacobi-shared.cloog \c (options -f 4 -l -1 -override -strides 1 -sh 1 ), \c generating... \c --- cloog_temp 2013-05-03 08:12:22.643578477 +0200 +++ ./isl/jacobi-shared.c 2012-12-20 18:22:01.000000000 +0100 @@ -1,6 +1,6 @@ -/* Generated from ./isl/jacobi-shared.cloog by CLooG 0.18.0-UNKNOWN gmp bits in 0.70s. */ +/* Generated from ../../../git/cloog/test/isl/jacobi-shared.cloog by CLooG 0.16.3-2-g5511bef gmp bits in 1.82s. */ if ((h0+1)%2 == 0) { - if ((16*floord(N+15*g1+15*t0+15,16) >= 15*g1+15*t0+19) && (16*floord(N+15*g1+15*t0+15,16) >= 16*g1+15*t0+17) && (32*floord(t1-1,32) <= g2+t1-3) && (32*floord(t1-1,32) >= -N+g2+t1+1)) { + if ((16*floord(t0-1,16) >= -N+g1+t0+1) && (16*floord(N+15*g1+15*t0+15,16) >= 15*g1+15*t0+19) && (32*floord(t1-1,32) <= g2+t1-3) && (32*floord(t1-1,32) >= -N+g2+t1+1)) { for (c0=max(-16*floord(t0-1,16)+t0,-16*floord(g1+t0-3,16)+t0);c0<=min(32,N-g1-1);c0+=16) { c1 = 32*floord(-t1,32)+t1+32; if (c1 <= 32) { FAIL: ./isl/jacobi-shared.c is not the same Check file ./isl/unroll2.cloog \c (options -first-unroll 1 ), \c generating... \c PASS Check file ./backtrack.cloog \c (options -f 1 -backtrack ), \c generating... \c PASS Check file ./vasilache.cloog \c (options -f 8 -l 9 ), \c generating... \c --- cloog_temp 2013-05-03 08:12:22.756912191 +0200 +++ ./vasilache.c 2012-12-20 18:22:01.000000000 +0100 @@ -15,12 +15,12 @@ S6(p1,p3,p5,p7-1); S7(p1,p3,p5,p7); } - if (p5 >= ceild(N-31,32)) { - S6(p1,p3,p5,N-1); - } - if (p5 <= floord(N-32,32)) { + if (p5 <= floord(N-33,32)) { S6(p1,p3,p5,32*p5+31); } + if (p5 >= ceild(N-32,32)) { + S6(p1,p3,p5,N-1); + } } } } FAIL: ./vasilache.c is not the same Check file ./merge.cloog \c (options -f -1 ), \c generating... \c PASS Check file ./equality.cloog \c (options -f -1 -l 2 -override ), \c generating... \c PASS Check file ./equality2.cloog \c (options -f -1 -l 4 -esp 1 -override ), \c generating... \c PASS Check file ./otl.cloog \c (options -block 1 -esp 0 -otl 0 ), \c generating... \c PASS Check file ./param-split.cloog \c (options -f -1 ), \c generating... \c PASS Check file ./pouchet.cloog \c (options -f 3 -l 7 ), \c generating... \c PASS Check file ./stride.cloog \c (options -f -1 -strides 1 ), \c generating... \c PASS Check file ./stride2.cloog \c (options -f -1 -strides 1 ), \c generating... \c PASS Check file ./sor1d.cloog \c (options -f -1 ), \c generating... \c PASS \033[31m[CLooG] FAIL: 2 tests failed in SPECIAL\033[0m FAIL: ./check_special.sh =================================================== 3 of 5 tests failed Please report to cloog-development@googlegroups.com =================================================== make[2]: *** [check-TESTS] Error 1 make[2]: Leaving directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0/test' make[1]: *** [check-am] Error 2 make[1]: Leaving directory `/home/wookietreiber/src/arch-specials/cloog/src/cloog-0.18.0/test' make: *** [check-recursive] Error 1 ==> ERROR: A failure occurred in check(). Aborting...