[llvm] r370831 - [MemorySSA] Move two verify calls under expensive checks.
Alina Sbirlea via llvm-commits
llvm-commits at lists.llvm.org
Tue Sep 3 17:44:54 PDT 2019
Author: asbirlea
Date: Tue Sep 3 17:44:54 2019
New Revision: 370831
URL: http://llvm.org/viewvc/llvm-project?rev=370831&view=rev
Log:
[MemorySSA] Move two verify calls under expensive checks.
Modified:
llvm/trunk/lib/Analysis/MemorySSA.cpp
Modified: llvm/trunk/lib/Analysis/MemorySSA.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/MemorySSA.cpp?rev=370831&r1=370830&r2=370831&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/MemorySSA.cpp (original)
+++ llvm/trunk/lib/Analysis/MemorySSA.cpp Tue Sep 3 17:44:54 2019
@@ -1872,7 +1872,7 @@ void MemorySSA::verifyMemorySSA() const
}
void MemorySSA::verifyPrevDefInPhis(Function &F) const {
-#ifndef NDEBUG
+#if !defined(NDEBUG) && defined(EXPENSIVE_CHECKS)
for (const BasicBlock &BB : F) {
if (MemoryPhi *Phi = getMemoryAccess(&BB)) {
for (unsigned I = 0, E = Phi->getNumIncomingValues(); I != E; ++I) {
@@ -2048,7 +2048,7 @@ void MemorySSA::verifyUseInDefs(MemoryAc
/// accesses and verifying that, for each use, it appears in the
/// appropriate def's use list
void MemorySSA::verifyDefUses(Function &F) const {
-#ifndef NDEBUG
+#if !defined(NDEBUG) && defined(EXPENSIVE_CHECKS)
for (BasicBlock &B : F) {
// Phi nodes are attached to basic blocks
if (MemoryPhi *Phi = getMemoryAccess(&B)) {
More information about the llvm-commits
mailing list