mlir/test/Dialect/Func/invalid.mlir

   1 // RUN: mlir-opt -allow-unregistered-dialect -split-input-file %s -verify-diagnostics
   2
   3 func.func @unsupported_attribute() {
   4   // expected-error @+1 {{invalid kind of attribute specified}}
   5   %0 = constant "" : index
   6   return
   7 }
   8
   9 // -----
  10
  11 func.func private @return_i32_f32() -> (i32, f32)
  12
  13 func.func @call() {
  14   // expected-error @+3 {{op result type mismatch at index 0}}
  15   // expected-note @+2 {{op result types: 'f32', 'i32'}}
  16   // expected-note @+1 {{function result types: 'i32', 'f32'}}
  17   %0:2 = call @return_i32_f32() : () -> (f32, i32)
  18   return
  19 }
  20
  21 // -----
  22
  23 func.func @resulterror() -> i32 {
  24 ^bb42:
  25   return    // expected-error {{'func.return' op has 0 operands, but enclosing function (@resulterror) returns 1}}
  26 }
  27
  28 // -----
  29
  30 func.func @return_type_mismatch() -> i32 {
  31   %0 = "foo"() : ()->f32
  32   return %0 : f32  // expected-error {{type of return operand 0 ('f32') doesn't match function result type ('i32') in function @return_type_mismatch}}
  33 }
  34
  35 // -----
  36
  37 func.func @return_inside_loop() {
  38   affine.for %i = 1 to 100 {
  39     // expected-error@+1 {{'func.return' op expects parent op 'func.func'}}
  40     func.return
  41   }
  42   return
  43 }
  44
  45 // -----
  46
  47 // expected-error@+1 {{expected non-function type}}
  48 func.func @func_variadic(...)
  49
  50 // -----
  51
  52 func.func @foo() {
  53 ^bb0:
  54   %x = constant @foo : (i32) -> ()  // expected-error {{reference to function with mismatched type}}
  55   return
  56 }
  57
  58 // -----
  59
  60 func.func @undefined_function() {
  61 ^bb0:
  62   %x = constant @qux : (i32) -> ()  // expected-error {{reference to undefined function 'qux'}}
  63   return
  64 }
  65
  66 // -----
  67
  68 #map1 = affine_map<(i)[j] -> (i+j)>
  69
  70 func.func @bound_symbol_mismatch(%N : index) {
  71   affine.for %i = #map1(%N) to 100 {
  72   // expected-error@-1 {{symbol operand count and affine map symbol count must match}}
  73   }
  74   return
  75 }
  76
  77 // -----
  78
  79 #map1 = affine_map<(i)[j] -> (i+j)>
  80
  81 func.func @bound_dim_mismatch(%N : index) {
  82   affine.for %i = #map1(%N, %N)[%N] to 100 {
  83   // expected-error@-1 {{dim operand count and affine map dim count must match}}
  84   }
  85   return
  86 }
  87
  88 // -----
  89
  90 func.func @large_bound() {
  91   affine.for %i = 1 to 9223372036854775810 {
  92   // expected-error@-1 {{integer constant out of range for attribute}}
  93   }
  94   return
  95 }
  96
  97 // -----
  98
  99 func.func @max_in_upper_bound(%N : index) {
 100   affine.for %i = 1 to max affine_map<(i)->(N, 100)> { //expected-error {{expected attribute value}}
 101   }
 102   return
 103 }
 104
 105 // -----
 106
 107 func.func @step_typo() {
 108   affine.for %i = 1 to 100 step -- 1 { //expected-error {{expected constant integer}}
 109   }
 110   return
 111 }
 112
 113 // -----
 114
 115 func.func @invalid_bound_map(%N : i32) {
 116   affine.for %i = 1 to affine_map<(i)->(j)>(%N) { //expected-error {{use of undeclared identifier}}
 117   }
 118   return
 119 }
 120
 121 // -----
 122
 123 // expected-error @+1 {{expected '(' in integer set constraint list}}
 124 #set0 = affine_set<(i)[N, M] : )i >= 0)>
 125
 126 // -----
 127 #set0 = affine_set<(i)[N] : (i >= 0, N - i >= 0)>
 128
 129 func.func @invalid_if_operands1(%N : index) {
 130   affine.for %i = 1 to 10 {
 131     affine.if #set0(%i) {
 132     // expected-error@-1 {{symbol operand count and integer set symbol count must match}}
 133
 134 // -----
 135 #set0 = affine_set<(i)[N] : (i >= 0, N - i >= 0)>
 136
 137 func.func @invalid_if_operands2(%N : index) {
 138   affine.for %i = 1 to 10 {
 139     affine.if #set0()[%N] {
 140     // expected-error@-1 {{dim operand count and integer set dim count must match}}
 141
 142 // -----
 143 #set0 = affine_set<(i)[N] : (i >= 0, N - i >= 0)>
 144
 145 func.func @invalid_if_operands3(%N : index) {
 146   affine.for %i = 1 to 10 {
 147     affine.if #set0(%i)[%i] {
 148     // expected-error@-1 {{operand cannot be used as a symbol}}
 149     }
 150   }
 151   return
 152 }
 153
 154 // -----
 155
 156 func.func @redundant_signature(%a : i32) -> () {
 157 ^bb0(%b : i32):  // expected-error {{invalid block name in region with named arguments}}
 158   return
 159 }
 160
 161 // -----
 162
 163 func.func @mixed_named_arguments(%a : i32,
 164                                f32) -> () {
 165     // expected-error @-1 {{expected SSA identifier}}
 166   return
 167 }
 168
 169 // -----
 170
 171 func.func @mixed_named_arguments(f32,
 172                                %a : i32) -> () { // expected-error {{expected type instead of SSA identifier}}
 173   return
 174 }
 175
 176 // -----
 177
 178 // expected-error @+1 {{@ identifier expected to start with letter or '_'}}
 179 func.func @$invalid_function_name()
 180
 181 // -----
 182
 183 // expected-error @+1 {{arguments may only have dialect attributes}}
 184 func.func private @invalid_func_arg_attr(i1 {non_dialect_attr = 10})
 185
 186 // -----
 187
 188 // expected-error @+1 {{results may only have dialect attributes}}
 189 func.func private @invalid_func_result_attr() -> (i1 {non_dialect_attr = 10})
 190
 191 // -----
 192
 193 func.func @foo() {} // expected-error {{expected non-empty function body}}