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 [7 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 ()* @_GLOBAL__sub_I_static_member_variable_explicit_specialization.cpp, i8* null }] 38 39 template int A<short>::a; // Unordered 40 int b = foo(); 41 int c = foo(); 42 int d = A<void>::a; // Unordered 43 44 // An explicit specialization is ordered, and goes in __GLOBAL_sub_I_static_member_variable_explicit_specialization.cpp. 45 template<> struct A<int> { static int a; }; 46 int A<int>::a = foo(); 47 48 template<typename T> struct S { static T x; static T y; }; 49 template<> int S<int>::x = foo(); 50 template<> int S<int>::y = S<int>::x; 51 52 template<typename T> T x = foo(); 53 template short x<short>; // Unordered 54 template<> int x<int> = foo(); 55 int e = x<char>; // Unordered 56 57 namespace ns { 58 template <typename T> struct a { 59 static int i; 60 }; 61 template<typename T> int a<T>::i = foo(); 62 template struct a<int>; 63 64 struct b { 65 template <typename T> static T i; 66 }; 67 template<typename T> T b::i = foo(); 68 template int b::i<int>; 69 } 70 // ALL: define internal void @[[unordered1]] 71 // ALL: call i32 @foo() 72 // ALL: store {{.*}} @_ZN1AIsE1aE 73 // ALL: ret 74 75 // ALL: define internal void @[[unordered2]] 76 // ALL: call i32 @foo() 77 // ALL: store {{.*}} @_Z1xIsE 78 // ALL: ret 79 80 // ALL: define internal void @[[unordered3]] 81 // ALL: call i32 @foo() 82 // ALL: store {{.*}} @_ZN2ns1aIiE1iE 83 // ALL: ret 84 85 // ALL: define internal void @[[unordered4]] 86 // ALL: call i32 @foo() 87 // ALL: store {{.*}} @_ZN2ns1b1iIiEE 88 // ALL: ret 89 90 // ALL: define internal void @[[unordered5]] 91 // ALL: call i32 @foo() 92 // ALL: store {{.*}} @_ZN1AIvE1aE 93 // ALL: ret 94 95 // ALL: define internal void @[[unordered6]] 96 // ALL: call i32 @foo() 97 // ALL: store {{.*}} @_Z1xIcE 98 // ALL: ret 99 100 // ALL: define internal void @_GLOBAL__sub_I_static_member_variable_explicit_specialization.cpp() 101 // We call unique stubs for every ordered dynamic initializer in the TU. 102 // ALL: call 103 // ALL: call 104 // ALL: call 105 // ALL: call 106 // ALL: call 107 // ALL: call 108 // ALL: call 109 // ALL: call 110 // ALL-NOT: call 111 // ALL: ret 112