PPL-devel

Download

ppl-devel@bugseng.com

May 2010

7 participants
32 discussions

[GIT] ppl/ppl(master): Optimized smod_2exp_signed_int.
by Abramo Bagnara 04 May '10

04 May '10

Module: ppl/ppl Branch: master Commit: 21d120a07448821720acd415213f9b08a9a14338 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21d120a07448… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue May 4 13:07:37 2010 +0200 Optimized smod_2exp_signed_int. --- src/checked_int.inlines.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/checked_int.inlines.hh b/src/checked_int.inlines.hh index 79985cd..6217dc7 100644 --- a/src/checked_int.inlines.hh +++ b/src/checked_int.inlines.hh @@ -1310,8 +1310,8 @@ smod_2exp_signed_int(Type& to, const Type x, unsigned int exp, if (exp >= sizeof(Type) * CHAR_BIT) to = x; else { - Type m = Type(1) << (exp - 1); - to = (x & (m - 1)) - (x & m); + Type m = -(Type(1) << (exp - 1)); + to = (x + m) ^ m; } return V_EQ; }

1 0

[GIT] ppl/ppl(master): Refuse to compile on (very obsolete) architectures that are not using two's complement.
by Abramo Bagnara 04 May '10

04 May '10

Module: ppl/ppl Branch: master Commit: b07586183751999b86e2db0bb31a43baa2ac8e4e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b07586183751… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Apr 17 12:00:38 2010 +0200 Refuse to compile on (very obsolete) architectures that are not using two's complement. --- src/checked_int.inlines.hh | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/src/checked_int.inlines.hh b/src/checked_int.inlines.hh index f55416c..79985cd 100644 --- a/src/checked_int.inlines.hh +++ b/src/checked_int.inlines.hh @@ -688,6 +688,10 @@ PPL_SPECIALIZE_ASSIGN(assign_int_mpq, unsigned int, mpq_class) PPL_SPECIALIZE_ASSIGN(assign_int_mpq, unsigned long, mpq_class) PPL_SPECIALIZE_ASSIGN(assign_int_mpq, unsigned long long, mpq_class) +#if ~0 != -1 +#error "Only two's complement is supported" +#endif + #if UCHAR_MAX == 0xff #define CHAR_BITS 8 #else

1 0