| // RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -fblocks -emit-llvm -o - %s -fexceptions -std=c++11 | FileCheck %s |
| |
| // CHECK-NOT: @unused |
| auto unused = [](int i) { return i+1; }; |
| |
| // CHECK: @used = internal global |
| auto used = [](int i) { return i+1; }; |
| void *use = &used; |
| |
| // CHECK: @cvar = global |
| extern "C" auto cvar = []{}; |
| |
| // CHECK-LABEL: define i32 @_Z9ARBSizeOfi(i32 |
| int ARBSizeOf(int n) { |
| typedef double(T)[8][n]; |
| using TT = double[8][n]; |
| return [&]() -> int { |
| typedef double(T1)[8][n]; |
| using TT1 = double[8][n]; |
| return [&n]() -> int { |
| typedef double(T2)[8][n]; |
| using TT2 = double[8][n]; |
| return sizeof(T) + sizeof(T1) + sizeof(T2) + sizeof(TT) + sizeof(TT1) + sizeof(TT2); |
| }(); |
| }(); |
| } |
| |
| // CHECK-LABEL: define internal i32 @"_ZZ9ARBSizeOfiENK3$_0clEv" |
| |
| int a() { return []{ return 1; }(); } |
| // CHECK-LABEL: define i32 @_Z1av |
| // CHECK: call i32 @"_ZZ1avENK3$_1clEv" |
| // CHECK-LABEL: define internal i32 @"_ZZ1avENK3$_1clEv" |
| // CHECK: ret i32 1 |
| |
| int b(int x) { return [x]{return x;}(); } |
| // CHECK-LABEL: define i32 @_Z1bi |
| // CHECK: store i32 |
| // CHECK: load i32, i32* |
| // CHECK: store i32 |
| // CHECK: call i32 @"_ZZ1biENK3$_2clEv" |
| // CHECK-LABEL: define internal i32 @"_ZZ1biENK3$_2clEv" |
| // CHECK: load i32, i32* |
| // CHECK: ret i32 |
| |
| int c(int x) { return [&x]{return x;}(); } |
| // CHECK-LABEL: define i32 @_Z1ci |
| // CHECK: store i32 |
| // CHECK: store i32* |
| // CHECK: call i32 @"_ZZ1ciENK3$_3clEv" |
| // CHECK-LABEL: define internal i32 @"_ZZ1ciENK3$_3clEv" |
| // CHECK: load i32*, i32** |
| // CHECK: load i32, i32* |
| // CHECK: ret i32 |
| |
| struct D { D(); D(const D&); int x; }; |
| int d(int x) { D y[10]; return [x,y] { return y[x].x; }(); } |
| |
| // CHECK-LABEL: define i32 @_Z1di |
| // CHECK: call void @_ZN1DC1Ev |
| // CHECK: br label |
| // CHECK: call void @_ZN1DC1ERKS_ |
| // CHECK: icmp eq i64 %{{.*}}, 10 |
| // CHECK: br i1 |
| // CHECK: call i32 @"_ZZ1diENK3$_4clEv" |
| // CHECK-LABEL: define internal i32 @"_ZZ1diENK3$_4clEv" |
| // CHECK: load i32, i32* |
| // CHECK: load i32, i32* |
| // CHECK: ret i32 |
| |
| struct E { E(); E(const E&); ~E(); int x; }; |
| int e(E a, E b, bool cond) { return [a,b,cond](){ return (cond ? a : b).x; }(); } |
| // CHECK-LABEL: define i32 @_Z1e1ES_b |
| // CHECK: call void @_ZN1EC1ERKS_ |
| // CHECK: invoke void @_ZN1EC1ERKS_ |
| // CHECK: invoke i32 @"_ZZ1e1ES_bENK3$_5clEv" |
| // CHECK: call void @"_ZZ1e1ES_bEN3$_5D1Ev" |
| // CHECK: call void @"_ZZ1e1ES_bEN3$_5D1Ev" |
| |
| // CHECK-LABEL: define internal i32 @"_ZZ1e1ES_bENK3$_5clEv" |
| // CHECK: trunc i8 |
| // CHECK: load i32, i32* |
| // CHECK: ret i32 |
| |
| void f() { |
| // CHECK-LABEL: define void @_Z1fv() |
| // CHECK: @"_ZZ1fvENK3$_6cvPFiiiEEv" |
| // CHECK-NEXT: store i32 (i32, i32)* |
| // CHECK-NEXT: ret void |
| int (*fp)(int, int) = [](int x, int y){ return x + y; }; |
| } |
| |
| static int k; |
| int g() { |
| int &r = k; |
| // CHECK-LABEL: define internal i32 @"_ZZ1gvENK3$_7clEv"( |
| // CHECK-NOT: } |
| // CHECK: load i32, i32* @_ZL1k, |
| return [] { return r; } (); |
| }; |
| |
| // PR14773 |
| // CHECK: [[ARRVAL:%[0-9a-zA-Z]*]] = load i32, i32* getelementptr inbounds ([0 x i32], [0 x i32]* @_ZZ14staticarrayrefvE5array, i64 0, i64 0), align 4 |
| // CHECK-NEXT: store i32 [[ARRVAL]] |
| void staticarrayref(){ |
| static int array[] = {}; |
| (void)[](){ |
| int (&xxx)[0] = array; |
| int y = xxx[0]; |
| }(); |
| } |
| |
| // CHECK-LABEL: define internal i32* @"_ZZ11PR22071_funvENK3$_9clEv" |
| // CHECK: ret i32* @PR22071_var |
| int PR22071_var; |
| int *PR22071_fun() { |
| constexpr int &y = PR22071_var; |
| return [&] { return &y; }(); |
| } |
| |
| namespace pr28595 { |
| struct Temp { |
| Temp(); |
| ~Temp() noexcept(false); |
| }; |
| struct A { |
| A(); |
| A(const A &a, const Temp &temp = Temp()); |
| ~A(); |
| }; |
| |
| void after_init() noexcept; |
| |
| // CHECK-LABEL: define void @_ZN7pr285954testEv() |
| void test() { |
| // CHECK: %[[SRC:.*]] = alloca [3 x [5 x %[[A:.*]]]], align 1 |
| A array[3][5]; |
| |
| // Skip over the initialization loop. |
| // CHECK: call {{.*}}after_init |
| after_init(); |
| |
| // CHECK: %[[DST_0:.*]] = getelementptr {{.*}} [3 x [5 x %[[A]]]]* %[[DST:.*]], i64 0, i64 0 |
| // CHECK: br label |
| // CHECK: %[[I:.*]] = phi i64 [ 0, %{{.*}} ], [ %[[I_NEXT:.*]], {{.*}} ] |
| // CHECK: %[[DST_I:.*]] = getelementptr {{.*}} [5 x %[[A]]]* %[[DST_0]], i64 %[[I]] |
| // CHECK: %[[SRC_I:.*]] = getelementptr {{.*}} [3 x [5 x %[[A]]]]* %[[SRC]], i64 0, i64 %[[I]] |
| // |
| // CHECK: %[[DST_I_0:.*]] = getelementptr {{.*}} [5 x %[[A]]]* %[[DST_I]], i64 0, i64 0 |
| // CHECK: br label |
| // CHECK: %[[J:.*]] = phi i64 [ 0, %{{.*}} ], [ %[[J_NEXT:.*]], {{.*}} ] |
| // CHECK: %[[DST_I_J:.*]] = getelementptr {{.*}} %[[A]]* %[[DST_I_0]], i64 %[[J]] |
| // CHECK: %[[DST_0_0:.*]] = bitcast [5 x %[[A]]]* %[[DST_0]] to %[[A]]* |
| // CHECK: %[[SRC_I_J:.*]] = getelementptr {{.*}} [5 x %[[A]]]* %[[SRC_I]], i64 0, i64 %[[J]] |
| // |
| // CHECK: invoke void @_ZN7pr285954TempC1Ev |
| // CHECK: invoke void @_ZN7pr285951AC1ERKS0_RKNS_4TempE |
| // CHECK: invoke void @_ZN7pr285954TempD1Ev |
| // |
| // CHECK: add nuw i64 %[[J]], 1 |
| // CHECK: icmp eq |
| // CHECK: br i1 |
| // |
| // CHECK: add nuw i64 %[[I]], 1 |
| // CHECK: icmp eq |
| // CHECK: br i1 |
| // |
| // CHECK: ret void |
| // |
| // CHECK: landingpad |
| // CHECK: landingpad |
| // CHECK: br label %[[CLEANUP:.*]]{{$}} |
| // CHECK: landingpad |
| // CHECK: invoke void @_ZN7pr285954TempD1Ev |
| // CHECK: br label %[[CLEANUP]] |
| // |
| // CHECK: [[CLEANUP]]: |
| // CHECK: icmp eq %[[A]]* %[[DST_0_0]], %[[DST_I_J]] |
| // CHECK: %[[T0:.*]] = phi %[[A]]* |
| // CHECK: %[[T1:.*]] = getelementptr inbounds %[[A]], %[[A]]* %[[T0]], i64 -1 |
| // CHECK: call void @_ZN7pr285951AD1Ev(%[[A]]* %[[T1]]) |
| // CHECK: icmp eq %[[A]]* %[[T1]], %[[DST_0_0]] |
| (void) [array]{}; |
| } |
| } |
| |
| // CHECK-LABEL: define internal void @"_ZZ1e1ES_bEN3$_5D2Ev" |
| |
| // CHECK-LABEL: define internal i32 @"_ZZ1fvEN3$_68__invokeEii" |
| // CHECK: store i32 |
| // CHECK-NEXT: store i32 |
| // CHECK-NEXT: load i32, i32* |
| // CHECK-NEXT: load i32, i32* |
| // CHECK-NEXT: call i32 @"_ZZ1fvENK3$_6clEii" |
| // CHECK-NEXT: ret i32 |
| |
| // CHECK-LABEL: define internal void @"_ZZ1hvEN4$_118__invokeEv"(%struct.A* noalias sret %agg.result) {{.*}} { |
| // CHECK: call void @"_ZZ1hvENK4$_11clEv"(%struct.A* sret %agg.result, |
| // CHECK-NEXT: ret void |
| struct A { ~A(); }; |
| void h() { |
| A (*h)() = [] { return A(); }; |
| } |
| |
| // <rdar://problem/12778708> |
| struct XXX {}; |
| void nestedCapture () { |
| XXX localKey; |
| ^() { |
| [&]() { |
| ^{ XXX k = localKey; }; |
| }; |
| }; |
| } |
| |
| // Ensure we don't assert here. |
| struct CaptureArrayAndThis { |
| CaptureArrayAndThis() { |
| char array[] = "floop"; |
| [array, this] {}; |
| } |
| } capture_array_and_this; |
| |