[all-commits] [llvm/llvm-project] 94f5d2: [mlir] Extend BufferAssignmentTypeConverter with r...

[Ehsan Toosi via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 94f5d248772ba0f1f9c8b0746fe75a5d246c5540
      https://github.com/llvm/llvm-project/commit/94f5d248772ba0f1f9c8b0746fe75a5d246c5540
  Author: Ehsan Toosi <ehsan.nadjaran_toosi at dfki.de>
  Date:   2020-09-02 (Wed, 02 Sep 2020)

  Changed paths:
    M mlir/include/mlir/Transforms/BufferPlacement.h
    M mlir/lib/Dialect/Linalg/Transforms/TensorsToBuffers.cpp
    M mlir/lib/Transforms/BufferPlacement.cpp
    M mlir/test/Transforms/buffer-placement-preparation-allowed-memref-results.mlir
    M mlir/test/Transforms/buffer-placement-preparation.mlir
    M mlir/test/lib/Dialect/Test/TestOps.td
    M mlir/test/lib/Transforms/TestBufferPlacement.cpp

  Log Message:
  -----------
  [mlir] Extend BufferAssignmentTypeConverter with result conversion callbacks

In this PR, the users of BufferPlacement can configure
BufferAssginmentTypeConverter. These new configurations would give the user more
freedom in the process of converting function signature, and return and call
operation conversions.

These are the new features:
    - Accepting callback functions for decomposing types (i.e. 1 to N type
    conversion such as unpacking tuple types).
    - Defining ResultConversionKind for specifying whether a function result
    with a certain type should be appended to the function arguments list or
    should be kept as function result. (Usage:
    converter.setResultConversionKind<MemRefType>(AppendToArgumentList))
    - Accepting callback functions for composing or decomposing values (i.e. N
    to 1 and 1 to N value conversion).

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