llvm-project

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

[SCEV] Don't require NUW at first add when checking A+C1 < (A+C2)<nuw> (#149795) Relax the NUW requirements for isKnownPredicateViaNoOverflow, if the second operand (Y) is an ADD. The code only simplifies the condition if C1 < C2, so if the second ADD is NUW, it doesn't matter whether the first operand also has the NUW flag, as it cannot wrap if C1 < C2. https://alive2.llvm.org/ce/z/b3dM7N PR: https://github.com/llvm/llvm-project/pull/149795