[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