Make sure that intermediate code is verifier clean to avoid wierd problems.

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

diff --git a/tools/bugpoint/ExtractFunction.cpp b/tools/bugpoint/ExtractFunction.cpp
index c99c8f32b5ff316220d3bf4e9f4169bcfbbff6af..007b726c2e4be36dd4f99304e36d71ad4cf83b99 100644 (file)
--- a/tools/bugpoint/ExtractFunction.cpp
+++ b/tools/bugpoint/ExtractFunction.cpp
@@ -11,6 +11,7 @@
 #include "llvm/Transforms/IPO.h"
 #include "llvm/Transforms/Scalar.h"
 #include "llvm/Transforms/Utils/Cloning.h"
+#include "llvm/Analysis/Verifier.h"
 #include "llvm/Type.h"
 #include "llvm/Constant.h"
 
@@ -33,6 +34,7 @@ Module *BugDriver::extractFunctionFromModule(Function *F) const {
   Passes.add(createGlobalDCEPass());              // Delete unreachable globals
   Passes.add(createFunctionResolvingPass());      // Delete prototypes
   Passes.add(createDeadTypeEliminationPass());    // Remove dead types...
+  Passes.add(createVerifierPass());
   Passes.run(*Result);
   return Result;
 }
@@ -78,6 +80,8 @@ Module *BugDriver::deleteInstructionFromProgram(Instruction *I,
     Passes.add(createDeadCodeEliminationPass());
   if (Simplification)
     Passes.add(createCFGSimplificationPass());      // Delete dead control flow
+
+  Passes.add(createVerifierPass());
   Passes.run(*Result);
   return Result;
 }
@@ -90,6 +94,7 @@ Module *BugDriver::performFinalCleanups() const {
   PassManager CleanupPasses;
   CleanupPasses.add(createFunctionResolvingPass());
   CleanupPasses.add(createGlobalDCEPass());
+  CleanupPasses.add(createVerifierPass());
   Module *M = CloneModule(Program);
   CleanupPasses.run(*M);
   return M;