[llvm] [Loads] Also use isAligned when checking assumptions. (PR #120916)

[Florian Hahn via llvm-commits]

================
@@ -173,9 +173,11 @@ static bool isDereferenceableAndAlignedPointer(
 
   if (CtxI) {
     /// Look through assumes to see if both dereferencability and alignment can
-    /// be provent by an assume
+    /// be provent by an assume if needed.
     RetainedKnowledge AlignRK;
     RetainedKnowledge DerefRK;
+    APInt Offset(DL.getTypeStoreSizeInBits(V->getType()), 0);
+    bool IsAligned = isAligned(V, Offset, Alignment, DL);
----------------
fhahn wrote:

Done thanks

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