summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2015-02-24 17:40:22 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2015-02-24 17:40:22 +0000
commit80d34abfd74a61612264da6382beb622b636e95f (patch)
tree77b6b764d79d21ff7bfa8ab4e7d9cc6815d6aca8
parentc9d572e8dee45badb2e117727200296a7e00edbe (diff)
downloadmpfr-80d34abfd74a61612264da6382beb622b636e95f.tar.gz
[src/sum.c] Update.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9310 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--src/sum.c8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/sum.c b/src/sum.c
index 640e59dc8..82a7537b8 100644
--- a/src/sum.c
+++ b/src/sum.c
@@ -81,7 +81,7 @@ VL: This is very different:
* block, and the value of ts is used only when the full assertions
* are checked (i.e. with the --enable-assert configure option), to
* check that a buffer overflow doesn't occur;
- * - one has: *errp <= *ep - prec if the accumulator is not 0.
+ * - one has: *errp <= *ep - prec if the accumulator is not 0;
* - contrary to the returned value of minexp (the value in the last
* iteration), the returned value of maxexp is the one for the next
* iteration (= maxexp2 of the last iteration).
@@ -794,9 +794,7 @@ sum_aux (mpfr_ptr sum, mpfr_ptr *const x, unsigned long n, mpfr_rnd_t rnd,
{
if (carry) /* two's complement significand increased */
inex = -1;
- MPFR_LOG_MSG (("Set exponent e=%" MPFR_EXP_FSPEC "d\n",
- (mpfr_eexp_t) e));
- MPFR_SET_EXP (sum, e);
+ MPFR_LOG_MSG (("No TMD, inex=%d\n", inex));
}
else /* Step 8 */
{
@@ -914,6 +912,8 @@ sum_aux (mpfr_ptr sum, mpfr_ptr *const x, unsigned long n, mpfr_rnd_t rnd,
(MPFR_IS_LIKE_RNDD (rnd, pos ? 1 : -1) && sst < 0))) ?
(pos ? -1 : 1) : 0;
+ MPFR_LOG_MSG (("[Step 8] inex=%d corr=%d\n", inex, corr));
+
if (corr > 0 &&
MPFR_UNLIKELY (mpn_add_1 (sump, sump, sn, MPFR_LIMB_ONE << sd)))
{