[llvm] [SCEV] Check bitwidth for constant ranges comparison (PR #150364)
via llvm-commits
llvm-commits at lists.llvm.org
Thu Jul 24 09:05:50 PDT 2025
annamthomas wrote:
> These APIs generally assume matching types.
Yep, I thought we would have that in the documentation of `isKnownPredicate` but didn't find it. I'll add the assert on `SCEV types being the same` in isKnownPredicateViaConstantRanges.
https://github.com/llvm/llvm-project/pull/150364
More information about the llvm-commits
mailing list