[llvm] [ValueTracking] Combine variable declaration with its only assignment. NFC (PR #89526)
Craig Topper via llvm-commits
llvm-commits at lists.llvm.org
Sat Apr 20 19:33:58 PDT 2024
https://github.com/topperc created https://github.com/llvm/llvm-project/pull/89526
None
>From 3267db0e9093b217871b8a823682b1a868898a5a Mon Sep 17 00:00:00 2001
From: Craig Topper <craig.topper at sifive.com>
Date: Sat, 20 Apr 2024 19:32:57 -0700
Subject: [PATCH] [ValueTracking] Combine variable declaration with its only
assignment. NFC
---
llvm/lib/Analysis/ValueTracking.cpp | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp
index c038f7eaabbb67..21e3f8a4cc52c7 100644
--- a/llvm/lib/Analysis/ValueTracking.cpp
+++ b/llvm/lib/Analysis/ValueTracking.cpp
@@ -2682,7 +2682,6 @@ static bool isKnownNonZeroFromOperator(const Operator *I,
if (cast<PossiblyExactOperator>(I)->isExact())
return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth);
- std::optional<bool> XUgeY;
KnownBits XKnown =
computeKnownBits(I->getOperand(0), DemandedElts, Depth, Q);
// If X is fully unknown we won't be able to figure anything out so don't
@@ -2698,7 +2697,7 @@ static bool isKnownNonZeroFromOperator(const Operator *I,
YKnown = YKnown.abs(/*IntMinIsPoison*/ false);
}
// If X u>= Y then div is non zero (0/0 is UB).
- XUgeY = KnownBits::uge(XKnown, YKnown);
+ std::optional<bool> XUgeY = KnownBits::uge(XKnown, YKnown);
// If X is total unknown or X u< Y we won't be able to prove non-zero
// with compute known bits so just return early.
return XUgeY && *XUgeY;
More information about the llvm-commits
mailing list