We can achieve what we need by adding LoopInvariantCodeMotionPass. Abandoning this.

In essence, the issue is that tiling, mapping to gpu and the transformation to gpu dialect have to run after each other without being disturbed by other passes.

Worked like a charm.

Prevent merging loops with attrs instead

Sure, I can change to addWithLabel instead.

Minor formatting

Make combine a regular function, use CHECK-DAG, formatting