| David Blaikie | 0d520f7 | 2013-09-04 21:07:37 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 %s -std=c++1y -triple=x86_64-apple-darwin10 -emit-llvm -o - | FileCheck %s |
| Anders Carlsson | 1b3171d | 2009-12-04 23:50:01 +0000 | [diff] [blame] | 2 | // CHECK: ; ModuleID |
| Reid Kleckner | b969e84 | 2013-08-22 20:07:45 +0000 | [diff] [blame] | 3 | |
| Reid Kleckner | c47063e | 2013-09-04 00:54:24 +0000 | [diff] [blame] | 4 | extern "C" int foo(); |
| 5 | |
| 6 | template<typename T> struct A { static int a; }; |
| 7 | template<typename T> int A<T>::a = foo(); |
| Anders Carlsson | 1b3171d | 2009-12-04 23:50:01 +0000 | [diff] [blame] | 8 | |
| 9 | // CHECK-NOT: @_ZN1AIcE1aE |
| 10 | template<> int A<char>::a; |
| 11 | |
| 12 | // CHECK: @_ZN1AIbE1aE = global i32 10 |
| 13 | template<> int A<bool>::a = 10; |
| 14 | |
| Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 15 | // CHECK: @llvm.global_ctors = appending global [7 x { i32, void ()*, i8* }] |
| 16 | // CHECK: [{ i32, void ()*, i8* } { i32 65535, void ()* @[[unordered1:[^,]*]], i8* bitcast (i32* @_ZN1AIsE1aE to i8*) }, |
| 17 | // CHECK: { i32, void ()*, i8* } { i32 65535, void ()* @[[unordered2:[^,]*]], i8* bitcast (i16* @_Z1xIsE to i8*) }, |
| 18 | // CHECK: { i32, void ()*, i8* } { i32 65535, void ()* @[[unordered3:[^,]*]], i8* bitcast (i32* @_ZN2ns1aIiE1iE to i8*) }, |
| 19 | // CHECK: { i32, void ()*, i8* } { i32 65535, void ()* @[[unordered4:[^,]*]], i8* bitcast (i32* @_ZN2ns1b1iIiEE to i8*) }, |
| 20 | // CHECK: { i32, void ()*, i8* } { i32 65535, void ()* @[[unordered5:[^,]*]], i8* bitcast (i32* @_ZN1AIvE1aE to i8*) }, |
| 21 | // CHECK: { i32, void ()*, i8* } { i32 65535, void ()* @[[unordered6:[^,]*]], i8* @_Z1xIcE }, |
| 22 | // CHECK: { i32, void ()*, i8* } { i32 65535, void ()* @_GLOBAL__sub_I_static_member_variable_explicit_specialization.cpp, i8* null }] |
| Anders Carlsson | 1b3171d | 2009-12-04 23:50:01 +0000 | [diff] [blame] | 23 | |
| Reid Kleckner | c47063e | 2013-09-04 00:54:24 +0000 | [diff] [blame] | 24 | template int A<short>::a; // Unordered |
| 25 | int b = foo(); |
| 26 | int c = foo(); |
| 27 | int d = A<void>::a; // Unordered |
| Reid Kleckner | b969e84 | 2013-08-22 20:07:45 +0000 | [diff] [blame] | 28 | |
| Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 29 | // An explicit specialization is ordered, and goes in __GLOBAL_sub_I_static_member_variable_explicit_specialization.cpp. |
| Reid Kleckner | b969e84 | 2013-08-22 20:07:45 +0000 | [diff] [blame] | 30 | template<> struct A<int> { static int a; }; |
| 31 | int A<int>::a = foo(); |
| 32 | |
| Reid Kleckner | c47063e | 2013-09-04 00:54:24 +0000 | [diff] [blame] | 33 | template<typename T> struct S { static T x; static T y; }; |
| 34 | template<> int S<int>::x = foo(); |
| 35 | template<> int S<int>::y = S<int>::x; |
| 36 | |
| 37 | template<typename T> T x = foo(); |
| 38 | template short x<short>; // Unordered |
| 39 | template<> int x<int> = foo(); |
| 40 | int e = x<char>; // Unordered |
| 41 | |
| David Blaikie | 0d520f7 | 2013-09-04 21:07:37 +0000 | [diff] [blame] | 42 | namespace ns { |
| 43 | template <typename T> struct a { |
| 44 | static int i; |
| 45 | }; |
| 46 | template<typename T> int a<T>::i = foo(); |
| 47 | template struct a<int>; |
| 48 | |
| 49 | struct b { |
| 50 | template <typename T> static T i; |
| 51 | }; |
| Richard Smith | ecbce69 | 2013-09-24 04:49:23 +0000 | [diff] [blame] | 52 | template<typename T> T b::i = foo(); |
| David Blaikie | 0d520f7 | 2013-09-04 21:07:37 +0000 | [diff] [blame] | 53 | template int b::i<int>; |
| 54 | } |
| Reid Kleckner | c47063e | 2013-09-04 00:54:24 +0000 | [diff] [blame] | 55 | // CHECK: define internal void @[[unordered1]] |
| Reid Kleckner | b969e84 | 2013-08-22 20:07:45 +0000 | [diff] [blame] | 56 | // CHECK: call i32 @foo() |
| 57 | // CHECK: store {{.*}} @_ZN1AIsE1aE |
| 58 | // CHECK: ret |
| 59 | |
| Reid Kleckner | c47063e | 2013-09-04 00:54:24 +0000 | [diff] [blame] | 60 | // CHECK: define internal void @[[unordered2]] |
| 61 | // CHECK: call i32 @foo() |
| 62 | // CHECK: store {{.*}} @_Z1xIsE |
| 63 | // CHECK: ret |
| 64 | |
| 65 | // CHECK: define internal void @[[unordered3]] |
| 66 | // CHECK: call i32 @foo() |
| David Blaikie | 0d520f7 | 2013-09-04 21:07:37 +0000 | [diff] [blame] | 67 | // CHECK: store {{.*}} @_ZN2ns1aIiE1iE |
| Reid Kleckner | c47063e | 2013-09-04 00:54:24 +0000 | [diff] [blame] | 68 | // CHECK: ret |
| 69 | |
| 70 | // CHECK: define internal void @[[unordered4]] |
| 71 | // CHECK: call i32 @foo() |
| David Blaikie | 0d520f7 | 2013-09-04 21:07:37 +0000 | [diff] [blame] | 72 | // CHECK: store {{.*}} @_ZN2ns1b1iIiEE |
| 73 | // CHECK: ret |
| 74 | |
| 75 | // CHECK: define internal void @[[unordered5]] |
| 76 | // CHECK: call i32 @foo() |
| 77 | // CHECK: store {{.*}} @_ZN1AIvE1aE |
| 78 | // CHECK: ret |
| 79 | |
| 80 | // CHECK: define internal void @[[unordered6]] |
| 81 | // CHECK: call i32 @foo() |
| Reid Kleckner | c47063e | 2013-09-04 00:54:24 +0000 | [diff] [blame] | 82 | // CHECK: store {{.*}} @_Z1xIcE |
| 83 | // CHECK: ret |
| 84 | |
| Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 85 | // CHECK: define internal void @_GLOBAL__sub_I_static_member_variable_explicit_specialization.cpp() |
| Reid Kleckner | b969e84 | 2013-08-22 20:07:45 +0000 | [diff] [blame] | 86 | // We call unique stubs for every ordered dynamic initializer in the TU. |
| 87 | // CHECK: call |
| 88 | // CHECK: call |
| 89 | // CHECK: call |
| Reid Kleckner | c47063e | 2013-09-04 00:54:24 +0000 | [diff] [blame] | 90 | // CHECK: call |
| 91 | // CHECK: call |
| 92 | // CHECK: call |
| 93 | // CHECK: call |
| 94 | // CHECK: call |
| Reid Kleckner | b969e84 | 2013-08-22 20:07:45 +0000 | [diff] [blame] | 95 | // CHECK-NOT: call |
| 96 | // CHECK: ret |