зеркало из https://github.com/mozilla/gecko-dev.git
253 строки
10 KiB
C++
253 строки
10 KiB
C++
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*-
|
|
* vim: set ts=8 sts=2 et sw=2 tw=80:
|
|
* 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 js_TrackedOptimizationInfo_h
|
|
#define js_TrackedOptimizationInfo_h
|
|
|
|
#include "mozilla/Maybe.h"
|
|
|
|
namespace JS {
|
|
|
|
#define TRACKED_STRATEGY_LIST(_) \
|
|
_(GetProp_ArgumentsLength) \
|
|
_(GetProp_ArgumentsCallee) \
|
|
_(GetProp_InferredConstant) \
|
|
_(GetProp_Constant) \
|
|
_(GetProp_NotDefined) \
|
|
_(GetProp_StaticName) \
|
|
_(GetProp_TypedObject) \
|
|
_(GetProp_DefiniteSlot) \
|
|
_(GetProp_CommonGetter) \
|
|
_(GetProp_InlineAccess) \
|
|
_(GetProp_InlineProtoAccess) \
|
|
_(GetProp_Innerize) \
|
|
_(GetProp_InlineCache) \
|
|
_(GetProp_ModuleNamespace) \
|
|
\
|
|
_(SetProp_CommonSetter) \
|
|
_(SetProp_TypedObject) \
|
|
_(SetProp_DefiniteSlot) \
|
|
_(SetProp_InlineAccess) \
|
|
_(SetProp_InlineCache) \
|
|
\
|
|
_(GetElem_TypedObject) \
|
|
_(GetElem_CallSiteObject) \
|
|
_(GetElem_Dense) \
|
|
_(GetElem_TypedArray) \
|
|
_(GetElem_String) \
|
|
_(GetElem_Arguments) \
|
|
_(GetElem_ArgumentsInlinedConstant) \
|
|
_(GetElem_ArgumentsInlinedSwitch) \
|
|
_(GetElem_InlineCache) \
|
|
\
|
|
_(SetElem_TypedObject) \
|
|
_(SetElem_TypedArray) \
|
|
_(SetElem_Dense) \
|
|
_(SetElem_Arguments) \
|
|
_(SetElem_InlineCache) \
|
|
\
|
|
_(BinaryArith_Concat) \
|
|
_(BinaryArith_SpecializedTypes) \
|
|
_(BinaryArith_SpecializedOnBaselineTypes) \
|
|
_(BinaryArith_Call) \
|
|
\
|
|
_(UnaryArith_SpecializedTypes) \
|
|
_(UnaryArith_SpecializedOnBaselineTypes) \
|
|
_(UnaryArith_InlineCache) \
|
|
\
|
|
_(InlineCache_OptimizedStub) \
|
|
\
|
|
_(NewArray_TemplateObject) \
|
|
_(NewArray_Call) \
|
|
\
|
|
_(NewObject_TemplateObject) \
|
|
_(NewObject_Call) \
|
|
\
|
|
_(Compare_SpecializedTypes) \
|
|
_(Compare_Bitwise) \
|
|
_(Compare_SpecializedOnBaselineTypes) \
|
|
_(Compare_Call) \
|
|
_(Compare_Character) \
|
|
\
|
|
_(Call_Inline)
|
|
|
|
// Ordering is important below. All outcomes before GenericSuccess will be
|
|
// considered failures, and all outcomes after GenericSuccess will be
|
|
// considered successes.
|
|
#define TRACKED_OUTCOME_LIST(_) \
|
|
_(GenericFailure) \
|
|
_(Disabled) \
|
|
_(NoTypeInfo) \
|
|
_(NoShapeInfo) \
|
|
_(UnknownProperties) \
|
|
_(Singleton) \
|
|
_(NotSingleton) \
|
|
_(NotFixedSlot) \
|
|
_(InconsistentFixedSlot) \
|
|
_(NotObject) \
|
|
_(NotStruct) \
|
|
_(NotUndefined) \
|
|
_(StructNoField) \
|
|
_(NeedsTypeBarrier) \
|
|
_(InDictionaryMode) \
|
|
_(MultiProtoPaths) \
|
|
_(NonWritableProperty) \
|
|
_(ProtoIndexedProps) \
|
|
_(ArrayBadFlags) \
|
|
_(ArrayDoubleConversion) \
|
|
_(ArrayRange) \
|
|
_(ArraySeenNegativeIndex) \
|
|
_(ArraySeenNonIntegerIndex) \
|
|
_(TypedObjectHasDetachedBuffer) \
|
|
_(TypedObjectArrayRange) \
|
|
_(AccessNotDense) \
|
|
_(AccessNotTypedObject) \
|
|
_(AccessNotTypedArray) \
|
|
_(AccessNotString) \
|
|
_(OperandNotString) \
|
|
_(OperandNotNumber) \
|
|
_(OperandNotSimpleArith) \
|
|
_(OperandNotEasilyCoercibleToString) \
|
|
_(OutOfBounds) \
|
|
_(IndexType) \
|
|
_(NotModuleNamespace) \
|
|
_(UnknownProperty) \
|
|
_(NoTemplateObject) \
|
|
_(LengthTooBig) \
|
|
_(SpeculationOnInputTypesFailed) \
|
|
_(RelationalCompare) \
|
|
_(OperandTypeNotBitwiseComparable) \
|
|
_(OperandMaybeEmulatesUndefined) \
|
|
_(LoosyUndefinedNullCompare) \
|
|
_(LoosyInt32BooleanCompare) \
|
|
_(CallsValueOf) \
|
|
_(StrictCompare) \
|
|
_(InitHole) \
|
|
\
|
|
_(CantInlineGeneric) \
|
|
_(CantInlineNoTarget) \
|
|
_(CantInlineNotInterpreted) \
|
|
_(CantInlineNoBaseline) \
|
|
_(CantInlineNoJitScript) \
|
|
_(CantInlineLazy) \
|
|
_(CantInlineNotConstructor) \
|
|
_(CantInlineClassConstructor) \
|
|
_(CantInlineDisabledIon) \
|
|
_(CantInlineTooManyArgs) \
|
|
_(CantInlineNeedsArgsObj) \
|
|
_(CantInlineDebuggee) \
|
|
_(CantInlineExceededDepth) \
|
|
_(CantInlineExceededTotalBytecodeLength) \
|
|
_(CantInlineBigCaller) \
|
|
_(CantInlineBigCallee) \
|
|
_(CantInlineBigCalleeInlinedBytecodeLength) \
|
|
_(CantInlineCrossRealm) \
|
|
_(CantInlineNotHot) \
|
|
_(CantInlineNotInDispatch) \
|
|
_(CantInlineUnreachable) \
|
|
_(CantInlineNativeBadForm) \
|
|
_(CantInlineNativeBadType) \
|
|
_(CantInlineNativeNoTemplateObj) \
|
|
_(CantInlineBound) \
|
|
_(CantInlineNativeNoSpecialization) \
|
|
_(CantInlineUnexpectedNewTarget) \
|
|
_(HasCommonInliningPath) \
|
|
\
|
|
_(GenericSuccess) \
|
|
_(Inlined) \
|
|
_(DOM) \
|
|
_(Monomorphic) \
|
|
_(Polymorphic)
|
|
|
|
#define TRACKED_TYPESITE_LIST(_) \
|
|
_(Receiver) \
|
|
_(Operand) \
|
|
_(Index) \
|
|
_(Value) \
|
|
_(Call_Target) \
|
|
_(Call_This) \
|
|
_(Call_Arg) \
|
|
_(Call_Return)
|
|
|
|
enum class TrackedStrategy : uint32_t {
|
|
#define STRATEGY_OP(name) name,
|
|
TRACKED_STRATEGY_LIST(STRATEGY_OP)
|
|
#undef STRATEGY_OPT
|
|
|
|
Count
|
|
};
|
|
|
|
enum class TrackedOutcome : uint32_t {
|
|
#define OUTCOME_OP(name) name,
|
|
TRACKED_OUTCOME_LIST(OUTCOME_OP)
|
|
#undef OUTCOME_OP
|
|
|
|
Count
|
|
};
|
|
|
|
enum class TrackedTypeSite : uint32_t {
|
|
#define TYPESITE_OP(name) name,
|
|
TRACKED_TYPESITE_LIST(TYPESITE_OP)
|
|
#undef TYPESITE_OP
|
|
|
|
Count
|
|
};
|
|
|
|
JS_PUBLIC_API const char* TrackedStrategyString(TrackedStrategy strategy);
|
|
|
|
JS_PUBLIC_API const char* TrackedOutcomeString(TrackedOutcome outcome);
|
|
|
|
JS_PUBLIC_API const char* TrackedTypeSiteString(TrackedTypeSite site);
|
|
|
|
struct ForEachTrackedOptimizationAttemptOp {
|
|
virtual void operator()(TrackedStrategy strategy, TrackedOutcome outcome) = 0;
|
|
};
|
|
|
|
struct ForEachTrackedOptimizationTypeInfoOp {
|
|
// Called 0+ times per entry, once for each type in the type set that Ion
|
|
// saw during MIR construction. readType is always called _before_
|
|
// operator() on the same entry.
|
|
//
|
|
// The keyedBy parameter describes how the type is keyed:
|
|
// - "primitive" for primitive types
|
|
// - "constructor" for object types tied to a scripted constructor
|
|
// function.
|
|
// - "alloc site" for object types tied to an allocation site.
|
|
// - "prototype" for object types tied neither to a constructor nor
|
|
// to an allocation site, but to a prototype.
|
|
// - "singleton" for object types which only has a single value.
|
|
// - "function" for object types referring to scripted functions.
|
|
// - "native" for object types referring to native functions.
|
|
//
|
|
// The name parameter is the string representation of the type. If the
|
|
// type is keyed by "constructor", or if the type itself refers to a
|
|
// scripted function, the name is the function's displayAtom. If the type
|
|
// is keyed by "native", this is nullptr.
|
|
//
|
|
// The location parameter is the filename if the type is keyed by
|
|
// "constructor", "alloc site", or if the type itself refers to a scripted
|
|
// function. If the type is keyed by "native", it is the offset of the
|
|
// native function, suitable for use with addr2line on Linux or atos on OS
|
|
// X. Otherwise it is nullptr.
|
|
//
|
|
// The lineno parameter is the line number if the type is keyed by
|
|
// "constructor", "alloc site", or if the type itself refers to a scripted
|
|
// function. Otherwise it is Nothing().
|
|
//
|
|
// The location parameter is the only one that may need escaping if being
|
|
// quoted.
|
|
virtual void readType(const char* keyedBy, const char* name,
|
|
const char* location,
|
|
const mozilla::Maybe<unsigned>& lineno) = 0;
|
|
|
|
// Called once per entry.
|
|
virtual void operator()(TrackedTypeSite site, const char* mirType) = 0;
|
|
};
|
|
|
|
} // namespace JS
|
|
|
|
#endif // js_TrackedOptimizationInfo_h
|