search

periscop / cloog

The CLooG Code Generator in the Polyhedral Model
GNU Lesser General Public License v2.1
40 stars 23 forks source link

isl-0.20 support #42

Closed ftynse closed 5 years ago

ftynse commented 5 years ago

isl released a new version, there were some random reports about failing tests in CLooG's mailing list, which may be related

@harenome @Syllo want to take a look?

Syllo commented 5 years ago

It seems like that they were some header missing in CLooG's isl interface. I'm running the check and will push the patch shortly.

Syllo commented 5 years ago

I've pushed the fix to the branch isl-0.20 (6faa51a19668aa419e4de944382c5c1374490ac1).

It seems to work fine but I currently do not have the time to verify the tests that produce a different code output. They pass with the C checker because of the hybrid method but the Fortran checker does not have it, hence the final check fail.

f0086 commented 5 years ago

Thank you for the patch for the failing tests (maintainer on the cloog package on ArchLinux). But one test still failed:


PASS: test/check_c.sh
FAIL: test/check_fortran.sh
PASS: test/check_strided.sh
PASS: test/check_openscop.sh
PASS: test/check_special.sh
============================================================================
Testsuite summary for cloog 0.19.0
============================================================================
# TOTAL: 5
# PASS:  4
# SKIP:  0
# XFAIL: 0
# FAIL:  1
# XPASS: 0
# ERROR: 0
Syllo commented 5 years ago

A new version with isl 0.20 support has landed in the master branch.