HomeSort by: relevance | last modified time | path
    Searched defs:Verify (Results 1 - 10 of 10) sorted by relevancy

  /src/external/apache2/llvm/dist/llvm/lib/Analysis/
PHITransAddr.cpp 88 /// Verify - Check internal consistency of this data structure. If the
91 bool PHITransAddr::Verify() const {
316 assert(Verify() && "Invalid PHITransAddr!");
322 assert(Verify() && "Invalid PHITransAddr!");
  /src/external/apache2/llvm/dist/llvm/lib/IR/
InlineAsm.cpp 38 assert(Verify(getFunctionType(), constraints) &&
252 /// Verify - Verify that the specified constraint string is reasonable for the
254 bool InlineAsm::Verify(FunctionType *Ty, StringRef ConstStr) {
SafepointIRVerifier.cpp 1 //===-- SafepointIRVerifier.cpp - Verify gc.statepoint invariants ---------===//
13 // also be used to verify that later transforms have not found a way to break
16 // In its current form, this verify checks a property which is sufficient, but
199 static void Verify(const Function &F, const DominatorTree &DT,
208 Verify(F, DT, CD);
225 Verify(F, DT, CD);
249 INITIALIZE_PASS_BEGIN(SafepointIRVerifier, "verify-safepoint-ir",
252 INITIALIZE_PASS_END(SafepointIRVerifier, "verify-safepoint-ir",
883 static void Verify(const Function &F, const DominatorTree &DT,
  /src/external/apache2/llvm/dist/llvm/include/llvm/Passes/
StandardInstrumentations.h 425 VerifyInstrumentation Verify;
  /src/external/apache2/llvm/dist/llvm/tools/dsymutil/
dsymutil.cpp 93 bool Verify = false;
154 // Verify that the given combination of options makes sense.
226 Options.Verify = Args.hasArg(OPT_verify);
390 static bool verify(StringRef OutputFile, StringRef Arch, bool Verbose) { function
409 bool success = DICtx->verify(os, DumpOpts.noImplicitRecursion());
601 const bool Verify = Options.Verify && !Options.LinkOpts.NoOutput;
661 if (Verify)
662 AllOK.fetch_and(verify(OutputFile, Map->getTriple().getArchName(),
  /src/external/apache2/llvm/dist/clang/lib/Frontend/
VerifyDiagnosticConsumer.cpp 58 VerifyDiagnosticConsumer &Verify;
62 VerifyFileTracker(VerifyDiagnosticConsumer &Verify, SourceManager &SM)
63 : Verify(Verify), SM(SM) {}
70 Verify.UpdateParsedFileStatus(SM, SM.getFileID(Loc),
181 // directive for -verify, and extend the match to include the entire first
211 // or count range. Because -verify prefixes must start with letters,
215 assert(isLetter(*P) && "-verify prefix must start with a letter");
446 // might be multiple matching -verify prefixes because some might prefix
476 // What's left in DToken is the actual prefix. That might not be a -verify
    [all...]
  /src/external/apache2/llvm/dist/llvm/lib/CodeGen/
TargetPassConfig.cpp 117 VerifyMachineCode("verify-machineinstrs", cl::Hidden,
118 cl::desc("Verify generated machine code"),
658 // Helper to verify the analysis is really immutable.
767 bool Verify = VerifyMachineCode == cl::BOU_TRUE;
770 Verify = TM->isMachineVerifierClean();
772 if (Verify)
  /src/external/bsd/libevent/dist/
event_rpcgen.py 476 def Verify(self):
691 def Verify(self):
698 super(EntryBytes, self).Verify()
1559 newentry.Verify()
  /src/external/bsd/ntp/dist/sntp/libevent/
event_rpcgen.py 476 def Verify(self):
691 def Verify(self):
698 super(EntryBytes, self).Verify()
1559 newentry.Verify()
  /src/external/apache2/llvm/dist/llvm/include/llvm/Support/
GenericDomTreeConstruction.h 1331 // be valid, and when that is the case, we don't verify the numbers.
1345 // Verify the root's DFS In number. Although DFS numbering would also work
1355 // For each tree node verify if children's DFS numbers cover their parent's
1426 // The below routines verify the correctness of the dominator tree relative to
1458 // It is possible to verify the parent and sibling properties in linear time,
1601 bool Verify(const DomTreeT &DT, typename DomTreeT::VerificationLevel VL) {
1609 // Common checks to verify the properties of the tree. O(N log N) at worst.

Completed in 67 milliseconds