Home | History | Annotate | Download | only in src
      1 // Copyright 2012 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 #ifndef V8_GLOBALS_H_
     29 #define V8_GLOBALS_H_
     30 
     31 #include "../include/v8stdint.h"
     32 
     33 // Unfortunately, the INFINITY macro cannot be used with the '-pedantic'
     34 // warning flag and certain versions of GCC due to a bug:
     35 // http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11931
     36 // For now, we use the more involved template-based version from <limits>, but
     37 // only when compiling with GCC versions affected by the bug (2.96.x - 4.0.x)
     38 #if V8_CC_GNU && V8_GNUC_PREREQ(2, 96, 0) && !V8_GNUC_PREREQ(4, 1, 0)
     39 # include <limits>  // NOLINT
     40 # define V8_INFINITY std::numeric_limits<double>::infinity()
     41 #elif V8_CC_MSVC
     42 # define V8_INFINITY HUGE_VAL
     43 #else
     44 # define V8_INFINITY INFINITY
     45 #endif
     46 
     47 namespace v8 {
     48 namespace internal {
     49 
     50 // Processor architecture detection.  For more info on what's defined, see:
     51 //   http://msdn.microsoft.com/en-us/library/b0084kay.aspx
     52 //   http://www.agner.org/optimize/calling_conventions.pdf
     53 //   or with gcc, run: "echo | gcc -E -dM -"
     54 #if defined(_M_X64) || defined(__x86_64__)
     55 #if defined(__native_client__)
     56 // For Native Client builds of V8, use V8_TARGET_ARCH_ARM, so that V8
     57 // generates ARM machine code, together with a portable ARM simulator
     58 // compiled for the host architecture in question.
     59 //
     60 // Since Native Client is ILP-32 on all architectures we use
     61 // V8_HOST_ARCH_IA32 on both 32- and 64-bit x86.
     62 #define V8_HOST_ARCH_IA32 1
     63 #define V8_HOST_ARCH_32_BIT 1
     64 #define V8_HOST_CAN_READ_UNALIGNED 1
     65 #else
     66 #define V8_HOST_ARCH_X64 1
     67 #define V8_HOST_ARCH_64_BIT 1
     68 #define V8_HOST_CAN_READ_UNALIGNED 1
     69 #endif  // __native_client__
     70 #elif defined(_M_IX86) || defined(__i386__)
     71 #define V8_HOST_ARCH_IA32 1
     72 #define V8_HOST_ARCH_32_BIT 1
     73 #define V8_HOST_CAN_READ_UNALIGNED 1
     74 #elif defined(__ARMEL__)
     75 #define V8_HOST_ARCH_ARM 1
     76 #define V8_HOST_ARCH_32_BIT 1
     77 #elif defined(__MIPSEL__)
     78 #define V8_HOST_ARCH_MIPS 1
     79 #define V8_HOST_ARCH_32_BIT 1
     80 #else
     81 #error Host architecture was not detected as supported by v8
     82 #endif
     83 
     84 #if defined(__ARM_ARCH_7A__) || \
     85     defined(__ARM_ARCH_7R__) || \
     86     defined(__ARM_ARCH_7__)
     87 # define CAN_USE_ARMV7_INSTRUCTIONS 1
     88 # ifndef CAN_USE_VFP3_INSTRUCTIONS
     89 #  define CAN_USE_VFP3_INSTRUCTIONS
     90 # endif
     91 #endif
     92 
     93 
     94 // Target architecture detection. This may be set externally. If not, detect
     95 // in the same way as the host architecture, that is, target the native
     96 // environment as presented by the compiler.
     97 #if !V8_TARGET_ARCH_X64 && !V8_TARGET_ARCH_IA32 && \
     98     !V8_TARGET_ARCH_ARM && !V8_TARGET_ARCH_MIPS
     99 #if defined(_M_X64) || defined(__x86_64__)
    100 #define V8_TARGET_ARCH_X64 1
    101 #elif defined(_M_IX86) || defined(__i386__)
    102 #define V8_TARGET_ARCH_IA32 1
    103 #elif defined(__ARMEL__)
    104 #define V8_TARGET_ARCH_ARM 1
    105 #elif defined(__MIPSEL__)
    106 #define V8_TARGET_ARCH_MIPS 1
    107 #else
    108 #error Target architecture was not detected as supported by v8
    109 #endif
    110 #endif
    111 
    112 // Check for supported combinations of host and target architectures.
    113 #if V8_TARGET_ARCH_IA32 && !V8_HOST_ARCH_IA32
    114 #error Target architecture ia32 is only supported on ia32 host
    115 #endif
    116 #if V8_TARGET_ARCH_X64 && !V8_HOST_ARCH_X64
    117 #error Target architecture x64 is only supported on x64 host
    118 #endif
    119 #if (V8_TARGET_ARCH_ARM && !(V8_HOST_ARCH_IA32 || V8_HOST_ARCH_ARM))
    120 #error Target architecture arm is only supported on arm and ia32 host
    121 #endif
    122 #if (V8_TARGET_ARCH_MIPS && !(V8_HOST_ARCH_IA32 || V8_HOST_ARCH_MIPS))
    123 #error Target architecture mips is only supported on mips and ia32 host
    124 #endif
    125 
    126 // Determine whether we are running in a simulated environment.
    127 // Setting USE_SIMULATOR explicitly from the build script will force
    128 // the use of a simulated environment.
    129 #if !defined(USE_SIMULATOR)
    130 #if (V8_TARGET_ARCH_ARM && !V8_HOST_ARCH_ARM)
    131 #define USE_SIMULATOR 1
    132 #endif
    133 #if (V8_TARGET_ARCH_MIPS && !V8_HOST_ARCH_MIPS)
    134 #define USE_SIMULATOR 1
    135 #endif
    136 #endif
    137 
    138 // Determine architecture endiannes (we only support little-endian).
    139 #if V8_TARGET_ARCH_IA32
    140 #define V8_TARGET_LITTLE_ENDIAN 1
    141 #elif V8_TARGET_ARCH_X64
    142 #define V8_TARGET_LITTLE_ENDIAN 1
    143 #elif V8_TARGET_ARCH_ARM
    144 #define V8_TARGET_LITTLE_ENDIAN 1
    145 #elif V8_TARGET_ARCH_MIPS
    146 #define V8_TARGET_LITTLE_ENDIAN 1
    147 #else
    148 #error Unknown target architecture endiannes
    149 #endif
    150 
    151 // Support for alternative bool type. This is only enabled if the code is
    152 // compiled with USE_MYBOOL defined. This catches some nasty type bugs.
    153 // For instance, 'bool b = "false";' results in b == true! This is a hidden
    154 // source of bugs.
    155 // However, redefining the bool type does have some negative impact on some
    156 // platforms. It gives rise to compiler warnings (i.e. with
    157 // MSVC) in the API header files when mixing code that uses the standard
    158 // bool with code that uses the redefined version.
    159 // This does not actually belong in the platform code, but needs to be
    160 // defined here because the platform code uses bool, and platform.h is
    161 // include very early in the main include file.
    162 
    163 #ifdef USE_MYBOOL
    164 typedef unsigned int __my_bool__;
    165 #define bool __my_bool__  // use 'indirection' to avoid name clashes
    166 #endif
    167 
    168 typedef uint8_t byte;
    169 typedef byte* Address;
    170 
    171 // Define our own macros for writing 64-bit constants.  This is less fragile
    172 // than defining __STDC_CONSTANT_MACROS before including <stdint.h>, and it
    173 // works on compilers that don't have it (like MSVC).
    174 #if V8_CC_MSVC
    175 # define V8_UINT64_C(x)   (x ## UI64)
    176 # define V8_INT64_C(x)    (x ## I64)
    177 # if V8_HOST_ARCH_64_BIT
    178 #  define V8_INTPTR_C(x)  (x ## I64)
    179 #  define V8_PTR_PREFIX   "ll"
    180 # else
    181 #  define V8_INTPTR_C(x)  (x)
    182 #  define V8_PTR_PREFIX   ""
    183 # endif  // V8_HOST_ARCH_64_BIT
    184 #elif V8_CC_MINGW64
    185 # define V8_UINT64_C(x)   (x ## ULL)
    186 # define V8_INT64_C(x)    (x ## LL)
    187 # define V8_INTPTR_C(x)   (x ## LL)
    188 # define V8_PTR_PREFIX    "I64"
    189 #elif V8_HOST_ARCH_64_BIT
    190 # if V8_OS_MACOSX
    191 #  define V8_UINT64_C(x)   (x ## ULL)
    192 #  define V8_INT64_C(x)    (x ## LL)
    193 # else
    194 #  define V8_UINT64_C(x)   (x ## UL)
    195 #  define V8_INT64_C(x)    (x ## L)
    196 # endif
    197 # define V8_INTPTR_C(x)   (x ## L)
    198 # define V8_PTR_PREFIX    "l"
    199 #else
    200 # define V8_UINT64_C(x)   (x ## ULL)
    201 # define V8_INT64_C(x)    (x ## LL)
    202 # define V8_INTPTR_C(x)   (x)
    203 # define V8_PTR_PREFIX    ""
    204 #endif
    205 
    206 // The following macro works on both 32 and 64-bit platforms.
    207 // Usage: instead of writing 0x1234567890123456
    208 //      write V8_2PART_UINT64_C(0x12345678,90123456);
    209 #define V8_2PART_UINT64_C(a, b) (((static_cast<uint64_t>(a) << 32) + 0x##b##u))
    210 
    211 #define V8PRIxPTR V8_PTR_PREFIX "x"
    212 #define V8PRIdPTR V8_PTR_PREFIX "d"
    213 #define V8PRIuPTR V8_PTR_PREFIX "u"
    214 
    215 // Fix for Mac OS X defining uintptr_t as "unsigned long":
    216 #if V8_OS_MACOSX
    217 #undef V8PRIxPTR
    218 #define V8PRIxPTR "lx"
    219 #endif
    220 
    221 #if V8_OS_MACOSX || defined(__FreeBSD__) || defined(__OpenBSD__)
    222 #define USING_BSD_ABI
    223 #endif
    224 
    225 // -----------------------------------------------------------------------------
    226 // Constants
    227 
    228 const int KB = 1024;
    229 const int MB = KB * KB;
    230 const int GB = KB * KB * KB;
    231 const int kMaxInt = 0x7FFFFFFF;
    232 const int kMinInt = -kMaxInt - 1;
    233 const int kMaxInt8 = (1 << 7) - 1;
    234 const int kMinInt8 = -(1 << 7);
    235 const int kMaxUInt8 = (1 << 8) - 1;
    236 const int kMinUInt8 = 0;
    237 const int kMaxInt16 = (1 << 15) - 1;
    238 const int kMinInt16 = -(1 << 15);
    239 const int kMaxUInt16 = (1 << 16) - 1;
    240 const int kMinUInt16 = 0;
    241 
    242 const uint32_t kMaxUInt32 = 0xFFFFFFFFu;
    243 
    244 const int kCharSize      = sizeof(char);      // NOLINT
    245 const int kShortSize     = sizeof(short);     // NOLINT
    246 const int kIntSize       = sizeof(int);       // NOLINT
    247 const int kInt32Size     = sizeof(int32_t);   // NOLINT
    248 const int kInt64Size     = sizeof(int64_t);   // NOLINT
    249 const int kDoubleSize    = sizeof(double);    // NOLINT
    250 const int kIntptrSize    = sizeof(intptr_t);  // NOLINT
    251 const int kPointerSize   = sizeof(void*);     // NOLINT
    252 const int kRegisterSize  = kPointerSize;
    253 const int kPCOnStackSize = kRegisterSize;
    254 const int kFPOnStackSize = kRegisterSize;
    255 
    256 const int kDoubleSizeLog2 = 3;
    257 
    258 #if V8_HOST_ARCH_64_BIT
    259 const int kPointerSizeLog2 = 3;
    260 const intptr_t kIntptrSignBit = V8_INT64_C(0x8000000000000000);
    261 const uintptr_t kUintptrAllBitsSet = V8_UINT64_C(0xFFFFFFFFFFFFFFFF);
    262 const bool kIs64BitArch = true;
    263 #else
    264 const int kPointerSizeLog2 = 2;
    265 const intptr_t kIntptrSignBit = 0x80000000;
    266 const uintptr_t kUintptrAllBitsSet = 0xFFFFFFFFu;
    267 const bool kIs64BitArch = false;
    268 #endif
    269 
    270 const int kBitsPerByte = 8;
    271 const int kBitsPerByteLog2 = 3;
    272 const int kBitsPerPointer = kPointerSize * kBitsPerByte;
    273 const int kBitsPerInt = kIntSize * kBitsPerByte;
    274 
    275 // IEEE 754 single precision floating point number bit layout.
    276 const uint32_t kBinary32SignMask = 0x80000000u;
    277 const uint32_t kBinary32ExponentMask = 0x7f800000u;
    278 const uint32_t kBinary32MantissaMask = 0x007fffffu;
    279 const int kBinary32ExponentBias = 127;
    280 const int kBinary32MaxExponent  = 0xFE;
    281 const int kBinary32MinExponent  = 0x01;
    282 const int kBinary32MantissaBits = 23;
    283 const int kBinary32ExponentShift = 23;
    284 
    285 // Quiet NaNs have bits 51 to 62 set, possibly the sign bit, and no
    286 // other bits set.
    287 const uint64_t kQuietNaNMask = static_cast<uint64_t>(0xfff) << 51;
    288 
    289 // Latin1/UTF-16 constants
    290 // Code-point values in Unicode 4.0 are 21 bits wide.
    291 // Code units in UTF-16 are 16 bits wide.
    292 typedef uint16_t uc16;
    293 typedef int32_t uc32;
    294 const int kOneByteSize    = kCharSize;
    295 const int kUC16Size     = sizeof(uc16);      // NOLINT
    296 
    297 
    298 // Round up n to be a multiple of sz, where sz is a power of 2.
    299 #define ROUND_UP(n, sz) (((n) + ((sz) - 1)) & ~((sz) - 1))
    300 
    301 
    302 // The expression OFFSET_OF(type, field) computes the byte-offset
    303 // of the specified field relative to the containing type. This
    304 // corresponds to 'offsetof' (in stddef.h), except that it doesn't
    305 // use 0 or NULL, which causes a problem with the compiler warnings
    306 // we have enabled (which is also why 'offsetof' doesn't seem to work).
    307 // Here we simply use the non-zero value 4, which seems to work.
    308 #define OFFSET_OF(type, field)                                          \
    309   (reinterpret_cast<intptr_t>(&(reinterpret_cast<type*>(4)->field)) - 4)
    310 
    311 
    312 // The expression ARRAY_SIZE(a) is a compile-time constant of type
    313 // size_t which represents the number of elements of the given
    314 // array. You should only use ARRAY_SIZE on statically allocated
    315 // arrays.
    316 #define ARRAY_SIZE(a)                                   \
    317   ((sizeof(a) / sizeof(*(a))) /                         \
    318   static_cast<size_t>(!(sizeof(a) % sizeof(*(a)))))
    319 
    320 
    321 // The USE(x) template is used to silence C++ compiler warnings
    322 // issued for (yet) unused variables (typically parameters).
    323 template <typename T>
    324 inline void USE(T) { }
    325 
    326 
    327 // FUNCTION_ADDR(f) gets the address of a C function f.
    328 #define FUNCTION_ADDR(f)                                        \
    329   (reinterpret_cast<v8::internal::Address>(reinterpret_cast<intptr_t>(f)))
    330 
    331 
    332 // FUNCTION_CAST<F>(addr) casts an address into a function
    333 // of type F. Used to invoke generated code from within C.
    334 template <typename F>
    335 F FUNCTION_CAST(Address addr) {
    336   return reinterpret_cast<F>(reinterpret_cast<intptr_t>(addr));
    337 }
    338 
    339 
    340 // A macro to disallow the evil copy constructor and operator= functions
    341 // This should be used in the private: declarations for a class
    342 #define DISALLOW_COPY_AND_ASSIGN(TypeName)  \
    343   TypeName(const TypeName&) V8_DELETE;      \
    344   void operator=(const TypeName&) V8_DELETE
    345 
    346 
    347 // A macro to disallow all the implicit constructors, namely the
    348 // default constructor, copy constructor and operator= functions.
    349 //
    350 // This should be used in the private: declarations for a class
    351 // that wants to prevent anyone from instantiating it. This is
    352 // especially useful for classes containing only static methods.
    353 #define DISALLOW_IMPLICIT_CONSTRUCTORS(TypeName)  \
    354   TypeName() V8_DELETE;                           \
    355   DISALLOW_COPY_AND_ASSIGN(TypeName)
    356 
    357 
    358 // Newly written code should use V8_INLINE and V8_NOINLINE directly.
    359 #define INLINE(declarator)    V8_INLINE declarator
    360 #define NO_INLINE(declarator) V8_NOINLINE declarator
    361 
    362 
    363 // Newly written code should use V8_WARN_UNUSED_RESULT.
    364 #define MUST_USE_RESULT V8_WARN_UNUSED_RESULT
    365 
    366 
    367 // Define DISABLE_ASAN macros.
    368 #if defined(__has_feature)
    369 #if __has_feature(address_sanitizer)
    370 #define DISABLE_ASAN __attribute__((no_sanitize_address))
    371 #endif
    372 #endif
    373 
    374 
    375 #ifndef DISABLE_ASAN
    376 #define DISABLE_ASAN
    377 #endif
    378 
    379 
    380 // -----------------------------------------------------------------------------
    381 // Forward declarations for frequently used classes
    382 // (sorted alphabetically)
    383 
    384 class FreeStoreAllocationPolicy;
    385 template <typename T, class P = FreeStoreAllocationPolicy> class List;
    386 
    387 // -----------------------------------------------------------------------------
    388 // Declarations for use in both the preparser and the rest of V8.
    389 
    390 // The different language modes that V8 implements. ES5 defines two language
    391 // modes: an unrestricted mode respectively a strict mode which are indicated by
    392 // CLASSIC_MODE respectively STRICT_MODE in the enum. The harmony spec drafts
    393 // for the next ES standard specify a new third mode which is called 'extended
    394 // mode'. The extended mode is only available if the harmony flag is set. It is
    395 // based on the 'strict mode' and adds new functionality to it. This means that
    396 // most of the semantics of these two modes coincide.
    397 //
    398 // In the current draft the term 'base code' is used to refer to code that is
    399 // neither in strict nor extended mode. However, the more distinguishing term
    400 // 'classic mode' is used in V8 instead to avoid mix-ups.
    401 
    402 enum LanguageMode {
    403   CLASSIC_MODE,
    404   STRICT_MODE,
    405   EXTENDED_MODE
    406 };
    407 
    408 
    409 // The Strict Mode (ECMA-262 5th edition, 4.2.2).
    410 //
    411 // This flag is used in the backend to represent the language mode. So far
    412 // there is no semantic difference between the strict and the extended mode in
    413 // the backend, so both modes are represented by the kStrictMode value.
    414 enum StrictModeFlag {
    415   kNonStrictMode,
    416   kStrictMode
    417 };
    418 
    419 
    420 } }  // namespace v8::internal
    421 
    422 #endif  // V8_GLOBALS_H_
    423