[src/add_ui.c] make code work for limb < long

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

1 files changed, 8 insertions, 1 deletions

diff --git a/src/add_ui.c b/src/add_ui.c
index d1ab381db..0d743654c 100644
--- a/src/add_ui.c
+++ b/src/add_ui.c
@@ -62,18 +62,25 @@ mpfr_add_ui (mpfr_ptr y, mpfr_srcptr x, unsigned long int u, mpfr_rnd_t rnd_mode
     int inex;
     MPFR_SAVE_EXPO_DECL (expo);
 
+#ifdef MPFR_LONG_WITHIN_LIMB
     MPFR_TMP_INIT1 (up, uu, GMP_NUMB_BITS);
-    MPFR_STAT_STATIC_ASSERT (MPFR_LIMB_MAX >= ULONG_MAX);
     /* So, u fits in a mp_limb_t, which justifies the casts below. */
     MPFR_ASSERTD (u != 0);
     count_leading_zeros (cnt, (mp_limb_t) u);
     up[0] = (mp_limb_t) u << cnt;
+#else
+    mpfr_init2 (uu, sizeof (unsigned long) * CHAR_BIT);
+    mpfr_set_ui (uu, u, MPFR_RNDZ);
+#endif
 
     /* Optimization note: Exponent save/restore operations may be
        removed if mpfr_add works even when uu is out-of-range. */
     MPFR_SAVE_EXPO_MARK (expo);
     MPFR_SET_EXP (uu, GMP_NUMB_BITS - cnt);
     inex = mpfr_add (y, x, uu, rnd_mode);
+#ifndef MPFR_LONG_WITHIN_LIMB
+    mpfr_clear (uu);
+#endif
     MPFR_SAVE_EXPO_UPDATE_FLAGS (expo, __gmpfr_flags);
     MPFR_SAVE_EXPO_FREE (expo);
     return mpfr_check_range (y, inex, rnd_mode);