• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // © 2018 and later: Unicode, Inc. and others.
2 // License & terms of use: http://www.unicode.org/copyright.html
3 //
4 // From the double-conversion library. Original license:
5 //
6 // Copyright 2010 the V8 project authors. All rights reserved.
7 // Redistribution and use in source and binary forms, with or without
8 // modification, are permitted provided that the following conditions are
9 // met:
10 //
11 //     * Redistributions of source code must retain the above copyright
12 //       notice, this list of conditions and the following disclaimer.
13 //     * Redistributions in binary form must reproduce the above
14 //       copyright notice, this list of conditions and the following
15 //       disclaimer in the documentation and/or other materials provided
16 //       with the distribution.
17 //     * Neither the name of Google Inc. nor the names of its
18 //       contributors may be used to endorse or promote products derived
19 //       from this software without specific prior written permission.
20 //
21 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
22 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
23 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
24 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
25 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
26 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
27 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
28 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
29 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
30 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
31 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
32 
33 // ICU PATCH: ifdef around UCONFIG_NO_FORMATTING
34 #include "unicode/utypes.h"
35 #if !UCONFIG_NO_FORMATTING
36 
37 #include <algorithm>
38 #include <climits>
39 #include <cmath>
40 
41 // ICU PATCH: Customize header file paths for ICU.
42 // The file fixed-dtoa.h is not needed.
43 
44 #include "double-conversion-double-to-string.h"
45 
46 #include "double-conversion-bignum-dtoa.h"
47 #include "double-conversion-fast-dtoa.h"
48 #include "double-conversion-ieee.h"
49 #include "double-conversion-utils.h"
50 
51 // ICU PATCH: Wrap in ICU namespace
52 U_NAMESPACE_BEGIN
53 
54 namespace double_conversion {
55 
56 #if 0  // not needed for ICU
57 const DoubleToStringConverter& DoubleToStringConverter::EcmaScriptConverter() {
58   int flags = UNIQUE_ZERO | EMIT_POSITIVE_EXPONENT_SIGN;
59   static DoubleToStringConverter converter(flags,
60                                            "Infinity",
61                                            "NaN",
62                                            'e',
63                                            -6, 21,
64                                            6, 0);
65   return converter;
66 }
67 
68 
69 bool DoubleToStringConverter::HandleSpecialValues(
70     double value,
71     StringBuilder* result_builder) const {
72   Double double_inspect(value);
73   if (double_inspect.IsInfinite()) {
74     if (infinity_symbol_ == NULL) return false;
75     if (value < 0) {
76       result_builder->AddCharacter('-');
77     }
78     result_builder->AddString(infinity_symbol_);
79     return true;
80   }
81   if (double_inspect.IsNan()) {
82     if (nan_symbol_ == NULL) return false;
83     result_builder->AddString(nan_symbol_);
84     return true;
85   }
86   return false;
87 }
88 
89 
90 void DoubleToStringConverter::CreateExponentialRepresentation(
91     const char* decimal_digits,
92     int length,
93     int exponent,
94     StringBuilder* result_builder) const {
95   DOUBLE_CONVERSION_ASSERT(length != 0);
96   result_builder->AddCharacter(decimal_digits[0]);
97   if (length != 1) {
98     result_builder->AddCharacter('.');
99     result_builder->AddSubstring(&decimal_digits[1], length-1);
100   }
101   result_builder->AddCharacter(exponent_character_);
102   if (exponent < 0) {
103     result_builder->AddCharacter('-');
104     exponent = -exponent;
105   } else {
106     if ((flags_ & EMIT_POSITIVE_EXPONENT_SIGN) != 0) {
107       result_builder->AddCharacter('+');
108     }
109   }
110   if (exponent == 0) {
111     result_builder->AddCharacter('0');
112     return;
113   }
114   DOUBLE_CONVERSION_ASSERT(exponent < 1e4);
115   // Changing this constant requires updating the comment of DoubleToStringConverter constructor
116   const int kMaxExponentLength = 5;
117   char buffer[kMaxExponentLength + 1];
118   buffer[kMaxExponentLength] = '\0';
119   int first_char_pos = kMaxExponentLength;
120   while (exponent > 0) {
121     buffer[--first_char_pos] = '0' + (exponent % 10);
122     exponent /= 10;
123   }
124   // Add prefix '0' to make exponent width >= min(min_exponent_with_, kMaxExponentLength)
125   // For example: convert 1e+9 -> 1e+09, if min_exponent_with_ is set to 2
126   while(kMaxExponentLength - first_char_pos < std::min(min_exponent_width_, kMaxExponentLength)) {
127     buffer[--first_char_pos] = '0';
128   }
129   result_builder->AddSubstring(&buffer[first_char_pos],
130                                kMaxExponentLength - first_char_pos);
131 }
132 
133 
134 void DoubleToStringConverter::CreateDecimalRepresentation(
135     const char* decimal_digits,
136     int length,
137     int decimal_point,
138     int digits_after_point,
139     StringBuilder* result_builder) const {
140   // Create a representation that is padded with zeros if needed.
141   if (decimal_point <= 0) {
142       // "0.00000decimal_rep" or "0.000decimal_rep00".
143     result_builder->AddCharacter('0');
144     if (digits_after_point > 0) {
145       result_builder->AddCharacter('.');
146       result_builder->AddPadding('0', -decimal_point);
147       DOUBLE_CONVERSION_ASSERT(length <= digits_after_point - (-decimal_point));
148       result_builder->AddSubstring(decimal_digits, length);
149       int remaining_digits = digits_after_point - (-decimal_point) - length;
150       result_builder->AddPadding('0', remaining_digits);
151     }
152   } else if (decimal_point >= length) {
153     // "decimal_rep0000.00000" or "decimal_rep.0000".
154     result_builder->AddSubstring(decimal_digits, length);
155     result_builder->AddPadding('0', decimal_point - length);
156     if (digits_after_point > 0) {
157       result_builder->AddCharacter('.');
158       result_builder->AddPadding('0', digits_after_point);
159     }
160   } else {
161     // "decima.l_rep000".
162     DOUBLE_CONVERSION_ASSERT(digits_after_point > 0);
163     result_builder->AddSubstring(decimal_digits, decimal_point);
164     result_builder->AddCharacter('.');
165     DOUBLE_CONVERSION_ASSERT(length - decimal_point <= digits_after_point);
166     result_builder->AddSubstring(&decimal_digits[decimal_point],
167                                  length - decimal_point);
168     int remaining_digits = digits_after_point - (length - decimal_point);
169     result_builder->AddPadding('0', remaining_digits);
170   }
171   if (digits_after_point == 0) {
172     if ((flags_ & EMIT_TRAILING_DECIMAL_POINT) != 0) {
173       result_builder->AddCharacter('.');
174     }
175     if ((flags_ & EMIT_TRAILING_ZERO_AFTER_POINT) != 0) {
176       result_builder->AddCharacter('0');
177     }
178   }
179 }
180 
181 
182 bool DoubleToStringConverter::ToShortestIeeeNumber(
183     double value,
184     StringBuilder* result_builder,
185     DoubleToStringConverter::DtoaMode mode) const {
186   DOUBLE_CONVERSION_ASSERT(mode == SHORTEST || mode == SHORTEST_SINGLE);
187   if (Double(value).IsSpecial()) {
188     return HandleSpecialValues(value, result_builder);
189   }
190 
191   int decimal_point;
192   bool sign;
193   const int kDecimalRepCapacity = kBase10MaximalLength + 1;
194   char decimal_rep[kDecimalRepCapacity];
195   int decimal_rep_length;
196 
197   DoubleToAscii(value, mode, 0, decimal_rep, kDecimalRepCapacity,
198                 &sign, &decimal_rep_length, &decimal_point);
199 
200   bool unique_zero = (flags_ & UNIQUE_ZERO) != 0;
201   if (sign && (value != 0.0 || !unique_zero)) {
202     result_builder->AddCharacter('-');
203   }
204 
205   int exponent = decimal_point - 1;
206   if ((decimal_in_shortest_low_ <= exponent) &&
207       (exponent < decimal_in_shortest_high_)) {
208     CreateDecimalRepresentation(decimal_rep, decimal_rep_length,
209                                 decimal_point,
210                                 (std::max)(0, decimal_rep_length - decimal_point),
211                                 result_builder);
212   } else {
213     CreateExponentialRepresentation(decimal_rep, decimal_rep_length, exponent,
214                                     result_builder);
215   }
216   return true;
217 }
218 
219 
220 bool DoubleToStringConverter::ToFixed(double value,
221                                       int requested_digits,
222                                       StringBuilder* result_builder) const {
223   DOUBLE_CONVERSION_ASSERT(kMaxFixedDigitsBeforePoint == 60);
224   const double kFirstNonFixed = 1e60;
225 
226   if (Double(value).IsSpecial()) {
227     return HandleSpecialValues(value, result_builder);
228   }
229 
230   if (requested_digits > kMaxFixedDigitsAfterPoint) return false;
231   if (value >= kFirstNonFixed || value <= -kFirstNonFixed) return false;
232 
233   // Find a sufficiently precise decimal representation of n.
234   int decimal_point;
235   bool sign;
236   // Add space for the '\0' byte.
237   const int kDecimalRepCapacity =
238       kMaxFixedDigitsBeforePoint + kMaxFixedDigitsAfterPoint + 1;
239   char decimal_rep[kDecimalRepCapacity];
240   int decimal_rep_length;
241   DoubleToAscii(value, FIXED, requested_digits,
242                 decimal_rep, kDecimalRepCapacity,
243                 &sign, &decimal_rep_length, &decimal_point);
244 
245   bool unique_zero = ((flags_ & UNIQUE_ZERO) != 0);
246   if (sign && (value != 0.0 || !unique_zero)) {
247     result_builder->AddCharacter('-');
248   }
249 
250   CreateDecimalRepresentation(decimal_rep, decimal_rep_length, decimal_point,
251                               requested_digits, result_builder);
252   return true;
253 }
254 
255 
256 bool DoubleToStringConverter::ToExponential(
257     double value,
258     int requested_digits,
259     StringBuilder* result_builder) const {
260   if (Double(value).IsSpecial()) {
261     return HandleSpecialValues(value, result_builder);
262   }
263 
264   if (requested_digits < -1) return false;
265   if (requested_digits > kMaxExponentialDigits) return false;
266 
267   int decimal_point;
268   bool sign;
269   // Add space for digit before the decimal point and the '\0' character.
270   const int kDecimalRepCapacity = kMaxExponentialDigits + 2;
271   DOUBLE_CONVERSION_ASSERT(kDecimalRepCapacity > kBase10MaximalLength);
272   char decimal_rep[kDecimalRepCapacity];
273 #ifndef NDEBUG
274   // Problem: there is an assert in StringBuilder::AddSubstring() that
275   // will pass this buffer to strlen(), and this buffer is not generally
276   // null-terminated.
277   memset(decimal_rep, 0, sizeof(decimal_rep));
278 #endif
279   int decimal_rep_length;
280 
281   if (requested_digits == -1) {
282     DoubleToAscii(value, SHORTEST, 0,
283                   decimal_rep, kDecimalRepCapacity,
284                   &sign, &decimal_rep_length, &decimal_point);
285   } else {
286     DoubleToAscii(value, PRECISION, requested_digits + 1,
287                   decimal_rep, kDecimalRepCapacity,
288                   &sign, &decimal_rep_length, &decimal_point);
289     DOUBLE_CONVERSION_ASSERT(decimal_rep_length <= requested_digits + 1);
290 
291     for (int i = decimal_rep_length; i < requested_digits + 1; ++i) {
292       decimal_rep[i] = '0';
293     }
294     decimal_rep_length = requested_digits + 1;
295   }
296 
297   bool unique_zero = ((flags_ & UNIQUE_ZERO) != 0);
298   if (sign && (value != 0.0 || !unique_zero)) {
299     result_builder->AddCharacter('-');
300   }
301 
302   int exponent = decimal_point - 1;
303   CreateExponentialRepresentation(decimal_rep,
304                                   decimal_rep_length,
305                                   exponent,
306                                   result_builder);
307   return true;
308 }
309 
310 
311 bool DoubleToStringConverter::ToPrecision(double value,
312                                           int precision,
313                                           StringBuilder* result_builder) const {
314   if (Double(value).IsSpecial()) {
315     return HandleSpecialValues(value, result_builder);
316   }
317 
318   if (precision < kMinPrecisionDigits || precision > kMaxPrecisionDigits) {
319     return false;
320   }
321 
322   // Find a sufficiently precise decimal representation of n.
323   int decimal_point;
324   bool sign;
325   // Add one for the terminating null character.
326   const int kDecimalRepCapacity = kMaxPrecisionDigits + 1;
327   char decimal_rep[kDecimalRepCapacity];
328   int decimal_rep_length;
329 
330   DoubleToAscii(value, PRECISION, precision,
331                 decimal_rep, kDecimalRepCapacity,
332                 &sign, &decimal_rep_length, &decimal_point);
333   DOUBLE_CONVERSION_ASSERT(decimal_rep_length <= precision);
334 
335   bool unique_zero = ((flags_ & UNIQUE_ZERO) != 0);
336   if (sign && (value != 0.0 || !unique_zero)) {
337     result_builder->AddCharacter('-');
338   }
339 
340   // The exponent if we print the number as x.xxeyyy. That is with the
341   // decimal point after the first digit.
342   int exponent = decimal_point - 1;
343 
344   int extra_zero = ((flags_ & EMIT_TRAILING_ZERO_AFTER_POINT) != 0) ? 1 : 0;
345   if ((-decimal_point + 1 > max_leading_padding_zeroes_in_precision_mode_) ||
346       (decimal_point - precision + extra_zero >
347        max_trailing_padding_zeroes_in_precision_mode_)) {
348     // Fill buffer to contain 'precision' digits.
349     // Usually the buffer is already at the correct length, but 'DoubleToAscii'
350     // is allowed to return less characters.
351     for (int i = decimal_rep_length; i < precision; ++i) {
352       decimal_rep[i] = '0';
353     }
354 
355     CreateExponentialRepresentation(decimal_rep,
356                                     precision,
357                                     exponent,
358                                     result_builder);
359   } else {
360     CreateDecimalRepresentation(decimal_rep, decimal_rep_length, decimal_point,
361                                 (std::max)(0, precision - decimal_point),
362                                 result_builder);
363   }
364   return true;
365 }
366 #endif // not needed for ICU
367 
368 
DtoaToBignumDtoaMode(DoubleToStringConverter::DtoaMode dtoa_mode)369 static BignumDtoaMode DtoaToBignumDtoaMode(
370     DoubleToStringConverter::DtoaMode dtoa_mode) {
371   switch (dtoa_mode) {
372     case DoubleToStringConverter::SHORTEST:  return BIGNUM_DTOA_SHORTEST;
373     case DoubleToStringConverter::SHORTEST_SINGLE:
374         return BIGNUM_DTOA_SHORTEST_SINGLE;
375     case DoubleToStringConverter::FIXED:     return BIGNUM_DTOA_FIXED;
376     case DoubleToStringConverter::PRECISION: return BIGNUM_DTOA_PRECISION;
377     default:
378       DOUBLE_CONVERSION_UNREACHABLE();
379   }
380 }
381 
382 
DoubleToAscii(double v,DtoaMode mode,int requested_digits,char * buffer,int buffer_length,bool * sign,int * length,int * point)383 void DoubleToStringConverter::DoubleToAscii(double v,
384                                             DtoaMode mode,
385                                             int requested_digits,
386                                             char* buffer,
387                                             int buffer_length,
388                                             bool* sign,
389                                             int* length,
390                                             int* point) {
391   Vector<char> vector(buffer, buffer_length);
392   DOUBLE_CONVERSION_ASSERT(!Double(v).IsSpecial());
393   DOUBLE_CONVERSION_ASSERT(mode == SHORTEST || mode == SHORTEST_SINGLE || requested_digits >= 0);
394 
395   if (Double(v).Sign() < 0) {
396     *sign = true;
397     v = -v;
398   } else {
399     *sign = false;
400   }
401 
402   if (mode == PRECISION && requested_digits == 0) {
403     vector[0] = '\0';
404     *length = 0;
405     return;
406   }
407 
408   if (v == 0) {
409     vector[0] = '0';
410     vector[1] = '\0';
411     *length = 1;
412     *point = 1;
413     return;
414   }
415 
416   bool fast_worked;
417   switch (mode) {
418     case SHORTEST:
419       fast_worked = FastDtoa(v, FAST_DTOA_SHORTEST, 0, vector, length, point);
420       break;
421 #if 0 // not needed for ICU
422     case SHORTEST_SINGLE:
423       fast_worked = FastDtoa(v, FAST_DTOA_SHORTEST_SINGLE, 0,
424                              vector, length, point);
425       break;
426     case FIXED:
427       fast_worked = FastFixedDtoa(v, requested_digits, vector, length, point);
428       break;
429     case PRECISION:
430       fast_worked = FastDtoa(v, FAST_DTOA_PRECISION, requested_digits,
431                              vector, length, point);
432       break;
433 #endif // not needed for ICU
434     default:
435       fast_worked = false;
436       DOUBLE_CONVERSION_UNREACHABLE();
437   }
438   if (fast_worked) return;
439 
440   // If the fast dtoa didn't succeed use the slower bignum version.
441   BignumDtoaMode bignum_mode = DtoaToBignumDtoaMode(mode);
442   BignumDtoa(v, bignum_mode, requested_digits, vector, length, point);
443   vector[*length] = '\0';
444 }
445 
446 }  // namespace double_conversion
447 
448 // ICU PATCH: Close ICU namespace
449 U_NAMESPACE_END
450 #endif // ICU PATCH: close #if !UCONFIG_NO_FORMATTING
451