mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-20 03:55:48 -04:00
bdc969839a
This makes it easier to see where a global ctor comes from, and it also makes
ASan's init order analyzer output easier to understand. gcc does this too,
but only in -fPIC mode for some reason. Don't do this for constructors with
explicit init priority.
Also prepend "sub_" before the 'I', that way regular constructors stay
lexicographically after symbols with init priority (because
ord('s') > ord('I')). gold seems to ignore the name of constructor symbols,
and ld only looks at the symbol if it includes an init priority, which this
patch doesn't change.
Before: __GLOBAL_I_a
Now: __GLOBAL_sub_I_myfile.cc
llvm-svn: 208128
97 lines
2.8 KiB
C++
97 lines
2.8 KiB
C++
// RUN: %clang_cc1 %s -std=c++1y -triple=x86_64-apple-darwin10 -emit-llvm -o - | FileCheck %s
|
|
// CHECK: ; ModuleID
|
|
|
|
extern "C" int foo();
|
|
|
|
template<typename T> struct A { static int a; };
|
|
template<typename T> int A<T>::a = foo();
|
|
|
|
// CHECK-NOT: @_ZN1AIcE1aE
|
|
template<> int A<char>::a;
|
|
|
|
// CHECK: @_ZN1AIbE1aE = global i32 10
|
|
template<> int A<bool>::a = 10;
|
|
|
|
// CHECK: @llvm.global_ctors = appending global [7 x { i32, void ()* }]
|
|
// CHECK: [{ i32, void ()* } { i32 65535, void ()* @[[unordered1:[^ ]*]] },
|
|
// CHECK: { i32, void ()* } { i32 65535, void ()* @[[unordered2:[^ ]*]] },
|
|
// CHECK: { i32, void ()* } { i32 65535, void ()* @[[unordered3:[^ ]*]] },
|
|
// CHECK: { i32, void ()* } { i32 65535, void ()* @[[unordered4:[^ ]*]] },
|
|
// CHECK: { i32, void ()* } { i32 65535, void ()* @[[unordered5:[^ ]*]] },
|
|
// CHECK: { i32, void ()* } { i32 65535, void ()* @[[unordered6:[^ ]*]] },
|
|
// CHECK: { i32, void ()* } { i32 65535, void ()* @_GLOBAL__sub_I_static_member_variable_explicit_specialization.cpp }]
|
|
|
|
template int A<short>::a; // Unordered
|
|
int b = foo();
|
|
int c = foo();
|
|
int d = A<void>::a; // Unordered
|
|
|
|
// An explicit specialization is ordered, and goes in __GLOBAL_sub_I_static_member_variable_explicit_specialization.cpp.
|
|
template<> struct A<int> { static int a; };
|
|
int A<int>::a = foo();
|
|
|
|
template<typename T> struct S { static T x; static T y; };
|
|
template<> int S<int>::x = foo();
|
|
template<> int S<int>::y = S<int>::x;
|
|
|
|
template<typename T> T x = foo();
|
|
template short x<short>; // Unordered
|
|
template<> int x<int> = foo();
|
|
int e = x<char>; // Unordered
|
|
|
|
namespace ns {
|
|
template <typename T> struct a {
|
|
static int i;
|
|
};
|
|
template<typename T> int a<T>::i = foo();
|
|
template struct a<int>;
|
|
|
|
struct b {
|
|
template <typename T> static T i;
|
|
};
|
|
template<typename T> T b::i = foo();
|
|
template int b::i<int>;
|
|
}
|
|
// CHECK: define internal void @[[unordered1]]
|
|
// CHECK: call i32 @foo()
|
|
// CHECK: store {{.*}} @_ZN1AIsE1aE
|
|
// CHECK: ret
|
|
|
|
// CHECK: define internal void @[[unordered2]]
|
|
// CHECK: call i32 @foo()
|
|
// CHECK: store {{.*}} @_Z1xIsE
|
|
// CHECK: ret
|
|
|
|
// CHECK: define internal void @[[unordered3]]
|
|
// CHECK: call i32 @foo()
|
|
// CHECK: store {{.*}} @_ZN2ns1aIiE1iE
|
|
// CHECK: ret
|
|
|
|
// CHECK: define internal void @[[unordered4]]
|
|
// CHECK: call i32 @foo()
|
|
// CHECK: store {{.*}} @_ZN2ns1b1iIiEE
|
|
// CHECK: ret
|
|
|
|
// CHECK: define internal void @[[unordered5]]
|
|
// CHECK: call i32 @foo()
|
|
// CHECK: store {{.*}} @_ZN1AIvE1aE
|
|
// CHECK: ret
|
|
|
|
// CHECK: define internal void @[[unordered6]]
|
|
// CHECK: call i32 @foo()
|
|
// CHECK: store {{.*}} @_Z1xIcE
|
|
// CHECK: ret
|
|
|
|
// CHECK: define internal void @_GLOBAL__sub_I_static_member_variable_explicit_specialization.cpp()
|
|
// We call unique stubs for every ordered dynamic initializer in the TU.
|
|
// CHECK: call
|
|
// CHECK: call
|
|
// CHECK: call
|
|
// CHECK: call
|
|
// CHECK: call
|
|
// CHECK: call
|
|
// CHECK: call
|
|
// CHECK: call
|
|
// CHECK-NOT: call
|
|
// CHECK: ret
|