| //===-- Mangler.cpp - Self-contained c/asm llvm name mangler --------------===// | |
| // | |
| // The LLVM Compiler Infrastructure | |
| // | |
| // This file is distributed under the University of Illinois Open Source | |
| // License. See LICENSE.TXT for details. | |
| // | |
| //===----------------------------------------------------------------------===// | |
| // | |
| // Unified name mangler for assembly backends. | |
| // | |
| //===----------------------------------------------------------------------===// | |
| #include "llvm/IR/Mangler.h" | |
| #include "llvm/ADT/SmallString.h" | |
| #include "llvm/ADT/Triple.h" | |
| #include "llvm/ADT/Twine.h" | |
| #include "llvm/IR/DataLayout.h" | |
| #include "llvm/IR/DerivedTypes.h" | |
| #include "llvm/IR/Function.h" | |
| #include "llvm/IR/Module.h" | |
| #include "llvm/Support/raw_ostream.h" | |
| using namespace llvm; | |
| namespace { | |
| enum ManglerPrefixTy { | |
| Default, ///< Emit default string before each symbol. | |
| Private, ///< Emit "private" prefix before each symbol. | |
| LinkerPrivate ///< Emit "linker private" prefix before each symbol. | |
| }; | |
| } | |
| static void getNameWithPrefixImpl(raw_ostream &OS, const Twine &GVName, | |
| ManglerPrefixTy PrefixTy, | |
| const DataLayout &DL, char Prefix) { | |
| SmallString<256> TmpData; | |
| StringRef Name = GVName.toStringRef(TmpData); | |
| assert(!Name.empty() && "getNameWithPrefix requires non-empty name"); | |
| // No need to do anything special if the global has the special "do not | |
| // mangle" flag in the name. | |
| if (Name[0] == '\1') { | |
| OS << Name.substr(1); | |
| return; | |
| } | |
| if (DL.doNotMangleLeadingQuestionMark() && Name[0] == '?') | |
| Prefix = '\0'; | |
| if (PrefixTy == Private) | |
| OS << DL.getPrivateGlobalPrefix(); | |
| else if (PrefixTy == LinkerPrivate) | |
| OS << DL.getLinkerPrivateGlobalPrefix(); | |
| if (Prefix != '\0') | |
| OS << Prefix; | |
| // If this is a simple string that doesn't need escaping, just append it. | |
| OS << Name; | |
| } | |
| static void getNameWithPrefixImpl(raw_ostream &OS, const Twine &GVName, | |
| const DataLayout &DL, | |
| ManglerPrefixTy PrefixTy) { | |
| char Prefix = DL.getGlobalPrefix(); | |
| return getNameWithPrefixImpl(OS, GVName, PrefixTy, DL, Prefix); | |
| } | |
| void Mangler::getNameWithPrefix(raw_ostream &OS, const Twine &GVName, | |
| const DataLayout &DL) { | |
| return getNameWithPrefixImpl(OS, GVName, DL, Default); | |
| } | |
| void Mangler::getNameWithPrefix(SmallVectorImpl<char> &OutName, | |
| const Twine &GVName, const DataLayout &DL) { | |
| raw_svector_ostream OS(OutName); | |
| char Prefix = DL.getGlobalPrefix(); | |
| return getNameWithPrefixImpl(OS, GVName, Default, DL, Prefix); | |
| } | |
| static bool hasByteCountSuffix(CallingConv::ID CC) { | |
| switch (CC) { | |
| case CallingConv::X86_FastCall: | |
| case CallingConv::X86_StdCall: | |
| case CallingConv::X86_VectorCall: | |
| return true; | |
| default: | |
| return false; | |
| } | |
| } | |
| /// Microsoft fastcall and stdcall functions require a suffix on their name | |
| /// indicating the number of words of arguments they take. | |
| static void addByteCountSuffix(raw_ostream &OS, const Function *F, | |
| const DataLayout &DL) { | |
| // Calculate arguments size total. | |
| unsigned ArgWords = 0; | |
| for (Function::const_arg_iterator AI = F->arg_begin(), AE = F->arg_end(); | |
| AI != AE; ++AI) { | |
| Type *Ty = AI->getType(); | |
| // 'Dereference' type in case of byval or inalloca parameter attribute. | |
| if (AI->hasByValOrInAllocaAttr()) | |
| Ty = cast<PointerType>(Ty)->getElementType(); | |
| // Size should be aligned to pointer size. | |
| unsigned PtrSize = DL.getPointerSize(); | |
| ArgWords += alignTo(DL.getTypeAllocSize(Ty), PtrSize); | |
| } | |
| OS << '@' << ArgWords; | |
| } | |
| void Mangler::getNameWithPrefix(raw_ostream &OS, const GlobalValue *GV, | |
| bool CannotUsePrivateLabel) const { | |
| ManglerPrefixTy PrefixTy = Default; | |
| if (GV->hasPrivateLinkage()) { | |
| if (CannotUsePrivateLabel) | |
| PrefixTy = LinkerPrivate; | |
| else | |
| PrefixTy = Private; | |
| } | |
| const DataLayout &DL = GV->getParent()->getDataLayout(); | |
| if (!GV->hasName()) { | |
| // Get the ID for the global, assigning a new one if we haven't got one | |
| // already. | |
| unsigned &ID = AnonGlobalIDs[GV]; | |
| if (ID == 0) | |
| ID = AnonGlobalIDs.size(); | |
| // Must mangle the global into a unique ID. | |
| getNameWithPrefixImpl(OS, "__unnamed_" + Twine(ID), DL, PrefixTy); | |
| return; | |
| } | |
| StringRef Name = GV->getName(); | |
| char Prefix = DL.getGlobalPrefix(); | |
| // Mangle functions with Microsoft calling conventions specially. Only do | |
| // this mangling for x86_64 vectorcall and 32-bit x86. | |
| const Function *MSFunc = dyn_cast<Function>(GV); | |
| // Don't add byte count suffixes when '\01' or '?' are in the first | |
| // character. | |
| if (Name.startswith("\01") || | |
| (DL.doNotMangleLeadingQuestionMark() && Name.startswith("?"))) | |
| MSFunc = nullptr; | |
| CallingConv::ID CC = | |
| MSFunc ? MSFunc->getCallingConv() : (unsigned)CallingConv::C; | |
| if (!DL.hasMicrosoftFastStdCallMangling() && | |
| CC != CallingConv::X86_VectorCall) | |
| MSFunc = nullptr; | |
| if (MSFunc) { | |
| if (CC == CallingConv::X86_FastCall) | |
| Prefix = '@'; // fastcall functions have an @ prefix instead of _. | |
| else if (CC == CallingConv::X86_VectorCall) | |
| Prefix = '\0'; // vectorcall functions have no prefix. | |
| } | |
| getNameWithPrefixImpl(OS, Name, PrefixTy, DL, Prefix); | |
| if (!MSFunc) | |
| return; | |
| // If we are supposed to add a microsoft-style suffix for stdcall, fastcall, | |
| // or vectorcall, add it. These functions have a suffix of @N where N is the | |
| // cumulative byte size of all of the parameters to the function in decimal. | |
| if (CC == CallingConv::X86_VectorCall) | |
| OS << '@'; // vectorcall functions use a double @ suffix. | |
| FunctionType *FT = MSFunc->getFunctionType(); | |
| if (hasByteCountSuffix(CC) && | |
| // "Pure" variadic functions do not receive @0 suffix. | |
| (!FT->isVarArg() || FT->getNumParams() == 0 || | |
| (FT->getNumParams() == 1 && MSFunc->hasStructRetAttr()))) | |
| addByteCountSuffix(OS, MSFunc, DL); | |
| } | |
| void Mangler::getNameWithPrefix(SmallVectorImpl<char> &OutName, | |
| const GlobalValue *GV, | |
| bool CannotUsePrivateLabel) const { | |
| raw_svector_ostream OS(OutName); | |
| getNameWithPrefix(OS, GV, CannotUsePrivateLabel); | |
| } | |
| void llvm::emitLinkerFlagsForGlobalCOFF(raw_ostream &OS, const GlobalValue *GV, | |
| const Triple &TT, Mangler &Mangler) { | |
| if (!GV->hasDLLExportStorageClass() || GV->isDeclaration()) | |
| return; | |
| if (TT.isKnownWindowsMSVCEnvironment()) | |
| OS << " /EXPORT:"; | |
| else | |
| OS << " -export:"; | |
| if (TT.isWindowsGNUEnvironment() || TT.isWindowsCygwinEnvironment()) { | |
| std::string Flag; | |
| raw_string_ostream FlagOS(Flag); | |
| Mangler.getNameWithPrefix(FlagOS, GV, false); | |
| FlagOS.flush(); | |
| if (Flag[0] == GV->getParent()->getDataLayout().getGlobalPrefix()) | |
| OS << Flag.substr(1); | |
| else | |
| OS << Flag; | |
| } else { | |
| Mangler.getNameWithPrefix(OS, GV, false); | |
| } | |
| if (!GV->getValueType()->isFunctionTy()) { | |
| if (TT.isKnownWindowsMSVCEnvironment()) | |
| OS << ",DATA"; | |
| else | |
| OS << ",data"; | |
| } | |
| } | |
| void llvm::emitLinkerFlagsForUsedCOFF(raw_ostream &OS, const GlobalValue *GV, | |
| const Triple &T, Mangler &M) { | |
| if (!T.isKnownWindowsMSVCEnvironment()) | |
| return; | |
| OS << " /INCLUDE:"; | |
| M.getNameWithPrefix(OS, GV, false); | |
| } | |