1 ; RUN: opt -S -objc-arc < %s | FileCheck %s 2 3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 4 %struct.__block_byref_x = type { i8*, %struct.__block_byref_x*, i32, i32, i32 } 5 %struct.__block_descriptor = type { i64, i64 } 6 @_NSConcreteStackBlock = external global i8* 7 @__block_descriptor_tmp = external hidden constant { i64, i64, i8*, i8*, i8*, i8* } 8 9 ; The optimizer should make use of the !clang.arc.no_objc_arc_exceptions 10 ; metadata and eliminate the retainBlock+release pair here. 11 ; rdar://10803830. 12 13 ; CHECK: define void @test0( 14 ; CHECK-NOT: @objc 15 ; CHECK: } 16 define void @test0() { 17 entry: 18 %x = alloca %struct.__block_byref_x, align 8 19 %block = alloca <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>, align 8 20 %byref.isa = getelementptr inbounds %struct.__block_byref_x* %x, i64 0, i32 0 21 store i8* null, i8** %byref.isa, align 8 22 %byref.forwarding = getelementptr inbounds %struct.__block_byref_x* %x, i64 0, i32 1 23 store %struct.__block_byref_x* %x, %struct.__block_byref_x** %byref.forwarding, align 8 24 %byref.flags = getelementptr inbounds %struct.__block_byref_x* %x, i64 0, i32 2 25 store i32 0, i32* %byref.flags, align 8 26 %byref.size = getelementptr inbounds %struct.__block_byref_x* %x, i64 0, i32 3 27 store i32 32, i32* %byref.size, align 4 28 %block.isa = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 0 29 store i8* bitcast (i8** @_NSConcreteStackBlock to i8*), i8** %block.isa, align 8 30 %block.flags = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 1 31 store i32 1107296256, i32* %block.flags, align 8 32 %block.reserved = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 2 33 store i32 0, i32* %block.reserved, align 4 34 %block.invoke = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 3 35 store i8* bitcast (void (i8*)* @__foo_block_invoke_0 to i8*), i8** %block.invoke, align 8 36 %block.descriptor = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 4 37 store %struct.__block_descriptor* bitcast ({ i64, i64, i8*, i8*, i8*, i8* }* @__block_descriptor_tmp to %struct.__block_descriptor*), %struct.__block_descriptor** %block.descriptor, align 8 38 %block.captured = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 5 39 %t1 = bitcast %struct.__block_byref_x* %x to i8* 40 store i8* %t1, i8** %block.captured, align 8 41 %t2 = bitcast <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block to i8* 42 %t3 = call i8* @objc_retainBlock(i8* %t2) nounwind, !clang.arc.copy_on_escape !4 43 %t4 = getelementptr inbounds i8* %t3, i64 16 44 %t5 = bitcast i8* %t4 to i8** 45 %t6 = load i8** %t5, align 8 46 %t7 = bitcast i8* %t6 to void (i8*)* 47 invoke void %t7(i8* %t3) 48 to label %invoke.cont unwind label %lpad, !clang.arc.no_objc_arc_exceptions !4 49 50 invoke.cont: ; preds = %entry 51 call void @objc_release(i8* %t3) nounwind, !clang.imprecise_release !4 52 call void @_Block_object_dispose(i8* %t1, i32 8) 53 ret void 54 55 lpad: ; preds = %entry 56 %t8 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__objc_personality_v0 to i8*) 57 cleanup 58 call void @_Block_object_dispose(i8* %t1, i32 8) 59 resume { i8*, i32 } %t8 60 } 61 62 ; There is no !clang.arc.no_objc_arc_exceptions 63 ; metadata here, so the optimizer shouldn't eliminate anything. 64 65 ; CHECK: define void @test0_no_metadata( 66 ; CHECK: call i8* @objc_retainBlock( 67 ; CHECK: invoke 68 ; CHECK: call void @objc_release( 69 ; CHECK: } 70 define void @test0_no_metadata() { 71 entry: 72 %x = alloca %struct.__block_byref_x, align 8 73 %block = alloca <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>, align 8 74 %byref.isa = getelementptr inbounds %struct.__block_byref_x* %x, i64 0, i32 0 75 store i8* null, i8** %byref.isa, align 8 76 %byref.forwarding = getelementptr inbounds %struct.__block_byref_x* %x, i64 0, i32 1 77 store %struct.__block_byref_x* %x, %struct.__block_byref_x** %byref.forwarding, align 8 78 %byref.flags = getelementptr inbounds %struct.__block_byref_x* %x, i64 0, i32 2 79 store i32 0, i32* %byref.flags, align 8 80 %byref.size = getelementptr inbounds %struct.__block_byref_x* %x, i64 0, i32 3 81 store i32 32, i32* %byref.size, align 4 82 %block.isa = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 0 83 store i8* bitcast (i8** @_NSConcreteStackBlock to i8*), i8** %block.isa, align 8 84 %block.flags = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 1 85 store i32 1107296256, i32* %block.flags, align 8 86 %block.reserved = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 2 87 store i32 0, i32* %block.reserved, align 4 88 %block.invoke = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 3 89 store i8* bitcast (void (i8*)* @__foo_block_invoke_0 to i8*), i8** %block.invoke, align 8 90 %block.descriptor = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 4 91 store %struct.__block_descriptor* bitcast ({ i64, i64, i8*, i8*, i8*, i8* }* @__block_descriptor_tmp to %struct.__block_descriptor*), %struct.__block_descriptor** %block.descriptor, align 8 92 %block.captured = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 5 93 %t1 = bitcast %struct.__block_byref_x* %x to i8* 94 store i8* %t1, i8** %block.captured, align 8 95 %t2 = bitcast <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block to i8* 96 %t3 = call i8* @objc_retainBlock(i8* %t2) nounwind, !clang.arc.copy_on_escape !4 97 %t4 = getelementptr inbounds i8* %t3, i64 16 98 %t5 = bitcast i8* %t4 to i8** 99 %t6 = load i8** %t5, align 8 100 %t7 = bitcast i8* %t6 to void (i8*)* 101 invoke void %t7(i8* %t3) 102 to label %invoke.cont unwind label %lpad 103 104 invoke.cont: ; preds = %entry 105 call void @objc_release(i8* %t3) nounwind, !clang.imprecise_release !4 106 call void @_Block_object_dispose(i8* %t1, i32 8) 107 ret void 108 109 lpad: ; preds = %entry 110 %t8 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__objc_personality_v0 to i8*) 111 cleanup 112 call void @_Block_object_dispose(i8* %t1, i32 8) 113 resume { i8*, i32 } %t8 114 } 115 116 declare i8* @objc_retainBlock(i8*) 117 declare void @objc_release(i8*) 118 declare void @_Block_object_dispose(i8*, i32) 119 declare i32 @__objc_personality_v0(...) 120 declare void @__foo_block_invoke_0(i8* nocapture) uwtable ssp 121 122 !4 = metadata !{} 123
