diff options
author | Lorry Tar Creator <lorry-tar-importer@lorry> | 2015-10-15 09:45:50 +0000 |
---|---|---|
committer | Lorry Tar Creator <lorry-tar-importer@lorry> | 2015-10-15 09:45:50 +0000 |
commit | e15dd966d523731101f70ccf768bba12435a0208 (patch) | |
tree | ae9cb828a24ded2585a41af3f21411523b47897d /Source/JavaScriptCore/llint/LLIntData.cpp | |
download | WebKitGtk-tarball-e15dd966d523731101f70ccf768bba12435a0208.tar.gz |
webkitgtk-2.10.2webkitgtk-2.10.2
Diffstat (limited to 'Source/JavaScriptCore/llint/LLIntData.cpp')
-rw-r--r-- | Source/JavaScriptCore/llint/LLIntData.cpp | 172 |
1 files changed, 172 insertions, 0 deletions
diff --git a/Source/JavaScriptCore/llint/LLIntData.cpp b/Source/JavaScriptCore/llint/LLIntData.cpp new file mode 100644 index 000000000..e926f52dc --- /dev/null +++ b/Source/JavaScriptCore/llint/LLIntData.cpp @@ -0,0 +1,172 @@ +/* + * Copyright (C) 2011 Apple Inc. All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * 1. Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * 2. Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * + * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY + * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR + * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR + * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, + * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, + * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR + * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY + * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE + * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + */ + +#include "config.h" +#include "LLIntData.h" +#include "BytecodeConventions.h" +#include "CodeType.h" +#include "Instruction.h" +#include "JSScope.h" +#include "LLIntCLoop.h" +#include "MaxFrameExtentForSlowPathCall.h" +#include "Opcode.h" +#include "PropertyOffset.h" + +namespace JSC { namespace LLInt { + +Instruction* Data::s_exceptionInstructions = 0; +Opcode Data::s_opcodeMap[numOpcodeIDs] = { }; + +#if ENABLE(JIT) +extern "C" void llint_entry(void*); +#endif + +void initialize() +{ + Data::s_exceptionInstructions = new Instruction[maxOpcodeLength + 1]; + +#if !ENABLE(JIT) + CLoop::initialize(); + +#else // ENABLE(JIT) + llint_entry(&Data::s_opcodeMap); + + for (int i = 0; i < maxOpcodeLength + 1; ++i) + Data::s_exceptionInstructions[i].u.pointer = + LLInt::getCodePtr(llint_throw_from_slow_path_trampoline); +#endif // ENABLE(JIT) +} + +#if COMPILER(CLANG) +#pragma clang diagnostic push +#pragma clang diagnostic ignored "-Wmissing-noreturn" +#endif +void Data::performAssertions(VM& vm) +{ + UNUSED_PARAM(vm); + + // Assertions to match LowLevelInterpreter.asm. If you change any of this code, be + // prepared to change LowLevelInterpreter.asm as well!! + +#ifndef NDEBUG +#if USE(JSVALUE64) + const ptrdiff_t PtrSize = 8; + const ptrdiff_t CallFrameHeaderSlots = 5; +#else // USE(JSVALUE64) // i.e. 32-bit version + const ptrdiff_t PtrSize = 4; + const ptrdiff_t CallFrameHeaderSlots = 4; +#endif + const ptrdiff_t SlotSize = 8; +#endif + + ASSERT(sizeof(void*) == PtrSize); + ASSERT(sizeof(Register) == SlotSize); + ASSERT(JSStack::CallFrameHeaderSize == CallFrameHeaderSlots); + + ASSERT(!CallFrame::callerFrameOffset()); + ASSERT(JSStack::CallerFrameAndPCSize == (PtrSize * 2) / SlotSize); + ASSERT(CallFrame::returnPCOffset() == CallFrame::callerFrameOffset() + PtrSize); + ASSERT(JSStack::CodeBlock * sizeof(Register) == CallFrame::returnPCOffset() + PtrSize); + ASSERT(JSStack::Callee * sizeof(Register) == JSStack::CodeBlock * sizeof(Register) + SlotSize); + ASSERT(JSStack::ArgumentCount * sizeof(Register) == JSStack::Callee * sizeof(Register) + SlotSize); + ASSERT(JSStack::ThisArgument * sizeof(Register) == JSStack::ArgumentCount * sizeof(Register) + SlotSize); + ASSERT(JSStack::CallFrameHeaderSize == JSStack::ThisArgument); + + ASSERT(CallFrame::argumentOffsetIncludingThis(0) == JSStack::ThisArgument); + +#if CPU(BIG_ENDIAN) + ASSERT(OBJECT_OFFSETOF(EncodedValueDescriptor, asBits.tag) == 0); + ASSERT(OBJECT_OFFSETOF(EncodedValueDescriptor, asBits.payload) == 4); +#else + ASSERT(OBJECT_OFFSETOF(EncodedValueDescriptor, asBits.tag) == 4); + ASSERT(OBJECT_OFFSETOF(EncodedValueDescriptor, asBits.payload) == 0); +#endif +#if USE(JSVALUE32_64) + ASSERT(JSValue::Int32Tag == static_cast<unsigned>(-1)); + ASSERT(JSValue::BooleanTag == static_cast<unsigned>(-2)); + ASSERT(JSValue::NullTag == static_cast<unsigned>(-3)); + ASSERT(JSValue::UndefinedTag == static_cast<unsigned>(-4)); + ASSERT(JSValue::CellTag == static_cast<unsigned>(-5)); + ASSERT(JSValue::EmptyValueTag == static_cast<unsigned>(-6)); + ASSERT(JSValue::DeletedValueTag == static_cast<unsigned>(-7)); + ASSERT(JSValue::LowestTag == static_cast<unsigned>(-7)); +#else + ASSERT(TagBitTypeOther == 0x2); + ASSERT(TagBitBool == 0x4); + ASSERT(TagBitUndefined == 0x8); + ASSERT(ValueEmpty == 0x0); + ASSERT(ValueFalse == (TagBitTypeOther | TagBitBool)); + ASSERT(ValueTrue == (TagBitTypeOther | TagBitBool | 1)); + ASSERT(ValueUndefined == (TagBitTypeOther | TagBitUndefined)); + ASSERT(ValueNull == TagBitTypeOther); +#endif +#if (CPU(X86_64) && !OS(WINDOWS)) || CPU(ARM64) || !ENABLE(JIT) + ASSERT(!maxFrameExtentForSlowPathCall); +#elif CPU(ARM) || CPU(SH4) + ASSERT(maxFrameExtentForSlowPathCall == 24); +#elif CPU(X86) || CPU(MIPS) + ASSERT(maxFrameExtentForSlowPathCall == 40); +#elif CPU(X86_64) && OS(WINDOWS) + ASSERT(maxFrameExtentForSlowPathCall == 64); +#endif + ASSERT(StringType == 6); + ASSERT(ObjectType == 18); + ASSERT(FinalObjectType == 19); + ASSERT(MasqueradesAsUndefined == 1); + ASSERT(ImplementsHasInstance == 2); + ASSERT(ImplementsDefaultHasInstance == 8); + ASSERT(FirstConstantRegisterIndex == 0x40000000); + ASSERT(GlobalCode == 0); + ASSERT(EvalCode == 1); + ASSERT(FunctionCode == 2); + + static_assert(GlobalProperty == 0, "LLInt assumes GlobalProperty ResultType is == 0"); + static_assert(GlobalVar == 1, "LLInt assumes GlobalVar ResultType is == 1"); + static_assert(ClosureVar == 2, "LLInt assumes ClosureVar ResultType is == 2"); + static_assert(LocalClosureVar == 3, "LLInt assumes LocalClosureVar ResultType is == 3"); + static_assert(GlobalPropertyWithVarInjectionChecks == 4, "LLInt assumes GlobalPropertyWithVarInjectionChecks ResultType is == 4"); + static_assert(GlobalVarWithVarInjectionChecks == 5, "LLInt assumes GlobalVarWithVarInjectionChecks ResultType is == 5"); + static_assert(ClosureVarWithVarInjectionChecks == 6, "LLInt assumes ClosureVarWithVarInjectionChecks ResultType is == 6"); + static_assert(Dynamic == 7, "LLInt assumes Dynamic ResultType is == 7"); + + ASSERT(ResolveModeAndType::mask == 0xffff); + + ASSERT(MarkedBlock::blockMask == ~static_cast<decltype(MarkedBlock::blockMask)>(0x3fff)); + + // FIXME: make these assertions less horrible. +#if !ASSERT_DISABLED + Vector<int> testVector; + testVector.resize(42); + ASSERT(bitwise_cast<uint32_t*>(&testVector)[sizeof(void*)/sizeof(uint32_t) + 1] == 42); + ASSERT(bitwise_cast<int**>(&testVector)[0] == testVector.begin()); +#endif + + ASSERT(StringImpl::s_hashFlag8BitBuffer == 8); +} +#if COMPILER(CLANG) +#pragma clang diagnostic pop +#endif + +} } // namespace JSC::LLInt |