| //===- subzero/src/IceMangling.cpp - Cross test name mangling --*- C++ -*-===// |
| // |
| // The Subzero Code Generator |
| // |
| // This file is distributed under the University of Illinois Open Source |
| // License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| /// |
| /// \file |
| /// \brief Defines utility functions for name mangling for cross tests. |
| /// |
| //===----------------------------------------------------------------------===// |
| |
| #include "IceMangling.h" |
| #include "IceDefs.h" |
| #include "IceGlobalContext.h" |
| |
| #include <cctype> // isdigit(), isupper() |
| #include <locale> // locale |
| |
| namespace Ice { |
| |
| using ManglerVector = llvm::SmallVector<char, 32>; |
| |
| namespace { |
| |
| // Scan a string for S[0-9A-Z]*_ patterns and replace them with |
| // S<num>_ where <num> is the next base-36 value. If a type name |
| // legitimately contains that pattern, then the substitution will be |
| // made in error and most likely the link will fail. In this case, |
| // the test classes can be rewritten not to use that pattern, which is |
| // much simpler and more reliable than implementing a full demangling |
| // parser. Another substitution-in-error may occur if a type |
| // identifier ends with the pattern S[0-9A-Z]*, because an immediately |
| // following substitution string like "S1_" or "PS1_" may be combined |
| // with the previous type. |
| void incrementSubstitutions(ManglerVector &OldName) { |
| const std::locale CLocale("C"); |
| // Provide extra space in case the length of <num> increases. |
| ManglerVector NewName(OldName.size() * 2); |
| size_t OldPos = 0; |
| size_t NewPos = 0; |
| const size_t OldLen = OldName.size(); |
| for (; OldPos < OldLen; ++OldPos, ++NewPos) { |
| if (OldName[OldPos] == '\0') |
| break; |
| if (OldName[OldPos] == 'S') { |
| // Search forward until we find _ or invalid character (including \0). |
| bool AllZs = true; |
| bool Found = false; |
| size_t Last; |
| for (Last = OldPos + 1; Last < OldLen; ++Last) { |
| char Ch = OldName[Last]; |
| if (Ch == '_') { |
| Found = true; |
| break; |
| } else if (std::isdigit(Ch) || std::isupper(Ch, CLocale)) { |
| if (Ch != 'Z') |
| AllZs = false; |
| } else { |
| // Invalid character, stop searching. |
| break; |
| } |
| } |
| if (Found) { |
| NewName[NewPos++] = OldName[OldPos++]; // 'S' |
| size_t Length = Last - OldPos; |
| // NewPos and OldPos point just past the 'S'. |
| assert(NewName[NewPos - 1] == 'S'); |
| assert(OldName[OldPos - 1] == 'S'); |
| assert(OldName[OldPos + Length] == '_'); |
| if (AllZs) { |
| // Replace N 'Z' characters with a '0' (if N=0) or '1' (if N>0) |
| // followed by N '0' characters. |
| NewName[NewPos++] = (Length ? '1' : '0'); |
| for (size_t i = 0; i < Length; ++i) { |
| NewName[NewPos++] = '0'; |
| } |
| } else { |
| // Iterate right-to-left and increment the base-36 number. |
| bool Carry = true; |
| for (size_t i = 0; i < Length; ++i) { |
| size_t Offset = Length - 1 - i; |
| char Ch = OldName[OldPos + Offset]; |
| if (Carry) { |
| Carry = false; |
| switch (Ch) { |
| case '9': |
| Ch = 'A'; |
| break; |
| case 'Z': |
| Ch = '0'; |
| Carry = true; |
| break; |
| default: |
| ++Ch; |
| break; |
| } |
| } |
| NewName[NewPos + Offset] = Ch; |
| } |
| NewPos += Length; |
| } |
| OldPos = Last; |
| // Fall through and let the '_' be copied across. |
| } |
| } |
| NewName[NewPos] = OldName[OldPos]; |
| } |
| assert(NewName[NewPos] == '\0'); |
| OldName = NewName; |
| } |
| |
| } // end of anonymous namespace |
| |
| // In this context, name mangling means to rewrite a symbol using a given |
| // prefix. For a C++ symbol, nest the original symbol inside the "prefix" |
| // namespace. For other symbols, just prepend the prefix. |
| std::string mangleName(const std::string &Name) { |
| // An already-nested name like foo::bar() gets pushed down one level, making |
| // it equivalent to Prefix::foo::bar(). |
| // _ZN3foo3barExyz ==> _ZN6Prefix3foo3barExyz |
| // A non-nested but mangled name like bar() gets nested, making it equivalent |
| // to Prefix::bar(). |
| // _Z3barxyz ==> ZN6Prefix3barExyz |
| // An unmangled, extern "C" style name, gets a simple prefix: |
| // bar ==> Prefixbar |
| if (!BuildDefs::dump() || getFlags().getTestPrefix().empty()) |
| return Name; |
| |
| const std::string TestPrefix = getFlags().getTestPrefix(); |
| unsigned PrefixLength = TestPrefix.length(); |
| ManglerVector NameBase(1 + Name.length()); |
| const size_t BufLen = 30 + Name.length() + PrefixLength; |
| ManglerVector NewName(BufLen); |
| uint32_t BaseLength = 0; // using uint32_t due to sscanf format string |
| |
| int ItemsParsed = sscanf(Name.c_str(), "_ZN%s", NameBase.data()); |
| if (ItemsParsed == 1) { |
| // Transform _ZN3foo3barExyz ==> _ZN6Prefix3foo3barExyz |
| // (splice in "6Prefix") ^^^^^^^ |
| snprintf(NewName.data(), BufLen, "_ZN%u%s%s", PrefixLength, |
| TestPrefix.c_str(), NameBase.data()); |
| // We ignore the snprintf return value (here and below). If we somehow |
| // miscalculated the output buffer length, the output will be truncated, |
| // but it will be truncated consistently for all mangleName() calls on the |
| // same input string. |
| incrementSubstitutions(NewName); |
| return NewName.data(); |
| } |
| |
| // Artificially limit BaseLength to 9 digits (less than 1 billion) because |
| // sscanf behavior is undefined on integer overflow. If there are more than 9 |
| // digits (which we test by looking at the beginning of NameBase), then we |
| // consider this a failure to parse a namespace mangling, and fall back to |
| // the simple prefixing. |
| ItemsParsed = sscanf(Name.c_str(), "_Z%9u%s", &BaseLength, NameBase.data()); |
| if (ItemsParsed == 2 && BaseLength <= strlen(NameBase.data()) && |
| !isdigit(NameBase[0])) { |
| // Transform _Z3barxyz ==> _ZN6Prefix3barExyz |
| // ^^^^^^^^ ^ |
| // (splice in "N6Prefix", and insert "E" after "3bar") But an "I" after the |
| // identifier indicates a template argument list terminated with "E"; |
| // insert the new "E" before/after the old "E". E.g.: |
| // Transform _Z3barIabcExyz ==> _ZN6Prefix3barIabcEExyz |
| // ^^^^^^^^ ^ |
| // (splice in "N6Prefix", and insert "E" after "3barIabcE") |
| ManglerVector OrigName(Name.length()); |
| ManglerVector OrigSuffix(Name.length()); |
| uint32_t ActualBaseLength = BaseLength; |
| if (NameBase[ActualBaseLength] == 'I') { |
| ++ActualBaseLength; |
| while (NameBase[ActualBaseLength] != 'E' && |
| NameBase[ActualBaseLength] != '\0') |
| ++ActualBaseLength; |
| } |
| strncpy(OrigName.data(), NameBase.data(), ActualBaseLength); |
| OrigName[ActualBaseLength] = '\0'; |
| strcpy(OrigSuffix.data(), NameBase.data() + ActualBaseLength); |
| snprintf(NewName.data(), BufLen, "_ZN%u%s%u%sE%s", PrefixLength, |
| TestPrefix.c_str(), BaseLength, OrigName.data(), |
| OrigSuffix.data()); |
| incrementSubstitutions(NewName); |
| return NewName.data(); |
| } |
| |
| // Transform bar ==> Prefixbar |
| // ^^^^^^ |
| return TestPrefix + Name; |
| } |
| |
| } // end of namespace Ice |