diff options
| author | David Green <david.green@arm.com> | 2018-02-28 11:00:08 +0000 |
|---|---|---|
| committer | David Green <david.green@arm.com> | 2018-02-28 11:00:08 +0000 |
| commit | 7c35de124abd754b8e98f67be848a37c0b8d975e (patch) | |
| tree | 11f0b4013f548bc9ff1243cadb7429a0e64b671f /llvm/lib/Transforms/Utils/LoopUnrollPeel.cpp | |
| parent | a94a4308e1bccddfa76d7836ad6c2ddf401caa09 (diff) | |
| download | bcm5719-llvm-7c35de124abd754b8e98f67be848a37c0b8d975e.tar.gz bcm5719-llvm-7c35de124abd754b8e98f67be848a37c0b8d975e.zip | |
[Dominators] Remove verifyDomTree and add some verifying for Post Dom Trees
Removes verifyDomTree, using assert(verify()) everywhere instead, and
changes verify a little to always run IsSameAsFreshTree first in order
to print good output when we find errors. Also adds verifyAnalysis for
PostDomTrees, which will allow checking of PostDomTrees it the same way
we check DomTrees and MachineDomTrees.
Differential Revision: https://reviews.llvm.org/D41298
llvm-svn: 326315
Diffstat (limited to 'llvm/lib/Transforms/Utils/LoopUnrollPeel.cpp')
| -rw-r--r-- | llvm/lib/Transforms/Utils/LoopUnrollPeel.cpp | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/llvm/lib/Transforms/Utils/LoopUnrollPeel.cpp b/llvm/lib/Transforms/Utils/LoopUnrollPeel.cpp index 4642a50ba6d..13749300984 100644 --- a/llvm/lib/Transforms/Utils/LoopUnrollPeel.cpp +++ b/llvm/lib/Transforms/Utils/LoopUnrollPeel.cpp @@ -500,10 +500,7 @@ bool llvm::peelLoop(Loop *L, unsigned PeelCount, LoopInfo *LI, // the original loop body. if (Iter == 0) DT->changeImmediateDominator(Exit, cast<BasicBlock>(LVMap[Latch])); -#ifndef NDEBUG - if (VerifyDomInfo) - DT->verifyDomTree(); -#endif + assert(DT->verify(DominatorTree::VerificationLevel::Fast)); } updateBranchWeights(InsertBot, cast<BranchInst>(VMap[LatchBR]), Iter, |
