[llvm] [SCEV] Check bitwidth for constant ranges comparison (PR #150364)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Thu Jul 24 00:51:16 PDT 2025


nikic wrote:

> I think this should at least be an assert?
> 
> I used the `isKnownPredicate` downstream without converting the SCEV to the wider type and faced the crash when going through this API.

Yes, this should be an assert. These APIs generally assume matching types.

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


More information about the llvm-commits mailing list