[all-commits] [llvm/llvm-project] ff4c51: [mlir] Extended BufferPlacement to support more so...

[Marcel Koester via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: ff4c51033766ea4b60a4633fdfb57d305330c6fa
      https://github.com/llvm/llvm-project/commit/ff4c51033766ea4b60a4633fdfb57d305330c6fa
  Author: Marcel Koester <marcel.koester at dfki.de>
  Date:   2020-06-15 (Mon, 15 Jun 2020)

  Changed paths:
    M mlir/lib/Transforms/BufferPlacement.cpp
    M mlir/test/Transforms/buffer-placement.mlir

  Log Message:
  -----------
  [mlir] Extended BufferPlacement to support more sophisticated scenarios in which
allocations cannot be moved freely and can remain in divergent control flow.

The current BufferPlacement pass does not support allocation nodes that carry
additional dependencies (like in the case of dynamic shaped types). These
allocations can often not be moved freely and in turn might remain in divergent
control-flow branches. This requires a different strategy with respect to block
arguments and aliases. This CL adds additinal functionality to support
allocation nodes in divergent control flow while avoiding memory leaks.

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