[all-commits] [llvm/llvm-project] 2c6ac6: [mlir][bufferization] Handle disjoint subsets in O...

[Ziliang Zhang via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2c6ac60714745ffc338e1b9664d10ec46212185b
      https://github.com/llvm/llvm-project/commit/2c6ac60714745ffc338e1b9664d10ec46212185b
  Author: Ziliang Zhang <zzl.coding at gmail.com>
  Date:   2026-09-25 (Fri, 25 Sep 2026)

  Changed paths:
    M mlir/lib/Dialect/Bufferization/Transforms/OneShotAnalysis.cpp
    M mlir/test/Dialect/Tensor/one-shot-bufferize.mlir
    M mlir/test/Dialect/Vector/one-shot-bufferize.mlir

  Log Message:
  -----------
  [mlir][bufferization] Handle disjoint subsets in One-Shot Analysis (#224184)

Teach One-Shot Analysis to ignore RaW conflicts between provably
disjoint subset reads and writes. Trace aliasing reads back to subset
extraction ops to handle alias-only operations such as
tensor.extract_slice.

Add tensor and vector tests for disjoint, overlapping, and unknown
subsets.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications