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

[Antonio Frighetto via llvm-commits]

antoniofrighetto wrote:

Maybe acceptable, although don't look that good to me too, OTOH `addWithNoWrap` and `subWithNoWrap` look already quite optimized :/ 

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