[llvm] [InstCombine] Fold comparisons of llvm.usub.sat result with its LHS (PR #214108)

[Andreas Jonson via llvm-commits]

https://github.com/andjo403 commented:

more general proof https://alive2.llvm.org/ce/z/hVsKL-

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