February 2011 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(ppl-0_11-branch): Added other plain char specializations.
by Abramo Bagnara 03 Feb '11

03 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: cc7eea6e1ad36739d056fcafbe6630efd30a3dba URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc7eea6e1ad3… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 3 17:26:08 2011 +0100 Added other plain char specializations. --- src/checked.inlines.hh | 41 +++++++++++++++++++++++++++++++++++++++++ 1 files changed, 41 insertions(+), 0 deletions(-) diff --git a/src/checked.inlines.hh b/src/checked.inlines.hh index 004511a..6bdf2f1 100644 --- a/src/checked.inlines.hh +++ b/src/checked.inlines.hh @@ -52,24 +52,42 @@ struct Safe_Conversion<T, T> : public True { #define PPL_SAFE_CONVERSION(To, From) \ template <> struct Safe_Conversion<To, From> : public True { } +#if PPL_CXX_PLAIN_CHAR_IS_SIGNED +PPL_SAFE_CONVERSION(signed short, char); +#endif PPL_SAFE_CONVERSION(signed short, signed char); #if PPL_SIZEOF_CHAR < PPL_SIZEOF_SHORT +#if !PPL_CXX_PLAIN_CHAR_IS_SIGNED +PPL_SAFE_CONVERSION(signed short, char); +#endif PPL_SAFE_CONVERSION(signed short, unsigned char); #endif +#if PPL_CXX_PLAIN_CHAR_IS_SIGNED +PPL_SAFE_CONVERSION(signed int, char); +#endif PPL_SAFE_CONVERSION(signed int, signed char); PPL_SAFE_CONVERSION(signed int, signed short); #if PPL_SIZEOF_CHAR < PPL_SIZEOF_INT +#if !PPL_CXX_PLAIN_CHAR_IS_SIGNED +PPL_SAFE_CONVERSION(signed int, char); +#endif PPL_SAFE_CONVERSION(signed int, unsigned char); #endif #if PPL_SIZEOF_SHORT < PPL_SIZEOF_INT PPL_SAFE_CONVERSION(signed int, unsigned short); #endif +#if PPL_CXX_PLAIN_CHAR_IS_SIGNED +PPL_SAFE_CONVERSION(signed long, char); +#endif PPL_SAFE_CONVERSION(signed long, signed char); PPL_SAFE_CONVERSION(signed long, signed short); PPL_SAFE_CONVERSION(signed long, signed int); #if PPL_SIZEOF_CHAR < PPL_SIZEOF_LONG +#if !PPL_CXX_PLAIN_CHAR_IS_SIGNED +PPL_SAFE_CONVERSION(signed long, char); +#endif PPL_SAFE_CONVERSION(signed long, unsigned char); #endif #if PPL_SIZEOF_SHORT < PPL_SIZEOF_LONG @@ -79,11 +97,17 @@ PPL_SAFE_CONVERSION(signed long, unsigned short); PPL_SAFE_CONVERSION(signed long, unsigned int); #endif +#if PPL_CXX_PLAIN_CHAR_IS_SIGNED +PPL_SAFE_CONVERSION(signed long long, char); +#endif PPL_SAFE_CONVERSION(signed long long, signed char); PPL_SAFE_CONVERSION(signed long long, signed short); PPL_SAFE_CONVERSION(signed long long, signed int); PPL_SAFE_CONVERSION(signed long long, signed long); #if PPL_SIZEOF_CHAR < PPL_SIZEOF_LONG_LONG +#if !PPL_CXX_PLAIN_CHAR_IS_SIGNED +PPL_SAFE_CONVERSION(signed long long, char); +#endif PPL_SAFE_CONVERSION(signed long long, unsigned char); #endif #if PPL_SIZEOF_SHORT < PPL_SIZEOF_LONG_LONG @@ -96,15 +120,27 @@ PPL_SAFE_CONVERSION(signed long long, unsigned int); PPL_SAFE_CONVERSION(signed long long, unsigned long); #endif +#if !PPL_CXX_PLAIN_CHAR_IS_SIGNED +PPL_SAFE_CONVERSION(unsigned short, char); +#endif PPL_SAFE_CONVERSION(unsigned short, unsigned char); +#if !PPL_CXX_PLAIN_CHAR_IS_SIGNED +PPL_SAFE_CONVERSION(unsigned int, char); +#endif PPL_SAFE_CONVERSION(unsigned int, unsigned char); PPL_SAFE_CONVERSION(unsigned int, unsigned short); +#if !PPL_CXX_PLAIN_CHAR_IS_SIGNED +PPL_SAFE_CONVERSION(unsigned long, char); +#endif PPL_SAFE_CONVERSION(unsigned long, unsigned char); PPL_SAFE_CONVERSION(unsigned long, unsigned short); PPL_SAFE_CONVERSION(unsigned long, unsigned int); +#if !PPL_CXX_PLAIN_CHAR_IS_SIGNED +PPL_SAFE_CONVERSION(unsigned long long, char); +#endif PPL_SAFE_CONVERSION(unsigned long long, unsigned char); PPL_SAFE_CONVERSION(unsigned long long, unsigned short); PPL_SAFE_CONVERSION(unsigned long long, unsigned int); @@ -112,6 +148,7 @@ PPL_SAFE_CONVERSION(unsigned long long, unsigned long); #if PPL_SIZEOF_CHAR <= PPL_SIZEOF_FLOAT - 2 +PPL_SAFE_CONVERSION(float, char); PPL_SAFE_CONVERSION(float, signed char); PPL_SAFE_CONVERSION(float, unsigned char); #endif @@ -133,6 +170,7 @@ PPL_SAFE_CONVERSION(float, unsigned long long); #endif #if PPL_SIZEOF_CHAR <= PPL_SIZEOF_DOUBLE - 4 +PPL_SAFE_CONVERSION(double, char); PPL_SAFE_CONVERSION(double, signed char); PPL_SAFE_CONVERSION(double, unsigned char); #endif @@ -155,6 +193,7 @@ PPL_SAFE_CONVERSION(double, unsigned long long); PPL_SAFE_CONVERSION(double, float); #if PPL_SIZEOF_CHAR <= PPL_SIZEOF_LONG_DOUBLE - 4 +PPL_SAFE_CONVERSION(long double, char); PPL_SAFE_CONVERSION(long double, signed char); PPL_SAFE_CONVERSION(long double, unsigned char); #endif @@ -177,6 +216,7 @@ PPL_SAFE_CONVERSION(long double, unsigned long long); PPL_SAFE_CONVERSION(long double, float); PPL_SAFE_CONVERSION(long double, double); +PPL_SAFE_CONVERSION(mpz_class, char); PPL_SAFE_CONVERSION(mpz_class, signed char); PPL_SAFE_CONVERSION(mpz_class, signed short); PPL_SAFE_CONVERSION(mpz_class, signed int); @@ -188,6 +228,7 @@ PPL_SAFE_CONVERSION(mpz_class, unsigned int); PPL_SAFE_CONVERSION(mpz_class, unsigned long); //PPL_SAFE_CONVERSION(mpz_class, unsigned long long); +PPL_SAFE_CONVERSION(mpq_class, char); PPL_SAFE_CONVERSION(mpq_class, signed char); PPL_SAFE_CONVERSION(mpq_class, signed short); PPL_SAFE_CONVERSION(mpq_class, signed int);

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Added missing specializations for plain char.
by Roberto Bagnara 03 Feb '11

03 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: f3b49975a7f68d7935965b6e0e35b1a57e790d5a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3b49975a7f6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 3 17:11:20 2011 +0100 Added missing specializations for plain char. --- src/Checked_Number.defs.hh | 6 ++++++ src/Checked_Number.inlines.hh | 1 + src/Interval.inlines.hh | 5 +++++ src/checked_float.inlines.hh | 3 +++ src/checked_mpq.inlines.hh | 2 ++ src/checked_mpz.inlines.hh | 2 ++ src/checked_numeric_limits.hh | 2 ++ src/meta_programming.hh | 1 + 8 files changed, 22 insertions(+), 0 deletions(-) diff --git a/src/Checked_Number.defs.hh b/src/Checked_Number.defs.hh index 13ea995..767ba41 100644 --- a/src/Checked_Number.defs.hh +++ b/src/Checked_Number.defs.hh @@ -176,6 +176,9 @@ public: template <typename From, typename From_Policy> Checked_Number(const Checked_Number<From, From_Policy>& y, Rounding_Dir dir); + //! Direct initialization from a plain char and rounding mode. + Checked_Number(char y, Rounding_Dir dir); + //! Direct initialization from a signed char and rounding mode. Checked_Number(signed char y, Rounding_Dir dir); @@ -238,6 +241,9 @@ public: template <typename From, typename From_Policy> explicit Checked_Number(const Checked_Number<From, From_Policy>& y); + //! Direct initialization from a plain char, default rounding mode. + Checked_Number(char y); + //! Direct initialization from a signed char, default rounding mode. Checked_Number(signed char y); diff --git a/src/Checked_Number.inlines.hh b/src/Checked_Number.inlines.hh index b9ee619..f27559b 100644 --- a/src/Checked_Number.inlines.hh +++ b/src/Checked_Number.inlines.hh @@ -134,6 +134,7 @@ Checked_Number<T, Policy>::Checked_Number(const type x) { \ #define PPL_COND_(if, ...) PPL_COND_##if(__VA_ARGS__) #define PPL_COND(if, ...) PPL_COND_(if, __VA_ARGS__) +DEF_CTOR(char) DEF_CTOR(signed char) DEF_CTOR(signed short) DEF_CTOR(signed int) diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh index f91aefe..a6936a1 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -1139,6 +1139,11 @@ struct Select_Temp_Boundary_Type<float> { }; template <> +struct Select_Temp_Boundary_Type<char> { + typedef signed long long type; +}; + +template <> struct Select_Temp_Boundary_Type<signed char> { typedef signed long long type; }; diff --git a/src/checked_float.inlines.hh b/src/checked_float.inlines.hh index f6077c1..24a795e 100644 --- a/src/checked_float.inlines.hh +++ b/src/checked_float.inlines.hh @@ -1030,6 +1030,7 @@ PPL_SPECIALIZE_IS_NAN(is_nan_float, float) PPL_SPECIALIZE_IS_MINF(is_minf_float, float) PPL_SPECIALIZE_IS_PINF(is_pinf_float, float) PPL_SPECIALIZE_ASSIGN_SPECIAL(assign_special_float, float) +PPL_SPECIALIZE_ASSIGN(assign_float_int, float, char) PPL_SPECIALIZE_ASSIGN(assign_float_int, float, signed char) PPL_SPECIALIZE_ASSIGN(assign_float_int, float, signed short) PPL_SPECIALIZE_ASSIGN(assign_float_int, float, signed int) @@ -1078,6 +1079,7 @@ PPL_SPECIALIZE_IS_NAN(is_nan_float, double) PPL_SPECIALIZE_IS_MINF(is_minf_float, double) PPL_SPECIALIZE_IS_PINF(is_pinf_float, double) PPL_SPECIALIZE_ASSIGN_SPECIAL(assign_special_float, double) +PPL_SPECIALIZE_ASSIGN(assign_float_int, double, char) PPL_SPECIALIZE_ASSIGN(assign_float_int, double, signed char) PPL_SPECIALIZE_ASSIGN(assign_float_int, double, signed short) PPL_SPECIALIZE_ASSIGN(assign_float_int, double, signed int) @@ -1126,6 +1128,7 @@ PPL_SPECIALIZE_IS_NAN(is_nan_float, long double) PPL_SPECIALIZE_IS_MINF(is_minf_float, long double) PPL_SPECIALIZE_IS_PINF(is_pinf_float, long double) PPL_SPECIALIZE_ASSIGN_SPECIAL(assign_special_float, long double) +PPL_SPECIALIZE_ASSIGN(assign_float_int, long double, char) PPL_SPECIALIZE_ASSIGN(assign_float_int, long double, signed char) PPL_SPECIALIZE_ASSIGN(assign_float_int, long double, signed short) PPL_SPECIALIZE_ASSIGN(assign_float_int, long double, signed int) diff --git a/src/checked_mpq.inlines.hh b/src/checked_mpq.inlines.hh index 22458b0..acf5962 100644 --- a/src/checked_mpq.inlines.hh +++ b/src/checked_mpq.inlines.hh @@ -141,6 +141,7 @@ construct_mpq_base(mpq_class& to, const From& from, Rounding_Dir) { } PPL_SPECIALIZE_CONSTRUCT(construct_mpq_base, mpq_class, mpz_class) +PPL_SPECIALIZE_CONSTRUCT(construct_mpq_base, mpq_class, char) PPL_SPECIALIZE_CONSTRUCT(construct_mpq_base, mpq_class, signed char) PPL_SPECIALIZE_CONSTRUCT(construct_mpq_base, mpq_class, signed short) PPL_SPECIALIZE_CONSTRUCT(construct_mpq_base, mpq_class, signed int) @@ -168,6 +169,7 @@ PPL_SPECIALIZE_CONSTRUCT(construct_mpq_float, mpq_class, double) PPL_SPECIALIZE_ASSIGN(assign_exact, mpq_class, mpq_class) PPL_SPECIALIZE_ASSIGN(assign_exact, mpq_class, mpz_class) +PPL_SPECIALIZE_ASSIGN(assign_exact, mpq_class, char) PPL_SPECIALIZE_ASSIGN(assign_exact, mpq_class, signed char) PPL_SPECIALIZE_ASSIGN(assign_exact, mpq_class, signed short) PPL_SPECIALIZE_ASSIGN(assign_exact, mpq_class, signed int) diff --git a/src/checked_mpz.inlines.hh b/src/checked_mpz.inlines.hh index 5dfeb8d..63a935f 100644 --- a/src/checked_mpz.inlines.hh +++ b/src/checked_mpz.inlines.hh @@ -179,6 +179,7 @@ construct_mpz_base(mpz_class& to, const From from, Rounding_Dir) { return V_EQ; } +PPL_SPECIALIZE_CONSTRUCT(construct_mpz_base, mpz_class, char) PPL_SPECIALIZE_CONSTRUCT(construct_mpz_base, mpz_class, signed char) PPL_SPECIALIZE_CONSTRUCT(construct_mpz_base, mpz_class, signed short) PPL_SPECIALIZE_CONSTRUCT(construct_mpz_base, mpz_class, signed int) @@ -215,6 +216,7 @@ PPL_SPECIALIZE_CONSTRUCT(construct_mpz_float, mpz_class, float) PPL_SPECIALIZE_CONSTRUCT(construct_mpz_float, mpz_class, double) PPL_SPECIALIZE_ASSIGN(assign_exact, mpz_class, mpz_class) +PPL_SPECIALIZE_ASSIGN(assign_exact, mpz_class, char) PPL_SPECIALIZE_ASSIGN(assign_exact, mpz_class, signed char) PPL_SPECIALIZE_ASSIGN(assign_exact, mpz_class, signed short) PPL_SPECIALIZE_ASSIGN(assign_exact, mpz_class, signed int) diff --git a/src/checked_numeric_limits.hh b/src/checked_numeric_limits.hh index 2d4ffe1..31413d4 100644 --- a/src/checked_numeric_limits.hh +++ b/src/checked_numeric_limits.hh @@ -71,6 +71,8 @@ template <typename Policy> \ } \ }; +PPL_SPECIALIZE_LIMITS_INT(char) + PPL_SPECIALIZE_LIMITS_INT(signed char) PPL_SPECIALIZE_LIMITS_INT(signed short) PPL_SPECIALIZE_LIMITS_INT(signed int) diff --git a/src/meta_programming.hh b/src/meta_programming.hh index d67f245..25f4648 100644 --- a/src/meta_programming.hh +++ b/src/meta_programming.hh @@ -310,6 +310,7 @@ template <typename T> struct Is_Native : public False { }; +template <> struct Is_Native<char> : public True { }; template <> struct Is_Native<signed char> : public True { }; template <> struct Is_Native<signed short> : public True { }; template <> struct Is_Native<signed int> : public True { };

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Version number bumped.
by Roberto Bagnara 03 Feb '11

03 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: e95046e63a0078b8cb39f6188af76bdc5812f402 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e95046e63a00… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 3 07:52:21 2011 +0100 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index cbc332a..cce80a9 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [0.11.1pre5], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11.1pre6], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Do not use the deprecated function mpz_div_2exp.
by Roberto Bagnara 03 Feb '11

03 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: d4220bc1c8e9cc00d2e3ef3e4e675a0dc7fff51a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4220bc1c8e9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 3 07:51:31 2011 +0100 Do not use the deprecated function mpz_div_2exp. Use mpz_tdiv_q_2exp instead. --- src/checked_float.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/checked_float.inlines.hh b/src/checked_float.inlines.hh index 8f1fa76..f6077c1 100644 --- a/src/checked_float.inlines.hh +++ b/src/checked_float.inlines.hh @@ -887,7 +887,7 @@ assign_float_mpq(T& to, const mpq_class& from, Rounding_Dir dir) mpz_clear(r); if (bits == needed_bits + 1) { inexact = (inexact || mpz_odd_p(mantissa)); - mpz_div_2exp(mantissa, mantissa, 1); + mpz_tdiv_q_2exp(mantissa, mantissa, 1); } else --exponent;

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Specialize C_Integer<T> for plain char.
by Roberto Bagnara 03 Feb '11

03 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 4771be9cdede70e06083ed22be72624063548c80 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4771be9cdede… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 3 07:48:15 2011 +0100 Specialize C_Integer<T> for plain char. --- src/C_Integer.hh | 21 +++++++++++++++++++++ 1 files changed, 21 insertions(+), 0 deletions(-) diff --git a/src/C_Integer.hh b/src/C_Integer.hh index 8557a6b..c08156a 100644 --- a/src/C_Integer.hh +++ b/src/C_Integer.hh @@ -62,6 +62,27 @@ template <typename T> struct C_Integer : public False { }; template <> +struct C_Integer<char> : public True { + enum anonymous_enum { +#if PPL_CXX_PLAIN_CHAR_IS_SIGNED + is_signed = true +#else + is_signed = false +#endif + }; + typedef void smaller_type; + typedef void smaller_signed_type; + typedef void smaller_unsigned_type; +#if PPL_CXX_PLAIN_CHAR_IS_SIGNED + typedef unsigned char other_type; +#else + typedef signed char other_type; +#endif + static const char min = CHAR_MIN; + static const char max = CHAR_MAX; +}; + +template <> struct C_Integer<signed char> : public True { enum anonymous_enum { is_signed = true }; typedef void smaller_type;

1 0

[GIT] ppl/ppl(master): Do not use the deprecated function mpz_div_2exp.
by Fabio Bossi 02 Feb '11

02 Feb '11

Module: ppl/ppl Branch: master Commit: f14d56cb93cb6fffb3d68511b59237668f8de92c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f14d56cb93cb… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Feb 2 16:48:49 2011 +0100 Do not use the deprecated function mpz_div_2exp. Use mpz_tdiv_q_2exp instead. --- src/checked_float.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/checked_float.inlines.hh b/src/checked_float.inlines.hh index 8f1fa76..f6077c1 100644 --- a/src/checked_float.inlines.hh +++ b/src/checked_float.inlines.hh @@ -887,7 +887,7 @@ assign_float_mpq(T& to, const mpq_class& from, Rounding_Dir dir) mpz_clear(r); if (bits == needed_bits + 1) { inexact = (inexact || mpz_odd_p(mantissa)); - mpz_div_2exp(mantissa, mantissa, 1); + mpz_tdiv_q_2exp(mantissa, mantissa, 1); } else --exponent;

1 0