1 // RUN: %clang_cc1 %s -triple=x86_64-pc-linux -emit-llvm -o %t
2 // RUN: %clang_cc1 %s -triple=x86_64-pc-linux -emit-llvm -std=c++03 -o %t.03
3 // RUN: %clang_cc1 %s -triple=x86_64-pc-linux -emit-llvm -std=c++11 -o %t.11
4 // RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -disable-llvm-passes -O3 -emit-llvm -o %t.opt
5 // RUN: FileCheck %s < %t
6 // RUN: FileCheck %s < %t.03
7 // RUN: FileCheck %s < %t.11
8 // RUN: FileCheck --check-prefix=CHECK-OPT %s < %t.opt
9
10 namespace {
11 struct A {
f__anon2ffa29f20111::A12 virtual void f() { }
13 };
14 }
15
f()16 void f() { A b; }
17
18 struct B {
19 B();
20 virtual void f();
21 };
22
B()23 B::B() { }
24
25 struct C : virtual B {
26 C();
fC27 virtual void f() { }
28 };
29
C()30 C::C() { }
31
32 struct D {
33 virtual void f();
34 };
35
f()36 void D::f() { }
37
38 static struct : D { } e;
39
40 // Force 'e' to be constructed and therefore have a vtable defined.
use_e()41 void use_e() {
42 e.f();
43 }
44
45 // The destructor is the key function.
46 template<typename T>
47 struct E {
48 virtual ~E();
49 };
50
~E()51 template<typename T> E<T>::~E() { }
52
53 // Anchor is the key function
54 template<>
55 struct E<char> {
56 virtual void anchor();
57 };
58
anchor()59 void E<char>::anchor() { }
60
61 template struct E<short>;
62 extern template struct E<int>;
63
use_E()64 void use_E() {
65 E<int> ei;
66 (void)ei;
67 E<long> el;
68 (void)el;
69 }
70
71 // No key function
72 template<typename T>
73 struct F {
fooF74 virtual void foo() { }
75 };
76
77 // No key function
78 template<>
79 struct F<char> {
fooF80 virtual void foo() { }
81 };
82
83 template struct F<short>;
84 extern template struct F<int>;
85
use_F()86 void use_F() {
87 F<char> fc;
88 fc.foo();
89 F<int> fi;
90 fi.foo();
91 F<long> fl;
92 (void)fl;
93 }
94
95 // B has a key function that is not defined in this translation unit so its vtable
96 // has external linkage.
97 // CHECK-DAG: @_ZTV1B = external unnamed_addr constant
98
99 // C has no key function, so its vtable should have weak_odr linkage
100 // and hidden visibility (rdar://problem/7523229).
101 // CHECK-DAG: @_ZTV1C = linkonce_odr unnamed_addr constant {{.*}}, comdat, align 8{{$}}
102 // CHECK-DAG: @_ZTS1C = linkonce_odr constant {{.*}}, comdat, align 1{{$}}
103 // CHECK-DAG: @_ZTI1C = linkonce_odr constant {{.*}}, comdat, align 8{{$}}
104 // CHECK-DAG: @_ZTT1C = linkonce_odr unnamed_addr constant {{.*}}, comdat, align 8{{$}}
105
106 // D has a key function that is defined in this translation unit so its vtable is
107 // defined in the translation unit.
108 // CHECK-DAG: @_ZTV1D = unnamed_addr constant
109 // CHECK-DAG: @_ZTS1D = constant
110 // CHECK-DAG: @_ZTI1D = constant
111
112 // E<char> is an explicit specialization with a key function defined
113 // in this translation unit, so its vtable should have external
114 // linkage.
115 // CHECK-DAG: @_ZTV1EIcE = unnamed_addr constant
116 // CHECK-DAG: @_ZTS1EIcE = constant
117 // CHECK-DAG: @_ZTI1EIcE = constant
118
119 // E<short> is an explicit template instantiation with a key function
120 // defined in this translation unit, so its vtable should have
121 // weak_odr linkage.
122 // CHECK-DAG: @_ZTV1EIsE = weak_odr unnamed_addr constant {{.*}}, comdat,
123 // CHECK-DAG: @_ZTS1EIsE = weak_odr constant {{.*}}, comdat, align 1{{$}}
124 // CHECK-DAG: @_ZTI1EIsE = weak_odr constant {{.*}}, comdat, align 8{{$}}
125
126 // F<short> is an explicit template instantiation without a key
127 // function, so its vtable should have weak_odr linkage
128 // CHECK-DAG: @_ZTV1FIsE = weak_odr unnamed_addr constant {{.*}}, comdat,
129 // CHECK-DAG: @_ZTS1FIsE = weak_odr constant {{.*}}, comdat, align 1{{$}}
130 // CHECK-DAG: @_ZTI1FIsE = weak_odr constant {{.*}}, comdat, align 8{{$}}
131
132 // E<long> is an implicit template instantiation with a key function
133 // defined in this translation unit, so its vtable should have
134 // linkonce_odr linkage.
135 // CHECK-DAG: @_ZTV1EIlE = linkonce_odr unnamed_addr constant {{.*}}, comdat,
136 // CHECK-DAG: @_ZTS1EIlE = linkonce_odr constant {{.*}}, comdat, align 1{{$}}
137 // CHECK-DAG: @_ZTI1EIlE = linkonce_odr constant {{.*}}, comdat, align 8{{$}}
138
139 // F<long> is an implicit template instantiation with no key function,
140 // so its vtable should have linkonce_odr linkage.
141 // CHECK-DAG: @_ZTV1FIlE = linkonce_odr unnamed_addr constant {{.*}}, comdat,
142 // CHECK-DAG: @_ZTS1FIlE = linkonce_odr constant {{.*}}, comdat, align 1{{$}}
143 // CHECK-DAG: @_ZTI1FIlE = linkonce_odr constant {{.*}}, comdat, align 8{{$}}
144
145 // F<int> is an explicit template instantiation declaration without a
146 // key function, so its vtable should have external linkage.
147 // CHECK-DAG: @_ZTV1FIiE = external unnamed_addr constant
148 // CHECK-OPT-DAG: @_ZTV1FIiE = available_externally unnamed_addr constant
149
150 // E<int> is an explicit template instantiation declaration. It has a
151 // key function is not instantiated, so we know that vtable definition
152 // will be generated in TU where key function will be defined
153 // so we can mark it as external (without optimizations) and
154 // available_externally (with optimizations) because all of the inline
155 // virtual functions have been emitted.
156 // CHECK-DAG: @_ZTV1EIiE = external unnamed_addr constant
157 // CHECK-OPT-DAG: @_ZTV1EIiE = available_externally unnamed_addr constant
158
159 // The anonymous struct for e has no linkage, so the vtable should have
160 // internal linkage.
161 // CHECK-DAG: @"_ZTV3$_0" = internal unnamed_addr constant
162 // CHECK-DAG: @"_ZTS3$_0" = internal constant
163 // CHECK-DAG: @"_ZTI3$_0" = internal constant
164
165 // The A vtable should have internal linkage since it is inside an anonymous
166 // namespace.
167 // CHECK-DAG: @_ZTVN12_GLOBAL__N_11AE = internal unnamed_addr constant
168 // CHECK-DAG: @_ZTSN12_GLOBAL__N_11AE = internal constant
169 // CHECK-DAG: @_ZTIN12_GLOBAL__N_11AE = internal constant
170
171 // F<char> is an explicit specialization without a key function, so
172 // its vtable should have linkonce_odr linkage.
173 // CHECK-DAG: @_ZTV1FIcE = linkonce_odr unnamed_addr constant {{.*}}, comdat,
174 // CHECK-DAG: @_ZTS1FIcE = linkonce_odr constant {{.*}}, comdat, align 1{{$}}
175 // CHECK-DAG: @_ZTI1FIcE = linkonce_odr constant {{.*}}, comdat, align 8{{$}}
176
177 // CHECK-DAG: @_ZTV1GIiE = linkonce_odr unnamed_addr constant {{.*}}, comdat,
178 template <typename T>
179 class G {
180 public:
G()181 G() {}
182 virtual void f0();
183 virtual void f1();
184 };
185 template <>
f1()186 void G<int>::f1() {}
187 template <typename T>
f0()188 void G<T>::f0() {}
G_f0()189 void G_f0() { new G<int>(); }
190
191 // H<int> has a key function without a body but it's a template instantiation
192 // so its VTable must be emitted.
193 // CHECK-DAG: @_ZTV1HIiE = linkonce_odr unnamed_addr constant {{.*}}, comdat,
194 template <typename T>
195 class H {
196 public:
197 virtual ~H();
198 };
199
use_H()200 void use_H() {
201 H<int> h;
202 }
203
204 // I<int> has an explicit instantiation declaration and needs a VTT and
205 // construction vtables.
206
207 // CHECK-DAG: @_ZTV1IIiE = external unnamed_addr constant
208 // CHECK-DAG: @_ZTT1IIiE = external unnamed_addr constant
209 // CHECK-NOT: @_ZTC1IIiE
210 //
211 // CHECK-OPT-DAG: @_ZTV1IIiE = available_externally unnamed_addr constant
212 // CHECK-OPT-DAG: @_ZTT1IIiE = available_externally unnamed_addr constant
213 struct VBase1 { virtual void f(); }; struct VBase2 : virtual VBase1 {};
214 template<typename T>
215 struct I : VBase2 {};
216 extern template struct I<int>;
217 I<int> i;
218