[PATCH] D113028: [LoopPeel] Add EXPENSIVE_CHECKS ifdef guard around domtree verify call

[Eli Friedman via Phabricator via llvm-commits]

This revision was automatically updated to reflect the committed changes.
Closed by commit rG2f6c14816abc: [LoopPeel] Add EXPENSIVE_CHECKS ifdef guard around domtree verify call (authored by steplong, committed by efriedma).
Herald added a project: All.

Changed prior to commit:
  https://reviews.llvm.org/D113028?vs=384142&id=412475#toc

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D113028/new/

https://reviews.llvm.org/D113028

Files:
  llvm/lib/Transforms/Utils/LoopPeel.cpp


Index: llvm/lib/Transforms/Utils/LoopPeel.cpp
===================================================================
--- llvm/lib/Transforms/Utils/LoopPeel.cpp
+++ llvm/lib/Transforms/Utils/LoopPeel.cpp
@@ -904,8 +904,10 @@
   // We modified the loop, update SE.
   SE->forgetTopmostLoop(L);
 
+#ifdef EXPENSIVE_CHECKS
   // Finally DomtTree must be correct.
   assert(DT.verify(DominatorTree::VerificationLevel::Fast));
+#endif
 
   // FIXME: Incrementally update loop-simplify
   simplifyLoop(L, &DT, LI, SE, AC, nullptr, PreserveLCSSA);


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D113028.412475.patch
Type: text/x-patch
Size: 537 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220302/28ef0dfd/attachment.bin>