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