[all-commits] [llvm/llvm-project] e73964: [MLIR][SPIRVToLLVM] Conversion pattern for loop op

[George Mitenkov via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: e739648cfae21d2b564751ef0511fec9559305fa
      https://github.com/llvm/llvm-project/commit/e739648cfae21d2b564751ef0511fec9559305fa
  Author: George Mitenkov <georgemitenk0v at gmail.com>
  Date:   2020-08-05 (Wed, 05 Aug 2020)

  Changed paths:
    M mlir/lib/Conversion/SPIRVToLLVM/ConvertSPIRVToLLVM.cpp
    M mlir/test/Conversion/SPIRVToLLVM/control-flow-ops-to-llvm.mlir

  Log Message:
  -----------
  [MLIR][SPIRVToLLVM] Conversion pattern for loop op

This patch introduces a conversion of `spv.loop` to LLVM dialect.
Similarly to `spv.selection`, op's control attributes are not mapped
to LLVM yet and therefore the conversion fails if the loop control is
not `None`. Also, all blocks within the loop should be reachable in
order for conversion to succeed.

Reviewed By: mravishankar

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