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