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

[Yingwei Zheng via llvm-commits]

dtcxzyw 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
> 
> I was a bit confused about this because it does not seem like an improvement -- but you're only talking about the case where `%b` is constant, right?

Yeah, `%b` should be a positive constant.


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