diff options
Diffstat (limited to 'js/src/jit/BaselineCompiler.h')
| -rw-r--r-- | js/src/jit/BaselineCompiler.h | 357 |
1 files changed, 357 insertions, 0 deletions
diff --git a/js/src/jit/BaselineCompiler.h b/js/src/jit/BaselineCompiler.h new file mode 100644 index 000000000..9adf65c27 --- /dev/null +++ b/js/src/jit/BaselineCompiler.h @@ -0,0 +1,357 @@ +/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 4 -*- + * vim: set ts=8 sts=4 et sw=4 tw=99: + * This Source Code Form is subject to the terms of the Mozilla Public + * License, v. 2.0. If a copy of the MPL was not distributed with this + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ + +#ifndef jit_BaselineCompiler_h +#define jit_BaselineCompiler_h + +#include "jit/FixedList.h" +#if defined(JS_CODEGEN_X86) +# include "jit/x86/BaselineCompiler-x86.h" +#elif defined(JS_CODEGEN_X64) +# include "jit/x64/BaselineCompiler-x64.h" +#elif defined(JS_CODEGEN_ARM) +# include "jit/arm/BaselineCompiler-arm.h" +#elif defined(JS_CODEGEN_ARM64) +# include "jit/arm64/BaselineCompiler-arm64.h" +#elif defined(JS_CODEGEN_MIPS32) +# include "jit/mips32/BaselineCompiler-mips32.h" +#elif defined(JS_CODEGEN_MIPS64) +# include "jit/mips64/BaselineCompiler-mips64.h" +#elif defined(JS_CODEGEN_NONE) +# include "jit/none/BaselineCompiler-none.h" +#else +# error "Unknown architecture!" +#endif + +namespace js { +namespace jit { + +#define OPCODE_LIST(_) \ + _(JSOP_NOP) \ + _(JSOP_NOP_DESTRUCTURING) \ + _(JSOP_LABEL) \ + _(JSOP_POP) \ + _(JSOP_POPN) \ + _(JSOP_DUPAT) \ + _(JSOP_ENTERWITH) \ + _(JSOP_LEAVEWITH) \ + _(JSOP_DUP) \ + _(JSOP_DUP2) \ + _(JSOP_SWAP) \ + _(JSOP_PICK) \ + _(JSOP_GOTO) \ + _(JSOP_IFEQ) \ + _(JSOP_IFNE) \ + _(JSOP_AND) \ + _(JSOP_OR) \ + _(JSOP_NOT) \ + _(JSOP_POS) \ + _(JSOP_LOOPHEAD) \ + _(JSOP_LOOPENTRY) \ + _(JSOP_VOID) \ + _(JSOP_UNDEFINED) \ + _(JSOP_HOLE) \ + _(JSOP_NULL) \ + _(JSOP_TRUE) \ + _(JSOP_FALSE) \ + _(JSOP_ZERO) \ + _(JSOP_ONE) \ + _(JSOP_INT8) \ + _(JSOP_INT32) \ + _(JSOP_UINT16) \ + _(JSOP_UINT24) \ + _(JSOP_DOUBLE) \ + _(JSOP_STRING) \ + _(JSOP_SYMBOL) \ + _(JSOP_OBJECT) \ + _(JSOP_CALLSITEOBJ) \ + _(JSOP_REGEXP) \ + _(JSOP_LAMBDA) \ + _(JSOP_LAMBDA_ARROW) \ + _(JSOP_BITOR) \ + _(JSOP_BITXOR) \ + _(JSOP_BITAND) \ + _(JSOP_LSH) \ + _(JSOP_RSH) \ + _(JSOP_URSH) \ + _(JSOP_ADD) \ + _(JSOP_SUB) \ + _(JSOP_MUL) \ + _(JSOP_DIV) \ + _(JSOP_MOD) \ + _(JSOP_POW) \ + _(JSOP_LT) \ + _(JSOP_LE) \ + _(JSOP_GT) \ + _(JSOP_GE) \ + _(JSOP_EQ) \ + _(JSOP_NE) \ + _(JSOP_STRICTEQ) \ + _(JSOP_STRICTNE) \ + _(JSOP_CONDSWITCH) \ + _(JSOP_CASE) \ + _(JSOP_DEFAULT) \ + _(JSOP_LINENO) \ + _(JSOP_BITNOT) \ + _(JSOP_NEG) \ + _(JSOP_NEWARRAY) \ + _(JSOP_SPREADCALLARRAY) \ + _(JSOP_NEWARRAY_COPYONWRITE) \ + _(JSOP_INITELEM_ARRAY) \ + _(JSOP_NEWOBJECT) \ + _(JSOP_NEWINIT) \ + _(JSOP_INITELEM) \ + _(JSOP_INITELEM_GETTER) \ + _(JSOP_INITELEM_SETTER) \ + _(JSOP_INITELEM_INC) \ + _(JSOP_MUTATEPROTO) \ + _(JSOP_INITPROP) \ + _(JSOP_INITLOCKEDPROP) \ + _(JSOP_INITHIDDENPROP) \ + _(JSOP_INITPROP_GETTER) \ + _(JSOP_INITPROP_SETTER) \ + _(JSOP_ARRAYPUSH) \ + _(JSOP_GETELEM) \ + _(JSOP_SETELEM) \ + _(JSOP_STRICTSETELEM) \ + _(JSOP_CALLELEM) \ + _(JSOP_DELELEM) \ + _(JSOP_STRICTDELELEM) \ + _(JSOP_IN) \ + _(JSOP_GETGNAME) \ + _(JSOP_BINDGNAME) \ + _(JSOP_SETGNAME) \ + _(JSOP_STRICTSETGNAME) \ + _(JSOP_SETNAME) \ + _(JSOP_STRICTSETNAME) \ + _(JSOP_GETPROP) \ + _(JSOP_SETPROP) \ + _(JSOP_STRICTSETPROP) \ + _(JSOP_CALLPROP) \ + _(JSOP_DELPROP) \ + _(JSOP_STRICTDELPROP) \ + _(JSOP_LENGTH) \ + _(JSOP_GETXPROP) \ + _(JSOP_GETALIASEDVAR) \ + _(JSOP_SETALIASEDVAR) \ + _(JSOP_GETNAME) \ + _(JSOP_BINDNAME) \ + _(JSOP_DELNAME) \ + _(JSOP_GETIMPORT) \ + _(JSOP_GETINTRINSIC) \ + _(JSOP_BINDVAR) \ + _(JSOP_DEFVAR) \ + _(JSOP_DEFCONST) \ + _(JSOP_DEFLET) \ + _(JSOP_DEFFUN) \ + _(JSOP_GETLOCAL) \ + _(JSOP_SETLOCAL) \ + _(JSOP_GETARG) \ + _(JSOP_SETARG) \ + _(JSOP_CHECKLEXICAL) \ + _(JSOP_INITLEXICAL) \ + _(JSOP_INITGLEXICAL) \ + _(JSOP_CHECKALIASEDLEXICAL) \ + _(JSOP_INITALIASEDLEXICAL) \ + _(JSOP_UNINITIALIZED) \ + _(JSOP_CALL) \ + _(JSOP_CALLITER) \ + _(JSOP_FUNCALL) \ + _(JSOP_FUNAPPLY) \ + _(JSOP_NEW) \ + _(JSOP_EVAL) \ + _(JSOP_STRICTEVAL) \ + _(JSOP_SPREADCALL) \ + _(JSOP_SPREADNEW) \ + _(JSOP_SPREADEVAL) \ + _(JSOP_STRICTSPREADEVAL) \ + _(JSOP_OPTIMIZE_SPREADCALL)\ + _(JSOP_IMPLICITTHIS) \ + _(JSOP_GIMPLICITTHIS) \ + _(JSOP_INSTANCEOF) \ + _(JSOP_TYPEOF) \ + _(JSOP_TYPEOFEXPR) \ + _(JSOP_THROWMSG) \ + _(JSOP_THROW) \ + _(JSOP_THROWING) \ + _(JSOP_TRY) \ + _(JSOP_FINALLY) \ + _(JSOP_GOSUB) \ + _(JSOP_RETSUB) \ + _(JSOP_PUSHLEXICALENV) \ + _(JSOP_POPLEXICALENV) \ + _(JSOP_FRESHENLEXICALENV) \ + _(JSOP_RECREATELEXICALENV) \ + _(JSOP_DEBUGLEAVELEXICALENV) \ + _(JSOP_PUSHVARENV) \ + _(JSOP_POPVARENV) \ + _(JSOP_EXCEPTION) \ + _(JSOP_DEBUGGER) \ + _(JSOP_ARGUMENTS) \ + _(JSOP_RUNONCE) \ + _(JSOP_REST) \ + _(JSOP_TOASYNC) \ + _(JSOP_TOID) \ + _(JSOP_TOSTRING) \ + _(JSOP_TABLESWITCH) \ + _(JSOP_ITER) \ + _(JSOP_MOREITER) \ + _(JSOP_ISNOITER) \ + _(JSOP_ENDITER) \ + _(JSOP_GENERATOR) \ + _(JSOP_INITIALYIELD) \ + _(JSOP_YIELD) \ + _(JSOP_DEBUGAFTERYIELD) \ + _(JSOP_FINALYIELDRVAL) \ + _(JSOP_RESUME) \ + _(JSOP_CALLEE) \ + _(JSOP_GETRVAL) \ + _(JSOP_SETRVAL) \ + _(JSOP_RETRVAL) \ + _(JSOP_RETURN) \ + _(JSOP_FUNCTIONTHIS) \ + _(JSOP_GLOBALTHIS) \ + _(JSOP_CHECKISOBJ) \ + _(JSOP_CHECKTHIS) \ + _(JSOP_CHECKRETURN) \ + _(JSOP_NEWTARGET) \ + _(JSOP_SUPERCALL) \ + _(JSOP_SPREADSUPERCALL) \ + _(JSOP_THROWSETCONST) \ + _(JSOP_THROWSETALIASEDCONST) \ + _(JSOP_THROWSETCALLEE) \ + _(JSOP_INITHIDDENPROP_GETTER) \ + _(JSOP_INITHIDDENPROP_SETTER) \ + _(JSOP_INITHIDDENELEM) \ + _(JSOP_INITHIDDENELEM_GETTER) \ + _(JSOP_INITHIDDENELEM_SETTER) \ + _(JSOP_CHECKOBJCOERCIBLE) \ + _(JSOP_DEBUGCHECKSELFHOSTED) \ + _(JSOP_JUMPTARGET) \ + _(JSOP_IS_CONSTRUCTING) + +class BaselineCompiler : public BaselineCompilerSpecific +{ + FixedList<Label> labels_; + NonAssertingLabel return_; + NonAssertingLabel postBarrierSlot_; + + // Native code offset right before the scope chain is initialized. + CodeOffset prologueOffset_; + + // Native code offset right before the frame is popped and the method + // returned from. + CodeOffset epilogueOffset_; + + // Native code offset right after debug prologue and epilogue, or + // equivalent positions when debug mode is off. + CodeOffset postDebugPrologueOffset_; + + // For each INITIALYIELD or YIELD op, this Vector maps the yield index + // to the bytecode offset of the next op. + Vector<uint32_t> yieldOffsets_; + + // Whether any on stack arguments are modified. + bool modifiesArguments_; + + Label* labelOf(jsbytecode* pc) { + return &labels_[script->pcToOffset(pc)]; + } + + // If a script has more |nslots| than this, then emit code to do an + // early stack check. + static const unsigned EARLY_STACK_CHECK_SLOT_COUNT = 128; + bool needsEarlyStackCheck() const { + return script->nslots() > EARLY_STACK_CHECK_SLOT_COUNT; + } + + public: + BaselineCompiler(JSContext* cx, TempAllocator& alloc, JSScript* script); + MOZ_MUST_USE bool init(); + + MethodStatus compile(); + + private: + MethodStatus emitBody(); + + MOZ_MUST_USE bool emitCheckThis(ValueOperand val); + void emitLoadReturnValue(ValueOperand val); + + void emitInitializeLocals(); + MOZ_MUST_USE bool emitPrologue(); + MOZ_MUST_USE bool emitEpilogue(); + MOZ_MUST_USE bool emitOutOfLinePostBarrierSlot(); + MOZ_MUST_USE bool emitIC(ICStub* stub, ICEntry::Kind kind); + MOZ_MUST_USE bool emitOpIC(ICStub* stub) { + return emitIC(stub, ICEntry::Kind_Op); + } + MOZ_MUST_USE bool emitNonOpIC(ICStub* stub) { + return emitIC(stub, ICEntry::Kind_NonOp); + } + + MOZ_MUST_USE bool emitStackCheck(bool earlyCheck=false); + MOZ_MUST_USE bool emitInterruptCheck(); + MOZ_MUST_USE bool emitWarmUpCounterIncrement(bool allowOsr=true); + MOZ_MUST_USE bool emitArgumentTypeChecks(); + void emitIsDebuggeeCheck(); + MOZ_MUST_USE bool emitDebugPrologue(); + MOZ_MUST_USE bool emitDebugTrap(); + MOZ_MUST_USE bool emitTraceLoggerEnter(); + MOZ_MUST_USE bool emitTraceLoggerExit(); + MOZ_MUST_USE bool emitTraceLoggerResume(Register script, AllocatableGeneralRegisterSet& regs); + + void emitProfilerEnterFrame(); + void emitProfilerExitFrame(); + + MOZ_MUST_USE bool initEnvironmentChain(); + + void storeValue(const StackValue* source, const Address& dest, + const ValueOperand& scratch); + +#define EMIT_OP(op) bool emit_##op(); + OPCODE_LIST(EMIT_OP) +#undef EMIT_OP + + // JSOP_NEG, JSOP_BITNOT + MOZ_MUST_USE bool emitUnaryArith(); + + // JSOP_BITXOR, JSOP_LSH, JSOP_ADD etc. + MOZ_MUST_USE bool emitBinaryArith(); + + // Handles JSOP_LT, JSOP_GT, and friends + MOZ_MUST_USE bool emitCompare(); + + MOZ_MUST_USE bool emitReturn(); + + MOZ_MUST_USE bool emitToBoolean(); + MOZ_MUST_USE bool emitTest(bool branchIfTrue); + MOZ_MUST_USE bool emitAndOr(bool branchIfTrue); + MOZ_MUST_USE bool emitCall(); + MOZ_MUST_USE bool emitSpreadCall(); + + MOZ_MUST_USE bool emitInitPropGetterSetter(); + MOZ_MUST_USE bool emitInitElemGetterSetter(); + + MOZ_MUST_USE bool emitFormalArgAccess(uint32_t arg, bool get); + + MOZ_MUST_USE bool emitThrowConstAssignment(); + MOZ_MUST_USE bool emitUninitializedLexicalCheck(const ValueOperand& val); + + MOZ_MUST_USE bool addPCMappingEntry(bool addIndexEntry); + + MOZ_MUST_USE bool addYieldOffset(); + + void getEnvironmentCoordinateObject(Register reg); + Address getEnvironmentCoordinateAddressFromObject(Register objReg, Register reg); + Address getEnvironmentCoordinateAddress(Register reg); +}; + +extern const VMFunction NewArrayCopyOnWriteInfo; + +} // namespace jit +} // namespace js + +#endif /* jit_BaselineCompiler_h */ |