mlir/test/IR/invalid-func-op.mlir

   1 // RUN: mlir-opt %s -split-input-file -verify-diagnostics
   2
   3 // -----
   4
   5 func @func_op() {
   6   // expected-error@+1 {{expected valid '@'-identifier for symbol name}}
   7   builtin.func missingsigil() -> (i1, index, f32)
   8   return
   9 }
  10
  11 // -----
  12
  13 func @func_op() {
  14   // expected-error@+1 {{expected type instead of SSA identifier}}
  15   builtin.func @mixed_named_arguments(f32, %a : i32) {
  16     return
  17   }
  18   return
  19 }
  20
  21 // -----
  22
  23 func @func_op() {
  24   // expected-error@+1 {{expected SSA identifier}}
  25   builtin.func @mixed_named_arguments(%a : i32, f32) -> () {
  26     return
  27   }
  28   return
  29 }
  30
  31 // -----
  32
  33 func @func_op() {
  34   // expected-error@+1 {{entry block must have 1 arguments to match function signature}}
  35   builtin.func @mixed_named_arguments(f32) {
  36   ^entry:
  37     return
  38   }
  39   return
  40 }
  41
  42 // -----
  43
  44 func @func_op() {
  45   // expected-error@+1 {{type of entry block argument #0('i32') must match the type of the corresponding argument in function signature('f32')}}
  46   builtin.func @mixed_named_arguments(f32) {
  47   ^entry(%arg : i32):
  48     return
  49   }
  50   return
  51 }
  52
  53 // -----
  54
  55 // expected-error@+1 {{expected non-function type}}
  56 func @f() -> (foo
  57
  58 // -----
  59
  60 // expected-error@+1 {{expected attribute name}}
  61 func @f() -> (i1 {)
  62
  63 // -----
  64
  65 // expected-error@+1 {{invalid to use 'test.invalid_attr'}}
  66 func @f(%arg0: i64 {test.invalid_attr}) {
  67   return
  68 }
  69
  70 // -----
  71
  72 // expected-error@+1 {{invalid to use 'test.invalid_attr'}}
  73 func @f(%arg0: i64) -> (i64 {test.invalid_attr}) {
  74   return %arg0 : i64
  75 }
  76
  77 // -----
  78
  79 // expected-error@+1 {{symbol declaration cannot have public visibility}}
  80 func @invalid_public_declaration()
  81
  82 // -----
  83
  84 // expected-error@+1 {{'sym_visibility' is an inferred attribute and should not be specified in the explicit attribute dictionary}}
  85 func @legacy_visibility_syntax() attributes { sym_visibility = "private" }
  86
  87 // -----
  88
  89 // expected-error@+1 {{'sym_name' is an inferred attribute and should not be specified in the explicit attribute dictionary}}
  90 func private @invalid_symbol_name_attr() attributes { sym_name = "x" }
  91
  92 // -----
  93
  94 // expected-error@+1 {{'type' is an inferred attribute and should not be specified in the explicit attribute dictionary}}
  95 func private @invalid_symbol_type_attr() attributes { type = "x" }
  96
  97 // -----
  98
  99 // expected-error@+1 {{argument attribute array `arg_attrs` to have the same number of elements as the number of function arguments}}
 100 func private @invalid_arg_attrs() attributes { arg_attrs = [{}] }
 101
 102 // -----
 103
 104 // expected-error@+1 {{expects argument attribute dictionary to be a DictionaryAttr, but got `10 : i64`}}
 105 func private @invalid_arg_attrs(i32) attributes { arg_attrs = [10] }
 106
 107 // -----
 108
 109 // expected-error@+1 {{result attribute array `res_attrs` to have the same number of elements as the number of function results}}
 110 func private @invalid_res_attrs() attributes { res_attrs = [{}] }
 111
 112 // -----
 113
 114 // expected-error@+1 {{expects result attribute dictionary to be a DictionaryAttr, but got `10 : i64`}}
 115 func private @invalid_res_attrs() -> i32 attributes { res_attrs = [10] }