February 2009 - PPL-devel - BUGSENG Mailman

Re: [PPL-devel] Polyhedral operations testsuite for performance evaluation
by Sebastian Pop 06 Feb '09

06 Feb '09

On Wed, 2009-02-04 at 15:16 +0100, Sven De Smet wrote: > Hello Sebastian Pop, > > I'm looking for a testsuite of polyhedral operations which could be used > to evaluate the performance of these operations. Do you know where I > could find such a testsuite? > I don't know, but probably the developers from PPL know about one. Sebastian

2 1

[Fwd: Accepted ppl 0.10-2 (source i386 all)]
by Roberto Bagnara 05 Feb '09

05 Feb '09

-------- Original Message -------- Subject: Accepted ppl 0.10-2 (source i386 all) Date: Thu, 05 Feb 2009 00:17:09 +0000 From: Michael Tautschnig <mt(a)debian.org> To: debian-devel-changes(a)lists.debian.org -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 04 Feb 2009 20:42:26 +0100 Source: ppl Binary: libppl7 libppl0.10-dev libppl-c2 libpwl4 libpwl-dev libppl-doc Architecture: source i386 all Version: 0.10-2 Distribution: unstable Urgency: high Maintainer: Debian GCC Maintainers <debian-gcc(a)lists.debian.org> Changed-By: Michael Tautschnig <mt(a)debian.org> Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl0.10-dev - Parma Polyhedra Library (development) libppl7 - Parma Polyhedra Library (runtime library) libpwl-dev - Parma Watchdog Library (Watchdog timers - development) libpwl4 - Parma Watchdog Library (Watchdog timers - runtime library) Closes: 514158 Changes: ppl (0.10-2) unstable; urgency=high . * urgency=high because of RC bug fix. * Check snapshots and releases for newer versions. * Proper defines on bigendian systems. Closes: #514158. * Don't ignore errors while running make check (this would have made visible the above bug immediately). Checksums-Sha1: df014cfeddb86583914e2f76015e3523933ffc2d 1350 ppl_0.10-2.dsc 4be1c305047d62ea3ad5ceebe4e405a765e44e3d 14406 ppl_0.10-2.diff.gz 39757999d92ccae94d850407881216555092ced1 354174 libppl7_0.10-2_i386.deb b57b9aca4b1b71dd604382cf1ee3cf156abc69f5 2628128 libppl0.10-dev_0.10-2_i386.deb ffb76464a67f06412e9a11de9403de4b9b2ee6af 1207416 libppl-c2_0.10-2_i386.deb 35a59971d9a268d843f1d7034788a971db29c546 43272 libpwl4_0.10-2_i386.deb 438b8575917908b4e3924929a0e965aa5a368ac1 756182 libpwl-dev_0.10-2_i386.deb a9b48d0de928f41b0efa4f561bd73abbec8c2f76 4336326 libppl-doc_0.10-2_all.deb Checksums-Sha256: dbd3118eea7386bad502fdf02763392faf95edcc18cb8c30ef4cb8b736586814 1350 ppl_0.10-2.dsc d2740836319d6582f1f914e2b761e079a3c835886161b32c66a4df5fd026055e 14406 ppl_0.10-2.diff.gz 331cae4cfb0271800c71c26dca498a123f4fe52c313b535538c4baf0d998329b 354174 libppl7_0.10-2_i386.deb 95f851b76d92e8a7ea3146b12d725071cd83de012c562da63d4d4e64654f4225 2628128 libppl0.10-dev_0.10-2_i386.deb 3499047e06c4c813c2549bf7879befa68f546e1fefeeb9325d6eccf59300f6e5 1207416 libppl-c2_0.10-2_i386.deb 4dd5bbeb8620dccef5b2be3c1385b98346e4a6a2fb06ecfe6d6cb5300adb33de 43272 libpwl4_0.10-2_i386.deb b715ef7794e717717a025d2fd07bf97e8f00d0b4d7c89e25d5aae2a8eb372cf2 756182 libpwl-dev_0.10-2_i386.deb f55563bc8fc8bc4d218b76818cb318ca036cace9c9affddc13ce1b023628ad97 4336326 libppl-doc_0.10-2_all.deb Files: 3e21f2cf4e014cfdf09152c800a54042 1350 libs optional ppl_0.10-2.dsc 47bac48a976fb4b80bdeb89c2bee69e9 14406 libs optional ppl_0.10-2.diff.gz 89172a347934ebafefb327e8c0673b05 354174 libs optional libppl7_0.10-2_i386.deb 8677c24f8fdbbea39ee60b5ff52213a2 2628128 libdevel optional libppl0.10-dev_0.10-2_i386.deb 20dd9df302f12f843c2025c8fc337948 1207416 libs optional libppl-c2_0.10-2_i386.deb 533293403d6e4b2e4caa7d60b609ff0c 43272 libs optional libpwl4_0.10-2_i386.deb 7d7380728d1a568a3ba550f28c84b083 756182 libdevel optional libpwl-dev_0.10-2_i386.deb 72f0f264cf0f2ba7269b231e2fb9e658 4336326 doc optional libppl-doc_0.10-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkmKLHEACgkQvx6dH3bVKsQ8UwCdHQliUIAYRCId7blHOR9OMhbA +t4AnRbDiB11+o/KN1bd77XfFKx2sdHP =lzny -----END PGP SIGNATURE----- Accepted: libppl-c2_0.10-2_i386.deb to pool/main/p/ppl/libppl-c2_0.10-2_i386.deb libppl-doc_0.10-2_all.deb to pool/main/p/ppl/libppl-doc_0.10-2_all.deb libppl0.10-dev_0.10-2_i386.deb to pool/main/p/ppl/libppl0.10-dev_0.10-2_i386.deb libppl7_0.10-2_i386.deb to pool/main/p/ppl/libppl7_0.10-2_i386.deb libpwl-dev_0.10-2_i386.deb to pool/main/p/ppl/libpwl-dev_0.10-2_i386.deb libpwl4_0.10-2_i386.deb to pool/main/p/ppl/libpwl4_0.10-2_i386.deb ppl_0.10-2.diff.gz to pool/main/p/ppl/ppl_0.10-2.diff.gz ppl_0.10-2.dsc to pool/main/p/ppl/ppl_0.10-2.dsc -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[Fwd: Package: ppl-0.10-6.fc11 Tag: dist-f11 Status: complete Built by: bagnara]
by Roberto Bagnara 05 Feb '09

05 Feb '09

1 0

w3ppl/htdocs/Bugs Bugs.raw archive.raw patch_p ...
by Roberto Bagnara 04 Feb '09

04 Feb '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-02-04 08:49:30 Modified files: htdocs/Bugs : Bugs.raw archive.raw Added files: htdocs/Bugs : patch_ppl-0-10_ppl-20090204 Log message: Propose a better workaround for the bug affecting PPL 0.10 on big-endian architectures. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/patch_ppl-0-10_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif…

1 0

ppl/src Float.defs.hh
by Roberto Bagnara 04 Feb '09

04 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2009-02-04 08:48:00 Modified files: src : Float.defs.hh Log message: Work around the bug affecting the library on big-endian architectures. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.defs.hh.diff?cvsroo…

1 0

w3ppl/htdocs ppl.raw Download/Download.raw
by Roberto Bagnara 03 Feb '09

03 Feb '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-02-03 21:26:11 Modified files: htdocs : ppl.raw htdocs/Download: Download.raw Log message: Fixed the links to ViewVC. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

ppl/fedora ppl.spec
by Roberto Bagnara 03 Feb '09

03 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2009-02-03 20:34:04 Modified files: fedora : ppl.spec Log message: Work around the bug affecting PPL 0.10 on big-endian architectures. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/fedora/ppl.spec.diff?cvsroot=…

1 0

w3ppl/htdocs/Bugs Bugs.raw archive.raw
by Roberto Bagnara 03 Feb '09

03 Feb '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-02-03 13:33:48 Modified files: htdocs/Bugs : Bugs.raw archive.raw Log message: Use <STRONG> to strongly emphasize the fact that the workaround proposed for the "big-endian bug" should only be used on big-endian architectures. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif…

1 0

w3ppl/htdocs/Bugs archive.raw
by Roberto Bagnara 03 Feb '09

03 Feb '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-02-03 13:25:48 Modified files: htdocs/Bugs : archive.raw Log message: Added the bug affecting big-endian architectures. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif…

1 0

PPL 0.10 testsuite failures on powerpc-linux
by Janis Johnson 02 Feb '09

02 Feb '09

I'm trying to build the Parma Polyhedra Library on powerpc-linux so I can use it for Graphite support in GCC. I've tried a lot of things and my builds normally succeed but I get lots of testsuite failures: in Box, 60 tests with -DBOX_INSTANCES=db_r_oc in Octagonal_Shape, 58 tests with -DOCTAGONAL_SHAPE_INSTANCE=double in BD_Shape, 59 tests with -DBD_SHAPE_INSTANCE=double Most of the failures in the double tests are due to infinite values for the second argument to less-than functions, which end up at __gmp_binary_less::eval which calls __gmp_binary_less::eval which invokes DOUBLE_NAN_INF_ACTION which calls __gmp_invalid_operation for the infinity. It looks as if the infinity should be detected and handled earlier by functions in ppl-0.10/src/check-ext.inlines.hh. I'll attach a build script for one of the various builds I've done that get these errors. In this case I start with GCC 4.3.2, build GMP 4.2.4 as only static libraries, and then build PPL as only static libraries. I get the same testsuite failures when starting with GCC mainline and building GMP and PPL as shared libaries, but run into other problems with earlier versions of GCC or the default libgmp on my test system. Am I doing something obviously wrong? If not, can you offer any suggestions on how to find out what's going wrong, short of learning to understand the PPL and GMP sources? I tried using GMP 4.1.4, which doesn't use DOUBLE_NAN_INF_ACTION, but ran into various PPL configure problems. One is that some configure checks end up using /usr/include/gmpxx.h instead of the one specified for --with-libgmp, and another is that the options to link libgmpxx end up including libgcc_s.so and libm.so even though I'm trying to build and use only static libraries. If there are known issues with those configure issues I'd like to know about them as well. Janis Johnson IBM Linux Technology Center

2 4