blob: 42ec4bee3880bde32fd8988868c5d769639840dc [file] [log] [blame]
Ted Kremeneke65b0862012-03-06 20:05:56 +00001// RUN: %clang_cc1 -I %S/Inputs -triple x86_64-apple-darwin10 -emit-llvm -fblocks -fobjc-arc -fobjc-runtime-has-weak -fexceptions -fobjc-exceptions -fcxx-exceptions -fobjc-arc-exceptions -O2 -disable-llvm-optzns -o - %s | FileCheck %s
2
3#include "literal-support.h"
4
5struct X {
6 X();
7 ~X();
8 operator id() const;
9};
10
11struct Y {
12 Y();
13 ~Y();
14 operator id() const;
15};
16
Stephen Lin43622612013-08-15 06:47:53 +000017// CHECK-LABEL: define void @_Z10test_arrayv
Ted Kremeneke65b0862012-03-06 20:05:56 +000018void test_array() {
19 // CHECK: [[OBJECTS:%[a-zA-Z0-9.]+]] = alloca [2 x i8*]
20
21 // Initializing first element
Arnaud A. de Grandmaisone69ec552014-10-08 14:04:26 +000022 // CHECK: [[ELEMENT0:%[a-zA-Z0-9.]+]] = getelementptr inbounds [2 x i8*]* [[OBJECTS]], i32 0, i32 0
Ted Kremeneke65b0862012-03-06 20:05:56 +000023 // CHECK-NEXT: call void @_ZN1XC1Ev
24 // CHECK-NEXT: [[OBJECT0:%[a-zA-Z0-9.]+]] = invoke i8* @_ZNK1XcvP11objc_objectEv
25 // CHECK: [[RET0:%[a-zA-Z0-9.]+]] = call i8* @objc_retainAutoreleasedReturnValue(i8* [[OBJECT0]])
26 // CHECK: store i8* [[RET0]], i8** [[ELEMENT0]]
27
28 // Initializing the second element
29 // CHECK: [[ELEMENT1:%[a-zA-Z0-9.]+]] = getelementptr inbounds [2 x i8*]* [[OBJECTS]], i32 0, i32 1
30 // CHECK-NEXT: invoke void @_ZN1YC1Ev
31 // CHECK: [[OBJECT1:%[a-zA-Z0-9.]+]] = invoke i8* @_ZNK1YcvP11objc_objectEv
32 // CHECK: [[RET1:%[a-zA-Z0-9.]+]] = call i8* @objc_retainAutoreleasedReturnValue(i8* [[OBJECT1]])
33 // CHECK: store i8* [[RET1]], i8** [[ELEMENT1]]
34
35 // Build the array
Fariborz Jahanian495bc3f2014-08-08 17:31:14 +000036 // CHECK: [[T4:%.*]] = load [[CLASS:%.*]]** @"\01L_OBJC_CLASSLIST_REFERENCES_$_"
37 // CHECK-NEXT: [[T5:%.*]] = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_
38 // CHECK-NEXT: [[T6:%.*]] = bitcast [[CLASS]]* [[T4]] to i8*
39 // CHECK-NEXT: [[ALLOC:%.*]] = {{invoke.*@objc_msgSend}}
40
41 // CHECK: [[T7:%.*]] = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_
42 // CHECK-NEXT: [[T8:%.*]] = bitcast [2 x i8*]* [[OBJECTS]] to i8**
43 // CHECK-NEXT: [[INIT:%.*]] = {{invoke.*@objc_msgSend}}
44
Ted Kremeneke65b0862012-03-06 20:05:56 +000045 id arr = @[ X(), Y() ];
46
47 // Destroy temporaries
48 // CHECK-NOT: ret void
49 // CHECK: call void @objc_release
50 // CHECK-NOT: ret void
51 // CHECK: invoke void @_ZN1YD1Ev
52 // CHECK-NOT: ret void
53 // CHECK: call void @objc_release
54 // CHECK-NEXT: call void @_ZN1XD1Ev
55 // CHECK-NOT: ret void
56 // CHECK: call void @objc_release
57 // CHECK-NEXT: ret void
58
59 // Check cleanups
60 // CHECK: call void @objc_release
61 // CHECK-NOT: call void @objc_release
62 // CHECK: invoke void @_ZN1YD1Ev
63 // CHECK: call void @objc_release
64 // CHECK-NOT: call void @objc_release
65 // CHECK: invoke void @_ZN1XD1Ev
66 // CHECK-NOT: call void @objc_release
67 // CHECK: unreachable
68}
69
Stephen Lin43622612013-08-15 06:47:53 +000070// CHECK-LABEL: define weak_odr void @_Z24test_array_instantiationIiEvv
Ted Kremeneke65b0862012-03-06 20:05:56 +000071template<typename T>
72void test_array_instantiation() {
73 // CHECK: [[OBJECTS:%[a-zA-Z0-9.]+]] = alloca [2 x i8*]
74
75 // Initializing first element
Arnaud A. de Grandmaisone69ec552014-10-08 14:04:26 +000076 // CHECK: [[ELEMENT0:%[a-zA-Z0-9.]+]] = getelementptr inbounds [2 x i8*]* [[OBJECTS]], i32 0, i32 0
Ted Kremeneke65b0862012-03-06 20:05:56 +000077 // CHECK-NEXT: call void @_ZN1XC1Ev
78 // CHECK-NEXT: [[OBJECT0:%[a-zA-Z0-9.]+]] = invoke i8* @_ZNK1XcvP11objc_objectEv
79 // CHECK: [[RET0:%[a-zA-Z0-9.]+]] = call i8* @objc_retainAutoreleasedReturnValue(i8* [[OBJECT0]])
80 // CHECK: store i8* [[RET0]], i8** [[ELEMENT0]]
81
82 // Initializing the second element
83 // CHECK: [[ELEMENT1:%[a-zA-Z0-9.]+]] = getelementptr inbounds [2 x i8*]* [[OBJECTS]], i32 0, i32 1
84 // CHECK-NEXT: invoke void @_ZN1YC1Ev
85 // CHECK: [[OBJECT1:%[a-zA-Z0-9.]+]] = invoke i8* @_ZNK1YcvP11objc_objectEv
86 // CHECK: [[RET1:%[a-zA-Z0-9.]+]] = call i8* @objc_retainAutoreleasedReturnValue(i8* [[OBJECT1]])
87 // CHECK: store i8* [[RET1]], i8** [[ELEMENT1]]
88
89 // Build the array
90 // CHECK: {{invoke.*@objc_msgSend}}
Fariborz Jahanian495bc3f2014-08-08 17:31:14 +000091
Ted Kremeneke65b0862012-03-06 20:05:56 +000092 id arr = @[ X(), Y() ];
93
94 // Destroy temporaries
95 // CHECK-NOT: ret void
96 // CHECK: call void @objc_release
97 // CHECK-NOT: ret void
98 // CHECK: invoke void @_ZN1YD1Ev
99 // CHECK-NOT: ret void
100 // CHECK: call void @objc_release
101 // CHECK-NEXT: call void @_ZN1XD1Ev
102 // CHECK-NOT: ret void
103 // CHECK: call void @objc_release
Ted Kremeneke65b0862012-03-06 20:05:56 +0000104 // CHECK-NEXT: ret void
105
106 // Check cleanups
107 // CHECK: call void @objc_release
108 // CHECK-NOT: call void @objc_release
109 // CHECK: invoke void @_ZN1YD1Ev
110 // CHECK: call void @objc_release
111 // CHECK-NOT: call void @objc_release
112 // CHECK: invoke void @_ZN1XD1Ev
113 // CHECK-NOT: call void @objc_release
114 // CHECK: unreachable
115}
116
117template void test_array_instantiation<int>();
118