InstanceOfStatus.cpp [plain text]
#include "config.h"
#include "InstanceOfStatus.h"
#include "ICStatusUtils.h"
#include "InstanceOfAccessCase.h"
#include "JSCInlines.h"
#include "PolymorphicAccess.h"
#include "StructureStubInfo.h"
namespace JSC {
void InstanceOfStatus::appendVariant(const InstanceOfVariant& variant)
{
appendICStatusVariant(m_variants, variant);
}
InstanceOfStatus InstanceOfStatus::computeFor(
CodeBlock* codeBlock, ICStatusMap& infoMap, unsigned bytecodeIndex)
{
ConcurrentJSLocker locker(codeBlock->m_lock);
InstanceOfStatus result;
#if ENABLE(DFG_JIT)
result = computeForStubInfo(locker, infoMap.get(CodeOrigin(bytecodeIndex)).stubInfo);
if (!result.takesSlowPath()) {
UnlinkedCodeBlock* unlinkedCodeBlock = codeBlock->unlinkedCodeBlock();
ConcurrentJSLocker locker(unlinkedCodeBlock->m_lock);
if (unlinkedCodeBlock->hasExitSite(locker, DFG::FrequentExitSite(bytecodeIndex, BadCache))
|| unlinkedCodeBlock->hasExitSite(locker, DFG::FrequentExitSite(bytecodeIndex, BadConstantCache))
|| unlinkedCodeBlock->hasExitSite(locker, DFG::FrequentExitSite(bytecodeIndex, BadType)))
return TakesSlowPath;
}
#else
UNUSED_PARAM(infoMap);
UNUSED_PARAM(bytecodeIndex);
#endif
return result;
}
#if ENABLE(DFG_JIT)
InstanceOfStatus InstanceOfStatus::computeForStubInfo(const ConcurrentJSLocker&, StructureStubInfo* stubInfo)
{
StubInfoSummary summary = StructureStubInfo::summary(stubInfo);
if (!isInlineable(summary))
return InstanceOfStatus(summary);
if (stubInfo->cacheType != CacheType::Stub)
return TakesSlowPath;
PolymorphicAccess* list = stubInfo->u.stub;
InstanceOfStatus result;
for (unsigned listIndex = 0; listIndex < list->size(); ++listIndex) {
const AccessCase& access = list->at(listIndex);
if (access.type() == AccessCase::InstanceOfGeneric)
return TakesSlowPath;
if (!access.conditionSet().structuresEnsureValidity())
return TakesSlowPath;
result.appendVariant(InstanceOfVariant(
access.structure(),
access.conditionSet(),
access.as<InstanceOfAccessCase>().prototype(),
access.type() == AccessCase::InstanceOfHit));
}
return result;
}
#endif // ENABLE(DFG_JIT)
JSObject* InstanceOfStatus::commonPrototype() const
{
JSObject* prototype = nullptr;
for (const InstanceOfVariant& variant : m_variants) {
if (!prototype) {
prototype = variant.prototype();
continue;
}
if (prototype != variant.prototype())
return nullptr;
}
return prototype;
}
void InstanceOfStatus::filter(const StructureSet& structureSet)
{
if (m_state != Simple)
return;
filterICStatusVariants(m_variants, structureSet);
if (m_variants.isEmpty())
m_state = NoInformation;
}
}