mlir/test/Conversion/TosaToLinalg/tosa-to-linalg-pipeline.mlir

   1 // RUN: mlir-opt %s --split-input-file --tosa-to-linalg-pipeline -verify-diagnostics
   2
   3
   4 // -----
   5
   6 // check that -tosa-validate of stateful ops kick in
   7 func.func @test_variable_write_shape(%arg0: tensor<1x4x8xi32>) -> () {
   8   tosa.variable @stored_var = dense<-1> : tensor<2x4x8xi32>
   9   // expected-error@+1 {{'tosa.variable.write' op operand type does not equal variable type}}
  10   tosa.variable.write @stored_var, %arg0 : tensor<1x4x8xi32>
  11   return
  12 }
  13
  14 // -----
  15
  16 // check that -tosa-validate level checking kick in
  17 func.func @tensor_with_unknown_rank(%arg0: tensor<*xi8>) -> tensor<*xi8> {
  18   // expected-error@+1 {{'tosa.abs' op failed level check: unranked tensor}}
  19   %0 = "tosa.abs"(%arg0) : (tensor<*xi8>) -> tensor<*xi8>
  20   return %0 : tensor<*xi8>
  21 }
  22
  23 // -----
  24
  25 // check that tosa verify kick in
  26 func.func @test_avg_pool2d_zero_dim_input(%arg0: tensor<1x0x?x9xf32>) -> tensor<1x7x7x9xf32> {
  27   // expected-error@+1 {{'tosa.avg_pool2d' op operand #0 must be 4-d tosa-conformant tensor, but got 'tensor<1x0x?x9xf32>'}}
  28     %0 = "tosa.avg_pool2d"(%arg0) {acc_type = f32, kernel = array<i64: 2, 2>, pad = array<i64: 0, 1, 0, 1>, stride = array<i64: 1, 1>}
  29       : (tensor<1x0x?x9xf32>) -> tensor<1x7x7x9xf32>
  30     return %0 : tensor<1x7x7x9xf32>
  31 }
  32
  33 // -----
  34
  35 // check that --tosa-to-linalg kick in
  36 func.func @avg_pool2d_with_unsupported_quant_type(%arg0: tensor<1x7x7x9x!quant.uniform<i8:f32, 0.01>>) -> tensor<1x7x7x9x!quant.uniform<i8:f32, 0.01>> {
  37   // expected-error@+1 {{failed to legalize operation 'tosa.avg_pool2d'}}
  38   %0 = "tosa.avg_pool2d"(%arg0) {acc_type = i32, kernel = array<i64: 2, 2>, pad = array<i64: 0, 1, 0, 1>, stride = array<i64: 1, 1>} : (tensor<1x7x7x9x!quant.uniform<i8:f32, 0.01>>) -> tensor<1x7x7x9x!quant.uniform<i8:f32, 0.01>>
  39   return %0 : tensor<1x7x7x9x!quant.uniform<i8:f32, 0.01>>
  40 }