[llvm] [InstCombine] Fix saturated add canonicalization (PR #97973)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

Comments apply to both copies of the code.

Can you please add an alive2 proof to the patch description?

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