Page MenuHomePhabricator

[mlir] Improve TransferOp verifier: broadcasts are in_bounds
ClosedPublic

Authored by springerm on May 15 2021, 10:16 PM.

Details

Summary

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.

Depends On D102548

Diff Detail