Brian Gaeke | d4dff19 | 2003-07-24 20:20:58 +0000 | [diff] [blame] | 1 | //===-- Mangler.cpp - Self-contained c/asm llvm name mangler --------------===// |
Misha Brukman | b1c9317 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 2 | // |
John Criswell | 482202a | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | b1c9317 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 7 | // |
John Criswell | 482202a | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Brian Gaeke | d4dff19 | 2003-07-24 20:20:58 +0000 | [diff] [blame] | 9 | // |
Chris Lattner | 1376b02 | 2010-01-16 21:08:46 +0000 | [diff] [blame] | 10 | // Unified name mangler for assembly backends. |
Brian Gaeke | d4dff19 | 2003-07-24 20:20:58 +0000 | [diff] [blame] | 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Rafael Espindola | 894843c | 2014-01-07 21:19:40 +0000 | [diff] [blame] | 14 | #include "llvm/IR/Mangler.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 15 | #include "llvm/ADT/SmallString.h" |
| 16 | #include "llvm/ADT/Twine.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 17 | #include "llvm/IR/DataLayout.h" |
| 18 | #include "llvm/IR/DerivedTypes.h" |
| 19 | #include "llvm/IR/Function.h" |
Chris Lattner | 8d99c76 | 2010-03-12 21:03:47 +0000 | [diff] [blame] | 20 | #include "llvm/Support/raw_ostream.h" |
Chris Lattner | c9499b6 | 2003-12-14 21:35:53 +0000 | [diff] [blame] | 21 | using namespace llvm; |
Brian Gaeke | 960707c | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 22 | |
Rafael Espindola | 310f501 | 2014-01-29 02:30:38 +0000 | [diff] [blame^] | 23 | static void getNameWithPrefixx(raw_ostream &OS, const Twine &GVName, |
| 24 | Mangler::ManglerPrefixTy PrefixTy, |
| 25 | const DataLayout &DL, bool UseAt) { |
Chris Lattner | 33535b3 | 2010-01-13 07:01:09 +0000 | [diff] [blame] | 26 | SmallString<256> TmpData; |
Benjamin Kramer | 2e06b93 | 2010-01-13 12:45:23 +0000 | [diff] [blame] | 27 | StringRef Name = GVName.toStringRef(TmpData); |
Chris Lattner | 33535b3 | 2010-01-13 07:01:09 +0000 | [diff] [blame] | 28 | assert(!Name.empty() && "getNameWithPrefix requires non-empty name"); |
Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 29 | |
Rafael Espindola | 310f501 | 2014-01-29 02:30:38 +0000 | [diff] [blame^] | 30 | if (PrefixTy == Mangler::Private) |
| 31 | OS << DL.getPrivateGlobalPrefix(); |
| 32 | else if (PrefixTy == Mangler::LinkerPrivate) |
| 33 | OS << DL.getLinkerPrivateGlobalPrefix(); |
Chris Lattner | b4ffc89 | 2010-01-17 18:22:35 +0000 | [diff] [blame] | 34 | |
Rafael Espindola | 310f501 | 2014-01-29 02:30:38 +0000 | [diff] [blame^] | 35 | if (UseAt) { |
| 36 | OS << '@'; |
| 37 | } else { |
| 38 | char Prefix = DL.getGlobalPrefix(); |
Rafael Espindola | 848493d | 2013-11-28 17:00:49 +0000 | [diff] [blame] | 39 | if (Prefix != '\0') |
Rafael Espindola | 310f501 | 2014-01-29 02:30:38 +0000 | [diff] [blame^] | 40 | OS << Prefix; |
Chris Lattner | 33535b3 | 2010-01-13 07:01:09 +0000 | [diff] [blame] | 41 | } |
Rafael Espindola | fdc8813 | 2013-11-13 14:01:59 +0000 | [diff] [blame] | 42 | |
Chris Lattner | 83e872e | 2010-01-17 19:23:46 +0000 | [diff] [blame] | 43 | // If this is a simple string that doesn't need escaping, just append it. |
Rafael Espindola | 310f501 | 2014-01-29 02:30:38 +0000 | [diff] [blame^] | 44 | OS << Name; |
| 45 | } |
| 46 | |
| 47 | void Mangler::getNameWithPrefix(raw_ostream &OS, |
| 48 | const Twine &GVName, ManglerPrefixTy PrefixTy) { |
| 49 | return getNameWithPrefixx(OS, GVName, PrefixTy, *DL, false); |
| 50 | } |
| 51 | |
| 52 | void Mangler::getNameWithPrefix(SmallVectorImpl<char> &OutName, |
| 53 | const Twine &GVName, ManglerPrefixTy PrefixTy) { |
| 54 | raw_svector_ostream OS(OutName); |
| 55 | return getNameWithPrefix(OS, GVName, PrefixTy); |
Chris Lattner | 33535b3 | 2010-01-13 07:01:09 +0000 | [diff] [blame] | 56 | } |
| 57 | |
Chris Lattner | 8d99c76 | 2010-03-12 21:03:47 +0000 | [diff] [blame] | 58 | /// AddFastCallStdCallSuffix - Microsoft fastcall and stdcall functions require |
| 59 | /// a suffix on their name indicating the number of words of arguments they |
| 60 | /// take. |
Rafael Espindola | 310f501 | 2014-01-29 02:30:38 +0000 | [diff] [blame^] | 61 | static void AddFastCallStdCallSuffix(raw_ostream &OS, const Function *F, |
| 62 | const DataLayout &TD) { |
Chris Lattner | 8d99c76 | 2010-03-12 21:03:47 +0000 | [diff] [blame] | 63 | // Calculate arguments size total. |
| 64 | unsigned ArgWords = 0; |
| 65 | for (Function::const_arg_iterator AI = F->arg_begin(), AE = F->arg_end(); |
| 66 | AI != AE; ++AI) { |
Chris Lattner | 229907c | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 67 | Type *Ty = AI->getType(); |
Chris Lattner | 8d99c76 | 2010-03-12 21:03:47 +0000 | [diff] [blame] | 68 | // 'Dereference' type in case of byval parameter attribute |
| 69 | if (AI->hasByValAttr()) |
| 70 | Ty = cast<PointerType>(Ty)->getElementType(); |
| 71 | // Size should be aligned to DWORD boundary |
| 72 | ArgWords += ((TD.getTypeAllocSize(Ty) + 3)/4)*4; |
| 73 | } |
Rafael Espindola | 310f501 | 2014-01-29 02:30:38 +0000 | [diff] [blame^] | 74 | |
| 75 | OS << '@' << ArgWords; |
Chris Lattner | 8d99c76 | 2010-03-12 21:03:47 +0000 | [diff] [blame] | 76 | } |
| 77 | |
Rafael Espindola | 310f501 | 2014-01-29 02:30:38 +0000 | [diff] [blame^] | 78 | void Mangler::getNameWithPrefix(raw_ostream &OS, const GlobalValue *GV) { |
Chris Lattner | c25475e | 2010-01-17 18:52:16 +0000 | [diff] [blame] | 79 | ManglerPrefixTy PrefixTy = Mangler::Default; |
Rafael Espindola | 117b20c | 2013-12-05 05:53:12 +0000 | [diff] [blame] | 80 | if (GV->hasPrivateLinkage()) |
Chris Lattner | c25475e | 2010-01-17 18:52:16 +0000 | [diff] [blame] | 81 | PrefixTy = Mangler::Private; |
Bill Wendling | 34bc34e | 2012-08-17 18:33:14 +0000 | [diff] [blame] | 82 | else if (GV->hasLinkerPrivateLinkage() || GV->hasLinkerPrivateWeakLinkage()) |
Chris Lattner | c25475e | 2010-01-17 18:52:16 +0000 | [diff] [blame] | 83 | PrefixTy = Mangler::LinkerPrivate; |
Nico Rieck | da881a2 | 2014-01-14 11:53:26 +0000 | [diff] [blame] | 84 | |
Rafael Espindola | 310f501 | 2014-01-29 02:30:38 +0000 | [diff] [blame^] | 85 | if (!GV->hasName()) { |
Chris Lattner | 8d99c76 | 2010-03-12 21:03:47 +0000 | [diff] [blame] | 86 | // Get the ID for the global, assigning a new one if we haven't got one |
| 87 | // already. |
| 88 | unsigned &ID = AnonGlobalIDs[GV]; |
Rafael Espindola | 310f501 | 2014-01-29 02:30:38 +0000 | [diff] [blame^] | 89 | if (ID == 0) |
| 90 | ID = NextAnonGlobalID++; |
| 91 | |
Chris Lattner | 8d99c76 | 2010-03-12 21:03:47 +0000 | [diff] [blame] | 92 | // Must mangle the global into a unique ID. |
Rafael Espindola | 310f501 | 2014-01-29 02:30:38 +0000 | [diff] [blame^] | 93 | getNameWithPrefix(OS, "__unnamed_" + Twine(ID), PrefixTy); |
| 94 | return; |
Chris Lattner | 8d99c76 | 2010-03-12 21:03:47 +0000 | [diff] [blame] | 95 | } |
Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 96 | |
Rafael Espindola | 310f501 | 2014-01-29 02:30:38 +0000 | [diff] [blame^] | 97 | StringRef Name = GV->getName(); |
| 98 | |
| 99 | // No need to do anything special if the global has the special "do not |
| 100 | // mangle" flag in the name. |
| 101 | if (Name[0] == '\1') { |
| 102 | OS << Name.substr(1); |
| 103 | return; |
| 104 | } |
| 105 | |
| 106 | bool UseAt = false; |
| 107 | const Function *MSFunc = NULL; |
| 108 | CallingConv::ID CC; |
| 109 | if (DL->hasMicrosoftFastStdCallMangling()) { |
| 110 | if ((MSFunc = dyn_cast<Function>(GV))) { |
| 111 | CC = MSFunc->getCallingConv(); |
| 112 | // fastcall functions need to start with @ instead of _. |
| 113 | if (CC == CallingConv::X86_FastCall) |
| 114 | UseAt = true; |
| 115 | } |
| 116 | } |
| 117 | |
| 118 | getNameWithPrefixx(OS, Name, PrefixTy, *DL, UseAt); |
| 119 | |
| 120 | if (!MSFunc) |
| 121 | return; |
| 122 | |
Chris Lattner | 8d99c76 | 2010-03-12 21:03:47 +0000 | [diff] [blame] | 123 | // If we are supposed to add a microsoft-style suffix for stdcall/fastcall, |
| 124 | // add it. |
Rafael Espindola | 310f501 | 2014-01-29 02:30:38 +0000 | [diff] [blame^] | 125 | // fastcall and stdcall functions usually need @42 at the end to specify |
| 126 | // the argument info. |
| 127 | FunctionType *FT = MSFunc->getFunctionType(); |
| 128 | if ((CC == CallingConv::X86_FastCall || CC == CallingConv::X86_StdCall) && |
| 129 | // "Pure" variadic functions do not receive @0 suffix. |
| 130 | (!FT->isVarArg() || FT->getNumParams() == 0 || |
| 131 | (FT->getNumParams() == 1 && MSFunc->hasStructRetAttr()))) |
| 132 | AddFastCallStdCallSuffix(OS, MSFunc, *DL); |
| 133 | } |
| 134 | |
| 135 | void Mangler::getNameWithPrefix(SmallVectorImpl<char> &OutName, |
| 136 | const GlobalValue *GV) { |
| 137 | raw_svector_ostream OS(OutName); |
| 138 | getNameWithPrefix(OS, GV); |
Chris Lattner | 840c8d7 | 2009-09-11 05:40:42 +0000 | [diff] [blame] | 139 | } |