From 13015151972a5be8d7aad94b49e42de990516cc8 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Thu, 11 Dec 2003 21:47:37 +0000 Subject: [PATCH] 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 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10406 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Transforms/LevelRaise.cpp | 5 ----- 1 file changed, 5 deletions(-) diff --git a/lib/Transforms/LevelRaise.cpp b/lib/Transforms/LevelRaise.cpp index c5be82fca7b..3dcb501bbb7 100644 --- a/lib/Transforms/LevelRaise.cpp +++ b/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; -- 2.34.1