1 /* Copyright (C) 2007 Free Software Foundation, Inc.
3 This file is part of GCC.
5 GCC is free software; you can redistribute it and/or modify it under
6 the terms of the GNU General Public License as published by the Free
7 Software Foundation; either version 2, or (at your option) any later
10 In addition to the permissions in the GNU General Public License, the
11 Free Software Foundation gives you unlimited permission to link the
12 compiled version of this file into combinations with other programs,
13 and to distribute those combinations without any restriction coming
14 from the use of this file. (The General Public License restrictions
15 do apply in other respects; for example, they cover modification of
16 the file, and distribution when not linked into a combine
19 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
20 WARRANTY; without even the implied warranty of MERCHANTABILITY or
21 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
24 You should have received a copy of the GNU General Public License
25 along with GCC; see the file COPYING. If not, write to the Free
26 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
30 #include "bid_internal.h"
33 * Takes a BID64 as input and converts it to a BID128 and returns it.
35 TYPE0_FUNCTION_ARGTYPE1_NORND (UINT128
, bid64_to_bid128
, UINT64
, x
)
37 UINT128 new_coeff
, res
;
42 if (!unpack_BID64 (&sign_x
, &exponent_x
, &coefficient_x
, x
)) {
43 if (((x
) << 1) >= 0xf000000000000000ull
) {
44 #ifdef SET_STATUS_FLAGS
45 if (((x
) & SNAN_MASK64
) == SNAN_MASK64
) // sNaN
46 __set_status_flags (pfpsf
, INVALID_EXCEPTION
);
48 res
.w
[0] = (coefficient_x
& 0x0003ffffffffffffull
);
49 __mul_64x64_to_128 (res
, res
.w
[0], power10_table_128
[18].w
[0]);
50 res
.w
[1] |= ((coefficient_x
) & 0xfc00000000000000ull
);
55 new_coeff
.w
[0] = coefficient_x
;
57 get_BID128_very_fast (&res
, sign_x
,
58 exponent_x
+ DECIMAL_EXPONENT_BIAS_128
-
59 DECIMAL_EXPONENT_BIAS
, new_coeff
);
61 } // convert_bid64_to_bid128
66 * Takes a BID128 as input and converts it to a BID64 and returns it.
68 #if DECIMAL_CALL_BY_REFERENCE
71 bid128_to_bid64 (UINT64
* pres
,
73 px _RND_MODE_PARAM _EXC_FLAGS_PARAM _EXC_MASKS_PARAM
79 bid128_to_bid64 (UINT128 x _RND_MODE_PARAM _EXC_FLAGS_PARAM
80 _EXC_MASKS_PARAM _EXC_INFO_PARAM
) {
82 UINT128 CX
, T128
, TP128
, Qh
, Ql
, Qh1
, Stemp
, Tmp
, Tmp1
, CX1
;
83 UINT64 sign_x
, carry
, cy
, res
;
86 int exponent_x
, extra_digits
, amount
, bin_expon_cx
;
87 unsigned rmode
, status
, uf_check
= 0;
89 #if DECIMAL_CALL_BY_REFERENCE
90 #if !DECIMAL_GLOBAL_ROUNDING
91 _IDEC_round rnd_mode
= *prnd_mode
;
96 // unpack arguments, check for NaN or Infinity or 0
97 if (!unpack_BID128_value (&sign_x
, &exponent_x
, &CX
, x
)) {
98 if ((x
.w
[1] << 1) >= 0xf000000000000000ull
) {
99 Tmp
.w
[1] = (CX
.w
[1] & 0x00003fffffffffffull
);
101 TP128
= reciprocals10_128
[18];
102 __mul_128x128_full (Qh
, Ql
, Tmp
, TP128
);
103 amount
= recip_scale
[18];
104 __shr_128 (Tmp
, Qh
, amount
);
105 res
= (CX
.w
[1] & 0xfc00000000000000ull
) | Tmp
.w
[0];
106 #ifdef SET_STATUS_FLAGS
107 if ((x
.w
[1] & SNAN_MASK64
) == SNAN_MASK64
) // sNaN
108 __set_status_flags (pfpsf
, INVALID_EXCEPTION
);
110 BID_RETURN_VAL (res
);
113 exponent_x
- DECIMAL_EXPONENT_BIAS_128
+ DECIMAL_EXPONENT_BIAS
;
114 if (exponent_x
< 0) {
116 BID_RETURN_VAL (res
);
118 if (exponent_x
> DECIMAL_MAX_EXPON_64
)
119 exponent_x
= DECIMAL_MAX_EXPON_64
;
120 res
= sign_x
| (((UINT64
) exponent_x
) << 53);
121 BID_RETURN_VAL (res
);
124 if (CX
.w
[1] || (CX
.w
[0] >= 10000000000000000ull)) {
125 // find number of digits in coefficient
129 fx
.d
= (float) CX
.w
[1] * f64
.d
+ (float) CX
.w
[0];
130 bin_expon_cx
= ((fx
.i
>> 23) & 0xff) - 0x7f;
131 extra_digits
= estimate_decimal_digits
[bin_expon_cx
] - 16;
132 // scale = 38-estimate_decimal_digits[bin_expon_cx];
133 D
= CX
.w
[1] - power10_index_binexp_128
[bin_expon_cx
].w
[1];
136 && CX
.w
[0] >= power10_index_binexp_128
[bin_expon_cx
].w
[0]))
139 exponent_x
+= extra_digits
;
141 #ifndef IEEE_ROUND_NEAREST_TIES_AWAY
142 #ifndef IEEE_ROUND_NEAREST
144 if (sign_x
&& (unsigned) (rmode
- 1) < 2)
152 if (exponent_x
< DECIMAL_EXPONENT_BIAS_128
- DECIMAL_EXPONENT_BIAS
) {
154 if (-extra_digits
+ exponent_x
- DECIMAL_EXPONENT_BIAS_128
+
155 DECIMAL_EXPONENT_BIAS
+ 35 >= 0) {
157 DECIMAL_EXPONENT_BIAS_128
- DECIMAL_EXPONENT_BIAS
- 1) {
158 T128
= round_const_table_128
[rmode
][extra_digits
];
159 __add_carry_out (CX1
.w
[0], carry
, T128
.w
[0], CX
.w
[0]);
160 CX1
.w
[1] = CX
.w
[1] + T128
.w
[1] + carry
;
161 if (__unsigned_compare_ge_128
162 (CX1
, power10_table_128
[extra_digits
+ 16]))
166 extra_digits
+ DECIMAL_EXPONENT_BIAS_128
-
167 DECIMAL_EXPONENT_BIAS
- exponent_x
;
168 exponent_x
= DECIMAL_EXPONENT_BIAS_128
- DECIMAL_EXPONENT_BIAS
;
171 rmode
= ROUNDING_TO_ZERO
;
174 T128
= round_const_table_128
[rmode
][extra_digits
];
175 __add_carry_out (CX
.w
[0], carry
, T128
.w
[0], CX
.w
[0]);
176 CX
.w
[1] = CX
.w
[1] + T128
.w
[1] + carry
;
178 TP128
= reciprocals10_128
[extra_digits
];
179 __mul_128x128_full (Qh
, Ql
, CX
, TP128
);
180 amount
= recip_scale
[extra_digits
];
183 CX
.w
[0] = Qh
.w
[1] >> (amount
- 64);
186 __shr_128 (CX
, Qh
, amount
);
189 #ifndef IEEE_ROUND_NEAREST_TIES_AWAY
190 #ifndef IEEE_ROUND_NEAREST
194 // check whether fractional part of initial_P/10^ed1 is exactly .5
197 __shl_128_long (Qh1
, Qh
, (128 - amount
));
199 if (!Qh1
.w
[1] && !Qh1
.w
[0]
200 && (Ql
.w
[1] < reciprocals10_128
[extra_digits
].w
[1]
201 || (Ql
.w
[1] == reciprocals10_128
[extra_digits
].w
[1]
202 && Ql
.w
[0] < reciprocals10_128
[extra_digits
].w
[0]))) {
209 status
= INEXACT_EXCEPTION
;
211 __shl_128_long (Qh1
, Qh
, (128 - amount
));
214 case ROUNDING_TO_NEAREST
:
215 case ROUNDING_TIES_AWAY
:
216 // test whether fractional part is 0
217 if (Qh1
.w
[1] == 0x8000000000000000ull
&& (!Qh1
.w
[0])
218 && (Ql
.w
[1] < reciprocals10_128
[extra_digits
].w
[1]
219 || (Ql
.w
[1] == reciprocals10_128
[extra_digits
].w
[1]
220 && Ql
.w
[0] < reciprocals10_128
[extra_digits
].w
[0])))
221 status
= EXACT_STATUS
;
224 case ROUNDING_TO_ZERO
:
225 if ((!Qh1
.w
[1]) && (!Qh1
.w
[0])
226 && (Ql
.w
[1] < reciprocals10_128
[extra_digits
].w
[1]
227 || (Ql
.w
[1] == reciprocals10_128
[extra_digits
].w
[1]
228 && Ql
.w
[0] < reciprocals10_128
[extra_digits
].w
[0])))
229 status
= EXACT_STATUS
;
233 __add_carry_out (Stemp
.w
[0], cy
, Ql
.w
[0],
234 reciprocals10_128
[extra_digits
].w
[0]);
235 __add_carry_in_out (Stemp
.w
[1], carry
, Ql
.w
[1],
236 reciprocals10_128
[extra_digits
].w
[1], cy
);
237 __shr_128_long (Qh
, Qh1
, (128 - amount
));
240 __shl_128_long (Tmp1
, Tmp
, amount
);
244 if (__unsigned_compare_ge_128 (Qh
, Tmp1
))
245 status
= EXACT_STATUS
;
248 if (status
!= EXACT_STATUS
) {
250 status
|= UNDERFLOW_EXCEPTION
;
251 #ifdef SET_STATUS_FLAGS
252 __set_status_flags (pfpsf
, status
);
263 exponent_x
- DECIMAL_EXPONENT_BIAS_128
+
264 DECIMAL_EXPONENT_BIAS
, CX
.w
[0], rnd_mode
, pfpsf
);
265 BID_RETURN_VAL (res
);