[all-commits] [llvm/llvm-project] 17aaa6: [mlir][bufferization] Add DeallocOp canonicalizer ...

[Martin Erhart via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 17aaa651dbfbc79adfe73d5010252dc90dc5752f
      https://github.com/llvm/llvm-project/commit/17aaa651dbfbc79adfe73d5010252dc90dc5752f
  Author: Martin Erhart <merhart at google.com>
  Date:   2023-07-28 (Fri, 28 Jul 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Bufferization/IR/BufferizationBase.td
    M mlir/include/mlir/Dialect/Bufferization/IR/BufferizationOps.td
    M mlir/lib/Dialect/Bufferization/IR/BufferizationOps.cpp
    M mlir/lib/Dialect/Bufferization/IR/CMakeLists.txt
    M mlir/test/Dialect/Bufferization/canonicalize.mlir

  Log Message:
  -----------
  [mlir][bufferization] Add DeallocOp canonicalizer to remove duplicate values

Duplicate values in the retained list can just be removed, however, for duplicates in the list of memrefs to deallocate, we also need to check the conditions and if thhey don't match, we need to compute the OR in order to not miss a case leading to a memory leak.

Reviewed By: springerm

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