new coverage tests

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@2714 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 21 insertions, 0 deletions

diff --git a/tests/tui_div.c b/tests/tui_div.c
index 2f0512218..56134776f 100644
--- a/tests/tui_div.c
+++ b/tests/tui_div.c
@@ -134,6 +134,27 @@ check_nan (void)
   MPFR_ASSERTN (mpfr_ui_div (q, 0L, d, GMP_RNDZ) == 0); /* exact */
   MPFR_ASSERTN (mpfr_nan_p (q));
 
+  /* 1/+0 = +inf */
+  mpfr_set_ui (d, 0L, GMP_RNDN);
+  MPFR_ASSERTN (mpfr_ui_div (q, 1L, d, GMP_RNDZ) == 0); /* exact */
+  MPFR_ASSERTN (mpfr_inf_p (q) && mpfr_sgn (q) > 0);
+
+  /* 1/-0 = -inf */
+  mpfr_set_ui (d, 0L, GMP_RNDN);
+  mpfr_neg (d, d, GMP_RNDN);
+  MPFR_ASSERTN (mpfr_ui_div (q, 1L, d, GMP_RNDZ) == 0); /* exact */
+  MPFR_ASSERTN (mpfr_inf_p (q) && mpfr_sgn (q) < 0);
+
+  /* 0/1 = +0 */
+  mpfr_set_ui (d, 1L, GMP_RNDN);
+  MPFR_ASSERTN (mpfr_ui_div (q, 0L, d, GMP_RNDZ) == 0); /* exact */
+  MPFR_ASSERTN (mpfr_cmp_ui (q, 0) == 0 && MPFR_IS_POS (q));
+
+  /* 0/-1 = -0 */
+  mpfr_set_si (d, -1, GMP_RNDN);
+  MPFR_ASSERTN (mpfr_ui_div (q, 0L, d, GMP_RNDZ) == 0); /* exact */
+  MPFR_ASSERTN (mpfr_cmp_ui (q, 0) == 0 && MPFR_IS_NEG (q));
+
   mpfr_clear (d);
   mpfr_clear (q);
 }