- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(polyops): Updated.
by Roberto Bagnara 17 Dec '12

17 Dec '12

Module: ppl/ppl Branch: polyops Commit: e1bfeb7c925b09c7210d66f4858af916b8bc8f4e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1bfeb7c925b… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Dec 17 19:03:58 2012 +0100 Updated. --- compile | 7 ++++- config.sub | 23 ++++++++++----- depcomp | 86 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++-- 3 files changed, 104 insertions(+), 12 deletions(-) diff --git a/compile b/compile index 7b4a9a7..718dc6d 100755 --- a/compile +++ b/compile @@ -1,7 +1,7 @@ #! /bin/sh # Wrapper for compilers which do not understand '-c -o'. -scriptversion=2012-03-05.13; # UTC +scriptversion=2012-10-14.11; # UTC # Copyright (C) 1999-2012 Free Software Foundation, Inc. # Written by Tom Tromey <tromey(a)cygnus.com>. @@ -112,6 +112,11 @@ func_cl_dashl () lib=$dir/$lib.lib break fi + if test -f "$dir/lib$lib.a"; then + found=yes + lib=$dir/lib$lib.a + break + fi done IFS=$save_IFS diff --git a/config.sub b/config.sub index bdda9e4..8df5511 100755 --- a/config.sub +++ b/config.sub @@ -4,7 +4,7 @@ # 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, # 2011, 2012 Free Software Foundation, Inc. -timestamp='2012-08-18' +timestamp='2012-12-06' # This file is (in principle) common to ALL GNU software. # The presence of a machine in this file suggests that SOME GNU software @@ -156,7 +156,7 @@ case $os in -convergent* | -ncr* | -news | -32* | -3600* | -3100* | -hitachi* |\ -c[123]* | -convex* | -sun | -crds | -omron* | -dg | -ultra | -tti* | \ -harris | -dolphin | -highlevel | -gould | -cbm | -ns | -masscomp | \ - -apple | -axis | -knuth | -cray | -microblaze) + -apple | -axis | -knuth | -cray | -microblaze*) os= basic_machine=$1 ;; @@ -259,8 +259,10 @@ case $basic_machine in | alpha | alphaev[4-8] | alphaev56 | alphaev6[78] | alphapca5[67] \ | alpha64 | alpha64ev[4-8] | alpha64ev56 | alpha64ev6[78] | alpha64pca5[67] \ | am33_2.0 \ - | arc | arm | arm[bl]e | arme[lb] | armv[2345] | armv[345][lb] | avr | avr32 \ - | be32 | be64 \ + | arc \ + | arm | arm[bl]e | arme[lb] | armv[2-8] | armv[3-8][lb] | armv7[arm] \ + | avr | avr32 \ + | be32 | be64 \ | bfin \ | c4x | clipper \ | d10v | d30v | dlx | dsp16xx \ @@ -273,7 +275,7 @@ case $basic_machine in | le32 | le64 \ | lm32 \ | m32c | m32r | m32rle | m68000 | m68k | m88k \ - | maxq | mb | microblaze | mcore | mep | metag \ + | maxq | mb | microblaze | microblazeel | mcore | mep | metag \ | mips | mipsbe | mipseb | mipsel | mipsle \ | mips16 \ | mips64 | mips64el \ @@ -389,7 +391,8 @@ case $basic_machine in | lm32-* \ | m32c-* | m32r-* | m32rle-* \ | m68000-* | m680[012346]0-* | m68360-* | m683?2-* | m68k-* \ - | m88110-* | m88k-* | maxq-* | mcore-* | metag-* | microblaze-* \ + | m88110-* | m88k-* | maxq-* | mcore-* | metag-* \ + | microblaze-* | microblazeel-* \ | mips-* | mipsbe-* | mipseb-* | mipsel-* | mipsle-* \ | mips16-* \ | mips64-* | mips64el-* \ @@ -788,7 +791,7 @@ case $basic_machine in basic_machine=ns32k-utek os=-sysv ;; - microblaze) + microblaze*) basic_machine=microblaze-xilinx ;; mingw64) @@ -1023,7 +1026,11 @@ case $basic_machine in basic_machine=i586-unknown os=-pw32 ;; - rdos) + rdos | rdos64) + basic_machine=x86_64-pc + os=-rdos + ;; + rdos32) basic_machine=i386-pc os=-rdos ;; diff --git a/depcomp b/depcomp index debb6ff..e1f51f4 100755 --- a/depcomp +++ b/depcomp @@ -1,7 +1,7 @@ #! /bin/sh # depcomp - compile a program generating dependencies as side-effects -scriptversion=2012-03-27.16; # UTC +scriptversion=2012-07-12.20; # UTC # Copyright (C) 1999-2012 Free Software Foundation, Inc. @@ -74,6 +74,9 @@ tmpdepfile=${tmpdepfile-`echo "$depfile" | sed 's/\.$[^.]*$$/.T\1/'`} rm -f "$tmpdepfile" +# Avoid interferences from the environment. +gccflag= dashmflag= + # Some modes work just like other modes, but use different flags. We # parameterize here, but still list the modes in the big case below, # to make depend.m4 easier to write. Note that we *cannot* use a case @@ -108,7 +111,7 @@ if test "$depmode" = msvc7msys; then fi if test "$depmode" = xlc; then - # IBM C/C++ Compilers xlc/xlC can output gcc-like dependency informations. + # IBM C/C++ Compilers xlc/xlC can output gcc-like dependency information. gccflag=-qmakedep=gcc,-MF depmode=gcc fi @@ -142,13 +145,17 @@ gcc3) ;; gcc) +## Note that this doesn't just cater to obsosete pre-3.x GCC compilers. +## but also to in-use compilers like IMB xlc/xlC and the HP C compiler. +## (see the conditional assignment to $gccflag above). ## There are various ways to get dependency output from gcc. Here's ## why we pick this rather obscure method: ## - Don't want to use -MD because we'd like the dependencies to end ## up in a subdir. Having to rename by hand is ugly. ## (We might end up doing this anyway to support other compilers.) ## - The DEPENDENCIES_OUTPUT environment variable makes gcc act like -## -MM, not -M (despite what the docs say). +## -MM, not -M (despite what the docs say). Also, it might not be +## supported by the other compilers which use the 'gcc' depmode. ## - Using -M directly means running the compiler twice (even worse ## than renaming). if test -z "$gccflag"; then @@ -334,6 +341,79 @@ icc) rm -f "$tmpdepfile" ;; +## The order of this option in the case statement is important, since the +## shell code in configure will try each of these formats in the order +## listed in this file. A plain '-MD' option would be understood by many +## compilers, so we must ensure this comes after the gcc and icc options. +pgcc) + # Portland's C compiler understands '-MD'. + # Will always output deps to 'file.d' where file is the root name of the + # source file under compilation, even if file resides in a subdirectory. + # The object file name does not affect the name of the '.d' file. + # pgcc 10.2 will output + # foo.o: sub/foo.c sub/foo.h + # and will wrap long lines using '\' : + # foo.o: sub/foo.c ... \ + # sub/foo.h ... \ + # ... + dir=`echo "$object" | sed -e 's|/[^/]*$|/|'` + test "x$dir" = "x$object" && dir= + # Use the source, not the object, to determine the base name, since + # that's sadly what pgcc will do too. + base=`echo "$source" | sed -e 's|^.*/||' -e 's/\.[-_a-zA-Z0-9]*$//'` + tmpdepfile="$base.d" + + # For projects that build the same source file twice into different object + # files, the pgcc approach of using the *source* file root name can cause + # problems in parallel builds. Use a locking strategy to avoid stomping on + # the same $tmpdepfile. + lockdir="$base.d-lock" + trap "echo '$0: caught signal, cleaning up...' >&2; rm -rf $lockdir" 1 2 13 15 + numtries=100 + i=$numtries + while test $i -gt 0 ; do + # mkdir is a portable test-and-set. + if mkdir $lockdir 2>/dev/null; then + # This process acquired the lock. + "$@" -MD + stat=$? + # Release the lock. + rm -rf $lockdir + break + else + ## the lock is being held by a different process, + ## wait until the winning process is done or we timeout + while test -d $lockdir && test $i -gt 0; do + sleep 1 + i=`expr $i - 1` + done + fi + i=`expr $i - 1` + done + trap - 1 2 13 15 + if test $i -le 0; then + echo "$0: failed to acquire lock after $numtries attempts" >&2 + echo "$0: check lockdir '$lockdir'" >&2 + exit 1 + fi + + if test $stat -ne 0; then + rm -f "$tmpdepfile" + exit $stat + fi + rm -f "$depfile" + # Each line is of the form `foo.o: dependent.h', + # or `foo.o: dep1.h dep2.h \', or ` dep3.h dep4.h \'. + # Do two passes, one to just change these to + # `$object: dependent.h' and one to simply `dependent.h:'. + sed "s,^[^:]*:,$object :," < "$tmpdepfile" > "$depfile" + # Some versions of the HPUX 10.20 sed can't process this invocation + # correctly. Breaking it into two sed invocations is a workaround. + sed 's,^[^:]*: $.*$$,\1,;s/^\\$//;/^$/d;/:$/d' < "$tmpdepfile" | + sed -e 's/$/ :/' >> "$depfile" + rm -f "$tmpdepfile" + ;; + hp2) # The "hp" stanza above does not work with aCC (C++) and HP's ia64 # compilers, which have integrated preprocessors. The correct option

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 17 Dec '12

17 Dec '12

Module: ppl/ppl Branch: master Commit: e1bfeb7c925b09c7210d66f4858af916b8bc8f4e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1bfeb7c925b… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Dec 17 19:03:58 2012 +0100 Updated. --- compile | 7 ++++- config.sub | 23 ++++++++++----- depcomp | 86 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++-- 3 files changed, 104 insertions(+), 12 deletions(-) diff --git a/compile b/compile index 7b4a9a7..718dc6d 100755 --- a/compile +++ b/compile @@ -1,7 +1,7 @@ #! /bin/sh # Wrapper for compilers which do not understand '-c -o'. -scriptversion=2012-03-05.13; # UTC +scriptversion=2012-10-14.11; # UTC # Copyright (C) 1999-2012 Free Software Foundation, Inc. # Written by Tom Tromey <tromey(a)cygnus.com>. @@ -112,6 +112,11 @@ func_cl_dashl () lib=$dir/$lib.lib break fi + if test -f "$dir/lib$lib.a"; then + found=yes + lib=$dir/lib$lib.a + break + fi done IFS=$save_IFS diff --git a/config.sub b/config.sub index bdda9e4..8df5511 100755 --- a/config.sub +++ b/config.sub @@ -4,7 +4,7 @@ # 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, # 2011, 2012 Free Software Foundation, Inc. -timestamp='2012-08-18' +timestamp='2012-12-06' # This file is (in principle) common to ALL GNU software. # The presence of a machine in this file suggests that SOME GNU software @@ -156,7 +156,7 @@ case $os in -convergent* | -ncr* | -news | -32* | -3600* | -3100* | -hitachi* |\ -c[123]* | -convex* | -sun | -crds | -omron* | -dg | -ultra | -tti* | \ -harris | -dolphin | -highlevel | -gould | -cbm | -ns | -masscomp | \ - -apple | -axis | -knuth | -cray | -microblaze) + -apple | -axis | -knuth | -cray | -microblaze*) os= basic_machine=$1 ;; @@ -259,8 +259,10 @@ case $basic_machine in | alpha | alphaev[4-8] | alphaev56 | alphaev6[78] | alphapca5[67] \ | alpha64 | alpha64ev[4-8] | alpha64ev56 | alpha64ev6[78] | alpha64pca5[67] \ | am33_2.0 \ - | arc | arm | arm[bl]e | arme[lb] | armv[2345] | armv[345][lb] | avr | avr32 \ - | be32 | be64 \ + | arc \ + | arm | arm[bl]e | arme[lb] | armv[2-8] | armv[3-8][lb] | armv7[arm] \ + | avr | avr32 \ + | be32 | be64 \ | bfin \ | c4x | clipper \ | d10v | d30v | dlx | dsp16xx \ @@ -273,7 +275,7 @@ case $basic_machine in | le32 | le64 \ | lm32 \ | m32c | m32r | m32rle | m68000 | m68k | m88k \ - | maxq | mb | microblaze | mcore | mep | metag \ + | maxq | mb | microblaze | microblazeel | mcore | mep | metag \ | mips | mipsbe | mipseb | mipsel | mipsle \ | mips16 \ | mips64 | mips64el \ @@ -389,7 +391,8 @@ case $basic_machine in | lm32-* \ | m32c-* | m32r-* | m32rle-* \ | m68000-* | m680[012346]0-* | m68360-* | m683?2-* | m68k-* \ - | m88110-* | m88k-* | maxq-* | mcore-* | metag-* | microblaze-* \ + | m88110-* | m88k-* | maxq-* | mcore-* | metag-* \ + | microblaze-* | microblazeel-* \ | mips-* | mipsbe-* | mipseb-* | mipsel-* | mipsle-* \ | mips16-* \ | mips64-* | mips64el-* \ @@ -788,7 +791,7 @@ case $basic_machine in basic_machine=ns32k-utek os=-sysv ;; - microblaze) + microblaze*) basic_machine=microblaze-xilinx ;; mingw64) @@ -1023,7 +1026,11 @@ case $basic_machine in basic_machine=i586-unknown os=-pw32 ;; - rdos) + rdos | rdos64) + basic_machine=x86_64-pc + os=-rdos + ;; + rdos32) basic_machine=i386-pc os=-rdos ;; diff --git a/depcomp b/depcomp index debb6ff..e1f51f4 100755 --- a/depcomp +++ b/depcomp @@ -1,7 +1,7 @@ #! /bin/sh # depcomp - compile a program generating dependencies as side-effects -scriptversion=2012-03-27.16; # UTC +scriptversion=2012-07-12.20; # UTC # Copyright (C) 1999-2012 Free Software Foundation, Inc. @@ -74,6 +74,9 @@ tmpdepfile=${tmpdepfile-`echo "$depfile" | sed 's/\.$[^.]*$$/.T\1/'`} rm -f "$tmpdepfile" +# Avoid interferences from the environment. +gccflag= dashmflag= + # Some modes work just like other modes, but use different flags. We # parameterize here, but still list the modes in the big case below, # to make depend.m4 easier to write. Note that we *cannot* use a case @@ -108,7 +111,7 @@ if test "$depmode" = msvc7msys; then fi if test "$depmode" = xlc; then - # IBM C/C++ Compilers xlc/xlC can output gcc-like dependency informations. + # IBM C/C++ Compilers xlc/xlC can output gcc-like dependency information. gccflag=-qmakedep=gcc,-MF depmode=gcc fi @@ -142,13 +145,17 @@ gcc3) ;; gcc) +## Note that this doesn't just cater to obsosete pre-3.x GCC compilers. +## but also to in-use compilers like IMB xlc/xlC and the HP C compiler. +## (see the conditional assignment to $gccflag above). ## There are various ways to get dependency output from gcc. Here's ## why we pick this rather obscure method: ## - Don't want to use -MD because we'd like the dependencies to end ## up in a subdir. Having to rename by hand is ugly. ## (We might end up doing this anyway to support other compilers.) ## - The DEPENDENCIES_OUTPUT environment variable makes gcc act like -## -MM, not -M (despite what the docs say). +## -MM, not -M (despite what the docs say). Also, it might not be +## supported by the other compilers which use the 'gcc' depmode. ## - Using -M directly means running the compiler twice (even worse ## than renaming). if test -z "$gccflag"; then @@ -334,6 +341,79 @@ icc) rm -f "$tmpdepfile" ;; +## The order of this option in the case statement is important, since the +## shell code in configure will try each of these formats in the order +## listed in this file. A plain '-MD' option would be understood by many +## compilers, so we must ensure this comes after the gcc and icc options. +pgcc) + # Portland's C compiler understands '-MD'. + # Will always output deps to 'file.d' where file is the root name of the + # source file under compilation, even if file resides in a subdirectory. + # The object file name does not affect the name of the '.d' file. + # pgcc 10.2 will output + # foo.o: sub/foo.c sub/foo.h + # and will wrap long lines using '\' : + # foo.o: sub/foo.c ... \ + # sub/foo.h ... \ + # ... + dir=`echo "$object" | sed -e 's|/[^/]*$|/|'` + test "x$dir" = "x$object" && dir= + # Use the source, not the object, to determine the base name, since + # that's sadly what pgcc will do too. + base=`echo "$source" | sed -e 's|^.*/||' -e 's/\.[-_a-zA-Z0-9]*$//'` + tmpdepfile="$base.d" + + # For projects that build the same source file twice into different object + # files, the pgcc approach of using the *source* file root name can cause + # problems in parallel builds. Use a locking strategy to avoid stomping on + # the same $tmpdepfile. + lockdir="$base.d-lock" + trap "echo '$0: caught signal, cleaning up...' >&2; rm -rf $lockdir" 1 2 13 15 + numtries=100 + i=$numtries + while test $i -gt 0 ; do + # mkdir is a portable test-and-set. + if mkdir $lockdir 2>/dev/null; then + # This process acquired the lock. + "$@" -MD + stat=$? + # Release the lock. + rm -rf $lockdir + break + else + ## the lock is being held by a different process, + ## wait until the winning process is done or we timeout + while test -d $lockdir && test $i -gt 0; do + sleep 1 + i=`expr $i - 1` + done + fi + i=`expr $i - 1` + done + trap - 1 2 13 15 + if test $i -le 0; then + echo "$0: failed to acquire lock after $numtries attempts" >&2 + echo "$0: check lockdir '$lockdir'" >&2 + exit 1 + fi + + if test $stat -ne 0; then + rm -f "$tmpdepfile" + exit $stat + fi + rm -f "$depfile" + # Each line is of the form `foo.o: dependent.h', + # or `foo.o: dep1.h dep2.h \', or ` dep3.h dep4.h \'. + # Do two passes, one to just change these to + # `$object: dependent.h' and one to simply `dependent.h:'. + sed "s,^[^:]*:,$object :," < "$tmpdepfile" > "$depfile" + # Some versions of the HPUX 10.20 sed can't process this invocation + # correctly. Breaking it into two sed invocations is a workaround. + sed 's,^[^:]*: $.*$$,\1,;s/^\\$//;/^$/d;/:$/d' < "$tmpdepfile" | + sed -e 's/$/ :/' >> "$depfile" + rm -f "$tmpdepfile" + ;; + hp2) # The "hp" stanza above does not work with aCC (C++) and HP's ia64 # compilers, which have integrated preprocessors. The correct option

1 0

[GIT] ppl/ppl(polyops): Detect bogus versions of std::floor(long double).
by Roberto Bagnara 12 Dec '12

12 Dec '12

Module: ppl/ppl Branch: polyops Commit: ec6f51a39abaa212a28f1a34c912f02a24d2e4ea URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec6f51a39aba… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Nov 12 09:31:19 2012 +0100 Detect bogus versions of std::floor(long double). --- configure.ac | 2 +- m4/ac_cxx_long_double_binary_format.m4 | 25 ++++++++++++++++++++++++- 2 files changed, 25 insertions(+), 2 deletions(-) diff --git a/configure.ac b/configure.ac index 5dc2877..bc1b7da 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.1pre4], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre5], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61) diff --git a/m4/ac_cxx_long_double_binary_format.m4 b/m4/ac_cxx_long_double_binary_format.m4 index 588d4b3..53a6e36 100644 --- a/m4/ac_cxx_long_double_binary_format.m4 +++ b/m4/ac_cxx_long_double_binary_format.m4 @@ -314,7 +314,30 @@ fi AC_MSG_RESULT($ac_cxx_long_double_binary_format) -if test x"$ac_cxx_long_double_binary_format" = x"unknown" || test $ac_cv_can_control_fpu = 0 +AC_MSG_CHECKING([whether std::floor(long double) is buggy]) +AC_RUN_IFELSE([AC_LANG_SOURCE([[#include <cmath> +#include <cstdlib> + +long double x = 13311002825915415087.0L; + +int main() { + long double y = std::floor(x); + if (x != y) + return 1; + else + return 0; +} + ]])], + ac_std_floor_long_double_is_buggy=no + AC_MSG_RESULT(no), + ac_std_floor_long_double_is_buggy=yes + AC_MSG_RESULT(yes), + ac_std_floor_long_double_is_buggy=no + AC_MSG_RESULT([assuming is not])) + +if test x"$ac_cxx_long_double_binary_format" = x"unknown" \ +|| test $ac_cv_can_control_fpu = 0 \ +|| test x"$ac_std_floor_long_double_is_buggy" = x"yes" then ac_supported_long_double=0 else

1 0

Regression test failures on OpenBSD
by Edd Barrett 12 Nov '12

12 Nov '12

Hi, Whilst building a port of PPL to OpenBSD I have encountered the following regression test failures: ---8<--- gmake[5]: Entering directory `/usr/ports/pobj/ppl-1.0/ppl-1.0/tests/Concrete_Expression' PASS: C_Expr PASS: linearform1 PASS: linearize PASS: digitalfilters1 PASS: bdshape1 PASS: bdshape2 PASS: octagonalshape1 PASS: octagonalshape2 tests failed: test04 FAIL: polyhedron1 tests failed: test04 FAIL: polyhedron2 ====================================== 2 of 10 tests failed Please report to ppl-devel(a)cs.unipr.it ====================================== ---8<--- This does not give a huge amount of information. How can I get more information? I had a prod around in the tests dir but did not see any obvious log files. I am running OpenBSD-current/amd64 with PPL-1.0 release. Please CC me, I am not subscribed. Thanks -- Edd Barrett Programming Languages and Systems Research University of Kent http://www.cs.kent.ac.uk/people/rpg/eb771/

5 10

[GIT] ppl/ppl(master): Detect bogus versions of std::floor(long double).
by Roberto Bagnara 12 Nov '12

12 Nov '12

Module: ppl/ppl Branch: master Commit: ec6f51a39abaa212a28f1a34c912f02a24d2e4ea URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec6f51a39aba… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Nov 12 09:31:19 2012 +0100 Detect bogus versions of std::floor(long double). --- configure.ac | 2 +- m4/ac_cxx_long_double_binary_format.m4 | 25 ++++++++++++++++++++++++- 2 files changed, 25 insertions(+), 2 deletions(-) diff --git a/configure.ac b/configure.ac index 5dc2877..bc1b7da 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.1pre4], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre5], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61) diff --git a/m4/ac_cxx_long_double_binary_format.m4 b/m4/ac_cxx_long_double_binary_format.m4 index 588d4b3..53a6e36 100644 --- a/m4/ac_cxx_long_double_binary_format.m4 +++ b/m4/ac_cxx_long_double_binary_format.m4 @@ -314,7 +314,30 @@ fi AC_MSG_RESULT($ac_cxx_long_double_binary_format) -if test x"$ac_cxx_long_double_binary_format" = x"unknown" || test $ac_cv_can_control_fpu = 0 +AC_MSG_CHECKING([whether std::floor(long double) is buggy]) +AC_RUN_IFELSE([AC_LANG_SOURCE([[#include <cmath> +#include <cstdlib> + +long double x = 13311002825915415087.0L; + +int main() { + long double y = std::floor(x); + if (x != y) + return 1; + else + return 0; +} + ]])], + ac_std_floor_long_double_is_buggy=no + AC_MSG_RESULT(no), + ac_std_floor_long_double_is_buggy=yes + AC_MSG_RESULT(yes), + ac_std_floor_long_double_is_buggy=no + AC_MSG_RESULT([assuming is not])) + +if test x"$ac_cxx_long_double_binary_format" = x"unknown" \ +|| test $ac_cv_can_control_fpu = 0 \ +|| test x"$ac_std_floor_long_double_is_buggy" = x"yes" then ac_supported_long_double=0 else

1 0

make check error on OS X
by Brad 11 Nov '12

11 Nov '12

Hello, The attached file logs certain errors that occurred during make check. I am running Lion v10.7.4 on a MacBook Pro with the Core 2 Duo processor. The gcc version is 4.2.3 that came along with XCode tools. I hope this report is helpful to you. Please let me know if you need any additional information. Best wishes, Brad -- Brad Mells Quantum Harmonics 408 480-9916

3 2

[GIT] ppl/ppl(master): Do recognize also llvm-gcc and llvm-g++.
by Roberto Bagnara 11 Nov '12

11 Nov '12

Module: ppl/ppl Branch: master Commit: de757693f91757b9150178d6dd6b6f230a1261f6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de757693f917… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Nov 11 12:38:59 2012 +0100 Do recognize also llvm-gcc and llvm-g++. Floating-point-based abstractions are disabled when clang++ or llvm-g++ are detected. --- configure.ac | 56 ++++++++++++++++++++++++++++++++++++++++++++++++++------ 1 files changed, 50 insertions(+), 6 deletions(-) diff --git a/configure.ac b/configure.ac index b573f51..5dc2877 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.1pre3], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre4], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61) @@ -178,7 +178,7 @@ AM_CONDITIONAL(ICC, test x"$ICC" = xyes) # The clang compiler masquerades as gcc, but we want to know. if test x"$GCC" = xyes then - AC_MSG_CHECKING([whether we are actually using Clang]) + AC_MSG_CHECKING([whether we are actually using clang]) AC_LANG_PUSH(C) AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ #ifndef __clang__ @@ -194,6 +194,28 @@ choke me AC_LANG_POP(C) fi +# The llvm-gcc compiler masquerades as gcc, but we want to know. +if test x"$GCC" = xyes +then + AC_MSG_CHECKING([whether we are actually using llvm-gcc]) + AC_LANG_PUSH(C) + save_CFLAGS="$CFLAGS" + CFLAGS="-fplugin-arg-dragonegg-emit-ir -S" + AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ +int main() { + return 0; +} +]])], + AC_MSG_RESULT(yes) + LLVM_GCC=yes, + AC_MSG_RESULT(no) + LLVM_GCC=no, + AC_MSG_RESULT(no) + LLVM_GCC=no) + CFLAGS="$save_CFLAGS" + AC_LANG_POP(C) +fi + save_CXXFLAGS="$CXXFLAGS" AC_PROG_CXX CXXFLAGS="$save_CXXFLAGS" @@ -236,6 +258,29 @@ choke me AC_LANG_POP(C++) fi +# The llvm-++ compiler masquerades as g++, but we want to know. +if test x"$GXX" = xyes +then + AC_MSG_CHECKING([whether we are actually using llvm-g++]) + AC_LANG_PUSH(C++) + save_CXXFLAGS="$CXXFLAGS" + CXXFLAGS="-fplugin-arg-dragonegg-emit-ir -S" + AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ +int main() { + return 0; +} +]])], + AC_MSG_RESULT(yes) + LLVM_GXX=yes, + AC_MSG_RESULT(no) + LLVM_GXX=no, + AC_MSG_RESULT(no) + LLVM_GXX=no) + CXXFLAGS="$save_CXXFLAGS" + AC_LANG_POP(C++) +fi + + AC_PROG_FGREP AC_PROG_EGREP AC_PROG_SED @@ -492,15 +537,14 @@ then then OPT_FLAGS="$OPT_FLAGS -fp-model strict -fp-speculation off" else - # -frounding-math is not yet supported in clang++, if we use it we get - # lots of warnings. - if test x"$CLANGXX" = xyes + # -frounding-math is not yet supported in clang++ or llvm-g++. + if test x"$CLANGXX" = xyes || x"$LLVM_GXX" = xyes then if test x"$use_fpmath" = xyes then AC_MSG_WARN([CANNOT RELY ON DIRECTED ROUNDING: *** DISABLED ALL ABSTRACTIONS BASED ON MACHINE FLOATING-POINT NUMBERS. -*** clang++ has been detected, which does not provide support for +*** A compiler has been detected that does not provide support for *** -frounding-math (or any other option with the same semantics). *** Hence, we cannot rely on floating-point computations to happen *** in agreement with the rounding direction(s) used by the PPL.])

1 0

Narrowing for polyhedral domains
by Zhoulai 08 Nov '12

08 Nov '12

Dear all, This may be a silly question. But I would like to know why narrowing for polyhedral domains is not implemented in PPL? I recently experienced many cases where analysis using Int64_Box gives more precise results than NNC_Polyhedral because the former provides a narrowing. What do you think? Thanks. Zell.

2 1

test failure
by Jason Addison 27 Oct '12

27 Oct '12

<<snip>> **************************** long_double/IEEE754_QUAD **************************** make C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 \ run_tests g++ -DHAVE_CONFIG_H -I. -I../../../tests/Concrete_Expression -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../../src -I../../../tests -I../../../utils -I/Users/jra/pks/gcc-4.7.2/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o ../../../tests/Concrete_Expression/C_Expr.cc In file included from ../../../tests/ppl_test.hh:27, from ../../../tests/Concrete_Expression/C_Expr.cc:25: ../../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS" <<snip>> g++ -DHAVE_CONFIG_H -I. -I../../../tests/Concrete_Expression -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../../src -I../../../tests -I../../../utils -I/Users/jra/pks/gcc-4.7.2/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o ../../../tests/Concrete_Expression/polyhedron2.cc In file included from ../../../tests/ppl_test.hh:27, from ../../../tests/Concrete_Expression/polyhedron2.cc:26: ../../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS" mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron2 polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/jra/pks/gcc-4.7.2/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2 polyhedron2.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/jra/pks/gcc-4.7.2/lib /Users/jra/pks/gcc-4.7.2/lib/libgmpxx.dylib /Users/jra/pks/gcc-4.7.2/lib/libgmp.dylib make[5]: Nothing to be done for `../../../tests/Concrete_Expression/run_tests'. 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(a)cs.unipr.it ====================================== make[5]: *** [check-TESTS] Error 1 make[4]: *** [check-am] Error 2 make[3]: *** [run_tests.stamp] Error 1 make[2]: *** [check-am] Error 2 make[1]: *** [check-recursive] Error 1 make: *** [check-recursive] Error 1

2 1

[GIT] ppl/ppl(master): Removed wrong observation on time-elapse for closed polyhedra.
by Enea Zaffanella 20 Oct '12

20 Oct '12

Module: ppl/ppl Branch: master Commit: 3a66052bb7c9e61a4d64d8ca03de9b581a89b487 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a66052bb7c9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Oct 17 09:39:17 2012 +0200 Removed wrong observation on time-elapse for closed polyhedra. (Thanks to Marco Faella for pointing this out.) --- doc/definitions.dox | 6 ++---- 1 files changed, 2 insertions(+), 4 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index c1b6b02..83b7e0d 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -1580,10 +1580,8 @@ is the smallest NNC polyhedron containing the set \vect{p} \in \cP, \vect{q} \in \cQ, \lambda \in \nonnegRset \,\bigr\}. \f] -Note that, if \f$\cP,\cQ \in \CPset_n\f$ are closed polyhedra, -the above set is also a closed polyhedron. -In contrast, when \f$\cQ\f$ is not topologically closed, -the above set might not be an NNC polyhedron. +Note that the above set might not be an NNC polyhedron. + \subsection Meet_Preserving_Simplification Meet-Preserving Enlargement and Simplification

1 0