1 ; RUN: opt < %s -inline -S | FileCheck %s
3 ; Test that the inliner correctly handles inlining into invoke sites
4 ; by appending selectors and forwarding _Unwind_Resume directly to the
5 ; enclosing landing pad.
7 ;; Test 0 - basic functionality.
9 %struct.A = type { i8 }
11 @_ZTIi = external constant i8*
13 declare void @_ZN1AC1Ev(%struct.A*)
15 declare void @_ZN1AD1Ev(%struct.A*)
17 declare void @use(i32) nounwind
19 declare void @opaque()
21 declare i32 @llvm.eh.typeid.for(i8*) nounwind
23 declare i32 @__gxx_personality_v0(...)
25 declare i8* @__cxa_begin_catch(i8*)
27 declare void @__cxa_end_catch()
29 declare void @_ZSt9terminatev()
31 define internal void @test0_in() alwaysinline uwtable ssp {
33 %a = alloca %struct.A, align 1
34 %b = alloca %struct.A, align 1
35 call void @_ZN1AC1Ev(%struct.A* %a)
36 invoke void @_ZN1AC1Ev(%struct.A* %b)
37 to label %invoke.cont unwind label %lpad
40 invoke void @_ZN1AD1Ev(%struct.A* %b)
41 to label %invoke.cont1 unwind label %lpad
44 call void @_ZN1AD1Ev(%struct.A* %a)
48 %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
50 invoke void @_ZN1AD1Ev(%struct.A* %a)
51 to label %invoke.cont2 unwind label %terminate.lpad
54 resume { i8*, i32 } %exn
57 %exn1 = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
59 call void @_ZSt9terminatev() noreturn nounwind
63 define void @test0_out() uwtable ssp {
65 invoke void @test0_in()
66 to label %ret unwind label %lpad
71 lpad: ; preds = %entry
72 %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
73 catch i8* bitcast (i8** @_ZTIi to i8*)
74 %eh.exc = extractvalue { i8*, i32 } %exn, 0
75 %eh.selector = extractvalue { i8*, i32 } %exn, 1
76 %0 = call i32 @llvm.eh.typeid.for(i8* bitcast (i8** @_ZTIi to i8*)) nounwind
77 %1 = icmp eq i32 %eh.selector, %0
78 br i1 %1, label %catch, label %eh.resume
81 %ignored = call i8* @__cxa_begin_catch(i8* %eh.exc) nounwind
82 call void @__cxa_end_catch() nounwind
86 resume { i8*, i32 } %exn
89 ; CHECK: define void @test0_out()
90 ; CHECK: [[A:%.*]] = alloca %struct.A,
91 ; CHECK: [[B:%.*]] = alloca %struct.A,
92 ; CHECK: invoke void @_ZN1AC1Ev(%struct.A* [[A]])
93 ; CHECK: invoke void @_ZN1AC1Ev(%struct.A* [[B]])
94 ; CHECK: invoke void @_ZN1AD1Ev(%struct.A* [[B]])
95 ; CHECK: invoke void @_ZN1AD1Ev(%struct.A* [[A]])
96 ; CHECK: landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
98 ; CHECK-NEXT: catch i8* bitcast (i8** @_ZTIi to i8*)
99 ; CHECK-NEXT: catch i8* bitcast (i8** @_ZTIi to i8*)
100 ; CHECK-NEXT: invoke void @_ZN1AD1Ev(%struct.A* [[A]])
101 ; CHECK-NEXT: to label %[[LBL:[^\s]+]] unwind
103 ; CHECK-NEXT: br label %[[LPAD:[^\s]+]]
105 ; CHECK: landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
106 ; CHECK-NEXT: catch i8* bitcast (i8** @_ZTIi to i8*)
107 ; CHECK-NEXT: br label %[[LPAD]]
109 ; CHECK-NEXT: phi { i8*, i32 } [
110 ; CHECK-NEXT: extractvalue { i8*, i32 }
111 ; CHECK-NEXT: extractvalue { i8*, i32 }
112 ; CHECK-NEXT: call i32 @llvm.eh.typeid.for(
115 ;; Test 1 - Correctly handle phis in outer landing pads.
117 define void @test1_out() uwtable ssp {
119 invoke void @test0_in()
120 to label %cont unwind label %lpad
123 invoke void @test0_in()
124 to label %ret unwind label %lpad
130 %x = phi i32 [ 0, %entry ], [ 1, %cont ]
131 %y = phi i32 [ 1, %entry ], [ 4, %cont ]
132 %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
133 catch i8* bitcast (i8** @_ZTIi to i8*)
134 %eh.exc = extractvalue { i8*, i32 } %exn, 0
135 %eh.selector = extractvalue { i8*, i32 } %exn, 1
136 %0 = call i32 @llvm.eh.typeid.for(i8* bitcast (i8** @_ZTIi to i8*)) nounwind
137 %1 = icmp eq i32 %eh.selector, %0
138 br i1 %1, label %catch, label %eh.resume
141 %ignored = call i8* @__cxa_begin_catch(i8* %eh.exc) nounwind
142 call void @use(i32 %x)
143 call void @use(i32 %y)
144 call void @__cxa_end_catch() nounwind
148 resume { i8*, i32 } %exn
151 ; CHECK: define void @test1_out()
152 ; CHECK: [[A2:%.*]] = alloca %struct.A,
153 ; CHECK: [[B2:%.*]] = alloca %struct.A,
154 ; CHECK: [[A1:%.*]] = alloca %struct.A,
155 ; CHECK: [[B1:%.*]] = alloca %struct.A,
156 ; CHECK: invoke void @_ZN1AC1Ev(%struct.A* [[A1]])
157 ; CHECK-NEXT: unwind label %[[LPAD:[^\s]+]]
158 ; CHECK: invoke void @_ZN1AC1Ev(%struct.A* [[B1]])
159 ; CHECK-NEXT: unwind label %[[LPAD1:[^\s]+]]
160 ; CHECK: invoke void @_ZN1AD1Ev(%struct.A* [[B1]])
161 ; CHECK-NEXT: unwind label %[[LPAD1]]
162 ; CHECK: invoke void @_ZN1AD1Ev(%struct.A* [[A1]])
163 ; CHECK-NEXT: unwind label %[[LPAD]]
165 ; Inner landing pad from first inlining.
167 ; CHECK-NEXT: [[LPADVAL1:%.*]] = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
168 ; CHECK-NEXT: cleanup
169 ; CHECK-NEXT: catch i8* bitcast (i8** @_ZTIi to i8*)
170 ; CHECK-NEXT: catch i8* bitcast (i8** @_ZTIi to i8*)
171 ; CHECK-NEXT: invoke void @_ZN1AD1Ev(%struct.A* [[A1]])
172 ; CHECK-NEXT: to label %[[RESUME1:[^\s]+]] unwind
173 ; CHECK: [[RESUME1]]:
174 ; CHECK-NEXT: br label %[[LPAD_JOIN1:[^\s]+]]
176 ; CHECK: invoke void @_ZN1AC1Ev(%struct.A* [[A2]])
177 ; CHECK-NEXT: unwind label %[[LPAD]]
178 ; CHECK: invoke void @_ZN1AC1Ev(%struct.A* [[B2]])
179 ; CHECK-NEXT: unwind label %[[LPAD2:[^\s]+]]
180 ; CHECK: invoke void @_ZN1AD1Ev(%struct.A* [[B2]])
181 ; CHECK-NEXT: unwind label %[[LPAD2]]
182 ; CHECK: invoke void @_ZN1AD1Ev(%struct.A* [[A2]])
183 ; CHECK-NEXT: unwind label %[[LPAD]]
185 ; Inner landing pad from second inlining.
187 ; CHECK-NEXT: [[LPADVAL2:%.*]] = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
188 ; CHECK-NEXT: cleanup
189 ; CHECK-NEXT: catch i8* bitcast (i8** @_ZTIi to i8*)
190 ; CHECK-NEXT: catch i8* bitcast (i8** @_ZTIi to i8*)
191 ; CHECK-NEXT: invoke void @_ZN1AD1Ev(%struct.A* [[A2]])
192 ; CHECK-NEXT: to label %[[RESUME2:[^\s]+]] unwind
193 ; CHECK: [[RESUME2]]:
194 ; CHECK-NEXT: br label %[[LPAD_JOIN2:[^\s]+]]
199 ; CHECK-NEXT: [[X:%.*]] = phi i32 [ 0, %entry ], [ 0, {{%.*}} ], [ 1, %cont ], [ 1, {{%.*}} ]
200 ; CHECK-NEXT: [[Y:%.*]] = phi i32 [ 1, %entry ], [ 1, {{%.*}} ], [ 4, %cont ], [ 4, {{%.*}} ]
201 ; CHECK-NEXT: [[LPADVAL:%.*]] = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
202 ; CHECK-NEXT: catch i8* bitcast (i8** @_ZTIi to i8*)
203 ; CHECK-NEXT: br label %[[LPAD_JOIN2]]
205 ; CHECK: [[LPAD_JOIN2]]:
206 ; CHECK-NEXT: [[XJ2:%.*]] = phi i32 [ [[X]], %[[LPAD]] ], [ 1, %[[RESUME2]] ]
207 ; CHECK-NEXT: [[YJ2:%.*]] = phi i32 [ [[Y]], %[[LPAD]] ], [ 4, %[[RESUME2]] ]
208 ; CHECK-NEXT: [[EXNJ2:%.*]] = phi { i8*, i32 } [ [[LPADVAL]], %[[LPAD]] ], [ [[LPADVAL2]], %[[RESUME2]] ]
209 ; CHECK-NEXT: br label %[[LPAD_JOIN1]]
211 ; CHECK: [[LPAD_JOIN1]]:
212 ; CHECK-NEXT: [[XJ1:%.*]] = phi i32 [ [[XJ2]], %[[LPAD_JOIN2]] ], [ 0, %[[RESUME1]] ]
213 ; CHECK-NEXT: [[YJ1:%.*]] = phi i32 [ [[YJ2]], %[[LPAD_JOIN2]] ], [ 1, %[[RESUME1]] ]
214 ; CHECK-NEXT: [[EXNJ1:%.*]] = phi { i8*, i32 } [ [[EXNJ2]], %[[LPAD_JOIN2]] ], [ [[LPADVAL1]], %[[RESUME1]] ]
215 ; CHECK-NEXT: extractvalue { i8*, i32 } [[EXNJ1]], 0
216 ; CHECK-NEXT: [[SELJ1:%.*]] = extractvalue { i8*, i32 } [[EXNJ1]], 1
217 ; CHECK-NEXT: [[T:%.*]] = call i32 @llvm.eh.typeid.for(
218 ; CHECK-NEXT: icmp eq i32 [[SELJ1]], [[T]]
220 ; CHECK: call void @use(i32 [[XJ1]])
221 ; CHECK: call void @use(i32 [[YJ1]])
223 ; CHECK: resume { i8*, i32 }
226 ;; Test 2 - Don't make invalid IR for inlines into landing pads without eh.exception calls
227 define void @test2_out() uwtable ssp {
229 invoke void @test0_in()
230 to label %ret unwind label %lpad
236 %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
238 call void @_ZSt9terminatev()
242 ; CHECK: define void @test2_out()
243 ; CHECK: [[A:%.*]] = alloca %struct.A,
244 ; CHECK: [[B:%.*]] = alloca %struct.A,
245 ; CHECK: invoke void @_ZN1AC1Ev(%struct.A* [[A]])
246 ; CHECK-NEXT: unwind label %[[LPAD:[^\s]+]]
247 ; CHECK: invoke void @_ZN1AC1Ev(%struct.A* [[B]])
248 ; CHECK-NEXT: unwind label %[[LPAD2:[^\s]+]]
249 ; CHECK: invoke void @_ZN1AD1Ev(%struct.A* [[B]])
250 ; CHECK-NEXT: unwind label %[[LPAD2]]
251 ; CHECK: invoke void @_ZN1AD1Ev(%struct.A* [[A]])
252 ; CHECK-NEXT: unwind label %[[LPAD]]
255 ;; Test 3 - Deal correctly with split unwind edges.
256 define void @test3_out() uwtable ssp {
258 invoke void @test0_in()
259 to label %ret unwind label %lpad
265 %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
266 catch i8* bitcast (i8** @_ZTIi to i8*)
270 call void @_ZSt9terminatev()
274 ; CHECK: define void @test3_out()
275 ; CHECK: landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
276 ; CHECK-NEXT: cleanup
277 ; CHECK-NEXT: catch i8* bitcast (i8** @_ZTIi to i8*)
278 ; CHECK-NEXT: catch i8* bitcast (i8** @_ZTIi to i8*)
279 ; CHECK-NEXT: invoke void @_ZN1AD1Ev(
280 ; CHECK-NEXT: to label %[[L:[^\s]+]] unwind
282 ; CHECK-NEXT: br label %[[JOIN:[^\s]+]]
284 ; CHECK-NEXT: phi { i8*, i32 }
285 ; CHECK-NEXT: br label %lpad.cont
287 ; CHECK-NEXT: call void @_ZSt9terminatev()
290 ;; Test 4 - Split unwind edges with a dominance problem
291 define void @test4_out() uwtable ssp {
293 invoke void @test0_in()
294 to label %cont unwind label %lpad.crit
297 invoke void @opaque()
298 to label %ret unwind label %lpad
304 %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
305 catch i8* bitcast (i8** @_ZTIi to i8*)
306 call void @opaque() nounwind
310 %exn2 = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
311 catch i8* bitcast (i8** @_ZTIi to i8*)
315 %phi = phi i32 [ 0, %lpad.crit ], [ 1, %lpad ]
316 call void @use(i32 %phi)
317 call void @_ZSt9terminatev()
321 ; CHECK: define void @test4_out()
322 ; CHECK: landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
323 ; CHECK-NEXT: cleanup
324 ; CHECK-NEXT: catch i8* bitcast (i8** @_ZTIi to i8*)
325 ; CHECK-NEXT: catch i8* bitcast (i8** @_ZTIi to i8*)
326 ; CHECK-NEXT: invoke void @_ZN1AD1Ev(
327 ; CHECK-NEXT: to label %[[L:[^\s]+]] unwind
329 ; CHECK-NEXT: br label %[[JOIN:[^\s]+]]
330 ; CHECK: invoke void @opaque()
331 ; CHECK-NEXT: unwind label %lpad
333 ; CHECK-NEXT: landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
334 ; CHECK-NEXT: catch i8* bitcast (i8** @_ZTIi to i8*)
335 ; CHECK-NEXT: br label %[[JOIN]]
337 ; CHECK-NEXT: phi { i8*, i32 }
338 ; CHECK-NEXT: call void @opaque() [[NUW:#[0-9]+]]
339 ; CHECK-NEXT: br label %[[FIX:[^\s]+]]
341 ; CHECK-NEXT: landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
342 ; CHECK-NEXT: catch i8* bitcast (i8** @_ZTIi to i8*)
343 ; CHECK-NEXT: br label %[[FIX]]
345 ; CHECK-NEXT: [[T1:%.*]] = phi i32 [ 0, %[[JOIN]] ], [ 1, %lpad ]
346 ; CHECK-NEXT: call void @use(i32 [[T1]])
347 ; CHECK-NEXT: call void @_ZSt9terminatev()
349 ; CHECK: attributes [[NUW]] = { nounwind }
350 ; CHECK: attributes #1 = { nounwind readnone }
351 ; CHECK: attributes #2 = { ssp uwtable }
352 ; CHECK: attributes #3 = { noreturn nounwind }