[Mlir-commits] [mlir] [mlir][spirv] Tighten SPIR-V TOSA pool constraints (PR #193515)

[Davide Grohmann]

================
@@ -54,6 +54,96 @@ void printSPIRV_I32_1DArmTensor(OpAsmPrinter &printer, Operation *,
 // SPIRV Tosa Custom verifiers
 //===----------------------------------------------------------------------===//
 
+namespace {
+
+int64_t getIntValue(DenseIntElementsAttr attr, size_t idx) {
+  return (*std::next(attr.getValues<APInt>().begin(), idx)).getSExtValue();
+}
+
+LogicalResult verifyPool2DPadValuesLessThanKernel(Operation *op,
----------------
davidegrohmann wrote:

Moved to tablegen. Hopefully is better.

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