Searched refs:NeedsCheck (Results 1 - 4 of 4) sorted by relevance

/macosx-10.10.1/JavaScriptCore-7600.1.17/dfg/
H A DDFGCommon.h222 enum ProofStatus { NeedsCheck, IsProved }; enumerator in enum:JSC::DFG::ProofStatus
226 ASSERT(proofStatus == IsProved || proofStatus == NeedsCheck);
232 return isProved ? IsProved : NeedsCheck;
H A DDFGCommon.cpp115 case NeedsCheck:
116 out.print("NeedsCheck");
H A DDFGEdge.h40 explicit Edge(Node* node = 0, UseKind useKind = UntypedUse, ProofStatus proofStatus = NeedsCheck, KillStatus killStatus = DoesNotKill) argument
120 return proofStatus() == NeedsCheck;
159 result.m_encodedWord = makeWord(node(), useKindUnchecked(), NeedsCheck, DoesNotKill);
161 result.m_encodedWord = makeWord(useKindUnchecked(), NeedsCheck, DoesNotKill);
H A DDFGAbstractInterpreter.h178 edge.setProofStatus(NeedsCheck);

Completed in 43 milliseconds