1// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -std=c++1z -fobjc-arc -o - %s | FileCheck %s 2 3struct S0 { 4 ~S0(); 5 id f; 6}; 7 8struct S1 { 9 S1(); 10 ~S1(); 11 S1(S0); 12 id f; 13}; 14 15@interface C 16@property S1 f; 17@end 18@implementation C 19@end 20 21// CHECK-LABEL: define{{.*}} void @_Z5test0P1C( 22// CHECK: %{{.*}} = alloca % 23// CHECK: %[[AGG_TMP:.*]] = alloca %[[STRUCT_S1:.*]], align 24// CHECK: %[[AGG_TMP_1:.*]] = alloca %[[STRUCT_S0:.*]], align 25// CHECK: call void @_ZN2S0C1Ev(%[[STRUCT_S0]]* {{[^,]*}} %[[AGG_TMP_1]]) 26// CHECK: call void @_ZN2S1C1E2S0(%[[STRUCT_S1]]* {{[^,]*}} %[[AGG_TMP]], %[[STRUCT_S0]]* %[[AGG_TMP_1]]) 27// CHECK: call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*, %[[STRUCT_S1]]*)*)(i8* %{{.*}}, i8* %{{.*}}, %[[STRUCT_S1]]* %[[AGG_TMP]]) 28 29void test0(C *c) { 30 c.f = S0(); 31} 32 33// CHECK: define{{.*}} void @_Z5test1P1C( 34// CHECK: %{{.*}} = alloca % 35// CHECK: %[[TEMP_LVALUE:.*]] = alloca %[[STRUCT_S1:.*]], align 36// CHECK: call void @_ZN2S1C1Ev(%[[STRUCT_S1]]* {{[^,]*}} %[[TEMP_LVALUE]]) 37// CHECK: call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*, %[[STRUCT_S1]]*)*)(i8* %{{.*}}, i8* %{{.*}}, %[[STRUCT_S1]]* %[[TEMP_LVALUE]]) 38 39void test1(C *c) { 40 c.f = S1(); 41} 42