blob: 691f19408d47877e2e9023e4ed82a6f9d5ef7856 [file] [log] [blame]
Bruno Cardoso Lopes4cb31432009-06-03 17:47:27 +00001//===-- lib/CodeGen/ELFCodeEmitter.cpp ------------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Bruno Cardoso Lopes5d419102009-06-05 00:22:10 +000010#define DEBUG_TYPE "elfce"
11
Bruno Cardoso Lopes45f5d642009-07-02 18:29:24 +000012#include "ELF.h"
13#include "ELFWriter.h"
Bruno Cardoso Lopes4cb31432009-06-03 17:47:27 +000014#include "ELFCodeEmitter.h"
15#include "llvm/Constants.h"
16#include "llvm/DerivedTypes.h"
17#include "llvm/Function.h"
Bruno Cardoso Lopesae9163f2009-06-14 07:53:21 +000018#include "llvm/CodeGen/BinaryObject.h"
Bruno Cardoso Lopes4cb31432009-06-03 17:47:27 +000019#include "llvm/CodeGen/MachineConstantPool.h"
20#include "llvm/CodeGen/MachineJumpTableInfo.h"
Bruno Cardoso Lopes45f5d642009-07-02 18:29:24 +000021#include "llvm/CodeGen/MachineRelocation.h"
Bruno Cardoso Lopesa5e0abd2009-06-25 07:36:24 +000022#include "llvm/Target/TargetData.h"
Bruno Cardoso Lopes4cb31432009-06-03 17:47:27 +000023#include "llvm/Target/TargetMachine.h"
Bruno Cardoso Lopes45f5d642009-07-02 18:29:24 +000024#include "llvm/Target/TargetAsmInfo.h"
Bruno Cardoso Lopes5d419102009-06-05 00:22:10 +000025#include "llvm/Support/Debug.h"
Bruno Cardoso Lopes4cb31432009-06-03 17:47:27 +000026
27//===----------------------------------------------------------------------===//
28// ELFCodeEmitter Implementation
29//===----------------------------------------------------------------------===//
30
31namespace llvm {
32
33/// startFunction - This callback is invoked when a new machine function is
34/// about to be emitted.
Bruno Cardoso Lopes5d419102009-06-05 00:22:10 +000035void ELFCodeEmitter::startFunction(MachineFunction &MF) {
Bruno Cardoso Lopes4cb31432009-06-03 17:47:27 +000036 // Get the ELF Section that this function belongs in.
Bruno Cardoso Lopes5d419102009-06-05 00:22:10 +000037 ES = &EW.getTextSection();
38
Bruno Cardoso Lopesc997d452009-06-11 19:16:03 +000039 DOUT << "processing function: " << MF.getFunction()->getName() << "\n";
40
Bruno Cardoso Lopes5d419102009-06-05 00:22:10 +000041 // FIXME: better memory management, this will be replaced by BinaryObjects
Bruno Cardoso Lopesae9163f2009-06-14 07:53:21 +000042 BinaryData &BD = ES->getData();
43 BD.reserve(4096);
44 BufferBegin = &BD[0];
45 BufferEnd = BufferBegin + BD.capacity();
Bruno Cardoso Lopes4cb31432009-06-03 17:47:27 +000046
Bruno Cardoso Lopes3d62a412009-07-02 02:13:13 +000047 // Get the function alignment in bytes
48 unsigned Align = (1 << MF.getAlignment());
49
50 // Align the section size with the function alignment, so the function can
51 // start in a aligned offset, also update the section alignment if needed.
Bruno Cardoso Lopes4cb31432009-06-03 17:47:27 +000052 if (ES->Align < Align) ES->Align = Align;
Bruno Cardoso Lopes5d419102009-06-05 00:22:10 +000053 ES->Size = (ES->Size + (Align-1)) & (-Align);
54
55 // Snaity check on allocated space for text section
56 assert( ES->Size < 4096 && "no more space in TextSection" );
57
58 // FIXME: Using ES->Size directly here instead of calculating it from the
59 // output buffer size (impossible because the code emitter deals only in raw
60 // bytes) forces us to manually synchronize size and write padding zero bytes
61 // to the output buffer for all non-text sections. For text sections, we do
62 // not synchonize the output buffer, and we just blow up if anyone tries to
63 // write non-code to it. An assert should probably be added to
64 // AddSymbolToSection to prevent calling it on the text section.
65 CurBufferPtr = BufferBegin + ES->Size;
66
67 // Record function start address relative to BufferBegin
68 FnStartPtr = CurBufferPtr;
Bruno Cardoso Lopes4cb31432009-06-03 17:47:27 +000069}
70
71/// finishFunction - This callback is invoked after the function is completely
72/// finished.
Bruno Cardoso Lopes5d419102009-06-05 00:22:10 +000073bool ELFCodeEmitter::finishFunction(MachineFunction &MF) {
Bruno Cardoso Lopesa029a272009-06-07 21:22:38 +000074 // Update Section Size
75 ES->Size = CurBufferPtr - BufferBegin;
76
Bruno Cardoso Lopes45f5d642009-07-02 18:29:24 +000077 // Add a symbol to represent the function.
78 const Function *F = MF.getFunction();
79 ELFSym FnSym(F);
Bruno Cardoso Lopes0d3193e2009-06-22 19:16:16 +000080 FnSym.setType(ELFSym::STT_FUNC);
Bruno Cardoso Lopes45f5d642009-07-02 18:29:24 +000081 FnSym.setBind(EW.getGlobalELFLinkage(F));
82 FnSym.setVisibility(EW.getGlobalELFVisibility(F));
Bruno Cardoso Lopes4cb31432009-06-03 17:47:27 +000083 FnSym.SectionIdx = ES->SectionIdx;
Bruno Cardoso Lopes5d419102009-06-05 00:22:10 +000084 FnSym.Size = CurBufferPtr-FnStartPtr;
85
86 // Offset from start of Section
87 FnSym.Value = FnStartPtr-BufferBegin;
Bruno Cardoso Lopes4cb31432009-06-03 17:47:27 +000088
Bruno Cardoso Lopes45f5d642009-07-02 18:29:24 +000089 // Locals should go on the symbol list front
90 if (!F->hasPrivateLinkage()) {
91 if (FnSym.getBind() == ELFSym::STB_LOCAL)
92 EW.SymbolList.push_front(FnSym);
93 else
94 EW.SymbolList.push_back(FnSym);
Bruno Cardoso Lopes0d3193e2009-06-22 19:16:16 +000095 }
Bruno Cardoso Lopes5d419102009-06-05 00:22:10 +000096
Bruno Cardoso Lopesa5e0abd2009-06-25 07:36:24 +000097 // Emit constant pool to appropriate section(s)
98 emitConstantPool(MF.getConstantPool());
99
Bruno Cardoso Lopes0b1308f2009-07-03 04:36:26 +0000100 // Emit jump tables to appropriate section
101 emitJumpTables(MF.getJumpTableInfo());
102
Bruno Cardoso Lopesa029a272009-06-07 21:22:38 +0000103 // Relocations
104 // -----------
Bruno Cardoso Lopesa5e0abd2009-06-25 07:36:24 +0000105 // If we have emitted any relocations to function-specific objects such as
Bruno Cardoso Lopesa029a272009-06-07 21:22:38 +0000106 // basic blocks, constant pools entries, or jump tables, record their
107 // addresses now so that we can rewrite them with the correct addresses
108 // later.
109 for (unsigned i = 0, e = Relocations.size(); i != e; ++i) {
110 MachineRelocation &MR = Relocations[i];
111 intptr_t Addr;
Bruno Cardoso Lopesa5e0abd2009-06-25 07:36:24 +0000112 if (MR.isGlobalValue()) {
113 EW.PendingGlobals.insert(MR.getGlobalValue());
114 } else if (MR.isBasicBlock()) {
Bruno Cardoso Lopesa029a272009-06-07 21:22:38 +0000115 Addr = getMachineBasicBlockAddress(MR.getBasicBlock());
116 MR.setConstantVal(ES->SectionIdx);
117 MR.setResultPointer((void*)Addr);
Bruno Cardoso Lopesa5e0abd2009-06-25 07:36:24 +0000118 } else if (MR.isConstantPoolIndex()) {
119 Addr = getConstantPoolEntryAddress(MR.getConstantPoolIndex());
120 MR.setConstantVal(CPSections[MR.getConstantPoolIndex()]);
121 MR.setResultPointer((void*)Addr);
Bruno Cardoso Lopes0b1308f2009-07-03 04:36:26 +0000122 } else if (MR.isJumpTableIndex()) {
123 Addr = getJumpTableEntryAddress(MR.getJumpTableIndex());
124 MR.setResultPointer((void*)Addr);
125 MR.setConstantVal(JumpTableSectionIdx);
Bruno Cardoso Lopesa029a272009-06-07 21:22:38 +0000126 } else {
127 assert(0 && "Unhandled relocation type");
128 }
Bruno Cardoso Lopesae9163f2009-06-14 07:53:21 +0000129 ES->addRelocation(MR);
Bruno Cardoso Lopesa029a272009-06-07 21:22:38 +0000130 }
Bruno Cardoso Lopesa029a272009-06-07 21:22:38 +0000131
Bruno Cardoso Lopes0b1308f2009-07-03 04:36:26 +0000132 // Clear per-function data structures.
133 Relocations.clear();
134 CPLocations.clear();
135 CPSections.clear();
136 JTLocations.clear();
137 MBBLocations.clear();
Bruno Cardoso Lopes4cb31432009-06-03 17:47:27 +0000138 return false;
139}
140
Bruno Cardoso Lopesa5e0abd2009-06-25 07:36:24 +0000141/// emitConstantPool - For each constant pool entry, figure out which section
142/// the constant should live in and emit the constant
143void ELFCodeEmitter::emitConstantPool(MachineConstantPool *MCP) {
144 const std::vector<MachineConstantPoolEntry> &CP = MCP->getConstants();
145 if (CP.empty()) return;
146
147 // TODO: handle PIC codegen
148 assert(TM.getRelocationModel() != Reloc::PIC_ &&
149 "PIC codegen not yet handled for elf constant pools!");
150
151 const TargetAsmInfo *TAI = TM.getTargetAsmInfo();
152 for (unsigned i = 0, e = CP.size(); i != e; ++i) {
153 MachineConstantPoolEntry CPE = CP[i];
154
155 // Get the right ELF Section for this constant pool entry
156 std::string CstPoolName =
157 TAI->SelectSectionForMachineConst(CPE.getType())->getName();
158 ELFSection &CstPoolSection =
159 EW.getConstantPoolSection(CstPoolName, CPE.getAlignment());
160
161 // Record the constant pool location and the section index
162 CPLocations.push_back(CstPoolSection.size());
163 CPSections.push_back(CstPoolSection.SectionIdx);
164
165 if (CPE.isMachineConstantPoolEntry())
166 assert("CPE.isMachineConstantPoolEntry not supported yet");
167
168 // Emit the constant to constant pool section
169 EW.EmitGlobalConstant(CPE.Val.ConstVal, CstPoolSection);
170 }
171}
172
Bruno Cardoso Lopes0b1308f2009-07-03 04:36:26 +0000173/// emitJumpTables - Emit all the jump tables for a given jump table info
174/// record to the appropriate section.
175void ELFCodeEmitter::emitJumpTables(MachineJumpTableInfo *MJTI) {
176 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
177 if (JT.empty()) return;
178
179 // FIXME: handle PIC codegen
180 assert(TM.getRelocationModel() != Reloc::PIC_ &&
181 "PIC codegen not yet handled for elf jump tables!");
182
183 const TargetAsmInfo *TAI = TM.getTargetAsmInfo();
184
185 // Get the ELF Section to emit the jump table
186 unsigned Align = TM.getTargetData()->getPointerABIAlignment();
187 std::string JTName(TAI->getJumpTableDataSection());
188 ELFSection &JTSection = EW.getJumpTableSection(JTName, Align);
189 JumpTableSectionIdx = JTSection.SectionIdx;
190
191 // Entries in the JT Section are relocated against the text section
192 ELFSection &TextSection = EW.getTextSection();
193
194 // For each JT, record its offset from the start of the section
195 for (unsigned i = 0, e = JT.size(); i != e; ++i) {
196 const std::vector<MachineBasicBlock*> &MBBs = JT[i].MBBs;
197
198 DOUT << "JTSection.size(): " << JTSection.size() << "\n";
199 DOUT << "JTLocations.size: " << JTLocations.size() << "\n";
200
201 // Record JT 'i' offset in the JT section
202 JTLocations.push_back(JTSection.size());
203
204 // Each MBB entry in the Jump table section has a relocation entry
205 // against the current text section.
206 for (unsigned mi = 0, me = MBBs.size(); mi != me; ++mi) {
207 MachineRelocation MR =
208 MachineRelocation::getBB(JTSection.size(),
209 MachineRelocation::VANILLA,
210 MBBs[mi]);
211
212 // Offset of JT 'i' in JT section
213 MR.setResultPointer((void*)getMachineBasicBlockAddress(MBBs[mi]));
214 MR.setConstantVal(TextSection.SectionIdx);
215
216 // Add the relocation to the Jump Table section
217 JTSection.addRelocation(MR);
218
219 // Output placeholder for MBB in the JT section
220 JTSection.emitWord(0);
221 }
222 }
223}
224
Bruno Cardoso Lopes4cb31432009-06-03 17:47:27 +0000225} // end namespace llvm