1*67e74705SXin Li// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fobjc-runtime-has-weak -fblocks -fobjc-arc -o - %s | FileCheck %s 2*67e74705SXin Li 3*67e74705SXin Li// CHECK: [[A:.*]] = type { i64, [10 x i8*] } 4*67e74705SXin Li 5*67e74705SXin Li// CHECK: [[LAYOUT0:@.*]] = private global [3 x i8] c" 9\00" 6*67e74705SXin Li 7*67e74705SXin Li// rdar://13045269 8*67e74705SXin Li// If a __block variable requires extended layout information *and* 9*67e74705SXin Li// a copy/dispose helper, be sure to adjust the offsets used in copy/dispose. 10*67e74705SXin Linamespace test0 { 11*67e74705SXin Li struct A { 12*67e74705SXin Li unsigned long count; 13*67e74705SXin Li id data[10]; 14*67e74705SXin Li }; 15*67e74705SXin Li 16*67e74705SXin Li void foo() { 17*67e74705SXin Li __block A v; 18*67e74705SXin Li } 19*67e74705SXin Li // CHECK-LABEL: define void @_ZN5test03fooEv() 20*67e74705SXin Li // CHECK: [[V:%.*]] = alloca [[BYREF_A:%.*]], align 8 21*67e74705SXin Li // CHECK: [[T0:%.*]] = getelementptr inbounds [[BYREF_A]], [[BYREF_A]]* [[V]], i32 0, i32 4 22*67e74705SXin Li // CHECK-NEXT: store i8* bitcast (void (i8*, i8*)* [[COPY_HELPER:@.*]] to i8*), i8** [[T0]] 23*67e74705SXin Li // CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[BYREF_A]], [[BYREF_A]]* [[V]], i32 0, i32 5 24*67e74705SXin Li // CHECK-NEXT: store i8* bitcast (void (i8*)* [[DISPOSE_HELPER:@.*]] to i8*), i8** [[T0]] 25*67e74705SXin Li // CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[BYREF_A]], [[BYREF_A]]* [[V]], i32 0, i32 6 26*67e74705SXin Li // CHECK-NEXT: store i8* getelementptr inbounds ([3 x i8], [3 x i8]* [[LAYOUT0]], i32 0, i32 0), i8** [[T0]] 27*67e74705SXin Li // CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[BYREF_A]], [[BYREF_A]]* [[V]], i32 0, i32 7 28*67e74705SXin Li // CHECK-NEXT: call void @_ZN5test01AC1Ev([[A]]* [[T0]]) 29*67e74705SXin Li // CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[BYREF_A]], [[BYREF_A]]* [[V]], i32 0, i32 7 30*67e74705SXin Li // CHECK-NEXT: [[T1:%.*]] = bitcast [[BYREF_A]]* [[V]] to i8* 31*67e74705SXin Li // CHECK-NEXT: call void @_Block_object_dispose(i8* [[T1]], i32 8) 32*67e74705SXin Li // CHECK-NEXT: call void @_ZN5test01AD1Ev([[A]]* [[T0]]) 33*67e74705SXin Li // CHECK-NEXT: ret void 34*67e74705SXin Li 35*67e74705SXin Li // CHECK: define internal void [[COPY_HELPER]]( 36*67e74705SXin Li // CHECK: [[T0:%.*]] = bitcast i8* {{.*}} to [[BYREF_A]]* 37*67e74705SXin Li // CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[BYREF_A]], [[BYREF_A]]* [[T0]], i32 0, i32 7 38*67e74705SXin Li // CHECK-NEXT: load 39*67e74705SXin Li // CHECK-NEXT: [[T2:%.*]] = bitcast i8* {{.*}} to [[BYREF_A]]* 40*67e74705SXin Li // CHECK-NEXT: [[T3:%.*]] = getelementptr inbounds [[BYREF_A]], [[BYREF_A]]* [[T2]], i32 0, i32 7 41*67e74705SXin Li // CHECK-NEXT: call void @_ZN5test01AC1ERKS0_([[A]]* [[T1]], [[A]]* dereferenceable({{[0-9]+}}) [[T3]]) 42*67e74705SXin Li // CHECK-NEXT: ret void 43*67e74705SXin Li 44*67e74705SXin Li // CHECK: define internal void [[DISPOSE_HELPER]]( 45*67e74705SXin Li // CHECK: [[T0:%.*]] = bitcast i8* {{.*}} to [[BYREF_A]]* 46*67e74705SXin Li // CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[BYREF_A]], [[BYREF_A]]* [[T0]], i32 0, i32 7 47*67e74705SXin Li // CHECK-NEXT: call void @_ZN5test01AD1Ev([[A]]* [[T1]]) 48*67e74705SXin Li // CHECK-NEXT: ret void 49*67e74705SXin Li} 50