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

[Ryotaro Kasuga via llvm-commits]

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

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

Hmm...

As I mentioned, I don't think your examples are sufficient to justify introducing additional complexity, as they do not seem representative of real-world programs to me.

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