src/macros.py

   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 define NONE        = 0;
  32 define READ_ONLY   = 1;
  33 define DONT_ENUM   = 2;
  34 define DONT_DELETE = 4;
  35 define NEW_ONE_BYTE_STRING = true;
  36 define NEW_TWO_BYTE_STRING = false;
  37
  38 # Constants used for getter and setter operations.
  39 define GETTER = 0;
  40 define SETTER = 1;
  41
  42 define NO_HINT     = 0;
  43 define NUMBER_HINT = 1;
  44 define STRING_HINT = 2;
  45
  46 # For date.js.
  47 define HoursPerDay      = 24;
  48 define MinutesPerHour   = 60;
  49 define SecondsPerMinute = 60;
  50 define msPerSecond      = 1000;
  51 define msPerMinute      = 60000;
  52 define msPerHour        = 3600000;
  53 define msPerDay         = 86400000;
  54 define msPerMonth       = 2592000000;
  55
  56 # Note: kDayZeroInJulianDay = ToJulianDay(1970, 0, 1).
  57 define kInvalidDate        = 'Invalid Date';
  58 define kDayZeroInJulianDay = 2440588;
  59 define kMonthMask          = 0x1e0;
  60 define kDayMask            = 0x01f;
  61 define kYearShift          = 9;
  62 define kMonthShift         = 5;
  63
  64 # Limits for parts of the date, so that we support all the dates that
  65 # ECMA 262 - 15.9.1.1 requires us to, but at the same time be sure that
  66 # the date (days since 1970) is in SMI range.
  67 define kMinYear  = -1000000;
  68 define kMaxYear  = 1000000;
  69 define kMinMonth = -10000000;
  70 define kMaxMonth = 10000000;
  71
  72 # Safe maximum number of arguments to push to stack, when multiplied by
  73 # pointer size. Used by Function.prototype.apply(), Reflect.apply() and
  74 # Reflect.construct().
  75 define kSafeArgumentsLength = 0x800000;
  76
  77 # 2^53 - 1
  78 define kMaxSafeInteger = 9007199254740991;
  79
  80 # Strict mode flags for passing to %SetProperty
  81 define kSloppyMode = 0;
  82 define kStrictMode = 1;
  83
  84 # Native cache ids.
  85 define STRING_TO_REGEXP_CACHE_ID = 0;
  86
  87 # Type query macros.
  88 #
  89 # Note: We have special support for typeof(foo) === 'bar' in the compiler.
  90 #       It will *not* generate a runtime typeof call for the most important
  91 #       values of 'bar'.
  92 macro IS_NULL(arg)              = (arg === null);
  93 macro IS_NULL_OR_UNDEFINED(arg) = (arg == null);
  94 macro IS_UNDEFINED(arg)         = (arg === (void 0));
  95 macro IS_NUMBER(arg)            = (typeof(arg) === 'number');
  96 macro IS_STRING(arg)            = (typeof(arg) === 'string');
  97 macro IS_BOOLEAN(arg)           = (typeof(arg) === 'boolean');
  98 macro IS_SYMBOL(arg)            = (typeof(arg) === 'symbol');
  99 macro IS_OBJECT(arg)            = (typeof(arg) === 'object');
 100 macro IS_ARRAY(arg)             = (%_IsArray(arg));
 101 macro IS_DATE(arg)              = (%_IsDate(arg));
 102 macro IS_FUNCTION(arg)          = (%_IsFunction(arg));
 103 macro IS_REGEXP(arg)            = (%_IsRegExp(arg));
 104 macro IS_SIMD_VALUE(arg)        = (%_IsSimdValue(arg));
 105 macro IS_SET(arg)               = (%_ClassOf(arg) === 'Set');
 106 macro IS_MAP(arg)               = (%_ClassOf(arg) === 'Map');
 107 macro IS_WEAKMAP(arg)           = (%_ClassOf(arg) === 'WeakMap');
 108 macro IS_WEAKSET(arg)           = (%_ClassOf(arg) === 'WeakSet');
 109 macro IS_NUMBER_WRAPPER(arg)    = (%_ClassOf(arg) === 'Number');
 110 macro IS_STRING_WRAPPER(arg)    = (%_ClassOf(arg) === 'String');
 111 macro IS_SYMBOL_WRAPPER(arg)    = (%_ClassOf(arg) === 'Symbol');
 112 macro IS_BOOLEAN_WRAPPER(arg)   = (%_ClassOf(arg) === 'Boolean');
 113 macro IS_ERROR(arg)             = (%_ClassOf(arg) === 'Error');
 114 macro IS_SCRIPT(arg)            = (%_ClassOf(arg) === 'Script');
 115 macro IS_ARGUMENTS(arg)         = (%_ClassOf(arg) === 'Arguments');
 116 macro IS_GLOBAL(arg)            = (%_ClassOf(arg) === 'global');
 117 macro IS_ARRAYBUFFER(arg)       = (%_ClassOf(arg) === 'ArrayBuffer');
 118 macro IS_DATAVIEW(arg)          = (%_ClassOf(arg) === 'DataView');
 119 macro IS_SHAREDARRAYBUFFER(arg) = (%_ClassOf(arg) === 'SharedArrayBuffer');
 120 macro IS_GENERATOR(arg)         = (%_ClassOf(arg) === 'Generator');
 121 macro IS_SET_ITERATOR(arg)      = (%_ClassOf(arg) === 'Set Iterator');
 122 macro IS_MAP_ITERATOR(arg)      = (%_ClassOf(arg) === 'Map Iterator');
 123 macro IS_STRONG(arg)            = (%IsStrong(arg));
 124
 125 # Macro for ECMAScript 5 queries of the type:
 126 # "Type(O) is object."
 127 # This is the same as being either a function or an object in V8 terminology
 128 # (including proxies).
 129 # In addition, an undetectable object is also included by this.
 130 macro IS_SPEC_OBJECT(arg)   = (%_IsSpecObject(arg));
 131
 132 # Macro for ECMAScript 5 queries of the type:
 133 # "IsCallable(O)"
 134 macro IS_CALLABLE(arg) = (typeof(arg) === 'function');
 135
 136 # Macro for ES6 CheckObjectCoercible
 137 # Will throw a TypeError of the form "[functionName] called on null or undefined".
 138 macro CHECK_OBJECT_COERCIBLE(arg, functionName) = if (IS_NULL(%IS_VAR(arg)) || IS_UNDEFINED(arg)) throw MakeTypeError(kCalledOnNullOrUndefined, functionName);
 139
 140 # Indices in bound function info retrieved by %BoundFunctionGetBindings(...).
 141 define kBoundFunctionIndex = 0;
 142 define kBoundThisIndex = 1;
 143 define kBoundArgumentsStartIndex = 2;
 144
 145 # Inline macros. Use %IS_VAR to make sure arg is evaluated only once.
 146 macro NUMBER_IS_NAN(arg) = (!%_IsSmi(%IS_VAR(arg)) && !(arg == arg));
 147 macro NUMBER_IS_FINITE(arg) = (%_IsSmi(%IS_VAR(arg)) || ((arg == arg) && (arg != 1/0) && (arg != -1/0)));
 148 macro TO_INTEGER(arg) = (%_IsSmi(%IS_VAR(arg)) ? arg : %NumberToInteger(ToNumber(arg)));
 149 macro TO_INTEGER_FOR_SIDE_EFFECT(arg) = (%_IsSmi(%IS_VAR(arg)) ? arg : ToNumber(arg));
 150 macro TO_INTEGER_MAP_MINUS_ZERO(arg) = (%_IsSmi(%IS_VAR(arg)) ? arg : %NumberToIntegerMapMinusZero(ToNumber(arg)));
 151 macro TO_INT32(arg) = (arg | 0);
 152 macro TO_UINT32(arg) = (arg >>> 0);
 153 macro TO_LENGTH_OR_UINT32(arg) = (harmony_tolength ? $toLength(arg) : TO_UINT32(arg));
 154 macro TO_STRING_INLINE(arg) = (IS_STRING(%IS_VAR(arg)) ? arg : $nonStringToString(arg));
 155 macro TO_NUMBER_INLINE(arg) = (IS_NUMBER(%IS_VAR(arg)) ? arg : $nonNumberToNumber(arg));
 156 macro TO_OBJECT(arg) = (%_ToObject(arg));
 157 macro TO_PRIMITIVE(arg) = (%_ToPrimitive(arg));
 158 macro TO_PRIMITIVE_NUMBER(arg) = (%_ToPrimitive_Number(arg));
 159 macro TO_PRIMITIVE_STRING(arg) = (%_ToPrimitive_String(arg));
 160 macro TO_NAME(arg) = (%_ToName(arg));
 161 macro JSON_NUMBER_TO_STRING(arg) = ((%_IsSmi(%IS_VAR(arg)) || arg - arg == 0) ? %_NumberToString(arg) : "null");
 162 macro HAS_OWN_PROPERTY(arg, index) = (%_CallFunction(arg, index, ObjectHasOwnProperty));
 163 macro HAS_INDEX(array, index, is_array) = ((is_array && %_HasFastPackedElements(%IS_VAR(array))) ? (index < array.length) : (index in array));
 164 macro MAX_SIMPLE(argA, argB) = (argA < argB ? argB : argA);
 165 macro MIN_SIMPLE(argA, argB) = (argA < argB ? argA : argB);
 166
 167 # Private names.
 168 macro IS_PRIVATE(sym) = (%SymbolIsPrivate(sym));
 169 macro HAS_PRIVATE(obj, sym) = (%HasOwnProperty(obj, sym));
 170 macro HAS_DEFINED_PRIVATE(obj, sym) = (!IS_UNDEFINED(obj[sym]));
 171 macro GET_PRIVATE(obj, sym) = (obj[sym]);
 172 macro SET_PRIVATE(obj, sym, val) = (obj[sym] = val);
 173
 174 # Constants.  The compiler constant folds them.
 175 define NAN = $NaN;
 176 define INFINITY = (1/0);
 177 define UNDEFINED = (void 0);
 178
 179 # Macros implemented in Python.
 180 python macro CHAR_CODE(str) = ord(str[1]);
 181
 182 # Constants used on an array to implement the properties of the RegExp object.
 183 define REGEXP_NUMBER_OF_CAPTURES = 0;
 184 define REGEXP_FIRST_CAPTURE = 3;
 185
 186 # We can't put macros in macros so we use constants here.
 187 # REGEXP_NUMBER_OF_CAPTURES
 188 macro NUMBER_OF_CAPTURES(array) = ((array)[0]);
 189
 190 # Limit according to ECMA 262 15.9.1.1
 191 define MAX_TIME_MS = 8640000000000000;
 192 # Limit which is MAX_TIME_MS + msPerMonth.
 193 define MAX_TIME_BEFORE_UTC = 8640002592000000;
 194
 195 # Gets the value of a Date object. If arg is not a Date object
 196 # a type error is thrown.
 197 macro CHECK_DATE(arg) = if (!%_IsDate(arg)) %_ThrowNotDateError();
 198 macro LOCAL_DATE_VALUE(arg) = (%_DateField(arg, 0) + %_DateField(arg, 21));
 199 macro UTC_DATE_VALUE(arg)    = (%_DateField(arg, 0));
 200
 201 macro LOCAL_YEAR(arg)        = (%_DateField(arg, 1));
 202 macro LOCAL_MONTH(arg)       = (%_DateField(arg, 2));
 203 macro LOCAL_DAY(arg)         = (%_DateField(arg, 3));
 204 macro LOCAL_WEEKDAY(arg)     = (%_DateField(arg, 4));
 205 macro LOCAL_HOUR(arg)        = (%_DateField(arg, 5));
 206 macro LOCAL_MIN(arg)         = (%_DateField(arg, 6));
 207 macro LOCAL_SEC(arg)         = (%_DateField(arg, 7));
 208 macro LOCAL_MS(arg)          = (%_DateField(arg, 8));
 209 macro LOCAL_DAYS(arg)        = (%_DateField(arg, 9));
 210 macro LOCAL_TIME_IN_DAY(arg) = (%_DateField(arg, 10));
 211
 212 macro UTC_YEAR(arg)        = (%_DateField(arg, 11));
 213 macro UTC_MONTH(arg)       = (%_DateField(arg, 12));
 214 macro UTC_DAY(arg)         = (%_DateField(arg, 13));
 215 macro UTC_WEEKDAY(arg)     = (%_DateField(arg, 14));
 216 macro UTC_HOUR(arg)        = (%_DateField(arg, 15));
 217 macro UTC_MIN(arg)         = (%_DateField(arg, 16));
 218 macro UTC_SEC(arg)         = (%_DateField(arg, 17));
 219 macro UTC_MS(arg)          = (%_DateField(arg, 18));
 220 macro UTC_DAYS(arg)        = (%_DateField(arg, 19));
 221 macro UTC_TIME_IN_DAY(arg) = (%_DateField(arg, 20));
 222
 223 macro TIMEZONE_OFFSET(arg)   = (%_DateField(arg, 21));
 224
 225 macro SET_UTC_DATE_VALUE(arg, value) = (%DateSetValue(arg, value, 1));
 226 macro SET_LOCAL_DATE_VALUE(arg, value) = (%DateSetValue(arg, value, 0));
 227
 228 # Last input and last subject of regexp matches.
 229 define LAST_SUBJECT_INDEX = 1;
 230 macro LAST_SUBJECT(array) = ((array)[1]);
 231 macro LAST_INPUT(array) = ((array)[2]);
 232
 233 # REGEXP_FIRST_CAPTURE
 234 macro CAPTURE(index) = (3 + (index));
 235 define CAPTURE0 = 3;
 236 define CAPTURE1 = 4;
 237
 238 # For the regexp capture override array.  This has the same
 239 # format as the arguments to a function called from
 240 # String.prototype.replace.
 241 macro OVERRIDE_MATCH(override) = ((override)[0]);
 242 macro OVERRIDE_POS(override) = ((override)[(override).length - 2]);
 243 macro OVERRIDE_SUBJECT(override) = ((override)[(override).length - 1]);
 244 # 1-based so index of 1 returns the first capture
 245 macro OVERRIDE_CAPTURE(override, index) = ((override)[(index)]);
 246
 247 # PropertyDescriptor return value indices - must match
 248 # PropertyDescriptorIndices in runtime-object.cc.
 249 define IS_ACCESSOR_INDEX = 0;
 250 define VALUE_INDEX = 1;
 251 define GETTER_INDEX = 2;
 252 define SETTER_INDEX = 3;
 253 define WRITABLE_INDEX = 4;
 254 define ENUMERABLE_INDEX = 5;
 255 define CONFIGURABLE_INDEX = 6;
 256
 257 # For messages.js
 258 # Matches Script::Type from objects.h
 259 define TYPE_NATIVE = 0;
 260 define TYPE_EXTENSION = 1;
 261 define TYPE_NORMAL = 2;
 262
 263 # Matches Script::CompilationType from objects.h
 264 define COMPILATION_TYPE_HOST = 0;
 265 define COMPILATION_TYPE_EVAL = 1;
 266 define COMPILATION_TYPE_JSON = 2;
 267
 268 # Matches Messages::kNoLineNumberInfo from v8.h
 269 define kNoLineNumberInfo = 0;
 270
 271 # Matches PropertyAttributes from property-details.h
 272 define PROPERTY_ATTRIBUTES_NONE = 0;
 273 define PROPERTY_ATTRIBUTES_STRING = 8;
 274 define PROPERTY_ATTRIBUTES_SYMBOLIC = 16;
 275 define PROPERTY_ATTRIBUTES_PRIVATE_SYMBOL = 32;
 276
 277 # Use for keys, values and entries iterators.
 278 define ITERATOR_KIND_KEYS = 1;
 279 define ITERATOR_KIND_VALUES = 2;
 280 define ITERATOR_KIND_ENTRIES = 3;
 281
 282 macro FIXED_ARRAY_GET(array, index) = (%_FixedArrayGet(array, (index) | 0));
 283 macro FIXED_ARRAY_SET(array, index, value) = (%_FixedArraySet(array, (index) | 0, value));
 284 # TODO(adamk): Find a more robust way to force Smi representation.
 285 macro FIXED_ARRAY_SET_SMI(array, index, value) = (FIXED_ARRAY_SET(array, index, (value) | 0));
 286
 287 macro ORDERED_HASH_TABLE_BUCKET_COUNT(table) = (FIXED_ARRAY_GET(table, 0));
 288 macro ORDERED_HASH_TABLE_ELEMENT_COUNT(table) = (FIXED_ARRAY_GET(table, 1));
 289 macro ORDERED_HASH_TABLE_SET_ELEMENT_COUNT(table, count) = (FIXED_ARRAY_SET_SMI(table, 1, count));
 290 macro ORDERED_HASH_TABLE_DELETED_COUNT(table) = (FIXED_ARRAY_GET(table, 2));
 291 macro ORDERED_HASH_TABLE_SET_DELETED_COUNT(table, count) = (FIXED_ARRAY_SET_SMI(table, 2, count));
 292 macro ORDERED_HASH_TABLE_BUCKET_AT(table, bucket) = (FIXED_ARRAY_GET(table, 3 + (bucket)));
 293 macro ORDERED_HASH_TABLE_SET_BUCKET_AT(table, bucket, entry) = (FIXED_ARRAY_SET(table, 3 + (bucket), entry));
 294
 295 macro ORDERED_HASH_TABLE_HASH_TO_BUCKET(hash, numBuckets) = (hash & ((numBuckets) - 1));
 296
 297 macro ORDERED_HASH_SET_ENTRY_TO_INDEX(entry, numBuckets) = (3 + (numBuckets) + ((entry) << 1));
 298 macro ORDERED_HASH_SET_KEY_AT(table, entry, numBuckets) = (FIXED_ARRAY_GET(table, ORDERED_HASH_SET_ENTRY_TO_INDEX(entry, numBuckets)));
 299 macro ORDERED_HASH_SET_CHAIN_AT(table, entry, numBuckets) = (FIXED_ARRAY_GET(table, ORDERED_HASH_SET_ENTRY_TO_INDEX(entry, numBuckets) + 1));
 300
 301 macro ORDERED_HASH_MAP_ENTRY_TO_INDEX(entry, numBuckets) = (3 + (numBuckets) + ((entry) * 3));
 302 macro ORDERED_HASH_MAP_KEY_AT(table, entry, numBuckets) = (FIXED_ARRAY_GET(table, ORDERED_HASH_MAP_ENTRY_TO_INDEX(entry, numBuckets)));
 303 macro ORDERED_HASH_MAP_VALUE_AT(table, entry, numBuckets) = (FIXED_ARRAY_GET(table, ORDERED_HASH_MAP_ENTRY_TO_INDEX(entry, numBuckets) + 1));
 304 macro ORDERED_HASH_MAP_CHAIN_AT(table, entry, numBuckets) = (FIXED_ARRAY_GET(table, ORDERED_HASH_MAP_ENTRY_TO_INDEX(entry, numBuckets) + 2));
 305
 306 # Must match OrderedHashTable::kNotFound.
 307 define NOT_FOUND = -1;
 308
 309 # Check whether debug is active.
 310 define DEBUG_IS_ACTIVE = (%_DebugIsActive() != 0);
 311 macro DEBUG_IS_STEPPING(function) = (%_DebugIsActive() != 0 && %DebugCallbackSupportsStepping(function));
 312 macro DEBUG_PREPARE_STEP_IN_IF_STEPPING(function) = if (DEBUG_IS_STEPPING(function)) %DebugPrepareStepInIfStepping(function);
 313
 314 # SharedFlag equivalents
 315 define kNotShared = false;
 316 define kShared = true;