March 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Better parameters for formatted output.
by Abramo Bagnara 25 Mar '09

25 Mar '09

Module: ppl/ppl Branch: master Commit: 66947e998961eb42bd640c762596ca9139f1037c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66947e998961… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Mar 25 22:51:48 2009 +0100 Better parameters for formatted output. --- interfaces/C/ppl_c_stream.cc | 46 ++++---- interfaces/C/tests/print_to_buffer.c | 42 ++++---- src/c_streambuf_format.cc | 197 ++++++++++++++++++++++++++-------- src/c_streambuf_format.defs.hh | 9 ++- src/c_streambuf_format.inlines.hh | 2 +- src/c_streambuf_format_settings.h | 42 ++++---- 6 files changed, 230 insertions(+), 108 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=66947e99…

1 0

[GIT] ppl/ppl(master): Properly use PPL_FPMATH_MAY_USE_387 and PPL_FPMATH_MAY_USE_SSE.
by Roberto Bagnara 25 Mar '09

25 Mar '09

Module: ppl/ppl Branch: master Commit: c4848cee2d85faa6e24745f2822a924c58b244b3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c4848cee2d85… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 22:02:21 2009 +0100 Properly use PPL_FPMATH_MAY_USE_387 and PPL_FPMATH_MAY_USE_SSE. --- src/fpu-ia32.inlines.hh | 24 ++++++++++++------------ 1 files changed, 12 insertions(+), 12 deletions(-) diff --git a/src/fpu-ia32.inlines.hh b/src/fpu-ia32.inlines.hh index 40f3659..6549fb7 100644 --- a/src/fpu-ia32.inlines.hh +++ b/src/fpu-ia32.inlines.hh @@ -105,7 +105,7 @@ fpu_clear_exceptions() { __asm__ __volatile__ ("fnclex" : /* No outputs. */ : : "memory"); } -#if PPL_FPMATH_MAY_USE_SSE +#ifdef PPL_FPMATH_MAY_USE_SSE inline void sse_set_control(unsigned int cw) { __asm__ __volatile__ ("ldmxcsr %0" : : "m" (*&cw) : "memory"); @@ -121,7 +121,7 @@ sse_get_control() { inline void fpu_initialize_control_functions() { -#if PPL_FPMATH_MAY_USE_SSE +#ifdef PPL_FPMATH_MAY_USE_SSE extern void detect_sse_unit(); detect_sse_unit(); #endif @@ -134,10 +134,10 @@ fpu_get_rounding_direction() { inline void fpu_set_rounding_direction(fpu_rounding_direction_type dir) { -#if PPL_FPMATH_MAY_USE_387 +#ifdef PPL_FPMATH_MAY_USE_387 fpu_set_control(PPL_FPU_CONTROL_DEFAULT_BASE | dir); #endif -#if PPL_FPMATH_MAY_USE_SSE +#ifdef PPL_FPMATH_MAY_USE_SSE extern bool have_sse_unit; if (have_sse_unit) sse_set_control(PPL_SSE_CONTROL_DEFAULT_BASE | (dir << 3)); @@ -146,10 +146,10 @@ fpu_set_rounding_direction(fpu_rounding_direction_type dir) { inline fpu_rounding_control_word_type fpu_save_rounding_direction(fpu_rounding_direction_type dir) { -#if PPL_FPMATH_MAY_USE_387 +#ifdef PPL_FPMATH_MAY_USE_387 fpu_set_control(PPL_FPU_CONTROL_DEFAULT_BASE | dir); #endif -#if PPL_FPMATH_MAY_USE_SSE +#ifdef PPL_FPMATH_MAY_USE_SSE extern bool have_sse_unit; if (have_sse_unit) sse_set_control(PPL_SSE_CONTROL_DEFAULT_BASE | (dir << 3)); @@ -159,10 +159,10 @@ fpu_save_rounding_direction(fpu_rounding_direction_type dir) { inline void fpu_reset_inexact() { -#if PPL_FPMATH_MAY_USE_387 +#ifdef PPL_FPMATH_MAY_USE_387 fpu_clear_exceptions(); #endif -#if PPL_FPMATH_MAY_USE_SSE +#ifdef PPL_FPMATH_MAY_USE_SSE // NOTE: on entry to this function the current rounding mode // has to be the default one. extern bool have_sse_unit; @@ -173,10 +173,10 @@ fpu_reset_inexact() { inline void fpu_restore_rounding_direction(fpu_rounding_control_word_type) { -#if PPL_FPMATH_MAY_USE_387 +#ifdef PPL_FPMATH_MAY_USE_387 fpu_set_control(PPL_FPU_CONTROL_DEFAULT); #endif -#if PPL_FPMATH_MAY_USE_SSE +#ifdef PPL_FPMATH_MAY_USE_SSE extern bool have_sse_unit; if (have_sse_unit) sse_set_control(PPL_SSE_CONTROL_DEFAULT); @@ -185,11 +185,11 @@ fpu_restore_rounding_direction(fpu_rounding_control_word_type) { inline int fpu_check_inexact() { -#if PPL_FPMATH_MAY_USE_387 +#ifdef PPL_FPMATH_MAY_USE_387 if (fpu_get_status() & FPU_INEXACT) return 1; #endif -#if PPL_FPMATH_MAY_USE_SSE +#ifdef PPL_FPMATH_MAY_USE_SSE extern bool have_sse_unit; if (have_sse_unit && (sse_get_control() & SSE_INEXACT)) return 1;

1 0

[GIT] ppl/ppl(master): Depend on PPL_CAN_CONTROL_FPU.
by Roberto Bagnara 25 Mar '09

25 Mar '09

Module: ppl/ppl Branch: master Commit: b8777ff8bbf8a7dc54cfe1331f5c78eea06c4c56 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8777ff8bbf8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 22:01:12 2009 +0100 Depend on PPL_CAN_CONTROL_FPU. --- src/fpu-ia32.cc | 7 +++++-- 1 files changed, 5 insertions(+), 2 deletions(-) diff --git a/src/fpu-ia32.cc b/src/fpu-ia32.cc index d106996..b781a72 100644 --- a/src/fpu-ia32.cc +++ b/src/fpu-ia32.cc @@ -21,7 +21,10 @@ For the most up-to-date information see the Parma Polyhedra Library site: http://www.cs.unipr.it/ppl/ . */ #include <ppl-config.h> -#if defined(PPL_FPMATH_MAY_USE_SSE) && defined(__i386__) && (defined(__GNUC__) || defined(__INTEL_COMPILER)) + +#if PPL_CAN_CONTROL_FPU && defined(PPL_FPMATH_MAY_USE_SSE) \ + && defined(__i386__) \ + && (defined(__GNUC__) || defined(__INTEL_COMPILER)) #include "fpu.defs.hh" #include <csetjmp> @@ -64,4 +67,4 @@ detect_sse_unit() { } // namespace Parma_Polyhedra_Library -#endif // defined(PPL_FPMATH_MAY_USE_SSE) && defined(__i386__) && (defined(__GNUC__) || defined(__INTEL_COMPILER)) +#endif // PPL_CAN_CONTROL_FPU && defined(PPL_FPMATH_MAY_USE_SSE) && defined(__i386__) && (defined(__GNUC__) || defined(__INTEL_COMPILER))

1 0

[GIT] ppl/ppl(master): Typo fixed.
by Roberto Bagnara 25 Mar '09

25 Mar '09

Module: ppl/ppl Branch: master Commit: 927cd666b49dd94a46130ec2aec39bef12eaddd9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=927cd666b49d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 21:17:32 2009 +0100 Typo fixed. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index f9103eb..f6dbd1c 100644 --- a/configure.ac +++ b/configure.ac @@ -803,7 +803,7 @@ AM_CONDITIONAL(BUILD_PPL_LPSOL, test x"$build_ppl_lpsol" = xyes) # Define lists of available interfaces: lowercase and blank-separated. non_prolog_interfaces="cxx c ocaml java" prolog_interfaces="ciao_prolog gnu_prolog sicstus_prolog swi_prolog xsb_prolog yap_prolog" -available_interfaces="${nonprolog_interfaces} ${prolog_interfaces}" +available_interfaces="${non_prolog_interfaces} ${prolog_interfaces}" # This is the list of interfaces that are enabled by default. default_interfaces=${available_interfaces}

1 0

[GIT] ppl/ppl(master): Merge branch 'master' of ssh://bagnara@git.cs.unipr. it/git/ppl/ppl
by Roberto Bagnara 25 Mar '09

25 Mar '09

Module: ppl/ppl Branch: master Commit: c3ec0c11d9d45b23d1b76ecb4dc759da00cbd8fb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3ec0c11d9d4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 21:06:14 2009 +0100 Merge branch 'master' of ssh://bagnara@git.cs.unipr.it/git/ppl/ppl ---

1 0

[GIT] ppl/ppl(master): Do not enable the Prolog interfaces by default in the release tarballs.
by Roberto Bagnara 25 Mar '09

25 Mar '09

Module: ppl/ppl Branch: master Commit: b5d7b09c10aea7c95b9d2693986e2e4e549d3a12 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5d7b09c10ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 21:06:01 2009 +0100 Do not enable the Prolog interfaces by default in the release tarballs. --- Makefile.am | 2 ++ TODO | 1 - configure.ac | 11 +++++------ 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/Makefile.am b/Makefile.am index 145b807..d2f40fc 100644 --- a/Makefile.am +++ b/Makefile.am @@ -49,10 +49,12 @@ DISTCHECK_CONFIGURE_FLAGS = \ dist-hook: rm -f $(distdir)/ppl-config.h \ && $(SED) -e "s/^enableval=thorough$$/enableval=quick/g" \ + -e "s/^default_interfaces=\$${available_interfaces}$$/default_interfaces=\$${non_prolog_interfaces}/g" \ <$(distdir)/configure.ac >$(distdir)/configure.ac.new \ && touch $(distdir)/configure.ac.new -r $(distdir)/configure.ac \ && mv -f $(distdir)/configure.ac.new $(distdir)/configure.ac $(SED) -e "s/^enableval=thorough$$/enableval=quick/g" \ + -e "s/^default_interfaces=\$${available_interfaces}$$/default_interfaces=\$${non_prolog_interfaces}/g" \ <$(distdir)/configure >$(distdir)/configure.new \ && touch $(distdir)/configure.new -r $(distdir)/configure \ && mv -f $(distdir)/configure.new $(distdir)/configure \ diff --git a/TODO b/TODO index 92da786..98df6e6 100644 --- a/TODO +++ b/TODO @@ -7,7 +7,6 @@ Enhancements for PPL 0.10.1 or later versions in a directory where another `make check' was performed (completely or not, with failure or not), the latter `make check' can succeed without testing anything. -- Do not enable the Prolog interfaces by default in the release tarballs. Enhancements for PPL 0.11 or later versions diff --git a/configure.ac b/configure.ac index 8583b40..f9103eb 100644 --- a/configure.ac +++ b/configure.ac @@ -800,14 +800,13 @@ esac build_ppl_lpsol=$enableval AM_CONDITIONAL(BUILD_PPL_LPSOL, test x"$build_ppl_lpsol" = xyes) -# This is the list of available interfaces: lowercase and blank-separated. -available_interfaces="cxx c ciao_prolog gnu_prolog sicstus_prolog swi_prolog xsb_prolog yap_prolog ocaml java" +# Define lists of available interfaces: lowercase and blank-separated. +non_prolog_interfaces="cxx c ocaml java" +prolog_interfaces="ciao_prolog gnu_prolog sicstus_prolog swi_prolog xsb_prolog yap_prolog" +available_interfaces="${nonprolog_interfaces} ${prolog_interfaces}" # This is the list of interfaces that are enabled by default. -#default_interfaces="cxx c swi_prolog" -#default_interfaces=${available_interfaces} -default_interfaces="cxx c ciao_prolog gnu_prolog sicstus_prolog swi_prolog xsb_prolog ocaml java" -#default_interfaces="cxx c ciao_prolog gnu_prolog sicstus_prolog swi_prolog xsb_prolog yap_prolog ocaml java" +default_interfaces=${available_interfaces} enableval=not_specified AC_MSG_CHECKING([which interfaces are enabled])

1 0

[GIT] ppl/ppl(master): Disable more tests that fail on the Alpha due to a GCC bug.
by Roberto Bagnara 25 Mar '09

25 Mar '09

Module: ppl/ppl Branch: master Commit: 9b4763ae59534ca77dcc7ff1067f9f78c9a20c5a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b4763ae5953… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 16:49:03 2009 +0000 Disable more tests that fail on the Alpha due to a GCC bug. --- tests/Box/congruences1.cc | 3 +++ tests/Box/max_min1.cc | 3 +++ 2 files changed, 6 insertions(+), 0 deletions(-) diff --git a/tests/Box/congruences1.cc b/tests/Box/congruences1.cc index ffb59be..39158d0 100644 --- a/tests/Box/congruences1.cc +++ b/tests/Box/congruences1.cc @@ -374,6 +374,9 @@ BEGIN_MAIN DO_TEST(test11); DO_TEST(test12); DO_TEST(test13); +#ifndef __alpha__ + // Exception handling is broken in GCC on the Alpha. DO_TEST(test14); +#endif DO_TEST(test15); END_MAIN diff --git a/tests/Box/max_min1.cc b/tests/Box/max_min1.cc index 0695927..72d6100 100644 --- a/tests/Box/max_min1.cc +++ b/tests/Box/max_min1.cc @@ -749,7 +749,10 @@ BEGIN_MAIN DO_TEST(test09); DO_TEST(test10); DO_TEST(test11); +#ifndef __alpha__ + // Exception handling is broken in GCC on the Alpha. DO_TEST(test12); +#endif DO_TEST(test13); DO_TEST(test14); DO_TEST(test15);

1 0

[GIT] ppl/ppl(master): Implemented Octagonal_Shape:: simplify_using_context_assign().
by Enea Zaffanella 25 Mar '09

25 Mar '09

Module: ppl/ppl Branch: master Commit: 0a1cc339eb310c007c95c8bbcee49a0d5f485cc4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a1cc339eb31… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 25 16:52:54 2009 +0100 Implemented Octagonal_Shape::simplify_using_context_assign(). The efficiency of the method needs improving. Added a few tests. --- src/Octagonal_Shape.templates.hh | 247 +++++++++++++++++- tests/BD_Shape/simplifyusingcontext1.cc | 2 +- tests/Octagonal_Shape/Makefile.am | 3 + tests/Octagonal_Shape/simplifyusingcontext1.cc | 339 ++++++++++++++++++++++++ tests/Polyhedron/simplifyusingcontext1.cc | 2 +- 5 files changed, 588 insertions(+), 5 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=0a1cc339…

1 0

[GIT] ppl/ppl(master): TODO item
by Patricia Hill 25 Mar '09

25 Mar '09

Module: ppl/ppl Branch: master Commit: 9a73972ad2e6a50c0a305869b16521c5335cd94c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a73972ad2e6… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 25 14:09:14 2009 +0000 TODO item - Check the configuration dependent documentation for Prolog, done and removed. --- TODO | 1 - 1 files changed, 0 insertions(+), 1 deletions(-) diff --git a/TODO b/TODO index 3e5ca97..92da786 100644 --- a/TODO +++ b/TODO @@ -8,7 +8,6 @@ Enhancements for PPL 0.10.1 or later versions or not, with failure or not), the latter `make check' can succeed without testing anything. - Do not enable the Prolog interfaces by default in the release tarballs. -- Check the configuration dependent documentation for Prolog, Enhancements for PPL 0.11 or later versions

1 0

[GIT] ppl/ppl(master): Where the result type is unit, the type returned by C++ must
by Patricia Hill 25 Mar '09

25 Mar '09

Module: ppl/ppl Branch: master Commit: 8bd3d1d46d8b44f57d29b39912c3802968856596 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bd3d1d46d8b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 25 12:43:32 2009 +0000 Where the result type is unit, the type returned by C++ must be a CAMLprim value type and not a void. --- .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 132 ++++++++++---------- interfaces/OCaml/ppl_ocaml_common.cc | 44 ++++---- .../ppl_interface_generator_ocaml_test_ml_code.m4 | 128 ++++++++++---------- interfaces/OCaml/tests/test1.ml | 8 ++ 4 files changed, 160 insertions(+), 152 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8bd3d1d4…

1 0