222 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -fblocks -emit-llvm -o - %s -fexceptions -std=c++11 | FileCheck %s2 3// CHECK-NOT: @unused4auto unused = [](int i) { return i+1; };5 6// CHECK: @used = internal global7auto used = [](int i) { return i+1; };8void *use = &used;9 10// CHECK: @cvar ={{.*}} global11extern "C" auto cvar = []{};12 13// CHECK-LABEL: define{{.*}} i32 @_Z9ARBSizeOfi(i3214int 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 noundef i32 @"_ZZ9ARBSizeOfiENK3$_0clEv"29 30int a() { return []{ return 1; }(); }31// CHECK-LABEL: define{{.*}} i32 @_Z1av32// CHECK: call noundef i32 @"_ZZ1avENK3$_0clEv"33// CHECK-LABEL: define internal noundef i32 @"_ZZ1avENK3$_0clEv"34// CHECK: ret i32 135 36int b(int x) { return [x]{return x;}(); }37// CHECK-LABEL: define{{.*}} i32 @_Z1bi38// CHECK: store i3239// CHECK: load i32, ptr40// CHECK: store i3241// CHECK: call noundef i32 @"_ZZ1biENK3$_0clEv"42// CHECK-LABEL: define internal noundef i32 @"_ZZ1biENK3$_0clEv"43// CHECK: load i32, ptr44// CHECK: ret i3245 46int c(int x) { return [&x]{return x;}(); }47// CHECK-LABEL: define{{.*}} i32 @_Z1ci48// CHECK: store i3249// CHECK: store ptr50// CHECK: call noundef i32 @"_ZZ1ciENK3$_0clEv"51// CHECK-LABEL: define internal noundef i32 @"_ZZ1ciENK3$_0clEv"52// CHECK: load ptr, ptr53// CHECK: load i32, ptr54// CHECK: ret i3255 56struct D { D(); D(const D&); int x; };57int d(int x) { D y[10]; return [x,y] { return y[x].x; }(); }58 59// CHECK-LABEL: define{{.*}} i32 @_Z1di60// CHECK: call void @_ZN1DC1Ev61// CHECK: br label62// CHECK: call void @_ZN1DC1ERKS_63// CHECK: icmp eq i64 %{{.*}}, 1064// CHECK: br i165// CHECK: call noundef i32 @"_ZZ1diENK3$_0clEv"66// CHECK-LABEL: define internal noundef i32 @"_ZZ1diENK3$_0clEv"67// CHECK: load i32, ptr68// CHECK: load i32, ptr69// CHECK: ret i3270 71struct E { E(); E(const E&); ~E(); int x; };72int e(E a, E b, bool cond) { return [a,b,cond](){ return (cond ? a : b).x; }(); }73// CHECK-LABEL: define{{.*}} i32 @_Z1e1ES_b74// CHECK: call void @_ZN1EC1ERKS_75// CHECK: invoke void @_ZN1EC1ERKS_76// CHECK: invoke noundef i32 @"_ZZ1e1ES_bENK3$_0clEv"77// CHECK: call void @"_ZZ1e1ES_bEN3$_0D1Ev"78// CHECK: call void @"_ZZ1e1ES_bEN3$_0D1Ev"79 80// CHECK-LABEL: define internal noundef i32 @"_ZZ1e1ES_bENK3$_0clEv"81// CHECK: trunc i882// CHECK: load i32, ptr83// CHECK: ret i3284 85void f() {86 // CHECK-LABEL: define{{.*}} void @_Z1fv()87 // CHECK: @"_ZZ1fvENK3$_0cvPFiiiEEv"88 // CHECK-NEXT: store ptr89 // CHECK-NEXT: ret void90 int (*fp)(int, int) = [](int x, int y){ return x + y; };91}92 93static int k;94int g() {95 int &r = k;96 // CHECK-LABEL: define internal noundef i32 @"_ZZ1gvENK3$_0clEv"(97 // CHECK-NOT: }98 // CHECK: load i32, ptr @_ZL1k,99 return [] { return r; } ();100};101 102// PR14773103// CHECK: [[ARRVAL:%[0-9a-zA-Z]*]] = load i32, ptr @_ZZ14staticarrayrefvE5array, align 4104// CHECK-NEXT: store i32 [[ARRVAL]]105void staticarrayref(){106 static int array[] = {};107 (void)[](){108 int (&xxx)[0] = array;109 int y = xxx[0];110 }();111}112 113// CHECK-LABEL: define internal noundef ptr @"_ZZ11PR22071_funvENK3$_0clEv"114// CHECK: ret ptr @PR22071_var115int PR22071_var;116int *PR22071_fun() {117 constexpr int &y = PR22071_var;118 return [&] { return &y; }();119}120 121namespace pr28595 {122 struct Temp {123 Temp();124 ~Temp() noexcept(false);125 };126 struct A {127 A();128 A(const A &a, const Temp &temp = Temp());129 ~A();130 };131 132 void after_init() noexcept;133 134 // CHECK-LABEL: define{{.*}} void @_ZN7pr285954testEv()135 void test() {136 // CHECK: %[[SRC:.*]] = alloca [3 x [5 x %[[A:.*]]]], align 1137 A array[3][5];138 139 // Skip over the initialization loop.140 // CHECK: call {{.*}}after_init141 after_init();142 143 // CHECK: %[[DST_0:.*]] = getelementptr {{.*}} ptr %[[DST:.*]], i64 0, i64 0144 // CHECK: br label145 // CHECK: %[[I:.*]] = phi i64 [ 0, %{{.*}} ], [ %[[I_NEXT:.*]], {{.*}} ]146 // CHECK: %[[DST_I:.*]] = getelementptr {{.*}} ptr %[[DST_0]], i64 %[[I]]147 // CHECK: %[[SRC_I:.*]] = getelementptr {{.*}} ptr %[[SRC]], i64 0, i64 %[[I]]148 //149 // CHECK: %[[DST_I_0:.*]] = getelementptr {{.*}} ptr %[[DST_I]], i64 0, i64 0150 // CHECK: br label151 // CHECK: %[[J:.*]] = phi i64 [ 0, %{{.*}} ], [ %[[J_NEXT:.*]], {{.*}} ]152 // CHECK: %[[DST_I_J:.*]] = getelementptr {{.*}} ptr %[[DST_I_0]], i64 %[[J]]153 // CHECK: %[[SRC_I_J:.*]] = getelementptr {{.*}} ptr %[[SRC_I]], i64 0, i64 %[[J]]154 //155 // CHECK: invoke void @_ZN7pr285954TempC1Ev156 // CHECK: invoke void @_ZN7pr285951AC1ERKS0_RKNS_4TempE157 // CHECK: invoke void @_ZN7pr285954TempD1Ev158 //159 // CHECK: add nuw i64 %[[J]], 1160 // CHECK: icmp eq161 // CHECK: br i1162 //163 // CHECK: add nuw i64 %[[I]], 1164 // CHECK: icmp eq165 // CHECK: br i1166 //167 // CHECK: ret void168 //169 // CHECK: landingpad170 // CHECK: landingpad171 // CHECK: br label %[[CLEANUP:.*]]{{$}}172 // CHECK: landingpad173 // CHECK: invoke void @_ZN7pr285954TempD1Ev174 // CHECK: br label %[[CLEANUP]]175 //176 // CHECK: [[CLEANUP]]:177 // CHECK: icmp eq ptr %[[DST_0]], %[[DST_I_J]]178 // CHECK: %[[T0:.*]] = phi ptr179 // CHECK: %[[T1:.*]] = getelementptr inbounds %[[A]], ptr %[[T0]], i64 -1180 // CHECK: call void @_ZN7pr285951AD1Ev(ptr {{[^,]*}} %[[T1]])181 // CHECK: icmp eq ptr %[[T1]], %[[DST_0]]182 (void) [array]{};183 }184}185 186// CHECK-LABEL: define internal void @"_ZZ1e1ES_bEN3$_0D2Ev"187 188// CHECK-LABEL: define internal noundef i32 @"_ZZ1fvEN3$_08__invokeEii"189// CHECK: store i32190// CHECK-NEXT: store i32191// CHECK-NEXT: load i32, ptr192// CHECK-NEXT: load i32, ptr193// CHECK-NEXT: call noundef i32 @"_ZZ1fvENK3$_0clEii"194// CHECK-NEXT: ret i32195 196// CHECK-LABEL: define internal void @"_ZZ1hvEN3$_08__invokeEv"(ptr dead_on_unwind noalias writable sret(%struct.A) align 1 %agg.result) {{.*}} {197// CHECK: call void @"_ZZ1hvENK3$_0clEv"(ptr dead_on_unwind writable sret(%struct.A) align 1 %agg.result,198// CHECK-NEXT: ret void199struct A { ~A(); };200void h() {201 A (*h)() = [] { return A(); };202}203 204struct XXX {};205void nestedCapture () {206 XXX localKey;207 ^() {208 [&]() {209 ^{ XXX k = localKey; };210 };211 };212}213 214// Ensure we don't assert here.215struct CaptureArrayAndThis {216 CaptureArrayAndThis() {217 char array[] = "floop";218 [array, this] {};219 }220} capture_array_and_this;221 222