[llvm] r303473 - [NewGVN] Get rid of an assertion.

Davide Italiano via llvm-commits llvm-commits at lists.llvm.org
Fri May 19 17:24:04 PDT 2017


Author: davide
Date: Fri May 19 19:24:04 2017
New Revision: 303473

URL: http://llvm.org/viewvc/llvm-project?rev=303473&view=rev
Log:
[NewGVN] Get rid of an assertion.

This was here because we don't want to switch leaders too much,
in order to avoid fixpoint(ing) issue, but it's not sure if it
matters in practice.

A first step towards fixing PR32897.

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=303473&r1=303472&r2=303473&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/Scalar/NewGVN.cpp (original)
+++ llvm/trunk/lib/Transforms/Scalar/NewGVN.cpp Fri May 19 19:24:04 2017
@@ -2109,7 +2109,6 @@ void NewGVN::moveValueToNewCongruenceCla
       // If it's a store expression we are using, it means we are not equivalent
       // to something earlier.
       if (auto *SE = dyn_cast<StoreExpression>(E)) {
-        assert(SE->getStoredValue() != NewClass->getLeader());
         NewClass->setStoredValue(SE->getStoredValue());
         markValueLeaderChangeTouched(NewClass);
         // Shift the new class leader to be the store




More information about the llvm-commits mailing list