CLoog testsuite failures

[David Howells]

Hi,

I'm trying to package cloog-0.18.4 for Fedora, but I'm seeing a number of
testsuite failures. The build environment includes the following:

isl-0.16.1-1.fc26.x86_64
gcc-6.3.1-1.fc25.x86_64
binutils-2.26.1-1.fc25.x86_64
gmp-6.1.1-1.fc25.x86_64

I created a cloog-0.18.4 tarball from a checkout of the git repo rather than
using the one available through the website as the website tarball doesn't
include a LICENSE file (which is available in git).

I've attached the test log below. Configuration was:

CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -m64 -mtune=generic'
export CFLAGS
CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -m64 -mtune=generic'
export CXXFLAGS
FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -m64 -mtune=generic -I/usr/lib64/gfortran/modules'
export FFLAGS
FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -m64 -mtune=generic -I/usr/lib64/gfortran/modules'
export FCFLAGS
LDFLAGS='-Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
export LDFLAGS
./configure --build=x86_64-redhat-linux-gnu --host=x86_64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-isl=system --with-isl-prefix=/usr

Note that this happens whether or not I update the osl and isl subpackages.

David

=======================================
cloog 0.18.4: test/test-suite.log
=======================================

# TOTAL: 5
# PASS: 2
# SKIP: 0
# XFAIL: 0
# FAIL: 3
# XPASS: 0
# ERROR: 0

.. contents:: :depth: 2

FAIL: check_c.sh
================

/*-----------------------------------------------*
* 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
--- ./darte.c 2017-02-13 12:59:44.000000000 +0000
+++ cloog_temp 2017-02-13 13:03:34.964684282 +0000
@@ -16,7 +16,7 @@
for (t2=max(-t1+2,t1+3);t2<=-t1+4;t2++) {
for (t3=t2+2;t3<=t2+2*n;t3++) {
if ((t1+t2)%2 == 0) {
- if ((t1+t3)%2 == 0) {
+ if ((t2+t3)%2 == 0) {
S1(((t1+t2)/2),((-t1+t2)/2),((-t2+t3)/2));
}
}
@@ -33,14 +33,14 @@
S2(((t1+t2-3)/2),((-t1+t2-1)/2),t3);
}
if ((t1+t2)%2 == 0) {
- if ((t1+t3)%2 == 0) {
+ if ((t2+t3)%2 == 0) {
S1(((t1+t2)/2),((-t1+t2)/2),((-t2+t3)/2));
}
}
}
for (t3=max(n+1,t2+2);t3<=t2+2*n;t3++) {
if ((t1+t2)%2 == 0) {
- if ((t1+t3)%2 == 0) {
+ if ((t2+t3)%2 == 0) {
S1(((t1+t2)/2),((-t1+t2)/2),((-t2+t3)/2));
}
}
[31mFAIL: ./darte.c has a problem [0m
Check file ./dealII.cloog \c
(no option), \c
generating... \c
PASS
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
--- ./reservoir/tang-xue1.c 2017-02-13 12:59:44.000000000 +0000
+++ cloog_temp 2017-02-13 13:03:36.638699513 +0000
@@ -4,7 +4,7 @@
for (c6=max(max(1,c2),c2-c4);c6<=min(min(9,c2+1),c2-c4+4);c6++) {
for (c8=max(1,-c2+c4+c6);c8<=min(4,-c2+c4+c6+1);c8++) {
if (c2%2 == 0) {
- if (c4%2 == 0) {
+ if ((c2+c4)%2 == 0) {
S1((c2/2),((-c2+c4)/2),(-c2+c6),(-c4+c8));
}
}
[31mFAIL: ./reservoir/tang-xue1.c has a problem [0m
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 (exit status: 2)

FAIL: check_fortran.sh
======================

/*-----------------------------------------------*
* Testing CLooG: FORTRAN test set
*-----------------------------------------------*/
Check file ./dartef.cloog \c
(no option), \c
generating... \c
--- ./dartef.f 2017-02-13 12:59:44.000000000 +0000
+++ cloog_temp 2017-02-13 13:03:36.730700350 +0000
@@ -16,7 +16,7 @@
DO t2=MAX(-t1+2,t1+3), -t1+4
DO t3=t2+2, t2+2*n
IF (MOD(t1+t2, 2) == 0) THEN
- IF (MOD(t1+t3, 2) == 0) THEN
+ IF (MOD(t2+t3, 2) == 0) THEN
S1(((t1+t2)/2),((-t1+t2)/2),((-t2+t3)/2))
END IF
END IF
@@ -33,14 +33,14 @@
S2(((t1+t2-3)/2),((-t1+t2-1)/2),t3)
END IF
IF (MOD(t1+t2, 2) == 0) THEN
- IF (MOD(t1+t3, 2) == 0) THEN
+ IF (MOD(t2+t3, 2) == 0) THEN
S1(((t1+t2)/2),((-t1+t2)/2),((-t2+t3)/2))
END IF
END IF
END DO
DO t3=MAX(n+1,t2+2), t2+2*n
IF (MOD(t1+t2, 2) == 0) THEN
- IF (MOD(t1+t3, 2) == 0) THEN
+ IF (MOD(t2+t3, 2) == 0) THEN
S1(((t1+t2)/2),((-t1+t2)/2),((-t2+t3)/2))
END IF
END IF
[31mFAIL: ./dartef.f has a problem [0m
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 (exit status: 1)

FAIL: check_special.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
--- ./isl/jacobi-shared.c 2017-02-13 12:59:44.000000000 +0000
+++ cloog_temp 2017-02-13 13:03:37.216704772 +0000
@@ -1,12 +1,10 @@
-/* Generated from ./isl/jacobi-shared.cloog by CLooG gmp bits in 0.31s. */
+/* Generated from ./isl/jacobi-shared.cloog by CLooG 0.18.4-b2b4f77 gmp bits in 0.16s. */
if ((h0+1)%2 == 0) {
- if ((16*floord(t0-1,16) >= -N+g1+t0+1) && (16*floord(g1+t0-3,16) >= -N+g1+t0+1) && (32*floord(t1-1,32) >= -N+g2+t1+1) && (32*floord(g2+t1-3,32) >= t1-32)) {
+ if ((16*floord(N+15*t0+15,16) >= 15*t0+19) && (16*floord(N+15*t0+15,16) >= g1+15*t0+17) && (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) {
for (c1=-32*floord(t1-1,32)+t1;c1<=min(32,N-g2-1);c1+=32) {
- if (c1 >= 1) {
S1((c0+g1-1),(c1+g2-1));
}
}
}
- }
}
[31mFAIL: ./isl/jacobi-shared.c has a problem [0m
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
PASS
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: 1 tests failed in SPECIAL\033[0m
FAIL check_special.sh (exit status: 1)

[Sven Verdoolaege]

On Mon, Feb 13, 2017 at 01:29:21PM +0000, David Howells wrote:
> Hi,
>
> I'm trying to package cloog-0.18.4 for Fedora, but I'm seeing a number of
> testsuite failures. The build environment includes the following:
>
> isl-0.16.1-1.fc26.x86_64
> gcc-6.3.1-1.fc25.x86_64
> binutils-2.26.1-1.fc25.x86_64
> gmp-6.1.1-1.fc25.x86_64

cloog-0.18.4 apparently expects isl version 0.15.
If you use a different version (e.g., isl-0.16.1),
then differences in the output of these test cases are to be expected.

> ./configure --build=x86_64-redhat-linux-gnu --host=x86_64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-isl=system --with-isl-prefix=/usr
>
> Note that this happens whether or not I update the osl and isl subpackages.

You are using the "system" isl, to the isl submodule is ignored.

skimo

[David Howells]

Sven Verdoolaege <skimo...@kotnet.org> wrote:

> cloog-0.18.4 apparently expects isl version 0.15.
> If you use a different version (e.g., isl-0.16.1),
> then differences in the output of these test cases are to be expected.

Okay, thanks.

Btw, the cloog tarball doesn't contain the LICENSE file that I can see in the
git tree.

David

[Cédric Bastoul]

Hi David,

no idea why the LICENSE file is not here, we'll correct this along with the building problem. Do you have a specific deadline so we can organize ourselves ?

Best,

Cedric

--
--
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.

[David Howells]

Cédric Bastoul <cedric....@unistra.fr> wrote:

> no idea why the LICENSE file is not here, we'll correct this along with the
> building problem. Do you have a specific deadline so we can organize
> ourselves ?

No. I've tar'd up a checkout of the git tree rather than using the published
tarball and I've disabled the checking for now. The reason I had to upgrade
cloog in Fedora Rawhide is because we needed to upgrade isl - however, I've
managed to cobble together something that builds for the moment.

Thanks,
David

[Cédric Bastoul]

OK David, we'll fix that anyway in the next release.

Thanks,

Cedric

David