[all-commits] [llvm/llvm-project] 91f6a5: [MLIR][SPIRV] Control attributes support for loop ...

[George Mitenkov via All-commits]

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

  Changed paths:
    M mlir/lib/Dialect/SPIRV/SPIRVOps.cpp
    M mlir/lib/Dialect/SPIRV/Serialization/Deserializer.cpp
    M mlir/lib/Dialect/SPIRV/Serialization/Serializer.cpp
    M mlir/test/Dialect/SPIRV/Serialization/loop.mlir
    M mlir/test/Dialect/SPIRV/Serialization/selection.mlir
    M mlir/test/Dialect/SPIRV/control-flow-ops.mlir

  Log Message:
  -----------
  [MLIR][SPIRV] Control attributes support for loop and selection

This patch handles loopControl and selectionControl in parsing and
printing. In order to reuse the functionality, and avoid handling cases when
`{` of the region is parsed as a dictionary attribute, `control` keyword was
introduced.`None` is a default control attribute. This functionality can be
later extended to `spv.func`.
Also, loopControl and selectionControl can now be (de)serialized.

Reviewed By: antiagainst

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