Remove unwanted changes

Author: CarolineConcatto

llvm/include/llvm/Support/ModRef.h

@@ -158,18 +158,6 @@ template <typename LocationEnum> class MemoryEffectsBase {
     return MemoryEffectsBase(Location::Other, MR);
   }
 
-  /// Checks if only target-specific memory locations are set.
-  /// Ignores standard locations like ArgMem or InaccessibleMem.
-  /// Needed because `Data` may be non-zero by default unless explicitly
-  /// cleared.
-  bool onlyAccessTargetMemoryLocation() {
-    MemoryEffectsBase ME = *this;
-    for (unsigned I = static_cast<int>(LocationEnum::FirstTarget);
-         I <=  static_cast<int>(LocationEnum::Last); I++)
-      ME = ME.getWithoutLoc(static_cast<IRMemLocation>(I));
-    return ME.doesNotAccessMemory();
-  }
-
   /// Create MemoryEffectsBase that can only access inaccessible or argument
   /// memory.
   static MemoryEffectsBase

llvm/lib/Transforms/IPO/FunctionAttrs.cpp

@@ -285,6 +285,7 @@ static void addMemoryAttrs(const SCCNodeSet &SCCNodes, AARGetterT &&AARGetter,
         checkFunctionMemoryAccess(*F, F->hasExactDefinition(), AAR, SCCNodes);
     ME |= FnME;
     RecursiveArgME |= FnRecursiveArgME;
+    // Reached bottom of the lattice, we will not be able to improve the result.
     if (ME == MemoryEffects::unknown())
       return;
   }