Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 1 | //===- MachOObjectFile.cpp - Mach-O object file binding ---------*- C++ -*-===// |
| 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 | // |
| 10 | // This file defines the MachOObjectFile class, which binds the MachOObject |
| 11 | // class to the generic ObjectFile wrapper. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
Owen Anderson | f7c93a3 | 2011-10-11 17:32:27 +0000 | [diff] [blame] | 15 | #include "llvm/Object/MachO.h" |
Chandler Carruth | d04a8d4 | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 16 | #include "llvm/ADT/Triple.h" |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 17 | #include "llvm/Object/MachOFormat.h" |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 18 | #include "llvm/Support/Format.h" |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 19 | #include "llvm/Support/MemoryBuffer.h" |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 20 | #include <cctype> |
| 21 | #include <cstring> |
| 22 | #include <limits> |
| 23 | |
| 24 | using namespace llvm; |
| 25 | using namespace object; |
| 26 | |
| 27 | namespace llvm { |
Owen Anderson | f7c93a3 | 2011-10-11 17:32:27 +0000 | [diff] [blame] | 28 | namespace object { |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 29 | |
Rafael Espindola | 6f1f339 | 2013-04-07 16:58:48 +0000 | [diff] [blame] | 30 | MachOObjectFile::MachOObjectFile(MemoryBuffer *Object, error_code &ec) |
| 31 | : ObjectFile(Binary::ID_MachO, Object) { |
| 32 | // MachOObject takes ownership of the Buffer we passed to it, and |
| 33 | // MachOObjectFile does, too, so we need to make sure they don't get the |
| 34 | // same object. A MemoryBuffer is cheap (it's just a reference to memory, |
| 35 | // not a copy of the memory itself), so just make a new copy here for |
| 36 | // the MachOObjectFile. |
| 37 | MemoryBuffer *NewBuffer = |
| 38 | MemoryBuffer::getMemBuffer(Object->getBuffer(), |
| 39 | Object->getBufferIdentifier(), false); |
| 40 | std::string ErrorStr; |
| 41 | MachOObj.reset(MachOObject::LoadFromBuffer(NewBuffer, &ErrorStr)); |
| 42 | if (!MachOObj) { |
| 43 | ec = object_error::parse_failed; |
| 44 | return; |
| 45 | } |
| 46 | |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 47 | DataRefImpl DRI; |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 48 | moveToNextSection(DRI); |
| 49 | uint32_t LoadCommandCount = MachOObj->getHeader().NumLoadCommands; |
| 50 | while (DRI.d.a < LoadCommandCount) { |
| 51 | Sections.push_back(DRI); |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 52 | DRI.d.b++; |
| 53 | moveToNextSection(DRI); |
| 54 | } |
| 55 | } |
| 56 | |
Rafael Espindola | 0be4eaf | 2013-04-07 15:46:05 +0000 | [diff] [blame] | 57 | bool MachOObjectFile::is64Bit() const { |
| 58 | return MachOObj->is64Bit(); |
| 59 | } |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 60 | |
Rafael Espindola | 77638d9 | 2013-04-07 18:08:12 +0000 | [diff] [blame^] | 61 | MachOObjectFile::LoadCommandInfo |
Rafael Espindola | 3eff318 | 2013-04-07 16:07:35 +0000 | [diff] [blame] | 62 | MachOObjectFile::getLoadCommandInfo(unsigned Index) const { |
Rafael Espindola | 77638d9 | 2013-04-07 18:08:12 +0000 | [diff] [blame^] | 63 | uint64_t Offset; |
| 64 | uint64_t NewOffset = MachOObj->getHeaderSize(); |
| 65 | const MachOFormat::LoadCommand *Load; |
| 66 | unsigned I = 0; |
| 67 | do { |
| 68 | Offset = NewOffset; |
| 69 | StringRef Data = MachOObj->getData(Offset, |
| 70 | sizeof(MachOFormat::LoadCommand)); |
| 71 | Load = reinterpret_cast<const MachOFormat::LoadCommand*>(Data.data()); |
| 72 | NewOffset = Offset + Load->Size; |
| 73 | ++I; |
| 74 | } while (I != Index + 1); |
| 75 | |
| 76 | LoadCommandInfo Ret = {Load, Offset}; |
| 77 | return Ret; |
Rafael Espindola | 3eff318 | 2013-04-07 16:07:35 +0000 | [diff] [blame] | 78 | } |
| 79 | |
| 80 | void MachOObjectFile::ReadULEB128s(uint64_t Index, |
| 81 | SmallVectorImpl<uint64_t> &Out) const { |
| 82 | return MachOObj->ReadULEB128s(Index, Out); |
| 83 | } |
| 84 | |
| 85 | const macho::Header &MachOObjectFile::getHeader() const { |
| 86 | return MachOObj->getHeader(); |
| 87 | } |
| 88 | |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 89 | ObjectFile *ObjectFile::createMachOObjectFile(MemoryBuffer *Buffer) { |
Michael J. Spencer | 001c920 | 2011-06-25 17:54:50 +0000 | [diff] [blame] | 90 | error_code ec; |
Rafael Espindola | 6f1f339 | 2013-04-07 16:58:48 +0000 | [diff] [blame] | 91 | ObjectFile *Ret = new MachOObjectFile(Buffer, ec); |
| 92 | if (ec) |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 93 | return NULL; |
Rafael Espindola | 6f1f339 | 2013-04-07 16:58:48 +0000 | [diff] [blame] | 94 | return Ret; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 95 | } |
| 96 | |
| 97 | /*===-- Symbols -----------------------------------------------------------===*/ |
| 98 | |
Rafael Espindola | 82a2107 | 2013-04-06 03:31:08 +0000 | [diff] [blame] | 99 | const MachOFormat::SymtabLoadCommand * |
| 100 | MachOObjectFile::getSymtabLoadCommand(LoadCommandInfo LCI) const { |
| 101 | StringRef Data = MachOObj->getData(LCI.Offset, |
| 102 | sizeof(MachOFormat::SymtabLoadCommand)); |
| 103 | return reinterpret_cast<const MachOFormat::SymtabLoadCommand*>(Data.data()); |
| 104 | } |
| 105 | |
Rafael Espindola | 68d287d | 2013-04-06 03:50:05 +0000 | [diff] [blame] | 106 | const MachOFormat::SegmentLoadCommand * |
| 107 | MachOObjectFile::getSegmentLoadCommand(LoadCommandInfo LCI) const { |
| 108 | StringRef Data = MachOObj->getData(LCI.Offset, |
| 109 | sizeof(MachOFormat::SegmentLoadCommand)); |
| 110 | return reinterpret_cast<const MachOFormat::SegmentLoadCommand*>(Data.data()); |
| 111 | } |
| 112 | |
Rafael Espindola | 196abbf | 2013-04-07 14:40:18 +0000 | [diff] [blame] | 113 | const MachOFormat::LinkeditDataLoadCommand * |
| 114 | MachOObjectFile::getLinkeditDataLoadCommand(LoadCommandInfo LCI) const { |
| 115 | StringRef Data = MachOObj->getData(LCI.Offset, |
| 116 | sizeof(MachOFormat::LinkeditDataLoadCommand)); |
| 117 | return |
| 118 | reinterpret_cast<const MachOFormat::LinkeditDataLoadCommand*>(Data.data()); |
| 119 | } |
| 120 | |
Rafael Espindola | 68d287d | 2013-04-06 03:50:05 +0000 | [diff] [blame] | 121 | const MachOFormat::Segment64LoadCommand * |
| 122 | MachOObjectFile::getSegment64LoadCommand(LoadCommandInfo LCI) const { |
| 123 | StringRef Data = MachOObj->getData(LCI.Offset, |
| 124 | sizeof(MachOFormat::Segment64LoadCommand)); |
| 125 | return |
| 126 | reinterpret_cast<const MachOFormat::Segment64LoadCommand*>(Data.data()); |
| 127 | } |
| 128 | |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 129 | void MachOObjectFile::moveToNextSymbol(DataRefImpl &DRI) const { |
| 130 | uint32_t LoadCommandCount = MachOObj->getHeader().NumLoadCommands; |
| 131 | while (DRI.d.a < LoadCommandCount) { |
Rafael Espindola | f305127 | 2013-04-07 17:41:59 +0000 | [diff] [blame] | 132 | LoadCommandInfo LCI = getLoadCommandInfo(DRI.d.a); |
Rafael Espindola | 77638d9 | 2013-04-07 18:08:12 +0000 | [diff] [blame^] | 133 | if (LCI.Command->Type == macho::LCT_Symtab) { |
Rafael Espindola | 82a2107 | 2013-04-06 03:31:08 +0000 | [diff] [blame] | 134 | const MachOFormat::SymtabLoadCommand *SymtabLoadCmd = |
| 135 | getSymtabLoadCommand(LCI); |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 136 | if (DRI.d.b < SymtabLoadCmd->NumSymbolTableEntries) |
| 137 | return; |
| 138 | } |
| 139 | |
| 140 | DRI.d.a++; |
| 141 | DRI.d.b = 0; |
| 142 | } |
| 143 | } |
| 144 | |
Rafael Espindola | 00555c1 | 2013-04-06 01:59:05 +0000 | [diff] [blame] | 145 | const MachOFormat::SymbolTableEntry * |
| 146 | MachOObjectFile::getSymbolTableEntry(DataRefImpl DRI) const { |
Rafael Espindola | f305127 | 2013-04-07 17:41:59 +0000 | [diff] [blame] | 147 | LoadCommandInfo LCI = getLoadCommandInfo(DRI.d.a); |
Rafael Espindola | 82a2107 | 2013-04-06 03:31:08 +0000 | [diff] [blame] | 148 | const MachOFormat::SymtabLoadCommand *SymtabLoadCmd = |
| 149 | getSymtabLoadCommand(LCI); |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 150 | |
Rafael Espindola | 82a2107 | 2013-04-06 03:31:08 +0000 | [diff] [blame] | 151 | return getSymbolTableEntry(DRI, SymtabLoadCmd); |
| 152 | } |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 153 | |
Rafael Espindola | 82a2107 | 2013-04-06 03:31:08 +0000 | [diff] [blame] | 154 | const MachOFormat::SymbolTableEntry * |
| 155 | MachOObjectFile::getSymbolTableEntry(DataRefImpl DRI, |
| 156 | const MachOFormat::SymtabLoadCommand *SymtabLoadCmd) const { |
Rafael Espindola | 00555c1 | 2013-04-06 01:59:05 +0000 | [diff] [blame] | 157 | uint64_t SymbolTableOffset = SymtabLoadCmd->SymbolTableOffset; |
| 158 | unsigned Index = DRI.d.b; |
| 159 | uint64_t Offset = (SymbolTableOffset + |
| 160 | Index * sizeof(macho::SymbolTableEntry)); |
| 161 | StringRef Data = MachOObj->getData(Offset, |
| 162 | sizeof(MachOFormat::SymbolTableEntry)); |
| 163 | return reinterpret_cast<const MachOFormat::SymbolTableEntry*>(Data.data()); |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 164 | } |
| 165 | |
Rafael Espindola | 05b5bdd | 2013-04-06 02:15:44 +0000 | [diff] [blame] | 166 | const MachOFormat::Symbol64TableEntry* |
| 167 | MachOObjectFile::getSymbol64TableEntry(DataRefImpl DRI) const { |
Rafael Espindola | f305127 | 2013-04-07 17:41:59 +0000 | [diff] [blame] | 168 | LoadCommandInfo LCI = getLoadCommandInfo(DRI.d.a); |
Rafael Espindola | 82a2107 | 2013-04-06 03:31:08 +0000 | [diff] [blame] | 169 | const MachOFormat::SymtabLoadCommand *SymtabLoadCmd = |
| 170 | getSymtabLoadCommand(LCI); |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 171 | |
Rafael Espindola | 82a2107 | 2013-04-06 03:31:08 +0000 | [diff] [blame] | 172 | return getSymbol64TableEntry(DRI, SymtabLoadCmd); |
| 173 | } |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 174 | |
Rafael Espindola | 82a2107 | 2013-04-06 03:31:08 +0000 | [diff] [blame] | 175 | const MachOFormat::Symbol64TableEntry* |
| 176 | MachOObjectFile::getSymbol64TableEntry(DataRefImpl DRI, |
| 177 | const MachOFormat::SymtabLoadCommand *SymtabLoadCmd) const { |
Rafael Espindola | 05b5bdd | 2013-04-06 02:15:44 +0000 | [diff] [blame] | 178 | uint64_t SymbolTableOffset = SymtabLoadCmd->SymbolTableOffset; |
| 179 | unsigned Index = DRI.d.b; |
| 180 | uint64_t Offset = (SymbolTableOffset + |
| 181 | Index * sizeof(macho::Symbol64TableEntry)); |
| 182 | StringRef Data = MachOObj->getData(Offset, |
| 183 | sizeof(MachOFormat::Symbol64TableEntry)); |
| 184 | return reinterpret_cast<const MachOFormat::Symbol64TableEntry*>(Data.data()); |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 185 | } |
| 186 | |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 187 | error_code MachOObjectFile::getSymbolNext(DataRefImpl DRI, |
| 188 | SymbolRef &Result) const { |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 189 | DRI.d.b++; |
| 190 | moveToNextSymbol(DRI); |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 191 | Result = SymbolRef(DRI, this); |
| 192 | return object_error::success; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 193 | } |
| 194 | |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 195 | error_code MachOObjectFile::getSymbolName(DataRefImpl DRI, |
| 196 | StringRef &Result) const { |
Rafael Espindola | f305127 | 2013-04-07 17:41:59 +0000 | [diff] [blame] | 197 | LoadCommandInfo LCI = getLoadCommandInfo(DRI.d.a); |
Rafael Espindola | 82a2107 | 2013-04-06 03:31:08 +0000 | [diff] [blame] | 198 | const MachOFormat::SymtabLoadCommand *SymtabLoadCmd = |
| 199 | getSymtabLoadCommand(LCI); |
| 200 | |
| 201 | StringRef StringTable = |
| 202 | MachOObj->getData(SymtabLoadCmd->StringTableOffset, |
| 203 | SymtabLoadCmd->StringTableSize); |
| 204 | |
| 205 | uint32_t StringIndex; |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 206 | if (MachOObj->is64Bit()) { |
Rafael Espindola | 82a2107 | 2013-04-06 03:31:08 +0000 | [diff] [blame] | 207 | const MachOFormat::Symbol64TableEntry *Entry = |
| 208 | getSymbol64TableEntry(DRI, SymtabLoadCmd); |
| 209 | StringIndex = Entry->StringIndex; |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 210 | } else { |
Rafael Espindola | 82a2107 | 2013-04-06 03:31:08 +0000 | [diff] [blame] | 211 | const MachOFormat::SymbolTableEntry *Entry = |
| 212 | getSymbolTableEntry(DRI, SymtabLoadCmd); |
| 213 | StringIndex = Entry->StringIndex; |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 214 | } |
Rafael Espindola | 82a2107 | 2013-04-06 03:31:08 +0000 | [diff] [blame] | 215 | |
| 216 | const char *Start = &StringTable.data()[StringIndex]; |
| 217 | Result = StringRef(Start); |
| 218 | |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 219 | return object_error::success; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 220 | } |
| 221 | |
Danil Malyshev | b0436a7 | 2011-11-29 17:40:10 +0000 | [diff] [blame] | 222 | error_code MachOObjectFile::getSymbolFileOffset(DataRefImpl DRI, |
| 223 | uint64_t &Result) const { |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 224 | if (MachOObj->is64Bit()) { |
Rafael Espindola | 05b5bdd | 2013-04-06 02:15:44 +0000 | [diff] [blame] | 225 | const MachOFormat::Symbol64TableEntry *Entry = getSymbol64TableEntry(DRI); |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 226 | Result = Entry->Value; |
Danil Malyshev | b0436a7 | 2011-11-29 17:40:10 +0000 | [diff] [blame] | 227 | if (Entry->SectionIndex) { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 228 | const MachOFormat::Section64 *Section = |
Rafael Espindola | c1cd6aa | 2013-04-05 18:18:19 +0000 | [diff] [blame] | 229 | getSection64(Sections[Entry->SectionIndex-1]); |
Danil Malyshev | b0436a7 | 2011-11-29 17:40:10 +0000 | [diff] [blame] | 230 | Result += Section->Offset - Section->Address; |
| 231 | } |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 232 | } else { |
Rafael Espindola | 00555c1 | 2013-04-06 01:59:05 +0000 | [diff] [blame] | 233 | const MachOFormat::SymbolTableEntry *Entry = getSymbolTableEntry(DRI); |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 234 | Result = Entry->Value; |
Danil Malyshev | b0436a7 | 2011-11-29 17:40:10 +0000 | [diff] [blame] | 235 | if (Entry->SectionIndex) { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 236 | const MachOFormat::Section *Section = |
Rafael Espindola | c1cd6aa | 2013-04-05 18:18:19 +0000 | [diff] [blame] | 237 | getSection(Sections[Entry->SectionIndex-1]); |
Danil Malyshev | b0436a7 | 2011-11-29 17:40:10 +0000 | [diff] [blame] | 238 | Result += Section->Offset - Section->Address; |
| 239 | } |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 240 | } |
Owen Anderson | 95f8db4 | 2011-10-12 22:37:10 +0000 | [diff] [blame] | 241 | |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 242 | return object_error::success; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 243 | } |
| 244 | |
Benjamin Kramer | ac241fe | 2011-09-14 01:22:52 +0000 | [diff] [blame] | 245 | error_code MachOObjectFile::getSymbolAddress(DataRefImpl DRI, |
| 246 | uint64_t &Result) const { |
Benjamin Kramer | ac241fe | 2011-09-14 01:22:52 +0000 | [diff] [blame] | 247 | if (MachOObj->is64Bit()) { |
Rafael Espindola | 05b5bdd | 2013-04-06 02:15:44 +0000 | [diff] [blame] | 248 | const MachOFormat::Symbol64TableEntry *Entry = getSymbol64TableEntry(DRI); |
Owen Anderson | 95f8db4 | 2011-10-12 22:37:10 +0000 | [diff] [blame] | 249 | Result = Entry->Value; |
Benjamin Kramer | ac241fe | 2011-09-14 01:22:52 +0000 | [diff] [blame] | 250 | } else { |
Rafael Espindola | 00555c1 | 2013-04-06 01:59:05 +0000 | [diff] [blame] | 251 | const MachOFormat::SymbolTableEntry *Entry = getSymbolTableEntry(DRI); |
Owen Anderson | 95f8db4 | 2011-10-12 22:37:10 +0000 | [diff] [blame] | 252 | Result = Entry->Value; |
Benjamin Kramer | ac241fe | 2011-09-14 01:22:52 +0000 | [diff] [blame] | 253 | } |
Benjamin Kramer | ac241fe | 2011-09-14 01:22:52 +0000 | [diff] [blame] | 254 | return object_error::success; |
| 255 | } |
| 256 | |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 257 | error_code MachOObjectFile::getSymbolSize(DataRefImpl DRI, |
| 258 | uint64_t &Result) const { |
Danil Malyshev | b0436a7 | 2011-11-29 17:40:10 +0000 | [diff] [blame] | 259 | uint32_t LoadCommandCount = MachOObj->getHeader().NumLoadCommands; |
| 260 | uint64_t BeginOffset; |
| 261 | uint64_t EndOffset = 0; |
| 262 | uint8_t SectionIndex; |
| 263 | if (MachOObj->is64Bit()) { |
Rafael Espindola | 05b5bdd | 2013-04-06 02:15:44 +0000 | [diff] [blame] | 264 | const MachOFormat::Symbol64TableEntry *Entry = getSymbol64TableEntry(DRI); |
Danil Malyshev | b0436a7 | 2011-11-29 17:40:10 +0000 | [diff] [blame] | 265 | BeginOffset = Entry->Value; |
| 266 | SectionIndex = Entry->SectionIndex; |
| 267 | if (!SectionIndex) { |
Preston Gurd | c68dda8 | 2012-04-12 20:13:57 +0000 | [diff] [blame] | 268 | uint32_t flags = SymbolRef::SF_None; |
| 269 | getSymbolFlags(DRI, flags); |
| 270 | if (flags & SymbolRef::SF_Common) |
| 271 | Result = Entry->Value; |
| 272 | else |
| 273 | Result = UnknownAddressOrSize; |
Danil Malyshev | b0436a7 | 2011-11-29 17:40:10 +0000 | [diff] [blame] | 274 | return object_error::success; |
| 275 | } |
| 276 | // Unfortunately symbols are unsorted so we need to touch all |
| 277 | // symbols from load command |
| 278 | DRI.d.b = 0; |
| 279 | uint32_t Command = DRI.d.a; |
| 280 | while (Command == DRI.d.a) { |
| 281 | moveToNextSymbol(DRI); |
| 282 | if (DRI.d.a < LoadCommandCount) { |
Rafael Espindola | 05b5bdd | 2013-04-06 02:15:44 +0000 | [diff] [blame] | 283 | Entry = getSymbol64TableEntry(DRI); |
Danil Malyshev | b0436a7 | 2011-11-29 17:40:10 +0000 | [diff] [blame] | 284 | if (Entry->SectionIndex == SectionIndex && Entry->Value > BeginOffset) |
| 285 | if (!EndOffset || Entry->Value < EndOffset) |
| 286 | EndOffset = Entry->Value; |
| 287 | } |
| 288 | DRI.d.b++; |
| 289 | } |
| 290 | } else { |
Rafael Espindola | 00555c1 | 2013-04-06 01:59:05 +0000 | [diff] [blame] | 291 | const MachOFormat::SymbolTableEntry *Entry = getSymbolTableEntry(DRI); |
Danil Malyshev | b0436a7 | 2011-11-29 17:40:10 +0000 | [diff] [blame] | 292 | BeginOffset = Entry->Value; |
| 293 | SectionIndex = Entry->SectionIndex; |
| 294 | if (!SectionIndex) { |
Preston Gurd | c68dda8 | 2012-04-12 20:13:57 +0000 | [diff] [blame] | 295 | uint32_t flags = SymbolRef::SF_None; |
| 296 | getSymbolFlags(DRI, flags); |
| 297 | if (flags & SymbolRef::SF_Common) |
| 298 | Result = Entry->Value; |
| 299 | else |
| 300 | Result = UnknownAddressOrSize; |
Danil Malyshev | b0436a7 | 2011-11-29 17:40:10 +0000 | [diff] [blame] | 301 | return object_error::success; |
| 302 | } |
| 303 | // Unfortunately symbols are unsorted so we need to touch all |
| 304 | // symbols from load command |
| 305 | DRI.d.b = 0; |
| 306 | uint32_t Command = DRI.d.a; |
| 307 | while (Command == DRI.d.a) { |
| 308 | moveToNextSymbol(DRI); |
| 309 | if (DRI.d.a < LoadCommandCount) { |
Rafael Espindola | 00555c1 | 2013-04-06 01:59:05 +0000 | [diff] [blame] | 310 | Entry = getSymbolTableEntry(DRI); |
Danil Malyshev | b0436a7 | 2011-11-29 17:40:10 +0000 | [diff] [blame] | 311 | if (Entry->SectionIndex == SectionIndex && Entry->Value > BeginOffset) |
| 312 | if (!EndOffset || Entry->Value < EndOffset) |
| 313 | EndOffset = Entry->Value; |
| 314 | } |
| 315 | DRI.d.b++; |
| 316 | } |
| 317 | } |
| 318 | if (!EndOffset) { |
| 319 | uint64_t Size; |
| 320 | getSectionSize(Sections[SectionIndex-1], Size); |
| 321 | getSectionAddress(Sections[SectionIndex-1], EndOffset); |
| 322 | EndOffset += Size; |
| 323 | } |
| 324 | Result = EndOffset - BeginOffset; |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 325 | return object_error::success; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 326 | } |
| 327 | |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 328 | error_code MachOObjectFile::getSymbolNMTypeChar(DataRefImpl DRI, |
| 329 | char &Result) const { |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 330 | uint8_t Type, Flags; |
| 331 | if (MachOObj->is64Bit()) { |
Rafael Espindola | 05b5bdd | 2013-04-06 02:15:44 +0000 | [diff] [blame] | 332 | const MachOFormat::Symbol64TableEntry *Entry = getSymbol64TableEntry(DRI); |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 333 | Type = Entry->Type; |
| 334 | Flags = Entry->Flags; |
| 335 | } else { |
Rafael Espindola | 00555c1 | 2013-04-06 01:59:05 +0000 | [diff] [blame] | 336 | const MachOFormat::SymbolTableEntry *Entry = getSymbolTableEntry(DRI); |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 337 | Type = Entry->Type; |
| 338 | Flags = Entry->Flags; |
| 339 | } |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 340 | |
| 341 | char Char; |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 342 | switch (Type & macho::STF_TypeMask) { |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 343 | case macho::STT_Undefined: |
| 344 | Char = 'u'; |
| 345 | break; |
| 346 | case macho::STT_Absolute: |
| 347 | case macho::STT_Section: |
| 348 | Char = 's'; |
| 349 | break; |
| 350 | default: |
| 351 | Char = '?'; |
| 352 | break; |
| 353 | } |
| 354 | |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 355 | if (Flags & (macho::STF_External | macho::STF_PrivateExtern)) |
Guy Benyei | 87d0b9e | 2013-02-12 21:21:59 +0000 | [diff] [blame] | 356 | Char = toupper(static_cast<unsigned char>(Char)); |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 357 | Result = Char; |
| 358 | return object_error::success; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 359 | } |
| 360 | |
David Meyer | c46255a | 2012-02-28 23:47:53 +0000 | [diff] [blame] | 361 | error_code MachOObjectFile::getSymbolFlags(DataRefImpl DRI, |
| 362 | uint32_t &Result) const { |
| 363 | uint16_t MachOFlags; |
| 364 | uint8_t MachOType; |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 365 | if (MachOObj->is64Bit()) { |
Rafael Espindola | 05b5bdd | 2013-04-06 02:15:44 +0000 | [diff] [blame] | 366 | const MachOFormat::Symbol64TableEntry *Entry = getSymbol64TableEntry(DRI); |
David Meyer | c46255a | 2012-02-28 23:47:53 +0000 | [diff] [blame] | 367 | MachOFlags = Entry->Flags; |
| 368 | MachOType = Entry->Type; |
Benjamin Kramer | 32fb2af | 2011-07-15 17:32:45 +0000 | [diff] [blame] | 369 | } else { |
Rafael Espindola | 00555c1 | 2013-04-06 01:59:05 +0000 | [diff] [blame] | 370 | const MachOFormat::SymbolTableEntry *Entry = getSymbolTableEntry(DRI); |
David Meyer | c46255a | 2012-02-28 23:47:53 +0000 | [diff] [blame] | 371 | MachOFlags = Entry->Flags; |
| 372 | MachOType = Entry->Type; |
Michael J. Spencer | 9b2b812 | 2011-10-17 23:54:46 +0000 | [diff] [blame] | 373 | } |
| 374 | |
Preston Gurd | c68dda8 | 2012-04-12 20:13:57 +0000 | [diff] [blame] | 375 | // TODO: Correctly set SF_ThreadLocal |
David Meyer | c46255a | 2012-02-28 23:47:53 +0000 | [diff] [blame] | 376 | Result = SymbolRef::SF_None; |
David Meyer | 2c67727 | 2012-02-29 02:11:55 +0000 | [diff] [blame] | 377 | |
| 378 | if ((MachOType & MachO::NlistMaskType) == MachO::NListTypeUndefined) |
| 379 | Result |= SymbolRef::SF_Undefined; |
| 380 | |
David Meyer | c46255a | 2012-02-28 23:47:53 +0000 | [diff] [blame] | 381 | if (MachOFlags & macho::STF_StabsEntryMask) |
| 382 | Result |= SymbolRef::SF_FormatSpecific; |
| 383 | |
Preston Gurd | c68dda8 | 2012-04-12 20:13:57 +0000 | [diff] [blame] | 384 | if (MachOType & MachO::NlistMaskExternal) { |
David Meyer | c46255a | 2012-02-28 23:47:53 +0000 | [diff] [blame] | 385 | Result |= SymbolRef::SF_Global; |
Preston Gurd | c68dda8 | 2012-04-12 20:13:57 +0000 | [diff] [blame] | 386 | if ((MachOType & MachO::NlistMaskType) == MachO::NListTypeUndefined) |
| 387 | Result |= SymbolRef::SF_Common; |
| 388 | } |
David Meyer | c46255a | 2012-02-28 23:47:53 +0000 | [diff] [blame] | 389 | |
| 390 | if (MachOFlags & (MachO::NListDescWeakRef | MachO::NListDescWeakDef)) |
| 391 | Result |= SymbolRef::SF_Weak; |
| 392 | |
| 393 | if ((MachOType & MachO::NlistMaskType) == MachO::NListTypeAbsolute) |
| 394 | Result |= SymbolRef::SF_Absolute; |
| 395 | |
Michael J. Spencer | 9b2b812 | 2011-10-17 23:54:46 +0000 | [diff] [blame] | 396 | return object_error::success; |
| 397 | } |
| 398 | |
| 399 | error_code MachOObjectFile::getSymbolSection(DataRefImpl Symb, |
| 400 | section_iterator &Res) const { |
| 401 | uint8_t index; |
| 402 | if (MachOObj->is64Bit()) { |
Rafael Espindola | 05b5bdd | 2013-04-06 02:15:44 +0000 | [diff] [blame] | 403 | const MachOFormat::Symbol64TableEntry *Entry = getSymbol64TableEntry(Symb); |
Michael J. Spencer | 9b2b812 | 2011-10-17 23:54:46 +0000 | [diff] [blame] | 404 | index = Entry->SectionIndex; |
| 405 | } else { |
Rafael Espindola | 00555c1 | 2013-04-06 01:59:05 +0000 | [diff] [blame] | 406 | const MachOFormat::SymbolTableEntry *Entry = getSymbolTableEntry(Symb); |
Michael J. Spencer | 9b2b812 | 2011-10-17 23:54:46 +0000 | [diff] [blame] | 407 | index = Entry->SectionIndex; |
| 408 | } |
| 409 | |
| 410 | if (index == 0) |
| 411 | Res = end_sections(); |
| 412 | else |
Danil Malyshev | b0436a7 | 2011-11-29 17:40:10 +0000 | [diff] [blame] | 413 | Res = section_iterator(SectionRef(Sections[index-1], this)); |
Michael J. Spencer | 9b2b812 | 2011-10-17 23:54:46 +0000 | [diff] [blame] | 414 | |
| 415 | return object_error::success; |
| 416 | } |
| 417 | |
Benjamin Kramer | ac241fe | 2011-09-14 01:22:52 +0000 | [diff] [blame] | 418 | error_code MachOObjectFile::getSymbolType(DataRefImpl Symb, |
Michael J. Spencer | 1130a79 | 2011-10-17 20:19:29 +0000 | [diff] [blame] | 419 | SymbolRef::Type &Res) const { |
Benjamin Kramer | ac241fe | 2011-09-14 01:22:52 +0000 | [diff] [blame] | 420 | uint8_t n_type; |
| 421 | if (MachOObj->is64Bit()) { |
Rafael Espindola | 05b5bdd | 2013-04-06 02:15:44 +0000 | [diff] [blame] | 422 | const MachOFormat::Symbol64TableEntry *Entry = getSymbol64TableEntry(Symb); |
Benjamin Kramer | ac241fe | 2011-09-14 01:22:52 +0000 | [diff] [blame] | 423 | n_type = Entry->Type; |
| 424 | } else { |
Rafael Espindola | 00555c1 | 2013-04-06 01:59:05 +0000 | [diff] [blame] | 425 | const MachOFormat::SymbolTableEntry *Entry = getSymbolTableEntry(Symb); |
Benjamin Kramer | ac241fe | 2011-09-14 01:22:52 +0000 | [diff] [blame] | 426 | n_type = Entry->Type; |
| 427 | } |
| 428 | Res = SymbolRef::ST_Other; |
Owen Anderson | 10a8c62 | 2011-10-12 22:23:12 +0000 | [diff] [blame] | 429 | |
| 430 | // If this is a STAB debugging symbol, we can do nothing more. |
Owen Anderson | a48aab9 | 2011-10-21 19:26:54 +0000 | [diff] [blame] | 431 | if (n_type & MachO::NlistMaskStab) { |
| 432 | Res = SymbolRef::ST_Debug; |
Owen Anderson | 10a8c62 | 2011-10-12 22:23:12 +0000 | [diff] [blame] | 433 | return object_error::success; |
Owen Anderson | a48aab9 | 2011-10-21 19:26:54 +0000 | [diff] [blame] | 434 | } |
Owen Anderson | 10a8c62 | 2011-10-12 22:23:12 +0000 | [diff] [blame] | 435 | |
Benjamin Kramer | ac241fe | 2011-09-14 01:22:52 +0000 | [diff] [blame] | 436 | switch (n_type & MachO::NlistMaskType) { |
| 437 | case MachO::NListTypeUndefined : |
David Meyer | 2c67727 | 2012-02-29 02:11:55 +0000 | [diff] [blame] | 438 | Res = SymbolRef::ST_Unknown; |
Benjamin Kramer | ac241fe | 2011-09-14 01:22:52 +0000 | [diff] [blame] | 439 | break; |
| 440 | case MachO::NListTypeSection : |
| 441 | Res = SymbolRef::ST_Function; |
| 442 | break; |
| 443 | } |
| 444 | return object_error::success; |
| 445 | } |
| 446 | |
Tim Northover | a41dce3 | 2012-10-29 10:47:00 +0000 | [diff] [blame] | 447 | error_code MachOObjectFile::getSymbolValue(DataRefImpl Symb, |
| 448 | uint64_t &Val) const { |
| 449 | report_fatal_error("getSymbolValue unimplemented in MachOObjectFile"); |
| 450 | } |
Benjamin Kramer | ac241fe | 2011-09-14 01:22:52 +0000 | [diff] [blame] | 451 | |
Michael J. Spencer | 4344b1e | 2011-10-07 19:25:32 +0000 | [diff] [blame] | 452 | symbol_iterator MachOObjectFile::begin_symbols() const { |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 453 | // DRI.d.a = segment number; DRI.d.b = symbol index. |
| 454 | DataRefImpl DRI; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 455 | moveToNextSymbol(DRI); |
| 456 | return symbol_iterator(SymbolRef(DRI, this)); |
| 457 | } |
| 458 | |
Michael J. Spencer | 4344b1e | 2011-10-07 19:25:32 +0000 | [diff] [blame] | 459 | symbol_iterator MachOObjectFile::end_symbols() const { |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 460 | DataRefImpl DRI; |
| 461 | DRI.d.a = MachOObj->getHeader().NumLoadCommands; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 462 | return symbol_iterator(SymbolRef(DRI, this)); |
| 463 | } |
| 464 | |
Michael J. Spencer | dfa1896 | 2012-02-28 00:40:37 +0000 | [diff] [blame] | 465 | symbol_iterator MachOObjectFile::begin_dynamic_symbols() const { |
| 466 | // TODO: implement |
| 467 | report_fatal_error("Dynamic symbols unimplemented in MachOObjectFile"); |
| 468 | } |
| 469 | |
| 470 | symbol_iterator MachOObjectFile::end_dynamic_symbols() const { |
| 471 | // TODO: implement |
| 472 | report_fatal_error("Dynamic symbols unimplemented in MachOObjectFile"); |
| 473 | } |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 474 | |
David Meyer | 5c2b4ea | 2012-03-01 01:36:50 +0000 | [diff] [blame] | 475 | library_iterator MachOObjectFile::begin_libraries_needed() const { |
| 476 | // TODO: implement |
| 477 | report_fatal_error("Needed libraries unimplemented in MachOObjectFile"); |
| 478 | } |
| 479 | |
| 480 | library_iterator MachOObjectFile::end_libraries_needed() const { |
| 481 | // TODO: implement |
| 482 | report_fatal_error("Needed libraries unimplemented in MachOObjectFile"); |
| 483 | } |
| 484 | |
David Meyer | 97f7787 | 2012-03-01 22:19:54 +0000 | [diff] [blame] | 485 | StringRef MachOObjectFile::getLoadName() const { |
| 486 | // TODO: Implement |
| 487 | report_fatal_error("get_load_name() unimplemented in MachOObjectFile"); |
| 488 | } |
| 489 | |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 490 | /*===-- Sections ----------------------------------------------------------===*/ |
| 491 | |
| 492 | void MachOObjectFile::moveToNextSection(DataRefImpl &DRI) const { |
| 493 | uint32_t LoadCommandCount = MachOObj->getHeader().NumLoadCommands; |
| 494 | while (DRI.d.a < LoadCommandCount) { |
Rafael Espindola | f305127 | 2013-04-07 17:41:59 +0000 | [diff] [blame] | 495 | LoadCommandInfo LCI = getLoadCommandInfo(DRI.d.a); |
Rafael Espindola | 77638d9 | 2013-04-07 18:08:12 +0000 | [diff] [blame^] | 496 | if (LCI.Command->Type == macho::LCT_Segment) { |
Rafael Espindola | 68d287d | 2013-04-06 03:50:05 +0000 | [diff] [blame] | 497 | const MachOFormat::SegmentLoadCommand *SegmentLoadCmd = |
| 498 | getSegmentLoadCommand(LCI); |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 499 | if (DRI.d.b < SegmentLoadCmd->NumSections) |
| 500 | return; |
Rafael Espindola | 77638d9 | 2013-04-07 18:08:12 +0000 | [diff] [blame^] | 501 | } else if (LCI.Command->Type == macho::LCT_Segment64) { |
Rafael Espindola | 68d287d | 2013-04-06 03:50:05 +0000 | [diff] [blame] | 502 | const MachOFormat::Segment64LoadCommand *Segment64LoadCmd = |
| 503 | getSegment64LoadCommand(LCI); |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 504 | if (DRI.d.b < Segment64LoadCmd->NumSections) |
| 505 | return; |
| 506 | } |
| 507 | |
| 508 | DRI.d.a++; |
| 509 | DRI.d.b = 0; |
| 510 | } |
| 511 | } |
| 512 | |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 513 | error_code MachOObjectFile::getSectionNext(DataRefImpl DRI, |
| 514 | SectionRef &Result) const { |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 515 | DRI.d.b++; |
| 516 | moveToNextSection(DRI); |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 517 | Result = SectionRef(DRI, this); |
| 518 | return object_error::success; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 519 | } |
| 520 | |
Rafael Espindola | f305127 | 2013-04-07 17:41:59 +0000 | [diff] [blame] | 521 | static bool is64BitLoadCommand(const MachOObjectFile *MachOObj, |
| 522 | DataRefImpl DRI) { |
Rafael Espindola | 77638d9 | 2013-04-07 18:08:12 +0000 | [diff] [blame^] | 523 | MachOObjectFile::LoadCommandInfo LCI = |
| 524 | MachOObj->getLoadCommandInfo(DRI.d.a); |
| 525 | if (LCI.Command->Type == macho::LCT_Segment64) |
Rafael Espindola | c1cd6aa | 2013-04-05 18:18:19 +0000 | [diff] [blame] | 526 | return true; |
Rafael Espindola | 77638d9 | 2013-04-07 18:08:12 +0000 | [diff] [blame^] | 527 | assert(LCI.Command->Type == macho::LCT_Segment && "Unexpected Type."); |
Rafael Espindola | c1cd6aa | 2013-04-05 18:18:19 +0000 | [diff] [blame] | 528 | return false; |
| 529 | } |
| 530 | |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 531 | const MachOFormat::Section *MachOObjectFile::getSection(DataRefImpl DRI) const { |
Rafael Espindola | f305127 | 2013-04-07 17:41:59 +0000 | [diff] [blame] | 532 | assert(!is64BitLoadCommand(this, DRI)); |
| 533 | LoadCommandInfo LCI = getLoadCommandInfo(DRI.d.a); |
Rafael Espindola | c1cd6aa | 2013-04-05 18:18:19 +0000 | [diff] [blame] | 534 | unsigned SectionOffset = LCI.Offset + sizeof(macho::SegmentLoadCommand) + |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 535 | DRI.d.b * sizeof(MachOFormat::Section); |
| 536 | StringRef Data = MachOObj->getData(SectionOffset, sizeof(MachOFormat::Section)); |
| 537 | return reinterpret_cast<const MachOFormat::Section*>(Data.data()); |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 538 | } |
| 539 | |
Michael J. Spencer | 4344b1e | 2011-10-07 19:25:32 +0000 | [diff] [blame] | 540 | std::size_t MachOObjectFile::getSectionIndex(DataRefImpl Sec) const { |
| 541 | SectionList::const_iterator loc = |
| 542 | std::find(Sections.begin(), Sections.end(), Sec); |
| 543 | assert(loc != Sections.end() && "Sec is not a valid section!"); |
| 544 | return std::distance(Sections.begin(), loc); |
| 545 | } |
| 546 | |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 547 | const MachOFormat::Section64 * |
Rafael Espindola | c1cd6aa | 2013-04-05 18:18:19 +0000 | [diff] [blame] | 548 | MachOObjectFile::getSection64(DataRefImpl DRI) const { |
Rafael Espindola | f305127 | 2013-04-07 17:41:59 +0000 | [diff] [blame] | 549 | assert(is64BitLoadCommand(this, DRI)); |
| 550 | LoadCommandInfo LCI = getLoadCommandInfo(DRI.d.a); |
Rafael Espindola | c1cd6aa | 2013-04-05 18:18:19 +0000 | [diff] [blame] | 551 | unsigned SectionOffset = LCI.Offset + sizeof(macho::Segment64LoadCommand) + |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 552 | DRI.d.b * sizeof(MachOFormat::Section64); |
| 553 | StringRef Data = MachOObj->getData(SectionOffset, sizeof(MachOFormat::Section64)); |
| 554 | return reinterpret_cast<const MachOFormat::Section64*>(Data.data()); |
Benjamin Kramer | 7d14578 | 2011-07-15 00:14:48 +0000 | [diff] [blame] | 555 | } |
| 556 | |
Rafael Espindola | cef81b3 | 2012-12-21 03:47:03 +0000 | [diff] [blame] | 557 | static StringRef parseSegmentOrSectionName(const char *P) { |
| 558 | if (P[15] == 0) |
| 559 | // Null terminated. |
| 560 | return P; |
| 561 | // Not null terminated, so this is a 16 char string. |
| 562 | return StringRef(P, 16); |
| 563 | } |
| 564 | |
Rafael Espindola | f16c2bb | 2013-04-05 15:15:22 +0000 | [diff] [blame] | 565 | ArrayRef<char> MachOObjectFile::getSectionRawName(DataRefImpl DRI) const { |
Rafael Espindola | f305127 | 2013-04-07 17:41:59 +0000 | [diff] [blame] | 566 | if (is64BitLoadCommand(this, DRI)) { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 567 | const MachOFormat::Section64 *sec = getSection64(DRI); |
Rafael Espindola | c1cd6aa | 2013-04-05 18:18:19 +0000 | [diff] [blame] | 568 | return ArrayRef<char>(sec->Name); |
Benjamin Kramer | 7d14578 | 2011-07-15 00:14:48 +0000 | [diff] [blame] | 569 | } else { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 570 | const MachOFormat::Section *sec = getSection(DRI); |
Rafael Espindola | c1cd6aa | 2013-04-05 18:18:19 +0000 | [diff] [blame] | 571 | return ArrayRef<char>(sec->Name); |
Rafael Espindola | f9a6bd8 | 2012-12-19 14:15:04 +0000 | [diff] [blame] | 572 | } |
Rafael Espindola | f16c2bb | 2013-04-05 15:15:22 +0000 | [diff] [blame] | 573 | } |
| 574 | |
| 575 | error_code MachOObjectFile::getSectionName(DataRefImpl DRI, |
| 576 | StringRef &Result) const { |
| 577 | ArrayRef<char> Raw = getSectionRawName(DRI); |
| 578 | Result = parseSegmentOrSectionName(Raw.data()); |
Rafael Espindola | cef81b3 | 2012-12-21 03:47:03 +0000 | [diff] [blame] | 579 | return object_error::success; |
| 580 | } |
| 581 | |
Rafael Espindola | f16c2bb | 2013-04-05 15:15:22 +0000 | [diff] [blame] | 582 | ArrayRef<char> |
| 583 | MachOObjectFile::getSectionRawFinalSegmentName(DataRefImpl Sec) const { |
Rafael Espindola | f305127 | 2013-04-07 17:41:59 +0000 | [diff] [blame] | 584 | if (is64BitLoadCommand(this, Sec)) { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 585 | const MachOFormat::Section64 *sec = getSection64(Sec); |
Rafael Espindola | f16c2bb | 2013-04-05 15:15:22 +0000 | [diff] [blame] | 586 | return ArrayRef<char>(sec->SegmentName, 16); |
Rafael Espindola | cef81b3 | 2012-12-21 03:47:03 +0000 | [diff] [blame] | 587 | } else { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 588 | const MachOFormat::Section *sec = getSection(Sec); |
Rafael Espindola | f16c2bb | 2013-04-05 15:15:22 +0000 | [diff] [blame] | 589 | return ArrayRef<char>(sec->SegmentName); |
Rafael Espindola | cef81b3 | 2012-12-21 03:47:03 +0000 | [diff] [blame] | 590 | } |
Rafael Espindola | f16c2bb | 2013-04-05 15:15:22 +0000 | [diff] [blame] | 591 | } |
| 592 | |
| 593 | StringRef MachOObjectFile::getSectionFinalSegmentName(DataRefImpl DRI) const { |
| 594 | ArrayRef<char> Raw = getSectionRawFinalSegmentName(DRI); |
| 595 | return parseSegmentOrSectionName(Raw.data()); |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 596 | } |
| 597 | |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 598 | error_code MachOObjectFile::getSectionAddress(DataRefImpl DRI, |
| 599 | uint64_t &Result) const { |
Rafael Espindola | f305127 | 2013-04-07 17:41:59 +0000 | [diff] [blame] | 600 | if (is64BitLoadCommand(this, DRI)) { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 601 | const MachOFormat::Section64 *Sect = getSection64(DRI); |
Benjamin Kramer | 7d14578 | 2011-07-15 00:14:48 +0000 | [diff] [blame] | 602 | Result = Sect->Address; |
| 603 | } else { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 604 | const MachOFormat::Section *Sect = getSection(DRI); |
Benjamin Kramer | 7d14578 | 2011-07-15 00:14:48 +0000 | [diff] [blame] | 605 | Result = Sect->Address; |
| 606 | } |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 607 | return object_error::success; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 608 | } |
| 609 | |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 610 | error_code MachOObjectFile::getSectionSize(DataRefImpl DRI, |
| 611 | uint64_t &Result) const { |
Rafael Espindola | f305127 | 2013-04-07 17:41:59 +0000 | [diff] [blame] | 612 | if (is64BitLoadCommand(this, DRI)) { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 613 | const MachOFormat::Section64 *Sect = getSection64(DRI); |
Benjamin Kramer | 7d14578 | 2011-07-15 00:14:48 +0000 | [diff] [blame] | 614 | Result = Sect->Size; |
| 615 | } else { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 616 | const MachOFormat::Section *Sect = getSection(DRI); |
Benjamin Kramer | 7d14578 | 2011-07-15 00:14:48 +0000 | [diff] [blame] | 617 | Result = Sect->Size; |
| 618 | } |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 619 | return object_error::success; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 620 | } |
| 621 | |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 622 | error_code MachOObjectFile::getSectionContents(DataRefImpl DRI, |
| 623 | StringRef &Result) const { |
Rafael Espindola | f305127 | 2013-04-07 17:41:59 +0000 | [diff] [blame] | 624 | if (is64BitLoadCommand(this, DRI)) { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 625 | const MachOFormat::Section64 *Sect = getSection64(DRI); |
Benjamin Kramer | 7d14578 | 2011-07-15 00:14:48 +0000 | [diff] [blame] | 626 | Result = MachOObj->getData(Sect->Offset, Sect->Size); |
| 627 | } else { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 628 | const MachOFormat::Section *Sect = getSection(DRI); |
Benjamin Kramer | 7d14578 | 2011-07-15 00:14:48 +0000 | [diff] [blame] | 629 | Result = MachOObj->getData(Sect->Offset, Sect->Size); |
| 630 | } |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 631 | return object_error::success; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 632 | } |
| 633 | |
Michael J. Spencer | e2f2f07 | 2011-10-10 21:55:43 +0000 | [diff] [blame] | 634 | error_code MachOObjectFile::getSectionAlignment(DataRefImpl DRI, |
| 635 | uint64_t &Result) const { |
Rafael Espindola | f305127 | 2013-04-07 17:41:59 +0000 | [diff] [blame] | 636 | if (is64BitLoadCommand(this, DRI)) { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 637 | const MachOFormat::Section64 *Sect = getSection64(DRI); |
Michael J. Spencer | 15565ad | 2011-10-10 23:36:56 +0000 | [diff] [blame] | 638 | Result = uint64_t(1) << Sect->Align; |
Michael J. Spencer | e2f2f07 | 2011-10-10 21:55:43 +0000 | [diff] [blame] | 639 | } else { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 640 | const MachOFormat::Section *Sect = getSection(DRI); |
Michael J. Spencer | 15565ad | 2011-10-10 23:36:56 +0000 | [diff] [blame] | 641 | Result = uint64_t(1) << Sect->Align; |
Michael J. Spencer | e2f2f07 | 2011-10-10 21:55:43 +0000 | [diff] [blame] | 642 | } |
| 643 | return object_error::success; |
| 644 | } |
| 645 | |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 646 | error_code MachOObjectFile::isSectionText(DataRefImpl DRI, |
| 647 | bool &Result) const { |
Rafael Espindola | f305127 | 2013-04-07 17:41:59 +0000 | [diff] [blame] | 648 | if (is64BitLoadCommand(this, DRI)) { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 649 | const MachOFormat::Section64 *Sect = getSection64(DRI); |
Tim Northover | 1c2b2f9 | 2012-12-17 17:59:32 +0000 | [diff] [blame] | 650 | Result = Sect->Flags & macho::SF_PureInstructions; |
Benjamin Kramer | 7d14578 | 2011-07-15 00:14:48 +0000 | [diff] [blame] | 651 | } else { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 652 | const MachOFormat::Section *Sect = getSection(DRI); |
Tim Northover | 1c2b2f9 | 2012-12-17 17:59:32 +0000 | [diff] [blame] | 653 | Result = Sect->Flags & macho::SF_PureInstructions; |
Benjamin Kramer | 7d14578 | 2011-07-15 00:14:48 +0000 | [diff] [blame] | 654 | } |
Michael J. Spencer | 25b1577 | 2011-06-25 17:55:23 +0000 | [diff] [blame] | 655 | return object_error::success; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 656 | } |
| 657 | |
Michael J. Spencer | 13afc5e | 2011-09-28 20:57:30 +0000 | [diff] [blame] | 658 | error_code MachOObjectFile::isSectionData(DataRefImpl DRI, |
| 659 | bool &Result) const { |
| 660 | // FIXME: Unimplemented. |
| 661 | Result = false; |
| 662 | return object_error::success; |
| 663 | } |
| 664 | |
| 665 | error_code MachOObjectFile::isSectionBSS(DataRefImpl DRI, |
| 666 | bool &Result) const { |
| 667 | // FIXME: Unimplemented. |
| 668 | Result = false; |
| 669 | return object_error::success; |
| 670 | } |
| 671 | |
Preston Gurd | c68dda8 | 2012-04-12 20:13:57 +0000 | [diff] [blame] | 672 | error_code MachOObjectFile::isSectionRequiredForExecution(DataRefImpl Sec, |
| 673 | bool &Result) const { |
Andrew Kaylor | 30b20eb | 2012-10-10 01:45:52 +0000 | [diff] [blame] | 674 | // FIXME: Unimplemented. |
Preston Gurd | c68dda8 | 2012-04-12 20:13:57 +0000 | [diff] [blame] | 675 | Result = true; |
| 676 | return object_error::success; |
| 677 | } |
| 678 | |
| 679 | error_code MachOObjectFile::isSectionVirtual(DataRefImpl Sec, |
Andrew Kaylor | 30b20eb | 2012-10-10 01:45:52 +0000 | [diff] [blame] | 680 | bool &Result) const { |
| 681 | // FIXME: Unimplemented. |
Preston Gurd | c68dda8 | 2012-04-12 20:13:57 +0000 | [diff] [blame] | 682 | Result = false; |
| 683 | return object_error::success; |
| 684 | } |
| 685 | |
| 686 | error_code MachOObjectFile::isSectionZeroInit(DataRefImpl DRI, |
| 687 | bool &Result) const { |
| 688 | if (MachOObj->is64Bit()) { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 689 | const MachOFormat::Section64 *Sect = getSection64(DRI); |
Eli Friedman | 41827f9 | 2012-05-02 02:31:28 +0000 | [diff] [blame] | 690 | unsigned SectionType = Sect->Flags & MachO::SectionFlagMaskSectionType; |
| 691 | Result = (SectionType == MachO::SectionTypeZeroFill || |
| 692 | SectionType == MachO::SectionTypeZeroFillLarge); |
Preston Gurd | c68dda8 | 2012-04-12 20:13:57 +0000 | [diff] [blame] | 693 | } else { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 694 | const MachOFormat::Section *Sect = getSection(DRI); |
Eli Friedman | 41827f9 | 2012-05-02 02:31:28 +0000 | [diff] [blame] | 695 | unsigned SectionType = Sect->Flags & MachO::SectionFlagMaskSectionType; |
| 696 | Result = (SectionType == MachO::SectionTypeZeroFill || |
| 697 | SectionType == MachO::SectionTypeZeroFillLarge); |
Preston Gurd | c68dda8 | 2012-04-12 20:13:57 +0000 | [diff] [blame] | 698 | } |
| 699 | |
| 700 | return object_error::success; |
| 701 | } |
| 702 | |
Andrew Kaylor | 3a129c8 | 2012-10-10 01:41:33 +0000 | [diff] [blame] | 703 | error_code MachOObjectFile::isSectionReadOnlyData(DataRefImpl Sec, |
| 704 | bool &Result) const { |
| 705 | // Consider using the code from isSectionText to look for __const sections. |
| 706 | // Alternately, emit S_ATTR_PURE_INSTRUCTIONS and/or S_ATTR_SOME_INSTRUCTIONS |
| 707 | // to use section attributes to distinguish code from data. |
| 708 | |
| 709 | // FIXME: Unimplemented. |
| 710 | Result = false; |
| 711 | return object_error::success; |
| 712 | } |
| 713 | |
Benjamin Kramer | 07ea23a | 2011-07-15 18:39:21 +0000 | [diff] [blame] | 714 | error_code MachOObjectFile::sectionContainsSymbol(DataRefImpl Sec, |
| 715 | DataRefImpl Symb, |
| 716 | bool &Result) const { |
Michael J. Spencer | 1130a79 | 2011-10-17 20:19:29 +0000 | [diff] [blame] | 717 | SymbolRef::Type ST; |
Owen Anderson | cd74988 | 2011-10-12 22:21:32 +0000 | [diff] [blame] | 718 | getSymbolType(Symb, ST); |
David Meyer | 2c67727 | 2012-02-29 02:11:55 +0000 | [diff] [blame] | 719 | if (ST == SymbolRef::ST_Unknown) { |
Owen Anderson | cd74988 | 2011-10-12 22:21:32 +0000 | [diff] [blame] | 720 | Result = false; |
| 721 | return object_error::success; |
| 722 | } |
| 723 | |
| 724 | uint64_t SectBegin, SectEnd; |
| 725 | getSectionAddress(Sec, SectBegin); |
| 726 | getSectionSize(Sec, SectEnd); |
| 727 | SectEnd += SectBegin; |
| 728 | |
Benjamin Kramer | 07ea23a | 2011-07-15 18:39:21 +0000 | [diff] [blame] | 729 | if (MachOObj->is64Bit()) { |
Rafael Espindola | 05b5bdd | 2013-04-06 02:15:44 +0000 | [diff] [blame] | 730 | const MachOFormat::Symbol64TableEntry *Entry = getSymbol64TableEntry(Symb); |
Owen Anderson | cd74988 | 2011-10-12 22:21:32 +0000 | [diff] [blame] | 731 | uint64_t SymAddr= Entry->Value; |
| 732 | Result = (SymAddr >= SectBegin) && (SymAddr < SectEnd); |
Benjamin Kramer | 07ea23a | 2011-07-15 18:39:21 +0000 | [diff] [blame] | 733 | } else { |
Rafael Espindola | 00555c1 | 2013-04-06 01:59:05 +0000 | [diff] [blame] | 734 | const MachOFormat::SymbolTableEntry *Entry = getSymbolTableEntry(Symb); |
Owen Anderson | cd74988 | 2011-10-12 22:21:32 +0000 | [diff] [blame] | 735 | uint64_t SymAddr= Entry->Value; |
| 736 | Result = (SymAddr >= SectBegin) && (SymAddr < SectEnd); |
Benjamin Kramer | 07ea23a | 2011-07-15 18:39:21 +0000 | [diff] [blame] | 737 | } |
Owen Anderson | cd74988 | 2011-10-12 22:21:32 +0000 | [diff] [blame] | 738 | |
Benjamin Kramer | 07ea23a | 2011-07-15 18:39:21 +0000 | [diff] [blame] | 739 | return object_error::success; |
| 740 | } |
| 741 | |
Michael J. Spencer | 4344b1e | 2011-10-07 19:25:32 +0000 | [diff] [blame] | 742 | relocation_iterator MachOObjectFile::getSectionRelBegin(DataRefImpl Sec) const { |
| 743 | DataRefImpl ret; |
Michael J. Spencer | 4344b1e | 2011-10-07 19:25:32 +0000 | [diff] [blame] | 744 | ret.d.b = getSectionIndex(Sec); |
| 745 | return relocation_iterator(RelocationRef(ret, this)); |
| 746 | } |
| 747 | relocation_iterator MachOObjectFile::getSectionRelEnd(DataRefImpl Sec) const { |
| 748 | uint32_t last_reloc; |
Rafael Espindola | f305127 | 2013-04-07 17:41:59 +0000 | [diff] [blame] | 749 | if (is64BitLoadCommand(this, Sec)) { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 750 | const MachOFormat::Section64 *Sect = getSection64(Sec); |
Michael J. Spencer | 4344b1e | 2011-10-07 19:25:32 +0000 | [diff] [blame] | 751 | last_reloc = Sect->NumRelocationTableEntries; |
| 752 | } else { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 753 | const MachOFormat::Section *Sect = getSection(Sec); |
Michael J. Spencer | 4344b1e | 2011-10-07 19:25:32 +0000 | [diff] [blame] | 754 | last_reloc = Sect->NumRelocationTableEntries; |
| 755 | } |
| 756 | DataRefImpl ret; |
| 757 | ret.d.a = last_reloc; |
| 758 | ret.d.b = getSectionIndex(Sec); |
| 759 | return relocation_iterator(RelocationRef(ret, this)); |
| 760 | } |
| 761 | |
| 762 | section_iterator MachOObjectFile::begin_sections() const { |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 763 | DataRefImpl DRI; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 764 | moveToNextSection(DRI); |
| 765 | return section_iterator(SectionRef(DRI, this)); |
| 766 | } |
| 767 | |
Michael J. Spencer | 4344b1e | 2011-10-07 19:25:32 +0000 | [diff] [blame] | 768 | section_iterator MachOObjectFile::end_sections() const { |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 769 | DataRefImpl DRI; |
| 770 | DRI.d.a = MachOObj->getHeader().NumLoadCommands; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 771 | return section_iterator(SectionRef(DRI, this)); |
| 772 | } |
| 773 | |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 774 | /*===-- Relocations -------------------------------------------------------===*/ |
| 775 | |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 776 | const MachOFormat::RelocationEntry * |
| 777 | MachOObjectFile::getRelocation(DataRefImpl Rel) const { |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 778 | uint32_t relOffset; |
| 779 | if (MachOObj->is64Bit()) { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 780 | const MachOFormat::Section64 *Sect = getSection64(Sections[Rel.d.b]); |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 781 | relOffset = Sect->RelocationTableOffset; |
| 782 | } else { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 783 | const MachOFormat::Section *Sect = getSection(Sections[Rel.d.b]); |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 784 | relOffset = Sect->RelocationTableOffset; |
| 785 | } |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 786 | uint64_t Offset = relOffset + Rel.d.a * sizeof(MachOFormat::RelocationEntry); |
| 787 | StringRef Data = |
| 788 | MachOObj->getData(Offset, sizeof(MachOFormat::RelocationEntry)); |
| 789 | return reinterpret_cast<const MachOFormat::RelocationEntry*>(Data.data()); |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 790 | } |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 791 | |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 792 | error_code MachOObjectFile::getRelocationNext(DataRefImpl Rel, |
| 793 | RelocationRef &Res) const { |
| 794 | ++Rel.d.a; |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 795 | Res = RelocationRef(Rel, this); |
| 796 | return object_error::success; |
| 797 | } |
| 798 | error_code MachOObjectFile::getRelocationAddress(DataRefImpl Rel, |
| 799 | uint64_t &Res) const { |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 800 | const uint8_t* sectAddress = 0; |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 801 | if (MachOObj->is64Bit()) { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 802 | const MachOFormat::Section64 *Sect = getSection64(Sections[Rel.d.b]); |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 803 | sectAddress += Sect->Address; |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 804 | } else { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 805 | const MachOFormat::Section *Sect = getSection(Sections[Rel.d.b]); |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 806 | sectAddress += Sect->Address; |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 807 | } |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 808 | const MachOFormat::RelocationEntry *RE = getRelocation(Rel); |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 809 | |
| 810 | unsigned Arch = getArch(); |
| 811 | bool isScattered = (Arch != Triple::x86_64) && |
| 812 | (RE->Word0 & macho::RF_Scattered); |
| 813 | uint64_t RelAddr = 0; |
Danil Malyshev | b0436a7 | 2011-11-29 17:40:10 +0000 | [diff] [blame] | 814 | if (isScattered) |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 815 | RelAddr = RE->Word0 & 0xFFFFFF; |
| 816 | else |
| 817 | RelAddr = RE->Word0; |
| 818 | |
| 819 | Res = reinterpret_cast<uintptr_t>(sectAddress + RelAddr); |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 820 | return object_error::success; |
| 821 | } |
Danil Malyshev | b0436a7 | 2011-11-29 17:40:10 +0000 | [diff] [blame] | 822 | error_code MachOObjectFile::getRelocationOffset(DataRefImpl Rel, |
| 823 | uint64_t &Res) const { |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 824 | const MachOFormat::RelocationEntry *RE = getRelocation(Rel); |
Danil Malyshev | b0436a7 | 2011-11-29 17:40:10 +0000 | [diff] [blame] | 825 | |
| 826 | unsigned Arch = getArch(); |
| 827 | bool isScattered = (Arch != Triple::x86_64) && |
| 828 | (RE->Word0 & macho::RF_Scattered); |
| 829 | if (isScattered) |
| 830 | Res = RE->Word0 & 0xFFFFFF; |
| 831 | else |
| 832 | Res = RE->Word0; |
| 833 | return object_error::success; |
| 834 | } |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 835 | error_code MachOObjectFile::getRelocationSymbol(DataRefImpl Rel, |
| 836 | SymbolRef &Res) const { |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 837 | const MachOFormat::RelocationEntry *RE = getRelocation(Rel); |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 838 | uint32_t SymbolIdx = RE->Word1 & 0xffffff; |
| 839 | bool isExtern = (RE->Word1 >> 27) & 1; |
| 840 | |
| 841 | DataRefImpl Sym; |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 842 | moveToNextSymbol(Sym); |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 843 | if (isExtern) { |
| 844 | for (unsigned i = 0; i < SymbolIdx; i++) { |
| 845 | Sym.d.b++; |
| 846 | moveToNextSymbol(Sym); |
Nick Lewycky | 58856ea | 2011-09-09 00:16:50 +0000 | [diff] [blame] | 847 | assert(Sym.d.a < MachOObj->getHeader().NumLoadCommands && |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 848 | "Relocation symbol index out of range!"); |
| 849 | } |
| 850 | } |
| 851 | Res = SymbolRef(Sym, this); |
| 852 | return object_error::success; |
| 853 | } |
| 854 | error_code MachOObjectFile::getRelocationType(DataRefImpl Rel, |
Owen Anderson | 9472b8d | 2011-10-26 17:08:49 +0000 | [diff] [blame] | 855 | uint64_t &Res) const { |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 856 | const MachOFormat::RelocationEntry *RE = getRelocation(Rel); |
Owen Anderson | f8261e7 | 2011-10-26 17:10:22 +0000 | [diff] [blame] | 857 | Res = RE->Word0; |
| 858 | Res <<= 32; |
| 859 | Res |= RE->Word1; |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 860 | return object_error::success; |
| 861 | } |
Michael J. Spencer | 4344b1e | 2011-10-07 19:25:32 +0000 | [diff] [blame] | 862 | error_code MachOObjectFile::getRelocationTypeName(DataRefImpl Rel, |
| 863 | SmallVectorImpl<char> &Result) const { |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 864 | // TODO: Support scattered relocations. |
| 865 | StringRef res; |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 866 | const MachOFormat::RelocationEntry *RE = getRelocation(Rel); |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 867 | |
| 868 | unsigned Arch = getArch(); |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 869 | bool isScattered = (Arch != Triple::x86_64) && |
| 870 | (RE->Word0 & macho::RF_Scattered); |
| 871 | |
| 872 | unsigned r_type; |
| 873 | if (isScattered) |
| 874 | r_type = (RE->Word0 >> 24) & 0xF; |
| 875 | else |
| 876 | r_type = (RE->Word1 >> 28) & 0xF; |
| 877 | |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 878 | switch (Arch) { |
| 879 | case Triple::x86: { |
Craig Topper | e329810 | 2012-05-24 06:35:32 +0000 | [diff] [blame] | 880 | static const char *const Table[] = { |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 881 | "GENERIC_RELOC_VANILLA", |
| 882 | "GENERIC_RELOC_PAIR", |
| 883 | "GENERIC_RELOC_SECTDIFF", |
Owen Anderson | eb6bd33 | 2011-10-27 20:46:09 +0000 | [diff] [blame] | 884 | "GENERIC_RELOC_PB_LA_PTR", |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 885 | "GENERIC_RELOC_LOCAL_SECTDIFF", |
Owen Anderson | eb6bd33 | 2011-10-27 20:46:09 +0000 | [diff] [blame] | 886 | "GENERIC_RELOC_TLV" }; |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 887 | |
Owen Anderson | eb6bd33 | 2011-10-27 20:46:09 +0000 | [diff] [blame] | 888 | if (r_type > 6) |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 889 | res = "Unknown"; |
| 890 | else |
| 891 | res = Table[r_type]; |
| 892 | break; |
| 893 | } |
| 894 | case Triple::x86_64: { |
Craig Topper | e329810 | 2012-05-24 06:35:32 +0000 | [diff] [blame] | 895 | static const char *const Table[] = { |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 896 | "X86_64_RELOC_UNSIGNED", |
| 897 | "X86_64_RELOC_SIGNED", |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 898 | "X86_64_RELOC_BRANCH", |
| 899 | "X86_64_RELOC_GOT_LOAD", |
| 900 | "X86_64_RELOC_GOT", |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 901 | "X86_64_RELOC_SUBTRACTOR", |
| 902 | "X86_64_RELOC_SIGNED_1", |
| 903 | "X86_64_RELOC_SIGNED_2", |
| 904 | "X86_64_RELOC_SIGNED_4", |
| 905 | "X86_64_RELOC_TLV" }; |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 906 | |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 907 | if (r_type > 9) |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 908 | res = "Unknown"; |
| 909 | else |
| 910 | res = Table[r_type]; |
| 911 | break; |
| 912 | } |
| 913 | case Triple::arm: { |
Craig Topper | e329810 | 2012-05-24 06:35:32 +0000 | [diff] [blame] | 914 | static const char *const Table[] = { |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 915 | "ARM_RELOC_VANILLA", |
| 916 | "ARM_RELOC_PAIR", |
| 917 | "ARM_RELOC_SECTDIFF", |
| 918 | "ARM_RELOC_LOCAL_SECTDIFF", |
| 919 | "ARM_RELOC_PB_LA_PTR", |
| 920 | "ARM_RELOC_BR24", |
| 921 | "ARM_THUMB_RELOC_BR22", |
| 922 | "ARM_THUMB_32BIT_BRANCH", |
| 923 | "ARM_RELOC_HALF", |
| 924 | "ARM_RELOC_HALF_SECTDIFF" }; |
| 925 | |
| 926 | if (r_type > 9) |
| 927 | res = "Unknown"; |
| 928 | else |
| 929 | res = Table[r_type]; |
| 930 | break; |
| 931 | } |
| 932 | case Triple::ppc: { |
Craig Topper | e329810 | 2012-05-24 06:35:32 +0000 | [diff] [blame] | 933 | static const char *const Table[] = { |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 934 | "PPC_RELOC_VANILLA", |
| 935 | "PPC_RELOC_PAIR", |
| 936 | "PPC_RELOC_BR14", |
| 937 | "PPC_RELOC_BR24", |
| 938 | "PPC_RELOC_HI16", |
| 939 | "PPC_RELOC_LO16", |
| 940 | "PPC_RELOC_HA16", |
| 941 | "PPC_RELOC_LO14", |
| 942 | "PPC_RELOC_SECTDIFF", |
| 943 | "PPC_RELOC_PB_LA_PTR", |
| 944 | "PPC_RELOC_HI16_SECTDIFF", |
| 945 | "PPC_RELOC_LO16_SECTDIFF", |
| 946 | "PPC_RELOC_HA16_SECTDIFF", |
| 947 | "PPC_RELOC_JBSR", |
| 948 | "PPC_RELOC_LO14_SECTDIFF", |
| 949 | "PPC_RELOC_LOCAL_SECTDIFF" }; |
| 950 | |
| 951 | res = Table[r_type]; |
| 952 | break; |
| 953 | } |
| 954 | case Triple::UnknownArch: |
| 955 | res = "Unknown"; |
| 956 | break; |
| 957 | } |
Owen Anderson | 5f4e02c | 2011-10-24 20:19:18 +0000 | [diff] [blame] | 958 | Result.append(res.begin(), res.end()); |
Michael J. Spencer | 4344b1e | 2011-10-07 19:25:32 +0000 | [diff] [blame] | 959 | return object_error::success; |
| 960 | } |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 961 | error_code MachOObjectFile::getRelocationAdditionalInfo(DataRefImpl Rel, |
| 962 | int64_t &Res) const { |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 963 | const MachOFormat::RelocationEntry *RE = getRelocation(Rel); |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 964 | bool isExtern = (RE->Word1 >> 27) & 1; |
| 965 | Res = 0; |
| 966 | if (!isExtern) { |
| 967 | const uint8_t* sectAddress = base(); |
| 968 | if (MachOObj->is64Bit()) { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 969 | const MachOFormat::Section64 *Sect = getSection64(Sections[Rel.d.b]); |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 970 | sectAddress += Sect->Offset; |
| 971 | } else { |
Rafael Espindola | 0e5dc8a | 2013-04-05 18:45:28 +0000 | [diff] [blame] | 972 | const MachOFormat::Section *Sect = getSection(Sections[Rel.d.b]); |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 973 | sectAddress += Sect->Offset; |
| 974 | } |
| 975 | Res = reinterpret_cast<uintptr_t>(sectAddress); |
| 976 | } |
| 977 | return object_error::success; |
| 978 | } |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 979 | |
| 980 | // Helper to advance a section or symbol iterator multiple increments at a time. |
| 981 | template<class T> |
| 982 | error_code advance(T &it, size_t Val) { |
| 983 | error_code ec; |
| 984 | while (Val--) { |
| 985 | it.increment(ec); |
| 986 | } |
| 987 | return ec; |
| 988 | } |
| 989 | |
| 990 | template<class T> |
| 991 | void advanceTo(T &it, size_t Val) { |
| 992 | if (error_code ec = advance(it, Val)) |
| 993 | report_fatal_error(ec.message()); |
| 994 | } |
| 995 | |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 996 | void MachOObjectFile::printRelocationTargetName( |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 997 | const MachOFormat::RelocationEntry *RE, |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 998 | raw_string_ostream &fmt) const { |
| 999 | unsigned Arch = getArch(); |
| 1000 | bool isScattered = (Arch != Triple::x86_64) && |
| 1001 | (RE->Word0 & macho::RF_Scattered); |
| 1002 | |
| 1003 | // Target of a scattered relocation is an address. In the interest of |
| 1004 | // generating pretty output, scan through the symbol table looking for a |
| 1005 | // symbol that aligns with that address. If we find one, print it. |
| 1006 | // Otherwise, we just print the hex address of the target. |
| 1007 | if (isScattered) { |
| 1008 | uint32_t Val = RE->Word1; |
| 1009 | |
| 1010 | error_code ec; |
| 1011 | for (symbol_iterator SI = begin_symbols(), SE = end_symbols(); SI != SE; |
| 1012 | SI.increment(ec)) { |
| 1013 | if (ec) report_fatal_error(ec.message()); |
| 1014 | |
| 1015 | uint64_t Addr; |
| 1016 | StringRef Name; |
| 1017 | |
| 1018 | if ((ec = SI->getAddress(Addr))) |
| 1019 | report_fatal_error(ec.message()); |
| 1020 | if (Addr != Val) continue; |
| 1021 | if ((ec = SI->getName(Name))) |
| 1022 | report_fatal_error(ec.message()); |
| 1023 | fmt << Name; |
| 1024 | return; |
| 1025 | } |
| 1026 | |
Owen Anderson | b28bdbf | 2011-10-27 21:53:50 +0000 | [diff] [blame] | 1027 | // If we couldn't find a symbol that this relocation refers to, try |
| 1028 | // to find a section beginning instead. |
| 1029 | for (section_iterator SI = begin_sections(), SE = end_sections(); SI != SE; |
| 1030 | SI.increment(ec)) { |
| 1031 | if (ec) report_fatal_error(ec.message()); |
| 1032 | |
| 1033 | uint64_t Addr; |
| 1034 | StringRef Name; |
| 1035 | |
| 1036 | if ((ec = SI->getAddress(Addr))) |
| 1037 | report_fatal_error(ec.message()); |
| 1038 | if (Addr != Val) continue; |
| 1039 | if ((ec = SI->getName(Name))) |
| 1040 | report_fatal_error(ec.message()); |
| 1041 | fmt << Name; |
| 1042 | return; |
| 1043 | } |
| 1044 | |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1045 | fmt << format("0x%x", Val); |
| 1046 | return; |
| 1047 | } |
| 1048 | |
| 1049 | StringRef S; |
| 1050 | bool isExtern = (RE->Word1 >> 27) & 1; |
| 1051 | uint32_t Val = RE->Word1 & 0xFFFFFF; |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1052 | |
| 1053 | if (isExtern) { |
| 1054 | symbol_iterator SI = begin_symbols(); |
| 1055 | advanceTo(SI, Val); |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1056 | SI->getName(S); |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1057 | } else { |
| 1058 | section_iterator SI = begin_sections(); |
| 1059 | advanceTo(SI, Val); |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1060 | SI->getName(S); |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1061 | } |
| 1062 | |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1063 | fmt << S; |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1064 | } |
| 1065 | |
Michael J. Spencer | 4344b1e | 2011-10-07 19:25:32 +0000 | [diff] [blame] | 1066 | error_code MachOObjectFile::getRelocationValueString(DataRefImpl Rel, |
| 1067 | SmallVectorImpl<char> &Result) const { |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 1068 | const MachOFormat::RelocationEntry *RE = getRelocation(Rel); |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 1069 | |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1070 | unsigned Arch = getArch(); |
| 1071 | bool isScattered = (Arch != Triple::x86_64) && |
| 1072 | (RE->Word0 & macho::RF_Scattered); |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1073 | |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1074 | std::string fmtbuf; |
| 1075 | raw_string_ostream fmt(fmtbuf); |
| 1076 | |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1077 | unsigned Type; |
| 1078 | if (isScattered) |
| 1079 | Type = (RE->Word0 >> 24) & 0xF; |
| 1080 | else |
| 1081 | Type = (RE->Word1 >> 28) & 0xF; |
| 1082 | |
Owen Anderson | eb6bd33 | 2011-10-27 20:46:09 +0000 | [diff] [blame] | 1083 | bool isPCRel; |
| 1084 | if (isScattered) |
| 1085 | isPCRel = ((RE->Word0 >> 30) & 1); |
| 1086 | else |
| 1087 | isPCRel = ((RE->Word1 >> 24) & 1); |
| 1088 | |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1089 | // Determine any addends that should be displayed with the relocation. |
| 1090 | // These require decoding the relocation type, which is triple-specific. |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1091 | |
| 1092 | // X86_64 has entirely custom relocation types. |
| 1093 | if (Arch == Triple::x86_64) { |
Owen Anderson | 929e27c | 2011-10-26 17:05:20 +0000 | [diff] [blame] | 1094 | bool isPCRel = ((RE->Word1 >> 24) & 1); |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1095 | |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1096 | switch (Type) { |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1097 | case macho::RIT_X86_64_GOTLoad: // X86_64_RELOC_GOT_LOAD |
| 1098 | case macho::RIT_X86_64_GOT: { // X86_64_RELOC_GOT |
| 1099 | printRelocationTargetName(RE, fmt); |
| 1100 | fmt << "@GOT"; |
Owen Anderson | 929e27c | 2011-10-26 17:05:20 +0000 | [diff] [blame] | 1101 | if (isPCRel) fmt << "PCREL"; |
| 1102 | break; |
| 1103 | } |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1104 | case macho::RIT_X86_64_Subtractor: { // X86_64_RELOC_SUBTRACTOR |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1105 | DataRefImpl RelNext = Rel; |
| 1106 | RelNext.d.a++; |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 1107 | const MachOFormat::RelocationEntry *RENext = getRelocation(RelNext); |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1108 | |
| 1109 | // X86_64_SUBTRACTOR must be followed by a relocation of type |
| 1110 | // X86_64_RELOC_UNSIGNED. |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1111 | // NOTE: Scattered relocations don't exist on x86_64. |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1112 | unsigned RType = (RENext->Word1 >> 28) & 0xF; |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1113 | if (RType != 0) |
| 1114 | report_fatal_error("Expected X86_64_RELOC_UNSIGNED after " |
| 1115 | "X86_64_RELOC_SUBTRACTOR."); |
| 1116 | |
Owen Anderson | ef22f78 | 2011-10-26 17:28:49 +0000 | [diff] [blame] | 1117 | // The X86_64_RELOC_UNSIGNED contains the minuend symbol, |
| 1118 | // X86_64_SUBTRACTOR contains to the subtrahend. |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1119 | printRelocationTargetName(RENext, fmt); |
| 1120 | fmt << "-"; |
| 1121 | printRelocationTargetName(RE, fmt); |
Jim Grosbach | 133f6b8 | 2013-01-31 19:46:57 +0000 | [diff] [blame] | 1122 | break; |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1123 | } |
Owen Anderson | eb6bd33 | 2011-10-27 20:46:09 +0000 | [diff] [blame] | 1124 | case macho::RIT_X86_64_TLV: |
| 1125 | printRelocationTargetName(RE, fmt); |
| 1126 | fmt << "@TLV"; |
| 1127 | if (isPCRel) fmt << "P"; |
| 1128 | break; |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1129 | case macho::RIT_X86_64_Signed1: // X86_64_RELOC_SIGNED1 |
| 1130 | printRelocationTargetName(RE, fmt); |
| 1131 | fmt << "-1"; |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1132 | break; |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1133 | case macho::RIT_X86_64_Signed2: // X86_64_RELOC_SIGNED2 |
| 1134 | printRelocationTargetName(RE, fmt); |
| 1135 | fmt << "-2"; |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1136 | break; |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1137 | case macho::RIT_X86_64_Signed4: // X86_64_RELOC_SIGNED4 |
| 1138 | printRelocationTargetName(RE, fmt); |
| 1139 | fmt << "-4"; |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1140 | break; |
| 1141 | default: |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1142 | printRelocationTargetName(RE, fmt); |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1143 | break; |
| 1144 | } |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1145 | // X86 and ARM share some relocation types in common. |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1146 | } else if (Arch == Triple::x86 || Arch == Triple::arm) { |
| 1147 | // Generic relocation types... |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1148 | switch (Type) { |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1149 | case macho::RIT_Pair: // GENERIC_RELOC_PAIR - prints no info |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1150 | return object_error::success; |
Owen Anderson | eb6bd33 | 2011-10-27 20:46:09 +0000 | [diff] [blame] | 1151 | case macho::RIT_Difference: { // GENERIC_RELOC_SECTDIFF |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1152 | DataRefImpl RelNext = Rel; |
| 1153 | RelNext.d.a++; |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 1154 | const MachOFormat::RelocationEntry *RENext = getRelocation(RelNext); |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1155 | |
| 1156 | // X86 sect diff's must be followed by a relocation of type |
| 1157 | // GENERIC_RELOC_PAIR. |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1158 | bool isNextScattered = (Arch != Triple::x86_64) && |
| 1159 | (RENext->Word0 & macho::RF_Scattered); |
| 1160 | unsigned RType; |
| 1161 | if (isNextScattered) |
| 1162 | RType = (RENext->Word0 >> 24) & 0xF; |
| 1163 | else |
| 1164 | RType = (RENext->Word1 >> 28) & 0xF; |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1165 | if (RType != 1) |
| 1166 | report_fatal_error("Expected GENERIC_RELOC_PAIR after " |
Owen Anderson | eb6bd33 | 2011-10-27 20:46:09 +0000 | [diff] [blame] | 1167 | "GENERIC_RELOC_SECTDIFF."); |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1168 | |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1169 | printRelocationTargetName(RE, fmt); |
| 1170 | fmt << "-"; |
| 1171 | printRelocationTargetName(RENext, fmt); |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1172 | break; |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1173 | } |
| 1174 | } |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1175 | |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1176 | if (Arch == Triple::x86) { |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1177 | // All X86 relocations that need special printing were already |
| 1178 | // handled in the generic code. |
Owen Anderson | eb6bd33 | 2011-10-27 20:46:09 +0000 | [diff] [blame] | 1179 | switch (Type) { |
| 1180 | case macho::RIT_Generic_LocalDifference:{// GENERIC_RELOC_LOCAL_SECTDIFF |
Owen Anderson | eb6bd33 | 2011-10-27 20:46:09 +0000 | [diff] [blame] | 1181 | DataRefImpl RelNext = Rel; |
| 1182 | RelNext.d.a++; |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 1183 | const MachOFormat::RelocationEntry *RENext = getRelocation(RelNext); |
Owen Anderson | eb6bd33 | 2011-10-27 20:46:09 +0000 | [diff] [blame] | 1184 | |
| 1185 | // X86 sect diff's must be followed by a relocation of type |
| 1186 | // GENERIC_RELOC_PAIR. |
| 1187 | bool isNextScattered = (Arch != Triple::x86_64) && |
| 1188 | (RENext->Word0 & macho::RF_Scattered); |
| 1189 | unsigned RType; |
| 1190 | if (isNextScattered) |
| 1191 | RType = (RENext->Word0 >> 24) & 0xF; |
| 1192 | else |
| 1193 | RType = (RENext->Word1 >> 28) & 0xF; |
| 1194 | if (RType != 1) |
| 1195 | report_fatal_error("Expected GENERIC_RELOC_PAIR after " |
| 1196 | "GENERIC_RELOC_LOCAL_SECTDIFF."); |
| 1197 | |
| 1198 | printRelocationTargetName(RE, fmt); |
| 1199 | fmt << "-"; |
| 1200 | printRelocationTargetName(RENext, fmt); |
| 1201 | break; |
| 1202 | } |
| 1203 | case macho::RIT_Generic_TLV: { |
| 1204 | printRelocationTargetName(RE, fmt); |
| 1205 | fmt << "@TLV"; |
| 1206 | if (isPCRel) fmt << "P"; |
| 1207 | break; |
| 1208 | } |
| 1209 | default: |
| 1210 | printRelocationTargetName(RE, fmt); |
| 1211 | } |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1212 | } else { // ARM-specific relocations |
| 1213 | switch (Type) { |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1214 | case macho::RIT_ARM_Half: // ARM_RELOC_HALF |
| 1215 | case macho::RIT_ARM_HalfDifference: { // ARM_RELOC_HALF_SECTDIFF |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1216 | // Half relocations steal a bit from the length field to encode |
| 1217 | // whether this is an upper16 or a lower16 relocation. |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1218 | bool isUpper; |
| 1219 | if (isScattered) |
| 1220 | isUpper = (RE->Word0 >> 28) & 1; |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1221 | else |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1222 | isUpper = (RE->Word1 >> 25) & 1; |
| 1223 | |
| 1224 | if (isUpper) |
| 1225 | fmt << ":upper16:("; |
| 1226 | else |
| 1227 | fmt << ":lower16:("; |
| 1228 | printRelocationTargetName(RE, fmt); |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1229 | |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1230 | DataRefImpl RelNext = Rel; |
| 1231 | RelNext.d.a++; |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 1232 | const MachOFormat::RelocationEntry *RENext = getRelocation(RelNext); |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1233 | |
| 1234 | // ARM half relocs must be followed by a relocation of type |
| 1235 | // ARM_RELOC_PAIR. |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1236 | bool isNextScattered = (Arch != Triple::x86_64) && |
| 1237 | (RENext->Word0 & macho::RF_Scattered); |
| 1238 | unsigned RType; |
| 1239 | if (isNextScattered) |
| 1240 | RType = (RENext->Word0 >> 24) & 0xF; |
| 1241 | else |
| 1242 | RType = (RENext->Word1 >> 28) & 0xF; |
| 1243 | |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1244 | if (RType != 1) |
| 1245 | report_fatal_error("Expected ARM_RELOC_PAIR after " |
| 1246 | "GENERIC_RELOC_HALF"); |
| 1247 | |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1248 | // NOTE: The half of the target virtual address is stashed in the |
| 1249 | // address field of the secondary relocation, but we can't reverse |
| 1250 | // engineer the constant offset from it without decoding the movw/movt |
| 1251 | // instruction to find the other half in its immediate field. |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1252 | |
| 1253 | // ARM_RELOC_HALF_SECTDIFF encodes the second section in the |
| 1254 | // symbol/section pointer of the follow-on relocation. |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1255 | if (Type == macho::RIT_ARM_HalfDifference) { |
| 1256 | fmt << "-"; |
| 1257 | printRelocationTargetName(RENext, fmt); |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1258 | } |
| 1259 | |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1260 | fmt << ")"; |
| 1261 | break; |
| 1262 | } |
| 1263 | default: { |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1264 | printRelocationTargetName(RE, fmt); |
Owen Anderson | 013d756 | 2011-10-25 18:48:41 +0000 | [diff] [blame] | 1265 | } |
| 1266 | } |
| 1267 | } |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1268 | } else |
| 1269 | printRelocationTargetName(RE, fmt); |
Owen Anderson | d8fa76d | 2011-10-24 23:20:07 +0000 | [diff] [blame] | 1270 | |
Owen Anderson | 0135fe1 | 2011-10-24 21:44:00 +0000 | [diff] [blame] | 1271 | fmt.flush(); |
| 1272 | Result.append(fmtbuf.begin(), fmtbuf.end()); |
Michael J. Spencer | 4344b1e | 2011-10-07 19:25:32 +0000 | [diff] [blame] | 1273 | return object_error::success; |
Benjamin Kramer | 0fcab07 | 2011-09-08 20:52:17 +0000 | [diff] [blame] | 1274 | } |
| 1275 | |
Owen Anderson | 0685e94 | 2011-10-25 20:35:53 +0000 | [diff] [blame] | 1276 | error_code MachOObjectFile::getRelocationHidden(DataRefImpl Rel, |
| 1277 | bool &Result) const { |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 1278 | const MachOFormat::RelocationEntry *RE = getRelocation(Rel); |
Owen Anderson | 0685e94 | 2011-10-25 20:35:53 +0000 | [diff] [blame] | 1279 | |
Owen Anderson | 0685e94 | 2011-10-25 20:35:53 +0000 | [diff] [blame] | 1280 | unsigned Arch = getArch(); |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1281 | bool isScattered = (Arch != Triple::x86_64) && |
| 1282 | (RE->Word0 & macho::RF_Scattered); |
| 1283 | unsigned Type; |
| 1284 | if (isScattered) |
| 1285 | Type = (RE->Word0 >> 24) & 0xF; |
| 1286 | else |
| 1287 | Type = (RE->Word1 >> 28) & 0xF; |
Owen Anderson | 0685e94 | 2011-10-25 20:35:53 +0000 | [diff] [blame] | 1288 | |
| 1289 | Result = false; |
| 1290 | |
| 1291 | // On arches that use the generic relocations, GENERIC_RELOC_PAIR |
| 1292 | // is always hidden. |
| 1293 | if (Arch == Triple::x86 || Arch == Triple::arm) { |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1294 | if (Type == macho::RIT_Pair) Result = true; |
Owen Anderson | 0685e94 | 2011-10-25 20:35:53 +0000 | [diff] [blame] | 1295 | } else if (Arch == Triple::x86_64) { |
| 1296 | // On x86_64, X86_64_RELOC_UNSIGNED is hidden only when it follows |
| 1297 | // an X864_64_RELOC_SUBTRACTOR. |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1298 | if (Type == macho::RIT_X86_64_Unsigned && Rel.d.a > 0) { |
Owen Anderson | 0685e94 | 2011-10-25 20:35:53 +0000 | [diff] [blame] | 1299 | DataRefImpl RelPrev = Rel; |
| 1300 | RelPrev.d.a--; |
Rafael Espindola | 5cf0f51 | 2013-04-06 01:24:11 +0000 | [diff] [blame] | 1301 | const MachOFormat::RelocationEntry *REPrev = getRelocation(RelPrev); |
Owen Anderson | 0685e94 | 2011-10-25 20:35:53 +0000 | [diff] [blame] | 1302 | |
| 1303 | unsigned PrevType = (REPrev->Word1 >> 28) & 0xF; |
| 1304 | |
Owen Anderson | 1832f4d | 2011-10-26 20:42:54 +0000 | [diff] [blame] | 1305 | if (PrevType == macho::RIT_X86_64_Subtractor) Result = true; |
Owen Anderson | 0685e94 | 2011-10-25 20:35:53 +0000 | [diff] [blame] | 1306 | } |
| 1307 | } |
| 1308 | |
| 1309 | return object_error::success; |
| 1310 | } |
| 1311 | |
David Meyer | 5c2b4ea | 2012-03-01 01:36:50 +0000 | [diff] [blame] | 1312 | error_code MachOObjectFile::getLibraryNext(DataRefImpl LibData, |
| 1313 | LibraryRef &Res) const { |
| 1314 | report_fatal_error("Needed libraries unimplemented in MachOObjectFile"); |
| 1315 | } |
| 1316 | |
| 1317 | error_code MachOObjectFile::getLibraryPath(DataRefImpl LibData, |
| 1318 | StringRef &Res) const { |
| 1319 | report_fatal_error("Needed libraries unimplemented in MachOObjectFile"); |
| 1320 | } |
| 1321 | |
| 1322 | |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 1323 | /*===-- Miscellaneous -----------------------------------------------------===*/ |
| 1324 | |
| 1325 | uint8_t MachOObjectFile::getBytesInAddress() const { |
| 1326 | return MachOObj->is64Bit() ? 8 : 4; |
| 1327 | } |
| 1328 | |
| 1329 | StringRef MachOObjectFile::getFileFormatName() const { |
| 1330 | if (!MachOObj->is64Bit()) { |
| 1331 | switch (MachOObj->getHeader().CPUType) { |
Eric Christopher | f4b2f93 | 2011-04-22 06:34:01 +0000 | [diff] [blame] | 1332 | case llvm::MachO::CPUTypeI386: |
Eric Christopher | 9ab1d7f | 2011-04-22 04:08:58 +0000 | [diff] [blame] | 1333 | return "Mach-O 32-bit i386"; |
Eric Christopher | f4b2f93 | 2011-04-22 06:34:01 +0000 | [diff] [blame] | 1334 | case llvm::MachO::CPUTypeARM: |
Eric Christopher | 9ab1d7f | 2011-04-22 04:08:58 +0000 | [diff] [blame] | 1335 | return "Mach-O arm"; |
Eric Christopher | f4b2f93 | 2011-04-22 06:34:01 +0000 | [diff] [blame] | 1336 | case llvm::MachO::CPUTypePowerPC: |
Eric Christopher | 9ab1d7f | 2011-04-22 04:08:58 +0000 | [diff] [blame] | 1337 | return "Mach-O 32-bit ppc"; |
| 1338 | default: |
Eric Christopher | f4b2f93 | 2011-04-22 06:34:01 +0000 | [diff] [blame] | 1339 | assert((MachOObj->getHeader().CPUType & llvm::MachO::CPUArchABI64) == 0 && |
Eric Christopher | 9ab1d7f | 2011-04-22 04:08:58 +0000 | [diff] [blame] | 1340 | "64-bit object file when we're not 64-bit?"); |
| 1341 | return "Mach-O 32-bit unknown"; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 1342 | } |
| 1343 | } |
| 1344 | |
Eric Christopher | b3e6b04 | 2013-02-28 20:26:17 +0000 | [diff] [blame] | 1345 | // Make sure the cpu type has the correct mask. |
| 1346 | assert((MachOObj->getHeader().CPUType & llvm::MachO::CPUArchABI64) |
| 1347 | == llvm::MachO::CPUArchABI64 && |
| 1348 | "32-bit object file when we're 64-bit?"); |
| 1349 | |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 1350 | switch (MachOObj->getHeader().CPUType) { |
Eric Christopher | f4b2f93 | 2011-04-22 06:34:01 +0000 | [diff] [blame] | 1351 | case llvm::MachO::CPUTypeX86_64: |
Eric Christopher | 9ab1d7f | 2011-04-22 04:08:58 +0000 | [diff] [blame] | 1352 | return "Mach-O 64-bit x86-64"; |
Eric Christopher | f4b2f93 | 2011-04-22 06:34:01 +0000 | [diff] [blame] | 1353 | case llvm::MachO::CPUTypePowerPC64: |
Eric Christopher | 9ab1d7f | 2011-04-22 04:08:58 +0000 | [diff] [blame] | 1354 | return "Mach-O 64-bit ppc64"; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 1355 | default: |
Eric Christopher | 9ab1d7f | 2011-04-22 04:08:58 +0000 | [diff] [blame] | 1356 | return "Mach-O 64-bit unknown"; |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 1357 | } |
| 1358 | } |
| 1359 | |
| 1360 | unsigned MachOObjectFile::getArch() const { |
| 1361 | switch (MachOObj->getHeader().CPUType) { |
Eric Christopher | f4b2f93 | 2011-04-22 06:34:01 +0000 | [diff] [blame] | 1362 | case llvm::MachO::CPUTypeI386: |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 1363 | return Triple::x86; |
Eric Christopher | f4b2f93 | 2011-04-22 06:34:01 +0000 | [diff] [blame] | 1364 | case llvm::MachO::CPUTypeX86_64: |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 1365 | return Triple::x86_64; |
Eric Christopher | f4b2f93 | 2011-04-22 06:34:01 +0000 | [diff] [blame] | 1366 | case llvm::MachO::CPUTypeARM: |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 1367 | return Triple::arm; |
Eric Christopher | f4b2f93 | 2011-04-22 06:34:01 +0000 | [diff] [blame] | 1368 | case llvm::MachO::CPUTypePowerPC: |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 1369 | return Triple::ppc; |
Eric Christopher | f4b2f93 | 2011-04-22 06:34:01 +0000 | [diff] [blame] | 1370 | case llvm::MachO::CPUTypePowerPC64: |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 1371 | return Triple::ppc64; |
| 1372 | default: |
| 1373 | return Triple::UnknownArch; |
| 1374 | } |
| 1375 | } |
| 1376 | |
Owen Anderson | f7c93a3 | 2011-10-11 17:32:27 +0000 | [diff] [blame] | 1377 | } // end namespace object |
Eric Christopher | 6256b03 | 2011-04-22 03:19:48 +0000 | [diff] [blame] | 1378 | } // end namespace llvm |