//
// The LLVM Compiler Infrastructure
//
-// This file was developed by James M. Laskey and is distributed under
-// the University of Illinois Open Source License. See LICENSE.TXT for details.
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//
#ifndef LLVM_TARGET_ASM_INFO_H
#define LLVM_TARGET_ASM_INFO_H
-#include "llvm/CodeGen/MachineFunctionPass.h"
+#include "llvm/ADT/DenseMap.h"
+#include "llvm/ADT/StringMap.h"
#include "llvm/Support/DataTypes.h"
+#include <string>
namespace llvm {
+ // DWARF encoding query type
+ namespace DwarfEncoding {
+ enum Target {
+ Data = 0,
+ CodeLabels = 1,
+ Functions = 2
+ };
+ }
+
+ namespace SectionKind {
+ enum Kind {
+ Unknown = 0, ///< Custom section
+ Text, ///< Text section
+ Data, ///< Data section
+ BSS, ///< BSS section
+ ROData, ///< Readonly data section
+ RODataMergeStr, ///< Readonly data section (mergeable strings)
+ RODataMergeConst, ///< Readonly data section (mergeable constants)
+ SmallData, ///< Small data section
+ SmallBSS, ///< Small bss section
+ SmallROData, ///< Small readonly section
+ ThreadData, ///< Initialized TLS data objects
+ ThreadBSS ///< Uninitialized TLS data objects
+ };
+
+ static inline bool isReadOnly(Kind K) {
+ return (K == SectionKind::ROData ||
+ K == SectionKind::RODataMergeConst ||
+ K == SectionKind::RODataMergeStr ||
+ K == SectionKind::SmallROData);
+ }
+
+ static inline bool isBSS(Kind K) {
+ return (K == SectionKind::BSS ||
+ K == SectionKind::SmallBSS);
+ }
+ }
+
+ namespace SectionFlags {
+ const unsigned Invalid = -1U;
+ const unsigned None = 0;
+ const unsigned Code = 1 << 0; ///< Section contains code
+ const unsigned Writeable = 1 << 1; ///< Section is writeable
+ const unsigned BSS = 1 << 2; ///< Section contains only zeroes
+ const unsigned Mergeable = 1 << 3; ///< Section contains mergeable data
+ const unsigned Strings = 1 << 4; ///< Section contains C-type strings
+ const unsigned TLS = 1 << 5; ///< Section contains thread-local data
+ const unsigned Debug = 1 << 6; ///< Section contains debug data
+ const unsigned Linkonce = 1 << 7; ///< Section is linkonce
+ const unsigned Small = 1 << 8; ///< Section is small
+ const unsigned TypeFlags = 0xFF;
+ // Some gap for future flags
+ const unsigned Named = 1 << 23; ///< Section is named
+ const unsigned EntitySize = 0xFF << 24; ///< Entity size for mergeable stuff
+
+ static inline unsigned getEntitySize(unsigned Flags) {
+ return (Flags >> 24) & 0xFF;
+ }
+
+ static inline unsigned setEntitySize(unsigned Flags, unsigned Size) {
+ return ((Flags & ~EntitySize) | ((Size & 0xFF) << 24));
+ }
+
+ struct KeyInfo {
+ static inline unsigned getEmptyKey() { return Invalid; }
+ static inline unsigned getTombstoneKey() { return Invalid - 1; }
+ static unsigned getHashValue(const unsigned &Key) { return Key; }
+ static bool isEqual(unsigned LHS, unsigned RHS) { return LHS == RHS; }
+ static bool isPod() { return true; }
+ };
+
+ typedef DenseMap<unsigned, std::string, KeyInfo> FlagsStringsMapType;
+ }
+
class TargetMachine;
class CallInst;
+ class GlobalValue;
+ class Type;
+ class Mangler;
+
+ class Section {
+ friend class TargetAsmInfo;
+ friend class StringMapEntry<Section>;
+
+ std::string Name;
+ unsigned Flags;
+
+ explicit Section(unsigned F = SectionFlags::Invalid):Flags(F) { }
+ public:
+ bool isNamed() const { return Flags & SectionFlags::Named; }
+ unsigned getEntitySize() const { return (Flags >> 24) & 0xFF; }
+ const std::string& getName() const { return Name; }
+ };
/// TargetAsmInfo - This class is intended to be used as a base class for asm
/// properties and features specific to the target.
class TargetAsmInfo {
+ private:
+ mutable StringMap<Section> Sections;
+ mutable SectionFlags::FlagsStringsMapType FlagsStrings;
protected:
//===------------------------------------------------------------------===//
// Properties to be set by the target writer, used to configure asm printer.
//
-
+
/// TextSection - Section directive for standard text.
///
const char *TextSection; // Defaults to ".text".
-
+ const Section *TextSection_;
+
/// DataSection - Section directive for standard data.
///
const char *DataSection; // Defaults to ".data".
+ const Section *DataSection_;
/// BSSSection - Section directive for uninitialized data. Null if this
/// target doesn't support a BSS section.
///
const char *BSSSection; // Default to ".bss".
+ const Section *BSSSection_;
+
+ /// ReadOnlySection - This is the directive that is emitted to switch to a
+ /// read-only section for constant data (e.g. data declared const,
+ /// jump tables).
+ const char *ReadOnlySection; // Defaults to NULL
+ const Section *ReadOnlySection_;
+
+ /// SmallDataSection - This is the directive that is emitted to switch to a
+ /// small data section.
+ ///
+ const Section *SmallDataSection; // Defaults to NULL
+
+ /// SmallBSSSection - This is the directive that is emitted to switch to a
+ /// small bss section.
+ ///
+ const Section *SmallBSSSection; // Defaults to NULL
+
+ /// SmallRODataSection - This is the directive that is emitted to switch to
+ /// a small read-only data section.
+ ///
+ const Section *SmallRODataSection; // Defaults to NULL
/// TLSDataSection - Section directive for Thread Local data.
///
const char *TLSDataSection;// Defaults to ".section .tdata,"awT",@progbits".
+ const Section *TLSDataSection_;
/// TLSBSSSection - Section directive for Thread Local uninitialized data.
/// Null if this target doesn't support a BSS section.
///
const char *TLSBSSSection;// Default to ".section .tbss,"awT",@nobits".
+ const Section *TLSBSSSection_;
+
/// ZeroFillDirective - Directive for emitting a global to the ZeroFill
/// section on this target. Null if this target doesn't support zerofill.
const char *ZeroFillDirective; // Default is null.
-
- /// AddressSize - Size of addresses used in file.
- ///
- unsigned AddressSize; // Defaults to 4.
-
- /// NeedsSet - True if target asm can't compute addresses on data
- /// directives.
+
+ /// NonexecutableStackDirective - Directive for declaring to the
+ /// linker and beyond that the emitted code does not require stack
+ /// memory to be executable.
+ const char *NonexecutableStackDirective; // Default is null.
+
+ /// NeedsSet - True if target asm treats expressions in data directives
+ /// as linktime-relocatable. For assembly-time computation, we need to
+ /// use a .set. Thus:
+ /// .set w, x-y
+ /// .long w
+ /// is computed at assembly time, while
+ /// .long x-y
+ /// is relocated if the relative locations of x and y change at linktime.
+ /// We want both these things in different places.
bool NeedsSet; // Defaults to false.
/// MaxInstLength - This is the maximum possible length of an instruction,
const char *GlobalPrefix; // Defaults to ""
/// PrivateGlobalPrefix - This prefix is used for globals like constant
- /// pool entries that are completely private to the .o file and should not
+ /// pool entries that are completely private to the .s file and should not
/// have names in the .o file. This is often "." or "L".
const char *PrivateGlobalPrefix; // Defaults to "."
+ /// LessPrivateGlobalPrefix - This prefix is used for symbols that should
+ /// be passed through the assembler but be removed by the linker. This
+ /// is "l" on Darwin, currently used for some ObjC metadata.
+ const char *LessPrivateGlobalPrefix; // Defaults to ""
+
/// JumpTableSpecialLabelPrefix - If not null, a extra (dead) label is
/// emitted before jump tables with the specified prefix.
const char *JumpTableSpecialLabelPrefix; // Default to null.
const char *FunctionAddrPrefix; // Defaults to ""
const char *FunctionAddrSuffix; // Defaults to ""
+ /// PersonalityPrefix/Suffix - If these are nonempty, these strings will
+ /// enclose any personality function in the common frame section.
+ ///
+ const char *PersonalityPrefix; // Defaults to ""
+ const char *PersonalitySuffix; // Defaults to ""
+
+ /// NeedsIndirectEncoding - If set, we need to set the indirect encoding bit
+ /// for EH in Dwarf.
+ ///
+ bool NeedsIndirectEncoding; // Defaults to false
+
/// InlineAsmStart/End - If these are nonempty, they contain a directive to
/// emit before and after an inline assembly statement.
const char *InlineAsmStart; // Defaults to "#APP\n"
/// AssemblerDialect - Which dialect of an assembler variant to use.
unsigned AssemblerDialect; // Defaults to 0
+ /// StringConstantPrefix - Prefix for FEs to use when generating unnamed
+ /// constant strings. These names get run through the Mangler later; if
+ /// you want the Mangler not to add the GlobalPrefix as well,
+ /// use '\1' as the first character.
+ const char *StringConstantPrefix; // Defaults to ".str"
+
//===--- Data Emission Directives -------------------------------------===//
/// ZeroDirective - this should be set to the directive used to get some
/// boundary.
bool AlignmentIsInBytes; // Defaults to true
+ /// TextAlignFillValue - If non-zero, this is used to fill the executable
+ /// space created as the result of a alignment directive.
+ unsigned TextAlignFillValue;
+
//===--- Section Switching Directives ---------------------------------===//
/// SwitchToSectionDirective - This is the directive used when we want to
/// other null bytes) on this target. This is commonly supported as
/// ".cstring".
const char *CStringSection; // Defaults to NULL
+ const Section *CStringSection_;
/// StaticCtorsSection - This is the directive that is emitted to switch to
/// a section to emit the static constructor list.
/// SixteenByteConstantSection - These are special sections where we place
/// 4-, 8-, and 16- byte constant literals.
const char *FourByteConstantSection;
+ const Section *FourByteConstantSection_;
const char *EightByteConstantSection;
+ const Section *EightByteConstantSection_;
const char *SixteenByteConstantSection;
-
- /// ReadOnlySection - This is the directive that is emitted to switch to a
- /// read-only section for constant data (e.g. data declared const,
- /// jump tables).
- const char *ReadOnlySection; // Defaults to NULL
+ const Section *SixteenByteConstantSection_;
//===--- Global Variable Emission Directives --------------------------===//
/// global as being a weak undefined symbol.
const char *WeakRefDirective; // Defaults to null.
+ /// WeakDefDirective - This directive, if non-null, is used to declare a
+ /// global as being a weak defined symbol.
+ const char *WeakDefDirective; // Defaults to null.
+
/// HiddenDirective - This directive, if non-null, is used to declare a
/// global or function as having hidden visibility.
const char *HiddenDirective; // Defaults to "\t.hidden\t".
///
bool HasLEB128; // Defaults to false.
- /// hasDotLoc - True if target asm supports .loc directives.
+ /// hasDotLocAndDotFile - True if target asm supports .loc and .file
+ /// directives for emitting debugging information.
///
- bool HasDotLoc; // Defaults to false.
+ bool HasDotLocAndDotFile; // Defaults to false.
- /// HasDotFile - True if target asm supports .file directives.
- ///
- bool HasDotFile; // Defaults to false.
-
/// SupportsDebugInformation - True if target supports emission of debugging
/// information.
bool SupportsDebugInformation;
///
bool DwarfRequiresFrameSection; // Defaults to true.
+ /// GlobalEHDirective - This is the directive used to make exception frame
+ /// tables globally visible.
+ ///
+ const char *GlobalEHDirective; // Defaults to NULL.
+
+ /// SupportsWeakEmptyEHFrame - True if target assembler and linker will
+ /// handle a weak_definition of constant 0 for an omitted EH frame.
+ bool SupportsWeakOmittedEHFrame; // Defaults to true.
+
/// DwarfSectionOffsetDirective - Special section offset directive.
const char* DwarfSectionOffsetDirective; // Defaults to NULL
/// DwarfExceptionSection - Section directive for Exception table.
///
const char *DwarfExceptionSection; // Defaults to ".gcc_except_table".
-
//===--- CBE Asm Translation Table -----------------------------------===//
- const char** AsmTransCBE; // Defaults to empty
+ const char *const *AsmTransCBE; // Defaults to empty
public:
TargetAsmInfo();
virtual ~TargetAsmInfo();
+ const Section* getNamedSection(const char *Name,
+ unsigned Flags = SectionFlags::None,
+ bool Override = false) const;
+ const Section* getUnnamedSection(const char *Directive,
+ unsigned Flags = SectionFlags::None,
+ bool Override = false) const;
+
/// Measure the specified inline asm to determine an approximation of its
/// length.
virtual unsigned getInlineAsmLength(const char *Str) const;
virtual bool ExpandInlineAsm(CallInst *CI) const {
return false;
}
-
+
+ /// emitUsedDirectiveFor - This hook allows targets to selectively decide
+ /// not to emit the UsedDirective for some symbols in llvm.used.
+ virtual bool emitUsedDirectiveFor(const GlobalValue *GV,
+ Mangler *Mang) const {
+ return (GV!=0);
+ }
+
+ /// PreferredEHDataFormat - This hook allows the target to select data
+ /// format used for encoding pointers in exception handling data. Reason is
+ /// 0 for data, 1 for code labels, 2 for function pointers. Global is true
+ /// if the symbol can be relocated.
+ virtual unsigned PreferredEHDataFormat(DwarfEncoding::Target Reason,
+ bool Global) const;
+
+ /// SectionKindForGlobal - This hook allows the target to select proper
+ /// section kind used for global emission.
+ virtual SectionKind::Kind
+ SectionKindForGlobal(const GlobalValue *GV) const;
+
+
+ /// SectionFlagsForGlobal - This hook allows the target to select proper
+ /// section flags either for given global or for section.
+ virtual unsigned
+ SectionFlagsForGlobal(const GlobalValue *GV = NULL,
+ const char* name = NULL) const;
+
+ /// SectionForGlobal - This hooks returns proper section name for given
+ /// global with all necessary flags and marks.
+ virtual std::string SectionForGlobal(const GlobalValue *GV) const;
+
+ // Helper methods for SectionForGlobal
+ virtual std::string UniqueSectionForGlobal(const GlobalValue* GV,
+ SectionKind::Kind kind) const;
+
+ const std::string& getSectionFlags(unsigned Flags) const;
+ virtual std::string printSectionFlags(unsigned flags) const { return ""; }
+
+ virtual const Section* SelectSectionForGlobal(const GlobalValue *GV) const;
+
+ virtual const Section* SelectSectionForMachineConst(const Type *Ty) const;
+
+ /// getSLEB128Size - Compute the number of bytes required for a signed
+ /// leb128 value.
+
+ static unsigned getSLEB128Size(int Value);
+
+ /// getULEB128Size - Compute the number of bytes required for an unsigned
+ /// leb128 value.
+
+ static unsigned getULEB128Size(unsigned Value);
+
// Accessors.
//
const char *getTextSection() const {
return TextSection;
}
+ const Section *getTextSection_() const {
+ return TextSection_;
+ }
const char *getDataSection() const {
return DataSection;
}
+ const Section *getDataSection_() const {
+ return DataSection_;
+ }
const char *getBSSSection() const {
return BSSSection;
}
+ const Section *getBSSSection_() const {
+ return BSSSection_;
+ }
+ const char *getReadOnlySection() const {
+ return ReadOnlySection;
+ }
+ const Section *getReadOnlySection_() const {
+ return ReadOnlySection_;
+ }
+ const Section *getSmallDataSection() const {
+ return SmallDataSection;
+ }
+ const Section *getSmallBSSSection() const {
+ return SmallBSSSection;
+ }
+ const Section *getSmallRODataSection() const {
+ return SmallRODataSection;
+ }
const char *getTLSDataSection() const {
return TLSDataSection;
}
+ const Section *getTLSDataSection_() const {
+ return TLSDataSection_;
+ }
const char *getTLSBSSSection() const {
return TLSBSSSection;
}
+ const Section *getTLSBSSSection_() const {
+ return TLSBSSSection_;
+ }
const char *getZeroFillDirective() const {
return ZeroFillDirective;
}
- unsigned getAddressSize() const {
- return AddressSize;
+ const char *getNonexecutableStackDirective() const {
+ return NonexecutableStackDirective;
}
bool needsSet() const {
return NeedsSet;
const char *getPrivateGlobalPrefix() const {
return PrivateGlobalPrefix;
}
+ const char *getLessPrivateGlobalPrefix() const {
+ return LessPrivateGlobalPrefix;
+ }
const char *getJumpTableSpecialLabelPrefix() const {
return JumpTableSpecialLabelPrefix;
}
const char *getFunctionAddrSuffix() const {
return FunctionAddrSuffix;
}
+ const char *getPersonalityPrefix() const {
+ return PersonalityPrefix;
+ }
+ const char *getPersonalitySuffix() const {
+ return PersonalitySuffix;
+ }
+ bool getNeedsIndirectEncoding() const {
+ return NeedsIndirectEncoding;
+ }
const char *getInlineAsmStart() const {
return InlineAsmStart;
}
unsigned getAssemblerDialect() const {
return AssemblerDialect;
}
+ const char *getStringConstantPrefix() const {
+ return StringConstantPrefix;
+ }
const char *getZeroDirective() const {
return ZeroDirective;
}
bool getAlignmentIsInBytes() const {
return AlignmentIsInBytes;
}
+ unsigned getTextAlignFillValue() const {
+ return TextAlignFillValue;
+ }
const char *getSwitchToSectionDirective() const {
return SwitchToSectionDirective;
}
const char *getCStringSection() const {
return CStringSection;
}
+ const Section *getCStringSection_() const {
+ return CStringSection_;
+ }
const char *getStaticCtorsSection() const {
return StaticCtorsSection;
}
const char *getFourByteConstantSection() const {
return FourByteConstantSection;
}
+ const Section *getFourByteConstantSection_() const {
+ return FourByteConstantSection_;
+ }
const char *getEightByteConstantSection() const {
return EightByteConstantSection;
}
+ const Section *getEightByteConstantSection_() const {
+ return EightByteConstantSection_;
+ }
const char *getSixteenByteConstantSection() const {
return SixteenByteConstantSection;
}
- const char *getReadOnlySection() const {
- return ReadOnlySection;
+ const Section *getSixteenByteConstantSection_() const {
+ return SixteenByteConstantSection_;
}
const char *getGlobalDirective() const {
return GlobalDirective;
const char *getWeakRefDirective() const {
return WeakRefDirective;
}
+ const char *getWeakDefDirective() const {
+ return WeakDefDirective;
+ }
const char *getHiddenDirective() const {
return HiddenDirective;
}
bool hasLEB128() const {
return HasLEB128;
}
- bool hasDotLoc() const {
- return HasDotLoc;
- }
- bool hasDotFile() const {
- return HasDotFile;
+ bool hasDotLocAndDotFile() const {
+ return HasDotLocAndDotFile;
}
bool doesSupportDebugInformation() const {
return SupportsDebugInformation;
bool doesDwarfRequireFrameSection() const {
return DwarfRequiresFrameSection;
}
+ const char *getGlobalEHDirective() const {
+ return GlobalEHDirective;
+ }
+ bool getSupportsWeakOmittedEHFrame() const {
+ return SupportsWeakOmittedEHFrame;
+ }
const char *getDwarfSectionOffsetDirective() const {
return DwarfSectionOffsetDirective;
- }
+ }
const char *getDwarfAbbrevSection() const {
return DwarfAbbrevSection;
}
const char *getDwarfExceptionSection() const {
return DwarfExceptionSection;
}
- const char** getAsmCBE() const {
+ const char *const *getAsmCBE() const {
return AsmTransCBE;
}
};