blob: d04032bc0d465698d33d5d957b68975878445f56 [file] [log] [blame]
John McCalld1e40d52011-10-02 01:16:38 +00001// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fobjc-runtime-has-weak -fblocks -fobjc-arc -o - %s | FileCheck %s
John McCallf85e1932011-06-15 23:02:42 +00002// rdar://8899430
3
4@interface WeakPropertyTest {
5 __weak id PROP;
6}
7@property () __weak id PROP;
8@end
9
10@implementation WeakPropertyTest
11@synthesize PROP;
12@end
13
14// CHECK: define internal i8* @"\01-[WeakPropertyTest PROP]"
15// CHECK: [[SELF:%.*]] = alloca [[WPT:%.*]]*,
16// CHECK-NEXT: [[CMD:%.*]] = alloca i8*,
17// CHECK-NEXT: store [[WPT]]* {{%.*}}, [[WPT]]** [[SELF]]
18// CHECK-NEXT: store i8* {{%.*}}, i8** [[CMD]]
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -070019// CHECK-NEXT: [[T0:%.*]] = load [[WPT]]*, [[WPT]]** [[SELF]]
20// CHECK-NEXT: [[T1:%.*]] = load i64, i64* @"OBJC_IVAR_$_WeakPropertyTest.PROP"
John McCallf85e1932011-06-15 23:02:42 +000021// CHECK-NEXT: [[T2:%.*]] = bitcast [[WPT]]* [[T0]] to i8*
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -070022// CHECK-NEXT: [[T3:%.*]] = getelementptr inbounds i8, i8* [[T2]], i64 [[T1]]
John McCallf85e1932011-06-15 23:02:42 +000023// CHECK-NEXT: [[T4:%.*]] = bitcast i8* [[T3]] to i8**
24// CHECK-NEXT: [[T5:%.*]] = call i8* @objc_loadWeakRetained(i8** [[T4]])
Chad Rosierdf76f1e2012-12-12 17:52:21 +000025// CHECK-NEXT: [[T6:%.*]] = tail call i8* @objc_autoreleaseReturnValue(i8* [[T5]])
John McCallf85e1932011-06-15 23:02:42 +000026// CHECK-NEXT: ret i8* [[T6]]
27
28// CHECK: define internal void @"\01-[WeakPropertyTest setPROP:]"
29// CHECK: [[SELF:%.*]] = alloca [[WPT:%.*]]*,
30// CHECK-NEXT: [[CMD:%.*]] = alloca i8*,
31// CHECK-NEXT: [[PROP:%.*]] = alloca i8*,
32// CHECK-NEXT: store [[WPT]]* {{%.*}}, [[WPT]]** [[SELF]]
33// CHECK-NEXT: store i8* {{%.*}}, i8** [[CMD]]
34// CHECK-NEXT: store i8* {{%.*}}, i8** [[PROP]]
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -070035// CHECK-NEXT: [[V:%.*]] = load i8*, i8** [[PROP]]
36// CHECK-NEXT: [[T0:%.*]] = load [[WPT]]*, [[WPT]]** [[SELF]]
37// CHECK-NEXT: [[T1:%.*]] = load i64, i64* @"OBJC_IVAR_$_WeakPropertyTest.PROP"
John McCallf85e1932011-06-15 23:02:42 +000038// CHECK-NEXT: [[T2:%.*]] = bitcast [[WPT]]* [[T0]] to i8*
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -070039// CHECK-NEXT: [[T3:%.*]] = getelementptr inbounds i8, i8* [[T2]], i64 [[T1]]
John McCallf85e1932011-06-15 23:02:42 +000040// CHECK-NEXT: [[T4:%.*]] = bitcast i8* [[T3]] to i8**
41// CHECK-NEXT: call i8* @objc_storeWeak(i8** [[T4]], i8* [[V]])
42// CHECK-NEXT: ret void
43
44// CHECK: define internal void @"\01-[WeakPropertyTest .cxx_destruct]"
45// CHECK: [[SELF:%.*]] = alloca [[WPT:%.*]]*,
46// CHECK-NEXT: [[CMD:%.*]] = alloca i8*,
47// CHECK-NEXT: store [[WPT]]* {{%.*}}, [[WPT]]** [[SELF]]
48// CHECK-NEXT: store i8* {{%.*}}, i8** [[CMD]]
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -070049// CHECK-NEXT: [[T0:%.*]] = load [[WPT]]*, [[WPT]]** [[SELF]]
50// CHECK-NEXT: [[T1:%.*]] = load i64, i64* @"OBJC_IVAR_$_WeakPropertyTest.PROP"
John McCallf85e1932011-06-15 23:02:42 +000051// CHECK-NEXT: [[T2:%.*]] = bitcast [[WPT]]* [[T0]] to i8*
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -070052// CHECK-NEXT: [[T3:%.*]] = getelementptr inbounds i8, i8* [[T2]], i64 [[T1]]
John McCallf85e1932011-06-15 23:02:42 +000053// CHECK-NEXT: [[T4:%.*]] = bitcast i8* [[T3]] to i8**
54// CHECK-NEXT: call void @objc_destroyWeak(i8** [[T4]])
55// CHECK-NEXT: ret void