1// RUN: %clang_cc1 %s -emit-llvm -o - -triple x86_64-darwin-apple -fobjc-arc -O2 -disable-llvm-passes | FileCheck %s --check-prefixes=CHECK,CHECK-O2 2// RUN: %clang_cc1 %s -emit-llvm -o - -triple x86_64-darwin-apple -fobjc-arc -O0 | FileCheck %s --check-prefixes=CHECK,CHECK-O0 3// RUN: %clang_cc1 %s -emit-llvm -o - -triple x86_64-darwin-apple -O2 -disable-llvm-passes | FileCheck %s --check-prefix=CHECK-MRR 4 5// Make sure we emit clang.arc.use before calling objc_release as part of the 6// cleanup. This way we make sure the object will not be released until the 7// end of the full expression. 8 9// rdar://problem/24528966 10 11@interface C 12- (id)m0; 13+ (id)m1; 14@end 15 16C *c; 17 18@class NSString; 19extern __attribute__((visibility("default"))) NSString *GenString(); 20void os_log_pack_send(void *); 21 22// CHECK-LABEL: define void @test_builtin_os_log1( 23// CHECK: alloca i8*, align 8 24// CHECK: %[[A_ADDR:.*]] = alloca i8*, align 8 25// CHECK: %[[OS_LOG_ARG:.*]] = alloca %{{.*}}*, align 8 26// CHECK-O2: %[[V0:.*]] = call i8* @llvm.objc.retain( 27// CHECK-O2: store i8* %[[V0]], i8** %[[A_ADDR]], align 8, 28// CHECK-O0: call void @llvm.objc.storeStrong(i8** %[[A_ADDR]], i8* %{{.*}}) 29// CHECK: %[[CALL:.*]] = call %{{.*}}* (...) @GenString() 30// CHECK: %[[V2:.*]] = bitcast %{{.*}}* %[[CALL]] to i8* 31// CHECK: %[[V3:.*]] = notail call i8* @llvm.objc.retainAutoreleasedReturnValue(i8* %[[V2]]) 32// CHECK: %[[V4:.*]] = bitcast i8* %[[V3]] to %{{.*}}* 33// CHECK: %[[V5:.*]] = bitcast %{{.*}}* %[[V4]] to i8* 34// CHECK: %[[V6:.*]] = call i8* @llvm.objc.retain(i8* %[[V5]]) 35// CHECK: %[[V7:.*]] = bitcast i8* %[[V6]] to %{{.*}}* 36// CHECK: store %{{.*}}* %[[V7]], %{{.*}}** %[[OS_LOG_ARG]], 37// CHECK: %[[V8:.*]] = ptrtoint %{{.*}}* %[[V7]] to i64 38// CHECK: %[[V9:.*]] = load i8*, i8** %[[A_ADDR]], align 8 39// CHECK: %[[V10:.*]] = ptrtoint i8* %[[V9]] to i64 40// CHECK: call void @__os_log_helper_1_2_2_8_64_8_64(i8* %{{.*}}, i64 %[[V8]], i64 %[[V10]]) 41// CHECK: %[[V11:.*]] = bitcast %{{.*}}* %[[V4]] to i8* 42// CHECK: call void @llvm.objc.release(i8* %[[V11]]) 43// CHECK: call void @os_log_pack_send(i8* %{{.*}}) 44// CHECK-O2: call void (...) @llvm.objc.clang.arc.use(%{{.*}}* %[[V7]]) 45// CHECK-O2: %[[V13:.*]] = load %{{.*}}*, %{{.*}}** %[[OS_LOG_ARG]], align 8 46// CHECK-O2: %[[V14:.*]] = bitcast %{{.*}}* %[[V13]] to i8* 47// CHECK-O2: call void @llvm.objc.release(i8* %[[V14]]) 48// CHECK-O2: %[[V15:.*]] = load i8*, i8** %[[A_ADDR]], align 8 49// CHECK-O2: call void @llvm.objc.release(i8* %[[V15]]) 50// CHECK-O0: %[[V12:.*]] = bitcast %{{.*}}** %[[OS_LOG_ARG]] to i8** 51// CHECK-O0: call void @llvm.objc.storeStrong(i8** %[[V12]], i8* null) 52// CHECK-O0: call void @llvm.objc.storeStrong(i8** %[[A_ADDR]], i8* null) 53 54// CHECK-MRR-LABEL: define void @test_builtin_os_log1( 55// CHECK-MRR-NOT: call {{.*}} @llvm.objc 56// CHECK-MRR: ret void 57 58void test_builtin_os_log1(void *buf, id a) { 59 __builtin_os_log_format(buf, "capabilities: %@ %@", GenString(), a); 60 os_log_pack_send(buf); 61} 62 63// CHECK: define void @test_builtin_os_log2( 64// CHECK-NOT: @llvm.objc.retain( 65 66void test_builtin_os_log2(void *buf, id __unsafe_unretained a) { 67 __builtin_os_log_format(buf, "capabilities: %@", a); 68 os_log_pack_send(buf); 69} 70 71// CHECK-LABEL: define void @test_builtin_os_log3( 72// CHECK: alloca i8*, align 8 73// CHECK: %[[OS_LOG_ARG:.*]] = alloca i8*, align 8 74// CHECK: %[[CALL:.*]] = call %{{.*}}* (...) @GenString() 75// CHECK: %[[V1:.*]] = bitcast %{{.*}}* %[[CALL]] to i8* 76// CHECK: %[[V2:.*]] = notail call i8* @llvm.objc.retainAutoreleasedReturnValue(i8* %[[V1]]) 77// CHECK: %[[V3:.*]] = bitcast i8* %[[V2]] to %{{.*}}* 78// CHECK: %[[V4:.*]] = bitcast %{{.*}}* %[[V3]] to i8* 79// CHECK: %[[V5:.*]] = call i8* @llvm.objc.retain(i8* %[[V4]]) 80// CHECK: store i8* %[[V5]], i8** %[[OS_LOG_ARG]], align 8 81// CHECK: %[[V6:.*]] = ptrtoint i8* %[[V5]] to i64 82// CHECK: call void @__os_log_helper_1_2_1_8_64(i8* %{{.*}}, i64 %[[V6]]) 83// CHECK: %[[V7:.*]] = bitcast %{{.*}}* %[[V3]] to i8* 84// CHECK: call void @llvm.objc.release(i8* %[[V7]]) 85// CHECK: call void @os_log_pack_send(i8* %{{.*}}) 86// CHECK-O2: call void (...) @llvm.objc.clang.arc.use(i8* %[[V5]]) 87// CHECK-O2: %[[V9:.*]] = load i8*, i8** %[[OS_LOG_ARG]], align 8 88// CHECK-O2: call void @llvm.objc.release(i8* %[[V9]]) 89// CHECK-O0: call void @llvm.objc.storeStrong(i8** %[[OS_LOG_ARG]], i8* null) 90 91void test_builtin_os_log3(void *buf) { 92 __builtin_os_log_format(buf, "capabilities: %@", (id)GenString()); 93 os_log_pack_send(buf); 94} 95 96// CHECK-LABEL: define void @test_builtin_os_log4( 97// CHECK: alloca i8*, align 8 98// CHECK: %[[OS_LOG_ARG:.*]] = alloca i8*, align 8 99// CHECK: %[[OS_LOG_ARG2:.*]] = alloca i8*, align 8 100// CHECK: %[[CALL:.*]] = call {{.*}} @objc_msgSend 101// CHECK: %[[V4:.*]] = notail call i8* @llvm.objc.retainAutoreleasedReturnValue(i8* %[[CALL]]) 102// CHECK: %[[V5:.*]] = call i8* @llvm.objc.retain(i8* %[[V4]]) 103// CHECK: store i8* %[[V5]], i8** %[[OS_LOG_ARG]], align 8 104// CHECK: %[[V6:.*]] = ptrtoint i8* %[[V5]] to i64 105// CHECK: %[[CALL1:.*]] = call {{.*}} @objc_msgSend 106// CHECK: %[[V10:.*]] = notail call i8* @llvm.objc.retainAutoreleasedReturnValue(i8* %[[CALL1]]) 107// CHECK: %[[V11:.*]] = call i8* @llvm.objc.retain(i8* %[[V10]]) 108// CHECK: store i8* %[[V11]], i8** %[[OS_LOG_ARG2]], align 8 109// CHECK: %[[V12:.*]] = ptrtoint i8* %[[V11]] to i64 110// CHECK: call void @__os_log_helper_1_2_2_8_64_8_64(i8* %{{.*}}, i64 %[[V6]], i64 %[[V12]]) 111// CHECK: call void @llvm.objc.release(i8* %[[V10]]) 112// CHECK: call void @llvm.objc.release(i8* %[[V4]]) 113// CHECK: call void @os_log_pack_send(i8* %{{.*}}) 114// CHECK-O2: call void (...) @llvm.objc.clang.arc.use(i8* %[[V11]]) 115// CHECK-O2: %[[V14:.*]] = load i8*, i8** %[[OS_LOG_ARG2]], align 8 116// CHECK-O2: call void @llvm.objc.release(i8* %[[V14]]) 117// CHECK-O2: call void (...) @llvm.objc.clang.arc.use(i8* %[[V5]]) 118// CHECK-O2: %[[V15:.*]] = load i8*, i8** %[[OS_LOG_ARG]], align 8 119// CHECK-O2: call void @llvm.objc.release(i8* %[[V15]]) 120 121void test_builtin_os_log4(void *buf) { 122 __builtin_os_log_format(buf, "capabilities: %@ %@", [c m0], [C m1]); 123 os_log_pack_send(buf); 124} 125 126// FIXME: Lifetime of GenString's return should be extended in this case too. 127// CHECK-LABEL: define void @test_builtin_os_log5( 128// CHECK: call void @os_log_pack_send( 129// CHECK-NOT: call void @llvm.objc.release( 130 131void test_builtin_os_log5(void *buf) { 132 __builtin_os_log_format(buf, "capabilities: %@", (0, GenString())); 133 os_log_pack_send(buf); 134} 135