We should support the ability to do a non-effectful getById
[WebKit-https.git] / Source / JavaScriptCore / llint / LLIntData.cpp
1 /*
2  * Copyright (C) 2011 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
24  */
25
26 #include "config.h"
27 #include "LLIntData.h"
28 #include "BytecodeConventions.h"
29 #include "CodeBlock.h"
30 #include "CodeType.h"
31 #include "Instruction.h"
32 #include "JSScope.h"
33 #include "LLIntCLoop.h"
34 #include "MaxFrameExtentForSlowPathCall.h"
35 #include "Opcode.h"
36 #include "PropertyOffset.h"
37 #include "WriteBarrier.h"
38
39 #define STATIC_ASSERT(cond) static_assert(cond, "LLInt assumes " #cond)
40
41 namespace JSC { namespace LLInt {
42
43 Instruction* Data::s_exceptionInstructions = 0;
44 Opcode Data::s_opcodeMap[numOpcodeIDs] = { };
45
46 #if ENABLE(JIT)
47 extern "C" void llint_entry(void*);
48 #endif
49
50 void initialize()
51 {
52     Data::s_exceptionInstructions = new Instruction[maxOpcodeLength + 1];
53
54 #if !ENABLE(JIT)
55     CLoop::initialize();
56
57 #else // ENABLE(JIT)
58     llint_entry(&Data::s_opcodeMap);
59
60     for (int i = 0; i < maxOpcodeLength + 1; ++i)
61         Data::s_exceptionInstructions[i].u.pointer =
62             LLInt::getCodePtr(llint_throw_from_slow_path_trampoline);
63 #endif // ENABLE(JIT)
64 }
65
66 #if COMPILER(CLANG)
67 #pragma clang diagnostic push
68 #pragma clang diagnostic ignored "-Wmissing-noreturn"
69 #endif
70 void Data::performAssertions(VM& vm)
71 {
72     UNUSED_PARAM(vm);
73     
74     // Assertions to match LowLevelInterpreter.asm.  If you change any of this code, be
75     // prepared to change LowLevelInterpreter.asm as well!!
76
77 #if USE(JSVALUE64)
78     const ptrdiff_t PtrSize = 8;
79     const ptrdiff_t CallFrameHeaderSlots = 5;
80 #else // USE(JSVALUE64) // i.e. 32-bit version
81     const ptrdiff_t PtrSize = 4;
82     const ptrdiff_t CallFrameHeaderSlots = 4;
83 #endif
84     const ptrdiff_t SlotSize = 8;
85
86     STATIC_ASSERT(sizeof(void*) == PtrSize);
87     STATIC_ASSERT(sizeof(Register) == SlotSize);
88     STATIC_ASSERT(JSStack::CallFrameHeaderSize == CallFrameHeaderSlots);
89
90     ASSERT(!CallFrame::callerFrameOffset());
91     STATIC_ASSERT(JSStack::CallerFrameAndPCSize == (PtrSize * 2) / SlotSize);
92     ASSERT(CallFrame::returnPCOffset() == CallFrame::callerFrameOffset() + PtrSize);
93     ASSERT(JSStack::CodeBlock * sizeof(Register) == CallFrame::returnPCOffset() + PtrSize);
94     STATIC_ASSERT(JSStack::Callee * sizeof(Register) == JSStack::CodeBlock * sizeof(Register) + SlotSize);
95     STATIC_ASSERT(JSStack::ArgumentCount * sizeof(Register) == JSStack::Callee * sizeof(Register) + SlotSize);
96     STATIC_ASSERT(JSStack::ThisArgument * sizeof(Register) == JSStack::ArgumentCount * sizeof(Register) + SlotSize);
97     STATIC_ASSERT(JSStack::CallFrameHeaderSize == JSStack::ThisArgument);
98
99     ASSERT(CallFrame::argumentOffsetIncludingThis(0) == JSStack::ThisArgument);
100
101 #if CPU(BIG_ENDIAN)
102     ASSERT(OBJECT_OFFSETOF(EncodedValueDescriptor, asBits.tag) == 0);
103     ASSERT(OBJECT_OFFSETOF(EncodedValueDescriptor, asBits.payload) == 4);
104 #else
105     ASSERT(OBJECT_OFFSETOF(EncodedValueDescriptor, asBits.tag) == 4);
106     ASSERT(OBJECT_OFFSETOF(EncodedValueDescriptor, asBits.payload) == 0);
107 #endif
108 #if USE(JSVALUE32_64)
109     STATIC_ASSERT(JSValue::Int32Tag == static_cast<unsigned>(-1));
110     STATIC_ASSERT(JSValue::BooleanTag == static_cast<unsigned>(-2));
111     STATIC_ASSERT(JSValue::NullTag == static_cast<unsigned>(-3));
112     STATIC_ASSERT(JSValue::UndefinedTag == static_cast<unsigned>(-4));
113     STATIC_ASSERT(JSValue::CellTag == static_cast<unsigned>(-5));
114     STATIC_ASSERT(JSValue::EmptyValueTag == static_cast<unsigned>(-6));
115     STATIC_ASSERT(JSValue::DeletedValueTag == static_cast<unsigned>(-7));
116     STATIC_ASSERT(JSValue::LowestTag == static_cast<unsigned>(-7));
117 #else
118     STATIC_ASSERT(TagBitTypeOther == 0x2);
119     STATIC_ASSERT(TagBitBool == 0x4);
120     STATIC_ASSERT(TagBitUndefined == 0x8);
121     STATIC_ASSERT(ValueEmpty == 0x0);
122     STATIC_ASSERT(ValueFalse == (TagBitTypeOther | TagBitBool));
123     STATIC_ASSERT(ValueTrue == (TagBitTypeOther | TagBitBool | 1));
124     STATIC_ASSERT(ValueUndefined == (TagBitTypeOther | TagBitUndefined));
125     STATIC_ASSERT(ValueNull == TagBitTypeOther);
126 #endif
127 #if (CPU(X86_64) && !OS(WINDOWS)) || CPU(ARM64) || !ENABLE(JIT)
128     STATIC_ASSERT(!maxFrameExtentForSlowPathCall);
129 #elif CPU(ARM) || CPU(SH4)
130     STATIC_ASSERT(maxFrameExtentForSlowPathCall == 24);
131 #elif CPU(X86) || CPU(MIPS)
132     STATIC_ASSERT(maxFrameExtentForSlowPathCall == 40);
133 #elif CPU(X86_64) && OS(WINDOWS)
134     STATIC_ASSERT(maxFrameExtentForSlowPathCall == 64);
135 #endif
136
137 #if !ENABLE(JIT) || USE(JSVALUE32_64)
138     ASSERT(!CodeBlock::llintBaselineCalleeSaveSpaceAsVirtualRegisters());
139 #elif (CPU(X86_64) && !OS(WINDOWS))  || CPU(ARM64)
140     ASSERT(CodeBlock::llintBaselineCalleeSaveSpaceAsVirtualRegisters() == 3);
141 #elif (CPU(X86_64) && OS(WINDOWS))
142     ASSERT(CodeBlock::llintBaselineCalleeSaveSpaceAsVirtualRegisters() == 3);
143 #endif
144     
145     STATIC_ASSERT(StringType == 6);
146     STATIC_ASSERT(SymbolType == 7);
147     STATIC_ASSERT(ObjectType == 20);
148     STATIC_ASSERT(FinalObjectType == 21);
149     STATIC_ASSERT(JSFunctionType == 23);
150     STATIC_ASSERT(MasqueradesAsUndefined == 1);
151     STATIC_ASSERT(ImplementsDefaultHasInstance == 2);
152     STATIC_ASSERT(FirstConstantRegisterIndex == 0x40000000);
153     STATIC_ASSERT(GlobalCode == 0);
154     STATIC_ASSERT(EvalCode == 1);
155     STATIC_ASSERT(FunctionCode == 2);
156     STATIC_ASSERT(ModuleCode == 3);
157
158     ASSERT(!(reinterpret_cast<ptrdiff_t>((reinterpret_cast<WriteBarrier<JSCell>*>(0x4000)->slot())) - 0x4000));
159     static_assert(PutByIdPrimaryTypeMask == 0x6, "LLInt assumes PutByIdPrimaryTypeMask is == 0x6");
160     static_assert(PutByIdPrimaryTypeSecondary == 0x0, "LLInt assumes PutByIdPrimaryTypeSecondary is == 0x0");
161     static_assert(PutByIdPrimaryTypeObjectWithStructure == 0x2, "LLInt assumes PutByIdPrimaryTypeObjectWithStructure is == 0x2");
162     static_assert(PutByIdPrimaryTypeObjectWithStructureOrOther == 0x4, "LLInt assumes PutByIdPrimaryTypeObjectWithStructureOrOther is == 0x4");
163     static_assert(PutByIdSecondaryTypeMask == -0x8, "LLInt assumes PutByIdSecondaryTypeMask is == -0x8");
164     static_assert(PutByIdSecondaryTypeBottom == 0x0, "LLInt assumes PutByIdSecondaryTypeBottom is == 0x0");
165     static_assert(PutByIdSecondaryTypeBoolean == 0x8, "LLInt assumes PutByIdSecondaryTypeBoolean is == 0x8");
166     static_assert(PutByIdSecondaryTypeOther == 0x10, "LLInt assumes PutByIdSecondaryTypeOther is == 0x10");
167     static_assert(PutByIdSecondaryTypeInt32 == 0x18, "LLInt assumes PutByIdSecondaryTypeInt32 is == 0x18");
168     static_assert(PutByIdSecondaryTypeNumber == 0x20, "LLInt assumes PutByIdSecondaryTypeNumber is == 0x20");
169     static_assert(PutByIdSecondaryTypeString == 0x28, "LLInt assumes PutByIdSecondaryTypeString is == 0x28");
170     static_assert(PutByIdSecondaryTypeSymbol == 0x30, "LLInt assumes PutByIdSecondaryTypeSymbol is == 0x30");
171     static_assert(PutByIdSecondaryTypeObject == 0x38, "LLInt assumes PutByIdSecondaryTypeObject is == 0x38");
172     static_assert(PutByIdSecondaryTypeObjectOrOther == 0x40, "LLInt assumes PutByIdSecondaryTypeObjectOrOther is == 0x40");
173     static_assert(PutByIdSecondaryTypeTop == 0x48, "LLInt assumes PutByIdSecondaryTypeTop is == 0x48");
174
175     static_assert(GlobalProperty == 0, "LLInt assumes GlobalProperty ResultType is == 0");
176     static_assert(GlobalVar == 1, "LLInt assumes GlobalVar ResultType is == 1");
177     static_assert(GlobalLexicalVar == 2, "LLInt assumes GlobalLexicalVar ResultType is == 2");
178     static_assert(ClosureVar == 3, "LLInt assumes ClosureVar ResultType is == 3");
179     static_assert(LocalClosureVar == 4, "LLInt assumes LocalClosureVar ResultType is == 4");
180     static_assert(ModuleVar == 5, "LLInt assumes ModuleVar ResultType is == 5");
181     static_assert(GlobalPropertyWithVarInjectionChecks == 6, "LLInt assumes GlobalPropertyWithVarInjectionChecks ResultType is == 6");
182     static_assert(GlobalVarWithVarInjectionChecks == 7, "LLInt assumes GlobalVarWithVarInjectionChecks ResultType is == 7");
183     static_assert(GlobalLexicalVarWithVarInjectionChecks == 8, "LLInt assumes GlobalLexicalVarWithVarInjectionChecks ResultType is == 8");
184     static_assert(ClosureVarWithVarInjectionChecks == 9, "LLInt assumes ClosureVarWithVarInjectionChecks ResultType is == 9");
185
186     static_assert(InitializationMode::Initialization == 0, "LLInt assumes that InitializationMode::Initialization is 0");
187     
188     STATIC_ASSERT(GetPutInfo::typeBits == 0x3ff);
189     STATIC_ASSERT(GetPutInfo::initializationShift == 10);
190     STATIC_ASSERT(GetPutInfo::initializationBits == 0xffc00);
191
192     STATIC_ASSERT(MarkedBlock::blockMask == ~static_cast<decltype(MarkedBlock::blockMask)>(0x3fff));
193
194     // FIXME: make these assertions less horrible.
195 #if !ASSERT_DISABLED
196     Vector<int> testVector;
197     testVector.resize(42);
198     ASSERT(bitwise_cast<uint32_t*>(&testVector)[sizeof(void*)/sizeof(uint32_t) + 1] == 42);
199     ASSERT(bitwise_cast<int**>(&testVector)[0] == testVector.begin());
200 #endif
201
202     ASSERT(StringImpl::s_hashFlag8BitBuffer == 8);
203 }
204 #if COMPILER(CLANG)
205 #pragma clang diagnostic pop
206 #endif
207
208 } } // namespace JSC::LLInt