[llvm] [ValueTracking] Perform a local edge implication check for isKnownNonNegative (PR #72437)

[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 d0ae2391897033c50225a20fd3024816dffd80b6 56067881febb110166f307fdce3aa446e6363e77 -- llvm/lib/Analysis/ValueTracking.cpp
``````````

</details>

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

``````````diff
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp
index 22e88cb2f5..3443bd2b12 100644
--- a/llvm/lib/Analysis/ValueTracking.cpp
+++ b/llvm/lib/Analysis/ValueTracking.cpp
@@ -297,8 +297,8 @@ bool llvm::isKnownNonNegative(const Value *V, const DataLayout &DL,
   // Look at the immediate proceeding branch to see if it establishes the
   // condition we need.
   return isImpliedByDomCondition(ICmpInst::ICMP_SGE, V,
-                                 Constant::getNullValue(V->getType()), CxtI,
-                                 DL).value_or(false);
+                                 Constant::getNullValue(V->getType()), CxtI, DL)
+      .value_or(false);
 }
 
 bool llvm::isKnownPositive(const Value *V, const DataLayout &DL, unsigned Depth,

``````````

</details>


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