diff options
| author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-06-02 15:50:24 +0000 |
|---|---|---|
| committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-06-02 15:50:24 +0000 |
| commit | 6d46be511263b7bccc8dd52949db080ef5da310b (patch) | |
| tree | ae485ff0b5eb3200af2e5d68155f7ad293435e15 | |
| parent | fe988ba510e68c49b23b4212e4d7e8f387d8fc4c (diff) | |
| download | mpfr-6d46be511263b7bccc8dd52949db080ef5da310b.tar.gz | |
RNDF: fixed texp
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/faithful@10404 280ebfd0-de03-0410-8827-d642c229c3f4
| -rw-r--r-- | tests/texp.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/tests/texp.c b/tests/texp.c index 97399eb9c..7f8f596c5 100644 --- a/tests/texp.c +++ b/tests/texp.c @@ -725,7 +725,8 @@ underflow_up (int extended_emin) mpfr_clear_flags (); inex = e3 ? exp_3 (y, x, (mpfr_rnd_t) rnd) : mpfr_exp (y, x, (mpfr_rnd_t) rnd); - if (__gmpfr_flags != MPFR_FLAGS_INEXACT) + /* for MPFR_RNDF, the inexact flag is undefined */ + if (__gmpfr_flags != MPFR_FLAGS_INEXACT && rnd != MPFR_RNDF) { printf ("Incorrect flags in underflow_up, eps > 0, %s", mpfr_print_rnd_mode ((mpfr_rnd_t) rnd)); @@ -733,6 +734,8 @@ underflow_up (int extended_emin) printf (" and extended emin"); printf ("\nfor precx = %d, precy = %d, %s\n", precx, precy, e3 ? "mpfr_exp_3" : "mpfr_exp"); + mpfr_printf ("x = %Re\n", x); + mpfr_printf ("y = %Re\n", y); printf ("Got %u instead of %u.\n", (unsigned int) __gmpfr_flags, (unsigned int) MPFR_FLAGS_INEXACT); @@ -749,7 +752,9 @@ underflow_up (int extended_emin) mpfr_dump (y); err = 1; } - MPFR_ASSERTN (inex != 0); + /* for MPFR_RNDF, the ternary value is undefined */ + if (rnd != MPFR_RNDF) + MPFR_ASSERTN (inex != 0); if (rnd == MPFR_RNDD || rnd == MPFR_RNDZ) MPFR_ASSERTN (inex < 0); if (rnd == MPFR_RNDU) |