1; RUN: opt -S -objc-arc < %s | FileCheck %s 2 3target 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-LABEL: define void @test0( 14; CHECK-NOT: @objc 15; CHECK: } 16define void @test0() { 17entry: 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 50invoke.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 55lpad: ; 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 metadata here, so the optimizer 63; shouldn't eliminate anything, but *CAN* strength reduce the objc_retainBlock 64; to an objc_retain. 65 66; CHECK-LABEL: define void @test0_no_metadata( 67; CHECK: call i8* @objc_retain( 68; CHECK: invoke 69; CHECK: call void @objc_release( 70; CHECK: } 71define void @test0_no_metadata() { 72entry: 73 %x = alloca %struct.__block_byref_x, align 8 74 %block = alloca <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>, align 8 75 %byref.isa = getelementptr inbounds %struct.__block_byref_x* %x, i64 0, i32 0 76 store i8* null, i8** %byref.isa, align 8 77 %byref.forwarding = getelementptr inbounds %struct.__block_byref_x* %x, i64 0, i32 1 78 store %struct.__block_byref_x* %x, %struct.__block_byref_x** %byref.forwarding, align 8 79 %byref.flags = getelementptr inbounds %struct.__block_byref_x* %x, i64 0, i32 2 80 store i32 0, i32* %byref.flags, align 8 81 %byref.size = getelementptr inbounds %struct.__block_byref_x* %x, i64 0, i32 3 82 store i32 32, i32* %byref.size, align 4 83 %block.isa = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 0 84 store i8* bitcast (i8** @_NSConcreteStackBlock to i8*), i8** %block.isa, align 8 85 %block.flags = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 1 86 store i32 1107296256, i32* %block.flags, align 8 87 %block.reserved = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 2 88 store i32 0, i32* %block.reserved, align 4 89 %block.invoke = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 3 90 store i8* bitcast (void (i8*)* @__foo_block_invoke_0 to i8*), i8** %block.invoke, align 8 91 %block.descriptor = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 4 92 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 93 %block.captured = getelementptr inbounds <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block, i64 0, i32 5 94 %t1 = bitcast %struct.__block_byref_x* %x to i8* 95 store i8* %t1, i8** %block.captured, align 8 96 %t2 = bitcast <{ i8*, i32, i32, i8*, %struct.__block_descriptor*, i8* }>* %block to i8* 97 %t3 = call i8* @objc_retainBlock(i8* %t2) nounwind, !clang.arc.copy_on_escape !4 98 %t4 = getelementptr inbounds i8* %t3, i64 16 99 %t5 = bitcast i8* %t4 to i8** 100 %t6 = load i8** %t5, align 8 101 %t7 = bitcast i8* %t6 to void (i8*)* 102 invoke void %t7(i8* %t3) 103 to label %invoke.cont unwind label %lpad 104 105invoke.cont: ; preds = %entry 106 call void @objc_release(i8* %t3) nounwind, !clang.imprecise_release !4 107 call void @_Block_object_dispose(i8* %t1, i32 8) 108 ret void 109 110lpad: ; preds = %entry 111 %t8 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__objc_personality_v0 to i8*) 112 cleanup 113 call void @_Block_object_dispose(i8* %t1, i32 8) 114 resume { i8*, i32 } %t8 115} 116 117declare i8* @objc_retainBlock(i8*) 118declare void @objc_release(i8*) 119declare void @_Block_object_dispose(i8*, i32) 120declare i32 @__objc_personality_v0(...) 121declare void @__foo_block_invoke_0(i8* nocapture) uwtable ssp 122 123!4 = metadata !{} 124