1 // RUN: %clang_cc1 -no-opaque-pointers %s -triple x86_64-pc-win32 -fms-extensions -emit-llvm -O1 -disable-llvm-passes -o - | FileCheck %s
2 // RUN: %clang_cc1 -no-opaque-pointers %s -triple i686-pc-win32 -fms-extensions -emit-llvm -O1 -disable-llvm-passes -o - | FileCheck %s
3 // RUN: %clang_cc1 -no-opaque-pointers %s -triple aarch64-windows -fms-extensions -emit-llvm -O1 -disable-llvm-passes -o - | FileCheck %s
4 // NOTE: we're passing "-O1 -disable-llvm-passes" to avoid adding optnone and noinline everywhere.
5
6 void abort(void) __attribute__((noreturn));
7 void might_crash(void);
8 void cleanup(void);
9 int check_condition(void);
basic_finally(void)10 void basic_finally(void) {
11 __try {
12 might_crash();
13 } __finally {
14 cleanup();
15 }
16 }
17
18 // CHECK-LABEL: define dso_local void @basic_finally()
19 // CHECK: invoke void @might_crash()
20 // CHECK: to label %[[invoke_cont:[^ ]*]] unwind label %[[lpad:[^ ]*]]
21 //
22 // CHECK: [[invoke_cont]]
23 // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.localaddress()
24 // CHECK: call void @"?fin$0@0@basic_finally@@"({{i8 noundef( zeroext)?}} 0, i8* noundef %[[fp]])
25 // CHECK-NEXT: ret void
26 //
27 // CHECK: [[lpad]]
28 // CHECK-NEXT: %[[pad:[^ ]*]] = cleanuppad
29 // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.localaddress()
30 // CHECK: call void @"?fin$0@0@basic_finally@@"({{i8 noundef( zeroext)?}} 1, i8* noundef %[[fp]])
31 // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller
32
33 // CHECK: define internal void @"?fin$0@0@basic_finally@@"({{.*}})
34 // CHECK-SAME: [[finally_attrs:#[0-9]+]]
35 // CHECK: call void @cleanup()
36
37 // Mostly check that we don't double emit 'r' which would crash.
decl_in_finally(void)38 void decl_in_finally(void) {
39 __try {
40 might_crash();
41 } __finally {
42 int r;
43 }
44 }
45
46 // Ditto, don't crash double emitting 'l'.
label_in_finally(void)47 void label_in_finally(void) {
48 __try {
49 might_crash();
50 } __finally {
51 l:
52 cleanup();
53 if (check_condition())
54 goto l;
55 }
56 }
57
58 // CHECK-LABEL: define dso_local void @label_in_finally()
59 // CHECK: invoke void @might_crash()
60 // CHECK: to label %[[invoke_cont:[^ ]*]] unwind label %[[lpad:[^ ]*]]
61 //
62 // CHECK: [[invoke_cont]]
63 // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.localaddress()
64 // CHECK: call void @"?fin$0@0@label_in_finally@@"({{i8 noundef( zeroext)?}} 0, i8* noundef %[[fp]])
65 // CHECK: ret void
66
67 // CHECK: define internal void @"?fin$0@0@label_in_finally@@"({{.*}})
68 // CHECK-SAME: [[finally_attrs]]
69 // CHECK: br label %[[l:[^ ]*]]
70 //
71 // CHECK: [[l]]
72 // CHECK: call void @cleanup()
73 // CHECK: call i32 @check_condition()
74 // CHECK: br i1 {{.*}}, label
75 // CHECK: br label %[[l]]
76
77 int crashed;
use_abnormal_termination(void)78 void use_abnormal_termination(void) {
79 __try {
80 might_crash();
81 } __finally {
82 crashed = __abnormal_termination();
83 }
84 }
85
86 // CHECK-LABEL: define dso_local void @use_abnormal_termination()
87 // CHECK: invoke void @might_crash()
88 // CHECK: to label %[[invoke_cont:[^ ]*]] unwind label %[[lpad:[^ ]*]]
89 //
90 // CHECK: [[invoke_cont]]
91 // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.localaddress()
92 // CHECK: call void @"?fin$0@0@use_abnormal_termination@@"({{i8 noundef( zeroext)?}} 0, i8* noundef %[[fp]])
93 // CHECK: ret void
94 //
95 // CHECK: [[lpad]]
96 // CHECK-NEXT: %[[pad:[^ ]*]] = cleanuppad
97 // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.localaddress()
98 // CHECK: call void @"?fin$0@0@use_abnormal_termination@@"({{i8 noundef( zeroext)?}} 1, i8* noundef %[[fp]])
99 // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller
100
101 // CHECK: define internal void @"?fin$0@0@use_abnormal_termination@@"({{i8 noundef( zeroext)?}} %[[abnormal:abnormal_termination]], i8* noundef %frame_pointer)
102 // CHECK-SAME: [[finally_attrs]]
103 // CHECK: %[[abnormal_zext:[^ ]*]] = zext i8 %[[abnormal]] to i32
104 // CHECK: store i32 %[[abnormal_zext]], i32* @crashed
105 // CHECK-NEXT: ret void
106
noreturn_noop_finally(void)107 void noreturn_noop_finally(void) {
108 __try {
109 __noop();
110 } __finally {
111 abort();
112 }
113 }
114
115 // CHECK-LABEL: define dso_local void @noreturn_noop_finally()
116 // CHECK: call void @"?fin$0@0@noreturn_noop_finally@@"({{.*}})
117 // CHECK: ret void
118
119 // CHECK: define internal void @"?fin$0@0@noreturn_noop_finally@@"({{.*}})
120 // CHECK-SAME: [[finally_attrs]]
121 // CHECK: call void @abort()
122 // CHECK: unreachable
123
noreturn_finally(void)124 void noreturn_finally(void) {
125 __try {
126 might_crash();
127 } __finally {
128 abort();
129 }
130 }
131
132 // CHECK-LABEL: define dso_local void @noreturn_finally()
133 // CHECK: invoke void @might_crash()
134 // CHECK: to label %[[cont:[^ ]*]] unwind label %[[lpad:[^ ]*]]
135 //
136 // CHECK: [[cont]]
137 // CHECK: call void @"?fin$0@0@noreturn_finally@@"({{.*}})
138 // CHECK: ret void
139 //
140 // CHECK: [[lpad]]
141 // CHECK-NEXT: %[[pad:[^ ]*]] = cleanuppad
142 // CHECK: call void @"?fin$0@0@noreturn_finally@@"({{.*}})
143 // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller
144
145 // CHECK: define internal void @"?fin$0@0@noreturn_finally@@"({{.*}})
146 // CHECK-SAME: [[finally_attrs]]
147 // CHECK: call void @abort()
148 // CHECK: unreachable
149
finally_with_return(void)150 int finally_with_return(void) {
151 __try {
152 return 42;
153 } __finally {
154 }
155 }
156 // CHECK-LABEL: define dso_local i32 @finally_with_return()
157 // CHECK: call void @"?fin$0@0@finally_with_return@@"({{.*}})
158 // CHECK-NEXT: ret i32 42
159
160 // CHECK: define internal void @"?fin$0@0@finally_with_return@@"({{.*}})
161 // CHECK-SAME: [[finally_attrs]]
162 // CHECK-NOT: br i1
163 // CHECK-NOT: br label
164 // CHECK: ret void
165
nested___finally___finally(void)166 int nested___finally___finally(void) {
167 __try {
168 __try {
169 } __finally {
170 return 1;
171 }
172 } __finally {
173 // Intentionally no return here.
174 }
175 return 0;
176 }
177
178 // CHECK-LABEL: define dso_local i32 @nested___finally___finally
179 // CHECK: invoke void @"?fin$1@0@nested___finally___finally@@"({{.*}})
180 // CHECK: to label %[[outercont:[^ ]*]] unwind label %[[lpad:[^ ]*]]
181 //
182 // CHECK: [[outercont]]
183 // CHECK: call void @"?fin$0@0@nested___finally___finally@@"({{.*}})
184 // CHECK-NEXT: ret i32 0
185 //
186 // CHECK: [[lpad]]
187 // CHECK-NEXT: %[[pad:[^ ]*]] = cleanuppad
188 // CHECK: call void @"?fin$0@0@nested___finally___finally@@"({{.*}})
189 // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller
190
191 // CHECK-LABEL: define internal void @"?fin$0@0@nested___finally___finally@@"({{.*}})
192 // CHECK-SAME: [[finally_attrs]]
193 // CHECK: ret void
194
195 // CHECK-LABEL: define internal void @"?fin$1@0@nested___finally___finally@@"({{.*}})
196 // CHECK-SAME: [[finally_attrs]]
197 // CHECK: unreachable
198
199 // FIXME: Our behavior seems suspiciously different.
200
nested___finally___finally_with_eh_edge(void)201 int nested___finally___finally_with_eh_edge(void) {
202 __try {
203 __try {
204 might_crash();
205 } __finally {
206 return 899;
207 }
208 } __finally {
209 // Intentionally no return here.
210 }
211 return 912;
212 }
213 // CHECK-LABEL: define dso_local i32 @nested___finally___finally_with_eh_edge
214 // CHECK: invoke void @might_crash()
215 // CHECK-NEXT: to label %[[invokecont:[^ ]*]] unwind label %[[lpad1:[^ ]*]]
216 //
217 // [[invokecont]]
218 // CHECK: invoke void @"?fin$1@0@nested___finally___finally_with_eh_edge@@"({{.*}})
219 // CHECK-NEXT: to label %[[outercont:[^ ]*]] unwind label %[[lpad2:[^ ]*]]
220 //
221 // CHECK: [[outercont]]
222 // CHECK: call void @"?fin$0@0@nested___finally___finally_with_eh_edge@@"({{.*}})
223 // CHECK-NEXT: ret i32 912
224 //
225 // CHECK: [[lpad1]]
226 // CHECK-NEXT: %[[innerpad:[^ ]*]] = cleanuppad
227 // CHECK: invoke void @"?fin$1@0@nested___finally___finally_with_eh_edge@@"({{.*}})
228 // CHECK-NEXT: label %[[innercleanupretbb:[^ ]*]] unwind label %[[lpad2:[^ ]*]]
229 //
230 // CHECK: [[innercleanupretbb]]
231 // CHECK-NEXT: cleanupret from %[[innerpad]] unwind label %[[lpad2]]
232 //
233 // CHECK: [[lpad2]]
234 // CHECK-NEXT: %[[outerpad:[^ ]*]] = cleanuppad
235 // CHECK: call void @"?fin$0@0@nested___finally___finally_with_eh_edge@@"({{.*}})
236 // CHECK-NEXT: cleanupret from %[[outerpad]] unwind to caller
237
238 // CHECK-LABEL: define internal void @"?fin$0@0@nested___finally___finally_with_eh_edge@@"({{.*}})
239 // CHECK-SAME: [[finally_attrs]]
240 // CHECK: ret void
241
242 // CHECK-LABEL: define internal void @"?fin$1@0@nested___finally___finally_with_eh_edge@@"({{.*}})
243 // CHECK-SAME: [[finally_attrs]]
244 // CHECK: unreachable
245
finally_within_finally(void)246 void finally_within_finally(void) {
247 __try {
248 might_crash();
249 } __finally {
250 __try {
251 might_crash();
252 } __finally {
253 }
254 }
255 }
256
257 // CHECK-LABEL: define dso_local void @finally_within_finally(
258 // CHECK: invoke void @might_crash(
259
260 // CHECK: call void @"?fin$0@0@finally_within_finally@@"(
261 // CHECK: call void @"?fin$0@0@finally_within_finally@@"({{.*}}) [ "funclet"(
262
263 // CHECK-LABEL: define internal void @"?fin$0@0@finally_within_finally@@"({{[^)]*}})
264 // CHECK-SAME: [[finally_attrs]]
265 // CHECK: invoke void @might_crash(
266
267 // CHECK: call void @"?fin$1@0@finally_within_finally@@"(
268 // CHECK: call void @"?fin$1@0@finally_within_finally@@"({{.*}}) [ "funclet"(
269
270 // CHECK-LABEL: define internal void @"?fin$1@0@finally_within_finally@@"({{[^)]*}})
271 // CHECK-SAME: [[finally_attrs]]
272
273 void cleanup_with_func(const char *);
finally_with_func(void)274 void finally_with_func(void) {
275 __try {
276 might_crash();
277 } __finally {
278 cleanup_with_func(__func__);
279 }
280 }
281
282 // CHECK-LABEL: define internal void @"?fin$0@0@finally_with_func@@"({{[^)]*}})
283 // CHECK: call void @cleanup_with_func(i8* noundef getelementptr inbounds ([18 x i8], [18 x i8]* @"??_C@_0BC@COAGBPGM@finally_with_func?$AA@", i{{32|64}} 0, i{{32|64}} 0))
284
285 // Look for the absence of noinline. nounwind is expected; any further
286 // attributes should be string attributes.
287 // CHECK: attributes [[finally_attrs]] = { nounwind "{{.*}}" }
288