1
/*
2
 * Copyright (c) 1999
3
 * Silicon Graphics Computer Systems, Inc.
4
 *
5
 * Copyright (c) 1999
6
 * Boris Fomitchev
7
 *
8
 * This material is provided "as is", with absolutely no warranty expressed
9
 * or implied. Any use is at your own risk.
10
 *
11
 * Permission to use or copy this software for any purpose is hereby granted
12
 * without fee, provided the above notices are retained on all copies.
13
 * Permission to modify the code and to distribute modified code is granted,
14
 * provided the above notices are retained, and a notice that the code was
15
 * modified is included with the above copyright notice.
16
 *
17
 */
18
19
#include "stlport_prefix.h"
20
21
#include <limits>
22
#include <locale>
23
#include <istream>
24
25
#if (defined (__GNUC__) && !defined (__sun) && !defined (__hpux)) || \
26
    defined (__DMC__)
27
#  include <stdint.h>
28
#endif
29
30
#if defined (__linux__) || defined (__MINGW32__) || defined (__CYGWIN__) || \
31
    defined (__BORLANDC__) || defined (__DMC__)
32
33
#  if defined (__BORLANDC__)
34
typedef unsigned int uint32_t;
35
typedef unsigned __int64 uint64_t;
36
#  endif
37
38
union _ll {
39
  uint64_t i64;
40
  struct {
41
#  if defined (_STLP_BIG_ENDIAN)
42
    uint32_t hi;
43
    uint32_t lo;
44
#  elif defined (_STLP_LITTLE_ENDIAN)
45
    uint32_t lo;
46
    uint32_t hi;
47
#  else
48
#    error Unknown endianess
49
#  endif
50
  } i32;
51
};
52
53
#  if defined (__linux__)
54
#    include <ieee754.h>
55
#  else
56
union ieee854_long_double {
57
  long double d;
58
59
  /* This is the IEEE 854 double-extended-precision format.  */
60
  struct {
61
    unsigned int mantissa1:32;
62
    unsigned int mantissa0:32;
63
    unsigned int exponent:15;
64
    unsigned int negative:1;
65
    unsigned int empty:16;
66
  } ieee;
67
};
68
69
#    define IEEE854_LONG_DOUBLE_BIAS 0x3fff
70
#  endif
71
#endif
72
73
_STLP_BEGIN_NAMESPACE
74
_STLP_MOVE_TO_PRIV_NAMESPACE
75
76
//----------------------------------------------------------------------
77
// num_get
78
79
// Helper functions for _M_do_get_float.
80
81
#if !defined (_STLP_NO_WCHAR_T)
82
void  _STLP_CALL
83
_Initialize_get_float( const ctype<wchar_t>& ct,
84
                       wchar_t& Plus, wchar_t& Minus,
85
                       wchar_t& pow_e, wchar_t& pow_E,
86
                       wchar_t* digits) {
87
  char ndigits[11] = "0123456789";
88
  Plus  = ct.widen('+');
89
  Minus = ct.widen('-');
90
  pow_e = ct.widen('e');
91
  pow_E = ct.widen('E');
92
  ct.widen(ndigits + 0, ndigits + 10, digits);
93
}
94
#endif /* WCHAR_T */
95
96
/*
97
 * __string_to_double is just lifted from atof, the difference being
98
 * that we just use '.' for the decimal point, rather than let it
99
 * be taken from the current C locale, which of course is not accessible
100
 * to us.
101
 */
102
#if defined (_STLP_MSVC) || defined (__BORLANDC__) || defined (__ICL)
103
typedef unsigned long uint32;
104
typedef unsigned __int64 uint64;
105
#  define ULL(x) x##Ui64
106
#elif defined (__unix) || defined (__MINGW32__) || \
107
      (defined (__DMC__) && (__LONGLONG)) || defined (__WATCOMC__) || \
108
      defined(__ANDROID__)
109
typedef uint32_t uint32;
110
typedef uint64_t uint64;
111
#  define ULL(x) x##ULL
112
#else
113
#  error There should be some unsigned 64-bit integer on the system!
114
#endif
115
116
// Multiplication of two 64-bit integers, giving a 128-bit result.
117
// Taken from Algorithm M in Knuth section 4.3.1, with the loop
118
// hand-unrolled.
119
static void _Stl_mult64(const uint64 u, const uint64 v,
120
                        uint64& high, uint64& low) {
121
  const uint64 low_mask = ULL(0xffffffff);
122
  const uint64 u0 = u & low_mask;
123
  const uint64 u1 = u >> 32;
124
  const uint64 v0 = v & low_mask;
125
  const uint64 v1 = v >> 32;
126
127
  uint64 t = u0 * v0;
128
  low = t & low_mask;
129
130
  t = u1 * v0 + (t >> 32);
131
  uint64 w1 = t & low_mask;
132
  uint64 w2 = t >> 32;
133
134
  uint64 x = u0 * v1 + w1;
135
  low += (x & low_mask) << 32;
136
  high = u1 * v1 + w2 + (x >> 32);
137
}
138
139
#ifndef __linux__
140
141
#  define bit11 ULL(0x7ff)
142
#  define exponent_mask (bit11 << 52)
143
144
#  if !defined (__GNUC__) || (__GNUC__ != 3) || (__GNUC_MINOR__ != 4) || \
145
      (!defined (__CYGWIN__) && !defined (__MINGW32__))
146
//Generate bad code when compiled with -O2 option.
147
inline
148
#  endif
149
void _Stl_set_exponent(uint64 &val, uint64 exp)
150
{ val = (val & ~exponent_mask) | ((exp & bit11) << 52); }
151
152
#endif // __linux__
153
154
/* Power of ten fractions for tenscale*/
155
/* The constants are factored so that at most two constants
156
 * and two multiplies are needed. Furthermore, one of the constants
157
 * is represented exactly - 10**n where 1<= n <= 27.
158
 */
159
160
static const uint64 _Stl_tenpow[80] = {
161
ULL(0xa000000000000000), /* _Stl_tenpow[0]=(10**1)/(2**4) */
162
ULL(0xc800000000000000), /* _Stl_tenpow[1]=(10**2)/(2**7) */
163
ULL(0xfa00000000000000), /* _Stl_tenpow[2]=(10**3)/(2**10) */
164
ULL(0x9c40000000000000), /* _Stl_tenpow[3]=(10**4)/(2**14) */
165
ULL(0xc350000000000000), /* _Stl_tenpow[4]=(10**5)/(2**17) */
166
ULL(0xf424000000000000), /* _Stl_tenpow[5]=(10**6)/(2**20) */
167
ULL(0x9896800000000000), /* _Stl_tenpow[6]=(10**7)/(2**24) */
168
ULL(0xbebc200000000000), /* _Stl_tenpow[7]=(10**8)/(2**27) */
169
ULL(0xee6b280000000000), /* _Stl_tenpow[8]=(10**9)/(2**30) */
170
ULL(0x9502f90000000000), /* _Stl_tenpow[9]=(10**10)/(2**34) */
171
ULL(0xba43b74000000000), /* _Stl_tenpow[10]=(10**11)/(2**37) */
172
ULL(0xe8d4a51000000000), /* _Stl_tenpow[11]=(10**12)/(2**40) */
173
ULL(0x9184e72a00000000), /* _Stl_tenpow[12]=(10**13)/(2**44) */
174
ULL(0xb5e620f480000000), /* _Stl_tenpow[13]=(10**14)/(2**47) */
175
ULL(0xe35fa931a0000000), /* _Stl_tenpow[14]=(10**15)/(2**50) */
176
ULL(0x8e1bc9bf04000000), /* _Stl_tenpow[15]=(10**16)/(2**54) */
177
ULL(0xb1a2bc2ec5000000), /* _Stl_tenpow[16]=(10**17)/(2**57) */
178
ULL(0xde0b6b3a76400000), /* _Stl_tenpow[17]=(10**18)/(2**60) */
179
ULL(0x8ac7230489e80000), /* _Stl_tenpow[18]=(10**19)/(2**64) */
180
ULL(0xad78ebc5ac620000), /* _Stl_tenpow[19]=(10**20)/(2**67) */
181
ULL(0xd8d726b7177a8000), /* _Stl_tenpow[20]=(10**21)/(2**70) */
182
ULL(0x878678326eac9000), /* _Stl_tenpow[21]=(10**22)/(2**74) */
183
ULL(0xa968163f0a57b400), /* _Stl_tenpow[22]=(10**23)/(2**77) */
184
ULL(0xd3c21bcecceda100), /* _Stl_tenpow[23]=(10**24)/(2**80) */
185
ULL(0x84595161401484a0), /* _Stl_tenpow[24]=(10**25)/(2**84) */
186
ULL(0xa56fa5b99019a5c8), /* _Stl_tenpow[25]=(10**26)/(2**87) */
187
ULL(0xcecb8f27f4200f3a), /* _Stl_tenpow[26]=(10**27)/(2**90) */
188
189
ULL(0xd0cf4b50cfe20766), /* _Stl_tenpow[27]=(10**55)/(2**183) */
190
ULL(0xd2d80db02aabd62c), /* _Stl_tenpow[28]=(10**83)/(2**276) */
191
ULL(0xd4e5e2cdc1d1ea96), /* _Stl_tenpow[29]=(10**111)/(2**369) */
192
ULL(0xd6f8d7509292d603), /* _Stl_tenpow[30]=(10**139)/(2**462) */
193
ULL(0xd910f7ff28069da4), /* _Stl_tenpow[31]=(10**167)/(2**555) */
194
ULL(0xdb2e51bfe9d0696a), /* _Stl_tenpow[32]=(10**195)/(2**648) */
195
ULL(0xdd50f1996b947519), /* _Stl_tenpow[33]=(10**223)/(2**741) */
196
ULL(0xdf78e4b2bd342cf7), /* _Stl_tenpow[34]=(10**251)/(2**834) */
197
ULL(0xe1a63853bbd26451), /* _Stl_tenpow[35]=(10**279)/(2**927) */
198
ULL(0xe3d8f9e563a198e5), /* _Stl_tenpow[36]=(10**307)/(2**1020) */
199
200
// /* _Stl_tenpow[36]=(10**335)/(2**) */
201
// /* _Stl_tenpow[36]=(10**335)/(2**) */
202
203
ULL(0xfd87b5f28300ca0e), /* _Stl_tenpow[37]=(10**-28)/(2**-93) */
204
ULL(0xfb158592be068d2f), /* _Stl_tenpow[38]=(10**-56)/(2**-186) */
205
ULL(0xf8a95fcf88747d94), /* _Stl_tenpow[39]=(10**-84)/(2**-279) */
206
ULL(0xf64335bcf065d37d), /* _Stl_tenpow[40]=(10**-112)/(2**-372) */
207
ULL(0xf3e2f893dec3f126), /* _Stl_tenpow[41]=(10**-140)/(2**-465) */
208
ULL(0xf18899b1bc3f8ca2), /* _Stl_tenpow[42]=(10**-168)/(2**-558) */
209
ULL(0xef340a98172aace5), /* _Stl_tenpow[43]=(10**-196)/(2**-651) */
210
ULL(0xece53cec4a314ebe), /* _Stl_tenpow[44]=(10**-224)/(2**-744) */
211
ULL(0xea9c227723ee8bcb), /* _Stl_tenpow[45]=(10**-252)/(2**-837)     */
212
ULL(0xe858ad248f5c22ca), /* _Stl_tenpow[46]=(10**-280)/(2**-930) */
213
ULL(0xe61acf033d1a45df), /* _Stl_tenpow[47]=(10**-308)/(2**-1023)    */
214
ULL(0xe3e27a444d8d98b8), /* _Stl_tenpow[48]=(10**-336)/(2**-1116) */
215
ULL(0xe1afa13afbd14d6e)  /* _Stl_tenpow[49]=(10**-364)/(2**-1209) */
216
};
217
218
static const short _Stl_twoexp[80] = {
219
4,7,10,14,17,20,24,27,30,34,37,40,44,47,50,54,57,60,64,67,70,74,77,80,84,87,90,
220
183,276,369,462,555,648,741,834,927,1020,
221
-93,-186,-279,-372,-465,-558,-651,-744,-837,-930,-1023,-1116,-1209
222
};
223
224
#define  TEN_1  0           /* offset to 10 **   1 */
225
#define  TEN_27   26        /* offset to 10 **  27 */
226
#define  TEN_M28  37        /* offset to 10 ** -28 */
227
#define  NUM_HI_P 11
228
#define  NUM_HI_N 13
229
230
#define _Stl_HIBITULL (ULL(1) << 63)
231
232
static void _Stl_norm_and_round(uint64& p, int& norm, uint64 prodhi, uint64 prodlo) {
233
  norm = 0;
234
  if ((prodhi & _Stl_HIBITULL) == 0) {
235
                                /* leading bit is a zero
236
                                 * may have to normalize
237
                                 */
238
    if ((prodhi == ~_Stl_HIBITULL) &&
239
        ((prodlo >> 62) == 0x3)) {  /* normalization followed by round
240
                                     * would cause carry to create
241
                                     * extra bit, so don't normalize
242
                                     */
243
      p = _Stl_HIBITULL;
244
      return;
245
    }
246
    p = (prodhi << 1) | (prodlo >> 63); /* normalize */
247
    norm = 1;
248
    prodlo <<= 1;
249
  }
250
  else {
251
    p = prodhi;
252
  }
253
254
  if ((prodlo & _Stl_HIBITULL) != 0) {     /* first guard bit a one */
255
    if (((p & 0x1) != 0) ||
256
        prodlo != _Stl_HIBITULL ) {    /* not borderline for round to even */
257
      /* round */
258
      ++p;
259
      if (p == 0)
260
        ++p;
261
    }
262
  }
263
}
264
265
// Convert a 64-bitb fraction * 10^exp to a 64-bit fraction * 2^bexp.
266
// p:    64-bit fraction
267
// exp:  base-10 exponent
268
// bexp: base-2 exponent (output parameter)
269
static void _Stl_tenscale(uint64& p, int exp, int& bexp) {
270
  bexp = 0;
271
272
  if ( exp == 0 ) {              /* no scaling needed */
273
    return;
274
  }
275
276
  int exp_hi = 0, exp_lo = exp; /* exp = exp_hi*32 + exp_lo */
277
  int tlo = TEN_1, thi;         /* offsets in power of ten table */
278
  int num_hi;                   /* number of high exponent powers */
279
280
  if (exp > 0) {                /* split exponent */
281
    if (exp_lo > 27) {
282
      exp_lo++;
283
      while (exp_lo > 27) {
284
        exp_hi++;
285
        exp_lo -= 28;
286
      }
287
    }
288
    thi = TEN_27;
289
    num_hi = NUM_HI_P;
290
  } else { // exp < 0
291
    while (exp_lo < 0) {
292
      exp_hi++;
293
      exp_lo += 28;
294
    }
295
    thi = TEN_M28;
296
    num_hi = NUM_HI_N;
297
  }
298
299
  uint64 prodhi, prodlo;        /* 128b product */
300
  int norm;                     /* number of bits of normalization */
301
302
  int hi, lo;                   /* offsets in power of ten table */
303
  while (exp_hi) {              /* scale */
304
    hi = (min) (exp_hi, num_hi);    /* only a few large powers of 10 */
305
    exp_hi -= hi;               /* could iterate in extreme case */
306
    hi += thi-1;
307
    _Stl_mult64(p, _Stl_tenpow[hi], prodhi, prodlo);
308
    _Stl_norm_and_round(p, norm, prodhi, prodlo);
309
    bexp += _Stl_twoexp[hi] - norm;
310
  }
311
312
  if (exp_lo) {
313
    lo = tlo + exp_lo -1;
314
    _Stl_mult64(p, _Stl_tenpow[lo], prodhi, prodlo);
315
    _Stl_norm_and_round(p, norm, prodhi, prodlo);
316
    bexp += _Stl_twoexp[lo] - norm;
317
  }
318
319
  return;
320
}
321
322
// First argument is a buffer of values from 0 to 9, NOT ascii.
323
// Second argument is number of digits in buffer, 1 <= digits <= 17.
324
// Third argument is base-10 exponent.
325
326
/* IEEE representation */
327
#if !defined (__linux__)
328
329
union _Double_rep {
330
  uint64 ival;
331
  double val;
332
};
333
334
static double _Stl_atod(char *buffer, ptrdiff_t ndigit, int dexp) {
335
  typedef numeric_limits<double> limits;
336
  _Double_rep drep;
337
  uint64 &value = drep.ival;  /* Value develops as follows:
338
                                 * 1) decimal digits as an integer
339
                                 * 2) left adjusted fraction
340
                                 * 3) right adjusted fraction
341
                                 * 4) exponent and fraction
342
                                 */
343
344
  uint32 guard;         /* First guard bit */
345
  uint64 rest;          /* Remaining guard bits */
346
347
  int bexp;             /* binary exponent */
348
  int nzero;            /* number of non-zero bits */
349
  int sexp;             /* scaling exponent */
350
351
  char *bufferend;              /* pointer to char after last digit */
352
353
  /* Convert the decimal digits to a binary integer. */
354
  bufferend = buffer + ndigit;
355
  value = 0;
356
357
  while (buffer < bufferend) {
358
    value *= 10;
359
    value += *buffer++;
360
  }
361
362
  /* Check for zero and treat it as a special case */
363
  if (value == 0) {
364
    return 0.0;
365
  }
366
367
  /* Normalize value */
368
  bexp = 64;                    /* convert from 64b int to fraction */
369
370
  /* Count number of non-zeroes in value */
371
  nzero = 0;
372
  if ((value >> 32) != 0) { nzero  = 32; }    //*TY 03/25/2000 - added explicit comparison to zero to avoid uint64 to bool conversion operator
373
  if ((value >> (16 + nzero)) != 0) { nzero += 16; }
374
  if ((value >> ( 8 + nzero)) != 0) { nzero +=  8; }
375
  if ((value >> ( 4 + nzero)) != 0) { nzero +=  4; }
376
  if ((value >> ( 2 + nzero)) != 0) { nzero +=  2; }
377
  if ((value >> ( 1 + nzero)) != 0) { nzero +=  1; }
378
  if ((value >> (     nzero)) != 0) { nzero +=  1; }
379
380
  /* Normalize */
381
  value <<= /*(uint64)*/ (64 - nzero);    //*TY 03/25/2000 - removed extraneous cast to uint64
382
  bexp -= 64 - nzero;
383
384
  /* At this point we have a 64b fraction and a binary exponent
385
   * but have yet to incorporate the decimal exponent.
386
   */
387
388
  /* multiply by 10^dexp */
389
  _Stl_tenscale(value, dexp, sexp);
390
  bexp += sexp;
391
392
  if (bexp <= -1022) {          /* HI denorm or underflow */
393
    bexp += 1022;
394
    if (bexp < -53) {          /* guaranteed underflow */
395
      value = 0;
396
    }
397
    else {                      /* denorm or possible underflow */
398
      int lead0 = 12 - bexp;          /* 12 sign and exponent bits */
399
400
      /* we must special case right shifts of more than 63 */
401
      if (lead0 > 64) {
402
        rest = value;
403
        guard = 0;
404
        value = 0;
405
      }
406
      else if (lead0 == 64) {
407
        rest = value & ((ULL(1)<< 63)-1);
408
        guard = (uint32) ((value>> 63) & 1 );
409
        value = 0;
410
      }
411
      else {
412
        rest = value & (((ULL(1) << lead0)-1)-1);
413
        guard = (uint32) (((value>> lead0)-1) & 1);
414
        value >>= /*(uint64)*/ lead0; /* exponent is zero */
415
      }
416
417
      /* Round */
418
      if (guard && ((value & 1) || rest) ) {
419
        ++value;
420
        if (value == (ULL(1) << (limits::digits - 1))) { /* carry created normal number */
421
          value = 0;
422
          _Stl_set_exponent(value, 1);
423
        }
424
      }
425
    }
426
  }
427
  else {                        /* not zero or denorm */
428
    /* Round to 53 bits */
429
    rest = value & ((1 << 10) - 1);
430
    value >>= 10;
431
    guard = (uint32) value & 1;
432
    value >>= 1;
433
434
    /*  value&1 guard   rest    Action
435
     *
436
     *  dc      0       dc      none
437
     *  1       1       dc      round
438
     *  0       1       0       none
439
     *  0       1       !=0     round
440
     */
441
    if (guard) {
442
      if (((value&1)!=0) || (rest!=0)) {
443
        ++value;                        /* round */
444
        if ((value >> 53) != 0) {       /* carry all the way across */
445
          value >>= 1;          /* renormalize */
446
          ++bexp;
447
        }
448
      }
449
    }
450
    /*
451
     * Check for overflow
452
     * IEEE Double Precision Format
453
     * (From Table 7-8 of Kane and Heinrich)
454
     *
455
     * Fraction bits               52
456
     * Emax                     +1023
457
     * Emin                     -1022
458
     * Exponent bias            +1023
459
     * Exponent bits               11
460
     * Integer bit             hidden
461
     * Total width in bits         64
462
     */
463
464
    if (bexp > limits::max_exponent) {          /* overflow */
465
      return limits::infinity();
466
    }
467
    else {                      /* value is normal */
468
      value &= ~(ULL(1) << (limits::digits - 1));   /* hide hidden bit */
469
      _Stl_set_exponent(value, bexp + 1022); /* add bias */
470
    }
471
  }
472
473
  _STLP_STATIC_ASSERT(sizeof(uint64) >= sizeof(double))
474
  return drep.val;
475
}
476
477
#endif
478
479
#if defined (__linux__) || defined (__MINGW32__) || defined (__CYGWIN__) || \
480
    defined (__BORLANDC__) || defined (__DMC__)
481
482
template <class D, class IEEE, int M, int BIAS>
483
D _Stl_atodT(char *buffer, ptrdiff_t ndigit, int dexp)
484
{
485
  typedef numeric_limits<D> limits;
486
487
  /* Convert the decimal digits to a binary integer. */
488
  char *bufferend = buffer + ndigit; /* pointer to char after last digit */
489
  _ll vv;
490
  vv.i64 = 0L;
491
492
  while ( buffer < bufferend ) {
493
    vv.i64 *= 10;
494
    vv.i64 += *buffer++;
495
  }
496
497
  if ( vv.i64 == ULL(0) ) { /* Check for zero and treat it as a special case */
498
    return D(0.0);
499
  }
500
501
  /* Normalize value */
502
503
  int bexp = 64; /* convert from 64b int to fraction */
504
505
  /* Count number of non-zeroes in value */
506
  int nzero = 0;
507
  if ((vv.i64 >> 32) != 0) { nzero = 32; }
508
  if ((vv.i64 >> (16 + nzero)) != 0) { nzero += 16; }
509
  if ((vv.i64 >> ( 8 + nzero)) != 0) { nzero +=  8; }
510
  if ((vv.i64 >> ( 4 + nzero)) != 0) { nzero +=  4; }
511
  if ((vv.i64 >> ( 2 + nzero)) != 0) { nzero +=  2; }
512
  if ((vv.i64 >> ( 1 + nzero)) != 0) { nzero +=  1; }
513
  if ((vv.i64 >> (     nzero)) != 0) { nzero +=  1; }
514
515
  /* Normalize */
516
  nzero = 64 - nzero;
517
  vv.i64 <<= nzero;    // * TY 03/25/2000 - removed extraneous cast to uint64
518
  bexp -= nzero;
519
520
  /* At this point we have a 64b fraction and a binary exponent
521
   * but have yet to incorporate the decimal exponent.
522
   */
523
524
  /* multiply by 10^dexp */
525
  int sexp;
526
  _Stl_tenscale(vv.i64, dexp, sexp);
527
  bexp += sexp;
528
529
  if ( bexp >= limits::min_exponent ) { /* not zero or denorm */
530
    if ( limits::digits < 64 ) {
531
      /* Round to (64 - M + 1) bits */
532
      uint64_t rest = vv.i64 & ((~ULL(0) / ULL(2)) >> (limits::digits - 1));
533
      vv.i64 >>= M - 2;
534
      uint32_t guard = (uint32) vv.i64 & 1;
535
      vv.i64 >>= 1;
536
537
      /*  value&1 guard   rest    Action
538
       *
539
       *  dc      0       dc      none
540
       *  1       1       dc      round
541
       *  0       1       0       none
542
       *  0       1       !=0     round
543
       */
544
545
      if (guard) {
546
        if ( ((vv.i64 & 1) != 0) || (rest != 0) ) {
547
          vv.i64++;       /* round */
548
          if ( (vv.i64 >> (limits::digits < 64 ? limits::digits : 0)) != 0 ) { /* carry all the way across */
549
            vv.i64 >>= 1; /* renormalize */
550
            ++bexp;
551
          }
552
        }
553
      }
554
555
      vv.i64 &= ~(ULL(1) << (limits::digits - 1)); /* hide hidden bit */
556
    }
557
    /*
558
     * Check for overflow
559
     * IEEE Double Precision Format
560
     * (From Table 7-8 of Kane and Heinrich)
561
     *
562
     * Fraction bits               52
563
     * Emax                     +1023
564
     * Emin                     -1022
565
     * Exponent bias            +1023
566
     * Exponent bits               11
567
     * Integer bit             hidden
568
     * Total width in bits         64
569
     */
570
571
    if (bexp > limits::max_exponent) { /* overflow */
572
      return limits::infinity();
573
    }
574
575
    /* value is normal */
576
577
    IEEE v;
578
579
    v.ieee.mantissa0 = vv.i32.hi;
580
    v.ieee.mantissa1 = vv.i32.lo;
581
    v.ieee.negative = 0;
582
    v.ieee.exponent = bexp + BIAS - 1;
583
584
    return v.d;
585
  }
586
587
  /* HI denorm or underflow */
588
  bexp += BIAS - 1;
589
  if (bexp < -limits::digits) { /* guaranteed underflow */
590
    vv.i64 = 0;
591
  } else {  /* denorm or possible underflow */
592
593
    /*
594
     * Problem point for long double: looks like this code reflect shareing of mantissa
595
     * and exponent in 64b int; not so for long double
596
     */
597
598
    int lead0 = M - bexp; /* M = 12 sign and exponent bits */
599
    uint64_t rest;
600
    uint32_t guard;
601
602
    /* we must special case right shifts of more than 63 */
603
604
    if (lead0 > 64) {
605
      rest = vv.i64;
606
      guard = 0;
607
      vv.i64 = 0;
608
    } else if (lead0 == 64) {
609
      rest = vv.i64 & ((ULL(1) << 63)-1);
610
      guard = (uint32) ((vv.i64 >> 63) & 1 );
611
      vv.i64 = 0;
612
    } else {
613
      rest = vv.i64 & (((ULL(1) << lead0)-1)-1);
614
      guard = (uint32) (((vv.i64 >> lead0)-1) & 1);
615
      vv.i64 >>= /*(uint64)*/ lead0; /* exponent is zero */
616
    }
617
618
    /* Round */
619
    if (guard && ( (vv.i64 & 1) || rest)) {
620
      vv.i64++;
621
      if (vv.i64 == (ULL(1) << (limits::digits - 1))) { /* carry created normal number */
622
        IEEE v;
623
624
        v.ieee.mantissa0 = 0;
625
        v.ieee.mantissa1 = 0;
626
        v.ieee.negative = 0;
627
        v.ieee.exponent = 1;
628
        return v.d;
629
      }
630
    }
631
  }
632
633
  IEEE v;
634
635
  v.ieee.mantissa0 = vv.i32.hi;
636
  v.ieee.mantissa1 = vv.i32.lo;
637
  v.ieee.negative = 0;
638
  v.ieee.exponent = 0;
639
640
  return v.d;
641
}
642
#endif // __linux__
643
644
#ifndef __linux__
645
static double _Stl_string_to_double(const char *s) {
646
  typedef numeric_limits<double> limits;
647
  const int max_digits = limits::digits10 + 2;
648
  unsigned c;
649
  unsigned Negate, decimal_point;
650
  char *d;
651
  int exp;
652
  int dpchar;
653
  char digits[max_digits];
654
655
  c = *s++;
656
657
  /* process sign */
658
  Negate = 0;
659
  if (c == '+') {
660
    c = *s++;
661
  } else if (c == '-') {
662
    Negate = 1;
663
    c = *s++;
664
  }
665
666
  d = digits;
667
  dpchar = '.' - '0';
668
  decimal_point = 0;
669
  exp = 0;
670
671
  for (;;) {
672
    c -= '0';
673
    if (c < 10) {
674
      if (d == digits + max_digits) {
675
        /* ignore more than max_digits digits, but adjust exponent */
676
        exp += (decimal_point ^ 1);
677
      } else {
678
        if (c == 0 && d == digits) {
679
          /* ignore leading zeros */
680
        } else {
681
          *d++ = (char) c;
682
        }
683
        exp -= decimal_point;
684
      }
685
    } else if (c == (unsigned int) dpchar && !decimal_point) { /* INTERNATIONAL */
686
      decimal_point = 1;
687
    } else {
688
      break;
689
    }
690
    c = *s++;
691
  }
692
693
  /* strtod cant return until it finds the end of the exponent */
694
  if (d == digits) {
695
    return 0.0;
696
  }
697
698
  if (c == 'e' - '0' || c == 'E' - '0') {
699
    register unsigned negate_exp = 0;
700
    register int e = 0;
701
    c = *s++;
702
    if (c == '+' || c == ' ') {
703
      c = *s++;
704
    } else if (c == '-') {
705
      negate_exp = 1;
706
      c = *s++;
707
    }
708
    if (c -= '0', c < 10) {
709
      do {
710
        e = e * 10 + (int)c;
711
        c = *s++;
712
      } while (c -= '0', c < 10);
713
714
      if (negate_exp) {
715
        e = -e;
716
      }
717
      exp += e;
718
    }
719
  }
720
721
  double x;
722
  ptrdiff_t n = d - digits;
723
  if ((exp + n - 1) < limits::min_exponent10) {
724
    x = 0;
725
  }
726
  else if ((exp + n - 1) > limits::max_exponent10) {
727
    x = limits::infinity();
728
  }
729
  else {
730
    /* Let _Stl_atod diagnose under- and over-flows.
731
     * If the input was == 0.0, we have already returned,
732
     * so retval of +-Inf signals OVERFLOW, 0.0 UNDERFLOW */
733
    x = _Stl_atod(digits, n, exp);
734
  }
735
736
  if (Negate) {
737
    x = -x;
738
  }
739
740
  return x;
741
}
742
743
#endif
744
745
#if defined (__linux__) || defined (__MINGW32__) || defined (__CYGWIN__) || \
746
    defined (__BORLANDC__) || defined (__DMC__)
747
748
template <class D, class IEEE, int M, int BIAS>
749
D _Stl_string_to_doubleT(const char *s)
750
{
751
  typedef numeric_limits<D> limits;
752
  const int max_digits = limits::digits10; /* + 2 17 */;
753
  unsigned c;
754
  unsigned decimal_point;
755
  char *d;
756
  int exp;
757
  D x;
758
  int dpchar;
759
  char digits[max_digits];
760
761
  c = *s++;
762
763
  /* process sign */
764
  bool Negate = false;
765
  if (c == '+') {
766
    c = *s++;
767
  } else if (c == '-') {
768
    Negate = true;
769
    c = *s++;
770
  }
771
772
  d = digits;
773
  dpchar = '.' - '0';
774
  decimal_point = 0;
775
  exp = 0;
776
777
  for (;;) {
778
    c -= '0';
779
    if (c < 10) {
780
      if (d == digits + max_digits) {
781
        /* ignore more than max_digits digits, but adjust exponent */
782
        exp += (decimal_point ^ 1);
783
      } else {
784
        if (c == 0 && d == digits) {
785
          /* ignore leading zeros */
786
        } else {
787
          *d++ = (char) c;
788
        }
789
        exp -= decimal_point;
790
      }
791
    } else if (c == (unsigned int) dpchar && !decimal_point) {    /* INTERNATIONAL */
792
      decimal_point = 1;
793
    } else {
794
      break;
795
    }
796
    c = *s++;
797
  }
798
  /* strtod cant return until it finds the end of the exponent */
799
  if (d == digits) {
800
    return D(0.0);
801
  }
802
803
  if (c == 'e'-'0' || c == 'E'-'0') {
804
    bool negate_exp = false;
805
    register int e = 0;
806
    c = *s++;
807
    if (c == '+' || c == ' ') {
808
      c = *s++;
809
    } else if (c == '-') {
810
      negate_exp = true;
811
      c = *s++;
812
    }
813
    if (c -= '0', c < 10) {
814
      do {
815
        e = e * 10 + (int)c;
816
        c = *s++;
817
      } while (c -= '0', c < 10);
818
819
      if (negate_exp) {
820
        e = -e;
821
      }
822
      exp += e;
823
    }
824
  }
825
826
  ptrdiff_t n = d - digits;
827
  if ((exp + n - 1) < limits::min_exponent10) {
828
    return D(0.0); // +0.0 is the same as -0.0
829
  } else if ((exp + n - 1) > limits::max_exponent10 ) {
830
    // not good, because of x = -x below; this may lead to portability problems
831
    x = limits::infinity();
832
  } else {
833
    /* let _Stl_atod diagnose under- and over-flows */
834
    /* if the input was == 0.0, we have already returned,
835
       so retval of +-Inf signals OVERFLOW, 0.0 UNDERFLOW
836
    */
837
    x = _Stl_atodT<D,IEEE,M,BIAS>(digits, n, exp);
838
  }
839
840
  return Negate ? -x : x;
841
}
842
843
#endif // __linux__
844
845
void _STLP_CALL
846
__string_to_float(const __iostring& v, float& val)
847
{
848
#if !defined (__linux__)
849
  val = (float)_Stl_string_to_double(v.c_str());
850
#else
851
  val = (float)_Stl_string_to_doubleT<double,ieee754_double,12,IEEE754_DOUBLE_BIAS>(v.c_str());
852
#endif
853
}
854
855
void _STLP_CALL
856
__string_to_float(const __iostring& v, double& val)
857
{
858
#if !defined (__linux__)
859
  val = _Stl_string_to_double(v.c_str());
860
#else
861
  val = _Stl_string_to_doubleT<double,ieee754_double,12,IEEE754_DOUBLE_BIAS>(v.c_str());
862
#endif
863
}
864
865
#if !defined (_STLP_NO_LONG_DOUBLE)
866
void _STLP_CALL
867
__string_to_float(const __iostring& v, long double& val) {
868
#if !defined (__linux__) && !defined (__MINGW32__) && !defined (__CYGWIN__) && \
869
    !defined (__BORLANDC__) && !defined (__DMC__)
870
  //The following function is valid only if long double is an alias for double.
871
  _STLP_STATIC_ASSERT( sizeof(long double) <= sizeof(double) )
872
  val = _Stl_string_to_double(v.c_str());
873
#else
874
  val = _Stl_string_to_doubleT<long double,ieee854_long_double,16,IEEE854_LONG_DOUBLE_BIAS>(v.c_str());
875
#endif
876
}
877
#endif
878
879
_STLP_MOVE_TO_STD_NAMESPACE
880
_STLP_END_NAMESPACE
881
882
// Local Variables:
883
// mode:C++
884
// End: