[Mlir-commits] [mlir] [mlir][tosa] Simplify pad shape inference and verification (PR #233064)

[Federico Bruzzone]

================
@@ -838,6 +838,17 @@ func.func @test_padding_simple(%arg0 : tensor<1x2xf32>) -> () {
 
 // -----
 
+// CHECK-LABEL: @test_padding_constant_arithmetic
+func.func @test_padding_constant_arithmetic(%arg0 : tensor<10x20xf32>) {
+  %0 = tosa.const_shape values(dense<[-1, 2, 3, 4]> : tensor<4xindex>) : () -> !tosa.shape<4>
+  %1 = "tosa.const"() <{values = dense<3.14> : tensor<1xf32>}> : () -> tensor<1xf32>
----------------
FedericoBruzzone wrote:

Just for reference to other folks, with #232221 in place, this would raise a runtime assertion (see also #231389).

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