[PATCH] D67571: [LICM] Don't verify domtree/loopinfo unless EXPENSIVE_CHECKS is enabled.

[Eli Friedman via Phabricator via llvm-commits]

efriedma created this revision.
efriedma added reviewers: fhahn, john.brawn, mkazantsev.
Herald added a subscriber: asbirlea.
Herald added a project: LLVM.

For large functions, verifying the whole function after each loop takes non-linear time.


Repository:
  rL LLVM

https://reviews.llvm.org/D67571

Files:
  lib/Transforms/Scalar/LICM.cpp


Index: lib/Transforms/Scalar/LICM.cpp
===================================================================
--- lib/Transforms/Scalar/LICM.cpp
+++ lib/Transforms/Scalar/LICM.cpp
@@ -962,7 +962,7 @@
 
     // Now that we've finished hoisting make sure that LI and DT are still
     // valid.
-#ifndef NDEBUG
+#ifdef EXPENSIVE_CHECKS
   if (Changed) {
     assert(DT->verify(DominatorTree::VerificationLevel::Fast) &&
            "Dominator tree verification failed");


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D67571.220172.patch
Type: text/x-patch
Size: 465 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190913/610a954c/attachment.bin>