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/Vectorize | |
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/Vectorize')
-rw-r--r-- | llvm/lib/Transforms/Vectorize/LoopVectorize.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp b/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp index 963dad5ff20..47a767ccbbe 100644 --- a/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp +++ b/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp @@ -4779,7 +4779,7 @@ void InnerLoopVectorizer::updateAnalysis() { DT->addNewBlock(LoopScalarPreHeader, LoopBypassBlocks[0]); DT->changeImmediateDominator(LoopScalarBody, LoopScalarPreHeader); DT->changeImmediateDominator(LoopExitBlock, LoopBypassBlocks[0]); - DEBUG(DT->verifyDomTree()); + assert(DT->verify(DominatorTree::VerificationLevel::Fast)); } /// \brief Check whether it is safe to if-convert this phi node. |