[llvm-branch-commits] [llvm] ValueTracking: Use SimplifyQuery for computeConstantRange (PR #191726)

Yingwei Zheng via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Sun Apr 12 09:29:33 PDT 2026


================
@@ -1317,8 +1317,10 @@ AliasResult BasicAAResult::aliasGEP(
     else
       GCD = APIntOps::GreatestCommonDivisor(GCD, ScaleForGCD.abs());
 
-    ConstantRange CR = computeConstantRange(Index.Val.V, /* ForSigned */ false,
-                                            true, &AC, Index.CxtI);
+    ConstantRange CR =
----------------
dtcxzyw wrote:

Why do we calculate the unsigned constant range here? Can we reuse `computeConstantRangeIncludingKnownBits`?


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


More information about the llvm-branch-commits mailing list