1 ; RUN: opt -objc-arc -S < %s | FileCheck %s
3 target datalayout = "e-p:64:64:64"
5 declare i8* @objc_retain(i8*)
6 declare void @objc_release(i8*)
7 declare i8* @objc_autorelease(i8*)
8 declare void @objc_autoreleasePoolPop(i8*)
9 declare void @objc_autoreleasePoolPush()
10 declare i8* @objc_retainBlock(i8*)
12 declare i8* @objc_retainedObject(i8*)
13 declare i8* @objc_unretainedObject(i8*)
14 declare i8* @objc_unretainedPointer(i8*)
16 declare void @use_pointer(i8*)
17 declare void @callee()
18 declare void @callee_fnptr(void ()*)
19 declare void @invokee()
20 declare i8* @returner()
22 declare void @llvm.dbg.value(metadata, i64, metadata)
24 declare i8* @objc_msgSend(i8*, i8*, ...)
26 ; Simple retain+release pair deletion, with some intervening control
27 ; flow and harmless instructions.
29 ; CHECK: define void @test0(
32 define void @test0(i32* %x, i1 %p) nounwind {
34 %a = bitcast i32* %x to i8*
35 %0 = call i8* @objc_retain(i8* %a) nounwind
36 br i1 %p, label %t, label %f
40 %b = bitcast i32* %x to float*
41 store float 2.0, float* %b
49 %c = bitcast i32* %x to i8*
50 call void @objc_release(i8* %c) nounwind
54 ; Like test0 but the release isn't always executed when the retain is,
55 ; so the optimization is not safe.
57 ; TODO: Make the objc_release's argument be %0.
59 ; CHECK: define void @test1(
60 ; CHECK: @objc_retain(i8* %a)
61 ; CHECK: @objc_release
63 define void @test1(i32* %x, i1 %p, i1 %q) nounwind {
65 %a = bitcast i32* %x to i8*
66 %0 = call i8* @objc_retain(i8* %a) nounwind
67 br i1 %p, label %t, label %f
71 %b = bitcast i32* %x to float*
72 store float 2.0, float* %b
78 br i1 %q, label %return, label %alt_return
81 %c = bitcast i32* %x to i8*
82 call void @objc_release(i8* %c) nounwind
89 ; Don't do partial elimination into two different CFG diamonds.
91 ; CHECK: define void @test1b(
93 ; CHECK: tail call i8* @objc_retain(i8* %x) nounwind
96 ; CHECK: tail call void @objc_release(i8* %x) nounwind, !clang.imprecise_release !0
99 define void @test1b(i8* %x, i1 %p, i1 %q) {
101 tail call i8* @objc_retain(i8* %x) nounwind
102 br i1 %p, label %if.then, label %if.end
104 if.then: ; preds = %entry
105 tail call void @callee()
108 if.end: ; preds = %if.then, %entry
109 br i1 %q, label %if.then3, label %if.end5
111 if.then3: ; preds = %if.end
112 tail call void @use_pointer(i8* %x)
115 if.end5: ; preds = %if.then3, %if.end
116 tail call void @objc_release(i8* %x) nounwind, !clang.imprecise_release !0
120 ; Like test0 but the pointer is passed to an intervening call,
121 ; so the optimization is not safe.
123 ; CHECK: define void @test2(
124 ; CHECK: @objc_retain(i8* %a)
125 ; CHECK: @objc_release
127 define void @test2(i32* %x, i1 %p) nounwind {
129 %a = bitcast i32* %x to i8*
130 %0 = call i8* @objc_retain(i8* %a) nounwind
131 br i1 %p, label %t, label %f
135 %b = bitcast i32* %x to float*
136 store float 2.0, float* %b
141 call void @use_pointer(i8* %0)
142 %d = bitcast i32* %x to float*
143 store float 3.0, float* %d
147 %c = bitcast i32* %x to i8*
148 call void @objc_release(i8* %c) nounwind
152 ; Like test0 but the release is in a loop,
153 ; so the optimization is not safe.
155 ; TODO: For now, assume this can't happen.
157 ; CHECK: define void @test3(
158 ; TODO: @objc_retain(i8* %a)
159 ; TODO: @objc_release
161 define void @test3(i32* %x, i1* %q) nounwind {
163 %a = bitcast i32* %x to i8*
164 %0 = call i8* @objc_retain(i8* %a) nounwind
168 %c = bitcast i32* %x to i8*
169 call void @objc_release(i8* %c) nounwind
170 %j = load volatile i1* %q
171 br i1 %j, label %loop, label %return
177 ; TODO: For now, assume this can't happen.
179 ; Like test0 but the retain is in a loop,
180 ; so the optimization is not safe.
182 ; CHECK: define void @test4(
183 ; TODO: @objc_retain(i8* %a)
184 ; TODO: @objc_release
186 define void @test4(i32* %x, i1* %q) nounwind {
191 %a = bitcast i32* %x to i8*
192 %0 = call i8* @objc_retain(i8* %a) nounwind
193 %j = load volatile i1* %q
194 br i1 %j, label %loop, label %return
197 %c = bitcast i32* %x to i8*
198 call void @objc_release(i8* %c) nounwind
202 ; Like test0 but the pointer is conditionally passed to an intervening call,
203 ; so the optimization is not safe.
205 ; CHECK: define void @test5(
206 ; CHECK: @objc_retain(i8*
207 ; CHECK: @objc_release
209 define void @test5(i32* %x, i1 %q, i8* %y) nounwind {
211 %a = bitcast i32* %x to i8*
212 %0 = call i8* @objc_retain(i8* %a) nounwind
213 %s = select i1 %q, i8* %y, i8* %0
214 call void @use_pointer(i8* %s)
216 %c = bitcast i32* %x to i8*
217 call void @objc_release(i8* %c) nounwind
221 ; retain+release pair deletion, where the release happens on two different
224 ; CHECK: define void @test6(
227 define void @test6(i32* %x, i1 %p) nounwind {
229 %a = bitcast i32* %x to i8*
230 %0 = call i8* @objc_retain(i8* %a) nounwind
231 br i1 %p, label %t, label %f
235 %b = bitcast i32* %x to float*
236 store float 2.0, float* %b
237 %ct = bitcast i32* %x to i8*
238 call void @objc_release(i8* %ct) nounwind
244 %cf = bitcast i32* %x to i8*
245 call void @objc_release(i8* %cf) nounwind
252 ; retain+release pair deletion, where the retain happens on two different
255 ; CHECK: define void @test7(
258 define void @test7(i32* %x, i1 %p) nounwind {
260 %a = bitcast i32* %x to i8*
261 br i1 %p, label %t, label %f
264 %0 = call i8* @objc_retain(i8* %a) nounwind
266 %b = bitcast i32* %x to float*
267 store float 2.0, float* %b
271 %1 = call i8* @objc_retain(i8* %a) nounwind
277 %c = bitcast i32* %x to i8*
278 call void @objc_release(i8* %c) nounwind
282 ; Like test7, but there's a retain/retainBlock mismatch. Don't delete!
284 ; CHECK: define void @test7b
286 ; CHECK: call i8* @objc_retainBlock
288 ; CHECK: call i8* @objc_retain
290 ; CHECK: call void @objc_release
292 define void @test7b(i32* %x, i1 %p) nounwind {
294 %a = bitcast i32* %x to i8*
295 br i1 %p, label %t, label %f
298 %0 = call i8* @objc_retainBlock(i8* %a) nounwind
300 %b = bitcast i32* %x to float*
301 store float 2.0, float* %b
305 %1 = call i8* @objc_retain(i8* %a) nounwind
311 %c = bitcast i32* %x to i8*
312 call void @objc_release(i8* %c) nounwind
316 ; retain+release pair deletion, where the retain and release both happen on
317 ; different flow paths. Wild!
319 ; CHECK: define void @test8(
322 define void @test8(i32* %x, i1 %p, i1 %q) nounwind {
324 %a = bitcast i32* %x to i8*
325 br i1 %p, label %t, label %f
328 %0 = call i8* @objc_retain(i8* %a) nounwind
330 %b = bitcast i32* %x to float*
331 store float 2.0, float* %b
335 %1 = call i8* @objc_retain(i8* %a) nounwind
340 br i1 %q, label %u, label %g
344 %cu = bitcast i32* %x to i8*
345 call void @objc_release(i8* %cu) nounwind
349 %cg = bitcast i32* %x to i8*
350 call void @objc_release(i8* %cg) nounwind
357 ; Trivial retain+release pair deletion.
359 ; CHECK: define void @test9(
362 define void @test9(i8* %x) nounwind {
364 %0 = call i8* @objc_retain(i8* %x) nounwind
365 call void @objc_release(i8* %0) nounwind
369 ; Retain+release pair, but on an unknown pointer relationship. Don't delete!
371 ; CHECK: define void @test9b
372 ; CHECK: @objc_retain(i8* %x)
373 ; CHECK: @objc_release(i8* %s)
375 define void @test9b(i8* %x, i1 %j, i8* %p) nounwind {
377 %0 = call i8* @objc_retain(i8* %x) nounwind
378 %s = select i1 %j, i8* %x, i8* %p
379 call void @objc_release(i8* %s) nounwind
383 ; Trivial retain+release pair with intervening calls - don't delete!
385 ; CHECK: define void @test10(
386 ; CHECK: @objc_retain(i8* %x)
388 ; CHECK: @use_pointer
389 ; CHECK: @objc_release
391 define void @test10(i8* %x) nounwind {
393 %0 = call i8* @objc_retain(i8* %x) nounwind
395 call void @use_pointer(i8* %x)
396 call void @objc_release(i8* %0) nounwind
400 ; Trivial retain+autoreleaserelease pair. Don't delete!
401 ; Also, add a tail keyword, since objc_retain can never be passed
404 ; CHECK: define void @test11(
405 ; CHECK: tail call i8* @objc_retain(i8* %x) nounwind
406 ; CHECK: tail call i8* @objc_autorelease(i8* %0) nounwind
408 define void @test11(i8* %x) nounwind {
410 %0 = call i8* @objc_retain(i8* %x) nounwind
411 call i8* @objc_autorelease(i8* %0) nounwind
412 call void @use_pointer(i8* %x)
416 ; Same as test11 but with no use_pointer call. Delete the pair!
418 ; CHECK: define void @test11a(
420 ; CHECK-NEXT: ret void
422 define void @test11a(i8* %x) nounwind {
424 %0 = call i8* @objc_retain(i8* %x) nounwind
425 call i8* @objc_autorelease(i8* %0) nounwind
429 ; Same as test11 but the value is returned. Do an RV optimization.
431 ; CHECK: define i8* @test11b(
432 ; CHECK: tail call i8* @objc_retain(i8* %x) nounwind
433 ; CHECK: tail call i8* @objc_autoreleaseReturnValue(i8* %0) nounwind
435 define i8* @test11b(i8* %x) nounwind {
437 %0 = call i8* @objc_retain(i8* %x) nounwind
438 call i8* @objc_autorelease(i8* %0) nounwind
442 ; Trivial retain,release pair with intervening call, but it's dominated
443 ; by another retain - delete!
445 ; CHECK: define void @test12(
447 ; CHECK-NEXT: @objc_retain(i8* %x)
450 define void @test12(i8* %x, i64 %n) {
452 call i8* @objc_retain(i8* %x) nounwind
453 call i8* @objc_retain(i8* %x) nounwind
454 call void @use_pointer(i8* %x)
455 call void @use_pointer(i8* %x)
456 call void @objc_release(i8* %x) nounwind
460 ; Trivial retain,autorelease pair. Don't delete!
462 ; CHECK: define void @test13(
463 ; CHECK: tail call i8* @objc_retain(i8* %x) nounwind
464 ; CHECK: tail call i8* @objc_retain(i8* %x) nounwind
465 ; CHECK: @use_pointer(i8* %x)
466 ; CHECK: tail call i8* @objc_autorelease(i8* %x) nounwind
468 define void @test13(i8* %x, i64 %n) {
470 call i8* @objc_retain(i8* %x) nounwind
471 call i8* @objc_retain(i8* %x) nounwind
472 call void @use_pointer(i8* %x)
473 call i8* @objc_autorelease(i8* %x) nounwind
477 ; Delete the retain+release pair.
479 ; CHECK: define void @test13b
481 ; CHECK-NEXT: @objc_retain(i8* %x)
482 ; CHECK-NEXT: @use_pointer
483 ; CHECK-NEXT: @use_pointer
484 ; CHECK-NEXT: ret void
485 define void @test13b(i8* %x, i64 %n) {
487 call i8* @objc_retain(i8* %x) nounwind
488 call i8* @objc_retain(i8* %x) nounwind
489 call void @use_pointer(i8* %x)
490 call void @use_pointer(i8* %x)
491 call void @objc_release(i8* %x) nounwind
495 ; Don't delete the retain+release pair because there's an
496 ; autoreleasePoolPop in the way.
498 ; CHECK: define void @test13c
499 ; CHECK: @objc_retain(i8* %x)
500 ; CHECK: @objc_autoreleasePoolPop
501 ; CHECK: @objc_retain(i8* %x)
502 ; CHECK: @use_pointer
503 ; CHECK: @objc_release
505 define void @test13c(i8* %x, i64 %n) {
507 call i8* @objc_retain(i8* %x) nounwind
508 call void @objc_autoreleasePoolPop(i8* undef)
509 call i8* @objc_retain(i8* %x) nounwind
510 call void @use_pointer(i8* %x)
511 call void @use_pointer(i8* %x)
512 call void @objc_release(i8* %x) nounwind
516 ; Like test13c, but there's an autoreleasePoolPush in the way, but that
519 ; CHECK: define void @test13d
521 ; CHECK-NEXT: @objc_retain(i8* %x)
522 ; CHECK-NEXT: @objc_autoreleasePoolPush
523 ; CHECK-NEXT: @use_pointer
524 ; CHECK-NEXT: @use_pointer
525 ; CHECK-NEXT: ret void
526 define void @test13d(i8* %x, i64 %n) {
528 call i8* @objc_retain(i8* %x) nounwind
529 call void @objc_autoreleasePoolPush()
530 call i8* @objc_retain(i8* %x) nounwind
531 call void @use_pointer(i8* %x)
532 call void @use_pointer(i8* %x)
533 call void @objc_release(i8* %x) nounwind
537 ; Trivial retain,release pair with intervening call, but it's post-dominated
538 ; by another release - delete!
540 ; CHECK: define void @test14(
542 ; CHECK-NEXT: @use_pointer
543 ; CHECK-NEXT: @use_pointer
544 ; CHECK-NEXT: @objc_release
545 ; CHECK-NEXT: ret void
547 define void @test14(i8* %x, i64 %n) {
549 call i8* @objc_retain(i8* %x) nounwind
550 call void @use_pointer(i8* %x)
551 call void @use_pointer(i8* %x)
552 call void @objc_release(i8* %x) nounwind
553 call void @objc_release(i8* %x) nounwind
557 ; Trivial retain,autorelease pair with intervening call, but it's post-dominated
558 ; by another release. Don't delete anything.
560 ; CHECK: define void @test15(
562 ; CHECK-NEXT: @objc_retain(i8* %x)
563 ; CHECK-NEXT: @use_pointer
564 ; CHECK-NEXT: @objc_autorelease(i8* %x)
565 ; CHECK-NEXT: @objc_release
566 ; CHECK-NEXT: ret void
568 define void @test15(i8* %x, i64 %n) {
570 call i8* @objc_retain(i8* %x) nounwind
571 call void @use_pointer(i8* %x)
572 call i8* @objc_autorelease(i8* %x) nounwind
573 call void @objc_release(i8* %x) nounwind
577 ; Trivial retain,autorelease pair, post-dominated
578 ; by another release. Delete the retain and release.
580 ; CHECK: define void @test15b
582 ; CHECK-NEXT: @objc_autorelease
583 ; CHECK-NEXT: ret void
585 define void @test15b(i8* %x, i64 %n) {
587 call i8* @objc_retain(i8* %x) nounwind
588 call i8* @objc_autorelease(i8* %x) nounwind
589 call void @objc_release(i8* %x) nounwind
593 ; Retain+release pairs in diamonds, all dominated by a retain.
595 ; CHECK: define void @test16(
596 ; CHECK: @objc_retain(i8* %x)
599 define void @test16(i1 %a, i1 %b, i8* %x) {
601 call i8* @objc_retain(i8* %x) nounwind
602 br i1 %a, label %red, label %orange
605 call i8* @objc_retain(i8* %x) nounwind
609 call i8* @objc_retain(i8* %x) nounwind
613 call void @use_pointer(i8* %x)
614 call void @use_pointer(i8* %x)
615 br i1 %b, label %green, label %blue
618 call void @objc_release(i8* %x) nounwind
622 call void @objc_release(i8* %x) nounwind
629 ; Retain+release pairs in diamonds, all post-dominated by a release.
631 ; CHECK: define void @test17(
634 ; CHECK: @objc_release
636 define void @test17(i1 %a, i1 %b, i8* %x) {
638 br i1 %a, label %red, label %orange
641 call i8* @objc_retain(i8* %x) nounwind
645 call i8* @objc_retain(i8* %x) nounwind
649 call void @use_pointer(i8* %x)
650 call void @use_pointer(i8* %x)
651 br i1 %b, label %green, label %blue
654 call void @objc_release(i8* %x) nounwind
658 call void @objc_release(i8* %x) nounwind
662 call void @objc_release(i8* %x) nounwind
668 ; CHECK: define void @test18(
671 define void @test18() {
672 call i8* @objc_retain(i8* null)
673 call void @objc_release(i8* null)
674 call i8* @objc_autorelease(i8* null)
678 ; Delete no-ops where undef can be assumed to be null.
680 ; CHECK: define void @test18b
683 define void @test18b() {
684 call i8* @objc_retain(i8* undef)
685 call void @objc_release(i8* undef)
686 call i8* @objc_autorelease(i8* undef)
690 ; Replace uses of arguments with uses of return values, to reduce
693 ; CHECK: define void @test19(i32* %y) {
694 ; CHECK: %z = bitcast i32* %y to i8*
695 ; CHECK: %0 = bitcast i32* %y to i8*
696 ; CHECK: %1 = tail call i8* @objc_retain(i8* %0)
697 ; CHECK: call void @use_pointer(i8* %z)
698 ; CHECK: call void @use_pointer(i8* %z)
699 ; CHECK: %2 = bitcast i32* %y to i8*
700 ; CHECK: call void @objc_release(i8* %2)
703 define void @test19(i32* %y) {
705 %x = bitcast i32* %y to i8*
706 %0 = call i8* @objc_retain(i8* %x) nounwind
707 %z = bitcast i32* %y to i8*
708 call void @use_pointer(i8* %z)
709 call void @use_pointer(i8* %z)
710 call void @objc_release(i8* %x)
716 ; CHECK: define void @test20(
717 ; CHECK: %tmp1 = tail call i8* @objc_retain(i8* %tmp) nounwind
719 define void @test20(double* %self) {
721 %tmp = bitcast double* %self to i8*
722 %tmp1 = call i8* @objc_retain(i8* %tmp) nounwind
723 invoke void @invokee()
724 to label %invoke.cont23 unwind label %lpad20
726 invoke.cont23: ; preds = %if.then12
727 invoke void @invokee()
728 to label %if.end unwind label %lpad20
730 lpad20: ; preds = %invoke.cont23, %if.then12
731 %tmp502 = phi double* [ undef, %invoke.cont23 ], [ %self, %if.then12 ]
732 %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
736 if.end: ; preds = %invoke.cont23
740 ; Delete a redundant retain,autorelease when forwaring a call result
741 ; directly to a return value.
743 ; CHECK: define i8* @test21(
744 ; CHECK: call i8* @returner()
745 ; CHECK-NEXT: ret i8* %call
746 define i8* @test21() {
748 %call = call i8* @returner()
749 %0 = call i8* @objc_retain(i8* %call) nounwind
750 %1 = call i8* @objc_autorelease(i8* %0) nounwind
754 ; Move an objc call up through a phi that has null operands.
756 ; CHECK: define void @test22(
758 ; CHECK: %1 = bitcast double* %p to i8*
759 ; CHECK: call void @objc_release(i8* %1)
761 ; CHECK: C: ; preds = %B, %A
762 ; CHECK-NOT: @objc_release
764 define void @test22(double* %p, i1 %a) {
765 br i1 %a, label %A, label %B
771 %h = phi double* [ null, %A ], [ %p, %B ]
772 %c = bitcast double* %h to i8*
773 call void @objc_release(i8* %c)
777 ; Optimize objc_retainBlock.
779 ; CHECK: define void @test23(
782 %block0 = type { i64, i64, i8*, i8* }
783 %block1 = type { i8**, i32, i32, i32 (%struct.__block_literal_1*)*, %block0* }
784 %struct.__block_descriptor = type { i64, i64 }
785 %struct.__block_literal_1 = type { i8**, i32, i32, i8**, %struct.__block_descriptor* }
786 @__block_holder_tmp_1 = external constant %block1
787 define void @test23() {
789 %0 = call i8* @objc_retainBlock(i8* bitcast (%block1* @__block_holder_tmp_1 to i8*)) nounwind, !clang.arc.copy_on_escape !0
790 call void @bar(i32 ()* bitcast (%block1* @__block_holder_tmp_1 to i32 ()*))
791 call void @bar(i32 ()* bitcast (%block1* @__block_holder_tmp_1 to i32 ()*))
792 call void @objc_release(i8* bitcast (%block1* @__block_holder_tmp_1 to i8*)) nounwind
796 ; Don't optimize objc_retainBlock.
798 ; CHECK: define void @test23b
799 ; CHECK: @objc_retainBlock
800 ; CHECK: @objc_release
802 define void @test23b(i8* %p) {
804 %0 = call i8* @objc_retainBlock(i8* %p) nounwind, !clang.arc.copy_on_escape !0
806 call void @use_pointer(i8* %p)
807 call void @objc_release(i8* %p) nounwind
811 ; Don't optimize objc_retainBlock, because there's no copy_on_escape metadata.
813 ; CHECK: define void @test23c(
814 ; CHECK: @objc_retainBlock
815 ; CHECK: @objc_release
817 define void @test23c() {
819 %0 = call i8* @objc_retainBlock(i8* bitcast (%block1* @__block_holder_tmp_1 to i8*)) nounwind
820 call void @bar(i32 ()* bitcast (%block1* @__block_holder_tmp_1 to i32 ()*))
821 call void @bar(i32 ()* bitcast (%block1* @__block_holder_tmp_1 to i32 ()*))
822 call void @objc_release(i8* bitcast (%block1* @__block_holder_tmp_1 to i8*)) nounwind
826 ; Any call can decrement a retain count.
828 ; CHECK: define void @test24(
829 ; CHECK: @objc_retain(i8* %a)
830 ; CHECK: @objc_release
832 define void @test24(i8* %r, i8* %a) {
833 call i8* @objc_retain(i8* %a)
834 call void @use_pointer(i8* %r)
836 call void @objc_release(i8* %a)
840 ; Don't move a retain/release pair if the release can be moved
841 ; but the retain can't be moved to balance it.
843 ; CHECK: define void @test25(
845 ; CHECK: call i8* @objc_retain(i8* %p)
848 ; CHECK: call void @objc_release(i8* %p)
850 define void @test25(i8* %p, i1 %x) {
852 %f0 = call i8* @objc_retain(i8* %p)
854 br i1 %x, label %true, label %done
861 call void @objc_release(i8* %p)
865 ; Don't move a retain/release pair if the retain can be moved
866 ; but the release can't be moved to balance it.
868 ; CHECK: define void @test26(
870 ; CHECK: call i8* @objc_retain(i8* %p)
873 ; CHECK: call void @objc_release(i8* %p)
875 define void @test26(i8* %p, i1 %x) {
877 %f0 = call i8* @objc_retain(i8* %p)
878 br i1 %x, label %true, label %done
886 call void @objc_release(i8* %p)
890 ; Don't sink the retain,release into the loop.
892 ; CHECK: define void @test27(
894 ; CHECK: call i8* @objc_retain(i8* %p)
898 ; CHECK: call void @objc_release
900 define void @test27(i8* %p, i1 %x, i1 %y) {
902 %f0 = call i8* @objc_retain(i8* %p)
903 br i1 %x, label %loop, label %done
908 br i1 %y, label %done, label %loop
911 call void @objc_release(i8* %p)
915 ; Trivial code motion case: Triangle.
917 ; CHECK: define void @test28(
920 ; CHECK: call i8* @objc_retain(
921 ; CHECK: call void @callee()
923 ; CHECK: call void @objc_release
927 define void @test28(i8* %p, i1 %x) {
929 %f0 = call i8* @objc_retain(i8* %p)
930 br i1 %x, label %true, label %done
938 call void @objc_release(i8* %p), !clang.imprecise_release !0
942 ; Trivial code motion case: Triangle, but no metadata. Don't move past
943 ; unrelated memory references!
945 ; CHECK: define void @test28b
946 ; CHECK: call i8* @objc_retain(
949 ; CHECK: call void @callee()
954 ; CHECK: @objc_release
956 define void @test28b(i8* %p, i1 %x, i8* noalias %t) {
958 %f0 = call i8* @objc_retain(i8* %p)
959 br i1 %x, label %true, label %done
968 call void @objc_release(i8* %p)
972 ; Trivial code motion case: Triangle, with metadata. Do move past
973 ; unrelated memory references! And preserve the metadata.
975 ; CHECK: define void @test28c
978 ; CHECK: call i8* @objc_retain(
979 ; CHECK: call void @callee()
981 ; CHECK: call void @objc_release(i8* %p) nounwind, !clang.imprecise_release
985 define void @test28c(i8* %p, i1 %x, i8* noalias %t) {
987 %f0 = call i8* @objc_retain(i8* %p)
988 br i1 %x, label %true, label %done
997 call void @objc_release(i8* %p), !clang.imprecise_release !0
1001 ; Like test28. but with two releases.
1003 ; CHECK: define void @test29(
1006 ; CHECK: call i8* @objc_retain(
1007 ; CHECK: call void @callee()
1009 ; CHECK: call void @objc_release
1010 ; CHECK-NOT: @objc_release
1016 define void @test29(i8* %p, i1 %x, i1 %y) {
1018 %f0 = call i8* @objc_retain(i8* %p)
1019 br i1 %x, label %true, label %done
1024 br i1 %y, label %done, label %ohno
1027 call void @objc_release(i8* %p)
1031 call void @objc_release(i8* %p)
1035 ; Basic case with the use and call in a diamond
1036 ; with an extra release.
1038 ; CHECK: define void @test30(
1041 ; CHECK: call i8* @objc_retain(
1042 ; CHECK: call void @callee()
1044 ; CHECK: call void @objc_release
1045 ; CHECK-NOT: @objc_release
1053 define void @test30(i8* %p, i1 %x, i1 %y, i1 %z) {
1055 %f0 = call i8* @objc_retain(i8* %p)
1056 br i1 %x, label %true, label %false
1061 br i1 %y, label %done, label %ohno
1064 br i1 %z, label %done, label %ohno
1067 call void @objc_release(i8* %p)
1071 call void @objc_release(i8* %p)
1075 ; Basic case with a mergeable release.
1077 ; CHECK: define void @test31(
1078 ; CHECK: call i8* @objc_retain(i8* %p)
1079 ; CHECK: call void @callee()
1081 ; CHECK: call void @objc_release
1082 ; CHECK-NOT: @objc_release
1084 ; CHECK-NOT: @objc_release
1086 ; CHECK-NOT: @objc_release
1088 ; CHECK-NOT: @objc_release
1090 define void @test31(i8* %p, i1 %x) {
1092 %f0 = call i8* @objc_retain(i8* %p)
1095 br i1 %x, label %true, label %false
1097 call void @objc_release(i8* %p)
1100 call void @objc_release(i8* %p)
1104 ; Don't consider bitcasts or getelementptrs direct uses.
1106 ; CHECK: define void @test32(
1109 ; CHECK: call i8* @objc_retain(
1110 ; CHECK: call void @callee()
1112 ; CHECK: call void @objc_release
1116 define void @test32(i8* %p, i1 %x) {
1118 %f0 = call i8* @objc_retain(i8* %p)
1119 br i1 %x, label %true, label %done
1127 %g = bitcast i8* %p to i8*
1128 %h = getelementptr i8* %g, i64 0
1129 call void @objc_release(i8* %g)
1133 ; Do consider icmps to be direct uses.
1135 ; CHECK: define void @test33(
1138 ; CHECK: call i8* @objc_retain(
1139 ; CHECK: call void @callee()
1141 ; CHECK: call void @objc_release
1145 define void @test33(i8* %p, i1 %x, i8* %y) {
1147 %f0 = call i8* @objc_retain(i8* %p)
1148 br i1 %x, label %true, label %done
1152 %v = icmp eq i8* %p, %y
1156 %g = bitcast i8* %p to i8*
1157 %h = getelementptr i8* %g, i64 0
1158 call void @objc_release(i8* %g)
1162 ; Delete retain,release if there's just a possible dec.
1164 ; CHECK: define void @test34(
1167 define void @test34(i8* %p, i1 %x, i8* %y) {
1169 %f0 = call i8* @objc_retain(i8* %p)
1170 br i1 %x, label %true, label %done
1177 %g = bitcast i8* %p to i8*
1178 %h = getelementptr i8* %g, i64 0
1179 call void @objc_release(i8* %g)
1183 ; Delete retain,release if there's just a use.
1185 ; CHECK: define void @test35(
1188 define void @test35(i8* %p, i1 %x, i8* %y) {
1190 %f0 = call i8* @objc_retain(i8* %p)
1191 br i1 %x, label %true, label %done
1194 %v = icmp eq i8* %p, %y
1198 %g = bitcast i8* %p to i8*
1199 %h = getelementptr i8* %g, i64 0
1200 call void @objc_release(i8* %g)
1204 ; Delete a retain,release if there's no actual use.
1206 ; CHECK: define void @test36(
1208 ; CHECK: call void @callee()
1210 ; CHECK: call void @callee()
1213 define void @test36(i8* %p) {
1215 call i8* @objc_retain(i8* %p)
1218 call void @objc_release(i8* %p)
1222 ; Like test36, but with metadata.
1224 ; CHECK: define void @test37(
1227 define void @test37(i8* %p) {
1229 call i8* @objc_retain(i8* %p)
1232 call void @objc_release(i8* %p), !clang.imprecise_release !0
1236 ; Be aggressive about analyzing phis to eliminate possible uses.
1238 ; CHECK: define void @test38(
1241 define void @test38(i8* %p, i1 %u, i1 %m, i8* %z, i8* %y, i8* %x, i8* %w) {
1243 call i8* @objc_retain(i8* %p)
1244 br i1 %u, label %true, label %false
1246 br i1 %m, label %a, label %b
1248 br i1 %m, label %c, label %d
1258 %j = phi i8* [ %z, %a ], [ %y, %b ]
1261 %k = phi i8* [ %w, %c ], [ %x, %d ]
1264 %h = phi i8* [ %j, %e ], [ %k, %f ]
1265 call void @use_pointer(i8* %h)
1266 call void @objc_release(i8* %p), !clang.imprecise_release !0
1270 ; Delete retain,release pairs around loops.
1272 ; CHECK: define void @test39(
1275 define void @test39(i8* %p) {
1277 %0 = call i8* @objc_retain(i8* %p)
1280 loop: ; preds = %loop, %entry
1281 br i1 undef, label %loop, label %exit
1283 exit: ; preds = %loop
1284 call void @objc_release(i8* %0), !clang.imprecise_release !0
1288 ; Delete retain,release pairs around loops containing uses.
1290 ; CHECK: define void @test39b(
1293 define void @test39b(i8* %p) {
1295 %0 = call i8* @objc_retain(i8* %p)
1298 loop: ; preds = %loop, %entry
1300 br i1 undef, label %loop, label %exit
1302 exit: ; preds = %loop
1303 call void @objc_release(i8* %0), !clang.imprecise_release !0
1307 ; Delete retain,release pairs around loops containing potential decrements.
1309 ; CHECK: define void @test39c(
1312 define void @test39c(i8* %p) {
1314 %0 = call i8* @objc_retain(i8* %p)
1317 loop: ; preds = %loop, %entry
1318 call void @use_pointer(i8* %0)
1319 br i1 undef, label %loop, label %exit
1321 exit: ; preds = %loop
1322 call void @objc_release(i8* %0), !clang.imprecise_release !0
1326 ; Delete retain,release pairs around loops even if
1327 ; the successors are in a different order.
1329 ; CHECK: define void @test40(
1332 define void @test40(i8* %p) {
1334 %0 = call i8* @objc_retain(i8* %p)
1337 loop: ; preds = %loop, %entry
1338 call void @use_pointer(i8* %0)
1339 br i1 undef, label %exit, label %loop
1341 exit: ; preds = %loop
1342 call void @objc_release(i8* %0), !clang.imprecise_release !0
1346 ; Do the known-incremented retain+release elimination even if the pointer
1347 ; is also autoreleased.
1349 ; CHECK: define void @test42(
1350 ; CHECK-NEXT: entry:
1351 ; CHECK-NEXT: call i8* @objc_retain(i8* %p)
1352 ; CHECK-NEXT: call i8* @objc_autorelease(i8* %p)
1353 ; CHECK-NEXT: call void @use_pointer(i8* %p)
1354 ; CHECK-NEXT: call void @use_pointer(i8* %p)
1355 ; CHECK-NEXT: ret void
1357 define void @test42(i8* %p) {
1359 call i8* @objc_retain(i8* %p)
1360 call i8* @objc_autorelease(i8* %p)
1361 call i8* @objc_retain(i8* %p)
1362 call void @use_pointer(i8* %p)
1363 call void @use_pointer(i8* %p)
1364 call void @objc_release(i8* %p)
1368 ; Don't the known-incremented retain+release elimination if the pointer is
1369 ; autoreleased and there's an autoreleasePoolPop.
1371 ; CHECK: define void @test43(
1372 ; CHECK-NEXT: entry:
1373 ; CHECK-NEXT: call i8* @objc_retain(i8* %p)
1374 ; CHECK-NEXT: call i8* @objc_autorelease(i8* %p)
1375 ; CHECK-NEXT: call i8* @objc_retain
1376 ; CHECK-NEXT: call void @use_pointer(i8* %p)
1377 ; CHECK-NEXT: call void @use_pointer(i8* %p)
1378 ; CHECK-NEXT: call void @objc_autoreleasePoolPop(i8* undef)
1379 ; CHECK-NEXT: call void @objc_release
1380 ; CHECK-NEXT: ret void
1382 define void @test43(i8* %p) {
1384 call i8* @objc_retain(i8* %p)
1385 call i8* @objc_autorelease(i8* %p)
1386 call i8* @objc_retain(i8* %p)
1387 call void @use_pointer(i8* %p)
1388 call void @use_pointer(i8* %p)
1389 call void @objc_autoreleasePoolPop(i8* undef)
1390 call void @objc_release(i8* %p)
1394 ; Do the known-incremented retain+release elimination if the pointer is
1395 ; autoreleased and there's an autoreleasePoolPush.
1397 ; CHECK: define void @test43b
1398 ; CHECK-NEXT: entry:
1399 ; CHECK-NEXT: call i8* @objc_retain(i8* %p)
1400 ; CHECK-NEXT: call i8* @objc_autorelease(i8* %p)
1401 ; CHECK-NEXT: call void @use_pointer(i8* %p)
1402 ; CHECK-NEXT: call void @use_pointer(i8* %p)
1403 ; CHECK-NEXT: call void @objc_autoreleasePoolPush()
1404 ; CHECK-NEXT: ret void
1406 define void @test43b(i8* %p) {
1408 call i8* @objc_retain(i8* %p)
1409 call i8* @objc_autorelease(i8* %p)
1410 call i8* @objc_retain(i8* %p)
1411 call void @use_pointer(i8* %p)
1412 call void @use_pointer(i8* %p)
1413 call void @objc_autoreleasePoolPush()
1414 call void @objc_release(i8* %p)
1418 ; Do retain+release elimination for non-provenance pointers.
1420 ; CHECK: define void @test44(
1423 define void @test44(i8** %pp) {
1425 %q = call i8* @objc_retain(i8* %p)
1426 call void @objc_release(i8* %q)
1430 ; Don't delete retain+release with an unknown-provenance
1431 ; may-alias objc_release between them.
1433 ; CHECK: define void @test45(
1434 ; CHECK: call i8* @objc_retain(i8* %p)
1435 ; CHECK: call void @objc_release(i8* %q)
1436 ; CHECK: call void @use_pointer(i8* %p)
1437 ; CHECK: call void @objc_release(i8* %p)
1438 define void @test45(i8** %pp, i8** %qq) {
1441 call i8* @objc_retain(i8* %p)
1442 call void @objc_release(i8* %q)
1443 call void @use_pointer(i8* %p)
1444 call void @objc_release(i8* %p)
1448 ; Don't delete retain and autorelease here.
1450 ; CHECK: define void @test46(
1451 ; CHECK: tail call i8* @objc_retain(i8* %p) nounwind
1453 ; CHECK: tail call i8* @objc_autorelease(i8* %p) nounwind
1454 define void @test46(i8* %p, i1 %a) {
1456 call i8* @objc_retain(i8* %p)
1457 br i1 %a, label %true, label %false
1460 call i8* @objc_autorelease(i8* %p)
1461 call void @use_pointer(i8* %p)
1468 ; Delete no-op cast calls.
1470 ; CHECK: define i8* @test47(
1473 define i8* @test47(i8* %p) nounwind {
1474 %x = call i8* @objc_retainedObject(i8* %p)
1478 ; Delete no-op cast calls.
1480 ; CHECK: define i8* @test48(
1483 define i8* @test48(i8* %p) nounwind {
1484 %x = call i8* @objc_unretainedObject(i8* %p)
1488 ; Delete no-op cast calls.
1490 ; CHECK: define i8* @test49(
1493 define i8* @test49(i8* %p) nounwind {
1494 %x = call i8* @objc_unretainedPointer(i8* %p)
1498 ; Do delete retain+release with intervening stores of the
1501 ; CHECK: define void @test50(
1504 define void @test50(i8* %p, i8** %pp) {
1505 call i8* @objc_retain(i8* %p)
1507 store i8* %p, i8** %pp
1508 call void @objc_release(i8* %p)
1512 ; Don't delete retain+release with intervening stores through the
1515 ; CHECK: define void @test51(
1516 ; CHECK: call i8* @objc_retain(i8* %p)
1517 ; CHECK: call void @objc_release(i8* %p)
1518 define void @test51(i8* %p) {
1519 call i8* @objc_retain(i8* %p)
1522 call void @objc_release(i8* %p)
1526 ; Don't delete retain+release with intervening use of a pointer of
1527 ; unknown provenance.
1529 ; CHECK: define void @test52(
1530 ; CHECK: call i8* @objc_retain
1531 ; CHECK: call void @callee()
1532 ; CHECK: call void @use_pointer(i8* %z)
1533 ; CHECK: call void @objc_release
1534 define void @test52(i8** %zz, i8** %pp) {
1536 %1 = call i8* @objc_retain(i8* %p)
1539 call void @use_pointer(i8* %z)
1540 call void @objc_release(i8* %p)
1544 ; Like test52, but the pointer has function type, so it's assumed to
1545 ; be not reference counted.
1546 ; Oops. That's wrong. Clang sometimes uses function types gratuitously.
1547 ; See rdar://10551239.
1549 ; CHECK: define void @test53(
1552 define void @test53(void ()** %zz, i8** %pp) {
1554 %1 = call i8* @objc_retain(i8* %p)
1556 %z = load void ()** %zz
1557 call void @callee_fnptr(void ()* %z)
1558 call void @objc_release(i8* %p)
1562 ; Convert autorelease to release if the value is unused.
1564 ; CHECK: define void @test54(
1565 ; CHECK: call i8* @returner()
1566 ; CHECK-NEXT: call void @objc_release(i8* %t) nounwind, !clang.imprecise_release !0
1567 ; CHECK-NEXT: ret void
1568 define void @test54() {
1569 %t = call i8* @returner()
1570 call i8* @objc_autorelease(i8* %t)
1574 ; Nested retain+release pairs. Delete them both.
1576 ; CHECK: define void @test55(
1579 define void @test55(i8* %x) {
1581 %0 = call i8* @objc_retain(i8* %x) nounwind
1582 %1 = call i8* @objc_retain(i8* %x) nounwind
1583 call void @objc_release(i8* %x) nounwind
1584 call void @objc_release(i8* %x) nounwind
1588 ; Nested retain+release pairs where the inner pair depends
1589 ; on the outer pair to be removed, and then the outer pair
1590 ; can be partially eliminated. Plus an extra outer pair to
1591 ; eliminate, for fun.
1593 ; CHECK: define void @test56(
1596 ; CHECK-NEXT: %0 = tail call i8* @objc_retain(i8* %x) nounwind
1597 ; CHECK-NEXT: tail call void @use_pointer(i8* %x)
1598 ; CHECK-NEXT: tail call void @use_pointer(i8* %x)
1599 ; CHECK-NEXT: tail call void @objc_release(i8* %x) nounwind, !clang.imprecise_release !0
1600 ; CHECK-NEXT: br label %if.end
1603 define void @test56(i8* %x, i32 %n) {
1605 %0 = tail call i8* @objc_retain(i8* %x) nounwind
1606 %1 = tail call i8* @objc_retain(i8* %0) nounwind
1607 %tobool = icmp eq i32 %n, 0
1608 br i1 %tobool, label %if.end, label %if.then
1610 if.then: ; preds = %entry
1611 %2 = tail call i8* @objc_retain(i8* %1) nounwind
1612 tail call void @use_pointer(i8* %2)
1613 tail call void @use_pointer(i8* %2)
1614 tail call void @objc_release(i8* %2) nounwind, !clang.imprecise_release !0
1617 if.end: ; preds = %entry, %if.then
1618 tail call void @objc_release(i8* %1) nounwind, !clang.imprecise_release !0
1619 tail call void @objc_release(i8* %0) nounwind, !clang.imprecise_release !0
1623 ; When there are adjacent retain+release pairs, the first one is
1624 ; known unnecessary because the presence of the second one means that
1625 ; the first one won't be deleting the object.
1627 ; CHECK: define void @test57(
1628 ; CHECK-NEXT: entry:
1629 ; CHECK-NEXT: call void @use_pointer(i8* %x)
1630 ; CHECK-NEXT: call void @use_pointer(i8* %x)
1631 ; CHECK-NEXT: %0 = tail call i8* @objc_retain(i8* %x) nounwind
1632 ; CHECK-NEXT: call void @use_pointer(i8* %x)
1633 ; CHECK-NEXT: call void @use_pointer(i8* %x)
1634 ; CHECK-NEXT: call void @objc_release(i8* %x) nounwind
1635 ; CHECK-NEXT: ret void
1637 define void @test57(i8* %x) nounwind {
1639 call i8* @objc_retain(i8* %x) nounwind
1640 call void @use_pointer(i8* %x)
1641 call void @use_pointer(i8* %x)
1642 call void @objc_release(i8* %x) nounwind
1643 call i8* @objc_retain(i8* %x) nounwind
1644 call void @use_pointer(i8* %x)
1645 call void @use_pointer(i8* %x)
1646 call void @objc_release(i8* %x) nounwind
1650 ; An adjacent retain+release pair is sufficient even if it will be
1653 ; CHECK: define void @test58(
1654 ; CHECK-NEXT: entry:
1655 ; CHECK-NEXT: call void @use_pointer(i8* %x)
1656 ; CHECK-NEXT: call void @use_pointer(i8* %x)
1657 ; CHECK-NEXT: ret void
1659 define void @test58(i8* %x) nounwind {
1661 call i8* @objc_retain(i8* %x) nounwind
1662 call void @use_pointer(i8* %x)
1663 call void @use_pointer(i8* %x)
1664 call void @objc_release(i8* %x) nounwind
1665 call i8* @objc_retain(i8* %x) nounwind
1666 call void @objc_release(i8* %x) nounwind
1670 ; Don't delete the second retain+release pair in an adjacent set.
1672 ; CHECK: define void @test59(
1673 ; CHECK-NEXT: entry:
1674 ; CHECK-NEXT: %0 = tail call i8* @objc_retain(i8* %x) nounwind
1675 ; CHECK-NEXT: call void @use_pointer(i8* %x)
1676 ; CHECK-NEXT: call void @use_pointer(i8* %x)
1677 ; CHECK-NEXT: call void @objc_release(i8* %x) nounwind
1678 ; CHECK-NEXT: ret void
1680 define void @test59(i8* %x) nounwind {
1682 %a = call i8* @objc_retain(i8* %x) nounwind
1683 call void @objc_release(i8* %x) nounwind
1684 %b = call i8* @objc_retain(i8* %x) nounwind
1685 call void @use_pointer(i8* %x)
1686 call void @use_pointer(i8* %x)
1687 call void @objc_release(i8* %x) nounwind
1691 ; Constant pointers to objects don't need reference counting.
1693 @constptr = external constant i8*
1694 @something = external global i8*
1696 ; CHECK: define void @test60(
1699 define void @test60() {
1700 %t = load i8** @constptr
1701 %s = load i8** @something
1702 call i8* @objc_retain(i8* %s)
1704 call void @use_pointer(i8* %t)
1705 call void @objc_release(i8* %s)
1709 ; Constant pointers to objects don't need to be considered related to other
1712 ; CHECK: define void @test61(
1715 define void @test61() {
1716 %t = load i8** @constptr
1717 call i8* @objc_retain(i8* %t)
1719 call void @use_pointer(i8* %t)
1720 call void @objc_release(i8* %t)
1724 declare void @bar(i32 ()*)
1726 ; A few real-world testcases.
1728 @.str4 = private unnamed_addr constant [33 x i8] c"-[A z] = { %f, %f, { %f, %f } }\0A\00"
1729 @"OBJC_IVAR_$_A.myZ" = global i64 20, section "__DATA, __objc_const", align 8
1730 declare i32 @printf(i8* nocapture, ...) nounwind
1731 declare i32 @puts(i8* nocapture) nounwind
1732 @str = internal constant [16 x i8] c"-[ Top0 _getX ]\00"
1734 ; CHECK: @"\01-[A z]"
1738 define {<2 x float>, <2 x float>} @"\01-[A z]"({}* %self, i8* nocapture %_cmd) nounwind {
1740 %0 = bitcast {}* %self to i8*
1741 %1 = tail call i8* @objc_retain(i8* %0) nounwind
1742 tail call void @llvm.dbg.value(metadata !{{}* %self}, i64 0, metadata !0)
1743 tail call void @llvm.dbg.value(metadata !{{}* %self}, i64 0, metadata !0)
1744 %ivar = load i64* @"OBJC_IVAR_$_A.myZ", align 8
1745 %add.ptr = getelementptr i8* %0, i64 %ivar
1746 %tmp1 = bitcast i8* %add.ptr to float*
1747 %tmp2 = load float* %tmp1, align 4
1748 %conv = fpext float %tmp2 to double
1749 %add.ptr.sum = add i64 %ivar, 4
1750 %tmp6 = getelementptr inbounds i8* %0, i64 %add.ptr.sum
1751 %2 = bitcast i8* %tmp6 to float*
1752 %tmp7 = load float* %2, align 4
1753 %conv8 = fpext float %tmp7 to double
1754 %add.ptr.sum36 = add i64 %ivar, 8
1755 %tmp12 = getelementptr inbounds i8* %0, i64 %add.ptr.sum36
1756 %arrayidx = bitcast i8* %tmp12 to float*
1757 %tmp13 = load float* %arrayidx, align 4
1758 %conv14 = fpext float %tmp13 to double
1759 %tmp12.sum = add i64 %ivar, 12
1760 %arrayidx19 = getelementptr inbounds i8* %0, i64 %tmp12.sum
1761 %3 = bitcast i8* %arrayidx19 to float*
1762 %tmp20 = load float* %3, align 4
1763 %conv21 = fpext float %tmp20 to double
1764 %call = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([33 x i8]* @.str4, i64 0, i64 0), double %conv, double %conv8, double %conv14, double %conv21)
1765 %ivar23 = load i64* @"OBJC_IVAR_$_A.myZ", align 8
1766 %add.ptr24 = getelementptr i8* %0, i64 %ivar23
1767 %4 = bitcast i8* %add.ptr24 to i128*
1768 %srcval = load i128* %4, align 4
1769 tail call void @objc_release(i8* %0) nounwind
1770 %tmp29 = trunc i128 %srcval to i64
1771 %tmp30 = bitcast i64 %tmp29 to <2 x float>
1772 %tmp31 = insertvalue {<2 x float>, <2 x float>} undef, <2 x float> %tmp30, 0
1773 %tmp32 = lshr i128 %srcval, 64
1774 %tmp33 = trunc i128 %tmp32 to i64
1775 %tmp34 = bitcast i64 %tmp33 to <2 x float>
1776 %tmp35 = insertvalue {<2 x float>, <2 x float>} %tmp31, <2 x float> %tmp34, 1
1777 ret {<2 x float>, <2 x float>} %tmp35
1780 ; CHECK: @"\01-[Top0 _getX]"
1784 define i32 @"\01-[Top0 _getX]"({}* %self, i8* nocapture %_cmd) nounwind {
1786 %0 = bitcast {}* %self to i8*
1787 %1 = tail call i8* @objc_retain(i8* %0) nounwind
1788 %puts = tail call i32 @puts(i8* getelementptr inbounds ([16 x i8]* @str, i64 0, i64 0))
1789 tail call void @objc_release(i8* %0) nounwind
1793 @"\01L_OBJC_METH_VAR_NAME_" = internal global [5 x i8] c"frob\00", section "__TEXT,__cstring,cstring_literals", align 1@"\01L_OBJC_SELECTOR_REFERENCES_" = internal global i8* getelementptr inbounds ([5 x i8]* @"\01L_OBJC_METH_VAR_NAME_", i64 0, i64 0), section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1794 @"\01L_OBJC_IMAGE_INFO" = internal constant [2 x i32] [i32 0, i32 16], section "__DATA, __objc_imageinfo, regular, no_dead_strip"
1795 @llvm.used = appending global [3 x i8*] [i8* getelementptr inbounds ([5 x i8]* @"\01L_OBJC_METH_VAR_NAME_", i32 0, i32 0), i8* bitcast (i8** @"\01L_OBJC_SELECTOR_REFERENCES_" to i8*), i8* bitcast ([2 x i32]* @"\01L_OBJC_IMAGE_INFO" to i8*)], section "llvm.metadata"
1797 ; A simple loop. Eliminate the retain and release inside of it!
1799 ; CHECK: define void @loop
1802 ; CHECK: @objc_msgSend
1805 define void @loop(i8* %x, i64 %n) {
1807 %0 = tail call i8* @objc_retain(i8* %x) nounwind
1808 %cmp9 = icmp sgt i64 %n, 0
1809 br i1 %cmp9, label %for.body, label %for.end
1811 for.body: ; preds = %entry, %for.body
1812 %i.010 = phi i64 [ %inc, %for.body ], [ 0, %entry ]
1813 %1 = tail call i8* @objc_retain(i8* %x) nounwind
1814 %tmp5 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_", align 8
1815 %call = tail call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %1, i8* %tmp5)
1816 tail call void @objc_release(i8* %1) nounwind, !clang.imprecise_release !0
1817 %inc = add nsw i64 %i.010, 1
1818 %exitcond = icmp eq i64 %inc, %n
1819 br i1 %exitcond, label %for.end, label %for.body
1821 for.end: ; preds = %for.body, %entry
1822 tail call void @objc_release(i8* %x) nounwind, !clang.imprecise_release !0
1826 ; ObjCARCOpt can delete the retain,release on self.
1828 ; CHECK: define void @TextEditTest
1829 ; CHECK-NOT: call i8* @objc_retain(i8* %tmp7)
1832 %0 = type { i8* (i8*, %struct._message_ref_t*, ...)*, i8* }
1838 %struct.NSConstantString = type { i32*, i32, i8*, i64 }
1839 %struct._NSRange = type { i64, i64 }
1840 %struct.__CFString = type opaque
1841 %struct.__method_list_t = type { i32, i32, [0 x %struct._objc_method] }
1842 %struct._class_ro_t = type { i32, i32, i32, i8*, i8*, %struct.__method_list_t*, %struct._objc_protocol_list*, %struct._ivar_list_t*, i8*, %struct._prop_list_t* }
1843 %struct._class_t = type { %struct._class_t*, %struct._class_t*, %struct._objc_cache*, i8* (i8*, i8*)**, %struct._class_ro_t* }
1844 %struct._ivar_list_t = type { i32, i32, [0 x %struct._ivar_t] }
1845 %struct._ivar_t = type { i64*, i8*, i8*, i32, i32 }
1846 %struct._message_ref_t = type { i8*, i8* }
1847 %struct._objc_cache = type opaque
1848 %struct._objc_method = type { i8*, i8*, i8* }
1849 %struct._objc_protocol_list = type { i64, [0 x %struct._protocol_t*] }
1850 %struct._prop_list_t = type { i32, i32, [0 x %struct._message_ref_t] }
1851 %struct._protocol_t = type { i8*, i8*, %struct._objc_protocol_list*, %struct.__method_list_t*, %struct.__method_list_t*, %struct.__method_list_t*, %struct.__method_list_t*, %struct._prop_list_t*, i32, i32 }
1853 @"\01L_OBJC_CLASSLIST_REFERENCES_$_17" = external hidden global %struct._class_t*, section "__DATA, __objc_classrefs, regular, no_dead_strip", align 8
1854 @kUTTypePlainText = external constant %struct.__CFString*
1855 @"\01L_OBJC_SELECTOR_REFERENCES_19" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1856 @"\01L_OBJC_SELECTOR_REFERENCES_21" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1857 @"\01L_OBJC_SELECTOR_REFERENCES_23" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1858 @"\01L_OBJC_SELECTOR_REFERENCES_25" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1859 @"\01L_OBJC_CLASSLIST_REFERENCES_$_26" = external hidden global %struct._class_t*, section "__DATA, __objc_classrefs, regular, no_dead_strip", align 8
1860 @"\01L_OBJC_SELECTOR_REFERENCES_28" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1861 @"\01L_OBJC_CLASSLIST_REFERENCES_$_29" = external hidden global %struct._class_t*, section "__DATA, __objc_classrefs, regular, no_dead_strip", align 8
1862 @"\01L_OBJC_SELECTOR_REFERENCES_31" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1863 @"\01L_OBJC_SELECTOR_REFERENCES_33" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1864 @"\01L_OBJC_SELECTOR_REFERENCES_35" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1865 @"\01L_OBJC_SELECTOR_REFERENCES_37" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1866 @"\01L_OBJC_CLASSLIST_REFERENCES_$_38" = external hidden global %struct._class_t*, section "__DATA, __objc_classrefs, regular, no_dead_strip", align 8
1867 @"\01L_OBJC_SELECTOR_REFERENCES_40" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1868 @"\01L_OBJC_SELECTOR_REFERENCES_42" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1869 @_unnamed_cfstring_44 = external hidden constant %struct.NSConstantString, section "__DATA,__cfstring"
1870 @"\01L_OBJC_SELECTOR_REFERENCES_46" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1871 @"\01L_OBJC_SELECTOR_REFERENCES_48" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1872 @"\01l_objc_msgSend_fixup_isEqual_" = external hidden global %0, section "__DATA, __objc_msgrefs, coalesced", align 16
1873 @"\01L_OBJC_CLASSLIST_REFERENCES_$_50" = external hidden global %struct._class_t*, section "__DATA, __objc_classrefs, regular, no_dead_strip", align 8
1874 @NSCocoaErrorDomain = external constant %1*
1875 @"\01L_OBJC_CLASSLIST_REFERENCES_$_51" = external hidden global %struct._class_t*, section "__DATA, __objc_classrefs, regular, no_dead_strip", align 8
1876 @NSFilePathErrorKey = external constant %1*
1877 @"\01L_OBJC_SELECTOR_REFERENCES_53" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1878 @"\01L_OBJC_SELECTOR_REFERENCES_55" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1879 @"\01L_OBJC_CLASSLIST_REFERENCES_$_56" = external hidden global %struct._class_t*, section "__DATA, __objc_classrefs, regular, no_dead_strip", align 8
1880 @"\01L_OBJC_SELECTOR_REFERENCES_58" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1881 @"\01L_OBJC_SELECTOR_REFERENCES_60" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1883 declare %1* @truncatedString(%1*, i64)
1884 define void @TextEditTest(%2* %self, %3* %pboard) {
1886 %err = alloca %4*, align 8
1887 %tmp7 = bitcast %2* %self to i8*
1888 %tmp8 = call i8* @objc_retain(i8* %tmp7) nounwind
1889 store %4* null, %4** %err, align 8
1890 %tmp1 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_17", align 8
1891 %tmp2 = load %struct.__CFString** @kUTTypePlainText, align 8
1892 %tmp3 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_19", align 8
1893 %tmp4 = bitcast %struct._class_t* %tmp1 to i8*
1894 %call5 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp4, i8* %tmp3, %struct.__CFString* %tmp2)
1895 %tmp5 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_21", align 8
1896 %tmp6 = bitcast %3* %pboard to i8*
1897 %call76 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp6, i8* %tmp5, i8* %call5)
1898 %tmp9 = call i8* @objc_retain(i8* %call76) nounwind
1899 %tobool = icmp eq i8* %tmp9, null
1900 br i1 %tobool, label %end, label %land.lhs.true
1902 land.lhs.true: ; preds = %entry
1903 %tmp11 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_23", align 8
1904 %call137 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp6, i8* %tmp11, i8* %tmp9)
1905 %tmp = bitcast i8* %call137 to %1*
1906 %tmp10 = call i8* @objc_retain(i8* %call137) nounwind
1907 call void @objc_release(i8* null) nounwind
1908 %tmp12 = call i8* @objc_retain(i8* %call137) nounwind
1909 call void @objc_release(i8* null) nounwind
1910 %tobool16 = icmp eq i8* %call137, null
1911 br i1 %tobool16, label %end, label %if.then
1913 if.then: ; preds = %land.lhs.true
1914 %tmp19 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_25", align 8
1915 %call21 = call signext i8 bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to i8 (i8*, i8*)*)(i8* %call137, i8* %tmp19)
1916 %tobool22 = icmp eq i8 %call21, 0
1917 br i1 %tobool22, label %if.then44, label %land.lhs.true23
1919 land.lhs.true23: ; preds = %if.then
1920 %tmp24 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_26", align 8
1921 %tmp26 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_28", align 8
1922 %tmp27 = bitcast %struct._class_t* %tmp24 to i8*
1923 %call2822 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp27, i8* %tmp26, i8* %call137)
1924 %tmp13 = bitcast i8* %call2822 to %5*
1925 %tmp14 = call i8* @objc_retain(i8* %call2822) nounwind
1926 call void @objc_release(i8* null) nounwind
1927 %tobool30 = icmp eq i8* %call2822, null
1928 br i1 %tobool30, label %if.then44, label %if.end
1930 if.end: ; preds = %land.lhs.true23
1931 %tmp32 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_29", align 8
1932 %tmp33 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_31", align 8
1933 %tmp34 = bitcast %struct._class_t* %tmp32 to i8*
1934 %call35 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp34, i8* %tmp33)
1935 %tmp37 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_33", align 8
1936 %call3923 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %call35, i8* %tmp37, i8* %call2822, i32 signext 1, %4** %err)
1937 %cmp = icmp eq i8* %call3923, null
1938 br i1 %cmp, label %if.then44, label %end
1940 if.then44: ; preds = %if.end, %land.lhs.true23, %if.then
1941 %url.025 = phi %5* [ %tmp13, %if.end ], [ %tmp13, %land.lhs.true23 ], [ null, %if.then ]
1942 %tmp49 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_35", align 8
1943 %call51 = call %struct._NSRange bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to %struct._NSRange (i8*, i8*, i64, i64)*)(i8* %call137, i8* %tmp49, i64 0, i64 0)
1944 %call513 = extractvalue %struct._NSRange %call51, 0
1945 %call514 = extractvalue %struct._NSRange %call51, 1
1946 %tmp52 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_37", align 8
1947 %call548 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %call137, i8* %tmp52, i64 %call513, i64 %call514)
1948 %tmp55 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_38", align 8
1949 %tmp56 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_40", align 8
1950 %tmp57 = bitcast %struct._class_t* %tmp55 to i8*
1951 %call58 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp57, i8* %tmp56)
1952 %tmp59 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_42", align 8
1953 %call6110 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %call548, i8* %tmp59, i8* %call58)
1954 %tmp15 = call i8* @objc_retain(i8* %call6110) nounwind
1955 call void @objc_release(i8* %call137) nounwind
1956 %tmp64 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_46", align 8
1957 %call66 = call signext i8 bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to i8 (i8*, i8*, %1*)*)(i8* %call6110, i8* %tmp64, %1* bitcast (%struct.NSConstantString* @_unnamed_cfstring_44 to %1*))
1958 %tobool67 = icmp eq i8 %call66, 0
1959 br i1 %tobool67, label %if.end74, label %if.then68
1961 if.then68: ; preds = %if.then44
1962 %tmp70 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_48", align 8
1963 %call7220 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %call6110, i8* %tmp70)
1964 %tmp16 = call i8* @objc_retain(i8* %call7220) nounwind
1965 call void @objc_release(i8* %call6110) nounwind
1968 if.end74: ; preds = %if.then68, %if.then44
1969 %filename.0.in = phi i8* [ %call7220, %if.then68 ], [ %call6110, %if.then44 ]
1970 %filename.0 = bitcast i8* %filename.0.in to %1*
1971 %tmp17 = load i8** bitcast (%0* @"\01l_objc_msgSend_fixup_isEqual_" to i8**), align 16
1972 %tmp18 = bitcast i8* %tmp17 to i8 (i8*, %struct._message_ref_t*, i8*, ...)*
1973 %call78 = call signext i8 (i8*, %struct._message_ref_t*, i8*, ...)* %tmp18(i8* %call137, %struct._message_ref_t* bitcast (%0* @"\01l_objc_msgSend_fixup_isEqual_" to %struct._message_ref_t*), i8* %filename.0.in)
1974 %tobool79 = icmp eq i8 %call78, 0
1975 br i1 %tobool79, label %land.lhs.true80, label %if.then109
1977 land.lhs.true80: ; preds = %if.end74
1978 %tmp82 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_25", align 8
1979 %call84 = call signext i8 bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to i8 (i8*, i8*)*)(i8* %filename.0.in, i8* %tmp82)
1980 %tobool86 = icmp eq i8 %call84, 0
1981 br i1 %tobool86, label %if.then109, label %if.end106
1983 if.end106: ; preds = %land.lhs.true80
1984 %tmp88 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_26", align 8
1985 %tmp90 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_28", align 8
1986 %tmp91 = bitcast %struct._class_t* %tmp88 to i8*
1987 %call9218 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp91, i8* %tmp90, i8* %filename.0.in)
1988 %tmp20 = bitcast i8* %call9218 to %5*
1989 %tmp21 = call i8* @objc_retain(i8* %call9218) nounwind
1990 %tmp22 = bitcast %5* %url.025 to i8*
1991 call void @objc_release(i8* %tmp22) nounwind
1992 %tmp94 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_29", align 8
1993 %tmp95 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_31", align 8
1994 %tmp96 = bitcast %struct._class_t* %tmp94 to i8*
1995 %call97 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp96, i8* %tmp95)
1996 %tmp99 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_33", align 8
1997 %call10119 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %call97, i8* %tmp99, i8* %call9218, i32 signext 1, %4** %err)
1998 %phitmp = icmp eq i8* %call10119, null
1999 br i1 %phitmp, label %if.then109, label %end
2001 if.then109: ; preds = %if.end106, %land.lhs.true80, %if.end74
2002 %url.129 = phi %5* [ %tmp20, %if.end106 ], [ %url.025, %if.end74 ], [ %url.025, %land.lhs.true80 ]
2003 %tmp110 = load %4** %err, align 8
2004 %tobool111 = icmp eq %4* %tmp110, null
2005 br i1 %tobool111, label %if.then112, label %if.end125
2007 if.then112: ; preds = %if.then109
2008 %tmp113 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_50", align 8
2009 %tmp114 = load %1** @NSCocoaErrorDomain, align 8
2010 %tmp115 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_51", align 8
2011 %call117 = call %1* @truncatedString(%1* %filename.0, i64 1034)
2012 %tmp118 = load %1** @NSFilePathErrorKey, align 8
2013 %tmp119 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_53", align 8
2014 %tmp120 = bitcast %struct._class_t* %tmp115 to i8*
2015 %call12113 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp120, i8* %tmp119, %1* %call117, %1* %tmp118, i8* null)
2016 %tmp122 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_55", align 8
2017 %tmp123 = bitcast %struct._class_t* %tmp113 to i8*
2018 %call12414 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp123, i8* %tmp122, %1* %tmp114, i64 258, i8* %call12113)
2019 %tmp23 = call i8* @objc_retain(i8* %call12414) nounwind
2020 %tmp25 = call i8* @objc_autorelease(i8* %tmp23) nounwind
2021 %tmp28 = bitcast i8* %tmp25 to %4*
2022 store %4* %tmp28, %4** %err, align 8
2025 if.end125: ; preds = %if.then112, %if.then109
2026 %tmp127 = phi %4* [ %tmp110, %if.then109 ], [ %tmp28, %if.then112 ]
2027 %tmp126 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_56", align 8
2028 %tmp128 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_58", align 8
2029 %tmp129 = bitcast %struct._class_t* %tmp126 to i8*
2030 %call13015 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp129, i8* %tmp128, %4* %tmp127)
2031 %tmp131 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_60", align 8
2032 %call13317 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %call13015, i8* %tmp131)
2035 end: ; preds = %if.end125, %if.end106, %if.end, %land.lhs.true, %entry
2036 %filename.2 = phi %1* [ %filename.0, %if.end106 ], [ %filename.0, %if.end125 ], [ %tmp, %land.lhs.true ], [ null, %entry ], [ %tmp, %if.end ]
2037 %origFilename.0 = phi %1* [ %tmp, %if.end106 ], [ %tmp, %if.end125 ], [ %tmp, %land.lhs.true ], [ null, %entry ], [ %tmp, %if.end ]
2038 %url.2 = phi %5* [ %tmp20, %if.end106 ], [ %url.129, %if.end125 ], [ null, %land.lhs.true ], [ null, %entry ], [ %tmp13, %if.end ]
2039 call void @objc_release(i8* %tmp9) nounwind, !clang.imprecise_release !0
2040 %tmp29 = bitcast %5* %url.2 to i8*
2041 call void @objc_release(i8* %tmp29) nounwind, !clang.imprecise_release !0
2042 %tmp30 = bitcast %1* %origFilename.0 to i8*
2043 call void @objc_release(i8* %tmp30) nounwind, !clang.imprecise_release !0
2044 %tmp31 = bitcast %1* %filename.2 to i8*
2045 call void @objc_release(i8* %tmp31) nounwind, !clang.imprecise_release !0
2046 call void @objc_release(i8* %tmp7) nounwind, !clang.imprecise_release !0
2052 declare i32 @__gxx_personality_v0(...)