DFGInferredTypeCheck.cpp [plain text]
#include "config.h"
#include "DFGInferredTypeCheck.h"
#if ENABLE(DFG_JIT)
#include "JSCInlines.h"
namespace JSC { namespace DFG {
void insertInferredTypeCheck(
InsertionSet& insertionSet, unsigned nodeIndex, NodeOrigin origin, Node* baseNode,
const InferredType::Descriptor& type)
{
insertionSet.graph().registerInferredType(type);
switch (type.kind()) {
case InferredType::Bottom:
insertionSet.insertNode(nodeIndex, SpecNone, ForceOSRExit, origin);
return;
case InferredType::Boolean:
insertionSet.insertNode(nodeIndex, SpecNone, Check, origin, Edge(baseNode, BooleanUse));
return;
case InferredType::Other:
insertionSet.insertNode(nodeIndex, SpecNone, Check, origin, Edge(baseNode, OtherUse));
return;
case InferredType::Int32:
insertionSet.insertNode(nodeIndex, SpecNone, Check, origin, Edge(baseNode, Int32Use));
return;
case InferredType::Number:
insertionSet.insertNode(nodeIndex, SpecNone, Check, origin, Edge(baseNode, NumberUse));
return;
case InferredType::String:
insertionSet.insertNode(nodeIndex, SpecNone, Check, origin, Edge(baseNode, StringUse));
return;
case InferredType::Symbol:
insertionSet.insertNode(nodeIndex, SpecNone, Check, origin, Edge(baseNode, SymbolUse));
return;
case InferredType::ObjectWithStructure:
insertionSet.insertNode(
nodeIndex, SpecNone, CheckStructure, origin,
OpInfo(insertionSet.graph().addStructureSet(type.structure())),
Edge(baseNode, CellUse));
return;
case InferredType::ObjectWithStructureOrOther:
insertionSet.insertNode(
nodeIndex, SpecNone, CheckStructure, origin,
OpInfo(insertionSet.graph().addStructureSet(type.structure())),
Edge(baseNode, CellOrOtherUse));
return;
case InferredType::Object:
insertionSet.insertNode(nodeIndex, SpecNone, Check, origin, Edge(baseNode, ObjectUse));
return;
case InferredType::ObjectOrOther:
insertionSet.insertNode(nodeIndex, SpecNone, Check, origin, Edge(baseNode, ObjectOrOtherUse));
return;
case InferredType::Top:
return;
}
DFG_CRASH(insertionSet.graph(), baseNode, "Bad inferred type");
}
} }
#endif // ENABLE(DFG_JIT)