1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
|
// RUN: %clang_cc1 -triple %itanium_abi_triple -emit-llvm \
// RUN: -debug-info-kind=standalone -std=c++26 %s -o - | FileCheck %s
template<typename... Args>
auto capture_pack(Args... args) {
return [args..., ...params = args] {
return 0;
}();
}
// CHECK: ![[PACK1:[0-9]+]] = distinct !DISubprogram(name: "capture_pack<int>"
// CHECK: distinct !DICompositeType(tag: DW_TAG_class_type, scope: ![[PACK1]]
// CHECK-SAME: elements: ![[PACK1_ELEMS:[0-9]+]]
// CHECK-DAG: ![[PACK1_ELEMS]] = !{![[PACK1_ARGS:[0-9]+]], ![[PACK1_PARAMS:[0-9]+]]}
// CHECK-DAG: ![[PACK1_ARGS]] = !DIDerivedType(tag: DW_TAG_member, name: "args"
// CHECK-DAG: ![[PACK1_PARAMS]] = !DIDerivedType(tag: DW_TAG_member, name: "params"
// CHECK-NOT: DW_TAG_member
// CHECK: ![[PACK2:[0-9]+]] = distinct !DISubprogram(name: "capture_pack<int, int>"
// CHECK: distinct !DICompositeType(tag: DW_TAG_class_type, scope: ![[PACK2]]
// CHECK-SAME: elements: ![[PACK2_ELEMS:[0-9]+]]
// CHECK: ![[PACK2_ELEMS]] = !{![[PACK2_ARGS:[0-9]+]]
// CHECK-SAME: ![[PACK2_ARGS]]
// CHECK-SAME: ![[PACK2_PARAMS:[0-9]+]]
// CHECK-SAME: ![[PACK2_PARAMS]]}
// CHECK-DAG: ![[PACK2_ARGS]] = !DIDerivedType(tag: DW_TAG_member, name: "args"
// CHECK-DAG: ![[PACK2_PARAMS]] = !DIDerivedType(tag: DW_TAG_member, name: "params"
// CHECK-NOT: DW_TAG_member
template<typename... Args>
auto capture_pack_and_locals(int x, Args... args) {
int w = 0;
return [=, &args..., &x, ...params = args] {
return w;
}();
}
// CHECK: ![[PACK3:[0-9]+]] = distinct !DISubprogram(name: "capture_pack_and_locals<int>"
// CHECK: distinct !DICompositeType(tag: DW_TAG_class_type, scope: ![[PACK3]]
// CHECK-SAME: elements: ![[PACK3_ELEMS:[0-9]+]]
// CHECK: ![[PACK3_ELEMS]] = !{![[PACK3_ARGS:[0-9]+]]
// CHECK-SAME: ![[PACK3_X:[0-9]+]]
// CHECK-SAME: ![[PACK3_PARAMS:[0-9]+]]
// CHECK-SAME: ![[PACK3_W:[0-9]+]]}
// CHECK-DAG: ![[PACK3_ARGS]] = !DIDerivedType(tag: DW_TAG_member, name: "args"
// CHECK-DAG: !DIDerivedType(tag: DW_TAG_reference_type
// CHECK-DAG: ![[PACK3_X]] = !DIDerivedType(tag: DW_TAG_member, name: "x"
// CHECK-DAG: ![[PACK3_PARAMS]] = !DIDerivedType(tag: DW_TAG_member, name: "params"
// CHECK-DAG: ![[PACK3_W]] = !DIDerivedType(tag: DW_TAG_member, name: "w"
// CHECK-NOT: DW_TAG_member
// CHECK: ![[PACK4:[0-9]+]] = distinct !DISubprogram(name: "capture_pack_and_locals<int, int>"
// CHECK: distinct !DICompositeType(tag: DW_TAG_class_type, scope: ![[PACK4]]
// CHECK-SAME: elements: ![[PACK4_ELEMS:[0-9]+]]
// CHECK: ![[PACK4_ELEMS]] = !{![[PACK4_ARGS:[0-9]+]]
// CHECK-SAME: ![[PACK4_ARGS]]
// CHECK-SAME: ![[PACK4_X:[0-9]+]]
// CHECK-SAME: ![[PACK4_PARAMS:[0-9]+]]
// CHECK-SAME: ![[PACK4_PARAMS]]
// CHECK-SAME: ![[PACK4_W:[0-9]+]]}
// CHECK-DAG: ![[PACK4_ARGS]] = !DIDerivedType(tag: DW_TAG_member, name: "args"
// CHECK-DAG: ![[PACK4_X]] = !DIDerivedType(tag: DW_TAG_member, name: "x"
// CHECK-DAG: ![[PACK4_PARAMS]] = !DIDerivedType(tag: DW_TAG_member, name: "params"
// CHECK-DAG: ![[PACK4_W]] = !DIDerivedType(tag: DW_TAG_member, name: "w"
// CHECK-NOT: DW_TAG_member
struct Foo {
template<typename... Args>
auto capture_pack_and_this(Args... args) {
auto val1 = [this, args..., ...params = args] {
return w;
}();
auto val2 = [args..., this, ...params = args] {
return w;
}();
auto val3 = [args..., ...params = args, this] {
return w;
}();
return val1 + val2 + val3;
}
int w = 10;
} f;
// CHECK: ![[PACK5:[0-9]+]] = distinct !DISubprogram(name: "capture_pack_and_this<int>"
// CHECK: distinct !DICompositeType(tag: DW_TAG_class_type, scope: ![[PACK5]]
// CHECK-SAME: elements: ![[PACK5a_ELEMS:[0-9]+]]
// CHECK: ![[PACK5a_ELEMS]] = !{![[PACK5a_THIS:[0-9]+]]
// CHECK-SAME: ![[PACK5a_ARGS:[0-9]+]]
// CHECK-SAME: ![[PACK5a_PARAMS:[0-9]+]]}
// CHECK-DAG: ![[PACK5a_THIS]] = !DIDerivedType(tag: DW_TAG_member, name: "this"
// CHECK-DAG: ![[PACK5a_ARGS]] = !DIDerivedType(tag: DW_TAG_member, name: "args"
// CHECK-DAG: ![[PACK5a_PARAMS]] = !DIDerivedType(tag: DW_TAG_member, name: "params"
// CHECK-NOT: DW_TAG_member
// CHECK: distinct !DICompositeType(tag: DW_TAG_class_type, scope: ![[PACK5]]
// CHECK-SAME: elements: ![[PACK5b_ELEMS:[0-9]+]]
// CHECK: ![[PACK5b_ELEMS]] = !{![[PACK5b_ARGS:[0-9]+]]
// CHECK-SAME: ![[PACK5b_THIS:[0-9]+]]
// CHECK-SAME: ![[PACK5b_PARAMS:[0-9]+]]}
// CHECK-DAG: ![[PACK5b_ARGS]] = !DIDerivedType(tag: DW_TAG_member, name: "args"
// CHECK-DAG: ![[PACK5b_THIS]] = !DIDerivedType(tag: DW_TAG_member, name: "this"
// CHECK-DAG: ![[PACK5b_PARAMS]] = !DIDerivedType(tag: DW_TAG_member, name: "params"
// CHECK-NOT: DW_TAG_member
// CHECK: distinct !DICompositeType(tag: DW_TAG_class_type, scope: ![[PACK5]]
// CHECK: elements: ![[PACK5c_ELEMS:[0-9]+]]
// CHECK-NEXT: ![[PACK5c_ELEMS]] = !{![[PACK5c_ARGS:[0-9]+]]
// CHECK-SAME: ![[PACK5c_PARAMS:[0-9]+]]
// CHECK-SAME: ![[PACK5c_THIS:[0-9]+]]}
// CHECK-DAG: ![[PACK5c_ARGS]] = !DIDerivedType(tag: DW_TAG_member, name: "args"
// CHECK-DAG: ![[PACK5c_PARAMS]] = !DIDerivedType(tag: DW_TAG_member, name: "params"
// CHECK-DAG: ![[PACK5c_THIS]] = !DIDerivedType(tag: DW_TAG_member, name: "this"
// CHECK-NOT: DW_TAG_member
// CHECK: ![[PACK6:[0-9]+]] = distinct !DISubprogram(name: "capture_pack_and_this<int, int>"
// CHECK: distinct !DICompositeType(tag: DW_TAG_class_type, scope: ![[PACK6]]
// CHECK-SAME: elements: ![[PACK6a_ELEMS:[0-9]+]]
// CHECK: ![[PACK6a_ELEMS]] = !{![[PACK6a_THIS:[0-9]+]]
// CHECK-SAME: ![[PACK6a_ARGS:[0-9]+]]
// CHECK-SAME: ![[PACK6a_ARGS]]
// CHECK-SAME: ![[PACK6a_PARAMS:[0-9]+]]
// CHECK-SAME: ![[PACK6a_PARAMS]]
// CHECK-DAG: ![[PACK6a_THIS]] = !DIDerivedType(tag: DW_TAG_member, name: "this"
// CHECK-DAG: ![[PACK6a_ARGS]] = !DIDerivedType(tag: DW_TAG_member, name: "args"
// CHECK-DAG: ![[PACK6a_PARAMS]] = !DIDerivedType(tag: DW_TAG_member, name: "params"
// CHECK-NOT: DW_TAG_member
// CHECK: distinct !DICompositeType(tag: DW_TAG_class_type, scope: ![[PACK6]]
// CHECK-SAME: elements: ![[PACK6b_ELEMS:[0-9]+]]
// CHECK: ![[PACK6b_ELEMS]] = !{![[PACK6b_ARGS:[0-9]+]]
// CHECK-SAME: ![[PACK6b_ARGS]]
// CHECK-SAME: ![[PACK6b_THIS:[0-9]+]]
// CHECK-SAME: ![[PACK6b_PARAMS:[0-9]+]]
// CHECK-SAME: ![[PACK6b_PARAMS]]}
// CHECK-DAG: ![[PACK6b_ARGS]] = !DIDerivedType(tag: DW_TAG_member, name: "args"
// CHECK-DAG: ![[PACK6b_THIS]] = !DIDerivedType(tag: DW_TAG_member, name: "this"
// CHECK-DAG: ![[PACK6b_PARAMS]] = !DIDerivedType(tag: DW_TAG_member, name: "params"
// CHECK-NOT: DW_TAG_member
// CHECK: distinct !DICompositeType(tag: DW_TAG_class_type, scope: ![[PACK6]]
// CHECK-SAME: elements: ![[PACK6c_ELEMS:[0-9]+]]
// CHECK: ![[PACK6c_ELEMS]] = !{![[PACK6c_ARGS:[0-9]+]]
// CHECK-SAME: ![[PACK6c_ARGS]]
// CHECK-SAME: ![[PACK6c_PARAMS:[0-9]+]]
// CHECK-SAME: ![[PACK6c_PARAMS]]
// CHECK-SAME: ![[PACK6c_THIS:[0-9]+]]}
// CHECK-DAG: ![[PACK6c_ARGS]] = !DIDerivedType(tag: DW_TAG_member, name: "args"
// CHECK-DAG: ![[PACK6c_PARAMS]] = !DIDerivedType(tag: DW_TAG_member, name: "params"
// CHECK-DAG: ![[PACK6c_THIS]] = !DIDerivedType(tag: DW_TAG_member, name: "this"
// CHECK-NOT: DW_TAG_member
template<typename... Args>
auto capture_binding_and_param_pack(Args... args) {
struct C { int x = 2; int y = 3; };
auto [x, ...e] = C();
return [&, args..., x, ...params = args,
...es = e] {
return e...[0] + es...[0];
}();
}
// CHECK: ![[PACK7:[0-9]+]] = distinct !DISubprogram(name: "capture_binding_and_param_pack<int, int>"
// CHECK: distinct !DICompositeType(tag: DW_TAG_structure_type, name: "C"
// CHECK: distinct !DICompositeType(tag: DW_TAG_class_type, scope: ![[PACK7]]
// CHECK-SAME: elements: ![[PACK7_ELEMS:[0-9]+]]
// CHECK: ![[PACK7_ELEMS]] = !{![[PACK7_ARGS:[0-9]+]]
// CHECK-SAME: ![[PACK7_ARGS]]
// CHECK-SAME: ![[PACK7_X:[0-9]+]]
// CHECK-SAME: ![[PACK7_PARAMS:[0-9]+]]
// CHECK-SAME: ![[PACK7_PARAMS]]
// CHECK-SAME: ![[PACK7_ES:[0-9]+]]
// CHECK-SAME: ![[PACK7_E:[0-9]+]]}
// CHECK-DAG: ![[PACK7_ARGS]] = !DIDerivedType(tag: DW_TAG_member, name: "args"
// CHECK-DAG: ![[PACK7_X]] = !DIDerivedType(tag: DW_TAG_member, name: "x"
// CHECK-DAG: ![[PACK7_PARAMS]] = !DIDerivedType(tag: DW_TAG_member, name: "params"
// CHECK-DAG: ![[PACK7_ES]] = !DIDerivedType(tag: DW_TAG_member, name: "es"
// CHECK-DAG: ![[PACK7_E]] = !DIDerivedType(tag: DW_TAG_member, name: "e"
// CHECK-NOT: DW_TAG_member
int main() {
return capture_pack(1)
+ capture_pack(1, 2)
+ capture_pack_and_locals(1, 2)
+ capture_pack_and_locals(1, 2, 3)
+ f.capture_pack_and_this(1)
+ f.capture_pack_and_this(1, 2)
+ capture_binding_and_param_pack(1, 2);
}
|
