[Mlir-commits] [mlir] [mlir][bufferization] Handle disjoint subsets in One-Shot Analysis (PR #224184)

[Matthias Springer]

================
@@ -518,6 +518,44 @@ static bool areNonConflictingSubsets(OpOperand *uRead,
   Operation *readingOp = uRead->getOwner();
   Operation *conflictingWritingOp = uConflictingWrite->getOwner();
 
+  auto subsetInsertion =
+      dyn_cast<SubsetInsertionOpInterface>(conflictingWritingOp);
+  if (subsetInsertion &&
+      uConflictingWrite == &subsetInsertion.getDestinationOperand()) {
+    auto writtenSubset = cast<SubsetOpInterface>(conflictingWritingOp);
+    auto isDisjointExtraction = [&](Value value) {
----------------
matthias-springer wrote:

Can you add small example IR snippets like below in the function?

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