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

[Igor Wodiany]

================
@@ -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)) {
----------------
IgWod-IMG wrote:

This check (and below) seems to be also present in the conv ops. Could we have a predicate and verify it in ODS? Or maybe just some helper functions?

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