DFGAbstractValue.cpp [plain text]
#include "config.h"
#include "DFGAbstractValue.h"
#if ENABLE(DFG_JIT)
#include "DFGGraph.h"
#include "JSCInlines.h"
#include "TrackedReferences.h"
namespace JSC { namespace DFG {
void AbstractValue::observeTransitions(const TransitionVector& vector)
{
if (m_type & SpecCell) {
m_structure.observeTransitions(vector);
ArrayModes newModes = 0;
for (unsigned i = vector.size(); i--;) {
if (m_arrayModes & asArrayModes(vector[i].previous->indexingType()))
newModes |= asArrayModes(vector[i].next->indexingType());
}
m_arrayModes |= newModes;
}
checkConsistency();
}
void AbstractValue::set(Graph& graph, const FrozenValue& value, StructureClobberState clobberState)
{
if (!!value && value.value().isCell()) {
Structure* structure = value.structure();
StructureRegistrationResult result;
RegisteredStructure RegisteredStructure = graph.registerStructure(structure, result);
if (result == StructureRegisteredAndWatched) {
m_structure = RegisteredStructure;
if (clobberState == StructuresAreClobbered) {
m_arrayModes = ALL_ARRAY_MODES;
m_structure.clobber();
} else
m_arrayModes = asArrayModes(structure->indexingType());
} else {
m_structure.makeTop();
m_arrayModes = ALL_ARRAY_MODES;
}
} else {
m_structure.clear();
m_arrayModes = 0;
}
m_type = speculationFromValue(value.value());
m_value = value.value();
checkConsistency();
assertIsRegistered(graph);
}
void AbstractValue::set(Graph& graph, Structure* structure)
{
set(graph, graph.registerStructure(structure));
}
void AbstractValue::set(Graph& graph, RegisteredStructure structure)
{
RELEASE_ASSERT(structure);
m_structure = structure;
m_arrayModes = asArrayModes(structure->indexingType());
m_type = speculationFromStructure(structure.get());
m_value = JSValue();
checkConsistency();
assertIsRegistered(graph);
}
void AbstractValue::set(Graph& graph, const RegisteredStructureSet& set)
{
m_structure = set;
m_arrayModes = set.arrayModesFromStructures();
m_type = set.speculationFromStructures();
m_value = JSValue();
checkConsistency();
assertIsRegistered(graph);
}
void AbstractValue::setType(Graph& graph, SpeculatedType type)
{
SpeculatedType cellType = type & SpecCell;
if (cellType) {
if (!(cellType & ~SpecString))
m_structure = graph.stringStructure;
else if (isSymbolSpeculation(cellType))
m_structure = graph.symbolStructure;
else
m_structure.makeTop();
m_arrayModes = ALL_ARRAY_MODES;
} else {
m_structure.clear();
m_arrayModes = 0;
}
m_type = type;
m_value = JSValue();
checkConsistency();
}
void AbstractValue::set(Graph& graph, const InferredType::Descriptor& descriptor)
{
switch (descriptor.kind()) {
case InferredType::Bottom:
clear();
return;
case InferredType::Boolean:
setType(SpecBoolean);
return;
case InferredType::Other:
setType(SpecOther);
return;
case InferredType::Int32:
setType(SpecInt32Only);
return;
case InferredType::Number:
setType(SpecBytecodeNumber);
return;
case InferredType::String:
set(graph, graph.m_vm.stringStructure.get());
return;
case InferredType::Symbol:
set(graph, graph.m_vm.symbolStructure.get());
return;
case InferredType::ObjectWithStructure:
set(graph, descriptor.structure());
return;
case InferredType::ObjectWithStructureOrOther:
set(graph, descriptor.structure());
merge(SpecOther);
return;
case InferredType::Object:
setType(graph, SpecObject);
return;
case InferredType::ObjectOrOther:
setType(graph, SpecObject | SpecOther);
return;
case InferredType::Top:
makeHeapTop();
return;
}
RELEASE_ASSERT_NOT_REACHED();
}
void AbstractValue::set(
Graph& graph, const InferredType::Descriptor& descriptor, StructureClobberState clobberState)
{
set(graph, descriptor);
if (clobberState == StructuresAreClobbered)
clobberStructures();
}
void AbstractValue::fixTypeForRepresentation(Graph& graph, NodeFlags representation, Node* node)
{
if (representation == NodeResultDouble) {
if (m_value) {
ASSERT(m_value.isNumber());
if (m_value.isInt32())
m_value = jsDoubleNumber(m_value.asNumber());
}
if (m_type & SpecAnyInt) {
m_type &= ~SpecAnyInt;
m_type |= SpecAnyIntAsDouble;
}
if (m_type & ~SpecFullDouble)
DFG_CRASH(graph, node, toCString("Abstract value ", *this, " for double node has type outside SpecFullDouble.\n").data());
} else if (representation == NodeResultInt52) {
if (m_type & SpecAnyIntAsDouble) {
m_type &= ~SpecAnyIntAsDouble;
m_type |= SpecInt52Only;
}
if (m_type & ~SpecAnyInt)
DFG_CRASH(graph, node, toCString("Abstract value ", *this, " for int52 node has type outside SpecAnyInt.\n").data());
} else {
if (m_type & SpecInt52Only) {
m_type &= ~SpecInt52Only;
m_type |= SpecAnyIntAsDouble;
}
if (m_type & ~SpecBytecodeTop)
DFG_CRASH(graph, node, toCString("Abstract value ", *this, " for value node has type outside SpecBytecodeTop.\n").data());
}
checkConsistency();
}
void AbstractValue::fixTypeForRepresentation(Graph& graph, Node* node)
{
fixTypeForRepresentation(graph, node->result(), node);
}
bool AbstractValue::mergeOSREntryValue(Graph& graph, JSValue value)
{
AbstractValue oldMe = *this;
if (isClear()) {
FrozenValue* frozenValue = graph.freeze(value);
if (frozenValue->pointsToHeap()) {
m_structure = graph.registerStructure(frozenValue->structure());
m_arrayModes = asArrayModes(frozenValue->structure()->indexingType());
} else {
m_structure.clear();
m_arrayModes = 0;
}
m_type = speculationFromValue(value);
m_value = value;
} else {
mergeSpeculation(m_type, speculationFromValue(value));
if (!!value && value.isCell()) {
RegisteredStructure structure = graph.registerStructure(value.asCell()->structure());
mergeArrayModes(m_arrayModes, asArrayModes(structure->indexingType()));
m_structure.merge(RegisteredStructureSet(structure));
}
if (m_value != value)
m_value = JSValue();
}
checkConsistency();
assertIsRegistered(graph);
return oldMe != *this;
}
bool AbstractValue::isType(Graph& graph, const InferredType::Descriptor& inferredType) const
{
AbstractValue typeValue;
typeValue.set(graph, inferredType);
AbstractValue mergedValue = *this;
mergedValue.merge(typeValue);
return mergedValue == typeValue;
}
FiltrationResult AbstractValue::filter(
Graph& graph, const RegisteredStructureSet& other, SpeculatedType admittedTypes)
{
ASSERT(!(admittedTypes & SpecCell));
if (isClear())
return FiltrationOK;
m_type &= other.speculationFromStructures() | admittedTypes;
m_arrayModes &= other.arrayModesFromStructures();
m_structure.filter(other);
m_structure.filter(m_type);
filterArrayModesByType();
filterValueByType();
return normalizeClarity(graph);
}
FiltrationResult AbstractValue::changeStructure(Graph& graph, const RegisteredStructureSet& other)
{
m_type &= other.speculationFromStructures();
m_arrayModes = other.arrayModesFromStructures();
m_structure = other;
filterValueByType();
return normalizeClarity(graph);
}
FiltrationResult AbstractValue::filterArrayModes(ArrayModes arrayModes)
{
ASSERT(arrayModes);
if (isClear())
return FiltrationOK;
m_type &= SpecCell;
m_arrayModes &= arrayModes;
return normalizeClarity();
}
FiltrationResult AbstractValue::filterClassInfo(Graph& graph, const ClassInfo* classInfo)
{
if (isClear())
return FiltrationOK;
m_type &= speculationFromClassInfo(classInfo);
m_structure.filterClassInfo(classInfo);
m_structure.filter(m_type);
filterArrayModesByType();
filterValueByType();
return normalizeClarity(graph);
}
FiltrationResult AbstractValue::filter(SpeculatedType type)
{
if ((m_type & type) == m_type)
return FiltrationOK;
if (!(m_type & SpecCell)) {
m_type &= type;
FiltrationResult result;
if (m_type == SpecNone) {
clear();
result = Contradiction;
} else
result = FiltrationOK;
checkConsistency();
return result;
}
m_type &= type;
m_structure.filter(m_type);
filterArrayModesByType();
filterValueByType();
return normalizeClarity();
}
FiltrationResult AbstractValue::filterByValue(const FrozenValue& value)
{
FiltrationResult result = filter(speculationFromValue(value.value()));
if (m_type)
m_value = value.value();
return result;
}
bool AbstractValue::contains(RegisteredStructure structure) const
{
return couldBeType(speculationFromStructure(structure.get()))
&& (m_arrayModes & arrayModeFromStructure(structure.get()))
&& m_structure.contains(structure);
}
FiltrationResult AbstractValue::filter(const AbstractValue& other)
{
m_type &= other.m_type;
m_structure.filter(other.m_structure);
m_arrayModes &= other.m_arrayModes;
m_structure.filter(m_type);
filterArrayModesByType();
filterValueByType();
if (normalizeClarity() == Contradiction)
return Contradiction;
if (m_value == other.m_value)
return FiltrationOK;
if (!m_value) {
m_value = other.m_value;
return FiltrationOK;
}
if (!other.m_value) {
return FiltrationOK;
}
clear();
return Contradiction;
}
FiltrationResult AbstractValue::filter(Graph& graph, const InferredType::Descriptor& descriptor)
{
AbstractValue filterValue;
filterValue.set(graph, descriptor);
return filter(filterValue);
}
void AbstractValue::filterValueByType()
{
if (!!m_type) {
if (m_value && !validateType(m_value))
clear();
return;
}
ASSERT(!m_value || !validateType(m_value));
m_value = JSValue();
}
void AbstractValue::filterArrayModesByType()
{
if (!(m_type & SpecCell))
m_arrayModes = 0;
else if (!(m_type & ~SpecArray))
m_arrayModes &= ALL_ARRAY_ARRAY_MODES;
}
bool AbstractValue::shouldBeClear() const
{
if (m_type == SpecNone)
return true;
if (!(m_type & ~SpecCell)
&& (!m_arrayModes || m_structure.isClear()))
return true;
return false;
}
FiltrationResult AbstractValue::normalizeClarity()
{
FiltrationResult result;
if (shouldBeClear()) {
clear();
result = Contradiction;
} else
result = FiltrationOK;
checkConsistency();
return result;
}
FiltrationResult AbstractValue::normalizeClarity(Graph& graph)
{
FiltrationResult result = normalizeClarity();
assertIsRegistered(graph);
return result;
}
#if !ASSERT_DISABLED
void AbstractValue::checkConsistency() const
{
if (!(m_type & SpecCell)) {
ASSERT(m_structure.isClear());
ASSERT(!m_arrayModes);
}
if (isClear())
ASSERT(!m_value);
if (!!m_value) {
SpeculatedType type = m_type;
if (type & SpecInt52Only)
type |= SpecAnyIntAsDouble;
ASSERT(mergeSpeculations(type, speculationFromValue(m_value)) == type);
}
}
void AbstractValue::assertIsRegistered(Graph& graph) const
{
m_structure.assertIsRegistered(graph);
}
#endif
ResultType AbstractValue::resultType() const
{
ASSERT(isType(SpecBytecodeTop));
if (isType(SpecBoolean))
return ResultType::booleanType();
if (isType(SpecInt32Only))
return ResultType::numberTypeIsInt32();
if (isType(SpecBytecodeNumber))
return ResultType::numberType();
if (isType(SpecString))
return ResultType::stringType();
if (isType(SpecString | SpecBytecodeNumber))
return ResultType::stringOrNumberType();
return ResultType::unknownType();
}
void AbstractValue::dump(PrintStream& out) const
{
dumpInContext(out, 0);
}
void AbstractValue::dumpInContext(PrintStream& out, DumpContext* context) const
{
out.print("(", SpeculationDump(m_type));
if (m_type & SpecCell) {
out.print(
", ", ArrayModesDump(m_arrayModes), ", ",
inContext(m_structure, context));
}
if (!!m_value)
out.print(", ", inContext(m_value, context));
out.print(")");
}
void AbstractValue::validateReferences(const TrackedReferences& trackedReferences)
{
trackedReferences.check(m_value);
m_structure.validateReferences(trackedReferences);
}
#if USE(JSVALUE64) && !defined(NDEBUG)
void AbstractValue::ensureCanInitializeWithZeros()
{
std::aligned_storage<sizeof(AbstractValue), alignof(AbstractValue)>::type zeroFilledStorage;
memset(static_cast<void*>(&zeroFilledStorage), 0, sizeof(AbstractValue));
ASSERT(*this == *static_cast<AbstractValue*>(static_cast<void*>(&zeroFilledStorage)));
}
#endif
} }
#endif // ENABLE(DFG_JIT)