[PPL-devel] patch for merging graphite branch (before tuplification)

[Roberto Bagnara]

Jack Howarth wrote:
> I didn't bother to post the make check results to gcc-testresults yet because I noticed that the ppl-0.9 testsuite showed
> five failures on i686-apple-darwin9...
> 
> failed tests: test08 
> FAIL: affineimage1
> failed tests: test09 test11 
> FAIL: affineimage2
> failed tests: test06 
> FAIL: affinepreimage2
> failed tests: test06 
> FAIL: generalizedaffineimage2
> failed tests: test07 test14 
> FAIL: generalizedaffinepreimage1
> 
> I posted the output for these failing test run with the
> PPL_NOISY_TESTS environmental variable set to yes on the
> ppl-devel mailing list...
> 
> http://www.cs.unipr.it/pipermail/ppl-devel/2008-August/011968.html
> 
> Roberto Bagnara's cursory examination of those results was that
> these were flaws in the testsuite itself and not real errors.
> I don't seem to see them in ppl cvs.

Dear Jack,

I have checked more carefully and found that the testsuite is OK.
My guess is that PPL 0.9 does not use the -frounding-math GCC option
for compilation.  This was fixed in:

  2007-09-10 Monday 15:45  Roberto Bagnara <bagnara at cs.unipr.it>

         * configure.ac (1.283): With GCC, use -frounding-math to disable
           transformations and optimizations that assume default floating
           point rounding behavior.

I can only repeat my invitation to base any new development on (prereleases
of) PPL 0.10.
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it