[NewGVN] Clarify the function invariants formatting them properly.

llvm-svn: 307692
This commit is contained in:
Davide Italiano 2017-07-11 19:15:36 +00:00
parent 892f8c42dc
commit fb4544cd15
1 changed files with 4 additions and 3 deletions

View File

@ -2061,9 +2061,10 @@ Value *NewGVN::getNextValueLeader(CongruenceClass *CC) const {
//
// The invariants of this function are:
//
// I must be moving to NewClass from OldClass The StoreCount of OldClass and
// NewClass is expected to have been updated for I already if it is is a store.
// The OldClass memory leader has not been updated yet if I was the leader.
// - I must be moving to NewClass from OldClass
// - The StoreCount of OldClass and NewClass is expected to have been updated
// for I already if it is is a store.
// - The OldClass memory leader has not been updated yet if I was the leader.
void NewGVN::moveMemoryToNewCongruenceClass(Instruction *I,
MemoryAccess *InstMA,
CongruenceClass *OldClass,