From: Davide Italiano <davide@freebsd.org>
Date: Wed, 11 Jan 2017 22:00:29 +0000 (+0000)
Subject: Revert "[NewGVN] Strengthen a couple of assertions."
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=c38c1351bc7dfb575ade808ef2f68691d4a825da;p=llvm

Revert "[NewGVN] Strengthen a couple of assertions."

It's breaking some bots. Will investigate and recommit.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@291712 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/Transforms/Scalar/NewGVN.cpp b/lib/Transforms/Scalar/NewGVN.cpp
index 93e011a9284..06c3304afc8 100644
--- a/lib/Transforms/Scalar/NewGVN.cpp
+++ b/lib/Transforms/Scalar/NewGVN.cpp
@@ -1063,10 +1063,10 @@ void NewGVN::moveValueToNewCongruenceClass(Value *V, CongruenceClass *OldClass,
   OldClass->Members.erase(V);
   NewClass->Members.insert(V);
   if (isa<StoreInst>(V)) {
-    assert(OldClass->StoreCount > 0 && "Store count underflow detected");
     --OldClass->StoreCount;
-    assert(NewClass->StoreCount < UINT_MAX && "Store count overflow detected");
+    assert(OldClass->StoreCount >= 0);
     ++NewClass->StoreCount;
+    assert(NewClass->StoreCount >= 0);
   }
 
   ValueToClass[V] = NewClass;