Bruno Cardoso Lopes | 4cb3143 | 2009-06-03 17:47:27 +0000 | [diff] [blame] | 1 | //===-- 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 Lopes | 5d41910 | 2009-06-05 00:22:10 +0000 | [diff] [blame] | 10 | #define DEBUG_TYPE "elfce" |
| 11 | |
Bruno Cardoso Lopes | 45f5d64 | 2009-07-02 18:29:24 +0000 | [diff] [blame] | 12 | #include "ELF.h" |
| 13 | #include "ELFWriter.h" |
Bruno Cardoso Lopes | 4cb3143 | 2009-06-03 17:47:27 +0000 | [diff] [blame] | 14 | #include "ELFCodeEmitter.h" |
| 15 | #include "llvm/Constants.h" |
| 16 | #include "llvm/DerivedTypes.h" |
| 17 | #include "llvm/Function.h" |
Bruno Cardoso Lopes | ae9163f | 2009-06-14 07:53:21 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/BinaryObject.h" |
Bruno Cardoso Lopes | 4cb3143 | 2009-06-03 17:47:27 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/MachineConstantPool.h" |
| 20 | #include "llvm/CodeGen/MachineJumpTableInfo.h" |
Bruno Cardoso Lopes | 45f5d64 | 2009-07-02 18:29:24 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/MachineRelocation.h" |
Bruno Cardoso Lopes | a5e0abd | 2009-06-25 07:36:24 +0000 | [diff] [blame] | 22 | #include "llvm/Target/TargetData.h" |
Bruno Cardoso Lopes | 171375f | 2009-07-18 19:30:09 +0000 | [diff] [blame] | 23 | #include "llvm/Target/TargetELFWriterInfo.h" |
Bruno Cardoso Lopes | 4cb3143 | 2009-06-03 17:47:27 +0000 | [diff] [blame] | 24 | #include "llvm/Target/TargetMachine.h" |
Bruno Cardoso Lopes | 45f5d64 | 2009-07-02 18:29:24 +0000 | [diff] [blame] | 25 | #include "llvm/Target/TargetAsmInfo.h" |
Bruno Cardoso Lopes | 5d41910 | 2009-06-05 00:22:10 +0000 | [diff] [blame] | 26 | #include "llvm/Support/Debug.h" |
Torok Edwin | c25e758 | 2009-07-11 20:10:48 +0000 | [diff] [blame] | 27 | #include "llvm/Support/ErrorHandling.h" |
Bruno Cardoso Lopes | 4cb3143 | 2009-06-03 17:47:27 +0000 | [diff] [blame] | 28 | |
| 29 | //===----------------------------------------------------------------------===// |
| 30 | // ELFCodeEmitter Implementation |
| 31 | //===----------------------------------------------------------------------===// |
| 32 | |
| 33 | namespace llvm { |
| 34 | |
| 35 | /// startFunction - This callback is invoked when a new machine function is |
| 36 | /// about to be emitted. |
Bruno Cardoso Lopes | 5d41910 | 2009-06-05 00:22:10 +0000 | [diff] [blame] | 37 | void ELFCodeEmitter::startFunction(MachineFunction &MF) { |
Bruno Cardoso Lopes | 6933d3e | 2009-07-06 09:26:48 +0000 | [diff] [blame] | 38 | DOUT << "processing function: " << MF.getFunction()->getName() << "\n"; |
| 39 | |
Bruno Cardoso Lopes | 4cb3143 | 2009-06-03 17:47:27 +0000 | [diff] [blame] | 40 | // Get the ELF Section that this function belongs in. |
Bruno Cardoso Lopes | 5d41910 | 2009-06-05 00:22:10 +0000 | [diff] [blame] | 41 | ES = &EW.getTextSection(); |
| 42 | |
Bruno Cardoso Lopes | 6933d3e | 2009-07-06 09:26:48 +0000 | [diff] [blame] | 43 | // Set the desired binary object to be used by the code emitters |
| 44 | setBinaryObject(ES); |
Bruno Cardoso Lopes | 4cb3143 | 2009-06-03 17:47:27 +0000 | [diff] [blame] | 45 | |
Bruno Cardoso Lopes | 3d62a41 | 2009-07-02 02:13:13 +0000 | [diff] [blame] | 46 | // Get the function alignment in bytes |
| 47 | unsigned Align = (1 << MF.getAlignment()); |
| 48 | |
Bruno Cardoso Lopes | 6933d3e | 2009-07-06 09:26:48 +0000 | [diff] [blame] | 49 | // The function must start on its required alignment |
| 50 | ES->emitAlignment(Align); |
| 51 | |
| 52 | // Update the section alignment if needed. |
Bruno Cardoso Lopes | 4cb3143 | 2009-06-03 17:47:27 +0000 | [diff] [blame] | 53 | if (ES->Align < Align) ES->Align = Align; |
Bruno Cardoso Lopes | 5d41910 | 2009-06-05 00:22:10 +0000 | [diff] [blame] | 54 | |
Bruno Cardoso Lopes | 6933d3e | 2009-07-06 09:26:48 +0000 | [diff] [blame] | 55 | // Record the function start offset |
| 56 | FnStartOff = ES->getCurrentPCOffset(); |
Bruno Cardoso Lopes | 82a70cc | 2009-07-21 23:13:26 +0000 | [diff] [blame^] | 57 | |
| 58 | // Emit constant pool and jump tables to their appropriate sections. |
| 59 | // They need to be emitted before the function because in some targets |
| 60 | // the later may reference JT or CP entry address. |
| 61 | emitConstantPool(MF.getConstantPool()); |
| 62 | emitJumpTables(MF.getJumpTableInfo()); |
Bruno Cardoso Lopes | 4cb3143 | 2009-06-03 17:47:27 +0000 | [diff] [blame] | 63 | } |
| 64 | |
| 65 | /// finishFunction - This callback is invoked after the function is completely |
| 66 | /// finished. |
Bruno Cardoso Lopes | 5d41910 | 2009-06-05 00:22:10 +0000 | [diff] [blame] | 67 | bool ELFCodeEmitter::finishFunction(MachineFunction &MF) { |
Bruno Cardoso Lopes | 45f5d64 | 2009-07-02 18:29:24 +0000 | [diff] [blame] | 68 | // Add a symbol to represent the function. |
| 69 | const Function *F = MF.getFunction(); |
Bruno Cardoso Lopes | 4b70fab | 2009-07-15 20:49:10 +0000 | [diff] [blame] | 70 | ELFSym *FnSym = new ELFSym(F); |
| 71 | FnSym->setType(ELFSym::STT_FUNC); |
| 72 | FnSym->setBind(EW.getGlobalELFBinding(F)); |
| 73 | FnSym->setVisibility(EW.getGlobalELFVisibility(F)); |
| 74 | FnSym->SectionIdx = ES->SectionIdx; |
| 75 | FnSym->Size = ES->getCurrentPCOffset()-FnStartOff; |
Bruno Cardoso Lopes | 5d41910 | 2009-06-05 00:22:10 +0000 | [diff] [blame] | 76 | |
Bruno Cardoso Lopes | 68491c1 | 2009-07-21 06:51:32 +0000 | [diff] [blame] | 77 | // keep track of the emitted function leaving its symbol index as zero |
| 78 | // to be patched up later when emitting the symbol table |
| 79 | EW.setGlobalSymLookup(F, 0); |
| 80 | |
Bruno Cardoso Lopes | 5d41910 | 2009-06-05 00:22:10 +0000 | [diff] [blame] | 81 | // Offset from start of Section |
Bruno Cardoso Lopes | 4b70fab | 2009-07-15 20:49:10 +0000 | [diff] [blame] | 82 | FnSym->Value = FnStartOff; |
Bruno Cardoso Lopes | 4cb3143 | 2009-06-03 17:47:27 +0000 | [diff] [blame] | 83 | |
Bruno Cardoso Lopes | 4b70fab | 2009-07-15 20:49:10 +0000 | [diff] [blame] | 84 | if (!F->hasPrivateLinkage()) |
| 85 | EW.SymbolList.push_back(FnSym); |
Bruno Cardoso Lopes | 5d41910 | 2009-06-05 00:22:10 +0000 | [diff] [blame] | 86 | |
Bruno Cardoso Lopes | 82a70cc | 2009-07-21 23:13:26 +0000 | [diff] [blame^] | 87 | // Patch up Jump Table Section relocations to use the real MBBs offsets |
| 88 | // now that the MBB label offsets inside the function are known. |
| 89 | ELFSection &JTSection = EW.getJumpTableSection(); |
| 90 | for (std::vector<MachineRelocation>::iterator MRI = JTRelocations.begin(), |
| 91 | MRE = JTRelocations.end(); MRI != MRE; ++MRI) { |
| 92 | MachineRelocation &MR = *MRI; |
| 93 | unsigned MBBOffset = getMachineBasicBlockAddress(MR.getBasicBlock()); |
| 94 | MR.setResultPointer((void*)MBBOffset); |
| 95 | MR.setConstantVal(ES->SectionIdx); |
| 96 | JTSection.addRelocation(MR); |
| 97 | } |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 98 | |
Bruno Cardoso Lopes | a029a27 | 2009-06-07 21:22:38 +0000 | [diff] [blame] | 99 | // Relocations |
| 100 | // ----------- |
Bruno Cardoso Lopes | a5e0abd | 2009-06-25 07:36:24 +0000 | [diff] [blame] | 101 | // If we have emitted any relocations to function-specific objects such as |
Bruno Cardoso Lopes | a029a27 | 2009-06-07 21:22:38 +0000 | [diff] [blame] | 102 | // basic blocks, constant pools entries, or jump tables, record their |
| 103 | // addresses now so that we can rewrite them with the correct addresses |
| 104 | // later. |
| 105 | for (unsigned i = 0, e = Relocations.size(); i != e; ++i) { |
| 106 | MachineRelocation &MR = Relocations[i]; |
| 107 | intptr_t Addr; |
Bruno Cardoso Lopes | a5e0abd | 2009-06-25 07:36:24 +0000 | [diff] [blame] | 108 | if (MR.isGlobalValue()) { |
| 109 | EW.PendingGlobals.insert(MR.getGlobalValue()); |
| 110 | } else if (MR.isBasicBlock()) { |
Bruno Cardoso Lopes | a029a27 | 2009-06-07 21:22:38 +0000 | [diff] [blame] | 111 | Addr = getMachineBasicBlockAddress(MR.getBasicBlock()); |
| 112 | MR.setConstantVal(ES->SectionIdx); |
| 113 | MR.setResultPointer((void*)Addr); |
Bruno Cardoso Lopes | a5e0abd | 2009-06-25 07:36:24 +0000 | [diff] [blame] | 114 | } else if (MR.isConstantPoolIndex()) { |
| 115 | Addr = getConstantPoolEntryAddress(MR.getConstantPoolIndex()); |
| 116 | MR.setConstantVal(CPSections[MR.getConstantPoolIndex()]); |
| 117 | MR.setResultPointer((void*)Addr); |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 118 | } else if (MR.isJumpTableIndex()) { |
| 119 | Addr = getJumpTableEntryAddress(MR.getJumpTableIndex()); |
Bruno Cardoso Lopes | 82a70cc | 2009-07-21 23:13:26 +0000 | [diff] [blame^] | 120 | MR.setConstantVal(JTSection.SectionIdx); |
Bruno Cardoso Lopes | e2b0ecd | 2009-07-18 23:24:01 +0000 | [diff] [blame] | 121 | MR.setResultPointer((void*)Addr); |
Bruno Cardoso Lopes | a029a27 | 2009-06-07 21:22:38 +0000 | [diff] [blame] | 122 | } else { |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 123 | llvm_unreachable("Unhandled relocation type"); |
Bruno Cardoso Lopes | a029a27 | 2009-06-07 21:22:38 +0000 | [diff] [blame] | 124 | } |
Bruno Cardoso Lopes | ae9163f | 2009-06-14 07:53:21 +0000 | [diff] [blame] | 125 | ES->addRelocation(MR); |
Bruno Cardoso Lopes | a029a27 | 2009-06-07 21:22:38 +0000 | [diff] [blame] | 126 | } |
Bruno Cardoso Lopes | a029a27 | 2009-06-07 21:22:38 +0000 | [diff] [blame] | 127 | |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 128 | // Clear per-function data structures. |
Bruno Cardoso Lopes | 82a70cc | 2009-07-21 23:13:26 +0000 | [diff] [blame^] | 129 | JTRelocations.clear(); |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 130 | Relocations.clear(); |
| 131 | CPLocations.clear(); |
| 132 | CPSections.clear(); |
| 133 | JTLocations.clear(); |
| 134 | MBBLocations.clear(); |
Bruno Cardoso Lopes | 4cb3143 | 2009-06-03 17:47:27 +0000 | [diff] [blame] | 135 | return false; |
| 136 | } |
| 137 | |
Bruno Cardoso Lopes | a5e0abd | 2009-06-25 07:36:24 +0000 | [diff] [blame] | 138 | /// emitConstantPool - For each constant pool entry, figure out which section |
| 139 | /// the constant should live in and emit the constant |
| 140 | void ELFCodeEmitter::emitConstantPool(MachineConstantPool *MCP) { |
| 141 | const std::vector<MachineConstantPoolEntry> &CP = MCP->getConstants(); |
| 142 | if (CP.empty()) return; |
| 143 | |
| 144 | // TODO: handle PIC codegen |
| 145 | assert(TM.getRelocationModel() != Reloc::PIC_ && |
| 146 | "PIC codegen not yet handled for elf constant pools!"); |
| 147 | |
Bruno Cardoso Lopes | a5e0abd | 2009-06-25 07:36:24 +0000 | [diff] [blame] | 148 | for (unsigned i = 0, e = CP.size(); i != e; ++i) { |
| 149 | MachineConstantPoolEntry CPE = CP[i]; |
| 150 | |
Bruno Cardoso Lopes | a5e0abd | 2009-06-25 07:36:24 +0000 | [diff] [blame] | 151 | // Record the constant pool location and the section index |
Bruno Cardoso Lopes | e2b0ecd | 2009-07-18 23:24:01 +0000 | [diff] [blame] | 152 | ELFSection &CstPool = EW.getConstantPoolSection(CPE); |
| 153 | CPLocations.push_back(CstPool.size()); |
| 154 | CPSections.push_back(CstPool.SectionIdx); |
Bruno Cardoso Lopes | a5e0abd | 2009-06-25 07:36:24 +0000 | [diff] [blame] | 155 | |
| 156 | if (CPE.isMachineConstantPoolEntry()) |
| 157 | assert("CPE.isMachineConstantPoolEntry not supported yet"); |
| 158 | |
| 159 | // Emit the constant to constant pool section |
Bruno Cardoso Lopes | e2b0ecd | 2009-07-18 23:24:01 +0000 | [diff] [blame] | 160 | EW.EmitGlobalConstant(CPE.Val.ConstVal, CstPool); |
Bruno Cardoso Lopes | a5e0abd | 2009-06-25 07:36:24 +0000 | [diff] [blame] | 161 | } |
| 162 | } |
| 163 | |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 164 | /// emitJumpTables - Emit all the jump tables for a given jump table info |
| 165 | /// record to the appropriate section. |
| 166 | void ELFCodeEmitter::emitJumpTables(MachineJumpTableInfo *MJTI) { |
| 167 | const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables(); |
| 168 | if (JT.empty()) return; |
| 169 | |
| 170 | // FIXME: handle PIC codegen |
| 171 | assert(TM.getRelocationModel() != Reloc::PIC_ && |
| 172 | "PIC codegen not yet handled for elf jump tables!"); |
| 173 | |
Bruno Cardoso Lopes | 171375f | 2009-07-18 19:30:09 +0000 | [diff] [blame] | 174 | const TargetELFWriterInfo *TEW = TM.getELFWriterInfo(); |
Bruno Cardoso Lopes | 82a70cc | 2009-07-21 23:13:26 +0000 | [diff] [blame^] | 175 | unsigned EntrySize = MJTI->getEntrySize(); |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 176 | |
| 177 | // Get the ELF Section to emit the jump table |
Bruno Cardoso Lopes | e2b0ecd | 2009-07-18 23:24:01 +0000 | [diff] [blame] | 178 | ELFSection &JTSection = EW.getJumpTableSection(); |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 179 | |
| 180 | // For each JT, record its offset from the start of the section |
| 181 | for (unsigned i = 0, e = JT.size(); i != e; ++i) { |
| 182 | const std::vector<MachineBasicBlock*> &MBBs = JT[i].MBBs; |
| 183 | |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 184 | // Record JT 'i' offset in the JT section |
| 185 | JTLocations.push_back(JTSection.size()); |
| 186 | |
| 187 | // Each MBB entry in the Jump table section has a relocation entry |
| 188 | // against the current text section. |
| 189 | for (unsigned mi = 0, me = MBBs.size(); mi != me; ++mi) { |
Bruno Cardoso Lopes | 617dd7b | 2009-07-18 20:52:11 +0000 | [diff] [blame] | 190 | unsigned MachineRelTy = TEW->getAbsoluteLabelMachineRelTy(); |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 191 | MachineRelocation MR = |
Bruno Cardoso Lopes | 82a70cc | 2009-07-21 23:13:26 +0000 | [diff] [blame^] | 192 | MachineRelocation::getBB(JTSection.size(), MachineRelTy, MBBs[mi]); |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 193 | |
| 194 | // Add the relocation to the Jump Table section |
Bruno Cardoso Lopes | 82a70cc | 2009-07-21 23:13:26 +0000 | [diff] [blame^] | 195 | JTRelocations.push_back(MR); |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 196 | |
| 197 | // Output placeholder for MBB in the JT section |
Bruno Cardoso Lopes | 82a70cc | 2009-07-21 23:13:26 +0000 | [diff] [blame^] | 198 | for (unsigned s=0; s < EntrySize; ++s) |
| 199 | JTSection.emitByte(0); |
Bruno Cardoso Lopes | 0b1308f | 2009-07-03 04:36:26 +0000 | [diff] [blame] | 200 | } |
| 201 | } |
| 202 | } |
| 203 | |
Bruno Cardoso Lopes | 4cb3143 | 2009-06-03 17:47:27 +0000 | [diff] [blame] | 204 | } // end namespace llvm |