[llvm] [DA] Rewrite BanerjeeMIV test with safe APInt interval arithmetic (PR #207662)

[Ryotaro Kasuga via llvm-commits]

https://github.com/kasuga-fj commented:

I've been thinking about this for a while, and I'm starting to feel that this overall approach is the right one. However, this change includes both bug fixes and refactoring, which makes it hard to review. I think we can reuse existing classes such as `CoefficientInfo` and/or `BoundInfo` to keep the diff as small as possible. Could you do that? If you'd like to refactor them, that could be done separately from the bug fixes.

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