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

[Antonio Frighetto via llvm-commits]

antoniofrighetto 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?

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