|
1 /* |
|
2 * Copyright (C) 2008 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 * |
|
8 * 1. Redistributions of source code must retain the above copyright |
|
9 * notice, this list of conditions and the following disclaimer. |
|
10 * 2. Redistributions in binary form must reproduce the above copyright |
|
11 * notice, this list of conditions and the following disclaimer in the |
|
12 * documentation and/or other materials provided with the distribution. |
|
13 * 3. Neither the name of Apple Computer, Inc. ("Apple") nor the names of |
|
14 * its contributors may be used to endorse or promote products derived |
|
15 * from this software without specific prior written permission. |
|
16 * |
|
17 * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY |
|
18 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED |
|
19 * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE |
|
20 * DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY |
|
21 * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES |
|
22 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; |
|
23 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND |
|
24 * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
|
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
|
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
|
27 */ |
|
28 |
|
29 #ifndef Interpreter_h |
|
30 #define Interpreter_h |
|
31 |
|
32 #include "ArgList.h" |
|
33 #include "FastAllocBase.h" |
|
34 #include "JSCell.h" |
|
35 #include "JSValue.h" |
|
36 #include "JSObject.h" |
|
37 #include "Opcode.h" |
|
38 #include "RegisterFile.h" |
|
39 |
|
40 #include <wtf/HashMap.h> |
|
41 |
|
42 namespace JSC { |
|
43 |
|
44 class CodeBlock; |
|
45 class EvalExecutable; |
|
46 class FunctionExecutable; |
|
47 class JSFunction; |
|
48 class JSGlobalObject; |
|
49 class ProgramExecutable; |
|
50 class Register; |
|
51 class ScopeChainNode; |
|
52 class SamplingTool; |
|
53 struct CallFrameClosure; |
|
54 struct HandlerInfo; |
|
55 struct Instruction; |
|
56 |
|
57 enum DebugHookID { |
|
58 WillExecuteProgram, |
|
59 DidExecuteProgram, |
|
60 DidEnterCallFrame, |
|
61 DidReachBreakpoint, |
|
62 WillLeaveCallFrame, |
|
63 WillExecuteStatement |
|
64 }; |
|
65 |
|
66 enum { MaxLargeThreadReentryDepth = 256, MaxSmallThreadReentryDepth = 32 }; |
|
67 |
|
68 class Interpreter : public FastAllocBase { |
|
69 friend class JIT; |
|
70 friend class CachedCall; |
|
71 public: |
|
72 Interpreter(); |
|
73 |
|
74 RegisterFile& registerFile() { return m_registerFile; } |
|
75 |
|
76 Opcode getOpcode(OpcodeID id) |
|
77 { |
|
78 #if ENABLE(COMPUTED_GOTO_INTERPRETER) |
|
79 return m_opcodeTable[id]; |
|
80 #else |
|
81 return id; |
|
82 #endif |
|
83 } |
|
84 |
|
85 OpcodeID getOpcodeID(Opcode opcode) |
|
86 { |
|
87 #if ENABLE(COMPUTED_GOTO_INTERPRETER) |
|
88 ASSERT(isOpcode(opcode)); |
|
89 return m_opcodeIDTable.get(opcode); |
|
90 #else |
|
91 return opcode; |
|
92 #endif |
|
93 } |
|
94 |
|
95 bool isOpcode(Opcode); |
|
96 |
|
97 JSValue execute(ProgramExecutable*, CallFrame*, ScopeChainNode*, JSObject* thisObj, JSValue* exception); |
|
98 JSValue executeCall(CallFrame*, JSObject* function, CallType, const CallData&, JSValue thisValue, const ArgList&, JSValue* exception); |
|
99 JSObject* executeConstruct(CallFrame*, JSObject* function, ConstructType, const ConstructData&, const ArgList&, JSValue* exception); |
|
100 JSValue execute(EvalExecutable* evalNode, CallFrame* exec, JSObject* thisObj, ScopeChainNode* scopeChain, JSValue* exception); |
|
101 |
|
102 JSValue retrieveArguments(CallFrame*, JSFunction*) const; |
|
103 JSValue retrieveCaller(CallFrame*, JSFunction*) const; |
|
104 void retrieveLastCaller(CallFrame*, int& lineNumber, intptr_t& sourceID, UString& sourceURL, JSValue& function) const; |
|
105 |
|
106 void getArgumentsData(CallFrame*, JSFunction*&, ptrdiff_t& firstParameterIndex, Register*& argv, int& argc); |
|
107 |
|
108 SamplingTool* sampler() { return m_sampler.get(); } |
|
109 |
|
110 NEVER_INLINE JSValue callEval(CallFrame*, RegisterFile*, Register* argv, int argc, int registerOffset, JSValue& exceptionValue); |
|
111 NEVER_INLINE HandlerInfo* throwException(CallFrame*&, JSValue&, unsigned bytecodeOffset, bool); |
|
112 NEVER_INLINE void debug(CallFrame*, DebugHookID, int firstLine, int lastLine); |
|
113 |
|
114 void dumpSampleData(ExecState* exec); |
|
115 void startSampling(); |
|
116 void stopSampling(); |
|
117 private: |
|
118 enum ExecutionFlag { Normal, InitializeAndReturn }; |
|
119 |
|
120 CallFrameClosure prepareForRepeatCall(FunctionExecutable*, CallFrame*, JSFunction*, int argCount, ScopeChainNode*, JSValue* exception); |
|
121 void endRepeatCall(CallFrameClosure&); |
|
122 JSValue execute(CallFrameClosure&, JSValue* exception); |
|
123 |
|
124 JSValue execute(EvalExecutable*, CallFrame*, JSObject* thisObject, int globalRegisterOffset, ScopeChainNode*, JSValue* exception); |
|
125 |
|
126 #if ENABLE(INTERPRETER) |
|
127 NEVER_INLINE bool resolve(CallFrame*, Instruction*, JSValue& exceptionValue); |
|
128 NEVER_INLINE bool resolveSkip(CallFrame*, Instruction*, JSValue& exceptionValue); |
|
129 NEVER_INLINE bool resolveGlobal(CallFrame*, Instruction*, JSValue& exceptionValue); |
|
130 NEVER_INLINE bool resolveGlobalDynamic(CallFrame*, Instruction*, JSValue& exceptionValue); |
|
131 NEVER_INLINE void resolveBase(CallFrame*, Instruction* vPC); |
|
132 NEVER_INLINE bool resolveBaseAndProperty(CallFrame*, Instruction*, JSValue& exceptionValue); |
|
133 NEVER_INLINE ScopeChainNode* createExceptionScope(CallFrame*, const Instruction* vPC); |
|
134 |
|
135 void tryCacheGetByID(CallFrame*, CodeBlock*, Instruction*, JSValue baseValue, const Identifier& propertyName, const PropertySlot&); |
|
136 void uncacheGetByID(CodeBlock*, Instruction* vPC); |
|
137 void tryCachePutByID(CallFrame*, CodeBlock*, Instruction*, JSValue baseValue, const PutPropertySlot&); |
|
138 void uncachePutByID(CodeBlock*, Instruction* vPC); |
|
139 #endif // ENABLE(INTERPRETER) |
|
140 |
|
141 NEVER_INLINE bool unwindCallFrame(CallFrame*&, JSValue, unsigned& bytecodeOffset, CodeBlock*&); |
|
142 |
|
143 static ALWAYS_INLINE CallFrame* slideRegisterWindowForCall(CodeBlock*, RegisterFile*, CallFrame*, size_t registerOffset, int argc); |
|
144 |
|
145 static CallFrame* findFunctionCallFrame(CallFrame*, JSFunction*); |
|
146 |
|
147 JSValue privateExecute(ExecutionFlag, RegisterFile*, CallFrame*, JSValue* exception); |
|
148 |
|
149 void dumpCallFrame(CallFrame*); |
|
150 void dumpRegisters(CallFrame*); |
|
151 |
|
152 bool isCallBytecode(Opcode opcode) { return opcode == getOpcode(op_call) || opcode == getOpcode(op_construct) || opcode == getOpcode(op_call_eval); } |
|
153 |
|
154 void enableSampler(); |
|
155 int m_sampleEntryDepth; |
|
156 OwnPtr<SamplingTool> m_sampler; |
|
157 |
|
158 int m_reentryDepth; |
|
159 |
|
160 RegisterFile m_registerFile; |
|
161 |
|
162 #if ENABLE(COMPUTED_GOTO_INTERPRETER) |
|
163 Opcode m_opcodeTable[numOpcodeIDs]; // Maps OpcodeID => Opcode for compiling |
|
164 HashMap<Opcode, OpcodeID> m_opcodeIDTable; // Maps Opcode => OpcodeID for decompiling |
|
165 #endif |
|
166 }; |
|
167 |
|
168 } // namespace JSC |
|
169 |
|
170 #endif // Interpreter_h |