1 // RUN: %clang_cc1 %s -std=c++1y -triple=x86_64-pc-linux -emit-llvm -o - | FileCheck --check-prefix=ELF --check-prefix=ALL %s 2 // RUN: %clang_cc1 %s -std=c++1y -triple=x86_64-apple-darwin -emit-llvm -o - | FileCheck --check-prefix=MACHO --check-prefix=ALL %s 3 4 // ALL: ; ModuleID 5 6 extern "C" int foo(); 7 8 template<typename T> struct A { static int a; }; 9 template<typename T> int A<T>::a = foo(); 10 11 // ALLK-NOT: @_ZN1AIcE1aE 12 template<> int A<char>::a; 13 14 // ALL: @_ZN1AIbE1aE = global i32 10 15 template<> int A<bool>::a = 10; 16 17 // ALL: @llvm.global_ctors = appending global [8 x { i32, void ()*, i8* }] 18 19 // ELF: [{ i32, void ()*, i8* } { i32 65535, void ()* @[[unordered1:[^,]*]], i8* bitcast (i32* @_ZN1AIsE1aE to i8*) }, 20 // MACHO: [{ i32, void ()*, i8* } { i32 65535, void ()* @[[unordered1:[^,]*]], i8* null }, 21 22 // ELF: { i32, void ()*, i8* } { i32 65535, void ()* @[[unordered2:[^,]*]], i8* bitcast (i16* @_Z1xIsE to i8*) }, 23 // MACHO: { i32, void ()*, i8* } { i32 65535, void ()* @[[unordered2:[^,]*]], i8* null }, 24 25 // ELF: { i32, void ()*, i8* } { i32 65535, void ()* @[[unordered3:[^,]*]], i8* bitcast (i32* @_ZN2ns1aIiE1iE to i8*) }, 26 // MACHO: { i32, void ()*, i8* } { i32 65535, void ()* @[[unordered3:[^,]*]], i8* null }, 27 28 // ELF: { i32, void ()*, i8* } { i32 65535, void ()* @[[unordered4:[^,]*]], i8* bitcast (i32* @_ZN2ns1b1iIiEE to i8*) }, 29 // MACHO: { i32, void ()*, i8* } { i32 65535, void ()* @[[unordered4:[^,]*]], i8* null }, 30 31 // ELF: { i32, void ()*, i8* } { i32 65535, void ()* @[[unordered5:[^,]*]], i8* bitcast (i32* @_ZN1AIvE1aE to i8*) }, 32 // MACHO: { i32, void ()*, i8* } { i32 65535, void ()* @[[unordered5:[^,]*]], i8* null }, 33 34 // ELF: { i32, void ()*, i8* } { i32 65535, void ()* @[[unordered6:[^,]*]], i8* @_Z1xIcE }, 35 // MACHO: { i32, void ()*, i8* } { i32 65535, void ()* @[[unordered6:[^,]*]], i8* null }, 36 37 // ALL: { i32, void ()*, i8* } { i32 65535, void ()* @[[unordered7:[^,]*]], i8* null }, 38 39 // ALL: { i32, void ()*, i8* } { i32 65535, void ()* @_GLOBAL__sub_I_static_member_variable_explicit_specialization.cpp, i8* null }] 40 41 template int A<short>::a; // Unordered 42 int b = foo(); 43 int c = foo(); 44 int d = A<void>::a; // Unordered 45 46 // An explicit specialization is ordered, and goes in __GLOBAL_sub_I_static_member_variable_explicit_specialization.cpp. 47 template<> struct A<int> { static int a; }; 48 int A<int>::a = foo(); 49 50 template<typename T> struct S { static T x; static T y; }; 51 template<> int S<int>::x = foo(); 52 template<> int S<int>::y = S<int>::x; 53 54 template<typename T> T x = foo(); 55 template short x<short>; // Unordered 56 template<> int x<int> = foo(); 57 int e = x<char>; // Unordered 58 59 namespace ns { 60 template <typename T> struct a { 61 static int i; 62 }; 63 template<typename T> int a<T>::i = foo(); 64 template struct a<int>; 65 66 struct b { 67 template <typename T> static T i; 68 }; 69 template<typename T> T b::i = foo(); 70 template int b::i<int>; 71 } 72 73 namespace { 74 template<typename T> struct Internal { static int a; }; 75 template<typename T> int Internal<T>::a = foo(); 76 } 77 int *use_internal_a = &Internal<int>::a; 78 79 // ALL: define internal void @[[unordered1]]( 80 // ALL: call i32 @foo() 81 // ALL: store {{.*}} @_ZN1AIsE1aE 82 // ALL: ret 83 84 // ALL: define internal void @[[unordered2]]( 85 // ALL: call i32 @foo() 86 // ALL: store {{.*}} @_Z1xIsE 87 // ALL: ret 88 89 // ALL: define internal void @[[unordered3]]( 90 // ALL: call i32 @foo() 91 // ALL: store {{.*}} @_ZN2ns1aIiE1iE 92 // ALL: ret 93 94 // ALL: define internal void @[[unordered4]]( 95 // ALL: call i32 @foo() 96 // ALL: store {{.*}} @_ZN2ns1b1iIiEE 97 // ALL: ret 98 99 // ALL: define internal void @[[unordered5]]( 100 // ALL: call i32 @foo() 101 // ALL: store {{.*}} @_ZN1AIvE1aE 102 // ALL: ret 103 104 // ALL: define internal void @[[unordered6]]( 105 // ALL: call i32 @foo() 106 // ALL: store {{.*}} @_Z1xIcE 107 // ALL: ret 108 109 // ALL: define internal void @[[unordered7]]( 110 // ALL: call i32 @foo() 111 // ALL: store {{.*}} @_ZN12_GLOBAL__N_18InternalIiE1aE 112 // ALL: ret 113 114 // ALL: define internal void @_GLOBAL__sub_I_static_member_variable_explicit_specialization.cpp() 115 // We call unique stubs for every ordered dynamic initializer in the TU. 116 // ALL: call 117 // ALL: call 118 // ALL: call 119 // ALL: call 120 // ALL: call 121 // ALL: call 122 // ALL: call 123 // ALL: call 124 // ALL-NOT: call 125 // ALL: ret 126