Add a preverifier pass to check that every basic block ends in a terminator, so that...

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@43578 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index 68c30bbc638ed4bdeb456b91cdc596e7b4567c01..afb90d44566b1a6b14190d760c8c1b9f4d0ed916 100644 (file)
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -71,7 +71,25 @@ namespace {  // Anonymous namespace for class
   cl::opt<bool>
   Pedantic("verify-pedantic",
            cl::desc("Reject code with undefined behaviour"));
-    
+  
+  struct VISIBILITY_HIDDEN PreVerifier : public FunctionPass {
+       static char ID; // Pass ID, replacement for typeid
+       
+       PreVerifier() : FunctionPass((intptr_t)&ID) { }
+       
+       bool runOnFunction(Function &F) {
+      for (Function::iterator I = F.begin(), E = F.end(); I != E; ++I)
+        assert(I->back().isTerminator()
+               && "Block does not end with a terminator?");
+      
+      return false;
+       }
+  };
+  
+  char PreVerifier::ID = 0;
+  RegisterPass<PreVerifier> PreVer("preverify", "Preliminary module verification");
+  const PassInfo *PreVerifyID = PreVer.getPassInfo();
+  
   struct VISIBILITY_HIDDEN
      Verifier : public FunctionPass, InstVisitor<Verifier> {
     static char ID; // Pass ID, replacement for typeid
@@ -161,6 +179,7 @@ namespace {  // Anonymous namespace for class
 
     virtual void getAnalysisUsage(AnalysisUsage &AU) const {
       AU.setPreservesAll();
+      AU.addRequiredID(PreVerifyID);
       if (RealPass)
         AU.addRequired<DominatorTree>();
     }