[llvm] r291712 - Revert "[NewGVN] Strengthen a couple of assertions."

Davide Italiano via llvm-commits llvm-commits at lists.llvm.org
Wed Jan 11 14:00:29 PST 2017


Author: davide
Date: Wed Jan 11 16:00:29 2017
New Revision: 291712

URL: http://llvm.org/viewvc/llvm-project?rev=291712&view=rev
Log:
Revert "[NewGVN] Strengthen a couple of assertions."

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

Modified:
    llvm/trunk/lib/Transforms/Scalar/NewGVN.cpp

Modified: llvm/trunk/lib/Transforms/Scalar/NewGVN.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Scalar/NewGVN.cpp?rev=291712&r1=291711&r2=291712&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/Scalar/NewGVN.cpp (original)
+++ llvm/trunk/lib/Transforms/Scalar/NewGVN.cpp Wed Jan 11 16:00:29 2017
@@ -1063,10 +1063,10 @@ void NewGVN::moveValueToNewCongruenceCla
   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;




More information about the llvm-commits mailing list