// Copyright 2014 the V8 project authors. All rights reserved.
|
// Use of this source code is governed by a BSD-style license that can be
|
// found in the LICENSE file.
|
|
#include "src/compiler/operator-properties.h"
|
|
#include "src/compiler/js-operator.h"
|
#include "src/compiler/linkage.h"
|
#include "src/compiler/opcodes.h"
|
|
namespace v8 {
|
namespace internal {
|
namespace compiler {
|
|
// static
|
bool OperatorProperties::HasContextInput(const Operator* op) {
|
IrOpcode::Value opcode = static_cast<IrOpcode::Value>(op->opcode());
|
return IrOpcode::IsJsOpcode(opcode);
|
}
|
|
|
// static
|
bool OperatorProperties::HasFrameStateInput(const Operator* op) {
|
switch (op->opcode()) {
|
case IrOpcode::kCheckpoint:
|
case IrOpcode::kFrameState:
|
return true;
|
case IrOpcode::kJSCallRuntime: {
|
const CallRuntimeParameters& p = CallRuntimeParametersOf(op);
|
return Linkage::NeedsFrameStateInput(p.id());
|
}
|
|
// Strict equality cannot lazily deoptimize.
|
case IrOpcode::kJSStrictEqual:
|
return false;
|
|
// Generator creation cannot call back into arbitrary JavaScript.
|
case IrOpcode::kJSCreateGeneratorObject:
|
return false;
|
|
// Binary operations
|
case IrOpcode::kJSAdd:
|
case IrOpcode::kJSSubtract:
|
case IrOpcode::kJSMultiply:
|
case IrOpcode::kJSDivide:
|
case IrOpcode::kJSModulus:
|
case IrOpcode::kJSExponentiate:
|
|
// Bitwise operations
|
case IrOpcode::kJSBitwiseOr:
|
case IrOpcode::kJSBitwiseXor:
|
case IrOpcode::kJSBitwiseAnd:
|
|
// Shift operations
|
case IrOpcode::kJSShiftLeft:
|
case IrOpcode::kJSShiftRight:
|
case IrOpcode::kJSShiftRightLogical:
|
|
// Compare operations
|
case IrOpcode::kJSEqual:
|
case IrOpcode::kJSGreaterThan:
|
case IrOpcode::kJSGreaterThanOrEqual:
|
case IrOpcode::kJSLessThan:
|
case IrOpcode::kJSLessThanOrEqual:
|
case IrOpcode::kJSHasProperty:
|
case IrOpcode::kJSHasInPrototypeChain:
|
case IrOpcode::kJSInstanceOf:
|
case IrOpcode::kJSOrdinaryHasInstance:
|
|
// Object operations
|
case IrOpcode::kJSCreate:
|
case IrOpcode::kJSCreateArguments:
|
case IrOpcode::kJSCreateArray:
|
case IrOpcode::kJSCreateTypedArray:
|
case IrOpcode::kJSCreateLiteralArray:
|
case IrOpcode::kJSCreateLiteralObject:
|
case IrOpcode::kJSCreateLiteralRegExp:
|
case IrOpcode::kJSCreateObject:
|
case IrOpcode::kJSCloneObject:
|
|
// Property access operations
|
case IrOpcode::kJSLoadNamed:
|
case IrOpcode::kJSStoreNamed:
|
case IrOpcode::kJSLoadProperty:
|
case IrOpcode::kJSStoreProperty:
|
case IrOpcode::kJSLoadGlobal:
|
case IrOpcode::kJSStoreGlobal:
|
case IrOpcode::kJSStoreNamedOwn:
|
case IrOpcode::kJSStoreDataPropertyInLiteral:
|
case IrOpcode::kJSDeleteProperty:
|
|
// Conversions
|
case IrOpcode::kJSToInteger:
|
case IrOpcode::kJSToLength:
|
case IrOpcode::kJSToName:
|
case IrOpcode::kJSToNumber:
|
case IrOpcode::kJSToNumberConvertBigInt:
|
case IrOpcode::kJSToNumeric:
|
case IrOpcode::kJSToObject:
|
case IrOpcode::kJSToString:
|
case IrOpcode::kJSParseInt:
|
|
// Call operations
|
case IrOpcode::kJSConstructForwardVarargs:
|
case IrOpcode::kJSConstruct:
|
case IrOpcode::kJSConstructWithArrayLike:
|
case IrOpcode::kJSConstructWithSpread:
|
case IrOpcode::kJSCallForwardVarargs:
|
case IrOpcode::kJSCall:
|
case IrOpcode::kJSCallWithArrayLike:
|
case IrOpcode::kJSCallWithSpread:
|
|
// Misc operations
|
case IrOpcode::kJSForInEnumerate:
|
case IrOpcode::kJSForInNext:
|
case IrOpcode::kJSStackCheck:
|
case IrOpcode::kJSDebugger:
|
case IrOpcode::kJSGetSuperConstructor:
|
case IrOpcode::kJSBitwiseNot:
|
case IrOpcode::kJSDecrement:
|
case IrOpcode::kJSIncrement:
|
case IrOpcode::kJSNegate:
|
case IrOpcode::kJSPromiseResolve:
|
case IrOpcode::kJSRejectPromise:
|
case IrOpcode::kJSResolvePromise:
|
case IrOpcode::kJSPerformPromiseThen:
|
case IrOpcode::kJSObjectIsArray:
|
case IrOpcode::kJSRegExpTest:
|
return true;
|
|
default:
|
return false;
|
}
|
}
|
|
|
// static
|
int OperatorProperties::GetTotalInputCount(const Operator* op) {
|
return op->ValueInputCount() + GetContextInputCount(op) +
|
GetFrameStateInputCount(op) + op->EffectInputCount() +
|
op->ControlInputCount();
|
}
|
|
|
// static
|
bool OperatorProperties::IsBasicBlockBegin(const Operator* op) {
|
Operator::Opcode const opcode = op->opcode();
|
return opcode == IrOpcode::kStart || opcode == IrOpcode::kEnd ||
|
opcode == IrOpcode::kDead || opcode == IrOpcode::kLoop ||
|
opcode == IrOpcode::kMerge || opcode == IrOpcode::kIfTrue ||
|
opcode == IrOpcode::kIfFalse || opcode == IrOpcode::kIfSuccess ||
|
opcode == IrOpcode::kIfException || opcode == IrOpcode::kIfValue ||
|
opcode == IrOpcode::kIfDefault;
|
}
|
|
} // namespace compiler
|
} // namespace internal
|
} // namespace v8
|
