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

[Matthias Springer]

================
@@ -414,4 +414,44 @@ def OffsetSizeAndStrideOpInterface : OpInterface<"OffsetSizeAndStrideOpInterface
   }];
 }
 
+def DistinctObjectsInterface : OpInterface<"DistinctObjectsInterface"> {
----------------
matthias-springer wrote:

Can we start off with a Trait instead of an interface? And generalize to a full-blown interface if we need it. (Right now, this is just passing through all operands + results.)

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