| /* |
| * Copyright (C) 2008, 2013, 2015-2016 Apple Inc. All rights reserved. |
| * Copyright (C) 2012 Research In Motion Limited. 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. |
| * 3. Neither the name of Apple Inc. ("Apple") nor the names of |
| * its contributors may be used to endorse or promote products derived |
| * from this software without specific prior written permission. |
| * |
| * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "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 OR ITS 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. |
| */ |
| |
| #ifndef Interpreter_h |
| #define Interpreter_h |
| |
| #include "ArgList.h" |
| #include "JSCJSValue.h" |
| #include "JSCell.h" |
| #include "JSObject.h" |
| #include "Opcode.h" |
| #include "SourceProvider.h" |
| #include "StackAlignment.h" |
| #include "StackFrame.h" |
| #include <wtf/HashMap.h> |
| #include <wtf/text/StringBuilder.h> |
| |
| #if !ENABLE(JIT) |
| #include "CLoopStack.h" |
| #endif |
| |
| |
| namespace JSC { |
| |
| class CodeBlock; |
| class EvalExecutable; |
| class ExecutableBase; |
| class FunctionExecutable; |
| class VM; |
| class JSFunction; |
| class JSGlobalObject; |
| class JSModuleEnvironment; |
| class JSModuleRecord; |
| class LLIntOffsetsExtractor; |
| class ProgramExecutable; |
| class ModuleProgramExecutable; |
| class Register; |
| class JSScope; |
| struct CallFrameClosure; |
| struct HandlerInfo; |
| struct Instruction; |
| struct ProtoCallFrame; |
| struct UnlinkedInstruction; |
| |
| enum UnwindStart : uint8_t { UnwindFromCurrentFrame, UnwindFromCallerFrame }; |
| |
| enum DebugHookID { |
| WillExecuteProgram, |
| DidExecuteProgram, |
| DidEnterCallFrame, |
| DidReachBreakpoint, |
| WillLeaveCallFrame, |
| WillExecuteStatement |
| }; |
| |
| enum StackFrameCodeType { |
| StackFrameGlobalCode, |
| StackFrameEvalCode, |
| StackFrameModuleCode, |
| StackFrameFunctionCode, |
| StackFrameNativeCode |
| }; |
| |
| class SuspendExceptionScope { |
| public: |
| SuspendExceptionScope(VM* vm) |
| : m_vm(vm) |
| { |
| oldException = vm->exception(); |
| vm->clearException(); |
| } |
| ~SuspendExceptionScope() |
| { |
| m_vm->restorePreviousException(oldException); |
| } |
| private: |
| Exception* oldException; |
| VM* m_vm; |
| }; |
| |
| class TopCallFrameSetter { |
| public: |
| TopCallFrameSetter(VM& currentVM, CallFrame* callFrame) |
| : vm(currentVM) |
| , oldCallFrame(currentVM.topCallFrame) |
| { |
| currentVM.topCallFrame = callFrame; |
| } |
| |
| ~TopCallFrameSetter() |
| { |
| vm.topCallFrame = oldCallFrame; |
| } |
| private: |
| VM& vm; |
| CallFrame* oldCallFrame; |
| }; |
| |
| class NativeCallFrameTracer { |
| public: |
| ALWAYS_INLINE NativeCallFrameTracer(VM* vm, CallFrame* callFrame) |
| { |
| ASSERT(vm); |
| ASSERT(callFrame); |
| ASSERT(reinterpret_cast<void*>(callFrame) < reinterpret_cast<void*>(vm->topVMEntryFrame)); |
| vm->topCallFrame = callFrame; |
| } |
| }; |
| |
| class NativeCallFrameTracerWithRestore { |
| public: |
| ALWAYS_INLINE NativeCallFrameTracerWithRestore(VM* vm, VMEntryFrame* vmEntryFrame, CallFrame* callFrame) |
| : m_vm(vm) |
| { |
| ASSERT(vm); |
| ASSERT(callFrame); |
| m_savedTopVMEntryFrame = vm->topVMEntryFrame; |
| m_savedTopCallFrame = vm->topCallFrame; |
| vm->topVMEntryFrame = vmEntryFrame; |
| vm->topCallFrame = callFrame; |
| } |
| |
| ALWAYS_INLINE ~NativeCallFrameTracerWithRestore() |
| { |
| m_vm->topVMEntryFrame = m_savedTopVMEntryFrame; |
| m_vm->topCallFrame = m_savedTopCallFrame; |
| } |
| |
| private: |
| VM* m_vm; |
| VMEntryFrame* m_savedTopVMEntryFrame; |
| CallFrame* m_savedTopCallFrame; |
| }; |
| |
| class Interpreter { |
| WTF_MAKE_FAST_ALLOCATED; |
| friend class CachedCall; |
| friend class LLIntOffsetsExtractor; |
| friend class JIT; |
| friend class VM; |
| |
| public: |
| Interpreter(VM &); |
| ~Interpreter(); |
| |
| void initialize(); |
| |
| #if !ENABLE(JIT) |
| CLoopStack& cloopStack() { return m_cloopStack; } |
| #endif |
| |
| Opcode getOpcode(OpcodeID id) |
| { |
| ASSERT(m_initialized); |
| #if ENABLE(COMPUTED_GOTO_OPCODES) |
| return m_opcodeTable[id]; |
| #else |
| return id; |
| #endif |
| } |
| |
| OpcodeID getOpcodeID(Opcode opcode) |
| { |
| ASSERT(m_initialized); |
| #if ENABLE(COMPUTED_GOTO_OPCODES) |
| ASSERT(isOpcode(opcode)); |
| return m_opcodeIDTable.get(opcode); |
| #else |
| return opcode; |
| #endif |
| } |
| |
| OpcodeID getOpcodeID(const Instruction&); |
| OpcodeID getOpcodeID(const UnlinkedInstruction&); |
| |
| bool isOpcode(Opcode); |
| |
| JSValue execute(ProgramExecutable*, CallFrame*, JSObject* thisObj); |
| JSValue executeCall(CallFrame*, JSObject* function, CallType, const CallData&, JSValue thisValue, const ArgList&); |
| JSObject* executeConstruct(CallFrame*, JSObject* function, ConstructType, const ConstructData&, const ArgList&, JSValue newTarget); |
| JSValue execute(EvalExecutable*, CallFrame*, JSValue thisValue, JSScope*); |
| JSValue execute(ModuleProgramExecutable*, CallFrame*, JSModuleEnvironment*); |
| |
| void getArgumentsData(CallFrame*, JSFunction*&, ptrdiff_t& firstParameterIndex, Register*& argv, int& argc); |
| |
| NEVER_INLINE HandlerInfo* unwind(VM&, CallFrame*&, Exception*, UnwindStart); |
| void notifyDebuggerOfExceptionToBeThrown(CallFrame*, Exception*); |
| NEVER_INLINE void debug(CallFrame*, DebugHookID); |
| static JSString* stackTraceAsString(VM&, const Vector<StackFrame>&); |
| |
| static EncodedJSValue JSC_HOST_CALL constructWithErrorConstructor(ExecState*); |
| static EncodedJSValue JSC_HOST_CALL callErrorConstructor(ExecState*); |
| static EncodedJSValue JSC_HOST_CALL constructWithNativeErrorConstructor(ExecState*); |
| static EncodedJSValue JSC_HOST_CALL callNativeErrorConstructor(ExecState*); |
| |
| JS_EXPORT_PRIVATE void dumpCallFrame(CallFrame*); |
| |
| void getStackTrace(Vector<StackFrame>& results, size_t framesToSkip = 0, size_t maxStackSize = std::numeric_limits<size_t>::max()); |
| |
| private: |
| enum ExecutionFlag { Normal, InitializeAndReturn }; |
| |
| CallFrameClosure prepareForRepeatCall(FunctionExecutable*, CallFrame*, ProtoCallFrame*, JSFunction*, int argumentCountIncludingThis, JSScope*, JSValue*); |
| |
| JSValue execute(CallFrameClosure&); |
| |
| |
| |
| void dumpRegisters(CallFrame*); |
| |
| bool isCallBytecode(Opcode opcode) { return opcode == getOpcode(op_call) || opcode == getOpcode(op_construct) || opcode == getOpcode(op_call_eval) || opcode == getOpcode(op_tail_call); } |
| |
| VM& m_vm; |
| #if !ENABLE(JIT) |
| CLoopStack m_cloopStack; |
| #endif |
| int m_errorHandlingModeReentry; |
| |
| #if ENABLE(COMPUTED_GOTO_OPCODES) |
| Opcode* m_opcodeTable; // Maps OpcodeID => Opcode for compiling |
| HashMap<Opcode, OpcodeID> m_opcodeIDTable; // Maps Opcode => OpcodeID for decompiling |
| #endif |
| |
| #if !ASSERT_DISABLED |
| bool m_initialized; |
| #endif |
| }; |
| |
| JSValue eval(CallFrame*); |
| |
| inline CallFrame* calleeFrameForVarargs(CallFrame* callFrame, unsigned numUsedStackSlots, unsigned argumentCountIncludingThis) |
| { |
| // We want the new frame to be allocated on a stack aligned offset with a stack |
| // aligned size. Align the size here. |
| argumentCountIncludingThis = WTF::roundUpToMultipleOf( |
| stackAlignmentRegisters(), |
| argumentCountIncludingThis + CallFrame::headerSizeInRegisters) - CallFrame::headerSizeInRegisters; |
| |
| // Align the frame offset here. |
| unsigned paddedCalleeFrameOffset = WTF::roundUpToMultipleOf( |
| stackAlignmentRegisters(), |
| numUsedStackSlots + argumentCountIncludingThis + CallFrame::headerSizeInRegisters); |
| return CallFrame::create(callFrame->registers() - paddedCalleeFrameOffset); |
| } |
| |
| unsigned sizeOfVarargs(CallFrame* exec, JSValue arguments, uint32_t firstVarArgOffset); |
| static const unsigned maxArguments = 0x10000; |
| unsigned sizeFrameForVarargs(CallFrame* exec, VM&, JSValue arguments, unsigned numUsedStackSlots, uint32_t firstVarArgOffset); |
| unsigned sizeFrameForForwardArguments(CallFrame* exec, VM&, unsigned numUsedStackSlots); |
| void loadVarargs(CallFrame* execCaller, VirtualRegister firstElementDest, JSValue source, uint32_t offset, uint32_t length); |
| void setupVarargsFrame(CallFrame* execCaller, CallFrame* execCallee, JSValue arguments, uint32_t firstVarArgOffset, uint32_t length); |
| void setupVarargsFrameAndSetThis(CallFrame* execCaller, CallFrame* execCallee, JSValue thisValue, JSValue arguments, uint32_t firstVarArgOffset, uint32_t length); |
| void setupForwardArgumentsFrame(CallFrame* execCaller, CallFrame* execCallee, uint32_t length); |
| void setupForwardArgumentsFrameAndSetThis(CallFrame* execCaller, CallFrame* execCallee, JSValue thisValue, uint32_t length); |
| |
| } // namespace JSC |
| |
| #endif // Interpreter_h |