[llvm] [InstCombine] Fold (sub nsw X, umin(X, C)) s< C2 to (X s< C + C2) (PR #170422)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

See my comment https://github.com/llvm/llvm-project/pull/170989#issuecomment-3620832063.
We may need some guidance for missed-optimization reporters. If the src function is extracted from an optimized IR and it is changed again after O3, it indicates there are some external users of intermediate expressions :(


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