[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:34 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 =
+        computeConstantRange(Index.Val.V, /*ForSigned=*/false,
+                             SimplifyQuery(DL, DT, &AC, Index.CxtI,
----------------
dtcxzyw wrote:

Share a common SQ with the call to `computeKnownBits` above.

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


More information about the llvm-branch-commits mailing list