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 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 # Dictionary that is passed as defines for js2c.py. 29 # Used for defines that must be defined for all native JS files. 30 31 const NONE = 0; 32 const READ_ONLY = 1; 33 const DONT_ENUM = 2; 34 const DONT_DELETE = 4; 35 const NEW_ONE_BYTE_STRING = true; 36 const NEW_TWO_BYTE_STRING = false; 37 38 # Constants used for getter and setter operations. 39 const GETTER = 0; 40 const SETTER = 1; 41 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; 50 51 const NO_HINT = 0; 52 const NUMBER_HINT = 1; 53 const STRING_HINT = 2; 54 55 const kFunctionTag = 0; 56 const kNewObjectTag = 1; 57 58 # For date.js. 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; 67 68 # For apinatives.js 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 73 74 # Note: kDayZeroInJulianDay = ToJulianDay(1970, 0, 1). 75 const kInvalidDate = 'Invalid Date'; 76 const kDayZeroInJulianDay = 2440588; 77 const kMonthMask = 0x1e0; 78 const kDayMask = 0x01f; 79 const kYearShift = 9; 80 const kMonthShift = 5; 81 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; 89 90 # Native cache ids. 91 const STRING_TO_REGEXP_CACHE_ID = 0; 92 93 # Type query macros. 94 # 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 97 # values of 'bar'. 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 IS_STRING(arg) = (typeof(arg) === 'string'); 103 macro IS_BOOLEAN(arg) = (typeof(arg) === 'boolean'); 104 macro IS_SYMBOL(arg) = (typeof(arg) === 'symbol'); 105 macro IS_OBJECT(arg) = (%_IsObject(arg)); 106 macro IS_ARRAY(arg) = (%_IsArray(arg)); 107 macro IS_FUNCTION(arg) = (%_IsFunction(arg)); 108 macro IS_REGEXP(arg) = (%_IsRegExp(arg)); 109 macro IS_SET(arg) = (%_ClassOf(arg) === 'Set'); 110 macro IS_MAP(arg) = (%_ClassOf(arg) === 'Map'); 111 macro IS_WEAKMAP(arg) = (%_ClassOf(arg) === 'WeakMap'); 112 macro IS_WEAKSET(arg) = (%_ClassOf(arg) === 'WeakSet'); 113 macro IS_DATE(arg) = (%_ClassOf(arg) === 'Date'); 114 macro IS_NUMBER_WRAPPER(arg) = (%_ClassOf(arg) === 'Number'); 115 macro IS_STRING_WRAPPER(arg) = (%_ClassOf(arg) === 'String'); 116 macro IS_SYMBOL_WRAPPER(arg) = (%_ClassOf(arg) === 'Symbol'); 117 macro IS_BOOLEAN_WRAPPER(arg) = (%_ClassOf(arg) === 'Boolean'); 118 macro IS_ERROR(arg) = (%_ClassOf(arg) === 'Error'); 119 macro IS_SCRIPT(arg) = (%_ClassOf(arg) === 'Script'); 120 macro IS_ARGUMENTS(arg) = (%_ClassOf(arg) === 'Arguments'); 121 macro IS_GLOBAL(arg) = (%_ClassOf(arg) === 'global'); 122 macro IS_ARRAYBUFFER(arg) = (%_ClassOf(arg) === 'ArrayBuffer'); 123 macro IS_DATAVIEW(arg) = (%_ClassOf(arg) === 'DataView'); 124 macro IS_GENERATOR(arg) = (%_ClassOf(arg) === 'Generator'); 125 macro IS_UNDETECTABLE(arg) = (%_IsUndetectableObject(arg)); 126 macro FLOOR(arg) = $floor(arg); 127 128 # Macro for ECMAScript 5 queries of the type: 129 # "Type(O) is object." 130 # This is the same as being either a function or an object in V8 terminology 131 # (including proxies). 132 # In addition, an undetectable object is also included by this. 133 macro IS_SPEC_OBJECT(arg) = (%_IsSpecObject(arg)); 134 135 # Macro for ECMAScript 5 queries of the type: 136 # "IsCallable(O)" 137 # We assume here that this is the same as being either a function or a function 138 # proxy. That ignores host objects with [[Call]] methods, but in most situations 139 # we cannot handle those anyway. 140 macro IS_SPEC_FUNCTION(arg) = (%_ClassOf(arg) === 'Function'); 141 142 # Indices in bound function info retrieved by %BoundFunctionGetBindings(...). 143 const kBoundFunctionIndex = 0; 144 const kBoundThisIndex = 1; 145 const kBoundArgumentsStartIndex = 2; 146 147 # Inline macros. Use %IS_VAR to make sure arg is evaluated only once. 148 macro NUMBER_IS_NAN(arg) = (!%_IsSmi(%IS_VAR(arg)) && !(arg == arg)); 149 macro NUMBER_IS_FINITE(arg) = (%_IsSmi(%IS_VAR(arg)) || ((arg == arg) && (arg != 1/0) && (arg != -1/0))); 150 macro TO_INTEGER(arg) = (%_IsSmi(%IS_VAR(arg)) ? arg : %NumberToInteger(ToNumber(arg))); 151 macro TO_INTEGER_FOR_SIDE_EFFECT(arg) = (%_IsSmi(%IS_VAR(arg)) ? arg : ToNumber(arg)); 152 macro TO_INTEGER_MAP_MINUS_ZERO(arg) = (%_IsSmi(%IS_VAR(arg)) ? arg : %NumberToIntegerMapMinusZero(ToNumber(arg))); 153 macro TO_INT32(arg) = (%_IsSmi(%IS_VAR(arg)) ? arg : (arg >> 0)); 154 macro TO_UINT32(arg) = (arg >>> 0); 155 macro TO_STRING_INLINE(arg) = (IS_STRING(%IS_VAR(arg)) ? arg : NonStringToString(arg)); 156 macro TO_NUMBER_INLINE(arg) = (IS_NUMBER(%IS_VAR(arg)) ? arg : NonNumberToNumber(arg)); 157 macro TO_OBJECT_INLINE(arg) = (IS_SPEC_OBJECT(%IS_VAR(arg)) ? arg : ToObject(arg)); 158 macro JSON_NUMBER_TO_STRING(arg) = ((%_IsSmi(%IS_VAR(arg)) || arg - arg == 0) ? %_NumberToString(arg) : "null"); 159 160 # Private names. 161 macro NEW_PRIVATE(name) = (%CreatePrivateSymbol(name)); 162 macro HAS_PRIVATE(obj, sym) = (sym in obj); 163 macro GET_PRIVATE(obj, sym) = (obj[sym]); 164 macro SET_PRIVATE(obj, sym, val) = (obj[sym] = val); 165 macro DELETE_PRIVATE(obj, sym) = (delete obj[sym]); 166 167 # Constants. The compiler constant folds them. 168 const NAN = $NaN; 169 const INFINITY = (1/0); 170 const UNDEFINED = (void 0); 171 172 # Macros implemented in Python. 173 python macro CHAR_CODE(str) = ord(str[1]); 174 175 # Constants used on an array to implement the properties of the RegExp object. 176 const REGEXP_NUMBER_OF_CAPTURES = 0; 177 const REGEXP_FIRST_CAPTURE = 3; 178 179 # We can't put macros in macros so we use constants here. 180 # REGEXP_NUMBER_OF_CAPTURES 181 macro NUMBER_OF_CAPTURES(array) = ((array)[0]); 182 183 # Limit according to ECMA 262 15.9.1.1 184 const MAX_TIME_MS = 8640000000000000; 185 # Limit which is MAX_TIME_MS + msPerMonth. 186 const MAX_TIME_BEFORE_UTC = 8640002592000000; 187 188 # Gets the value of a Date object. If arg is not a Date object 189 # a type error is thrown. 190 macro CHECK_DATE(arg) = if (%_ClassOf(arg) !== 'Date') ThrowDateTypeError(); 191 macro LOCAL_DATE_VALUE(arg) = (%_DateField(arg, 0) + %_DateField(arg, 21)); 192 macro UTC_DATE_VALUE(arg) = (%_DateField(arg, 0)); 193 194 macro LOCAL_YEAR(arg) = (%_DateField(arg, 1)); 195 macro LOCAL_MONTH(arg) = (%_DateField(arg, 2)); 196 macro LOCAL_DAY(arg) = (%_DateField(arg, 3)); 197 macro LOCAL_WEEKDAY(arg) = (%_DateField(arg, 4)); 198 macro LOCAL_HOUR(arg) = (%_DateField(arg, 5)); 199 macro LOCAL_MIN(arg) = (%_DateField(arg, 6)); 200 macro LOCAL_SEC(arg) = (%_DateField(arg, 7)); 201 macro LOCAL_MS(arg) = (%_DateField(arg, 8)); 202 macro LOCAL_DAYS(arg) = (%_DateField(arg, 9)); 203 macro LOCAL_TIME_IN_DAY(arg) = (%_DateField(arg, 10)); 204 205 macro UTC_YEAR(arg) = (%_DateField(arg, 11)); 206 macro UTC_MONTH(arg) = (%_DateField(arg, 12)); 207 macro UTC_DAY(arg) = (%_DateField(arg, 13)); 208 macro UTC_WEEKDAY(arg) = (%_DateField(arg, 14)); 209 macro UTC_HOUR(arg) = (%_DateField(arg, 15)); 210 macro UTC_MIN(arg) = (%_DateField(arg, 16)); 211 macro UTC_SEC(arg) = (%_DateField(arg, 17)); 212 macro UTC_MS(arg) = (%_DateField(arg, 18)); 213 macro UTC_DAYS(arg) = (%_DateField(arg, 19)); 214 macro UTC_TIME_IN_DAY(arg) = (%_DateField(arg, 20)); 215 216 macro TIMEZONE_OFFSET(arg) = (%_DateField(arg, 21)); 217 218 macro SET_UTC_DATE_VALUE(arg, value) = (%DateSetValue(arg, value, 1)); 219 macro SET_LOCAL_DATE_VALUE(arg, value) = (%DateSetValue(arg, value, 0)); 220 221 # Last input and last subject of regexp matches. 222 const LAST_SUBJECT_INDEX = 1; 223 macro LAST_SUBJECT(array) = ((array)[1]); 224 macro LAST_INPUT(array) = ((array)[2]); 225 226 # REGEXP_FIRST_CAPTURE 227 macro CAPTURE(index) = (3 + (index)); 228 const CAPTURE0 = 3; 229 const CAPTURE1 = 4; 230 231 # For the regexp capture override array. This has the same 232 # format as the arguments to a function called from 233 # String.prototype.replace. 234 macro OVERRIDE_MATCH(override) = ((override)[0]); 235 macro OVERRIDE_POS(override) = ((override)[(override).length - 2]); 236 macro OVERRIDE_SUBJECT(override) = ((override)[(override).length - 1]); 237 # 1-based so index of 1 returns the first capture 238 macro OVERRIDE_CAPTURE(override, index) = ((override)[(index)]); 239 240 # PropertyDescriptor return value indices - must match 241 # PropertyDescriptorIndices in runtime.cc. 242 const IS_ACCESSOR_INDEX = 0; 243 const VALUE_INDEX = 1; 244 const GETTER_INDEX = 2; 245 const SETTER_INDEX = 3; 246 const WRITABLE_INDEX = 4; 247 const ENUMERABLE_INDEX = 5; 248 const CONFIGURABLE_INDEX = 6; 249 250 # For messages.js 251 # Matches Script::Type from objects.h 252 const TYPE_NATIVE = 0; 253 const TYPE_EXTENSION = 1; 254 const TYPE_NORMAL = 2; 255 256 # Matches Script::CompilationType from objects.h 257 const COMPILATION_TYPE_HOST = 0; 258 const COMPILATION_TYPE_EVAL = 1; 259 const COMPILATION_TYPE_JSON = 2; 260 261 # Matches Messages::kNoLineNumberInfo from v8.h 262 const kNoLineNumberInfo = 0; 263