|
150
|
1 ; RUN: opt -S -objc-arc < %s | FileCheck %s
|
|
|
2 ; rdar://9503416
|
|
|
3
|
|
|
4 ; Detect loop boundaries and don't move retains and releases
|
|
|
5 ; across them.
|
|
|
6
|
|
|
7 declare void @use_pointer(i8*)
|
|
|
8 declare i8* @llvm.objc.retain(i8*)
|
|
|
9 declare void @llvm.objc.release(i8*)
|
|
|
10 declare void @callee()
|
|
|
11 declare void @block_callee(void ()*)
|
|
|
12
|
|
|
13 ; CHECK-LABEL: define void @test0(
|
|
|
14 ; CHECK: call i8* @llvm.objc.retain
|
|
|
15 ; CHECK: for.body:
|
|
|
16 ; CHECK-NOT: @objc
|
|
|
17 ; CHECK: for.end:
|
|
|
18 ; CHECK: call void @llvm.objc.release
|
|
|
19 ; CHECK: }
|
|
|
20 define void @test0(i8* %digits) {
|
|
|
21 entry:
|
|
|
22 %tmp1 = call i8* @llvm.objc.retain(i8* %digits) nounwind
|
|
|
23 call void @use_pointer(i8* %digits)
|
|
|
24 br label %for.body
|
|
|
25
|
|
|
26 for.body: ; preds = %for.body, %entry
|
|
|
27 %upcDigitIndex.01 = phi i64 [ 2, %entry ], [ %inc, %for.body ]
|
|
|
28 call void @use_pointer(i8* %digits)
|
|
|
29 %inc = add i64 %upcDigitIndex.01, 1
|
|
|
30 %cmp = icmp ult i64 %inc, 12
|
|
|
31 br i1 %cmp, label %for.body, label %for.end
|
|
|
32
|
|
|
33 for.end: ; preds = %for.body
|
|
|
34 call void @llvm.objc.release(i8* %digits) nounwind, !clang.imprecise_release !0
|
|
|
35 ret void
|
|
|
36 }
|
|
|
37
|
|
|
38 ; CHECK-LABEL: define void @test1(
|
|
|
39 ; CHECK: call i8* @llvm.objc.retain
|
|
|
40 ; CHECK: for.body:
|
|
|
41 ; CHECK-NOT: @objc
|
|
|
42 ; CHECK: for.end:
|
|
|
43 ; CHECK: void @llvm.objc.release
|
|
|
44 ; CHECK: }
|
|
|
45 define void @test1(i8* %digits) {
|
|
|
46 entry:
|
|
|
47 %tmp1 = call i8* @llvm.objc.retain(i8* %digits) nounwind
|
|
|
48 br label %for.body
|
|
|
49
|
|
|
50 for.body: ; preds = %for.body, %entry
|
|
|
51 %upcDigitIndex.01 = phi i64 [ 2, %entry ], [ %inc, %for.body ]
|
|
|
52 call void @use_pointer(i8* %digits)
|
|
|
53 call void @use_pointer(i8* %digits)
|
|
|
54 %inc = add i64 %upcDigitIndex.01, 1
|
|
|
55 %cmp = icmp ult i64 %inc, 12
|
|
|
56 br i1 %cmp, label %for.body, label %for.end
|
|
|
57
|
|
|
58 for.end: ; preds = %for.body
|
|
|
59 call void @llvm.objc.release(i8* %digits) nounwind, !clang.imprecise_release !0
|
|
|
60 ret void
|
|
|
61 }
|
|
|
62
|
|
|
63 ; CHECK-LABEL: define void @test2(
|
|
|
64 ; CHECK: call i8* @llvm.objc.retain
|
|
|
65 ; CHECK: for.body:
|
|
|
66 ; CHECK-NOT: @objc
|
|
|
67 ; CHECK: for.end:
|
|
|
68 ; CHECK: void @llvm.objc.release
|
|
|
69 ; CHECK: }
|
|
|
70 define void @test2(i8* %digits) {
|
|
|
71 entry:
|
|
|
72 %tmp1 = call i8* @llvm.objc.retain(i8* %digits) nounwind
|
|
|
73 br label %for.body
|
|
|
74
|
|
|
75 for.body: ; preds = %for.body, %entry
|
|
|
76 %upcDigitIndex.01 = phi i64 [ 2, %entry ], [ %inc, %for.body ]
|
|
|
77 call void @use_pointer(i8* %digits)
|
|
|
78 %inc = add i64 %upcDigitIndex.01, 1
|
|
|
79 %cmp = icmp ult i64 %inc, 12
|
|
|
80 br i1 %cmp, label %for.body, label %for.end
|
|
|
81
|
|
|
82 for.end: ; preds = %for.body
|
|
|
83 call void @use_pointer(i8* %digits)
|
|
|
84 call void @llvm.objc.release(i8* %digits) nounwind, !clang.imprecise_release !0
|
|
|
85 ret void
|
|
|
86 }
|
|
|
87
|
|
|
88 ; Delete nested retain+release pairs around loops.
|
|
|
89
|
|
|
90 ; CHECK: define void @test3(i8* %a) #0 {
|
|
|
91 ; CHECK-NEXT: entry:
|
|
|
92 ; CHECK-NEXT: tail call i8* @llvm.objc.retain(i8* %a) [[NUW:#[0-9]+]]
|
|
|
93 ; CHECK-NEXT: br label %loop
|
|
|
94 ; CHECK-NOT: @llvm.objc.
|
|
|
95 ; CHECK: exit:
|
|
|
96 ; CHECK-NEXT: call void @llvm.objc.release(i8* %a)
|
|
|
97 ; CHECK-NEXT: ret void
|
|
|
98 ; CHECK-NEXT: }
|
|
|
99 define void @test3(i8* %a) nounwind {
|
|
|
100 entry:
|
|
|
101 %outer = call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
102 %inner = call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
103 br label %loop
|
|
|
104
|
|
|
105 loop:
|
|
|
106 call void @callee()
|
|
|
107 store i8 0, i8* %a
|
|
|
108 br i1 undef, label %loop, label %exit
|
|
|
109
|
|
|
110 exit:
|
|
|
111 call void @llvm.objc.release(i8* %a) nounwind
|
|
|
112 call void @llvm.objc.release(i8* %a) nounwind, !clang.imprecise_release !0
|
|
|
113 ret void
|
|
|
114 }
|
|
|
115
|
|
|
116 ; CHECK: define void @test4(i8* %a) #0 {
|
|
|
117 ; CHECK-NEXT: entry:
|
|
|
118 ; CHECK-NEXT: tail call i8* @llvm.objc.retain(i8* %a) [[NUW]]
|
|
|
119 ; CHECK-NEXT: br label %loop
|
|
|
120 ; CHECK-NOT: @llvm.objc.
|
|
|
121 ; CHECK: exit:
|
|
|
122 ; CHECK-NEXT: call void @llvm.objc.release(i8* %a)
|
|
|
123 ; CHECK-NEXT: ret void
|
|
|
124 ; CHECK-NEXT: }
|
|
|
125 define void @test4(i8* %a) nounwind {
|
|
|
126 entry:
|
|
|
127 %outer = call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
128 %inner = call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
129 br label %loop
|
|
|
130
|
|
|
131 loop:
|
|
|
132 br label %more
|
|
|
133
|
|
|
134 more:
|
|
|
135 call void @callee()
|
|
|
136 call void @callee()
|
|
|
137 store i8 0, i8* %a
|
|
|
138 br i1 undef, label %loop, label %exit
|
|
|
139
|
|
|
140 exit:
|
|
|
141 call void @llvm.objc.release(i8* %a) nounwind
|
|
|
142 call void @llvm.objc.release(i8* %a) nounwind, !clang.imprecise_release !0
|
|
|
143 ret void
|
|
|
144 }
|
|
|
145
|
|
|
146 ; CHECK: define void @test5(i8* %a) #0 {
|
|
|
147 ; CHECK-NEXT: entry:
|
|
|
148 ; CHECK-NEXT: tail call i8* @llvm.objc.retain(i8* %a) [[NUW]]
|
|
|
149 ; CHECK-NEXT: call void @callee()
|
|
|
150 ; CHECK-NEXT: br label %loop
|
|
|
151 ; CHECK-NOT: @llvm.objc.
|
|
|
152 ; CHECK: exit:
|
|
|
153 ; CHECK-NEXT: call void @use_pointer(i8* %a)
|
|
|
154 ; CHECK-NEXT: call void @llvm.objc.release(i8* %a)
|
|
|
155 ; CHECK-NEXT: ret void
|
|
|
156 ; CHECK-NEXT: }
|
|
|
157 define void @test5(i8* %a) nounwind {
|
|
|
158 entry:
|
|
|
159 %outer = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
160 %inner = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
161 call void @callee()
|
|
|
162 br label %loop
|
|
|
163
|
|
|
164 loop:
|
|
|
165 br i1 undef, label %true, label %more
|
|
|
166
|
|
|
167 true:
|
|
|
168 br label %more
|
|
|
169
|
|
|
170 more:
|
|
|
171 br i1 undef, label %exit, label %loop
|
|
|
172
|
|
|
173 exit:
|
|
|
174 call void @use_pointer(i8* %a)
|
|
|
175 call void @llvm.objc.release(i8* %a) nounwind
|
|
|
176 call void @llvm.objc.release(i8* %a) nounwind, !clang.imprecise_release !0
|
|
|
177 ret void
|
|
|
178 }
|
|
|
179
|
|
|
180 ; CHECK: define void @test6(i8* %a) #0 {
|
|
|
181 ; CHECK-NEXT: entry:
|
|
|
182 ; CHECK-NEXT: tail call i8* @llvm.objc.retain(i8* %a) [[NUW]]
|
|
|
183 ; CHECK-NEXT: br label %loop
|
|
|
184 ; CHECK-NOT: @llvm.objc.
|
|
|
185 ; CHECK: exit:
|
|
|
186 ; CHECK-NEXT: call void @use_pointer(i8* %a)
|
|
|
187 ; CHECK-NEXT: call void @llvm.objc.release(i8* %a)
|
|
|
188 ; CHECK-NEXT: ret void
|
|
|
189 ; CHECK-NEXT: }
|
|
|
190 define void @test6(i8* %a) nounwind {
|
|
|
191 entry:
|
|
|
192 %outer = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
193 %inner = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
194 br label %loop
|
|
|
195
|
|
|
196 loop:
|
|
|
197 br i1 undef, label %true, label %more
|
|
|
198
|
|
|
199 true:
|
|
|
200 call void @callee()
|
|
|
201 br label %more
|
|
|
202
|
|
|
203 more:
|
|
|
204 br i1 undef, label %exit, label %loop
|
|
|
205
|
|
|
206 exit:
|
|
|
207 call void @use_pointer(i8* %a)
|
|
|
208 call void @llvm.objc.release(i8* %a) nounwind
|
|
|
209 call void @llvm.objc.release(i8* %a) nounwind, !clang.imprecise_release !0
|
|
|
210 ret void
|
|
|
211 }
|
|
|
212
|
|
|
213 ; CHECK: define void @test7(i8* %a) #0 {
|
|
|
214 ; CHECK-NEXT: entry:
|
|
|
215 ; CHECK-NEXT: tail call i8* @llvm.objc.retain(i8* %a) [[NUW]]
|
|
|
216 ; CHECK-NEXT: call void @callee()
|
|
|
217 ; CHECK-NEXT: br label %loop
|
|
|
218 ; CHECK-NOT: @llvm.objc.
|
|
|
219 ; CHECK: exit:
|
|
|
220 ; CHECK-NEXT: call void @llvm.objc.release(i8* %a)
|
|
|
221 ; CHECK-NEXT: ret void
|
|
|
222 ; CHECK-NEXT: }
|
|
|
223 define void @test7(i8* %a) nounwind {
|
|
|
224 entry:
|
|
|
225 %outer = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
226 %inner = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
227 call void @callee()
|
|
|
228 br label %loop
|
|
|
229
|
|
|
230 loop:
|
|
|
231 br i1 undef, label %true, label %more
|
|
|
232
|
|
|
233 true:
|
|
|
234 call void @use_pointer(i8* %a)
|
|
|
235 br label %more
|
|
|
236
|
|
|
237 more:
|
|
|
238 br i1 undef, label %exit, label %loop
|
|
|
239
|
|
|
240 exit:
|
|
|
241 call void @llvm.objc.release(i8* %a) nounwind
|
|
|
242 call void @llvm.objc.release(i8* %a) nounwind, !clang.imprecise_release !0
|
|
|
243 ret void
|
|
|
244 }
|
|
|
245
|
|
|
246 ; CHECK: define void @test8(i8* %a) #0 {
|
|
|
247 ; CHECK-NEXT: entry:
|
|
|
248 ; CHECK-NEXT: tail call i8* @llvm.objc.retain(i8* %a) [[NUW]]
|
|
|
249 ; CHECK-NEXT: br label %loop
|
|
|
250 ; CHECK-NOT: @llvm.objc.
|
|
|
251 ; CHECK: exit:
|
|
|
252 ; CHECK-NEXT: call void @llvm.objc.release(i8* %a)
|
|
|
253 ; CHECK-NEXT: ret void
|
|
|
254 ; CHECK-NEXT: }
|
|
|
255 define void @test8(i8* %a) nounwind {
|
|
|
256 entry:
|
|
|
257 %outer = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
258 %inner = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
259 br label %loop
|
|
|
260
|
|
|
261 loop:
|
|
|
262 br i1 undef, label %true, label %more
|
|
|
263
|
|
|
264 true:
|
|
|
265 call void @callee()
|
|
|
266 call void @use_pointer(i8* %a)
|
|
|
267 br label %more
|
|
|
268
|
|
|
269 more:
|
|
|
270 br i1 undef, label %exit, label %loop
|
|
|
271
|
|
|
272 exit:
|
|
|
273 call void @llvm.objc.release(i8* %a) nounwind
|
|
|
274 call void @llvm.objc.release(i8* %a) nounwind, !clang.imprecise_release !0
|
|
|
275 ret void
|
|
|
276 }
|
|
|
277
|
|
|
278 ; CHECK: define void @test9(i8* %a) #0 {
|
|
|
279 ; CHECK-NEXT: entry:
|
|
|
280 ; CHECK-NEXT: br label %loop
|
|
|
281 ; CHECK-NOT: @llvm.objc.
|
|
|
282 ; CHECK: exit:
|
|
|
283 ; CHECK-NEXT: ret void
|
|
|
284 ; CHECK-NEXT: }
|
|
|
285 define void @test9(i8* %a) nounwind {
|
|
|
286 entry:
|
|
|
287 %outer = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
288 %inner = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
289 br label %loop
|
|
|
290
|
|
|
291 loop:
|
|
|
292 br i1 undef, label %true, label %more
|
|
|
293
|
|
|
294 true:
|
|
|
295 call void @use_pointer(i8* %a)
|
|
|
296 br label %more
|
|
|
297
|
|
|
298 more:
|
|
|
299 br i1 undef, label %exit, label %loop
|
|
|
300
|
|
|
301 exit:
|
|
|
302 call void @llvm.objc.release(i8* %a) nounwind
|
|
|
303 call void @llvm.objc.release(i8* %a) nounwind, !clang.imprecise_release !0
|
|
|
304 ret void
|
|
|
305 }
|
|
|
306
|
|
|
307 ; CHECK: define void @test10(i8* %a) #0 {
|
|
|
308 ; CHECK-NEXT: entry:
|
|
|
309 ; CHECK-NEXT: br label %loop
|
|
|
310 ; CHECK-NOT: @llvm.objc.
|
|
|
311 ; CHECK: exit:
|
|
|
312 ; CHECK-NEXT: ret void
|
|
|
313 ; CHECK-NEXT: }
|
|
|
314 define void @test10(i8* %a) nounwind {
|
|
|
315 entry:
|
|
|
316 %outer = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
317 %inner = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
318 br label %loop
|
|
|
319
|
|
|
320 loop:
|
|
|
321 br i1 undef, label %true, label %more
|
|
|
322
|
|
|
323 true:
|
|
|
324 call void @callee()
|
|
|
325 br label %more
|
|
|
326
|
|
|
327 more:
|
|
|
328 br i1 undef, label %exit, label %loop
|
|
|
329
|
|
|
330 exit:
|
|
|
331 call void @llvm.objc.release(i8* %a) nounwind
|
|
|
332 call void @llvm.objc.release(i8* %a) nounwind, !clang.imprecise_release !0
|
|
|
333 ret void
|
|
|
334 }
|
|
|
335
|
|
|
336 ; CHECK: define void @test11(i8* %a) #0 {
|
|
|
337 ; CHECK-NEXT: entry:
|
|
|
338 ; CHECK-NEXT: br label %loop
|
|
|
339 ; CHECK-NOT: @llvm.objc.
|
|
|
340 ; CHECK: exit:
|
|
|
341 ; CHECK-NEXT: ret void
|
|
|
342 ; CHECK-NEXT: }
|
|
|
343 define void @test11(i8* %a) nounwind {
|
|
|
344 entry:
|
|
|
345 %outer = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
346 %inner = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
347 br label %loop
|
|
|
348
|
|
|
349 loop:
|
|
|
350 br i1 undef, label %true, label %more
|
|
|
351
|
|
|
352 true:
|
|
|
353 br label %more
|
|
|
354
|
|
|
355 more:
|
|
|
356 br i1 undef, label %exit, label %loop
|
|
|
357
|
|
|
358 exit:
|
|
|
359 call void @llvm.objc.release(i8* %a) nounwind
|
|
|
360 call void @llvm.objc.release(i8* %a) nounwind, !clang.imprecise_release !0
|
|
|
361 ret void
|
|
|
362 }
|
|
|
363
|
|
|
364 ; Don't delete anything if they're not balanced.
|
|
|
365
|
|
|
366 ; CHECK: define void @test12(i8* %a) #0 {
|
|
|
367 ; CHECK-NEXT: entry:
|
|
|
368 ; CHECK-NEXT: %outer = tail call i8* @llvm.objc.retain(i8* %a) [[NUW]]
|
|
|
369 ; CHECK-NEXT: %inner = tail call i8* @llvm.objc.retain(i8* %a) [[NUW]]
|
|
|
370 ; CHECK-NEXT: br label %loop
|
|
|
371 ; CHECK-NOT: @llvm.objc.
|
|
|
372 ; CHECK: exit:
|
|
|
373 ; CHECK-NEXT: call void @llvm.objc.release(i8* %a) [[NUW]]
|
|
|
374 ; CHECK-NEXT: call void @llvm.objc.release(i8* %a) [[NUW]], !clang.imprecise_release !0
|
|
|
375 ; CHECK-NEXT: ret void
|
|
|
376 ; CHECK-NEXT: }
|
|
|
377 define void @test12(i8* %a) nounwind {
|
|
|
378 entry:
|
|
|
379 %outer = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
380 %inner = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
381 br label %loop
|
|
|
382
|
|
|
383 loop:
|
|
|
384 br i1 undef, label %true, label %more
|
|
|
385
|
|
|
386 true:
|
|
|
387 ret void
|
|
|
388
|
|
|
389 more:
|
|
|
390 br i1 undef, label %exit, label %loop
|
|
|
391
|
|
|
392 exit:
|
|
|
393 call void @llvm.objc.release(i8* %a) nounwind
|
|
|
394 call void @llvm.objc.release(i8* %a) nounwind, !clang.imprecise_release !0
|
|
|
395 ret void
|
|
|
396 }
|
|
|
397
|
|
|
398 ; Do not improperly pair retains in a for loop with releases outside of a for
|
|
|
399 ; loop when the proper pairing is disguised by a separate provenance represented
|
|
|
400 ; by an alloca.
|
|
|
401 ; rdar://12969722
|
|
|
402
|
|
|
403 ; CHECK: define void @test13(i8* %a) [[NUW]] {
|
|
|
404 ; CHECK: entry:
|
|
|
405 ; CHECK: tail call i8* @llvm.objc.retain(i8* %a) [[NUW]]
|
|
|
406 ; CHECK: loop:
|
|
|
407 ; CHECK: tail call i8* @llvm.objc.retain(i8* %a) [[NUW]]
|
|
|
408 ; CHECK: call void @block_callee
|
|
|
409 ; CHECK: call void @llvm.objc.release(i8* %reloaded_a) [[NUW]]
|
|
|
410 ; CHECK: exit:
|
|
|
411 ; CHECK: call void @llvm.objc.release(i8* %a) [[NUW]]
|
|
|
412 ; CHECK: }
|
|
|
413 define void @test13(i8* %a) nounwind {
|
|
|
414 entry:
|
|
|
415 %block = alloca i8*
|
|
|
416 %a1 = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
417 br label %loop
|
|
|
418
|
|
|
419 loop:
|
|
|
420 %a2 = tail call i8* @llvm.objc.retain(i8* %a) nounwind
|
|
|
421 store i8* %a, i8** %block, align 8
|
|
|
422 %casted_block = bitcast i8** %block to void ()*
|
|
|
423 call void @block_callee(void ()* %casted_block)
|
|
|
424 %reloaded_a = load i8*, i8** %block, align 8
|
|
|
425 call void @llvm.objc.release(i8* %reloaded_a) nounwind, !clang.imprecise_release !0
|
|
|
426 br i1 undef, label %loop, label %exit
|
|
|
427
|
|
|
428 exit:
|
|
|
429 call void @llvm.objc.release(i8* %a) nounwind, !clang.imprecise_release !0
|
|
|
430 ret void
|
|
|
431 }
|
|
|
432
|
|
173
|
433 ; The retain call in the entry block shouldn't be moved to the loop body.
|
|
|
434
|
|
|
435 ; CHECK: define void @test14(i8* %[[VAL0:.*]],
|
|
|
436 ; CHECK: %[[V1:.*]] = tail call i8* @llvm.objc.retain(i8* %[[VAL0]])
|
|
|
437 ; CHECK: %[[CMP:.*]] = icmp eq i8* %[[VAL0]], null
|
|
|
438 ; CHECK: br i1 %[[CMP]], label %{{.*}}, label %{{.*}}
|
|
|
439
|
|
|
440 define void @test14(i8* %val0, i8 %val1) {
|
|
|
441 entry:
|
|
|
442 %v1 = tail call i8* @llvm.objc.retain(i8* %val0)
|
|
|
443 %cmp = icmp eq i8* %val0, null
|
|
|
444 br i1 %cmp, label %if.end27, label %if.then
|
|
|
445
|
|
|
446 if.then:
|
|
|
447 %tobool = icmp eq i8 %val1, 1
|
|
|
448 br label %for.body
|
|
|
449
|
|
|
450 for.cond:
|
|
|
451 %cmp6 = icmp eq i8 %val1, 2
|
|
|
452 br i1 %cmp6, label %for.body, label %for.end.loopexit
|
|
|
453
|
|
|
454 for.body:
|
|
|
455 call void @callee()
|
|
|
456 %tobool9 = icmp eq i8 %val1, 0
|
|
|
457 br i1 %tobool9, label %for.cond, label %if.then10
|
|
|
458
|
|
|
459 if.then10:
|
|
|
460 br label %for.end
|
|
|
461
|
|
|
462 for.end.loopexit:
|
|
|
463 br label %for.end
|
|
|
464
|
|
|
465 for.end:
|
|
|
466 call void @callee()
|
|
|
467 call void @use_pointer(i8* %v1)
|
|
|
468 br label %if.end27
|
|
|
469
|
|
|
470 if.end27:
|
|
|
471 call void @llvm.objc.release(i8* %v1) #0, !clang.imprecise_release !0
|
|
|
472 ret void
|
|
|
473 }
|
|
|
474
|
|
150
|
475 ; CHECK: attributes [[NUW]] = { nounwind }
|
|
|
476
|
|
|
477 !0 = !{}
|
