Address review comments

Author: david-arm

llvm/lib/Analysis/Loads.cpp

@@ -304,7 +304,7 @@ bool llvm::isDereferenceableAndAlignedInLoop(
     return false;
 
   const SCEV *MaxBECount =
-      SE.getPredicatedSymbolicMaxBackedgeTakenCount(L, *Predicates);
+      SE.getPredicatedConstantMaxBackedgeTakenCount(L, *Predicates);
   if (isa<SCEVCouldNotCompute>(MaxBECount))
     return false;
 
@@ -318,11 +318,6 @@ bool llvm::isDereferenceableAndAlignedInLoop(
   const SCEV *PtrDiff = SE.getMinusSCEV(AccessEnd, AccessStart);
   APInt MaxPtrDiff = SE.getUnsignedRangeMax(PtrDiff);
 
-  // If the (max) pointer difference is > 32 bits then it's unlikely to be
-  // dereferenceable.
-  if (MaxPtrDiff.getActiveBits() > 32)
-    return false;
-
   Value *Base = nullptr;
   APInt AccessSize;
   if (const SCEVUnknown *NewBase = dyn_cast<SCEVUnknown>(AccessStart)) {