[all-commits] [llvm/llvm-project] 8ba8ab: [mlir] support reductions in loop to std conversion

[ftynse via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 8ba8ab8c95fb185d722842bf78053a8dad6181cd
      https://github.com/llvm/llvm-project/commit/8ba8ab8c95fb185d722842bf78053a8dad6181cd
  Author: Alex Zinenko <zinenko at google.com>
  Date:   2020-03-03 (Tue, 03 Mar 2020)

  Changed paths:
    M mlir/lib/Conversion/LoopToStandard/ConvertLoopToStandard.cpp
    M mlir/test/Conversion/convert-to-cfg.mlir

  Log Message:
  -----------
  [mlir] support reductions in loop to std conversion

Summary:
Introduce support for converting loop.for operations with loop-carried values
to a CFG in the standard dialect. This is achieved by passing loop-carried
values as block arguments to the loop condition block. This block dominates
both the loop body and the block immediately following the loop, so the
arguments of this block are remain visible there.

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