annotate mlir/test/IR/invalid-locations.mlir @ 236:c4bab56944e8 llvm-original

LLVM 16
author kono
date Wed, 09 Nov 2022 17:45:10 +0900
parents 79ff65ed7e25
children 1f2b6ac9f198
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: mlir-opt %s -split-input-file -verify-diagnostics
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 // -----
anatofuz
parents:
diff changeset
4
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
5 func.func @location_missing_l_paren() {
150
anatofuz
parents:
diff changeset
6 ^bb:
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
7 return loc) // expected-error {{expected '(' in location}}
150
anatofuz
parents:
diff changeset
8 }
anatofuz
parents:
diff changeset
9
anatofuz
parents:
diff changeset
10 // -----
anatofuz
parents:
diff changeset
11
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
12 func.func @location_missing_r_paren() {
150
anatofuz
parents:
diff changeset
13 ^bb:
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
14 return loc(unknown // expected-error {{expected ')' in location}}
150
anatofuz
parents:
diff changeset
15 }
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 // -----
anatofuz
parents:
diff changeset
18
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
19 func.func @location_invalid_instance() {
150
anatofuz
parents:
diff changeset
20 ^bb:
anatofuz
parents:
diff changeset
21 return loc() // expected-error {{expected location instance}}
anatofuz
parents:
diff changeset
22 }
anatofuz
parents:
diff changeset
23
anatofuz
parents:
diff changeset
24 // -----
anatofuz
parents:
diff changeset
25
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
26 func.func @location_name_missing_r_paren() {
150
anatofuz
parents:
diff changeset
27 ^bb:
anatofuz
parents:
diff changeset
28 return loc("foo"(unknown]) // expected-error {{expected ')' after child location of NameLoc}}
anatofuz
parents:
diff changeset
29 }
anatofuz
parents:
diff changeset
30
anatofuz
parents:
diff changeset
31 // -----
anatofuz
parents:
diff changeset
32
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
33 func.func @location_callsite_missing_l_paren() {
150
anatofuz
parents:
diff changeset
34 ^bb:
anatofuz
parents:
diff changeset
35 return loc(callsite unknown // expected-error {{expected '(' in callsite location}}
anatofuz
parents:
diff changeset
36 }
anatofuz
parents:
diff changeset
37
anatofuz
parents:
diff changeset
38 // -----
anatofuz
parents:
diff changeset
39
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
40 func.func @location_callsite_missing_callee() {
150
anatofuz
parents:
diff changeset
41 ^bb:
anatofuz
parents:
diff changeset
42 return loc(callsite( at ) // expected-error {{expected location instance}}
anatofuz
parents:
diff changeset
43 }
anatofuz
parents:
diff changeset
44
anatofuz
parents:
diff changeset
45 // -----
anatofuz
parents:
diff changeset
46
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
47 func.func @location_callsite_missing_at() {
150
anatofuz
parents:
diff changeset
48 ^bb:
anatofuz
parents:
diff changeset
49 return loc(callsite(unknown unknown) // expected-error {{expected 'at' in callsite location}}
anatofuz
parents:
diff changeset
50 }
anatofuz
parents:
diff changeset
51
anatofuz
parents:
diff changeset
52 // -----
anatofuz
parents:
diff changeset
53
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
54 func.func @location_callsite_missing_caller() {
150
anatofuz
parents:
diff changeset
55 ^bb:
anatofuz
parents:
diff changeset
56 return loc(callsite(unknown at ) // expected-error {{expected location instance}}
anatofuz
parents:
diff changeset
57 }
anatofuz
parents:
diff changeset
58
anatofuz
parents:
diff changeset
59 // -----
anatofuz
parents:
diff changeset
60
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
61 func.func @location_callsite_missing_r_paren() {
150
anatofuz
parents:
diff changeset
62 ^bb:
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
63 return loc(callsite( unknown at unknown // expected-error {{expected ')' in callsite location}}
150
anatofuz
parents:
diff changeset
64 }
anatofuz
parents:
diff changeset
65
anatofuz
parents:
diff changeset
66 // -----
anatofuz
parents:
diff changeset
67
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
68 func.func @location_fused_missing_greater() {
150
anatofuz
parents:
diff changeset
69 ^bb:
anatofuz
parents:
diff changeset
70 return loc(fused<true [unknown]) // expected-error {{expected '>' after fused location metadata}}
anatofuz
parents:
diff changeset
71 }
anatofuz
parents:
diff changeset
72
anatofuz
parents:
diff changeset
73 // -----
anatofuz
parents:
diff changeset
74
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
75 func.func @location_fused_missing_metadata() {
150
anatofuz
parents:
diff changeset
76 ^bb:
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
77 // expected-error@+1 {{expected attribute value}}
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
78 return loc(fused<)
150
anatofuz
parents:
diff changeset
79 }
anatofuz
parents:
diff changeset
80
anatofuz
parents:
diff changeset
81 // -----
anatofuz
parents:
diff changeset
82
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
83 func.func @location_fused_missing_l_square() {
150
anatofuz
parents:
diff changeset
84 ^bb:
anatofuz
parents:
diff changeset
85 return loc(fused<true>unknown]) // expected-error {{expected '[' in fused location}}
anatofuz
parents:
diff changeset
86 }
anatofuz
parents:
diff changeset
87
anatofuz
parents:
diff changeset
88 // -----
anatofuz
parents:
diff changeset
89
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
90 func.func @location_fused_missing_r_square() {
150
anatofuz
parents:
diff changeset
91 ^bb:
anatofuz
parents:
diff changeset
92 return loc(fused[unknown) // expected-error {{expected ']' in fused location}}
anatofuz
parents:
diff changeset
93 }
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
94
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
95 // -----
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
96
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
97 func.func @location_invalid_alias() {
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
98 // expected-error@+1 {{expected location, but found dialect attribute: '#foo.loc'}}
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
99 return loc(#foo.loc)
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
100 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
101
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
102 // -----
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
103
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
104 func.func @location_invalid_alias() {
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
105 // expected-error@+1 {{operation location alias was never defined}}
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
106 return loc(#invalid_alias)
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
107 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
108
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
109 // -----
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
110
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
111 func.func @location_invalid_alias() {
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
112 // expected-error@+1 {{expected location, but found 'true'}}
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
113 return loc(#non_loc)
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
114 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
115
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
116 #non_loc = true
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
117