blob: 1fbb5f11821864320cc95843ccfd41bd89c705c2 [file] [log] [blame]
ager@chromium.orga9aa5fa2011-04-13 08:46:07 +00001// Copyright 2011 the V8 project authors. All rights reserved.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6// * Redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer.
8// * Redistributions in binary form must reproduce the above
9// copyright notice, this list of conditions and the following
10// disclaimer in the documentation and/or other materials provided
11// with the distribution.
12// * Neither the name of Google Inc. nor the names of its
13// contributors may be used to endorse or promote products derived
14// from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28#ifndef V8_CONVERSIONS_H_
29#define V8_CONVERSIONS_H_
30
ricow@chromium.org55ee8072011-09-08 16:33:10 +000031#include "utils.h"
ager@chromium.orga9aa5fa2011-04-13 08:46:07 +000032
kasperl@chromium.org71affb52009-05-26 05:44:31 +000033namespace v8 {
34namespace internal {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000035
ricow@chromium.org55ee8072011-09-08 16:33:10 +000036class UnicodeCache;
37
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +000038// Maximum number of significant digits in decimal representation.
39// The longest possible double in decimal representation is
40// (2^53 - 1) * 2 ^ -1074 that is (2 ^ 53 - 1) * 5 ^ 1074 / 10 ^ 1074
41// (768 digits). If we parse a number whose first digits are equal to a
42// mean of 2 adjacent doubles (that could have up to 769 digits) the result
43// must be rounded to the bigger one unless the tail consists of zeros, so
44// we don't need to preserve all the digits.
45const int kMaxSignificantDigits = 772;
46
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +000047
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +000048inline bool isDigit(int x, int radix) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +000049 return (x >= '0' && x <= '9' && x < '0' + radix)
50 || (radix > 10 && x >= 'a' && x < 'a' + radix - 10)
51 || (radix > 10 && x >= 'A' && x < 'A' + radix - 10);
52}
53
54
ulan@chromium.orgea52b5f2012-07-30 13:05:33 +000055// The fast double-to-(unsigned-)int conversion routine does not guarantee
56// rounding towards zero.
57// For NaN and values outside the int range, return INT_MIN or INT_MAX.
58inline int FastD2IChecked(double x) {
59 if (!(x >= INT_MIN)) return INT_MIN; // Negation to catch NaNs.
60 if (x > INT_MAX) return INT_MAX;
61 return static_cast<int>(x);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +000062}
63
ager@chromium.org3811b432009-10-28 14:53:37 +000064
ager@chromium.orgce5e87b2010-03-10 10:24:18 +000065// The fast double-to-(unsigned-)int conversion routine does not guarantee
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000066// rounding towards zero.
67// The result is unspecified if x is infinite or NaN, or if the rounded
68// integer value is outside the range of type int.
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +000069inline int FastD2I(double x) {
kmillikin@chromium.org5d8f0e62010-03-24 08:21:20 +000070 return static_cast<int>(x);
71}
72
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +000073inline unsigned int FastD2UI(double x);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000074
75
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +000076inline double FastI2D(int x) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000077 // There is no rounding involved in converting an integer to a
78 // double, so this code should compile to a few instructions without
79 // any FPU pipeline stalls.
80 return static_cast<double>(x);
81}
82
83
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +000084inline double FastUI2D(unsigned x) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000085 // There is no rounding involved in converting an unsigned integer to a
86 // double, so this code should compile to a few instructions without
87 // any FPU pipeline stalls.
88 return static_cast<double>(x);
89}
90
91
92// This function should match the exact semantics of ECMA-262 9.4.
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +000093inline double DoubleToInteger(double x);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000094
95
96// This function should match the exact semantics of ECMA-262 9.5.
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +000097inline int32_t DoubleToInt32(double x);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000098
99
100// This function should match the exact semantics of ECMA-262 9.6.
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +0000101inline uint32_t DoubleToUint32(double x) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000102 return static_cast<uint32_t>(DoubleToInt32(x));
103}
104
105
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000106// Enumeration for allowing octals and ignoring junk when converting
107// strings to numbers.
108enum ConversionFlags {
109 NO_FLAGS = 0,
110 ALLOW_HEX = 1,
111 ALLOW_OCTALS = 2,
112 ALLOW_TRAILING_JUNK = 4
113};
114
115
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000116// Converts a string into a double value according to ECMA-262 9.3.1
ager@chromium.orga9aa5fa2011-04-13 08:46:07 +0000117double StringToDouble(UnicodeCache* unicode_cache,
ager@chromium.orga9aa5fa2011-04-13 08:46:07 +0000118 Vector<const char> str,
ricow@chromium.org65fae842010-08-25 15:26:24 +0000119 int flags,
120 double empty_string_val = 0);
danno@chromium.org40cb8782011-05-25 07:58:50 +0000121double StringToDouble(UnicodeCache* unicode_cache,
122 Vector<const uc16> str,
123 int flags,
124 double empty_string_val = 0);
ricow@chromium.org65fae842010-08-25 15:26:24 +0000125// This version expects a zero-terminated character array.
ager@chromium.orga9aa5fa2011-04-13 08:46:07 +0000126double StringToDouble(UnicodeCache* unicode_cache,
127 const char* str,
128 int flags,
129 double empty_string_val = 0);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000130
ricow@chromium.org55ee8072011-09-08 16:33:10 +0000131const int kDoubleToCStringMinBufferSize = 100;
132
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000133// Converts a double to a string value according to ECMA-262 9.8.1.
134// The buffer should be large enough for any floating point number.
135// 100 characters is enough.
136const char* DoubleToCString(double value, Vector<char> buffer);
137
138// Convert an int to a null-terminated string. The returned string is
139// located inside the buffer, but not necessarily at the start.
140const char* IntToCString(int n, Vector<char> buffer);
141
142// Additional number to string conversions for the number type.
143// The caller is responsible for calling free on the returned pointer.
144char* DoubleToFixedCString(double value, int f);
145char* DoubleToExponentialCString(double value, int f);
146char* DoubleToPrecisionCString(double value, int f);
147char* DoubleToRadixCString(double value, int radix);
148
149} } // namespace v8::internal
150
151#endif // V8_CONVERSIONS_H_