[llvm] [ValueTracking] Compute knownbits from `(icmp ult/ule (add nuw X, Y), C)` (PR #87180)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

Can you have a look at the regression https://github.com/dtcxzyw/llvm-opt-benchmark/pull/465#discussion_r1546021756?


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