1 /* Copyright (C) 1995-2016 Free Software Foundation, Inc.
2 This file is part of the GNU C Library.
4 The GNU C Library is free software; you can redistribute it and/or
5 modify it under the terms of the GNU Lesser General Public
6 License as published by the Free Software Foundation; either
7 version 2.1 of the License, or (at your option) any later version.
9 The GNU C Library is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 Lesser General Public License for more details.
14 You should have received a copy of the GNU Lesser General Public
15 License along with the GNU C Library; if not, see
16 <http://www.gnu.org/licenses/>. */
23 /* Convert a multi-precision integer of the needed number of bits (53 for
24 double) and an integral power of two to a `double' in IEEE754 double-
28 __mpn_construct_double (mp_srcptr frac_ptr
, int expt
, int negative
)
30 union ieee754_double u
;
32 u
.ieee
.negative
= negative
;
33 u
.ieee
.exponent
= expt
+ IEEE754_DOUBLE_BIAS
;
34 #if BITS_PER_MP_LIMB == 32
35 u
.ieee
.mantissa1
= frac_ptr
[0];
36 u
.ieee
.mantissa0
= frac_ptr
[1] & (((mp_limb_t
) 1
37 << (DBL_MANT_DIG
- 32)) - 1);
38 #elif BITS_PER_MP_LIMB == 64
39 u
.ieee
.mantissa1
= frac_ptr
[0] & (((mp_limb_t
) 1 << 32) - 1);
40 u
.ieee
.mantissa0
= (frac_ptr
[0] >> 32) & (((mp_limb_t
) 1
41 << (DBL_MANT_DIG
- 32)) - 1);
43 # error "mp_limb size " BITS_PER_MP_LIMB "not accounted for"