diff options
author | Eric Christopher <echristo@gmail.com> | 2014-04-07 13:55:21 +0000 |
---|---|---|
committer | Eric Christopher <echristo@gmail.com> | 2014-04-07 13:55:21 +0000 |
commit | fc3588b336ebdb092319e1c68b4899d6ce306722 (patch) | |
tree | 5cd07c7a84db6323430bfc24c0d6c104a7058bfb | |
parent | dd455fd120bec3a335a5b15400eb3896cf6e4d0a (diff) | |
download | llvm-fc3588b336ebdb092319e1c68b4899d6ce306722.tar.gz llvm-fc3588b336ebdb092319e1c68b4899d6ce306722.tar.bz2 llvm-fc3588b336ebdb092319e1c68b4899d6ce306722.tar.xz |
Invert the option to enable debug info verification. No functional
change outside of the command line to enable it.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@205713 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/IR/Verifier.cpp | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/lib/IR/Verifier.cpp b/lib/IR/Verifier.cpp index 089ad1ca5f..ddda93cdd1 100644 --- a/lib/IR/Verifier.cpp +++ b/lib/IR/Verifier.cpp @@ -76,8 +76,7 @@ #include <cstdarg> using namespace llvm; -static cl::opt<bool> DisableDebugInfoVerifier("disable-debug-info-verifier", - cl::init(true)); +static cl::opt<bool> VerifyDebugInfo("verify-debug-info", cl::init(false)); namespace { class Verifier : public InstVisitor<Verifier> { @@ -149,7 +148,7 @@ public: InstsInThisBlock.clear(); PersonalityFn = 0; - if (!DisableDebugInfoVerifier) + if (VerifyDebugInfo) // Verify Debug Info. verifyDebugInfo(); @@ -187,7 +186,7 @@ public: visitModuleFlags(M); visitModuleIdents(M); - if (!DisableDebugInfoVerifier) { + if (VerifyDebugInfo) { Finder.reset(); Finder.processModule(M); // Verify Debug Info. @@ -2103,7 +2102,7 @@ void Verifier::visitInstruction(Instruction &I) { MDNode *MD = I.getMetadata(LLVMContext::MD_range); Assert1(!MD || isa<LoadInst>(I), "Ranges are only for loads!", &I); - if (!DisableDebugInfoVerifier) { + if (VerifyDebugInfo) { MD = I.getMetadata(LLVMContext::MD_dbg); Finder.processLocation(*M, DILocation(MD)); } @@ -2307,11 +2306,11 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) { MDNode *MD = cast<MDNode>(CI.getArgOperand(0)); Assert1(MD->getNumOperands() == 1, "invalid llvm.dbg.declare intrinsic call 2", &CI); - if (!DisableDebugInfoVerifier) + if (VerifyDebugInfo) Finder.processDeclare(*M, cast<DbgDeclareInst>(&CI)); } break; case Intrinsic::dbg_value: { //llvm.dbg.value - if (!DisableDebugInfoVerifier) { + if (VerifyDebugInfo) { Assert1(CI.getArgOperand(0) && isa<MDNode>(CI.getArgOperand(0)), "invalid llvm.dbg.value intrinsic call 1", &CI); Finder.processValue(*M, cast<DbgValueInst>(&CI)); @@ -2381,7 +2380,7 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) { void Verifier::verifyDebugInfo() { // Verify Debug Info. - if (!DisableDebugInfoVerifier) { + if (VerifyDebugInfo) { for (DICompileUnit CU : Finder.compile_units()) { Assert1(CU.Verify(), "DICompileUnit does not Verify!", CU); } |