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 sizeof(T) + sizeof(T1) + sizeof(TT) + sizeof(TT1);
21   }();
22 }
23 
24 // CHECK-LABEL: define internal i32 @"_ZZ9ARBSizeOfiENK3$_0clEv"
25 
26 int a() { return []{ return 1; }(); }
27 // CHECK-LABEL: define i32 @_Z1av
28 // CHECK: call i32 @"_ZZ1avENK3$_1clEv"
29 // CHECK-LABEL: define internal i32 @"_ZZ1avENK3$_1clEv"
30 // CHECK: ret i32 1
31 
32 int b(int x) { return [x]{return x;}(); }
33 // CHECK-LABEL: define i32 @_Z1bi
34 // CHECK: store i32
35 // CHECK: load i32, i32*
36 // CHECK: store i32
37 // CHECK: call i32 @"_ZZ1biENK3$_2clEv"
38 // CHECK-LABEL: define internal i32 @"_ZZ1biENK3$_2clEv"
39 // CHECK: load i32, i32*
40 // CHECK: ret i32
41 
42 int c(int x) { return [&x]{return x;}(); }
43 // CHECK-LABEL: define i32 @_Z1ci
44 // CHECK: store i32
45 // CHECK: store i32*
46 // CHECK: call i32 @"_ZZ1ciENK3$_3clEv"
47 // CHECK-LABEL: define internal i32 @"_ZZ1ciENK3$_3clEv"
48 // CHECK: load i32*, i32**
49 // CHECK: load i32, i32*
50 // CHECK: ret i32
51 
52 struct D { D(); D(const D&); int x; };
53 int d(int x) { D y[10]; [x,y] { return y[x].x; }(); }
54 
55 // CHECK-LABEL: define i32 @_Z1di
56 // CHECK: call void @_ZN1DC1Ev
57 // CHECK: icmp ult i64 %{{.*}}, 10
58 // CHECK: call void @_ZN1DC1ERKS_
59 // CHECK: call i32 @"_ZZ1diENK3$_4clEv"
60 // CHECK-LABEL: define internal i32 @"_ZZ1diENK3$_4clEv"
61 // CHECK: load i32, i32*
62 // CHECK: load i32, i32*
63 // CHECK: ret i32
64 
65 struct E { E(); E(const E&); ~E(); int x; };
66 int e(E a, E b, bool cond) { [a,b,cond](){ return (cond ? a : b).x; }(); }
67 // CHECK-LABEL: define i32 @_Z1e1ES_b
68 // CHECK: call void @_ZN1EC1ERKS_
69 // CHECK: invoke void @_ZN1EC1ERKS_
70 // CHECK: invoke i32 @"_ZZ1e1ES_bENK3$_5clEv"
71 // CHECK: call void @"_ZZ1e1ES_bEN3$_5D1Ev"
72 // CHECK: call void @"_ZZ1e1ES_bEN3$_5D1Ev"
73 
74 // CHECK-LABEL: define internal i32 @"_ZZ1e1ES_bENK3$_5clEv"
75 // CHECK: trunc i8
76 // CHECK: load i32, i32*
77 // CHECK: ret i32
78 
79 void f() {
80   // CHECK-LABEL: define void @_Z1fv()
81   // CHECK: @"_ZZ1fvENK3$_6cvPFiiiEEv"
82   // CHECK-NEXT: store i32 (i32, i32)*
83   // CHECK-NEXT: ret void
84   int (*fp)(int, int) = [](int x, int y){ return x + y; };
85 }
86 
87 static int k;
88 int g() {
89   int &r = k;
90   // CHECK-LABEL: define internal i32 @"_ZZ1gvENK3$_7clEv"(
91   // CHECK-NOT: }
92   // CHECK: load i32, i32* @_ZL1k,
93   return [] { return r; } ();
94 };
95 
96 // PR14773
97 // CHECK: [[ARRVAL:%[0-9a-zA-Z]*]] = load i32, i32* getelementptr inbounds ([0 x i32], [0 x i32]* @_ZZ14staticarrayrefvE5array, i64 0, i64 0), align 4
98 // CHECK-NEXT: store i32 [[ARRVAL]]
99 void staticarrayref(){
100   static int array[] = {};
101   (void)[](){
102     int (&xxx)[0] = array;
103     int y = xxx[0];
104   }();
105 }
106 
107 // CHECK-LABEL: define internal i32* @"_ZZ11PR22071_funvENK3$_9clEv"
108 // CHECK: ret i32* @PR22071_var
109 int PR22071_var;
110 int *PR22071_fun() {
111   constexpr int &y = PR22071_var;
112   return [&] { return &y; }();
113 }
114 
115 // CHECK-LABEL: define internal void @"_ZZ1e1ES_bEN3$_5D2Ev"
116 
117 // CHECK-LABEL: define internal i32 @"_ZZ1fvEN3$_68__invokeEii"
118 // CHECK: store i32
119 // CHECK-NEXT: store i32
120 // CHECK-NEXT: load i32, i32*
121 // CHECK-NEXT: load i32, i32*
122 // CHECK-NEXT: call i32 @"_ZZ1fvENK3$_6clEii"
123 // CHECK-NEXT: ret i32
124 
125 // CHECK-LABEL: define internal void @"_ZZ1hvEN4$_108__invokeEv"(%struct.A* noalias sret %agg.result) {{.*}} {
126 // CHECK-NOT: =
127 // CHECK: call void @"_ZZ1hvENK4$_10clEv"(%struct.A* sret %agg.result,
128 // CHECK-NEXT: ret void
129 struct A { ~A(); };
130 void h() {
131   A (*h)() = [] { return A(); };
132 }
133 
134 // <rdar://problem/12778708>
135 struct XXX {};
136 void nestedCapture () {
137   XXX localKey;
138   ^() {
139     [&]() {
140       ^{ XXX k = localKey; };
141     };
142   };
143 }
144 
145 // Ensure we don't assert here.
146 struct CaptureArrayAndThis {
147   CaptureArrayAndThis() {
148     char array[] = "floop";
149     [array, this] {};
150   }
151 } capture_array_and_this;
152 
153