summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2020-03-23 13:19:56 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2020-03-23 13:19:56 +0000
commitde89f191e6e8a49ffe8c5caf49f6b6ac16d249f7 (patch)
treeca05259e71cb609a848317bc16cf360728376fbd
parent268209f7a644c0b0a5efbdc30179cac555269db1 (diff)
downloadmpfr-de89f191e6e8a49ffe8c5caf49f6b6ac16d249f7.tar.gz
[tests/tsub.c] Added comments.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13797 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--tests/tsub.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/tsub.c b/tests/tsub.c
index 21c41807b..a9e55a403 100644
--- a/tests/tsub.c
+++ b/tests/tsub.c
@@ -1213,12 +1213,16 @@ static void test_ubf (void)
for (k = -kn; k <= kn; k++)
{
+ /* exponent: e[j] + k, with |k| <= kn */
mpz_set (MPFR_ZEXP (x[1]), MPFR_ZEXP (x[0]));
for (neg = 0; neg <= 1; neg++)
{
RND_LOOP (rnd)
{
+ /* Note: x[0] and x[1] are equal MPFR numbers, but do not
+ test mpfr_sub with arg2 == arg3 as pointers in order to
+ skip potentially optimized mpfr_sub code. */
inexact = mpfr_sub (z, p[0], p[1], (mpfr_rnd_t) rnd);
if (inexact != 0 || MPFR_NOTZERO (z) ||
(rnd != MPFR_RNDD ? MPFR_IS_NEG (z) : MPFR_IS_POS (z)))