[mlir] [MLIR][Linalg] Introduce transpose/broadcast semantic to linalg.batch… (PR #130944)

[Andrzej Warzyński]

https://github.com/banach-space commented:

Sorry for the delay — returning to this after a short break.

Most of my comments are related to test hygiene; they’re minor, but still worth addressing.

While reviewing invalid.mlir, I got a bit confused by the "invalid broadcast" case — hopefully you can clarify that (I probably just need to refresh my memory). On a related note: since the verification logic is shared, shouldn’t the invalid tests for `linalg.batch_matmul` and `linalg.reduce_batch_matmul` be nearly identical?

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