1*03ce13f7SAndroid Build Coastguard Worker //===- subzero/src/IceMangling.cpp - Cross test name mangling --*- C++ -*-===//
2*03ce13f7SAndroid Build Coastguard Worker //
3*03ce13f7SAndroid Build Coastguard Worker // The Subzero Code Generator
4*03ce13f7SAndroid Build Coastguard Worker //
5*03ce13f7SAndroid Build Coastguard Worker // This file is distributed under the University of Illinois Open Source
6*03ce13f7SAndroid Build Coastguard Worker // License. See LICENSE.TXT for details.
7*03ce13f7SAndroid Build Coastguard Worker //
8*03ce13f7SAndroid Build Coastguard Worker //===----------------------------------------------------------------------===//
9*03ce13f7SAndroid Build Coastguard Worker ///
10*03ce13f7SAndroid Build Coastguard Worker /// \file
11*03ce13f7SAndroid Build Coastguard Worker /// \brief Defines utility functions for name mangling for cross tests.
12*03ce13f7SAndroid Build Coastguard Worker ///
13*03ce13f7SAndroid Build Coastguard Worker //===----------------------------------------------------------------------===//
14*03ce13f7SAndroid Build Coastguard Worker
15*03ce13f7SAndroid Build Coastguard Worker #include "IceMangling.h"
16*03ce13f7SAndroid Build Coastguard Worker #include "IceDefs.h"
17*03ce13f7SAndroid Build Coastguard Worker #include "IceGlobalContext.h"
18*03ce13f7SAndroid Build Coastguard Worker
19*03ce13f7SAndroid Build Coastguard Worker #include <cctype> // isdigit(), isupper()
20*03ce13f7SAndroid Build Coastguard Worker #include <locale> // locale
21*03ce13f7SAndroid Build Coastguard Worker
22*03ce13f7SAndroid Build Coastguard Worker namespace Ice {
23*03ce13f7SAndroid Build Coastguard Worker
24*03ce13f7SAndroid Build Coastguard Worker using ManglerVector = llvm::SmallVector<char, 32>;
25*03ce13f7SAndroid Build Coastguard Worker
26*03ce13f7SAndroid Build Coastguard Worker namespace {
27*03ce13f7SAndroid Build Coastguard Worker
28*03ce13f7SAndroid Build Coastguard Worker // Scan a string for S[0-9A-Z]*_ patterns and replace them with
29*03ce13f7SAndroid Build Coastguard Worker // S<num>_ where <num> is the next base-36 value. If a type name
30*03ce13f7SAndroid Build Coastguard Worker // legitimately contains that pattern, then the substitution will be
31*03ce13f7SAndroid Build Coastguard Worker // made in error and most likely the link will fail. In this case,
32*03ce13f7SAndroid Build Coastguard Worker // the test classes can be rewritten not to use that pattern, which is
33*03ce13f7SAndroid Build Coastguard Worker // much simpler and more reliable than implementing a full demangling
34*03ce13f7SAndroid Build Coastguard Worker // parser. Another substitution-in-error may occur if a type
35*03ce13f7SAndroid Build Coastguard Worker // identifier ends with the pattern S[0-9A-Z]*, because an immediately
36*03ce13f7SAndroid Build Coastguard Worker // following substitution string like "S1_" or "PS1_" may be combined
37*03ce13f7SAndroid Build Coastguard Worker // with the previous type.
incrementSubstitutions(ManglerVector & OldName)38*03ce13f7SAndroid Build Coastguard Worker void incrementSubstitutions(ManglerVector &OldName) {
39*03ce13f7SAndroid Build Coastguard Worker const std::locale CLocale("C");
40*03ce13f7SAndroid Build Coastguard Worker // Provide extra space in case the length of <num> increases.
41*03ce13f7SAndroid Build Coastguard Worker ManglerVector NewName(OldName.size() * 2);
42*03ce13f7SAndroid Build Coastguard Worker size_t OldPos = 0;
43*03ce13f7SAndroid Build Coastguard Worker size_t NewPos = 0;
44*03ce13f7SAndroid Build Coastguard Worker const size_t OldLen = OldName.size();
45*03ce13f7SAndroid Build Coastguard Worker for (; OldPos < OldLen; ++OldPos, ++NewPos) {
46*03ce13f7SAndroid Build Coastguard Worker if (OldName[OldPos] == '\0')
47*03ce13f7SAndroid Build Coastguard Worker break;
48*03ce13f7SAndroid Build Coastguard Worker if (OldName[OldPos] == 'S') {
49*03ce13f7SAndroid Build Coastguard Worker // Search forward until we find _ or invalid character (including \0).
50*03ce13f7SAndroid Build Coastguard Worker bool AllZs = true;
51*03ce13f7SAndroid Build Coastguard Worker bool Found = false;
52*03ce13f7SAndroid Build Coastguard Worker size_t Last;
53*03ce13f7SAndroid Build Coastguard Worker for (Last = OldPos + 1; Last < OldLen; ++Last) {
54*03ce13f7SAndroid Build Coastguard Worker char Ch = OldName[Last];
55*03ce13f7SAndroid Build Coastguard Worker if (Ch == '_') {
56*03ce13f7SAndroid Build Coastguard Worker Found = true;
57*03ce13f7SAndroid Build Coastguard Worker break;
58*03ce13f7SAndroid Build Coastguard Worker } else if (std::isdigit(Ch) || std::isupper(Ch, CLocale)) {
59*03ce13f7SAndroid Build Coastguard Worker if (Ch != 'Z')
60*03ce13f7SAndroid Build Coastguard Worker AllZs = false;
61*03ce13f7SAndroid Build Coastguard Worker } else {
62*03ce13f7SAndroid Build Coastguard Worker // Invalid character, stop searching.
63*03ce13f7SAndroid Build Coastguard Worker break;
64*03ce13f7SAndroid Build Coastguard Worker }
65*03ce13f7SAndroid Build Coastguard Worker }
66*03ce13f7SAndroid Build Coastguard Worker if (Found) {
67*03ce13f7SAndroid Build Coastguard Worker NewName[NewPos++] = OldName[OldPos++]; // 'S'
68*03ce13f7SAndroid Build Coastguard Worker size_t Length = Last - OldPos;
69*03ce13f7SAndroid Build Coastguard Worker // NewPos and OldPos point just past the 'S'.
70*03ce13f7SAndroid Build Coastguard Worker assert(NewName[NewPos - 1] == 'S');
71*03ce13f7SAndroid Build Coastguard Worker assert(OldName[OldPos - 1] == 'S');
72*03ce13f7SAndroid Build Coastguard Worker assert(OldName[OldPos + Length] == '_');
73*03ce13f7SAndroid Build Coastguard Worker if (AllZs) {
74*03ce13f7SAndroid Build Coastguard Worker // Replace N 'Z' characters with a '0' (if N=0) or '1' (if N>0)
75*03ce13f7SAndroid Build Coastguard Worker // followed by N '0' characters.
76*03ce13f7SAndroid Build Coastguard Worker NewName[NewPos++] = (Length ? '1' : '0');
77*03ce13f7SAndroid Build Coastguard Worker for (size_t i = 0; i < Length; ++i) {
78*03ce13f7SAndroid Build Coastguard Worker NewName[NewPos++] = '0';
79*03ce13f7SAndroid Build Coastguard Worker }
80*03ce13f7SAndroid Build Coastguard Worker } else {
81*03ce13f7SAndroid Build Coastguard Worker // Iterate right-to-left and increment the base-36 number.
82*03ce13f7SAndroid Build Coastguard Worker bool Carry = true;
83*03ce13f7SAndroid Build Coastguard Worker for (size_t i = 0; i < Length; ++i) {
84*03ce13f7SAndroid Build Coastguard Worker size_t Offset = Length - 1 - i;
85*03ce13f7SAndroid Build Coastguard Worker char Ch = OldName[OldPos + Offset];
86*03ce13f7SAndroid Build Coastguard Worker if (Carry) {
87*03ce13f7SAndroid Build Coastguard Worker Carry = false;
88*03ce13f7SAndroid Build Coastguard Worker switch (Ch) {
89*03ce13f7SAndroid Build Coastguard Worker case '9':
90*03ce13f7SAndroid Build Coastguard Worker Ch = 'A';
91*03ce13f7SAndroid Build Coastguard Worker break;
92*03ce13f7SAndroid Build Coastguard Worker case 'Z':
93*03ce13f7SAndroid Build Coastguard Worker Ch = '0';
94*03ce13f7SAndroid Build Coastguard Worker Carry = true;
95*03ce13f7SAndroid Build Coastguard Worker break;
96*03ce13f7SAndroid Build Coastguard Worker default:
97*03ce13f7SAndroid Build Coastguard Worker ++Ch;
98*03ce13f7SAndroid Build Coastguard Worker break;
99*03ce13f7SAndroid Build Coastguard Worker }
100*03ce13f7SAndroid Build Coastguard Worker }
101*03ce13f7SAndroid Build Coastguard Worker NewName[NewPos + Offset] = Ch;
102*03ce13f7SAndroid Build Coastguard Worker }
103*03ce13f7SAndroid Build Coastguard Worker NewPos += Length;
104*03ce13f7SAndroid Build Coastguard Worker }
105*03ce13f7SAndroid Build Coastguard Worker OldPos = Last;
106*03ce13f7SAndroid Build Coastguard Worker // Fall through and let the '_' be copied across.
107*03ce13f7SAndroid Build Coastguard Worker }
108*03ce13f7SAndroid Build Coastguard Worker }
109*03ce13f7SAndroid Build Coastguard Worker NewName[NewPos] = OldName[OldPos];
110*03ce13f7SAndroid Build Coastguard Worker }
111*03ce13f7SAndroid Build Coastguard Worker assert(NewName[NewPos] == '\0');
112*03ce13f7SAndroid Build Coastguard Worker OldName = NewName;
113*03ce13f7SAndroid Build Coastguard Worker }
114*03ce13f7SAndroid Build Coastguard Worker
115*03ce13f7SAndroid Build Coastguard Worker } // end of anonymous namespace
116*03ce13f7SAndroid Build Coastguard Worker
117*03ce13f7SAndroid Build Coastguard Worker // In this context, name mangling means to rewrite a symbol using a given
118*03ce13f7SAndroid Build Coastguard Worker // prefix. For a C++ symbol, nest the original symbol inside the "prefix"
119*03ce13f7SAndroid Build Coastguard Worker // namespace. For other symbols, just prepend the prefix.
mangleName(const std::string & Name)120*03ce13f7SAndroid Build Coastguard Worker std::string mangleName(const std::string &Name) {
121*03ce13f7SAndroid Build Coastguard Worker // An already-nested name like foo::bar() gets pushed down one level, making
122*03ce13f7SAndroid Build Coastguard Worker // it equivalent to Prefix::foo::bar().
123*03ce13f7SAndroid Build Coastguard Worker // _ZN3foo3barExyz ==> _ZN6Prefix3foo3barExyz
124*03ce13f7SAndroid Build Coastguard Worker // A non-nested but mangled name like bar() gets nested, making it equivalent
125*03ce13f7SAndroid Build Coastguard Worker // to Prefix::bar().
126*03ce13f7SAndroid Build Coastguard Worker // _Z3barxyz ==> ZN6Prefix3barExyz
127*03ce13f7SAndroid Build Coastguard Worker // An unmangled, extern "C" style name, gets a simple prefix:
128*03ce13f7SAndroid Build Coastguard Worker // bar ==> Prefixbar
129*03ce13f7SAndroid Build Coastguard Worker if (!BuildDefs::dump() || getFlags().getTestPrefix().empty())
130*03ce13f7SAndroid Build Coastguard Worker return Name;
131*03ce13f7SAndroid Build Coastguard Worker
132*03ce13f7SAndroid Build Coastguard Worker const std::string TestPrefix = getFlags().getTestPrefix();
133*03ce13f7SAndroid Build Coastguard Worker unsigned PrefixLength = TestPrefix.length();
134*03ce13f7SAndroid Build Coastguard Worker ManglerVector NameBase(1 + Name.length());
135*03ce13f7SAndroid Build Coastguard Worker const size_t BufLen = 30 + Name.length() + PrefixLength;
136*03ce13f7SAndroid Build Coastguard Worker ManglerVector NewName(BufLen);
137*03ce13f7SAndroid Build Coastguard Worker uint32_t BaseLength = 0; // using uint32_t due to sscanf format string
138*03ce13f7SAndroid Build Coastguard Worker
139*03ce13f7SAndroid Build Coastguard Worker int ItemsParsed = sscanf(Name.c_str(), "_ZN%s", NameBase.data());
140*03ce13f7SAndroid Build Coastguard Worker if (ItemsParsed == 1) {
141*03ce13f7SAndroid Build Coastguard Worker // Transform _ZN3foo3barExyz ==> _ZN6Prefix3foo3barExyz
142*03ce13f7SAndroid Build Coastguard Worker // (splice in "6Prefix") ^^^^^^^
143*03ce13f7SAndroid Build Coastguard Worker snprintf(NewName.data(), BufLen, "_ZN%u%s%s", PrefixLength,
144*03ce13f7SAndroid Build Coastguard Worker TestPrefix.c_str(), NameBase.data());
145*03ce13f7SAndroid Build Coastguard Worker // We ignore the snprintf return value (here and below). If we somehow
146*03ce13f7SAndroid Build Coastguard Worker // miscalculated the output buffer length, the output will be truncated,
147*03ce13f7SAndroid Build Coastguard Worker // but it will be truncated consistently for all mangleName() calls on the
148*03ce13f7SAndroid Build Coastguard Worker // same input string.
149*03ce13f7SAndroid Build Coastguard Worker incrementSubstitutions(NewName);
150*03ce13f7SAndroid Build Coastguard Worker return NewName.data();
151*03ce13f7SAndroid Build Coastguard Worker }
152*03ce13f7SAndroid Build Coastguard Worker
153*03ce13f7SAndroid Build Coastguard Worker // Artificially limit BaseLength to 9 digits (less than 1 billion) because
154*03ce13f7SAndroid Build Coastguard Worker // sscanf behavior is undefined on integer overflow. If there are more than 9
155*03ce13f7SAndroid Build Coastguard Worker // digits (which we test by looking at the beginning of NameBase), then we
156*03ce13f7SAndroid Build Coastguard Worker // consider this a failure to parse a namespace mangling, and fall back to
157*03ce13f7SAndroid Build Coastguard Worker // the simple prefixing.
158*03ce13f7SAndroid Build Coastguard Worker ItemsParsed = sscanf(Name.c_str(), "_Z%9u%s", &BaseLength, NameBase.data());
159*03ce13f7SAndroid Build Coastguard Worker if (ItemsParsed == 2 && BaseLength <= strlen(NameBase.data()) &&
160*03ce13f7SAndroid Build Coastguard Worker !isdigit(NameBase[0])) {
161*03ce13f7SAndroid Build Coastguard Worker // Transform _Z3barxyz ==> _ZN6Prefix3barExyz
162*03ce13f7SAndroid Build Coastguard Worker // ^^^^^^^^ ^
163*03ce13f7SAndroid Build Coastguard Worker // (splice in "N6Prefix", and insert "E" after "3bar") But an "I" after the
164*03ce13f7SAndroid Build Coastguard Worker // identifier indicates a template argument list terminated with "E";
165*03ce13f7SAndroid Build Coastguard Worker // insert the new "E" before/after the old "E". E.g.:
166*03ce13f7SAndroid Build Coastguard Worker // Transform _Z3barIabcExyz ==> _ZN6Prefix3barIabcEExyz
167*03ce13f7SAndroid Build Coastguard Worker // ^^^^^^^^ ^
168*03ce13f7SAndroid Build Coastguard Worker // (splice in "N6Prefix", and insert "E" after "3barIabcE")
169*03ce13f7SAndroid Build Coastguard Worker ManglerVector OrigName(Name.length());
170*03ce13f7SAndroid Build Coastguard Worker ManglerVector OrigSuffix(Name.length());
171*03ce13f7SAndroid Build Coastguard Worker uint32_t ActualBaseLength = BaseLength;
172*03ce13f7SAndroid Build Coastguard Worker if (NameBase[ActualBaseLength] == 'I') {
173*03ce13f7SAndroid Build Coastguard Worker ++ActualBaseLength;
174*03ce13f7SAndroid Build Coastguard Worker while (NameBase[ActualBaseLength] != 'E' &&
175*03ce13f7SAndroid Build Coastguard Worker NameBase[ActualBaseLength] != '\0')
176*03ce13f7SAndroid Build Coastguard Worker ++ActualBaseLength;
177*03ce13f7SAndroid Build Coastguard Worker }
178*03ce13f7SAndroid Build Coastguard Worker strncpy(OrigName.data(), NameBase.data(), ActualBaseLength);
179*03ce13f7SAndroid Build Coastguard Worker OrigName[ActualBaseLength] = '\0';
180*03ce13f7SAndroid Build Coastguard Worker strcpy(OrigSuffix.data(), NameBase.data() + ActualBaseLength);
181*03ce13f7SAndroid Build Coastguard Worker snprintf(NewName.data(), BufLen, "_ZN%u%s%u%sE%s", PrefixLength,
182*03ce13f7SAndroid Build Coastguard Worker TestPrefix.c_str(), BaseLength, OrigName.data(),
183*03ce13f7SAndroid Build Coastguard Worker OrigSuffix.data());
184*03ce13f7SAndroid Build Coastguard Worker incrementSubstitutions(NewName);
185*03ce13f7SAndroid Build Coastguard Worker return NewName.data();
186*03ce13f7SAndroid Build Coastguard Worker }
187*03ce13f7SAndroid Build Coastguard Worker
188*03ce13f7SAndroid Build Coastguard Worker // Transform bar ==> Prefixbar
189*03ce13f7SAndroid Build Coastguard Worker // ^^^^^^
190*03ce13f7SAndroid Build Coastguard Worker return TestPrefix + Name;
191*03ce13f7SAndroid Build Coastguard Worker }
192*03ce13f7SAndroid Build Coastguard Worker
193*03ce13f7SAndroid Build Coastguard Worker } // end of namespace Ice
194