blob: 5afd4e1f2c2d77b84c005c62191a101827b2e101 [file] [log] [blame]
Ben Murdoch8b112d22011-06-08 16:22:53 +01001// Copyright 2011 the V8 project authors. All rights reserved.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
Steve Blocka7e24c12009-10-30 11:49:00 +00004
5#ifndef V8_CONVERSIONS_H_
6#define V8_CONVERSIONS_H_
7
Ben Murdochb8a8cc12014-11-26 15:28:44 +00008#include <limits>
9
10#include "src/base/logging.h"
11#include "src/handles.h"
12#include "src/objects.h"
13#include "src/utils.h"
Ben Murdoch8b112d22011-06-08 16:22:53 +010014
Steve Blocka7e24c12009-10-30 11:49:00 +000015namespace v8 {
16namespace internal {
17
Ben Murdoch589d6972011-11-30 16:04:58 +000018class UnicodeCache;
19
Ben Murdoch3fb3ca82011-12-02 17:19:32 +000020// Maximum number of significant digits in decimal representation.
21// The longest possible double in decimal representation is
22// (2^53 - 1) * 2 ^ -1074 that is (2 ^ 53 - 1) * 5 ^ 1074 / 10 ^ 1074
23// (768 digits). If we parse a number whose first digits are equal to a
24// mean of 2 adjacent doubles (that could have up to 769 digits) the result
25// must be rounded to the bigger one unless the tail consists of zeros, so
26// we don't need to preserve all the digits.
27const int kMaxSignificantDigits = 772;
28
29
Ben Murdoch3ef787d2012-04-12 10:51:47 +010030inline bool isDigit(int x, int radix) {
Ben Murdoch3fb3ca82011-12-02 17:19:32 +000031 return (x >= '0' && x <= '9' && x < '0' + radix)
32 || (radix > 10 && x >= 'a' && x < 'a' + radix - 10)
33 || (radix > 10 && x >= 'A' && x < 'A' + radix - 10);
34}
35
36
Ben Murdochb8a8cc12014-11-26 15:28:44 +000037inline bool isBinaryDigit(int x) {
38 return x == '0' || x == '1';
39}
40
41
42// The fast double-to-(unsigned-)int conversion routine does not guarantee
43// rounding towards zero.
44// If x is NaN, the result is INT_MIN. Otherwise the result is the argument x,
45// clamped to [INT_MIN, INT_MAX] and then rounded to an integer.
46inline int FastD2IChecked(double x) {
47 if (!(x >= INT_MIN)) return INT_MIN; // Negation to catch NaNs.
48 if (x > INT_MAX) return INT_MAX;
49 return static_cast<int>(x);
Ben Murdoch3fb3ca82011-12-02 17:19:32 +000050}
51
Steve Block3ce2e202009-11-05 08:53:23 +000052
Steve Block6ded16b2010-05-10 14:33:55 +010053// The fast double-to-(unsigned-)int conversion routine does not guarantee
Steve Blocka7e24c12009-10-30 11:49:00 +000054// rounding towards zero.
55// The result is unspecified if x is infinite or NaN, or if the rounded
56// integer value is outside the range of type int.
Ben Murdoch3ef787d2012-04-12 10:51:47 +010057inline int FastD2I(double x) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000058 return static_cast<int32_t>(x);
Steve Block6ded16b2010-05-10 14:33:55 +010059}
60
Ben Murdoch3ef787d2012-04-12 10:51:47 +010061inline unsigned int FastD2UI(double x);
Steve Blocka7e24c12009-10-30 11:49:00 +000062
63
Ben Murdoch3ef787d2012-04-12 10:51:47 +010064inline double FastI2D(int x) {
Steve Blocka7e24c12009-10-30 11:49:00 +000065 // There is no rounding involved in converting an integer to a
66 // double, so this code should compile to a few instructions without
67 // any FPU pipeline stalls.
68 return static_cast<double>(x);
69}
70
71
Ben Murdoch3ef787d2012-04-12 10:51:47 +010072inline double FastUI2D(unsigned x) {
Steve Blocka7e24c12009-10-30 11:49:00 +000073 // There is no rounding involved in converting an unsigned integer to a
74 // double, so this code should compile to a few instructions without
75 // any FPU pipeline stalls.
76 return static_cast<double>(x);
77}
78
79
Ben Murdochb8a8cc12014-11-26 15:28:44 +000080// This function should match the exact semantics of ECMA-262 20.2.2.17.
81inline float DoubleToFloat32(double x);
82
83
Steve Blocka7e24c12009-10-30 11:49:00 +000084// This function should match the exact semantics of ECMA-262 9.4.
Ben Murdoch3ef787d2012-04-12 10:51:47 +010085inline double DoubleToInteger(double x);
Steve Blocka7e24c12009-10-30 11:49:00 +000086
87
88// This function should match the exact semantics of ECMA-262 9.5.
Ben Murdoch3ef787d2012-04-12 10:51:47 +010089inline int32_t DoubleToInt32(double x);
Steve Blocka7e24c12009-10-30 11:49:00 +000090
91
92// This function should match the exact semantics of ECMA-262 9.6.
Ben Murdoch3ef787d2012-04-12 10:51:47 +010093inline uint32_t DoubleToUint32(double x) {
Steve Blocka7e24c12009-10-30 11:49:00 +000094 return static_cast<uint32_t>(DoubleToInt32(x));
95}
96
97
Steve Blocka7e24c12009-10-30 11:49:00 +000098// Enumeration for allowing octals and ignoring junk when converting
99// strings to numbers.
100enum ConversionFlags {
101 NO_FLAGS = 0,
102 ALLOW_HEX = 1,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000103 ALLOW_OCTAL = 2,
104 ALLOW_IMPLICIT_OCTAL = 4,
105 ALLOW_BINARY = 8,
106 ALLOW_TRAILING_JUNK = 16
Steve Blocka7e24c12009-10-30 11:49:00 +0000107};
108
109
Steve Blocka7e24c12009-10-30 11:49:00 +0000110// Converts a string into a double value according to ECMA-262 9.3.1
Ben Murdoch8b112d22011-06-08 16:22:53 +0100111double StringToDouble(UnicodeCache* unicode_cache,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000112 Vector<const uint8_t> str,
Kristian Monsen80d68ea2010-09-08 11:05:35 +0100113 int flags,
114 double empty_string_val = 0);
Ben Murdoch257744e2011-11-30 15:57:28 +0000115double StringToDouble(UnicodeCache* unicode_cache,
116 Vector<const uc16> str,
117 int flags,
118 double empty_string_val = 0);
Kristian Monsen80d68ea2010-09-08 11:05:35 +0100119// This version expects a zero-terminated character array.
Ben Murdoch8b112d22011-06-08 16:22:53 +0100120double StringToDouble(UnicodeCache* unicode_cache,
121 const char* str,
122 int flags,
123 double empty_string_val = 0);
Steve Blocka7e24c12009-10-30 11:49:00 +0000124
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000125// Converts a string into an integer.
126double StringToInt(UnicodeCache* unicode_cache,
127 Vector<const uint8_t> vector,
128 int radix);
129
130
131double StringToInt(UnicodeCache* unicode_cache,
132 Vector<const uc16> vector,
133 int radix);
134
Ben Murdoch589d6972011-11-30 16:04:58 +0000135const int kDoubleToCStringMinBufferSize = 100;
136
Steve Blocka7e24c12009-10-30 11:49:00 +0000137// Converts a double to a string value according to ECMA-262 9.8.1.
138// The buffer should be large enough for any floating point number.
139// 100 characters is enough.
140const char* DoubleToCString(double value, Vector<char> buffer);
141
142// Convert an int to a null-terminated string. The returned string is
143// located inside the buffer, but not necessarily at the start.
144const char* IntToCString(int n, Vector<char> buffer);
145
146// Additional number to string conversions for the number type.
147// The caller is responsible for calling free on the returned pointer.
148char* DoubleToFixedCString(double value, int f);
149char* DoubleToExponentialCString(double value, int f);
150char* DoubleToPrecisionCString(double value, int f);
151char* DoubleToRadixCString(double value, int radix);
152
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000153
154static inline bool IsMinusZero(double value) {
155 static const DoubleRepresentation minus_zero(-0.0);
156 return DoubleRepresentation(value) == minus_zero;
157}
158
159
160static inline bool IsSmiDouble(double value) {
161 return !IsMinusZero(value) && value >= Smi::kMinValue &&
162 value <= Smi::kMaxValue && value == FastI2D(FastD2I(value));
163}
164
165
166// Integer32 is an integer that can be represented as a signed 32-bit
167// integer. It has to be in the range [-2^31, 2^31 - 1].
168// We also have to check for negative 0 as it is not an Integer32.
169static inline bool IsInt32Double(double value) {
170 return !IsMinusZero(value) &&
171 value >= kMinInt &&
172 value <= kMaxInt &&
173 value == FastI2D(FastD2I(value));
174}
175
176
177// UInteger32 is an integer that can be represented as an unsigned 32-bit
178// integer. It has to be in the range [0, 2^32 - 1].
179// We also have to check for negative 0 as it is not a UInteger32.
180static inline bool IsUint32Double(double value) {
181 return !IsMinusZero(value) &&
182 value >= 0 &&
183 value <= kMaxUInt32 &&
184 value == FastUI2D(FastD2UI(value));
185}
186
187
188// Convert from Number object to C integer.
189inline int32_t NumberToInt32(Object* number) {
190 if (number->IsSmi()) return Smi::cast(number)->value();
191 return DoubleToInt32(number->Number());
192}
193
194
195inline uint32_t NumberToUint32(Object* number) {
196 if (number->IsSmi()) return Smi::cast(number)->value();
197 return DoubleToUint32(number->Number());
198}
199
200
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400201double StringToDouble(UnicodeCache* unicode_cache, Handle<String> string,
202 int flags, double empty_string_val = 0.0);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000203
204
205inline bool TryNumberToSize(Isolate* isolate,
206 Object* number, size_t* result) {
207 SealHandleScope shs(isolate);
208 if (number->IsSmi()) {
209 int value = Smi::cast(number)->value();
210 DCHECK(static_cast<unsigned>(Smi::kMaxValue)
211 <= std::numeric_limits<size_t>::max());
212 if (value >= 0) {
213 *result = static_cast<size_t>(value);
214 return true;
215 }
216 return false;
217 } else {
218 DCHECK(number->IsHeapNumber());
219 double value = HeapNumber::cast(number)->value();
220 if (value >= 0 &&
221 value <= std::numeric_limits<size_t>::max()) {
222 *result = static_cast<size_t>(value);
223 return true;
224 } else {
225 return false;
226 }
227 }
228}
229
230// Converts a number into size_t.
231inline size_t NumberToSize(Isolate* isolate,
232 Object* number) {
233 size_t result = 0;
234 bool is_valid = TryNumberToSize(isolate, number, &result);
235 CHECK(is_valid);
236 return result;
237}
238
Steve Blocka7e24c12009-10-30 11:49:00 +0000239} } // namespace v8::internal
240
241#endif // V8_CONVERSIONS_H_