[all-commits] [llvm/llvm-project] 27a1a8: buffer-deallocation: consider aliases introduced b...

[Johannes Reifferscheid via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 27a1a85662e68e96eeba0732f92ac61b2bbde9c3
      https://github.com/llvm/llvm-project/commit/27a1a85662e68e96eeba0732f92ac61b2bbde9c3
  Author: Johannes Reifferscheid <jreiffers at google.com>
  Date:   2022-08-23 (Tue, 23 Aug 2022)

  Changed paths:
    M mlir/lib/Analysis/BufferViewFlowAnalysis.cpp
    M mlir/lib/Analysis/CMakeLists.txt
    M mlir/test/Dialect/Bufferization/Transforms/buffer-deallocation.mlir
    M utils/bazel/llvm-project-overlay/mlir/BUILD.bazel

  Log Message:
  -----------
  buffer-deallocation: consider aliases introduced by arith.select.

Currently, buffer deallocation considers arith.select to be
non-aliasing, which results in deallocs being inserted incorrectly. Since
arith.select doesn't implement any useful interfaces, this change just handles
it explicitly. Eventually this should probably be fixed properly, if this pass
is going to be used long term.

Reviewed By: springerm

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