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