xref: /llvm-project/clang/test/CodeGenObjC/arc-literals.m (revision 520a091217ac3c300cea7963038d9b266f42eb0c)
1// RUN: %clang_cc1 -I %S/Inputs -triple x86_64-apple-darwin10 -emit-llvm -fblocks -fobjc-arc -fobjc-runtime-has-weak -O2 -disable-llvm-passes -no-enable-noundef-analysis -o - %s | FileCheck %s
2
3#include "literal-support.h"
4
5// Check the various selector names we'll be using, in order.
6
7// CHECK: c"numberWithInt:\00"
8// CHECK: c"numberWithUnsignedInt:\00"
9// CHECK: c"numberWithUnsignedLongLong:\00"
10// CHECK: c"numberWithChar:\00"
11// CHECK: c"arrayWithObjects:count:\00"
12// CHECK: c"dictionaryWithObjects:forKeys:count:\00"
13// CHECK: c"prop\00"
14
15// CHECK-LABEL: define{{.*}} void @test_numeric()
16void test_numeric(void) {
17  // CHECK: {{call.*objc_msgSend.*i32 17.* [ "clang.arc.attachedcall"(i8* (i8*)* @llvm.objc.retainAutoreleasedReturnValue) ]}}
18  id ilit = @17;
19  // CHECK: {{call.*objc_msgSend.*i32 25.* [ "clang.arc.attachedcall"(i8* (i8*)* @llvm.objc.retainAutoreleasedReturnValue) ]}}
20  id ulit = @25u;
21  // CHECK: {{call.*objc_msgSend.*i64 42.* [ "clang.arc.attachedcall"(i8* (i8*)* @llvm.objc.retainAutoreleasedReturnValue) ]}}
22  id ulllit = @42ull;
23  // CHECK: {{call.*objc_msgSend.*i8 signext 97.* [ "clang.arc.attachedcall"(i8* (i8*)* @llvm.objc.retainAutoreleasedReturnValue) ]}}
24  id charlit = @'a';
25  // CHECK: call void @llvm.objc.release
26  // CHECK: call void @llvm.lifetime.end
27  // CHECK: call void @llvm.objc.release
28  // CHECK: call void @llvm.lifetime.end
29  // CHECK: call void @llvm.objc.release
30  // CHECK: call void @llvm.lifetime.end
31  // CHECK: call void @llvm.objc.release
32  // CHECK: call void @llvm.lifetime.end
33  // CHECK-NEXT: ret void
34}
35
36// CHECK-LABEL: define{{.*}} void @test_array
37void test_array(id a, id b) {
38  // CHECK: [[A:%.*]] = alloca ptr,
39  // CHECK: [[B:%.*]] = alloca ptr,
40
41  // Retaining parameters
42  // CHECK: call ptr @llvm.objc.retain(ptr
43  // CHECK: call ptr @llvm.objc.retain(ptr
44
45  // Constructing the array
46  // CHECK:      [[T0:%.*]] = getelementptr inbounds [2 x ptr], ptr [[OBJECTS:%[A-Za-z0-9]+]], i64 0, i64 0
47  // CHECK-NEXT: [[V0:%.*]] = load ptr, ptr [[A]],
48  // CHECK-NEXT: store ptr [[V0]], ptr [[T0]]
49  // CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [2 x ptr], ptr [[OBJECTS]], i64 0, i64 1
50  // CHECK-NEXT: [[V1:%.*]] = load ptr, ptr [[B]],
51  // CHECK-NEXT: store ptr [[V1]], ptr [[T0]]
52
53  // CHECK-NEXT: [[T0:%.*]] = load ptr, ptr @"OBJC_CLASSLIST
54  // CHECK-NEXT: [[SEL:%.*]] = load ptr, ptr @OBJC_SELECTOR_REFERENCES
55  // CHECK-NEXT: [[T3:%.*]] = call ptr @objc_msgSend(ptr [[T0]], ptr [[SEL]], ptr [[OBJECTS]], i64 2) [ "clang.arc.attachedcall"(ptr @llvm.objc.retainAutoreleasedReturnValue) ]
56  // CHECK: call void (...) @llvm.objc.clang.arc.use(ptr [[V0]], ptr [[V1]])
57  id arr = @[a, b];
58
59  // CHECK: call void @llvm.objc.release
60  // CHECK: call void @llvm.objc.release
61  // CHECK: call void @llvm.objc.release
62  // CHECK-NEXT: ret void
63}
64
65// CHECK-LABEL: define{{.*}} void @test_dictionary
66void test_dictionary(id k1, id o1, id k2, id o2) {
67  // CHECK: [[K1:%.*]] = alloca ptr,
68  // CHECK: [[O1:%.*]] = alloca ptr,
69  // CHECK: [[K2:%.*]] = alloca ptr,
70  // CHECK: [[O2:%.*]] = alloca ptr,
71
72  // Retaining parameters
73  // CHECK: call ptr @llvm.objc.retain(ptr
74  // CHECK: call ptr @llvm.objc.retain(ptr
75  // CHECK: call ptr @llvm.objc.retain(ptr
76  // CHECK: call ptr @llvm.objc.retain(ptr
77
78  // Constructing the arrays
79  // CHECK:      [[T0:%.*]] = getelementptr inbounds [2 x ptr], ptr [[KEYS:%[A-Za-z0-9]+]], i64 0, i64 0
80  // CHECK-NEXT: [[V0:%.*]] = load ptr, ptr [[K1]],
81  // CHECK-NEXT: store ptr [[V0]], ptr [[T0]]
82  // CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [2 x ptr], ptr [[OBJECTS:%[A-Za-z0-9]+]], i64 0, i64 0
83  // CHECK-NEXT: [[V1:%.*]] = load ptr, ptr [[O1]],
84  // CHECK-NEXT: store ptr [[V1]], ptr [[T0]]
85  // CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [2 x ptr], ptr [[KEYS]], i64 0, i64 1
86  // CHECK-NEXT: [[V2:%.*]] = load ptr, ptr [[K2]],
87  // CHECK-NEXT: store ptr [[V2]], ptr [[T0]]
88  // CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [2 x ptr], ptr [[OBJECTS]], i64 0, i64 1
89  // CHECK-NEXT: [[V3:%.*]] = load ptr, ptr [[O2]],
90  // CHECK-NEXT: store ptr [[V3]], ptr [[T0]]
91
92  // Constructing the dictionary
93  // CHECK-NEXT: [[T0:%.*]] = load ptr, ptr @"OBJC_CLASSLIST
94  // CHECK-NEXT: [[SEL:%.*]] = load ptr, ptr @OBJC_SELECTOR_REFERENCES
95  // CHECK-NEXT: [[T4:%.*]] = call ptr @objc_msgSend(ptr [[T0]], ptr [[SEL]], ptr [[OBJECTS]], ptr [[KEYS]], i64 2) [ "clang.arc.attachedcall"(ptr @llvm.objc.retainAutoreleasedReturnValue) ]
96  // CHECK-NEXT: call void (...) @llvm.objc.clang.arc.noop.use(ptr [[T4]])
97  // CHECK-NEXT: call void (...) @llvm.objc.clang.arc.use(ptr [[V0]], ptr [[V1]], ptr [[V2]], ptr [[V3]])
98
99  id dict = @{ k1 : o1, k2 : o2 };
100
101  // CHECK: call void @llvm.objc.release
102  // CHECK: call void @llvm.objc.release
103  // CHECK: call void @llvm.objc.release
104  // CHECK: call void @llvm.objc.release
105  // CHECK: call void @llvm.objc.release
106  // CHECK-NEXT: ret void
107}
108
109@interface A
110@end
111
112@interface B
113@property (retain) A* prop;
114@end
115
116// CHECK-LABEL: define{{.*}} void @test_property
117void test_property(B *b) {
118  // Retain parameter
119  // CHECK: call ptr @llvm.objc.retain
120
121  // CHECK:      [[T0:%.*]] = getelementptr inbounds [1 x ptr], ptr [[OBJECTS:%.*]], i64 0, i64 0
122
123  // Invoke 'prop'
124  // CHECK:      [[SEL:%.*]] = load ptr, ptr @OBJC_SELECTOR_REFERENCES
125  // CHECK-NEXT: [[V0:%.*]] = call ptr @objc_msgSend(ptr {{.*}}, ptr [[SEL]]) [ "clang.arc.attachedcall"(ptr @llvm.objc.retainAutoreleasedReturnValue) ]
126  // CHECK-NEXT: call void (...) @llvm.objc.clang.arc.noop.use(ptr [[V0]])
127
128  // Store to array.
129  // CHECK-NEXT: store ptr [[V0]], ptr [[T0]]
130
131  // Invoke arrayWithObjects:count:
132  // CHECK-NEXT: [[T0:%.*]] = load ptr, ptr @"OBJC_CLASSLIST
133  // CHECK-NEXT: [[SEL:%.*]] = load ptr, ptr @OBJC_SELECTOR_REFERENCES
134  // CHECK-NEXT: [[T3:%.*]] = call ptr @objc_msgSend(ptr [[T0]], ptr [[SEL]], ptr [[OBJECTS]], i64 1) [ "clang.arc.attachedcall"(ptr @llvm.objc.retainAutoreleasedReturnValue) ]
135  // CHECK-NEXT: call void (...) @llvm.objc.clang.arc.noop.use(ptr [[T3]])
136  // CHECK-NEXT: call void (...) @llvm.objc.clang.arc.use(ptr [[V0]])
137  // CHECK-NEXT: store
138  id arr = @[ b.prop ];
139
140  // Release b.prop
141  // CHECK-NEXT: call void @llvm.objc.release(ptr [[V0]])
142
143  // Destroy arr
144  // CHECK: call void @llvm.objc.release
145
146  // Destroy b
147  // CHECK: call void @llvm.objc.release
148  // CHECK-NEXT: ret void
149}
150