maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

When failing a Verifier assertion, use WriteAsOperand to print out the 

offending types and/or values.

llvm-svn: 10041
This commit is contained in:
Brian Gaeke 2003-11-16 23:07:42 +00:00
parent eb3de8f39a
commit 9f47927b28
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
llvm/lib/VMCore/Verifier.cpp
View File

@ -40,6 +40,7 @@
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
#include "llvm/Analysis/Verifier.h" #include "llvm/Analysis/Verifier.h"
#include "llvm/Assembly/Writer.h"
#include "llvm/Pass.h" #include "llvm/Pass.h"
#include "llvm/Module.h" #include "llvm/Module.h"
#include "llvm/DerivedTypes.h" #include "llvm/DerivedTypes.h"
@ -65,7 +66,7 @@ namespace { // Anonymous namespace for class
bool Broken; // Is this module found to be broken? bool Broken; // Is this module found to be broken?
bool RealPass; // Are we not being run by a PassManager? bool RealPass; // Are we not being run by a PassManager?
bool AbortBroken; // If broken, should it or should it not abort? bool AbortBroken; // If broken, should it or should it not abort?
Module *Mod; // Module we are verifying right now
DominatorSet *DS; // Dominator set, caution can be null! DominatorSet *DS; // Dominator set, caution can be null!
Verifier() : Broken(false), RealPass(true), AbortBroken(true), DS(0) {} Verifier() : Broken(false), RealPass(true), AbortBroken(true), DS(0) {}
@ -75,6 +76,7 @@ namespace { // Anonymous namespace for class
bool doInitialization(Module &M) { bool doInitialization(Module &M) {
Mod = &M;
verifySymbolTable(M.getSymbolTable()); verifySymbolTable(M.getSymbolTable());
// If this is a real pass, in a pass manager, we must abort before // If this is a real pass, in a pass manager, we must abort before
@ -161,10 +163,10 @@ namespace { // Anonymous namespace for class
const Value *V1 = 0, const Value *V2 = 0, const Value *V1 = 0, const Value *V2 = 0,
const Value *V3 = 0, const Value *V4 = 0) { const Value *V3 = 0, const Value *V4 = 0) {
std::cerr << Message << "\n"; std::cerr << Message << "\n";
if (V1) std::cerr << *V1 << "\n"; if (V1) { WriteAsOperand (std::cerr, V1, true, true, Mod); std::cerr << "\n"; }
if (V2) std::cerr << *V2 << "\n"; if (V2) { WriteAsOperand (std::cerr, V2, true, true, Mod); std::cerr << "\n"; }
if (V3) std::cerr << *V3 << "\n"; if (V3) { WriteAsOperand (std::cerr, V3, true, true, Mod); std::cerr << "\n"; }
if (V4) std::cerr << *V4 << "\n"; if (V4) { WriteAsOperand (std::cerr, V4, true, true, Mod); std::cerr << "\n"; }
Broken = true; Broken = true;
} }
}; };