diff options
author | Alina Sbirlea <asbirlea@google.com> | 2020-06-11 18:16:33 -0700 |
---|---|---|
committer | Alina Sbirlea <asbirlea@google.com> | 2020-06-11 18:48:41 -0700 |
commit | 519b019a0a6cd50b34c90d1ec7004bb802d680e8 (patch) | |
tree | 0057778386366423ec77895a466fae5e32f2196a /llvm/lib/Transforms/Utils/LoopUtils.cpp | |
parent | 10bd67c1bd462b422b865bc2ba63fda75af90060 (diff) | |
download | llvm-519b019a0a6cd50b34c90d1ec7004bb802d680e8.zip llvm-519b019a0a6cd50b34c90d1ec7004bb802d680e8.tar.gz llvm-519b019a0a6cd50b34c90d1ec7004bb802d680e8.tar.bz2 |
Verify MemorySSA after all updates.
Verify after completing all updates.
Resolves PR46275.
Diffstat (limited to 'llvm/lib/Transforms/Utils/LoopUtils.cpp')
-rw-r--r-- | llvm/lib/Transforms/Utils/LoopUtils.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/lib/Transforms/Utils/LoopUtils.cpp b/llvm/lib/Transforms/Utils/LoopUtils.cpp index d7ea992..16603bf 100644 --- a/llvm/lib/Transforms/Utils/LoopUtils.cpp +++ b/llvm/lib/Transforms/Utils/LoopUtils.cpp @@ -622,11 +622,11 @@ void llvm::deleteDeadLoop(Loop *L, DominatorTree *DT, ScalarEvolution *SE, if (MSSA) { MSSAU->applyUpdates({{DominatorTree::Delete, Preheader, L->getHeader()}}, *DT); - if (VerifyMemorySSA) - MSSA->verifyMemorySSA(); SmallSetVector<BasicBlock *, 8> DeadBlockSet(L->block_begin(), L->block_end()); MSSAU->removeBlocks(DeadBlockSet); + if (VerifyMemorySSA) + MSSA->verifyMemorySSA(); } } |