[all-commits] [llvm/llvm-project] 2d10f8: [mlir][Vector] Introduce 'vector.mask' operation a...

[Diego Caballero via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2d10f81d461937d220c02f0c272fe3b1232db3a5
      https://github.com/llvm/llvm-project/commit/2d10f81d461937d220c02f0c272fe3b1232db3a5
  Author: Diego Caballero <diegocaballero at google.com>
  Date:   2022-10-10 (Mon, 10 Oct 2022)

  Changed paths:
    M mlir/include/mlir/Dialect/Vector/CMakeLists.txt
    M mlir/include/mlir/Dialect/Vector/IR/VectorOps.h
    M mlir/include/mlir/Dialect/Vector/IR/VectorOps.td
    A mlir/include/mlir/Dialect/Vector/Interfaces/CMakeLists.txt
    A mlir/include/mlir/Dialect/Vector/Interfaces/MaskingInterfaces.h
    A mlir/include/mlir/Dialect/Vector/Interfaces/MaskingInterfaces.td
    M mlir/lib/Dialect/Vector/CMakeLists.txt
    M mlir/lib/Dialect/Vector/IR/CMakeLists.txt
    M mlir/lib/Dialect/Vector/IR/VectorOps.cpp
    A mlir/lib/Dialect/Vector/Interfaces/CMakeLists.txt
    A mlir/lib/Dialect/Vector/Interfaces/MaskingInterfaces.cpp
    M mlir/lib/Interfaces/CMakeLists.txt
    M mlir/test/Dialect/Vector/invalid.mlir
    M mlir/test/Dialect/Vector/ops.mlir
    M utils/bazel/llvm-project-overlay/mlir/BUILD.bazel

  Log Message:
  -----------
  [mlir][Vector] Introduce 'vector.mask' operation and MaskableOpInterface

This patch introduces the `vector.mask` operation and the MaskableOpInterface
as described in https://discourse.llvm.org/t/rfc-vector-masking-representation-in-mlir/64964.
The `vector.mask` operation is used to predicate the execution of operations
implementing the MaskableOpInterface. This interface will be implemented by maskable
operations and provides information about its masking constraints and semantics.

For now, only vector transfer and reduction ops implement the MaskableOpInterface
for illustration and testing purposes.

Reviewed By: nicolasvasilache, rriddle

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