1; RUN: opt -S -objc-arc < %s | FileCheck %s
2
3declare i8* @objc_retain(i8*)
4declare void @objc_release(i8*)
5declare i8* @objc_retainAutoreleasedReturnValue(i8*)
6declare i8* @objc_msgSend(i8*, i8*, ...)
7declare void @use_pointer(i8*)
8declare void @callee()
9declare i8* @returner()
10
11; ARCOpt shouldn't try to move the releases to the block containing the invoke.
12
13; CHECK-LABEL: define void @test0(
14; CHECK: invoke.cont:
15; CHECK:   call void @objc_release(i8* %zipFile) [[NUW:#[0-9]+]], !clang.imprecise_release !0
16; CHECK:   ret void
17; CHECK: lpad:
18; CHECK:   call void @objc_release(i8* %zipFile) [[NUW]], !clang.imprecise_release !0
19; CHECK:   ret void
20; CHECK-NEXT: }
21define void @test0(i8* %zipFile) personality i32 (...)* @__gxx_personality_v0 {
22entry:
23  call i8* @objc_retain(i8* %zipFile) nounwind
24  call void @use_pointer(i8* %zipFile)
25  invoke void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*)*)(i8* %zipFile)
26          to label %invoke.cont unwind label %lpad
27
28invoke.cont:                                      ; preds = %entry
29  call void @objc_release(i8* %zipFile) nounwind, !clang.imprecise_release !0
30  ret void
31
32lpad:                                             ; preds = %entry
33  %exn = landingpad {i8*, i32}
34           cleanup
35  call void @objc_release(i8* %zipFile) nounwind, !clang.imprecise_release !0
36  ret void
37}
38
39; ARCOpt should move the release before the callee calls.
40
41; CHECK-LABEL: define void @test1(
42; CHECK: invoke.cont:
43; CHECK:   call void @objc_release(i8* %zipFile) [[NUW]], !clang.imprecise_release !0
44; CHECK:   call void @callee()
45; CHECK:   br label %done
46; CHECK: lpad:
47; CHECK:   call void @objc_release(i8* %zipFile) [[NUW]], !clang.imprecise_release !0
48; CHECK:   call void @callee()
49; CHECK:   br label %done
50; CHECK: done:
51; CHECK-NEXT: ret void
52; CHECK-NEXT: }
53define void @test1(i8* %zipFile) personality i32 (...)* @__gxx_personality_v0 {
54entry:
55  call i8* @objc_retain(i8* %zipFile) nounwind
56  call void @use_pointer(i8* %zipFile)
57  invoke void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*)*)(i8* %zipFile)
58          to label %invoke.cont unwind label %lpad
59
60invoke.cont:                                      ; preds = %entry
61  call void @callee()
62  br label %done
63
64lpad:                                             ; preds = %entry
65  %exn = landingpad {i8*, i32}
66           cleanup
67  call void @callee()
68  br label %done
69
70done:
71  call void @objc_release(i8* %zipFile) nounwind, !clang.imprecise_release !0
72  ret void
73}
74
75; The optimizer should ignore invoke unwind paths consistently.
76; PR12265
77
78; CHECK: define void @test2() personality i8* bitcast (i32 (...)* @__objc_personality_v0 to i8*) {
79; CHECK: invoke.cont:
80; CHECK-NEXT: call i8* @objc_retain
81; CHECK-NOT: @objc_r
82; CHECK: finally.cont:
83; CHECK-NEXT: call void @objc_release
84; CHECK-NOT: @objc
85; CHECK: finally.rethrow:
86; CHECK-NOT: @objc
87; CHECK: }
88define void @test2() personality i8* bitcast (i32 (...)* @__objc_personality_v0 to i8*) {
89entry:
90  %call = invoke i8* bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to i8* ()*)()
91          to label %invoke.cont unwind label %finally.rethrow, !clang.arc.no_objc_arc_exceptions !0
92
93invoke.cont:                                      ; preds = %entry
94  %tmp1 = tail call i8* @objc_retainAutoreleasedReturnValue(i8* %call) nounwind
95  call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void ()*)(), !clang.arc.no_objc_arc_exceptions !0
96  invoke void @use_pointer(i8* %call)
97          to label %finally.cont unwind label %finally.rethrow, !clang.arc.no_objc_arc_exceptions !0
98
99finally.cont:                                     ; preds = %invoke.cont
100  tail call void @objc_release(i8* %call) nounwind, !clang.imprecise_release !0
101  ret void
102
103finally.rethrow:                                  ; preds = %invoke.cont, %entry
104  %tmp2 = landingpad { i8*, i32 }
105          catch i8* null
106  unreachable
107}
108
109; Don't try to place code on invoke critical edges.
110
111; CHECK-LABEL: define void @test3(
112; CHECK: if.end:
113; CHECK-NEXT: call void @objc_release(i8* %p) [[NUW]]
114; CHECK-NEXT: ret void
115; CHECK-NEXT: }
116define void @test3(i8* %p, i1 %b) personality i8* bitcast (i32 (...)* @__objc_personality_v0 to i8*) {
117entry:
118  %0 = call i8* @objc_retain(i8* %p)
119  call void @callee()
120  br i1 %b, label %if.else, label %if.then
121
122if.then:
123  invoke void @use_pointer(i8* %p)
124          to label %if.end unwind label %lpad, !clang.arc.no_objc_arc_exceptions !0
125
126if.else:
127  invoke void @use_pointer(i8* %p)
128          to label %if.end unwind label %lpad, !clang.arc.no_objc_arc_exceptions !0
129
130lpad:
131  %r = landingpad { i8*, i32 }
132       cleanup
133  ret void
134
135if.end:
136  call void @objc_release(i8* %p)
137  ret void
138}
139
140; Like test3, but with ARC-relevant exception handling.
141
142; CHECK-LABEL: define void @test4(
143; CHECK: lpad:
144; CHECK-NEXT: %r = landingpad { i8*, i32 }
145; CHECK-NEXT: cleanup
146; CHECK-NEXT: call void @objc_release(i8* %p) [[NUW]]
147; CHECK-NEXT: ret void
148; CHECK: if.end:
149; CHECK-NEXT: call void @objc_release(i8* %p) [[NUW]]
150; CHECK-NEXT: ret void
151; CHECK-NEXT: }
152define void @test4(i8* %p, i1 %b) personality i8* bitcast (i32 (...)* @__objc_personality_v0 to i8*) {
153entry:
154  %0 = call i8* @objc_retain(i8* %p)
155  call void @callee()
156  br i1 %b, label %if.else, label %if.then
157
158if.then:
159  invoke void @use_pointer(i8* %p)
160          to label %if.end unwind label %lpad
161
162if.else:
163  invoke void @use_pointer(i8* %p)
164          to label %if.end unwind label %lpad
165
166lpad:
167  %r = landingpad { i8*, i32 }
168       cleanup
169  call void @objc_release(i8* %p)
170  ret void
171
172if.end:
173  call void @objc_release(i8* %p)
174  ret void
175}
176
177; Don't turn the retainAutoreleaseReturnValue into retain, because it's
178; for an invoke which we can assume codegen will put immediately prior.
179
180; CHECK-LABEL: define void @test5(
181; CHECK: call i8* @objc_retainAutoreleasedReturnValue(i8* %z)
182; CHECK: }
183define void @test5() personality i8* bitcast (i32 (...)* @__objc_personality_v0 to i8*) {
184entry:
185  %z = invoke i8* @returner()
186          to label %if.end unwind label %lpad, !clang.arc.no_objc_arc_exceptions !0
187
188lpad:
189  %r13 = landingpad { i8*, i32 }
190          cleanup
191  ret void
192
193if.end:
194  call i8* @objc_retainAutoreleasedReturnValue(i8* %z)
195  ret void
196}
197
198; Like test5, but there's intervening code.
199
200; CHECK-LABEL: define void @test6(
201; CHECK: call i8* @objc_retain(i8* %z)
202; CHECK: }
203define void @test6() personality i8* bitcast (i32 (...)* @__objc_personality_v0 to i8*) {
204entry:
205  %z = invoke i8* @returner()
206          to label %if.end unwind label %lpad, !clang.arc.no_objc_arc_exceptions !0
207
208lpad:
209  %r13 = landingpad { i8*, i32 }
210          cleanup
211  ret void
212
213if.end:
214  call void @callee()
215  call i8* @objc_retainAutoreleasedReturnValue(i8* %z)
216  ret void
217}
218
219declare i32 @__gxx_personality_v0(...)
220declare i32 @__objc_personality_v0(...)
221
222; CHECK: attributes [[NUW]] = { nounwind }
223
224!0 = !{}
225