| Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 %s -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 | |
| Reid Kleckner | c47063e | 2013-09-04 00:54:24 +0000 | [diff] [blame^] | 15 | // CHECK: @llvm.global_ctors = appending global [5 x { i32, void ()* }] |
| 16 | // CHECK: [{ i32, void ()* } { i32 65535, void ()* @[[unordered1:[^ ]*]] }, |
| 17 | // CHECK: { i32, void ()* } { i32 65535, void ()* @[[unordered2:[^ ]*]] }, |
| 18 | // CHECK: { i32, void ()* } { i32 65535, void ()* @[[unordered3:[^ ]*]] }, |
| 19 | // CHECK: { i32, void ()* } { i32 65535, void ()* @[[unordered4:[^ ]*]] }, |
| Reid Kleckner | b969e84 | 2013-08-22 20:07:45 +0000 | [diff] [blame] | 20 | // CHECK: { i32, void ()* } { i32 65535, void ()* @_GLOBAL__I_a }] |
| Anders Carlsson | 1b3171d | 2009-12-04 23:50:01 +0000 | [diff] [blame] | 21 | |
| Reid Kleckner | c47063e | 2013-09-04 00:54:24 +0000 | [diff] [blame^] | 22 | template int A<short>::a; // Unordered |
| 23 | int b = foo(); |
| 24 | int c = foo(); |
| 25 | int d = A<void>::a; // Unordered |
| Reid Kleckner | b969e84 | 2013-08-22 20:07:45 +0000 | [diff] [blame] | 26 | |
| 27 | // An explicit specialization is ordered, and goes in __GLOBAL_I_a. |
| 28 | template<> struct A<int> { static int a; }; |
| 29 | int A<int>::a = foo(); |
| 30 | |
| Reid Kleckner | c47063e | 2013-09-04 00:54:24 +0000 | [diff] [blame^] | 31 | template<typename T> struct S { static T x; static T y; }; |
| 32 | template<> int S<int>::x = foo(); |
| 33 | template<> int S<int>::y = S<int>::x; |
| 34 | |
| 35 | template<typename T> T x = foo(); |
| 36 | template short x<short>; // Unordered |
| 37 | template<> int x<int> = foo(); |
| 38 | int e = x<char>; // Unordered |
| 39 | |
| 40 | // CHECK: define internal void @[[unordered1]] |
| Reid Kleckner | b969e84 | 2013-08-22 20:07:45 +0000 | [diff] [blame] | 41 | // CHECK: call i32 @foo() |
| 42 | // CHECK: store {{.*}} @_ZN1AIsE1aE |
| 43 | // CHECK: ret |
| 44 | |
| Reid Kleckner | c47063e | 2013-09-04 00:54:24 +0000 | [diff] [blame^] | 45 | // CHECK: define internal void @[[unordered2]] |
| 46 | // CHECK: call i32 @foo() |
| 47 | // CHECK: store {{.*}} @_Z1xIsE |
| 48 | // CHECK: ret |
| 49 | |
| 50 | // CHECK: define internal void @[[unordered3]] |
| 51 | // CHECK: call i32 @foo() |
| 52 | // CHECK: store {{.*}} @_ZN1AIvE1aE |
| 53 | // CHECK: ret |
| 54 | |
| 55 | // CHECK: define internal void @[[unordered4]] |
| 56 | // CHECK: call i32 @foo() |
| 57 | // CHECK: store {{.*}} @_Z1xIcE |
| 58 | // CHECK: ret |
| 59 | |
| Reid Kleckner | b969e84 | 2013-08-22 20:07:45 +0000 | [diff] [blame] | 60 | // CHECK: define internal void @_GLOBAL__I_a() |
| 61 | // We call unique stubs for every ordered dynamic initializer in the TU. |
| 62 | // CHECK: call |
| 63 | // CHECK: call |
| 64 | // CHECK: call |
| Reid Kleckner | c47063e | 2013-09-04 00:54:24 +0000 | [diff] [blame^] | 65 | // CHECK: call |
| 66 | // CHECK: call |
| 67 | // CHECK: call |
| 68 | // CHECK: call |
| 69 | // CHECK: call |
| Reid Kleckner | b969e84 | 2013-08-22 20:07:45 +0000 | [diff] [blame] | 70 | // CHECK-NOT: call |
| 71 | // CHECK: ret |