1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
|
// 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__I_a }]
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_I_a.
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__I_a()
// 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
|
