1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -fblocks -emit-llvm -o - %s -fexceptions -std=c++11 | FileCheck %s
2 
3 // CHECK-NOT: @unused
4 auto unused = [](int i) { return i+1; };
5 
6 // CHECK: @used = internal global
7 auto used = [](int i) { return i+1; };
8 void *use = &used;
9 
10 // CHECK: @cvar = global
11 extern "C" auto cvar = []{};
12 
13 // CHECK-LABEL: define i32 @_Z9ARBSizeOfi(i32
14 int ARBSizeOf(int n) {
15   typedef double(T)[8][n];
16   using TT = double[8][n];
17   return [&]() -> int {
18     typedef double(T1)[8][n];
19     using TT1 = double[8][n];
20     return [&n]() -> int {
21       typedef double(T2)[8][n];
22       using TT2 = double[8][n];
23       return sizeof(T) + sizeof(T1) + sizeof(T2) + sizeof(TT) + sizeof(TT1) + sizeof(TT2);
24     }();
25   }();
26 }
27 
28 // CHECK-LABEL: define internal i32 @"_ZZ9ARBSizeOfiENK3$_0clEv"
29 
30 int a() { return []{ return 1; }(); }
31 // CHECK-LABEL: define i32 @_Z1av
32 // CHECK: call i32 @"_ZZ1avENK3$_1clEv"
33 // CHECK-LABEL: define internal i32 @"_ZZ1avENK3$_1clEv"
34 // CHECK: ret i32 1
35 
36 int b(int x) { return [x]{return x;}(); }
37 // CHECK-LABEL: define i32 @_Z1bi
38 // CHECK: store i32
39 // CHECK: load i32, i32*
40 // CHECK: store i32
41 // CHECK: call i32 @"_ZZ1biENK3$_2clEv"
42 // CHECK-LABEL: define internal i32 @"_ZZ1biENK3$_2clEv"
43 // CHECK: load i32, i32*
44 // CHECK: ret i32
45 
46 int c(int x) { return [&x]{return x;}(); }
47 // CHECK-LABEL: define i32 @_Z1ci
48 // CHECK: store i32
49 // CHECK: store i32*
50 // CHECK: call i32 @"_ZZ1ciENK3$_3clEv"
51 // CHECK-LABEL: define internal i32 @"_ZZ1ciENK3$_3clEv"
52 // CHECK: load i32*, i32**
53 // CHECK: load i32, i32*
54 // CHECK: ret i32
55 
56 struct D { D(); D(const D&); int x; };
57 int d(int x) { D y[10]; [x,y] { return y[x].x; }(); }
58 
59 // CHECK-LABEL: define i32 @_Z1di
60 // CHECK: call void @_ZN1DC1Ev
61 // CHECK: icmp ult i64 %{{.*}}, 10
62 // CHECK: call void @_ZN1DC1ERKS_
63 // CHECK: call i32 @"_ZZ1diENK3$_4clEv"
64 // CHECK-LABEL: define internal i32 @"_ZZ1diENK3$_4clEv"
65 // CHECK: load i32, i32*
66 // CHECK: load i32, i32*
67 // CHECK: ret i32
68 
69 struct E { E(); E(const E&); ~E(); int x; };
70 int e(E a, E b, bool cond) { [a,b,cond](){ return (cond ? a : b).x; }(); }
71 // CHECK-LABEL: define i32 @_Z1e1ES_b
72 // CHECK: call void @_ZN1EC1ERKS_
73 // CHECK: invoke void @_ZN1EC1ERKS_
74 // CHECK: invoke i32 @"_ZZ1e1ES_bENK3$_5clEv"
75 // CHECK: call void @"_ZZ1e1ES_bEN3$_5D1Ev"
76 // CHECK: call void @"_ZZ1e1ES_bEN3$_5D1Ev"
77 
78 // CHECK-LABEL: define internal i32 @"_ZZ1e1ES_bENK3$_5clEv"
79 // CHECK: trunc i8
80 // CHECK: load i32, i32*
81 // CHECK: ret i32
82 
83 void f() {
84   // CHECK-LABEL: define void @_Z1fv()
85   // CHECK: @"_ZZ1fvENK3$_6cvPFiiiEEv"
86   // CHECK-NEXT: store i32 (i32, i32)*
87   // CHECK-NEXT: ret void
88   int (*fp)(int, int) = [](int x, int y){ return x + y; };
89 }
90 
91 static int k;
92 int g() {
93   int &r = k;
94   // CHECK-LABEL: define internal i32 @"_ZZ1gvENK3$_7clEv"(
95   // CHECK-NOT: }
96   // CHECK: load i32, i32* @_ZL1k,
97   return [] { return r; } ();
98 };
99 
100 // PR14773
101 // CHECK: [[ARRVAL:%[0-9a-zA-Z]*]] = load i32, i32* getelementptr inbounds ([0 x i32], [0 x i32]* @_ZZ14staticarrayrefvE5array, i64 0, i64 0), align 4
102 // CHECK-NEXT: store i32 [[ARRVAL]]
103 void staticarrayref(){
104   static int array[] = {};
105   (void)[](){
106     int (&xxx)[0] = array;
107     int y = xxx[0];
108   }();
109 }
110 
111 // CHECK-LABEL: define internal i32* @"_ZZ11PR22071_funvENK3$_9clEv"
112 // CHECK: ret i32* @PR22071_var
113 int PR22071_var;
114 int *PR22071_fun() {
115   constexpr int &y = PR22071_var;
116   return [&] { return &y; }();
117 }
118 
119 namespace pr28595 {
120   struct Temp {
121     Temp();
122     ~Temp() noexcept(false);
123   };
124   struct A {
125     A();
126     A(const A &a, const Temp &temp = Temp());
127     ~A();
128   };
129 
130   // CHECK-LABEL: define void @_ZN7pr285954testEv()
131   void test() {
132     // CHECK: [[ARRAY:%.*]] = alloca [3 x [5 x [[A:%.*]]]], align 1
133     // CHECK: [[DESTIDX:%.*]] = alloca i64, align 8
134     // CHECK: [[I0:%.*]] = alloca i64, align 8
135     // CHECK: [[I1:%.*]] = alloca i64, align 8
136     A array[3][5];
137 
138     // CHECK: [[DESTBASE:%.*]] = bitcast [3 x [5 x [[A]]]]* {{.*}} to [[A]]*
139     // CHECK: store i64 0, i64* [[DESTIDX]], align 8
140     // CHECK: store i64 0, i64* [[I0]], align 8
141     // CHECK: br label
142     // CHECK: icmp ult
143     // CHECK: store i64 0, i64* [[I1]], align 8
144     // CHECK: br label
145     // CHECK: icmp ult
146     // CHECK: [[T0:%.*]] = load i64, i64* [[DESTIDX]], align 8
147     // CHECK: [[DEST:%.*]] = getelementptr inbounds [[A]], [[A]]* [[DESTBASE]], i64 [[T0]]
148     // CHECK: invoke void @_ZN7pr285954TempC1Ev
149     // CHECK: invoke void @_ZN7pr285951AC1ERKS0_RKNS_4TempE
150     // CHECK: invoke void @_ZN7pr285954TempD1Ev
151     // CHECK: landingpad
152     // CHECK: landingpad
153     // CHECK: br label [[CLEANUP:%.*]]{{$}}
154     // CHECK: landingpad
155     // CHECK: invoke void @_ZN7pr285954TempD1Ev
156     // CHECK: br label [[CLEANUP]]
157     // CHECK: icmp eq [[A]]* [[DESTBASE]], [[DEST]]
158     // CHECK: [[T0:%.*]] = phi [[A]]*
159     // CHECK: [[T1:%.*]] = getelementptr inbounds [[A]], [[A]]* [[T0]], i64 -1
160     // CHECK: call void @_ZN7pr285951AD1Ev([[A]]* [[T1]])
161     // CHECK: icmp eq [[A]]* [[T1]], [[DESTBASE]]
162     (void) [array]{};
163 
164     //   Skip over the initialization loop.
165     // CHECK: [[BEGIN:%.*]] = getelementptr inbounds [3 x [5 x [[A]]]], [3 x [5 x [[A]]]]* [[ARRAY]], i32 0, i32 0, i32 0
166   }
167 }
168 
169 // CHECK-LABEL: define internal void @"_ZZ1e1ES_bEN3$_5D2Ev"
170 
171 // CHECK-LABEL: define internal i32 @"_ZZ1fvEN3$_68__invokeEii"
172 // CHECK: store i32
173 // CHECK-NEXT: store i32
174 // CHECK-NEXT: load i32, i32*
175 // CHECK-NEXT: load i32, i32*
176 // CHECK-NEXT: call i32 @"_ZZ1fvENK3$_6clEii"
177 // CHECK-NEXT: ret i32
178 
179 // CHECK-LABEL: define internal void @"_ZZ1hvEN4$_118__invokeEv"(%struct.A* noalias sret %agg.result) {{.*}} {
180 // CHECK-NOT: =
181 // CHECK: call void @"_ZZ1hvENK4$_11clEv"(%struct.A* sret %agg.result,
182 // CHECK-NEXT: ret void
183 struct A { ~A(); };
184 void h() {
185   A (*h)() = [] { return A(); };
186 }
187 
188 // <rdar://problem/12778708>
189 struct XXX {};
190 void nestedCapture () {
191   XXX localKey;
192   ^() {
193     [&]() {
194       ^{ XXX k = localKey; };
195     };
196   };
197 }
198 
199 // Ensure we don't assert here.
200 struct CaptureArrayAndThis {
201   CaptureArrayAndThis() {
202     char array[] = "floop";
203     [array, this] {};
204   }
205 } capture_array_and_this;
206 
207