Douglas Gregor | 464a01a | 2012-12-01 01:01:09 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -fblocks -emit-llvm -o - %s -fexceptions -std=c++11 | FileCheck %s |
Eli Friedman | 8656855 | 2012-02-14 03:07:59 +0000 | [diff] [blame] | 2 | |
Richard Smith | 8ae4ec2 | 2012-08-07 04:16:51 +0000 | [diff] [blame] | 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; |
Douglas Gregor | ee18803 | 2012-02-20 20:05:29 +0000 | [diff] [blame] | 9 | |
Douglas Gregor | fa07ab5 | 2012-02-20 20:47:06 +0000 | [diff] [blame] | 10 | // CHECK: @cvar = global |
| 11 | extern "C" auto cvar = []{}; |
| 12 | |
Eli Friedman | 8656855 | 2012-02-14 03:07:59 +0000 | [diff] [blame] | 13 | int a() { return []{ return 1; }(); } |
| 14 | // CHECK: define i32 @_Z1av |
Douglas Gregor | 5878cbc | 2012-02-21 04:17:39 +0000 | [diff] [blame] | 15 | // CHECK: call i32 @"_ZZ1avENK3$_0clEv" |
| 16 | // CHECK: define internal i32 @"_ZZ1avENK3$_0clEv" |
Eli Friedman | 8656855 | 2012-02-14 03:07:59 +0000 | [diff] [blame] | 17 | // CHECK: ret i32 1 |
| 18 | |
| 19 | int b(int x) { return [x]{return x;}(); } |
| 20 | // CHECK: define i32 @_Z1bi |
| 21 | // CHECK: store i32 |
| 22 | // CHECK: load i32* |
| 23 | // CHECK: store i32 |
Douglas Gregor | 5878cbc | 2012-02-21 04:17:39 +0000 | [diff] [blame] | 24 | // CHECK: call i32 @"_ZZ1biENK3$_1clEv" |
| 25 | // CHECK: define internal i32 @"_ZZ1biENK3$_1clEv" |
Eli Friedman | 8656855 | 2012-02-14 03:07:59 +0000 | [diff] [blame] | 26 | // CHECK: load i32* |
| 27 | // CHECK: ret i32 |
| 28 | |
| 29 | int c(int x) { return [&x]{return x;}(); } |
| 30 | // CHECK: define i32 @_Z1ci |
| 31 | // CHECK: store i32 |
| 32 | // CHECK: store i32* |
Douglas Gregor | 5878cbc | 2012-02-21 04:17:39 +0000 | [diff] [blame] | 33 | // CHECK: call i32 @"_ZZ1ciENK3$_2clEv" |
| 34 | // CHECK: define internal i32 @"_ZZ1ciENK3$_2clEv" |
Eli Friedman | 8656855 | 2012-02-14 03:07:59 +0000 | [diff] [blame] | 35 | // CHECK: load i32** |
| 36 | // CHECK: load i32* |
| 37 | // CHECK: ret i32 |
| 38 | |
| 39 | struct D { D(); D(const D&); int x; }; |
| 40 | int d(int x) { D y[10]; [x,y] { return y[x].x; }(); } |
| 41 | |
| 42 | // CHECK: define i32 @_Z1di |
| 43 | // CHECK: call void @_ZN1DC1Ev |
| 44 | // CHECK: icmp ult i64 %{{.*}}, 10 |
| 45 | // CHECK: call void @_ZN1DC1ERKS_ |
Douglas Gregor | 5878cbc | 2012-02-21 04:17:39 +0000 | [diff] [blame] | 46 | // CHECK: call i32 @"_ZZ1diENK3$_3clEv" |
| 47 | // CHECK: define internal i32 @"_ZZ1diENK3$_3clEv" |
Eli Friedman | 8656855 | 2012-02-14 03:07:59 +0000 | [diff] [blame] | 48 | // CHECK: load i32* |
| 49 | // CHECK: load i32* |
| 50 | // CHECK: ret i32 |
| 51 | |
| 52 | struct E { E(); E(const E&); ~E(); int x; }; |
| 53 | int e(E a, E b, bool cond) { [a,b,cond](){ return (cond ? a : b).x; }(); } |
| 54 | // CHECK: define i32 @_Z1e1ES_b |
| 55 | // CHECK: call void @_ZN1EC1ERKS_ |
| 56 | // CHECK: invoke void @_ZN1EC1ERKS_ |
Douglas Gregor | 5878cbc | 2012-02-21 04:17:39 +0000 | [diff] [blame] | 57 | // CHECK: invoke i32 @"_ZZ1e1ES_bENK3$_4clEv" |
| 58 | // CHECK: call void @"_ZZ1e1ES_bEN3$_4D1Ev" |
| 59 | // CHECK: call void @"_ZZ1e1ES_bEN3$_4D1Ev" |
Douglas Gregor | 27dd7d9 | 2012-02-17 03:02:34 +0000 | [diff] [blame] | 60 | |
Douglas Gregor | 5878cbc | 2012-02-21 04:17:39 +0000 | [diff] [blame] | 61 | // CHECK: define internal i32 @"_ZZ1e1ES_bENK3$_4clEv" |
Eli Friedman | 8656855 | 2012-02-14 03:07:59 +0000 | [diff] [blame] | 62 | // CHECK: trunc i8 |
| 63 | // CHECK: load i32* |
| 64 | // CHECK: ret i32 |
Douglas Gregor | 27dd7d9 | 2012-02-17 03:02:34 +0000 | [diff] [blame] | 65 | |
| 66 | void f() { |
| 67 | // CHECK: define void @_Z1fv() |
Douglas Gregor | 5878cbc | 2012-02-21 04:17:39 +0000 | [diff] [blame] | 68 | // CHECK: @"_ZZ1fvENK3$_5cvPFiiiEEv" |
Douglas Gregor | 27dd7d9 | 2012-02-17 03:02:34 +0000 | [diff] [blame] | 69 | // CHECK-NEXT: store i32 (i32, i32)* |
| 70 | // CHECK-NEXT: ret void |
| 71 | int (*fp)(int, int) = [](int x, int y){ return x + y; }; |
| 72 | } |
| 73 | |
Richard Smith | 5016a70 | 2012-10-20 01:38:33 +0000 | [diff] [blame] | 74 | static int k; |
| 75 | int g() { |
| 76 | int &r = k; |
| 77 | // CHECK: define internal i32 @"_ZZ1gvENK3$_6clEv"( |
| 78 | // CHECK-NOT: } |
| 79 | // CHECK: load i32* @_ZL1k, |
| 80 | return [] { return r; } (); |
| 81 | }; |
| 82 | |
Eli Friedman | 89e19b4 | 2013-01-03 00:39:26 +0000 | [diff] [blame] | 83 | // PR14773 |
| 84 | // CHECK: [[ARRVAL:%[0-9a-zA-Z]*]] = load i32* getelementptr inbounds ([0 x i32]* bitcast (<{}>* @_ZZ14staticarrayrefvE5array to [0 x i32]*), i32 0, i64 0), align 4 |
| 85 | // CHECK-NEXT: store i32 [[ARRVAL]] |
| 86 | void staticarrayref(){ |
| 87 | static int array[] = {}; |
| 88 | (void)[](){ |
| 89 | int (&xxx)[0] = array; |
| 90 | int y = xxx[0]; |
| 91 | }(); |
| 92 | } |
| 93 | |
Bill Wendling | c0dcc2d | 2013-02-15 21:30:01 +0000 | [diff] [blame] | 94 | // CHECK: define internal void @"_ZZ1hvEN3$_88__invokeEv"(%struct.A* noalias sret %agg.result) {{.*}} { |
NAKAMURA Takumi | 457d65a | 2012-12-14 02:35:04 +0000 | [diff] [blame] | 95 | // CHECK-NOT: = |
Eli Friedman | 89e19b4 | 2013-01-03 00:39:26 +0000 | [diff] [blame] | 96 | // CHECK: call void @"_ZZ1hvENK3$_8clEv"(%struct.A* sret %agg.result, |
Eli Friedman | 50f089a | 2012-12-13 23:37:17 +0000 | [diff] [blame] | 97 | // CHECK-NEXT: ret void |
| 98 | struct A { ~A(); }; |
| 99 | void h() { |
| 100 | A (*h)() = [] { return A(); }; |
| 101 | } |
| 102 | |
Douglas Gregor | 5878cbc | 2012-02-21 04:17:39 +0000 | [diff] [blame] | 103 | // CHECK: define internal i32 @"_ZZ1fvEN3$_58__invokeEii" |
Douglas Gregor | 27dd7d9 | 2012-02-17 03:02:34 +0000 | [diff] [blame] | 104 | // CHECK: store i32 |
| 105 | // CHECK-NEXT: store i32 |
| 106 | // CHECK-NEXT: load i32* |
| 107 | // CHECK-NEXT: load i32* |
Douglas Gregor | 5878cbc | 2012-02-21 04:17:39 +0000 | [diff] [blame] | 108 | // CHECK-NEXT: call i32 @"_ZZ1fvENK3$_5clEii" |
Douglas Gregor | 27dd7d9 | 2012-02-17 03:02:34 +0000 | [diff] [blame] | 109 | // CHECK-NEXT: ret i32 |
| 110 | |
Douglas Gregor | 5878cbc | 2012-02-21 04:17:39 +0000 | [diff] [blame] | 111 | // CHECK: define internal void @"_ZZ1e1ES_bEN3$_4D2Ev" |
Douglas Gregor | 464a01a | 2012-12-01 01:01:09 +0000 | [diff] [blame] | 112 | |
| 113 | // <rdar://problem/12778708> |
| 114 | struct XXX {}; |
| 115 | void nestedCapture () { |
| 116 | XXX localKey; |
| 117 | ^() { |
| 118 | [&]() { |
| 119 | ^{ XXX k = localKey; }; |
| 120 | }; |
| 121 | }; |
| 122 | } |