[llvm] [InstCombine] Canonicalize signed saturated additions (PR #153053)

[Yingwei Zheng via llvm-commits]

https://github.com/dtcxzyw commented:

Make sense to me. Please provide generalized alive2 proofs for all the variants. Then I will give a deeper review.


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