September 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Java/tests ppl_interface_genera ...
by Patricia Hill 25 Sep '08

25 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-25 10:59:27 Modified files: interfaces/Java/tests: ppl_interface_generator_java_test_java.m4 ppl_interface_generator_java_test_java_code.m4 ppl_java_tests_common Log message: Test generation improved, simplified and comments added. Code for generating tests improved and each test is independent from the others. For the generated code, all but one method is now tested. Note that much of the fixed code such as for the MIP domain is not yet tested. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_jav…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 25 Sep '08

25 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-25 10:12:03 Modified files: doc : Makefile.am Log message: The ocamldoc tool should be only invoked when building the configuration-dependent documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

Tutorial on OCaml filenames
by Roberto Bagnara 25 Sep '08

25 Sep '08

Those who are working on the OCaml interface should probably have a look at http://ocaml-tutorial.org/filenames Click also on the link given in the note at the beginning. Cheers, Roberto -- 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

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 25 Sep '08

25 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-25 00:37:25 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 interfaces/Prolog: ppl_interface_generator_prolog_procedure_generators.m4 Log message: Restore the "and_minimize" predicates disabled in the previous commit for the Prolog interfaces as otherwise the tests in pl_check.pl. clpq.pl and clpq2.pl will not compile. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 25 Sep '08

25 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-25 00:08:20 Modified files: interfaces : ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_generators.m4 interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 Log message: Disable all the "and_minimize" methods in all the interfaces. Ensure that linear_partition method is only used if the Pointset_Powerset<NNC_Polyhedron> is one of the instantiations. Add the OCaml code for "approximate_partition" in the Grid domain. Note that tests for both linear_partition and approximate_partition still to be added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 24 Sep '08

24 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-24 22:25:31 Modified files: doc : Makefile.am Log message: Expanded and reorganized the set of documentation targets. We now support targets whose name specifies for whom to produce (user/devref) and the desired format (html, pdf, ps). For instance, we have targets such as `user-html', `user-pdf', `devref-ps', etc. Targets `user' and `devref' produce all three formats. Adding the word `configured' (e.g., user-configured-html or devref-configured) allows for building configuration dependent docs for the foreign language intefaces; targets user-all and devref-all produce both the configuration dependent and the configuration-independent manuals. Target `world' produces all kind of manuals (as before). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Andrea Cimino 24 Sep '08

24 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2008-09-24 21:26:06 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 Log message: Fixed the return value in ppl_@CLASS@_OK and ppl_@CLASS@_@EXTRAPOLATION@_extrapolation_assign. Added code for ppl_@CLASS@_@PARTITION@ but has still to be tested. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac…

1 0

Re: [PPL-devel] ppl ftbfs on arm
by Roberto Bagnara 24 Sep '08

24 Sep '08

A new PPL 0.10 snapshot that should fix this problem is available at ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ All the best, Roberto -- 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: Re: patch for merging graphite branch (before tuplification)]
by Roberto Bagnara 24 Sep '08

24 Sep '08

-------- Original Message -------- Subject: Re: patch for merging graphite branch (before tuplification) Date: Sat, 2 Aug 2008 19:26:18 -0500 From: Sebastian Pop <sebpop(a)gmail.com> To: Richard Guenther <richard.guenther(a)gmail.com> CC: GCC Patches <gcc-patches(a)gcc.gnu.org>, Mark Mitchell <mark(a)codesourcery.com>, Jakub Jelinek <jakub(a)redhat.com>, David Edelsohn <edelsohn(a)gmail.com>, Harle, Christophe <christophe.harle(a)amd.com>, Tobias Grosser <grosser(a)fim.uni-passau.de>, Konrad Trifunovic <konrad.trifunovic(a)gmail.com>, Albert Cohen <Albert.Cohen(a)inria.fr>, Roberto Bagnara <bagnara(a)cs.unipr.it> References: <cb9d34b20807251914jb7fb76q4452be18461d7464(a)mail.gmail.com> <84fc9c000807260228h12552595x17b2a7556d35913b(a)mail.gmail.com> Hi, The graphite branch has been tuplified and the port to PPL passes the graphite testsuite. For building the graphite branch right now, here are the steps you'll have to go through: You have to get a copy of the release 0.9 of PPL from: http://www.cs.unipr.it/ppl/Download/ cd ppl ./configure --prefix=/somewhere make make install Then you can get a copy of the port of Cloog to PPL as follows: cd cloog git-init git-pull http://repo.or.cz/w/cloog-ppl.git aclocal autoconf ./configure --with-ppl=/somewhere --prefix=/somewhere make make install Then grab a version of graphite branch and configure like this: cd gcc/build ../configure --with-cloog=/somewhere --with-ppl=/somewhere make For the moment I think that building the cloog and ppl libs in the gcc directory is broken. I have not been able to configure ppl within the build of gcc because ieeefp.h has not been found on my ubuntu system. I will try to see how that can be fixed, or better, not provide this functionality and expect all the time the cloog and ppl libs to be installed on the system. Note that ppl and polylib are two backends of cloog, and one has the choice of the polyhedral library to be used. For the moment the code generated by the ppl backend contains much more conditions that are redundant with respect to the enclosing loops because of the cloog_domain_simplify operation that is still very inefficient in the ppl backend. This should be improved either in newer versions of PPL. Sebastian Pop -- AMD - GNU Tools -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

8 61

[Fwd: [Bug 463742] Update version of ppl to 0.10pre27]
by Roberto Bagnara 24 Sep '08

24 Sep '08

-------- Original Message -------- Subject: [Bug 463742] Update version of ppl to 0.10pre27 Date: Wed, 24 Sep 2008 12:12:12 -0400 From: bugzilla(a)redhat.com To: bagnara(a)cs.unipr.it References: <bug-463742-26529(a)bugzilla.redhat.com> Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=463742 Dodji Seketeli <dodji(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Blocks| |463767 -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. You are the assignee for the bug. -- 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