[llvm-commits] CVS: llvm/tools/bugpoint/ExtractFunction.cpp

[Chris Lattner]

Changes in directory llvm/tools/bugpoint:

ExtractFunction.cpp updated: 1.3 -> 1.4

---
Log message:

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


---
Diffs of the changes:

Index: llvm/tools/bugpoint/ExtractFunction.cpp
diff -u llvm/tools/bugpoint/ExtractFunction.cpp:1.3 llvm/tools/bugpoint/ExtractFunction.cpp:1.4
--- llvm/tools/bugpoint/ExtractFunction.cpp:1.3	Fri Feb 28 10:13:20 2003
+++ llvm/tools/bugpoint/ExtractFunction.cpp	Fri Mar  7 12:17:13 2003
@@ -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 @@
   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 @@
     Passes.add(createDeadCodeEliminationPass());
   if (Simplification)
     Passes.add(createCFGSimplificationPass());      // Delete dead control flow
+
+  Passes.add(createVerifierPass());
   Passes.run(*Result);
   return Result;
 }
@@ -90,6 +94,7 @@
   PassManager CleanupPasses;
   CleanupPasses.add(createFunctionResolvingPass());
   CleanupPasses.add(createGlobalDCEPass());
+  CleanupPasses.add(createVerifierPass());
   Module *M = CloneModule(Program);
   CleanupPasses.run(*M);
   return M;