[llvm] [InstCombine] Factorise add/sub and max/min using distributivity (PR #101507)

[via llvm-commits]

goldsteinn wrote:

Two of the proofs are buggy: https://alive2.llvm.org/ce/z/Xz2-Vq (`src5` -> `tgt5` and `src6` -> `tgt6`).

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