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

[via llvm-commits]

amehsan wrote:


> EDIT: The more I look at it, the more it seems like this example points to a more fundamental bug in the DA, rather than this patch. I sincerely hope I'm misunderstanding something...

Yes, my first impression is that this example is not related to this patch. I will look into it in more depth and get back to you. Thanks for providing an example. This helps to have a much better conversation. (Even if unrelated to the patch, it is good to know more about the issues in DA).

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