blob: 9d856d659afeda7f9ce04f3c38c61387032bda1f [file] [log] [blame]
Fariborz Jahanian7a77f192013-01-04 23:32:24 +00001// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fblocks -fobjc-arc -fobjc-runtime-has-weak -o - %s | FileCheck -check-prefix=CHECK-UNOPT %s
2// rdar://12530881
3
4void test19() {
5 __block id x;
Stephen Lin93ab6bf2013-08-15 06:47:53 +00006// CHECK-UNOPT-LABEL: define internal void @__Block_byref_object_copy
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -07007// CHECK-UNOPT: [[X:%.*]] = getelementptr inbounds [[BYREF_T:%.*]], [[BYREF_T:%.*]]* [[VAR:%.*]], i32 0, i32 6
8// CHECK-UNOPT: [[X2:%.*]] = getelementptr inbounds [[BYREF_T:%.*]], [[BYREF_T:%.*]]* [[VAR1:%.*]], i32 0, i32 6
9// CHECK-UNOPT-NEXT: [[SIX:%.*]] = load i8*, i8** [[X2]], align 8
Fariborz Jahanianba3c9ca2013-01-05 00:32:13 +000010// CHECK-UNOPT-NEXT: store i8* null, i8** [[X]], align 8
Bill Wendling4e1125f2013-02-22 09:10:20 +000011// CHECK-UNOPT-NEXT: call void @objc_storeStrong(i8** [[X]], i8* [[SIX]]) [[NUW:#[0-9]+]]
12// CHECK-UNOPT-NEXT: call void @objc_storeStrong(i8** [[X2]], i8* null) [[NUW]]
Fariborz Jahanian7a77f192013-01-04 23:32:24 +000013// CHECK-UNOPT-NEXT: ret void
14}
15
Bill Wendling4e1125f2013-02-22 09:10:20 +000016// CHECK: attributes [[NUW]] = { nounwind }