blob: 719e716a8868d2376b083a68bad0733fa3f028f2 [file] [log] [blame]
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001//===- MicrosoftDemangle.cpp ----------------------------------------------===//
2//
Chandler Carruth57b08b02019-01-19 10:56:40 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Zachary Turnerf435a7e2018-07-20 17:27:48 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This file defines a demangler for MSVC-style mangled symbols.
10//
11// This file has no dependencies on the rest of LLVM so that it can be
12// easily reused in other programs such as libcxxabi.
13//
14//===----------------------------------------------------------------------===//
15
Zachary Turner7ba90562018-11-01 15:07:32 +000016#include "llvm/Demangle/MicrosoftDemangle.h"
Zachary Turnerf435a7e2018-07-20 17:27:48 +000017#include "llvm/Demangle/Demangle.h"
Zachary Turner7ba90562018-11-01 15:07:32 +000018#include "llvm/Demangle/MicrosoftDemangleNodes.h"
Zachary Turnerf435a7e2018-07-20 17:27:48 +000019
Erik Pilkington5094e5e2019-01-17 20:37:51 +000020#include "llvm/Demangle/DemangleConfig.h"
Richard Smith8a57f2e2018-08-20 19:44:01 +000021#include "llvm/Demangle/StringView.h"
22#include "llvm/Demangle/Utility.h"
Zachary Turnerf435a7e2018-07-20 17:27:48 +000023
Zachary Turner66555a72018-08-20 19:15:35 +000024#include <array>
Zachary Turnerf435a7e2018-07-20 17:27:48 +000025#include <cctype>
Zachary Turner5ae08b82018-08-01 18:44:12 +000026#include <cstdio>
Zachary Turnerd742d642018-07-26 19:56:09 +000027#include <tuple>
Zachary Turnerf435a7e2018-07-20 17:27:48 +000028
Zachary Turner03312862018-08-27 03:48:03 +000029using namespace llvm;
30using namespace ms_demangle;
Zachary Turnerf435a7e2018-07-20 17:27:48 +000031
32static bool startsWithDigit(StringView S) {
33 return !S.empty() && std::isdigit(S.front());
34}
35
Zachary Turnerd742d642018-07-26 19:56:09 +000036
Zachary Turner03312862018-08-27 03:48:03 +000037struct NodeList {
38 Node *N = nullptr;
39 NodeList *Next = nullptr;
Zachary Turnerf435a7e2018-07-20 17:27:48 +000040};
41
Zachary Turner8fb9a712018-12-14 18:10:13 +000042static bool isMemberPointer(StringView MangledName, bool &Error) {
43 Error = false;
Zachary Turnerd742d642018-07-26 19:56:09 +000044 switch (MangledName.popFront()) {
Zachary Turner931e8792018-07-30 23:02:10 +000045 case '$':
46 // This is probably an rvalue reference (e.g. $$Q), and you cannot have an
47 // rvalue reference to a member.
48 return false;
Zachary Turnerd742d642018-07-26 19:56:09 +000049 case 'A':
50 // 'A' indicates a reference, and you cannot have a reference to a member
Zachary Turner931e8792018-07-30 23:02:10 +000051 // function or member.
Zachary Turnerd742d642018-07-26 19:56:09 +000052 return false;
53 case 'P':
54 case 'Q':
55 case 'R':
56 case 'S':
57 // These 4 values indicate some kind of pointer, but we still don't know
58 // what.
59 break;
60 default:
Zachary Turner8fb9a712018-12-14 18:10:13 +000061 Error = true;
62 return false;
Zachary Turnerd742d642018-07-26 19:56:09 +000063 }
64
65 // If it starts with a number, then 6 indicates a non-member function
66 // pointer, and 8 indicates a member function pointer.
67 if (startsWithDigit(MangledName)) {
Nico Weber63b97d22019-04-08 19:46:53 +000068 if (MangledName[0] != '6' && MangledName[0] != '8') {
69 Error = true;
70 return false;
71 }
Zachary Turnerd742d642018-07-26 19:56:09 +000072 return (MangledName[0] == '8');
73 }
74
75 // Remove ext qualifiers since those can appear on either type and are
76 // therefore not indicative.
77 MangledName.consumeFront('E'); // 64-bit
78 MangledName.consumeFront('I'); // restrict
79 MangledName.consumeFront('F'); // unaligned
80
Nico Weber63b97d22019-04-08 19:46:53 +000081 if (MangledName.empty()) {
82 Error = true;
83 return false;
84 }
Zachary Turnerd742d642018-07-26 19:56:09 +000085
86 // The next value should be either ABCD (non-member) or QRST (member).
87 switch (MangledName.front()) {
88 case 'A':
89 case 'B':
90 case 'C':
91 case 'D':
92 return false;
93 case 'Q':
94 case 'R':
95 case 'S':
96 case 'T':
97 return true;
98 default:
Zachary Turner8fb9a712018-12-14 18:10:13 +000099 Error = true;
100 return false;
Zachary Turnerd742d642018-07-26 19:56:09 +0000101 }
Zachary Turnerd742d642018-07-26 19:56:09 +0000102}
103
Zachary Turner03312862018-08-27 03:48:03 +0000104static SpecialIntrinsicKind
105consumeSpecialIntrinsicKind(StringView &MangledName) {
106 if (MangledName.consumeFront("?_7"))
107 return SpecialIntrinsicKind::Vftable;
108 if (MangledName.consumeFront("?_8"))
109 return SpecialIntrinsicKind::Vbtable;
110 if (MangledName.consumeFront("?_9"))
111 return SpecialIntrinsicKind::VcallThunk;
112 if (MangledName.consumeFront("?_A"))
113 return SpecialIntrinsicKind::Typeof;
114 if (MangledName.consumeFront("?_B"))
115 return SpecialIntrinsicKind::LocalStaticGuard;
116 if (MangledName.consumeFront("?_C"))
117 return SpecialIntrinsicKind::StringLiteralSymbol;
118 if (MangledName.consumeFront("?_P"))
119 return SpecialIntrinsicKind::UdtReturning;
120 if (MangledName.consumeFront("?_R0"))
121 return SpecialIntrinsicKind::RttiTypeDescriptor;
122 if (MangledName.consumeFront("?_R1"))
123 return SpecialIntrinsicKind::RttiBaseClassDescriptor;
124 if (MangledName.consumeFront("?_R2"))
125 return SpecialIntrinsicKind::RttiBaseClassArray;
126 if (MangledName.consumeFront("?_R3"))
127 return SpecialIntrinsicKind::RttiClassHierarchyDescriptor;
128 if (MangledName.consumeFront("?_R4"))
129 return SpecialIntrinsicKind::RttiCompleteObjLocator;
130 if (MangledName.consumeFront("?_S"))
131 return SpecialIntrinsicKind::LocalVftable;
132 if (MangledName.consumeFront("?__E"))
133 return SpecialIntrinsicKind::DynamicInitializer;
134 if (MangledName.consumeFront("?__F"))
135 return SpecialIntrinsicKind::DynamicAtexitDestructor;
136 if (MangledName.consumeFront("?__J"))
137 return SpecialIntrinsicKind::LocalStaticThreadGuard;
138 return SpecialIntrinsicKind::None;
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000139}
140
Zachary Turner71c91f92018-07-30 03:12:34 +0000141static bool startsWithLocalScopePattern(StringView S) {
142 if (!S.consumeFront('?'))
143 return false;
144 if (S.size() < 2)
145 return false;
146
147 size_t End = S.find('?');
148 if (End == StringView::npos)
149 return false;
150 StringView Candidate = S.substr(0, End);
151 if (Candidate.empty())
152 return false;
153
154 // \?[0-9]\?
155 // ?@? is the discriminator 0.
156 if (Candidate.size() == 1)
157 return Candidate[0] == '@' || (Candidate[0] >= '0' && Candidate[0] <= '9');
158
159 // If it's not 0-9, then it's an encoded number terminated with an @
160 if (Candidate.back() != '@')
161 return false;
162 Candidate = Candidate.dropBack();
163
164 // An encoded number starts with B-P and all subsequent digits are in A-P.
165 // Note that the reason the first digit cannot be A is two fold. First, it
166 // would create an ambiguity with ?A which delimits the beginning of an
167 // anonymous namespace. Second, A represents 0, and you don't start a multi
168 // digit number with a leading 0. Presumably the anonymous namespace
169 // ambiguity is also why single digit encoded numbers use 0-9 rather than A-J.
170 if (Candidate[0] < 'B' || Candidate[0] > 'P')
171 return false;
172 Candidate = Candidate.dropFront();
173 while (!Candidate.empty()) {
174 if (Candidate[0] < 'A' || Candidate[0] > 'P')
175 return false;
176 Candidate = Candidate.dropFront();
177 }
178
179 return true;
180}
181
Zachary Turner03312862018-08-27 03:48:03 +0000182static bool isTagType(StringView S) {
183 switch (S.front()) {
184 case 'T': // union
185 case 'U': // struct
186 case 'V': // class
187 case 'W': // enum
188 return true;
Zachary Turner38b78a72018-07-26 20:20:10 +0000189 }
Zachary Turner03312862018-08-27 03:48:03 +0000190 return false;
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000191}
192
Zachary Turnerb2fef1a2018-08-29 04:12:44 +0000193static bool isCustomType(StringView S) { return S[0] == '?'; }
194
Zachary Turner03312862018-08-27 03:48:03 +0000195static bool isPointerType(StringView S) {
196 if (S.startsWith("$$Q")) // foo &&
197 return true;
198
199 switch (S.front()) {
200 case 'A': // foo &
201 case 'P': // foo *
202 case 'Q': // foo *const
203 case 'R': // foo *volatile
204 case 'S': // foo *const volatile
205 return true;
206 }
207 return false;
208}
209
210static bool isArrayType(StringView S) { return S[0] == 'Y'; }
211
212static bool isFunctionType(StringView S) {
213 return S.startsWith("$$A8@@") || S.startsWith("$$A6");
214}
215
216static FunctionRefQualifier
217demangleFunctionRefQualifier(StringView &MangledName) {
218 if (MangledName.consumeFront('G'))
219 return FunctionRefQualifier::Reference;
220 else if (MangledName.consumeFront('H'))
221 return FunctionRefQualifier::RValueReference;
222 return FunctionRefQualifier::None;
223}
224
225static std::pair<Qualifiers, PointerAffinity>
226demanglePointerCVQualifiers(StringView &MangledName) {
227 if (MangledName.consumeFront("$$Q"))
228 return std::make_pair(Q_None, PointerAffinity::RValueReference);
229
230 switch (MangledName.popFront()) {
231 case 'A':
232 return std::make_pair(Q_None, PointerAffinity::Reference);
233 case 'P':
234 return std::make_pair(Q_None, PointerAffinity::Pointer);
235 case 'Q':
236 return std::make_pair(Q_Const, PointerAffinity::Pointer);
237 case 'R':
238 return std::make_pair(Q_Volatile, PointerAffinity::Pointer);
239 case 'S':
240 return std::make_pair(Qualifiers(Q_Const | Q_Volatile),
241 PointerAffinity::Pointer);
Zachary Turner970fdc32018-08-16 16:17:36 +0000242 default:
Zachary Turner03312862018-08-27 03:48:03 +0000243 assert(false && "Ty is not a pointer type!");
Zachary Turner970fdc32018-08-16 16:17:36 +0000244 }
Zachary Turner03312862018-08-27 03:48:03 +0000245 return std::make_pair(Q_None, PointerAffinity::Pointer);
Zachary Turner970fdc32018-08-16 16:17:36 +0000246}
247
Zachary Turner71c91f92018-07-30 03:12:34 +0000248StringView Demangler::copyString(StringView Borrowed) {
249 char *Stable = Arena.allocUnalignedBuffer(Borrowed.size() + 1);
250 std::strcpy(Stable, Borrowed.begin());
251
252 return {Stable, Borrowed.size()};
253}
254
Zachary Turner03312862018-08-27 03:48:03 +0000255SpecialTableSymbolNode *
256Demangler::demangleSpecialTableSymbolNode(StringView &MangledName,
257 SpecialIntrinsicKind K) {
258 NamedIdentifierNode *NI = Arena.alloc<NamedIdentifierNode>();
259 switch (K) {
260 case SpecialIntrinsicKind::Vftable:
261 NI->Name = "`vftable'";
262 break;
263 case SpecialIntrinsicKind::Vbtable:
264 NI->Name = "`vbtable'";
265 break;
266 case SpecialIntrinsicKind::LocalVftable:
267 NI->Name = "`local vftable'";
268 break;
269 case SpecialIntrinsicKind::RttiCompleteObjLocator:
270 NI->Name = "`RTTI Complete Object Locator'";
271 break;
272 default:
Erik Pilkington5094e5e2019-01-17 20:37:51 +0000273 DEMANGLE_UNREACHABLE;
Zachary Turner03312862018-08-27 03:48:03 +0000274 }
275 QualifiedNameNode *QN = demangleNameScopeChain(MangledName, NI);
276 SpecialTableSymbolNode *STSN = Arena.alloc<SpecialTableSymbolNode>();
277 STSN->Name = QN;
Zachary Turner469f0762018-08-17 21:18:05 +0000278 bool IsMember = false;
Zachary Turner03312862018-08-27 03:48:03 +0000279 char Front = MangledName.popFront();
280 if (Front != '6' && Front != '7') {
281 Error = true;
282 return nullptr;
283 }
284
285 std::tie(STSN->Quals, IsMember) = demangleQualifiers(MangledName);
286 if (!MangledName.consumeFront('@'))
287 STSN->TargetName = demangleFullyQualifiedTypeName(MangledName);
288 return STSN;
289}
290
291LocalStaticGuardVariableNode *
292Demangler::demangleLocalStaticGuard(StringView &MangledName) {
293 LocalStaticGuardIdentifierNode *LSGI =
294 Arena.alloc<LocalStaticGuardIdentifierNode>();
295 QualifiedNameNode *QN = demangleNameScopeChain(MangledName, LSGI);
296 LocalStaticGuardVariableNode *LSGVN =
297 Arena.alloc<LocalStaticGuardVariableNode>();
298 LSGVN->Name = QN;
299
300 if (MangledName.consumeFront("4IA"))
301 LSGVN->IsVisible = false;
302 else if (MangledName.consumeFront("5"))
303 LSGVN->IsVisible = true;
304 else {
305 Error = true;
306 return nullptr;
307 }
308
309 if (!MangledName.empty())
310 LSGI->ScopeIndex = demangleUnsigned(MangledName);
311 return LSGVN;
312}
313
314static NamedIdentifierNode *synthesizeNamedIdentifier(ArenaAllocator &Arena,
315 StringView Name) {
316 NamedIdentifierNode *Id = Arena.alloc<NamedIdentifierNode>();
317 Id->Name = Name;
318 return Id;
319}
320
321static QualifiedNameNode *synthesizeQualifiedName(ArenaAllocator &Arena,
322 IdentifierNode *Identifier) {
323 QualifiedNameNode *QN = Arena.alloc<QualifiedNameNode>();
324 QN->Components = Arena.alloc<NodeArrayNode>();
325 QN->Components->Count = 1;
326 QN->Components->Nodes = Arena.allocArray<Node *>(1);
327 QN->Components->Nodes[0] = Identifier;
328 return QN;
329}
330
331static QualifiedNameNode *synthesizeQualifiedName(ArenaAllocator &Arena,
332 StringView Name) {
333 NamedIdentifierNode *Id = synthesizeNamedIdentifier(Arena, Name);
334 return synthesizeQualifiedName(Arena, Id);
335}
336
337static VariableSymbolNode *synthesizeVariable(ArenaAllocator &Arena,
338 TypeNode *Type,
339 StringView VariableName) {
340 VariableSymbolNode *VSN = Arena.alloc<VariableSymbolNode>();
341 VSN->Type = Type;
342 VSN->Name = synthesizeQualifiedName(Arena, VariableName);
343 return VSN;
344}
345
346VariableSymbolNode *Demangler::demangleUntypedVariable(
347 ArenaAllocator &Arena, StringView &MangledName, StringView VariableName) {
348 NamedIdentifierNode *NI = synthesizeNamedIdentifier(Arena, VariableName);
349 QualifiedNameNode *QN = demangleNameScopeChain(MangledName, NI);
350 VariableSymbolNode *VSN = Arena.alloc<VariableSymbolNode>();
351 VSN->Name = QN;
352 if (MangledName.consumeFront("8"))
353 return VSN;
354
355 Error = true;
356 return nullptr;
357}
358
359VariableSymbolNode *
360Demangler::demangleRttiBaseClassDescriptorNode(ArenaAllocator &Arena,
361 StringView &MangledName) {
362 RttiBaseClassDescriptorNode *RBCDN =
363 Arena.alloc<RttiBaseClassDescriptorNode>();
364 RBCDN->NVOffset = demangleUnsigned(MangledName);
365 RBCDN->VBPtrOffset = demangleSigned(MangledName);
366 RBCDN->VBTableOffset = demangleUnsigned(MangledName);
367 RBCDN->Flags = demangleUnsigned(MangledName);
368 if (Error)
369 return nullptr;
370
371 VariableSymbolNode *VSN = Arena.alloc<VariableSymbolNode>();
372 VSN->Name = demangleNameScopeChain(MangledName, RBCDN);
373 MangledName.consumeFront('8');
374 return VSN;
375}
376
Zachary Turner32a8a202018-08-29 23:56:09 +0000377FunctionSymbolNode *Demangler::demangleInitFiniStub(StringView &MangledName,
378 bool IsDestructor) {
Zachary Turner03312862018-08-27 03:48:03 +0000379 DynamicStructorIdentifierNode *DSIN =
380 Arena.alloc<DynamicStructorIdentifierNode>();
381 DSIN->IsDestructor = IsDestructor;
Zachary Turner32a8a202018-08-29 23:56:09 +0000382
Zachary Turner78ab3cb2018-08-30 20:53:29 +0000383 bool IsKnownStaticDataMember = false;
384 if (MangledName.consumeFront('?'))
385 IsKnownStaticDataMember = true;
386
Nico Weber63b97d22019-04-08 19:46:53 +0000387 SymbolNode *Symbol = demangleDeclarator(MangledName);
388 if (Error)
389 return nullptr;
Zachary Turner32a8a202018-08-29 23:56:09 +0000390
Zachary Turner32a8a202018-08-29 23:56:09 +0000391 FunctionSymbolNode *FSN = nullptr;
Zachary Turner32a8a202018-08-29 23:56:09 +0000392
393 if (Symbol->kind() == NodeKind::VariableSymbol) {
394 DSIN->Variable = static_cast<VariableSymbolNode *>(Symbol);
Zachary Turner78ab3cb2018-08-30 20:53:29 +0000395
396 // Older versions of clang mangled this type of symbol incorrectly. They
397 // would omit the leading ? and they would only emit a single @ at the end.
398 // The correct mangling is a leading ? and 2 trailing @ signs. Handle
399 // both cases.
400 int AtCount = IsKnownStaticDataMember ? 2 : 1;
401 for (int I = 0; I < AtCount; ++I) {
402 if (MangledName.consumeFront('@'))
403 continue;
Zachary Turner32a8a202018-08-29 23:56:09 +0000404 Error = true;
405 return nullptr;
406 }
407
408 FSN = demangleFunctionEncoding(MangledName);
Nico Weber63b97d22019-04-08 19:46:53 +0000409 if (FSN)
410 FSN->Name = synthesizeQualifiedName(Arena, DSIN);
Zachary Turner32a8a202018-08-29 23:56:09 +0000411 } else {
Zachary Turner78ab3cb2018-08-30 20:53:29 +0000412 if (IsKnownStaticDataMember) {
413 // This was supposed to be a static data member, but we got a function.
414 Error = true;
415 return nullptr;
416 }
417
Zachary Turner32a8a202018-08-29 23:56:09 +0000418 FSN = static_cast<FunctionSymbolNode *>(Symbol);
419 DSIN->Name = Symbol->Name;
420 FSN->Name = synthesizeQualifiedName(Arena, DSIN);
421 }
422
Zachary Turner03312862018-08-27 03:48:03 +0000423 return FSN;
424}
425
426SymbolNode *Demangler::demangleSpecialIntrinsic(StringView &MangledName) {
427 SpecialIntrinsicKind SIK = consumeSpecialIntrinsicKind(MangledName);
428 if (SIK == SpecialIntrinsicKind::None)
429 return nullptr;
430
431 switch (SIK) {
432 case SpecialIntrinsicKind::StringLiteralSymbol:
433 return demangleStringLiteral(MangledName);
434 case SpecialIntrinsicKind::Vftable:
435 case SpecialIntrinsicKind::Vbtable:
436 case SpecialIntrinsicKind::LocalVftable:
437 case SpecialIntrinsicKind::RttiCompleteObjLocator:
438 return demangleSpecialTableSymbolNode(MangledName, SIK);
439 case SpecialIntrinsicKind::VcallThunk:
440 return demangleVcallThunkNode(MangledName);
441 case SpecialIntrinsicKind::LocalStaticGuard:
442 return demangleLocalStaticGuard(MangledName);
443 case SpecialIntrinsicKind::RttiTypeDescriptor: {
444 TypeNode *T = demangleType(MangledName, QualifierMangleMode::Result);
Zachary Turner469f0762018-08-17 21:18:05 +0000445 if (Error)
446 break;
447 if (!MangledName.consumeFront("@8"))
Zachary Turner03312862018-08-27 03:48:03 +0000448 break;
Zachary Turner469f0762018-08-17 21:18:05 +0000449 if (!MangledName.empty())
Zachary Turner03312862018-08-27 03:48:03 +0000450 break;
451 return synthesizeVariable(Arena, T, "`RTTI Type Descriptor'");
452 }
453 case SpecialIntrinsicKind::RttiBaseClassArray:
454 return demangleUntypedVariable(Arena, MangledName,
455 "`RTTI Base Class Array'");
456 case SpecialIntrinsicKind::RttiClassHierarchyDescriptor:
457 return demangleUntypedVariable(Arena, MangledName,
458 "`RTTI Class Hierarchy Descriptor'");
459 case SpecialIntrinsicKind::RttiBaseClassDescriptor:
460 return demangleRttiBaseClassDescriptorNode(Arena, MangledName);
461 case SpecialIntrinsicKind::DynamicInitializer:
Zachary Turner32a8a202018-08-29 23:56:09 +0000462 return demangleInitFiniStub(MangledName, false);
Zachary Turner03312862018-08-27 03:48:03 +0000463 case SpecialIntrinsicKind::DynamicAtexitDestructor:
Zachary Turner32a8a202018-08-29 23:56:09 +0000464 return demangleInitFiniStub(MangledName, true);
Zachary Turner469f0762018-08-17 21:18:05 +0000465 default:
Zachary Turner469f0762018-08-17 21:18:05 +0000466 break;
467 }
Zachary Turner03312862018-08-27 03:48:03 +0000468 Error = true;
469 return nullptr;
Zachary Turner469f0762018-08-17 21:18:05 +0000470}
471
Zachary Turner03312862018-08-27 03:48:03 +0000472IdentifierNode *
473Demangler::demangleFunctionIdentifierCode(StringView &MangledName) {
474 assert(MangledName.startsWith('?'));
475 MangledName = MangledName.dropFront();
Nico Weber321de482019-04-03 23:19:39 +0000476 if (MangledName.empty()) {
477 Error = true;
478 return nullptr;
479 }
Zachary Turner03312862018-08-27 03:48:03 +0000480
481 if (MangledName.consumeFront("__"))
482 return demangleFunctionIdentifierCode(
483 MangledName, FunctionIdentifierCodeGroup::DoubleUnder);
Nico Weberb4f33bb2019-04-11 22:47:18 +0000484 if (MangledName.consumeFront("_"))
Zachary Turner03312862018-08-27 03:48:03 +0000485 return demangleFunctionIdentifierCode(MangledName,
486 FunctionIdentifierCodeGroup::Under);
487 return demangleFunctionIdentifierCode(MangledName,
488 FunctionIdentifierCodeGroup::Basic);
489}
490
491StructorIdentifierNode *
492Demangler::demangleStructorIdentifier(StringView &MangledName,
493 bool IsDestructor) {
494 StructorIdentifierNode *N = Arena.alloc<StructorIdentifierNode>();
495 N->IsDestructor = IsDestructor;
496 return N;
497}
498
499ConversionOperatorIdentifierNode *
500Demangler::demangleConversionOperatorIdentifier(StringView &MangledName) {
501 ConversionOperatorIdentifierNode *N =
502 Arena.alloc<ConversionOperatorIdentifierNode>();
503 return N;
504}
505
506LiteralOperatorIdentifierNode *
507Demangler::demangleLiteralOperatorIdentifier(StringView &MangledName) {
508 LiteralOperatorIdentifierNode *N =
509 Arena.alloc<LiteralOperatorIdentifierNode>();
Nico Weberaf2ee7d2019-04-11 23:20:18 +0000510 N->Name = demangleSimpleString(MangledName, /*Memorize=*/false);
Zachary Turner03312862018-08-27 03:48:03 +0000511 return N;
512}
513
Nico Weber03db6252019-04-11 23:11:33 +0000514IntrinsicFunctionKind
515Demangler::translateIntrinsicFunctionCode(char CH,
516 FunctionIdentifierCodeGroup Group) {
517 using IFK = IntrinsicFunctionKind;
518 if (!(CH >= '0' && CH <= '9') && !(CH >= 'A' && CH <= 'Z')) {
519 Error = true;
520 return IFK::None;
521 }
522
Zachary Turner03312862018-08-27 03:48:03 +0000523 // Not all ? identifiers are intrinsics *functions*. This function only maps
524 // operator codes for the special functions, all others are handled elsewhere,
525 // hence the IFK::None entries in the table.
Zachary Turner03312862018-08-27 03:48:03 +0000526 static IFK Basic[36] = {
527 IFK::None, // ?0 # Foo::Foo()
528 IFK::None, // ?1 # Foo::~Foo()
529 IFK::New, // ?2 # operator new
530 IFK::Delete, // ?3 # operator delete
531 IFK::Assign, // ?4 # operator=
532 IFK::RightShift, // ?5 # operator>>
533 IFK::LeftShift, // ?6 # operator<<
534 IFK::LogicalNot, // ?7 # operator!
535 IFK::Equals, // ?8 # operator==
536 IFK::NotEquals, // ?9 # operator!=
537 IFK::ArraySubscript, // ?A # operator[]
538 IFK::None, // ?B # Foo::operator <type>()
539 IFK::Pointer, // ?C # operator->
540 IFK::Dereference, // ?D # operator*
541 IFK::Increment, // ?E # operator++
542 IFK::Decrement, // ?F # operator--
543 IFK::Minus, // ?G # operator-
544 IFK::Plus, // ?H # operator+
545 IFK::BitwiseAnd, // ?I # operator&
546 IFK::MemberPointer, // ?J # operator->*
547 IFK::Divide, // ?K # operator/
548 IFK::Modulus, // ?L # operator%
549 IFK::LessThan, // ?M operator<
550 IFK::LessThanEqual, // ?N operator<=
551 IFK::GreaterThan, // ?O operator>
552 IFK::GreaterThanEqual, // ?P operator>=
553 IFK::Comma, // ?Q operator,
554 IFK::Parens, // ?R operator()
555 IFK::BitwiseNot, // ?S operator~
556 IFK::BitwiseXor, // ?T operator^
557 IFK::BitwiseOr, // ?U operator|
558 IFK::LogicalAnd, // ?V operator&&
559 IFK::LogicalOr, // ?W operator||
560 IFK::TimesEqual, // ?X operator*=
561 IFK::PlusEqual, // ?Y operator+=
562 IFK::MinusEqual, // ?Z operator-=
563 };
564 static IFK Under[36] = {
565 IFK::DivEqual, // ?_0 operator/=
566 IFK::ModEqual, // ?_1 operator%=
567 IFK::RshEqual, // ?_2 operator>>=
568 IFK::LshEqual, // ?_3 operator<<=
569 IFK::BitwiseAndEqual, // ?_4 operator&=
570 IFK::BitwiseOrEqual, // ?_5 operator|=
571 IFK::BitwiseXorEqual, // ?_6 operator^=
572 IFK::None, // ?_7 # vftable
573 IFK::None, // ?_8 # vbtable
574 IFK::None, // ?_9 # vcall
575 IFK::None, // ?_A # typeof
576 IFK::None, // ?_B # local static guard
577 IFK::None, // ?_C # string literal
578 IFK::VbaseDtor, // ?_D # vbase destructor
579 IFK::VecDelDtor, // ?_E # vector deleting destructor
580 IFK::DefaultCtorClosure, // ?_F # default constructor closure
581 IFK::ScalarDelDtor, // ?_G # scalar deleting destructor
582 IFK::VecCtorIter, // ?_H # vector constructor iterator
583 IFK::VecDtorIter, // ?_I # vector destructor iterator
584 IFK::VecVbaseCtorIter, // ?_J # vector vbase constructor iterator
585 IFK::VdispMap, // ?_K # virtual displacement map
586 IFK::EHVecCtorIter, // ?_L # eh vector constructor iterator
587 IFK::EHVecDtorIter, // ?_M # eh vector destructor iterator
588 IFK::EHVecVbaseCtorIter, // ?_N # eh vector vbase constructor iterator
589 IFK::CopyCtorClosure, // ?_O # copy constructor closure
590 IFK::None, // ?_P<name> # udt returning <name>
591 IFK::None, // ?_Q # <unknown>
592 IFK::None, // ?_R0 - ?_R4 # RTTI Codes
593 IFK::None, // ?_S # local vftable
594 IFK::LocalVftableCtorClosure, // ?_T # local vftable constructor closure
595 IFK::ArrayNew, // ?_U operator new[]
596 IFK::ArrayDelete, // ?_V operator delete[]
597 IFK::None, // ?_W <unused>
598 IFK::None, // ?_X <unused>
599 IFK::None, // ?_Y <unused>
600 IFK::None, // ?_Z <unused>
601 };
602 static IFK DoubleUnder[36] = {
603 IFK::None, // ?__0 <unused>
604 IFK::None, // ?__1 <unused>
605 IFK::None, // ?__2 <unused>
606 IFK::None, // ?__3 <unused>
607 IFK::None, // ?__4 <unused>
608 IFK::None, // ?__5 <unused>
609 IFK::None, // ?__6 <unused>
610 IFK::None, // ?__7 <unused>
611 IFK::None, // ?__8 <unused>
612 IFK::None, // ?__9 <unused>
613 IFK::ManVectorCtorIter, // ?__A managed vector ctor iterator
614 IFK::ManVectorDtorIter, // ?__B managed vector dtor iterator
615 IFK::EHVectorCopyCtorIter, // ?__C EH vector copy ctor iterator
616 IFK::EHVectorVbaseCopyCtorIter, // ?__D EH vector vbase copy ctor iter
617 IFK::None, // ?__E dynamic initializer for `T'
618 IFK::None, // ?__F dynamic atexit destructor for `T'
619 IFK::VectorCopyCtorIter, // ?__G vector copy constructor iter
620 IFK::VectorVbaseCopyCtorIter, // ?__H vector vbase copy ctor iter
621 IFK::ManVectorVbaseCopyCtorIter, // ?__I managed vector vbase copy ctor
622 // iter
623 IFK::None, // ?__J local static thread guard
624 IFK::None, // ?__K operator ""_name
625 IFK::CoAwait, // ?__L co_await
626 IFK::None, // ?__M <unused>
627 IFK::None, // ?__N <unused>
628 IFK::None, // ?__O <unused>
629 IFK::None, // ?__P <unused>
630 IFK::None, // ?__Q <unused>
631 IFK::None, // ?__R <unused>
632 IFK::None, // ?__S <unused>
633 IFK::None, // ?__T <unused>
634 IFK::None, // ?__U <unused>
635 IFK::None, // ?__V <unused>
636 IFK::None, // ?__W <unused>
637 IFK::None, // ?__X <unused>
638 IFK::None, // ?__Y <unused>
639 IFK::None, // ?__Z <unused>
640 };
641
642 int Index = (CH >= '0' && CH <= '9') ? (CH - '0') : (CH - 'A' + 10);
643 switch (Group) {
644 case FunctionIdentifierCodeGroup::Basic:
645 return Basic[Index];
646 case FunctionIdentifierCodeGroup::Under:
647 return Under[Index];
648 case FunctionIdentifierCodeGroup::DoubleUnder:
649 return DoubleUnder[Index];
650 }
Erik Pilkington5094e5e2019-01-17 20:37:51 +0000651 DEMANGLE_UNREACHABLE;
Zachary Turner03312862018-08-27 03:48:03 +0000652}
653
654IdentifierNode *
655Demangler::demangleFunctionIdentifierCode(StringView &MangledName,
656 FunctionIdentifierCodeGroup Group) {
Nico Weber321de482019-04-03 23:19:39 +0000657 assert(!MangledName.empty());
Zachary Turner03312862018-08-27 03:48:03 +0000658 switch (Group) {
659 case FunctionIdentifierCodeGroup::Basic:
660 switch (char CH = MangledName.popFront()) {
661 case '0':
662 case '1':
663 return demangleStructorIdentifier(MangledName, CH == '1');
664 case 'B':
665 return demangleConversionOperatorIdentifier(MangledName);
666 default:
667 return Arena.alloc<IntrinsicFunctionIdentifierNode>(
668 translateIntrinsicFunctionCode(CH, Group));
669 }
670 break;
671 case FunctionIdentifierCodeGroup::Under:
672 return Arena.alloc<IntrinsicFunctionIdentifierNode>(
673 translateIntrinsicFunctionCode(MangledName.popFront(), Group));
674 case FunctionIdentifierCodeGroup::DoubleUnder:
675 switch (char CH = MangledName.popFront()) {
676 case 'K':
677 return demangleLiteralOperatorIdentifier(MangledName);
678 default:
679 return Arena.alloc<IntrinsicFunctionIdentifierNode>(
680 translateIntrinsicFunctionCode(CH, Group));
681 }
682 }
683 // No Mangling Yet: Spaceship, // operator<=>
684
Nico Weberef035182019-04-11 23:23:00 +0000685 DEMANGLE_UNREACHABLE;
Zachary Turner03312862018-08-27 03:48:03 +0000686}
687
688SymbolNode *Demangler::demangleEncodedSymbol(StringView &MangledName,
689 QualifiedNameNode *Name) {
Nico Weber63b97d22019-04-08 19:46:53 +0000690 if (MangledName.empty()) {
691 Error = true;
692 return nullptr;
693 }
694
Zachary Turner469f0762018-08-17 21:18:05 +0000695 // Read a variable.
696 switch (MangledName.front()) {
697 case '0':
698 case '1':
699 case '2':
700 case '3':
Zachary Turner03312862018-08-27 03:48:03 +0000701 case '4': {
702 StorageClass SC = demangleVariableStorageClass(MangledName);
703 return demangleVariableEncoding(MangledName, SC);
Zachary Turner469f0762018-08-17 21:18:05 +0000704 }
Zachary Turner03312862018-08-27 03:48:03 +0000705 }
706 FunctionSymbolNode *FSN = demangleFunctionEncoding(MangledName);
707
708 IdentifierNode *UQN = Name->getUnqualifiedIdentifier();
709 if (UQN->kind() == NodeKind::ConversionOperatorIdentifier) {
710 ConversionOperatorIdentifierNode *COIN =
711 static_cast<ConversionOperatorIdentifierNode *>(UQN);
Nico Weber63b97d22019-04-08 19:46:53 +0000712 if (FSN)
713 COIN->TargetType = FSN->Signature->ReturnType;
Zachary Turner03312862018-08-27 03:48:03 +0000714 }
715 return FSN;
Zachary Turner469f0762018-08-17 21:18:05 +0000716}
717
Nico Weber63b97d22019-04-08 19:46:53 +0000718SymbolNode *Demangler::demangleDeclarator(StringView &MangledName) {
719 // What follows is a main symbol name. This may include namespaces or class
720 // back references.
721 QualifiedNameNode *QN = demangleFullyQualifiedSymbolName(MangledName);
722 if (Error)
723 return nullptr;
724
725 SymbolNode *Symbol = demangleEncodedSymbol(MangledName, QN);
726 if (Error)
727 return nullptr;
728 Symbol->Name = QN;
729
730 IdentifierNode *UQN = QN->getUnqualifiedIdentifier();
731 if (UQN->kind() == NodeKind::ConversionOperatorIdentifier) {
732 ConversionOperatorIdentifierNode *COIN =
733 static_cast<ConversionOperatorIdentifierNode *>(UQN);
734 if (!COIN->TargetType) {
735 Error = true;
736 return nullptr;
737 }
738 }
739 return Symbol;
740}
741
Zachary Turner469f0762018-08-17 21:18:05 +0000742// Parser entry point.
Zachary Turner03312862018-08-27 03:48:03 +0000743SymbolNode *Demangler::parse(StringView &MangledName) {
Zachary Turner83313f82018-08-16 16:17:17 +0000744 // We can't demangle MD5 names, just output them as-is.
Zachary Turner469f0762018-08-17 21:18:05 +0000745 // Also, MSVC-style mangled symbols must start with '?'.
Zachary Turner03312862018-08-27 03:48:03 +0000746 if (MangledName.startsWith("??@")) {
747 // This is an MD5 mangled name. We can't demangle it, just return the
748 // mangled name.
749 SymbolNode *S = Arena.alloc<SymbolNode>(NodeKind::Md5Symbol);
750 S->Name = synthesizeQualifiedName(Arena, MangledName);
Zachary Turner83313f82018-08-16 16:17:17 +0000751 return S;
752 }
753
Zachary Turner03312862018-08-27 03:48:03 +0000754 if (!MangledName.startsWith('?')) {
755 Error = true;
756 return nullptr;
757 }
758
Zachary Turner469f0762018-08-17 21:18:05 +0000759 MangledName.consumeFront('?');
Zachary Turner970fdc32018-08-16 16:17:36 +0000760
Zachary Turner469f0762018-08-17 21:18:05 +0000761 // ?$ is a template instantiation, but all other names that start with ? are
762 // operators / special names.
Zachary Turner03312862018-08-27 03:48:03 +0000763 if (SymbolNode *SI = demangleSpecialIntrinsic(MangledName))
764 return SI;
Zachary Turner469f0762018-08-17 21:18:05 +0000765
Nico Weber63b97d22019-04-08 19:46:53 +0000766 return demangleDeclarator(MangledName);
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000767}
768
Zachary Turner7ba90562018-11-01 15:07:32 +0000769TagTypeNode *Demangler::parseTagUniqueName(StringView &MangledName) {
770 if (!MangledName.consumeFront(".?A"))
771 return nullptr;
772 MangledName.consumeFront(".?A");
773 if (MangledName.empty())
774 return nullptr;
775
776 return demangleClassType(MangledName);
777}
778
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000779// <type-encoding> ::= <storage-class> <variable-type>
780// <storage-class> ::= 0 # private static member
781// ::= 1 # protected static member
782// ::= 2 # public static member
783// ::= 3 # global
784// ::= 4 # static local
785
Zachary Turner03312862018-08-27 03:48:03 +0000786VariableSymbolNode *Demangler::demangleVariableEncoding(StringView &MangledName,
787 StorageClass SC) {
788 VariableSymbolNode *VSN = Arena.alloc<VariableSymbolNode>();
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000789
Zachary Turner03312862018-08-27 03:48:03 +0000790 VSN->Type = demangleType(MangledName, QualifierMangleMode::Drop);
791 VSN->SC = SC;
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000792
Nico Weber63b97d22019-04-08 19:46:53 +0000793 if (Error)
794 return nullptr;
795
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000796 // <variable-type> ::= <type> <cvr-qualifiers>
797 // ::= <type> <pointee-cvr-qualifiers> # pointers, references
Zachary Turner03312862018-08-27 03:48:03 +0000798 switch (VSN->Type->kind()) {
799 case NodeKind::PointerType: {
800 PointerTypeNode *PTN = static_cast<PointerTypeNode *>(VSN->Type);
801
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000802 Qualifiers ExtraChildQuals = Q_None;
Zachary Turner03312862018-08-27 03:48:03 +0000803 PTN->Quals = Qualifiers(VSN->Type->Quals |
804 demanglePointerExtQualifiers(MangledName));
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000805
Zachary Turnerd742d642018-07-26 19:56:09 +0000806 bool IsMember = false;
Zachary Turner316109b2018-07-29 16:38:02 +0000807 std::tie(ExtraChildQuals, IsMember) = demangleQualifiers(MangledName);
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000808
Zachary Turner03312862018-08-27 03:48:03 +0000809 if (PTN->ClassParent) {
810 QualifiedNameNode *BackRefName =
811 demangleFullyQualifiedTypeName(MangledName);
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000812 (void)BackRefName;
813 }
Zachary Turner03312862018-08-27 03:48:03 +0000814 PTN->Pointee->Quals = Qualifiers(PTN->Pointee->Quals | ExtraChildQuals);
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000815
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000816 break;
817 }
818 default:
Zachary Turner03312862018-08-27 03:48:03 +0000819 VSN->Type->Quals = demangleQualifiers(MangledName).first;
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000820 break;
821 }
822
Zachary Turner03312862018-08-27 03:48:03 +0000823 return VSN;
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000824}
825
826// Sometimes numbers are encoded in mangled symbols. For example,
827// "int (*x)[20]" is a valid C type (x is a pointer to an array of
828// length 20), so we need some way to embed numbers as part of symbols.
829// This function parses it.
830//
831// <number> ::= [?] <non-negative integer>
832//
833// <non-negative integer> ::= <decimal digit> # when 1 <= Number <= 10
834// ::= <hex digit>+ @ # when Numbrer == 0 or >= 10
835//
836// <hex-digit> ::= [A-P] # A = 0, B = 1, ...
Zachary Turnerdbefc6c2018-08-10 14:31:04 +0000837std::pair<uint64_t, bool> Demangler::demangleNumber(StringView &MangledName) {
838 bool IsNegative = MangledName.consumeFront('?');
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000839
840 if (startsWithDigit(MangledName)) {
Zachary Turnerdbefc6c2018-08-10 14:31:04 +0000841 uint64_t Ret = MangledName[0] - '0' + 1;
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000842 MangledName = MangledName.dropFront(1);
Zachary Turnerdbefc6c2018-08-10 14:31:04 +0000843 return {Ret, IsNegative};
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000844 }
845
Zachary Turnerdbefc6c2018-08-10 14:31:04 +0000846 uint64_t Ret = 0;
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000847 for (size_t i = 0; i < MangledName.size(); ++i) {
848 char C = MangledName[i];
849 if (C == '@') {
850 MangledName = MangledName.dropFront(i + 1);
Zachary Turnerdbefc6c2018-08-10 14:31:04 +0000851 return {Ret, IsNegative};
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000852 }
853 if ('A' <= C && C <= 'P') {
854 Ret = (Ret << 4) + (C - 'A');
855 continue;
856 }
857 break;
858 }
859
860 Error = true;
Zachary Turnerdbefc6c2018-08-10 14:31:04 +0000861 return {0ULL, false};
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000862}
863
Zachary Turner469f0762018-08-17 21:18:05 +0000864uint64_t Demangler::demangleUnsigned(StringView &MangledName) {
865 bool IsNegative = false;
866 uint64_t Number = 0;
867 std::tie(Number, IsNegative) = demangleNumber(MangledName);
868 if (IsNegative)
869 Error = true;
870 return Number;
871}
872
873int64_t Demangler::demangleSigned(StringView &MangledName) {
874 bool IsNegative = false;
875 uint64_t Number = 0;
876 std::tie(Number, IsNegative) = demangleNumber(MangledName);
877 if (Number > INT64_MAX)
878 Error = true;
879 int64_t I = static_cast<int64_t>(Number);
880 return IsNegative ? -I : I;
881}
882
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000883// First 10 strings can be referenced by special BackReferences ?0, ?1, ..., ?9.
884// Memorize it.
885void Demangler::memorizeString(StringView S) {
Zachary Turnerd346cba2018-08-08 17:17:04 +0000886 if (Backrefs.NamesCount >= BackrefContext::Max)
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000887 return;
Zachary Turnerd346cba2018-08-08 17:17:04 +0000888 for (size_t i = 0; i < Backrefs.NamesCount; ++i)
Zachary Turner03312862018-08-27 03:48:03 +0000889 if (S == Backrefs.Names[i]->Name)
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000890 return;
Zachary Turner03312862018-08-27 03:48:03 +0000891 NamedIdentifierNode *N = Arena.alloc<NamedIdentifierNode>();
892 N->Name = S;
893 Backrefs.Names[Backrefs.NamesCount++] = N;
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000894}
895
Zachary Turner03312862018-08-27 03:48:03 +0000896NamedIdentifierNode *Demangler::demangleBackRefName(StringView &MangledName) {
Zachary Turnera7dffb12018-07-28 22:10:42 +0000897 assert(startsWithDigit(MangledName));
Zachary Turnerd9e925f2018-08-18 18:49:48 +0000898
899 size_t I = MangledName[0] - '0';
900 if (I >= Backrefs.NamesCount) {
901 Error = true;
902 return nullptr;
903 }
904
Zachary Turner172aea12018-08-02 17:08:03 +0000905 MangledName = MangledName.dropFront();
Zachary Turner03312862018-08-27 03:48:03 +0000906 return Backrefs.Names[I];
Zachary Turnerf435a7e2018-07-20 17:27:48 +0000907}
908
Zachary Turnerb2fef1a2018-08-29 04:12:44 +0000909void Demangler::memorizeIdentifier(IdentifierNode *Identifier) {
910 // Render this class template name into a string buffer so that we can
911 // memorize it for the purpose of back-referencing.
Nico Weber1359d652018-09-15 18:24:20 +0000912 OutputStream OS;
Nico Weber6808bc02018-11-11 10:04:00 +0000913 if (!initializeOutputStream(nullptr, nullptr, OS, 1024))
Nico Weber1359d652018-09-15 18:24:20 +0000914 // FIXME: Propagate out-of-memory as an error?
915 std::terminate();
Zachary Turnerb2fef1a2018-08-29 04:12:44 +0000916 Identifier->output(OS, OF_Default);
917 OS << '\0';
918 char *Name = OS.getBuffer();
919
920 StringView Owned = copyString(Name);
921 memorizeString(Owned);
922 std::free(Name);
923}
924
Zachary Turner03312862018-08-27 03:48:03 +0000925IdentifierNode *
926Demangler::demangleTemplateInstantiationName(StringView &MangledName,
927 NameBackrefBehavior NBB) {
Zachary Turnera7dffb12018-07-28 22:10:42 +0000928 assert(MangledName.startsWith("?$"));
929 MangledName.consumeFront("?$");
930
Zachary Turnerd346cba2018-08-08 17:17:04 +0000931 BackrefContext OuterContext;
932 std::swap(OuterContext, Backrefs);
Zachary Turner54d4ffe2018-08-01 18:32:28 +0000933
Zachary Turner03312862018-08-27 03:48:03 +0000934 IdentifierNode *Identifier =
935 demangleUnqualifiedSymbolName(MangledName, NBB_Simple);
Zachary Turnerd346cba2018-08-08 17:17:04 +0000936 if (!Error)
Zachary Turner03312862018-08-27 03:48:03 +0000937 Identifier->TemplateParams = demangleTemplateParameterList(MangledName);
Zachary Turnerd346cba2018-08-08 17:17:04 +0000938
939 std::swap(OuterContext, Backrefs);
Zachary Turner54d4ffe2018-08-01 18:32:28 +0000940 if (Error)
941 return nullptr;
Zachary Turner71c91f92018-07-30 03:12:34 +0000942
Zachary Turnerb2fef1a2018-08-29 04:12:44 +0000943 if (NBB & NBB_Template)
944 memorizeIdentifier(Identifier);
Zachary Turner71c91f92018-07-30 03:12:34 +0000945
Zachary Turner03312862018-08-27 03:48:03 +0000946 return Identifier;
Zachary Turnera7dffb12018-07-28 22:10:42 +0000947}
948
Zachary Turner03312862018-08-27 03:48:03 +0000949NamedIdentifierNode *Demangler::demangleSimpleName(StringView &MangledName,
950 bool Memorize) {
Zachary Turner931e8792018-07-30 23:02:10 +0000951 StringView S = demangleSimpleString(MangledName, Memorize);
952 if (Error)
953 return nullptr;
954
Zachary Turner03312862018-08-27 03:48:03 +0000955 NamedIdentifierNode *Name = Arena.alloc<NamedIdentifierNode>();
956 Name->Name = S;
957 return Name;
Zachary Turner931e8792018-07-30 23:02:10 +0000958}
959
Zachary Turner970fdc32018-08-16 16:17:36 +0000960static bool isRebasedHexDigit(char C) { return (C >= 'A' && C <= 'P'); }
961
962static uint8_t rebasedHexDigitToNumber(char C) {
963 assert(isRebasedHexDigit(C));
964 return (C <= 'J') ? (C - 'A') : (10 + C - 'K');
965}
966
967uint8_t Demangler::demangleCharLiteral(StringView &MangledName) {
968 if (!MangledName.startsWith('?'))
969 return MangledName.popFront();
970
971 MangledName = MangledName.dropFront();
972 if (MangledName.empty())
973 goto CharLiteralError;
974
975 if (MangledName.consumeFront('$')) {
976 // Two hex digits
977 if (MangledName.size() < 2)
978 goto CharLiteralError;
979 StringView Nibbles = MangledName.substr(0, 2);
980 if (!isRebasedHexDigit(Nibbles[0]) || !isRebasedHexDigit(Nibbles[1]))
981 goto CharLiteralError;
982 // Don't append the null terminator.
983 uint8_t C1 = rebasedHexDigitToNumber(Nibbles[0]);
984 uint8_t C2 = rebasedHexDigitToNumber(Nibbles[1]);
985 MangledName = MangledName.dropFront(2);
986 return (C1 << 4) | C2;
987 }
988
989 if (startsWithDigit(MangledName)) {
990 const char *Lookup = ",/\\:. \n\t'-";
991 char C = Lookup[MangledName[0] - '0'];
992 MangledName = MangledName.dropFront();
993 return C;
994 }
995
996 if (MangledName[0] >= 'a' && MangledName[0] <= 'z') {
997 char Lookup[26] = {'\xE1', '\xE2', '\xE3', '\xE4', '\xE5', '\xE6', '\xE7',
998 '\xE8', '\xE9', '\xEA', '\xEB', '\xEC', '\xED', '\xEE',
999 '\xEF', '\xF0', '\xF1', '\xF2', '\xF3', '\xF4', '\xF5',
1000 '\xF6', '\xF7', '\xF8', '\xF9', '\xFA'};
1001 char C = Lookup[MangledName[0] - 'a'];
1002 MangledName = MangledName.dropFront();
1003 return C;
1004 }
1005
1006 if (MangledName[0] >= 'A' && MangledName[0] <= 'Z') {
1007 char Lookup[26] = {'\xC1', '\xC2', '\xC3', '\xC4', '\xC5', '\xC6', '\xC7',
1008 '\xC8', '\xC9', '\xCA', '\xCB', '\xCC', '\xCD', '\xCE',
1009 '\xCF', '\xD0', '\xD1', '\xD2', '\xD3', '\xD4', '\xD5',
1010 '\xD6', '\xD7', '\xD8', '\xD9', '\xDA'};
1011 char C = Lookup[MangledName[0] - 'A'];
1012 MangledName = MangledName.dropFront();
1013 return C;
1014 }
1015
1016CharLiteralError:
1017 Error = true;
1018 return '\0';
1019}
1020
1021wchar_t Demangler::demangleWcharLiteral(StringView &MangledName) {
Zachary Turnerd78fe2f2018-08-16 16:30:27 +00001022 uint8_t C1, C2;
1023
1024 C1 = demangleCharLiteral(MangledName);
Zachary Turner970fdc32018-08-16 16:17:36 +00001025 if (Error)
1026 goto WCharLiteralError;
Zachary Turnerd78fe2f2018-08-16 16:30:27 +00001027 C2 = demangleCharLiteral(MangledName);
Zachary Turner970fdc32018-08-16 16:17:36 +00001028 if (Error)
1029 goto WCharLiteralError;
1030
1031 return ((wchar_t)C1 << 8) | (wchar_t)C2;
1032
1033WCharLiteralError:
1034 Error = true;
1035 return L'\0';
1036}
1037
1038static void writeHexDigit(char *Buffer, uint8_t Digit) {
1039 assert(Digit <= 15);
1040 *Buffer = (Digit < 10) ? ('0' + Digit) : ('A' + Digit - 10);
1041}
1042
1043static void outputHex(OutputStream &OS, unsigned C) {
1044 if (C == 0) {
1045 OS << "\\x00";
1046 return;
1047 }
1048 // It's easier to do the math if we can work from right to left, but we need
1049 // to print the numbers from left to right. So render this into a temporary
1050 // buffer first, then output the temporary buffer. Each byte is of the form
1051 // \xAB, which means that each byte needs 4 characters. Since there are at
1052 // most 4 bytes, we need a 4*4+1 = 17 character temporary buffer.
1053 char TempBuffer[17];
1054
1055 ::memset(TempBuffer, 0, sizeof(TempBuffer));
1056 constexpr int MaxPos = 15;
1057
1058 int Pos = MaxPos - 1;
1059 while (C != 0) {
1060 for (int I = 0; I < 2; ++I) {
1061 writeHexDigit(&TempBuffer[Pos--], C % 16);
1062 C /= 16;
1063 }
1064 TempBuffer[Pos--] = 'x';
1065 TempBuffer[Pos--] = '\\';
1066 assert(Pos >= 0);
1067 }
1068 OS << StringView(&TempBuffer[Pos + 1]);
1069}
1070
1071static void outputEscapedChar(OutputStream &OS, unsigned C) {
1072 switch (C) {
1073 case '\'': // single quote
1074 OS << "\\\'";
1075 return;
1076 case '\"': // double quote
1077 OS << "\\\"";
1078 return;
1079 case '\\': // backslash
1080 OS << "\\\\";
1081 return;
1082 case '\a': // bell
1083 OS << "\\a";
1084 return;
1085 case '\b': // backspace
1086 OS << "\\b";
1087 return;
1088 case '\f': // form feed
1089 OS << "\\f";
1090 return;
1091 case '\n': // new line
1092 OS << "\\n";
1093 return;
1094 case '\r': // carriage return
1095 OS << "\\r";
1096 return;
1097 case '\t': // tab
1098 OS << "\\t";
1099 return;
1100 case '\v': // vertical tab
1101 OS << "\\v";
1102 return;
1103 default:
1104 break;
1105 }
1106
1107 if (C > 0x1F && C < 0x7F) {
1108 // Standard ascii char.
1109 OS << (char)C;
1110 return;
1111 }
1112
1113 outputHex(OS, C);
1114}
1115
Benjamin Kramerc55e9972018-10-13 22:18:22 +00001116static unsigned countTrailingNullBytes(const uint8_t *StringBytes, int Length) {
Zachary Turner970fdc32018-08-16 16:17:36 +00001117 const uint8_t *End = StringBytes + Length - 1;
Zachary Turner3461bfa2018-08-17 16:14:05 +00001118 unsigned Count = 0;
Zachary Turner970fdc32018-08-16 16:17:36 +00001119 while (Length > 0 && *End == 0) {
1120 --Length;
1121 --End;
Zachary Turner3461bfa2018-08-17 16:14:05 +00001122 ++Count;
Zachary Turner970fdc32018-08-16 16:17:36 +00001123 }
Zachary Turner3461bfa2018-08-17 16:14:05 +00001124 return Count;
Zachary Turner970fdc32018-08-16 16:17:36 +00001125}
1126
Benjamin Kramerc55e9972018-10-13 22:18:22 +00001127static unsigned countEmbeddedNulls(const uint8_t *StringBytes,
1128 unsigned Length) {
Zachary Turner970fdc32018-08-16 16:17:36 +00001129 unsigned Result = 0;
1130 for (unsigned I = 0; I < Length; ++I) {
1131 if (*StringBytes++ == 0)
1132 ++Result;
1133 }
1134 return Result;
1135}
1136
Benjamin Kramerc55e9972018-10-13 22:18:22 +00001137static unsigned guessCharByteSize(const uint8_t *StringBytes, unsigned NumChars,
1138 unsigned NumBytes) {
Zachary Turner970fdc32018-08-16 16:17:36 +00001139 assert(NumBytes > 0);
1140
1141 // If the number of bytes is odd, this is guaranteed to be a char string.
1142 if (NumBytes % 2 == 1)
1143 return 1;
1144
1145 // All strings can encode at most 32 bytes of data. If it's less than that,
1146 // then we encoded the entire string. In this case we check for a 1-byte,
1147 // 2-byte, or 4-byte null terminator.
1148 if (NumBytes < 32) {
1149 unsigned TrailingNulls = countTrailingNullBytes(StringBytes, NumChars);
1150 if (TrailingNulls >= 4)
1151 return 4;
1152 if (TrailingNulls >= 2)
1153 return 2;
1154 return 1;
1155 }
1156
1157 // The whole string was not able to be encoded. Try to look at embedded null
1158 // terminators to guess. The heuristic is that we count all embedded null
1159 // terminators. If more than 2/3 are null, it's a char32. If more than 1/3
1160 // are null, it's a char16. Otherwise it's a char8. This obviously isn't
1161 // perfect and is biased towards languages that have ascii alphabets, but this
1162 // was always going to be best effort since the encoding is lossy.
1163 unsigned Nulls = countEmbeddedNulls(StringBytes, NumChars);
1164 if (Nulls >= 2 * NumChars / 3)
1165 return 4;
1166 if (Nulls >= NumChars / 3)
1167 return 2;
1168 return 1;
1169}
1170
1171static unsigned decodeMultiByteChar(const uint8_t *StringBytes,
1172 unsigned CharIndex, unsigned CharBytes) {
1173 assert(CharBytes == 1 || CharBytes == 2 || CharBytes == 4);
1174 unsigned Offset = CharIndex * CharBytes;
1175 unsigned Result = 0;
1176 StringBytes = StringBytes + Offset;
1177 for (unsigned I = 0; I < CharBytes; ++I) {
1178 unsigned C = static_cast<unsigned>(StringBytes[I]);
1179 Result |= C << (8 * I);
1180 }
1181 return Result;
1182}
1183
Zachary Turner03312862018-08-27 03:48:03 +00001184FunctionSymbolNode *Demangler::demangleVcallThunkNode(StringView &MangledName) {
1185 FunctionSymbolNode *FSN = Arena.alloc<FunctionSymbolNode>();
1186 VcallThunkIdentifierNode *VTIN = Arena.alloc<VcallThunkIdentifierNode>();
1187 FSN->Signature = Arena.alloc<ThunkSignatureNode>();
1188 FSN->Signature->FunctionClass = FC_NoParameterList;
1189
1190 FSN->Name = demangleNameScopeChain(MangledName, VTIN);
1191 if (!Error)
1192 Error = !MangledName.consumeFront("$B");
1193 if (!Error)
1194 VTIN->OffsetInVTable = demangleUnsigned(MangledName);
1195 if (!Error)
1196 Error = !MangledName.consumeFront('A');
1197 if (!Error)
1198 FSN->Signature->CallConvention = demangleCallingConvention(MangledName);
1199 return (Error) ? nullptr : FSN;
1200}
1201
1202EncodedStringLiteralNode *
1203Demangler::demangleStringLiteral(StringView &MangledName) {
Zachary Turnerd78fe2f2018-08-16 16:30:27 +00001204 // This function uses goto, so declare all variables up front.
Zachary Turner970fdc32018-08-16 16:17:36 +00001205 OutputStream OS;
1206 StringView CRC;
Zachary Turnerd78fe2f2018-08-16 16:30:27 +00001207 uint64_t StringByteSize;
1208 bool IsWcharT = false;
1209 bool IsNegative = false;
1210 size_t CrcEndPos = 0;
1211 char *ResultBuffer = nullptr;
1212
Zachary Turner03312862018-08-27 03:48:03 +00001213 EncodedStringLiteralNode *Result = Arena.alloc<EncodedStringLiteralNode>();
Zachary Turner970fdc32018-08-16 16:17:36 +00001214
1215 // Prefix indicating the beginning of a string literal
Zachary Turner3461bfa2018-08-17 16:14:05 +00001216 if (!MangledName.consumeFront("@_"))
1217 goto StringLiteralError;
Zachary Turner970fdc32018-08-16 16:17:36 +00001218 if (MangledName.empty())
1219 goto StringLiteralError;
1220
1221 // Char Type (regular or wchar_t)
Zachary Turner970fdc32018-08-16 16:17:36 +00001222 switch (MangledName.popFront()) {
1223 case '1':
1224 IsWcharT = true;
Erik Pilkington5094e5e2019-01-17 20:37:51 +00001225 DEMANGLE_FALLTHROUGH;
Zachary Turner970fdc32018-08-16 16:17:36 +00001226 case '0':
1227 break;
1228 default:
1229 goto StringLiteralError;
1230 }
1231
1232 // Encoded Length
Zachary Turner970fdc32018-08-16 16:17:36 +00001233 std::tie(StringByteSize, IsNegative) = demangleNumber(MangledName);
1234 if (Error || IsNegative)
1235 goto StringLiteralError;
1236
1237 // CRC 32 (always 8 characters plus a terminator)
Zachary Turnerd78fe2f2018-08-16 16:30:27 +00001238 CrcEndPos = MangledName.find('@');
Zachary Turner970fdc32018-08-16 16:17:36 +00001239 if (CrcEndPos == StringView::npos)
1240 goto StringLiteralError;
1241 CRC = MangledName.substr(0, CrcEndPos);
1242 MangledName = MangledName.dropFront(CrcEndPos + 1);
1243 if (MangledName.empty())
1244 goto StringLiteralError;
1245
Nico Weber6808bc02018-11-11 10:04:00 +00001246 if (!initializeOutputStream(nullptr, nullptr, OS, 1024))
Nico Weber1359d652018-09-15 18:24:20 +00001247 // FIXME: Propagate out-of-memory as an error?
1248 std::terminate();
Zachary Turner970fdc32018-08-16 16:17:36 +00001249 if (IsWcharT) {
Zachary Turner03312862018-08-27 03:48:03 +00001250 Result->Char = CharKind::Wchar;
Zachary Turner970fdc32018-08-16 16:17:36 +00001251 if (StringByteSize > 64)
Zachary Turner3461bfa2018-08-17 16:14:05 +00001252 Result->IsTruncated = true;
Zachary Turner970fdc32018-08-16 16:17:36 +00001253
1254 while (!MangledName.consumeFront('@')) {
1255 assert(StringByteSize >= 2);
1256 wchar_t W = demangleWcharLiteral(MangledName);
Zachary Turner3461bfa2018-08-17 16:14:05 +00001257 if (StringByteSize != 2 || Result->IsTruncated)
Zachary Turner970fdc32018-08-16 16:17:36 +00001258 outputEscapedChar(OS, W);
1259 StringByteSize -= 2;
1260 if (Error)
1261 goto StringLiteralError;
1262 }
1263 } else {
Zachary Turner32a8a202018-08-29 23:56:09 +00001264 // The max byte length is actually 32, but some compilers mangled strings
1265 // incorrectly, so we have to assume it can go higher.
1266 constexpr unsigned MaxStringByteLength = 32 * 4;
Zachary Turner970fdc32018-08-16 16:17:36 +00001267 uint8_t StringBytes[MaxStringByteLength];
1268
1269 unsigned BytesDecoded = 0;
1270 while (!MangledName.consumeFront('@')) {
1271 assert(StringByteSize >= 1);
1272 StringBytes[BytesDecoded++] = demangleCharLiteral(MangledName);
1273 }
1274
Zachary Turner32a8a202018-08-29 23:56:09 +00001275 if (StringByteSize > BytesDecoded)
1276 Result->IsTruncated = true;
1277
Zachary Turner970fdc32018-08-16 16:17:36 +00001278 unsigned CharBytes =
1279 guessCharByteSize(StringBytes, BytesDecoded, StringByteSize);
1280 assert(StringByteSize % CharBytes == 0);
1281 switch (CharBytes) {
1282 case 1:
Zachary Turner03312862018-08-27 03:48:03 +00001283 Result->Char = CharKind::Char;
Zachary Turner970fdc32018-08-16 16:17:36 +00001284 break;
1285 case 2:
Zachary Turner03312862018-08-27 03:48:03 +00001286 Result->Char = CharKind::Char16;
Zachary Turner970fdc32018-08-16 16:17:36 +00001287 break;
1288 case 4:
Zachary Turner03312862018-08-27 03:48:03 +00001289 Result->Char = CharKind::Char32;
Zachary Turner970fdc32018-08-16 16:17:36 +00001290 break;
1291 default:
Erik Pilkington5094e5e2019-01-17 20:37:51 +00001292 DEMANGLE_UNREACHABLE;
Zachary Turner970fdc32018-08-16 16:17:36 +00001293 }
1294 const unsigned NumChars = BytesDecoded / CharBytes;
1295 for (unsigned CharIndex = 0; CharIndex < NumChars; ++CharIndex) {
1296 unsigned NextChar =
1297 decodeMultiByteChar(StringBytes, CharIndex, CharBytes);
Zachary Turner3461bfa2018-08-17 16:14:05 +00001298 if (CharIndex + 1 < NumChars || Result->IsTruncated)
Zachary Turner970fdc32018-08-16 16:17:36 +00001299 outputEscapedChar(OS, NextChar);
1300 }
1301 }
1302
1303 OS << '\0';
Zachary Turnerd78fe2f2018-08-16 16:30:27 +00001304 ResultBuffer = OS.getBuffer();
Zachary Turner03312862018-08-27 03:48:03 +00001305 Result->DecodedString = copyString(ResultBuffer);
Zachary Turneraf738f72018-08-16 17:48:32 +00001306 std::free(ResultBuffer);
Zachary Turner970fdc32018-08-16 16:17:36 +00001307 return Result;
1308
1309StringLiteralError:
1310 Error = true;
1311 return nullptr;
1312}
1313
Nico Weberc7444dd2019-04-03 23:15:56 +00001314// Returns MangledName's prefix before the first '@', or an error if
1315// MangledName contains no '@' or the prefix has length 0.
Zachary Turner931e8792018-07-30 23:02:10 +00001316StringView Demangler::demangleSimpleString(StringView &MangledName,
1317 bool Memorize) {
1318 StringView S;
Zachary Turnera7dffb12018-07-28 22:10:42 +00001319 for (size_t i = 0; i < MangledName.size(); ++i) {
1320 if (MangledName[i] != '@')
1321 continue;
Nico Weberc7444dd2019-04-03 23:15:56 +00001322 if (i == 0)
1323 break;
Zachary Turner931e8792018-07-30 23:02:10 +00001324 S = MangledName.substr(0, i);
Zachary Turnera7dffb12018-07-28 22:10:42 +00001325 MangledName = MangledName.dropFront(i + 1);
1326
1327 if (Memorize)
Zachary Turner931e8792018-07-30 23:02:10 +00001328 memorizeString(S);
1329 return S;
Zachary Turnera7dffb12018-07-28 22:10:42 +00001330 }
1331
1332 Error = true;
Zachary Turner931e8792018-07-30 23:02:10 +00001333 return {};
Zachary Turnera7dffb12018-07-28 22:10:42 +00001334}
1335
Zachary Turner03312862018-08-27 03:48:03 +00001336NamedIdentifierNode *
1337Demangler::demangleAnonymousNamespaceName(StringView &MangledName) {
Zachary Turnera7dffb12018-07-28 22:10:42 +00001338 assert(MangledName.startsWith("?A"));
1339 MangledName.consumeFront("?A");
1340
Zachary Turner03312862018-08-27 03:48:03 +00001341 NamedIdentifierNode *Node = Arena.alloc<NamedIdentifierNode>();
1342 Node->Name = "`anonymous namespace'";
Zachary Turner91c98a82018-08-20 23:58:35 +00001343 size_t EndPos = MangledName.find('@');
1344 if (EndPos == StringView::npos) {
1345 Error = true;
1346 return nullptr;
1347 }
Zachary Turner0002dd42018-08-20 23:58:58 +00001348 StringView NamespaceKey = MangledName.substr(0, EndPos);
1349 memorizeString(NamespaceKey);
Zachary Turner91c98a82018-08-20 23:58:35 +00001350 MangledName = MangledName.substr(EndPos + 1);
1351 return Node;
Zachary Turnera7dffb12018-07-28 22:10:42 +00001352}
1353
Zachary Turner03312862018-08-27 03:48:03 +00001354NamedIdentifierNode *
1355Demangler::demangleLocallyScopedNamePiece(StringView &MangledName) {
Zachary Turner71c91f92018-07-30 03:12:34 +00001356 assert(startsWithLocalScopePattern(MangledName));
1357
Zachary Turner03312862018-08-27 03:48:03 +00001358 NamedIdentifierNode *Identifier = Arena.alloc<NamedIdentifierNode>();
Zachary Turner71c91f92018-07-30 03:12:34 +00001359 MangledName.consumeFront('?');
Nico Weberc5615c22019-04-03 23:29:05 +00001360 uint64_t Number = 0;
1361 bool IsNegative = false;
1362 std::tie(Number, IsNegative) = demangleNumber(MangledName);
1363 assert(!IsNegative);
Zachary Turner71c91f92018-07-30 03:12:34 +00001364
1365 // One ? to terminate the number
1366 MangledName.consumeFront('?');
1367
1368 assert(!Error);
Zachary Turner03312862018-08-27 03:48:03 +00001369 Node *Scope = parse(MangledName);
Zachary Turner71c91f92018-07-30 03:12:34 +00001370 if (Error)
1371 return nullptr;
1372
1373 // Render the parent symbol's name into a buffer.
Nico Weber1359d652018-09-15 18:24:20 +00001374 OutputStream OS;
Nico Weber6808bc02018-11-11 10:04:00 +00001375 if (!initializeOutputStream(nullptr, nullptr, OS, 1024))
Nico Weber1359d652018-09-15 18:24:20 +00001376 // FIXME: Propagate out-of-memory as an error?
1377 std::terminate();
Zachary Turner71c91f92018-07-30 03:12:34 +00001378 OS << '`';
Zachary Turner38d2edd2018-08-29 03:59:17 +00001379 Scope->output(OS, OF_Default);
Zachary Turner71c91f92018-07-30 03:12:34 +00001380 OS << '\'';
Nico Weberc5615c22019-04-03 23:29:05 +00001381 OS << "::`" << Number << "'";
Zachary Turner71c91f92018-07-30 03:12:34 +00001382 OS << '\0';
1383 char *Result = OS.getBuffer();
Zachary Turner03312862018-08-27 03:48:03 +00001384 Identifier->Name = copyString(Result);
Zachary Turner71c91f92018-07-30 03:12:34 +00001385 std::free(Result);
Zachary Turner03312862018-08-27 03:48:03 +00001386 return Identifier;
Zachary Turner71c91f92018-07-30 03:12:34 +00001387}
1388
Zachary Turnera7dffb12018-07-28 22:10:42 +00001389// Parses a type name in the form of A@B@C@@ which represents C::B::A.
Zachary Turner03312862018-08-27 03:48:03 +00001390QualifiedNameNode *
1391Demangler::demangleFullyQualifiedTypeName(StringView &MangledName) {
Nico Weberaf2ee7d2019-04-11 23:20:18 +00001392 IdentifierNode *Identifier =
1393 demangleUnqualifiedTypeName(MangledName, /*Memorize=*/true);
Zachary Turner54d4ffe2018-08-01 18:32:28 +00001394 if (Error)
1395 return nullptr;
Zachary Turner03312862018-08-27 03:48:03 +00001396 assert(Identifier);
Zachary Turnera7dffb12018-07-28 22:10:42 +00001397
Zachary Turner03312862018-08-27 03:48:03 +00001398 QualifiedNameNode *QN = demangleNameScopeChain(MangledName, Identifier);
Zachary Turner54d4ffe2018-08-01 18:32:28 +00001399 if (Error)
1400 return nullptr;
Zachary Turner03312862018-08-27 03:48:03 +00001401 assert(QN);
1402 return QN;
Zachary Turnera7dffb12018-07-28 22:10:42 +00001403}
1404
1405// Parses a symbol name in the form of A@B@C@@ which represents C::B::A.
1406// Symbol names have slightly different rules regarding what can appear
1407// so we separate out the implementations for flexibility.
Zachary Turner03312862018-08-27 03:48:03 +00001408QualifiedNameNode *
1409Demangler::demangleFullyQualifiedSymbolName(StringView &MangledName) {
Zachary Turner58d29cf2018-08-08 00:43:31 +00001410 // This is the final component of a symbol name (i.e. the leftmost component
1411 // of a mangled name. Since the only possible template instantiation that
1412 // can appear in this context is a function template, and since those are
1413 // not saved for the purposes of name backreferences, only backref simple
1414 // names.
Zachary Turner03312862018-08-27 03:48:03 +00001415 IdentifierNode *Identifier =
1416 demangleUnqualifiedSymbolName(MangledName, NBB_Simple);
Zachary Turner54d4ffe2018-08-01 18:32:28 +00001417 if (Error)
1418 return nullptr;
Zachary Turner3461bfa2018-08-17 16:14:05 +00001419
Zachary Turner03312862018-08-27 03:48:03 +00001420 QualifiedNameNode *QN = demangleNameScopeChain(MangledName, Identifier);
Zachary Turner54d4ffe2018-08-01 18:32:28 +00001421 if (Error)
1422 return nullptr;
Zachary Turner03312862018-08-27 03:48:03 +00001423
1424 if (Identifier->kind() == NodeKind::StructorIdentifier) {
Nico Webera9886f82019-04-03 23:23:32 +00001425 if (QN->Components->Count < 2) {
1426 Error = true;
1427 return nullptr;
1428 }
Zachary Turner03312862018-08-27 03:48:03 +00001429 StructorIdentifierNode *SIN =
1430 static_cast<StructorIdentifierNode *>(Identifier);
Zachary Turner03312862018-08-27 03:48:03 +00001431 Node *ClassNode = QN->Components->Nodes[QN->Components->Count - 2];
1432 SIN->Class = static_cast<IdentifierNode *>(ClassNode);
1433 }
1434 assert(QN);
1435 return QN;
Zachary Turnera7dffb12018-07-28 22:10:42 +00001436}
1437
Zachary Turner03312862018-08-27 03:48:03 +00001438IdentifierNode *Demangler::demangleUnqualifiedTypeName(StringView &MangledName,
1439 bool Memorize) {
Zachary Turnera7dffb12018-07-28 22:10:42 +00001440 // An inner-most name can be a back-reference, because a fully-qualified name
1441 // (e.g. Scope + Inner) can contain other fully qualified names inside of
1442 // them (for example template parameters), and these nested parameters can
1443 // refer to previously mangled types.
1444 if (startsWithDigit(MangledName))
Zachary Turner316109b2018-07-29 16:38:02 +00001445 return demangleBackRefName(MangledName);
Zachary Turnera7dffb12018-07-28 22:10:42 +00001446
1447 if (MangledName.startsWith("?$"))
Zachary Turner58d29cf2018-08-08 00:43:31 +00001448 return demangleTemplateInstantiationName(MangledName, NBB_Template);
Zachary Turnera7dffb12018-07-28 22:10:42 +00001449
Zachary Turner44ebbc22018-08-01 18:32:47 +00001450 return demangleSimpleName(MangledName, Memorize);
Zachary Turnera7dffb12018-07-28 22:10:42 +00001451}
1452
Zachary Turner03312862018-08-27 03:48:03 +00001453IdentifierNode *
1454Demangler::demangleUnqualifiedSymbolName(StringView &MangledName,
1455 NameBackrefBehavior NBB) {
Zachary Turner71c91f92018-07-30 03:12:34 +00001456 if (startsWithDigit(MangledName))
1457 return demangleBackRefName(MangledName);
1458 if (MangledName.startsWith("?$"))
Zachary Turner58d29cf2018-08-08 00:43:31 +00001459 return demangleTemplateInstantiationName(MangledName, NBB);
Zachary Turnera7dffb12018-07-28 22:10:42 +00001460 if (MangledName.startsWith('?'))
Zachary Turner03312862018-08-27 03:48:03 +00001461 return demangleFunctionIdentifierCode(MangledName);
Nico Weberaf2ee7d2019-04-11 23:20:18 +00001462 return demangleSimpleName(MangledName, /*Memorize=*/(NBB & NBB_Simple) != 0);
Zachary Turnera7dffb12018-07-28 22:10:42 +00001463}
1464
Zachary Turner03312862018-08-27 03:48:03 +00001465IdentifierNode *Demangler::demangleNameScopePiece(StringView &MangledName) {
Zachary Turnera7dffb12018-07-28 22:10:42 +00001466 if (startsWithDigit(MangledName))
Zachary Turner316109b2018-07-29 16:38:02 +00001467 return demangleBackRefName(MangledName);
Zachary Turnera7dffb12018-07-28 22:10:42 +00001468
1469 if (MangledName.startsWith("?$"))
Zachary Turner58d29cf2018-08-08 00:43:31 +00001470 return demangleTemplateInstantiationName(MangledName, NBB_Template);
Zachary Turnera7dffb12018-07-28 22:10:42 +00001471
1472 if (MangledName.startsWith("?A"))
Zachary Turner316109b2018-07-29 16:38:02 +00001473 return demangleAnonymousNamespaceName(MangledName);
Zachary Turnera7dffb12018-07-28 22:10:42 +00001474
Zachary Turner71c91f92018-07-30 03:12:34 +00001475 if (startsWithLocalScopePattern(MangledName))
1476 return demangleLocallyScopedNamePiece(MangledName);
1477
Nico Weberaf2ee7d2019-04-11 23:20:18 +00001478 return demangleSimpleName(MangledName, /*Memorize=*/true);
Zachary Turnera7dffb12018-07-28 22:10:42 +00001479}
1480
Zachary Turner03312862018-08-27 03:48:03 +00001481static NodeArrayNode *nodeListToNodeArray(ArenaAllocator &Arena, NodeList *Head,
1482 size_t Count) {
1483 NodeArrayNode *N = Arena.alloc<NodeArrayNode>();
1484 N->Count = Count;
1485 N->Nodes = Arena.allocArray<Node *>(Count);
1486 for (size_t I = 0; I < Count; ++I) {
1487 N->Nodes[I] = Head->N;
1488 Head = Head->Next;
1489 }
1490 return N;
1491}
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001492
Zachary Turner03312862018-08-27 03:48:03 +00001493QualifiedNameNode *
1494Demangler::demangleNameScopeChain(StringView &MangledName,
1495 IdentifierNode *UnqualifiedName) {
1496 NodeList *Head = Arena.alloc<NodeList>();
1497
1498 Head->N = UnqualifiedName;
1499
1500 size_t Count = 1;
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001501 while (!MangledName.consumeFront("@")) {
Zachary Turner03312862018-08-27 03:48:03 +00001502 ++Count;
1503 NodeList *NewHead = Arena.alloc<NodeList>();
1504 NewHead->Next = Head;
1505 Head = NewHead;
1506
Zachary Turnera7dffb12018-07-28 22:10:42 +00001507 if (MangledName.empty()) {
1508 Error = true;
1509 return nullptr;
1510 }
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001511
1512 assert(!Error);
Zachary Turner03312862018-08-27 03:48:03 +00001513 IdentifierNode *Elem = demangleNameScopePiece(MangledName);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001514 if (Error)
1515 return nullptr;
1516
Zachary Turner03312862018-08-27 03:48:03 +00001517 Head->N = Elem;
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001518 }
Zachary Turner03312862018-08-27 03:48:03 +00001519
1520 QualifiedNameNode *QN = Arena.alloc<QualifiedNameNode>();
1521 QN->Components = nodeListToNodeArray(Arena, Head, Count);
1522 return QN;
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001523}
1524
Zachary Turner316109b2018-07-29 16:38:02 +00001525FuncClass Demangler::demangleFunctionClass(StringView &MangledName) {
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001526 switch (MangledName.popFront()) {
Zachary Turner29ec67b2018-08-10 21:09:05 +00001527 case '9':
Zachary Turner03312862018-08-27 03:48:03 +00001528 return FuncClass(FC_ExternC | FC_NoParameterList);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001529 case 'A':
Zachary Turner03312862018-08-27 03:48:03 +00001530 return FC_Private;
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001531 case 'B':
Zachary Turner03312862018-08-27 03:48:03 +00001532 return FuncClass(FC_Private | FC_Far);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001533 case 'C':
Zachary Turner03312862018-08-27 03:48:03 +00001534 return FuncClass(FC_Private | FC_Static);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001535 case 'D':
Zachary Turner03312862018-08-27 03:48:03 +00001536 return FuncClass(FC_Private | FC_Static);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001537 case 'E':
Zachary Turner03312862018-08-27 03:48:03 +00001538 return FuncClass(FC_Private | FC_Virtual);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001539 case 'F':
Zachary Turner03312862018-08-27 03:48:03 +00001540 return FuncClass(FC_Private | FC_Virtual);
Zachary Turner32a8a202018-08-29 23:56:09 +00001541 case 'G':
1542 return FuncClass(FC_Private | FC_StaticThisAdjust);
1543 case 'H':
1544 return FuncClass(FC_Private | FC_StaticThisAdjust | FC_Far);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001545 case 'I':
Zachary Turner03312862018-08-27 03:48:03 +00001546 return FuncClass(FC_Protected);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001547 case 'J':
Zachary Turner03312862018-08-27 03:48:03 +00001548 return FuncClass(FC_Protected | FC_Far);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001549 case 'K':
Zachary Turner03312862018-08-27 03:48:03 +00001550 return FuncClass(FC_Protected | FC_Static);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001551 case 'L':
Zachary Turner03312862018-08-27 03:48:03 +00001552 return FuncClass(FC_Protected | FC_Static | FC_Far);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001553 case 'M':
Zachary Turner03312862018-08-27 03:48:03 +00001554 return FuncClass(FC_Protected | FC_Virtual);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001555 case 'N':
Zachary Turner03312862018-08-27 03:48:03 +00001556 return FuncClass(FC_Protected | FC_Virtual | FC_Far);
Zachary Turner469f0762018-08-17 21:18:05 +00001557 case 'O':
Zachary Turner03312862018-08-27 03:48:03 +00001558 return FuncClass(FC_Protected | FC_Virtual | FC_StaticThisAdjust);
Zachary Turner469f0762018-08-17 21:18:05 +00001559 case 'P':
Zachary Turner03312862018-08-27 03:48:03 +00001560 return FuncClass(FC_Protected | FC_Virtual | FC_StaticThisAdjust | FC_Far);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001561 case 'Q':
Zachary Turner03312862018-08-27 03:48:03 +00001562 return FuncClass(FC_Public);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001563 case 'R':
Zachary Turner03312862018-08-27 03:48:03 +00001564 return FuncClass(FC_Public | FC_Far);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001565 case 'S':
Zachary Turner03312862018-08-27 03:48:03 +00001566 return FuncClass(FC_Public | FC_Static);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001567 case 'T':
Zachary Turner03312862018-08-27 03:48:03 +00001568 return FuncClass(FC_Public | FC_Static | FC_Far);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001569 case 'U':
Zachary Turner03312862018-08-27 03:48:03 +00001570 return FuncClass(FC_Public | FC_Virtual);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001571 case 'V':
Zachary Turner03312862018-08-27 03:48:03 +00001572 return FuncClass(FC_Public | FC_Virtual | FC_Far);
Zachary Turner469f0762018-08-17 21:18:05 +00001573 case 'W':
Zachary Turner03312862018-08-27 03:48:03 +00001574 return FuncClass(FC_Public | FC_Virtual | FC_StaticThisAdjust);
Zachary Turner469f0762018-08-17 21:18:05 +00001575 case 'X':
Zachary Turner03312862018-08-27 03:48:03 +00001576 return FuncClass(FC_Public | FC_Virtual | FC_StaticThisAdjust | FC_Far);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001577 case 'Y':
Zachary Turner03312862018-08-27 03:48:03 +00001578 return FuncClass(FC_Global);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001579 case 'Z':
Zachary Turner03312862018-08-27 03:48:03 +00001580 return FuncClass(FC_Global | FC_Far);
Zachary Turner469f0762018-08-17 21:18:05 +00001581 case '$': {
Zachary Turner03312862018-08-27 03:48:03 +00001582 FuncClass VFlag = FC_VirtualThisAdjust;
Zachary Turner469f0762018-08-17 21:18:05 +00001583 if (MangledName.consumeFront('R'))
Zachary Turner03312862018-08-27 03:48:03 +00001584 VFlag = FuncClass(VFlag | FC_VirtualThisAdjustEx);
Nico Weberb4f33bb2019-04-11 22:47:18 +00001585 if (MangledName.empty())
1586 break;
Zachary Turner469f0762018-08-17 21:18:05 +00001587 switch (MangledName.popFront()) {
1588 case '0':
Zachary Turner03312862018-08-27 03:48:03 +00001589 return FuncClass(FC_Private | FC_Virtual | VFlag);
Zachary Turner469f0762018-08-17 21:18:05 +00001590 case '1':
Zachary Turner03312862018-08-27 03:48:03 +00001591 return FuncClass(FC_Private | FC_Virtual | VFlag | FC_Far);
Zachary Turner469f0762018-08-17 21:18:05 +00001592 case '2':
Zachary Turner03312862018-08-27 03:48:03 +00001593 return FuncClass(FC_Protected | FC_Virtual | VFlag);
Zachary Turner469f0762018-08-17 21:18:05 +00001594 case '3':
Zachary Turner03312862018-08-27 03:48:03 +00001595 return FuncClass(FC_Protected | FC_Virtual | VFlag | FC_Far);
Zachary Turner469f0762018-08-17 21:18:05 +00001596 case '4':
Zachary Turner03312862018-08-27 03:48:03 +00001597 return FuncClass(FC_Public | FC_Virtual | VFlag);
Zachary Turner469f0762018-08-17 21:18:05 +00001598 case '5':
Zachary Turner03312862018-08-27 03:48:03 +00001599 return FuncClass(FC_Public | FC_Virtual | VFlag | FC_Far);
Zachary Turner469f0762018-08-17 21:18:05 +00001600 }
1601 }
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001602 }
1603
1604 Error = true;
Zachary Turner03312862018-08-27 03:48:03 +00001605 return FC_Public;
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001606}
1607
Zachary Turner316109b2018-07-29 16:38:02 +00001608CallingConv Demangler::demangleCallingConvention(StringView &MangledName) {
Nico Weber63b97d22019-04-08 19:46:53 +00001609 if (MangledName.empty()) {
1610 Error = true;
1611 return CallingConv::None;
1612 }
1613
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001614 switch (MangledName.popFront()) {
1615 case 'A':
1616 case 'B':
1617 return CallingConv::Cdecl;
1618 case 'C':
1619 case 'D':
1620 return CallingConv::Pascal;
1621 case 'E':
1622 case 'F':
1623 return CallingConv::Thiscall;
1624 case 'G':
1625 case 'H':
1626 return CallingConv::Stdcall;
1627 case 'I':
1628 case 'J':
1629 return CallingConv::Fastcall;
1630 case 'M':
1631 case 'N':
1632 return CallingConv::Clrcall;
1633 case 'O':
1634 case 'P':
1635 return CallingConv::Eabi;
1636 case 'Q':
1637 return CallingConv::Vectorcall;
1638 }
1639
1640 return CallingConv::None;
Martin Storsjo0f2abd82018-07-20 18:43:42 +00001641}
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001642
Zachary Turner316109b2018-07-29 16:38:02 +00001643StorageClass Demangler::demangleVariableStorageClass(StringView &MangledName) {
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001644 assert(std::isdigit(MangledName.front()));
1645
1646 switch (MangledName.popFront()) {
1647 case '0':
1648 return StorageClass::PrivateStatic;
1649 case '1':
1650 return StorageClass::ProtectedStatic;
1651 case '2':
1652 return StorageClass::PublicStatic;
1653 case '3':
1654 return StorageClass::Global;
1655 case '4':
1656 return StorageClass::FunctionLocalStatic;
1657 }
1658 Error = true;
1659 return StorageClass::None;
1660}
1661
Zachary Turner316109b2018-07-29 16:38:02 +00001662std::pair<Qualifiers, bool>
1663Demangler::demangleQualifiers(StringView &MangledName) {
Nico Weber63b97d22019-04-08 19:46:53 +00001664 if (MangledName.empty()) {
1665 Error = true;
1666 return std::make_pair(Q_None, false);
1667 }
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001668
1669 switch (MangledName.popFront()) {
Zachary Turnerd742d642018-07-26 19:56:09 +00001670 // Member qualifiers
1671 case 'Q':
1672 return std::make_pair(Q_None, true);
1673 case 'R':
1674 return std::make_pair(Q_Const, true);
1675 case 'S':
1676 return std::make_pair(Q_Volatile, true);
1677 case 'T':
1678 return std::make_pair(Qualifiers(Q_Const | Q_Volatile), true);
1679 // Non-Member qualifiers
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001680 case 'A':
Zachary Turnerd742d642018-07-26 19:56:09 +00001681 return std::make_pair(Q_None, false);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001682 case 'B':
Zachary Turnerd742d642018-07-26 19:56:09 +00001683 return std::make_pair(Q_Const, false);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001684 case 'C':
Zachary Turnerd742d642018-07-26 19:56:09 +00001685 return std::make_pair(Q_Volatile, false);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001686 case 'D':
Zachary Turnerd742d642018-07-26 19:56:09 +00001687 return std::make_pair(Qualifiers(Q_Const | Q_Volatile), false);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001688 }
1689 Error = true;
Zachary Turnerd742d642018-07-26 19:56:09 +00001690 return std::make_pair(Q_None, false);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001691}
1692
1693// <variable-type> ::= <type> <cvr-qualifiers>
1694// ::= <type> <pointee-cvr-qualifiers> # pointers, references
Zachary Turner03312862018-08-27 03:48:03 +00001695TypeNode *Demangler::demangleType(StringView &MangledName,
1696 QualifierMangleMode QMM) {
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001697 Qualifiers Quals = Q_None;
Zachary Turnerd742d642018-07-26 19:56:09 +00001698 bool IsMember = false;
Zachary Turnerd742d642018-07-26 19:56:09 +00001699 if (QMM == QualifierMangleMode::Mangle) {
Zachary Turner316109b2018-07-29 16:38:02 +00001700 std::tie(Quals, IsMember) = demangleQualifiers(MangledName);
Zachary Turnerd742d642018-07-26 19:56:09 +00001701 } else if (QMM == QualifierMangleMode::Result) {
Zachary Turnerdf4cd7c2018-08-21 21:23:49 +00001702 if (MangledName.consumeFront('?'))
Zachary Turner316109b2018-07-29 16:38:02 +00001703 std::tie(Quals, IsMember) = demangleQualifiers(MangledName);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001704 }
1705
Nico Weber63b97d22019-04-08 19:46:53 +00001706 if (MangledName.empty()) {
1707 Error = true;
1708 return nullptr;
1709 }
1710
Zachary Turner03312862018-08-27 03:48:03 +00001711 TypeNode *Ty = nullptr;
Zachary Turner931e8792018-07-30 23:02:10 +00001712 if (isTagType(MangledName))
Zachary Turner316109b2018-07-29 16:38:02 +00001713 Ty = demangleClassType(MangledName);
Zachary Turner931e8792018-07-30 23:02:10 +00001714 else if (isPointerType(MangledName)) {
Zachary Turner8fb9a712018-12-14 18:10:13 +00001715 if (isMemberPointer(MangledName, Error))
Zachary Turner316109b2018-07-29 16:38:02 +00001716 Ty = demangleMemberPointerType(MangledName);
Zachary Turner8fb9a712018-12-14 18:10:13 +00001717 else if (!Error)
Zachary Turner316109b2018-07-29 16:38:02 +00001718 Ty = demanglePointerType(MangledName);
Zachary Turner8fb9a712018-12-14 18:10:13 +00001719 else
1720 return nullptr;
Zachary Turner931e8792018-07-30 23:02:10 +00001721 } else if (isArrayType(MangledName))
Zachary Turner316109b2018-07-29 16:38:02 +00001722 Ty = demangleArrayType(MangledName);
Zachary Turner931e8792018-07-30 23:02:10 +00001723 else if (isFunctionType(MangledName)) {
1724 if (MangledName.consumeFront("$$A8@@"))
Zachary Turner03312862018-08-27 03:48:03 +00001725 Ty = demangleFunctionType(MangledName, true);
Zachary Turner931e8792018-07-30 23:02:10 +00001726 else {
1727 assert(MangledName.startsWith("$$A6"));
1728 MangledName.consumeFront("$$A6");
Zachary Turner03312862018-08-27 03:48:03 +00001729 Ty = demangleFunctionType(MangledName, false);
Zachary Turner931e8792018-07-30 23:02:10 +00001730 }
Zachary Turnerb2fef1a2018-08-29 04:12:44 +00001731 } else if (isCustomType(MangledName)) {
1732 Ty = demangleCustomType(MangledName);
Zachary Turner931e8792018-07-30 23:02:10 +00001733 } else {
Zachary Turner03312862018-08-27 03:48:03 +00001734 Ty = demanglePrimitiveType(MangledName);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001735 }
Zachary Turner931e8792018-07-30 23:02:10 +00001736
Zachary Turner2cd32862018-12-14 17:43:56 +00001737 if (!Ty || Error)
1738 return Ty;
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001739 Ty->Quals = Qualifiers(Ty->Quals | Quals);
1740 return Ty;
1741}
1742
Zachary Turner2fe49002019-01-08 21:05:51 +00001743bool Demangler::demangleThrowSpecification(StringView &MangledName) {
1744 if (MangledName.consumeFront("_E"))
1745 return true;
Zachary Turner38b78a72018-07-26 20:20:10 +00001746 if (MangledName.consumeFront('Z'))
Zachary Turner2fe49002019-01-08 21:05:51 +00001747 return false;
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001748
Zachary Turner38b78a72018-07-26 20:20:10 +00001749 Error = true;
Zachary Turner2fe49002019-01-08 21:05:51 +00001750 return false;
Zachary Turner38b78a72018-07-26 20:20:10 +00001751}
1752
Zachary Turner03312862018-08-27 03:48:03 +00001753FunctionSignatureNode *Demangler::demangleFunctionType(StringView &MangledName,
1754 bool HasThisQuals) {
1755 FunctionSignatureNode *FTy = Arena.alloc<FunctionSignatureNode>();
Zachary Turner38b78a72018-07-26 20:20:10 +00001756
1757 if (HasThisQuals) {
Zachary Turner316109b2018-07-29 16:38:02 +00001758 FTy->Quals = demanglePointerExtQualifiers(MangledName);
Zachary Turner03312862018-08-27 03:48:03 +00001759 FTy->RefQualifier = demangleFunctionRefQualifier(MangledName);
Zachary Turner316109b2018-07-29 16:38:02 +00001760 FTy->Quals = Qualifiers(FTy->Quals | demangleQualifiers(MangledName).first);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001761 }
1762
1763 // Fields that appear on both member and non-member functions.
Zachary Turner316109b2018-07-29 16:38:02 +00001764 FTy->CallConvention = demangleCallingConvention(MangledName);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001765
1766 // <return-type> ::= <type>
1767 // ::= @ # structors (they have no declared return type)
1768 bool IsStructor = MangledName.consumeFront('@');
1769 if (!IsStructor)
Zachary Turner316109b2018-07-29 16:38:02 +00001770 FTy->ReturnType = demangleType(MangledName, QualifierMangleMode::Result);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001771
Zachary Turner316109b2018-07-29 16:38:02 +00001772 FTy->Params = demangleFunctionParameterList(MangledName);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001773
Zachary Turner2fe49002019-01-08 21:05:51 +00001774 FTy->IsNoexcept = demangleThrowSpecification(MangledName);
Zachary Turner38b78a72018-07-26 20:20:10 +00001775
1776 return FTy;
1777}
1778
Zachary Turner03312862018-08-27 03:48:03 +00001779FunctionSymbolNode *
1780Demangler::demangleFunctionEncoding(StringView &MangledName) {
1781 FuncClass ExtraFlags = FC_None;
Zachary Turner469f0762018-08-17 21:18:05 +00001782 if (MangledName.consumeFront("$$J0"))
Zachary Turner03312862018-08-27 03:48:03 +00001783 ExtraFlags = FC_ExternC;
Zachary Turner469f0762018-08-17 21:18:05 +00001784
Nico Weber63b97d22019-04-08 19:46:53 +00001785 if (MangledName.empty()) {
1786 Error = true;
1787 return nullptr;
1788 }
1789
Zachary Turner316109b2018-07-29 16:38:02 +00001790 FuncClass FC = demangleFunctionClass(MangledName);
Zachary Turner469f0762018-08-17 21:18:05 +00001791 FC = FuncClass(ExtraFlags | FC);
1792
Zachary Turner03312862018-08-27 03:48:03 +00001793 FunctionSignatureNode *FSN = nullptr;
1794 ThunkSignatureNode *TTN = nullptr;
1795 if (FC & FC_StaticThisAdjust) {
1796 TTN = Arena.alloc<ThunkSignatureNode>();
1797 TTN->ThisAdjust.StaticOffset = demangleSigned(MangledName);
1798 } else if (FC & FC_VirtualThisAdjust) {
1799 TTN = Arena.alloc<ThunkSignatureNode>();
1800 if (FC & FC_VirtualThisAdjustEx) {
1801 TTN->ThisAdjust.VBPtrOffset = demangleSigned(MangledName);
1802 TTN->ThisAdjust.VBOffsetOffset = demangleSigned(MangledName);
Zachary Turner469f0762018-08-17 21:18:05 +00001803 }
Zachary Turner03312862018-08-27 03:48:03 +00001804 TTN->ThisAdjust.VtordispOffset = demangleSigned(MangledName);
1805 TTN->ThisAdjust.StaticOffset = demangleSigned(MangledName);
Zachary Turner469f0762018-08-17 21:18:05 +00001806 }
1807
Zachary Turner03312862018-08-27 03:48:03 +00001808 if (FC & FC_NoParameterList) {
Zachary Turner29ec67b2018-08-10 21:09:05 +00001809 // This is an extern "C" function whose full signature hasn't been mangled.
1810 // This happens when we need to mangle a local symbol inside of an extern
1811 // "C" function.
Zachary Turner03312862018-08-27 03:48:03 +00001812 FSN = Arena.alloc<FunctionSignatureNode>();
Zachary Turner29ec67b2018-08-10 21:09:05 +00001813 } else {
Zachary Turner03312862018-08-27 03:48:03 +00001814 bool HasThisQuals = !(FC & (FC_Global | FC_Static));
1815 FSN = demangleFunctionType(MangledName, HasThisQuals);
Zachary Turner29ec67b2018-08-10 21:09:05 +00001816 }
Nico Weber63b97d22019-04-08 19:46:53 +00001817
1818 if (Error)
1819 return nullptr;
1820
Zachary Turner03312862018-08-27 03:48:03 +00001821 if (TTN) {
1822 *static_cast<FunctionSignatureNode *>(TTN) = *FSN;
1823 FSN = TTN;
1824 }
1825 FSN->FunctionClass = FC;
Zachary Turner38b78a72018-07-26 20:20:10 +00001826
Zachary Turner03312862018-08-27 03:48:03 +00001827 FunctionSymbolNode *Symbol = Arena.alloc<FunctionSymbolNode>();
1828 Symbol->Signature = FSN;
1829 return Symbol;
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001830}
1831
Zachary Turnerb2fef1a2018-08-29 04:12:44 +00001832CustomTypeNode *Demangler::demangleCustomType(StringView &MangledName) {
1833 assert(MangledName.startsWith('?'));
1834 MangledName.popFront();
1835
1836 CustomTypeNode *CTN = Arena.alloc<CustomTypeNode>();
Nico Weberaf2ee7d2019-04-11 23:20:18 +00001837 CTN->Identifier = demangleUnqualifiedTypeName(MangledName, /*Memorize=*/true);
Zachary Turnerb2fef1a2018-08-29 04:12:44 +00001838 if (!MangledName.consumeFront('@'))
1839 Error = true;
1840 if (Error)
1841 return nullptr;
1842 return CTN;
1843}
1844
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001845// Reads a primitive type.
Zachary Turner03312862018-08-27 03:48:03 +00001846PrimitiveTypeNode *Demangler::demanglePrimitiveType(StringView &MangledName) {
1847 if (MangledName.consumeFront("$$T"))
1848 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Nullptr);
Zachary Turner931e8792018-07-30 23:02:10 +00001849
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001850 switch (MangledName.popFront()) {
1851 case 'X':
Zachary Turner03312862018-08-27 03:48:03 +00001852 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Void);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001853 case 'D':
Zachary Turner03312862018-08-27 03:48:03 +00001854 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Char);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001855 case 'C':
Zachary Turner03312862018-08-27 03:48:03 +00001856 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Schar);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001857 case 'E':
Zachary Turner03312862018-08-27 03:48:03 +00001858 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Uchar);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001859 case 'F':
Zachary Turner03312862018-08-27 03:48:03 +00001860 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Short);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001861 case 'G':
Zachary Turner03312862018-08-27 03:48:03 +00001862 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Ushort);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001863 case 'H':
Zachary Turner03312862018-08-27 03:48:03 +00001864 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Int);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001865 case 'I':
Zachary Turner03312862018-08-27 03:48:03 +00001866 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Uint);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001867 case 'J':
Zachary Turner03312862018-08-27 03:48:03 +00001868 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Long);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001869 case 'K':
Zachary Turner03312862018-08-27 03:48:03 +00001870 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Ulong);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001871 case 'M':
Zachary Turner03312862018-08-27 03:48:03 +00001872 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Float);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001873 case 'N':
Zachary Turner03312862018-08-27 03:48:03 +00001874 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Double);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001875 case 'O':
Zachary Turner03312862018-08-27 03:48:03 +00001876 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Ldouble);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001877 case '_': {
Zachary Turner91ecedd2018-07-20 18:07:33 +00001878 if (MangledName.empty()) {
1879 Error = true;
1880 return nullptr;
1881 }
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001882 switch (MangledName.popFront()) {
1883 case 'N':
Zachary Turner03312862018-08-27 03:48:03 +00001884 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Bool);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001885 case 'J':
Zachary Turner03312862018-08-27 03:48:03 +00001886 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Int64);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001887 case 'K':
Zachary Turner03312862018-08-27 03:48:03 +00001888 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Uint64);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001889 case 'W':
Zachary Turner03312862018-08-27 03:48:03 +00001890 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Wchar);
Zachary Turner931e8792018-07-30 23:02:10 +00001891 case 'S':
Zachary Turner03312862018-08-27 03:48:03 +00001892 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Char16);
Zachary Turner931e8792018-07-30 23:02:10 +00001893 case 'U':
Zachary Turner03312862018-08-27 03:48:03 +00001894 return Arena.alloc<PrimitiveTypeNode>(PrimitiveKind::Char32);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001895 }
1896 break;
1897 }
1898 }
Zachary Turner03312862018-08-27 03:48:03 +00001899 Error = true;
1900 return nullptr;
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001901}
1902
Zachary Turner03312862018-08-27 03:48:03 +00001903TagTypeNode *Demangler::demangleClassType(StringView &MangledName) {
1904 TagTypeNode *TT = nullptr;
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001905
1906 switch (MangledName.popFront()) {
1907 case 'T':
Zachary Turner03312862018-08-27 03:48:03 +00001908 TT = Arena.alloc<TagTypeNode>(TagKind::Union);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001909 break;
1910 case 'U':
Zachary Turner03312862018-08-27 03:48:03 +00001911 TT = Arena.alloc<TagTypeNode>(TagKind::Struct);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001912 break;
1913 case 'V':
Zachary Turner03312862018-08-27 03:48:03 +00001914 TT = Arena.alloc<TagTypeNode>(TagKind::Class);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001915 break;
1916 case 'W':
Nico Webere5b62652019-04-11 22:59:25 +00001917 if (!MangledName.consumeFront('4')) {
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001918 Error = true;
1919 return nullptr;
1920 }
Zachary Turner03312862018-08-27 03:48:03 +00001921 TT = Arena.alloc<TagTypeNode>(TagKind::Enum);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001922 break;
1923 default:
1924 assert(false);
1925 }
1926
Zachary Turner03312862018-08-27 03:48:03 +00001927 TT->QualifiedName = demangleFullyQualifiedTypeName(MangledName);
1928 return TT;
Zachary Turnerd742d642018-07-26 19:56:09 +00001929}
1930
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001931// <pointer-type> ::= E? <pointer-cvr-qualifiers> <ext-qualifiers> <type>
1932// # the E is required for 64-bit non-static pointers
Zachary Turner03312862018-08-27 03:48:03 +00001933PointerTypeNode *Demangler::demanglePointerType(StringView &MangledName) {
1934 PointerTypeNode *Pointer = Arena.alloc<PointerTypeNode>();
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001935
Zachary Turner931e8792018-07-30 23:02:10 +00001936 std::tie(Pointer->Quals, Pointer->Affinity) =
1937 demanglePointerCVQualifiers(MangledName);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001938
1939 if (MangledName.consumeFront("6")) {
Zachary Turner03312862018-08-27 03:48:03 +00001940 Pointer->Pointee = demangleFunctionType(MangledName, false);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001941 return Pointer;
1942 }
1943
Zachary Turner316109b2018-07-29 16:38:02 +00001944 Qualifiers ExtQuals = demanglePointerExtQualifiers(MangledName);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001945 Pointer->Quals = Qualifiers(Pointer->Quals | ExtQuals);
1946
Zachary Turner316109b2018-07-29 16:38:02 +00001947 Pointer->Pointee = demangleType(MangledName, QualifierMangleMode::Mangle);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001948 return Pointer;
1949}
1950
Zachary Turner03312862018-08-27 03:48:03 +00001951PointerTypeNode *Demangler::demangleMemberPointerType(StringView &MangledName) {
1952 PointerTypeNode *Pointer = Arena.alloc<PointerTypeNode>();
Zachary Turnerd742d642018-07-26 19:56:09 +00001953
Zachary Turner03312862018-08-27 03:48:03 +00001954 std::tie(Pointer->Quals, Pointer->Affinity) =
1955 demanglePointerCVQualifiers(MangledName);
1956 assert(Pointer->Affinity == PointerAffinity::Pointer);
Zachary Turnerd742d642018-07-26 19:56:09 +00001957
Zachary Turner316109b2018-07-29 16:38:02 +00001958 Qualifiers ExtQuals = demanglePointerExtQualifiers(MangledName);
Zachary Turnerd742d642018-07-26 19:56:09 +00001959 Pointer->Quals = Qualifiers(Pointer->Quals | ExtQuals);
1960
Nico Weber63b97d22019-04-08 19:46:53 +00001961 // isMemberPointer() only returns true if there is at least one character
1962 // after the qualifiers.
Zachary Turner38b78a72018-07-26 20:20:10 +00001963 if (MangledName.consumeFront("8")) {
Zachary Turner32a8a202018-08-29 23:56:09 +00001964 Pointer->ClassParent = demangleFullyQualifiedTypeName(MangledName);
Zachary Turner03312862018-08-27 03:48:03 +00001965 Pointer->Pointee = demangleFunctionType(MangledName, true);
Zachary Turner38b78a72018-07-26 20:20:10 +00001966 } else {
1967 Qualifiers PointeeQuals = Q_None;
1968 bool IsMember = false;
Zachary Turner316109b2018-07-29 16:38:02 +00001969 std::tie(PointeeQuals, IsMember) = demangleQualifiers(MangledName);
Nico Weber63b97d22019-04-08 19:46:53 +00001970 assert(IsMember || Error);
Zachary Turner32a8a202018-08-29 23:56:09 +00001971 Pointer->ClassParent = demangleFullyQualifiedTypeName(MangledName);
Zachary Turnerd742d642018-07-26 19:56:09 +00001972
Zachary Turner316109b2018-07-29 16:38:02 +00001973 Pointer->Pointee = demangleType(MangledName, QualifierMangleMode::Drop);
Nico Weber63b97d22019-04-08 19:46:53 +00001974 if (Pointer->Pointee)
1975 Pointer->Pointee->Quals = PointeeQuals;
Zachary Turner38b78a72018-07-26 20:20:10 +00001976 }
1977
Zachary Turnerd742d642018-07-26 19:56:09 +00001978 return Pointer;
1979}
1980
Zachary Turner316109b2018-07-29 16:38:02 +00001981Qualifiers Demangler::demanglePointerExtQualifiers(StringView &MangledName) {
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001982 Qualifiers Quals = Q_None;
1983 if (MangledName.consumeFront('E'))
1984 Quals = Qualifiers(Quals | Q_Pointer64);
1985 if (MangledName.consumeFront('I'))
1986 Quals = Qualifiers(Quals | Q_Restrict);
1987 if (MangledName.consumeFront('F'))
1988 Quals = Qualifiers(Quals | Q_Unaligned);
1989
1990 return Quals;
1991}
1992
Zachary Turner03312862018-08-27 03:48:03 +00001993ArrayTypeNode *Demangler::demangleArrayType(StringView &MangledName) {
Zachary Turnerf435a7e2018-07-20 17:27:48 +00001994 assert(MangledName.front() == 'Y');
1995 MangledName.popFront();
1996
Zachary Turnerdbefc6c2018-08-10 14:31:04 +00001997 uint64_t Rank = 0;
1998 bool IsNegative = false;
1999 std::tie(Rank, IsNegative) = demangleNumber(MangledName);
2000 if (IsNegative || Rank == 0) {
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002001 Error = true;
2002 return nullptr;
2003 }
2004
Zachary Turner03312862018-08-27 03:48:03 +00002005 ArrayTypeNode *ATy = Arena.alloc<ArrayTypeNode>();
2006 NodeList *Head = Arena.alloc<NodeList>();
2007 NodeList *Tail = Head;
2008
Zachary Turnerdbefc6c2018-08-10 14:31:04 +00002009 for (uint64_t I = 0; I < Rank; ++I) {
Zachary Turner03312862018-08-27 03:48:03 +00002010 uint64_t D = 0;
2011 std::tie(D, IsNegative) = demangleNumber(MangledName);
Nico Weber16725812019-04-03 23:27:18 +00002012 if (Error || IsNegative) {
Zachary Turnerdbefc6c2018-08-10 14:31:04 +00002013 Error = true;
2014 return nullptr;
2015 }
Zachary Turner03312862018-08-27 03:48:03 +00002016 Tail->N = Arena.alloc<IntegerLiteralNode>(D, IsNegative);
Zachary Turnerdbefc6c2018-08-10 14:31:04 +00002017 if (I + 1 < Rank) {
Zachary Turner03312862018-08-27 03:48:03 +00002018 Tail->Next = Arena.alloc<NodeList>();
2019 Tail = Tail->Next;
Zachary Turnerdbefc6c2018-08-10 14:31:04 +00002020 }
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002021 }
Zachary Turner03312862018-08-27 03:48:03 +00002022 ATy->Dimensions = nodeListToNodeArray(Arena, Head, Rank);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002023
2024 if (MangledName.consumeFront("$$C")) {
Zachary Turner2bbb23b2018-08-14 18:54:28 +00002025 bool IsMember = false;
2026 std::tie(ATy->Quals, IsMember) = demangleQualifiers(MangledName);
2027 if (IsMember) {
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002028 Error = true;
Zachary Turner2bbb23b2018-08-14 18:54:28 +00002029 return nullptr;
2030 }
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002031 }
2032
Zachary Turner316109b2018-07-29 16:38:02 +00002033 ATy->ElementType = demangleType(MangledName, QualifierMangleMode::Drop);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002034 return ATy;
2035}
2036
2037// Reads a function or a template parameters.
Zachary Turner03312862018-08-27 03:48:03 +00002038NodeArrayNode *
Zachary Turnerd30700f2018-07-31 17:16:44 +00002039Demangler::demangleFunctionParameterList(StringView &MangledName) {
Zachary Turner38b78a72018-07-26 20:20:10 +00002040 // Empty parameter list.
Zachary Turner38b78a72018-07-26 20:20:10 +00002041 if (MangledName.consumeFront('X'))
2042 return {};
2043
Zachary Turner03312862018-08-27 03:48:03 +00002044 NodeList *Head = Arena.alloc<NodeList>();
2045 NodeList **Current = &Head;
2046 size_t Count = 0;
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002047 while (!Error && !MangledName.startsWith('@') &&
2048 !MangledName.startsWith('Z')) {
Zachary Turner03312862018-08-27 03:48:03 +00002049 ++Count;
Zachary Turner23df1312018-07-26 22:13:39 +00002050
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002051 if (startsWithDigit(MangledName)) {
Zachary Turner30375de2018-07-26 22:24:01 +00002052 size_t N = MangledName[0] - '0';
Zachary Turnerd346cba2018-08-08 17:17:04 +00002053 if (N >= Backrefs.FunctionParamCount) {
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002054 Error = true;
2055 return {};
2056 }
2057 MangledName = MangledName.dropFront();
2058
Zachary Turner03312862018-08-27 03:48:03 +00002059 *Current = Arena.alloc<NodeList>();
2060 (*Current)->N = Backrefs.FunctionParams[N];
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002061 Current = &(*Current)->Next;
2062 continue;
2063 }
2064
Zachary Turner23df1312018-07-26 22:13:39 +00002065 size_t OldSize = MangledName.size();
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002066
Zachary Turner03312862018-08-27 03:48:03 +00002067 *Current = Arena.alloc<NodeList>();
2068 TypeNode *TN = demangleType(MangledName, QualifierMangleMode::Drop);
Zachary Turner8fb9a712018-12-14 18:10:13 +00002069 if (!TN || Error)
2070 return nullptr;
Zachary Turner03312862018-08-27 03:48:03 +00002071
2072 (*Current)->N = TN;
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002073
Zachary Turner23df1312018-07-26 22:13:39 +00002074 size_t CharsConsumed = OldSize - MangledName.size();
2075 assert(CharsConsumed != 0);
2076
2077 // Single-letter types are ignored for backreferences because memorizing
2078 // them doesn't save anything.
Zachary Turnerd346cba2018-08-08 17:17:04 +00002079 if (Backrefs.FunctionParamCount <= 9 && CharsConsumed > 1)
Zachary Turner03312862018-08-27 03:48:03 +00002080 Backrefs.FunctionParams[Backrefs.FunctionParamCount++] = TN;
Zachary Turner23df1312018-07-26 22:13:39 +00002081
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002082 Current = &(*Current)->Next;
2083 }
2084
Zachary Turner38b78a72018-07-26 20:20:10 +00002085 if (Error)
2086 return {};
2087
Zachary Turner03312862018-08-27 03:48:03 +00002088 NodeArrayNode *NA = nodeListToNodeArray(Arena, Head, Count);
Zachary Turner38b78a72018-07-26 20:20:10 +00002089 // A non-empty parameter list is terminated by either 'Z' (variadic) parameter
2090 // list or '@' (non variadic). Careful not to consume "@Z", as in that case
2091 // the following Z could be a throw specifier.
2092 if (MangledName.consumeFront('@'))
Zachary Turner03312862018-08-27 03:48:03 +00002093 return NA;
Zachary Turner38b78a72018-07-26 20:20:10 +00002094
2095 if (MangledName.consumeFront('Z')) {
Zachary Turner03312862018-08-27 03:48:03 +00002096 // This is a variadic parameter list. We probably need a variadic node to
2097 // append to the end.
2098 return NA;
Zachary Turner38b78a72018-07-26 20:20:10 +00002099 }
2100
2101 Error = true;
2102 return {};
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002103}
2104
Zachary Turner03312862018-08-27 03:48:03 +00002105NodeArrayNode *
Zachary Turnerd30700f2018-07-31 17:16:44 +00002106Demangler::demangleTemplateParameterList(StringView &MangledName) {
Zachary Turner03312862018-08-27 03:48:03 +00002107 NodeList *Head;
2108 NodeList **Current = &Head;
2109 size_t Count = 0;
2110
Zachary Turner23df1312018-07-26 22:13:39 +00002111 while (!Error && !MangledName.startsWith('@')) {
Zachary Turner32a8a202018-08-29 23:56:09 +00002112 if (MangledName.consumeFront("$S") || MangledName.consumeFront("$$V") ||
Zachary Turner78ab3cb2018-08-30 20:53:29 +00002113 MangledName.consumeFront("$$$V") || MangledName.consumeFront("$$Z")) {
2114 // parameter pack separator
Zachary Turner32a8a202018-08-29 23:56:09 +00002115 continue;
2116 }
2117
Zachary Turner03312862018-08-27 03:48:03 +00002118 ++Count;
Zachary Turner32a8a202018-08-29 23:56:09 +00002119
Zachary Turner23df1312018-07-26 22:13:39 +00002120 // Template parameter lists don't participate in back-referencing.
Zachary Turner03312862018-08-27 03:48:03 +00002121 *Current = Arena.alloc<NodeList>();
Zachary Turner931e8792018-07-30 23:02:10 +00002122
Zachary Turner03312862018-08-27 03:48:03 +00002123 NodeList &TP = **Current;
Zachary Turner66555a72018-08-20 19:15:35 +00002124
Zachary Turner03312862018-08-27 03:48:03 +00002125 TemplateParameterReferenceNode *TPRN = nullptr;
Zachary Turner32a8a202018-08-29 23:56:09 +00002126 if (MangledName.consumeFront("$$Y")) {
Zachary Turnerdbefc6c2018-08-10 14:31:04 +00002127 // Template alias
Zachary Turner03312862018-08-27 03:48:03 +00002128 TP.N = demangleFullyQualifiedTypeName(MangledName);
Zachary Turnerdbefc6c2018-08-10 14:31:04 +00002129 } else if (MangledName.consumeFront("$$B")) {
2130 // Array
Zachary Turner03312862018-08-27 03:48:03 +00002131 TP.N = demangleType(MangledName, QualifierMangleMode::Drop);
Zachary Turner073620b2018-08-10 19:57:36 +00002132 } else if (MangledName.consumeFront("$$C")) {
2133 // Type has qualifiers.
Zachary Turner03312862018-08-27 03:48:03 +00002134 TP.N = demangleType(MangledName, QualifierMangleMode::Mangle);
Zachary Turner66555a72018-08-20 19:15:35 +00002135 } else if (MangledName.startsWith("$1") || MangledName.startsWith("$H") ||
2136 MangledName.startsWith("$I") || MangledName.startsWith("$J")) {
Zachary Turner03312862018-08-27 03:48:03 +00002137 // Pointer to member
2138 TP.N = TPRN = Arena.alloc<TemplateParameterReferenceNode>();
2139 TPRN->IsMemberPointer = true;
2140
Zachary Turner66555a72018-08-20 19:15:35 +00002141 MangledName = MangledName.dropFront();
2142 // 1 - single inheritance <name>
2143 // H - multiple inheritance <name> <number>
2144 // I - virtual inheritance <name> <number> <number> <number>
2145 // J - unspecified inheritance <name> <number> <number> <number>
2146 char InheritanceSpecifier = MangledName.popFront();
Zachary Turnerb2fef1a2018-08-29 04:12:44 +00002147 SymbolNode *S = nullptr;
2148 if (MangledName.startsWith('?')) {
2149 S = parse(MangledName);
Nico Weberf2d8f092019-04-11 22:23:35 +00002150 if (Error)
2151 return nullptr;
Zachary Turnerb2fef1a2018-08-29 04:12:44 +00002152 memorizeIdentifier(S->Name->getUnqualifiedIdentifier());
2153 }
2154
Zachary Turner66555a72018-08-20 19:15:35 +00002155 switch (InheritanceSpecifier) {
2156 case 'J':
Zachary Turner03312862018-08-27 03:48:03 +00002157 TPRN->ThunkOffsets[TPRN->ThunkOffsetCount++] =
2158 demangleSigned(MangledName);
Erik Pilkington5094e5e2019-01-17 20:37:51 +00002159 DEMANGLE_FALLTHROUGH;
Zachary Turner66555a72018-08-20 19:15:35 +00002160 case 'I':
Zachary Turner03312862018-08-27 03:48:03 +00002161 TPRN->ThunkOffsets[TPRN->ThunkOffsetCount++] =
2162 demangleSigned(MangledName);
Erik Pilkington5094e5e2019-01-17 20:37:51 +00002163 DEMANGLE_FALLTHROUGH;
Zachary Turner66555a72018-08-20 19:15:35 +00002164 case 'H':
Zachary Turner03312862018-08-27 03:48:03 +00002165 TPRN->ThunkOffsets[TPRN->ThunkOffsetCount++] =
2166 demangleSigned(MangledName);
Erik Pilkington5094e5e2019-01-17 20:37:51 +00002167 DEMANGLE_FALLTHROUGH;
Zachary Turner66555a72018-08-20 19:15:35 +00002168 case '1':
2169 break;
2170 default:
2171 Error = true;
2172 break;
2173 }
Zachary Turner03312862018-08-27 03:48:03 +00002174 TPRN->Affinity = PointerAffinity::Pointer;
2175 TPRN->Symbol = S;
Zachary Turnerdbefc6c2018-08-10 14:31:04 +00002176 } else if (MangledName.startsWith("$E?")) {
2177 MangledName.consumeFront("$E");
2178 // Reference to symbol
Zachary Turner03312862018-08-27 03:48:03 +00002179 TP.N = TPRN = Arena.alloc<TemplateParameterReferenceNode>();
2180 TPRN->Symbol = parse(MangledName);
2181 TPRN->Affinity = PointerAffinity::Reference;
Zachary Turner66555a72018-08-20 19:15:35 +00002182 } else if (MangledName.startsWith("$F") || MangledName.startsWith("$G")) {
Zachary Turner03312862018-08-27 03:48:03 +00002183 TP.N = TPRN = Arena.alloc<TemplateParameterReferenceNode>();
2184
Zachary Turner66555a72018-08-20 19:15:35 +00002185 // Data member pointer.
2186 MangledName = MangledName.dropFront();
2187 char InheritanceSpecifier = MangledName.popFront();
2188
2189 switch (InheritanceSpecifier) {
2190 case 'G':
Zachary Turner03312862018-08-27 03:48:03 +00002191 TPRN->ThunkOffsets[TPRN->ThunkOffsetCount++] =
2192 demangleSigned(MangledName);
Erik Pilkington5094e5e2019-01-17 20:37:51 +00002193 DEMANGLE_FALLTHROUGH;
Zachary Turner66555a72018-08-20 19:15:35 +00002194 case 'F':
Zachary Turner03312862018-08-27 03:48:03 +00002195 TPRN->ThunkOffsets[TPRN->ThunkOffsetCount++] =
2196 demangleSigned(MangledName);
2197 TPRN->ThunkOffsets[TPRN->ThunkOffsetCount++] =
2198 demangleSigned(MangledName);
Erik Pilkington5094e5e2019-01-17 20:37:51 +00002199 DEMANGLE_FALLTHROUGH;
Zachary Turner66555a72018-08-20 19:15:35 +00002200 case '0':
2201 break;
2202 default:
2203 Error = true;
2204 break;
2205 }
Zachary Turner03312862018-08-27 03:48:03 +00002206 TPRN->IsMemberPointer = true;
Zachary Turner66555a72018-08-20 19:15:35 +00002207
Zachary Turnerdbefc6c2018-08-10 14:31:04 +00002208 } else if (MangledName.consumeFront("$0")) {
2209 // Integral non-type template parameter
2210 bool IsNegative = false;
2211 uint64_t Value = 0;
2212 std::tie(Value, IsNegative) = demangleNumber(MangledName);
2213
Zachary Turner03312862018-08-27 03:48:03 +00002214 TP.N = Arena.alloc<IntegerLiteralNode>(Value, IsNegative);
Zachary Turnerd30700f2018-07-31 17:16:44 +00002215 } else {
Zachary Turner03312862018-08-27 03:48:03 +00002216 TP.N = demangleType(MangledName, QualifierMangleMode::Drop);
Zachary Turnerd30700f2018-07-31 17:16:44 +00002217 }
Zachary Turner54d4ffe2018-08-01 18:32:28 +00002218 if (Error)
2219 return nullptr;
Zachary Turner23df1312018-07-26 22:13:39 +00002220
Zachary Turner66555a72018-08-20 19:15:35 +00002221 Current = &TP.Next;
Zachary Turner23df1312018-07-26 22:13:39 +00002222 }
2223
2224 if (Error)
Zachary Turner54d4ffe2018-08-01 18:32:28 +00002225 return nullptr;
Zachary Turner23df1312018-07-26 22:13:39 +00002226
2227 // Template parameter lists cannot be variadic, so it can only be terminated
2228 // by @.
2229 if (MangledName.consumeFront('@'))
Zachary Turner03312862018-08-27 03:48:03 +00002230 return nodeListToNodeArray(Arena, Head, Count);
Zachary Turner23df1312018-07-26 22:13:39 +00002231 Error = true;
Zachary Turner54d4ffe2018-08-01 18:32:28 +00002232 return nullptr;
Zachary Turner23df1312018-07-26 22:13:39 +00002233}
2234
Zachary Turner3a758e22018-08-01 18:33:04 +00002235void Demangler::dumpBackReferences() {
Zachary Turner5ae08b82018-08-01 18:44:12 +00002236 std::printf("%d function parameter backreferences\n",
Zachary Turnerd346cba2018-08-08 17:17:04 +00002237 (int)Backrefs.FunctionParamCount);
Zachary Turner3a758e22018-08-01 18:33:04 +00002238
2239 // Create an output stream so we can render each type.
Nico Weber1359d652018-09-15 18:24:20 +00002240 OutputStream OS;
Nico Weber6808bc02018-11-11 10:04:00 +00002241 if (!initializeOutputStream(nullptr, nullptr, OS, 1024))
Nico Weber1359d652018-09-15 18:24:20 +00002242 std::terminate();
Zachary Turnerd346cba2018-08-08 17:17:04 +00002243 for (size_t I = 0; I < Backrefs.FunctionParamCount; ++I) {
Zachary Turner3a758e22018-08-01 18:33:04 +00002244 OS.setCurrentPosition(0);
2245
Zachary Turner03312862018-08-27 03:48:03 +00002246 TypeNode *T = Backrefs.FunctionParams[I];
Zachary Turner38d2edd2018-08-29 03:59:17 +00002247 T->output(OS, OF_Default);
Zachary Turner3a758e22018-08-01 18:33:04 +00002248
Zachary Turner7563ebe2018-08-02 17:08:24 +00002249 std::printf(" [%d] - %.*s\n", (int)I, (int)OS.getCurrentPosition(),
Zachary Turner5ae08b82018-08-01 18:44:12 +00002250 OS.getBuffer());
Zachary Turner3a758e22018-08-01 18:33:04 +00002251 }
2252 std::free(OS.getBuffer());
2253
Zachary Turnerd346cba2018-08-08 17:17:04 +00002254 if (Backrefs.FunctionParamCount > 0)
Zachary Turner5ae08b82018-08-01 18:44:12 +00002255 std::printf("\n");
Zachary Turnerd346cba2018-08-08 17:17:04 +00002256 std::printf("%d name backreferences\n", (int)Backrefs.NamesCount);
2257 for (size_t I = 0; I < Backrefs.NamesCount; ++I) {
Zachary Turner03312862018-08-27 03:48:03 +00002258 std::printf(" [%d] - %.*s\n", (int)I, (int)Backrefs.Names[I]->Name.size(),
2259 Backrefs.Names[I]->Name.begin());
Zachary Turner3a758e22018-08-01 18:33:04 +00002260 }
Zachary Turnerd346cba2018-08-08 17:17:04 +00002261 if (Backrefs.NamesCount > 0)
Zachary Turner5ae08b82018-08-01 18:44:12 +00002262 std::printf("\n");
Zachary Turner3a758e22018-08-01 18:33:04 +00002263}
2264
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002265char *llvm::microsoftDemangle(const char *MangledName, char *Buf, size_t *N,
Zachary Turner3a758e22018-08-01 18:33:04 +00002266 int *Status, MSDemangleFlags Flags) {
Nico Weber1359d652018-09-15 18:24:20 +00002267 int InternalStatus = demangle_success;
Zachary Turner316109b2018-07-29 16:38:02 +00002268 Demangler D;
Nico Weber1359d652018-09-15 18:24:20 +00002269 OutputStream S;
2270
Zachary Turner316109b2018-07-29 16:38:02 +00002271 StringView Name{MangledName};
Nico Weber1359d652018-09-15 18:24:20 +00002272 SymbolNode *AST = D.parse(Name);
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002273
Zachary Turner3a758e22018-08-01 18:33:04 +00002274 if (Flags & MSDF_DumpBackrefs)
2275 D.dumpBackReferences();
Nico Weber1359d652018-09-15 18:24:20 +00002276
2277 if (D.Error)
2278 InternalStatus = demangle_invalid_mangled_name;
Nico Weber6808bc02018-11-11 10:04:00 +00002279 else if (!initializeOutputStream(Buf, N, S, 1024))
Nico Weber1359d652018-09-15 18:24:20 +00002280 InternalStatus = demangle_memory_alloc_failure;
2281 else {
2282 AST->output(S, OF_Default);
2283 S += '\0';
2284 if (N != nullptr)
2285 *N = S.getCurrentPosition();
2286 Buf = S.getBuffer();
Zachary Turner54d4ffe2018-08-01 18:32:28 +00002287 }
2288
Nico Weber1359d652018-09-15 18:24:20 +00002289 if (Status)
2290 *Status = InternalStatus;
2291 return InternalStatus == demangle_success ? Buf : nullptr;
Zachary Turnerf435a7e2018-07-20 17:27:48 +00002292}