| Index: src/interpreter/bytecodes.h
|
| diff --git a/src/interpreter/bytecodes.h b/src/interpreter/bytecodes.h
|
| index ae8ee269a300d0db1239add9e5fa4cf93b079b7c..ebdb5ab07fe552cb9f0de4d3f326c535846cdfd8 100644
|
| --- a/src/interpreter/bytecodes.h
|
| +++ b/src/interpreter/bytecodes.h
|
| @@ -22,291 +22,288 @@
|
|
|
| // The list of bytecodes which are interpreted by the interpreter.
|
| // Format is V(<bytecode>, <accumulator_use>, <operands>).
|
| -#define BYTECODE_LIST(V) \
|
| - /* Extended width operands */ \
|
| - V(Wide, AccumulatorUse::kNone) \
|
| - V(ExtraWide, AccumulatorUse::kNone) \
|
| - \
|
| - /* Loading the accumulator */ \
|
| - V(LdaZero, AccumulatorUse::kWrite) \
|
| - V(LdaSmi, AccumulatorUse::kWrite, OperandType::kImm) \
|
| - V(LdaUndefined, AccumulatorUse::kWrite) \
|
| - V(LdaNull, AccumulatorUse::kWrite) \
|
| - V(LdaTheHole, AccumulatorUse::kWrite) \
|
| - V(LdaTrue, AccumulatorUse::kWrite) \
|
| - V(LdaFalse, AccumulatorUse::kWrite) \
|
| - V(LdaConstant, AccumulatorUse::kWrite, OperandType::kIdx) \
|
| - \
|
| - /* Globals */ \
|
| - V(LdaGlobal, AccumulatorUse::kWrite, OperandType::kIdx, OperandType::kIdx) \
|
| - V(LdaGlobalInsideTypeof, AccumulatorUse::kWrite, OperandType::kIdx, \
|
| - OperandType::kIdx) \
|
| - V(StaGlobalSloppy, AccumulatorUse::kRead, OperandType::kIdx, \
|
| - OperandType::kIdx) \
|
| - V(StaGlobalStrict, AccumulatorUse::kRead, OperandType::kIdx, \
|
| - OperandType::kIdx) \
|
| - \
|
| - /* Context operations */ \
|
| - V(PushContext, AccumulatorUse::kRead, OperandType::kRegOut) \
|
| - V(PopContext, AccumulatorUse::kNone, OperandType::kReg) \
|
| - V(LdaContextSlot, AccumulatorUse::kWrite, OperandType::kReg, \
|
| - OperandType::kIdx, OperandType::kUImm) \
|
| - V(LdaImmutableContextSlot, AccumulatorUse::kWrite, OperandType::kReg, \
|
| - OperandType::kIdx, OperandType::kUImm) \
|
| - V(LdaCurrentContextSlot, AccumulatorUse::kWrite, OperandType::kIdx) \
|
| - V(LdaImmutableCurrentContextSlot, AccumulatorUse::kWrite, OperandType::kIdx) \
|
| - V(StaContextSlot, AccumulatorUse::kRead, OperandType::kReg, \
|
| - OperandType::kIdx, OperandType::kUImm) \
|
| - V(StaCurrentContextSlot, AccumulatorUse::kRead, OperandType::kIdx) \
|
| - \
|
| - /* Load-Store lookup slots */ \
|
| - V(LdaLookupSlot, AccumulatorUse::kWrite, OperandType::kIdx) \
|
| - V(LdaLookupContextSlot, AccumulatorUse::kWrite, OperandType::kIdx, \
|
| - OperandType::kIdx, OperandType::kUImm) \
|
| - V(LdaLookupGlobalSlot, AccumulatorUse::kWrite, OperandType::kIdx, \
|
| - OperandType::kIdx, OperandType::kUImm) \
|
| - V(LdaLookupSlotInsideTypeof, AccumulatorUse::kWrite, OperandType::kIdx) \
|
| - V(LdaLookupContextSlotInsideTypeof, AccumulatorUse::kWrite, \
|
| - OperandType::kIdx, OperandType::kIdx, OperandType::kUImm) \
|
| - V(LdaLookupGlobalSlotInsideTypeof, AccumulatorUse::kWrite, \
|
| - OperandType::kIdx, OperandType::kIdx, OperandType::kUImm) \
|
| - V(StaLookupSlotSloppy, AccumulatorUse::kReadWrite, OperandType::kIdx) \
|
| - V(StaLookupSlotStrict, AccumulatorUse::kReadWrite, OperandType::kIdx) \
|
| - \
|
| - /* Register-accumulator transfers */ \
|
| - V(Ldar, AccumulatorUse::kWrite, OperandType::kReg) \
|
| - V(Star, AccumulatorUse::kRead, OperandType::kRegOut) \
|
| - \
|
| - /* Register-register transfers */ \
|
| - V(Mov, AccumulatorUse::kNone, OperandType::kReg, OperandType::kRegOut) \
|
| - \
|
| - /* Property loads (LoadIC) operations */ \
|
| - V(LdaNamedProperty, AccumulatorUse::kWrite, OperandType::kReg, \
|
| - OperandType::kIdx, OperandType::kIdx) \
|
| - V(LdaKeyedProperty, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - \
|
| - /* Operations on module variables */ \
|
| - V(LdaModuleVariable, AccumulatorUse::kWrite, OperandType::kImm, \
|
| - OperandType::kUImm) \
|
| - V(StaModuleVariable, AccumulatorUse::kRead, OperandType::kImm, \
|
| - OperandType::kUImm) \
|
| - \
|
| - /* Propery stores (StoreIC) operations */ \
|
| - V(StaNamedPropertySloppy, AccumulatorUse::kRead, OperandType::kReg, \
|
| - OperandType::kIdx, OperandType::kIdx) \
|
| - V(StaNamedPropertyStrict, AccumulatorUse::kRead, OperandType::kReg, \
|
| - OperandType::kIdx, OperandType::kIdx) \
|
| - V(StaKeyedPropertySloppy, AccumulatorUse::kRead, OperandType::kReg, \
|
| - OperandType::kReg, OperandType::kIdx) \
|
| - V(StaKeyedPropertyStrict, AccumulatorUse::kRead, OperandType::kReg, \
|
| - OperandType::kReg, OperandType::kIdx) \
|
| - V(StaDataPropertyInLiteral, AccumulatorUse::kRead, OperandType::kReg, \
|
| - OperandType::kReg, OperandType::kFlag8, OperandType::kIdx) \
|
| - \
|
| - /* Binary Operators */ \
|
| - V(Add, AccumulatorUse::kReadWrite, OperandType::kReg, OperandType::kIdx) \
|
| - V(Sub, AccumulatorUse::kReadWrite, OperandType::kReg, OperandType::kIdx) \
|
| - V(Mul, AccumulatorUse::kReadWrite, OperandType::kReg, OperandType::kIdx) \
|
| - V(Div, AccumulatorUse::kReadWrite, OperandType::kReg, OperandType::kIdx) \
|
| - V(Mod, AccumulatorUse::kReadWrite, OperandType::kReg, OperandType::kIdx) \
|
| - V(BitwiseOr, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - V(BitwiseXor, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - V(BitwiseAnd, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - V(ShiftLeft, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - V(ShiftRight, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - V(ShiftRightLogical, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - \
|
| - /* Binary operators with immediate operands */ \
|
| - V(AddSmi, AccumulatorUse::kWrite, OperandType::kImm, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - V(SubSmi, AccumulatorUse::kWrite, OperandType::kImm, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - V(BitwiseOrSmi, AccumulatorUse::kWrite, OperandType::kImm, \
|
| - OperandType::kReg, OperandType::kIdx) \
|
| - V(BitwiseAndSmi, AccumulatorUse::kWrite, OperandType::kImm, \
|
| - OperandType::kReg, OperandType::kIdx) \
|
| - V(ShiftLeftSmi, AccumulatorUse::kWrite, OperandType::kImm, \
|
| - OperandType::kReg, OperandType::kIdx) \
|
| - V(ShiftRightSmi, AccumulatorUse::kWrite, OperandType::kImm, \
|
| - OperandType::kReg, OperandType::kIdx) \
|
| - \
|
| - /* Unary Operators */ \
|
| - V(Inc, AccumulatorUse::kReadWrite, OperandType::kIdx) \
|
| - V(Dec, AccumulatorUse::kReadWrite, OperandType::kIdx) \
|
| - V(ToBooleanLogicalNot, AccumulatorUse::kReadWrite) \
|
| - V(LogicalNot, AccumulatorUse::kReadWrite) \
|
| - V(TypeOf, AccumulatorUse::kReadWrite) \
|
| - V(DeletePropertyStrict, AccumulatorUse::kReadWrite, OperandType::kReg) \
|
| - V(DeletePropertySloppy, AccumulatorUse::kReadWrite, OperandType::kReg) \
|
| - \
|
| - /* GetSuperConstructor operator */ \
|
| - V(GetSuperConstructor, AccumulatorUse::kRead, OperandType::kRegOut) \
|
| - \
|
| - /* Call operations */ \
|
| - V(Call, AccumulatorUse::kWrite, OperandType::kReg, OperandType::kRegList, \
|
| - OperandType::kRegCount, OperandType::kIdx) \
|
| - V(CallProperty, AccumulatorUse::kWrite, OperandType::kReg, \
|
| - OperandType::kRegList, OperandType::kRegCount, OperandType::kIdx) \
|
| - V(CallWithSpread, AccumulatorUse::kWrite, OperandType::kReg, \
|
| - OperandType::kRegList, OperandType::kRegCount) \
|
| - V(TailCall, AccumulatorUse::kWrite, OperandType::kReg, \
|
| - OperandType::kRegList, OperandType::kRegCount, OperandType::kIdx) \
|
| - V(CallRuntime, AccumulatorUse::kWrite, OperandType::kRuntimeId, \
|
| - OperandType::kRegList, OperandType::kRegCount) \
|
| - V(CallRuntimeForPair, AccumulatorUse::kNone, OperandType::kRuntimeId, \
|
| - OperandType::kRegList, OperandType::kRegCount, OperandType::kRegOutPair) \
|
| - V(CallJSRuntime, AccumulatorUse::kWrite, OperandType::kIdx, \
|
| - OperandType::kRegList, OperandType::kRegCount) \
|
| - \
|
| - /* Intrinsics */ \
|
| - V(InvokeIntrinsic, AccumulatorUse::kWrite, OperandType::kIntrinsicId, \
|
| - OperandType::kRegList, OperandType::kRegCount) \
|
| - \
|
| - /* Construct operators */ \
|
| - V(Construct, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kRegList, OperandType::kRegCount, OperandType::kIdx) \
|
| - V(ConstructWithSpread, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kRegList, OperandType::kRegCount) \
|
| - \
|
| - /* Test Operators */ \
|
| - V(TestEqual, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - V(TestNotEqual, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - V(TestEqualStrict, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - V(TestLessThan, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - V(TestGreaterThan, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - V(TestLessThanOrEqual, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - V(TestGreaterThanOrEqual, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - V(TestInstanceOf, AccumulatorUse::kReadWrite, OperandType::kReg) \
|
| - V(TestIn, AccumulatorUse::kReadWrite, OperandType::kReg) \
|
| - \
|
| - /* TestEqual with Null or Undefined */ \
|
| - V(TestUndetectable, AccumulatorUse::kWrite, OperandType::kReg) \
|
| - V(TestNull, AccumulatorUse::kWrite, OperandType::kReg) \
|
| - V(TestUndefined, AccumulatorUse::kWrite, OperandType::kReg) \
|
| - \
|
| - /* Cast operators */ \
|
| - V(ToName, AccumulatorUse::kRead, OperandType::kRegOut) \
|
| - V(ToNumber, AccumulatorUse::kRead, OperandType::kRegOut) \
|
| - V(ToObject, AccumulatorUse::kRead, OperandType::kRegOut) \
|
| - \
|
| - /* Literals */ \
|
| - V(CreateRegExpLiteral, AccumulatorUse::kWrite, OperandType::kIdx, \
|
| - OperandType::kIdx, OperandType::kFlag8) \
|
| - V(CreateArrayLiteral, AccumulatorUse::kWrite, OperandType::kIdx, \
|
| - OperandType::kIdx, OperandType::kFlag8) \
|
| - V(CreateObjectLiteral, AccumulatorUse::kNone, OperandType::kIdx, \
|
| - OperandType::kIdx, OperandType::kFlag8, OperandType::kRegOut) \
|
| - \
|
| - /* Closure allocation */ \
|
| - V(CreateClosure, AccumulatorUse::kWrite, OperandType::kIdx, \
|
| - OperandType::kIdx, OperandType::kFlag8) \
|
| - \
|
| - /* Context allocation */ \
|
| - V(CreateBlockContext, AccumulatorUse::kReadWrite, OperandType::kIdx) \
|
| - V(CreateCatchContext, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kIdx, OperandType::kIdx) \
|
| - V(CreateFunctionContext, AccumulatorUse::kWrite, OperandType::kUImm) \
|
| - V(CreateEvalContext, AccumulatorUse::kWrite, OperandType::kUImm) \
|
| - V(CreateWithContext, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| - OperandType::kIdx) \
|
| - \
|
| - /* Arguments allocation */ \
|
| - V(CreateMappedArguments, AccumulatorUse::kWrite) \
|
| - V(CreateUnmappedArguments, AccumulatorUse::kWrite) \
|
| - V(CreateRestParameter, AccumulatorUse::kWrite) \
|
| - \
|
| - /* Control Flow -- carefully ordered for efficient checks */ \
|
| - /* - [Unconditional jumps] */ \
|
| - V(JumpLoop, AccumulatorUse::kNone, OperandType::kUImm, OperandType::kImm) \
|
| - /* - [Forward jumps] */ \
|
| - V(Jump, AccumulatorUse::kNone, OperandType::kUImm) \
|
| - /* - [Start constant jumps] */ \
|
| - V(JumpConstant, AccumulatorUse::kNone, OperandType::kIdx) \
|
| - /* - [Conditional jumps] */ \
|
| - /* - [Conditional constant jumps] */ \
|
| - V(JumpIfNullConstant, AccumulatorUse::kRead, OperandType::kIdx) \
|
| - V(JumpIfUndefinedConstant, AccumulatorUse::kRead, OperandType::kIdx) \
|
| - V(JumpIfTrueConstant, AccumulatorUse::kRead, OperandType::kIdx) \
|
| - V(JumpIfFalseConstant, AccumulatorUse::kRead, OperandType::kIdx) \
|
| - V(JumpIfJSReceiverConstant, AccumulatorUse::kRead, OperandType::kIdx) \
|
| - V(JumpIfNotHoleConstant, AccumulatorUse::kRead, OperandType::kIdx) \
|
| - /* - [Start ToBoolean jumps] */ \
|
| - V(JumpIfToBooleanTrueConstant, AccumulatorUse::kRead, OperandType::kIdx) \
|
| - V(JumpIfToBooleanFalseConstant, AccumulatorUse::kRead, OperandType::kIdx) \
|
| - /* - [End constant jumps] */ \
|
| - /* - [Conditional immediate jumps] */ \
|
| - V(JumpIfToBooleanTrue, AccumulatorUse::kRead, OperandType::kUImm) \
|
| - V(JumpIfToBooleanFalse, AccumulatorUse::kRead, OperandType::kUImm) \
|
| - /* - [End ToBoolean jumps] */ \
|
| - V(JumpIfTrue, AccumulatorUse::kRead, OperandType::kUImm) \
|
| - V(JumpIfFalse, AccumulatorUse::kRead, OperandType::kUImm) \
|
| - V(JumpIfNull, AccumulatorUse::kRead, OperandType::kUImm) \
|
| - V(JumpIfUndefined, AccumulatorUse::kRead, OperandType::kUImm) \
|
| - V(JumpIfJSReceiver, AccumulatorUse::kRead, OperandType::kUImm) \
|
| - V(JumpIfNotHole, AccumulatorUse::kRead, OperandType::kUImm) \
|
| - \
|
| - /* Complex flow control For..in */ \
|
| - V(ForInPrepare, AccumulatorUse::kNone, OperandType::kReg, \
|
| - OperandType::kRegOutTriple) \
|
| - V(ForInContinue, AccumulatorUse::kWrite, OperandType::kReg, \
|
| - OperandType::kReg) \
|
| - V(ForInNext, AccumulatorUse::kWrite, OperandType::kReg, OperandType::kReg, \
|
| - OperandType::kRegPair, OperandType::kIdx) \
|
| - V(ForInStep, AccumulatorUse::kWrite, OperandType::kReg) \
|
| - \
|
| - /* Perform a stack guard check */ \
|
| - V(StackCheck, AccumulatorUse::kNone) \
|
| - \
|
| - /* Update the pending message */ \
|
| - V(SetPendingMessage, AccumulatorUse::kReadWrite) \
|
| - \
|
| - /* Non-local flow control */ \
|
| - V(Throw, AccumulatorUse::kRead) \
|
| - V(ReThrow, AccumulatorUse::kRead) \
|
| - V(Return, AccumulatorUse::kRead) \
|
| - \
|
| - /* Generators */ \
|
| - V(SuspendGenerator, AccumulatorUse::kRead, OperandType::kReg) \
|
| - V(ResumeGenerator, AccumulatorUse::kWrite, OperandType::kReg) \
|
| - \
|
| - /* Debugger */ \
|
| - V(Debugger, AccumulatorUse::kNone) \
|
| - \
|
| - /* Debug Breakpoints - one for each possible size of unscaled bytecodes */ \
|
| - /* and one for each operand widening prefix bytecode */ \
|
| - V(DebugBreak0, AccumulatorUse::kRead) \
|
| - V(DebugBreak1, AccumulatorUse::kRead, OperandType::kReg) \
|
| - V(DebugBreak2, AccumulatorUse::kRead, OperandType::kReg, OperandType::kReg) \
|
| - V(DebugBreak3, AccumulatorUse::kRead, OperandType::kReg, OperandType::kReg, \
|
| - OperandType::kReg) \
|
| - V(DebugBreak4, AccumulatorUse::kRead, OperandType::kReg, OperandType::kReg, \
|
| - OperandType::kReg, OperandType::kReg) \
|
| - V(DebugBreak5, AccumulatorUse::kRead, OperandType::kRuntimeId, \
|
| - OperandType::kReg, OperandType::kReg) \
|
| - V(DebugBreak6, AccumulatorUse::kRead, OperandType::kRuntimeId, \
|
| - OperandType::kReg, OperandType::kReg, OperandType::kReg) \
|
| - V(DebugBreakWide, AccumulatorUse::kRead) \
|
| - V(DebugBreakExtraWide, AccumulatorUse::kRead) \
|
| - \
|
| - /* Illegal bytecode (terminates execution) */ \
|
| - V(Illegal, AccumulatorUse::kNone) \
|
| - \
|
| - /* No operation (used to maintain source positions for peephole */ \
|
| - /* eliminated bytecodes). */ \
|
| +#define BYTECODE_LIST(V) \
|
| + /* Extended width operands */ \
|
| + V(Wide, AccumulatorUse::kNone) \
|
| + V(ExtraWide, AccumulatorUse::kNone) \
|
| + \
|
| + /* Loading the accumulator */ \
|
| + V(LdaZero, AccumulatorUse::kWrite) \
|
| + V(LdaSmi, AccumulatorUse::kWrite, OperandType::kImm) \
|
| + V(LdaUndefined, AccumulatorUse::kWrite) \
|
| + V(LdaNull, AccumulatorUse::kWrite) \
|
| + V(LdaTheHole, AccumulatorUse::kWrite) \
|
| + V(LdaTrue, AccumulatorUse::kWrite) \
|
| + V(LdaFalse, AccumulatorUse::kWrite) \
|
| + V(LdaConstant, AccumulatorUse::kWrite, OperandType::kIdx) \
|
| + \
|
| + /* Globals */ \
|
| + V(LdaGlobal, AccumulatorUse::kWrite, OperandType::kIdx, OperandType::kIdx) \
|
| + V(LdaGlobalInsideTypeof, AccumulatorUse::kWrite, OperandType::kIdx, \
|
| + OperandType::kIdx) \
|
| + V(StaGlobalSloppy, AccumulatorUse::kRead, OperandType::kIdx, \
|
| + OperandType::kIdx) \
|
| + V(StaGlobalStrict, AccumulatorUse::kRead, OperandType::kIdx, \
|
| + OperandType::kIdx) \
|
| + \
|
| + /* Context operations */ \
|
| + V(PushContext, AccumulatorUse::kRead, OperandType::kRegOut) \
|
| + V(PopContext, AccumulatorUse::kNone, OperandType::kReg) \
|
| + V(LdaContextSlot, AccumulatorUse::kWrite, OperandType::kReg, \
|
| + OperandType::kIdx, OperandType::kUImm) \
|
| + V(LdaCurrentContextSlot, AccumulatorUse::kWrite, OperandType::kIdx) \
|
| + V(StaContextSlot, AccumulatorUse::kRead, OperandType::kReg, \
|
| + OperandType::kIdx, OperandType::kUImm) \
|
| + V(StaCurrentContextSlot, AccumulatorUse::kRead, OperandType::kIdx) \
|
| + \
|
| + /* Load-Store lookup slots */ \
|
| + V(LdaLookupSlot, AccumulatorUse::kWrite, OperandType::kIdx) \
|
| + V(LdaLookupContextSlot, AccumulatorUse::kWrite, OperandType::kIdx, \
|
| + OperandType::kIdx, OperandType::kUImm) \
|
| + V(LdaLookupGlobalSlot, AccumulatorUse::kWrite, OperandType::kIdx, \
|
| + OperandType::kIdx, OperandType::kUImm) \
|
| + V(LdaLookupSlotInsideTypeof, AccumulatorUse::kWrite, OperandType::kIdx) \
|
| + V(LdaLookupContextSlotInsideTypeof, AccumulatorUse::kWrite, \
|
| + OperandType::kIdx, OperandType::kIdx, OperandType::kUImm) \
|
| + V(LdaLookupGlobalSlotInsideTypeof, AccumulatorUse::kWrite, \
|
| + OperandType::kIdx, OperandType::kIdx, OperandType::kUImm) \
|
| + V(StaLookupSlotSloppy, AccumulatorUse::kReadWrite, OperandType::kIdx) \
|
| + V(StaLookupSlotStrict, AccumulatorUse::kReadWrite, OperandType::kIdx) \
|
| + \
|
| + /* Register-accumulator transfers */ \
|
| + V(Ldar, AccumulatorUse::kWrite, OperandType::kReg) \
|
| + V(Star, AccumulatorUse::kRead, OperandType::kRegOut) \
|
| + \
|
| + /* Register-register transfers */ \
|
| + V(Mov, AccumulatorUse::kNone, OperandType::kReg, OperandType::kRegOut) \
|
| + \
|
| + /* Property loads (LoadIC) operations */ \
|
| + V(LdaNamedProperty, AccumulatorUse::kWrite, OperandType::kReg, \
|
| + OperandType::kIdx, OperandType::kIdx) \
|
| + V(LdaKeyedProperty, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + \
|
| + /* Operations on module variables */ \
|
| + V(LdaModuleVariable, AccumulatorUse::kWrite, OperandType::kImm, \
|
| + OperandType::kUImm) \
|
| + V(StaModuleVariable, AccumulatorUse::kRead, OperandType::kImm, \
|
| + OperandType::kUImm) \
|
| + \
|
| + /* Propery stores (StoreIC) operations */ \
|
| + V(StaNamedPropertySloppy, AccumulatorUse::kRead, OperandType::kReg, \
|
| + OperandType::kIdx, OperandType::kIdx) \
|
| + V(StaNamedPropertyStrict, AccumulatorUse::kRead, OperandType::kReg, \
|
| + OperandType::kIdx, OperandType::kIdx) \
|
| + V(StaKeyedPropertySloppy, AccumulatorUse::kRead, OperandType::kReg, \
|
| + OperandType::kReg, OperandType::kIdx) \
|
| + V(StaKeyedPropertyStrict, AccumulatorUse::kRead, OperandType::kReg, \
|
| + OperandType::kReg, OperandType::kIdx) \
|
| + V(StaDataPropertyInLiteral, AccumulatorUse::kRead, OperandType::kReg, \
|
| + OperandType::kReg, OperandType::kFlag8, OperandType::kIdx) \
|
| + \
|
| + /* Binary Operators */ \
|
| + V(Add, AccumulatorUse::kReadWrite, OperandType::kReg, OperandType::kIdx) \
|
| + V(Sub, AccumulatorUse::kReadWrite, OperandType::kReg, OperandType::kIdx) \
|
| + V(Mul, AccumulatorUse::kReadWrite, OperandType::kReg, OperandType::kIdx) \
|
| + V(Div, AccumulatorUse::kReadWrite, OperandType::kReg, OperandType::kIdx) \
|
| + V(Mod, AccumulatorUse::kReadWrite, OperandType::kReg, OperandType::kIdx) \
|
| + V(BitwiseOr, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + V(BitwiseXor, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + V(BitwiseAnd, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + V(ShiftLeft, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + V(ShiftRight, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + V(ShiftRightLogical, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + \
|
| + /* Binary operators with immediate operands */ \
|
| + V(AddSmi, AccumulatorUse::kWrite, OperandType::kImm, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + V(SubSmi, AccumulatorUse::kWrite, OperandType::kImm, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + V(BitwiseOrSmi, AccumulatorUse::kWrite, OperandType::kImm, \
|
| + OperandType::kReg, OperandType::kIdx) \
|
| + V(BitwiseAndSmi, AccumulatorUse::kWrite, OperandType::kImm, \
|
| + OperandType::kReg, OperandType::kIdx) \
|
| + V(ShiftLeftSmi, AccumulatorUse::kWrite, OperandType::kImm, \
|
| + OperandType::kReg, OperandType::kIdx) \
|
| + V(ShiftRightSmi, AccumulatorUse::kWrite, OperandType::kImm, \
|
| + OperandType::kReg, OperandType::kIdx) \
|
| + \
|
| + /* Unary Operators */ \
|
| + V(Inc, AccumulatorUse::kReadWrite, OperandType::kIdx) \
|
| + V(Dec, AccumulatorUse::kReadWrite, OperandType::kIdx) \
|
| + V(ToBooleanLogicalNot, AccumulatorUse::kReadWrite) \
|
| + V(LogicalNot, AccumulatorUse::kReadWrite) \
|
| + V(TypeOf, AccumulatorUse::kReadWrite) \
|
| + V(DeletePropertyStrict, AccumulatorUse::kReadWrite, OperandType::kReg) \
|
| + V(DeletePropertySloppy, AccumulatorUse::kReadWrite, OperandType::kReg) \
|
| + \
|
| + /* GetSuperConstructor operator */ \
|
| + V(GetSuperConstructor, AccumulatorUse::kRead, OperandType::kRegOut) \
|
| + \
|
| + /* Call operations */ \
|
| + V(Call, AccumulatorUse::kWrite, OperandType::kReg, OperandType::kRegList, \
|
| + OperandType::kRegCount, OperandType::kIdx) \
|
| + V(CallProperty, AccumulatorUse::kWrite, OperandType::kReg, \
|
| + OperandType::kRegList, OperandType::kRegCount, OperandType::kIdx) \
|
| + V(CallWithSpread, AccumulatorUse::kWrite, OperandType::kReg, \
|
| + OperandType::kRegList, OperandType::kRegCount) \
|
| + V(TailCall, AccumulatorUse::kWrite, OperandType::kReg, \
|
| + OperandType::kRegList, OperandType::kRegCount, OperandType::kIdx) \
|
| + V(CallRuntime, AccumulatorUse::kWrite, OperandType::kRuntimeId, \
|
| + OperandType::kRegList, OperandType::kRegCount) \
|
| + V(CallRuntimeForPair, AccumulatorUse::kNone, OperandType::kRuntimeId, \
|
| + OperandType::kRegList, OperandType::kRegCount, OperandType::kRegOutPair) \
|
| + V(CallJSRuntime, AccumulatorUse::kWrite, OperandType::kIdx, \
|
| + OperandType::kRegList, OperandType::kRegCount) \
|
| + \
|
| + /* Intrinsics */ \
|
| + V(InvokeIntrinsic, AccumulatorUse::kWrite, OperandType::kIntrinsicId, \
|
| + OperandType::kRegList, OperandType::kRegCount) \
|
| + \
|
| + /* Construct operators */ \
|
| + V(Construct, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kRegList, OperandType::kRegCount, OperandType::kIdx) \
|
| + V(ConstructWithSpread, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kRegList, OperandType::kRegCount) \
|
| + \
|
| + /* Test Operators */ \
|
| + V(TestEqual, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + V(TestNotEqual, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + V(TestEqualStrict, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + V(TestLessThan, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + V(TestGreaterThan, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + V(TestLessThanOrEqual, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + V(TestGreaterThanOrEqual, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + V(TestInstanceOf, AccumulatorUse::kReadWrite, OperandType::kReg) \
|
| + V(TestIn, AccumulatorUse::kReadWrite, OperandType::kReg) \
|
| + \
|
| + /* TestEqual with Null or Undefined */ \
|
| + V(TestUndetectable, AccumulatorUse::kWrite, OperandType::kReg) \
|
| + V(TestNull, AccumulatorUse::kWrite, OperandType::kReg) \
|
| + V(TestUndefined, AccumulatorUse::kWrite, OperandType::kReg) \
|
| + \
|
| + /* Cast operators */ \
|
| + V(ToName, AccumulatorUse::kRead, OperandType::kRegOut) \
|
| + V(ToNumber, AccumulatorUse::kRead, OperandType::kRegOut) \
|
| + V(ToObject, AccumulatorUse::kRead, OperandType::kRegOut) \
|
| + \
|
| + /* Literals */ \
|
| + V(CreateRegExpLiteral, AccumulatorUse::kWrite, OperandType::kIdx, \
|
| + OperandType::kIdx, OperandType::kFlag8) \
|
| + V(CreateArrayLiteral, AccumulatorUse::kWrite, OperandType::kIdx, \
|
| + OperandType::kIdx, OperandType::kFlag8) \
|
| + V(CreateObjectLiteral, AccumulatorUse::kNone, OperandType::kIdx, \
|
| + OperandType::kIdx, OperandType::kFlag8, OperandType::kRegOut) \
|
| + \
|
| + /* Closure allocation */ \
|
| + V(CreateClosure, AccumulatorUse::kWrite, OperandType::kIdx, \
|
| + OperandType::kIdx, OperandType::kFlag8) \
|
| + \
|
| + /* Context allocation */ \
|
| + V(CreateBlockContext, AccumulatorUse::kReadWrite, OperandType::kIdx) \
|
| + V(CreateCatchContext, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kIdx, OperandType::kIdx) \
|
| + V(CreateFunctionContext, AccumulatorUse::kWrite, OperandType::kUImm) \
|
| + V(CreateEvalContext, AccumulatorUse::kWrite, OperandType::kUImm) \
|
| + V(CreateWithContext, AccumulatorUse::kReadWrite, OperandType::kReg, \
|
| + OperandType::kIdx) \
|
| + \
|
| + /* Arguments allocation */ \
|
| + V(CreateMappedArguments, AccumulatorUse::kWrite) \
|
| + V(CreateUnmappedArguments, AccumulatorUse::kWrite) \
|
| + V(CreateRestParameter, AccumulatorUse::kWrite) \
|
| + \
|
| + /* Control Flow -- carefully ordered for efficient checks */ \
|
| + /* - [Unconditional jumps] */ \
|
| + V(JumpLoop, AccumulatorUse::kNone, OperandType::kUImm, OperandType::kImm) \
|
| + /* - [Forward jumps] */ \
|
| + V(Jump, AccumulatorUse::kNone, OperandType::kUImm) \
|
| + /* - [Start constant jumps] */ \
|
| + V(JumpConstant, AccumulatorUse::kNone, OperandType::kIdx) \
|
| + /* - [Conditional jumps] */ \
|
| + /* - [Conditional constant jumps] */ \
|
| + V(JumpIfNullConstant, AccumulatorUse::kRead, OperandType::kIdx) \
|
| + V(JumpIfUndefinedConstant, AccumulatorUse::kRead, OperandType::kIdx) \
|
| + V(JumpIfTrueConstant, AccumulatorUse::kRead, OperandType::kIdx) \
|
| + V(JumpIfFalseConstant, AccumulatorUse::kRead, OperandType::kIdx) \
|
| + V(JumpIfJSReceiverConstant, AccumulatorUse::kRead, OperandType::kIdx) \
|
| + V(JumpIfNotHoleConstant, AccumulatorUse::kRead, OperandType::kIdx) \
|
| + /* - [Start ToBoolean jumps] */ \
|
| + V(JumpIfToBooleanTrueConstant, AccumulatorUse::kRead, OperandType::kIdx) \
|
| + V(JumpIfToBooleanFalseConstant, AccumulatorUse::kRead, OperandType::kIdx) \
|
| + /* - [End constant jumps] */ \
|
| + /* - [Conditional immediate jumps] */ \
|
| + V(JumpIfToBooleanTrue, AccumulatorUse::kRead, OperandType::kUImm) \
|
| + V(JumpIfToBooleanFalse, AccumulatorUse::kRead, OperandType::kUImm) \
|
| + /* - [End ToBoolean jumps] */ \
|
| + V(JumpIfTrue, AccumulatorUse::kRead, OperandType::kUImm) \
|
| + V(JumpIfFalse, AccumulatorUse::kRead, OperandType::kUImm) \
|
| + V(JumpIfNull, AccumulatorUse::kRead, OperandType::kUImm) \
|
| + V(JumpIfUndefined, AccumulatorUse::kRead, OperandType::kUImm) \
|
| + V(JumpIfJSReceiver, AccumulatorUse::kRead, OperandType::kUImm) \
|
| + V(JumpIfNotHole, AccumulatorUse::kRead, OperandType::kUImm) \
|
| + \
|
| + /* Complex flow control For..in */ \
|
| + V(ForInPrepare, AccumulatorUse::kNone, OperandType::kReg, \
|
| + OperandType::kRegOutTriple) \
|
| + V(ForInContinue, AccumulatorUse::kWrite, OperandType::kReg, \
|
| + OperandType::kReg) \
|
| + V(ForInNext, AccumulatorUse::kWrite, OperandType::kReg, OperandType::kReg, \
|
| + OperandType::kRegPair, OperandType::kIdx) \
|
| + V(ForInStep, AccumulatorUse::kWrite, OperandType::kReg) \
|
| + \
|
| + /* Perform a stack guard check */ \
|
| + V(StackCheck, AccumulatorUse::kNone) \
|
| + \
|
| + /* Update the pending message */ \
|
| + V(SetPendingMessage, AccumulatorUse::kReadWrite) \
|
| + \
|
| + /* Non-local flow control */ \
|
| + V(Throw, AccumulatorUse::kRead) \
|
| + V(ReThrow, AccumulatorUse::kRead) \
|
| + V(Return, AccumulatorUse::kRead) \
|
| + \
|
| + /* Generators */ \
|
| + V(SuspendGenerator, AccumulatorUse::kRead, OperandType::kReg) \
|
| + V(ResumeGenerator, AccumulatorUse::kWrite, OperandType::kReg) \
|
| + \
|
| + /* Debugger */ \
|
| + V(Debugger, AccumulatorUse::kNone) \
|
| + \
|
| + /* Debug Breakpoints - one for each possible size of unscaled bytecodes */ \
|
| + /* and one for each operand widening prefix bytecode */ \
|
| + V(DebugBreak0, AccumulatorUse::kRead) \
|
| + V(DebugBreak1, AccumulatorUse::kRead, OperandType::kReg) \
|
| + V(DebugBreak2, AccumulatorUse::kRead, OperandType::kReg, OperandType::kReg) \
|
| + V(DebugBreak3, AccumulatorUse::kRead, OperandType::kReg, OperandType::kReg, \
|
| + OperandType::kReg) \
|
| + V(DebugBreak4, AccumulatorUse::kRead, OperandType::kReg, OperandType::kReg, \
|
| + OperandType::kReg, OperandType::kReg) \
|
| + V(DebugBreak5, AccumulatorUse::kRead, OperandType::kRuntimeId, \
|
| + OperandType::kReg, OperandType::kReg) \
|
| + V(DebugBreak6, AccumulatorUse::kRead, OperandType::kRuntimeId, \
|
| + OperandType::kReg, OperandType::kReg, OperandType::kReg) \
|
| + V(DebugBreakWide, AccumulatorUse::kRead) \
|
| + V(DebugBreakExtraWide, AccumulatorUse::kRead) \
|
| + \
|
| + /* Illegal bytecode (terminates execution) */ \
|
| + V(Illegal, AccumulatorUse::kNone) \
|
| + \
|
| + /* No operation (used to maintain source positions for peephole */ \
|
| + /* eliminated bytecodes). */ \
|
| V(Nop, AccumulatorUse::kNone)
|
|
|
| // List of debug break bytecodes.
|
| @@ -513,9 +510,7 @@
|
| bytecode == Bytecode::kLdaTheHole ||
|
| bytecode == Bytecode::kLdaConstant ||
|
| bytecode == Bytecode::kLdaContextSlot ||
|
| - bytecode == Bytecode::kLdaCurrentContextSlot ||
|
| - bytecode == Bytecode::kLdaImmutableContextSlot ||
|
| - bytecode == Bytecode::kLdaImmutableCurrentContextSlot;
|
| + bytecode == Bytecode::kLdaCurrentContextSlot;
|
| }
|
|
|
| // Return true if |bytecode| is a register load without effects,
|
|
|