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

[Ryotaro Kasuga via llvm-commits]

kasuga-fj wrote:

I feel this implementation is a bit flaky. I think it would be better to introduce a mechanism such as dynamic-sized integer (or SCEV). For example, the addition of `x` with type `ty0` and `y` with type `ty1` is an integer with type `max(ty0, ty1) + 1`.

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