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

[Jorge Botto via llvm-commits]

jf-botto wrote:

Thank you @goldsteinn for the time and effort you've put into reviewing my code. I've addressed all of your points. 
The two test cases that were buggy, was simply a mistake I made when copying and adapting the tests into alive. I've corrected the Alive tests in the top comment.

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