diff --git a/llvm/lib/Transforms/Scalar/NewGVN.cpp b/llvm/lib/Transforms/Scalar/NewGVN.cpp index 04fd5d0b0bd2..93e011a92846 100644 --- a/llvm/lib/Transforms/Scalar/NewGVN.cpp +++ b/llvm/lib/Transforms/Scalar/NewGVN.cpp @@ -1536,13 +1536,12 @@ void NewGVN::verifyMemoryCongruency() const { if (auto *FirstMUD = dyn_cast(KV.first)) { auto *SecondMUD = dyn_cast(KV.second); if (FirstMUD && SecondMUD) - assert(singleReachablePHIPath(FirstMUD, SecondMUD) || + assert((singleReachablePHIPath(FirstMUD, SecondMUD) || ValueToClass.lookup(FirstMUD->getMemoryInst()) == - ValueToClass.lookup(SecondMUD->getMemoryInst()) && + ValueToClass.lookup(SecondMUD->getMemoryInst())) && "The instructions for these memory operations should have " - "been in " - "the same congruence class or reachable through a single " - "argument phi"); + "been in the same congruence class or reachable through" + "a single argument phi"); } else if (auto *FirstMP = dyn_cast(KV.first)) { // We can only sanely verify that MemoryDefs in the operand list all have