[Mlir-commits] [mlir] [mlir][linalg] Introduce transpose semantic to 'linalg.matmul' ops. (PR #104783)

[llvmlistbot at llvm.org]

================
@@ -1172,19 +1240,26 @@ LogicalResult mlir::linalg::detail::verifyStructuredOpInterface(Operation *op) {
 
     // Domain must be consistent.
     unsigned numLoops = linalgOp.getNumLoops();
-    if (indexingMap.getNumDims() != numLoops)
+    if (!isUserDefinedSemantic && indexingMap.getNumDims() != numLoops)
----------------
MaheshRavishankar wrote:

You can drop the `isUserDefinedSemantic` here. This should hold irrespective of "user defined semantic".

Also `isUserDefinedSemantic` is a bit misleading. Maybe `hasNonDefaultSemantics` is better.

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