Clang Project

clang_source_code/test/CodeGenObjCXX/literals.mm
1// RUN: %clang_cc1 -std=gnu++98 -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-passes -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
17// CHECK-LABEL: define void @_Z10test_arrayv
18void test_array() {
19  // CHECK: [[ARR:%[a-zA-Z0-9.]+]] = alloca i8*
20  // CHECK: [[OBJECTS:%[a-zA-Z0-9.]+]] = alloca [2 x i8*]
21  // CHECK: [[TMPX:%[a-zA-Z0-9.]+]] = alloca %
22  // CHECK: [[TMPY:%[a-zA-Z0-9.]+]] = alloca %
23
24  // Initializing first element
25  // CHECK: [[PTR1:%.*]] = bitcast i8** [[ARR]] to i8*
26  // CHECK-NEXT: call void @llvm.lifetime.start.p0i8(i64 8, i8* [[PTR1]])
27  // CHECK: [[ELEMENT0:%[a-zA-Z0-9.]+]] = getelementptr inbounds [2 x i8*], [2 x i8*]* [[OBJECTS]], i64 0, i64 0
28  // CHECK-NEXT: [[TMP_CAST:%.*]] = bitcast {{.*}} [[TMPX]] to i8*
29  // CHECK-NEXT: call void @llvm.lifetime.start.p0i8(i64 1, i8* [[TMP_CAST]])
30  // CHECK-NEXT: call void @_ZN1XC1Ev({{.*}} [[TMPX]])
31  // CHECK-NEXT: [[OBJECT0:%[a-zA-Z0-9.]+]] = invoke i8* @_ZNK1XcvP11objc_objectEv
32  // CHECK: [[RET0:%[a-zA-Z0-9.]+]] = notail call i8* @llvm.objc.retainAutoreleasedReturnValue(i8* [[OBJECT0]])
33  // CHECK: store i8* [[RET0]], i8** [[ELEMENT0]]
34  
35  // Initializing the second element
36  // CHECK: [[ELEMENT1:%[a-zA-Z0-9.]+]] = getelementptr inbounds [2 x i8*], [2 x i8*]* [[OBJECTS]], i64 0, i64 1
37  // CHECK-NEXT: [[TMP_CAST:%.*]] = bitcast {{.*}} [[TMPY]] to i8*
38  // CHECK-NEXT: call void @llvm.lifetime.start.p0i8(i64 1, i8* [[TMP_CAST]])
39  // CHECK-NEXT: invoke void @_ZN1YC1Ev({{.*}} [[TMPY]])
40  // CHECK: [[OBJECT1:%[a-zA-Z0-9.]+]] = invoke i8* @_ZNK1YcvP11objc_objectEv
41  // CHECK: [[RET1:%[a-zA-Z0-9.]+]] = notail call i8* @llvm.objc.retainAutoreleasedReturnValue(i8* [[OBJECT1]])
42  // CHECK: store i8* [[RET1]], i8** [[ELEMENT1]]
43
44  // Build the array
45  // CHECK: {{invoke.*@objc_msgSend}}
46  // CHECK: call i8* @llvm.objc.retainAutoreleasedReturnValue
47  id arr = @[ X(), Y() ];
48
49  // Destroy temporaries
50  // CHECK-NOT: ret void
51  // CHECK: call void @llvm.objc.release
52  // CHECK-NOT: ret void
53  // CHECK: invoke void @_ZN1YD1Ev
54  // CHECK-NOT: ret void
55  // CHECK: call void @llvm.objc.release
56  // CHECK-NEXT: call void @_ZN1XD1Ev
57  // CHECK-NOT: ret void
58  // CHECK: call void @llvm.objc.release
59  // CHECK-NEXT: [[PTR2:%.*]] = bitcast i8** [[ARR]] to i8*
60  // CHECK-NEXT: call void @llvm.lifetime.end.p0i8(i64 8, i8* [[PTR2]])
61  // CHECK-NEXT: ret void
62
63  // Check cleanups
64  // CHECK: call void @llvm.objc.release
65  // CHECK-NOT: call void @llvm.objc.release
66  // CHECK: invoke void @_ZN1YD1Ev
67  // CHECK: call void @llvm.objc.release
68  // CHECK-NOT: call void @llvm.objc.release
69  // CHECK: invoke void @_ZN1XD1Ev
70  // CHECK-NOT: call void @llvm.objc.release
71  // CHECK: unreachable
72}
73
74// CHECK-LABEL: define weak_odr void @_Z24test_array_instantiationIiEvv
75template<typename T>
76void test_array_instantiation() {
77  // CHECK: [[ARR:%[a-zA-Z0-9.]+]] = alloca i8*
78  // CHECK: [[OBJECTS:%[a-zA-Z0-9.]+]] = alloca [2 x i8*]
79
80  // Initializing first element
81  // CHECK:      [[PTR1:%.*]] = bitcast i8** [[ARR]] to i8*
82  // CHECK-NEXT: call void @llvm.lifetime.start.p0i8(i64 8, i8* [[PTR1]])
83  // CHECK: [[ELEMENT0:%[a-zA-Z0-9.]+]] = getelementptr inbounds [2 x i8*], [2 x i8*]* [[OBJECTS]], i64 0, i64 0
84  // CHECK: call void @_ZN1XC1Ev
85  // CHECK-NEXT: [[OBJECT0:%[a-zA-Z0-9.]+]] = invoke i8* @_ZNK1XcvP11objc_objectEv
86  // CHECK: [[RET0:%[a-zA-Z0-9.]+]] = notail call i8* @llvm.objc.retainAutoreleasedReturnValue(i8* [[OBJECT0]])
87  // CHECK: store i8* [[RET0]], i8** [[ELEMENT0]]
88  
89  // Initializing the second element
90  // CHECK: [[ELEMENT1:%[a-zA-Z0-9.]+]] = getelementptr inbounds [2 x i8*], [2 x i8*]* [[OBJECTS]], i64 0, i64 1
91  // CHECK: invoke void @_ZN1YC1Ev
92  // CHECK: [[OBJECT1:%[a-zA-Z0-9.]+]] = invoke i8* @_ZNK1YcvP11objc_objectEv
93  // CHECK: [[RET1:%[a-zA-Z0-9.]+]] = notail call i8* @llvm.objc.retainAutoreleasedReturnValue(i8* [[OBJECT1]])
94  // CHECK: store i8* [[RET1]], i8** [[ELEMENT1]]
95
96  // Build the array
97  // CHECK: {{invoke.*@objc_msgSend}}
98  // CHECK: call i8* @llvm.objc.retainAutoreleasedReturnValue
99  id arr = @[ X(), Y() ];
100
101  // Destroy temporaries
102  // CHECK-NOT: ret void
103  // CHECK: call void @llvm.objc.release
104  // CHECK-NOT: ret void
105  // CHECK: invoke void @_ZN1YD1Ev
106  // CHECK-NOT: ret void
107  // CHECK: call void @llvm.objc.release
108  // CHECK-NEXT: call void @_ZN1XD1Ev
109  // CHECK-NOT: ret void
110  // CHECK: call void @llvm.objc.release
111  // CHECK-NEXT: [[PTR2]] = bitcast i8** [[ARR]] to i8*
112  // CHECK-NEXT: call void @llvm.lifetime.end.p0i8(i64 8, i8* [[PTR2]])
113  // CHECK-NEXT: ret void
114
115  // Check cleanups
116  // CHECK: call void @llvm.objc.release
117  // CHECK-NOT: call void @llvm.objc.release
118  // CHECK: invoke void @_ZN1YD1Ev
119  // CHECK: call void @llvm.objc.release
120  // CHECK-NOT: call void @llvm.objc.release
121  // CHECK: invoke void @_ZN1XD1Ev
122  // CHECK-NOT: call void @llvm.objc.release
123  // CHECK: unreachable
124}
125
126template void test_array_instantiation<int>();
127
128
CodeThinker, Enjoy your reading code