forked from OSchip/llvm-project
[NewGVN] Parenthesise assertion condition (-Wparenthesis).
Format an assertion message while I'm here. llvm-svn: 291710
This commit is contained in:
parent
6e919df2f5
commit
ff69405213
|
@ -1536,13 +1536,12 @@ void NewGVN::verifyMemoryCongruency() const {
|
|||
if (auto *FirstMUD = dyn_cast<MemoryUseOrDef>(KV.first)) {
|
||||
auto *SecondMUD = dyn_cast<MemoryUseOrDef>(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<MemoryPhi>(KV.first)) {
|
||||
|
||||
// We can only sanely verify that MemoryDefs in the operand list all have
|
||||
|
|
Loading…
Reference in New Issue