[Mlir-commits] [mlir] [mlir][LocalAliasAnalysis] Check for `memref.distinct_objects` in `LocalAliasAnalysis` (PR #161533)

[Ivan Butygin]

================
@@ -414,4 +414,44 @@ def OffsetSizeAndStrideOpInterface : OpInterface<"OffsetSizeAndStrideOpInterface
   }];
 }
 
+def DistinctObjectsInterface : OpInterface<"DistinctObjectsInterface"> {
+  let description = [{
+    This intefaces indicates that pointer-like objects (such as memrefs) returned
----------------
Hardcode84 wrote:

Wait, I specifically tried to phrase it `pointer-like objects` so `ptr.ptr` or similar should qualify. I can remove `(such as memref)` if you think it will be better.

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