[llvm] [LoopFusion] Assert failure in the issue 80301 (PR #167837)

[Ehsan Amiri via llvm-commits]

amehsan wrote:

> give me a couple of days. I will get back to you about this.

Sorry for delay. To give you an update, we have been looking at the entire picture of how control flow is checked in loop fusion and trying to see how we can use this patch (possibly with some changes) in that picture. we are not done yet, but we will try to finish soon. 

One reason that makes me hesitate from approving this is that in the current form, it seems to break the definition of a candidate set. So in a way it may introduce something new to fix later. Please let me know if I miss something. 

But once we know the big picture of how control flow should be checked, we can decide how this PR fits in the picture (we may need some changes). we will try to finish this investigation soon.

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