[all-commits] [llvm/llvm-project] 765e82: [mlir][bufferization] Generalize dealloc simplific...

[Martin Erhart via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 765e82eeb6ca24b5bc6554b89c776fd250e72fdd
      https://github.com/llvm/llvm-project/commit/765e82eeb6ca24b5bc6554b89c776fd250e72fdd
  Author: Martin Erhart <merhart at google.com>
  Date:   2023-08-21 (Mon, 21 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] Generalize dealloc simplification pattern

We are allowed to remove any values from the `memref` list for which there is no
memref in the `retained` list with a may-alias relation. Before removing, we
just have to make sure that the corresponding op results for all retained
memrefs with must-alias relation  are updated accordingly. This means, the the
condition operand has to become part of the disjunction the result value is
computed with.

Reviewed By: springerm

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