[Mlir-commits] [mlir] [mlir][SPIR-V] Make Stride optional in KHR CooperativeMatrixLoad/Store per spec (PR #214194)

[Igor Wodiany]

================
@@ -32,6 +33,15 @@ verifyCoopMatrixAccess(Operation *op, Type pointer, Type coopMatrix,
            << pointeeType;
   }
 
+  // Per the SPIR-V spec, Stride is required for the RowMajor and ColumnMajor
+  // layouts.
+  if (!stride &&
+      (matrixLayout == spirv::CooperativeMatrixLayoutKHR::RowMajor ||
+       matrixLayout == spirv::CooperativeMatrixLayoutKHR::ColumnMajor)) {
----------------
IgWod wrote:

nit: This could use `is_contained` but I'm not sure we'd gain much in this case, so up to you.

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