[all-commits] [llvm/llvm-project] 0bcae5: [mlir][bufferization] Add pattern to BufferDealloc...

[Martin Erhart via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0bcae5e763c7bf951bad06f5913a9905f065539d
      https://github.com/llvm/llvm-project/commit/0bcae5e763c7bf951bad06f5913a9905f065539d
  Author: Martin Erhart <merhart at google.com>
  Date:   2023-08-15 (Tue, 15 Aug 2023)

  Changed paths:
    M mlir/lib/Dialect/Bufferization/Transforms/BufferDeallocationSimplification.cpp
    M mlir/test/Dialect/Bufferization/Transforms/buffer-deallocation-simplification.mlir

  Log Message:
  -----------
  [mlir][bufferization] Add pattern to BufferDeallocationSimplification pass

Add a pattern that splits one dealloc operation into multiple dealloc operation
depending on static aliasing information of the values in the `memref` operand
list. This reduces the total number of aliasing checks required at runtime and
can enable futher canonicalizations of the new and simplified dealloc
operations.

Depends on D157407

Reviewed By: springerm

Differential Revision: https://reviews.llvm.org/D157508