1; RUN: opt -passes=objc-arc -S < %s | FileCheck %s 2 3%0 = type opaque 4%struct.__NSConstantString_tag = type { ptr, i32, ptr, i64 } 5%struct.__block_descriptor = type { i64, i64 } 6 7@__CFConstantStringClassReference = external global [0 x i32] 8@.str = private unnamed_addr constant [4 x i8] c"abc\00", section "__TEXT,__cstring,cstring_literals", align 1 9@.str1 = private unnamed_addr constant [4 x i8] c"def\00", section "__TEXT,__cstring,cstring_literals", align 1 10@_unnamed_cfstring_ = private global %struct.__NSConstantString_tag { ptr @__CFConstantStringClassReference, i32 1992, ptr @.str, i64 3 }, section "__DATA,__cfstring", align 8 #0 11@_unnamed_cfstring_.1 = private global %struct.__NSConstantString_tag { ptr @__CFConstantStringClassReference, i32 1992, ptr @.str1, i64 3 }, section "__DATA,__cfstring", align 8 #0 12@_unnamed_cfstring_wo_attr = private global %struct.__NSConstantString_tag { ptr @__CFConstantStringClassReference, i32 1992, ptr @.str1, i64 3 }, section "__DATA,__cfstring", align 8 13@_NSConcreteGlobalBlock = external global ptr 14@.str.1 = private unnamed_addr constant [6 x i8] c"v8@?0\00", align 1 15@"__block_descriptor_32_e5_v8@?0l" = linkonce_odr hidden unnamed_addr constant { i64, i64, ptr, ptr } { i64 0, i64 32, ptr @.str.1, ptr null }, align 8 16@__block_literal_global = internal constant { ptr, i32, i32, ptr, ptr } { ptr @_NSConcreteGlobalBlock, i32 1342177280, i32 0, ptr @__globalBlock_block_invoke, ptr @"__block_descriptor_32_e5_v8@?0l" }, align 8 #0 17 18; CHECK-LABEL: define ptr @stringLiteral() 19; CHECK-NOT: call 20; CHECK: ret ptr @_unnamed_cfstring_ 21 22define ptr @stringLiteral() { 23 %1 = tail call ptr @llvm.objc.retain(ptr @_unnamed_cfstring_) 24 %2 = call ptr @llvm.objc.autorelease(ptr @_unnamed_cfstring_) 25 ret ptr @_unnamed_cfstring_ 26} 27 28; CHECK-LABEL: define ptr @stringLiteral1() 29; CHECK-NEXT: call ptr @llvm.objc.retain( 30; CHECK-NEXT: call ptr @llvm.objc.autorelease( 31; CHECK-NEXT: ret ptr 32 33define ptr @stringLiteral1() { 34 %1 = tail call ptr @llvm.objc.retain(ptr @_unnamed_cfstring_wo_attr) 35 %2 = call ptr @llvm.objc.autorelease(ptr @_unnamed_cfstring_wo_attr) 36 ret ptr @_unnamed_cfstring_wo_attr 37} 38 39; CHECK-LABEL: define ptr @globalBlock() 40; CHECK-NOT: call 41; CHECK-NEXT: ret ptr @__block_literal_global 42 43define ptr @globalBlock() { 44 %1 = tail call ptr @llvm.objc.retainBlock(ptr @__block_literal_global) 45 %2 = tail call ptr @llvm.objc.retainBlock(ptr %1) 46 tail call void @llvm.objc.release(ptr %1) 47 %3 = tail call ptr @llvm.objc.autoreleaseReturnValue(ptr %2) 48 ret ptr %2 49} 50 51define internal void @__globalBlock_block_invoke(ptr nocapture readnone) { 52 tail call void @foo() 53 ret void 54} 55 56; CHECK: define ptr @test_conditional0( 57; CHECK: %[[PHI0:.*]] = phi ptr [ @_unnamed_cfstring_, %{{.*}} ], [ null, %{{.*}} ] 58 59; CHECK: %[[PHI1:.*]] = phi ptr [ @_unnamed_cfstring_, %{{.*}} ], [ %[[PHI0]], %{{.*}} ] 60; CHECK-NEXT: %[[PHI2:.*]] = phi ptr [ @_unnamed_cfstring_, %{{.*}} ], [ %{{.*}}, %{{.*}} ] 61; CHECK-NEXT: %[[V5:.*]] = tail call ptr @llvm.objc.autoreleaseReturnValue(ptr %[[PHI2]]) 62; CHECK-NEXT: ret ptr %[[PHI2]] 63 64define ptr @test_conditional0(i32 %i, ptr %b) { 65entry: 66 %v0 = icmp eq i32 %i, 1 67 br i1 %v0, label %bb2, label %bb1 68 69bb1: 70 %v1 = icmp eq i32 %i, 2 71 br i1 %v1, label %bb2, label %return 72 73bb2: 74 %phi0 = phi ptr [ @_unnamed_cfstring_, %entry ], [ null, %bb1 ] 75 br label %return 76 77return: 78 %phi1 = phi ptr [ @_unnamed_cfstring_, %bb1 ], [ %phi0, %bb2 ] 79 %phi2 = phi ptr [ @_unnamed_cfstring_, %bb1 ], [ %b, %bb2 ] 80 %v3 = tail call ptr @llvm.objc.autoreleaseReturnValue(ptr %phi1) 81 %v5 = tail call ptr @llvm.objc.autoreleaseReturnValue(ptr %phi2) 82 ret ptr %phi2 83} 84 85; CHECK-LABEL: define void @test_conditional1( 86; CHECK-NOT: @llvm.objc 87; CHECK: ret void 88 89define void @test_conditional1(i32 %i) { 90entry: 91 %v0 = add nsw i32 %i, -1 92 %c1 = icmp eq i32 %v0, 0 93 br i1 %c1, label %while.end, label %while.body 94 95while.body: 96 %v1 = phi i32 [ %v5, %if.end ], [ %v0, %entry ] 97 %v2 = phi ptr [ %v4, %if.end ], [ @_unnamed_cfstring_.1, %entry ] 98 %v3 = tail call ptr @llvm.objc.retain(ptr %v2) 99 %cmp = icmp eq i32 %v1, 2 100 br i1 %cmp, label %if.then, label %if.end 101 102if.then: 103 call void @llvm.objc.release(ptr %v2) 104 br label %if.end 105 106if.end: 107 %v4 = phi ptr [ @_unnamed_cfstring_, %if.then ], [ %v2, %while.body ] 108 call void @llvm.objc.release(ptr %v2) 109 %v5 = add nsw i32 %v1, -1 110 %tobool = icmp eq i32 %v5, 0 111 br i1 %tobool, label %while.end, label %while.body 112 113while.end: 114 %v6 = phi ptr [ null, %entry ], [ %v4, %if.end ] 115 call void @llvm.objc.release(ptr %v6) 116 ret void 117} 118 119declare void @foo() 120 121declare ptr @llvm.objc.retain(ptr) local_unnamed_addr 122declare ptr @llvm.objc.autoreleaseReturnValue(ptr) local_unnamed_addr 123declare ptr @llvm.objc.retainBlock(ptr) local_unnamed_addr 124declare void @llvm.objc.release(ptr) local_unnamed_addr 125declare ptr @llvm.objc.autorelease(ptr) local_unnamed_addr 126 127attributes #0 = { "objc_arc_inert" } 128