Hi,
Thanks for the reply.
I have tried removing -frounding-math option from the configuration file, but those 6 tests were still failing. I am currently using 0.11.2. When is a new release with clang support foreseen on PPL roadmap?
P.S. I have not yet tried compiling GIT HEAD version of PPL on Mac OS X Lion.
Thanks, David
On 2012.01.28, at 15:06, Enea Zaffanella wrote:
On 01/27/2012 04:36 PM, David Abdurachmanov wrote:
Hi, I am running 'make check' on my PPL build on Mac OS X Lion with XCode 4.2 using clang compiler.
I was using clean environment (env -i) and additional environment variables: export CC='/Developer/usr/bin/clang' export CXX='/Developer/usr/bin/clang++' export F90FLAGS='-O2 -m64' export OBJC='/Developer/usr/bin/clang' export FCFLAGS='-O2 -m64' export INSTALL='/usr/bin/install -c' export OBJCFLAGS='-O2 -arch x86_64' export FFLAGS='-O2 -m64' export ABI='64'
Here is the list of failed tests:
tests failed: test08 FAIL: affineimage1 tests failed: test03 test04 FAIL: frompolyhedron1 tests failed: test01 test02 FAIL: frompolyhedron2 tests failed: test01 test03 FAIL: propagateconstraints2 tests failed: test01 FAIL: refinewithconstraint1 tests failed: test03 test04 FAIL: nnc_frompolyhedron1
$ /Developer/usr/bin/clang -v Apple clang version 3.0 (tags/Apple/clang-211.12) (based on LLVM 3.0svn) Target: x86_64-apple-darwin11.2.0 Thread model: posix
Thanks, David
Hello David.
From what you say it seems to be a known problem, discussed in the following thread
http://www.cs.unipr.it/pipermail/ppl-devel/2011-August/017563.html
whereby llvm/clang is not supporting (yet?) -frounding-math.
As a consequence, wrong results can be obtained (due to unsafe rounding) but **only** when using those PPL domain instantiations whose representation relies on floating point datatypes (e.g., Box<float>, BD_Shape<double>, Octagonal_Shape<double>, etc.).
We have recently added clang-detection ability to the PPL configure script which should be able to automatically turn off those domain instantiations. See
http://www.cs.unipr.it/pipermail/ppl-devel/2011-December/017821.html
This however has not been released yet (I assume you are building PPL 0.11.2).
Cheers, Enea.