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

[Antonio Frighetto via llvm-commits]

antoniofrighetto wrote:

Merging it. I think we can still solve the aforementioned regression though if needed (also, `computeKnownBits` output looks fine, I missed we only have the `nsw` flag).

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