From 027253b0d576eddda6cbac62e2531b5f132060c2 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Thu, 11 Dec 2003 21:47:37 +0000 Subject: 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 llvm-svn: 10406 --- llvm/lib/Transforms/LevelRaise.cpp | 5 ----- 1 file changed, 5 deletions(-) (limited to 'llvm/lib/Transforms/LevelRaise.cpp') diff --git a/llvm/lib/Transforms/LevelRaise.cpp b/llvm/lib/Transforms/LevelRaise.cpp index c5be82fca7b..3dcb501bbb7 100644 --- a/llvm/lib/Transforms/LevelRaise.cpp +++ b/llvm/lib/Transforms/LevelRaise.cpp @@ -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 @@ bool RPR::PeepholeOptimize(BasicBlock *BB, BasicBlock::iterator &BI) { << 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 @@ bool RPR::PeepholeOptimize(BasicBlock *BB, BasicBlock::iterator &BI) { 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; -- cgit v1.2.3