1 // RUN: %clang_cc1 -std=c++11 -triple x86_64-apple-macosx10.7.0 -emit-llvm -o - %s | FileCheck %s
2 
3 // CHECK: define linkonce_odr void @_Z11inline_funci
4 inline void inline_func(int n) {
5   // CHECK: call i32 @_ZZ11inline_funciENKUlvE_clEv
6   int i = []{ return 1; }();
7 
8   // CHECK: call i32 @_ZZ11inline_funciENKUlvE0_clEv
9   int j = [=] { return n + i; }();
10 
11   // CHECK: call double @_ZZ11inline_funciENKUlvE1_clEv
12   int k = [=] () -> double { return n + i; }();
13 
14   // CHECK: call i32 @_ZZ11inline_funciENKUliE_clEi
15   int l = [=] (int x) -> int { return x + i; }(n);
16 
17   int inner(int i = []{ return 17; }());
18   // CHECK: call i32 @_ZZ11inline_funciENKUlvE2_clEv
19   // CHECK-NEXT: call i32 @_Z5inneri
20   inner();
21 
22   // CHECK-NEXT: ret void
23 }
24 
25 void call_inline_func() {
26   inline_func(17);
27 }
28 
29 struct S {
30   void f(int = []{return 1;}()
31              + []{return 2;}(),
32          int = []{return 3;}());
33   void g(int, int);
34 };
35 
36 void S::g(int i = []{return 1;}(),
37           int j = []{return 2; }()) {}
38 
39 // CHECK: define void @_Z6test_S1S
40 void test_S(S s) {
41   // CHECK: call i32 @_ZZN1S1fEiiEd0_NKUlvE_clEv
42   // CHECK-NEXT: call i32 @_ZZN1S1fEiiEd0_NKUlvE0_clEv
43   // CHECK-NEXT: add nsw i32
44   // CHECK-NEXT: call i32 @_ZZN1S1fEiiEd_NKUlvE_clEv
45   // CHECK-NEXT: call void @_ZN1S1fEii
46   s.f();
47 
48   // NOTE: These manglings don't actually matter that much, because
49   // the lambdas in the default arguments of g() won't be seen by
50   // multiple translation units. We check them mainly to ensure that they don't
51   // get the special mangling for lambdas in in-class default arguments.
52   // CHECK: call i32 @"_ZNK1S3$_0clEv"
53   // CHECK-NEXT: call i32 @"_ZNK1S3$_1clEv"
54   // CHECK-NEXT: call void @_ZN1S1gEi
55   s.g();
56 
57   // CHECK-NEXT: ret void
58 }
59 
60 // Check the linkage of the lambda call operators used in test_S.
61 // CHECK: define linkonce_odr i32 @_ZZN1S1fEiiEd0_NKUlvE_clEv
62 // CHECK: ret i32 1
63 // CHECK: define linkonce_odr i32 @_ZZN1S1fEiiEd0_NKUlvE0_clEv
64 // CHECK: ret i32 2
65 // CHECK: define linkonce_odr i32 @_ZZN1S1fEiiEd_NKUlvE_clEv
66 // CHECK: ret i32 3
67 // CHECK: define internal i32 @"_ZNK1S3$_0clEv"
68 // CHECK: ret i32 1
69 // CHECK: define internal i32 @"_ZNK1S3$_1clEv"
70 // CHECK: ret i32 2
71 
72 template<typename T>
73 struct ST {
74   void f(T = []{return T() + 1;}()
75            + []{return T() + 2;}(),
76          T = []{return T(3);}());
77 };
78 
79 // CHECK: define void @_Z7test_ST2STIdE
80 void test_ST(ST<double> st) {
81   // CHECK: call double @_ZZN2ST1fET_S0_Ed0_NKUlvE_clEv
82   // CHECK-NEXT: call double @_ZZN2ST1fET_S0_Ed0_NKUlvE0_clEv
83   // CHECK-NEXT: fadd double
84   // CHECK-NEXT: call double @_ZZN2ST1fET_S0_Ed_NKUlvE_clEv
85   // CHECK-NEXT: call void @_ZN2STIdE1fEdd
86   st.f();
87 
88   // CHECK-NEXT: ret void
89 }
90 
91 // Check the linkage of the lambda call operators used in test_ST.
92 // CHECK: define linkonce_odr double @_ZZN2ST1fET_S0_Ed0_NKUlvE_clEv
93 // CHECK: ret double 1
94 // CHECK: define linkonce_odr double @_ZZN2ST1fET_S0_Ed0_NKUlvE0_clEv
95 // CHECK: ret double 2
96 // CHECK: define linkonce_odr double @_ZZN2ST1fET_S0_Ed_NKUlvE_clEv
97 // CHECK: ret double 3
98 
99 template<typename T>
100 struct StaticMembers {
101   static T x;
102   static T y;
103   static T z;
104 };
105 
106 template<typename T> int accept_lambda(T);
107 
108 template<typename T>
109 T StaticMembers<T>::x = []{return 1;}() + []{return 2;}();
110 
111 template<typename T>
112 T StaticMembers<T>::y = []{return 3;}();
113 
114 template<typename T>
115 T StaticMembers<T>::z = accept_lambda([]{return 4;});
116 
117 // CHECK: define internal void @__cxx_global_var_init()
118 // CHECK: call i32 @_ZNK13StaticMembersIfE1xMUlvE_clEv
119 // CHECK-NEXT: call i32 @_ZNK13StaticMembersIfE1xMUlvE0_clEv
120 // CHECK-NEXT: add nsw
121 // CHECK: define linkonce_odr i32 @_ZNK13StaticMembersIfE1xMUlvE_clEv
122 // CHECK: ret i32 1
123 // CHECK: define linkonce_odr i32 @_ZNK13StaticMembersIfE1xMUlvE0_clEv
124 // CHECK: ret i32 2
125 template float StaticMembers<float>::x;
126 
127 // CHECK: define internal void @__cxx_global_var_init1()
128 // CHECK: call i32 @_ZNK13StaticMembersIfE1yMUlvE_clEv
129 // CHECK: define linkonce_odr i32 @_ZNK13StaticMembersIfE1yMUlvE_clEv
130 // CHECK: ret i32 3
131 template float StaticMembers<float>::y;
132 
133 // CHECK: define internal void @__cxx_global_var_init2()
134 // CHECK: call i32 @_Z13accept_lambdaIN13StaticMembersIfE1zMUlvE_EEiT_
135 // CHECK: declare i32 @_Z13accept_lambdaIN13StaticMembersIfE1zMUlvE_EEiT_()
136 template float StaticMembers<float>::z;
137 
138 // CHECK: define internal void @__cxx_global_var_init3
139 // CHECK: call i32 @"_ZNK13StaticMembersIdE3$_2clEv"
140 // CHECK: define internal i32 @"_ZNK13StaticMembersIdE3$_2clEv"
141 // CHECK: ret i32 42
142 template<> double StaticMembers<double>::z = []{return 42; }();
143 
144 template<typename T>
145 void func_template(T = []{ return T(); }());
146 
147 // CHECK: define void @_Z17use_func_templatev()
148 void use_func_template() {
149   // CHECK: call i32 @"_ZZ13func_templateIiEvT_ENKS_IiE3$_3clEv"
150   func_template<int>();
151 }
152 
153 struct Members {
154   int x = [] { return 1; }() + [] { return 2; }();
155   int y = [] { return 3; }();
156 };
157 
158 void test_Members() {
159   // CHECK: define linkonce_odr void @_ZN7MembersC2Ev
160   // CHECK: call i32 @_ZNK7Members1xMUlvE_clEv
161   // CHECK-NEXT: call i32 @_ZNK7Members1xMUlvE0_clE
162   // CHECK-NEXT: add nsw i32
163   // CHECK: call i32 @_ZNK7Members1yMUlvE_clEv
164   Members members;
165   // CHECK: ret void
166 }
167 
168 // Check the linkage of the lambdas used in test_Members.
169 // CHECK: define linkonce_odr i32 @_ZNK7Members1xMUlvE_clEv
170 // CHECK: ret i32 1
171 // CHECK: define linkonce_odr i32 @_ZNK7Members1xMUlvE0_clEv
172 // CHECK: ret i32 2
173 // CHECK: define linkonce_odr i32 @_ZNK7Members1yMUlvE_clEv
174 // CHECK: ret i32 3
175 
176 // Check linkage of the various lambdas.
177 // CHECK: define linkonce_odr i32 @_ZZ11inline_funciENKUlvE_clEv
178 // CHECK: ret i32 1
179 // CHECK: define linkonce_odr i32 @_ZZ11inline_funciENKUlvE0_clEv
180 // CHECK: ret i32
181 // CHECK: define linkonce_odr double @_ZZ11inline_funciENKUlvE1_clEv
182 // CHECK: ret double
183 // CHECK: define linkonce_odr i32 @_ZZ11inline_funciENKUliE_clEi
184 // CHECK: ret i32
185 // CHECK: define linkonce_odr i32 @_ZZ11inline_funciENKUlvE2_clEv
186 // CHECK: ret i32 17
187