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 "JSCell.h" 34 #include "JSValue.h" 35 #include "JSObject.h" 36 #include "Opcode.h" 37 #include "RegisterFile.h" 38 39 #include <wtf/HashMap.h> 40 41 namespace JSC { 42 43 class CodeBlock; 44 class EvalExecutable; 45 class FunctionExecutable; 46 class JSFunction; 47 class JSGlobalObject; 48 class ProgramExecutable; 49 class Register; 50 class ScopeChainNode; 51 class SamplingTool; 52 struct CallFrameClosure; 53 struct HandlerInfo; 54 struct Instruction; 55 56 enum DebugHookID { 57 WillExecuteProgram, 58 DidExecuteProgram, 59 DidEnterCallFrame, 60 DidReachBreakpoint, 61 WillLeaveCallFrame, 62 WillExecuteStatement 63 }; 64 65 enum { MaxLargeThreadReentryDepth = 256, MaxSmallThreadReentryDepth = 32 }; 66 67 class Interpreter { 68 WTF_MAKE_FAST_ALLOCATED; 69 friend class JIT; 70 friend class CachedCall; 71 public: 72 Interpreter(JSGlobalData&); 73 registerFile()74 RegisterFile& registerFile() { return m_registerFile; } 75 getOpcode(OpcodeID id)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 getOpcodeID(Opcode opcode)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); 98 JSValue executeCall(CallFrame*, JSObject* function, CallType, const CallData&, JSValue thisValue, const ArgList&); 99 JSObject* executeConstruct(CallFrame*, JSObject* function, ConstructType, const ConstructData&, const ArgList&); 100 JSValue execute(EvalExecutable* evalNode, CallFrame* exec, JSObject* thisObj, ScopeChainNode* scopeChain); 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 sampler()108 SamplingTool* sampler() { return m_sampler.get(); } 109 110 NEVER_INLINE JSValue callEval(CallFrame*, RegisterFile*, Register* argv, int argc, int registerOffset); 111 NEVER_INLINE HandlerInfo* throwException(CallFrame*&, JSValue&, unsigned bytecodeOffset); 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*); 121 void endRepeatCall(CallFrameClosure&); 122 JSValue execute(CallFrameClosure&); 123 124 JSValue execute(EvalExecutable*, CallFrame*, JSObject* thisObject, int globalRegisterOffset, ScopeChainNode*); 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*); 148 149 void dumpCallFrame(CallFrame*); 150 void dumpRegisters(CallFrame*); 151 isCallBytecode(Opcode opcode)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 171