August 2008 - PPL-devel - BUGSENG Mailman

ppl/tests/BD_Shape Makefile.am constrains1.cc
by Enea Zaffanella 14 Aug '08

14 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-14 14:42:56 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : constrains1.cc Log message: Added test for new method constrains(). Corrected a bug in the tests whereby the test congruences1 was using the sources for constraints1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/constrains1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh B ...
by Enea Zaffanella 14 Aug '08

14 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-14 14:41:01 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh BD_Shape.templates.hh Log message: Drafted implementation of method bool constrains() const; Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/interfaces/OCaml/tests Makefile.am
by Roberto Bagnara 14 Aug '08

14 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-14 00:35:08 Modified files: interfaces/OCaml/tests: Makefile.am Log message: Use the -o option of `ocamlc'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefi…

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 13 Aug '08

13 Aug '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-08-13 13:42:55 Modified files: htdocs/Applications: Applications.raw Log message: <P> tag added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 13 Aug '08

13 Aug '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-08-13 13:41:53 Modified files: htdocs/Applications: Applications.raw Log message: Added a link to Graphite. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Patricia Hill 13 Aug '08

13 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-13 13:11:57 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 Log message: Fixed a bug(s) that was preventing the generation of code for get_[minimized_]_[constraints,generators,congruences] methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces/OCaml/tests Makefile.am
by Roberto Bagnara 13 Aug '08

13 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-13 12:42:27 Modified files: interfaces/OCaml/tests: Makefile.am Log message: Define test1_SOURCES. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefi…

1 0

ppl/interfaces/OCaml Makefile.am
by Roberto Bagnara 13 Aug '08

13 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-13 12:30:02 Modified files: interfaces/OCaml: Makefile.am Log message: Use the -o option of `ocamlc'. Note: it should be specified before the source file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.…

1 0

[Fwd: Re: patch for merging graphite branch (before tuplification)]
by Roberto Bagnara 13 Aug '08

13 Aug '08

-------- Original Message -------- Subject: Re: patch for merging graphite branch (before tuplification) Date: Tue, 12 Aug 2008 23:51:01 -0400 From: Jack Howarth <howarth(a)bromo.msbb.uc.edu> To: Albert Cohen <Albert.Cohen(a)inria.fr> CC: Mark Mitchell <mark(a)codesourcery.com>, Paolo Bonzini <bonzini(a)gnu.org>, Roberto Bagnara <bagnara(a)cs.unipr.it>, "Joseph S. Myers" <joseph(a)codesourcery.com>, Richard Guenther <richard.guenther(a)gmail.com>, Sebastian Pop <sebpop(a)gmail.com>, GCC Patches <gcc-patches(a)gcc.gnu.org>, 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> References: <Pine.LNX.4.64.0808031809020.15922(a)digraph.polyomino.org.uk> <84fc9c000808031220t14f60e5bie1760eaaa413aeb5(a)mail.gmail.com> <Pine.LNX.4.64.0808031925260.15922(a)digraph.polyomino.org.uk> <84fc9c000808031320m153160b0l60db9d80b1f58742(a)mail.gmail.com> <Pine.LNX.4.64.0808032051010.15922(a)digraph.polyomino.org.uk> <489C60E3.6010105(a)cs.unipr.it> <489C67D0.8080004(a)codesourcery.com> <489C6BD7.3010405(a)gnu.org> <489C6CD1.3000109(a)codesourcery.com> <48A01732.4080702(a)inria.fr> The current gcc trunk with the proposed graphite patch supplemented with all the subsequent patches to the graphite branch now builds usable binaries for almost all of the fortran polyhedron benchmarks using the -funroll-loops -O3 -floop-block -floop-interchange -fgraphite flags. We have one remaining compile failure with these flags in channel.f90. The compile line... gfortran -funroll-loops -O3 -floop-strip-mine -fgraphite channel.f90 -o channel ...or... gfortran -funroll-loops -O3 -floop-block -fgraphite channel.f90 -o channel produces the compile error... channel.f90: In function ‘sw’: channel.f90:6: internal compiler error: vector VEC(loop_p,base) index domain error, in strip_mine_profitable_p at graphite.c:4321 Please submit a full bug report, with preprocessed source if appropriate. See <http://gcc.gnu.org/bugs.html> for instructions. ...while the compile line... gfortran -funroll-loops -O3 -floop-interchange -fgraphite channel.f90 -o channel ...produces the compile error of... channel.f90: In function ‘sw’: channel.f90:6: internal compiler error: in graphite_trans_bb_move_loop, at graphite.c:4017 Please submit a full bug report, with preprocessed source if appropriate. See <http://gcc.gnu.org/bugs.html> for instructions. Jack -- 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

Re: [PPL-devel] PPL Installation
by Roberto Bagnara 13 Aug '08

13 Aug '08

"Roberto Garrido" <garrido.roberto(a)gmail.com> wrote: > I have some questions about PPL: > > 1- How to install PPL in Cygwin? > 2- Is there a PPL version for windows? > > Thanks Dear Roberto, the installation of PPL under Cygwin should be possible by a simple "configure ; make ; make install". The only thing is that you must have GCC version 4.0.3 or later installed. As far as I know, Cygwin is currently the only way to have the Parma Polyhedra Library running under Windows. All the best, Roberto P.S. Notice that the right list for questions and comments is ppl-devel(a)cs.unipr.it (not ppl-announce(a)cs.unipr.it, which is a read-only list devoted to important announcements concerning the PPL). -- 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