summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Transforms
diff options
context:
space:
mode:
authorDavide Italiano <davide@freebsd.org>2017-04-10 23:08:35 +0000
committerDavide Italiano <davide@freebsd.org>2017-04-10 23:08:35 +0000
commitf58a30236bdf7c5fb3d95d345e3752fbfdf20de9 (patch)
tree05cb10aadf64d0b9ed0e30141eb44a922d630421 /llvm/lib/Transforms
parentbd5f7828683cd4306c7709a4183d0f84a789401e (diff)
downloadbcm5719-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.cpp31
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");
OpenPOWER on IntegriCloud