[Mlir-commits] [mlir] [mlir][shard] Bounds-check the axis attributes in the collective verifiers (PR #219691)

[Alessandro Potenza]

alepot55 wrote:

@joker-eph @fschlimb, you two have the most history in this file and in `Shard/` generally, so tagging you rather than guessing. @kuhar as well if you have an interest.

One correction to my own issue text while I am here: it named the paths as "scatter / all_to_all / shard_slice". There is no `shard_slice` op, it is `all_slice`, and `reduce_scatter` was missing from the list. Four ops, and the PR covers all four.

https://github.com/llvm/llvm-project/pull/219691