2004-09-01 22:55:40 +00:00
|
|
|
//===-- llvm/Support/Mangler.h - Self-contained name mangler ----*- C++ -*-===//
|
2005-04-21 20:48:15 +00:00
|
|
|
//
|
2003-10-20 20:19:47 +00:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 19:59:42 +00:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2005-04-21 20:48:15 +00:00
|
|
|
//
|
2003-10-20 20:19:47 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2003-07-24 20:20:58 +00:00
|
|
|
//
|
2004-02-14 00:30:31 +00:00
|
|
|
// Unified name mangler for various backends.
|
2003-07-24 20:20:58 +00:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_SUPPORT_MANGLER_H
|
|
|
|
#define LLVM_SUPPORT_MANGLER_H
|
|
|
|
|
2008-06-26 17:20:16 +00:00
|
|
|
#include "llvm/ADT/DenseMap.h"
|
2008-07-10 00:04:23 +00:00
|
|
|
#include "llvm/ADT/SmallPtrSet.h"
|
2003-07-28 16:42:33 +00:00
|
|
|
#include <string>
|
2003-07-24 20:20:58 +00:00
|
|
|
|
2003-11-11 22:41:34 +00:00
|
|
|
namespace llvm {
|
2004-07-08 22:09:07 +00:00
|
|
|
class Type;
|
2004-02-14 00:30:31 +00:00
|
|
|
class Module;
|
2005-11-10 18:46:57 +00:00
|
|
|
class Value;
|
2004-02-14 00:30:31 +00:00
|
|
|
class GlobalValue;
|
2009-09-11 05:40:42 +00:00
|
|
|
template <typename T> class SmallVectorImpl;
|
2003-11-11 22:41:34 +00:00
|
|
|
|
2003-07-24 20:20:58 +00:00
|
|
|
class Mangler {
|
2009-07-20 01:03:30 +00:00
|
|
|
public:
|
|
|
|
enum ManglerPrefixTy {
|
2009-07-20 19:41:27 +00:00
|
|
|
Default, ///< Emit default string before each symbol.
|
|
|
|
Private, ///< Emit "private" prefix before each symbol.
|
|
|
|
LinkerPrivate ///< Emit "linker private" prefix before each symbol.
|
2009-07-20 01:03:30 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
private:
|
2005-11-10 19:02:52 +00:00
|
|
|
/// Prefix - This string is added to each symbol that is emitted, unless the
|
|
|
|
/// symbol is marked as not needing this prefix.
|
2004-08-17 06:06:37 +00:00
|
|
|
const char *Prefix;
|
2009-02-20 22:51:36 +00:00
|
|
|
|
2009-05-05 22:50:29 +00:00
|
|
|
/// PrivatePrefix - This string is emitted before each symbol with private
|
|
|
|
/// linkage.
|
2009-01-15 20:18:42 +00:00
|
|
|
const char *PrivatePrefix;
|
2009-05-05 22:50:29 +00:00
|
|
|
|
2009-07-20 01:03:30 +00:00
|
|
|
/// LinkerPrivatePrefix - This string is emitted before each symbol with
|
|
|
|
/// "linker_private" linkage.
|
|
|
|
const char *LinkerPrivatePrefix;
|
|
|
|
|
2009-02-20 22:51:36 +00:00
|
|
|
/// UseQuotes - If this is set, the target accepts global names in quotes,
|
2005-11-10 19:30:07 +00:00
|
|
|
/// e.g. "foo bar" is a legal name. This syntax is used instead of escaping
|
|
|
|
/// the space character. By default, this is false.
|
|
|
|
bool UseQuotes;
|
2009-02-20 22:51:36 +00:00
|
|
|
|
2009-09-18 16:57:42 +00:00
|
|
|
/// SymbolsCanStartWithDigit - If this is set, the target allows symbols to
|
|
|
|
/// start with digits (e.g., "0x0021"). By default, this is false.
|
|
|
|
bool SymbolsCanStartWithDigit;
|
|
|
|
|
2009-07-14 00:01:06 +00:00
|
|
|
/// AnonGlobalIDs - We need to give global values the same name every time
|
|
|
|
/// they are mangled. This keeps track of the number we give to anonymous
|
|
|
|
/// ones.
|
2005-11-10 19:02:52 +00:00
|
|
|
///
|
2009-07-14 00:01:06 +00:00
|
|
|
DenseMap<const GlobalValue*, unsigned> AnonGlobalIDs;
|
2003-08-11 19:34:29 +00:00
|
|
|
|
2009-07-14 00:01:06 +00:00
|
|
|
/// NextAnonGlobalID - This simple counter is used to unique value names.
|
2005-11-10 19:02:52 +00:00
|
|
|
///
|
2009-07-14 00:01:06 +00:00
|
|
|
unsigned NextAnonGlobalID;
|
2009-02-20 22:51:36 +00:00
|
|
|
|
2005-11-10 21:39:12 +00:00
|
|
|
/// AcceptableChars - This bitfield contains a one for each character that is
|
|
|
|
/// allowed to be part of an unmangled name.
|
2009-07-20 01:03:30 +00:00
|
|
|
unsigned AcceptableChars[256 / 32];
|
2003-08-11 19:34:29 +00:00
|
|
|
|
2009-07-20 01:03:30 +00:00
|
|
|
public:
|
2004-08-17 06:06:37 +00:00
|
|
|
// Mangler ctor - if a prefix is specified, it will be prepended onto all
|
|
|
|
// symbols.
|
2009-07-20 01:03:30 +00:00
|
|
|
Mangler(Module &M, const char *Prefix = "", const char *privatePrefix = "",
|
|
|
|
const char *linkerPrivatePrefix = "");
|
2003-08-11 19:34:29 +00:00
|
|
|
|
2005-11-10 19:30:07 +00:00
|
|
|
/// setUseQuotes - If UseQuotes is set to true, this target accepts quoted
|
|
|
|
/// strings for assembler labels.
|
|
|
|
void setUseQuotes(bool Val) { UseQuotes = Val; }
|
2009-02-20 22:51:36 +00:00
|
|
|
|
2009-09-18 16:57:42 +00:00
|
|
|
/// setSymbolsCanStartWithDigit - If SymbolsCanStartWithDigit is set to true,
|
|
|
|
/// this target allows symbols to start with digits.
|
|
|
|
void setSymbolsCanStartWithDigit(bool Val) { SymbolsCanStartWithDigit = Val; }
|
|
|
|
|
2005-11-10 21:39:12 +00:00
|
|
|
/// Acceptable Characters - This allows the target to specify which characters
|
|
|
|
/// are acceptable to the assembler without being mangled. By default we
|
2009-09-18 16:57:42 +00:00
|
|
|
/// allow letters, numbers, '_', '$', '.', which is what GAS accepts, and '@'.
|
2005-11-10 21:39:12 +00:00
|
|
|
void markCharAcceptable(unsigned char X) {
|
|
|
|
AcceptableChars[X/32] |= 1 << (X&31);
|
|
|
|
}
|
|
|
|
void markCharUnacceptable(unsigned char X) {
|
|
|
|
AcceptableChars[X/32] &= ~(1 << (X&31));
|
|
|
|
}
|
|
|
|
bool isCharAcceptable(unsigned char X) const {
|
|
|
|
return (AcceptableChars[X/32] & (1 << (X&31))) != 0;
|
|
|
|
}
|
2009-02-20 22:51:36 +00:00
|
|
|
|
2009-07-14 18:17:16 +00:00
|
|
|
/// getMangledName - Returns the mangled name of V, an LLVM Value,
|
|
|
|
/// in the current module. If 'Suffix' is specified, the name ends with the
|
|
|
|
/// specified suffix. If 'ForcePrivate' is specified, the label is specified
|
|
|
|
/// to have a private label prefix.
|
2003-07-24 20:20:58 +00:00
|
|
|
///
|
2009-07-14 18:17:16 +00:00
|
|
|
std::string getMangledName(const GlobalValue *V, const char *Suffix = "",
|
|
|
|
bool ForcePrivate = false);
|
2003-07-24 20:20:58 +00:00
|
|
|
|
|
|
|
/// makeNameProper - We don't want identifier names with ., space, or
|
|
|
|
/// - in them, so we mangle these characters into the strings "d_",
|
|
|
|
/// "s_", and "D_", respectively. This is a very simple mangling that
|
|
|
|
/// doesn't guarantee unique names for values. getValueName already
|
|
|
|
/// does this for you, so there's no point calling it on the result
|
|
|
|
/// from getValueName.
|
2005-04-21 20:48:15 +00:00
|
|
|
///
|
2009-07-14 04:50:12 +00:00
|
|
|
std::string makeNameProper(const std::string &x,
|
2009-07-20 19:41:27 +00:00
|
|
|
ManglerPrefixTy PrefixTy = Mangler::Default);
|
2009-09-11 05:40:42 +00:00
|
|
|
|
|
|
|
/// getNameWithPrefix - Fill OutName with the name of the appropriate prefix
|
|
|
|
/// and the specified global variable's name. If the global variable doesn't
|
|
|
|
/// have a name, this fills in a unique name for the global.
|
|
|
|
void getNameWithPrefix(SmallVectorImpl<char> &OutName, const GlobalValue *GV,
|
|
|
|
bool isImplicitlyPrivate);
|
2003-07-24 20:20:58 +00:00
|
|
|
};
|
|
|
|
|
2003-11-11 22:41:34 +00:00
|
|
|
} // End llvm namespace
|
|
|
|
|
2003-07-24 20:20:58 +00:00
|
|
|
#endif // LLVM_SUPPORT_MANGLER_H
|