#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 <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;
enum UnwindStart { UnwindFromCurrentFrame, UnwindFromCallerFrame };
enum DebugHookID {
WillExecuteProgram,
DidExecuteProgram,
DidEnterCallFrame,
DidReachBreakpoint,
WillLeaveCallFrame,
WillExecuteStatement
};
enum StackFrameCodeType {
StackFrameGlobalCode,
StackFrameEvalCode,
StackFrameModuleCode,
StackFrameFunctionCode,
StackFrameNativeCode
};
struct StackFrame {
Strong<JSObject> callee;
Strong<CodeBlock> codeBlock;
unsigned bytecodeOffset;
bool isNative() const { return !codeBlock; }
void computeLineAndColumn(unsigned& line, unsigned& column) const;
String functionName(VM&) const;
intptr_t sourceID() const;
String sourceURL() const;
String toString(VM&) const;
};
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
}
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; HashMap<Opcode, OpcodeID> m_opcodeIDTable; #endif
#if !ASSERT_DISABLED
bool m_initialized;
#endif
};
JSValue eval(CallFrame*);
inline CallFrame* calleeFrameForVarargs(CallFrame* callFrame, unsigned numUsedStackSlots, unsigned argumentCountIncludingThis)
{
argumentCountIncludingThis = WTF::roundUpToMultipleOf(
stackAlignmentRegisters(),
argumentCountIncludingThis + CallFrame::headerSizeInRegisters) - CallFrame::headerSizeInRegisters;
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);
}
#endif // Interpreter_h