[llvm] [DependenceAnalysis] Extending SIV to handle fusable loops (PR #128782)

[via llvm-commits]

amehsan wrote:

> > Personally, I’d prefer to avoid adding new features to an already broken pass, but the code itself LGTM.
> 
> FWIW I agree, increasing the complexity before fixing the soundness problem makes it even more difficult to enable any pass depending on DA

I suggest this kind of comment is made when RFC is posted or in the beginning of code review. I think it is also  important that development is not a frustrating experience for the people invovled. 

But going forward, we are OK with focusing on correctness issues of DA. We are also going to help in that direction.

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