Chromium Code Reviews| Index: src/interpreter/bytecodes.h |
| diff --git a/src/interpreter/bytecodes.h b/src/interpreter/bytecodes.h |
| index 5f73939cf3a00cb5f6b153115f96285bbdec1dc7..f49b81574df718375886dfb94175877ca0171e87 100644 |
| --- a/src/interpreter/bytecodes.h |
| +++ b/src/interpreter/bytecodes.h |
| @@ -22,288 +22,288 @@ namespace interpreter { |
| // 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(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) \ |
| - \ |
| - /* New operators */ \ |
| - V(New, AccumulatorUse::kReadWrite, OperandType::kReg, OperandType::kRegList, \ |
| - OperandType::kRegCount, OperandType::kIdx) \ |
| - V(NewWithSpread, 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) \ |
| + \ |
| + /* New operators */ \ |
|
rmcilroy
2017/01/31 20:40:38
update comment
|
| + 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. |
| @@ -612,9 +612,9 @@ class V8_EXPORT_PRIVATE Bytecodes final { |
| } |
| // Returns true if the bytecode is a call or a constructor call. |
| - static constexpr bool IsCallOrNew(Bytecode bytecode) { |
| + static constexpr bool IsCallOrConstruct(Bytecode bytecode) { |
| return bytecode == Bytecode::kCall || bytecode == Bytecode::kCallProperty || |
| - bytecode == Bytecode::kTailCall || bytecode == Bytecode::kNew; |
| + bytecode == Bytecode::kTailCall || bytecode == Bytecode::kConstruct; |
| } |
| // Returns true if the bytecode is a call to the runtime. |