HomePhabricator

[mlir] Improve TransferOp verifier: broadcasts are in_bounds

Authored by springerm on May 17 2021, 6:26 AM.

Description

[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