[llvm] [llvm] Optimize usub.sat fix for #79690 (PR #151044)

[Yingwei Zheng via llvm-commits]

https://github.com/dtcxzyw commented:

Can you please read https://llvm.org/docs/InstCombineContributorGuide.html and provide a generalized alive2 proof (paste the link in the PR description)?


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