ppl test failures on mac
make check-TESTS PASS: C_Expr PASS: linearform1 PASS: linearize PASS: digitalfilters1 PASS: bdshape1 PASS: bdshape2 PASS: octagonalshape1 PASS: octagonalshape2 tests failed: test04 test05 FAIL: polyhedron1 tests failed: test04 test05 FAIL: polyhedron2 ====================================== 2 of 10 tests failed Please report to ppl-devel@cs.unipr.it ====================================== I just download, configured, compiled, and tested ppl-1.0. Two of the tests failed (as listed above). The messages states that I should report this. I used this configuration: ./configure --prefix=/usr/local --exec-prefix=/usr/local Here is my machine configuration: Model Name: MacBook Pro Model Identifier: MacBookPro6,2 Processor Name: Intel Core i7 Processor Speed: 2.66 GHz Number of Processors: 1 Total Number of Cores: 2 L2 Cache (per Core): 256 KB L3 Cache: 4 MB Memory: 8 GB Processor Interconnect Speed: 4.8 GT/s Boot ROM Version: MBP61.0057.B0F SMC Version (system): 1.58f16 Operating System: OS X 10.8.2 % uname -a Darwin mcwindows7 12.2.0 Darwin Kernel Version 12.2.0: Sat Aug 25 00:48:52 PDT 2012; root:xnu-2050.18.24~1/RELEASE_X86_64 x86_64 % gcc -v Using built-in specs. Target: i686-apple-darwin11 Configured with: /private/var/tmp/llvmgcc42/llvmgcc42-2336.11~67/src/configure --disable-checking --enable-werror --prefix=/Applications/Xcode.app/Contents/Developer/usr/llvm-gcc-4.2 --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-prefix=llvm- --program-transform-name=/^[cg][^.-]*$/s/$/-4.2/ --with-slibdir=/usr/lib --build=i686-apple-darwin11 --enable-llvm=/private/var/tmp/llvmgcc42/llvmgcc42-2336.11~67/dst-llvmCore/Developer/usr/local --program-prefix=i686-apple-darwin11- --host=x86_64-apple-darwin11 --target=i686-apple-darwin11 --with-gxx-include-dir=/usr/include/c++/4.2.1 Thread model: posix gcc version 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2336.11.00) GMP 5.0.5
On 10/06/12 03:24, Mark A. McLaughlin wrote:
make check-TESTS PASS: C_Expr PASS: linearform1 PASS: linearize PASS: digitalfilters1 PASS: bdshape1 PASS: bdshape2 PASS: octagonalshape1 PASS: octagonalshape2 tests failed: test04 test05 FAIL: polyhedron1 tests failed: test04 test05 FAIL: polyhedron2 ====================================== 2 of 10 tests failed Please report to ppl-devel@cs.unipr.it <mailto:ppl-devel@cs.unipr.it> ======================================
I just download, configured, compiled, and tested ppl-1.0. Two of the tests failed (as listed above). The messages states that I should report this.
Hello Mark. Thanks for the report. I believe this is due to the fact that LLVM does not provide support for the -frounding-math option, and this may result into incorrectness of the floating-point based domains. Moreover, llvm-gcc masquerades as gcc, which defeats our configure script. If you use the domains that are based on floating-point numbers, then only solution is to use GCC (the real thing) instead of LLVM. Please do not hesitate to ask if you need help. Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
On 10/06/12 10:28, Roberto Bagnara wrote:
On 10/06/12 03:24, Mark A. McLaughlin wrote:
make check-TESTS PASS: C_Expr PASS: linearform1 PASS: linearize PASS: digitalfilters1 PASS: bdshape1 PASS: bdshape2 PASS: octagonalshape1 PASS: octagonalshape2 tests failed: test04 test05 FAIL: polyhedron1 tests failed: test04 test05 FAIL: polyhedron2 ====================================== 2 of 10 tests failed Please report to ppl-devel@cs.unipr.it <mailto:ppl-devel@cs.unipr.it> ======================================
I just download, configured, compiled, and tested ppl-1.0. Two of the tests failed (as listed above). The messages states that I should report this.
Hello Mark.
Thanks for the report. I believe this is due to the fact that LLVM does not provide support for the -frounding-math option, and this may result into incorrectness of the floating-point based domains. Moreover, llvm-gcc masquerades as gcc, which defeats our configure script.
If you use the domains that are based on floating-point numbers, then only solution is to use GCC (the real thing) instead of LLVM. Please do not hesitate to ask if you need help.
I forgot to say that if you don't need the domains that are based on floating-point numbers you could configure the PPL with the --disable-fpmath options and then retry the `make check' (to make sure the other parts of the PPL have been compiled OK). Please let us know how it goes. Thanks, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics and Computer Science, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
participants (2)
-
Mark A. McLaughlin -
Roberto Bagnara