diff options
author | Davide Italiano <davide@freebsd.org> | 2017-04-10 23:08:35 +0000 |
---|---|---|
committer | Davide Italiano <davide@freebsd.org> | 2017-04-10 23:08:35 +0000 |
commit | f58a30236bdf7c5fb3d95d345e3752fbfdf20de9 (patch) | |
tree | 05cb10aadf64d0b9ed0e30141eb44a922d630421 /llvm/lib/Transforms | |
parent | bd5f7828683cd4306c7709a4183d0f84a789401e (diff) | |
download | bcm5719-llvm-f58a30236bdf7c5fb3d95d345e3752fbfdf20de9.tar.gz bcm5719-llvm-f58a30236bdf7c5fb3d95d345e3752fbfdf20de9.zip |
[NewGVN] Surround with parens to clarify allegedly ambiguous precedence.
This Placates GCC7 with -Werror. Also, clang-format the assertions
while I'm here.
llvm-svn: 299895
Diffstat (limited to 'llvm/lib/Transforms')
-rw-r--r-- | llvm/lib/Transforms/Scalar/NewGVN.cpp | 31 |
1 files changed, 15 insertions, 16 deletions
diff --git a/llvm/lib/Transforms/Scalar/NewGVN.cpp b/llvm/lib/Transforms/Scalar/NewGVN.cpp index e13ca93c237..1e6692482bd 100644 --- a/llvm/lib/Transforms/Scalar/NewGVN.cpp +++ b/llvm/lib/Transforms/Scalar/NewGVN.cpp @@ -1683,8 +1683,8 @@ const MemoryAccess *NewGVN::getNextMemoryLeader(CongruenceClass *CC) const { // TODO: If this ends up to slow, we can maintain a next memory leader like we // do for regular leaders. // Make sure there will be a leader to find - assert(CC->getStoreCount() > 0 || - !CC->memory_empty() && "Can't get next leader if there is none"); + assert((CC->getStoreCount() > 0 || !CC->memory_empty()) && + "Can't get next leader if there is none"); if (CC->getStoreCount() > 0) { if (auto *NL = dyn_cast_or_null<StoreInst>(CC->getNextLeader().first)) return MSSA->getMemoryAccess(NL); @@ -1738,10 +1738,10 @@ void NewGVN::moveMemoryToNewCongruenceClass(Instruction *I, CongruenceClass *NewClass) { // If the leader is I, and we had a represenative MemoryAccess, it should // be the MemoryAccess of OldClass. - assert(!InstMA || !OldClass->getMemoryLeader() || - OldClass->getLeader() != I || - OldClass->getMemoryLeader() == InstMA && - "Representative MemoryAccess mismatch"); + assert((!InstMA || !OldClass->getMemoryLeader() || + OldClass->getLeader() != I || + OldClass->getMemoryLeader() == InstMA) && + "Representative MemoryAccess mismatch"); // First, see what happens to the new class if (!NewClass->getMemoryLeader()) { // Should be a new class, or a store becoming a leader of a new class. @@ -1941,11 +1941,11 @@ void NewGVN::performCongruenceFinding(Instruction *I, const Expression *E) { } else { EClass = lookupResult.first->second; if (isa<ConstantExpression>(E)) - assert(isa<Constant>(EClass->getLeader()) || - (EClass->getStoredValue() && - isa<Constant>(EClass->getStoredValue())) && - "Any class with a constant expression should have a " - "constant leader"); + assert((isa<Constant>(EClass->getLeader()) || + (EClass->getStoredValue() && + isa<Constant>(EClass->getStoredValue()))) && + "Any class with a constant expression should have a " + "constant leader"); assert(EClass && "Somehow don't have an eclass"); @@ -2350,11 +2350,10 @@ void NewGVN::verifyMemoryCongruency() const { if (CC == TOPClass || CC->isDead()) continue; if (CC->getStoreCount() != 0) { - assert(CC->getStoredValue() || - !isa<StoreInst>(CC->getLeader()) && - "Any class with a store as a " - "leader should have a " - "representative stored value\n"); + assert((CC->getStoredValue() || !isa<StoreInst>(CC->getLeader())) && + "Any class with a store as a " + "leader should have a " + "representative stored value\n"); assert(CC->getMemoryLeader() && "Any congruence class with a store should " "have a representative access\n"); |