[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