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
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
participants (2)
-
Mark A. McLaughlin -
Roberto Bagnara