added one test

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

1 files changed, 10 insertions, 0 deletions

diff --git a/tests/tmul_ui.c b/tests/tmul_ui.c
index e173f4e87..b17a8063a 100644
--- a/tests/tmul_ui.c
+++ b/tests/tmul_ui.c
@@ -1,6 +1,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include "gmp.h"
+#include "gmp-impl.h"
 #include "mpfr.h"
 #include "time.h"
 
@@ -10,6 +11,15 @@ main(int argc, char **argv)
   mpfr_t x;
   
   mpfr_init2(x, 53);
+
+  /* checks that result is normalized */
+  mpfr_set_d(x, 6.93147180559945286227e-01, GMP_RNDZ);
+  mpfr_mul_ui(x, x, 1, GMP_RNDZ);
+  if (MANT(x)[PREC(x)/BITS_PER_MP_LIMB] >> (BITS_PER_MP_LIMB-1) == 0) {
+    fprintf(stderr, "Error in mpfr_mul_ui: result not normalized\n");
+    exit(1);
+  }
+
   mpfr_set_d(x, 1.0/3.0, GMP_RNDZ); 
   mpfr_print_raw(x); putchar('\n');