llvm-project

1
// RUN: mlir-opt %s -split-input-file -verify-diagnostics
2

3
// -----
4

5
func.func @func_op() {
6
  // expected-error@+1 {{expected valid '@'-identifier for symbol name}}
7
  func.func missingsigil() -> (i1, index, f32)
8
  return
9
}
10

11
// -----
12

13
func.func @func_op() {
14
  // expected-error@+1 {{expected type instead of SSA identifier}}
15
  func.func @mixed_named_arguments(f32, %a : i32) {
16
    return
17
  }
18
  return
19
}
20

21
// -----
22

23
func.func @func_op() {
24
  // expected-error@+1 {{expected SSA identifier}}
25
  func.func @mixed_named_arguments(%a : i32, f32) -> () {
26
    return
27
  }
28
  return
29
}
30

31
// -----
32

33
func.func @func_op() {
34
  // expected-error@+1 {{op symbol's parent must have the SymbolTable trait}}
35
  func.func @mixed_named_arguments(f32) {
36
  ^entry:
37
    return
38
  }
39
  return
40
}
41

42
// -----
43

44
func.func @func_op() {
45
  // expected-error@+1 {{op symbol's parent must have the SymbolTable trait}}
46
  func.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.func @f() -> (foo
57

58
// -----
59

60
// expected-error@+1 {{expected attribute name}}
61
func.func @f() -> (i1 {)
62

63
// -----
64

65
// expected-error@+1 {{invalid to use 'test.invalid_attr'}}
66
func.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.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.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.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.func private @invalid_symbol_name_attr() attributes { sym_name = "x" }
91

92
// -----
93

94
// expected-error@+1 {{'function_type' is an inferred attribute and should not be specified in the explicit attribute dictionary}}
95
func.func private @invalid_symbol_type_attr() attributes { function_type = "x" }
96

97
// -----
98

99
// expected-error@+1 {{argument attribute array to have the same number of elements as the number of function arguments}}
100
func.func private @invalid_arg_attrs() attributes { arg_attrs = [{}] }
101

102
// -----
103

104

105
// expected-error@+1 {{result attribute array to have the same number of elements as the number of function results}}
106
func.func private @invalid_res_attrs() attributes { res_attrs = [{}] }
107