xref: /llvm-project/clang/test/CodeGenCXX/mangle-lambdas.cpp (revision 7fcbd902b49f1776cd514e8e0056a159d46f5a01)
1 // RUN: %clang_cc1 -std=c++11 -triple x86_64-apple-macosx10.7.0 -emit-llvm -o - %s | FileCheck %s
2 
3 // CHECK: define linkonce_odr void @_Z11inline_funci
4 inline void inline_func(int n) {
5   // CHECK: call i32 @_ZZ11inline_funciENKUlvE_clEv
6   int i = []{ return 1; }();
7 
8   // CHECK: call i32 @_ZZ11inline_funciENKUlvE0_clEv
9   int j = [=] { return n + i; }();
10 
11   // CHECK: call double @_ZZ11inline_funciENKUlvE1_clEv
12   int k = [=] () -> double { return n + i; }();
13 
14   // CHECK: call i32 @_ZZ11inline_funciENKUliE_clEi
15   int l = [=] (int x) -> int { return x + i; }(n);
16 
17   int inner(int i = []{ return 1; }());
18   // CHECK: call i32 @_ZZ11inline_funciENKUlvE2_clEv
19   // CHECK-NEXT: call i32 @_Z5inneri
20   inner();
21 
22   // CHECK-NEXT: ret void
23 }
24 
25 void call_inline_func() {
26   inline_func(17);
27 }
28 
29 struct S {
30   void f(int = []{return 1;}()
31              + []{return 2;}(),
32          int = []{return 3;}());
33   void g(int, int);
34 };
35 
36 void S::g(int i = []{return 1;}(),
37           int j = []{return 2; }()) {}
38 
39 // CHECK: define void @_Z6test_S1S
40 void test_S(S s) {
41   // CHECK: call i32 @_ZZN1S1fEiiEd0_NKUlvE_clEv
42   // CHECK-NEXT: call i32 @_ZZN1S1fEiiEd0_NKUlvE0_clEv
43   // CHECK-NEXT: add nsw i32
44   // CHECK-NEXT: call i32 @_ZZN1S1fEiiEd_NKUlvE_clEv
45   // CHECK-NEXT: call void @_ZN1S1fEii
46   s.f();
47 
48   // NOTE: These manglings don't actually matter that much, because
49   // the lambdas in the default arguments of g() won't be seen by
50   // multiple translation units. We check them mainly to ensure that they don't
51   // get the special mangling for lambdas in in-class default arguments.
52   // CHECK: call i32 @_ZNK1SUlvE_clEv
53   // CHECK-NEXT: call i32 @_ZNK1SUlvE0_clEv
54   // CHECK-NEXT: call void @_ZN1S1gEi
55   s.g();
56 
57   // CHECK-NEXT: ret void
58 }
59 
60 template<typename T>
61 struct ST {
62   void f(T = []{return T() + 1;}()
63            + []{return T() + 2;}(),
64          T = []{return T(3);}());
65 };
66 
67 // CHECK: define void @_Z7test_ST2STIdE
68 void test_ST(ST<double> st) {
69   // CHECK: call double @_ZZN2ST1fET_S0_Ed0_NKUlvE_clEv
70   // CHECK-NEXT: call double @_ZZN2ST1fET_S0_Ed0_NKUlvE0_clEv
71   // CHECK-NEXT: fadd double
72   // CHECK-NEXT: call double @_ZZN2ST1fET_S0_Ed_NKUlvE_clEv
73   // CHECK-NEXT: call void @_ZN2STIdE1fEdd
74   st.f();
75 
76   // CHECK-NEXT: ret void
77 }
78