From 222e2a7620e6520ffaf4fc4e69d79c18da31542e Mon Sep 17 00:00:00 2001 From: "Zancanaro; Carlo" Date: Mon, 24 Sep 2012 09:58:17 +1000 Subject: Add the clang library to the repo (with some of my changes, too). --- clang/test/CodeGenCXX/vtable-linkage.cpp | 216 +++++++++++++++++++++++++++++++ 1 file changed, 216 insertions(+) create mode 100644 clang/test/CodeGenCXX/vtable-linkage.cpp (limited to 'clang/test/CodeGenCXX/vtable-linkage.cpp') diff --git a/clang/test/CodeGenCXX/vtable-linkage.cpp b/clang/test/CodeGenCXX/vtable-linkage.cpp new file mode 100644 index 0000000..4633a3f --- /dev/null +++ b/clang/test/CodeGenCXX/vtable-linkage.cpp @@ -0,0 +1,216 @@ +// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -o %t +// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -fhidden-weak-vtables -emit-llvm -o %t.hidden +// RUN: FileCheck --check-prefix=CHECK-1 %s < %t +// RUN: FileCheck --check-prefix=CHECK-2 %s < %t +// RUN: FileCheck --check-prefix=CHECK-2-HIDDEN %s < %t.hidden +// RUN: FileCheck --check-prefix=CHECK-3 %s < %t +// RUN: FileCheck --check-prefix=CHECK-4 %s < %t +// RUN: FileCheck --check-prefix=CHECK-5 %s < %t +// RUN: FileCheck --check-prefix=CHECK-5-HIDDEN %s < %t.hidden +// RUN: FileCheck --check-prefix=CHECK-6 %s < %t +// RUN: FileCheck --check-prefix=CHECK-6-HIDDEN %s < %t.hidden +// RUN: FileCheck --check-prefix=CHECK-7 %s < %t +// RUN: FileCheck --check-prefix=CHECK-8 %s < %t +// RUN: FileCheck --check-prefix=CHECK-9 %s < %t +// RUN: FileCheck --check-prefix=CHECK-10 %s < %t +// RUN: FileCheck --check-prefix=CHECK-11 %s < %t +// RUN: FileCheck --check-prefix=CHECK-12 %s < %t +// RUN: FileCheck --check-prefix=CHECK-13 %s < %t + +namespace { + struct A { + virtual void f() { } + }; +} + +void f() { A b; } + +struct B { + B(); + virtual void f(); +}; + +B::B() { } + +struct C : virtual B { + C(); + virtual void f() { } +}; + +C::C() { } + +struct D { + virtual void f(); +}; + +void D::f() { } + +static struct : D { } e; + +// The destructor is the key function. +template +struct E { + virtual ~E(); +}; + +template E::~E() { } + +// Anchor is the key function +template<> +struct E { + virtual void anchor(); +}; + +void E::anchor() { } + +template struct E; +extern template struct E; + +void use_E() { + E ei; + (void)ei; + E el; + (void)el; +} + +// No key function +template +struct F { + virtual void foo() { } +}; + +// No key function +template<> +struct F { + virtual void foo() { } +}; + +template struct F; +extern template struct F; + +void use_F() { + F fc; + fc.foo(); + F fi; + fi.foo(); + F fl; + (void)fl; +} + +// B has a key function that is not defined in this translation unit so its vtable +// has external linkage. +// CHECK-1: @_ZTV1B = external unnamed_addr constant + +// C has no key function, so its vtable should have weak_odr linkage +// and hidden visibility (rdar://problem/7523229). +// CHECK-2: @_ZTV1C = linkonce_odr unnamed_addr constant +// CHECK-2: @_ZTS1C = linkonce_odr constant +// CHECK-2: @_ZTI1C = linkonce_odr unnamed_addr constant +// CHECK-2: @_ZTT1C = linkonce_odr unnamed_addr constant +// CHECK-2-HIDDEN: @_ZTV1C = linkonce_odr hidden unnamed_addr constant +// CHECK-2-HIDDEN: @_ZTS1C = linkonce_odr constant +// CHECK-2-HIDDEN: @_ZTI1C = linkonce_odr hidden unnamed_addr constant +// CHECK-2-HIDDEN: @_ZTT1C = linkonce_odr hidden unnamed_addr constant + +// D has a key function that is defined in this translation unit so its vtable is +// defined in the translation unit. +// CHECK-3: @_ZTV1D = unnamed_addr constant +// CHECK-3: @_ZTS1D = constant +// CHECK-3: @_ZTI1D = unnamed_addr constant + +// E is an explicit specialization with a key function defined +// in this translation unit, so its vtable should have external +// linkage. +// CHECK-4: @_ZTV1EIcE = unnamed_addr constant +// CHECK-4: @_ZTS1EIcE = constant +// CHECK-4: @_ZTI1EIcE = unnamed_addr constant + +// E is an explicit template instantiation with a key function +// defined in this translation unit, so its vtable should have +// weak_odr linkage. +// CHECK-5: @_ZTV1EIsE = weak_odr unnamed_addr constant +// CHECK-5: @_ZTS1EIsE = weak_odr constant +// CHECK-5: @_ZTI1EIsE = weak_odr unnamed_addr constant +// CHECK-5-HIDDEN: @_ZTV1EIsE = weak_odr unnamed_addr constant +// CHECK-5-HIDDEN: @_ZTS1EIsE = weak_odr constant +// CHECK-5-HIDDEN: @_ZTI1EIsE = weak_odr unnamed_addr constant + +// F is an explicit template instantiation without a key +// function, so its vtable should have weak_odr linkage +// CHECK-6: @_ZTV1FIsE = weak_odr unnamed_addr constant +// CHECK-6: @_ZTS1FIsE = weak_odr constant +// CHECK-6: @_ZTI1FIsE = weak_odr unnamed_addr constant +// CHECK-6-HIDDEN: @_ZTV1FIsE = weak_odr unnamed_addr constant +// CHECK-6-HIDDEN: @_ZTS1FIsE = weak_odr constant +// CHECK-6-HIDDEN: @_ZTI1FIsE = weak_odr unnamed_addr constant + +// E is an implicit template instantiation with a key function +// defined in this translation unit, so its vtable should have +// linkonce_odr linkage. +// CHECK-7: @_ZTV1EIlE = linkonce_odr unnamed_addr constant +// CHECK-7: @_ZTS1EIlE = linkonce_odr constant +// CHECK-7: @_ZTI1EIlE = linkonce_odr unnamed_addr constant + +// F is an implicit template instantiation with no key function, +// so its vtable should have linkonce_odr linkage. +// CHECK-8: @_ZTV1FIlE = linkonce_odr unnamed_addr constant +// CHECK-8: @_ZTS1FIlE = linkonce_odr constant +// CHECK-8: @_ZTI1FIlE = linkonce_odr unnamed_addr constant + +// F is an explicit template instantiation declaration without a +// key function, so its vtable should have external linkage. +// CHECK-9: @_ZTV1FIiE = external unnamed_addr constant + +// E is an explicit template instantiation declaration. It has a +// key function that is not instantiated, so we should only reference +// its vtable, not define it. +// CHECK-10: @_ZTV1EIiE = external unnamed_addr constant + +// The anonymous struct for e has no linkage, so the vtable should have +// internal linkage. +// CHECK-11: @"_ZTV3$_0" = internal unnamed_addr constant +// CHECK-11: @"_ZTS3$_0" = internal constant +// CHECK-11: @"_ZTI3$_0" = internal unnamed_addr constant + +// The A vtable should have internal linkage since it is inside an anonymous +// namespace. +// CHECK-12: @_ZTVN12_GLOBAL__N_11AE = internal unnamed_addr constant +// CHECK-12: @_ZTSN12_GLOBAL__N_11AE = internal constant +// CHECK-12: @_ZTIN12_GLOBAL__N_11AE = internal unnamed_addr constant + +// F is an explicit specialization without a key function, so +// its vtable should have linkonce_odr linkage. +// CHECK-13: @_ZTV1FIcE = linkonce_odr unnamed_addr constant +// CHECK-13: @_ZTS1FIcE = linkonce_odr constant +// CHECK-13: @_ZTI1FIcE = linkonce_odr unnamed_addr constant + +// RUN: FileCheck --check-prefix=CHECK-G %s < %t +// +// CHECK-G: @_ZTV1GIiE = linkonce_odr unnamed_addr constant +template +class G { +public: + G() {} + virtual void f0(); + virtual void f1(); +}; +template <> +void G::f1() {} +template +void G::f0() {} +void G_f0() { new G(); } + +// RUN: FileCheck --check-prefix=CHECK-H %s < %t + +// H has a key function without a body but it's a template instantiation +// so its VTable must be emitted. +// CHECK-H: @_ZTV1HIiE = linkonce_odr unnamed_addr constant +template +class H { +public: + virtual ~H(); +}; + +void use_H() { + H h; +} -- cgit v1.2.3