Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 1 | //===-- ELFWriter.h - Target-independent ELF writer support -----*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 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. |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defines the ELFWriter class. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Bill Wendling | 4b2ca1a | 2007-02-08 01:30:50 +0000 | [diff] [blame] | 14 | #ifndef ELFWRITER_H |
| 15 | #define ELFWRITER_H |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 16 | |
Bruno Cardoso Lopes | a029a27 | 2009-06-07 21:22:38 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/SetVector.h" |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/MachineFunctionPass.h" |
Chris Lattner | 5f48ff7 | 2005-07-16 08:01:13 +0000 | [diff] [blame] | 19 | #include <list> |
Dan Gohman | c9235d2 | 2008-03-21 23:51:57 +0000 | [diff] [blame] | 20 | #include <map> |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 21 | |
| 22 | namespace llvm { |
Bruno Cardoso Lopes | ae9163f | 2009-06-14 07:53:21 +0000 | [diff] [blame] | 23 | class BinaryObject; |
Bruno Cardoso Lopes | 45f5d64 | 2009-07-02 18:29:24 +0000 | [diff] [blame] | 24 | class Constant; |
Bruno Cardoso Lopes | c997d45 | 2009-06-11 19:16:03 +0000 | [diff] [blame] | 25 | class ConstantStruct; |
| 26 | class ELFCodeEmitter; |
Bruno Cardoso Lopes | 6933d3e | 2009-07-06 09:26:48 +0000 | [diff] [blame^] | 27 | class ELFRelocation; |
| 28 | class ELFSection; |
| 29 | class ELFSym; |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 30 | class GlobalVariable; |
Chris Lattner | 75bbdff | 2005-07-11 03:11:10 +0000 | [diff] [blame] | 31 | class Mangler; |
Chris Lattner | 6871aed | 2005-07-11 05:15:32 +0000 | [diff] [blame] | 32 | class MachineCodeEmitter; |
Bruno Cardoso Lopes | 6933d3e | 2009-07-06 09:26:48 +0000 | [diff] [blame^] | 33 | class ObjectCodeEmitter; |
Bruno Cardoso Lopes | 45f5d64 | 2009-07-02 18:29:24 +0000 | [diff] [blame] | 34 | class TargetAsmInfo; |
| 35 | class TargetELFWriterInfo; |
Owen Anderson | cb37188 | 2008-08-21 00:14:44 +0000 | [diff] [blame] | 36 | class raw_ostream; |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 37 | |
| 38 | /// ELFWriter - This class implements the common target-independent code for |
| 39 | /// writing ELF files. Targets should derive a class from this to |
| 40 | /// parameterize the output format. |
| 41 | /// |
| 42 | class ELFWriter : public MachineFunctionPass { |
Chris Lattner | 6871aed | 2005-07-11 05:15:32 +0000 | [diff] [blame] | 43 | friend class ELFCodeEmitter; |
| 44 | public: |
Devang Patel | 1997473 | 2007-05-03 01:11:54 +0000 | [diff] [blame] | 45 | static char ID; |
Devang Patel | 794fd75 | 2007-05-01 21:15:47 +0000 | [diff] [blame] | 46 | |
Bruno Cardoso Lopes | 6933d3e | 2009-07-06 09:26:48 +0000 | [diff] [blame^] | 47 | /// Return the ELFCodeEmitter as an instance of ObjectCodeEmitter |
| 48 | ObjectCodeEmitter *getObjectCodeEmitter() { |
| 49 | return reinterpret_cast<ObjectCodeEmitter*>(ElfCE); |
Chris Lattner | 6871aed | 2005-07-11 05:15:32 +0000 | [diff] [blame] | 50 | } |
| 51 | |
Owen Anderson | cb37188 | 2008-08-21 00:14:44 +0000 | [diff] [blame] | 52 | ELFWriter(raw_ostream &O, TargetMachine &TM); |
Chris Lattner | 6871aed | 2005-07-11 05:15:32 +0000 | [diff] [blame] | 53 | ~ELFWriter(); |
| 54 | |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 55 | protected: |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 56 | /// Output stream to send the resultant object file to. |
Owen Anderson | cb37188 | 2008-08-21 00:14:44 +0000 | [diff] [blame] | 57 | raw_ostream &O; |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 58 | |
| 59 | /// Target machine description. |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 60 | TargetMachine &TM; |
| 61 | |
Bruno Cardoso Lopes | ae9163f | 2009-06-14 07:53:21 +0000 | [diff] [blame] | 62 | /// Target Elf Writer description. |
| 63 | const TargetELFWriterInfo *TEW; |
| 64 | |
Chris Lattner | 75bbdff | 2005-07-11 03:11:10 +0000 | [diff] [blame] | 65 | /// Mang - The object used to perform name mangling for this module. |
Chris Lattner | 75bbdff | 2005-07-11 03:11:10 +0000 | [diff] [blame] | 66 | Mangler *Mang; |
| 67 | |
Chris Lattner | 6871aed | 2005-07-11 05:15:32 +0000 | [diff] [blame] | 68 | /// MCE - The MachineCodeEmitter object that we are exposing to emit machine |
| 69 | /// code for functions to the .o file. |
Bruno Cardoso Lopes | 6933d3e | 2009-07-06 09:26:48 +0000 | [diff] [blame^] | 70 | ELFCodeEmitter *ElfCE; |
Chris Lattner | 6871aed | 2005-07-11 05:15:32 +0000 | [diff] [blame] | 71 | |
Bruno Cardoso Lopes | c997d45 | 2009-06-11 19:16:03 +0000 | [diff] [blame] | 72 | /// TAI - Target Asm Info, provide information about section names for |
| 73 | /// globals and other target specific stuff. |
| 74 | const TargetAsmInfo *TAI; |
| 75 | |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 76 | //===------------------------------------------------------------------===// |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 77 | // Properties inferred automatically from the target machine. |
Bruno Cardoso Lopes | a029a27 | 2009-06-07 21:22:38 +0000 | [diff] [blame] | 78 | //===------------------------------------------------------------------===// |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 79 | |
| 80 | /// is64Bit/isLittleEndian - This information is inferred from the target |
| 81 | /// machine directly, indicating whether to emit a 32- or 64-bit ELF file. |
| 82 | bool is64Bit, isLittleEndian; |
| 83 | |
| 84 | /// doInitialization - Emit the file header and all of the global variables |
| 85 | /// for the module to the ELF file. |
| 86 | bool doInitialization(Module &M); |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 87 | bool runOnMachineFunction(MachineFunction &MF); |
| 88 | |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 89 | /// doFinalization - Now that the module has been completely processed, emit |
| 90 | /// the ELF file to 'O'. |
| 91 | bool doFinalization(Module &M); |
| 92 | |
| 93 | private: |
Bruno Cardoso Lopes | 0d3193e | 2009-06-22 19:16:16 +0000 | [diff] [blame] | 94 | /// Blob containing the Elf header |
Bruno Cardoso Lopes | ae9163f | 2009-06-14 07:53:21 +0000 | [diff] [blame] | 95 | BinaryObject ElfHdr; |
Bruno Cardoso Lopes | a029a27 | 2009-06-07 21:22:38 +0000 | [diff] [blame] | 96 | |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 97 | /// SectionList - This is the list of sections that we have emitted to the |
| 98 | /// file. Once the file has been completely built, the section header table |
| 99 | /// is constructed from this info. |
Chris Lattner | 5f48ff7 | 2005-07-16 08:01:13 +0000 | [diff] [blame] | 100 | std::list<ELFSection> SectionList; |
| 101 | unsigned NumSections; // Always = SectionList.size() |
| 102 | |
| 103 | /// SectionLookup - This is a mapping from section name to section number in |
| 104 | /// the SectionList. |
| 105 | std::map<std::string, ELFSection*> SectionLookup; |
| 106 | |
Bruno Cardoso Lopes | 0d3193e | 2009-06-22 19:16:16 +0000 | [diff] [blame] | 107 | /// GblSymLookup - This is a mapping from global value to a symbol index |
| 108 | /// in the symbol table. This is useful since relocations symbol references |
| 109 | /// must be quickly mapped to a symbol table index |
| 110 | std::map<const GlobalValue*, uint32_t> GblSymLookup; |
| 111 | |
| 112 | /// SymbolList - This is the list of symbols emitted to the symbol table |
| 113 | /// Local symbols go to the front and Globals to the back. |
| 114 | std::list<ELFSym> SymbolList; |
| 115 | |
| 116 | /// PendingGlobals - List of externally defined symbols that we have been |
| 117 | /// asked to emit, but have not seen a reference to. When a reference |
| 118 | /// is seen, the symbol will move from this list to the SymbolList. |
| 119 | SetVector<GlobalValue*> PendingGlobals; |
| 120 | |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 121 | // Remove tab from section name prefix. This is necessary becase TAI |
| 122 | // sometimes return a section name prefixed with a "\t" char. This is |
| 123 | // a little bit dirty. FIXME: find a better approach, maybe add more |
| 124 | // methods to TAI to get the clean name? |
| 125 | void fixNameForSection(std::string &Name) { |
| 126 | size_t Pos = Name.find("\t"); |
| 127 | if (Pos != std::string::npos) |
| 128 | Name.erase(Pos, 1); |
| 129 | |
| 130 | Pos = Name.find(".section "); |
| 131 | if (Pos != std::string::npos) |
| 132 | Name.erase(Pos, 9); |
| 133 | |
| 134 | Pos = Name.find("\n"); |
| 135 | if (Pos != std::string::npos) |
| 136 | Name.erase(Pos, 1); |
| 137 | } |
| 138 | |
Chris Lattner | 5f48ff7 | 2005-07-16 08:01:13 +0000 | [diff] [blame] | 139 | /// getSection - Return the section with the specified name, creating a new |
| 140 | /// section if one does not already exist. |
Bruno Cardoso Lopes | 0d3193e | 2009-06-22 19:16:16 +0000 | [diff] [blame] | 141 | ELFSection &getSection(const std::string &Name, unsigned Type, |
Bruno Cardoso Lopes | c997d45 | 2009-06-11 19:16:03 +0000 | [diff] [blame] | 142 | unsigned Flags = 0, unsigned Align = 0) { |
Bruno Cardoso Lopes | 0d3193e | 2009-06-22 19:16:16 +0000 | [diff] [blame] | 143 | std::string SectionName(Name); |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 144 | fixNameForSection(SectionName); |
| 145 | |
| 146 | ELFSection *&SN = SectionLookup[SectionName]; |
| 147 | if (SN) return *SN; |
Bruno Cardoso Lopes | 0d3193e | 2009-06-22 19:16:16 +0000 | [diff] [blame] | 148 | |
| 149 | SectionList.push_back(ELFSection(SectionName, isLittleEndian, is64Bit)); |
Chris Lattner | 5f48ff7 | 2005-07-16 08:01:13 +0000 | [diff] [blame] | 150 | SN = &SectionList.back(); |
| 151 | SN->SectionIdx = NumSections++; |
Chris Lattner | 5f9cb59 | 2005-07-16 17:35:26 +0000 | [diff] [blame] | 152 | SN->Type = Type; |
| 153 | SN->Flags = Flags; |
Bruno Cardoso Lopes | f5b0c5a | 2009-06-06 03:56:29 +0000 | [diff] [blame] | 154 | SN->Link = ELFSection::SHN_UNDEF; |
Bruno Cardoso Lopes | c997d45 | 2009-06-11 19:16:03 +0000 | [diff] [blame] | 155 | SN->Align = Align; |
Chris Lattner | 5f48ff7 | 2005-07-16 08:01:13 +0000 | [diff] [blame] | 156 | return *SN; |
| 157 | } |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 158 | |
Bruno Cardoso Lopes | 0d3193e | 2009-06-22 19:16:16 +0000 | [diff] [blame] | 159 | /// TODO: support mangled names here to emit the right .text section |
| 160 | /// for c++ object files. |
Bruno Cardoso Lopes | 5d41910 | 2009-06-05 00:22:10 +0000 | [diff] [blame] | 161 | ELFSection &getTextSection() { |
Bruno Cardoso Lopes | f5b0c5a | 2009-06-06 03:56:29 +0000 | [diff] [blame] | 162 | return getSection(".text", ELFSection::SHT_PROGBITS, |
| 163 | ELFSection::SHF_EXECINSTR | ELFSection::SHF_ALLOC); |
Bruno Cardoso Lopes | 5d41910 | 2009-06-05 00:22:10 +0000 | [diff] [blame] | 164 | } |
| 165 | |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 166 | /// Get jump table section on the section name returned by TAI |
| 167 | ELFSection &getJumpTableSection(std::string SName, unsigned Align) { |
| 168 | return getSection(SName, ELFSection::SHT_PROGBITS, |
| 169 | ELFSection::SHF_ALLOC, Align); |
| 170 | } |
| 171 | |
Bruno Cardoso Lopes | a5e0abd | 2009-06-25 07:36:24 +0000 | [diff] [blame] | 172 | /// Get a constant pool section based on the section name returned by TAI |
| 173 | ELFSection &getConstantPoolSection(std::string SName, unsigned Align) { |
| 174 | return getSection(SName, ELFSection::SHT_PROGBITS, |
| 175 | ELFSection::SHF_MERGE | ELFSection::SHF_ALLOC, Align); |
| 176 | } |
| 177 | |
Bruno Cardoso Lopes | 0d3193e | 2009-06-22 19:16:16 +0000 | [diff] [blame] | 178 | /// Return the relocation section of section 'S'. 'RelA' is true |
| 179 | /// if the relocation section contains entries with addends. |
Bruno Cardoso Lopes | 45f5d64 | 2009-07-02 18:29:24 +0000 | [diff] [blame] | 180 | ELFSection &getRelocSection(std::string SName, bool RelA, unsigned Align) { |
Bruno Cardoso Lopes | 0d3193e | 2009-06-22 19:16:16 +0000 | [diff] [blame] | 181 | std::string RelSName(".rel"); |
| 182 | unsigned SHdrTy = RelA ? ELFSection::SHT_RELA : ELFSection::SHT_REL; |
| 183 | |
| 184 | if (RelA) RelSName.append("a"); |
| 185 | RelSName.append(SName); |
| 186 | |
Bruno Cardoso Lopes | 45f5d64 | 2009-07-02 18:29:24 +0000 | [diff] [blame] | 187 | return getSection(RelSName, SHdrTy, 0, Align); |
Bruno Cardoso Lopes | 0d3193e | 2009-06-22 19:16:16 +0000 | [diff] [blame] | 188 | } |
| 189 | |
Bruno Cardoso Lopes | ae9163f | 2009-06-14 07:53:21 +0000 | [diff] [blame] | 190 | ELFSection &getNonExecStackSection() { |
| 191 | return getSection(".note.GNU-stack", ELFSection::SHT_PROGBITS, 0, 1); |
| 192 | } |
| 193 | |
Bruno Cardoso Lopes | c997d45 | 2009-06-11 19:16:03 +0000 | [diff] [blame] | 194 | ELFSection &getSymbolTableSection() { |
| 195 | return getSection(".symtab", ELFSection::SHT_SYMTAB, 0); |
| 196 | } |
| 197 | |
| 198 | ELFSection &getStringTableSection() { |
| 199 | return getSection(".strtab", ELFSection::SHT_STRTAB, 0, 1); |
| 200 | } |
| 201 | |
Bruno Cardoso Lopes | e39493e | 2009-06-23 04:39:27 +0000 | [diff] [blame] | 202 | ELFSection &getSectionHeaderStringTableSection() { |
| 203 | return getSection(".shstrtab", ELFSection::SHT_STRTAB, 0, 1); |
| 204 | } |
| 205 | |
Chris Lattner | 56c3261 | 2005-07-16 17:40:34 +0000 | [diff] [blame] | 206 | ELFSection &getDataSection() { |
| 207 | return getSection(".data", ELFSection::SHT_PROGBITS, |
Bruno Cardoso Lopes | e39493e | 2009-06-23 04:39:27 +0000 | [diff] [blame] | 208 | ELFSection::SHF_WRITE | ELFSection::SHF_ALLOC, 4); |
Chris Lattner | 56c3261 | 2005-07-16 17:40:34 +0000 | [diff] [blame] | 209 | } |
Bruno Cardoso Lopes | c997d45 | 2009-06-11 19:16:03 +0000 | [diff] [blame] | 210 | |
Chris Lattner | 56c3261 | 2005-07-16 17:40:34 +0000 | [diff] [blame] | 211 | ELFSection &getBSSSection() { |
| 212 | return getSection(".bss", ELFSection::SHT_NOBITS, |
Bruno Cardoso Lopes | e39493e | 2009-06-23 04:39:27 +0000 | [diff] [blame] | 213 | ELFSection::SHF_WRITE | ELFSection::SHF_ALLOC, 4); |
Chris Lattner | 56c3261 | 2005-07-16 17:40:34 +0000 | [diff] [blame] | 214 | } |
| 215 | |
Bruno Cardoso Lopes | 0d3193e | 2009-06-22 19:16:16 +0000 | [diff] [blame] | 216 | ELFSection &getNullSection() { |
| 217 | return getSection("", ELFSection::SHT_NULL, 0); |
| 218 | } |
Bruno Cardoso Lopes | a029a27 | 2009-06-07 21:22:38 +0000 | [diff] [blame] | 219 | |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 220 | // Helpers for obtaining ELF specific info. |
Bruno Cardoso Lopes | 45f5d64 | 2009-07-02 18:29:24 +0000 | [diff] [blame] | 221 | unsigned getGlobalELFLinkage(const GlobalValue *GV); |
| 222 | unsigned getGlobalELFVisibility(const GlobalValue *GV); |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 223 | unsigned getElfSectionFlags(unsigned Flags); |
Bruno Cardoso Lopes | 45f5d64 | 2009-07-02 18:29:24 +0000 | [diff] [blame] | 224 | |
Chris Lattner | 5f48ff7 | 2005-07-16 08:01:13 +0000 | [diff] [blame] | 225 | // As we complete the ELF file, we need to update fields in the ELF header |
| 226 | // (e.g. the location of the section table). These members keep track of |
| 227 | // the offset in ELFHeader of these various pieces to update and other |
| 228 | // locations in the file. |
Bruno Cardoso Lopes | f5b0c5a | 2009-06-06 03:56:29 +0000 | [diff] [blame] | 229 | unsigned ELFHdr_e_shoff_Offset; // e_shoff in ELF header. |
| 230 | unsigned ELFHdr_e_shstrndx_Offset; // e_shstrndx in ELF header. |
| 231 | unsigned ELFHdr_e_shnum_Offset; // e_shnum in ELF header. |
Bruno Cardoso Lopes | ae9163f | 2009-06-14 07:53:21 +0000 | [diff] [blame] | 232 | |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 233 | private: |
Bruno Cardoso Lopes | 0d3193e | 2009-06-22 19:16:16 +0000 | [diff] [blame] | 234 | void EmitFunctionDeclaration(const Function *F); |
| 235 | void EmitGlobalVar(const GlobalVariable *GV); |
Bruno Cardoso Lopes | ae9163f | 2009-06-14 07:53:21 +0000 | [diff] [blame] | 236 | void EmitGlobalConstant(const Constant *C, ELFSection &GblS); |
Bruno Cardoso Lopes | c997d45 | 2009-06-11 19:16:03 +0000 | [diff] [blame] | 237 | void EmitGlobalConstantStruct(const ConstantStruct *CVS, |
Bruno Cardoso Lopes | ae9163f | 2009-06-14 07:53:21 +0000 | [diff] [blame] | 238 | ELFSection &GblS); |
Bruno Cardoso Lopes | 0d3193e | 2009-06-22 19:16:16 +0000 | [diff] [blame] | 239 | ELFSection &getGlobalSymELFSection(const GlobalVariable *GV, ELFSym &Sym); |
Bruno Cardoso Lopes | a029a27 | 2009-06-07 21:22:38 +0000 | [diff] [blame] | 240 | void EmitRelocations(); |
Bruno Cardoso Lopes | 0d3193e | 2009-06-22 19:16:16 +0000 | [diff] [blame] | 241 | void EmitRelocation(BinaryObject &RelSec, ELFRelocation &Rel, bool HasRelA); |
Bruno Cardoso Lopes | ae9163f | 2009-06-14 07:53:21 +0000 | [diff] [blame] | 242 | void EmitSectionHeader(BinaryObject &SHdrTab, const ELFSection &SHdr); |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 243 | void EmitSectionTableStringTable(); |
Bruno Cardoso Lopes | ae9163f | 2009-06-14 07:53:21 +0000 | [diff] [blame] | 244 | void EmitSymbol(BinaryObject &SymbolTable, ELFSym &Sym); |
Bruno Cardoso Lopes | c997d45 | 2009-06-11 19:16:03 +0000 | [diff] [blame] | 245 | void EmitSymbolTable(); |
Bruno Cardoso Lopes | c236a34 | 2009-06-22 19:29:56 +0000 | [diff] [blame] | 246 | void EmitStringTable(); |
Chris Lattner | 5f48ff7 | 2005-07-16 08:01:13 +0000 | [diff] [blame] | 247 | void OutputSectionsAndSectionTable(); |
Chris Lattner | 3201815 | 2005-06-27 06:28:45 +0000 | [diff] [blame] | 248 | }; |
| 249 | } |
| 250 | |
| 251 | #endif |