lib/VMCore/Mangler.cpp

   1 //===-- Mangler.cpp - Self-contained c/asm llvm name mangler --------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file was developed by the LLVM research group and is distributed under
   6 // the University of Illinois Open Source License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // Unified name mangler for CWriter and assembly backends.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #include "llvm/Support/Mangler.h"
  15 #include "llvm/Module.h"
  16 #include "llvm/Type.h"
  17 #include "Support/StringExtras.h"
  18 using namespace llvm;
  19
  20 static char HexDigit(int V) {
  21   return V < 10 ? V+'0' : V+'A'-10;
  22 }
  23
  24 static std::string MangleLetter(unsigned char C) {
  25   return std::string("_")+HexDigit(C >> 4) + HexDigit(C & 15) + "_";
  26 }
  27
  28 /// makeNameProper - We don't want identifier names non-C-identifier characters
  29 /// in them, so mangle them as appropriate.
  30 ///
  31 std::string Mangler::makeNameProper(const std::string &X) {
  32   std::string Result;
  33
  34   // Mangle the first letter specially, don't allow numbers...
  35   if ((X[0] < 'a' || X[0] > 'z') && (X[0] < 'A' || X[0] > 'Z') && X[0] != '_')
  36     Result += MangleLetter(X[0]);
  37   else
  38     Result += X[0];
  39
  40   for (std::string::const_iterator I = X.begin()+1, E = X.end(); I != E; ++I)
  41     if ((*I < 'a' || *I > 'z') && (*I < 'A' || *I > 'Z') &&
  42         (*I < '0' || *I > '9') && *I != '_')
  43       Result += MangleLetter(*I);
  44     else
  45       Result += *I;
  46   return Result;
  47 }
  48
  49 std::string Mangler::getValueName(const Value *V) {
  50   // Check to see whether we've already named V.
  51   ValueMap::iterator VI = Memo.find(V);
  52   if (VI != Memo.end()) {
  53     return VI->second; // Return the old name for V.
  54   }
  55
  56   std::string name;
  57   if (V->hasName()) { // Print out the label if it exists...
  58     // Name mangling occurs as follows:
  59     // - If V is not a global, mangling always occurs.
  60     // - Otherwise, mangling occurs when any of the following are true:
  61     //   1) V has internal linkage
  62     //   2) V's name would collide if it is not mangled.
  63     //
  64     const GlobalValue* gv = dyn_cast<GlobalValue>(V);
  65     if (gv && !gv->hasInternalLinkage() && !MangledGlobals.count(gv)) {
  66       name = makeNameProper(gv->getName());
  67       if (AddUnderscorePrefix) name = "_" + name;
  68     } else {
  69       // Non-global, or global with internal linkage / colliding name
  70       // -> mangle.
  71       name = "l" + utostr(V->getType()->getUniqueID()) + "_" +
  72         makeNameProper(V->getName());
  73     }
  74   } else {
  75     name = "ltmp_" + utostr(Count++) + "_"
  76       + utostr(V->getType()->getUniqueID());
  77   }
  78
  79   Memo[V] = name;
  80   return name;
  81 }
  82
  83 Mangler::Mangler(Module &m, bool addUnderscorePrefix)
  84   : M(m), AddUnderscorePrefix(addUnderscorePrefix) {
  85   // Calculate which global values have names that will collide when we throw
  86   // away type information.
  87   std::set<std::string> FoundNames;
  88   for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I)
  89     if (I->hasName())                      // If the global has a name...
  90       if (FoundNames.count(I->getName()))  // And the name is already used
  91         MangledGlobals.insert(I);          // Mangle the name
  92       else
  93         FoundNames.insert(I->getName());   // Otherwise, keep track of name
  94
  95   for (Module::giterator I = M.gbegin(), E = M.gend(); I != E; ++I)
  96     if (I->hasName())                      // If the global has a name...
  97       if (FoundNames.count(I->getName()))  // And the name is already used
  98         MangledGlobals.insert(I);          // Mangle the name
  99       else
 100         FoundNames.insert(I->getName());   // Otherwise, keep track of name
 101 }