[llvm] [Loads] Support dereferenceable assumption with variable size. (PR #128436)

[Florian Hahn via llvm-commits]

================
@@ -334,9 +342,11 @@ bool llvm::isDereferenceableAndAlignedInLoop(
 
   Value *Base = nullptr;
   APInt AccessSize;
+  const SCEV *AccessSizeSCEV = nullptr;
----------------
fhahn wrote:

Replaced the PtrDiff use below with `AccessSizeSCEV`, thanks

https://github.com/llvm/llvm-project/pull/128436