//
// 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; }
+ unsigned getFlags() const { return Flags; }
+ };
/// 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;
+ void fillDefaultValues();
protected:
+ /// TM - The current TargetMachine.
+ const TargetMachine &TM;
+
//===------------------------------------------------------------------===//
// 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; // Defaults to ".text".
+
/// DataSection - Section directive for standard data.
///
- const char *DataSection; // Defaults to ".data".
+ const Section *DataSection; // Defaults to ".data".
/// 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 Section *ReadOnlySection; // Defaults to NULL
+
+ /// 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; // Defaults to ".tdata".
/// 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; // Defaults to ".tbss".
+
/// 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.
/// will enclose any GlobalVariable that points to a function.
/// For example, this is used by the IA64 backend to materialize
/// function descriptors, by decorating the ".data8" object with the
- /// \literal @fptr( ) \endliteral
+ /// @verbatim @fptr( ) @endverbatim
/// link-relocation operator.
///
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
/// ConstantPoolSection - This is the section that we SwitchToSection right
/// before emitting the constant pool for a function.
- const char *ConstantPoolSection; // Defaults to "\t.section .rodata\n"
+ const char *ConstantPoolSection; // Defaults to "\t.section .rodata"
/// JumpTableDataSection - This is the section that we SwitchToSection right
/// before emitting the jump tables for a function when the relocation model
/// is not PIC.
- const char *JumpTableDataSection; // Defaults to "\t.section .rodata\n"
+ const char *JumpTableDataSection; // Defaults to "\t.section .rodata"
/// JumpTableDirective - if non-null, the directive to emit before a jump
/// table.
const char *JumpTableDirective;
/// CStringSection - If not null, this allows for special handling of
- /// cstring constants (\0 terminated string that does not contain any
+ /// cstring constants (null terminated string that does not contain any
/// 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.
/// Defaults to "\t.section .dtors,\"aw\",@progbits".
const char *StaticDtorsSection;
- /// FourByteConstantSection, EightByteConstantSection,
- /// SixteenByteConstantSection - These are special sections where we place
- /// 4-, 8-, and 16- byte constant literals.
- const char *FourByteConstantSection;
- const char *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
-
//===--- Global Variable Emission Directives --------------------------===//
/// GlobalDirective - This is the directive used to declare a global entity.
/// LCOMMDirective - This is the name of a directive (if supported) that can
/// be used to efficiently declare a local (internal) block of zero
/// initialized data in the .bss/.data section. The syntax expected is:
- /// \literal <LCOMMDirective> SYMBOLNAME LENGTHINBYTES, ALIGNMENT
- /// \endliteral
+ /// @verbatim <LCOMMDirective> SYMBOLNAME LENGTHINBYTES, ALIGNMENT
+ /// @endverbatim
const char *LCOMMDirective; // Defaults to null.
const char *COMMDirective; // Defaults to "\t.comm\t".
/// 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.
-
- /// HasDotFile - True if target asm supports .file directives.
- ///
- bool HasDotFile; // Defaults to false.
-
- /// SupportsExceptionHandling - True if target supports exception handling.
+ bool HasDotLocAndDotFile; // Defaults to false.
+
+ /// SupportsDebugInformation - True if target supports emission of debugging
+ /// information.
+ bool SupportsDebugInformation;
+
+ /// SupportsExceptionHandling - True if target supports
+ /// exception handling.
///
bool SupportsExceptionHandling; // Defaults to false.
///
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();
+ explicit TargetAsmInfo(const TargetMachine &TM);
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 const Section* 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 {
+ const Section *getTextSection() const {
return TextSection;
}
- const char *getDataSection() const {
+ const Section *getDataSection() const {
return DataSection;
}
const char *getBSSSection() const {
return BSSSection;
}
- const char *getTLSDataSection() const {
+ const Section *getBSSSection_() const {
+ return BSSSection_;
+ }
+ 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 Section *getTLSDataSection() const {
return TLSDataSection;
}
- const char *getTLSBSSSection() const {
+ 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 *getStaticDtorsSection() const {
return StaticDtorsSection;
}
- const char *getFourByteConstantSection() const {
- return FourByteConstantSection;
- }
- const char *getEightByteConstantSection() const {
- return EightByteConstantSection;
- }
- const char *getSixteenByteConstantSection() const {
- return SixteenByteConstantSection;
- }
- const char *getReadOnlySection() const {
- return ReadOnlySection;
- }
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 hasDotLocAndDotFile() const {
+ return HasDotLocAndDotFile;
}
- bool hasDotFile() const {
- return HasDotFile;
+ bool doesSupportDebugInformation() const {
+ return SupportsDebugInformation;
}
- bool getSupportsExceptionHandling() const {
+ bool doesSupportExceptionHandling() const {
return SupportsExceptionHandling;
}
- bool getDwarfRequiresFrameSection() const {
+ 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;
}
};