From f20ff4b17d1927eeffadf3f2fdb1cd6401d94890 Mon Sep 17 00:00:00 2001
From: Johannes Doerfert <johannes@jdoerfert.de>
Date: Tue, 21 Apr 2020 11:13:20 -0500
Subject: [PATCH] [Attributor] Run IRPosition::verify only with
 EXPENSIVE_CHECKS

---
 llvm/lib/Transforms/IPO/Attributor.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/llvm/lib/Transforms/IPO/Attributor.cpp b/llvm/lib/Transforms/IPO/Attributor.cpp
index e715d04..ba08061 100644
--- a/llvm/lib/Transforms/IPO/Attributor.cpp
+++ b/llvm/lib/Transforms/IPO/Attributor.cpp
@@ -400,6 +400,7 @@ bool IRPosition::getAttrsFromAssumes(Attribute::AttrKind AK,
 }
 
 void IRPosition::verify() {
+#ifdef EXPENSIVE_CHECKS
   switch (KindOrArgNo) {
   default:
     assert(KindOrArgNo >= 0 && "Expected argument or call site argument!");
@@ -447,6 +448,7 @@ void IRPosition::verify() {
     assert(AnchorVal == &getAssociatedValue() && "Associated value mismatch!");
     break;
   }
+#endif
 }
 
 Optional<Constant *>
-- 
2.7.4