OpenCores
URL https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk

Subversion Repositories openrisc_me

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [libgcc/] [config/] [libbid/] [bid64_to_int64.c] - Blame information for rev 280

Go to most recent revision | Details | Compare with Previous | View Log

Line No. Rev Author Line
1 272 jeremybenn
/* Copyright (C) 2007, 2009  Free Software Foundation, Inc.
2
 
3
This file is part of GCC.
4
 
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 3, or (at your option) any later
8
version.
9
 
10
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
11
WARRANTY; without even the implied warranty of MERCHANTABILITY or
12
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
13
for more details.
14
 
15
Under Section 7 of GPL version 3, you are granted additional
16
permissions described in the GCC Runtime Library Exception, version
17
3.1, as published by the Free Software Foundation.
18
 
19
You should have received a copy of the GNU General Public License and
20
a copy of the GCC Runtime Library Exception along with this program;
21
see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
22
<http://www.gnu.org/licenses/>.  */
23
 
24
#include "bid_internal.h"
25
 
26
/*****************************************************************************
27
 *  BID64_to_int64_rnint
28
 ****************************************************************************/
29
 
30
#if DECIMAL_CALL_BY_REFERENCE
31
void
32
bid64_to_int64_rnint (SINT64 * pres, UINT64 * px
33
                      _EXC_FLAGS_PARAM _EXC_MASKS_PARAM
34
                      _EXC_INFO_PARAM) {
35
  UINT64 x = *px;
36
#else
37
SINT64
38
bid64_to_int64_rnint (UINT64 x
39
                      _EXC_FLAGS_PARAM _EXC_MASKS_PARAM
40
                      _EXC_INFO_PARAM) {
41
#endif
42
  SINT64 res;
43
  UINT64 x_sign;
44
  UINT64 x_exp;
45
  int exp;                      // unbiased exponent
46
  // Note: C1 represents x_significand (UINT64)
47
  BID_UI64DOUBLE tmp1;
48
  unsigned int x_nr_bits;
49
  int q, ind, shift;
50
  UINT64 C1;
51
  UINT128 C;
52
  UINT64 Cstar;                 // C* represents up to 16 decimal digits ~ 54 bits
53
  UINT128 fstar;
54
  UINT128 P128;
55
 
56
  // check for NaN or Infinity
57
  if ((x & MASK_NAN) == MASK_NAN || (x & MASK_INF) == MASK_INF) {
58
    // set invalid flag
59
    *pfpsf |= INVALID_EXCEPTION;
60
    // return Integer Indefinite
61
    res = 0x8000000000000000ull;
62
    BID_RETURN (res);
63
  }
64
  // unpack x
65
  x_sign = x & MASK_SIGN;       // 0 for positive, MASK_SIGN for negative
66
  // if steering bits are 11 (condition will be 0), then exponent is G[0:w+1] =>
67
  if ((x & MASK_STEERING_BITS) == MASK_STEERING_BITS) {
68
    x_exp = (x & MASK_BINARY_EXPONENT2) >> 51;  // biased
69
    C1 = (x & MASK_BINARY_SIG2) | MASK_BINARY_OR2;
70
    if (C1 > 9999999999999999ull) {     // non-canonical
71
      x_exp = 0;
72
      C1 = 0;
73
    }
74
  } else {
75
    x_exp = (x & MASK_BINARY_EXPONENT1) >> 53;  // biased
76
    C1 = x & MASK_BINARY_SIG1;
77
  }
78
 
79
  // check for zeros (possibly from non-canonical values)
80
  if (C1 == 0x0ull) {
81
    // x is 0
82
    res = 0x00000000;
83
    BID_RETURN (res);
84
  }
85
  // x is not special and is not zero
86
 
87
  // q = nr. of decimal digits in x (1 <= q <= 54)
88
  //  determine first the nr. of bits in x
89
  if (C1 >= 0x0020000000000000ull) {    // x >= 2^53
90
    // split the 64-bit value in two 32-bit halves to avoid rounding errors
91
    if (C1 >= 0x0000000100000000ull) {  // x >= 2^32
92
      tmp1.d = (double) (C1 >> 32);     // exact conversion
93
      x_nr_bits =
94
        33 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
95
    } else {    // x < 2^32
96
      tmp1.d = (double) C1;     // exact conversion
97
      x_nr_bits =
98
        1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
99
    }
100
  } else {      // if x < 2^53
101
    tmp1.d = (double) C1;       // exact conversion
102
    x_nr_bits =
103
      1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
104
  }
105
  q = nr_digits[x_nr_bits - 1].digits;
106
  if (q == 0) {
107
    q = nr_digits[x_nr_bits - 1].digits1;
108
    if (C1 >= nr_digits[x_nr_bits - 1].threshold_lo)
109
      q++;
110
  }
111
  exp = x_exp - 398;    // unbiased exponent
112
 
113
  if ((q + exp) > 19) { // x >= 10^19 ~= 2^63.11... (cannot fit in SINT64)
114
    // set invalid flag
115
    *pfpsf |= INVALID_EXCEPTION;
116
    // return Integer Indefinite
117
    res = 0x8000000000000000ull;
118
    BID_RETURN (res);
119
  } else if ((q + exp) == 19) { // x = c(0)c(1)...c(18).c(19)...c(q-1)
120
    // in this case 2^63.11... ~= 10^19 <= x < 10^20 ~= 2^66.43...
121
    // so x rounded to an integer may or may not fit in a signed 64-bit int
122
    // the cases that do not fit are identified here; the ones that fit
123
    // fall through and will be handled with other cases further,
124
    // under '1 <= q + exp <= 19'
125
    if (x_sign) {       // if n < 0 and q + exp = 19
126
      // if n < -2^63 - 1/2 then n is too large
127
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) > 2^63+1/2
128
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 > 5*(2^64+1), 1<=q<=16
129
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 > 0x50000000000000005, 1<=q<=16
130
      // <=> C * 10^(20-q) > 0x50000000000000005, 1<=q<=16
131
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
132
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
133
      // Note: C1 * 10^(11-q) has 19 or 20 digits; 0x50000000000000005, has 20
134
      if (C.w[1] > 0x05ull || (C.w[1] == 0x05ull && C.w[0] > 0x05ull)) {
135
        // set invalid flag
136
        *pfpsf |= INVALID_EXCEPTION;
137
        // return Integer Indefinite
138
        res = 0x8000000000000000ull;
139
        BID_RETURN (res);
140
      }
141
      // else cases that can be rounded to a 64-bit int fall through
142
      // to '1 <= q + exp <= 19'
143
    } else {    // if n > 0 and q + exp = 19
144
      // if n >= 2^63 - 1/2 then n is too large
145
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) >= 2^63-1/2
146
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 >= 5*(2^64-1), 1<=q<=16
147
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 >= 0x4fffffffffffffffb, 1<=q<=16
148
      // <=> if C * 10^(20-q) >= 0x4fffffffffffffffb, 1<=q<=16
149
      C.w[1] = 0x0000000000000004ull;
150
      C.w[0] = 0xfffffffffffffffbull;
151
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
152
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
153
      if (C.w[1] > 0x04ull ||
154
          (C.w[1] == 0x04ull && C.w[0] >= 0xfffffffffffffffbull)) {
155
        // set invalid flag
156
        *pfpsf |= INVALID_EXCEPTION;
157
        // return Integer Indefinite
158
        res = 0x8000000000000000ull;
159
        BID_RETURN (res);
160
      }
161
      // else cases that can be rounded to a 64-bit int fall through
162
      // to '1 <= q + exp <= 19'
163
    }   // end else if n > 0 and q + exp = 19
164
  }     // end else if ((q + exp) == 19)
165
 
166
  // n is not too large to be converted to int64: -2^63-1/2 <= n < 2^63-1/2
167
  // Note: some of the cases tested for above fall through to this point
168
  if ((q + exp) < 0) {   // n = +/-0.0...c(0)c(1)...c(q-1)
169
    // return 0
170
    res = 0x0000000000000000ull;
171
    BID_RETURN (res);
172
  } else if ((q + exp) == 0) {   // n = +/-0.c(0)c(1)...c(q-1)
173
    // if 0.c(0)c(1)...c(q-1) <= 0.5 <=> c(0)c(1)...c(q-1) <= 5 * 10^(q-1)
174
    //   res = 0
175
    // else
176
    //   res = +/-1
177
    ind = q - 1;        // 0 <= ind <= 15
178
    if (C1 <= midpoint64[ind]) {
179
      res = 0x0000000000000000ull;      // return 0
180
    } else if (x_sign) {        // n < 0
181
      res = 0xffffffffffffffffull;      // return -1
182
    } else {    // n > 0
183
      res = 0x0000000000000001ull;      // return +1
184
    }
185
  } else {      // if (1 <= q + exp <= 19, 1 <= q <= 16, -15 <= exp <= 18)
186
    // -2^63-1/2 <= x <= -1 or 1 <= x < 2^63-1/2 so x can be rounded
187
    // to nearest to a 64-bit signed integer
188
    if (exp < 0) {       // 2 <= q <= 16, -15 <= exp <= -1, 1 <= q + exp <= 19
189
      ind = -exp;       // 1 <= ind <= 15; ind is a synonym for 'x'
190
      // chop off ind digits from the lower part of C1
191
      // C1 = C1 + 1/2 * 10^ind where the result C1 fits in 64 bits
192
      C1 = C1 + midpoint64[ind - 1];
193
      // calculate C* and f*
194
      // C* is actually floor(C*) in this case
195
      // C* and f* need shifting and masking, as shown by
196
      // shiftright128[] and maskhigh128[]
197
      // 1 <= x <= 15 
198
      // kx = 10^(-x) = ten2mk64[ind - 1]
199
      // C* = (C1 + 1/2 * 10^x) * 10^(-x)
200
      // the approximation of 10^(-x) was rounded up to 54 bits
201
      __mul_64x64_to_128MACH (P128, C1, ten2mk64[ind - 1]);
202
      Cstar = P128.w[1];
203
      fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
204
      fstar.w[0] = P128.w[0];
205
      // the top Ex bits of 10^(-x) are T* = ten2mk128trunc[ind].w[0], e.g.
206
      // if x=1, T*=ten2mk128trunc[0].w[0]=0x1999999999999999
207
      // if (0 < f* < 10^(-x)) then the result is a midpoint
208
      //   if floor(C*) is even then C* = floor(C*) - logical right
209
      //       shift; C* has p decimal digits, correct by Prop. 1)
210
      //   else if floor(C*) is odd C* = floor(C*)-1 (logical right
211
      //       shift; C* has p decimal digits, correct by Pr. 1)
212
      // else
213
      //   C* = floor(C*) (logical right shift; C has p decimal digits,
214
      //       correct by Property 1)
215
      // n = C* * 10^(e+x)
216
 
217
      // shift right C* by Ex-64 = shiftright128[ind]
218
      shift = shiftright128[ind - 1];   // 0 <= shift <= 39
219
      Cstar = Cstar >> shift;
220
 
221
      // if the result was a midpoint it was rounded away from zero, so
222
      // it will need a correction
223
      // check for midpoints
224
      if ((fstar.w[1] == 0) && fstar.w[0] &&
225
          (fstar.w[0] <= ten2mk128trunc[ind - 1].w[1])) {
226
        // ten2mk128trunc[ind -1].w[1] is identical to 
227
        // ten2mk128[ind -1].w[1]
228
        // the result is a midpoint; round to nearest
229
        if (Cstar & 0x01) {     // Cstar is odd; MP in [EVEN, ODD]
230
          // if floor(C*) is odd C = floor(C*) - 1; the result >= 1
231
          Cstar--;      // Cstar is now even
232
        }       // else MP in [ODD, EVEN]
233
      }
234
      if (x_sign)
235
        res = -Cstar;
236
      else
237
        res = Cstar;
238
    } else if (exp == 0) {
239
      // 1 <= q <= 16
240
      // res = +/-C (exact)
241
      if (x_sign)
242
        res = -C1;
243
      else
244
        res = C1;
245
    } else {    // if (exp > 0) => 1 <= exp <= 18, 1 <= q <= 16, 2 <= q + exp <= 20
246
      // (the upper limit of 20 on q + exp is due to the fact that 
247
      // +/-C * 10^exp is guaranteed to fit in 64 bits) 
248
      // res = +/-C * 10^exp (exact)
249
      if (x_sign)
250
        res = -C1 * ten2k64[exp];
251
      else
252
        res = C1 * ten2k64[exp];
253
    }
254
  }
255
  BID_RETURN (res);
256
}
257
 
258
/*****************************************************************************
259
 *  BID64_to_int64_xrnint
260
 ****************************************************************************/
261
 
262
#if DECIMAL_CALL_BY_REFERENCE
263
void
264
bid64_to_int64_xrnint (SINT64 * pres, UINT64 * px
265
                       _EXC_FLAGS_PARAM _EXC_MASKS_PARAM
266
                       _EXC_INFO_PARAM) {
267
  UINT64 x = *px;
268
#else
269
SINT64
270
bid64_to_int64_xrnint (UINT64 x
271
                       _EXC_FLAGS_PARAM _EXC_MASKS_PARAM
272
                       _EXC_INFO_PARAM) {
273
#endif
274
  SINT64 res;
275
  UINT64 x_sign;
276
  UINT64 x_exp;
277
  int exp;                      // unbiased exponent
278
  // Note: C1 represents x_significand (UINT64)
279
  UINT64 tmp64;
280
  BID_UI64DOUBLE tmp1;
281
  unsigned int x_nr_bits;
282
  int q, ind, shift;
283
  UINT64 C1;
284
  UINT128 C;
285
  UINT64 Cstar;                 // C* represents up to 16 decimal digits ~ 54 bits
286
  UINT128 fstar;
287
  UINT128 P128;
288
 
289
  // check for NaN or Infinity
290
  if ((x & MASK_NAN) == MASK_NAN || (x & MASK_INF) == MASK_INF) {
291
    // set invalid flag
292
    *pfpsf |= INVALID_EXCEPTION;
293
    // return Integer Indefinite
294
    res = 0x8000000000000000ull;
295
    BID_RETURN (res);
296
  }
297
  // unpack x
298
  x_sign = x & MASK_SIGN;       // 0 for positive, MASK_SIGN for negative
299
  // if steering bits are 11 (condition will be 0), then exponent is G[0:w+1] =>
300
  if ((x & MASK_STEERING_BITS) == MASK_STEERING_BITS) {
301
    x_exp = (x & MASK_BINARY_EXPONENT2) >> 51;  // biased
302
    C1 = (x & MASK_BINARY_SIG2) | MASK_BINARY_OR2;
303
    if (C1 > 9999999999999999ull) {     // non-canonical
304
      x_exp = 0;
305
      C1 = 0;
306
    }
307
  } else {
308
    x_exp = (x & MASK_BINARY_EXPONENT1) >> 53;  // biased
309
    C1 = x & MASK_BINARY_SIG1;
310
  }
311
 
312
  // check for zeros (possibly from non-canonical values)
313
  if (C1 == 0x0ull) {
314
    // x is 0
315
    res = 0x00000000;
316
    BID_RETURN (res);
317
  }
318
  // x is not special and is not zero
319
 
320
  // q = nr. of decimal digits in x (1 <= q <= 54)
321
  //  determine first the nr. of bits in x
322
  if (C1 >= 0x0020000000000000ull) {    // x >= 2^53
323
    // split the 64-bit value in two 32-bit halves to avoid rounding errors
324
    if (C1 >= 0x0000000100000000ull) {  // x >= 2^32
325
      tmp1.d = (double) (C1 >> 32);     // exact conversion
326
      x_nr_bits =
327
        33 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
328
    } else {    // x < 2^32
329
      tmp1.d = (double) C1;     // exact conversion
330
      x_nr_bits =
331
        1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
332
    }
333
  } else {      // if x < 2^53
334
    tmp1.d = (double) C1;       // exact conversion
335
    x_nr_bits =
336
      1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
337
  }
338
  q = nr_digits[x_nr_bits - 1].digits;
339
  if (q == 0) {
340
    q = nr_digits[x_nr_bits - 1].digits1;
341
    if (C1 >= nr_digits[x_nr_bits - 1].threshold_lo)
342
      q++;
343
  }
344
  exp = x_exp - 398;    // unbiased exponent
345
 
346
  if ((q + exp) > 19) { // x >= 10^19 ~= 2^63.11... (cannot fit in SINT64)
347
    // set invalid flag
348
    *pfpsf |= INVALID_EXCEPTION;
349
    // return Integer Indefinite
350
    res = 0x8000000000000000ull;
351
    BID_RETURN (res);
352
  } else if ((q + exp) == 19) { // x = c(0)c(1)...c(18).c(19)...c(q-1)
353
    // in this case 2^63.11... ~= 10^19 <= x < 10^20 ~= 2^66.43...
354
    // so x rounded to an integer may or may not fit in a signed 64-bit int
355
    // the cases that do not fit are identified here; the ones that fit
356
    // fall through and will be handled with other cases further,
357
    // under '1 <= q + exp <= 19'
358
    if (x_sign) {       // if n < 0 and q + exp = 19
359
      // if n < -2^63 - 1/2 then n is too large
360
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) > 2^63+1/2
361
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 > 5*(2^64+1), 1<=q<=16
362
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 > 0x50000000000000005, 1<=q<=16
363
      // <=> C * 10^(20-q) > 0x50000000000000005, 1<=q<=16
364
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
365
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
366
      // Note: C1 * 10^(11-q) has 19 or 20 digits; 0x50000000000000005, has 20
367
      if (C.w[1] > 0x05ull || (C.w[1] == 0x05ull && C.w[0] > 0x05ull)) {
368
        // set invalid flag
369
        *pfpsf |= INVALID_EXCEPTION;
370
        // return Integer Indefinite
371
        res = 0x8000000000000000ull;
372
        BID_RETURN (res);
373
      }
374
      // else cases that can be rounded to a 64-bit int fall through
375
      // to '1 <= q + exp <= 19'
376
    } else {    // if n > 0 and q + exp = 19
377
      // if n >= 2^63 - 1/2 then n is too large
378
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) >= 2^63-1/2
379
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 >= 5*(2^64-1), 1<=q<=16
380
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 >= 0x4fffffffffffffffb, 1<=q<=16
381
      // <=> if C * 10^(20-q) >= 0x4fffffffffffffffb, 1<=q<=16
382
      C.w[1] = 0x0000000000000004ull;
383
      C.w[0] = 0xfffffffffffffffbull;
384
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
385
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
386
      if (C.w[1] > 0x04ull ||
387
          (C.w[1] == 0x04ull && C.w[0] >= 0xfffffffffffffffbull)) {
388
        // set invalid flag
389
        *pfpsf |= INVALID_EXCEPTION;
390
        // return Integer Indefinite
391
        res = 0x8000000000000000ull;
392
        BID_RETURN (res);
393
      }
394
      // else cases that can be rounded to a 64-bit int fall through
395
      // to '1 <= q + exp <= 19'
396
    }   // end else if n > 0 and q + exp = 19
397
  }     // end else if ((q + exp) == 19)
398
 
399
  // n is not too large to be converted to int64: -2^63-1/2 <= n < 2^63-1/2
400
  // Note: some of the cases tested for above fall through to this point
401
  if ((q + exp) < 0) {   // n = +/-0.0...c(0)c(1)...c(q-1)
402
    // set inexact flag
403
    *pfpsf |= INEXACT_EXCEPTION;
404
    // return 0
405
    res = 0x0000000000000000ull;
406
    BID_RETURN (res);
407
  } else if ((q + exp) == 0) {   // n = +/-0.c(0)c(1)...c(q-1)
408
    // if 0.c(0)c(1)...c(q-1) <= 0.5 <=> c(0)c(1)...c(q-1) <= 5 * 10^(q-1)
409
    //   res = 0
410
    // else
411
    //   res = +/-1
412
    ind = q - 1;        // 0 <= ind <= 15
413
    if (C1 <= midpoint64[ind]) {
414
      res = 0x0000000000000000ull;      // return 0
415
    } else if (x_sign) {        // n < 0
416
      res = 0xffffffffffffffffull;      // return -1
417
    } else {    // n > 0
418
      res = 0x0000000000000001ull;      // return +1
419
    }
420
    // set inexact flag
421
    *pfpsf |= INEXACT_EXCEPTION;
422
  } else {      // if (1 <= q + exp <= 19, 1 <= q <= 16, -15 <= exp <= 18)
423
    // -2^63-1/2 <= x <= -1 or 1 <= x < 2^63-1/2 so x can be rounded
424
    // to nearest to a 64-bit signed integer
425
    if (exp < 0) {       // 2 <= q <= 16, -15 <= exp <= -1, 1 <= q + exp <= 19
426
      ind = -exp;       // 1 <= ind <= 15; ind is a synonym for 'x'
427
      // chop off ind digits from the lower part of C1
428
      // C1 = C1 + 1/2 * 10^ind where the result C1 fits in 64 bits
429
      C1 = C1 + midpoint64[ind - 1];
430
      // calculate C* and f*
431
      // C* is actually floor(C*) in this case
432
      // C* and f* need shifting and masking, as shown by
433
      // shiftright128[] and maskhigh128[]
434
      // 1 <= x <= 15 
435
      // kx = 10^(-x) = ten2mk64[ind - 1]
436
      // C* = (C1 + 1/2 * 10^x) * 10^(-x)
437
      // the approximation of 10^(-x) was rounded up to 54 bits
438
      __mul_64x64_to_128MACH (P128, C1, ten2mk64[ind - 1]);
439
      Cstar = P128.w[1];
440
      fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
441
      fstar.w[0] = P128.w[0];
442
      // the top Ex bits of 10^(-x) are T* = ten2mk128trunc[ind].w[0], e.g.
443
      // if x=1, T*=ten2mk128trunc[0].w[0]=0x1999999999999999
444
      // if (0 < f* < 10^(-x)) then the result is a midpoint
445
      //   if floor(C*) is even then C* = floor(C*) - logical right
446
      //       shift; C* has p decimal digits, correct by Prop. 1)
447
      //   else if floor(C*) is odd C* = floor(C*)-1 (logical right
448
      //       shift; C* has p decimal digits, correct by Pr. 1)
449
      // else
450
      //   C* = floor(C*) (logical right shift; C has p decimal digits,
451
      //       correct by Property 1)
452
      // n = C* * 10^(e+x)
453
 
454
      // shift right C* by Ex-64 = shiftright128[ind]
455
      shift = shiftright128[ind - 1];   // 0 <= shift <= 39
456
      Cstar = Cstar >> shift;
457
      // determine inexactness of the rounding of C*
458
      // if (0 < f* - 1/2 < 10^(-x)) then
459
      //   the result is exact
460
      // else // if (f* - 1/2 > T*) then
461
      //   the result is inexact
462
      if (ind - 1 <= 2) {
463
        if (fstar.w[0] > 0x8000000000000000ull) {
464
          // f* > 1/2 and the result may be exact
465
          tmp64 = fstar.w[0] - 0x8000000000000000ull;    // f* - 1/2
466
          if ((tmp64 > ten2mk128trunc[ind - 1].w[1])) {
467
            // ten2mk128trunc[ind -1].w[1] is identical to 
468
            // ten2mk128[ind -1].w[1]
469
            // set the inexact flag
470
            *pfpsf |= INEXACT_EXCEPTION;
471
          }     // else the result is exact
472
        } else {        // the result is inexact; f2* <= 1/2
473
          // set the inexact flag
474
          *pfpsf |= INEXACT_EXCEPTION;
475
        }
476
      } else {  // if 3 <= ind - 1 <= 14
477
        if (fstar.w[1] > onehalf128[ind - 1] ||
478
            (fstar.w[1] == onehalf128[ind - 1] && fstar.w[0])) {
479
          // f2* > 1/2 and the result may be exact
480
          // Calculate f2* - 1/2
481
          tmp64 = fstar.w[1] - onehalf128[ind - 1];
482
          if (tmp64 || fstar.w[0] > ten2mk128trunc[ind - 1].w[1]) {
483
            // ten2mk128trunc[ind -1].w[1] is identical to 
484
            // ten2mk128[ind -1].w[1]
485
            // set the inexact flag
486
            *pfpsf |= INEXACT_EXCEPTION;
487
          }     // else the result is exact
488
        } else {        // the result is inexact; f2* <= 1/2
489
          // set the inexact flag
490
          *pfpsf |= INEXACT_EXCEPTION;
491
        }
492
      }
493
 
494
      // if the result was a midpoint it was rounded away from zero, so
495
      // it will need a correction
496
      // check for midpoints
497
      if ((fstar.w[1] == 0) && fstar.w[0] &&
498
          (fstar.w[0] <= ten2mk128trunc[ind - 1].w[1])) {
499
        // ten2mk128trunc[ind -1].w[1] is identical to 
500
        // ten2mk128[ind -1].w[1]
501
        // the result is a midpoint; round to nearest
502
        if (Cstar & 0x01) {     // Cstar is odd; MP in [EVEN, ODD]
503
          // if floor(C*) is odd C = floor(C*) - 1; the result >= 1
504
          Cstar--;      // Cstar is now even
505
        }       // else MP in [ODD, EVEN]
506
      }
507
      if (x_sign)
508
        res = -Cstar;
509
      else
510
        res = Cstar;
511
    } else if (exp == 0) {
512
      // 1 <= q <= 16
513
      // res = +/-C (exact)
514
      if (x_sign)
515
        res = -C1;
516
      else
517
        res = C1;
518
    } else {    // if (exp > 0) => 1 <= exp <= 18, 1 <= q <= 16, 2 <= q + exp <= 20
519
      // (the upper limit of 20 on q + exp is due to the fact that 
520
      // +/-C * 10^exp is guaranteed to fit in 64 bits) 
521
      // res = +/-C * 10^exp (exact)
522
      if (x_sign)
523
        res = -C1 * ten2k64[exp];
524
      else
525
        res = C1 * ten2k64[exp];
526
    }
527
  }
528
  BID_RETURN (res);
529
}
530
 
531
/*****************************************************************************
532
 *  BID64_to_int64_floor
533
 ****************************************************************************/
534
 
535
#if DECIMAL_CALL_BY_REFERENCE
536
void
537
bid64_to_int64_floor (SINT64 * pres, UINT64 * px
538
                      _EXC_FLAGS_PARAM _EXC_MASKS_PARAM
539
                      _EXC_INFO_PARAM) {
540
  UINT64 x = *px;
541
#else
542
SINT64
543
bid64_to_int64_floor (UINT64 x
544
                      _EXC_FLAGS_PARAM _EXC_MASKS_PARAM
545
                      _EXC_INFO_PARAM) {
546
#endif
547
  SINT64 res;
548
  UINT64 x_sign;
549
  UINT64 x_exp;
550
  int exp;                      // unbiased exponent
551
  // Note: C1 represents x_significand (UINT64)
552
  BID_UI64DOUBLE tmp1;
553
  unsigned int x_nr_bits;
554
  int q, ind, shift;
555
  UINT64 C1;
556
  UINT128 C;
557
  UINT64 Cstar;                 // C* represents up to 16 decimal digits ~ 54 bits
558
  UINT128 fstar;
559
  UINT128 P128;
560
 
561
  // check for NaN or Infinity
562
  if ((x & MASK_NAN) == MASK_NAN || (x & MASK_INF) == MASK_INF) {
563
    // set invalid flag
564
    *pfpsf |= INVALID_EXCEPTION;
565
    // return Integer Indefinite
566
    res = 0x8000000000000000ull;
567
    BID_RETURN (res);
568
  }
569
  // unpack x
570
  x_sign = x & MASK_SIGN;       // 0 for positive, MASK_SIGN for negative
571
  // if steering bits are 11 (condition will be 0), then exponent is G[0:w+1] =>
572
  if ((x & MASK_STEERING_BITS) == MASK_STEERING_BITS) {
573
    x_exp = (x & MASK_BINARY_EXPONENT2) >> 51;  // biased
574
    C1 = (x & MASK_BINARY_SIG2) | MASK_BINARY_OR2;
575
    if (C1 > 9999999999999999ull) {     // non-canonical
576
      x_exp = 0;
577
      C1 = 0;
578
    }
579
  } else {
580
    x_exp = (x & MASK_BINARY_EXPONENT1) >> 53;  // biased
581
    C1 = x & MASK_BINARY_SIG1;
582
  }
583
 
584
  // check for zeros (possibly from non-canonical values)
585
  if (C1 == 0x0ull) {
586
    // x is 0
587
    res = 0x0000000000000000ull;
588
    BID_RETURN (res);
589
  }
590
  // x is not special and is not zero
591
 
592
  // q = nr. of decimal digits in x (1 <= q <= 54)
593
  //  determine first the nr. of bits in x
594
  if (C1 >= 0x0020000000000000ull) {    // x >= 2^53
595
    // split the 64-bit value in two 32-bit halves to avoid rounding errors
596
    if (C1 >= 0x0000000100000000ull) {  // x >= 2^32
597
      tmp1.d = (double) (C1 >> 32);     // exact conversion
598
      x_nr_bits =
599
        33 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
600
    } else {    // x < 2^32
601
      tmp1.d = (double) C1;     // exact conversion
602
      x_nr_bits =
603
        1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
604
    }
605
  } else {      // if x < 2^53
606
    tmp1.d = (double) C1;       // exact conversion
607
    x_nr_bits =
608
      1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
609
  }
610
  q = nr_digits[x_nr_bits - 1].digits;
611
  if (q == 0) {
612
    q = nr_digits[x_nr_bits - 1].digits1;
613
    if (C1 >= nr_digits[x_nr_bits - 1].threshold_lo)
614
      q++;
615
  }
616
  exp = x_exp - 398;    // unbiased exponent
617
 
618
  if ((q + exp) > 19) { // x >= 10^19 ~= 2^63.11... (cannot fit in SINT64)
619
    // set invalid flag
620
    *pfpsf |= INVALID_EXCEPTION;
621
    // return Integer Indefinite
622
    res = 0x8000000000000000ull;
623
    BID_RETURN (res);
624
  } else if ((q + exp) == 19) { // x = c(0)c(1)...c(18).c(19)...c(q-1)
625
    // in this case 2^63.11... ~= 10^19 <= x < 10^20 ~= 2^66.43...
626
    // so x rounded to an integer may or may not fit in a signed 64-bit int
627
    // the cases that do not fit are identified here; the ones that fit
628
    // fall through and will be handled with other cases further,
629
    // under '1 <= q + exp <= 19'
630
    if (x_sign) {       // if n < 0 and q + exp = 19
631
      // if n < -2^63 then n is too large
632
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) > 2^63
633
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 >= 5*2^64, 1<=q<=16
634
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 > 0x50000000000000000, 1<=q<=16
635
      // <=> C * 10^(20-q) > 0x50000000000000000, 1<=q<=16
636
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
637
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
638
      // Note: C1 * 10^(11-q) has 19 or 20 digits; 0x5000000000000000a, has 20
639
      if (C.w[1] > 0x05ull || (C.w[1] == 0x05ull && C.w[0] != 0)) {
640
        // set invalid flag
641
        *pfpsf |= INVALID_EXCEPTION;
642
        // return Integer Indefinite
643
        res = 0x8000000000000000ull;
644
        BID_RETURN (res);
645
      }
646
      // else cases that can be rounded to a 64-bit int fall through
647
      // to '1 <= q + exp <= 19'
648
    } else {    // if n > 0 and q + exp = 19
649
      // if n >= 2^63 then n is too large
650
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) >= 2^63
651
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 >= 5*2^64, 1<=q<=16
652
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 >= 0x50000000000000000, 1<=q<=16
653
      // <=> if C * 10^(20-q) >= 0x50000000000000000, 1<=q<=16
654
      C.w[1] = 0x0000000000000005ull;
655
      C.w[0] = 0x0000000000000000ull;
656
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
657
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
658
      if (C.w[1] >= 0x05ull) {
659
        // actually C.w[1] == 0x05ull && C.w[0] >= 0x0000000000000000ull) {
660
        // set invalid flag
661
        *pfpsf |= INVALID_EXCEPTION;
662
        // return Integer Indefinite
663
        res = 0x8000000000000000ull;
664
        BID_RETURN (res);
665
      }
666
      // else cases that can be rounded to a 64-bit int fall through
667
      // to '1 <= q + exp <= 19'
668
    }   // end else if n > 0 and q + exp = 19
669
  }     // end else if ((q + exp) == 19)
670
 
671
  // n is not too large to be converted to int64: -2^63 <= n < 2^63
672
  // Note: some of the cases tested for above fall through to this point
673
  if ((q + exp) <= 0) {  // n = +/-0.0...c(0)c(1)...c(q-1)
674
    // return -1 or 0
675
    if (x_sign)
676
      res = 0xffffffffffffffffull;
677
    else
678
      res = 0x0000000000000000ull;
679
    BID_RETURN (res);
680
  } else {      // if (1 <= q + exp <= 19, 1 <= q <= 16, -15 <= exp <= 18)
681
    // -2^63 <= x <= -1 or 1 <= x < 2^63 so x can be rounded
682
    // to nearest to a 64-bit signed integer
683
    if (exp < 0) {       // 2 <= q <= 16, -15 <= exp <= -1, 1 <= q + exp <= 19
684
      ind = -exp;       // 1 <= ind <= 15; ind is a synonym for 'x'
685
      // chop off ind digits from the lower part of C1
686
      // C1 fits in 64 bits
687
      // calculate C* and f*
688
      // C* is actually floor(C*) in this case
689
      // C* and f* need shifting and masking, as shown by
690
      // shiftright128[] and maskhigh128[]
691
      // 1 <= x <= 15 
692
      // kx = 10^(-x) = ten2mk64[ind - 1]
693
      // C* = C1 * 10^(-x)
694
      // the approximation of 10^(-x) was rounded up to 54 bits
695
      __mul_64x64_to_128MACH (P128, C1, ten2mk64[ind - 1]);
696
      Cstar = P128.w[1];
697
      fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
698
      fstar.w[0] = P128.w[0];
699
      // the top Ex bits of 10^(-x) are T* = ten2mk128trunc[ind].w[0], e.g.
700
      // if x=1, T*=ten2mk128trunc[0].w[0]=0x1999999999999999
701
      // C* = floor(C*) (logical right shift; C has p decimal digits,
702
      //     correct by Property 1)
703
      // n = C* * 10^(e+x)
704
 
705
      // shift right C* by Ex-64 = shiftright128[ind]
706
      shift = shiftright128[ind - 1];   // 0 <= shift <= 39
707
      Cstar = Cstar >> shift;
708
      // determine inexactness of the rounding of C*
709
      // if (0 < f* < 10^(-x)) then
710
      //   the result is exact
711
      // else // if (f* > T*) then
712
      //   the result is inexact
713
      if (ind - 1 <= 2) {       // fstar.w[1] is 0
714
        if (fstar.w[0] > ten2mk128trunc[ind - 1].w[1]) {
715
          // ten2mk128trunc[ind -1].w[1] is identical to
716
          // ten2mk128[ind -1].w[1]
717
          if (x_sign) { // negative and inexact
718
            Cstar++;
719
          }
720
        }       // else the result is exact
721
      } else {  // if 3 <= ind - 1 <= 14
722
        if (fstar.w[1] || fstar.w[0] > ten2mk128trunc[ind - 1].w[1]) {
723
          // ten2mk128trunc[ind -1].w[1] is identical to
724
          // ten2mk128[ind -1].w[1]
725
          if (x_sign) { // negative and inexact
726
            Cstar++;
727
          }
728
        }       // else the result is exact
729
      }
730
 
731
      if (x_sign)
732
        res = -Cstar;
733
      else
734
        res = Cstar;
735
    } else if (exp == 0) {
736
      // 1 <= q <= 16
737
      // res = +/-C (exact)
738
      if (x_sign)
739
        res = -C1;
740
      else
741
        res = C1;
742
    } else {    // if (exp > 0) => 1 <= exp <= 18, 1 <= q <= 16, 2 <= q + exp <= 20
743
      // (the upper limit of 20 on q + exp is due to the fact that 
744
      // +/-C * 10^exp is guaranteed to fit in 64 bits) 
745
      // res = +/-C * 10^exp (exact)
746
      if (x_sign)
747
        res = -C1 * ten2k64[exp];
748
      else
749
        res = C1 * ten2k64[exp];
750
    }
751
  }
752
  BID_RETURN (res);
753
}
754
 
755
/*****************************************************************************
756
 *  BID64_to_int64_xfloor
757
 ****************************************************************************/
758
 
759
#if DECIMAL_CALL_BY_REFERENCE
760
void
761
bid64_to_int64_xfloor (SINT64 * pres, UINT64 * px
762
                       _EXC_FLAGS_PARAM _EXC_MASKS_PARAM
763
                       _EXC_INFO_PARAM) {
764
  UINT64 x = *px;
765
#else
766
SINT64
767
bid64_to_int64_xfloor (UINT64 x
768
                       _EXC_FLAGS_PARAM _EXC_MASKS_PARAM
769
                       _EXC_INFO_PARAM) {
770
#endif
771
  SINT64 res;
772
  UINT64 x_sign;
773
  UINT64 x_exp;
774
  int exp;                      // unbiased exponent
775
  // Note: C1 represents x_significand (UINT64)
776
  BID_UI64DOUBLE tmp1;
777
  unsigned int x_nr_bits;
778
  int q, ind, shift;
779
  UINT64 C1;
780
  UINT128 C;
781
  UINT64 Cstar;                 // C* represents up to 16 decimal digits ~ 54 bits
782
  UINT128 fstar;
783
  UINT128 P128;
784
 
785
  // check for NaN or Infinity
786
  if ((x & MASK_NAN) == MASK_NAN || (x & MASK_INF) == MASK_INF) {
787
    // set invalid flag
788
    *pfpsf |= INVALID_EXCEPTION;
789
    // return Integer Indefinite
790
    res = 0x8000000000000000ull;
791
    BID_RETURN (res);
792
  }
793
  // unpack x
794
  x_sign = x & MASK_SIGN;       // 0 for positive, MASK_SIGN for negative
795
  // if steering bits are 11 (condition will be 0), then exponent is G[0:w+1] =>
796
  if ((x & MASK_STEERING_BITS) == MASK_STEERING_BITS) {
797
    x_exp = (x & MASK_BINARY_EXPONENT2) >> 51;  // biased
798
    C1 = (x & MASK_BINARY_SIG2) | MASK_BINARY_OR2;
799
    if (C1 > 9999999999999999ull) {     // non-canonical
800
      x_exp = 0;
801
      C1 = 0;
802
    }
803
  } else {
804
    x_exp = (x & MASK_BINARY_EXPONENT1) >> 53;  // biased
805
    C1 = x & MASK_BINARY_SIG1;
806
  }
807
 
808
  // check for zeros (possibly from non-canonical values)
809
  if (C1 == 0x0ull) {
810
    // x is 0
811
    res = 0x0000000000000000ull;
812
    BID_RETURN (res);
813
  }
814
  // x is not special and is not zero
815
 
816
  // q = nr. of decimal digits in x (1 <= q <= 54)
817
  //  determine first the nr. of bits in x
818
  if (C1 >= 0x0020000000000000ull) {    // x >= 2^53
819
    // split the 64-bit value in two 32-bit halves to avoid rounding errors
820
    if (C1 >= 0x0000000100000000ull) {  // x >= 2^32
821
      tmp1.d = (double) (C1 >> 32);     // exact conversion
822
      x_nr_bits =
823
        33 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
824
    } else {    // x < 2^32
825
      tmp1.d = (double) C1;     // exact conversion
826
      x_nr_bits =
827
        1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
828
    }
829
  } else {      // if x < 2^53
830
    tmp1.d = (double) C1;       // exact conversion
831
    x_nr_bits =
832
      1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
833
  }
834
  q = nr_digits[x_nr_bits - 1].digits;
835
  if (q == 0) {
836
    q = nr_digits[x_nr_bits - 1].digits1;
837
    if (C1 >= nr_digits[x_nr_bits - 1].threshold_lo)
838
      q++;
839
  }
840
  exp = x_exp - 398;    // unbiased exponent
841
 
842
  if ((q + exp) > 19) { // x >= 10^19 ~= 2^63.11... (cannot fit in SINT64)
843
    // set invalid flag
844
    *pfpsf |= INVALID_EXCEPTION;
845
    // return Integer Indefinite
846
    res = 0x8000000000000000ull;
847
    BID_RETURN (res);
848
  } else if ((q + exp) == 19) { // x = c(0)c(1)...c(18).c(19)...c(q-1)
849
    // in this case 2^63.11... ~= 10^19 <= x < 10^20 ~= 2^66.43...
850
    // so x rounded to an integer may or may not fit in a signed 64-bit int
851
    // the cases that do not fit are identified here; the ones that fit
852
    // fall through and will be handled with other cases further,
853
    // under '1 <= q + exp <= 19'
854
    if (x_sign) {       // if n < 0 and q + exp = 19
855
      // if n < -2^63 then n is too large
856
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) > 2^63
857
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 >= 5*2^64, 1<=q<=16
858
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 > 0x50000000000000000, 1<=q<=16
859
      // <=> C * 10^(20-q) > 0x50000000000000000, 1<=q<=16
860
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
861
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
862
      // Note: C1 * 10^(11-q) has 19 or 20 digits; 0x5000000000000000a, has 20
863
      if (C.w[1] > 0x05ull || (C.w[1] == 0x05ull && C.w[0] != 0)) {
864
        // set invalid flag
865
        *pfpsf |= INVALID_EXCEPTION;
866
        // return Integer Indefinite
867
        res = 0x8000000000000000ull;
868
        BID_RETURN (res);
869
      }
870
      // else cases that can be rounded to a 64-bit int fall through
871
      // to '1 <= q + exp <= 19'
872
    } else {    // if n > 0 and q + exp = 19
873
      // if n >= 2^63 then n is too large
874
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) >= 2^63
875
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 >= 5*2^64, 1<=q<=16
876
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 >= 0x50000000000000000, 1<=q<=16
877
      // <=> if C * 10^(20-q) >= 0x50000000000000000, 1<=q<=16
878
      C.w[1] = 0x0000000000000005ull;
879
      C.w[0] = 0x0000000000000000ull;
880
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
881
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
882
      if (C.w[1] >= 0x05ull) {
883
        // actually C.w[1] == 0x05ull && C.w[0] >= 0x0000000000000000ull) {
884
        // set invalid flag
885
        *pfpsf |= INVALID_EXCEPTION;
886
        // return Integer Indefinite
887
        res = 0x8000000000000000ull;
888
        BID_RETURN (res);
889
      }
890
      // else cases that can be rounded to a 64-bit int fall through
891
      // to '1 <= q + exp <= 19'
892
    }   // end else if n > 0 and q + exp = 19
893
  }     // end else if ((q + exp) == 19)
894
 
895
  // n is not too large to be converted to int64: -2^63 <= n < 2^63
896
  // Note: some of the cases tested for above fall through to this point
897
  if ((q + exp) <= 0) {  // n = +/-0.0...c(0)c(1)...c(q-1)
898
    // set inexact flag
899
    *pfpsf |= INEXACT_EXCEPTION;
900
    // return -1 or 0
901
    if (x_sign)
902
      res = 0xffffffffffffffffull;
903
    else
904
      res = 0x0000000000000000ull;
905
    BID_RETURN (res);
906
  } else {      // if (1 <= q + exp <= 19, 1 <= q <= 16, -15 <= exp <= 18)
907
    // -2^63 <= x <= -1 or 1 <= x < 2^63 so x can be rounded
908
    // to nearest to a 64-bit signed integer
909
    if (exp < 0) {       // 2 <= q <= 16, -15 <= exp <= -1, 1 <= q + exp <= 19
910
      ind = -exp;       // 1 <= ind <= 15; ind is a synonym for 'x'
911
      // chop off ind digits from the lower part of C1
912
      // C1 fits in 64 bits
913
      // calculate C* and f*
914
      // C* is actually floor(C*) in this case
915
      // C* and f* need shifting and masking, as shown by
916
      // shiftright128[] and maskhigh128[]
917
      // 1 <= x <= 15 
918
      // kx = 10^(-x) = ten2mk64[ind - 1]
919
      // C* = C1 * 10^(-x)
920
      // the approximation of 10^(-x) was rounded up to 54 bits
921
      __mul_64x64_to_128MACH (P128, C1, ten2mk64[ind - 1]);
922
      Cstar = P128.w[1];
923
      fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
924
      fstar.w[0] = P128.w[0];
925
      // the top Ex bits of 10^(-x) are T* = ten2mk128trunc[ind].w[0], e.g.
926
      // if x=1, T*=ten2mk128trunc[0].w[0]=0x1999999999999999
927
      // C* = floor(C*) (logical right shift; C has p decimal digits,
928
      //     correct by Property 1)
929
      // n = C* * 10^(e+x)
930
 
931
      // shift right C* by Ex-64 = shiftright128[ind]
932
      shift = shiftright128[ind - 1];   // 0 <= shift <= 39
933
      Cstar = Cstar >> shift;
934
      // determine inexactness of the rounding of C*
935
      // if (0 < f* < 10^(-x)) then
936
      //   the result is exact
937
      // else // if (f* > T*) then
938
      //   the result is inexact
939
      if (ind - 1 <= 2) {       // fstar.w[1] is 0
940
        if (fstar.w[0] > ten2mk128trunc[ind - 1].w[1]) {
941
          // ten2mk128trunc[ind -1].w[1] is identical to
942
          // ten2mk128[ind -1].w[1]
943
          if (x_sign) { // negative and inexact
944
            Cstar++;
945
          }
946
          // set the inexact flag
947
          *pfpsf |= INEXACT_EXCEPTION;
948
        }       // else the result is exact
949
      } else {  // if 3 <= ind - 1 <= 14
950
        if (fstar.w[1] || fstar.w[0] > ten2mk128trunc[ind - 1].w[1]) {
951
          // ten2mk128trunc[ind -1].w[1] is identical to
952
          // ten2mk128[ind -1].w[1]
953
          if (x_sign) { // negative and inexact
954
            Cstar++;
955
          }
956
          // set the inexact flag
957
          *pfpsf |= INEXACT_EXCEPTION;
958
        }       // else the result is exact
959
      }
960
 
961
      if (x_sign)
962
        res = -Cstar;
963
      else
964
        res = Cstar;
965
    } else if (exp == 0) {
966
      // 1 <= q <= 16
967
      // res = +/-C (exact)
968
      if (x_sign)
969
        res = -C1;
970
      else
971
        res = C1;
972
    } else {    // if (exp > 0) => 1 <= exp <= 18, 1 <= q <= 16, 2 <= q + exp <= 20
973
      // (the upper limit of 20 on q + exp is due to the fact that 
974
      // +/-C * 10^exp is guaranteed to fit in 64 bits) 
975
      // res = +/-C * 10^exp (exact)
976
      if (x_sign)
977
        res = -C1 * ten2k64[exp];
978
      else
979
        res = C1 * ten2k64[exp];
980
    }
981
  }
982
  BID_RETURN (res);
983
}
984
 
985
/*****************************************************************************
986
 *  BID64_to_int64_ceil
987
 ****************************************************************************/
988
 
989
#if DECIMAL_CALL_BY_REFERENCE
990
void
991
bid64_to_int64_ceil (SINT64 * pres, UINT64 * px
992
                     _EXC_FLAGS_PARAM _EXC_MASKS_PARAM _EXC_INFO_PARAM)
993
{
994
  UINT64 x = *px;
995
#else
996
SINT64
997
bid64_to_int64_ceil (UINT64 x
998
                     _EXC_FLAGS_PARAM _EXC_MASKS_PARAM _EXC_INFO_PARAM)
999
{
1000
#endif
1001
  SINT64 res;
1002
  UINT64 x_sign;
1003
  UINT64 x_exp;
1004
  int exp;                      // unbiased exponent
1005
  // Note: C1 represents x_significand (UINT64)
1006
  BID_UI64DOUBLE tmp1;
1007
  unsigned int x_nr_bits;
1008
  int q, ind, shift;
1009
  UINT64 C1;
1010
  UINT128 C;
1011
  UINT64 Cstar;                 // C* represents up to 16 decimal digits ~ 54 bits
1012
  UINT128 fstar;
1013
  UINT128 P128;
1014
 
1015
  // check for NaN or Infinity
1016
  if ((x & MASK_NAN) == MASK_NAN || (x & MASK_INF) == MASK_INF) {
1017
    // set invalid flag
1018
    *pfpsf |= INVALID_EXCEPTION;
1019
    // return Integer Indefinite
1020
    res = 0x8000000000000000ull;
1021
    BID_RETURN (res);
1022
  }
1023
  // unpack x
1024
  x_sign = x & MASK_SIGN;       // 0 for positive, MASK_SIGN for negative
1025
  // if steering bits are 11 (condition will be 0), then exponent is G[0:w+1] =>
1026
  if ((x & MASK_STEERING_BITS) == MASK_STEERING_BITS) {
1027
    x_exp = (x & MASK_BINARY_EXPONENT2) >> 51;  // biased
1028
    C1 = (x & MASK_BINARY_SIG2) | MASK_BINARY_OR2;
1029
    if (C1 > 9999999999999999ull) {     // non-canonical
1030
      x_exp = 0;
1031
      C1 = 0;
1032
    }
1033
  } else {
1034
    x_exp = (x & MASK_BINARY_EXPONENT1) >> 53;  // biased
1035
    C1 = x & MASK_BINARY_SIG1;
1036
  }
1037
 
1038
  // check for zeros (possibly from non-canonical values)
1039
  if (C1 == 0x0ull) {
1040
    // x is 0
1041
    res = 0x00000000;
1042
    BID_RETURN (res);
1043
  }
1044
  // x is not special and is not zero
1045
 
1046
  // q = nr. of decimal digits in x (1 <= q <= 54)
1047
  //  determine first the nr. of bits in x
1048
  if (C1 >= 0x0020000000000000ull) {    // x >= 2^53
1049
    // split the 64-bit value in two 32-bit halves to avoid rounding errors
1050
    if (C1 >= 0x0000000100000000ull) {  // x >= 2^32
1051
      tmp1.d = (double) (C1 >> 32);     // exact conversion
1052
      x_nr_bits =
1053
        33 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
1054
    } else {    // x < 2^32
1055
      tmp1.d = (double) C1;     // exact conversion
1056
      x_nr_bits =
1057
        1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
1058
    }
1059
  } else {      // if x < 2^53
1060
    tmp1.d = (double) C1;       // exact conversion
1061
    x_nr_bits =
1062
      1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
1063
  }
1064
  q = nr_digits[x_nr_bits - 1].digits;
1065
  if (q == 0) {
1066
    q = nr_digits[x_nr_bits - 1].digits1;
1067
    if (C1 >= nr_digits[x_nr_bits - 1].threshold_lo)
1068
      q++;
1069
  }
1070
  exp = x_exp - 398;    // unbiased exponent
1071
 
1072
  if ((q + exp) > 19) { // x >= 10^19 ~= 2^63.11... (cannot fit in SINT64)
1073
    // set invalid flag
1074
    *pfpsf |= INVALID_EXCEPTION;
1075
    // return Integer Indefinite
1076
    res = 0x8000000000000000ull;
1077
    BID_RETURN (res);
1078
  } else if ((q + exp) == 19) { // x = c(0)c(1)...c(18).c(19)...c(q-1)
1079
    // in this case 2^63.11... ~= 10^19 <= x < 10^20 ~= 2^66.43...
1080
    // so x rounded to an integer may or may not fit in a signed 64-bit int
1081
    // the cases that do not fit are identified here; the ones that fit
1082
    // fall through and will be handled with other cases further,
1083
    // under '1 <= q + exp <= 19'
1084
    if (x_sign) {       // if n < 0 and q + exp = 19
1085
      // if n <= -2^63 - 1 then n is too large
1086
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) >= 2^63+1
1087
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 >= 5*(2^64+2), 1<=q<=16
1088
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 >= 0x5000000000000000a, 1<=q<=16
1089
      // <=> C * 10^(20-q) >= 0x5000000000000000a, 1<=q<=16
1090
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
1091
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
1092
      // Note: C1 * 10^(11-q) has 19 or 20 digits; 0x5000000000000000a, has 20
1093
      if (C.w[1] > 0x05ull || (C.w[1] == 0x05ull && C.w[0] >= 0x0aull)) {
1094
        // set invalid flag
1095
        *pfpsf |= INVALID_EXCEPTION;
1096
        // return Integer Indefinite
1097
        res = 0x8000000000000000ull;
1098
        BID_RETURN (res);
1099
      }
1100
      // else cases that can be rounded to a 64-bit int fall through
1101
      // to '1 <= q + exp <= 19'
1102
    } else {    // if n > 0 and q + exp = 19
1103
      // if n > 2^63 - 1 then n is too large
1104
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) > 2^63 - 1
1105
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 > 5*(2^64-2), 1<=q<=16
1106
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 > 0x4fffffffffffffff6, 1<=q<=16
1107
      // <=> if C * 10^(20-q) > 0x4fffffffffffffff6, 1<=q<=16
1108
      C.w[1] = 0x0000000000000004ull;
1109
      C.w[0] = 0xfffffffffffffff6ull;
1110
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
1111
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
1112
      if (C.w[1] > 0x04ull ||
1113
          (C.w[1] == 0x04ull && C.w[0] > 0xfffffffffffffff6ull)) {
1114
        // set invalid flag
1115
        *pfpsf |= INVALID_EXCEPTION;
1116
        // return Integer Indefinite
1117
        res = 0x8000000000000000ull;
1118
        BID_RETURN (res);
1119
      }
1120
      // else cases that can be rounded to a 64-bit int fall through
1121
      // to '1 <= q + exp <= 19'
1122
    }   // end else if n > 0 and q + exp = 19
1123
  }     // end else if ((q + exp) == 19)
1124
 
1125
  // n is not too large to be converted to int64: -2^63-1 < n < 2^63
1126
  // Note: some of the cases tested for above fall through to this point
1127
  if ((q + exp) <= 0) {  // n = +/-0.0...c(0)c(1)...c(q-1)
1128
    // return 0 or 1
1129
    if (x_sign)
1130
      res = 0x00000000;
1131
    else
1132
      res = 0x00000001;
1133
    BID_RETURN (res);
1134
  } else {      // if (1 <= q + exp <= 19, 1 <= q <= 16, -15 <= exp <= 18)
1135
    // -2^63-1 < x <= -1 or 1 <= x <= 2^63 - 1 so x can be rounded
1136
    // to nearest to a 64-bit signed integer
1137
    if (exp < 0) {       // 2 <= q <= 16, -15 <= exp <= -1, 1 <= q + exp <= 19
1138
      ind = -exp;       // 1 <= ind <= 15; ind is a synonym for 'x'
1139
      // chop off ind digits from the lower part of C1
1140
      // C1 fits in 64 bits
1141
      // calculate C* and f*
1142
      // C* is actually floor(C*) in this case
1143
      // C* and f* need shifting and masking, as shown by
1144
      // shiftright128[] and maskhigh128[]
1145
      // 1 <= x <= 15 
1146
      // kx = 10^(-x) = ten2mk64[ind - 1]
1147
      // C* = C1 * 10^(-x)
1148
      // the approximation of 10^(-x) was rounded up to 54 bits
1149
      __mul_64x64_to_128MACH (P128, C1, ten2mk64[ind - 1]);
1150
      Cstar = P128.w[1];
1151
      fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
1152
      fstar.w[0] = P128.w[0];
1153
      // the top Ex bits of 10^(-x) are T* = ten2mk128trunc[ind].w[0], e.g.
1154
      // if x=1, T*=ten2mk128trunc[0].w[0]=0x1999999999999999
1155
      // C* = floor(C*) (logical right shift; C has p decimal digits,
1156
      //     correct by Property 1)
1157
      // n = C* * 10^(e+x)
1158
 
1159
      // shift right C* by Ex-64 = shiftright128[ind]
1160
      shift = shiftright128[ind - 1];   // 0 <= shift <= 39
1161
      Cstar = Cstar >> shift;
1162
      // determine inexactness of the rounding of C*
1163
      // if (0 < f* < 10^(-x)) then
1164
      //   the result is exact
1165
      // else // if (f* > T*) then
1166
      //   the result is inexact
1167
      if (ind - 1 <= 2) {       // fstar.w[1] is 0
1168
        if (fstar.w[0] > ten2mk128trunc[ind - 1].w[1]) {
1169
          // ten2mk128trunc[ind -1].w[1] is identical to
1170
          // ten2mk128[ind -1].w[1]
1171
          if (!x_sign) {        // positive and inexact
1172
            Cstar++;
1173
          }
1174
        }       // else the result is exact
1175
      } else {  // if 3 <= ind - 1 <= 14
1176
        if (fstar.w[1] || fstar.w[0] > ten2mk128trunc[ind - 1].w[1]) {
1177
          // ten2mk128trunc[ind -1].w[1] is identical to
1178
          // ten2mk128[ind -1].w[1]
1179
          if (!x_sign) {        // positive and inexact
1180
            Cstar++;
1181
          }
1182
        }       // else the result is exact
1183
      }
1184
 
1185
      if (x_sign)
1186
        res = -Cstar;
1187
      else
1188
        res = Cstar;
1189
    } else if (exp == 0) {
1190
      // 1 <= q <= 16
1191
      // res = +/-C (exact)
1192
      if (x_sign)
1193
        res = -C1;
1194
      else
1195
        res = C1;
1196
    } else {    // if (exp > 0) => 1 <= exp <= 18, 1 <= q <= 16, 2 <= q + exp <= 20
1197
      // (the upper limit of 20 on q + exp is due to the fact that 
1198
      // +/-C * 10^exp is guaranteed to fit in 64 bits) 
1199
      // res = +/-C * 10^exp (exact)
1200
      if (x_sign)
1201
        res = -C1 * ten2k64[exp];
1202
      else
1203
        res = C1 * ten2k64[exp];
1204
    }
1205
  }
1206
  BID_RETURN (res);
1207
}
1208
 
1209
/*****************************************************************************
1210
 *  BID64_to_int64_xceil
1211
 ****************************************************************************/
1212
 
1213
#if DECIMAL_CALL_BY_REFERENCE
1214
void
1215
bid64_to_int64_xceil (SINT64 * pres, UINT64 * px
1216
                      _EXC_FLAGS_PARAM _EXC_MASKS_PARAM
1217
                      _EXC_INFO_PARAM) {
1218
  UINT64 x = *px;
1219
#else
1220
SINT64
1221
bid64_to_int64_xceil (UINT64 x
1222
                      _EXC_FLAGS_PARAM _EXC_MASKS_PARAM
1223
                      _EXC_INFO_PARAM) {
1224
#endif
1225
  SINT64 res;
1226
  UINT64 x_sign;
1227
  UINT64 x_exp;
1228
  int exp;                      // unbiased exponent
1229
  // Note: C1 represents x_significand (UINT64)
1230
  BID_UI64DOUBLE tmp1;
1231
  unsigned int x_nr_bits;
1232
  int q, ind, shift;
1233
  UINT64 C1;
1234
  UINT128 C;
1235
  UINT64 Cstar;                 // C* represents up to 16 decimal digits ~ 54 bits
1236
  UINT128 fstar;
1237
  UINT128 P128;
1238
 
1239
  // check for NaN or Infinity
1240
  if ((x & MASK_NAN) == MASK_NAN || (x & MASK_INF) == MASK_INF) {
1241
    // set invalid flag
1242
    *pfpsf |= INVALID_EXCEPTION;
1243
    // return Integer Indefinite
1244
    res = 0x8000000000000000ull;
1245
    BID_RETURN (res);
1246
  }
1247
  // unpack x
1248
  x_sign = x & MASK_SIGN;       // 0 for positive, MASK_SIGN for negative
1249
  // if steering bits are 11 (condition will be 0), then exponent is G[0:w+1] =>
1250
  if ((x & MASK_STEERING_BITS) == MASK_STEERING_BITS) {
1251
    x_exp = (x & MASK_BINARY_EXPONENT2) >> 51;  // biased
1252
    C1 = (x & MASK_BINARY_SIG2) | MASK_BINARY_OR2;
1253
    if (C1 > 9999999999999999ull) {     // non-canonical
1254
      x_exp = 0;
1255
      C1 = 0;
1256
    }
1257
  } else {
1258
    x_exp = (x & MASK_BINARY_EXPONENT1) >> 53;  // biased
1259
    C1 = x & MASK_BINARY_SIG1;
1260
  }
1261
 
1262
  // check for zeros (possibly from non-canonical values)
1263
  if (C1 == 0x0ull) {
1264
    // x is 0
1265
    res = 0x00000000;
1266
    BID_RETURN (res);
1267
  }
1268
  // x is not special and is not zero
1269
 
1270
  // q = nr. of decimal digits in x (1 <= q <= 54)
1271
  //  determine first the nr. of bits in x
1272
  if (C1 >= 0x0020000000000000ull) {    // x >= 2^53
1273
    // split the 64-bit value in two 32-bit halves to avoid rounding errors
1274
    if (C1 >= 0x0000000100000000ull) {  // x >= 2^32
1275
      tmp1.d = (double) (C1 >> 32);     // exact conversion
1276
      x_nr_bits =
1277
        33 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
1278
    } else {    // x < 2^32
1279
      tmp1.d = (double) C1;     // exact conversion
1280
      x_nr_bits =
1281
        1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
1282
    }
1283
  } else {      // if x < 2^53
1284
    tmp1.d = (double) C1;       // exact conversion
1285
    x_nr_bits =
1286
      1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
1287
  }
1288
  q = nr_digits[x_nr_bits - 1].digits;
1289
  if (q == 0) {
1290
    q = nr_digits[x_nr_bits - 1].digits1;
1291
    if (C1 >= nr_digits[x_nr_bits - 1].threshold_lo)
1292
      q++;
1293
  }
1294
  exp = x_exp - 398;    // unbiased exponent
1295
 
1296
  if ((q + exp) > 19) { // x >= 10^19 ~= 2^63.11... (cannot fit in SINT64)
1297
    // set invalid flag
1298
    *pfpsf |= INVALID_EXCEPTION;
1299
    // return Integer Indefinite
1300
    res = 0x8000000000000000ull;
1301
    BID_RETURN (res);
1302
  } else if ((q + exp) == 19) { // x = c(0)c(1)...c(18).c(19)...c(q-1)
1303
    // in this case 2^63.11... ~= 10^19 <= x < 10^20 ~= 2^66.43...
1304
    // so x rounded to an integer may or may not fit in a signed 64-bit int
1305
    // the cases that do not fit are identified here; the ones that fit
1306
    // fall through and will be handled with other cases further,
1307
    // under '1 <= q + exp <= 19'
1308
    if (x_sign) {       // if n < 0 and q + exp = 19
1309
      // if n <= -2^63 - 1 then n is too large
1310
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) >= 2^63+1
1311
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 >= 5*(2^64+2), 1<=q<=16
1312
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 >= 0x5000000000000000a, 1<=q<=16
1313
      // <=> C * 10^(20-q) >= 0x5000000000000000a, 1<=q<=16
1314
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
1315
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
1316
      // Note: C1 * 10^(11-q) has 19 or 20 digits; 0x5000000000000000a, has 20
1317
      if (C.w[1] > 0x05ull || (C.w[1] == 0x05ull && C.w[0] >= 0x0aull)) {
1318
        // set invalid flag
1319
        *pfpsf |= INVALID_EXCEPTION;
1320
        // return Integer Indefinite
1321
        res = 0x8000000000000000ull;
1322
        BID_RETURN (res);
1323
      }
1324
      // else cases that can be rounded to a 64-bit int fall through
1325
      // to '1 <= q + exp <= 19'
1326
    } else {    // if n > 0 and q + exp = 19
1327
      // if n > 2^63 - 1 then n is too large
1328
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) > 2^63 - 1
1329
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 > 5*(2^64-2), 1<=q<=16
1330
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 > 0x4fffffffffffffff6, 1<=q<=16
1331
      // <=> if C * 10^(20-q) > 0x4fffffffffffffff6, 1<=q<=16
1332
      C.w[1] = 0x0000000000000004ull;
1333
      C.w[0] = 0xfffffffffffffff6ull;
1334
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
1335
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
1336
      if (C.w[1] > 0x04ull ||
1337
          (C.w[1] == 0x04ull && C.w[0] > 0xfffffffffffffff6ull)) {
1338
        // set invalid flag
1339
        *pfpsf |= INVALID_EXCEPTION;
1340
        // return Integer Indefinite
1341
        res = 0x8000000000000000ull;
1342
        BID_RETURN (res);
1343
      }
1344
      // else cases that can be rounded to a 64-bit int fall through
1345
      // to '1 <= q + exp <= 19'
1346
    }   // end else if n > 0 and q + exp = 19
1347
  }     // end else if ((q + exp) == 19)
1348
 
1349
  // n is not too large to be converted to int64: -2^63-1 < n < 2^63
1350
  // Note: some of the cases tested for above fall through to this point
1351
  if ((q + exp) <= 0) {  // n = +/-0.0...c(0)c(1)...c(q-1)
1352
    // set inexact flag
1353
    *pfpsf |= INEXACT_EXCEPTION;
1354
    // return 0 or 1
1355
    if (x_sign)
1356
      res = 0x00000000;
1357
    else
1358
      res = 0x00000001;
1359
    BID_RETURN (res);
1360
  } else {      // if (1 <= q + exp <= 19, 1 <= q <= 16, -15 <= exp <= 18)
1361
    // -2^63-1 < x <= -1 or 1 <= x <= 2^63 - 1 so x can be rounded
1362
    // to nearest to a 64-bit signed integer
1363
    if (exp < 0) {       // 2 <= q <= 16, -15 <= exp <= -1, 1 <= q + exp <= 19
1364
      ind = -exp;       // 1 <= ind <= 15; ind is a synonym for 'x'
1365
      // chop off ind digits from the lower part of C1
1366
      // C1 fits in 64 bits
1367
      // calculate C* and f*
1368
      // C* is actually floor(C*) in this case
1369
      // C* and f* need shifting and masking, as shown by
1370
      // shiftright128[] and maskhigh128[]
1371
      // 1 <= x <= 15 
1372
      // kx = 10^(-x) = ten2mk64[ind - 1]
1373
      // C* = C1 * 10^(-x)
1374
      // the approximation of 10^(-x) was rounded up to 54 bits
1375
      __mul_64x64_to_128MACH (P128, C1, ten2mk64[ind - 1]);
1376
      Cstar = P128.w[1];
1377
      fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
1378
      fstar.w[0] = P128.w[0];
1379
      // the top Ex bits of 10^(-x) are T* = ten2mk128trunc[ind].w[0], e.g.
1380
      // if x=1, T*=ten2mk128trunc[0].w[0]=0x1999999999999999
1381
      // C* = floor(C*) (logical right shift; C has p decimal digits,
1382
      //     correct by Property 1)
1383
      // n = C* * 10^(e+x)
1384
 
1385
      // shift right C* by Ex-64 = shiftright128[ind]
1386
      shift = shiftright128[ind - 1];   // 0 <= shift <= 39
1387
      Cstar = Cstar >> shift;
1388
      // determine inexactness of the rounding of C*
1389
      // if (0 < f* < 10^(-x)) then
1390
      //   the result is exact
1391
      // else // if (f* > T*) then
1392
      //   the result is inexact
1393
      if (ind - 1 <= 2) {       // fstar.w[1] is 0
1394
        if (fstar.w[0] > ten2mk128trunc[ind - 1].w[1]) {
1395
          // ten2mk128trunc[ind -1].w[1] is identical to
1396
          // ten2mk128[ind -1].w[1]
1397
          if (!x_sign) {        // positive and inexact
1398
            Cstar++;
1399
          }
1400
          // set the inexact flag
1401
          *pfpsf |= INEXACT_EXCEPTION;
1402
        }       // else the result is exact
1403
      } else {  // if 3 <= ind - 1 <= 14
1404
        if (fstar.w[1] || fstar.w[0] > ten2mk128trunc[ind - 1].w[1]) {
1405
          // ten2mk128trunc[ind -1].w[1] is identical to
1406
          // ten2mk128[ind -1].w[1]
1407
          if (!x_sign) {        // positive and inexact
1408
            Cstar++;
1409
          }
1410
          // set the inexact flag
1411
          *pfpsf |= INEXACT_EXCEPTION;
1412
        }       // else the result is exact
1413
      }
1414
 
1415
      if (x_sign)
1416
        res = -Cstar;
1417
      else
1418
        res = Cstar;
1419
    } else if (exp == 0) {
1420
      // 1 <= q <= 16
1421
      // res = +/-C (exact)
1422
      if (x_sign)
1423
        res = -C1;
1424
      else
1425
        res = C1;
1426
    } else {    // if (exp > 0) => 1 <= exp <= 18, 1 <= q <= 16, 2 <= q + exp <= 20
1427
      // (the upper limit of 20 on q + exp is due to the fact that 
1428
      // +/-C * 10^exp is guaranteed to fit in 64 bits) 
1429
      // res = +/-C * 10^exp (exact)
1430
      if (x_sign)
1431
        res = -C1 * ten2k64[exp];
1432
      else
1433
        res = C1 * ten2k64[exp];
1434
    }
1435
  }
1436
  BID_RETURN (res);
1437
}
1438
 
1439
/*****************************************************************************
1440
 *  BID64_to_int64_int
1441
 ****************************************************************************/
1442
 
1443
#if DECIMAL_CALL_BY_REFERENCE
1444
void
1445
bid64_to_int64_int (SINT64 * pres, UINT64 * px
1446
                    _EXC_FLAGS_PARAM _EXC_MASKS_PARAM _EXC_INFO_PARAM) {
1447
  UINT64 x = *px;
1448
#else
1449
SINT64
1450
bid64_to_int64_int (UINT64 x
1451
                    _EXC_FLAGS_PARAM _EXC_MASKS_PARAM _EXC_INFO_PARAM) {
1452
#endif
1453
  SINT64 res;
1454
  UINT64 x_sign;
1455
  UINT64 x_exp;
1456
  int exp;                      // unbiased exponent
1457
  // Note: C1 represents x_significand (UINT64)
1458
  BID_UI64DOUBLE tmp1;
1459
  unsigned int x_nr_bits;
1460
  int q, ind, shift;
1461
  UINT64 C1;
1462
  UINT128 C;
1463
  UINT64 Cstar;                 // C* represents up to 16 decimal digits ~ 54 bits
1464
  UINT128 P128;
1465
 
1466
  // check for NaN or Infinity
1467
  if ((x & MASK_NAN) == MASK_NAN || (x & MASK_INF) == MASK_INF) {
1468
    // set invalid flag
1469
    *pfpsf |= INVALID_EXCEPTION;
1470
    // return Integer Indefinite
1471
    res = 0x8000000000000000ull;
1472
    BID_RETURN (res);
1473
  }
1474
  // unpack x
1475
  x_sign = x & MASK_SIGN;       // 0 for positive, MASK_SIGN for negative
1476
  // if steering bits are 11 (condition will be 0), then exponent is G[0:w+1] =>
1477
  if ((x & MASK_STEERING_BITS) == MASK_STEERING_BITS) {
1478
    x_exp = (x & MASK_BINARY_EXPONENT2) >> 51;  // biased
1479
    C1 = (x & MASK_BINARY_SIG2) | MASK_BINARY_OR2;
1480
    if (C1 > 9999999999999999ull) {     // non-canonical
1481
      x_exp = 0;
1482
      C1 = 0;
1483
    }
1484
  } else {
1485
    x_exp = (x & MASK_BINARY_EXPONENT1) >> 53;  // biased
1486
    C1 = x & MASK_BINARY_SIG1;
1487
  }
1488
 
1489
  // check for zeros (possibly from non-canonical values)
1490
  if (C1 == 0x0ull) {
1491
    // x is 0
1492
    res = 0x00000000;
1493
    BID_RETURN (res);
1494
  }
1495
  // x is not special and is not zero
1496
 
1497
  // q = nr. of decimal digits in x (1 <= q <= 54)
1498
  //  determine first the nr. of bits in x
1499
  if (C1 >= 0x0020000000000000ull) {    // x >= 2^53
1500
    // split the 64-bit value in two 32-bit halves to avoid rounding errors
1501
    if (C1 >= 0x0000000100000000ull) {  // x >= 2^32
1502
      tmp1.d = (double) (C1 >> 32);     // exact conversion
1503
      x_nr_bits =
1504
        33 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
1505
    } else {    // x < 2^32
1506
      tmp1.d = (double) C1;     // exact conversion
1507
      x_nr_bits =
1508
        1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
1509
    }
1510
  } else {      // if x < 2^53
1511
    tmp1.d = (double) C1;       // exact conversion
1512
    x_nr_bits =
1513
      1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
1514
  }
1515
  q = nr_digits[x_nr_bits - 1].digits;
1516
  if (q == 0) {
1517
    q = nr_digits[x_nr_bits - 1].digits1;
1518
    if (C1 >= nr_digits[x_nr_bits - 1].threshold_lo)
1519
      q++;
1520
  }
1521
  exp = x_exp - 398;    // unbiased exponent
1522
 
1523
  if ((q + exp) > 19) { // x >= 10^19 ~= 2^63.11... (cannot fit in SINT64)
1524
    // set invalid flag
1525
    *pfpsf |= INVALID_EXCEPTION;
1526
    // return Integer Indefinite
1527
    res = 0x8000000000000000ull;
1528
    BID_RETURN (res);
1529
  } else if ((q + exp) == 19) { // x = c(0)c(1)...c(18).c(19)...c(q-1)
1530
    // in this case 2^63.11... ~= 10^19 <= x < 10^20 ~= 2^66.43...
1531
    // so x rounded to an integer may or may not fit in a signed 64-bit int
1532
    // the cases that do not fit are identified here; the ones that fit
1533
    // fall through and will be handled with other cases further,
1534
    // under '1 <= q + exp <= 19'
1535
    if (x_sign) {       // if n < 0 and q + exp = 19
1536
      // if n <= -2^63 - 1 then n is too large
1537
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) >= 2^63+1
1538
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 >= 5*(2^64+2), 1<=q<=16
1539
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 >= 0x5000000000000000a, 1<=q<=16
1540
      // <=> C * 10^(20-q) >= 0x5000000000000000a, 1<=q<=16
1541
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
1542
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
1543
      // Note: C1 * 10^(11-q) has 19 or 20 digits; 0x5000000000000000a, has 20
1544
      if (C.w[1] > 0x05ull || (C.w[1] == 0x05ull && C.w[0] >= 0x0aull)) {
1545
        // set invalid flag
1546
        *pfpsf |= INVALID_EXCEPTION;
1547
        // return Integer Indefinite
1548
        res = 0x8000000000000000ull;
1549
        BID_RETURN (res);
1550
      }
1551
      // else cases that can be rounded to a 64-bit int fall through
1552
      // to '1 <= q + exp <= 19'
1553
    } else {    // if n > 0 and q + exp = 19
1554
      // if n >= 2^63 then n is too large
1555
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) >= 2^63
1556
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 >= 5*2^64, 1<=q<=16
1557
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 >= 0x50000000000000000, 1<=q<=16
1558
      // <=> if C * 10^(20-q) >= 0x50000000000000000, 1<=q<=16
1559
      C.w[1] = 0x0000000000000005ull;
1560
      C.w[0] = 0x0000000000000000ull;
1561
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
1562
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
1563
      if (C.w[1] >= 0x05ull) {
1564
        // actually C.w[1] == 0x05ull && C.w[0] >= 0x0000000000000000ull) {
1565
        // set invalid flag
1566
        *pfpsf |= INVALID_EXCEPTION;
1567
        // return Integer Indefinite
1568
        res = 0x8000000000000000ull;
1569
        BID_RETURN (res);
1570
      }
1571
      // else cases that can be rounded to a 64-bit int fall through
1572
      // to '1 <= q + exp <= 19'
1573
    }   // end else if n > 0 and q + exp = 19
1574
  }     // end else if ((q + exp) == 19)
1575
 
1576
  // n is not too large to be converted to int64: -2^63-1 < n < 2^63
1577
  // Note: some of the cases tested for above fall through to this point
1578
  if ((q + exp) <= 0) {  // n = +/-0.0...c(0)c(1)...c(q-1)
1579
    // return 0
1580
    res = 0x0000000000000000ull;
1581
    BID_RETURN (res);
1582
  } else {      // if (1 <= q + exp <= 19, 1 <= q <= 16, -15 <= exp <= 18)
1583
    // -2^63-1 < x <= -1 or 1 <= x < 2^63 so x can be rounded
1584
    // to nearest to a 64-bit signed integer
1585
    if (exp < 0) {       // 2 <= q <= 16, -15 <= exp <= -1, 1 <= q + exp <= 19
1586
      ind = -exp;       // 1 <= ind <= 15; ind is a synonym for 'x'
1587
      // chop off ind digits from the lower part of C1
1588
      // C1 fits in 64 bits
1589
      // calculate C* and f*
1590
      // C* is actually floor(C*) in this case
1591
      // C* and f* need shifting and masking, as shown by
1592
      // shiftright128[] and maskhigh128[]
1593
      // 1 <= x <= 15 
1594
      // kx = 10^(-x) = ten2mk64[ind - 1]
1595
      // C* = C1 * 10^(-x)
1596
      // the approximation of 10^(-x) was rounded up to 54 bits
1597
      __mul_64x64_to_128MACH (P128, C1, ten2mk64[ind - 1]);
1598
      Cstar = P128.w[1];
1599
      // the top Ex bits of 10^(-x) are T* = ten2mk128trunc[ind].w[0], e.g.
1600
      // if x=1, T*=ten2mk128trunc[0].w[0]=0x1999999999999999
1601
      // C* = floor(C*) (logical right shift; C has p decimal digits,
1602
      //     correct by Property 1)
1603
      // n = C* * 10^(e+x)
1604
 
1605
      // shift right C* by Ex-64 = shiftright128[ind]
1606
      shift = shiftright128[ind - 1];   // 0 <= shift <= 39
1607
      Cstar = Cstar >> shift;
1608
 
1609
      if (x_sign)
1610
        res = -Cstar;
1611
      else
1612
        res = Cstar;
1613
    } else if (exp == 0) {
1614
      // 1 <= q <= 16
1615
      // res = +/-C (exact)
1616
      if (x_sign)
1617
        res = -C1;
1618
      else
1619
        res = C1;
1620
    } else {    // if (exp > 0) => 1 <= exp <= 18, 1 <= q <= 16, 2 <= q + exp <= 20
1621
      // (the upper limit of 20 on q + exp is due to the fact that 
1622
      // +/-C * 10^exp is guaranteed to fit in 64 bits) 
1623
      // res = +/-C * 10^exp (exact)
1624
      if (x_sign)
1625
        res = -C1 * ten2k64[exp];
1626
      else
1627
        res = C1 * ten2k64[exp];
1628
    }
1629
  }
1630
  BID_RETURN (res);
1631
}
1632
 
1633
/*****************************************************************************
1634
 *  BID64_to_int64_xint
1635
 ****************************************************************************/
1636
 
1637
#if DECIMAL_CALL_BY_REFERENCE
1638
void
1639
bid64_to_int64_xint (SINT64 * pres, UINT64 * px
1640
                     _EXC_FLAGS_PARAM _EXC_MASKS_PARAM _EXC_INFO_PARAM)
1641
{
1642
  UINT64 x = *px;
1643
#else
1644
SINT64
1645
bid64_to_int64_xint (UINT64 x
1646
                     _EXC_FLAGS_PARAM _EXC_MASKS_PARAM _EXC_INFO_PARAM)
1647
{
1648
#endif
1649
  SINT64 res;
1650
  UINT64 x_sign;
1651
  UINT64 x_exp;
1652
  int exp;                      // unbiased exponent
1653
  // Note: C1 represents x_significand (UINT64)
1654
  BID_UI64DOUBLE tmp1;
1655
  unsigned int x_nr_bits;
1656
  int q, ind, shift;
1657
  UINT64 C1;
1658
  UINT128 C;
1659
  UINT64 Cstar;                 // C* represents up to 16 decimal digits ~ 54 bits
1660
  UINT128 fstar;
1661
  UINT128 P128;
1662
 
1663
  // check for NaN or Infinity
1664
  if ((x & MASK_NAN) == MASK_NAN || (x & MASK_INF) == MASK_INF) {
1665
    // set invalid flag
1666
    *pfpsf |= INVALID_EXCEPTION;
1667
    // return Integer Indefinite
1668
    res = 0x8000000000000000ull;
1669
    BID_RETURN (res);
1670
  }
1671
  // unpack x
1672
  x_sign = x & MASK_SIGN;       // 0 for positive, MASK_SIGN for negative
1673
  // if steering bits are 11 (condition will be 0), then exponent is G[0:w+1] =>
1674
  if ((x & MASK_STEERING_BITS) == MASK_STEERING_BITS) {
1675
    x_exp = (x & MASK_BINARY_EXPONENT2) >> 51;  // biased
1676
    C1 = (x & MASK_BINARY_SIG2) | MASK_BINARY_OR2;
1677
    if (C1 > 9999999999999999ull) {     // non-canonical
1678
      x_exp = 0;
1679
      C1 = 0;
1680
    }
1681
  } else {
1682
    x_exp = (x & MASK_BINARY_EXPONENT1) >> 53;  // biased
1683
    C1 = x & MASK_BINARY_SIG1;
1684
  }
1685
 
1686
  // check for zeros (possibly from non-canonical values)
1687
  if (C1 == 0x0ull) {
1688
    // x is 0
1689
    res = 0x00000000;
1690
    BID_RETURN (res);
1691
  }
1692
  // x is not special and is not zero
1693
 
1694
  // q = nr. of decimal digits in x (1 <= q <= 54)
1695
  //  determine first the nr. of bits in x
1696
  if (C1 >= 0x0020000000000000ull) {    // x >= 2^53
1697
    // split the 64-bit value in two 32-bit halves to avoid rounding errors
1698
    if (C1 >= 0x0000000100000000ull) {  // x >= 2^32
1699
      tmp1.d = (double) (C1 >> 32);     // exact conversion
1700
      x_nr_bits =
1701
        33 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
1702
    } else {    // x < 2^32
1703
      tmp1.d = (double) C1;     // exact conversion
1704
      x_nr_bits =
1705
        1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
1706
    }
1707
  } else {      // if x < 2^53
1708
    tmp1.d = (double) C1;       // exact conversion
1709
    x_nr_bits =
1710
      1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
1711
  }
1712
  q = nr_digits[x_nr_bits - 1].digits;
1713
  if (q == 0) {
1714
    q = nr_digits[x_nr_bits - 1].digits1;
1715
    if (C1 >= nr_digits[x_nr_bits - 1].threshold_lo)
1716
      q++;
1717
  }
1718
  exp = x_exp - 398;    // unbiased exponent
1719
 
1720
  if ((q + exp) > 19) { // x >= 10^19 ~= 2^63.11... (cannot fit in SINT64)
1721
    // set invalid flag
1722
    *pfpsf |= INVALID_EXCEPTION;
1723
    // return Integer Indefinite
1724
    res = 0x8000000000000000ull;
1725
    BID_RETURN (res);
1726
  } else if ((q + exp) == 19) { // x = c(0)c(1)...c(18).c(19)...c(q-1)
1727
    // in this case 2^63.11... ~= 10^19 <= x < 10^20 ~= 2^66.43...
1728
    // so x rounded to an integer may or may not fit in a signed 64-bit int
1729
    // the cases that do not fit are identified here; the ones that fit
1730
    // fall through and will be handled with other cases further,
1731
    // under '1 <= q + exp <= 19'
1732
    if (x_sign) {       // if n < 0 and q + exp = 19
1733
      // if n <= -2^63 - 1 then n is too large
1734
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) >= 2^63+1
1735
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 >= 5*(2^64+2), 1<=q<=16
1736
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 >= 0x5000000000000000a, 1<=q<=16
1737
      // <=> C * 10^(20-q) >= 0x5000000000000000a, 1<=q<=16
1738
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
1739
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
1740
      // Note: C1 * 10^(11-q) has 19 or 20 digits; 0x5000000000000000a, has 20
1741
      if (C.w[1] > 0x05ull || (C.w[1] == 0x05ull && C.w[0] >= 0x0aull)) {
1742
        // set invalid flag
1743
        *pfpsf |= INVALID_EXCEPTION;
1744
        // return Integer Indefinite
1745
        res = 0x8000000000000000ull;
1746
        BID_RETURN (res);
1747
      }
1748
      // else cases that can be rounded to a 64-bit int fall through
1749
      // to '1 <= q + exp <= 19'
1750
    } else {    // if n > 0 and q + exp = 19
1751
      // if n >= 2^63 then n is too large
1752
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) >= 2^63
1753
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 >= 5*2^64, 1<=q<=16
1754
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 >= 0x50000000000000000, 1<=q<=16
1755
      // <=> if C * 10^(20-q) >= 0x50000000000000000, 1<=q<=16
1756
      C.w[1] = 0x0000000000000005ull;
1757
      C.w[0] = 0x0000000000000000ull;
1758
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
1759
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
1760
      if (C.w[1] >= 0x05ull) {
1761
        // actually C.w[1] == 0x05ull && C.w[0] >= 0x0000000000000000ull) {
1762
        // set invalid flag
1763
        *pfpsf |= INVALID_EXCEPTION;
1764
        // return Integer Indefinite
1765
        res = 0x8000000000000000ull;
1766
        BID_RETURN (res);
1767
      }
1768
      // else cases that can be rounded to a 64-bit int fall through
1769
      // to '1 <= q + exp <= 19'
1770
    }   // end else if n > 0 and q + exp = 19
1771
  }     // end else if ((q + exp) == 19)
1772
 
1773
  // n is not too large to be converted to int64: -2^63-1 < n < 2^63
1774
  // Note: some of the cases tested for above fall through to this point
1775
  if ((q + exp) <= 0) {  // n = +/-0.0...c(0)c(1)...c(q-1)
1776
    // set inexact flag
1777
    *pfpsf |= INEXACT_EXCEPTION;
1778
    // return 0
1779
    res = 0x0000000000000000ull;
1780
    BID_RETURN (res);
1781
  } else {      // if (1 <= q + exp <= 19, 1 <= q <= 16, -15 <= exp <= 18)
1782
    // -2^63-1 < x <= -1 or 1 <= x < 2^63 so x can be rounded
1783
    // to nearest to a 64-bit signed integer
1784
    if (exp < 0) {       // 2 <= q <= 16, -15 <= exp <= -1, 1 <= q + exp <= 19
1785
      ind = -exp;       // 1 <= ind <= 15; ind is a synonym for 'x'
1786
      // chop off ind digits from the lower part of C1
1787
      // C1 fits in 64 bits
1788
      // calculate C* and f*
1789
      // C* is actually floor(C*) in this case
1790
      // C* and f* need shifting and masking, as shown by
1791
      // shiftright128[] and maskhigh128[]
1792
      // 1 <= x <= 15 
1793
      // kx = 10^(-x) = ten2mk64[ind - 1]
1794
      // C* = C1 * 10^(-x)
1795
      // the approximation of 10^(-x) was rounded up to 54 bits
1796
      __mul_64x64_to_128MACH (P128, C1, ten2mk64[ind - 1]);
1797
      Cstar = P128.w[1];
1798
      fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
1799
      fstar.w[0] = P128.w[0];
1800
      // the top Ex bits of 10^(-x) are T* = ten2mk128trunc[ind].w[0], e.g.
1801
      // if x=1, T*=ten2mk128trunc[0].w[0]=0x1999999999999999
1802
      // C* = floor(C*) (logical right shift; C has p decimal digits,
1803
      //     correct by Property 1)
1804
      // n = C* * 10^(e+x)
1805
 
1806
      // shift right C* by Ex-64 = shiftright128[ind]
1807
      shift = shiftright128[ind - 1];   // 0 <= shift <= 39
1808
      Cstar = Cstar >> shift;
1809
      // determine inexactness of the rounding of C*
1810
      // if (0 < f* < 10^(-x)) then
1811
      //   the result is exact
1812
      // else // if (f* > T*) then
1813
      //   the result is inexact
1814
      if (ind - 1 <= 2) {       // fstar.w[1] is 0
1815
        if (fstar.w[0] > ten2mk128trunc[ind - 1].w[1]) {
1816
          // ten2mk128trunc[ind -1].w[1] is identical to
1817
          // ten2mk128[ind -1].w[1]
1818
          // set the inexact flag
1819
          *pfpsf |= INEXACT_EXCEPTION;
1820
        }       // else the result is exact
1821
      } else {  // if 3 <= ind - 1 <= 14
1822
        if (fstar.w[1] || fstar.w[0] > ten2mk128trunc[ind - 1].w[1]) {
1823
          // ten2mk128trunc[ind -1].w[1] is identical to
1824
          // ten2mk128[ind -1].w[1]
1825
          // set the inexact flag
1826
          *pfpsf |= INEXACT_EXCEPTION;
1827
        }       // else the result is exact
1828
      }
1829
      if (x_sign)
1830
        res = -Cstar;
1831
      else
1832
        res = Cstar;
1833
    } else if (exp == 0) {
1834
      // 1 <= q <= 16
1835
      // res = +/-C (exact)
1836
      if (x_sign)
1837
        res = -C1;
1838
      else
1839
        res = C1;
1840
    } else {    // if (exp > 0) => 1 <= exp <= 18, 1 <= q <= 16, 2 <= q + exp <= 20
1841
      // (the upper limit of 20 on q + exp is due to the fact that 
1842
      // +/-C * 10^exp is guaranteed to fit in 64 bits) 
1843
      // res = +/-C * 10^exp (exact)
1844
      if (x_sign)
1845
        res = -C1 * ten2k64[exp];
1846
      else
1847
        res = C1 * ten2k64[exp];
1848
    }
1849
  }
1850
  BID_RETURN (res);
1851
}
1852
 
1853
/*****************************************************************************
1854
 *  BID64_to_int64_rninta
1855
 ****************************************************************************/
1856
 
1857
#if DECIMAL_CALL_BY_REFERENCE
1858
void
1859
bid64_to_int64_rninta (SINT64 * pres, UINT64 * px
1860
                       _EXC_FLAGS_PARAM _EXC_MASKS_PARAM
1861
                       _EXC_INFO_PARAM) {
1862
  UINT64 x = *px;
1863
#else
1864
SINT64
1865
bid64_to_int64_rninta (UINT64 x
1866
                       _EXC_FLAGS_PARAM _EXC_MASKS_PARAM
1867
                       _EXC_INFO_PARAM) {
1868
#endif
1869
  SINT64 res;
1870
  UINT64 x_sign;
1871
  UINT64 x_exp;
1872
  int exp;                      // unbiased exponent
1873
  // Note: C1 represents x_significand (UINT64)
1874
  BID_UI64DOUBLE tmp1;
1875
  unsigned int x_nr_bits;
1876
  int q, ind, shift;
1877
  UINT64 C1;
1878
  UINT128 C;
1879
  UINT64 Cstar;                 // C* represents up to 16 decimal digits ~ 54 bits
1880
  UINT128 P128;
1881
 
1882
  // check for NaN or Infinity
1883
  if ((x & MASK_NAN) == MASK_NAN || (x & MASK_INF) == MASK_INF) {
1884
    // set invalid flag
1885
    *pfpsf |= INVALID_EXCEPTION;
1886
    // return Integer Indefinite
1887
    res = 0x8000000000000000ull;
1888
    BID_RETURN (res);
1889
  }
1890
  // unpack x
1891
  x_sign = x & MASK_SIGN;       // 0 for positive, MASK_SIGN for negative
1892
  // if steering bits are 11 (condition will be 0), then exponent is G[0:w+1] =>
1893
  if ((x & MASK_STEERING_BITS) == MASK_STEERING_BITS) {
1894
    x_exp = (x & MASK_BINARY_EXPONENT2) >> 51;  // biased
1895
    C1 = (x & MASK_BINARY_SIG2) | MASK_BINARY_OR2;
1896
    if (C1 > 9999999999999999ull) {     // non-canonical
1897
      x_exp = 0;
1898
      C1 = 0;
1899
    }
1900
  } else {
1901
    x_exp = (x & MASK_BINARY_EXPONENT1) >> 53;  // biased
1902
    C1 = x & MASK_BINARY_SIG1;
1903
  }
1904
 
1905
  // check for zeros (possibly from non-canonical values)
1906
  if (C1 == 0x0ull) {
1907
    // x is 0
1908
    res = 0x00000000;
1909
    BID_RETURN (res);
1910
  }
1911
  // x is not special and is not zero
1912
 
1913
  // q = nr. of decimal digits in x (1 <= q <= 54)
1914
  //  determine first the nr. of bits in x
1915
  if (C1 >= 0x0020000000000000ull) {    // x >= 2^53
1916
    // split the 64-bit value in two 32-bit halves to avoid rounding errors
1917
    if (C1 >= 0x0000000100000000ull) {  // x >= 2^32
1918
      tmp1.d = (double) (C1 >> 32);     // exact conversion
1919
      x_nr_bits =
1920
        33 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
1921
    } else {    // x < 2^32
1922
      tmp1.d = (double) C1;     // exact conversion
1923
      x_nr_bits =
1924
        1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
1925
    }
1926
  } else {      // if x < 2^53
1927
    tmp1.d = (double) C1;       // exact conversion
1928
    x_nr_bits =
1929
      1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
1930
  }
1931
  q = nr_digits[x_nr_bits - 1].digits;
1932
  if (q == 0) {
1933
    q = nr_digits[x_nr_bits - 1].digits1;
1934
    if (C1 >= nr_digits[x_nr_bits - 1].threshold_lo)
1935
      q++;
1936
  }
1937
  exp = x_exp - 398;    // unbiased exponent
1938
 
1939
  if ((q + exp) > 19) { // x >= 10^19 ~= 2^63.11... (cannot fit in SINT64)
1940
    // set invalid flag
1941
    *pfpsf |= INVALID_EXCEPTION;
1942
    // return Integer Indefinite
1943
    res = 0x8000000000000000ull;
1944
    BID_RETURN (res);
1945
  } else if ((q + exp) == 19) { // x = c(0)c(1)...c(18).c(19)...c(q-1)
1946
    // in this case 2^63.11... ~= 10^19 <= x < 10^20 ~= 2^66.43...
1947
    // so x rounded to an integer may or may not fit in a signed 64-bit int
1948
    // the cases that do not fit are identified here; the ones that fit
1949
    // fall through and will be handled with other cases further,
1950
    // under '1 <= q + exp <= 19'
1951
    if (x_sign) {       // if n < 0 and q + exp = 19
1952
      // if n <= -2^63 - 1/2 then n is too large
1953
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) >= 2^63+1/2
1954
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 >= 5*(2^64+1), 1<=q<=16
1955
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 >= 0x50000000000000005, 1<=q<=16
1956
      // <=> C * 10^(20-q) >= 0x50000000000000005, 1<=q<=16
1957
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
1958
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
1959
      // Note: C1 * 10^(11-q) has 19 or 20 digits; 0x50000000000000005, has 20
1960
      if (C.w[1] > 0x05ull || (C.w[1] == 0x05ull && C.w[0] >= 0x05ull)) {
1961
        // set invalid flag
1962
        *pfpsf |= INVALID_EXCEPTION;
1963
        // return Integer Indefinite
1964
        res = 0x8000000000000000ull;
1965
        BID_RETURN (res);
1966
      }
1967
      // else cases that can be rounded to a 64-bit int fall through
1968
      // to '1 <= q + exp <= 19'
1969
    } else {    // if n > 0 and q + exp = 19
1970
      // if n >= 2^63 - 1/2 then n is too large
1971
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) >= 2^63-1/2
1972
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 >= 5*(2^64-1), 1<=q<=16
1973
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 >= 0x4fffffffffffffffb, 1<=q<=16
1974
      // <=> if C * 10^(20-q) >= 0x4fffffffffffffffb, 1<=q<=16
1975
      C.w[1] = 0x0000000000000004ull;
1976
      C.w[0] = 0xfffffffffffffffbull;
1977
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
1978
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
1979
      if (C.w[1] > 0x04ull ||
1980
          (C.w[1] == 0x04ull && C.w[0] >= 0xfffffffffffffffbull)) {
1981
        // set invalid flag
1982
        *pfpsf |= INVALID_EXCEPTION;
1983
        // return Integer Indefinite
1984
        res = 0x8000000000000000ull;
1985
        BID_RETURN (res);
1986
      }
1987
      // else cases that can be rounded to a 64-bit int fall through
1988
      // to '1 <= q + exp <= 19'
1989
    }   // end else if n > 0 and q + exp = 19
1990
  }     // end else if ((q + exp) == 19)
1991
 
1992
  // n is not too large to be converted to int64: -2^63-1/2 < n < 2^63-1/2
1993
  // Note: some of the cases tested for above fall through to this point
1994
  if ((q + exp) < 0) {   // n = +/-0.0...c(0)c(1)...c(q-1)
1995
    // return 0
1996
    res = 0x0000000000000000ull;
1997
    BID_RETURN (res);
1998
  } else if ((q + exp) == 0) {   // n = +/-0.c(0)c(1)...c(q-1)
1999
    // if 0.c(0)c(1)...c(q-1) <= 0.5 <=> c(0)c(1)...c(q-1) <= 5 * 10^(q-1)
2000
    //   res = 0
2001
    // else
2002
    //   res = +/-1
2003
    ind = q - 1;        // 0 <= ind <= 15
2004
    if (C1 < midpoint64[ind]) {
2005
      res = 0x0000000000000000ull;      // return 0
2006
    } else if (x_sign) {        // n < 0
2007
      res = 0xffffffffffffffffull;      // return -1
2008
    } else {    // n > 0
2009
      res = 0x0000000000000001ull;      // return +1
2010
    }
2011
  } else {      // if (1 <= q + exp <= 19, 1 <= q <= 16, -15 <= exp <= 18)
2012
    // -2^63-1/2 < x <= -1 or 1 <= x < 2^63-1/2 so x can be rounded
2013
    // to nearest to a 64-bit signed integer
2014
    if (exp < 0) {       // 2 <= q <= 16, -15 <= exp <= -1, 1 <= q + exp <= 19
2015
      ind = -exp;       // 1 <= ind <= 15; ind is a synonym for 'x'
2016
      // chop off ind digits from the lower part of C1
2017
      // C1 = C1 + 1/2 * 10^ind where the result C1 fits in 64 bits
2018
      C1 = C1 + midpoint64[ind - 1];
2019
      // calculate C* and f*
2020
      // C* is actually floor(C*) in this case
2021
      // C* and f* need shifting and masking, as shown by
2022
      // shiftright128[] and maskhigh128[]
2023
      // 1 <= x <= 15 
2024
      // kx = 10^(-x) = ten2mk64[ind - 1]
2025
      // C* = (C1 + 1/2 * 10^x) * 10^(-x)
2026
      // the approximation of 10^(-x) was rounded up to 54 bits
2027
      __mul_64x64_to_128MACH (P128, C1, ten2mk64[ind - 1]);
2028
      Cstar = P128.w[1];
2029
      // the top Ex bits of 10^(-x) are T* = ten2mk128trunc[ind].w[0], e.g.
2030
      // if x=1, T*=ten2mk128trunc[0].w[0]=0x1999999999999999
2031
      // if (0 < f* < 10^(-x)) then the result is a midpoint
2032
      //   if floor(C*) is even then C* = floor(C*) - logical right
2033
      //       shift; C* has p decimal digits, correct by Prop. 1)
2034
      //   else if floor(C*) is odd C* = floor(C*)-1 (logical right
2035
      //       shift; C* has p decimal digits, correct by Pr. 1)
2036
      // else
2037
      //   C* = floor(C*) (logical right shift; C has p decimal digits,
2038
      //       correct by Property 1)
2039
      // n = C* * 10^(e+x)
2040
 
2041
      // shift right C* by Ex-64 = shiftright128[ind]
2042
      shift = shiftright128[ind - 1];   // 0 <= shift <= 39
2043
      Cstar = Cstar >> shift;
2044
 
2045
      // if the result was a midpoint it was rounded away from zero
2046
      if (x_sign)
2047
        res = -Cstar;
2048
      else
2049
        res = Cstar;
2050
    } else if (exp == 0) {
2051
      // 1 <= q <= 16
2052
      // res = +/-C (exact)
2053
      if (x_sign)
2054
        res = -C1;
2055
      else
2056
        res = C1;
2057
    } else {    // if (exp > 0) => 1 <= exp <= 18, 1 <= q <= 16, 2 <= q + exp <= 20
2058
      // (the upper limit of 20 on q + exp is due to the fact that 
2059
      // +/-C * 10^exp is guaranteed to fit in 64 bits) 
2060
      // res = +/-C * 10^exp (exact)
2061
      if (x_sign)
2062
        res = -C1 * ten2k64[exp];
2063
      else
2064
        res = C1 * ten2k64[exp];
2065
    }
2066
  }
2067
  BID_RETURN (res);
2068
}
2069
 
2070
/*****************************************************************************
2071
 *  BID64_to_int64_xrninta
2072
 ****************************************************************************/
2073
 
2074
#if DECIMAL_CALL_BY_REFERENCE
2075
void
2076
bid64_to_int64_xrninta (SINT64 * pres, UINT64 * px
2077
                        _EXC_FLAGS_PARAM _EXC_MASKS_PARAM
2078
                        _EXC_INFO_PARAM) {
2079
  UINT64 x = *px;
2080
#else
2081
SINT64
2082
bid64_to_int64_xrninta (UINT64 x
2083
                        _EXC_FLAGS_PARAM _EXC_MASKS_PARAM
2084
                        _EXC_INFO_PARAM) {
2085
#endif
2086
  SINT64 res;
2087
  UINT64 x_sign;
2088
  UINT64 x_exp;
2089
  int exp;                      // unbiased exponent
2090
  // Note: C1 represents x_significand (UINT64)
2091
  UINT64 tmp64;
2092
  BID_UI64DOUBLE tmp1;
2093
  unsigned int x_nr_bits;
2094
  int q, ind, shift;
2095
  UINT64 C1;
2096
  UINT128 C;
2097
  UINT64 Cstar;                 // C* represents up to 16 decimal digits ~ 54 bits
2098
  UINT128 fstar;
2099
  UINT128 P128;
2100
 
2101
  // check for NaN or Infinity
2102
  if ((x & MASK_NAN) == MASK_NAN || (x & MASK_INF) == MASK_INF) {
2103
    // set invalid flag
2104
    *pfpsf |= INVALID_EXCEPTION;
2105
    // return Integer Indefinite
2106
    res = 0x8000000000000000ull;
2107
    BID_RETURN (res);
2108
  }
2109
  // unpack x
2110
  x_sign = x & MASK_SIGN;       // 0 for positive, MASK_SIGN for negative
2111
  // if steering bits are 11 (condition will be 0), then exponent is G[0:w+1] =>
2112
  if ((x & MASK_STEERING_BITS) == MASK_STEERING_BITS) {
2113
    x_exp = (x & MASK_BINARY_EXPONENT2) >> 51;  // biased
2114
    C1 = (x & MASK_BINARY_SIG2) | MASK_BINARY_OR2;
2115
    if (C1 > 9999999999999999ull) {     // non-canonical
2116
      x_exp = 0;
2117
      C1 = 0;
2118
    }
2119
  } else {
2120
    x_exp = (x & MASK_BINARY_EXPONENT1) >> 53;  // biased
2121
    C1 = x & MASK_BINARY_SIG1;
2122
  }
2123
 
2124
  // check for zeros (possibly from non-canonical values)
2125
  if (C1 == 0x0ull) {
2126
    // x is 0
2127
    res = 0x00000000;
2128
    BID_RETURN (res);
2129
  }
2130
  // x is not special and is not zero
2131
 
2132
  // q = nr. of decimal digits in x (1 <= q <= 54)
2133
  //  determine first the nr. of bits in x
2134
  if (C1 >= 0x0020000000000000ull) {    // x >= 2^53
2135
    // split the 64-bit value in two 32-bit halves to avoid rounding errors
2136
    if (C1 >= 0x0000000100000000ull) {  // x >= 2^32
2137
      tmp1.d = (double) (C1 >> 32);     // exact conversion
2138
      x_nr_bits =
2139
        33 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
2140
    } else {    // x < 2^32
2141
      tmp1.d = (double) C1;     // exact conversion
2142
      x_nr_bits =
2143
        1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
2144
    }
2145
  } else {      // if x < 2^53
2146
    tmp1.d = (double) C1;       // exact conversion
2147
    x_nr_bits =
2148
      1 + ((((unsigned int) (tmp1.ui64 >> 52)) & 0x7ff) - 0x3ff);
2149
  }
2150
  q = nr_digits[x_nr_bits - 1].digits;
2151
  if (q == 0) {
2152
    q = nr_digits[x_nr_bits - 1].digits1;
2153
    if (C1 >= nr_digits[x_nr_bits - 1].threshold_lo)
2154
      q++;
2155
  }
2156
  exp = x_exp - 398;    // unbiased exponent
2157
 
2158
  if ((q + exp) > 19) { // x >= 10^19 ~= 2^63.11... (cannot fit in SINT64)
2159
    // set invalid flag
2160
    *pfpsf |= INVALID_EXCEPTION;
2161
    // return Integer Indefinite
2162
    res = 0x8000000000000000ull;
2163
    BID_RETURN (res);
2164
  } else if ((q + exp) == 19) { // x = c(0)c(1)...c(18).c(19)...c(q-1)
2165
    // in this case 2^63.11... ~= 10^19 <= x < 10^20 ~= 2^66.43...
2166
    // so x rounded to an integer may or may not fit in a signed 64-bit int
2167
    // the cases that do not fit are identified here; the ones that fit
2168
    // fall through and will be handled with other cases further,
2169
    // under '1 <= q + exp <= 19'
2170
    if (x_sign) {       // if n < 0 and q + exp = 19
2171
      // if n <= -2^63 - 1/2 then n is too large
2172
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) >= 2^63+1/2
2173
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 >= 5*(2^64+1), 1<=q<=16
2174
      // <=> 0.c(0)c(1)...c(q-1) * 10^20 >= 0x50000000000000005, 1<=q<=16
2175
      // <=> C * 10^(20-q) >= 0x50000000000000005, 1<=q<=16
2176
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
2177
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
2178
      // Note: C1 * 10^(11-q) has 19 or 20 digits; 0x50000000000000005, has 20
2179
      if (C.w[1] > 0x05ull || (C.w[1] == 0x05ull && C.w[0] >= 0x05ull)) {
2180
        // set invalid flag
2181
        *pfpsf |= INVALID_EXCEPTION;
2182
        // return Integer Indefinite
2183
        res = 0x8000000000000000ull;
2184
        BID_RETURN (res);
2185
      }
2186
      // else cases that can be rounded to a 64-bit int fall through
2187
      // to '1 <= q + exp <= 19'
2188
    } else {    // if n > 0 and q + exp = 19
2189
      // if n >= 2^63 - 1/2 then n is too large
2190
      // too large if c(0)c(1)...c(18).c(19)...c(q-1) >= 2^63-1/2
2191
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 >= 5*(2^64-1), 1<=q<=16
2192
      // <=> if 0.c(0)c(1)...c(q-1) * 10^20 >= 0x4fffffffffffffffb, 1<=q<=16
2193
      // <=> if C * 10^(20-q) >= 0x4fffffffffffffffb, 1<=q<=16
2194
      C.w[1] = 0x0000000000000004ull;
2195
      C.w[0] = 0xfffffffffffffffbull;
2196
      // 1 <= q <= 16 => 4 <= 20-q <= 19 => 10^(20-q) is 64-bit, and so is C1
2197
      __mul_64x64_to_128MACH (C, C1, ten2k64[20 - q]);
2198
      if (C.w[1] > 0x04ull ||
2199
          (C.w[1] == 0x04ull && C.w[0] >= 0xfffffffffffffffbull)) {
2200
        // set invalid flag
2201
        *pfpsf |= INVALID_EXCEPTION;
2202
        // return Integer Indefinite
2203
        res = 0x8000000000000000ull;
2204
        BID_RETURN (res);
2205
      }
2206
      // else cases that can be rounded to a 64-bit int fall through
2207
      // to '1 <= q + exp <= 19'
2208
    }   // end else if n > 0 and q + exp = 19
2209
  }     // end else if ((q + exp) == 19)
2210
 
2211
  // n is not too large to be converted to int64: -2^63-1/2 < n < 2^63-1/2
2212
  // Note: some of the cases tested for above fall through to this point
2213
  if ((q + exp) < 0) {   // n = +/-0.0...c(0)c(1)...c(q-1)
2214
    // set inexact flag
2215
    *pfpsf |= INEXACT_EXCEPTION;
2216
    // return 0
2217
    res = 0x0000000000000000ull;
2218
    BID_RETURN (res);
2219
  } else if ((q + exp) == 0) {   // n = +/-0.c(0)c(1)...c(q-1)
2220
    // if 0.c(0)c(1)...c(q-1) <= 0.5 <=> c(0)c(1)...c(q-1) <= 5 * 10^(q-1)
2221
    //   res = 0
2222
    // else
2223
    //   res = +/-1
2224
    ind = q - 1;        // 0 <= ind <= 15
2225
    if (C1 < midpoint64[ind]) {
2226
      res = 0x0000000000000000ull;      // return 0
2227
    } else if (x_sign) {        // n < 0
2228
      res = 0xffffffffffffffffull;      // return -1
2229
    } else {    // n > 0
2230
      res = 0x0000000000000001ull;      // return +1
2231
    }
2232
    // set inexact flag
2233
    *pfpsf |= INEXACT_EXCEPTION;
2234
  } else {      // if (1 <= q + exp <= 19, 1 <= q <= 16, -15 <= exp <= 18)
2235
    // -2^63-1/2 < x <= -1 or 1 <= x < 2^63-1/2 so x can be rounded
2236
    // to nearest to a 64-bit signed integer
2237
    if (exp < 0) {       // 2 <= q <= 16, -15 <= exp <= -1, 1 <= q + exp <= 19
2238
      ind = -exp;       // 1 <= ind <= 15; ind is a synonym for 'x'
2239
      // chop off ind digits from the lower part of C1
2240
      // C1 = C1 + 1/2 * 10^ind where the result C1 fits in 64 bits
2241
      C1 = C1 + midpoint64[ind - 1];
2242
      // calculate C* and f*
2243
      // C* is actually floor(C*) in this case
2244
      // C* and f* need shifting and masking, as shown by
2245
      // shiftright128[] and maskhigh128[]
2246
      // 1 <= x <= 15 
2247
      // kx = 10^(-x) = ten2mk64[ind - 1]
2248
      // C* = (C1 + 1/2 * 10^x) * 10^(-x)
2249
      // the approximation of 10^(-x) was rounded up to 54 bits
2250
      __mul_64x64_to_128MACH (P128, C1, ten2mk64[ind - 1]);
2251
      Cstar = P128.w[1];
2252
      fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
2253
      fstar.w[0] = P128.w[0];
2254
      // the top Ex bits of 10^(-x) are T* = ten2mk128trunc[ind].w[0], e.g.
2255
      // if x=1, T*=ten2mk128trunc[0].w[0]=0x1999999999999999
2256
      // if (0 < f* < 10^(-x)) then the result is a midpoint
2257
      //   if floor(C*) is even then C* = floor(C*) - logical right
2258
      //       shift; C* has p decimal digits, correct by Prop. 1)
2259
      //   else if floor(C*) is odd C* = floor(C*)-1 (logical right
2260
      //       shift; C* has p decimal digits, correct by Pr. 1)
2261
      // else
2262
      //   C* = floor(C*) (logical right shift; C has p decimal digits,
2263
      //       correct by Property 1)
2264
      // n = C* * 10^(e+x)
2265
 
2266
      // shift right C* by Ex-64 = shiftright128[ind]
2267
      shift = shiftright128[ind - 1];   // 0 <= shift <= 39
2268
      Cstar = Cstar >> shift;
2269
      // determine inexactness of the rounding of C*
2270
      // if (0 < f* - 1/2 < 10^(-x)) then
2271
      //   the result is exact
2272
      // else // if (f* - 1/2 > T*) then
2273
      //   the result is inexact
2274
      if (ind - 1 <= 2) {
2275
        if (fstar.w[0] > 0x8000000000000000ull) {
2276
          // f* > 1/2 and the result may be exact
2277
          tmp64 = fstar.w[0] - 0x8000000000000000ull;    // f* - 1/2
2278
          if ((tmp64 > ten2mk128trunc[ind - 1].w[1])) {
2279
            // ten2mk128trunc[ind -1].w[1] is identical to 
2280
            // ten2mk128[ind -1].w[1]
2281
            // set the inexact flag
2282
            *pfpsf |= INEXACT_EXCEPTION;
2283
          }     // else the result is exact
2284
        } else {        // the result is inexact; f2* <= 1/2
2285
          // set the inexact flag
2286
          *pfpsf |= INEXACT_EXCEPTION;
2287
        }
2288
      } else {  // if 3 <= ind - 1 <= 14
2289
        if (fstar.w[1] > onehalf128[ind - 1] ||
2290
            (fstar.w[1] == onehalf128[ind - 1] && fstar.w[0])) {
2291
          // f2* > 1/2 and the result may be exact
2292
          // Calculate f2* - 1/2
2293
          tmp64 = fstar.w[1] - onehalf128[ind - 1];
2294
          if (tmp64 || fstar.w[0] > ten2mk128trunc[ind - 1].w[1]) {
2295
            // ten2mk128trunc[ind -1].w[1] is identical to 
2296
            // ten2mk128[ind -1].w[1]
2297
            // set the inexact flag
2298
            *pfpsf |= INEXACT_EXCEPTION;
2299
          }     // else the result is exact
2300
        } else {        // the result is inexact; f2* <= 1/2
2301
          // set the inexact flag
2302
          *pfpsf |= INEXACT_EXCEPTION;
2303
        }
2304
      }
2305
 
2306
      // if the result was a midpoint it was rounded away from zero
2307
      if (x_sign)
2308
        res = -Cstar;
2309
      else
2310
        res = Cstar;
2311
    } else if (exp == 0) {
2312
      // 1 <= q <= 16
2313
      // res = +/-C (exact)
2314
      if (x_sign)
2315
        res = -C1;
2316
      else
2317
        res = C1;
2318
    } else {    // if (exp > 0) => 1 <= exp <= 18, 1 <= q <= 16, 2 <= q + exp <= 20
2319
      // (the upper limit of 20 on q + exp is due to the fact that 
2320
      // +/-C * 10^exp is guaranteed to fit in 64 bits) 
2321
      // res = +/-C * 10^exp (exact)
2322
      if (x_sign)
2323
        res = -C1 * ten2k64[exp];
2324
      else
2325
        res = C1 * ten2k64[exp];
2326
    }
2327
  }
2328
  BID_RETURN (res);
2329
}

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.