[all-commits] [llvm/llvm-project] 2c9688: [mlir] Improve TransferOp verifier: broadcasts are...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2c9688d201a79383282c22dca2c2826688d5272c
      https://github.com/llvm/llvm-project/commit/2c9688d201a79383282c22dca2c2826688d5272c
  Author: Matthias Springer <springerm at google.com>
  Date:   2021-05-17 (Mon, 17 May 2021)

  Changed paths:
    M mlir/include/mlir/Dialect/Vector/VectorOps.td
    M mlir/include/mlir/Interfaces/VectorInterfaces.td
    M mlir/lib/Dialect/Vector/VectorOps.cpp
    M mlir/test/Dialect/Vector/invalid.mlir

  Log Message:
  -----------
  [mlir] Improve TransferOp verifier: broadcasts are in_bounds

Broadcast dimensions of vector transfer ops are always in-bounds. This is consistent with the fact that the starting position of a transfer is always in-bounds.

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