[llvm] [ValueTracking] Support GEPs in matchSimpleRecurrence. (PR #123518)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Fri Aug 29 10:54:34 PDT 2025


================
@@ -1660,6 +1661,11 @@ static void computeKnownBitsFromOperator(const Operator *I,
 
         // We need to take the minimum number of known bits
         KnownBits Known3(BitWidth);
+        if (BitWidth != getBitWidth(L->getType(), Q.DL)) {
----------------
dtcxzyw wrote:

I think it is ok to fall through as the result is guarded by `std::min(Idx.countMinTrailingZeros(), Ptr.countMinTrailingZeros())`.

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


More information about the llvm-commits mailing list