[all-commits] [llvm/llvm-project] 39cf83: [mlir] Extend BufferAssignmentTypeConverter with r...

[Ehsan Toosi via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 39cf83cc78ff0a017fb9de27d45b87217aa6f558
      https://github.com/llvm/llvm-project/commit/39cf83cc78ff0a017fb9de27d45b87217aa6f558
  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