[Mlir-commits] [mlir] [MLIR][SCF] Add an API to fuse consumer to a producer within scf loop (PR #88712)

[Oleksandr Alex Zinenko]

================
@@ -131,6 +150,42 @@ def TilingInterface : OpInterface<"TilingInterface"> {
           return failure();
         }]
       >,
+      InterfaceMethod<
+        /*desc=*/[{
+          Method to generate the tiled implementation of an operation from
+          operand tile position.
----------------
ftynse wrote:

Design question: if we already have a method to compute the iteration domain tile from the operand tile (above) and a method to generated a tiled op given the iteration domain tile, why do we need this method that, from its description, is a trivial composition of those two? Moreover, what guarantees do we have that an op doesn't end up with diverging implementations of these methods?

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