[llvm] [SCEV] Restrict wrap flags when construction same AR for multiple phis. (PR #80430)

[Nikita Popov via llvm-commits]

nikic wrote:

I think the underlying issue here is that our nowrap calculation for pre-inc addrecs is just incorrect -- based on a premise that does not generally hold. I had a patch for this here, but didn't get around to finish it: https://reviews.llvm.org/D148931 Would that fix the problem you ran into as well?

I don't think that any fix that involves clearing existing nowrap flags is compatible with SCEVs core design.

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