[llvm] [SCEV] Don't require NUW at first add when checking A+C1 < (A+C2)<nuw> (PR #149795)

[Florian Hahn via llvm-commits]

https://github.com/fhahn commented:

> Technically we could propagate the nuw flag from A+C2 to A+C1, but I guess we don't really have a good place to actually do that.

Yep that's a bit unforuntate, maybe there's a better general solution than just trying to re-write flags ad-hoc when construction other SCEVs.

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