blob: fb036f2adacfc3891bb91b20efd87814b870e137 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===-- ELFWriter.h - Target-independent ELF writer support -----*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner081ce942007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file defines the ELFWriter class.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef ELFWRITER_H
15#define ELFWRITER_H
16
Bruno Cardoso Lopes6b5788e2009-06-07 21:22:38 +000017#include "llvm/ADT/SetVector.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000018#include "llvm/CodeGen/MachineFunctionPass.h"
Dan Gohman249ddbf2008-03-21 23:51:57 +000019#include <map>
Dan Gohmanf17a25c2007-07-18 16:29:46 +000020
21namespace llvm {
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +000022 class BinaryObject;
Bruno Cardoso Lopes9dcbc862009-07-02 18:29:24 +000023 class Constant;
Bruno Cardoso Lopesd5b21c12009-08-08 17:29:04 +000024 class ConstantInt;
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +000025 class ConstantStruct;
26 class ELFCodeEmitter;
Bruno Cardoso Lopes2bcbd2e2009-07-06 09:26:48 +000027 class ELFRelocation;
28 class ELFSection;
Daniel Dunbard653ac82009-07-13 06:00:13 +000029 struct ELFSym;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000030 class GlobalVariable;
Reid Kleckner738b4f22009-09-20 23:52:43 +000031 class JITDebugRegisterer;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000032 class Mangler;
33 class MachineCodeEmitter;
Bruno Cardoso Lopes2c1fe1a2009-07-18 23:24:01 +000034 class MachineConstantPoolEntry;
Bruno Cardoso Lopes2bcbd2e2009-07-06 09:26:48 +000035 class ObjectCodeEmitter;
Chris Lattner621c44d2009-08-22 20:48:53 +000036 class MCAsmInfo;
Bruno Cardoso Lopes9dcbc862009-07-02 18:29:24 +000037 class TargetELFWriterInfo;
Bruno Cardoso Lopesb4be2152009-08-05 06:57:03 +000038 class TargetLoweringObjectFile;
Owen Anderson847b99b2008-08-21 00:14:44 +000039 class raw_ostream;
Chris Lattnerd8310522009-07-27 05:32:16 +000040 class SectionKind;
Chris Lattner01316272009-07-31 17:42:42 +000041 class MCContext;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000042
Bruno Cardoso Lopesf4f4dcd2009-07-16 06:26:41 +000043 typedef std::vector<ELFSym*>::iterator ELFSymIter;
44 typedef std::vector<ELFSection*>::iterator ELFSectionIter;
Bruno Cardoso Lopes5436d9f2009-07-27 18:54:47 +000045 typedef SetVector<const GlobalValue*>::const_iterator PendingGblsIter;
46 typedef SetVector<const char *>::const_iterator PendingExtsIter;
Bruno Cardoso Lopes63c4e062009-08-10 03:32:40 +000047 typedef std::pair<const Constant *, int64_t> CstExprResTy;
Bruno Cardoso Lopesf4f4dcd2009-07-16 06:26:41 +000048
Dan Gohmanf17a25c2007-07-18 16:29:46 +000049 /// ELFWriter - This class implements the common target-independent code for
50 /// writing ELF files. Targets should derive a class from this to
51 /// parameterize the output format.
52 ///
53 class ELFWriter : public MachineFunctionPass {
54 friend class ELFCodeEmitter;
Reid Kleckner738b4f22009-09-20 23:52:43 +000055 friend class JITDebugRegisterer;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000056 public:
57 static char ID;
58
Bruno Cardoso Lopes2bcbd2e2009-07-06 09:26:48 +000059 /// Return the ELFCodeEmitter as an instance of ObjectCodeEmitter
60 ObjectCodeEmitter *getObjectCodeEmitter() {
61 return reinterpret_cast<ObjectCodeEmitter*>(ElfCE);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000062 }
63
Owen Anderson847b99b2008-08-21 00:14:44 +000064 ELFWriter(raw_ostream &O, TargetMachine &TM);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000065 ~ELFWriter();
66
Dan Gohmanf17a25c2007-07-18 16:29:46 +000067 protected:
68 /// Output stream to send the resultant object file to.
Owen Anderson847b99b2008-08-21 00:14:44 +000069 raw_ostream &O;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000070
71 /// Target machine description.
Dan Gohmanf17a25c2007-07-18 16:29:46 +000072 TargetMachine &TM;
73
Bruno Cardoso Lopesb4be2152009-08-05 06:57:03 +000074 /// Context object for machine code objects.
Chris Lattner01316272009-07-31 17:42:42 +000075 MCContext &OutContext;
76
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +000077 /// Target Elf Writer description.
78 const TargetELFWriterInfo *TEW;
79
Dan Gohmanf17a25c2007-07-18 16:29:46 +000080 /// Mang - The object used to perform name mangling for this module.
Dan Gohmanf17a25c2007-07-18 16:29:46 +000081 Mangler *Mang;
82
83 /// MCE - The MachineCodeEmitter object that we are exposing to emit machine
84 /// code for functions to the .o file.
Bruno Cardoso Lopes2bcbd2e2009-07-06 09:26:48 +000085 ELFCodeEmitter *ElfCE;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000086
Bruno Cardoso Lopesb4be2152009-08-05 06:57:03 +000087 /// TLOF - Target Lowering Object File, provide section names for globals
88 /// and other object file specific stuff
89 const TargetLoweringObjectFile &TLOF;
90
Chris Lattnera5ef4d32009-08-22 21:43:10 +000091 /// MAI - Target Asm Info, provide information about section names for
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +000092 /// globals and other target specific stuff.
Chris Lattnera5ef4d32009-08-22 21:43:10 +000093 const MCAsmInfo *MAI;
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +000094
Dan Gohmanf17a25c2007-07-18 16:29:46 +000095 //===------------------------------------------------------------------===//
Dan Gohmanf17a25c2007-07-18 16:29:46 +000096 // Properties inferred automatically from the target machine.
Bruno Cardoso Lopes6b5788e2009-06-07 21:22:38 +000097 //===------------------------------------------------------------------===//
Dan Gohmanf17a25c2007-07-18 16:29:46 +000098
99 /// is64Bit/isLittleEndian - This information is inferred from the target
100 /// machine directly, indicating whether to emit a 32- or 64-bit ELF file.
101 bool is64Bit, isLittleEndian;
102
103 /// doInitialization - Emit the file header and all of the global variables
104 /// for the module to the ELF file.
105 bool doInitialization(Module &M);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000106 bool runOnMachineFunction(MachineFunction &MF);
107
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000108 /// doFinalization - Now that the module has been completely processed, emit
109 /// the ELF file to 'O'.
110 bool doFinalization(Module &M);
111
112 private:
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000113 /// Blob containing the Elf header
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +0000114 BinaryObject ElfHdr;
Bruno Cardoso Lopes6b5788e2009-06-07 21:22:38 +0000115
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000116 /// SectionList - This is the list of sections that we have emitted to the
Bruno Cardoso Lopesa412a422009-07-15 20:49:10 +0000117 /// file. Once the file has been completely built, the section header table
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000118 /// is constructed from this info.
Bruno Cardoso Lopesa412a422009-07-15 20:49:10 +0000119 std::vector<ELFSection*> SectionList;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000120 unsigned NumSections; // Always = SectionList.size()
121
122 /// SectionLookup - This is a mapping from section name to section number in
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000123 /// the SectionList. Used to quickly gather the Section Index from MAI names
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000124 std::map<std::string, ELFSection*> SectionLookup;
125
Bruno Cardoso Lopes5436d9f2009-07-27 18:54:47 +0000126 /// PendingGlobals - Globals not processed as symbols yet.
127 SetVector<const GlobalValue*> PendingGlobals;
128
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000129 /// GblSymLookup - This is a mapping from global value to a symbol index
Bruno Cardoso Lopes8c203922009-07-18 19:30:09 +0000130 /// in the symbol table or private symbols list. This is useful since reloc
Bruno Cardoso Lopes5436d9f2009-07-27 18:54:47 +0000131 /// symbol references must be quickly mapped to their indices on the lists.
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000132 std::map<const GlobalValue*, uint32_t> GblSymLookup;
133
Bruno Cardoso Lopes5436d9f2009-07-27 18:54:47 +0000134 /// PendingExternals - Externals not processed as symbols yet.
135 SetVector<const char *> PendingExternals;
136
137 /// ExtSymLookup - This is a mapping from externals to a symbol index
138 /// in the symbol table list. This is useful since reloc symbol references
139 /// must be quickly mapped to their symbol table indices.
140 std::map<const char *, uint32_t> ExtSymLookup;
141
Bruno Cardoso Lopesa412a422009-07-15 20:49:10 +0000142 /// SymbolList - This is the list of symbols emitted to the symbol table.
143 /// When the SymbolList is finally built, local symbols must be placed in
144 /// the beginning while non-locals at the end.
145 std::vector<ELFSym*> SymbolList;
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000146
Bruno Cardoso Lopes8c203922009-07-18 19:30:09 +0000147 /// PrivateSyms - Record private symbols, every symbol here must never be
148 /// present in the SymbolList.
149 std::vector<ELFSym*> PrivateSyms;
150
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000151 /// getSection - Return the section with the specified name, creating a new
152 /// section if one does not already exist.
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000153 ELFSection &getSection(const std::string &Name, unsigned Type,
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +0000154 unsigned Flags = 0, unsigned Align = 0) {
Bruno Cardoso Lopesdfa78d12009-08-13 21:25:27 +0000155 ELFSection *&SN = SectionLookup[Name];
Bruno Cardoso Lopes79ed6712009-07-03 04:36:26 +0000156 if (SN) return *SN;
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000157
Bruno Cardoso Lopesdfa78d12009-08-13 21:25:27 +0000158 SectionList.push_back(new ELFSection(Name, isLittleEndian, is64Bit));
Bruno Cardoso Lopesa412a422009-07-15 20:49:10 +0000159 SN = SectionList.back();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000160 SN->SectionIdx = NumSections++;
161 SN->Type = Type;
162 SN->Flags = Flags;
Eli Friedmand557b952010-07-16 07:53:29 +0000163 SN->Link = ELF::SHN_UNDEF;
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +0000164 SN->Align = Align;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000165 return *SN;
166 }
167
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +0000168 ELFSection &getNonExecStackSection() {
Eli Friedmand557b952010-07-16 07:53:29 +0000169 return getSection(".note.GNU-stack", ELF::SHT_PROGBITS, 0, 1);
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +0000170 }
171
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +0000172 ELFSection &getSymbolTableSection() {
Eli Friedmand557b952010-07-16 07:53:29 +0000173 return getSection(".symtab", ELF::SHT_SYMTAB, 0);
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +0000174 }
175
176 ELFSection &getStringTableSection() {
Eli Friedmand557b952010-07-16 07:53:29 +0000177 return getSection(".strtab", ELF::SHT_STRTAB, 0, 1);
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +0000178 }
179
Bruno Cardoso Lopesb53d5c02009-06-23 04:39:27 +0000180 ELFSection &getSectionHeaderStringTableSection() {
Eli Friedmand557b952010-07-16 07:53:29 +0000181 return getSection(".shstrtab", ELF::SHT_STRTAB, 0, 1);
Bruno Cardoso Lopesb53d5c02009-06-23 04:39:27 +0000182 }
183
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000184 ELFSection &getNullSection() {
Eli Friedmand557b952010-07-16 07:53:29 +0000185 return getSection("", ELF::SHT_NULL, 0);
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000186 }
Bruno Cardoso Lopes6b5788e2009-06-07 21:22:38 +0000187
Bruno Cardoso Lopesdfa78d12009-08-13 21:25:27 +0000188 ELFSection &getDataSection();
189 ELFSection &getBSSSection();
Bruno Cardoso Lopesb4be2152009-08-05 06:57:03 +0000190 ELFSection &getCtorSection();
191 ELFSection &getDtorSection();
Bruno Cardoso Lopes2c1fe1a2009-07-18 23:24:01 +0000192 ELFSection &getJumpTableSection();
193 ELFSection &getConstantPoolSection(MachineConstantPoolEntry &CPE);
Dan Gohman1eb7a9c2010-04-15 04:33:49 +0000194 ELFSection &getTextSection(const Function *F);
Bruno Cardoso Lopesc4d2daf2009-07-20 08:52:02 +0000195 ELFSection &getRelocSection(ELFSection &S);
Bruno Cardoso Lopes2c1fe1a2009-07-18 23:24:01 +0000196
Bruno Cardoso Lopes79ed6712009-07-03 04:36:26 +0000197 // Helpers for obtaining ELF specific info.
Bruno Cardoso Lopesaf939d82009-07-13 22:40:39 +0000198 unsigned getGlobalELFBinding(const GlobalValue *GV);
199 unsigned getGlobalELFType(const GlobalValue *GV);
Bruno Cardoso Lopes9dcbc862009-07-02 18:29:24 +0000200 unsigned getGlobalELFVisibility(const GlobalValue *GV);
201
Bruno Cardoso Lopesdfa78d12009-08-13 21:25:27 +0000202 // AddPendingGlobalSymbol - Add a global to be processed and to
203 // the global symbol lookup, use a zero index because the table
Bruno Cardoso Lopesb4be2152009-08-05 06:57:03 +0000204 // index will be determined later.
Bruno Cardoso Lopesdfa78d12009-08-13 21:25:27 +0000205 void AddPendingGlobalSymbol(const GlobalValue *GV,
206 bool AddToLookup = false);
Bruno Cardoso Lopesb4be2152009-08-05 06:57:03 +0000207
Bruno Cardoso Lopesdfa78d12009-08-13 21:25:27 +0000208 // AddPendingExternalSymbol - Add the external to be processed
209 // and to the external symbol lookup, use a zero index because
210 // the symbol table index will be determined later.
211 void AddPendingExternalSymbol(const char *External);
212
213 // AddToSymbolList - Update the symbol lookup and If the symbol is
214 // private add it to PrivateSyms list, otherwise to SymbolList.
215 void AddToSymbolList(ELFSym *GblSym);
Bruno Cardoso Lopes88ac2e42009-07-21 06:51:32 +0000216
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000217 // As we complete the ELF file, we need to update fields in the ELF header
218 // (e.g. the location of the section table). These members keep track of
219 // the offset in ELFHeader of these various pieces to update and other
220 // locations in the file.
Bruno Cardoso Lopes04066de2009-06-06 03:56:29 +0000221 unsigned ELFHdr_e_shoff_Offset; // e_shoff in ELF header.
222 unsigned ELFHdr_e_shstrndx_Offset; // e_shstrndx in ELF header.
223 unsigned ELFHdr_e_shnum_Offset; // e_shnum in ELF header.
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +0000224
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000225 private:
Bruno Cardoso Lopesaf939d82009-07-13 22:40:39 +0000226 void EmitGlobal(const GlobalValue *GV);
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +0000227 void EmitGlobalConstant(const Constant *C, ELFSection &GblS);
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +0000228 void EmitGlobalConstantStruct(const ConstantStruct *CVS,
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +0000229 ELFSection &GblS);
Bruno Cardoso Lopesd5b21c12009-08-08 17:29:04 +0000230 void EmitGlobalConstantLargeInt(const ConstantInt *CI, ELFSection &S);
231 void EmitGlobalDataRelocation(const GlobalValue *GV, unsigned Size,
Bruno Cardoso Lopes63c4e062009-08-10 03:32:40 +0000232 ELFSection &GblS, int64_t Offset = 0);
Bruno Cardoso Lopesb4be2152009-08-05 06:57:03 +0000233 bool EmitSpecialLLVMGlobal(const GlobalVariable *GV);
234 void EmitXXStructorList(Constant *List, ELFSection &Xtor);
Bruno Cardoso Lopes6b5788e2009-06-07 21:22:38 +0000235 void EmitRelocations();
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000236 void EmitRelocation(BinaryObject &RelSec, ELFRelocation &Rel, bool HasRelA);
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +0000237 void EmitSectionHeader(BinaryObject &SHdrTab, const ELFSection &SHdr);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000238 void EmitSectionTableStringTable();
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +0000239 void EmitSymbol(BinaryObject &SymbolTable, ELFSym &Sym);
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +0000240 void EmitSymbolTable();
Bruno Cardoso Lopes2be60ac2009-07-27 19:32:57 +0000241 void EmitStringTable(const std::string &ModuleName);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000242 void OutputSectionsAndSectionTable();
Bruno Cardoso Lopesc4d2daf2009-07-20 08:52:02 +0000243 void RelocateField(BinaryObject &BO, uint32_t Offset, int64_t Value,
244 unsigned Size);
Bruno Cardoso Lopesa412a422009-07-15 20:49:10 +0000245 unsigned SortSymbols();
Bruno Cardoso Lopes63c4e062009-08-10 03:32:40 +0000246 CstExprResTy ResolveConstantExpr(const Constant *CV);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000247 };
248}
249
250#endif