November 2005 - PPL-devel - BUGSENG Mailman

ppl/doc definitions.dox ppl.sty
by Roberto Bagnara 03 Nov '05

03 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-03 15:21:06 Modified files: doc : definitions.dox ppl.sty Log message: Added a draft new section on "Integers Represented by Floating Point Numbers". This contains results that are needed to prove the correctness of our implementation of the GCD and LCM operations. (Joint work with Alessandro Zaccagnini and Abramo Bagnara.) Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&…

1 0

ppl/src checked_mpz.inlines.hh
by Roberto Bagnara 03 Nov '05

03 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-03 14:35:39 Modified files: src : checked_mpz.inlines.hh Log message: Be more robust in the definition of mp_size_field_t. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl configure.ac
by Roberto Bagnara 03 Nov '05

03 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-03 14:23:33 Modified files: . : configure.ac Log message: Added a safeguard against possible changes in the implementation of GMP. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

Why is _mp_size not of type mp_size_t?
by Roberto Bagnara 03 Nov '05

03 Nov '05

Hi there, we have been bitten by a problem that can be explained as follows: on machines that are not Crays, `mp_size_t' is of type `long int': #if defined (_CRAY) && ! defined (_CRAYMPP) /* plain `int' is much faster (48 bits) */ #define __GMP_MP_SIZE_T_INT 1 typedef int mp_size_t; typedef int mp_exp_t; #else #define __GMP_MP_SIZE_T_INT 0 typedef long int mp_size_t; typedef long int mp_exp_t; #endif However, the `_mp_size' field of `_mpz_struct' is of type `int': typedef struct { int _mp_alloc; /* Number of *limbs* allocated and pointed to by the _mp_d field. */ int _mp_size; /* abs(_mp_size) is the number of limbs the last field points to. If _mp_size is negative this is a negative number. */ mp_limb_t *_mp_d; /* Pointer to the limbs. */ } __mpz_struct; #endif /* __GNU_MP__ */ For some reason (assonance, quite likely), we were assuming that `_mp_size' was of type `mp_size_t' but this wrong assumption fails whenever `int' and `long int' are different types (which happens, e.g., on x86_64-unknown-linux-gnu). Notice that I am not posting this to gmp-bugs because it is not, I believe, a bug of GMP: we are fiddling with the internal details of GMP and this is something that goes beyond the API. Nonetheless, I wonder why many GMP functions accepts parameters of type `long int' (on non-Crays) when they can never handle anything that does not fit `int'. Is this apparent discrepancy intended? (I know that a size of 2^31-1 fits all present and future purposes, but this does not explain why mp_size_t can go beyond that limit.) 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 2

ppl/src checked_mpz.inlines.hh
by Abramo Bagnara 03 Nov '05

03 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-11-03 10:58:42 Modified files: src : checked_mpz.inlines.hh Log message: mp_size_t is not the size of size field. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/src checked_float.inlines.hh
by Abramo Bagnara 03 Nov '05

03 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-11-03 08:06:40 Modified files: src : checked_float.inlines.hh Log message: Avoid useless #if Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src checked_numeric_limits.hh
by Roberto Bagnara 02 Nov '05

02 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-02 22:33:59 Modified files: src : checked_numeric_limits.hh Log message: Added missing access control specification. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_numeric_limits.hh…

1 0

ppl/src Float.defs.hh Polyhedron_nonpublic.cc
by Roberto Bagnara 02 Nov '05

02 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-02 22:30:11 Modified files: src : Float.defs.hh Polyhedron_nonpublic.cc Log message: Spurious semicolons removed. 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/Polyhedron_nonpublic.cc.d…

1 0

ppl TODO
by Matthew Mundell 02 Nov '05

02 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-02 21:07:25 Modified files: . : TODO Log message: Complete operation is_bounded. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_wi…

1 0

ppl/tests/Grid Makefile.am bounded1.cc
by Matthew Mundell 02 Nov '05

02 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-02 21:06:37 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : bounded1.cc Log message: Add bounded1, which tests Grid::is_bounded. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bounded1.cc?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0