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

[Krzysztof Drewniak]

================
@@ -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
----------------
krzysz00 wrote:

Can we phrase the interface such that it 's not limited to `memref`? It sounds like this entire mechanism - and, to my knowledge, the alias analysis being modified - isn't actually limited to `memref` and could work on things like `ptr.ptr`.

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