yangguo@chromium.org | 659ceec | 2012-01-26 07:37:54 +0000 | [diff] [blame] | 1 | // Copyright 2012 the V8 project authors. All rights reserved. |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 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 | #ifndef V8_V8GLOBALS_H_ |
| 29 | #define V8_V8GLOBALS_H_ |
| 30 | |
| 31 | #include "globals.h" |
danno@chromium.org | c612e02 | 2011-11-10 11:38:15 +0000 | [diff] [blame] | 32 | #include "checks.h" |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 33 | |
| 34 | namespace v8 { |
| 35 | namespace internal { |
| 36 | |
| 37 | // This file contains constants and global declarations related to the |
| 38 | // V8 system. |
| 39 | |
| 40 | // Mask for the sign bit in a smi. |
| 41 | const intptr_t kSmiSignMask = kIntptrSignBit; |
| 42 | |
| 43 | const int kObjectAlignmentBits = kPointerSizeLog2; |
| 44 | const intptr_t kObjectAlignment = 1 << kObjectAlignmentBits; |
| 45 | const intptr_t kObjectAlignmentMask = kObjectAlignment - 1; |
| 46 | |
| 47 | // Desired alignment for pointers. |
| 48 | const intptr_t kPointerAlignment = (1 << kPointerSizeLog2); |
| 49 | const intptr_t kPointerAlignmentMask = kPointerAlignment - 1; |
| 50 | |
erik.corry@gmail.com | ed49e96 | 2012-04-17 11:57:53 +0000 | [diff] [blame] | 51 | // Desired alignment for double values. |
| 52 | const intptr_t kDoubleAlignment = 8; |
| 53 | const intptr_t kDoubleAlignmentMask = kDoubleAlignment - 1; |
| 54 | |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 55 | // Desired alignment for generated code is 32 bytes (to improve cache line |
| 56 | // utilization). |
| 57 | const int kCodeAlignmentBits = 5; |
| 58 | const intptr_t kCodeAlignment = 1 << kCodeAlignmentBits; |
| 59 | const intptr_t kCodeAlignmentMask = kCodeAlignment - 1; |
| 60 | |
| 61 | // Tag information for Failure. |
| 62 | const int kFailureTag = 3; |
| 63 | const int kFailureTagSize = 2; |
| 64 | const intptr_t kFailureTagMask = (1 << kFailureTagSize) - 1; |
| 65 | |
| 66 | |
| 67 | // Zap-value: The value used for zapping dead objects. |
erik.corry@gmail.com | d91075f | 2011-02-10 07:45:38 +0000 | [diff] [blame] | 68 | // Should be a recognizable hex value tagged as a failure. |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 69 | #ifdef V8_HOST_ARCH_64_BIT |
| 70 | const Address kZapValue = |
erik.corry@gmail.com | d91075f | 2011-02-10 07:45:38 +0000 | [diff] [blame] | 71 | reinterpret_cast<Address>(V8_UINT64_C(0xdeadbeedbeadbeef)); |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 72 | const Address kHandleZapValue = |
erik.corry@gmail.com | d91075f | 2011-02-10 07:45:38 +0000 | [diff] [blame] | 73 | reinterpret_cast<Address>(V8_UINT64_C(0x1baddead0baddeaf)); |
yangguo@chromium.org | c03a192 | 2013-02-19 13:55:47 +0000 | [diff] [blame] | 74 | const Address kGlobalHandleZapValue = |
| 75 | reinterpret_cast<Address>(V8_UINT64_C(0x1baffed00baffedf)); |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 76 | const Address kFromSpaceZapValue = |
erik.corry@gmail.com | d91075f | 2011-02-10 07:45:38 +0000 | [diff] [blame] | 77 | reinterpret_cast<Address>(V8_UINT64_C(0x1beefdad0beefdaf)); |
sgjesse@chromium.org | c6c5718 | 2011-01-17 12:24:25 +0000 | [diff] [blame] | 78 | const uint64_t kDebugZapValue = V8_UINT64_C(0xbadbaddbbadbaddb); |
erik.corry@gmail.com | d91075f | 2011-02-10 07:45:38 +0000 | [diff] [blame] | 79 | const uint64_t kSlotsZapValue = V8_UINT64_C(0xbeefdeadbeefdeef); |
erik.corry@gmail.com | c3b670f | 2011-10-05 21:44:48 +0000 | [diff] [blame] | 80 | const uint64_t kFreeListZapValue = 0xfeed1eaffeed1eaf; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 81 | #else |
erik.corry@gmail.com | d91075f | 2011-02-10 07:45:38 +0000 | [diff] [blame] | 82 | const Address kZapValue = reinterpret_cast<Address>(0xdeadbeef); |
| 83 | const Address kHandleZapValue = reinterpret_cast<Address>(0xbaddeaf); |
yangguo@chromium.org | c03a192 | 2013-02-19 13:55:47 +0000 | [diff] [blame] | 84 | const Address kGlobalHandleZapValue = reinterpret_cast<Address>(0xbaffedf); |
erik.corry@gmail.com | d91075f | 2011-02-10 07:45:38 +0000 | [diff] [blame] | 85 | const Address kFromSpaceZapValue = reinterpret_cast<Address>(0xbeefdaf); |
| 86 | const uint32_t kSlotsZapValue = 0xbeefdeef; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 87 | const uint32_t kDebugZapValue = 0xbadbaddb; |
erik.corry@gmail.com | c3b670f | 2011-10-05 21:44:48 +0000 | [diff] [blame] | 88 | const uint32_t kFreeListZapValue = 0xfeed1eaf; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 89 | #endif |
| 90 | |
yangguo@chromium.org | 46839fb | 2012-08-28 09:06:19 +0000 | [diff] [blame] | 91 | const int kCodeZapValue = 0xbadc0de; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 92 | |
erik.corry@gmail.com | c3b670f | 2011-10-05 21:44:48 +0000 | [diff] [blame] | 93 | // Number of bits to represent the page size for paged spaces. The value of 20 |
| 94 | // gives 1Mb bytes per page. |
| 95 | const int kPageSizeBits = 20; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 96 | |
| 97 | // On Intel architecture, cache line size is 64 bytes. |
| 98 | // On ARM it may be less (32 bytes), but as far this constant is |
| 99 | // used for aligning data, it doesn't hurt to align on a greater value. |
| 100 | const int kProcessorCacheLineSize = 64; |
| 101 | |
| 102 | // Constants relevant to double precision floating point numbers. |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 103 | // If looking only at the top 32 bits, the QNaN mask is bits 19 to 30. |
| 104 | const uint32_t kQuietNaNHighBitsMask = 0xfff << (51 - 32); |
| 105 | |
| 106 | |
| 107 | // ----------------------------------------------------------------------------- |
| 108 | // Forward declarations for frequently used classes |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 109 | |
| 110 | class AccessorInfo; |
| 111 | class Allocation; |
| 112 | class Arguments; |
| 113 | class Assembler; |
| 114 | class AssertNoAllocation; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 115 | class Code; |
| 116 | class CodeGenerator; |
| 117 | class CodeStub; |
| 118 | class Context; |
| 119 | class Debug; |
| 120 | class Debugger; |
| 121 | class DebugInfo; |
| 122 | class Descriptor; |
| 123 | class DescriptorArray; |
yangguo@chromium.org | 99aa490 | 2012-07-06 16:21:55 +0000 | [diff] [blame] | 124 | class TransitionArray; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 125 | class ExternalReference; |
| 126 | class FixedArray; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 127 | class FunctionTemplateInfo; |
erik.corry@gmail.com | c3b670f | 2011-10-05 21:44:48 +0000 | [diff] [blame] | 128 | class MemoryChunk; |
erik.corry@gmail.com | f2038fb | 2012-01-16 11:42:08 +0000 | [diff] [blame] | 129 | class SeededNumberDictionary; |
| 130 | class UnseededNumberDictionary; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 131 | class StringDictionary; |
| 132 | template <typename T> class Handle; |
| 133 | class Heap; |
| 134 | class HeapObject; |
| 135 | class IC; |
| 136 | class InterceptorInfo; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 137 | class JSArray; |
| 138 | class JSFunction; |
| 139 | class JSObject; |
| 140 | class LargeObjectSpace; |
| 141 | class LookupResult; |
| 142 | class MacroAssembler; |
| 143 | class Map; |
| 144 | class MapSpace; |
| 145 | class MarkCompactCollector; |
| 146 | class NewSpace; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 147 | class Object; |
| 148 | class MaybeObject; |
| 149 | class OldSpace; |
ager@chromium.org | ea91cc5 | 2011-05-23 06:06:11 +0000 | [diff] [blame] | 150 | class Foreign; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 151 | class Scope; |
jkummerow@chromium.org | c3b3712 | 2011-11-07 10:14:12 +0000 | [diff] [blame] | 152 | class ScopeInfo; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 153 | class Script; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 154 | class Smi; |
| 155 | template <typename Config, class Allocator = FreeStoreAllocationPolicy> |
| 156 | class SplayTree; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 157 | class String; |
| 158 | class Struct; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 159 | class Variable; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 160 | class RelocInfo; |
| 161 | class Deserializer; |
| 162 | class MessageLocation; |
| 163 | class ObjectGroup; |
| 164 | class TickSample; |
| 165 | class VirtualMemory; |
| 166 | class Mutex; |
| 167 | |
| 168 | typedef bool (*WeakSlotCallback)(Object** pointer); |
| 169 | |
kmillikin@chromium.org | c53e10d | 2011-05-18 09:12:58 +0000 | [diff] [blame] | 170 | typedef bool (*WeakSlotCallbackWithHeap)(Heap* heap, Object** pointer); |
| 171 | |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 172 | // ----------------------------------------------------------------------------- |
| 173 | // Miscellaneous |
| 174 | |
| 175 | // NOTE: SpaceIterator depends on AllocationSpace enumeration values being |
| 176 | // consecutive. |
| 177 | enum AllocationSpace { |
| 178 | NEW_SPACE, // Semispaces collected with copying collector. |
| 179 | OLD_POINTER_SPACE, // May contain pointers to new space. |
| 180 | OLD_DATA_SPACE, // Must not have pointers to new space. |
| 181 | CODE_SPACE, // No pointers to new space, marked executable. |
| 182 | MAP_SPACE, // Only and all map objects. |
| 183 | CELL_SPACE, // Only and all cell objects. |
| 184 | LO_SPACE, // Promoted large objects. |
| 185 | |
| 186 | FIRST_SPACE = NEW_SPACE, |
| 187 | LAST_SPACE = LO_SPACE, |
| 188 | FIRST_PAGED_SPACE = OLD_POINTER_SPACE, |
| 189 | LAST_PAGED_SPACE = CELL_SPACE |
| 190 | }; |
| 191 | const int kSpaceTagSize = 3; |
| 192 | const int kSpaceTagMask = (1 << kSpaceTagSize) - 1; |
| 193 | |
| 194 | |
| 195 | // A flag that indicates whether objects should be pretenured when |
| 196 | // allocated (allocated directly into the old generation) or not |
| 197 | // (allocated in the young generation if the object size and type |
| 198 | // allows). |
| 199 | enum PretenureFlag { NOT_TENURED, TENURED }; |
| 200 | |
| 201 | enum GarbageCollector { SCAVENGER, MARK_COMPACTOR }; |
| 202 | |
| 203 | enum Executability { NOT_EXECUTABLE, EXECUTABLE }; |
| 204 | |
kmillikin@chromium.org | c53e10d | 2011-05-18 09:12:58 +0000 | [diff] [blame] | 205 | enum VisitMode { |
| 206 | VISIT_ALL, |
| 207 | VISIT_ALL_IN_SCAVENGE, |
| 208 | VISIT_ALL_IN_SWEEP_NEWSPACE, |
| 209 | VISIT_ONLY_STRONG |
| 210 | }; |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 211 | |
| 212 | // Flag indicating whether code is built into the VM (one of the natives files). |
| 213 | enum NativesFlag { NOT_NATIVES_CODE, NATIVES_CODE }; |
| 214 | |
| 215 | |
| 216 | // A CodeDesc describes a buffer holding instructions and relocation |
| 217 | // information. The instructions start at the beginning of the buffer |
| 218 | // and grow forward, the relocation information starts at the end of |
| 219 | // the buffer and grows backward. |
| 220 | // |
| 221 | // |<--------------- buffer_size ---------------->| |
| 222 | // |<-- instr_size -->| |<-- reloc_size -->| |
| 223 | // +==================+========+==================+ |
| 224 | // | instructions | free | reloc info | |
| 225 | // +==================+========+==================+ |
| 226 | // ^ |
| 227 | // | |
| 228 | // buffer |
| 229 | |
| 230 | struct CodeDesc { |
| 231 | byte* buffer; |
| 232 | int buffer_size; |
| 233 | int instr_size; |
| 234 | int reloc_size; |
| 235 | Assembler* origin; |
| 236 | }; |
| 237 | |
| 238 | |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 239 | // Callback function used for iterating objects in heap spaces, |
| 240 | // for example, scanning heap objects. |
| 241 | typedef int (*HeapObjectCallback)(HeapObject* obj); |
| 242 | |
| 243 | |
| 244 | // Callback function used for checking constraints when copying/relocating |
| 245 | // objects. Returns true if an object can be copied/relocated from its |
| 246 | // old_addr to a new_addr. |
| 247 | typedef bool (*ConstraintCallback)(Address new_addr, Address old_addr); |
| 248 | |
| 249 | |
| 250 | // Callback function on inline caches, used for iterating over inline caches |
| 251 | // in compiled code. |
| 252 | typedef void (*InlineCacheCallback)(Code* code, Address ic); |
| 253 | |
| 254 | |
| 255 | // State for inline cache call sites. Aliased as IC::State. |
| 256 | enum InlineCacheState { |
| 257 | // Has never been executed. |
| 258 | UNINITIALIZED, |
| 259 | // Has been executed but monomorhic state has been delayed. |
| 260 | PREMONOMORPHIC, |
| 261 | // Has been executed and only one receiver type has been seen. |
| 262 | MONOMORPHIC, |
| 263 | // Like MONOMORPHIC but check failed due to prototype. |
| 264 | MONOMORPHIC_PROTOTYPE_FAILURE, |
| 265 | // Multiple receiver types have been seen. |
jkummerow@chromium.org | 59297c7 | 2013-01-09 16:32:23 +0000 | [diff] [blame] | 266 | POLYMORPHIC, |
| 267 | // Many receiver types have been seen. |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 268 | MEGAMORPHIC, |
yangguo@chromium.org | 46a2a51 | 2013-01-18 16:29:40 +0000 | [diff] [blame] | 269 | // A generic handler is installed and no extra typefeedback is recorded. |
| 270 | GENERIC, |
yangguo@chromium.org | 9768bf1 | 2013-01-11 14:51:07 +0000 | [diff] [blame] | 271 | // Special state for debug break or step in prepare stubs. |
| 272 | DEBUG_STUB |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 273 | }; |
| 274 | |
| 275 | |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 276 | enum CheckType { |
| 277 | RECEIVER_MAP_CHECK, |
| 278 | STRING_CHECK, |
yangguo@chromium.org | 4a9f655 | 2013-03-04 14:46:33 +0000 | [diff] [blame^] | 279 | SYMBOL_CHECK, |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 280 | NUMBER_CHECK, |
| 281 | BOOLEAN_CHECK |
| 282 | }; |
| 283 | |
| 284 | |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 285 | enum CallFunctionFlags { |
| 286 | NO_CALL_FUNCTION_FLAGS = 0, |
danno@chromium.org | 40cb878 | 2011-05-25 07:58:50 +0000 | [diff] [blame] | 287 | // Receiver might implicitly be the global objects. If it is, the |
| 288 | // hole is passed to the call function stub. |
erik.corry@gmail.com | c3b670f | 2011-10-05 21:44:48 +0000 | [diff] [blame] | 289 | RECEIVER_MIGHT_BE_IMPLICIT = 1 << 0, |
| 290 | // The call target is cached in the instruction stream. |
| 291 | RECORD_CALL_TARGET = 1 << 1 |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 292 | }; |
| 293 | |
| 294 | |
| 295 | enum InlineCacheHolderFlag { |
| 296 | OWN_MAP, // For fast properties objects. |
yangguo@chromium.org | 4a9f655 | 2013-03-04 14:46:33 +0000 | [diff] [blame^] | 297 | DELEGATE_MAP // For slow properties objects (except GlobalObjects). |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 298 | }; |
| 299 | |
| 300 | |
erik.corry@gmail.com | c3b670f | 2011-10-05 21:44:48 +0000 | [diff] [blame] | 301 | // The Store Buffer (GC). |
| 302 | typedef enum { |
| 303 | kStoreBufferFullEvent, |
| 304 | kStoreBufferStartScanningPagesEvent, |
| 305 | kStoreBufferScanningPageEvent |
| 306 | } StoreBufferEvent; |
| 307 | |
| 308 | |
| 309 | typedef void (*StoreBufferCallback)(Heap* heap, |
| 310 | MemoryChunk* page, |
| 311 | StoreBufferEvent event); |
| 312 | |
| 313 | |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 314 | // Union used for fast testing of specific double values. |
| 315 | union DoubleRepresentation { |
| 316 | double value; |
| 317 | int64_t bits; |
| 318 | DoubleRepresentation(double x) { value = x; } |
| 319 | }; |
| 320 | |
| 321 | |
| 322 | // Union used for customized checking of the IEEE double types |
| 323 | // inlined within v8 runtime, rather than going to the underlying |
| 324 | // platform headers and libraries |
| 325 | union IeeeDoubleLittleEndianArchType { |
| 326 | double d; |
| 327 | struct { |
| 328 | unsigned int man_low :32; |
| 329 | unsigned int man_high :20; |
| 330 | unsigned int exp :11; |
| 331 | unsigned int sign :1; |
| 332 | } bits; |
| 333 | }; |
| 334 | |
| 335 | |
| 336 | union IeeeDoubleBigEndianArchType { |
| 337 | double d; |
| 338 | struct { |
| 339 | unsigned int sign :1; |
| 340 | unsigned int exp :11; |
| 341 | unsigned int man_high :20; |
| 342 | unsigned int man_low :32; |
| 343 | } bits; |
| 344 | }; |
| 345 | |
| 346 | |
| 347 | // AccessorCallback |
| 348 | struct AccessorDescriptor { |
| 349 | MaybeObject* (*getter)(Object* object, void* data); |
| 350 | MaybeObject* (*setter)(JSObject* object, Object* value, void* data); |
| 351 | void* data; |
| 352 | }; |
| 353 | |
| 354 | |
whesse@chromium.org | 030d38e | 2011-07-13 13:23:34 +0000 | [diff] [blame] | 355 | // Logging and profiling. A StateTag represents a possible state of |
| 356 | // the VM. The logger maintains a stack of these. Creating a VMState |
| 357 | // object enters a state by pushing on the stack, and destroying a |
| 358 | // VMState object leaves a state by popping the current state from the |
| 359 | // stack. |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 360 | |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 361 | enum StateTag { |
jkummerow@chromium.org | 5323a9c | 2012-12-10 19:00:50 +0000 | [diff] [blame] | 362 | JS, |
| 363 | GC, |
| 364 | COMPILER, |
| 365 | PARALLEL_COMPILER, |
| 366 | OTHER, |
| 367 | EXTERNAL |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 368 | }; |
| 369 | |
| 370 | |
| 371 | // ----------------------------------------------------------------------------- |
| 372 | // Macros |
| 373 | |
| 374 | // Testers for test. |
| 375 | |
| 376 | #define HAS_SMI_TAG(value) \ |
| 377 | ((reinterpret_cast<intptr_t>(value) & kSmiTagMask) == kSmiTag) |
| 378 | |
| 379 | #define HAS_FAILURE_TAG(value) \ |
| 380 | ((reinterpret_cast<intptr_t>(value) & kFailureTagMask) == kFailureTag) |
| 381 | |
| 382 | // OBJECT_POINTER_ALIGN returns the value aligned as a HeapObject pointer |
| 383 | #define OBJECT_POINTER_ALIGN(value) \ |
| 384 | (((value) + kObjectAlignmentMask) & ~kObjectAlignmentMask) |
| 385 | |
| 386 | // POINTER_SIZE_ALIGN returns the value aligned as a pointer. |
| 387 | #define POINTER_SIZE_ALIGN(value) \ |
| 388 | (((value) + kPointerAlignmentMask) & ~kPointerAlignmentMask) |
| 389 | |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 390 | // CODE_POINTER_ALIGN returns the value aligned as a generated code segment. |
| 391 | #define CODE_POINTER_ALIGN(value) \ |
| 392 | (((value) + kCodeAlignmentMask) & ~kCodeAlignmentMask) |
| 393 | |
| 394 | // Support for tracking C++ memory allocation. Insert TRACK_MEMORY("Fisk") |
| 395 | // inside a C++ class and new and delete will be overloaded so logging is |
| 396 | // performed. |
| 397 | // This file (globals.h) is included before log.h, so we use direct calls to |
| 398 | // the Logger rather than the LOG macro. |
| 399 | #ifdef DEBUG |
| 400 | #define TRACK_MEMORY(name) \ |
| 401 | void* operator new(size_t size) { \ |
| 402 | void* result = ::operator new(size); \ |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 403 | Logger::NewEventStatic(name, result, size); \ |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 404 | return result; \ |
| 405 | } \ |
| 406 | void operator delete(void* object) { \ |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 407 | Logger::DeleteEventStatic(name, object); \ |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 408 | ::operator delete(object); \ |
| 409 | } |
| 410 | #else |
| 411 | #define TRACK_MEMORY(name) |
| 412 | #endif |
| 413 | |
| 414 | |
rossberg@chromium.org | 89e18f5 | 2012-10-22 13:09:53 +0000 | [diff] [blame] | 415 | enum CpuImplementer { |
| 416 | UNKNOWN_IMPLEMENTER, |
| 417 | ARM_IMPLEMENTER, |
| 418 | QUALCOMM_IMPLEMENTER |
| 419 | }; |
| 420 | |
| 421 | |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 422 | // Feature flags bit positions. They are mostly based on the CPUID spec. |
| 423 | // (We assign CPUID itself to one of the currently reserved bits -- |
| 424 | // feel free to change this if needed.) |
| 425 | // On X86/X64, values below 32 are bits in EDX, values above 32 are bits in ECX. |
| 426 | enum CpuFeature { SSE4_1 = 32 + 19, // x86 |
| 427 | SSE3 = 32 + 0, // x86 |
| 428 | SSE2 = 26, // x86 |
| 429 | CMOV = 15, // x86 |
| 430 | RDTSC = 4, // x86 |
| 431 | CPUID = 10, // x86 |
| 432 | VFP3 = 1, // ARM |
| 433 | ARMv7 = 2, // ARM |
verwaest@chromium.org | b6d052d | 2012-07-27 08:03:27 +0000 | [diff] [blame] | 434 | VFP2 = 3, // ARM |
verwaest@chromium.org | 33e09c8 | 2012-10-10 17:07:22 +0000 | [diff] [blame] | 435 | SUDIV = 4, // ARM |
rossberg@chromium.org | 89e18f5 | 2012-10-22 13:09:53 +0000 | [diff] [blame] | 436 | UNALIGNED_ACCESSES = 5, // ARM |
| 437 | MOVW_MOVT_IMMEDIATE_LOADS = 6, // ARM |
yangguo@chromium.org | 003650e | 2013-01-24 16:31:08 +0000 | [diff] [blame] | 438 | VFP32DREGS = 7, // ARM |
lrn@chromium.org | 7516f05 | 2011-03-30 08:52:27 +0000 | [diff] [blame] | 439 | SAHF = 0, // x86 |
| 440 | FPU = 1}; // MIPS |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 441 | |
kmillikin@chromium.org | c53e10d | 2011-05-18 09:12:58 +0000 | [diff] [blame] | 442 | |
| 443 | // Used to specify if a macro instruction must perform a smi check on tagged |
| 444 | // values. |
| 445 | enum SmiCheckType { |
rossberg@chromium.org | b4b2aa6 | 2011-10-13 09:49:59 +0000 | [diff] [blame] | 446 | DONT_DO_SMI_CHECK, |
kmillikin@chromium.org | c53e10d | 2011-05-18 09:12:58 +0000 | [diff] [blame] | 447 | DO_SMI_CHECK |
| 448 | }; |
| 449 | |
danno@chromium.org | 40cb878 | 2011-05-25 07:58:50 +0000 | [diff] [blame] | 450 | |
| 451 | // Used to specify whether a receiver is implicitly or explicitly |
| 452 | // provided to a call. |
| 453 | enum CallKind { |
rossberg@chromium.org | b4b2aa6 | 2011-10-13 09:49:59 +0000 | [diff] [blame] | 454 | CALL_AS_METHOD, |
danno@chromium.org | 40cb878 | 2011-05-25 07:58:50 +0000 | [diff] [blame] | 455 | CALL_AS_FUNCTION |
| 456 | }; |
| 457 | |
svenpanne@chromium.org | 84bcc55 | 2011-07-18 09:50:57 +0000 | [diff] [blame] | 458 | |
erik.corry@gmail.com | 394dbcf | 2011-10-27 07:38:48 +0000 | [diff] [blame] | 459 | enum ScopeType { |
| 460 | EVAL_SCOPE, // The top-level scope for an eval source. |
| 461 | FUNCTION_SCOPE, // The top-level scope for a function. |
jkummerow@chromium.org | f7a5884 | 2012-02-21 10:08:21 +0000 | [diff] [blame] | 462 | MODULE_SCOPE, // The scope introduced by a module literal |
erik.corry@gmail.com | 394dbcf | 2011-10-27 07:38:48 +0000 | [diff] [blame] | 463 | GLOBAL_SCOPE, // The top-level scope for a program or a top-level eval. |
| 464 | CATCH_SCOPE, // The scope introduced by catch. |
| 465 | BLOCK_SCOPE, // The scope introduced by a new block. |
| 466 | WITH_SCOPE // The scope introduced by with. |
| 467 | }; |
| 468 | |
| 469 | |
mstarzinger@chromium.org | 1b3afd1 | 2011-11-29 14:28:56 +0000 | [diff] [blame] | 470 | const uint32_t kHoleNanUpper32 = 0x7FFFFFFF; |
| 471 | const uint32_t kHoleNanLower32 = 0xFFFFFFFF; |
| 472 | const uint32_t kNaNOrInfinityLowerBoundUpper32 = 0x7FF00000; |
svenpanne@chromium.org | 84bcc55 | 2011-07-18 09:50:57 +0000 | [diff] [blame] | 473 | |
| 474 | const uint64_t kHoleNanInt64 = |
| 475 | (static_cast<uint64_t>(kHoleNanUpper32) << 32) | kHoleNanLower32; |
| 476 | const uint64_t kLastNonNaNInt64 = |
| 477 | (static_cast<uint64_t>(kNaNOrInfinityLowerBoundUpper32) << 32); |
| 478 | |
rossberg@chromium.org | b4b2aa6 | 2011-10-13 09:49:59 +0000 | [diff] [blame] | 479 | |
yangguo@chromium.org | 355cfd1 | 2012-08-29 15:32:24 +0000 | [diff] [blame] | 480 | // The order of this enum has to be kept in sync with the predicates below. |
rossberg@chromium.org | b4b2aa6 | 2011-10-13 09:49:59 +0000 | [diff] [blame] | 481 | enum VariableMode { |
| 482 | // User declared variables: |
erik.corry@gmail.com | 394dbcf | 2011-10-27 07:38:48 +0000 | [diff] [blame] | 483 | VAR, // declared via 'var', and 'function' declarations |
rossberg@chromium.org | b4b2aa6 | 2011-10-13 09:49:59 +0000 | [diff] [blame] | 484 | |
erik.corry@gmail.com | 394dbcf | 2011-10-27 07:38:48 +0000 | [diff] [blame] | 485 | CONST, // declared via 'const' declarations |
rossberg@chromium.org | b4b2aa6 | 2011-10-13 09:49:59 +0000 | [diff] [blame] | 486 | |
ulan@chromium.org | 8e8d882 | 2012-11-23 14:36:46 +0000 | [diff] [blame] | 487 | LET, // declared via 'let' declarations (first lexical) |
rossberg@chromium.org | b4b2aa6 | 2011-10-13 09:49:59 +0000 | [diff] [blame] | 488 | |
yangguo@chromium.org | 355cfd1 | 2012-08-29 15:32:24 +0000 | [diff] [blame] | 489 | CONST_HARMONY, // declared via 'const' declarations in harmony mode |
| 490 | |
ulan@chromium.org | 8e8d882 | 2012-11-23 14:36:46 +0000 | [diff] [blame] | 491 | MODULE, // declared via 'module' declaration (last lexical) |
| 492 | |
rossberg@chromium.org | b4b2aa6 | 2011-10-13 09:49:59 +0000 | [diff] [blame] | 493 | // Variables introduced by the compiler: |
ulan@chromium.org | 8e8d882 | 2012-11-23 14:36:46 +0000 | [diff] [blame] | 494 | INTERNAL, // like VAR, but not user-visible (may or may not |
| 495 | // be in a context) |
| 496 | |
| 497 | TEMPORARY, // temporary variables (not user-visible), never |
| 498 | // in a context |
| 499 | |
rossberg@chromium.org | b4b2aa6 | 2011-10-13 09:49:59 +0000 | [diff] [blame] | 500 | DYNAMIC, // always require dynamic lookup (we don't know |
| 501 | // the declaration) |
| 502 | |
| 503 | DYNAMIC_GLOBAL, // requires dynamic lookup, but we know that the |
| 504 | // variable is global unless it has been shadowed |
| 505 | // by an eval-introduced variable |
| 506 | |
ulan@chromium.org | 8e8d882 | 2012-11-23 14:36:46 +0000 | [diff] [blame] | 507 | DYNAMIC_LOCAL // requires dynamic lookup, but we know that the |
rossberg@chromium.org | b4b2aa6 | 2011-10-13 09:49:59 +0000 | [diff] [blame] | 508 | // variable is local and where it is unless it |
| 509 | // has been shadowed by an eval-introduced |
| 510 | // variable |
rossberg@chromium.org | b4b2aa6 | 2011-10-13 09:49:59 +0000 | [diff] [blame] | 511 | }; |
| 512 | |
erik.corry@gmail.com | 394dbcf | 2011-10-27 07:38:48 +0000 | [diff] [blame] | 513 | |
yangguo@chromium.org | 355cfd1 | 2012-08-29 15:32:24 +0000 | [diff] [blame] | 514 | inline bool IsDynamicVariableMode(VariableMode mode) { |
| 515 | return mode >= DYNAMIC && mode <= DYNAMIC_LOCAL; |
| 516 | } |
| 517 | |
| 518 | |
| 519 | inline bool IsDeclaredVariableMode(VariableMode mode) { |
ulan@chromium.org | 8e8d882 | 2012-11-23 14:36:46 +0000 | [diff] [blame] | 520 | return mode >= VAR && mode <= MODULE; |
yangguo@chromium.org | 355cfd1 | 2012-08-29 15:32:24 +0000 | [diff] [blame] | 521 | } |
| 522 | |
| 523 | |
| 524 | inline bool IsLexicalVariableMode(VariableMode mode) { |
ulan@chromium.org | 8e8d882 | 2012-11-23 14:36:46 +0000 | [diff] [blame] | 525 | return mode >= LET && mode <= MODULE; |
yangguo@chromium.org | 355cfd1 | 2012-08-29 15:32:24 +0000 | [diff] [blame] | 526 | } |
| 527 | |
| 528 | |
| 529 | inline bool IsImmutableVariableMode(VariableMode mode) { |
ulan@chromium.org | 8e8d882 | 2012-11-23 14:36:46 +0000 | [diff] [blame] | 530 | return mode == CONST || (mode >= CONST_HARMONY && mode <= MODULE); |
yangguo@chromium.org | 355cfd1 | 2012-08-29 15:32:24 +0000 | [diff] [blame] | 531 | } |
| 532 | |
| 533 | |
jkummerow@chromium.org | c3b3712 | 2011-11-07 10:14:12 +0000 | [diff] [blame] | 534 | // ES6 Draft Rev3 10.2 specifies declarative environment records with mutable |
| 535 | // and immutable bindings that can be in two states: initialized and |
| 536 | // uninitialized. In ES5 only immutable bindings have these two states. When |
| 537 | // accessing a binding, it needs to be checked for initialization. However in |
| 538 | // the following cases the binding is initialized immediately after creation |
| 539 | // so the initialization check can always be skipped: |
| 540 | // 1. Var declared local variables. |
| 541 | // var foo; |
| 542 | // 2. A local variable introduced by a function declaration. |
| 543 | // function foo() {} |
| 544 | // 3. Parameters |
| 545 | // function x(foo) {} |
| 546 | // 4. Catch bound variables. |
| 547 | // try {} catch (foo) {} |
| 548 | // 6. Function variables of named function expressions. |
| 549 | // var x = function foo() {} |
| 550 | // 7. Implicit binding of 'this'. |
| 551 | // 8. Implicit binding of 'arguments' in functions. |
| 552 | // |
| 553 | // ES5 specified object environment records which are introduced by ES elements |
| 554 | // such as Program and WithStatement that associate identifier bindings with the |
| 555 | // properties of some object. In the specification only mutable bindings exist |
| 556 | // (which may be non-writable) and have no distinct initialization step. However |
| 557 | // V8 allows const declarations in global code with distinct creation and |
| 558 | // initialization steps which are represented by non-writable properties in the |
| 559 | // global object. As a result also these bindings need to be checked for |
| 560 | // initialization. |
| 561 | // |
| 562 | // The following enum specifies a flag that indicates if the binding needs a |
| 563 | // distinct initialization step (kNeedsInitialization) or if the binding is |
| 564 | // immediately initialized upon creation (kCreatedInitialized). |
| 565 | enum InitializationFlag { |
| 566 | kNeedsInitialization, |
| 567 | kCreatedInitialized |
| 568 | }; |
| 569 | |
| 570 | |
erik.corry@gmail.com | 394dbcf | 2011-10-27 07:38:48 +0000 | [diff] [blame] | 571 | enum ClearExceptionFlag { |
| 572 | KEEP_EXCEPTION, |
| 573 | CLEAR_EXCEPTION |
| 574 | }; |
| 575 | |
| 576 | |
erik.corry@gmail.com | 4a6c327 | 2010-11-18 12:04:40 +0000 | [diff] [blame] | 577 | } } // namespace v8::internal |
| 578 | |
| 579 | #endif // V8_V8GLOBALS_H_ |