xref: /dflybsd-src/contrib/gmp/mpf/set_str.c (revision 86d7f5d305c6adaa56ff4582ece9859d73106103)
186d7f5d3SJohn Marino /* mpf_set_str (dest, string, base) -- Convert the string STRING
286d7f5d3SJohn Marino    in base BASE to a float in dest.  If BASE is zero, the leading characters
386d7f5d3SJohn Marino    of STRING is used to figure out the base.
486d7f5d3SJohn Marino 
586d7f5d3SJohn Marino Copyright 1993, 1994, 1995, 1996, 1997, 2000, 2001, 2002, 2003, 2005, 2007,
686d7f5d3SJohn Marino 2008 Free Software Foundation, Inc.
786d7f5d3SJohn Marino 
886d7f5d3SJohn Marino This file is part of the GNU MP Library.
986d7f5d3SJohn Marino 
1086d7f5d3SJohn Marino The GNU MP Library is free software; you can redistribute it and/or modify
1186d7f5d3SJohn Marino it under the terms of the GNU Lesser General Public License as published by
1286d7f5d3SJohn Marino the Free Software Foundation; either version 3 of the License, or (at your
1386d7f5d3SJohn Marino option) any later version.
1486d7f5d3SJohn Marino 
1586d7f5d3SJohn Marino The GNU MP Library is distributed in the hope that it will be useful, but
1686d7f5d3SJohn Marino WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
1786d7f5d3SJohn Marino or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
1886d7f5d3SJohn Marino License for more details.
1986d7f5d3SJohn Marino 
2086d7f5d3SJohn Marino You should have received a copy of the GNU Lesser General Public License
2186d7f5d3SJohn Marino along with the GNU MP Library.  If not, see http://www.gnu.org/licenses/.  */
2286d7f5d3SJohn Marino 
2386d7f5d3SJohn Marino /*
2486d7f5d3SJohn Marino   This still needs work, as suggested by some FIXME comments.
2586d7f5d3SJohn Marino   1. Don't depend on superfluous mantissa digits.
2686d7f5d3SJohn Marino   2. Allocate temp space more cleverly.
2786d7f5d3SJohn Marino   3. Use mpn_tdiv_qr instead of mpn_lshift+mpn_divrem.
2886d7f5d3SJohn Marino */
2986d7f5d3SJohn Marino 
3086d7f5d3SJohn Marino #define _GNU_SOURCE    /* for DECIMAL_POINT in langinfo.h */
3186d7f5d3SJohn Marino 
3286d7f5d3SJohn Marino #include "config.h"
3386d7f5d3SJohn Marino 
3486d7f5d3SJohn Marino #include <stdlib.h>
3586d7f5d3SJohn Marino #include <string.h>
3686d7f5d3SJohn Marino #include <ctype.h>
3786d7f5d3SJohn Marino 
3886d7f5d3SJohn Marino #if HAVE_LANGINFO_H
3986d7f5d3SJohn Marino #include <langinfo.h>  /* for nl_langinfo */
4086d7f5d3SJohn Marino #endif
4186d7f5d3SJohn Marino 
4286d7f5d3SJohn Marino #if HAVE_LOCALE_H
4386d7f5d3SJohn Marino #include <locale.h>    /* for localeconv */
4486d7f5d3SJohn Marino #endif
4586d7f5d3SJohn Marino 
4686d7f5d3SJohn Marino #include "gmp.h"
4786d7f5d3SJohn Marino #include "gmp-impl.h"
4886d7f5d3SJohn Marino #include "longlong.h"
4986d7f5d3SJohn Marino 
5086d7f5d3SJohn Marino extern const unsigned char __gmp_digit_value_tab[];
5186d7f5d3SJohn Marino #define digit_value_tab __gmp_digit_value_tab
5286d7f5d3SJohn Marino 
5386d7f5d3SJohn Marino /* Compute base^exp and return the most significant prec limbs in rp[].
5486d7f5d3SJohn Marino    Put the count of omitted low limbs in *ign.
5586d7f5d3SJohn Marino    Return the actual size (which might be less than prec).  */
5686d7f5d3SJohn Marino static mp_size_t
mpn_pow_1_highpart(mp_ptr rp,mp_size_t * ignp,mp_limb_t base,mp_exp_t exp,mp_size_t prec,mp_ptr tp)5786d7f5d3SJohn Marino mpn_pow_1_highpart (mp_ptr rp, mp_size_t *ignp,
5886d7f5d3SJohn Marino 		    mp_limb_t base, mp_exp_t exp,
5986d7f5d3SJohn Marino 		    mp_size_t prec, mp_ptr tp)
6086d7f5d3SJohn Marino {
6186d7f5d3SJohn Marino   mp_size_t ign;		/* counts number of ignored low limbs in r */
6286d7f5d3SJohn Marino   mp_size_t off;		/* keeps track of offset where value starts */
6386d7f5d3SJohn Marino   mp_ptr passed_rp = rp;
6486d7f5d3SJohn Marino   mp_size_t rn;
6586d7f5d3SJohn Marino   int cnt;
6686d7f5d3SJohn Marino   int i;
6786d7f5d3SJohn Marino 
6886d7f5d3SJohn Marino   rp[0] = base;
6986d7f5d3SJohn Marino   rn = 1;
7086d7f5d3SJohn Marino   off = 0;
7186d7f5d3SJohn Marino   ign = 0;
7286d7f5d3SJohn Marino   count_leading_zeros (cnt, exp);
7386d7f5d3SJohn Marino   for (i = GMP_LIMB_BITS - cnt - 2; i >= 0; i--)
7486d7f5d3SJohn Marino     {
7586d7f5d3SJohn Marino       mpn_sqr (tp, rp + off, rn);
7686d7f5d3SJohn Marino       rn = 2 * rn;
7786d7f5d3SJohn Marino       rn -= tp[rn - 1] == 0;
7886d7f5d3SJohn Marino       ign <<= 1;
7986d7f5d3SJohn Marino 
8086d7f5d3SJohn Marino       off = 0;
8186d7f5d3SJohn Marino       if (rn > prec)
8286d7f5d3SJohn Marino 	{
8386d7f5d3SJohn Marino 	  ign += rn - prec;
8486d7f5d3SJohn Marino 	  off = rn - prec;
8586d7f5d3SJohn Marino 	  rn = prec;
8686d7f5d3SJohn Marino 	}
8786d7f5d3SJohn Marino       MP_PTR_SWAP (rp, tp);
8886d7f5d3SJohn Marino 
8986d7f5d3SJohn Marino       if (((exp >> i) & 1) != 0)
9086d7f5d3SJohn Marino 	{
9186d7f5d3SJohn Marino 	  mp_limb_t cy;
9286d7f5d3SJohn Marino 	  cy = mpn_mul_1 (rp, rp + off, rn, base);
9386d7f5d3SJohn Marino 	  rp[rn] = cy;
9486d7f5d3SJohn Marino 	  rn += cy != 0;
9586d7f5d3SJohn Marino 	  off = 0;
9686d7f5d3SJohn Marino 	}
9786d7f5d3SJohn Marino     }
9886d7f5d3SJohn Marino 
9986d7f5d3SJohn Marino   if (rn > prec)
10086d7f5d3SJohn Marino     {
10186d7f5d3SJohn Marino       ign += rn - prec;
10286d7f5d3SJohn Marino       rp += rn - prec;
10386d7f5d3SJohn Marino       rn = prec;
10486d7f5d3SJohn Marino     }
10586d7f5d3SJohn Marino 
10686d7f5d3SJohn Marino   MPN_COPY_INCR (passed_rp, rp + off, rn);
10786d7f5d3SJohn Marino   *ignp = ign;
10886d7f5d3SJohn Marino   return rn;
10986d7f5d3SJohn Marino }
11086d7f5d3SJohn Marino 
11186d7f5d3SJohn Marino int
mpf_set_str(mpf_ptr x,const char * str,int base)11286d7f5d3SJohn Marino mpf_set_str (mpf_ptr x, const char *str, int base)
11386d7f5d3SJohn Marino {
11486d7f5d3SJohn Marino   size_t str_size;
11586d7f5d3SJohn Marino   char *s, *begs;
11686d7f5d3SJohn Marino   size_t i, j;
11786d7f5d3SJohn Marino   int c;
11886d7f5d3SJohn Marino   int negative;
11986d7f5d3SJohn Marino   char *dotpos = 0;
12086d7f5d3SJohn Marino   const char *expptr;
12186d7f5d3SJohn Marino   int exp_base;
12286d7f5d3SJohn Marino   const char  *point = GMP_DECIMAL_POINT;
12386d7f5d3SJohn Marino   size_t      pointlen = strlen (point);
12486d7f5d3SJohn Marino   const unsigned char *digit_value;
12586d7f5d3SJohn Marino   TMP_DECL;
12686d7f5d3SJohn Marino 
12786d7f5d3SJohn Marino   c = (unsigned char) *str;
12886d7f5d3SJohn Marino 
12986d7f5d3SJohn Marino   /* Skip whitespace.  */
13086d7f5d3SJohn Marino   while (isspace (c))
13186d7f5d3SJohn Marino     c = (unsigned char) *++str;
13286d7f5d3SJohn Marino 
13386d7f5d3SJohn Marino   negative = 0;
13486d7f5d3SJohn Marino   if (c == '-')
13586d7f5d3SJohn Marino     {
13686d7f5d3SJohn Marino       negative = 1;
13786d7f5d3SJohn Marino       c = (unsigned char) *++str;
13886d7f5d3SJohn Marino     }
13986d7f5d3SJohn Marino 
14086d7f5d3SJohn Marino   /* Default base to decimal.  */
14186d7f5d3SJohn Marino   if (base == 0)
14286d7f5d3SJohn Marino     base = 10;
14386d7f5d3SJohn Marino 
14486d7f5d3SJohn Marino   exp_base = base;
14586d7f5d3SJohn Marino 
14686d7f5d3SJohn Marino   if (base < 0)
14786d7f5d3SJohn Marino     {
14886d7f5d3SJohn Marino       exp_base = 10;
14986d7f5d3SJohn Marino       base = -base;
15086d7f5d3SJohn Marino     }
15186d7f5d3SJohn Marino 
15286d7f5d3SJohn Marino   digit_value = digit_value_tab;
15386d7f5d3SJohn Marino   if (base > 36)
15486d7f5d3SJohn Marino     {
15586d7f5d3SJohn Marino       /* For bases > 36, use the collating sequence
15686d7f5d3SJohn Marino 	 0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz.  */
15786d7f5d3SJohn Marino       digit_value += 224;
15886d7f5d3SJohn Marino       if (base > 62)
15986d7f5d3SJohn Marino 	return -1;		/* too large base */
16086d7f5d3SJohn Marino     }
16186d7f5d3SJohn Marino 
16286d7f5d3SJohn Marino   /* Require at least one digit, possibly after an initial decimal point.  */
16386d7f5d3SJohn Marino   if (digit_value[c] >= (base == 0 ? 10 : base))
16486d7f5d3SJohn Marino     {
16586d7f5d3SJohn Marino       /* not a digit, must be a decimal point */
16686d7f5d3SJohn Marino       for (i = 0; i < pointlen; i++)
16786d7f5d3SJohn Marino         if (str[i] != point[i])
16886d7f5d3SJohn Marino           return -1;
16986d7f5d3SJohn Marino       if (digit_value[(unsigned char) str[pointlen]] >= (base == 0 ? 10 : base))
17086d7f5d3SJohn Marino 	return -1;
17186d7f5d3SJohn Marino     }
17286d7f5d3SJohn Marino 
17386d7f5d3SJohn Marino   /* Locate exponent part of the input.  Look from the right of the string,
17486d7f5d3SJohn Marino      since the exponent is usually a lot shorter than the mantissa.  */
17586d7f5d3SJohn Marino   expptr = NULL;
17686d7f5d3SJohn Marino   str_size = strlen (str);
17786d7f5d3SJohn Marino   for (i = str_size - 1; i > 0; i--)
17886d7f5d3SJohn Marino     {
17986d7f5d3SJohn Marino       c = (unsigned char) str[i];
18086d7f5d3SJohn Marino       if (c == '@' || (base <= 10 && (c == 'e' || c == 'E')))
18186d7f5d3SJohn Marino 	{
18286d7f5d3SJohn Marino 	  expptr = str + i + 1;
18386d7f5d3SJohn Marino 	  str_size = i;
18486d7f5d3SJohn Marino 	  break;
18586d7f5d3SJohn Marino 	}
18686d7f5d3SJohn Marino     }
18786d7f5d3SJohn Marino 
18886d7f5d3SJohn Marino   TMP_MARK;
18986d7f5d3SJohn Marino   s = begs = (char *) TMP_ALLOC (str_size + 1);
19086d7f5d3SJohn Marino 
19186d7f5d3SJohn Marino   /* Loop through mantissa, converting it from ASCII to raw byte values.  */
19286d7f5d3SJohn Marino   for (i = 0; i < str_size; i++)
19386d7f5d3SJohn Marino     {
19486d7f5d3SJohn Marino       c = (unsigned char) *str;
19586d7f5d3SJohn Marino       if (!isspace (c))
19686d7f5d3SJohn Marino 	{
19786d7f5d3SJohn Marino 	  int dig;
19886d7f5d3SJohn Marino 
19986d7f5d3SJohn Marino           for (j = 0; j < pointlen; j++)
20086d7f5d3SJohn Marino             if (str[j] != point[j])
20186d7f5d3SJohn Marino               goto not_point;
20286d7f5d3SJohn Marino           if (1)
20386d7f5d3SJohn Marino 	    {
20486d7f5d3SJohn Marino 	      if (dotpos != 0)
20586d7f5d3SJohn Marino 		{
20686d7f5d3SJohn Marino 		  /* already saw a decimal point, another is invalid */
20786d7f5d3SJohn Marino 		  TMP_FREE;
20886d7f5d3SJohn Marino 		  return -1;
20986d7f5d3SJohn Marino 		}
21086d7f5d3SJohn Marino 	      dotpos = s;
21186d7f5d3SJohn Marino 	      str += pointlen - 1;
21286d7f5d3SJohn Marino 	      i += pointlen - 1;
21386d7f5d3SJohn Marino 	    }
21486d7f5d3SJohn Marino 	  else
21586d7f5d3SJohn Marino 	    {
21686d7f5d3SJohn Marino             not_point:
21786d7f5d3SJohn Marino 	      dig = digit_value[c];
21886d7f5d3SJohn Marino 	      if (dig >= base)
21986d7f5d3SJohn Marino 		{
22086d7f5d3SJohn Marino 		  TMP_FREE;
22186d7f5d3SJohn Marino 		  return -1;
22286d7f5d3SJohn Marino 		}
22386d7f5d3SJohn Marino 	      *s++ = dig;
22486d7f5d3SJohn Marino 	    }
22586d7f5d3SJohn Marino 	}
22686d7f5d3SJohn Marino       c = (unsigned char) *++str;
22786d7f5d3SJohn Marino     }
22886d7f5d3SJohn Marino 
22986d7f5d3SJohn Marino   str_size = s - begs;
23086d7f5d3SJohn Marino 
23186d7f5d3SJohn Marino   {
23286d7f5d3SJohn Marino     long exp_in_base;
23386d7f5d3SJohn Marino     mp_size_t ra, ma, rn, mn;
23486d7f5d3SJohn Marino     int cnt;
23586d7f5d3SJohn Marino     mp_ptr mp, tp, rp;
23686d7f5d3SJohn Marino     mp_exp_t exp_in_limbs;
23786d7f5d3SJohn Marino     mp_size_t prec = PREC(x) + 1;
23886d7f5d3SJohn Marino     int divflag;
23986d7f5d3SJohn Marino     mp_size_t madj, radj;
24086d7f5d3SJohn Marino 
24186d7f5d3SJohn Marino #if 0
24286d7f5d3SJohn Marino     size_t n_chars_needed;
24386d7f5d3SJohn Marino 
24486d7f5d3SJohn Marino     /* This breaks things like 0.000...0001.  To safely ignore superfluous
24586d7f5d3SJohn Marino        digits, we need to skip over leading zeros.  */
24686d7f5d3SJohn Marino     /* Just consider the relevant leading digits of the mantissa.  */
24786d7f5d3SJohn Marino     n_chars_needed = 2 + (size_t)
24886d7f5d3SJohn Marino       (((size_t) prec * GMP_NUMB_BITS) * mp_bases[base].chars_per_bit_exactly);
24986d7f5d3SJohn Marino     if (str_size > n_chars_needed)
25086d7f5d3SJohn Marino       str_size = n_chars_needed;
25186d7f5d3SJohn Marino #endif
25286d7f5d3SJohn Marino 
25386d7f5d3SJohn Marino     ma = 2 + (mp_size_t)
25486d7f5d3SJohn Marino       (str_size / (GMP_NUMB_BITS * mp_bases[base].chars_per_bit_exactly));
25586d7f5d3SJohn Marino     mp = TMP_ALLOC_LIMBS (ma);
25686d7f5d3SJohn Marino     mn = mpn_set_str (mp, (unsigned char *) begs, str_size, base);
25786d7f5d3SJohn Marino 
25886d7f5d3SJohn Marino     if (mn == 0)
25986d7f5d3SJohn Marino       {
26086d7f5d3SJohn Marino 	SIZ(x) = 0;
26186d7f5d3SJohn Marino 	EXP(x) = 0;
26286d7f5d3SJohn Marino 	TMP_FREE;
26386d7f5d3SJohn Marino 	return 0;
26486d7f5d3SJohn Marino       }
26586d7f5d3SJohn Marino 
26686d7f5d3SJohn Marino     madj = 0;
26786d7f5d3SJohn Marino     /* Ignore excess limbs in MP,MSIZE.  */
26886d7f5d3SJohn Marino     if (mn > prec)
26986d7f5d3SJohn Marino       {
27086d7f5d3SJohn Marino 	madj = mn - prec;
27186d7f5d3SJohn Marino 	mp += mn - prec;
27286d7f5d3SJohn Marino 	mn = prec;
27386d7f5d3SJohn Marino       }
27486d7f5d3SJohn Marino 
27586d7f5d3SJohn Marino     if (expptr != 0)
27686d7f5d3SJohn Marino       {
27786d7f5d3SJohn Marino 	/* Scan and convert the exponent, in base exp_base.  */
27886d7f5d3SJohn Marino 	long dig, minus, plusminus;
27986d7f5d3SJohn Marino 	c = (unsigned char) *expptr;
28086d7f5d3SJohn Marino 	minus = -(long) (c == '-');
28186d7f5d3SJohn Marino 	plusminus = minus | -(long) (c == '+');
28286d7f5d3SJohn Marino 	expptr -= plusminus;			/* conditional increment */
28386d7f5d3SJohn Marino 	c = (unsigned char) *expptr++;
28486d7f5d3SJohn Marino 	dig = digit_value[c];
28586d7f5d3SJohn Marino 	if (dig >= exp_base)
28686d7f5d3SJohn Marino 	  {
28786d7f5d3SJohn Marino 	    TMP_FREE;
28886d7f5d3SJohn Marino 	    return -1;
28986d7f5d3SJohn Marino 	  }
29086d7f5d3SJohn Marino 	exp_in_base = dig;
29186d7f5d3SJohn Marino 	c = (unsigned char) *expptr++;
29286d7f5d3SJohn Marino 	dig = digit_value[c];
29386d7f5d3SJohn Marino 	while (dig < exp_base)
29486d7f5d3SJohn Marino 	  {
29586d7f5d3SJohn Marino 	    exp_in_base = exp_in_base * exp_base;
29686d7f5d3SJohn Marino 	    exp_in_base += dig;
29786d7f5d3SJohn Marino 	    c = (unsigned char) *expptr++;
29886d7f5d3SJohn Marino 	    dig = digit_value[c];
29986d7f5d3SJohn Marino 	  }
30086d7f5d3SJohn Marino 	exp_in_base = (exp_in_base ^ minus) - minus; /* conditional negation */
30186d7f5d3SJohn Marino       }
30286d7f5d3SJohn Marino     else
30386d7f5d3SJohn Marino       exp_in_base = 0;
30486d7f5d3SJohn Marino     if (dotpos != 0)
30586d7f5d3SJohn Marino       exp_in_base -= s - dotpos;
30686d7f5d3SJohn Marino     divflag = exp_in_base < 0;
30786d7f5d3SJohn Marino     exp_in_base = ABS (exp_in_base);
30886d7f5d3SJohn Marino 
30986d7f5d3SJohn Marino     if (exp_in_base == 0)
31086d7f5d3SJohn Marino       {
31186d7f5d3SJohn Marino 	MPN_COPY (PTR(x), mp, mn);
31286d7f5d3SJohn Marino 	SIZ(x) = negative ? -mn : mn;
31386d7f5d3SJohn Marino 	EXP(x) = mn + madj;
31486d7f5d3SJohn Marino 	TMP_FREE;
31586d7f5d3SJohn Marino 	return 0;
31686d7f5d3SJohn Marino       }
31786d7f5d3SJohn Marino 
31886d7f5d3SJohn Marino     ra = 2 * (prec + 1);
31986d7f5d3SJohn Marino     rp = TMP_ALLOC_LIMBS (ra);
32086d7f5d3SJohn Marino     tp = TMP_ALLOC_LIMBS (ra);
32186d7f5d3SJohn Marino     rn = mpn_pow_1_highpart (rp, &radj, (mp_limb_t) base, exp_in_base, prec, tp);
32286d7f5d3SJohn Marino 
32386d7f5d3SJohn Marino     if (divflag)
32486d7f5d3SJohn Marino       {
32586d7f5d3SJohn Marino #if 0
32686d7f5d3SJohn Marino 	/* FIXME: Should use mpn_tdiv here.  */
32786d7f5d3SJohn Marino 	mpn_tdiv_qr (qp, mp, 0L, mp, mn, rp, rn);
32886d7f5d3SJohn Marino #else
32986d7f5d3SJohn Marino 	mp_ptr qp;
33086d7f5d3SJohn Marino 	mp_limb_t qlimb;
33186d7f5d3SJohn Marino 	if (mn < rn)
33286d7f5d3SJohn Marino 	  {
33386d7f5d3SJohn Marino 	    /* Pad out MP,MSIZE for current divrem semantics.  */
33486d7f5d3SJohn Marino 	    mp_ptr tmp = TMP_ALLOC_LIMBS (rn + 1);
33586d7f5d3SJohn Marino 	    MPN_ZERO (tmp, rn - mn);
33686d7f5d3SJohn Marino 	    MPN_COPY (tmp + rn - mn, mp, mn);
33786d7f5d3SJohn Marino 	    mp = tmp;
33886d7f5d3SJohn Marino 	    madj -= rn - mn;
33986d7f5d3SJohn Marino 	    mn = rn;
34086d7f5d3SJohn Marino 	  }
34186d7f5d3SJohn Marino 	if ((rp[rn - 1] & GMP_NUMB_HIGHBIT) == 0)
34286d7f5d3SJohn Marino 	  {
34386d7f5d3SJohn Marino 	    mp_limb_t cy;
34486d7f5d3SJohn Marino 	    count_leading_zeros (cnt, rp[rn - 1]);
34586d7f5d3SJohn Marino 	    cnt -= GMP_NAIL_BITS;
34686d7f5d3SJohn Marino 	    mpn_lshift (rp, rp, rn, cnt);
34786d7f5d3SJohn Marino 	    cy = mpn_lshift (mp, mp, mn, cnt);
34886d7f5d3SJohn Marino 	    if (cy)
34986d7f5d3SJohn Marino 	      mp[mn++] = cy;
35086d7f5d3SJohn Marino 	  }
35186d7f5d3SJohn Marino 
35286d7f5d3SJohn Marino 	qp = TMP_ALLOC_LIMBS (prec + 1);
35386d7f5d3SJohn Marino 	qlimb = mpn_divrem (qp, prec - (mn - rn), mp, mn, rp, rn);
35486d7f5d3SJohn Marino 	tp = qp;
35586d7f5d3SJohn Marino 	exp_in_limbs = qlimb + (mn - rn) + (madj - radj);
35686d7f5d3SJohn Marino 	rn = prec;
35786d7f5d3SJohn Marino 	if (qlimb != 0)
35886d7f5d3SJohn Marino 	  {
35986d7f5d3SJohn Marino 	    tp[prec] = qlimb;
36086d7f5d3SJohn Marino 	    /* Skip the least significant limb not to overrun the destination
36186d7f5d3SJohn Marino 	       variable.  */
36286d7f5d3SJohn Marino 	    tp++;
36386d7f5d3SJohn Marino 	  }
36486d7f5d3SJohn Marino #endif
36586d7f5d3SJohn Marino       }
36686d7f5d3SJohn Marino     else
36786d7f5d3SJohn Marino       {
36886d7f5d3SJohn Marino 	tp = TMP_ALLOC_LIMBS (rn + mn);
36986d7f5d3SJohn Marino 	if (rn > mn)
37086d7f5d3SJohn Marino 	  mpn_mul (tp, rp, rn, mp, mn);
37186d7f5d3SJohn Marino 	else
37286d7f5d3SJohn Marino 	  mpn_mul (tp, mp, mn, rp, rn);
37386d7f5d3SJohn Marino 	rn += mn;
37486d7f5d3SJohn Marino 	rn -= tp[rn - 1] == 0;
37586d7f5d3SJohn Marino 	exp_in_limbs = rn + madj + radj;
37686d7f5d3SJohn Marino 
37786d7f5d3SJohn Marino 	if (rn > prec)
37886d7f5d3SJohn Marino 	  {
37986d7f5d3SJohn Marino 	    tp += rn - prec;
38086d7f5d3SJohn Marino 	    rn = prec;
38186d7f5d3SJohn Marino 	    exp_in_limbs += 0;
38286d7f5d3SJohn Marino 	  }
38386d7f5d3SJohn Marino       }
38486d7f5d3SJohn Marino 
38586d7f5d3SJohn Marino     MPN_COPY (PTR(x), tp, rn);
38686d7f5d3SJohn Marino     SIZ(x) = negative ? -rn : rn;
38786d7f5d3SJohn Marino     EXP(x) = exp_in_limbs;
38886d7f5d3SJohn Marino     TMP_FREE;
38986d7f5d3SJohn Marino     return 0;
39086d7f5d3SJohn Marino   }
39186d7f5d3SJohn Marino }
392