1 # Copyright 2006-2009 the V8 project authors. All rights reserved.
2 # Redistribution and use in source and binary forms, with or without
3 # modification, are permitted provided that the following conditions are
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.
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.
28 # Dictionary that is passed as defines for js2c.py.
29 # Used for defines that must be defined for all native JS files.
34 const DONT_DELETE = 4;
35 const NEW_ONE_BYTE_STRING = true;
36 const NEW_TWO_BYTE_STRING = false;
38 # Constants used for getter and setter operations.
42 # These definitions must match the index of the properties in objects.h.
43 const kApiTagOffset = 0;
44 const kApiPropertyListOffset = 1;
45 const kApiSerialNumberOffset = 3;
46 const kApiConstructorOffset = 3;
47 const kApiPrototypeTemplateOffset = 5;
48 const kApiParentTemplateOffset = 6;
49 const kApiFlagOffset = 14;
52 const NUMBER_HINT = 1;
53 const STRING_HINT = 2;
55 const kFunctionTag = 0;
56 const kNewObjectTag = 1;
59 const HoursPerDay = 24;
60 const MinutesPerHour = 60;
61 const SecondsPerMinute = 60;
62 const msPerSecond = 1000;
63 const msPerMinute = 60000;
64 const msPerHour = 3600000;
65 const msPerDay = 86400000;
66 const msPerMonth = 2592000000;
69 const kUninitialized = -1;
70 const kReadOnlyPrototypeBit = 3;
71 const kRemovePrototypeBit = 4; # For FunctionTemplateInfo, matches objects.h
72 const kDoNotCacheBit = 5; # For FunctionTemplateInfo, matches objects.h
74 # Note: kDayZeroInJulianDay = ToJulianDay(1970, 0, 1).
75 const kInvalidDate = 'Invalid Date';
76 const kDayZeroInJulianDay = 2440588;
77 const kMonthMask = 0x1e0;
78 const kDayMask = 0x01f;
80 const kMonthShift = 5;
82 # Limits for parts of the date, so that we support all the dates that
83 # ECMA 262 - 15.9.1.1 requires us to, but at the same time be sure that
84 # the date (days since 1970) is in SMI range.
85 const kMinYear = -1000000;
86 const kMaxYear = 1000000;
87 const kMinMonth = -10000000;
88 const kMaxMonth = 10000000;
91 const STRING_TO_REGEXP_CACHE_ID = 0;
95 # Note: We have special support for typeof(foo) === 'bar' in the compiler.
96 # It will *not* generate a runtime typeof call for the most important
98 macro IS_NULL(arg) = (arg === null);
99 macro IS_NULL_OR_UNDEFINED(arg) = (arg == null);
100 macro IS_UNDEFINED(arg) = (typeof(arg) === 'undefined');
101 macro IS_NUMBER(arg) = (typeof(arg) === 'number');
102 macro IsFloat32x4(arg) = (typeof(arg) === 'float32x4');
103 macro IsInt32x4(arg) = (typeof(arg) === 'int32x4');
104 macro IS_STRING(arg) = (typeof(arg) === 'string');
105 macro IS_BOOLEAN(arg) = (typeof(arg) === 'boolean');
106 macro IS_SYMBOL(arg) = (typeof(arg) === 'symbol');
107 macro IS_OBJECT(arg) = (%_IsObject(arg));
108 macro IS_ARRAY(arg) = (%_IsArray(arg));
109 macro IS_FUNCTION(arg) = (%_IsFunction(arg));
110 macro IS_REGEXP(arg) = (%_IsRegExp(arg));
111 macro IS_SET(arg) = (%_ClassOf(arg) === 'Set');
112 macro IS_MAP(arg) = (%_ClassOf(arg) === 'Map');
113 macro IS_WEAKMAP(arg) = (%_ClassOf(arg) === 'WeakMap');
114 macro IS_WEAKSET(arg) = (%_ClassOf(arg) === 'WeakSet');
115 macro IS_DATE(arg) = (%_ClassOf(arg) === 'Date');
116 macro IS_NUMBER_WRAPPER(arg) = (%_ClassOf(arg) === 'Number');
117 macro IsFloat32x4Wrapper(arg) = (%_ClassOf(arg) === 'float32x4');
118 macro IsInt32x4Wrapper(arg) = (%_ClassOf(arg) === 'int32x4');
119 macro IS_STRING_WRAPPER(arg) = (%_ClassOf(arg) === 'String');
120 macro IS_SYMBOL_WRAPPER(arg) = (%_ClassOf(arg) === 'Symbol');
121 macro IS_BOOLEAN_WRAPPER(arg) = (%_ClassOf(arg) === 'Boolean');
122 macro IS_ERROR(arg) = (%_ClassOf(arg) === 'Error');
123 macro IS_SCRIPT(arg) = (%_ClassOf(arg) === 'Script');
124 macro IS_ARGUMENTS(arg) = (%_ClassOf(arg) === 'Arguments');
125 macro IS_GLOBAL(arg) = (%_ClassOf(arg) === 'global');
126 macro IS_ARRAYBUFFER(arg) = (%_ClassOf(arg) === 'ArrayBuffer');
127 macro IS_DATAVIEW(arg) = (%_ClassOf(arg) === 'DataView');
128 macro IS_GENERATOR(arg) = (%_ClassOf(arg) === 'Generator');
129 macro IS_UNDETECTABLE(arg) = (%_IsUndetectableObject(arg));
130 macro FLOOR(arg) = $floor(arg);
132 # Macro for ECMAScript 5 queries of the type:
133 # "Type(O) is object."
134 # This is the same as being either a function or an object in V8 terminology
135 # (including proxies).
136 # In addition, an undetectable object is also included by this.
137 macro IS_SPEC_OBJECT(arg) = (%_IsSpecObject(arg));
139 # Macro for ECMAScript 5 queries of the type:
141 # We assume here that this is the same as being either a function or a function
142 # proxy. That ignores host objects with [[Call]] methods, but in most situations
143 # we cannot handle those anyway.
144 macro IS_SPEC_FUNCTION(arg) = (%_ClassOf(arg) === 'Function');
146 # Macro for ES6 CheckObjectCoercible
147 # Will throw a TypeError of the form "[functionName] called on null or undefined".
148 macro CHECK_OBJECT_COERCIBLE(arg, functionName) = if (IS_NULL_OR_UNDEFINED(arg) && !IS_UNDETECTABLE(arg)) throw MakeTypeError('called_on_null_or_undefined', [functionName]);
150 # Indices in bound function info retrieved by %BoundFunctionGetBindings(...).
151 const kBoundFunctionIndex = 0;
152 const kBoundThisIndex = 1;
153 const kBoundArgumentsStartIndex = 2;
155 # Inline macros. Use %IS_VAR to make sure arg is evaluated only once.
156 macro NUMBER_IS_NAN(arg) = (!%_IsSmi(%IS_VAR(arg)) && !(arg == arg));
157 macro NUMBER_IS_FINITE(arg) = (%_IsSmi(%IS_VAR(arg)) || ((arg == arg) && (arg != 1/0) && (arg != -1/0)));
158 macro TO_INTEGER(arg) = (%_IsSmi(%IS_VAR(arg)) ? arg : %NumberToInteger(ToNumber(arg)));
159 macro TO_INTEGER_FOR_SIDE_EFFECT(arg) = (%_IsSmi(%IS_VAR(arg)) ? arg : ToNumber(arg));
160 macro TO_INTEGER_MAP_MINUS_ZERO(arg) = (%_IsSmi(%IS_VAR(arg)) ? arg : %NumberToIntegerMapMinusZero(ToNumber(arg)));
161 macro TO_INT32(arg) = (%_IsSmi(%IS_VAR(arg)) ? arg : (arg >> 0));
162 macro TO_UINT32(arg) = (arg >>> 0);
163 macro TO_STRING_INLINE(arg) = (IS_STRING(%IS_VAR(arg)) ? arg : NonStringToString(arg));
164 macro TO_NUMBER_INLINE(arg) = (IS_NUMBER(%IS_VAR(arg)) ? arg : NonNumberToNumber(arg));
165 macro TO_OBJECT_INLINE(arg) = (IS_SPEC_OBJECT(%IS_VAR(arg)) ? arg : ToObject(arg));
166 macro JSON_NUMBER_TO_STRING(arg) = ((%_IsSmi(%IS_VAR(arg)) || arg - arg == 0) ? %_NumberToString(arg) : "null");
167 macro ToFloat32x4(arg) = (IsFloat32x4Wrapper(%IS_VAR(arg))) ? %_ValueOf(arg) : arg;
168 macro ToInt32x4(arg) = (IsInt32x4Wrapper(%IS_VAR(arg))) ? %_ValueOf(arg) : arg;
171 macro NEW_PRIVATE(name) = (%CreatePrivateSymbol(name));
172 macro IS_PRIVATE(sym) = (%SymbolIsPrivate(sym));
173 macro HAS_PRIVATE(obj, sym) = (sym in obj);
174 macro GET_PRIVATE(obj, sym) = (obj[sym]);
175 macro SET_PRIVATE(obj, sym, val) = (obj[sym] = val);
176 macro DELETE_PRIVATE(obj, sym) = (delete obj[sym]);
178 # Constants. The compiler constant folds them.
180 const INFINITY = (1/0);
181 const UNDEFINED = (void 0);
183 # Macros implemented in Python.
184 python macro CHAR_CODE(str) = ord(str[1]);
186 # Constants used on an array to implement the properties of the RegExp object.
187 const REGEXP_NUMBER_OF_CAPTURES = 0;
188 const REGEXP_FIRST_CAPTURE = 3;
190 # We can't put macros in macros so we use constants here.
191 # REGEXP_NUMBER_OF_CAPTURES
192 macro NUMBER_OF_CAPTURES(array) = ((array)[0]);
194 # Limit according to ECMA 262 15.9.1.1
195 const MAX_TIME_MS = 8640000000000000;
196 # Limit which is MAX_TIME_MS + msPerMonth.
197 const MAX_TIME_BEFORE_UTC = 8640002592000000;
199 # Gets the value of a Date object. If arg is not a Date object
200 # a type error is thrown.
201 macro CHECK_DATE(arg) = if (%_ClassOf(arg) !== 'Date') ThrowDateTypeError();
202 macro LOCAL_DATE_VALUE(arg) = (%_DateField(arg, 0) + %_DateField(arg, 21));
203 macro UTC_DATE_VALUE(arg) = (%_DateField(arg, 0));
205 macro LOCAL_YEAR(arg) = (%_DateField(arg, 1));
206 macro LOCAL_MONTH(arg) = (%_DateField(arg, 2));
207 macro LOCAL_DAY(arg) = (%_DateField(arg, 3));
208 macro LOCAL_WEEKDAY(arg) = (%_DateField(arg, 4));
209 macro LOCAL_HOUR(arg) = (%_DateField(arg, 5));
210 macro LOCAL_MIN(arg) = (%_DateField(arg, 6));
211 macro LOCAL_SEC(arg) = (%_DateField(arg, 7));
212 macro LOCAL_MS(arg) = (%_DateField(arg, 8));
213 macro LOCAL_DAYS(arg) = (%_DateField(arg, 9));
214 macro LOCAL_TIME_IN_DAY(arg) = (%_DateField(arg, 10));
216 macro UTC_YEAR(arg) = (%_DateField(arg, 11));
217 macro UTC_MONTH(arg) = (%_DateField(arg, 12));
218 macro UTC_DAY(arg) = (%_DateField(arg, 13));
219 macro UTC_WEEKDAY(arg) = (%_DateField(arg, 14));
220 macro UTC_HOUR(arg) = (%_DateField(arg, 15));
221 macro UTC_MIN(arg) = (%_DateField(arg, 16));
222 macro UTC_SEC(arg) = (%_DateField(arg, 17));
223 macro UTC_MS(arg) = (%_DateField(arg, 18));
224 macro UTC_DAYS(arg) = (%_DateField(arg, 19));
225 macro UTC_TIME_IN_DAY(arg) = (%_DateField(arg, 20));
227 macro TIMEZONE_OFFSET(arg) = (%_DateField(arg, 21));
229 macro SET_UTC_DATE_VALUE(arg, value) = (%DateSetValue(arg, value, 1));
230 macro SET_LOCAL_DATE_VALUE(arg, value) = (%DateSetValue(arg, value, 0));
232 # Last input and last subject of regexp matches.
233 const LAST_SUBJECT_INDEX = 1;
234 macro LAST_SUBJECT(array) = ((array)[1]);
235 macro LAST_INPUT(array) = ((array)[2]);
237 # REGEXP_FIRST_CAPTURE
238 macro CAPTURE(index) = (3 + (index));
242 # For the regexp capture override array. This has the same
243 # format as the arguments to a function called from
244 # String.prototype.replace.
245 macro OVERRIDE_MATCH(override) = ((override)[0]);
246 macro OVERRIDE_POS(override) = ((override)[(override).length - 2]);
247 macro OVERRIDE_SUBJECT(override) = ((override)[(override).length - 1]);
248 # 1-based so index of 1 returns the first capture
249 macro OVERRIDE_CAPTURE(override, index) = ((override)[(index)]);
251 # PropertyDescriptor return value indices - must match
252 # PropertyDescriptorIndices in runtime.cc.
253 const IS_ACCESSOR_INDEX = 0;
254 const VALUE_INDEX = 1;
255 const GETTER_INDEX = 2;
256 const SETTER_INDEX = 3;
257 const WRITABLE_INDEX = 4;
258 const ENUMERABLE_INDEX = 5;
259 const CONFIGURABLE_INDEX = 6;
262 # Matches Script::Type from objects.h
263 const TYPE_NATIVE = 0;
264 const TYPE_EXTENSION = 1;
265 const TYPE_NORMAL = 2;
267 # Matches Script::CompilationType from objects.h
268 const COMPILATION_TYPE_HOST = 0;
269 const COMPILATION_TYPE_EVAL = 1;
270 const COMPILATION_TYPE_JSON = 2;
272 # Matches Messages::kNoLineNumberInfo from v8.h
273 const kNoLineNumberInfo = 0;
275 # Matches PropertyAttributes from property-details.h
276 const PROPERTY_ATTRIBUTES_NONE = 0;
277 const PROPERTY_ATTRIBUTES_STRING = 8;
278 const PROPERTY_ATTRIBUTES_SYMBOLIC = 16;
279 const PROPERTY_ATTRIBUTES_PRIVATE_SYMBOL = 32;
282 macro CheckFloat32x4(arg) = if (typeof(arg) !== 'float32x4') ThrowFloat32x4TypeError();
283 macro CheckInt32x4(arg) = if (typeof(arg) !== 'int32x4') ThrowInt32x4TypeError();