[llvm] [LAA] Be more careful when evaluating AddRecs at symbolic max BTC. (PR #128061)
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Tue Jun 24 04:09:29 PDT 2025
================
@@ -188,9 +188,90 @@ RuntimeCheckingPtrGroup::RuntimeCheckingPtrGroup(
Members.push_back(Index);
}
+/// Returns \p A + \p B, if it is guaranteed not to unsigned wrap. Otherwise
+/// return nullptr. \p A and \p B must have the same type.
+static const SCEV *addSCEVOverflow(const SCEV *A, const SCEV *B,
----------------
fhahn wrote:
Yeah updated in b8769104f1ef7c040b6733e736f550eea0d97442, thanks
https://github.com/llvm/llvm-project/pull/128061
More information about the llvm-commits
mailing list