#pragma once
#include "CallLinkStatus.h"
#include "CodeOrigin.h"
#include "ConcurrentJSLock.h"
#include "ExitFlag.h"
#include "GetByIdVariant.h"
#include "ICStatusMap.h"
#include "ScopeOffset.h"
#include "StubInfoSummary.h"
namespace JSC {
class AccessCase;
class CodeBlock;
class JSModuleEnvironment;
class JSModuleNamespaceObject;
class ModuleNamespaceAccessCase;
class StructureStubInfo;
class GetByIdStatus {
public:
enum State {
NoInformation,
Simple,
Custom,
ModuleNamespace,
TakesSlowPath,
MakesCalls,
};
GetByIdStatus()
: m_state(NoInformation)
{
}
explicit GetByIdStatus(State state)
: m_state(state)
{
ASSERT(state == NoInformation || state == TakesSlowPath || state == MakesCalls);
}
explicit GetByIdStatus(StubInfoSummary summary)
: m_wasSeenInJIT(true)
{
switch (summary) {
case StubInfoSummary::NoInformation:
m_state = NoInformation;
return;
case StubInfoSummary::Simple:
case StubInfoSummary::MakesCalls:
RELEASE_ASSERT_NOT_REACHED();
return;
case StubInfoSummary::TakesSlowPath:
m_state = TakesSlowPath;
return;
case StubInfoSummary::TakesSlowPathAndMakesCalls:
m_state = MakesCalls;
return;
}
RELEASE_ASSERT_NOT_REACHED();
}
GetByIdStatus(
State state, bool wasSeenInJIT, const GetByIdVariant& variant = GetByIdVariant())
: m_state(state)
, m_wasSeenInJIT(wasSeenInJIT)
{
ASSERT((state == Simple || state == Custom) == variant.isSet());
m_variants.append(variant);
}
static GetByIdStatus computeFor(CodeBlock*, ICStatusMap&, unsigned bytecodeIndex, UniquedStringImpl* uid, ExitFlag, CallLinkStatus::ExitSiteData);
static GetByIdStatus computeFor(const StructureSet&, UniquedStringImpl* uid);
static GetByIdStatus computeFor(CodeBlock* baselineBlock, ICStatusMap& baselineMap, ICStatusContextStack& dfgContextStack, CodeOrigin, UniquedStringImpl* uid);
#if ENABLE(DFG_JIT)
static GetByIdStatus computeForStubInfo(const ConcurrentJSLocker&, CodeBlock* baselineBlock, StructureStubInfo*, CodeOrigin, UniquedStringImpl* uid);
#endif
State state() const { return m_state; }
bool isSet() const { return m_state != NoInformation; }
explicit operator bool() const { return isSet(); }
bool isSimple() const { return m_state == Simple; }
bool isCustom() const { return m_state == Custom; }
bool isModuleNamespace() const { return m_state == ModuleNamespace; }
size_t numVariants() const { return m_variants.size(); }
const Vector<GetByIdVariant, 1>& variants() const { return m_variants; }
const GetByIdVariant& at(size_t index) const { return m_variants[index]; }
const GetByIdVariant& operator[](size_t index) const { return at(index); }
bool takesSlowPath() const { return m_state == TakesSlowPath || m_state == MakesCalls || m_state == Custom || m_state == ModuleNamespace; }
bool makesCalls() const;
GetByIdStatus slowVersion() const;
bool wasSeenInJIT() const { return m_wasSeenInJIT; }
void merge(const GetByIdStatus&);
void filter(const StructureSet&);
JSModuleNamespaceObject* moduleNamespaceObject() const { return m_moduleNamespaceObject; }
JSModuleEnvironment* moduleEnvironment() const { return m_moduleEnvironment; }
ScopeOffset scopeOffset() const { return m_scopeOffset; }
void markIfCheap(SlotVisitor&);
bool finalize();
void dump(PrintStream&) const;
private:
#if ENABLE(JIT)
GetByIdStatus(const ModuleNamespaceAccessCase&);
static GetByIdStatus computeForStubInfoWithoutExitSiteFeedback(
const ConcurrentJSLocker&, CodeBlock* profiledBlock, StructureStubInfo*,
UniquedStringImpl* uid, CallLinkStatus::ExitSiteData);
#endif
static GetByIdStatus computeFromLLInt(CodeBlock*, unsigned bytecodeIndex, UniquedStringImpl* uid);
bool appendVariant(const GetByIdVariant&);
State m_state;
Vector<GetByIdVariant, 1> m_variants;
bool m_wasSeenInJIT { false };
JSModuleNamespaceObject* m_moduleNamespaceObject { nullptr };
JSModuleEnvironment* m_moduleEnvironment { nullptr };
ScopeOffset m_scopeOffset { };
};
}