[llvm] r352621 - Properly use DT.verify in LoopSimplifyCFG

Max Kazantsev via llvm-commits llvm-commits at lists.llvm.org
Wed Jan 30 04:32:19 PST 2019


Author: mkazantsev
Date: Wed Jan 30 04:32:19 2019
New Revision: 352621

URL: http://llvm.org/viewvc/llvm-project?rev=352621&view=rev
Log:
Properly use DT.verify in LoopSimplifyCFG

Modified:
    llvm/trunk/lib/Transforms/Scalar/LoopSimplifyCFG.cpp

Modified: llvm/trunk/lib/Transforms/Scalar/LoopSimplifyCFG.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Scalar/LoopSimplifyCFG.cpp?rev=352621&r1=352620&r2=352621&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/Scalar/LoopSimplifyCFG.cpp (original)
+++ llvm/trunk/lib/Transforms/Scalar/LoopSimplifyCFG.cpp Wed Jan 30 04:32:19 2019
@@ -541,7 +541,7 @@ public:
 
 #ifndef NDEBUG
     // Make sure that we have preserved all data structures after the transform.
-    DT.verify();
+    assert(DT.verify() && "DT broken after transform!");
     assert(DT.isReachableFromEntry(L.getHeader()));
     LI.verify(DT);
 #endif




More information about the llvm-commits mailing list