[all-commits] [llvm/llvm-project] 3b021f: [MLIR][LinAlg] Detensorize interal function contro...

[Kareem Ergawy via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3b021fbdc04b627b8bc1f53835dc2f6aefddd7c2
      https://github.com/llvm/llvm-project/commit/3b021fbdc04b627b8bc1f53835dc2f6aefddd7c2
  Author: KareemErgawy-TomTom <kareem.ergawy at gmail.com>
  Date:   2021-03-02 (Tue, 02 Mar 2021)

  Changed paths:
    M mlir/include/mlir/Dialect/Linalg/Passes.td
    M mlir/include/mlir/Dialect/StandardOps/Transforms/FuncConversions.h
    M mlir/include/mlir/Transforms/DialectConversion.h
    M mlir/lib/Dialect/Linalg/Transforms/Detensorize.cpp
    M mlir/lib/Dialect/StandardOps/Transforms/FuncBufferize.cpp
    M mlir/lib/Dialect/StandardOps/Transforms/FuncConversions.cpp
    M mlir/lib/Transforms/Utils/DialectConversion.cpp
    A mlir/test/Dialect/Linalg/detensorized_while.mlir

  Log Message:
  -----------
  [MLIR][LinAlg] Detensorize interal function control flow.

This patch continues detensorizing implementation by detensoring
internal control flow in functions.

In order to detensorize functions, all the non-entry block's arguments
are detensored and branches between such blocks are properly updated to
reflect the detensored types as well. Function entry block (signature)
is left intact.

This continues work towards handling github/google/iree#1159.

Reviewed By: silvas

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