llvm.org GIT mirror llvm / c5be1fd
[UnrollRuntime] Add DomTree verification under debug mode NFC: This adds the dom tree verification under debug mode at a point just before we start unrolling the loop. This allows us to verify dom tree at a state where it is much smaller and before the unrolling actually happens. This also implies we do not need to run -verify-dom-info everytime to see if the DT is in a valid state when we transform the loop for runtime unrolling. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@350334 91177308-0d34-0410-b5e6-96231b3b80d8 Anna Thomas 10 months ago
1 changed file(s) with 6 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all
926926 // of its parent loops, so the Scalar Evolution pass needs to be run again.
927927 SE->forgetTopmostLoop(L);
929 // Verify that the Dom Tree is correct.
930 #if !defined(NDEBUG)
931 if (DT)
932 assert(DT->verify(DominatorTree::VerificationLevel::Full));
933 #endif
929935 // Canonicalize to LoopSimplifyForm both original and remainder loops. We
930936 // cannot rely on the LoopUnrollPass to do this because it only does
931937 // canonicalization for parent/subloops and not the sibling loops.