[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