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