[llvm-commits] CVS: llvm/lib/Transforms/LevelRaise.cpp

[Chris Lattner]

Changes in directory llvm/lib/Transforms:

LevelRaise.cpp updated: 1.88 -> 1.89

---
Log message:

verifyFunction depends on dominator info, which levelraise does not declare
that it needs.  This is pretty scary code!  This fixes

Regression.Transforms.LevelRaise.2002-07-16-SourceAndDestCrash
Regression.Transforms.LevelRaise.2002-07-31-AssertionFailure



---
Diffs of the changes:  (+0 -5)

Index: llvm/lib/Transforms/LevelRaise.cpp
diff -u llvm/lib/Transforms/LevelRaise.cpp:1.88 llvm/lib/Transforms/LevelRaise.cpp:1.89
--- llvm/lib/Transforms/LevelRaise.cpp:1.88	Tue Nov 11 16:41:33 2003
+++ llvm/lib/Transforms/LevelRaise.cpp	Thu Dec 11 15:47:37 2003
@@ -21,7 +21,6 @@
 #include "llvm/Pass.h"
 #include "llvm/ConstantHandling.h"
 #include "llvm/Analysis/Expressions.h"
-#include "llvm/Analysis/Verifier.h"
 #include "llvm/Transforms/Utils/BasicBlockUtils.h"
 #include "Support/CommandLine.h"
 #include "Support/Debug.h"
@@ -295,8 +294,6 @@
                           << BB->getParent());
         }
 
-        DEBUG(assert(verifyFunction(*BB->getParent()) == false &&
-                     "Function broken!"));
         BI = BB->begin();  // Rescan basic block.  BI might be invalidated.
         ++NumExprTreesConv;
         return true;
@@ -320,8 +317,6 @@
         PRINT_PEEPHOLE1("CAST-DEST-EXPR-CONV:out", Src);
         DEBUG(std::cerr << "DONE CONVERTING EXPR TYPE: \n\n" << BB->getParent());
 
-        DEBUG(assert(verifyFunction(*BB->getParent()) == false &&
-                     "Function broken!"));
         BI = BB->begin();  // Rescan basic block.  BI might be invalidated.
         ++NumExprTreesConv;
         return true;