externally-retained.m
3.27 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
// RUN: %clang_cc1 -triple x86_64-apple-macosx10.13.0 -fobjc-arc -fblocks -Wno-objc-root-class -O0 %s -S -emit-llvm -o - | FileCheck %s --dump-input-on-failure
// RUN: %clang_cc1 -triple x86_64-apple-macosx10.13.0 -fobjc-arc -fblocks -Wno-objc-root-class -O0 -xobjective-c++ -std=c++11 %s -S -emit-llvm -o - | FileCheck %s --check-prefix CHECKXX --dump-input-on-failure
#define EXT_RET __attribute__((objc_externally_retained))
@interface ObjTy @end
ObjTy *global;
#if __cplusplus
// Suppress name mangling in C++ mode for the sake of check lines.
extern "C" void param(ObjTy *p);
extern "C" void local();
extern "C" void in_init();
extern "C" void anchor();
extern "C" void block_capture(ObjTy *);
extern "C" void esc(void (^)());
extern "C" void escp(void (^)(ObjTy *));
extern "C" void block_param();
#endif
void param(ObjTy *p) EXT_RET {
// CHECK-LABEL: define void @param
// CHECK-NOT: llvm.objc.
// CHECK: ret
}
void local() {
EXT_RET ObjTy *local = global;
// CHECK-LABEL: define void @local
// CHECK-NOT: llvm.objc.
// CHECK: ret
}
void in_init() {
// Test that we do the right thing when a variable appears in it's own
// initializer. Here, we release the value stored in 'wat' after overwriting
// it, in case it was somehow set to point to a non-null object while it's
// initializer is being evaluated.
EXT_RET ObjTy *wat = 0 ? wat : global;
// CHECK-LABEL: define void @in_init
// CHECK: [[WAT:%.*]] = alloca
// CHECK-NEXT: store {{.*}} null, {{.*}} [[WAT]]
// CHECK-NEXT: [[GLOBAL:%.*]] = load {{.*}} @global
// CHECK-NEXT: [[WAT_LOAD:%.*]] = load {{.*}} [[WAT]]
// CHECK-NEXT: store {{.*}} [[GLOBAL]], {{.*}} [[WAT]]
// CHECK-NEXT: [[CASTED:%.*]] = bitcast {{.*}} [[WAT_LOAD]] to
// CHECK-NEXT: call void @llvm.objc.release(i8* [[CASTED]])
// CHECK-NOT: llvm.objc.
// CHECK: ret
}
void esc(void (^)());
void block_capture(ObjTy *obj) EXT_RET {
esc(^{ (void)obj; });
// CHECK-LABEL: define void @block_capture
// CHECK-NOT: llvm.objc.
// CHECK: call i8* @llvm.objc.retain
// CHECK-NOT: llvm.objc.
// CHECK: call void @esc
// CHECK-NOT: llvm.objc.
// CHECK: call void @llvm.objc.storeStrong({{.*}} null)
// CHECK-NOT: llvm.objc.
// CHECK: ret
// CHECK-LABEL: define {{.*}} void @__copy_helper_block_
// CHECK-NOT: llvm.objc.
// CHECK: llvm.objc.storeStrong
// CHECK-NOT: llvm.objc.
// CHECK: ret
// CHECK-LABEL: define {{.*}} void @__destroy_helper_block_
// CHECK-NOT: llvm.objc.
// CHECK: llvm.objc.storeStrong({{.*}} null)
// CHECK-NOT: llvm.objc.
// CHECK: ret
}
void escp(void (^)(ObjTy *));
void block_param() {
escp(^(ObjTy *p) EXT_RET {});
// CHECK-LABEL: define internal void @__block_param_block_invoke
// CHECK-NOT: llvm.objc.
// CHECK: ret
}
@interface Inter
-(void)m1: (ObjTy *)w;
@end
@implementation Inter
-(void)m1: (ObjTy *) w EXT_RET {
// CHECK-LABEL: define internal void @"\01-[Inter m1:]"
// CHECK-NOT: llvm.objc.
// CHECK: ret
}
-(void)m2: (ObjTy *) w EXT_RET {
// CHECK-LABEL: define internal void @"\01-[Inter m2:]"
// CHECK-NOT: llvm.objc.
// CHECK: ret
}
@end
#if __cplusplus
// Verify that the decltype(p) is resolved before 'p' is made implicitly const.
__attribute__((objc_externally_retained))
void foo(ObjTy *p, decltype(p) *) {}
// CHECKXX: _Z3fooP5ObjTyPU8__strongS0_
#endif