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

[llvmlistbot at llvm.org]

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

Thanks for the feedback, I have updated the patch to add `PromotableAliaserInterface` and move the (now split) APIs in it`. I think it should be mandatory to also implement either `PromotableOpInterface` or `PromotableMemOpInterface` so that aliases are also handled as blocking uses, so I added an interface  verifier for that.

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