[llvm] [DA] Rewrite Banerjee MIV test with SCEV-based interval arithmetic (PR #207662)

[Ryotaro Kasuga via llvm-commits]

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

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

```suggestion
  %j.inc = add i64 %j, 1
```

Nit: probably these flags are unnecessary, SCEV can infer them. The same applies to other places as well.

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