[llvm] [Loads] Check deref assumption early. (PR #127414)

[via llvm-commits]

github-actions[bot] wrote:

<!--LLVM CODE FORMAT COMMENT: {clang-format}-->


:warning: C/C++ code formatter, clang-format found issues in your code. :warning:

<details>
<summary>
You can test this locally with the following command:
</summary>

``````````bash
git-clang-format --diff f5d63ccb22bf98ec28785fea432fc5a19b1913c4 6ce350c87df448ddbd4e54a72e6d12cdd013daa5 --extensions cpp -- llvm/lib/Analysis/Loads.cpp
``````````

</details>

<details>
<summary>
View the diff from clang-format here.
</summary>

``````````diff
diff --git a/llvm/lib/Analysis/Loads.cpp b/llvm/lib/Analysis/Loads.cpp
index 5c562fc3c0..cd51c8ee09 100644
--- a/llvm/lib/Analysis/Loads.cpp
+++ b/llvm/lib/Analysis/Loads.cpp
@@ -54,10 +54,10 @@ static bool isDereferenceableAndAlignedPointer(
   // TODO: More precisely check if the pointer can be freed between assumption
   // and use.
   if (CtxI) {
-     const Value *UO = getUnderlyingObjectAggressive(V);
-     if(!V->canBeFreed() || (UO && !UO->canBeFreed())) {
-      /// Look through assumes to see if both dereferencability and alignment can
-      /// be proven by an assume if needed.
+    const Value *UO = getUnderlyingObjectAggressive(V);
+    if (!V->canBeFreed() || (UO && !UO->canBeFreed())) {
+      /// Look through assumes to see if both dereferencability and alignment
+      /// can be proven by an assume if needed.
       RetainedKnowledge AlignRK;
       RetainedKnowledge DerefRK;
       bool IsAligned = V->getPointerAlignment(DL) >= Alignment;
@@ -73,12 +73,13 @@ static bool isDereferenceableAndAlignedPointer(
                 IsAligned |= AlignRK && AlignRK.ArgValue >= Alignment.value();
                 if (IsAligned && DerefRK &&
                     DerefRK.ArgValue >= Size.getZExtValue())
-                  return true; // We have found what we needed so we stop looking
+                  return true; // We have found what we needed so we stop
+                               // looking
                 return false;  // Other assumes may have better information. so
                                // keep looking
               }))
         return true;
-       }
+    }
   }
 
   // Note that it is not safe to speculate into a malloc'd region because

``````````

</details>


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