[llvm] [SCEV] Distinguish between full and wrapping AddRec in proveNoWrapViaCR. (PR #151966)

[Nikita Popov via llvm-commits]

nikic wrote:

What I had in mind is more along the lines of directly inferring the flags in getRangeForAffineAR. This way there is no need to extend to a larger width.

I've sketched this here: https://github.com/nikic/llvm-project/commit/987117fd7ae9aef83e1551faa8c8cd0a96a2c90a

> Note that now we can end up in the awkward situation that we fail to compute an unpredicated BTC on the first try, but succeed on the second try, because we now have a accurate max BTC.

Do you know why that starts happening after this change?

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