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

[Théo Degioanni]

================
@@ -263,6 +263,44 @@ def PromotableOpInterface : OpInterface<"PromotableOpInterface"> {
       (ins "::llvm::ArrayRef<std::pair<::mlir::Operation*, ::mlir::Value>>":$mutatedDefs,
            "::mlir::OpBuilder &":$builder), [{}], [{ return; }]
     >,
+    InterfaceMethod<[{
+        Describes this operation as a transparent view of a memory slot
+        reached through one of its operands.
+
+        The returned `view.ptr` must be a result of this operation;
----------------
Moxinilian wrote:

Aliasing means that the memory backed by both slot is at least partially shared.

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