conversions-inl.h revision 014dc512cdd3e367bee49a713fdc5ed92584a3e5
1f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon// Copyright 2011 the V8 project authors. All rights reserved. 2f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon// Use of this source code is governed by a BSD-style license that can be 3f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon// found in the LICENSE file. 4f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 5f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon#ifndef V8_CONVERSIONS_INL_H_ 6f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon#define V8_CONVERSIONS_INL_H_ 7f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 8f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon#include <float.h> // Required for DBL_MAX and on Win32 for finite() 9f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon#include <limits.h> // Required for INT_MAX etc. 10f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon#include <stdarg.h> 11f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon#include <cmath> 12f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon#include "src/globals.h" // Required for V8_INFINITY 13f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon#include "src/unicode-cache-inl.h" 14f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 15f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon// ---------------------------------------------------------------------------- 16f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon// Extra POSIX/ANSI functions for Win32/MSVC. 17f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 18f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon#include "src/base/bits.h" 195ec26ae9bfca635ccc98283aad5deda11519d826bsalomon#include "src/base/platform/platform.h" 20f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon#include "src/conversions.h" 21f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon#include "src/double.h" 22f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon#include "src/objects-inl.h" 23f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon#include "src/strtod.h" 24f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 25f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomonnamespace v8 { 26f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomonnamespace internal { 27f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 28f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomoninline double JunkStringValue() { 29f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon return bit_cast<double, uint64_t>(kQuietNaNMask); 30f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon} 31f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 32f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 33f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomoninline double SignedZero(bool negative) { 34f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon return negative ? uint64_to_double(Double::kSignMask) : 0.0; 35f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon} 36f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 37f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 38f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon// The fast double-to-unsigned-int conversion routine does not guarantee 39f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon// rounding towards zero, or any reasonable value if the argument is larger 40f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon// than what fits in an unsigned 32-bit integer. 41f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomoninline unsigned int FastD2UI(double x) { 42f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon // There is no unsigned version of lrint, so there is no fast path 43f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon // in this function as there is in FastD2I. Using lrint doesn't work 44f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon // for values of 2^31 and above. 45f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 46f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon // Convert "small enough" doubles to uint32_t by fixing the 32 47f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon // least significant non-fractional bits in the low 32 bits of the 48f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon // double, and reading them from there. 49f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon const double k2Pow52 = 4503599627370496.0; 50f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon bool negative = x < 0; 51f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon if (negative) { 52f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon x = -x; 53f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon } 54f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon if (x < k2Pow52) { 55f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon x += k2Pow52; 56f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon uint32_t result; 57f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon#ifndef V8_TARGET_BIG_ENDIAN 58f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon Address mantissa_ptr = reinterpret_cast<Address>(&x); 59f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon#else 60f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon Address mantissa_ptr = reinterpret_cast<Address>(&x) + kIntSize; 61f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon#endif 62f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon // Copy least significant 32 bits of mantissa. 63f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon memcpy(&result, mantissa_ptr, sizeof(result)); 64f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon return negative ? ~result + 1 : result; 65f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon } 66f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon // Large number (outside uint32 range), Infinity or NaN. 67f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon return 0x80000000u; // Return integer indefinite. 68f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon} 69f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 70f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 71f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomoninline float DoubleToFloat32(double x) { 72f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon // TODO(yangguo): This static_cast is implementation-defined behaviour in C++, 73f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon // so we may need to do the conversion manually instead to match the spec. 74f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon volatile float f = static_cast<float>(x); 75f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon return f; 76f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon} 77f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 78f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 79f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomoninline double DoubleToInteger(double x) { 80f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon if (std::isnan(x)) return 0; 81f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon if (!std::isfinite(x) || x == 0) return x; 82f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon return (x >= 0) ? std::floor(x) : std::ceil(x); 83f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon} 84f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 85f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 86f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomonint32_t DoubleToInt32(double x) { 87f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon int32_t i = FastD2I(x); 88f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon if (FastI2D(i) == x) return i; 89f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon Double d(x); 90f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon int exponent = d.Exponent(); 91f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon if (exponent < 0) { 92f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon if (exponent <= -Double::kSignificandSize) return 0; 93f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon return d.Sign() * static_cast<int32_t>(d.Significand() >> -exponent); 94f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon } else { 95f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon if (exponent > 31) return 0; 96f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon return d.Sign() * static_cast<int32_t>(d.Significand() << exponent); 97f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon } 98f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon} 99f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 100f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 101f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomonbool IsSmiDouble(double value) { 102f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon return !IsMinusZero(value) && value >= Smi::kMinValue && 103f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon value <= Smi::kMaxValue && value == FastI2D(FastD2I(value)); 104f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon} 105f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 106f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 107f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomonbool IsInt32Double(double value) { 108f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon return !IsMinusZero(value) && value >= kMinInt && value <= kMaxInt && 109f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon value == FastI2D(FastD2I(value)); 110f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon} 111f267c1efe7de7a8e71404afde6cbf93c3808d267bsalomon 112 113bool IsUint32Double(double value) { 114 return !IsMinusZero(value) && value >= 0 && value <= kMaxUInt32 && 115 value == FastUI2D(FastD2UI(value)); 116} 117 118 119int32_t NumberToInt32(Object* number) { 120 if (number->IsSmi()) return Smi::cast(number)->value(); 121 return DoubleToInt32(number->Number()); 122} 123 124 125uint32_t NumberToUint32(Object* number) { 126 if (number->IsSmi()) return Smi::cast(number)->value(); 127 return DoubleToUint32(number->Number()); 128} 129 130 131bool TryNumberToSize(Isolate* isolate, Object* number, size_t* result) { 132 SealHandleScope shs(isolate); 133 if (number->IsSmi()) { 134 int value = Smi::cast(number)->value(); 135 DCHECK(static_cast<unsigned>(Smi::kMaxValue) <= 136 std::numeric_limits<size_t>::max()); 137 if (value >= 0) { 138 *result = static_cast<size_t>(value); 139 return true; 140 } 141 return false; 142 } else { 143 DCHECK(number->IsHeapNumber()); 144 double value = HeapNumber::cast(number)->value(); 145 if (value >= 0 && value <= std::numeric_limits<size_t>::max()) { 146 *result = static_cast<size_t>(value); 147 return true; 148 } else { 149 return false; 150 } 151 } 152} 153 154 155size_t NumberToSize(Isolate* isolate, Object* number) { 156 size_t result = 0; 157 bool is_valid = TryNumberToSize(isolate, number, &result); 158 CHECK(is_valid); 159 return result; 160} 161 162 163uint32_t DoubleToUint32(double x) { 164 return static_cast<uint32_t>(DoubleToInt32(x)); 165} 166 167 168template <class Iterator, class EndMark> 169bool SubStringEquals(Iterator* current, 170 EndMark end, 171 const char* substring) { 172 DCHECK(**current == *substring); 173 for (substring++; *substring != '\0'; substring++) { 174 ++*current; 175 if (*current == end || **current != *substring) return false; 176 } 177 ++*current; 178 return true; 179} 180 181 182// Returns true if a nonspace character has been found and false if the 183// end was been reached before finding a nonspace character. 184template <class Iterator, class EndMark> 185inline bool AdvanceToNonspace(UnicodeCache* unicode_cache, 186 Iterator* current, 187 EndMark end) { 188 while (*current != end) { 189 if (!unicode_cache->IsWhiteSpaceOrLineTerminator(**current)) return true; 190 ++*current; 191 } 192 return false; 193} 194 195 196// Parsing integers with radix 2, 4, 8, 16, 32. Assumes current != end. 197template <int radix_log_2, class Iterator, class EndMark> 198double InternalStringToIntDouble(UnicodeCache* unicode_cache, 199 Iterator current, 200 EndMark end, 201 bool negative, 202 bool allow_trailing_junk) { 203 DCHECK(current != end); 204 205 // Skip leading 0s. 206 while (*current == '0') { 207 ++current; 208 if (current == end) return SignedZero(negative); 209 } 210 211 int64_t number = 0; 212 int exponent = 0; 213 const int radix = (1 << radix_log_2); 214 215 do { 216 int digit; 217 if (*current >= '0' && *current <= '9' && *current < '0' + radix) { 218 digit = static_cast<char>(*current) - '0'; 219 } else if (radix > 10 && *current >= 'a' && *current < 'a' + radix - 10) { 220 digit = static_cast<char>(*current) - 'a' + 10; 221 } else if (radix > 10 && *current >= 'A' && *current < 'A' + radix - 10) { 222 digit = static_cast<char>(*current) - 'A' + 10; 223 } else { 224 if (allow_trailing_junk || 225 !AdvanceToNonspace(unicode_cache, ¤t, end)) { 226 break; 227 } else { 228 return JunkStringValue(); 229 } 230 } 231 232 number = number * radix + digit; 233 int overflow = static_cast<int>(number >> 53); 234 if (overflow != 0) { 235 // Overflow occurred. Need to determine which direction to round the 236 // result. 237 int overflow_bits_count = 1; 238 while (overflow > 1) { 239 overflow_bits_count++; 240 overflow >>= 1; 241 } 242 243 int dropped_bits_mask = ((1 << overflow_bits_count) - 1); 244 int dropped_bits = static_cast<int>(number) & dropped_bits_mask; 245 number >>= overflow_bits_count; 246 exponent = overflow_bits_count; 247 248 bool zero_tail = true; 249 while (true) { 250 ++current; 251 if (current == end || !isDigit(*current, radix)) break; 252 zero_tail = zero_tail && *current == '0'; 253 exponent += radix_log_2; 254 } 255 256 if (!allow_trailing_junk && 257 AdvanceToNonspace(unicode_cache, ¤t, end)) { 258 return JunkStringValue(); 259 } 260 261 int middle_value = (1 << (overflow_bits_count - 1)); 262 if (dropped_bits > middle_value) { 263 number++; // Rounding up. 264 } else if (dropped_bits == middle_value) { 265 // Rounding to even to consistency with decimals: half-way case rounds 266 // up if significant part is odd and down otherwise. 267 if ((number & 1) != 0 || !zero_tail) { 268 number++; // Rounding up. 269 } 270 } 271 272 // Rounding up may cause overflow. 273 if ((number & (static_cast<int64_t>(1) << 53)) != 0) { 274 exponent++; 275 number >>= 1; 276 } 277 break; 278 } 279 ++current; 280 } while (current != end); 281 282 DCHECK(number < ((int64_t)1 << 53)); 283 DCHECK(static_cast<int64_t>(static_cast<double>(number)) == number); 284 285 if (exponent == 0) { 286 if (negative) { 287 if (number == 0) return -0.0; 288 number = -number; 289 } 290 return static_cast<double>(number); 291 } 292 293 DCHECK(number != 0); 294 return std::ldexp(static_cast<double>(negative ? -number : number), exponent); 295} 296 297// ES6 18.2.5 parseInt(string, radix) 298template <class Iterator, class EndMark> 299double InternalStringToInt(UnicodeCache* unicode_cache, 300 Iterator current, 301 EndMark end, 302 int radix) { 303 const bool allow_trailing_junk = true; 304 const double empty_string_val = JunkStringValue(); 305 306 if (!AdvanceToNonspace(unicode_cache, ¤t, end)) { 307 return empty_string_val; 308 } 309 310 bool negative = false; 311 bool leading_zero = false; 312 313 if (*current == '+') { 314 // Ignore leading sign; skip following spaces. 315 ++current; 316 if (current == end) { 317 return JunkStringValue(); 318 } 319 } else if (*current == '-') { 320 ++current; 321 if (current == end) { 322 return JunkStringValue(); 323 } 324 negative = true; 325 } 326 327 if (radix == 0) { 328 // Radix detection. 329 radix = 10; 330 if (*current == '0') { 331 ++current; 332 if (current == end) return SignedZero(negative); 333 if (*current == 'x' || *current == 'X') { 334 radix = 16; 335 ++current; 336 if (current == end) return JunkStringValue(); 337 } else { 338 leading_zero = true; 339 } 340 } 341 } else if (radix == 16) { 342 if (*current == '0') { 343 // Allow "0x" prefix. 344 ++current; 345 if (current == end) return SignedZero(negative); 346 if (*current == 'x' || *current == 'X') { 347 ++current; 348 if (current == end) return JunkStringValue(); 349 } else { 350 leading_zero = true; 351 } 352 } 353 } 354 355 if (radix < 2 || radix > 36) return JunkStringValue(); 356 357 // Skip leading zeros. 358 while (*current == '0') { 359 leading_zero = true; 360 ++current; 361 if (current == end) return SignedZero(negative); 362 } 363 364 if (!leading_zero && !isDigit(*current, radix)) { 365 return JunkStringValue(); 366 } 367 368 if (base::bits::IsPowerOfTwo32(radix)) { 369 switch (radix) { 370 case 2: 371 return InternalStringToIntDouble<1>( 372 unicode_cache, current, end, negative, allow_trailing_junk); 373 case 4: 374 return InternalStringToIntDouble<2>( 375 unicode_cache, current, end, negative, allow_trailing_junk); 376 case 8: 377 return InternalStringToIntDouble<3>( 378 unicode_cache, current, end, negative, allow_trailing_junk); 379 380 case 16: 381 return InternalStringToIntDouble<4>( 382 unicode_cache, current, end, negative, allow_trailing_junk); 383 384 case 32: 385 return InternalStringToIntDouble<5>( 386 unicode_cache, current, end, negative, allow_trailing_junk); 387 default: 388 UNREACHABLE(); 389 } 390 } 391 392 if (radix == 10) { 393 // Parsing with strtod. 394 const int kMaxSignificantDigits = 309; // Doubles are less than 1.8e308. 395 // The buffer may contain up to kMaxSignificantDigits + 1 digits and a zero 396 // end. 397 const int kBufferSize = kMaxSignificantDigits + 2; 398 char buffer[kBufferSize]; 399 int buffer_pos = 0; 400 while (*current >= '0' && *current <= '9') { 401 if (buffer_pos <= kMaxSignificantDigits) { 402 // If the number has more than kMaxSignificantDigits it will be parsed 403 // as infinity. 404 DCHECK(buffer_pos < kBufferSize); 405 buffer[buffer_pos++] = static_cast<char>(*current); 406 } 407 ++current; 408 if (current == end) break; 409 } 410 411 if (!allow_trailing_junk && 412 AdvanceToNonspace(unicode_cache, ¤t, end)) { 413 return JunkStringValue(); 414 } 415 416 SLOW_DCHECK(buffer_pos < kBufferSize); 417 buffer[buffer_pos] = '\0'; 418 Vector<const char> buffer_vector(buffer, buffer_pos); 419 return negative ? -Strtod(buffer_vector, 0) : Strtod(buffer_vector, 0); 420 } 421 422 // The following code causes accumulating rounding error for numbers greater 423 // than ~2^56. It's explicitly allowed in the spec: "if R is not 2, 4, 8, 10, 424 // 16, or 32, then mathInt may be an implementation-dependent approximation to 425 // the mathematical integer value" (15.1.2.2). 426 427 int lim_0 = '0' + (radix < 10 ? radix : 10); 428 int lim_a = 'a' + (radix - 10); 429 int lim_A = 'A' + (radix - 10); 430 431 // NOTE: The code for computing the value may seem a bit complex at 432 // first glance. It is structured to use 32-bit multiply-and-add 433 // loops as long as possible to avoid loosing precision. 434 435 double v = 0.0; 436 bool done = false; 437 do { 438 // Parse the longest part of the string starting at index j 439 // possible while keeping the multiplier, and thus the part 440 // itself, within 32 bits. 441 unsigned int part = 0, multiplier = 1; 442 while (true) { 443 int d; 444 if (*current >= '0' && *current < lim_0) { 445 d = *current - '0'; 446 } else if (*current >= 'a' && *current < lim_a) { 447 d = *current - 'a' + 10; 448 } else if (*current >= 'A' && *current < lim_A) { 449 d = *current - 'A' + 10; 450 } else { 451 done = true; 452 break; 453 } 454 455 // Update the value of the part as long as the multiplier fits 456 // in 32 bits. When we can't guarantee that the next iteration 457 // will not overflow the multiplier, we stop parsing the part 458 // by leaving the loop. 459 const unsigned int kMaximumMultiplier = 0xffffffffU / 36; 460 uint32_t m = multiplier * radix; 461 if (m > kMaximumMultiplier) break; 462 part = part * radix + d; 463 multiplier = m; 464 DCHECK(multiplier > part); 465 466 ++current; 467 if (current == end) { 468 done = true; 469 break; 470 } 471 } 472 473 // Update the value and skip the part in the string. 474 v = v * multiplier + part; 475 } while (!done); 476 477 if (!allow_trailing_junk && 478 AdvanceToNonspace(unicode_cache, ¤t, end)) { 479 return JunkStringValue(); 480 } 481 482 return negative ? -v : v; 483} 484 485 486// Converts a string to a double value. Assumes the Iterator supports 487// the following operations: 488// 1. current == end (other ops are not allowed), current != end. 489// 2. *current - gets the current character in the sequence. 490// 3. ++current (advances the position). 491template <class Iterator, class EndMark> 492double InternalStringToDouble(UnicodeCache* unicode_cache, 493 Iterator current, 494 EndMark end, 495 int flags, 496 double empty_string_val) { 497 // To make sure that iterator dereferencing is valid the following 498 // convention is used: 499 // 1. Each '++current' statement is followed by check for equality to 'end'. 500 // 2. If AdvanceToNonspace returned false then current == end. 501 // 3. If 'current' becomes be equal to 'end' the function returns or goes to 502 // 'parsing_done'. 503 // 4. 'current' is not dereferenced after the 'parsing_done' label. 504 // 5. Code before 'parsing_done' may rely on 'current != end'. 505 if (!AdvanceToNonspace(unicode_cache, ¤t, end)) { 506 return empty_string_val; 507 } 508 509 const bool allow_trailing_junk = (flags & ALLOW_TRAILING_JUNK) != 0; 510 511 // The longest form of simplified number is: "-<significant digits>'.1eXXX\0". 512 const int kBufferSize = kMaxSignificantDigits + 10; 513 char buffer[kBufferSize]; // NOLINT: size is known at compile time. 514 int buffer_pos = 0; 515 516 // Exponent will be adjusted if insignificant digits of the integer part 517 // or insignificant leading zeros of the fractional part are dropped. 518 int exponent = 0; 519 int significant_digits = 0; 520 int insignificant_digits = 0; 521 bool nonzero_digit_dropped = false; 522 523 enum Sign { 524 NONE, 525 NEGATIVE, 526 POSITIVE 527 }; 528 529 Sign sign = NONE; 530 531 if (*current == '+') { 532 // Ignore leading sign. 533 ++current; 534 if (current == end) return JunkStringValue(); 535 sign = POSITIVE; 536 } else if (*current == '-') { 537 ++current; 538 if (current == end) return JunkStringValue(); 539 sign = NEGATIVE; 540 } 541 542 static const char kInfinityString[] = "Infinity"; 543 if (*current == kInfinityString[0]) { 544 if (!SubStringEquals(¤t, end, kInfinityString)) { 545 return JunkStringValue(); 546 } 547 548 if (!allow_trailing_junk && 549 AdvanceToNonspace(unicode_cache, ¤t, end)) { 550 return JunkStringValue(); 551 } 552 553 DCHECK(buffer_pos == 0); 554 return (sign == NEGATIVE) ? -V8_INFINITY : V8_INFINITY; 555 } 556 557 bool leading_zero = false; 558 if (*current == '0') { 559 ++current; 560 if (current == end) return SignedZero(sign == NEGATIVE); 561 562 leading_zero = true; 563 564 // It could be hexadecimal value. 565 if ((flags & ALLOW_HEX) && (*current == 'x' || *current == 'X')) { 566 ++current; 567 if (current == end || !isDigit(*current, 16) || sign != NONE) { 568 return JunkStringValue(); // "0x". 569 } 570 571 return InternalStringToIntDouble<4>(unicode_cache, 572 current, 573 end, 574 false, 575 allow_trailing_junk); 576 577 // It could be an explicit octal value. 578 } else if ((flags & ALLOW_OCTAL) && (*current == 'o' || *current == 'O')) { 579 ++current; 580 if (current == end || !isDigit(*current, 8) || sign != NONE) { 581 return JunkStringValue(); // "0o". 582 } 583 584 return InternalStringToIntDouble<3>(unicode_cache, 585 current, 586 end, 587 false, 588 allow_trailing_junk); 589 590 // It could be a binary value. 591 } else if ((flags & ALLOW_BINARY) && (*current == 'b' || *current == 'B')) { 592 ++current; 593 if (current == end || !isBinaryDigit(*current) || sign != NONE) { 594 return JunkStringValue(); // "0b". 595 } 596 597 return InternalStringToIntDouble<1>(unicode_cache, 598 current, 599 end, 600 false, 601 allow_trailing_junk); 602 } 603 604 // Ignore leading zeros in the integer part. 605 while (*current == '0') { 606 ++current; 607 if (current == end) return SignedZero(sign == NEGATIVE); 608 } 609 } 610 611 bool octal = leading_zero && (flags & ALLOW_IMPLICIT_OCTAL) != 0; 612 613 // Copy significant digits of the integer part (if any) to the buffer. 614 while (*current >= '0' && *current <= '9') { 615 if (significant_digits < kMaxSignificantDigits) { 616 DCHECK(buffer_pos < kBufferSize); 617 buffer[buffer_pos++] = static_cast<char>(*current); 618 significant_digits++; 619 // Will later check if it's an octal in the buffer. 620 } else { 621 insignificant_digits++; // Move the digit into the exponential part. 622 nonzero_digit_dropped = nonzero_digit_dropped || *current != '0'; 623 } 624 octal = octal && *current < '8'; 625 ++current; 626 if (current == end) goto parsing_done; 627 } 628 629 if (significant_digits == 0) { 630 octal = false; 631 } 632 633 if (*current == '.') { 634 if (octal && !allow_trailing_junk) return JunkStringValue(); 635 if (octal) goto parsing_done; 636 637 ++current; 638 if (current == end) { 639 if (significant_digits == 0 && !leading_zero) { 640 return JunkStringValue(); 641 } else { 642 goto parsing_done; 643 } 644 } 645 646 if (significant_digits == 0) { 647 // octal = false; 648 // Integer part consists of 0 or is absent. Significant digits start after 649 // leading zeros (if any). 650 while (*current == '0') { 651 ++current; 652 if (current == end) return SignedZero(sign == NEGATIVE); 653 exponent--; // Move this 0 into the exponent. 654 } 655 } 656 657 // There is a fractional part. We don't emit a '.', but adjust the exponent 658 // instead. 659 while (*current >= '0' && *current <= '9') { 660 if (significant_digits < kMaxSignificantDigits) { 661 DCHECK(buffer_pos < kBufferSize); 662 buffer[buffer_pos++] = static_cast<char>(*current); 663 significant_digits++; 664 exponent--; 665 } else { 666 // Ignore insignificant digits in the fractional part. 667 nonzero_digit_dropped = nonzero_digit_dropped || *current != '0'; 668 } 669 ++current; 670 if (current == end) goto parsing_done; 671 } 672 } 673 674 if (!leading_zero && exponent == 0 && significant_digits == 0) { 675 // If leading_zeros is true then the string contains zeros. 676 // If exponent < 0 then string was [+-]\.0*... 677 // If significant_digits != 0 the string is not equal to 0. 678 // Otherwise there are no digits in the string. 679 return JunkStringValue(); 680 } 681 682 // Parse exponential part. 683 if (*current == 'e' || *current == 'E') { 684 if (octal) return JunkStringValue(); 685 ++current; 686 if (current == end) { 687 if (allow_trailing_junk) { 688 goto parsing_done; 689 } else { 690 return JunkStringValue(); 691 } 692 } 693 char sign = '+'; 694 if (*current == '+' || *current == '-') { 695 sign = static_cast<char>(*current); 696 ++current; 697 if (current == end) { 698 if (allow_trailing_junk) { 699 goto parsing_done; 700 } else { 701 return JunkStringValue(); 702 } 703 } 704 } 705 706 if (current == end || *current < '0' || *current > '9') { 707 if (allow_trailing_junk) { 708 goto parsing_done; 709 } else { 710 return JunkStringValue(); 711 } 712 } 713 714 const int max_exponent = INT_MAX / 2; 715 DCHECK(-max_exponent / 2 <= exponent && exponent <= max_exponent / 2); 716 int num = 0; 717 do { 718 // Check overflow. 719 int digit = *current - '0'; 720 if (num >= max_exponent / 10 721 && !(num == max_exponent / 10 && digit <= max_exponent % 10)) { 722 num = max_exponent; 723 } else { 724 num = num * 10 + digit; 725 } 726 ++current; 727 } while (current != end && *current >= '0' && *current <= '9'); 728 729 exponent += (sign == '-' ? -num : num); 730 } 731 732 if (!allow_trailing_junk && 733 AdvanceToNonspace(unicode_cache, ¤t, end)) { 734 return JunkStringValue(); 735 } 736 737 parsing_done: 738 exponent += insignificant_digits; 739 740 if (octal) { 741 return InternalStringToIntDouble<3>(unicode_cache, 742 buffer, 743 buffer + buffer_pos, 744 sign == NEGATIVE, 745 allow_trailing_junk); 746 } 747 748 if (nonzero_digit_dropped) { 749 buffer[buffer_pos++] = '1'; 750 exponent--; 751 } 752 753 SLOW_DCHECK(buffer_pos < kBufferSize); 754 buffer[buffer_pos] = '\0'; 755 756 double converted = Strtod(Vector<const char>(buffer, buffer_pos), exponent); 757 return (sign == NEGATIVE) ? -converted : converted; 758} 759 760} // namespace internal 761} // namespace v8 762 763#endif // V8_CONVERSIONS_INL_H_ 764