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 ; Like test0 but the pointer is passed to an intervening call,
90 ; so the optimization is not safe.
92 ; CHECK: define void @test2(
93 ; CHECK: @objc_retain(i8* %a)
94 ; CHECK: @objc_release
96 define void @test2(i32* %x, i1 %p) nounwind {
98 %a = bitcast i32* %x to i8*
99 %0 = call i8* @objc_retain(i8* %a) nounwind
100 br i1 %p, label %t, label %f
104 %b = bitcast i32* %x to float*
105 store float 2.0, float* %b
110 call void @use_pointer(i8* %0)
111 %d = bitcast i32* %x to float*
112 store float 3.0, float* %d
116 %c = bitcast i32* %x to i8*
117 call void @objc_release(i8* %c) nounwind
121 ; Like test0 but the release is in a loop,
122 ; so the optimization is not safe.
124 ; TODO: For now, assume this can't happen.
126 ; CHECK: define void @test3(
127 ; TODO: @objc_retain(i8* %a)
128 ; TODO: @objc_release
130 define void @test3(i32* %x, i1* %q) nounwind {
132 %a = bitcast i32* %x to i8*
133 %0 = call i8* @objc_retain(i8* %a) nounwind
137 %c = bitcast i32* %x to i8*
138 call void @objc_release(i8* %c) nounwind
139 %j = volatile load i1* %q
140 br i1 %j, label %loop, label %return
146 ; TODO: For now, assume this can't happen.
148 ; Like test0 but the retain is in a loop,
149 ; so the optimization is not safe.
151 ; CHECK: define void @test4(
152 ; TODO: @objc_retain(i8* %a)
153 ; TODO: @objc_release
155 define void @test4(i32* %x, i1* %q) nounwind {
160 %a = bitcast i32* %x to i8*
161 %0 = call i8* @objc_retain(i8* %a) nounwind
162 %j = volatile load i1* %q
163 br i1 %j, label %loop, label %return
166 %c = bitcast i32* %x to i8*
167 call void @objc_release(i8* %c) nounwind
171 ; Like test0 but the pointer is conditionally passed to an intervening call,
172 ; so the optimization is not safe.
174 ; CHECK: define void @test5(
175 ; CHECK: @objc_retain(i8*
176 ; CHECK: @objc_release
178 define void @test5(i32* %x, i1 %q, i8* %y) nounwind {
180 %a = bitcast i32* %x to i8*
181 %0 = call i8* @objc_retain(i8* %a) nounwind
182 %s = select i1 %q, i8* %y, i8* %0
183 call void @use_pointer(i8* %s)
185 %c = bitcast i32* %x to i8*
186 call void @objc_release(i8* %c) nounwind
190 ; retain+release pair deletion, where the release happens on two different
193 ; CHECK: define void @test6(
196 define void @test6(i32* %x, i1 %p) nounwind {
198 %a = bitcast i32* %x to i8*
199 %0 = call i8* @objc_retain(i8* %a) nounwind
200 br i1 %p, label %t, label %f
204 %b = bitcast i32* %x to float*
205 store float 2.0, float* %b
206 %ct = bitcast i32* %x to i8*
207 call void @objc_release(i8* %ct) nounwind
213 %cf = bitcast i32* %x to i8*
214 call void @objc_release(i8* %cf) nounwind
221 ; retain+release pair deletion, where the retain happens on two different
224 ; CHECK: define void @test7(
227 define void @test7(i32* %x, i1 %p) nounwind {
229 %a = bitcast i32* %x to i8*
230 br i1 %p, label %t, label %f
233 %0 = call i8* @objc_retain(i8* %a) nounwind
235 %b = bitcast i32* %x to float*
236 store float 2.0, float* %b
240 %1 = call i8* @objc_retain(i8* %a) nounwind
246 %c = bitcast i32* %x to i8*
247 call void @objc_release(i8* %c) nounwind
251 ; Like test7, but there's a retain/retainBlock mismatch. Don't delete!
253 ; CHECK: define void @test7b
255 ; CHECK: call i8* @objc_retainBlock
257 ; CHECK: call i8* @objc_retain
259 ; CHECK: call void @objc_release
261 define void @test7b(i32* %x, i1 %p) nounwind {
263 %a = bitcast i32* %x to i8*
264 br i1 %p, label %t, label %f
267 %0 = call i8* @objc_retainBlock(i8* %a) nounwind
269 %b = bitcast i32* %x to float*
270 store float 2.0, float* %b
274 %1 = call i8* @objc_retain(i8* %a) nounwind
280 %c = bitcast i32* %x to i8*
281 call void @objc_release(i8* %c) nounwind
285 ; retain+release pair deletion, where the retain and release both happen on
286 ; different flow paths. Wild!
288 ; CHECK: define void @test8(
291 define void @test8(i32* %x, i1 %p, i1 %q) nounwind {
293 %a = bitcast i32* %x to i8*
294 br i1 %p, label %t, label %f
297 %0 = call i8* @objc_retain(i8* %a) nounwind
299 %b = bitcast i32* %x to float*
300 store float 2.0, float* %b
304 %1 = call i8* @objc_retain(i8* %a) nounwind
309 br i1 %q, label %u, label %g
313 %cu = bitcast i32* %x to i8*
314 call void @objc_release(i8* %cu) nounwind
318 %cg = bitcast i32* %x to i8*
319 call void @objc_release(i8* %cg) nounwind
326 ; Trivial retain+release pair deletion.
328 ; CHECK: define void @test9(
331 define void @test9(i8* %x) nounwind {
333 %0 = call i8* @objc_retain(i8* %x) nounwind
334 call void @objc_release(i8* %0) nounwind
338 ; Retain+release pair, but on an unknown pointer relationship. Don't delete!
340 ; CHECK: define void @test9b
341 ; CHECK: @objc_retain(i8* %x)
342 ; CHECK: @objc_release(i8* %s)
344 define void @test9b(i8* %x, i1 %j, i8* %p) nounwind {
346 %0 = call i8* @objc_retain(i8* %x) nounwind
347 %s = select i1 %j, i8* %x, i8* %p
348 call void @objc_release(i8* %s) nounwind
352 ; Trivial retain+release pair with intervening calls - don't delete!
354 ; CHECK: define void @test10(
355 ; CHECK: @objc_retain(i8* %x)
357 ; CHECK: @use_pointer
358 ; CHECK: @objc_release
360 define void @test10(i8* %x) nounwind {
362 %0 = call i8* @objc_retain(i8* %x) nounwind
364 call void @use_pointer(i8* %x)
365 call void @objc_release(i8* %0) nounwind
369 ; Trivial retain+autoreleaserelease pair. Don't delete!
370 ; Also, add a tail keyword, since objc_retain can never be passed
373 ; CHECK: define void @test11(
374 ; CHECK: tail call i8* @objc_retain(i8* %x) nounwind
375 ; CHECK: tail call i8* @objc_autorelease(i8* %0) nounwind
377 define void @test11(i8* %x) nounwind {
379 %0 = call i8* @objc_retain(i8* %x) nounwind
380 call i8* @objc_autorelease(i8* %0) nounwind
381 call void @use_pointer(i8* %x)
385 ; Same as test11 but with no use_pointer call. Delete the pair!
387 ; CHECK: define void @test11a(
389 ; CHECK-NEXT: ret void
391 define void @test11a(i8* %x) nounwind {
393 %0 = call i8* @objc_retain(i8* %x) nounwind
394 call i8* @objc_autorelease(i8* %0) nounwind
398 ; Same as test11 but the value is returned. Do an RV optimization.
400 ; CHECK: define i8* @test11b(
401 ; CHECK: tail call i8* @objc_retain(i8* %x) nounwind
402 ; CHECK: tail call i8* @objc_autoreleaseReturnValue(i8* %0) nounwind
404 define i8* @test11b(i8* %x) nounwind {
406 %0 = call i8* @objc_retain(i8* %x) nounwind
407 call i8* @objc_autorelease(i8* %0) nounwind
411 ; Trivial retain,release pair with intervening call, but it's dominated
412 ; by another retain - delete!
414 ; CHECK: define void @test12(
416 ; CHECK-NEXT: @objc_retain(i8* %x)
419 define void @test12(i8* %x, i64 %n) {
421 call i8* @objc_retain(i8* %x) nounwind
422 call i8* @objc_retain(i8* %x) nounwind
423 call void @use_pointer(i8* %x)
424 call void @use_pointer(i8* %x)
425 call void @objc_release(i8* %x) nounwind
429 ; Trivial retain,autorelease pair. Don't delete!
431 ; CHECK: define void @test13(
432 ; CHECK: tail call i8* @objc_retain(i8* %x) nounwind
433 ; CHECK: tail call i8* @objc_retain(i8* %x) nounwind
434 ; CHECK: @use_pointer(i8* %x)
435 ; CHECK: tail call i8* @objc_autorelease(i8* %x) nounwind
437 define void @test13(i8* %x, i64 %n) {
439 call i8* @objc_retain(i8* %x) nounwind
440 call i8* @objc_retain(i8* %x) nounwind
441 call void @use_pointer(i8* %x)
442 call i8* @objc_autorelease(i8* %x) nounwind
446 ; Delete the retain+release pair.
448 ; CHECK: define void @test13b
450 ; CHECK-NEXT: @objc_retain(i8* %x)
451 ; CHECK-NEXT: @use_pointer
452 ; CHECK-NEXT: @use_pointer
453 ; CHECK-NEXT: ret void
454 define void @test13b(i8* %x, i64 %n) {
456 call i8* @objc_retain(i8* %x) nounwind
457 call i8* @objc_retain(i8* %x) nounwind
458 call void @use_pointer(i8* %x)
459 call void @use_pointer(i8* %x)
460 call void @objc_release(i8* %x) nounwind
464 ; Don't delete the retain+release pair because there's an
465 ; autoreleasePoolPop in the way.
467 ; CHECK: define void @test13c
468 ; CHECK: @objc_retain(i8* %x)
469 ; CHECK: @objc_autoreleasePoolPop
470 ; CHECK: @objc_retain(i8* %x)
471 ; CHECK: @use_pointer
472 ; CHECK: @objc_release
474 define void @test13c(i8* %x, i64 %n) {
476 call i8* @objc_retain(i8* %x) nounwind
477 call void @objc_autoreleasePoolPop(i8* undef)
478 call i8* @objc_retain(i8* %x) nounwind
479 call void @use_pointer(i8* %x)
480 call void @use_pointer(i8* %x)
481 call void @objc_release(i8* %x) nounwind
485 ; Like test13c, but there's an autoreleasePoolPush in the way, but that
488 ; CHECK: define void @test13d
490 ; CHECK-NEXT: @objc_retain(i8* %x)
491 ; CHECK-NEXT: @objc_autoreleasePoolPush
492 ; CHECK-NEXT: @use_pointer
493 ; CHECK-NEXT: @use_pointer
494 ; CHECK-NEXT: ret void
495 define void @test13d(i8* %x, i64 %n) {
497 call i8* @objc_retain(i8* %x) nounwind
498 call void @objc_autoreleasePoolPush()
499 call i8* @objc_retain(i8* %x) nounwind
500 call void @use_pointer(i8* %x)
501 call void @use_pointer(i8* %x)
502 call void @objc_release(i8* %x) nounwind
506 ; Trivial retain,release pair with intervening call, but it's post-dominated
507 ; by another release - delete!
509 ; CHECK: define void @test14(
511 ; CHECK-NEXT: @use_pointer
512 ; CHECK-NEXT: @use_pointer
513 ; CHECK-NEXT: @objc_release
514 ; CHECK-NEXT: ret void
516 define void @test14(i8* %x, i64 %n) {
518 call i8* @objc_retain(i8* %x) nounwind
519 call void @use_pointer(i8* %x)
520 call void @use_pointer(i8* %x)
521 call void @objc_release(i8* %x) nounwind
522 call void @objc_release(i8* %x) nounwind
526 ; Trivial retain,autorelease pair with intervening call, but it's post-dominated
527 ; by another release. Don't delete anything.
529 ; CHECK: define void @test15(
531 ; CHECK-NEXT: @objc_retain(i8* %x)
532 ; CHECK-NEXT: @use_pointer
533 ; CHECK-NEXT: @objc_autorelease(i8* %x)
534 ; CHECK-NEXT: @objc_release
535 ; CHECK-NEXT: ret void
537 define void @test15(i8* %x, i64 %n) {
539 call i8* @objc_retain(i8* %x) nounwind
540 call void @use_pointer(i8* %x)
541 call i8* @objc_autorelease(i8* %x) nounwind
542 call void @objc_release(i8* %x) nounwind
546 ; Trivial retain,autorelease pair, post-dominated
547 ; by another release. Delete the retain and release.
549 ; CHECK: define void @test15b
551 ; CHECK-NEXT: @objc_autorelease
552 ; CHECK-NEXT: ret void
554 define void @test15b(i8* %x, i64 %n) {
556 call i8* @objc_retain(i8* %x) nounwind
557 call i8* @objc_autorelease(i8* %x) nounwind
558 call void @objc_release(i8* %x) nounwind
562 ; Retain+release pairs in diamonds, all dominated by a retain.
564 ; CHECK: define void @test16(
565 ; CHECK: @objc_retain(i8* %x)
568 define void @test16(i1 %a, i1 %b, i8* %x) {
570 call i8* @objc_retain(i8* %x) nounwind
571 br i1 %a, label %red, label %orange
574 call i8* @objc_retain(i8* %x) nounwind
578 call i8* @objc_retain(i8* %x) nounwind
582 call void @use_pointer(i8* %x)
583 call void @use_pointer(i8* %x)
584 br i1 %b, label %green, label %blue
587 call void @objc_release(i8* %x) nounwind
591 call void @objc_release(i8* %x) nounwind
598 ; Retain+release pairs in diamonds, all post-dominated by a release.
600 ; CHECK: define void @test17(
603 ; CHECK: @objc_release
605 define void @test17(i1 %a, i1 %b, i8* %x) {
607 br i1 %a, label %red, label %orange
610 call i8* @objc_retain(i8* %x) nounwind
614 call i8* @objc_retain(i8* %x) nounwind
618 call void @use_pointer(i8* %x)
619 call void @use_pointer(i8* %x)
620 br i1 %b, label %green, label %blue
623 call void @objc_release(i8* %x) nounwind
627 call void @objc_release(i8* %x) nounwind
631 call void @objc_release(i8* %x) nounwind
637 ; CHECK: define void @test18(
640 define void @test18() {
641 call i8* @objc_retain(i8* null)
642 call void @objc_release(i8* null)
643 call i8* @objc_autorelease(i8* null)
647 ; Delete no-ops where undef can be assumed to be null.
649 ; CHECK: define void @test18b
652 define void @test18b() {
653 call i8* @objc_retain(i8* undef)
654 call void @objc_release(i8* undef)
655 call i8* @objc_autorelease(i8* undef)
659 ; Replace uses of arguments with uses of return values, to reduce
662 ; CHECK: define void @test19(i32* %y) {
663 ; CHECK: %z = bitcast i32* %y to i8*
664 ; CHECK: %0 = bitcast i32* %y to i8*
665 ; CHECK: %1 = tail call i8* @objc_retain(i8* %0)
666 ; CHECK: call void @use_pointer(i8* %z)
667 ; CHECK: call void @use_pointer(i8* %z)
668 ; CHECK: %2 = bitcast i32* %y to i8*
669 ; CHECK: call void @objc_release(i8* %2)
672 define void @test19(i32* %y) {
674 %x = bitcast i32* %y to i8*
675 %0 = call i8* @objc_retain(i8* %x) nounwind
676 %z = bitcast i32* %y to i8*
677 call void @use_pointer(i8* %z)
678 call void @use_pointer(i8* %z)
679 call void @objc_release(i8* %x)
685 ; CHECK: define void @test20(
686 ; CHECK: %tmp1 = tail call i8* @objc_retain(i8* %tmp) nounwind
688 define void @test20(double* %self) {
690 %tmp = bitcast double* %self to i8*
691 %tmp1 = call i8* @objc_retain(i8* %tmp) nounwind
692 invoke void @invokee()
693 to label %invoke.cont23 unwind label %lpad20
695 invoke.cont23: ; preds = %if.then12
696 invoke void @invokee()
697 to label %if.end unwind label %lpad20
699 lpad20: ; preds = %invoke.cont23, %if.then12
700 %tmp502 = phi double* [ undef, %invoke.cont23 ], [ %self, %if.then12 ]
703 if.end: ; preds = %invoke.cont23
707 ; Delete a redundant retain,autorelease when forwaring a call result
708 ; directly to a return value.
710 ; CHECK: define i8* @test21(
711 ; CHECK: call i8* @returner()
712 ; CHECK-NEXT: ret i8* %call
713 define i8* @test21() {
715 %call = call i8* @returner()
716 %0 = call i8* @objc_retain(i8* %call) nounwind
717 %1 = call i8* @objc_autorelease(i8* %0) nounwind
721 ; Move an objc call up through a phi that has null operands.
723 ; CHECK: define void @test22(
725 ; CHECK: %1 = bitcast double* %p to i8*
726 ; CHECK: call void @objc_release(i8* %1)
728 ; CHECK: C: ; preds = %B, %A
729 ; CHECK-NOT: @objc_release
731 define void @test22(double* %p, i1 %a) {
732 br i1 %a, label %A, label %B
738 %h = phi double* [ null, %A ], [ %p, %B ]
739 %c = bitcast double* %h to i8*
740 call void @objc_release(i8* %c)
744 ; Optimize objc_retainBlock.
746 ; CHECK: define void @test23(
749 %block0 = type { i64, i64, i8*, i8* }
750 %block1 = type { i8**, i32, i32, i32 (%struct.__block_literal_1*)*, %block0* }
751 %struct.__block_descriptor = type { i64, i64 }
752 %struct.__block_literal_1 = type { i8**, i32, i32, i8**, %struct.__block_descriptor* }
753 @__block_holder_tmp_1 = external constant %block1
754 define void @test23() {
756 %0 = call i8* @objc_retainBlock(i8* bitcast (%block1* @__block_holder_tmp_1 to i8*)) nounwind
757 call void @bar(i32 ()* bitcast (%block1* @__block_holder_tmp_1 to i32 ()*))
758 call void @bar(i32 ()* bitcast (%block1* @__block_holder_tmp_1 to i32 ()*))
759 call void @objc_release(i8* bitcast (%block1* @__block_holder_tmp_1 to i8*)) nounwind
763 ; Don't optimize objc_retainBlock.
765 ; CHECK: define void @test23b
766 ; CHECK: @objc_retainBlock
767 ; CHECK: @objc_release
769 define void @test23b(i8* %p) {
771 %0 = call i8* @objc_retainBlock(i8* %p) nounwind
773 call void @use_pointer(i8* %p)
774 call void @objc_release(i8* %p) nounwind
778 ; Any call can decrement a retain count.
780 ; CHECK: define void @test24(
781 ; CHECK: @objc_retain(i8* %a)
782 ; CHECK: @objc_release
784 define void @test24(i8* %r, i8* %a) {
785 call i8* @objc_retain(i8* %a)
786 call void @use_pointer(i8* %r)
788 call void @objc_release(i8* %a)
792 ; Don't move a retain/release pair if the release can be moved
793 ; but the retain can't be moved to balance it.
795 ; CHECK: define void @test25(
797 ; CHECK: call i8* @objc_retain(i8* %p)
800 ; CHECK: call void @objc_release(i8* %p)
802 define void @test25(i8* %p, i1 %x) {
804 %f0 = call i8* @objc_retain(i8* %p)
806 br i1 %x, label %true, label %done
813 call void @objc_release(i8* %p)
817 ; Don't move a retain/release pair if the retain can be moved
818 ; but the release can't be moved to balance it.
820 ; CHECK: define void @test26(
822 ; CHECK: call i8* @objc_retain(i8* %p)
825 ; CHECK: call void @objc_release(i8* %p)
827 define void @test26(i8* %p, i1 %x) {
829 %f0 = call i8* @objc_retain(i8* %p)
830 br i1 %x, label %true, label %done
838 call void @objc_release(i8* %p)
842 ; Don't sink the retain,release into the loop.
844 ; CHECK: define void @test27(
846 ; CHECK: call i8* @objc_retain(i8* %p)
850 ; CHECK: call void @objc_release
852 define void @test27(i8* %p, i1 %x, i1 %y) {
854 %f0 = call i8* @objc_retain(i8* %p)
855 br i1 %x, label %loop, label %done
860 br i1 %y, label %done, label %loop
863 call void @objc_release(i8* %p)
867 ; Trivial code motion case: Triangle.
869 ; CHECK: define void @test28(
872 ; CHECK: call i8* @objc_retain(
873 ; CHECK: call void @callee()
875 ; CHECK: call void @objc_release
879 define void @test28(i8* %p, i1 %x) {
881 %f0 = call i8* @objc_retain(i8* %p)
882 br i1 %x, label %true, label %done
890 call void @objc_release(i8* %p), !clang.imprecise_release !0
894 ; Trivial code motion case: Triangle, but no metadata. Don't move past
895 ; unrelated memory references!
897 ; CHECK: define void @test28b
898 ; CHECK: call i8* @objc_retain(
901 ; CHECK: call void @callee()
906 ; CHECK: @objc_release
908 define void @test28b(i8* %p, i1 %x, i8* noalias %t) {
910 %f0 = call i8* @objc_retain(i8* %p)
911 br i1 %x, label %true, label %done
920 call void @objc_release(i8* %p)
924 ; Trivial code motion case: Triangle, with metadata. Do move past
925 ; unrelated memory references! And preserve the metadata.
927 ; CHECK: define void @test28c
930 ; CHECK: call i8* @objc_retain(
931 ; CHECK: call void @callee()
933 ; CHECK: call void @objc_release(i8* %p) nounwind, !clang.imprecise_release
937 define void @test28c(i8* %p, i1 %x, i8* noalias %t) {
939 %f0 = call i8* @objc_retain(i8* %p)
940 br i1 %x, label %true, label %done
949 call void @objc_release(i8* %p), !clang.imprecise_release !0
953 ; Like test28. but with two releases.
955 ; CHECK: define void @test29(
958 ; CHECK: call i8* @objc_retain(
959 ; CHECK: call void @callee()
961 ; CHECK: call void @objc_release
962 ; CHECK-NOT: @objc_release
968 define void @test29(i8* %p, i1 %x, i1 %y) {
970 %f0 = call i8* @objc_retain(i8* %p)
971 br i1 %x, label %true, label %done
976 br i1 %y, label %done, label %ohno
979 call void @objc_release(i8* %p)
983 call void @objc_release(i8* %p)
987 ; Basic case with the use and call in a diamond
988 ; with an extra release.
990 ; CHECK: define void @test30(
993 ; CHECK: call i8* @objc_retain(
994 ; CHECK: call void @callee()
996 ; CHECK: call void @objc_release
997 ; CHECK-NOT: @objc_release
1005 define void @test30(i8* %p, i1 %x, i1 %y, i1 %z) {
1007 %f0 = call i8* @objc_retain(i8* %p)
1008 br i1 %x, label %true, label %false
1013 br i1 %y, label %done, label %ohno
1016 br i1 %z, label %done, label %ohno
1019 call void @objc_release(i8* %p)
1023 call void @objc_release(i8* %p)
1027 ; Basic case with a mergeable release.
1029 ; CHECK: define void @test31(
1030 ; CHECK: call i8* @objc_retain(i8* %p)
1031 ; CHECK: call void @callee()
1033 ; CHECK: call void @objc_release
1034 ; CHECK-NOT: @objc_release
1036 ; CHECK-NOT: @objc_release
1038 ; CHECK-NOT: @objc_release
1040 ; CHECK-NOT: @objc_release
1042 define void @test31(i8* %p, i1 %x) {
1044 %f0 = call i8* @objc_retain(i8* %p)
1047 br i1 %x, label %true, label %false
1049 call void @objc_release(i8* %p)
1052 call void @objc_release(i8* %p)
1056 ; Don't consider bitcasts or getelementptrs direct uses.
1058 ; CHECK: define void @test32(
1061 ; CHECK: call i8* @objc_retain(
1062 ; CHECK: call void @callee()
1064 ; CHECK: call void @objc_release
1068 define void @test32(i8* %p, i1 %x) {
1070 %f0 = call i8* @objc_retain(i8* %p)
1071 br i1 %x, label %true, label %done
1079 %g = bitcast i8* %p to i8*
1080 %h = getelementptr i8* %g, i64 0
1081 call void @objc_release(i8* %g)
1085 ; Do consider icmps to be direct uses.
1087 ; CHECK: define void @test33(
1090 ; CHECK: call i8* @objc_retain(
1091 ; CHECK: call void @callee()
1093 ; CHECK: call void @objc_release
1097 define void @test33(i8* %p, i1 %x, i8* %y) {
1099 %f0 = call i8* @objc_retain(i8* %p)
1100 br i1 %x, label %true, label %done
1104 %v = icmp eq i8* %p, %y
1108 %g = bitcast i8* %p to i8*
1109 %h = getelementptr i8* %g, i64 0
1110 call void @objc_release(i8* %g)
1114 ; Delete retain,release if there's just a possible dec.
1116 ; CHECK: define void @test34(
1119 define void @test34(i8* %p, i1 %x, i8* %y) {
1121 %f0 = call i8* @objc_retain(i8* %p)
1122 br i1 %x, label %true, label %done
1129 %g = bitcast i8* %p to i8*
1130 %h = getelementptr i8* %g, i64 0
1131 call void @objc_release(i8* %g)
1135 ; Delete retain,release if there's just a use.
1137 ; CHECK: define void @test35(
1140 define void @test35(i8* %p, i1 %x, i8* %y) {
1142 %f0 = call i8* @objc_retain(i8* %p)
1143 br i1 %x, label %true, label %done
1146 %v = icmp eq i8* %p, %y
1150 %g = bitcast i8* %p to i8*
1151 %h = getelementptr i8* %g, i64 0
1152 call void @objc_release(i8* %g)
1156 ; Delete a retain,release if there's no actual use.
1158 ; CHECK: define void @test36(
1160 ; CHECK: call void @callee()
1162 ; CHECK: call void @callee()
1165 define void @test36(i8* %p) {
1167 call i8* @objc_retain(i8* %p)
1170 call void @objc_release(i8* %p)
1174 ; Like test36, but with metadata.
1176 ; CHECK: define void @test37(
1179 define void @test37(i8* %p) {
1181 call i8* @objc_retain(i8* %p)
1184 call void @objc_release(i8* %p), !clang.imprecise_release !0
1188 ; Be aggressive about analyzing phis to eliminate possible uses.
1190 ; CHECK: define void @test38(
1193 define void @test38(i8* %p, i1 %u, i1 %m, i8* %z, i8* %y, i8* %x, i8* %w) {
1195 call i8* @objc_retain(i8* %p)
1196 br i1 %u, label %true, label %false
1198 br i1 %m, label %a, label %b
1200 br i1 %m, label %c, label %d
1210 %j = phi i8* [ %z, %a ], [ %y, %b ]
1213 %k = phi i8* [ %w, %c ], [ %x, %d ]
1216 %h = phi i8* [ %j, %e ], [ %k, %f ]
1217 call void @use_pointer(i8* %h)
1218 call void @objc_release(i8* %p), !clang.imprecise_release !0
1222 ; Delete retain,release pairs around loops.
1224 ; CHECK: define void @test39(
1227 define void @test39(i8* %p) {
1229 %0 = call i8* @objc_retain(i8* %p)
1232 loop: ; preds = %loop, %entry
1233 br i1 undef, label %loop, label %exit
1235 exit: ; preds = %loop
1236 call void @objc_release(i8* %0), !clang.imprecise_release !0
1240 ; Delete retain,release pairs around loops containing uses.
1242 ; CHECK: define void @test39b(
1245 define void @test39b(i8* %p) {
1247 %0 = call i8* @objc_retain(i8* %p)
1250 loop: ; preds = %loop, %entry
1252 br i1 undef, label %loop, label %exit
1254 exit: ; preds = %loop
1255 call void @objc_release(i8* %0), !clang.imprecise_release !0
1259 ; Delete retain,release pairs around loops containing potential decrements.
1261 ; CHECK: define void @test39c(
1264 define void @test39c(i8* %p) {
1266 %0 = call i8* @objc_retain(i8* %p)
1269 loop: ; preds = %loop, %entry
1270 call void @use_pointer(i8* %0)
1271 br i1 undef, label %loop, label %exit
1273 exit: ; preds = %loop
1274 call void @objc_release(i8* %0), !clang.imprecise_release !0
1278 ; Delete retain,release pairs around loops even if
1279 ; the successors are in a different order.
1281 ; CHECK: define void @test40(
1284 define void @test40(i8* %p) {
1286 %0 = call i8* @objc_retain(i8* %p)
1289 loop: ; preds = %loop, %entry
1290 call void @use_pointer(i8* %0)
1291 br i1 undef, label %exit, label %loop
1293 exit: ; preds = %loop
1294 call void @objc_release(i8* %0), !clang.imprecise_release !0
1298 ; Do the known-incremented retain+release elimination even if the pointer
1299 ; is also autoreleased.
1301 ; CHECK: define void @test42(
1302 ; CHECK-NEXT: entry:
1303 ; CHECK-NEXT: call i8* @objc_retain(i8* %p)
1304 ; CHECK-NEXT: call i8* @objc_autorelease(i8* %p)
1305 ; CHECK-NEXT: call void @use_pointer(i8* %p)
1306 ; CHECK-NEXT: call void @use_pointer(i8* %p)
1307 ; CHECK-NEXT: ret void
1309 define void @test42(i8* %p) {
1311 call i8* @objc_retain(i8* %p)
1312 call i8* @objc_autorelease(i8* %p)
1313 call i8* @objc_retain(i8* %p)
1314 call void @use_pointer(i8* %p)
1315 call void @use_pointer(i8* %p)
1316 call void @objc_release(i8* %p)
1320 ; Don't the known-incremented retain+release elimination if the pointer is
1321 ; autoreleased and there's an autoreleasePoolPop.
1323 ; CHECK: define void @test43(
1324 ; CHECK-NEXT: entry:
1325 ; CHECK-NEXT: call i8* @objc_retain(i8* %p)
1326 ; CHECK-NEXT: call i8* @objc_autorelease(i8* %p)
1327 ; CHECK-NEXT: call i8* @objc_retain
1328 ; CHECK-NEXT: call void @use_pointer(i8* %p)
1329 ; CHECK-NEXT: call void @use_pointer(i8* %p)
1330 ; CHECK-NEXT: call void @objc_autoreleasePoolPop(i8* undef)
1331 ; CHECK-NEXT: call void @objc_release
1332 ; CHECK-NEXT: ret void
1334 define void @test43(i8* %p) {
1336 call i8* @objc_retain(i8* %p)
1337 call i8* @objc_autorelease(i8* %p)
1338 call i8* @objc_retain(i8* %p)
1339 call void @use_pointer(i8* %p)
1340 call void @use_pointer(i8* %p)
1341 call void @objc_autoreleasePoolPop(i8* undef)
1342 call void @objc_release(i8* %p)
1346 ; Do the known-incremented retain+release elimination if the pointer is
1347 ; autoreleased and there's an autoreleasePoolPush.
1349 ; CHECK: define void @test43b
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: call void @objc_autoreleasePoolPush()
1356 ; CHECK-NEXT: ret void
1358 define void @test43b(i8* %p) {
1360 call i8* @objc_retain(i8* %p)
1361 call i8* @objc_autorelease(i8* %p)
1362 call i8* @objc_retain(i8* %p)
1363 call void @use_pointer(i8* %p)
1364 call void @use_pointer(i8* %p)
1365 call void @objc_autoreleasePoolPush()
1366 call void @objc_release(i8* %p)
1370 ; Do retain+release elimination for non-provenance pointers.
1372 ; CHECK: define void @test44(
1375 define void @test44(i8** %pp) {
1377 %q = call i8* @objc_retain(i8* %p)
1378 call void @objc_release(i8* %q)
1382 ; Don't delete retain+release with an unknown-provenance
1383 ; may-alias objc_release between them.
1385 ; CHECK: define void @test45(
1386 ; CHECK: call i8* @objc_retain(i8* %p)
1387 ; CHECK: call void @objc_release(i8* %q)
1388 ; CHECK: call void @use_pointer(i8* %p)
1389 ; CHECK: call void @objc_release(i8* %p)
1390 define void @test45(i8** %pp, i8** %qq) {
1393 call i8* @objc_retain(i8* %p)
1394 call void @objc_release(i8* %q)
1395 call void @use_pointer(i8* %p)
1396 call void @objc_release(i8* %p)
1400 ; Don't delete retain and autorelease here.
1402 ; CHECK: define void @test46(
1403 ; CHECK: tail call i8* @objc_retain(i8* %p) nounwind
1405 ; CHECK: tail call i8* @objc_autorelease(i8* %p) nounwind
1406 define void @test46(i8* %p, i1 %a) {
1408 call i8* @objc_retain(i8* %p)
1409 br i1 %a, label %true, label %false
1412 call i8* @objc_autorelease(i8* %p)
1413 call void @use_pointer(i8* %p)
1420 ; Delete no-op cast calls.
1422 ; CHECK: define i8* @test47(
1425 define i8* @test47(i8* %p) nounwind {
1426 %x = call i8* @objc_retainedObject(i8* %p)
1430 ; Delete no-op cast calls.
1432 ; CHECK: define i8* @test48(
1435 define i8* @test48(i8* %p) nounwind {
1436 %x = call i8* @objc_unretainedObject(i8* %p)
1440 ; Delete no-op cast calls.
1442 ; CHECK: define i8* @test49(
1445 define i8* @test49(i8* %p) nounwind {
1446 %x = call i8* @objc_unretainedPointer(i8* %p)
1450 ; Do delete retain+release with intervening stores of the
1453 ; CHECK: define void @test50(
1456 define void @test50(i8* %p, i8** %pp) {
1457 call i8* @objc_retain(i8* %p)
1459 store i8* %p, i8** %pp
1460 call void @objc_release(i8* %p)
1464 ; Don't delete retain+release with intervening stores through the
1467 ; CHECK: define void @test51(
1468 ; CHECK: call i8* @objc_retain(i8* %p)
1469 ; CHECK: call void @objc_release(i8* %p)
1470 define void @test51(i8* %p) {
1471 call i8* @objc_retain(i8* %p)
1474 call void @objc_release(i8* %p)
1478 ; Don't delete retain+release with intervening use of a pointer of
1479 ; unknown provenance.
1481 ; CHECK: define void @test52(
1482 ; CHECK: call i8* @objc_retain
1483 ; CHECK: call void @callee()
1484 ; CHECK: call void @use_pointer(i8* %z)
1485 ; CHECK: call void @objc_release
1486 define void @test52(i8** %zz, i8** %pp) {
1488 %1 = call i8* @objc_retain(i8* %p)
1491 call void @use_pointer(i8* %z)
1492 call void @objc_release(i8* %p)
1496 ; Like test52, but the pointer has function type, so it's assumed to
1497 ; be not reference counted.
1499 ; CHECK: define void @test53(
1502 define void @test53(void ()** %zz, i8** %pp) {
1504 %1 = call i8* @objc_retain(i8* %p)
1506 %z = load void ()** %zz
1507 call void @callee_fnptr(void ()* %z)
1508 call void @objc_release(i8* %p)
1512 ; Convert autorelease to release if the value is unused.
1514 ; CHECK: define void @test54(
1515 ; CHECK: call i8* @returner()
1516 ; CHECK-NEXT: call void @objc_release(i8* %t) nounwind, !clang.imprecise_release !0
1517 ; CHECK-NEXT: ret void
1518 define void @test54() {
1519 %t = call i8* @returner()
1520 call i8* @objc_autorelease(i8* %t)
1524 ; Nested retain+release pairs. Delete them both.
1526 ; CHECK: define void @test55(
1529 define void @test55(i8* %x) {
1531 %0 = call i8* @objc_retain(i8* %x) nounwind
1532 %1 = call i8* @objc_retain(i8* %x) nounwind
1533 call void @objc_release(i8* %x) nounwind
1534 call void @objc_release(i8* %x) nounwind
1538 ; Nested retain+release pairs where the inner pair depends
1539 ; on the outer pair to be removed, and then the outer pair
1540 ; can be partially eliminated. Plus an extra outer pair to
1541 ; eliminate, for fun.
1543 ; CHECK: define void @test56(
1546 ; CHECK-NEXT: %0 = tail call i8* @objc_retain(i8* %x) nounwind
1547 ; CHECK-NEXT: tail call void @use_pointer(i8* %x)
1548 ; CHECK-NEXT: tail call void @use_pointer(i8* %x)
1549 ; CHECK-NEXT: tail call void @objc_release(i8* %x) nounwind, !clang.imprecise_release !0
1550 ; CHECK-NEXT: br label %if.end
1553 define void @test56(i8* %x, i32 %n) {
1555 %0 = tail call i8* @objc_retain(i8* %x) nounwind
1556 %1 = tail call i8* @objc_retain(i8* %0) nounwind
1557 %tobool = icmp eq i32 %n, 0
1558 br i1 %tobool, label %if.end, label %if.then
1560 if.then: ; preds = %entry
1561 %2 = tail call i8* @objc_retain(i8* %1) nounwind
1562 tail call void @use_pointer(i8* %2)
1563 tail call void @use_pointer(i8* %2)
1564 tail call void @objc_release(i8* %2) nounwind, !clang.imprecise_release !0
1567 if.end: ; preds = %entry, %if.then
1568 tail call void @objc_release(i8* %1) nounwind, !clang.imprecise_release !0
1569 tail call void @objc_release(i8* %0) nounwind, !clang.imprecise_release !0
1573 ; When there are adjacent retain+release pairs, the first one is
1574 ; known unnecessary because the presence of the second one means that
1575 ; the first one won't be deleting the object.
1577 ; CHECK: define void @test57(
1578 ; CHECK-NEXT: entry:
1579 ; CHECK-NEXT: call void @use_pointer(i8* %x)
1580 ; CHECK-NEXT: call void @use_pointer(i8* %x)
1581 ; CHECK-NEXT: %0 = tail call i8* @objc_retain(i8* %x) nounwind
1582 ; CHECK-NEXT: call void @use_pointer(i8* %x)
1583 ; CHECK-NEXT: call void @use_pointer(i8* %x)
1584 ; CHECK-NEXT: call void @objc_release(i8* %x) nounwind
1585 ; CHECK-NEXT: ret void
1587 define void @test57(i8* %x) nounwind {
1589 call i8* @objc_retain(i8* %x) nounwind
1590 call void @use_pointer(i8* %x)
1591 call void @use_pointer(i8* %x)
1592 call void @objc_release(i8* %x) nounwind
1593 call i8* @objc_retain(i8* %x) nounwind
1594 call void @use_pointer(i8* %x)
1595 call void @use_pointer(i8* %x)
1596 call void @objc_release(i8* %x) nounwind
1600 ; An adjacent retain+release pair is sufficient even if it will be
1603 ; CHECK: define void @test58(
1604 ; CHECK-NEXT: entry:
1605 ; CHECK-NEXT: call void @use_pointer(i8* %x)
1606 ; CHECK-NEXT: call void @use_pointer(i8* %x)
1607 ; CHECK-NEXT: ret void
1609 define void @test58(i8* %x) nounwind {
1611 call i8* @objc_retain(i8* %x) nounwind
1612 call void @use_pointer(i8* %x)
1613 call void @use_pointer(i8* %x)
1614 call void @objc_release(i8* %x) nounwind
1615 call i8* @objc_retain(i8* %x) nounwind
1616 call void @objc_release(i8* %x) nounwind
1620 ; Don't delete the second retain+release pair in an adjacent set.
1622 ; CHECK: define void @test59(
1623 ; CHECK-NEXT: entry:
1624 ; CHECK-NEXT: %0 = tail call i8* @objc_retain(i8* %x) nounwind
1625 ; CHECK-NEXT: call void @use_pointer(i8* %x)
1626 ; CHECK-NEXT: call void @use_pointer(i8* %x)
1627 ; CHECK-NEXT: call void @objc_release(i8* %x) nounwind
1628 ; CHECK-NEXT: ret void
1630 define void @test59(i8* %x) nounwind {
1632 %a = call i8* @objc_retain(i8* %x) nounwind
1633 call void @objc_release(i8* %x) nounwind
1634 %b = call i8* @objc_retain(i8* %x) nounwind
1635 call void @use_pointer(i8* %x)
1636 call void @use_pointer(i8* %x)
1637 call void @objc_release(i8* %x) nounwind
1641 declare void @bar(i32 ()*)
1643 ; A few real-world testcases.
1645 @.str4 = private unnamed_addr constant [33 x i8] c"-[A z] = { %f, %f, { %f, %f } }\0A\00"
1646 @"OBJC_IVAR_$_A.myZ" = global i64 20, section "__DATA, __objc_const", align 8
1647 declare i32 @printf(i8* nocapture, ...) nounwind
1648 declare i32 @puts(i8* nocapture) nounwind
1649 @str = internal constant [16 x i8] c"-[ Top0 _getX ]\00"
1651 ; CHECK: @"\01-[A z]"
1655 define {<2 x float>, <2 x float>} @"\01-[A z]"({}* %self, i8* nocapture %_cmd) nounwind {
1657 %0 = bitcast {}* %self to i8*
1658 %1 = tail call i8* @objc_retain(i8* %0) nounwind
1659 tail call void @llvm.dbg.value(metadata !{{}* %self}, i64 0, metadata !0)
1660 tail call void @llvm.dbg.value(metadata !{{}* %self}, i64 0, metadata !0)
1661 %ivar = load i64* @"OBJC_IVAR_$_A.myZ", align 8
1662 %add.ptr = getelementptr i8* %0, i64 %ivar
1663 %tmp1 = bitcast i8* %add.ptr to float*
1664 %tmp2 = load float* %tmp1, align 4
1665 %conv = fpext float %tmp2 to double
1666 %add.ptr.sum = add i64 %ivar, 4
1667 %tmp6 = getelementptr inbounds i8* %0, i64 %add.ptr.sum
1668 %2 = bitcast i8* %tmp6 to float*
1669 %tmp7 = load float* %2, align 4
1670 %conv8 = fpext float %tmp7 to double
1671 %add.ptr.sum36 = add i64 %ivar, 8
1672 %tmp12 = getelementptr inbounds i8* %0, i64 %add.ptr.sum36
1673 %arrayidx = bitcast i8* %tmp12 to float*
1674 %tmp13 = load float* %arrayidx, align 4
1675 %conv14 = fpext float %tmp13 to double
1676 %tmp12.sum = add i64 %ivar, 12
1677 %arrayidx19 = getelementptr inbounds i8* %0, i64 %tmp12.sum
1678 %3 = bitcast i8* %arrayidx19 to float*
1679 %tmp20 = load float* %3, align 4
1680 %conv21 = fpext float %tmp20 to double
1681 %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)
1682 %ivar23 = load i64* @"OBJC_IVAR_$_A.myZ", align 8
1683 %add.ptr24 = getelementptr i8* %0, i64 %ivar23
1684 %4 = bitcast i8* %add.ptr24 to i128*
1685 %srcval = load i128* %4, align 4
1686 tail call void @objc_release(i8* %0) nounwind
1687 %tmp29 = trunc i128 %srcval to i64
1688 %tmp30 = bitcast i64 %tmp29 to <2 x float>
1689 %tmp31 = insertvalue {<2 x float>, <2 x float>} undef, <2 x float> %tmp30, 0
1690 %tmp32 = lshr i128 %srcval, 64
1691 %tmp33 = trunc i128 %tmp32 to i64
1692 %tmp34 = bitcast i64 %tmp33 to <2 x float>
1693 %tmp35 = insertvalue {<2 x float>, <2 x float>} %tmp31, <2 x float> %tmp34, 1
1694 ret {<2 x float>, <2 x float>} %tmp35
1697 ; CHECK: @"\01-[Top0 _getX]"
1701 define i32 @"\01-[Top0 _getX]"({}* %self, i8* nocapture %_cmd) nounwind {
1703 %0 = bitcast {}* %self to i8*
1704 %1 = tail call i8* @objc_retain(i8* %0) nounwind
1705 %puts = tail call i32 @puts(i8* getelementptr inbounds ([16 x i8]* @str, i64 0, i64 0))
1706 tail call void @objc_release(i8* %0) nounwind
1710 @"\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"
1711 @"\01L_OBJC_IMAGE_INFO" = internal constant [2 x i32] [i32 0, i32 16], section "__DATA, __objc_imageinfo, regular, no_dead_strip"
1712 @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"
1714 ; A simple loop. Eliminate the retain and release inside of it!
1716 ; CHECK: define void @loop
1719 ; CHECK: @objc_msgSend
1722 define void @loop(i8* %x, i64 %n) {
1724 %0 = tail call i8* @objc_retain(i8* %x) nounwind
1725 %cmp9 = icmp sgt i64 %n, 0
1726 br i1 %cmp9, label %for.body, label %for.end
1728 for.body: ; preds = %entry, %for.body
1729 %i.010 = phi i64 [ %inc, %for.body ], [ 0, %entry ]
1730 %1 = tail call i8* @objc_retain(i8* %x) nounwind
1731 %tmp5 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_", align 8
1732 %call = tail call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %1, i8* %tmp5)
1733 tail call void @objc_release(i8* %1) nounwind, !clang.imprecise_release !0
1734 %inc = add nsw i64 %i.010, 1
1735 %exitcond = icmp eq i64 %inc, %n
1736 br i1 %exitcond, label %for.end, label %for.body
1738 for.end: ; preds = %for.body, %entry
1739 tail call void @objc_release(i8* %x) nounwind, !clang.imprecise_release !0
1743 ; ObjCARCOpt can delete the retain,release on self.
1745 ; CHECK: define void @TextEditTest
1746 ; CHECK-NOT: call i8* @objc_retain(i8* %tmp7)
1749 %0 = type { i8* (i8*, %struct._message_ref_t*, ...)*, i8* }
1755 %struct.NSConstantString = type { i32*, i32, i8*, i64 }
1756 %struct._NSRange = type { i64, i64 }
1757 %struct.__CFString = type opaque
1758 %struct.__method_list_t = type { i32, i32, [0 x %struct._objc_method] }
1759 %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* }
1760 %struct._class_t = type { %struct._class_t*, %struct._class_t*, %struct._objc_cache*, i8* (i8*, i8*)**, %struct._class_ro_t* }
1761 %struct._ivar_list_t = type { i32, i32, [0 x %struct._ivar_t] }
1762 %struct._ivar_t = type { i64*, i8*, i8*, i32, i32 }
1763 %struct._message_ref_t = type { i8*, i8* }
1764 %struct._objc_cache = type opaque
1765 %struct._objc_method = type { i8*, i8*, i8* }
1766 %struct._objc_protocol_list = type { i64, [0 x %struct._protocol_t*] }
1767 %struct._prop_list_t = type { i32, i32, [0 x %struct._message_ref_t] }
1768 %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 }
1770 @"\01L_OBJC_CLASSLIST_REFERENCES_$_17" = external hidden global %struct._class_t*, section "__DATA, __objc_classrefs, regular, no_dead_strip", align 8
1771 @kUTTypePlainText = external constant %struct.__CFString*
1772 @"\01L_OBJC_SELECTOR_REFERENCES_19" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1773 @"\01L_OBJC_SELECTOR_REFERENCES_21" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1774 @"\01L_OBJC_SELECTOR_REFERENCES_23" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1775 @"\01L_OBJC_SELECTOR_REFERENCES_25" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1776 @"\01L_OBJC_CLASSLIST_REFERENCES_$_26" = external hidden global %struct._class_t*, section "__DATA, __objc_classrefs, regular, no_dead_strip", align 8
1777 @"\01L_OBJC_SELECTOR_REFERENCES_28" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1778 @"\01L_OBJC_CLASSLIST_REFERENCES_$_29" = external hidden global %struct._class_t*, section "__DATA, __objc_classrefs, regular, no_dead_strip", align 8
1779 @"\01L_OBJC_SELECTOR_REFERENCES_31" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1780 @"\01L_OBJC_SELECTOR_REFERENCES_33" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1781 @"\01L_OBJC_SELECTOR_REFERENCES_35" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1782 @"\01L_OBJC_SELECTOR_REFERENCES_37" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1783 @"\01L_OBJC_CLASSLIST_REFERENCES_$_38" = external hidden global %struct._class_t*, section "__DATA, __objc_classrefs, regular, no_dead_strip", align 8
1784 @"\01L_OBJC_SELECTOR_REFERENCES_40" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1785 @"\01L_OBJC_SELECTOR_REFERENCES_42" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1786 @_unnamed_cfstring_44 = external hidden constant %struct.NSConstantString, section "__DATA,__cfstring"
1787 @"\01L_OBJC_SELECTOR_REFERENCES_46" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1788 @"\01L_OBJC_SELECTOR_REFERENCES_48" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1789 @"\01l_objc_msgSend_fixup_isEqual_" = external hidden global %0, section "__DATA, __objc_msgrefs, coalesced", align 16
1790 @"\01L_OBJC_CLASSLIST_REFERENCES_$_50" = external hidden global %struct._class_t*, section "__DATA, __objc_classrefs, regular, no_dead_strip", align 8
1791 @NSCocoaErrorDomain = external constant %1*
1792 @"\01L_OBJC_CLASSLIST_REFERENCES_$_51" = external hidden global %struct._class_t*, section "__DATA, __objc_classrefs, regular, no_dead_strip", align 8
1793 @NSFilePathErrorKey = external constant %1*
1794 @"\01L_OBJC_SELECTOR_REFERENCES_53" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1795 @"\01L_OBJC_SELECTOR_REFERENCES_55" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1796 @"\01L_OBJC_CLASSLIST_REFERENCES_$_56" = external hidden global %struct._class_t*, section "__DATA, __objc_classrefs, regular, no_dead_strip", align 8
1797 @"\01L_OBJC_SELECTOR_REFERENCES_58" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1798 @"\01L_OBJC_SELECTOR_REFERENCES_60" = external hidden global i8*, section "__DATA, __objc_selrefs, literal_pointers, no_dead_strip"
1800 declare %1* @truncatedString(%1*, i64)
1801 define void @TextEditTest(%2* %self, %3* %pboard) {
1803 %err = alloca %4*, align 8
1804 %tmp7 = bitcast %2* %self to i8*
1805 %tmp8 = call i8* @objc_retain(i8* %tmp7) nounwind
1806 store %4* null, %4** %err, align 8
1807 %tmp1 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_17", align 8
1808 %tmp2 = load %struct.__CFString** @kUTTypePlainText, align 8
1809 %tmp3 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_19", align 8
1810 %tmp4 = bitcast %struct._class_t* %tmp1 to i8*
1811 %call5 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp4, i8* %tmp3, %struct.__CFString* %tmp2)
1812 %tmp5 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_21", align 8
1813 %tmp6 = bitcast %3* %pboard to i8*
1814 %call76 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp6, i8* %tmp5, i8* %call5)
1815 %tmp9 = call i8* @objc_retain(i8* %call76) nounwind
1816 %tobool = icmp eq i8* %tmp9, null
1817 br i1 %tobool, label %end, label %land.lhs.true
1819 land.lhs.true: ; preds = %entry
1820 %tmp11 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_23", align 8
1821 %call137 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp6, i8* %tmp11, i8* %tmp9)
1822 %tmp = bitcast i8* %call137 to %1*
1823 %tmp10 = call i8* @objc_retain(i8* %call137) nounwind
1824 call void @objc_release(i8* null) nounwind
1825 %tmp12 = call i8* @objc_retain(i8* %call137) nounwind
1826 call void @objc_release(i8* null) nounwind
1827 %tobool16 = icmp eq i8* %call137, null
1828 br i1 %tobool16, label %end, label %if.then
1830 if.then: ; preds = %land.lhs.true
1831 %tmp19 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_25", align 8
1832 %call21 = call signext i8 bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to i8 (i8*, i8*)*)(i8* %call137, i8* %tmp19)
1833 %tobool22 = icmp eq i8 %call21, 0
1834 br i1 %tobool22, label %if.then44, label %land.lhs.true23
1836 land.lhs.true23: ; preds = %if.then
1837 %tmp24 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_26", align 8
1838 %tmp26 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_28", align 8
1839 %tmp27 = bitcast %struct._class_t* %tmp24 to i8*
1840 %call2822 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp27, i8* %tmp26, i8* %call137)
1841 %tmp13 = bitcast i8* %call2822 to %5*
1842 %tmp14 = call i8* @objc_retain(i8* %call2822) nounwind
1843 call void @objc_release(i8* null) nounwind
1844 %tobool30 = icmp eq i8* %call2822, null
1845 br i1 %tobool30, label %if.then44, label %if.end
1847 if.end: ; preds = %land.lhs.true23
1848 %tmp32 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_29", align 8
1849 %tmp33 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_31", align 8
1850 %tmp34 = bitcast %struct._class_t* %tmp32 to i8*
1851 %call35 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp34, i8* %tmp33)
1852 %tmp37 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_33", align 8
1853 %call3923 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %call35, i8* %tmp37, i8* %call2822, i32 signext 1, %4** %err)
1854 %cmp = icmp eq i8* %call3923, null
1855 br i1 %cmp, label %if.then44, label %end
1857 if.then44: ; preds = %if.end, %land.lhs.true23, %if.then
1858 %url.025 = phi %5* [ %tmp13, %if.end ], [ %tmp13, %land.lhs.true23 ], [ null, %if.then ]
1859 %tmp49 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_35", align 8
1860 %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)
1861 %call513 = extractvalue %struct._NSRange %call51, 0
1862 %call514 = extractvalue %struct._NSRange %call51, 1
1863 %tmp52 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_37", align 8
1864 %call548 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %call137, i8* %tmp52, i64 %call513, i64 %call514)
1865 %tmp55 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_38", align 8
1866 %tmp56 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_40", align 8
1867 %tmp57 = bitcast %struct._class_t* %tmp55 to i8*
1868 %call58 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp57, i8* %tmp56)
1869 %tmp59 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_42", align 8
1870 %call6110 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %call548, i8* %tmp59, i8* %call58)
1871 %tmp15 = call i8* @objc_retain(i8* %call6110) nounwind
1872 call void @objc_release(i8* %call137) nounwind
1873 %tmp64 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_46", align 8
1874 %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*))
1875 %tobool67 = icmp eq i8 %call66, 0
1876 br i1 %tobool67, label %if.end74, label %if.then68
1878 if.then68: ; preds = %if.then44
1879 %tmp70 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_48", align 8
1880 %call7220 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %call6110, i8* %tmp70)
1881 %tmp16 = call i8* @objc_retain(i8* %call7220) nounwind
1882 call void @objc_release(i8* %call6110) nounwind
1885 if.end74: ; preds = %if.then68, %if.then44
1886 %filename.0.in = phi i8* [ %call7220, %if.then68 ], [ %call6110, %if.then44 ]
1887 %filename.0 = bitcast i8* %filename.0.in to %1*
1888 %tmp17 = load i8** bitcast (%0* @"\01l_objc_msgSend_fixup_isEqual_" to i8**), align 16
1889 %tmp18 = bitcast i8* %tmp17 to i8 (i8*, %struct._message_ref_t*, i8*, ...)*
1890 %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)
1891 %tobool79 = icmp eq i8 %call78, 0
1892 br i1 %tobool79, label %land.lhs.true80, label %if.then109
1894 land.lhs.true80: ; preds = %if.end74
1895 %tmp82 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_25", align 8
1896 %call84 = call signext i8 bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to i8 (i8*, i8*)*)(i8* %filename.0.in, i8* %tmp82)
1897 %tobool86 = icmp eq i8 %call84, 0
1898 br i1 %tobool86, label %if.then109, label %if.end106
1900 if.end106: ; preds = %land.lhs.true80
1901 %tmp88 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_26", align 8
1902 %tmp90 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_28", align 8
1903 %tmp91 = bitcast %struct._class_t* %tmp88 to i8*
1904 %call9218 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp91, i8* %tmp90, i8* %filename.0.in)
1905 %tmp20 = bitcast i8* %call9218 to %5*
1906 %tmp21 = call i8* @objc_retain(i8* %call9218) nounwind
1907 %tmp22 = bitcast %5* %url.025 to i8*
1908 call void @objc_release(i8* %tmp22) nounwind
1909 %tmp94 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_29", align 8
1910 %tmp95 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_31", align 8
1911 %tmp96 = bitcast %struct._class_t* %tmp94 to i8*
1912 %call97 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp96, i8* %tmp95)
1913 %tmp99 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_33", align 8
1914 %call10119 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %call97, i8* %tmp99, i8* %call9218, i32 signext 1, %4** %err)
1915 %phitmp = icmp eq i8* %call10119, null
1916 br i1 %phitmp, label %if.then109, label %end
1918 if.then109: ; preds = %if.end106, %land.lhs.true80, %if.end74
1919 %url.129 = phi %5* [ %tmp20, %if.end106 ], [ %url.025, %if.end74 ], [ %url.025, %land.lhs.true80 ]
1920 %tmp110 = load %4** %err, align 8
1921 %tobool111 = icmp eq %4* %tmp110, null
1922 br i1 %tobool111, label %if.then112, label %if.end125
1924 if.then112: ; preds = %if.then109
1925 %tmp113 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_50", align 8
1926 %tmp114 = load %1** @NSCocoaErrorDomain, align 8
1927 %tmp115 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_51", align 8
1928 %call117 = call %1* @truncatedString(%1* %filename.0, i64 1034)
1929 %tmp118 = load %1** @NSFilePathErrorKey, align 8
1930 %tmp119 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_53", align 8
1931 %tmp120 = bitcast %struct._class_t* %tmp115 to i8*
1932 %call12113 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp120, i8* %tmp119, %1* %call117, %1* %tmp118, i8* null)
1933 %tmp122 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_55", align 8
1934 %tmp123 = bitcast %struct._class_t* %tmp113 to i8*
1935 %call12414 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp123, i8* %tmp122, %1* %tmp114, i64 258, i8* %call12113)
1936 %tmp23 = call i8* @objc_retain(i8* %call12414) nounwind
1937 %tmp25 = call i8* @objc_autorelease(i8* %tmp23) nounwind
1938 %tmp28 = bitcast i8* %tmp25 to %4*
1939 store %4* %tmp28, %4** %err, align 8
1942 if.end125: ; preds = %if.then112, %if.then109
1943 %tmp127 = phi %4* [ %tmp110, %if.then109 ], [ %tmp28, %if.then112 ]
1944 %tmp126 = load %struct._class_t** @"\01L_OBJC_CLASSLIST_REFERENCES_$_56", align 8
1945 %tmp128 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_58", align 8
1946 %tmp129 = bitcast %struct._class_t* %tmp126 to i8*
1947 %call13015 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %tmp129, i8* %tmp128, %4* %tmp127)
1948 %tmp131 = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_60", align 8
1949 %call13317 = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %call13015, i8* %tmp131)
1952 end: ; preds = %if.end125, %if.end106, %if.end, %land.lhs.true, %entry
1953 %filename.2 = phi %1* [ %filename.0, %if.end106 ], [ %filename.0, %if.end125 ], [ %tmp, %land.lhs.true ], [ null, %entry ], [ %tmp, %if.end ]
1954 %origFilename.0 = phi %1* [ %tmp, %if.end106 ], [ %tmp, %if.end125 ], [ %tmp, %land.lhs.true ], [ null, %entry ], [ %tmp, %if.end ]
1955 %url.2 = phi %5* [ %tmp20, %if.end106 ], [ %url.129, %if.end125 ], [ null, %land.lhs.true ], [ null, %entry ], [ %tmp13, %if.end ]
1956 call void @objc_release(i8* %tmp9) nounwind, !clang.imprecise_release !0
1957 %tmp29 = bitcast %5* %url.2 to i8*
1958 call void @objc_release(i8* %tmp29) nounwind, !clang.imprecise_release !0
1959 %tmp30 = bitcast %1* %origFilename.0 to i8*
1960 call void @objc_release(i8* %tmp30) nounwind, !clang.imprecise_release !0
1961 %tmp31 = bitcast %1* %filename.2 to i8*
1962 call void @objc_release(i8* %tmp31) nounwind, !clang.imprecise_release !0
1963 call void @objc_release(i8* %tmp7) nounwind, !clang.imprecise_release !0