[GIT] ppl/ppl(master): Rounding direction is not relevant here.
Module: ppl/ppl Branch: master Commit: 4335c8f28a366f43954ca56c08e890dfe68445fc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4335c8f28a366... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Sun May 17 16:42:56 2009 +0200 Rounding direction is not relevant here. --- src/wrap_assign.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/wrap_assign.hh b/src/wrap_assign.hh index 5b1498e..55f8ac4 100644 --- a/src/wrap_assign.hh +++ b/src/wrap_assign.hh @@ -313,13 +313,13 @@ wrap_assign(PSET& pointset, quadrants = last_quadrant - first_quadrant + 1; unsigned extension; - Result r = assign_r(extension, quadrants, ROUND_DIRECT); + Result r = assign_r(extension, quadrants, ROUND_IGNORE); if (result_overflow(r) || extension > complexity_threshold) goto set_full_range; if (!wrap_individually && !collective_wrap_too_complex) { r = mul_assign_r(collective_wrap_complexity, - collective_wrap_complexity, extension, ROUND_DIRECT); + collective_wrap_complexity, extension, ROUND_IGNORE); if (result_overflow(r) || collective_wrap_complexity > complexity_threshold) collective_wrap_too_complex = true;
participants (1)
-
Abramo Bagnara