1 // RUN: %clang_cc1 %s -triple x86_64-apple-darwin10 -fobjc-runtime=macosx-fragile-10.5 -emit-llvm -o - | FileCheck %s 2 // rdar://9208606 3 4 struct MyStruct { 5 int x; 6 int y; 7 int z; 8 }; 9 10 @interface MyClass { 11 MyStruct _foo; 12 } 13 14 @property (assign, readwrite) const MyStruct& foo; 15 16 - (const MyStruct&) foo; 17 - (void) setFoo:(const MyStruct&)inFoo; 18 @end 19 20 void test0() { 21 MyClass* myClass; 22 MyStruct myStruct; 23 24 myClass.foo = myStruct; 25 26 const MyStruct& currentMyStruct = myClass.foo; 27 } 28 29 // CHECK: [[C:%.*]] = call dereferenceable({{[0-9]+}}) %struct.MyStruct* bitcast (i8* (i8*, i8*, ...)* @objc_msgSend 30 // CHECK: store %struct.MyStruct* [[C]], %struct.MyStruct** [[D:%.*]] 31 32 namespace test1 { 33 struct A { A(); A(const A&); A&operator=(const A&); ~A(); }; 34 } 35 @interface Test1 { 36 test1::A ivar; 37 } 38 @property (nonatomic) const test1::A &prop1; 39 @end 40 @implementation Test1 41 @synthesize prop1 = ivar; 42 @end 43 // CHECK: define internal dereferenceable({{[0-9]+}}) [[A:%.*]]* @"\01-[Test1 prop1]"( 44 // CHECK: [[SELF:%.*]] = alloca [[TEST1:%.*]]*, align 8 45 // CHECK: [[T0:%.*]] = load [[TEST1]]*, [[TEST1]]** [[SELF]] 46 // CHECK-NEXT: [[T1:%.*]] = bitcast [[TEST1]]* [[T0]] to i8* 47 // CHECK-NEXT: [[T2:%.*]] = getelementptr inbounds i8, i8* [[T1]], i64 0 48 // CHECK-NEXT: [[T3:%.*]] = bitcast i8* [[T2]] to [[A]]* 49 // CHECK-NEXT: ret [[A]]* [[T3]] 50 51 // CHECK: define internal void @"\01-[Test1 setProp1:]"( 52 // CHECK: call dereferenceable({{[0-9]+}}) [[A]]* @_ZN5test11AaSERKS0_( 53 // CHECK-NEXT: ret void 54 55 // rdar://problem/10497174 56 @interface Test2 57 @property int prop; 58 @end 59 60 // The fact that these are all non-dependent is critical. 61 template <class T> void test2(Test2 *a) { 62 int x = a.prop; 63 a.prop = x; 64 a.prop += x; 65 } 66 template void test2<int>(Test2*); 67 // CHECK-LABEL: define weak_odr void @_Z5test2IiEvP5Test2( 68 // CHECK: [[X:%.*]] = alloca i32, 69 // CHECK: @objc_msgSend 70 // CHECK: store i32 {{%.*}}, i32* [[X]], 71 // CHECK: load i32, i32* [[X]], 72 // CHECK: @objc_msgSend 73 // CHECK: @objc_msgSend 74 // CHECK: load i32, i32* [[X]], 75 // CHECK-NEXT: add nsw 76 // CHECK: @objc_msgSend 77 // CHECK-NEXT: ret void 78 79 // Same as the previous test, but instantiation-dependent. 80 template <class T> void test3(Test2 *a) { 81 int x = (sizeof(T), a).prop; 82 a.prop = (sizeof(T), x); 83 a.prop += (sizeof(T), x); 84 } 85 template void test3<int>(Test2*); 86 // CHECK-LABEL: define weak_odr void @_Z5test3IiEvP5Test2( 87 // CHECK: [[X:%.*]] = alloca i32, 88 // CHECK: @objc_msgSend 89 // CHECK: store i32 {{%.*}}, i32* [[X]], 90 // CHECK: load i32, i32* [[X]], 91 // CHECK: @objc_msgSend 92 // CHECK: @objc_msgSend 93 // CHECK: load i32, i32* [[X]], 94 // CHECK-NEXT: add nsw 95 // CHECK: @objc_msgSend 96 // CHECK-NEXT: ret void 97
