128 lines · plain
1; RUN: opt -passes=objc-arc -S < %s | FileCheck %s2 3%0 = type opaque4%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 19@.str1 = private unnamed_addr constant [4 x i8] c"def\00", section "__TEXT,__cstring,cstring_literals", align 110@_unnamed_cfstring_ = private global %struct.__NSConstantString_tag { ptr @__CFConstantStringClassReference, i32 1992, ptr @.str, i64 3 }, section "__DATA,__cfstring", align 8 #011@_unnamed_cfstring_.1 = private global %struct.__NSConstantString_tag { ptr @__CFConstantStringClassReference, i32 1992, ptr @.str1, i64 3 }, section "__DATA,__cfstring", align 8 #012@_unnamed_cfstring_wo_attr = private global %struct.__NSConstantString_tag { ptr @__CFConstantStringClassReference, i32 1992, ptr @.str1, i64 3 }, section "__DATA,__cfstring", align 813@_NSConcreteGlobalBlock = external global ptr14@.str.1 = private unnamed_addr constant [6 x i8] c"v8@?0\00", align 115@"__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 816@__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 #017 18; CHECK-LABEL: define ptr @stringLiteral()19; CHECK-NOT: call20; 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 ptr32 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_attr37}38 39; CHECK-LABEL: define ptr @globalBlock()40; CHECK-NOT: call41; CHECK-NEXT: ret ptr @__block_literal_global42 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 %249}50 51define internal void @__globalBlock_block_invoke(ptr nocapture readnone) {52 tail call void @foo()53 ret void54}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, 167 br i1 %v0, label %bb2, label %bb168 69bb1:70 %v1 = icmp eq i32 %i, 271 br i1 %v1, label %bb2, label %return72 73bb2:74 %phi0 = phi ptr [ @_unnamed_cfstring_, %entry ], [ null, %bb1 ]75 br label %return76 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 %phi283}84 85; CHECK-LABEL: define void @test_conditional1(86; CHECK-NOT: @llvm.objc87; CHECK: ret void88 89define void @test_conditional1(i32 %i) {90entry:91 %v0 = add nsw i32 %i, -192 %c1 = icmp eq i32 %v0, 093 br i1 %c1, label %while.end, label %while.body94 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, 2100 br i1 %cmp, label %if.then, label %if.end101 102if.then:103 call void @llvm.objc.release(ptr %v2)104 br label %if.end105 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, -1110 %tobool = icmp eq i32 %v5, 0111 br i1 %tobool, label %while.end, label %while.body112 113while.end:114 %v6 = phi ptr [ null, %entry ], [ %v4, %if.end ]115 call void @llvm.objc.release(ptr %v6)116 ret void117}118 119declare void @foo()120 121declare ptr @llvm.objc.retain(ptr) local_unnamed_addr122declare ptr @llvm.objc.autoreleaseReturnValue(ptr) local_unnamed_addr123declare ptr @llvm.objc.retainBlock(ptr) local_unnamed_addr124declare void @llvm.objc.release(ptr) local_unnamed_addr125declare ptr @llvm.objc.autorelease(ptr) local_unnamed_addr126 127attributes #0 = { "objc_arc_inert" }128