From 13b4304937baf3e74a33cfd81a0494a01f8f1b01 Mon Sep 17 00:00:00 2001 From: Fariborz Jahanian Date: Thu, 30 Jan 2014 00:16:39 +0000 Subject: [PATCH] Objective-C [IRGen]. Generator a tail call to objc_getProperty() in synthesized getters for performance improvement. // rdar://15884113 llvm-svn: 200430 --- clang/lib/CodeGen/CGObjC.cpp | 6 +++++- clang/test/CodeGenObjC/arc-property.m | 2 +- clang/test/CodeGenObjC/arc.m | 4 ++-- clang/test/CodeGenObjC/getter-property-mismatch.m | 2 +- 4 files changed, 9 insertions(+), 5 deletions(-) diff --git a/clang/lib/CodeGen/CGObjC.cpp b/clang/lib/CodeGen/CGObjC.cpp index 9c23ba4b1ee8..ae1349fbd8a9 100644 --- a/clang/lib/CodeGen/CGObjC.cpp +++ b/clang/lib/CodeGen/CGObjC.cpp @@ -892,10 +892,14 @@ CodeGenFunction::generateObjCGetterBody(const ObjCImplementationDecl *classImpl, // FIXME: We shouldn't need to get the function info here, the // runtime already should have computed it to build the function. + llvm::Instruction *CallInstruction; RValue RV = EmitCall(getTypes().arrangeFreeFunctionCall(propType, args, FunctionType::ExtInfo(), RequiredArgs::All), - getPropertyFn, ReturnValueSlot(), args); + getPropertyFn, ReturnValueSlot(), args, 0, + &CallInstruction); + if (llvm::CallInst *call = dyn_cast(CallInstruction)) + call->setTailCall(); // We need to fix the type here. Ivars with copy & retain are // always objects so we don't need to worry about complex or diff --git a/clang/test/CodeGenObjC/arc-property.m b/clang/test/CodeGenObjC/arc-property.m index c3c7e2bc11ec..8398a1b60f0d 100644 --- a/clang/test/CodeGenObjC/arc-property.m +++ b/clang/test/CodeGenObjC/arc-property.m @@ -67,7 +67,7 @@ static Class theGlobalClass; // CHECK: define internal i8* @"\01-[Test2 theClass]"( // CHECK: [[OFFSET:%.*]] = load i64* @"OBJC_IVAR_$_Test2._theClass" -// CHECK-NEXT: [[T0:%.*]] = call i8* @objc_getProperty(i8* {{.*}}, i8* {{.*}}, i64 [[OFFSET]], i1 zeroext true) +// CHECK-NEXT: [[T0:%.*]] = tail call i8* @objc_getProperty(i8* {{.*}}, i8* {{.*}}, i64 [[OFFSET]], i1 zeroext true) // CHECK-NEXT: ret i8* [[T0]] // CHECK: define internal void @"\01-[Test2 setTheClass:]"( diff --git a/clang/test/CodeGenObjC/arc.m b/clang/test/CodeGenObjC/arc.m index f98aa32d12a3..06628b9ff0f4 100644 --- a/clang/test/CodeGenObjC/arc.m +++ b/clang/test/CodeGenObjC/arc.m @@ -1004,7 +1004,7 @@ void test37(void) { @synthesize x; @end // CHECK: define internal i8* @"\01-[Test45 x]"( -// CHECK: [[CALL:%.*]] = call i8* @objc_getProperty( +// CHECK: [[CALL:%.*]] = tail call i8* @objc_getProperty( // CHECK-NEXT: ret i8* [[CALL]] // rdar://problem/9315552 @@ -1352,7 +1352,7 @@ void test62(void) { @implementation Person @synthesize address; @end -// CHECK: call i8* @objc_getProperty +// CHECK: tail call i8* @objc_getProperty // CHECK: call void @objc_setProperty // Verify that we successfully parse and preserve this attribute in diff --git a/clang/test/CodeGenObjC/getter-property-mismatch.m b/clang/test/CodeGenObjC/getter-property-mismatch.m index 21ed6eea68e8..fe415d5358d3 100644 --- a/clang/test/CodeGenObjC/getter-property-mismatch.m +++ b/clang/test/CodeGenObjC/getter-property-mismatch.m @@ -13,7 +13,7 @@ @synthesize filenamesToServerLocation=_filenamesToServerLocation; @end -// CHECK: [[CALL:%.*]] = call i8* @objc_getProperty +// CHECK: [[CALL:%.*]] = tail call i8* @objc_getProperty // CHECK: [[ONE:%.*]] = bitcast i8* [[CALL:%.*]] to [[T1:%.*]]* // CHECK: [[TWO:%.*]] = bitcast [[T1]]* [[ONE]] to [[T2:%.*]]* // CHECK: ret [[T2]]* [[TWO]]