[Mlir-commits] [mlir] [mlir][mem2reg] Promote memory slots through transparent view operations (PR #196924)

[Tobias Gysi]

================
@@ -263,6 +263,44 @@ def PromotableOpInterface : OpInterface<"PromotableOpInterface"> {
       (ins "::llvm::ArrayRef<std::pair<::mlir::Operation*, ::mlir::Value>>":$mutatedDefs,
            "::mlir::OpBuilder &":$builder), [{}], [{ return; }]
     >,
+    InterfaceMethod<[{
----------------
gysit wrote:

Using `ViewLikeOpInterface` may not be ideal if we want additional helpers on the operations. However, I would probably have `SlotViewOpInterface` then. At least this seems to make sense if we ant to follow the current design where the ops often implement multiple mem2reg interfaces.

I would also wait for @Moxinilian's review before changing directions. I am not the expert here.

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