Clang Project

clang_source_code/test/CodeGenCXX/lambda-expressions-inside-auto-functions.cpp
1// RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -fblocks -emit-llvm -o - %s -fexceptions -std=c++1y | FileCheck --check-prefix CHECK_ABI_LATEST %s
2// RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -fblocks -emit-llvm -o - %s -fexceptions -std=c++1y -fclang-abi-compat=6.0 | FileCheck --check-prefix CHECK_ABIV6 %s
3
4// CHECK-LABEL: define void @_ZN19non_inline_function3fooEv
5// CHECK-LABEL: define internal void @"_ZZN19non_inline_function3fooEvENK3$_0clEi"(%class.anon
6// CHECK-LABEL: define internal signext i8 @"_ZZZN19non_inline_function3fooEvENK3$_0clEiENKUlcE_clEc"(%class.anon
7// CHECK-LABEL: define linkonce_odr void @_ZN19non_inline_function4foo2IiEEDav()
8namespace non_inline_function {
9auto foo() {
10  auto L = [](int a) {
11    return [](char b) {
12     return b;
13    };
14  };
15  L(3)('a');
16  return L;
17}
18
19template<typename T> 
20auto foo2() {
21  return [](const T&) { return 42; };
22}
23
24auto use = foo2<int>();
25
26}
27//CHECK-LABEL: define linkonce_odr void @_ZN22inline_member_function1X3fooEv(%"struct.inline_member_function::X"* %this)
28//CHECK-LABEL: define linkonce_odr void @_ZZN22inline_member_function1X3fooEvENKUliE_clEi(%class.anon
29//CHECK-LABEL: define linkonce_odr signext i8 @_ZZZN22inline_member_function1X3fooEvENKUliE_clEiENKUlcE_clEc(%class.anon
30
31namespace inline_member_function {
32struct X {
33auto foo() {
34  auto L = [](int a) {
35    return [](char b) {
36     return b;
37    };
38  };
39  return L;
40}
41};
42
43auto run1 = X{}.foo()(3)('a');
44
45template<typename S>
46struct A {
47  template<typename T> static auto default_lambda() {
48    return [](const T&) { return 42; };
49  }
50
51  template<class U = decltype(default_lambda<S>())>
52    U func(U u = default_lambda<S>()) { return u; }
53  
54  template<class T> auto foo() { return [](const T&) { return 42; }; }
55};
56//CHECK_ABIV6: define linkonce_odr i32 @_ZZN22inline_member_function1AIdE14default_lambdaIdEEDavENKUlRKdE_clES5_(%class.anon
57//CHECK_ABI_LATEST: define linkonce_odr i32 @_ZZN22inline_member_function1AIdE14default_lambdaIdEEDavENKUlRKdE_clES4_(%class.anon
58int run2 = A<double>{}.func()(3.14);
59
60//CHECK_ABIV6: define linkonce_odr i32 @_ZZN22inline_member_function1AIcE14default_lambdaIcEEDavENKUlRKcE_clES5_(%class.anon
61//CHECK_ABI_LATEST: define linkonce_odr i32 @_ZZN22inline_member_function1AIcE14default_lambdaIcEEDavENKUlRKcE_clES4_(%class.anon
62int run3 = A<char>{}.func()('a');
63} // end inline_member_function
64
65
66// CHECK-LABEL: define linkonce_odr void @_ZN15inline_function3fooEv()
67// CHECK: define linkonce_odr void @_ZZN15inline_function3fooEvENKUliE_clEi(%class.anon
68// CHECK: define linkonce_odr signext i8 @_ZZZN15inline_function3fooEvENKUliE_clEiENKUlcE_clEc(%class.anon
69namespace inline_function {
70inline auto foo() {
71  auto L = [](int a) {
72    return [](char b) {
73     return b;
74    };
75  };
76  return L;
77}
78auto use = foo()(3)('a');
79}
80
81