diff options
author | Yevgeny Rouban <yevgeny.rouban@azul.com> | 2019-04-29 13:29:55 +0000 |
---|---|---|
committer | Yevgeny Rouban <yevgeny.rouban@azul.com> | 2019-04-29 13:29:55 +0000 |
commit | 0822bfc6de4b65dab5161a20429b6bc11c2c47bd (patch) | |
tree | b577253d6080e8c5693635187cd3a6de52d596c0 /llvm/lib/Transforms | |
parent | bc4d3c43a37ba43c167f829cfd8461bc21442630 (diff) | |
download | bcm5719-llvm-0822bfc6de4b65dab5161a20429b6bc11c2c47bd.tar.gz bcm5719-llvm-0822bfc6de4b65dab5161a20429b6bc11c2c47bd.zip |
[LoopSimplifyCFG] Suppress expensive DomTree verification
This patch makes verification level lower for builds with
inexpensive checks.
Differential Revision: https://reviews.llvm.org/D61055
llvm-svn: 359446
Diffstat (limited to 'llvm/lib/Transforms')
-rw-r--r-- | llvm/lib/Transforms/Scalar/LoopSimplifyCFG.cpp | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/llvm/lib/Transforms/Scalar/LoopSimplifyCFG.cpp b/llvm/lib/Transforms/Scalar/LoopSimplifyCFG.cpp index b565cb9c236..9fa4afb8217 100644 --- a/llvm/lib/Transforms/Scalar/LoopSimplifyCFG.cpp +++ b/llvm/lib/Transforms/Scalar/LoopSimplifyCFG.cpp @@ -598,7 +598,13 @@ public: #ifndef NDEBUG // Make sure that we have preserved all data structures after the transform. - assert(DT.verify() && "DT broken after transform!"); +#if defined(EXPENSIVE_CHECKS) + assert(DT.verify(DominatorTree::VerificationLevel::Full) && + "DT broken after transform!"); +#else + assert(DT.verify(DominatorTree::VerificationLevel::Fast) && + "DT broken after transform!"); +#endif assert(DT.isReachableFromEntry(Header)); LI.verify(DT); #endif |