[Mlir-commits] [mlir] [mlir][spirv] Add Pooling, Fourier Transform, and MatMul operations t… (PR #177585)

[Davide Grohmann]

================
@@ -132,6 +157,37 @@ LogicalResult TosaDepthwiseConv2DOp::verify() {
   return verifyConvOp(this->getOperation(), inputETy, resultETy, accType);
 }
 
+//===----------------------------------------------------------------------===//
+// spirv.TosaMatMulOp
+//===----------------------------------------------------------------------===//
+
+LogicalResult TosaMatMulOp::verify() {
+  Type aETy = getAType().getElementType();
+  Type resultETy = getResultType().getElementType();
+
+  if (aETy.isInteger(8) && !resultETy.isInteger(32)) {
----------------
davidegrohmann wrote:

Will move to ODS.

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