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

[Ryotaro Kasuga via llvm-commits]

================

----------------
kasuga-fj wrote:

Can you please add comments describing what this class represents? For example:

- What `Lower` and `Upper` represent
- What it means for them to be `nullptr`
- What it means when `*Lower > *Upper`

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