August 2008 - PPL-devel - BUGSENG Mailman

[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

Bugs in gprolog.h (GNU Prolog 1.3.0)
by Roberto Bagnara 04 Sep '08

04 Sep '08

The bug in the header file gprolog.h already reported in 2002 (http://lists.gnu.org/archive/html/users-prolog/2002-09/msg00000.html) is still there. That is, the version installed by GNU Prolog 1.3.0 contains the following variable declarations at lines 1947, 1948 and 2096, respectively: int last_read_line; int last_read_col; ... unsigned *byte_code; Header files should never contain such things in order to avoid the obvious link-time errors. 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

2 1

ppl ./configure.ac interfaces/Prolog/ppl_prolo ...
by Roberto Bagnara 31 Aug '08

31 Aug '08

1 0

ppl/interfaces/Prolog/SWI Makefile.am ppl_prol ...
by Roberto Bagnara 31 Aug '08

31 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-31 21:14:01 Modified files: interfaces/Prolog/SWI: Makefile.am ppl_prolog_sysdep.hh swi_efli.hh Log message: Some cosmetic changes. Some FIXMEs added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_pro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_efl…

1 0

ppl configure.ac
by Roberto Bagnara 31 Aug '08

31 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-31 11:12:26 Modified files: . : configure.ac Log message: Added checks required to validate an horrible kludge working around an horrible bug in <gprolog.h> (see http://www.cs.unipr.it/pipermail/ppl-devel/2008-August/012277.html). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/Prolog/SWI swi_efli.hh
by Roberto Bagnara 30 Aug '08

30 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-30 17:42:04 Modified files: interfaces/Prolog/SWI: swi_efli.hh Log message: Exploit the inclusion of "ppl.hh" in order to have <stdint.h> and/or <inttypes.h> already included the proper way. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_efl…

1 0

ppl/interfaces/Prolog/SWI swi_cfli.hh
by Roberto Bagnara 30 Aug '08

30 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-30 17:40:35 Modified files: interfaces/Prolog/SWI: swi_cfli.hh Log message: Include <stdint.h> nor <inttypes.h>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_cfl…

1 0

ppl/src Float.defs.hh Float.inlines.hh checked ...
by Roberto Bagnara 30 Aug '08

30 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-30 17:38:22 Modified files: src : Float.defs.hh Float.inlines.hh checked_int.inlines.hh Log message: Do not include <stdint.h> and/or <inttypes.h>: these are included by "ppl-config.h". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.defs.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl/src ppl_header.hh
by Roberto Bagnara 30 Aug '08

30 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-30 17:37:08 Modified files: src : ppl_header.hh Log message: Make sure __STDC_LIMIT_MACROS is restored at the end of <ppl.hh>. Similarly, make sure NDEBUG is restored exactly to its original definition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.hh.diff?cvsroo…

1 0

ppl configure.ac
by Roberto Bagnara 30 Aug '08

30 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-30 17:34:51 Modified files: . : configure.ac Log message: Make sure __STDC_LIMIT_MACROS is defined before including <stdint.h>. For this and other reasons, <stdint.h> should be only included from "ppl-config.h". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0