[llvm] [SCEV] Check if AddRec doesn't wrap via BTC before adding predicate. (PR #131538)

[Nikita Popov via llvm-commits]

https://github.com/nikic requested changes to this pull request.

I don't think this is the correct way to fix the assertion failure. Generally speaking, we cannot assume that two different analyses will end up producing the same result. Adding extra checks for specific cases doesn't change that. We should make sure this kind of mismatch is always handled gracefully.

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