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

[Matthias Springer]

================
@@ -8,6 +9,74 @@
 // Test bufferization using memref types that have no layout map.
 // RUN: mlir-opt %s -one-shot-bufferize="unknown-type-conversion=identity-layout-map bufferize-function-boundaries" -split-input-file -o /dev/null
 
+// A write to [0, 4) does not conflict with a read from [4, 8), even though
+// tensor.extract_slice itself is alias-only and the actual read is the return.
+
+// CHECK-LABEL: func @disjoint_insert_extract(
+//   CHECK-NOT:   memref.alloc
+//       CHECK:   memref.subview
+//       CHECK:   memref.copy
+//       CHECK:   memref.subview
+//   CHECK-NOT:   memref.alloc
+
+// CHECK-ANALYSIS-LABEL: func @disjoint_insert_extract(
+// CHECK-ANALYSIS: tensor.insert_slice
----------------
matthias-springer wrote:

Can you also show the ANALYSIS for extract_slice? Here and below.

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