From 10f22cb1a0f2755050218cd0e07221a0985c6b63 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Fri, 7 Mar 2003 18:17:13 +0000
Subject: [PATCH] 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
---
 tools/bugpoint/ExtractFunction.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tools/bugpoint/ExtractFunction.cpp b/tools/bugpoint/ExtractFunction.cpp
index c99c8f32b5f..007b726c2e4 100644
--- 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;