[Mlir-commits] [mlir] [mlir][tosa] Add missing verifier for `tosa.pad` (PR #120934)

[Luke Hutton]

================
@@ -1566,7 +1566,7 @@ def Tosa_PadOp : Tosa_InferShapedTypeOp<"pad"> {
 
   let arguments = (ins
     Tosa_RankedTensor:$input1,
-    Tosa_Int32Or64Tensor:$padding,
+    2DTensorOf<[Tosa_Int32Or64]>:$padding,
----------------
lhutton1 wrote:

The expectation changed between v0.80 and v1.0.0 of the specification:

- v0.80 -> rank `2`, shape `[rank(shape1),2]`
- v1.0.0 -> rank `1`, shape `[2*rank(shape1)]`

Hopefully this helps with some confusion here

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