[llvm] [DA] Disable the BanerjeeMIV dependence test (PR #174733)

[Sjoerd Meijer via llvm-commits]

sjoerdmeijer wrote:

> > are suspected to be incorrect because they do not account for potential integer overflow,
> 
> Not opposing this PR, but doesn't this currently apply to all tests in DA? Why single out BanerjeeMIV ?

Yeah, that is a good question that also crossed my mind. I didn't mention this explicitly in the description, but wanted to discuss that too.

I started with Banerjee, because the Banerjee MIV test is the more complicated one, and is probably not necessary for most cases (if we improve Delinearization).

But if we are deconstructing DA, and building it slowly up again step by step, we could start with just having the ZIV and SIV tests enabled, and disable all the other ones. So yes, I agree with asking the question. Any ideas or preferences on this?


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