[all-commits] [llvm/llvm-project] 4bde08: [mlir][bufferization] Change semantics of DeallocO...

[Martin Erhart via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4bde084f0c1837234a5ddab66c95c55fe4b81599
      https://github.com/llvm/llvm-project/commit/4bde084f0c1837234a5ddab66c95c55fe4b81599
  Author: Martin Erhart <merhart at google.com>
  Date:   2023-08-04 (Fri, 04 Aug 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Bufferization/IR/BufferizationOps.td
    M mlir/lib/Conversion/BufferizationToMemRef/BufferizationToMemRef.cpp
    M mlir/lib/Dialect/Bufferization/IR/BufferizationOps.cpp
    M mlir/test/Conversion/BufferizationToMemRef/bufferization-to-memref.mlir
    M mlir/test/Dialect/Bufferization/canonicalize.mlir
    M mlir/test/Dialect/Bufferization/invalid.mlir
    M mlir/test/Dialect/Bufferization/ops.mlir

  Log Message:
  -----------
  [mlir][bufferization] Change semantics of DeallocOp result values

This change allows supporting operations for which we don't get precise aliasing information without the need to insert clone operations. E.g., `arith.select`.

Reviewed By: springerm

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