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

[Ehsan Amiri via llvm-commits]

amehsan wrote:

> Yes, right.
> 
> To reiterate what I would like to say, checking for adjacency is just for actual fusion. Dominance checking is for preparing set of plausible candidates for fusion **iteratively** (i.e. even the fused candidate can be candidate for further fusion as is the case here). There are other ways to prepare plausible candidate set at every step of the pass but for now, lets get rid of this assert. Lets proceed one step at a time.

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

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