blob: c713e33118a1cd2bcfeab91a7d701b78d4fd41b0 [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"
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +000019#include "llvm/Support/Debug.h"
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +000020#include "llvm/Target/TargetAsmInfo.h"
21#include "llvm/Target/TargetELFWriterInfo.h"
Bruno Cardoso Lopes04066de2009-06-06 03:56:29 +000022#include "ELF.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000023#include <list>
Dan Gohman249ddbf2008-03-21 23:51:57 +000024#include <map>
Dan Gohmanf17a25c2007-07-18 16:29:46 +000025
26namespace llvm {
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +000027 class BinaryObject;
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +000028 class ConstantStruct;
29 class ELFCodeEmitter;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000030 class GlobalVariable;
31 class Mangler;
32 class MachineCodeEmitter;
Owen Anderson847b99b2008-08-21 00:14:44 +000033 class raw_ostream;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000034
35 /// ELFWriter - This class implements the common target-independent code for
36 /// writing ELF files. Targets should derive a class from this to
37 /// parameterize the output format.
38 ///
39 class ELFWriter : public MachineFunctionPass {
40 friend class ELFCodeEmitter;
41 public:
42 static char ID;
43
44 MachineCodeEmitter &getMachineCodeEmitter() const {
45 return *(MachineCodeEmitter*)MCE;
46 }
47
Owen Anderson847b99b2008-08-21 00:14:44 +000048 ELFWriter(raw_ostream &O, TargetMachine &TM);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000049 ~ELFWriter();
50
51 typedef std::vector<unsigned char> DataBuffer;
52
53 protected:
54 /// Output stream to send the resultant object file to.
Owen Anderson847b99b2008-08-21 00:14:44 +000055 raw_ostream &O;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000056
57 /// Target machine description.
Dan Gohmanf17a25c2007-07-18 16:29:46 +000058 TargetMachine &TM;
59
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +000060 /// Target Elf Writer description.
61 const TargetELFWriterInfo *TEW;
62
Dan Gohmanf17a25c2007-07-18 16:29:46 +000063 /// Mang - The object used to perform name mangling for this module.
Dan Gohmanf17a25c2007-07-18 16:29:46 +000064 Mangler *Mang;
65
66 /// MCE - The MachineCodeEmitter object that we are exposing to emit machine
67 /// code for functions to the .o file.
68 ELFCodeEmitter *MCE;
69
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +000070 /// TAI - Target Asm Info, provide information about section names for
71 /// globals and other target specific stuff.
72 const TargetAsmInfo *TAI;
73
Dan Gohmanf17a25c2007-07-18 16:29:46 +000074 //===------------------------------------------------------------------===//
Dan Gohmanf17a25c2007-07-18 16:29:46 +000075 // Properties inferred automatically from the target machine.
Bruno Cardoso Lopes6b5788e2009-06-07 21:22:38 +000076 //===------------------------------------------------------------------===//
Dan Gohmanf17a25c2007-07-18 16:29:46 +000077
78 /// is64Bit/isLittleEndian - This information is inferred from the target
79 /// machine directly, indicating whether to emit a 32- or 64-bit ELF file.
80 bool is64Bit, isLittleEndian;
81
82 /// doInitialization - Emit the file header and all of the global variables
83 /// for the module to the ELF file.
84 bool doInitialization(Module &M);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000085 bool runOnMachineFunction(MachineFunction &MF);
86
Dan Gohmanf17a25c2007-07-18 16:29:46 +000087 /// doFinalization - Now that the module has been completely processed, emit
88 /// the ELF file to 'O'.
89 bool doFinalization(Module &M);
90
91 private:
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +000092 /// Blob containing the Elf header
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +000093 BinaryObject ElfHdr;
Bruno Cardoso Lopes6b5788e2009-06-07 21:22:38 +000094
Dan Gohmanf17a25c2007-07-18 16:29:46 +000095 /// SectionList - This is the list of sections that we have emitted to the
96 /// file. Once the file has been completely built, the section header table
97 /// is constructed from this info.
98 std::list<ELFSection> SectionList;
99 unsigned NumSections; // Always = SectionList.size()
100
101 /// SectionLookup - This is a mapping from section name to section number in
102 /// the SectionList.
103 std::map<std::string, ELFSection*> SectionLookup;
104
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000105 /// GblSymLookup - This is a mapping from global value to a symbol index
106 /// in the symbol table. This is useful since relocations symbol references
107 /// must be quickly mapped to a symbol table index
108 std::map<const GlobalValue*, uint32_t> GblSymLookup;
109
110 /// SymbolList - This is the list of symbols emitted to the symbol table
111 /// Local symbols go to the front and Globals to the back.
112 std::list<ELFSym> SymbolList;
113
114 /// PendingGlobals - List of externally defined symbols that we have been
115 /// asked to emit, but have not seen a reference to. When a reference
116 /// is seen, the symbol will move from this list to the SymbolList.
117 SetVector<GlobalValue*> PendingGlobals;
118
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000119 /// getSection - Return the section with the specified name, creating a new
120 /// section if one does not already exist.
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000121 ELFSection &getSection(const std::string &Name, unsigned Type,
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +0000122 unsigned Flags = 0, unsigned Align = 0) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000123 ELFSection *&SN = SectionLookup[Name];
124 if (SN) return *SN;
125
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000126 // Remove tab from section name prefix. This is necessary becase TAI
127 // sometimes return a section name prefixed with a "\t" char.
128 std::string SectionName(Name);
129 size_t Pos = SectionName.find("\t");
130 if (Pos != std::string::npos)
131 SectionName.erase(Pos, 1);
132
133 SectionList.push_back(ELFSection(SectionName, isLittleEndian, is64Bit));
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000134 SN = &SectionList.back();
135 SN->SectionIdx = NumSections++;
136 SN->Type = Type;
137 SN->Flags = Flags;
Bruno Cardoso Lopes04066de2009-06-06 03:56:29 +0000138 SN->Link = ELFSection::SHN_UNDEF;
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +0000139 SN->Align = Align;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000140 return *SN;
141 }
142
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000143 /// TODO: support mangled names here to emit the right .text section
144 /// for c++ object files.
Bruno Cardoso Lopes23dfc8f2009-06-05 00:22:10 +0000145 ELFSection &getTextSection() {
Bruno Cardoso Lopes04066de2009-06-06 03:56:29 +0000146 return getSection(".text", ELFSection::SHT_PROGBITS,
147 ELFSection::SHF_EXECINSTR | ELFSection::SHF_ALLOC);
Bruno Cardoso Lopes23dfc8f2009-06-05 00:22:10 +0000148 }
149
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000150 /// Return the relocation section of section 'S'. 'RelA' is true
151 /// if the relocation section contains entries with addends.
152 ELFSection &getRelocSection(std::string SName, bool RelA) {
153 std::string RelSName(".rel");
154 unsigned SHdrTy = RelA ? ELFSection::SHT_RELA : ELFSection::SHT_REL;
155
156 if (RelA) RelSName.append("a");
157 RelSName.append(SName);
158
159 return getSection(RelSName, SHdrTy, 0, TEW->getPrefELFAlignment());
160 }
161
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +0000162 ELFSection &getNonExecStackSection() {
163 return getSection(".note.GNU-stack", ELFSection::SHT_PROGBITS, 0, 1);
164 }
165
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +0000166 ELFSection &getSymbolTableSection() {
167 return getSection(".symtab", ELFSection::SHT_SYMTAB, 0);
168 }
169
170 ELFSection &getStringTableSection() {
171 return getSection(".strtab", ELFSection::SHT_STRTAB, 0, 1);
172 }
173
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000174 ELFSection &getDataSection() {
175 return getSection(".data", ELFSection::SHT_PROGBITS,
176 ELFSection::SHF_WRITE | ELFSection::SHF_ALLOC);
177 }
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +0000178
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000179 ELFSection &getBSSSection() {
180 return getSection(".bss", ELFSection::SHT_NOBITS,
181 ELFSection::SHF_WRITE | ELFSection::SHF_ALLOC);
182 }
183
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000184 ELFSection &getNullSection() {
185 return getSection("", ELFSection::SHT_NULL, 0);
186 }
Bruno Cardoso Lopes6b5788e2009-06-07 21:22:38 +0000187
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000188 // As we complete the ELF file, we need to update fields in the ELF header
189 // (e.g. the location of the section table). These members keep track of
190 // the offset in ELFHeader of these various pieces to update and other
191 // locations in the file.
Bruno Cardoso Lopes04066de2009-06-06 03:56:29 +0000192 unsigned ELFHdr_e_shoff_Offset; // e_shoff in ELF header.
193 unsigned ELFHdr_e_shstrndx_Offset; // e_shstrndx in ELF header.
194 unsigned ELFHdr_e_shnum_Offset; // e_shnum in ELF header.
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +0000195
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000196 private:
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000197 void EmitFunctionDeclaration(const Function *F);
198 void EmitGlobalVar(const GlobalVariable *GV);
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +0000199 void EmitGlobalConstant(const Constant *C, ELFSection &GblS);
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +0000200 void EmitGlobalConstantStruct(const ConstantStruct *CVS,
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +0000201 ELFSection &GblS);
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000202 unsigned getGlobalELFLinkage(const GlobalVariable *GV);
203 ELFSection &getGlobalSymELFSection(const GlobalVariable *GV, ELFSym &Sym);
Bruno Cardoso Lopes6b5788e2009-06-07 21:22:38 +0000204 void EmitRelocations();
Bruno Cardoso Lopes6d4086b2009-06-22 19:16:16 +0000205 void EmitRelocation(BinaryObject &RelSec, ELFRelocation &Rel, bool HasRelA);
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +0000206 void EmitSectionHeader(BinaryObject &SHdrTab, const ELFSection &SHdr);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000207 void EmitSectionTableStringTable();
Bruno Cardoso Lopesfee73a32009-06-14 07:53:21 +0000208 void EmitSymbol(BinaryObject &SymbolTable, ELFSym &Sym);
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +0000209 void EmitSymbolTable();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000210 void OutputSectionsAndSectionTable();
211 };
212}
213
214#endif