[llvm] [SCCP] Extend `visitBinaryOperator` to overflowing binary ops (PR #84470)

[Nikita Popov via llvm-commits]

nikic wrote:

> > LGTM.
> > BTW, would you like to fix the regression [dtcxzyw/llvm-opt-benchmark#338 (comment)](https://github.com/dtcxzyw/llvm-opt-benchmark/pull/338#discussion_r1518151927)?
> > Alive2: https://alive2.llvm.org/ce/z/H2u9si
> 
> Would it make sense to handle this in ConstraintElimination?

This looks more suited to InstCombine to me.

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