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

[via llvm-commits]

ParkHanbum wrote:

I attempted to implement it using the approach discussed in that issue. it could find no alternative method besides adding multiple instructions and removing them from the worklist. Since it hadn't seen this approach implemented elsewhere, I changed the implementation method. 


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