1// RUN: %clang_cc1 -std=c++11 -triple x86_64-apple-macosx10.7.0 -emit-llvm -o - %s | FileCheck %s 2 3// CHECK: @_ZZNK7PR12917IJiiEE1nMUlvE_clEvE1n = linkonce_odr global i32 0 4// CHECK: @_ZZN7PR12917IJicdEEC1EicdEd_N1nE = linkonce_odr global i32 0 5// CHECK: @_ZZN7PR12917IJicdEEC1EicdEd0_N1nE = linkonce_odr global i32 0 6// CHECK: @_ZZN7PR12917IJicdEEC1EicdEd1_N1nE = linkonce_odr global i32 0 7 8// CHECK: define linkonce_odr void @_Z11inline_funci 9inline void inline_func(int n) { 10 // CHECK: call i32 @_ZZ11inline_funciENKUlvE_clEv 11 int i = []{ return 1; }(); 12 13 // CHECK: call i32 @_ZZ11inline_funciENKUlvE0_clEv 14 int j = [=] { return n + i; }(); 15 16 // CHECK: call double @_ZZ11inline_funciENKUlvE1_clEv 17 int k = [=] () -> double { return n + i; }(); 18 19 // CHECK: call i32 @_ZZ11inline_funciENKUliE_clEi 20 int l = [=] (int x) -> int { return x + i; }(n); 21 22 int inner(int i = []{ return 17; }()); 23 // CHECK: call i32 @_ZZ11inline_funciENKUlvE2_clEv 24 // CHECK-NEXT: call i32 @_Z5inneri 25 inner(); 26 27 // CHECK-NEXT: ret void 28} 29 30void call_inline_func() { 31 inline_func(17); 32} 33 34struct S { 35 void f(int = []{return 1;}() 36 + []{return 2;}(), 37 int = []{return 3;}()); 38 void g(int, int); 39}; 40 41void S::g(int i = []{return 1;}(), 42 int j = []{return 2; }()) {} 43 44// CHECK: define void @_Z6test_S1S 45void test_S(S s) { 46 // CHECK: call i32 @_ZZN1S1fEiiEd0_NKUlvE_clEv 47 // CHECK-NEXT: call i32 @_ZZN1S1fEiiEd0_NKUlvE0_clEv 48 // CHECK-NEXT: add nsw i32 49 // CHECK-NEXT: call i32 @_ZZN1S1fEiiEd_NKUlvE_clEv 50 // CHECK-NEXT: call void @_ZN1S1fEii 51 s.f(); 52 53 // NOTE: These manglings don't actually matter that much, because 54 // the lambdas in the default arguments of g() won't be seen by 55 // multiple translation units. We check them mainly to ensure that they don't 56 // get the special mangling for lambdas in in-class default arguments. 57 // CHECK: call i32 @"_ZNK1S3$_0clEv" 58 // CHECK-NEXT: call i32 @"_ZNK1S3$_1clEv" 59 // CHECK-NEXT: call void @_ZN1S1gEi 60 s.g(); 61 62 // CHECK-NEXT: ret void 63} 64 65// Check the linkage of the lambda call operators used in test_S. 66// CHECK: define linkonce_odr i32 @_ZZN1S1fEiiEd0_NKUlvE_clEv 67// CHECK: ret i32 1 68// CHECK: define linkonce_odr i32 @_ZZN1S1fEiiEd0_NKUlvE0_clEv 69// CHECK: ret i32 2 70// CHECK: define linkonce_odr i32 @_ZZN1S1fEiiEd_NKUlvE_clEv 71// CHECK: ret i32 3 72// CHECK: define internal i32 @"_ZNK1S3$_0clEv" 73// CHECK: ret i32 1 74// CHECK: define internal i32 @"_ZNK1S3$_1clEv" 75// CHECK: ret i32 2 76 77template<typename T> 78struct ST { 79 void f(T = []{return T() + 1;}() 80 + []{return T() + 2;}(), 81 T = []{return T(3);}()); 82}; 83 84// CHECK: define void @_Z7test_ST2STIdE 85void test_ST(ST<double> st) { 86 // CHECK: call double @_ZZN2STIdE1fEddEd0_NKUlvE_clEv 87 // CHECK-NEXT: call double @_ZZN2STIdE1fEddEd0_NKUlvE0_clEv 88 // CHECK-NEXT: fadd double 89 // CHECK-NEXT: call double @_ZZN2STIdE1fEddEd_NKUlvE_clEv 90 // CHECK-NEXT: call void @_ZN2STIdE1fEdd 91 st.f(); 92 93 // CHECK-NEXT: ret void 94} 95 96// Check the linkage of the lambda call operators used in test_ST. 97// CHECK: define linkonce_odr double @_ZZN2STIdE1fEddEd0_NKUlvE_clEv 98// CHECK: ret double 1 99// CHECK: define linkonce_odr double @_ZZN2STIdE1fEddEd0_NKUlvE0_clEv 100// CHECK: ret double 2 101// CHECK: define linkonce_odr double @_ZZN2STIdE1fEddEd_NKUlvE_clEv 102// CHECK: ret double 3 103 104template<typename T> 105struct StaticMembers { 106 static T x; 107 static T y; 108 static T z; 109}; 110 111template<typename T> int accept_lambda(T); 112 113template<typename T> 114T StaticMembers<T>::x = []{return 1;}() + []{return 2;}(); 115 116template<typename T> 117T StaticMembers<T>::y = []{return 3;}(); 118 119template<typename T> 120T StaticMembers<T>::z = accept_lambda([]{return 4;}); 121 122// CHECK: define internal void @__cxx_global_var_init() 123// CHECK: call i32 @_ZNK13StaticMembersIfE1xMUlvE_clEv 124// CHECK-NEXT: call i32 @_ZNK13StaticMembersIfE1xMUlvE0_clEv 125// CHECK-NEXT: add nsw 126// CHECK: define linkonce_odr i32 @_ZNK13StaticMembersIfE1xMUlvE_clEv 127// CHECK: ret i32 1 128// CHECK: define linkonce_odr i32 @_ZNK13StaticMembersIfE1xMUlvE0_clEv 129// CHECK: ret i32 2 130template float StaticMembers<float>::x; 131 132// CHECK: define internal void @__cxx_global_var_init1() 133// CHECK: call i32 @_ZNK13StaticMembersIfE1yMUlvE_clEv 134// CHECK: define linkonce_odr i32 @_ZNK13StaticMembersIfE1yMUlvE_clEv 135// CHECK: ret i32 3 136template float StaticMembers<float>::y; 137 138// CHECK: define internal void @__cxx_global_var_init2() 139// CHECK: call i32 @_Z13accept_lambdaIN13StaticMembersIfE1zMUlvE_EEiT_ 140// CHECK: declare i32 @_Z13accept_lambdaIN13StaticMembersIfE1zMUlvE_EEiT_() 141template float StaticMembers<float>::z; 142 143// CHECK: define internal void @__cxx_global_var_init3 144// CHECK: call i32 @"_ZNK13StaticMembersIdE3$_2clEv" 145// CHECK: define internal i32 @"_ZNK13StaticMembersIdE3$_2clEv" 146// CHECK: ret i32 42 147template<> double StaticMembers<double>::z = []{return 42; }(); 148 149template<typename T> 150void func_template(T = []{ return T(); }()); 151 152// CHECK: define void @_Z17use_func_templatev() 153void use_func_template() { 154 // CHECK: call i32 @"_ZZ13func_templateIiEvT_ENKS_IiE3$_3clEv" 155 func_template<int>(); 156} 157 158 159template<typename...T> struct PR12917 { 160 PR12917(T ...t = []{ static int n = 0; return ++n; }()); 161 162 static int n[3]; 163}; 164template<typename...T> int PR12917<T...>::n[3] = { 165 []{ static int n = 0; return ++n; }() 166}; 167 168// CHECK: call i32 @_ZZN7PR12917IJicdEEC1EicdEd1_NKUlvE_clEv( 169// CHECK: call i32 @_ZZN7PR12917IJicdEEC1EicdEd0_NKUlvE_clEv( 170// CHECK: call i32 @_ZZN7PR12917IJicdEEC1EicdEd_NKUlvE_clEv( 171// CHECK: call void @_ZN7PR12917IJicdEEC1Eicd( 172PR12917<int, char, double> pr12917; 173int *pr12917_p = PR12917<int, int>::n; 174 175namespace std { 176 struct type_info; 177} 178namespace PR12123 { 179 struct A { virtual ~A(); } g; 180 struct B { 181 void f(const std::type_info& x = typeid([]()->A& { return g; }())); 182 void h(); 183 }; 184 void B::h() { f(); } 185} 186// CHECK: define linkonce_odr %"struct.PR12123::A"* @_ZZN7PR121231B1fERKSt9type_infoEd_NKUlvE_clEv 187 188namespace PR12808 { 189 template <typename> struct B { 190 int a; 191 template <typename L> constexpr B(L&& x) : a(x()) { } 192 }; 193 template <typename> void b(int) { 194 [&]{ (void)B<int>([&]{ return 1; }); }(); 195 } 196 void f() { 197 b<int>(1); 198 } 199 // CHECK: define linkonce_odr void @_ZZN7PR128081bIiEEviENKS0_IiEUlvE_clEv 200 // CHECK: define linkonce_odr i32 @_ZZZN7PR128081bIiEEviENKS0_IiEUlvE_clEvENKUlvE_clEv 201} 202 203// CHECK: define linkonce_odr void @_Z1fIZZNK23TestNestedInstantiationclEvENKUlvE_clEvEUlvE_EvT_ 204 205struct Members { 206 int x = [] { return 1; }() + [] { return 2; }(); 207 int y = [] { return 3; }(); 208}; 209 210void test_Members() { 211 // CHECK: define linkonce_odr void @_ZN7MembersC2Ev 212 // CHECK: call i32 @_ZNK7Members1xMUlvE_clEv 213 // CHECK-NEXT: call i32 @_ZNK7Members1xMUlvE0_clE 214 // CHECK-NEXT: add nsw i32 215 // CHECK: call i32 @_ZNK7Members1yMUlvE_clEv 216 Members members; 217 // CHECK: ret void 218} 219 220template<typename P> void f(P) { } 221 222struct TestNestedInstantiation { 223 void operator()() const { 224 []() -> void { 225 return f([]{}); 226 }(); 227 } 228}; 229 230void test_NestedInstantiation() { 231 TestNestedInstantiation()(); 232} 233 234// Check the linkage of the lambdas used in test_Members. 235// CHECK: define linkonce_odr i32 @_ZNK7Members1xMUlvE_clEv 236// CHECK: ret i32 1 237// CHECK: define linkonce_odr i32 @_ZNK7Members1xMUlvE0_clEv 238// CHECK: ret i32 2 239// CHECK: define linkonce_odr i32 @_ZNK7Members1yMUlvE_clEv 240// CHECK: ret i32 3 241 242// Check linkage of the various lambdas. 243// CHECK: define linkonce_odr i32 @_ZZ11inline_funciENKUlvE_clEv 244// CHECK: ret i32 1 245// CHECK: define linkonce_odr i32 @_ZZ11inline_funciENKUlvE0_clEv 246// CHECK: ret i32 247// CHECK: define linkonce_odr double @_ZZ11inline_funciENKUlvE1_clEv 248// CHECK: ret double 249// CHECK: define linkonce_odr i32 @_ZZ11inline_funciENKUliE_clEi 250// CHECK: ret i32 251// CHECK: define linkonce_odr i32 @_ZZ11inline_funciENKUlvE2_clEv 252// CHECK: ret i32 17 253