January 2009 - PPL-devel - BUGSENG Mailman

ppl/tests/BD_Shape upperboundifexact1.cc
by Enea Zaffanella 19 Jan '09

19 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2009-01-19 14:40:05 Modified files: tests/BD_Shape : upperboundifexact1.cc Log message: Added another test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/upperboundifex…

1 0

w3ppl/htdocs/Documentation ppl.bib BagnaraHZ09 ...
by Roberto Bagnara 18 Jan '09

18 Jan '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-01-18 17:54:27 Modified files: htdocs/Documentation: ppl.bib Added files: htdocs/Documentation: BagnaraHZ09TCS.pdf Log message: Added BagnaraHZ09TCS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Bagnar… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

CVSROOT users
by Roberto Bagnara 18 Jan '09

18 Jan '09

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: bagnara(a)cs.unipr.it 2009-01-18 14:29:11 Modified files: . : users Log message: Added Barbara Quartieri. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/users.diff?cvsroot=ppl&r1…

1 0

ppl TODO
by Roberto Bagnara 18 Jan '09

18 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2009-01-18 14:18:59 Modified files: . : TODO Log message: Added one important item for next release. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.29…

1 0

ppl/tests/Octagonal_Shape upperboundifexact1.cc
by Enea Zaffanella 18 Jan '09

18 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2009-01-18 12:55:29 Modified files: tests/Octagonal_Shape: upperboundifexact1.cc Log message: Tests 1, 3, 4, 9 and 10 now succeeds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/upperbo…

1 0

ppl/src Octagonal_Shape.defs.hh Octagonal_Shap ...
by Enea Zaffanella 18 Jan '09

18 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2009-01-18 12:54:09 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Log message: Drafted an implementation of Octagonal_Shape::upper_bound_assign_if_exact() based on the corresponding theorem in BagnaraHZ09. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

Difficulty compiling PPL
by Kenneth MacKenzie 17 Jan '09

17 Jan '09

Hello there, I've been attempting to compile PPL from source and I've had a couple of minor difficulties. 1. The makefile was unable to find the "splfr" command (sorry, I've lost the precise error message). This appears to be part of SICStus Prolog. Fortunately, this is installed on our local system and I was able to get the compilation to proceed by including the location of splfr in my PATH variable. I see that PPL can be configured to select which language interfaces are enabled or disabled, and this can presumably be used to get round the above problem. However, the error message about splfr being missing is rather cryptic, and it might be helpful if the makefile (or configure) checked for the existence of the appropriate commands and issued a more understandable error message. Update: having investigated some more, I see that our local sicstus installation is in /opt, with the "sicstus" command linked from /usr/bin, but "splfr" not linked. Thus the configuration script thinks that sicstus is available and tries to build the interface, but the splfr command isn't in the default path and this causes compilation to fail. Our systems people may have installed sicstus in a non-standard place, which may explain the confusion. 2. At a later stage, I received the following error message: Making all in examples make[4]: Entering directory `/disk/scratch/b/ppl-0.10/demos/ppl_lpsol/examples' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/disk/scratch/b/ppl-0.10/demos/ppl_lpsol/examples' make[4]: Entering directory `/disk/scratch/b/ppl-0.10/demos/ppl_lpsol' gcc -DHAVE_CONFIG_H -I. -I../.. -I../../interfaces/C -pedantic -std=gnu89 -Werror -g -O2 -frounding-math -W -Wall -MT ppl_lpsol.o -MD -MP -MF .deps/ppl_lpsol.Tpo -c -o ppl_lpsol.o ppl_lpsol.c cc1: warnings being treated as errors ppl_lpsol.c: In function ‘main’: ppl_lpsol.c:1228: warning: passing argument 1 of ‘glp_term_hook’ from incompatible pointer type make[4]: *** [ppl_lpsol.o] Error 1 make[4]: Leaving directory `/disk/scratch/b/ppl-0.10/demos/ppl_lpsol' make[3]: *** [all-recursive] Error 1 make[3]: Leaving directory `/disk/scratch/b/ppl-0.10/demos/ppl_lpsol' make[2]: *** [all-recursive] Error 1 make[2]: Leaving directory `/disk/scratch/b/ppl-0.10/demos' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/disk/scratch/b/ppl-0.10' make: *** [all] Error 2 After some Googling, I was able to fix this (I hope) by changing line 1189 of pppl_lpsol.c from glpk_message_interceptor(void* info, char* msg) { to glpk_message_interceptor(void* info, const char* msg) { My gcc version is gcc version 4.1.2 20071124 (Red Hat 4.1.2-42) ---------------- After making the two changes above, compilation completed successfully and all of the "make check" tests succeeded. Best wishes, Kenneth MacKenzie -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

2 1

ppl/tests/Octagonal_Shape upperboundifexact1.cc
by Patricia Hill 16 Jan '09

16 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2009-01-16 12:04:06 Modified files: tests/Octagonal_Shape: upperboundifexact1.cc Log message: test10() revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/upperbo…

1 0

ppl/tests/Octagonal_Shape Makefile.am upperbou ...
by Patricia Hill 16 Jan '09

16 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2009-01-16 11:42:30 Modified files: tests/Octagonal_Shape: Makefile.am Added files: tests/Octagonal_Shape: upperboundifexact1.cc Log message: Added a test file for the upper_bound_if_exact() method - copied (with obvious edits) from the BD_Shape test directory. As the current implementation just returns false, tests that would be expected to succeed have the "_F" tag. An additional test10 is an example showing that more conditions are needed for octagonal shapes compared to the bd shapes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/upperbo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0

Re: [PPL-devel] Graphite/Cloog/PPL problems on Cygwin, HEAD broken maybe?
by Sebastian Pop 15 Jan '09

15 Jan '09

Hello Dave, Thanks for testing Graphite on i686-pc-cygwin. On Mon, Jan 12, 2009 at 9:52 AM, Dave Korn <dave.korn.cygwin(a)googlemail.com> wrote: > Hi everyone, > > HEAD isn't building for me right now. Since I haven't tried building > graphite-enabled GCC before, I may be doing something wrong, so I figured I'd > ask questions before opening any PR. (The actual questions are numbered for > those who want to skip the detail.) > > I followed the instructions at http://gcc.gnu.org/wiki/Graphite. I'm using > ppl-0.10 and a git clone of cloog from 2008-12-17. I configured PPL: > > with options \"'-v' '--disable-shared' '--enable-static' > '--prefix=/opt/gcc-tools' 'CC=gcc-4' 'CXX=g++-4' '--with-gnu-ld'\" > > and I configured CLOOG: > > with options \"'-v' '--disable-shared' '--enable-static' > '--with-ppl=/opt/gcc-tools' '--prefix=/opt/gcc-tools' 'CC=gcc-4' 'CXX=g++-4' > '--with-gnu-ld'\" > > and part of the problem, at least, arises because I'm using static rather than > shared libs; explained later. I'm building native GCC HEAD on i686-pc-cygwin. > > The three problems show up when linking cc1 at the end of each stage. > Firstly, there's a multiply-defined symbol: > > ---------------------------<snip>--------------------------- > ranlib libbackend.a > gcc-4 -g -fkeep-inline-functions -DIN_GCC -W -Wall -Wwrite-strings > -Wstrict-prototypes -Wmissing-prototypes -Wcast-qual -Wold-style-definition > -Wc++-compat -Wmissing-format-attribute -pedantic -Wno-long-long > -Wno-variadic-macros -Wno-overlength-strings -fno-common -DHAVE_CONFIG_H -o > cc1-dummy.exe c-lang.o stub-objc.o attribs.o c-errors.o c-lex.o c-pragma.o > c-decl.o c-typeck.o c-convert.o c-aux-info.o c-common.o c-opts.o c-format.o > c-semantics.o c-ppoutput.o c-cppbuiltin.o c-objc-common.o c-dump.o c-pch.o > c-parser.o i386-c.o cygwin2.o msformat-c.o c-gimplify.o tree-mudflap.o > c-pretty-print.o c-omp.o dummy-checksum.o \ > main.o tree-browser.o libbackend.a ../libcpp/libcpp.a > ../libdecnumber/libdecnumber.a ../libcpp/libcpp.a -lintl -liconv > ../libiberty/libiberty.a ../libdecnumber/libdecnumber.a -L/usr/lib -L/usr/lib > -lmpfr -lgmp -L/opt/gcc-tools/lib -lcloog -L/opt/gcc-tools/lib -lppl_c -lppl > -lgmpxx > /opt/gcc-tools/lib/libcloog.a(domain.o): In function `debug_value': > /gnu/gcc/prereq/cloog/source/ppl/domain.c:3579: multiple definition of > `_debug_value' > libbackend.a(graphite.o):/gnu/gcc/gcc/gcc/graphite.c:68: first defined here > ---------------------------<snip>--------------------------- > > Q1) Sure enough there are two identical copies of this (trivial) debugging > dump function. I commented out the copy in graphite.c and got past the > problem, but this makes me wonder if there's some version skew between cloog > and gcc? > > After that, there follows about 26000 lines of 'undefined reference to' > linker error messages. These fall into two groups, missing _gmpz_* functions > and missing libstdc++ functions. > > The missing gmpz functions are a consequence of static linking. The > definition of BACKENDLIBS appers to be in the wrong order: from gcc/Makefile.in, > > ---------------------------<snip>--------------------------- > BACKENDLIBS = $(GMPLIBS) $(CLOOGLIBS) $(PPLLIBS) > ---------------------------<snip>--------------------------- > > Q2) Since CLOOG and PPL call GMP functions, GMPLIBS should be at the end, > shouldn't it? > > This doesn't cause any problem on platforms where CLOOG and PPL are > dynamically linked, it just leaves some unresolved references to be filled in > at runtime by ld.so, but when statically linking it fails. > > The third part of this problem has me really scratching my head. There are > undefined references to operators new and delete, cxa_begin/end_catch, even > iostream stuff. > > Q3) Why is there C++ in my libppl? Have I done something wrong to get it > there in the first place, or is it supposed to work somehow? > > At the end of stage 1, I can work around the problem by manually running > the final link command, but using the (native compiler's) g++ driver instead > of the plain gcc driver, or by manually adding -lstdc++. But I can't do > anything like that to get past the link failure at the end of stage 2; we're > not using the native compiler any more but the stage 1 compiler and so we've > only got a crude xgcc that doesn't understand "-x c++", and of course target > libstdc++ hasn't been built yet. Something's really wrong here - I can't > understand why there's C++ involved or how it could work. Maybe the default > configure options of PPL have changed to include some C++ interface that > wasn't built by default at the time the wiki page was written? > > Anyway, TIA for any enlightenment anyone can provide. I could file PRs or > patches for the first two bugs if desired, I would highly appreciate this. > but the third part has me totally confused, I don't know what to do > with it. I'm forwarding this third question to the PPL folks, hoping that they already dealt with similar cases and probably already have a solution. Thanks, Sebastian Pop -- AMD - GNU Tools

5 7