src/v8/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 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 # Strict mode flags for passing to %SetProperty
  91 const kSloppyMode = 0;
  92 const kStrictMode = 1;
  93
  94 # Native cache ids.
  95 const STRING_TO_REGEXP_CACHE_ID = 0;
  96
  97 # Type query macros.
  98 #
  99 # Note: We have special support for typeof(foo) === 'bar' in the compiler.
 100 #       It will *not* generate a runtime typeof call for the most important
 101 #       values of 'bar'.
 102 macro IS_NULL(arg)              = (arg === null);
 103 macro IS_NULL_OR_UNDEFINED(arg) = (arg == null);
 104 macro IS_UNDEFINED(arg)         = (arg === (void 0));
 105 macro IS_NUMBER(arg)            = (typeof(arg) === 'number');
 106 macro IsFloat32x4(arg)          = (typeof(arg) === 'float32x4');
 107 macro IsFloat64x2(arg)          = (typeof(arg) === 'float64x2');
 108 macro IsInt32x4(arg)            = (typeof(arg) === 'int32x4');
 109 macro IS_STRING(arg)            = (typeof(arg) === 'string');
 110 macro IS_BOOLEAN(arg)           = (typeof(arg) === 'boolean');
 111 macro IS_SYMBOL(arg)            = (typeof(arg) === 'symbol');
 112 macro IS_OBJECT(arg)            = (%_IsObject(arg));
 113 macro IS_ARRAY(arg)             = (%_IsArray(arg));
 114 macro IS_FUNCTION(arg)          = (%_IsFunction(arg));
 115 macro IS_REGEXP(arg)            = (%_IsRegExp(arg));
 116 macro IS_SET(arg)               = (%_ClassOf(arg) === 'Set');
 117 macro IS_MAP(arg)               = (%_ClassOf(arg) === 'Map');
 118 macro IS_WEAKMAP(arg)           = (%_ClassOf(arg) === 'WeakMap');
 119 macro IS_WEAKSET(arg)           = (%_ClassOf(arg) === 'WeakSet');
 120 macro IS_DATE(arg)              = (%_ClassOf(arg) === 'Date');
 121 macro IS_NUMBER_WRAPPER(arg)    = (%_ClassOf(arg) === 'Number');
 122 macro IsFloat32x4Wrapper(arg)   = (%_ClassOf(arg) === 'float32x4');
 123 macro IsFloat64x2Wrapper(arg)   = (%_ClassOf(arg) === 'float64x2');
 124 macro IsInt32x4Wrapper(arg)     = (%_ClassOf(arg) === 'int32x4');
 125 macro IS_STRING_WRAPPER(arg)    = (%_ClassOf(arg) === 'String');
 126 macro IS_SYMBOL_WRAPPER(arg)    = (%_ClassOf(arg) === 'Symbol');
 127 macro IS_BOOLEAN_WRAPPER(arg)   = (%_ClassOf(arg) === 'Boolean');
 128 macro IS_ERROR(arg)             = (%_ClassOf(arg) === 'Error');
 129 macro IS_SCRIPT(arg)            = (%_ClassOf(arg) === 'Script');
 130 macro IS_ARGUMENTS(arg)         = (%_ClassOf(arg) === 'Arguments');
 131 macro IS_GLOBAL(arg)            = (%_ClassOf(arg) === 'global');
 132 macro IS_ARRAYBUFFER(arg)       = (%_ClassOf(arg) === 'ArrayBuffer');
 133 macro IS_DATAVIEW(arg)          = (%_ClassOf(arg) === 'DataView');
 134 macro IS_GENERATOR(arg)         = (%_ClassOf(arg) === 'Generator');
 135 macro IS_UNDETECTABLE(arg)      = (%_IsUndetectableObject(arg));
 136 macro FLOOR(arg)                = $floor(arg);
 137
 138 # Macro for ECMAScript 5 queries of the type:
 139 # "Type(O) is object."
 140 # This is the same as being either a function or an object in V8 terminology
 141 # (including proxies).
 142 # In addition, an undetectable object is also included by this.
 143 macro IS_SPEC_OBJECT(arg)   = (%_IsSpecObject(arg));
 144
 145 # Macro for ECMAScript 5 queries of the type:
 146 # "IsCallable(O)"
 147 # We assume here that this is the same as being either a function or a function
 148 # proxy. That ignores host objects with [[Call]] methods, but in most situations
 149 # we cannot handle those anyway.
 150 macro IS_SPEC_FUNCTION(arg) = (%_ClassOf(arg) === 'Function');
 151
 152 # Macro for ES6 CheckObjectCoercible
 153 # Will throw a TypeError of the form "[functionName] called on null or undefined".
 154 macro CHECK_OBJECT_COERCIBLE(arg, functionName) = if (IS_NULL_OR_UNDEFINED(arg) && !IS_UNDETECTABLE(arg)) throw MakeTypeError('called_on_null_or_undefined', [functionName]);
 155
 156 # Indices in bound function info retrieved by %BoundFunctionGetBindings(...).
 157 const kBoundFunctionIndex = 0;
 158 const kBoundThisIndex = 1;
 159 const kBoundArgumentsStartIndex = 2;
 160
 161 # Inline macros. Use %IS_VAR to make sure arg is evaluated only once.
 162 macro NUMBER_IS_NAN(arg) = (!%_IsSmi(%IS_VAR(arg)) && !(arg == arg));
 163 macro NUMBER_IS_FINITE(arg) = (%_IsSmi(%IS_VAR(arg)) || ((arg == arg) && (arg != 1/0) && (arg != -1/0)));
 164 macro TO_INTEGER(arg) = (%_IsSmi(%IS_VAR(arg)) ? arg : %NumberToInteger(ToNumber(arg)));
 165 macro TO_INTEGER_FOR_SIDE_EFFECT(arg) = (%_IsSmi(%IS_VAR(arg)) ? arg : ToNumber(arg));
 166 macro TO_INTEGER_MAP_MINUS_ZERO(arg) = (%_IsSmi(%IS_VAR(arg)) ? arg : %NumberToIntegerMapMinusZero(ToNumber(arg)));
 167 macro TO_INT32(arg) = (%_IsSmi(%IS_VAR(arg)) ? arg : (arg >> 0));
 168 macro TO_UINT32(arg) = (arg >>> 0);
 169 macro TO_STRING_INLINE(arg) = (IS_STRING(%IS_VAR(arg)) ? arg : NonStringToString(arg));
 170 macro TO_NUMBER_INLINE(arg) = (IS_NUMBER(%IS_VAR(arg)) ? arg : NonNumberToNumber(arg));
 171 macro TO_OBJECT_INLINE(arg) = (IS_SPEC_OBJECT(%IS_VAR(arg)) ? arg : ToObject(arg));
 172 macro JSON_NUMBER_TO_STRING(arg) = ((%_IsSmi(%IS_VAR(arg)) || arg - arg == 0) ? %_NumberToString(arg) : "null");
 173 macro ToFloat32x4(arg) = (IsFloat32x4Wrapper(%IS_VAR(arg))) ? %_ValueOf(arg) : arg;
 174 macro ToFloat64x2(arg) = (IsFloat64x2Wrapper(%IS_VAR(arg))) ? %_ValueOf(arg) : arg;
 175 macro ToInt32x4(arg) = (IsInt32x4Wrapper(%IS_VAR(arg))) ? %_ValueOf(arg) : arg;
 176
 177 # Private names.
 178 macro GLOBAL_PRIVATE(name) = (%CreateGlobalPrivateSymbol(name));
 179 macro NEW_PRIVATE(name) = (%CreatePrivateSymbol(name));
 180 macro IS_PRIVATE(sym) = (%SymbolIsPrivate(sym));
 181 macro HAS_PRIVATE(obj, sym) = (sym in obj);
 182 macro GET_PRIVATE(obj, sym) = (obj[sym]);
 183 macro SET_PRIVATE(obj, sym, val) = (obj[sym] = val);
 184 macro DELETE_PRIVATE(obj, sym) = (delete obj[sym]);
 185
 186 # Constants.  The compiler constant folds them.
 187 const NAN = $NaN;
 188 const INFINITY = (1/0);
 189 const UNDEFINED = (void 0);
 190
 191 # Macros implemented in Python.
 192 python macro CHAR_CODE(str) = ord(str[1]);
 193
 194 # Constants used on an array to implement the properties of the RegExp object.
 195 const REGEXP_NUMBER_OF_CAPTURES = 0;
 196 const REGEXP_FIRST_CAPTURE = 3;
 197
 198 # We can't put macros in macros so we use constants here.
 199 # REGEXP_NUMBER_OF_CAPTURES
 200 macro NUMBER_OF_CAPTURES(array) = ((array)[0]);
 201
 202 # Limit according to ECMA 262 15.9.1.1
 203 const MAX_TIME_MS = 8640000000000000;
 204 # Limit which is MAX_TIME_MS + msPerMonth.
 205 const MAX_TIME_BEFORE_UTC = 8640002592000000;
 206
 207 # Gets the value of a Date object. If arg is not a Date object
 208 # a type error is thrown.
 209 macro CHECK_DATE(arg) = if (%_ClassOf(arg) !== 'Date') ThrowDateTypeError();
 210 macro LOCAL_DATE_VALUE(arg) = (%_DateField(arg, 0) + %_DateField(arg, 21));
 211 macro UTC_DATE_VALUE(arg)    = (%_DateField(arg, 0));
 212
 213 macro LOCAL_YEAR(arg)        = (%_DateField(arg, 1));
 214 macro LOCAL_MONTH(arg)       = (%_DateField(arg, 2));
 215 macro LOCAL_DAY(arg)         = (%_DateField(arg, 3));
 216 macro LOCAL_WEEKDAY(arg)     = (%_DateField(arg, 4));
 217 macro LOCAL_HOUR(arg)        = (%_DateField(arg, 5));
 218 macro LOCAL_MIN(arg)         = (%_DateField(arg, 6));
 219 macro LOCAL_SEC(arg)         = (%_DateField(arg, 7));
 220 macro LOCAL_MS(arg)          = (%_DateField(arg, 8));
 221 macro LOCAL_DAYS(arg)        = (%_DateField(arg, 9));
 222 macro LOCAL_TIME_IN_DAY(arg) = (%_DateField(arg, 10));
 223
 224 macro UTC_YEAR(arg)        = (%_DateField(arg, 11));
 225 macro UTC_MONTH(arg)       = (%_DateField(arg, 12));
 226 macro UTC_DAY(arg)         = (%_DateField(arg, 13));
 227 macro UTC_WEEKDAY(arg)     = (%_DateField(arg, 14));
 228 macro UTC_HOUR(arg)        = (%_DateField(arg, 15));
 229 macro UTC_MIN(arg)         = (%_DateField(arg, 16));
 230 macro UTC_SEC(arg)         = (%_DateField(arg, 17));
 231 macro UTC_MS(arg)          = (%_DateField(arg, 18));
 232 macro UTC_DAYS(arg)        = (%_DateField(arg, 19));
 233 macro UTC_TIME_IN_DAY(arg) = (%_DateField(arg, 20));
 234
 235 macro TIMEZONE_OFFSET(arg)   = (%_DateField(arg, 21));
 236
 237 macro SET_UTC_DATE_VALUE(arg, value) = (%DateSetValue(arg, value, 1));
 238 macro SET_LOCAL_DATE_VALUE(arg, value) = (%DateSetValue(arg, value, 0));
 239
 240 # Last input and last subject of regexp matches.
 241 const LAST_SUBJECT_INDEX = 1;
 242 macro LAST_SUBJECT(array) = ((array)[1]);
 243 macro LAST_INPUT(array) = ((array)[2]);
 244
 245 # REGEXP_FIRST_CAPTURE
 246 macro CAPTURE(index) = (3 + (index));
 247 const CAPTURE0 = 3;
 248 const CAPTURE1 = 4;
 249
 250 # For the regexp capture override array.  This has the same
 251 # format as the arguments to a function called from
 252 # String.prototype.replace.
 253 macro OVERRIDE_MATCH(override) = ((override)[0]);
 254 macro OVERRIDE_POS(override) = ((override)[(override).length - 2]);
 255 macro OVERRIDE_SUBJECT(override) = ((override)[(override).length - 1]);
 256 # 1-based so index of 1 returns the first capture
 257 macro OVERRIDE_CAPTURE(override, index) = ((override)[(index)]);
 258
 259 # PropertyDescriptor return value indices - must match
 260 # PropertyDescriptorIndices in runtime.cc.
 261 const IS_ACCESSOR_INDEX = 0;
 262 const VALUE_INDEX = 1;
 263 const GETTER_INDEX = 2;
 264 const SETTER_INDEX = 3;
 265 const WRITABLE_INDEX = 4;
 266 const ENUMERABLE_INDEX = 5;
 267 const CONFIGURABLE_INDEX = 6;
 268
 269 # For messages.js
 270 # Matches Script::Type from objects.h
 271 const TYPE_NATIVE = 0;
 272 const TYPE_EXTENSION = 1;
 273 const TYPE_NORMAL = 2;
 274
 275 # Matches Script::CompilationType from objects.h
 276 const COMPILATION_TYPE_HOST = 0;
 277 const COMPILATION_TYPE_EVAL = 1;
 278 const COMPILATION_TYPE_JSON = 2;
 279
 280 # Matches Messages::kNoLineNumberInfo from v8.h
 281 const kNoLineNumberInfo = 0;
 282
 283 # Matches PropertyAttributes from property-details.h
 284 const PROPERTY_ATTRIBUTES_NONE = 0;
 285 const PROPERTY_ATTRIBUTES_STRING = 8;
 286 const PROPERTY_ATTRIBUTES_SYMBOLIC = 16;
 287 const PROPERTY_ATTRIBUTES_PRIVATE_SYMBOL = 32;
 288
 289 # Use for keys, values and entries iterators.
 290 const ITERATOR_KIND_KEYS = 1;
 291 const ITERATOR_KIND_VALUES = 2;
 292 const ITERATOR_KIND_ENTRIES = 3;
 293
 294 # For simd128.js
 295 macro CheckFloat32x4(arg) = if (typeof(arg) !== 'float32x4') ThrowFloat32x4TypeError();
 296 macro CheckFloat64x2(arg) = if (typeof(arg) !== 'float64x2') ThrowFloat64x2TypeError();
 297 macro CheckInt32x4(arg) = if (typeof(arg) !== 'int32x4') ThrowInt32x4TypeError();