blob: ded8109930046ae100cf88a26e24900e3597fca5 [file] [log] [blame]
Eric Christopher7b015c72011-04-22 03:19:48 +00001//===- 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 Anderson27c579d2011-10-11 17:32:27 +000015#include "llvm/Object/MachO.h"
Tim Northover00ed9962014-03-29 10:18:08 +000016#include "llvm/ADT/STLExtras.h"
Rafael Espindola72318b42014-08-08 16:30:17 +000017#include "llvm/ADT/StringSwitch.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000018#include "llvm/ADT/Triple.h"
Rafael Espindola421305a2013-04-07 20:01:29 +000019#include "llvm/Support/DataExtractor.h"
Nick Kledzikac431442014-09-12 21:34:15 +000020#include "llvm/Support/Debug.h"
Owen Andersonbc14bd32011-10-26 20:42:54 +000021#include "llvm/Support/Format.h"
Rafael Espindola56f976f2013-04-18 18:08:55 +000022#include "llvm/Support/Host.h"
Nick Kledzikd04bc352014-08-30 00:20:14 +000023#include "llvm/Support/LEB128.h"
24#include "llvm/Support/MachO.h"
Eric Christopher7b015c72011-04-22 03:19:48 +000025#include "llvm/Support/MemoryBuffer.h"
Jakub Staszak84a0ae72013-08-21 01:20:11 +000026#include "llvm/Support/raw_ostream.h"
Eric Christopher7b015c72011-04-22 03:19:48 +000027#include <cctype>
28#include <cstring>
29#include <limits>
30
31using namespace llvm;
32using namespace object;
33
Artyom Skrobov7d602f72014-07-20 12:08:28 +000034namespace {
35 struct section_base {
36 char sectname[16];
37 char segname[16];
38 };
39}
Rafael Espindola56f976f2013-04-18 18:08:55 +000040
Alexey Samsonov9f336632015-06-04 19:45:22 +000041// FIXME: Replace all uses of this function with getStructOrErr.
Filipe Cabecinhas40139502015-01-15 22:52:38 +000042template <typename T>
Artyom Skrobov7d602f72014-07-20 12:08:28 +000043static T getStruct(const MachOObjectFile *O, const char *P) {
Filipe Cabecinhas40139502015-01-15 22:52:38 +000044 // Don't read before the beginning or past the end of the file
45 if (P < O->getData().begin() || P + sizeof(T) > O->getData().end())
46 report_fatal_error("Malformed MachO file.");
47
Rafael Espindola3cdeb172013-04-19 13:45:05 +000048 T Cmd;
49 memcpy(&Cmd, P, sizeof(T));
50 if (O->isLittleEndian() != sys::IsLittleEndianHost)
Artyom Skrobov78d5daf2014-07-18 09:26:16 +000051 MachO::swapStruct(Cmd);
Rafael Espindola3cdeb172013-04-19 13:45:05 +000052 return Cmd;
Rafael Espindola56f976f2013-04-18 18:08:55 +000053}
54
Alexey Samsonov9f336632015-06-04 19:45:22 +000055template <typename T>
56static ErrorOr<T> getStructOrErr(const MachOObjectFile *O, const char *P) {
57 // Don't read before the beginning or past the end of the file
58 if (P < O->getData().begin() || P + sizeof(T) > O->getData().end())
59 return object_error::parse_failed;
60
61 T Cmd;
62 memcpy(&Cmd, P, sizeof(T));
63 if (O->isLittleEndian() != sys::IsLittleEndianHost)
64 MachO::swapStruct(Cmd);
65 return Cmd;
66}
67
Rafael Espindola6e040c02013-04-26 20:07:33 +000068static const char *
69getSectionPtr(const MachOObjectFile *O, MachOObjectFile::LoadCommandInfo L,
70 unsigned Sec) {
Rafael Espindola56f976f2013-04-18 18:08:55 +000071 uintptr_t CommandAddr = reinterpret_cast<uintptr_t>(L.Ptr);
72
73 bool Is64 = O->is64Bit();
Charles Davis8bdfafd2013-09-01 04:28:48 +000074 unsigned SegmentLoadSize = Is64 ? sizeof(MachO::segment_command_64) :
75 sizeof(MachO::segment_command);
76 unsigned SectionSize = Is64 ? sizeof(MachO::section_64) :
77 sizeof(MachO::section);
Rafael Espindola56f976f2013-04-18 18:08:55 +000078
79 uintptr_t SectionAddr = CommandAddr + SegmentLoadSize + Sec * SectionSize;
Charles Davis1827bd82013-08-27 05:38:30 +000080 return reinterpret_cast<const char*>(SectionAddr);
Rafael Espindola60689982013-04-07 19:05:30 +000081}
82
Rafael Espindola56f976f2013-04-18 18:08:55 +000083static const char *getPtr(const MachOObjectFile *O, size_t Offset) {
84 return O->getData().substr(Offset, 1).data();
Rafael Espindola60689982013-04-07 19:05:30 +000085}
86
Artyom Skrobov78d5daf2014-07-18 09:26:16 +000087static MachO::nlist_base
Rafael Espindola56f976f2013-04-18 18:08:55 +000088getSymbolTableEntryBase(const MachOObjectFile *O, DataRefImpl DRI) {
Rafael Espindola75c30362013-04-24 19:47:55 +000089 const char *P = reinterpret_cast<const char *>(DRI.p);
Artyom Skrobov78d5daf2014-07-18 09:26:16 +000090 return getStruct<MachO::nlist_base>(O, P);
Eric Christopher7b015c72011-04-22 03:19:48 +000091}
92
Rafael Espindola56f976f2013-04-18 18:08:55 +000093static StringRef parseSegmentOrSectionName(const char *P) {
Rafael Espindolaa9f810b2012-12-21 03:47:03 +000094 if (P[15] == 0)
95 // Null terminated.
96 return P;
97 // Not null terminated, so this is a 16 char string.
98 return StringRef(P, 16);
99}
100
Rafael Espindola56f976f2013-04-18 18:08:55 +0000101// Helper to advance a section or symbol iterator multiple increments at a time.
102template<class T>
Rafael Espindola5e812af2014-01-30 02:49:50 +0000103static void advance(T &it, size_t Val) {
104 while (Val--)
105 ++it;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000106}
107
108static unsigned getCPUType(const MachOObjectFile *O) {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000109 return O->getHeader().cputype;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000110}
111
Charles Davis8bdfafd2013-09-01 04:28:48 +0000112static uint32_t
113getPlainRelocationAddress(const MachO::any_relocation_info &RE) {
114 return RE.r_word0;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000115}
116
117static unsigned
Charles Davis8bdfafd2013-09-01 04:28:48 +0000118getScatteredRelocationAddress(const MachO::any_relocation_info &RE) {
119 return RE.r_word0 & 0xffffff;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000120}
121
122static bool getPlainRelocationPCRel(const MachOObjectFile *O,
Charles Davis8bdfafd2013-09-01 04:28:48 +0000123 const MachO::any_relocation_info &RE) {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000124 if (O->isLittleEndian())
Charles Davis8bdfafd2013-09-01 04:28:48 +0000125 return (RE.r_word1 >> 24) & 1;
126 return (RE.r_word1 >> 7) & 1;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000127}
128
129static bool
130getScatteredRelocationPCRel(const MachOObjectFile *O,
Charles Davis8bdfafd2013-09-01 04:28:48 +0000131 const MachO::any_relocation_info &RE) {
132 return (RE.r_word0 >> 30) & 1;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000133}
134
135static unsigned getPlainRelocationLength(const MachOObjectFile *O,
Charles Davis8bdfafd2013-09-01 04:28:48 +0000136 const MachO::any_relocation_info &RE) {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000137 if (O->isLittleEndian())
Charles Davis8bdfafd2013-09-01 04:28:48 +0000138 return (RE.r_word1 >> 25) & 3;
139 return (RE.r_word1 >> 5) & 3;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000140}
141
142static unsigned
Charles Davis8bdfafd2013-09-01 04:28:48 +0000143getScatteredRelocationLength(const MachO::any_relocation_info &RE) {
144 return (RE.r_word0 >> 28) & 3;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000145}
146
147static unsigned getPlainRelocationType(const MachOObjectFile *O,
Charles Davis8bdfafd2013-09-01 04:28:48 +0000148 const MachO::any_relocation_info &RE) {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000149 if (O->isLittleEndian())
Charles Davis8bdfafd2013-09-01 04:28:48 +0000150 return RE.r_word1 >> 28;
151 return RE.r_word1 & 0xf;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000152}
153
Rafael Espindola56f976f2013-04-18 18:08:55 +0000154static uint32_t getSectionFlags(const MachOObjectFile *O,
155 DataRefImpl Sec) {
156 if (O->is64Bit()) {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000157 MachO::section_64 Sect = O->getSection64(Sec);
158 return Sect.flags;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000159 }
Charles Davis8bdfafd2013-09-01 04:28:48 +0000160 MachO::section Sect = O->getSection(Sec);
161 return Sect.flags;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000162}
163
Alexey Samsonovde5a94a2015-06-04 19:57:46 +0000164static ErrorOr<MachOObjectFile::LoadCommandInfo>
Alexey Samsonov4fdbed32015-06-04 19:34:14 +0000165getLoadCommandInfo(const MachOObjectFile *Obj, const char *Ptr) {
Alexey Samsonovde5a94a2015-06-04 19:57:46 +0000166 auto CmdOrErr = getStructOrErr<MachO::load_command>(Obj, Ptr);
167 if (!CmdOrErr)
168 return CmdOrErr.getError();
169 if (CmdOrErr->cmdsize < 8)
170 return object_error::macho_small_load_command;
Alexey Samsonov4fdbed32015-06-04 19:34:14 +0000171 MachOObjectFile::LoadCommandInfo Load;
172 Load.Ptr = Ptr;
Alexey Samsonovde5a94a2015-06-04 19:57:46 +0000173 Load.C = CmdOrErr.get();
Alexey Samsonov4fdbed32015-06-04 19:34:14 +0000174 return Load;
175}
176
Alexey Samsonovde5a94a2015-06-04 19:57:46 +0000177static ErrorOr<MachOObjectFile::LoadCommandInfo>
Alexey Samsonov4fdbed32015-06-04 19:34:14 +0000178getFirstLoadCommandInfo(const MachOObjectFile *Obj) {
179 unsigned HeaderSize = Obj->is64Bit() ? sizeof(MachO::mach_header_64)
180 : sizeof(MachO::mach_header);
181 return getLoadCommandInfo(Obj, getPtr(Obj, HeaderSize));
182}
183
Alexey Samsonovde5a94a2015-06-04 19:57:46 +0000184static ErrorOr<MachOObjectFile::LoadCommandInfo>
Alexey Samsonov4fdbed32015-06-04 19:34:14 +0000185getNextLoadCommandInfo(const MachOObjectFile *Obj,
186 const MachOObjectFile::LoadCommandInfo &L) {
187 return getLoadCommandInfo(Obj, L.Ptr + L.C.cmdsize);
188}
189
Alexey Samsonov9f336632015-06-04 19:45:22 +0000190template <typename T>
191static void parseHeader(const MachOObjectFile *Obj, T &Header,
192 std::error_code &EC) {
193 auto HeaderOrErr = getStructOrErr<T>(Obj, getPtr(Obj, 0));
194 if (HeaderOrErr)
195 Header = HeaderOrErr.get();
196 else
197 EC = HeaderOrErr.getError();
198}
199
Alexey Samsonove1a76ab2015-06-04 22:08:37 +0000200// Parses LC_SEGMENT or LC_SEGMENT_64 load command, adds addresses of all
201// sections to \param Sections, and optionally sets
202// \param IsPageZeroSegment to true.
203template <typename SegmentCmd>
204static std::error_code parseSegmentLoadCommand(
205 const MachOObjectFile *Obj, const MachOObjectFile::LoadCommandInfo &Load,
206 SmallVectorImpl<const char *> &Sections, bool &IsPageZeroSegment) {
207 const unsigned SegmentLoadSize = sizeof(SegmentCmd);
208 if (Load.C.cmdsize < SegmentLoadSize)
209 return object_error::macho_load_segment_too_small;
Alexey Samsonovf8a7bf82015-06-04 22:26:44 +0000210 auto SegOrErr = getStructOrErr<SegmentCmd>(Obj, Load.Ptr);
211 if (!SegOrErr)
212 return SegOrErr.getError();
213 SegmentCmd S = SegOrErr.get();
Alexey Samsonove1a76ab2015-06-04 22:08:37 +0000214 const unsigned SectionSize =
215 Obj->is64Bit() ? sizeof(MachO::section_64) : sizeof(MachO::section);
216 if (S.nsects > std::numeric_limits<uint32_t>::max() / SectionSize ||
217 S.nsects * SectionSize > Load.C.cmdsize - SegmentLoadSize)
218 return object_error::macho_load_segment_too_many_sections;
219 for (unsigned J = 0; J < S.nsects; ++J) {
220 const char *Sec = getSectionPtr(Obj, Load, J);
221 Sections.push_back(Sec);
222 }
223 IsPageZeroSegment |= StringRef("__PAGEZERO").equals(S.segname);
Rui Ueyama7d099192015-06-09 15:20:42 +0000224 return std::error_code();
Alexey Samsonove1a76ab2015-06-04 22:08:37 +0000225}
226
Rafael Espindola48af1c22014-08-19 18:44:46 +0000227MachOObjectFile::MachOObjectFile(MemoryBufferRef Object, bool IsLittleEndian,
228 bool Is64bits, std::error_code &EC)
229 : ObjectFile(getMachOType(IsLittleEndian, Is64bits), Object),
Craig Topper2617dcc2014-04-15 06:32:26 +0000230 SymtabLoadCmd(nullptr), DysymtabLoadCmd(nullptr),
Kevin Enderby9a509442015-01-27 21:28:24 +0000231 DataInCodeLoadCmd(nullptr), LinkOptHintsLoadCmd(nullptr),
232 DyldInfoLoadCmd(nullptr), UuidLoadCmd(nullptr),
233 HasPageZeroSegment(false) {
Alexey Samsonov13415ed2015-06-04 19:22:03 +0000234 if (is64Bit())
Alexey Samsonov9f336632015-06-04 19:45:22 +0000235 parseHeader(this, Header64, EC);
Alexey Samsonov13415ed2015-06-04 19:22:03 +0000236 else
Alexey Samsonovfa5edc52015-06-04 22:49:55 +0000237 parseHeader(this, Header, EC);
Alexey Samsonov9f336632015-06-04 19:45:22 +0000238 if (EC)
239 return;
Alexey Samsonov13415ed2015-06-04 19:22:03 +0000240
241 uint32_t LoadCommandCount = getHeader().ncmds;
Filipe Cabecinhase71bd0c2015-01-06 17:08:26 +0000242 if (LoadCommandCount == 0)
243 return;
244
Alexey Samsonovde5a94a2015-06-04 19:57:46 +0000245 auto LoadOrErr = getFirstLoadCommandInfo(this);
246 if (!LoadOrErr) {
247 EC = LoadOrErr.getError();
248 return;
249 }
250 LoadCommandInfo Load = LoadOrErr.get();
Alexey Samsonovd319c4f2015-06-03 22:19:36 +0000251 for (unsigned I = 0; I < LoadCommandCount; ++I) {
252 LoadCommands.push_back(Load);
Charles Davis8bdfafd2013-09-01 04:28:48 +0000253 if (Load.C.cmd == MachO::LC_SYMTAB) {
David Majnemer73cc6ff2014-11-13 19:48:56 +0000254 // Multiple symbol tables
255 if (SymtabLoadCmd) {
256 EC = object_error::parse_failed;
257 return;
258 }
Rafael Espindola56f976f2013-04-18 18:08:55 +0000259 SymtabLoadCmd = Load.Ptr;
Charles Davis8bdfafd2013-09-01 04:28:48 +0000260 } else if (Load.C.cmd == MachO::LC_DYSYMTAB) {
David Majnemer73cc6ff2014-11-13 19:48:56 +0000261 // Multiple dynamic symbol tables
262 if (DysymtabLoadCmd) {
263 EC = object_error::parse_failed;
264 return;
265 }
Rafael Espindola6e040c02013-04-26 20:07:33 +0000266 DysymtabLoadCmd = Load.Ptr;
Charles Davis8bdfafd2013-09-01 04:28:48 +0000267 } else if (Load.C.cmd == MachO::LC_DATA_IN_CODE) {
David Majnemer73cc6ff2014-11-13 19:48:56 +0000268 // Multiple data in code tables
269 if (DataInCodeLoadCmd) {
270 EC = object_error::parse_failed;
271 return;
272 }
Kevin Enderby273ae012013-06-06 17:20:50 +0000273 DataInCodeLoadCmd = Load.Ptr;
Kevin Enderby9a509442015-01-27 21:28:24 +0000274 } else if (Load.C.cmd == MachO::LC_LINKER_OPTIMIZATION_HINT) {
275 // Multiple linker optimization hint tables
276 if (LinkOptHintsLoadCmd) {
277 EC = object_error::parse_failed;
278 return;
279 }
280 LinkOptHintsLoadCmd = Load.Ptr;
Nick Kledzikd04bc352014-08-30 00:20:14 +0000281 } else if (Load.C.cmd == MachO::LC_DYLD_INFO ||
282 Load.C.cmd == MachO::LC_DYLD_INFO_ONLY) {
David Majnemer73cc6ff2014-11-13 19:48:56 +0000283 // Multiple dyldinfo load commands
284 if (DyldInfoLoadCmd) {
285 EC = object_error::parse_failed;
286 return;
287 }
Nick Kledzikd04bc352014-08-30 00:20:14 +0000288 DyldInfoLoadCmd = Load.Ptr;
Alexander Potapenko6909b5b2014-10-15 23:35:45 +0000289 } else if (Load.C.cmd == MachO::LC_UUID) {
David Majnemer73cc6ff2014-11-13 19:48:56 +0000290 // Multiple UUID load commands
291 if (UuidLoadCmd) {
292 EC = object_error::parse_failed;
293 return;
294 }
Alexander Potapenko6909b5b2014-10-15 23:35:45 +0000295 UuidLoadCmd = Load.Ptr;
Alexey Samsonove1a76ab2015-06-04 22:08:37 +0000296 } else if (Load.C.cmd == MachO::LC_SEGMENT_64) {
297 if ((EC = parseSegmentLoadCommand<MachO::segment_command_64>(
298 this, Load, Sections, HasPageZeroSegment)))
Alexey Samsonov074da9b2015-06-04 20:08:52 +0000299 return;
Alexey Samsonove1a76ab2015-06-04 22:08:37 +0000300 } else if (Load.C.cmd == MachO::LC_SEGMENT) {
301 if ((EC = parseSegmentLoadCommand<MachO::segment_command>(
302 this, Load, Sections, HasPageZeroSegment)))
Alexey Samsonov074da9b2015-06-04 20:08:52 +0000303 return;
Kevin Enderby980b2582014-06-05 21:21:57 +0000304 } else if (Load.C.cmd == MachO::LC_LOAD_DYLIB ||
305 Load.C.cmd == MachO::LC_LOAD_WEAK_DYLIB ||
306 Load.C.cmd == MachO::LC_LAZY_LOAD_DYLIB ||
307 Load.C.cmd == MachO::LC_REEXPORT_DYLIB ||
308 Load.C.cmd == MachO::LC_LOAD_UPWARD_DYLIB) {
309 Libraries.push_back(Load.Ptr);
Rafael Espindola56f976f2013-04-18 18:08:55 +0000310 }
Alexey Samsonovde5a94a2015-06-04 19:57:46 +0000311 if (I < LoadCommandCount - 1) {
312 auto LoadOrErr = getNextLoadCommandInfo(this, Load);
313 if (!LoadOrErr) {
314 EC = LoadOrErr.getError();
315 return;
316 }
317 Load = LoadOrErr.get();
318 }
Rafael Espindola56f976f2013-04-18 18:08:55 +0000319 }
Alexey Samsonovd319c4f2015-06-03 22:19:36 +0000320 assert(LoadCommands.size() == LoadCommandCount);
Rafael Espindola56f976f2013-04-18 18:08:55 +0000321}
322
Rafael Espindola5e812af2014-01-30 02:49:50 +0000323void MachOObjectFile::moveSymbolNext(DataRefImpl &Symb) const {
Rafael Espindola75c30362013-04-24 19:47:55 +0000324 unsigned SymbolTableEntrySize = is64Bit() ?
Charles Davis8bdfafd2013-09-01 04:28:48 +0000325 sizeof(MachO::nlist_64) :
326 sizeof(MachO::nlist);
Rafael Espindola75c30362013-04-24 19:47:55 +0000327 Symb.p += SymbolTableEntrySize;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000328}
329
Rafael Espindola3acea392014-06-12 21:46:39 +0000330std::error_code MachOObjectFile::getSymbolName(DataRefImpl Symb,
331 StringRef &Res) const {
Rafael Espindola6e040c02013-04-26 20:07:33 +0000332 StringRef StringTable = getStringTableData();
Artyom Skrobov78d5daf2014-07-18 09:26:16 +0000333 MachO::nlist_base Entry = getSymbolTableEntryBase(this, Symb);
Charles Davis8bdfafd2013-09-01 04:28:48 +0000334 const char *Start = &StringTable.data()[Entry.n_strx];
Filipe Cabecinhasc552c9a2015-01-15 23:50:44 +0000335 if (Start < getData().begin() || Start >= getData().end())
336 report_fatal_error(
337 "Symbol name entry points before beginning or past end of file.");
Rafael Espindola56f976f2013-04-18 18:08:55 +0000338 Res = StringRef(Start);
Rui Ueyama7d099192015-06-09 15:20:42 +0000339 return std::error_code();
Rafael Espindola56f976f2013-04-18 18:08:55 +0000340}
341
Rafael Espindola0e77a942014-12-10 20:46:55 +0000342unsigned MachOObjectFile::getSectionType(SectionRef Sec) const {
343 DataRefImpl DRI = Sec.getRawDataRefImpl();
344 uint32_t Flags = getSectionFlags(this, DRI);
345 return Flags & MachO::SECTION_TYPE;
346}
347
Kevin Enderby980b2582014-06-05 21:21:57 +0000348// getIndirectName() returns the name of the alias'ed symbol who's string table
349// index is in the n_value field.
Rafael Espindola3acea392014-06-12 21:46:39 +0000350std::error_code MachOObjectFile::getIndirectName(DataRefImpl Symb,
351 StringRef &Res) const {
Kevin Enderby980b2582014-06-05 21:21:57 +0000352 StringRef StringTable = getStringTableData();
353 uint64_t NValue;
354 if (is64Bit()) {
355 MachO::nlist_64 Entry = getSymbol64TableEntry(Symb);
356 NValue = Entry.n_value;
357 if ((Entry.n_type & MachO::N_TYPE) != MachO::N_INDR)
358 return object_error::parse_failed;
359 } else {
360 MachO::nlist Entry = getSymbolTableEntry(Symb);
361 NValue = Entry.n_value;
362 if ((Entry.n_type & MachO::N_TYPE) != MachO::N_INDR)
363 return object_error::parse_failed;
364 }
365 if (NValue >= StringTable.size())
366 return object_error::parse_failed;
367 const char *Start = &StringTable.data()[NValue];
368 Res = StringRef(Start);
Rui Ueyama7d099192015-06-09 15:20:42 +0000369 return std::error_code();
Kevin Enderby980b2582014-06-05 21:21:57 +0000370}
371
Rafael Espindola3acea392014-06-12 21:46:39 +0000372std::error_code MachOObjectFile::getSymbolAddress(DataRefImpl Symb,
373 uint64_t &Res) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000374 if (is64Bit()) {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000375 MachO::nlist_64 Entry = getSymbol64TableEntry(Symb);
Kevin Enderby1b985af2014-05-20 23:04:47 +0000376 if ((Entry.n_type & MachO::N_TYPE) == MachO::N_UNDF &&
377 Entry.n_value == 0)
Rafael Espindolad7a32ea2015-06-24 10:20:30 +0000378 Res = UnknownAddress;
Kevin Enderby1b985af2014-05-20 23:04:47 +0000379 else
380 Res = Entry.n_value;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000381 } else {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000382 MachO::nlist Entry = getSymbolTableEntry(Symb);
Kevin Enderby1b985af2014-05-20 23:04:47 +0000383 if ((Entry.n_type & MachO::N_TYPE) == MachO::N_UNDF &&
384 Entry.n_value == 0)
Rafael Espindolad7a32ea2015-06-24 10:20:30 +0000385 Res = UnknownAddress;
Kevin Enderby1b985af2014-05-20 23:04:47 +0000386 else
387 Res = Entry.n_value;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000388 }
Rui Ueyama7d099192015-06-09 15:20:42 +0000389 return std::error_code();
Rafael Espindola56f976f2013-04-18 18:08:55 +0000390}
391
Rafael Espindolaa4d224722015-05-31 23:52:50 +0000392uint32_t MachOObjectFile::getSymbolAlignment(DataRefImpl DRI) const {
Rafael Espindola20122a42014-01-31 20:57:12 +0000393 uint32_t flags = getSymbolFlags(DRI);
Rafael Espindolae4dd2e02013-04-29 22:24:22 +0000394 if (flags & SymbolRef::SF_Common) {
Artyom Skrobov78d5daf2014-07-18 09:26:16 +0000395 MachO::nlist_base Entry = getSymbolTableEntryBase(this, DRI);
Rafael Espindolaa4d224722015-05-31 23:52:50 +0000396 return 1 << MachO::GET_COMM_ALIGN(Entry.n_desc);
Rafael Espindolae4dd2e02013-04-29 22:24:22 +0000397 }
Rafael Espindolaa4d224722015-05-31 23:52:50 +0000398 return 0;
Rafael Espindolae4dd2e02013-04-29 22:24:22 +0000399}
400
Rafael Espindolad7a32ea2015-06-24 10:20:30 +0000401uint64_t MachOObjectFile::getCommonSymbolSizeImpl(DataRefImpl DRI) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000402 uint64_t Value;
403 getSymbolAddress(DRI, Value);
Rafael Espindolad7a32ea2015-06-24 10:20:30 +0000404 return Value;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000405}
406
Rafael Espindola3acea392014-06-12 21:46:39 +0000407std::error_code MachOObjectFile::getSymbolType(DataRefImpl Symb,
408 SymbolRef::Type &Res) const {
Artyom Skrobov78d5daf2014-07-18 09:26:16 +0000409 MachO::nlist_base Entry = getSymbolTableEntryBase(this, Symb);
Charles Davis8bdfafd2013-09-01 04:28:48 +0000410 uint8_t n_type = Entry.n_type;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000411
412 Res = SymbolRef::ST_Other;
413
414 // If this is a STAB debugging symbol, we can do nothing more.
Charles Davis74ec8b02013-08-27 05:00:13 +0000415 if (n_type & MachO::N_STAB) {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000416 Res = SymbolRef::ST_Debug;
Rui Ueyama7d099192015-06-09 15:20:42 +0000417 return std::error_code();
Rafael Espindola56f976f2013-04-18 18:08:55 +0000418 }
419
Charles Davis74ec8b02013-08-27 05:00:13 +0000420 switch (n_type & MachO::N_TYPE) {
421 case MachO::N_UNDF :
Rafael Espindola56f976f2013-04-18 18:08:55 +0000422 Res = SymbolRef::ST_Unknown;
423 break;
Charles Davis74ec8b02013-08-27 05:00:13 +0000424 case MachO::N_SECT :
Rafael Espindola56f976f2013-04-18 18:08:55 +0000425 Res = SymbolRef::ST_Function;
426 break;
427 }
Rui Ueyama7d099192015-06-09 15:20:42 +0000428 return std::error_code();
Rafael Espindola56f976f2013-04-18 18:08:55 +0000429}
430
Rafael Espindola20122a42014-01-31 20:57:12 +0000431uint32_t MachOObjectFile::getSymbolFlags(DataRefImpl DRI) const {
Artyom Skrobov78d5daf2014-07-18 09:26:16 +0000432 MachO::nlist_base Entry = getSymbolTableEntryBase(this, DRI);
Rafael Espindola56f976f2013-04-18 18:08:55 +0000433
Charles Davis8bdfafd2013-09-01 04:28:48 +0000434 uint8_t MachOType = Entry.n_type;
435 uint16_t MachOFlags = Entry.n_desc;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000436
Rafael Espindola20122a42014-01-31 20:57:12 +0000437 uint32_t Result = SymbolRef::SF_None;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000438
Charles Davis74ec8b02013-08-27 05:00:13 +0000439 if ((MachOType & MachO::N_TYPE) == MachO::N_UNDF)
Rafael Espindola56f976f2013-04-18 18:08:55 +0000440 Result |= SymbolRef::SF_Undefined;
441
Tim Northovereaef0742014-05-30 13:22:59 +0000442 if ((MachOType & MachO::N_TYPE) == MachO::N_INDR)
443 Result |= SymbolRef::SF_Indirect;
444
Rafael Espindolaa1356322013-11-02 05:03:24 +0000445 if (MachOType & MachO::N_STAB)
Rafael Espindola56f976f2013-04-18 18:08:55 +0000446 Result |= SymbolRef::SF_FormatSpecific;
447
Charles Davis74ec8b02013-08-27 05:00:13 +0000448 if (MachOType & MachO::N_EXT) {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000449 Result |= SymbolRef::SF_Global;
Charles Davis74ec8b02013-08-27 05:00:13 +0000450 if ((MachOType & MachO::N_TYPE) == MachO::N_UNDF) {
Rafael Espindolae4dd2e02013-04-29 22:24:22 +0000451 uint64_t Value;
452 getSymbolAddress(DRI, Value);
Rafael Espindolad7a32ea2015-06-24 10:20:30 +0000453 if (Value && Value != UnknownAddress)
Rafael Espindolae4dd2e02013-04-29 22:24:22 +0000454 Result |= SymbolRef::SF_Common;
455 }
Lang Hames7e0692b2015-01-15 22:33:30 +0000456
457 if (!(MachOType & MachO::N_PEXT))
458 Result |= SymbolRef::SF_Exported;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000459 }
460
Charles Davis74ec8b02013-08-27 05:00:13 +0000461 if (MachOFlags & (MachO::N_WEAK_REF | MachO::N_WEAK_DEF))
Rafael Espindola56f976f2013-04-18 18:08:55 +0000462 Result |= SymbolRef::SF_Weak;
463
Kevin Enderbyec5ca032014-08-18 20:21:02 +0000464 if (MachOFlags & (MachO::N_ARM_THUMB_DEF))
465 Result |= SymbolRef::SF_Thumb;
466
Charles Davis74ec8b02013-08-27 05:00:13 +0000467 if ((MachOType & MachO::N_TYPE) == MachO::N_ABS)
Rafael Espindola56f976f2013-04-18 18:08:55 +0000468 Result |= SymbolRef::SF_Absolute;
469
Rafael Espindola20122a42014-01-31 20:57:12 +0000470 return Result;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000471}
472
Rafael Espindola3acea392014-06-12 21:46:39 +0000473std::error_code MachOObjectFile::getSymbolSection(DataRefImpl Symb,
474 section_iterator &Res) const {
Artyom Skrobov78d5daf2014-07-18 09:26:16 +0000475 MachO::nlist_base Entry = getSymbolTableEntryBase(this, Symb);
Charles Davis8bdfafd2013-09-01 04:28:48 +0000476 uint8_t index = Entry.n_sect;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000477
478 if (index == 0) {
Rafael Espindolab5155a52014-02-10 20:24:04 +0000479 Res = section_end();
Rafael Espindola56f976f2013-04-18 18:08:55 +0000480 } else {
481 DataRefImpl DRI;
482 DRI.d.a = index - 1;
Rafael Espindola0d85d102015-05-22 14:59:27 +0000483 if (DRI.d.a >= Sections.size())
484 report_fatal_error("getSymbolSection: Invalid section index.");
Rafael Espindola56f976f2013-04-18 18:08:55 +0000485 Res = section_iterator(SectionRef(DRI, this));
486 }
487
Rui Ueyama7d099192015-06-09 15:20:42 +0000488 return std::error_code();
Rafael Espindola56f976f2013-04-18 18:08:55 +0000489}
490
Rafael Espindola5e812af2014-01-30 02:49:50 +0000491void MachOObjectFile::moveSectionNext(DataRefImpl &Sec) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000492 Sec.d.a++;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000493}
494
Rafael Espindola3acea392014-06-12 21:46:39 +0000495std::error_code MachOObjectFile::getSectionName(DataRefImpl Sec,
496 StringRef &Result) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000497 ArrayRef<char> Raw = getSectionRawName(Sec);
498 Result = parseSegmentOrSectionName(Raw.data());
Rui Ueyama7d099192015-06-09 15:20:42 +0000499 return std::error_code();
Rafael Espindola56f976f2013-04-18 18:08:55 +0000500}
501
Rafael Espindola80291272014-10-08 15:28:58 +0000502uint64_t MachOObjectFile::getSectionAddress(DataRefImpl Sec) const {
503 if (is64Bit())
504 return getSection64(Sec).addr;
505 return getSection(Sec).addr;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000506}
507
Rafael Espindola80291272014-10-08 15:28:58 +0000508uint64_t MachOObjectFile::getSectionSize(DataRefImpl Sec) const {
509 if (is64Bit())
510 return getSection64(Sec).size;
511 return getSection(Sec).size;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000512}
513
Rafael Espindola3acea392014-06-12 21:46:39 +0000514std::error_code MachOObjectFile::getSectionContents(DataRefImpl Sec,
515 StringRef &Res) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000516 uint32_t Offset;
517 uint64_t Size;
518
519 if (is64Bit()) {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000520 MachO::section_64 Sect = getSection64(Sec);
521 Offset = Sect.offset;
522 Size = Sect.size;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000523 } else {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000524 MachO::section Sect = getSection(Sec);
525 Offset = Sect.offset;
526 Size = Sect.size;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000527 }
528
529 Res = this->getData().substr(Offset, Size);
Rui Ueyama7d099192015-06-09 15:20:42 +0000530 return std::error_code();
Rafael Espindola56f976f2013-04-18 18:08:55 +0000531}
532
Rafael Espindola80291272014-10-08 15:28:58 +0000533uint64_t MachOObjectFile::getSectionAlignment(DataRefImpl Sec) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000534 uint32_t Align;
535 if (is64Bit()) {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000536 MachO::section_64 Sect = getSection64(Sec);
537 Align = Sect.align;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000538 } else {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000539 MachO::section Sect = getSection(Sec);
540 Align = Sect.align;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000541 }
542
Rafael Espindola80291272014-10-08 15:28:58 +0000543 return uint64_t(1) << Align;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000544}
545
Rafael Espindola80291272014-10-08 15:28:58 +0000546bool MachOObjectFile::isSectionText(DataRefImpl Sec) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000547 uint32_t Flags = getSectionFlags(this, Sec);
Rafael Espindola80291272014-10-08 15:28:58 +0000548 return Flags & MachO::S_ATTR_PURE_INSTRUCTIONS;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000549}
550
Rafael Espindola80291272014-10-08 15:28:58 +0000551bool MachOObjectFile::isSectionData(DataRefImpl Sec) const {
Kevin Enderby403258f2014-05-19 20:36:02 +0000552 uint32_t Flags = getSectionFlags(this, Sec);
553 unsigned SectionType = Flags & MachO::SECTION_TYPE;
Rafael Espindola80291272014-10-08 15:28:58 +0000554 return !(Flags & MachO::S_ATTR_PURE_INSTRUCTIONS) &&
555 !(SectionType == MachO::S_ZEROFILL ||
556 SectionType == MachO::S_GB_ZEROFILL);
Michael J. Spencer800619f2011-09-28 20:57:30 +0000557}
558
Rafael Espindola80291272014-10-08 15:28:58 +0000559bool MachOObjectFile::isSectionBSS(DataRefImpl Sec) const {
Kevin Enderby403258f2014-05-19 20:36:02 +0000560 uint32_t Flags = getSectionFlags(this, Sec);
561 unsigned SectionType = Flags & MachO::SECTION_TYPE;
Rafael Espindola80291272014-10-08 15:28:58 +0000562 return !(Flags & MachO::S_ATTR_PURE_INSTRUCTIONS) &&
563 (SectionType == MachO::S_ZEROFILL ||
564 SectionType == MachO::S_GB_ZEROFILL);
Preston Gurd2138ef62012-04-12 20:13:57 +0000565}
566
Rafael Espindola80291272014-10-08 15:28:58 +0000567bool MachOObjectFile::isSectionVirtual(DataRefImpl Sec) const {
Rafael Espindolac2413f52013-04-09 14:49:08 +0000568 // FIXME: Unimplemented.
Rafael Espindola80291272014-10-08 15:28:58 +0000569 return false;
Rafael Espindolac2413f52013-04-09 14:49:08 +0000570}
571
Rafael Espindola80291272014-10-08 15:28:58 +0000572bool MachOObjectFile::sectionContainsSymbol(DataRefImpl Sec,
573 DataRefImpl Symb) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000574 SymbolRef::Type ST;
575 this->getSymbolType(Symb, ST);
Rafael Espindola80291272014-10-08 15:28:58 +0000576 if (ST == SymbolRef::ST_Unknown)
577 return false;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000578
Rafael Espindola80291272014-10-08 15:28:58 +0000579 uint64_t SectBegin = getSectionAddress(Sec);
580 uint64_t SectEnd = getSectionSize(Sec);
Rafael Espindola56f976f2013-04-18 18:08:55 +0000581 SectEnd += SectBegin;
582
583 uint64_t SymAddr;
584 getSymbolAddress(Symb, SymAddr);
Rafael Espindola80291272014-10-08 15:28:58 +0000585 return (SymAddr >= SectBegin) && (SymAddr < SectEnd);
Rafael Espindola56f976f2013-04-18 18:08:55 +0000586}
587
Rui Ueyamabc654b12013-09-27 21:47:05 +0000588relocation_iterator MachOObjectFile::section_rel_begin(DataRefImpl Sec) const {
Rafael Espindola04d3f492013-04-25 12:45:46 +0000589 DataRefImpl Ret;
Rafael Espindola128b8112014-04-03 23:51:28 +0000590 Ret.d.a = Sec.d.a;
591 Ret.d.b = 0;
Rafael Espindola04d3f492013-04-25 12:45:46 +0000592 return relocation_iterator(RelocationRef(Ret, this));
Michael J. Spencere5fd0042011-10-07 19:25:32 +0000593}
Rafael Espindolac0406e12013-04-08 20:45:01 +0000594
Rafael Espindola56f976f2013-04-18 18:08:55 +0000595relocation_iterator
Rui Ueyamabc654b12013-09-27 21:47:05 +0000596MachOObjectFile::section_rel_end(DataRefImpl Sec) const {
Rafael Espindola04d3f492013-04-25 12:45:46 +0000597 uint32_t Num;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000598 if (is64Bit()) {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000599 MachO::section_64 Sect = getSection64(Sec);
Charles Davis8bdfafd2013-09-01 04:28:48 +0000600 Num = Sect.nreloc;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000601 } else {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000602 MachO::section Sect = getSection(Sec);
Charles Davis8bdfafd2013-09-01 04:28:48 +0000603 Num = Sect.nreloc;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000604 }
Eric Christopher7b015c72011-04-22 03:19:48 +0000605
Rafael Espindola56f976f2013-04-18 18:08:55 +0000606 DataRefImpl Ret;
Rafael Espindola128b8112014-04-03 23:51:28 +0000607 Ret.d.a = Sec.d.a;
608 Ret.d.b = Num;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000609 return relocation_iterator(RelocationRef(Ret, this));
610}
Benjamin Kramer022ecdf2011-09-08 20:52:17 +0000611
Rafael Espindola5e812af2014-01-30 02:49:50 +0000612void MachOObjectFile::moveRelocationNext(DataRefImpl &Rel) const {
Rafael Espindola128b8112014-04-03 23:51:28 +0000613 ++Rel.d.b;
Benjamin Kramer022ecdf2011-09-08 20:52:17 +0000614}
Owen Anderson171f4852011-10-24 23:20:07 +0000615
Rafael Espindola3acea392014-06-12 21:46:39 +0000616std::error_code MachOObjectFile::getRelocationAddress(DataRefImpl Rel,
617 uint64_t &Res) const {
Rafael Espindola72475462014-04-04 00:31:12 +0000618 uint64_t Offset;
619 getRelocationOffset(Rel, Offset);
Rafael Espindola7e91bc92014-04-03 23:54:35 +0000620
621 DataRefImpl Sec;
622 Sec.d.a = Rel.d.a;
Rafael Espindola80291272014-10-08 15:28:58 +0000623 uint64_t SecAddress = getSectionAddress(Sec);
Rafael Espindola7e91bc92014-04-03 23:54:35 +0000624 Res = SecAddress + Offset;
Rui Ueyama7d099192015-06-09 15:20:42 +0000625 return std::error_code();
Benjamin Kramer022ecdf2011-09-08 20:52:17 +0000626}
627
Rafael Espindola3acea392014-06-12 21:46:39 +0000628std::error_code MachOObjectFile::getRelocationOffset(DataRefImpl Rel,
629 uint64_t &Res) const {
Rafael Espindola72475462014-04-04 00:31:12 +0000630 assert(getHeader().filetype == MachO::MH_OBJECT &&
631 "Only implemented for MH_OBJECT");
Charles Davis8bdfafd2013-09-01 04:28:48 +0000632 MachO::any_relocation_info RE = getRelocation(Rel);
Rafael Espindola56f976f2013-04-18 18:08:55 +0000633 Res = getAnyRelocationAddress(RE);
Rui Ueyama7d099192015-06-09 15:20:42 +0000634 return std::error_code();
David Meyer2fc34c52012-03-01 01:36:50 +0000635}
636
Rafael Espindola806f0062013-06-05 01:33:53 +0000637symbol_iterator
638MachOObjectFile::getRelocationSymbol(DataRefImpl Rel) const {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000639 MachO::any_relocation_info RE = getRelocation(Rel);
Tim Northover07f99fb2014-07-04 10:57:56 +0000640 if (isRelocationScattered(RE))
641 return symbol_end();
642
Rafael Espindola56f976f2013-04-18 18:08:55 +0000643 uint32_t SymbolIdx = getPlainRelocationSymbolNum(RE);
644 bool isExtern = getPlainRelocationExternal(RE);
Rafael Espindola806f0062013-06-05 01:33:53 +0000645 if (!isExtern)
Rafael Espindolab5155a52014-02-10 20:24:04 +0000646 return symbol_end();
Rafael Espindola75c30362013-04-24 19:47:55 +0000647
Charles Davis8bdfafd2013-09-01 04:28:48 +0000648 MachO::symtab_command S = getSymtabLoadCommand();
Rafael Espindola75c30362013-04-24 19:47:55 +0000649 unsigned SymbolTableEntrySize = is64Bit() ?
Charles Davis8bdfafd2013-09-01 04:28:48 +0000650 sizeof(MachO::nlist_64) :
651 sizeof(MachO::nlist);
652 uint64_t Offset = S.symoff + SymbolIdx * SymbolTableEntrySize;
Rafael Espindola75c30362013-04-24 19:47:55 +0000653 DataRefImpl Sym;
654 Sym.p = reinterpret_cast<uintptr_t>(getPtr(this, Offset));
Rafael Espindola806f0062013-06-05 01:33:53 +0000655 return symbol_iterator(SymbolRef(Sym, this));
Rafael Espindola56f976f2013-04-18 18:08:55 +0000656}
657
Keno Fischerc780e8e2015-05-21 21:24:32 +0000658section_iterator
659MachOObjectFile::getRelocationSection(DataRefImpl Rel) const {
660 return section_iterator(getAnyRelocationSection(getRelocation(Rel)));
661}
662
Rafael Espindola3acea392014-06-12 21:46:39 +0000663std::error_code MachOObjectFile::getRelocationType(DataRefImpl Rel,
664 uint64_t &Res) const {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000665 MachO::any_relocation_info RE = getRelocation(Rel);
Rafael Espindola56f976f2013-04-18 18:08:55 +0000666 Res = getAnyRelocationType(RE);
Rui Ueyama7d099192015-06-09 15:20:42 +0000667 return std::error_code();
Rafael Espindola56f976f2013-04-18 18:08:55 +0000668}
669
Rafael Espindola3acea392014-06-12 21:46:39 +0000670std::error_code
Rafael Espindola56f976f2013-04-18 18:08:55 +0000671MachOObjectFile::getRelocationTypeName(DataRefImpl Rel,
672 SmallVectorImpl<char> &Result) const {
673 StringRef res;
674 uint64_t RType;
675 getRelocationType(Rel, RType);
676
677 unsigned Arch = this->getArch();
678
679 switch (Arch) {
680 case Triple::x86: {
681 static const char *const Table[] = {
682 "GENERIC_RELOC_VANILLA",
683 "GENERIC_RELOC_PAIR",
684 "GENERIC_RELOC_SECTDIFF",
685 "GENERIC_RELOC_PB_LA_PTR",
686 "GENERIC_RELOC_LOCAL_SECTDIFF",
687 "GENERIC_RELOC_TLV" };
688
Eric Christopher13250cb2013-12-06 02:33:38 +0000689 if (RType > 5)
Rafael Espindola56f976f2013-04-18 18:08:55 +0000690 res = "Unknown";
691 else
692 res = Table[RType];
693 break;
694 }
695 case Triple::x86_64: {
696 static const char *const Table[] = {
697 "X86_64_RELOC_UNSIGNED",
698 "X86_64_RELOC_SIGNED",
699 "X86_64_RELOC_BRANCH",
700 "X86_64_RELOC_GOT_LOAD",
701 "X86_64_RELOC_GOT",
702 "X86_64_RELOC_SUBTRACTOR",
703 "X86_64_RELOC_SIGNED_1",
704 "X86_64_RELOC_SIGNED_2",
705 "X86_64_RELOC_SIGNED_4",
706 "X86_64_RELOC_TLV" };
707
708 if (RType > 9)
709 res = "Unknown";
710 else
711 res = Table[RType];
712 break;
713 }
714 case Triple::arm: {
715 static const char *const Table[] = {
716 "ARM_RELOC_VANILLA",
717 "ARM_RELOC_PAIR",
718 "ARM_RELOC_SECTDIFF",
719 "ARM_RELOC_LOCAL_SECTDIFF",
720 "ARM_RELOC_PB_LA_PTR",
721 "ARM_RELOC_BR24",
722 "ARM_THUMB_RELOC_BR22",
723 "ARM_THUMB_32BIT_BRANCH",
724 "ARM_RELOC_HALF",
725 "ARM_RELOC_HALF_SECTDIFF" };
726
727 if (RType > 9)
728 res = "Unknown";
729 else
730 res = Table[RType];
731 break;
732 }
Tim Northover00ed9962014-03-29 10:18:08 +0000733 case Triple::aarch64: {
734 static const char *const Table[] = {
735 "ARM64_RELOC_UNSIGNED", "ARM64_RELOC_SUBTRACTOR",
736 "ARM64_RELOC_BRANCH26", "ARM64_RELOC_PAGE21",
737 "ARM64_RELOC_PAGEOFF12", "ARM64_RELOC_GOT_LOAD_PAGE21",
738 "ARM64_RELOC_GOT_LOAD_PAGEOFF12", "ARM64_RELOC_POINTER_TO_GOT",
739 "ARM64_RELOC_TLVP_LOAD_PAGE21", "ARM64_RELOC_TLVP_LOAD_PAGEOFF12",
740 "ARM64_RELOC_ADDEND"
741 };
742
743 if (RType >= array_lengthof(Table))
744 res = "Unknown";
745 else
746 res = Table[RType];
747 break;
748 }
Rafael Espindola56f976f2013-04-18 18:08:55 +0000749 case Triple::ppc: {
750 static const char *const Table[] = {
751 "PPC_RELOC_VANILLA",
752 "PPC_RELOC_PAIR",
753 "PPC_RELOC_BR14",
754 "PPC_RELOC_BR24",
755 "PPC_RELOC_HI16",
756 "PPC_RELOC_LO16",
757 "PPC_RELOC_HA16",
758 "PPC_RELOC_LO14",
759 "PPC_RELOC_SECTDIFF",
760 "PPC_RELOC_PB_LA_PTR",
761 "PPC_RELOC_HI16_SECTDIFF",
762 "PPC_RELOC_LO16_SECTDIFF",
763 "PPC_RELOC_HA16_SECTDIFF",
764 "PPC_RELOC_JBSR",
765 "PPC_RELOC_LO14_SECTDIFF",
766 "PPC_RELOC_LOCAL_SECTDIFF" };
767
Eric Christopher13250cb2013-12-06 02:33:38 +0000768 if (RType > 15)
769 res = "Unknown";
770 else
771 res = Table[RType];
Rafael Espindola56f976f2013-04-18 18:08:55 +0000772 break;
773 }
774 case Triple::UnknownArch:
775 res = "Unknown";
776 break;
777 }
778 Result.append(res.begin(), res.end());
Rui Ueyama7d099192015-06-09 15:20:42 +0000779 return std::error_code();
Rafael Espindola56f976f2013-04-18 18:08:55 +0000780}
781
Rafael Espindola3acea392014-06-12 21:46:39 +0000782std::error_code MachOObjectFile::getRelocationHidden(DataRefImpl Rel,
783 bool &Result) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000784 unsigned Arch = getArch();
785 uint64_t Type;
786 getRelocationType(Rel, Type);
787
788 Result = false;
789
790 // On arches that use the generic relocations, GENERIC_RELOC_PAIR
791 // is always hidden.
David Fangb88cdf62013-08-08 20:14:40 +0000792 if (Arch == Triple::x86 || Arch == Triple::arm || Arch == Triple::ppc) {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000793 if (Type == MachO::GENERIC_RELOC_PAIR) Result = true;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000794 } else if (Arch == Triple::x86_64) {
795 // On x86_64, X86_64_RELOC_UNSIGNED is hidden only when it follows
Eric Christopher1ff26ab62013-07-22 22:25:09 +0000796 // an X86_64_RELOC_SUBTRACTOR.
Charles Davis8bdfafd2013-09-01 04:28:48 +0000797 if (Type == MachO::X86_64_RELOC_UNSIGNED && Rel.d.a > 0) {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000798 DataRefImpl RelPrev = Rel;
799 RelPrev.d.a--;
800 uint64_t PrevType;
801 getRelocationType(RelPrev, PrevType);
Charles Davis8bdfafd2013-09-01 04:28:48 +0000802 if (PrevType == MachO::X86_64_RELOC_SUBTRACTOR)
Rafael Espindola56f976f2013-04-18 18:08:55 +0000803 Result = true;
804 }
805 }
806
Rui Ueyama7d099192015-06-09 15:20:42 +0000807 return std::error_code();
Rafael Espindola56f976f2013-04-18 18:08:55 +0000808}
809
Keno Fischer281b6942015-05-30 19:44:53 +0000810uint8_t MachOObjectFile::getRelocationLength(DataRefImpl Rel) const {
811 MachO::any_relocation_info RE = getRelocation(Rel);
812 return getAnyRelocationLength(RE);
813}
814
Kevin Enderby980b2582014-06-05 21:21:57 +0000815//
816// guessLibraryShortName() is passed a name of a dynamic library and returns a
817// guess on what the short name is. Then name is returned as a substring of the
818// StringRef Name passed in. The name of the dynamic library is recognized as
819// a framework if it has one of the two following forms:
820// Foo.framework/Versions/A/Foo
821// Foo.framework/Foo
822// Where A and Foo can be any string. And may contain a trailing suffix
823// starting with an underbar. If the Name is recognized as a framework then
824// isFramework is set to true else it is set to false. If the Name has a
825// suffix then Suffix is set to the substring in Name that contains the suffix
826// else it is set to a NULL StringRef.
827//
828// The Name of the dynamic library is recognized as a library name if it has
829// one of the two following forms:
830// libFoo.A.dylib
831// libFoo.dylib
832// The library may have a suffix trailing the name Foo of the form:
833// libFoo_profile.A.dylib
834// libFoo_profile.dylib
835//
836// The Name of the dynamic library is also recognized as a library name if it
837// has the following form:
838// Foo.qtx
839//
840// If the Name of the dynamic library is none of the forms above then a NULL
841// StringRef is returned.
842//
843StringRef MachOObjectFile::guessLibraryShortName(StringRef Name,
844 bool &isFramework,
845 StringRef &Suffix) {
846 StringRef Foo, F, DotFramework, V, Dylib, Lib, Dot, Qtx;
847 size_t a, b, c, d, Idx;
848
849 isFramework = false;
850 Suffix = StringRef();
851
852 // Pull off the last component and make Foo point to it
853 a = Name.rfind('/');
854 if (a == Name.npos || a == 0)
855 goto guess_library;
856 Foo = Name.slice(a+1, Name.npos);
857
858 // Look for a suffix starting with a '_'
859 Idx = Foo.rfind('_');
860 if (Idx != Foo.npos && Foo.size() >= 2) {
861 Suffix = Foo.slice(Idx, Foo.npos);
862 Foo = Foo.slice(0, Idx);
863 }
864
865 // First look for the form Foo.framework/Foo
866 b = Name.rfind('/', a);
867 if (b == Name.npos)
868 Idx = 0;
869 else
870 Idx = b+1;
871 F = Name.slice(Idx, Idx + Foo.size());
872 DotFramework = Name.slice(Idx + Foo.size(),
873 Idx + Foo.size() + sizeof(".framework/")-1);
874 if (F == Foo && DotFramework == ".framework/") {
875 isFramework = true;
876 return Foo;
877 }
878
879 // Next look for the form Foo.framework/Versions/A/Foo
880 if (b == Name.npos)
881 goto guess_library;
882 c = Name.rfind('/', b);
883 if (c == Name.npos || c == 0)
884 goto guess_library;
885 V = Name.slice(c+1, Name.npos);
886 if (!V.startswith("Versions/"))
887 goto guess_library;
888 d = Name.rfind('/', c);
889 if (d == Name.npos)
890 Idx = 0;
891 else
892 Idx = d+1;
893 F = Name.slice(Idx, Idx + Foo.size());
894 DotFramework = Name.slice(Idx + Foo.size(),
895 Idx + Foo.size() + sizeof(".framework/")-1);
896 if (F == Foo && DotFramework == ".framework/") {
897 isFramework = true;
898 return Foo;
899 }
900
901guess_library:
902 // pull off the suffix after the "." and make a point to it
903 a = Name.rfind('.');
904 if (a == Name.npos || a == 0)
905 return StringRef();
906 Dylib = Name.slice(a, Name.npos);
907 if (Dylib != ".dylib")
908 goto guess_qtx;
909
910 // First pull off the version letter for the form Foo.A.dylib if any.
911 if (a >= 3) {
912 Dot = Name.slice(a-2, a-1);
913 if (Dot == ".")
914 a = a - 2;
915 }
916
917 b = Name.rfind('/', a);
918 if (b == Name.npos)
919 b = 0;
920 else
921 b = b+1;
922 // ignore any suffix after an underbar like Foo_profile.A.dylib
923 Idx = Name.find('_', b);
924 if (Idx != Name.npos && Idx != b) {
925 Lib = Name.slice(b, Idx);
926 Suffix = Name.slice(Idx, a);
927 }
928 else
929 Lib = Name.slice(b, a);
930 // There are incorrect library names of the form:
931 // libATS.A_profile.dylib so check for these.
932 if (Lib.size() >= 3) {
933 Dot = Lib.slice(Lib.size()-2, Lib.size()-1);
934 if (Dot == ".")
935 Lib = Lib.slice(0, Lib.size()-2);
936 }
937 return Lib;
938
939guess_qtx:
940 Qtx = Name.slice(a, Name.npos);
941 if (Qtx != ".qtx")
942 return StringRef();
943 b = Name.rfind('/', a);
944 if (b == Name.npos)
945 Lib = Name.slice(0, a);
946 else
947 Lib = Name.slice(b+1, a);
948 // There are library names of the form: QT.A.qtx so check for these.
949 if (Lib.size() >= 3) {
950 Dot = Lib.slice(Lib.size()-2, Lib.size()-1);
951 if (Dot == ".")
952 Lib = Lib.slice(0, Lib.size()-2);
953 }
954 return Lib;
955}
956
957// getLibraryShortNameByIndex() is used to get the short name of the library
958// for an undefined symbol in a linked Mach-O binary that was linked with the
959// normal two-level namespace default (that is MH_TWOLEVEL in the header).
960// It is passed the index (0 - based) of the library as translated from
961// GET_LIBRARY_ORDINAL (1 - based).
Rafael Espindola3acea392014-06-12 21:46:39 +0000962std::error_code MachOObjectFile::getLibraryShortNameByIndex(unsigned Index,
Nick Kledzikd04bc352014-08-30 00:20:14 +0000963 StringRef &Res) const {
Kevin Enderby980b2582014-06-05 21:21:57 +0000964 if (Index >= Libraries.size())
965 return object_error::parse_failed;
966
Kevin Enderby980b2582014-06-05 21:21:57 +0000967 // If the cache of LibrariesShortNames is not built up do that first for
968 // all the Libraries.
969 if (LibrariesShortNames.size() == 0) {
970 for (unsigned i = 0; i < Libraries.size(); i++) {
971 MachO::dylib_command D =
972 getStruct<MachO::dylib_command>(this, Libraries[i]);
Nick Kledzik30061302014-09-17 00:25:22 +0000973 if (D.dylib.name >= D.cmdsize)
974 return object_error::parse_failed;
Kevin Enderby4eff6cd2014-06-20 18:07:34 +0000975 const char *P = (const char *)(Libraries[i]) + D.dylib.name;
Kevin Enderby980b2582014-06-05 21:21:57 +0000976 StringRef Name = StringRef(P);
Nick Kledzik30061302014-09-17 00:25:22 +0000977 if (D.dylib.name+Name.size() >= D.cmdsize)
978 return object_error::parse_failed;
Kevin Enderby980b2582014-06-05 21:21:57 +0000979 StringRef Suffix;
980 bool isFramework;
981 StringRef shortName = guessLibraryShortName(Name, isFramework, Suffix);
Nick Kledzik30061302014-09-17 00:25:22 +0000982 if (shortName.empty())
Kevin Enderby980b2582014-06-05 21:21:57 +0000983 LibrariesShortNames.push_back(Name);
984 else
985 LibrariesShortNames.push_back(shortName);
986 }
987 }
988
989 Res = LibrariesShortNames[Index];
Rui Ueyama7d099192015-06-09 15:20:42 +0000990 return std::error_code();
Kevin Enderby980b2582014-06-05 21:21:57 +0000991}
992
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000993basic_symbol_iterator MachOObjectFile::symbol_begin_impl() const {
Lang Hames36072da2014-05-12 21:39:59 +0000994 return getSymbolByIndex(0);
Rafael Espindola56f976f2013-04-18 18:08:55 +0000995}
996
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000997basic_symbol_iterator MachOObjectFile::symbol_end_impl() const {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000998 DataRefImpl DRI;
Rafael Espindola75c30362013-04-24 19:47:55 +0000999 if (!SymtabLoadCmd)
Rafael Espindolaf12b8282014-02-21 20:10:59 +00001000 return basic_symbol_iterator(SymbolRef(DRI, this));
Rafael Espindola75c30362013-04-24 19:47:55 +00001001
Charles Davis8bdfafd2013-09-01 04:28:48 +00001002 MachO::symtab_command Symtab = getSymtabLoadCommand();
Rafael Espindola75c30362013-04-24 19:47:55 +00001003 unsigned SymbolTableEntrySize = is64Bit() ?
Charles Davis8bdfafd2013-09-01 04:28:48 +00001004 sizeof(MachO::nlist_64) :
1005 sizeof(MachO::nlist);
1006 unsigned Offset = Symtab.symoff +
1007 Symtab.nsyms * SymbolTableEntrySize;
Rafael Espindola75c30362013-04-24 19:47:55 +00001008 DRI.p = reinterpret_cast<uintptr_t>(getPtr(this, Offset));
Rafael Espindolaf12b8282014-02-21 20:10:59 +00001009 return basic_symbol_iterator(SymbolRef(DRI, this));
Rafael Espindola56f976f2013-04-18 18:08:55 +00001010}
1011
Lang Hames36072da2014-05-12 21:39:59 +00001012basic_symbol_iterator MachOObjectFile::getSymbolByIndex(unsigned Index) const {
1013 DataRefImpl DRI;
1014 if (!SymtabLoadCmd)
1015 return basic_symbol_iterator(SymbolRef(DRI, this));
1016
1017 MachO::symtab_command Symtab = getSymtabLoadCommand();
Filipe Cabecinhas40139502015-01-15 22:52:38 +00001018 if (Index >= Symtab.nsyms)
1019 report_fatal_error("Requested symbol index is out of range.");
Lang Hames36072da2014-05-12 21:39:59 +00001020 unsigned SymbolTableEntrySize =
1021 is64Bit() ? sizeof(MachO::nlist_64) : sizeof(MachO::nlist);
1022 DRI.p = reinterpret_cast<uintptr_t>(getPtr(this, Symtab.symoff));
1023 DRI.p += Index * SymbolTableEntrySize;
1024 return basic_symbol_iterator(SymbolRef(DRI, this));
1025}
1026
Rafael Espindolab5155a52014-02-10 20:24:04 +00001027section_iterator MachOObjectFile::section_begin() const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00001028 DataRefImpl DRI;
1029 return section_iterator(SectionRef(DRI, this));
1030}
1031
Rafael Espindolab5155a52014-02-10 20:24:04 +00001032section_iterator MachOObjectFile::section_end() const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00001033 DataRefImpl DRI;
1034 DRI.d.a = Sections.size();
1035 return section_iterator(SectionRef(DRI, this));
1036}
1037
Rafael Espindola56f976f2013-04-18 18:08:55 +00001038uint8_t MachOObjectFile::getBytesInAddress() const {
Rafael Espindola60689982013-04-07 19:05:30 +00001039 return is64Bit() ? 8 : 4;
Eric Christopher7b015c72011-04-22 03:19:48 +00001040}
1041
Rafael Espindola56f976f2013-04-18 18:08:55 +00001042StringRef MachOObjectFile::getFileFormatName() const {
1043 unsigned CPUType = getCPUType(this);
1044 if (!is64Bit()) {
1045 switch (CPUType) {
Charles Davis74ec8b02013-08-27 05:00:13 +00001046 case llvm::MachO::CPU_TYPE_I386:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001047 return "Mach-O 32-bit i386";
Charles Davis74ec8b02013-08-27 05:00:13 +00001048 case llvm::MachO::CPU_TYPE_ARM:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001049 return "Mach-O arm";
Charles Davis74ec8b02013-08-27 05:00:13 +00001050 case llvm::MachO::CPU_TYPE_POWERPC:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001051 return "Mach-O 32-bit ppc";
1052 default:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001053 return "Mach-O 32-bit unknown";
1054 }
1055 }
1056
Rafael Espindola56f976f2013-04-18 18:08:55 +00001057 switch (CPUType) {
Charles Davis74ec8b02013-08-27 05:00:13 +00001058 case llvm::MachO::CPU_TYPE_X86_64:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001059 return "Mach-O 64-bit x86-64";
Tim Northover00ed9962014-03-29 10:18:08 +00001060 case llvm::MachO::CPU_TYPE_ARM64:
1061 return "Mach-O arm64";
Charles Davis74ec8b02013-08-27 05:00:13 +00001062 case llvm::MachO::CPU_TYPE_POWERPC64:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001063 return "Mach-O 64-bit ppc64";
1064 default:
1065 return "Mach-O 64-bit unknown";
1066 }
1067}
1068
Alexey Samsonove6388e62013-06-18 15:03:28 +00001069Triple::ArchType MachOObjectFile::getArch(uint32_t CPUType) {
1070 switch (CPUType) {
Charles Davis74ec8b02013-08-27 05:00:13 +00001071 case llvm::MachO::CPU_TYPE_I386:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001072 return Triple::x86;
Charles Davis74ec8b02013-08-27 05:00:13 +00001073 case llvm::MachO::CPU_TYPE_X86_64:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001074 return Triple::x86_64;
Charles Davis74ec8b02013-08-27 05:00:13 +00001075 case llvm::MachO::CPU_TYPE_ARM:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001076 return Triple::arm;
Tim Northover00ed9962014-03-29 10:18:08 +00001077 case llvm::MachO::CPU_TYPE_ARM64:
Tim Northovere19bed72014-07-23 12:32:47 +00001078 return Triple::aarch64;
Charles Davis74ec8b02013-08-27 05:00:13 +00001079 case llvm::MachO::CPU_TYPE_POWERPC:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001080 return Triple::ppc;
Charles Davis74ec8b02013-08-27 05:00:13 +00001081 case llvm::MachO::CPU_TYPE_POWERPC64:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001082 return Triple::ppc64;
1083 default:
1084 return Triple::UnknownArch;
1085 }
1086}
1087
Kevin Enderbyec5ca032014-08-18 20:21:02 +00001088Triple MachOObjectFile::getArch(uint32_t CPUType, uint32_t CPUSubType,
1089 const char **McpuDefault) {
1090 if (McpuDefault)
1091 *McpuDefault = nullptr;
1092
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001093 switch (CPUType) {
1094 case MachO::CPU_TYPE_I386:
1095 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
1096 case MachO::CPU_SUBTYPE_I386_ALL:
1097 return Triple("i386-apple-darwin");
1098 default:
1099 return Triple();
1100 }
1101 case MachO::CPU_TYPE_X86_64:
1102 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
1103 case MachO::CPU_SUBTYPE_X86_64_ALL:
1104 return Triple("x86_64-apple-darwin");
1105 case MachO::CPU_SUBTYPE_X86_64_H:
1106 return Triple("x86_64h-apple-darwin");
1107 default:
1108 return Triple();
1109 }
1110 case MachO::CPU_TYPE_ARM:
1111 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
1112 case MachO::CPU_SUBTYPE_ARM_V4T:
1113 return Triple("armv4t-apple-darwin");
1114 case MachO::CPU_SUBTYPE_ARM_V5TEJ:
1115 return Triple("armv5e-apple-darwin");
Kevin Enderbyae2a9a22014-08-07 21:30:25 +00001116 case MachO::CPU_SUBTYPE_ARM_XSCALE:
1117 return Triple("xscale-apple-darwin");
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001118 case MachO::CPU_SUBTYPE_ARM_V6:
1119 return Triple("armv6-apple-darwin");
1120 case MachO::CPU_SUBTYPE_ARM_V6M:
Kevin Enderbyec5ca032014-08-18 20:21:02 +00001121 if (McpuDefault)
1122 *McpuDefault = "cortex-m0";
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001123 return Triple("armv6m-apple-darwin");
Kevin Enderbyae2a9a22014-08-07 21:30:25 +00001124 case MachO::CPU_SUBTYPE_ARM_V7:
1125 return Triple("armv7-apple-darwin");
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001126 case MachO::CPU_SUBTYPE_ARM_V7EM:
Kevin Enderbyec5ca032014-08-18 20:21:02 +00001127 if (McpuDefault)
1128 *McpuDefault = "cortex-m4";
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001129 return Triple("armv7em-apple-darwin");
1130 case MachO::CPU_SUBTYPE_ARM_V7K:
1131 return Triple("armv7k-apple-darwin");
1132 case MachO::CPU_SUBTYPE_ARM_V7M:
Kevin Enderbyec5ca032014-08-18 20:21:02 +00001133 if (McpuDefault)
1134 *McpuDefault = "cortex-m3";
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001135 return Triple("armv7m-apple-darwin");
1136 case MachO::CPU_SUBTYPE_ARM_V7S:
1137 return Triple("armv7s-apple-darwin");
1138 default:
1139 return Triple();
1140 }
1141 case MachO::CPU_TYPE_ARM64:
1142 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
1143 case MachO::CPU_SUBTYPE_ARM64_ALL:
1144 return Triple("arm64-apple-darwin");
1145 default:
1146 return Triple();
1147 }
1148 case MachO::CPU_TYPE_POWERPC:
1149 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
1150 case MachO::CPU_SUBTYPE_POWERPC_ALL:
1151 return Triple("ppc-apple-darwin");
1152 default:
1153 return Triple();
1154 }
1155 case MachO::CPU_TYPE_POWERPC64:
Reid Kleckner4da3d572014-06-30 20:12:59 +00001156 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001157 case MachO::CPU_SUBTYPE_POWERPC_ALL:
1158 return Triple("ppc64-apple-darwin");
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001159 default:
1160 return Triple();
1161 }
1162 default:
1163 return Triple();
1164 }
1165}
1166
Kevin Enderbyec5ca032014-08-18 20:21:02 +00001167Triple MachOObjectFile::getThumbArch(uint32_t CPUType, uint32_t CPUSubType,
1168 const char **McpuDefault) {
1169 if (McpuDefault)
1170 *McpuDefault = nullptr;
1171
1172 switch (CPUType) {
1173 case MachO::CPU_TYPE_ARM:
1174 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
1175 case MachO::CPU_SUBTYPE_ARM_V4T:
1176 return Triple("thumbv4t-apple-darwin");
1177 case MachO::CPU_SUBTYPE_ARM_V5TEJ:
1178 return Triple("thumbv5e-apple-darwin");
1179 case MachO::CPU_SUBTYPE_ARM_XSCALE:
1180 return Triple("xscale-apple-darwin");
1181 case MachO::CPU_SUBTYPE_ARM_V6:
1182 return Triple("thumbv6-apple-darwin");
1183 case MachO::CPU_SUBTYPE_ARM_V6M:
1184 if (McpuDefault)
1185 *McpuDefault = "cortex-m0";
1186 return Triple("thumbv6m-apple-darwin");
1187 case MachO::CPU_SUBTYPE_ARM_V7:
1188 return Triple("thumbv7-apple-darwin");
1189 case MachO::CPU_SUBTYPE_ARM_V7EM:
1190 if (McpuDefault)
1191 *McpuDefault = "cortex-m4";
1192 return Triple("thumbv7em-apple-darwin");
1193 case MachO::CPU_SUBTYPE_ARM_V7K:
1194 return Triple("thumbv7k-apple-darwin");
1195 case MachO::CPU_SUBTYPE_ARM_V7M:
1196 if (McpuDefault)
1197 *McpuDefault = "cortex-m3";
1198 return Triple("thumbv7m-apple-darwin");
1199 case MachO::CPU_SUBTYPE_ARM_V7S:
1200 return Triple("thumbv7s-apple-darwin");
1201 default:
1202 return Triple();
1203 }
1204 default:
1205 return Triple();
1206 }
1207}
1208
1209Triple MachOObjectFile::getArch(uint32_t CPUType, uint32_t CPUSubType,
1210 const char **McpuDefault,
1211 Triple *ThumbTriple) {
1212 Triple T = MachOObjectFile::getArch(CPUType, CPUSubType, McpuDefault);
1213 *ThumbTriple = MachOObjectFile::getThumbArch(CPUType, CPUSubType,
1214 McpuDefault);
1215 return T;
1216}
1217
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001218Triple MachOObjectFile::getHostArch() {
1219 return Triple(sys::getDefaultTargetTriple());
1220}
1221
Rafael Espindola72318b42014-08-08 16:30:17 +00001222bool MachOObjectFile::isValidArch(StringRef ArchFlag) {
1223 return StringSwitch<bool>(ArchFlag)
1224 .Case("i386", true)
1225 .Case("x86_64", true)
1226 .Case("x86_64h", true)
1227 .Case("armv4t", true)
1228 .Case("arm", true)
1229 .Case("armv5e", true)
1230 .Case("armv6", true)
1231 .Case("armv6m", true)
Frederic Riss40baa0a2015-06-16 17:37:03 +00001232 .Case("armv7", true)
Rafael Espindola72318b42014-08-08 16:30:17 +00001233 .Case("armv7em", true)
1234 .Case("armv7k", true)
1235 .Case("armv7m", true)
1236 .Case("armv7s", true)
1237 .Case("arm64", true)
1238 .Case("ppc", true)
1239 .Case("ppc64", true)
1240 .Default(false);
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001241}
1242
Alexey Samsonove6388e62013-06-18 15:03:28 +00001243unsigned MachOObjectFile::getArch() const {
1244 return getArch(getCPUType(this));
1245}
1246
Kevin Enderbyec5ca032014-08-18 20:21:02 +00001247Triple MachOObjectFile::getArch(const char **McpuDefault,
1248 Triple *ThumbTriple) const {
Alexey Samsonov13415ed2015-06-04 19:22:03 +00001249 *ThumbTriple = getThumbArch(Header.cputype, Header.cpusubtype, McpuDefault);
1250 return getArch(Header.cputype, Header.cpusubtype, McpuDefault);
Kevin Enderbyec5ca032014-08-18 20:21:02 +00001251}
1252
Rui Ueyamabc654b12013-09-27 21:47:05 +00001253relocation_iterator MachOObjectFile::section_rel_begin(unsigned Index) const {
Rafael Espindola6e040c02013-04-26 20:07:33 +00001254 DataRefImpl DRI;
1255 DRI.d.a = Index;
Rui Ueyamabc654b12013-09-27 21:47:05 +00001256 return section_rel_begin(DRI);
Rafael Espindola6e040c02013-04-26 20:07:33 +00001257}
1258
Rui Ueyamabc654b12013-09-27 21:47:05 +00001259relocation_iterator MachOObjectFile::section_rel_end(unsigned Index) const {
Rafael Espindola6e040c02013-04-26 20:07:33 +00001260 DataRefImpl DRI;
1261 DRI.d.a = Index;
Rui Ueyamabc654b12013-09-27 21:47:05 +00001262 return section_rel_end(DRI);
Rafael Espindola6e040c02013-04-26 20:07:33 +00001263}
1264
Kevin Enderby273ae012013-06-06 17:20:50 +00001265dice_iterator MachOObjectFile::begin_dices() const {
1266 DataRefImpl DRI;
1267 if (!DataInCodeLoadCmd)
1268 return dice_iterator(DiceRef(DRI, this));
1269
Charles Davis8bdfafd2013-09-01 04:28:48 +00001270 MachO::linkedit_data_command DicLC = getDataInCodeLoadCommand();
1271 DRI.p = reinterpret_cast<uintptr_t>(getPtr(this, DicLC.dataoff));
Kevin Enderby273ae012013-06-06 17:20:50 +00001272 return dice_iterator(DiceRef(DRI, this));
1273}
1274
1275dice_iterator MachOObjectFile::end_dices() const {
1276 DataRefImpl DRI;
1277 if (!DataInCodeLoadCmd)
1278 return dice_iterator(DiceRef(DRI, this));
1279
Charles Davis8bdfafd2013-09-01 04:28:48 +00001280 MachO::linkedit_data_command DicLC = getDataInCodeLoadCommand();
1281 unsigned Offset = DicLC.dataoff + DicLC.datasize;
Kevin Enderby273ae012013-06-06 17:20:50 +00001282 DRI.p = reinterpret_cast<uintptr_t>(getPtr(this, Offset));
1283 return dice_iterator(DiceRef(DRI, this));
1284}
1285
Nick Kledzikd04bc352014-08-30 00:20:14 +00001286ExportEntry::ExportEntry(ArrayRef<uint8_t> T)
1287 : Trie(T), Malformed(false), Done(false) { }
1288
1289void ExportEntry::moveToFirst() {
1290 pushNode(0);
1291 pushDownUntilBottom();
1292}
1293
1294void ExportEntry::moveToEnd() {
1295 Stack.clear();
1296 Done = true;
1297}
1298
1299bool ExportEntry::operator==(const ExportEntry &Other) const {
1300 // Common case, one at end, other iterating from begin.
1301 if (Done || Other.Done)
1302 return (Done == Other.Done);
1303 // Not equal if different stack sizes.
1304 if (Stack.size() != Other.Stack.size())
1305 return false;
1306 // Not equal if different cumulative strings.
Yaron Keren075759a2015-03-30 15:42:36 +00001307 if (!CumulativeString.equals(Other.CumulativeString))
Nick Kledzikd04bc352014-08-30 00:20:14 +00001308 return false;
1309 // Equal if all nodes in both stacks match.
1310 for (unsigned i=0; i < Stack.size(); ++i) {
1311 if (Stack[i].Start != Other.Stack[i].Start)
1312 return false;
1313 }
1314 return true;
1315}
1316
Nick Kledzikac7cbdc2014-09-02 18:50:24 +00001317uint64_t ExportEntry::readULEB128(const uint8_t *&Ptr) {
1318 unsigned Count;
1319 uint64_t Result = decodeULEB128(Ptr, &Count);
1320 Ptr += Count;
1321 if (Ptr > Trie.end()) {
1322 Ptr = Trie.end();
Nick Kledzikd04bc352014-08-30 00:20:14 +00001323 Malformed = true;
1324 }
Nick Kledzikac7cbdc2014-09-02 18:50:24 +00001325 return Result;
Nick Kledzikd04bc352014-08-30 00:20:14 +00001326}
1327
1328StringRef ExportEntry::name() const {
Yaron Keren075759a2015-03-30 15:42:36 +00001329 return CumulativeString;
Nick Kledzikd04bc352014-08-30 00:20:14 +00001330}
1331
1332uint64_t ExportEntry::flags() const {
1333 return Stack.back().Flags;
1334}
1335
1336uint64_t ExportEntry::address() const {
1337 return Stack.back().Address;
1338}
1339
1340uint64_t ExportEntry::other() const {
1341 return Stack.back().Other;
1342}
1343
1344StringRef ExportEntry::otherName() const {
1345 const char* ImportName = Stack.back().ImportName;
1346 if (ImportName)
1347 return StringRef(ImportName);
1348 return StringRef();
1349}
1350
1351uint32_t ExportEntry::nodeOffset() const {
1352 return Stack.back().Start - Trie.begin();
1353}
1354
1355ExportEntry::NodeState::NodeState(const uint8_t *Ptr)
1356 : Start(Ptr), Current(Ptr), Flags(0), Address(0), Other(0),
1357 ImportName(nullptr), ChildCount(0), NextChildIndex(0),
1358 ParentStringLength(0), IsExportNode(false) {
1359}
1360
1361void ExportEntry::pushNode(uint64_t offset) {
1362 const uint8_t *Ptr = Trie.begin() + offset;
1363 NodeState State(Ptr);
1364 uint64_t ExportInfoSize = readULEB128(State.Current);
1365 State.IsExportNode = (ExportInfoSize != 0);
1366 const uint8_t* Children = State.Current + ExportInfoSize;
1367 if (State.IsExportNode) {
1368 State.Flags = readULEB128(State.Current);
1369 if (State.Flags & MachO::EXPORT_SYMBOL_FLAGS_REEXPORT) {
1370 State.Address = 0;
1371 State.Other = readULEB128(State.Current); // dylib ordinal
1372 State.ImportName = reinterpret_cast<const char*>(State.Current);
1373 } else {
1374 State.Address = readULEB128(State.Current);
Nick Kledzik1b591bd2014-08-30 01:57:34 +00001375 if (State.Flags & MachO::EXPORT_SYMBOL_FLAGS_STUB_AND_RESOLVER)
1376 State.Other = readULEB128(State.Current);
Nick Kledzikd04bc352014-08-30 00:20:14 +00001377 }
1378 }
1379 State.ChildCount = *Children;
1380 State.Current = Children + 1;
1381 State.NextChildIndex = 0;
1382 State.ParentStringLength = CumulativeString.size();
1383 Stack.push_back(State);
1384}
1385
1386void ExportEntry::pushDownUntilBottom() {
1387 while (Stack.back().NextChildIndex < Stack.back().ChildCount) {
1388 NodeState &Top = Stack.back();
1389 CumulativeString.resize(Top.ParentStringLength);
1390 for (;*Top.Current != 0; Top.Current++) {
Nick Kledzikac7cbdc2014-09-02 18:50:24 +00001391 char C = *Top.Current;
1392 CumulativeString.push_back(C);
Nick Kledzikd04bc352014-08-30 00:20:14 +00001393 }
1394 Top.Current += 1;
1395 uint64_t childNodeIndex = readULEB128(Top.Current);
1396 Top.NextChildIndex += 1;
1397 pushNode(childNodeIndex);
1398 }
1399 if (!Stack.back().IsExportNode) {
1400 Malformed = true;
1401 moveToEnd();
1402 }
1403}
1404
1405// We have a trie data structure and need a way to walk it that is compatible
1406// with the C++ iterator model. The solution is a non-recursive depth first
1407// traversal where the iterator contains a stack of parent nodes along with a
1408// string that is the accumulation of all edge strings along the parent chain
1409// to this point.
1410//
NAKAMURA Takumi59c74b222014-10-27 08:08:18 +00001411// There is one "export" node for each exported symbol. But because some
Nick Kledzikd04bc352014-08-30 00:20:14 +00001412// symbols may be a prefix of another symbol (e.g. _dup and _dup2), an export
1413// node may have child nodes too.
1414//
1415// The algorithm for moveNext() is to keep moving down the leftmost unvisited
1416// child until hitting a node with no children (which is an export node or
1417// else the trie is malformed). On the way down, each node is pushed on the
1418// stack ivar. If there is no more ways down, it pops up one and tries to go
1419// down a sibling path until a childless node is reached.
1420void ExportEntry::moveNext() {
1421 if (Stack.empty() || !Stack.back().IsExportNode) {
1422 Malformed = true;
1423 moveToEnd();
1424 return;
1425 }
1426
1427 Stack.pop_back();
1428 while (!Stack.empty()) {
1429 NodeState &Top = Stack.back();
1430 if (Top.NextChildIndex < Top.ChildCount) {
1431 pushDownUntilBottom();
1432 // Now at the next export node.
1433 return;
1434 } else {
1435 if (Top.IsExportNode) {
1436 // This node has no children but is itself an export node.
1437 CumulativeString.resize(Top.ParentStringLength);
1438 return;
1439 }
1440 Stack.pop_back();
1441 }
1442 }
1443 Done = true;
1444}
1445
1446iterator_range<export_iterator>
1447MachOObjectFile::exports(ArrayRef<uint8_t> Trie) {
1448 ExportEntry Start(Trie);
Juergen Ributzka4d7f70d2014-12-19 02:31:01 +00001449 if (Trie.size() == 0)
1450 Start.moveToEnd();
1451 else
1452 Start.moveToFirst();
Nick Kledzikd04bc352014-08-30 00:20:14 +00001453
1454 ExportEntry Finish(Trie);
1455 Finish.moveToEnd();
1456
1457 return iterator_range<export_iterator>(export_iterator(Start),
1458 export_iterator(Finish));
1459}
1460
1461iterator_range<export_iterator> MachOObjectFile::exports() const {
1462 return exports(getDyldInfoExportsTrie());
1463}
1464
1465
Nick Kledzikac431442014-09-12 21:34:15 +00001466MachORebaseEntry::MachORebaseEntry(ArrayRef<uint8_t> Bytes, bool is64Bit)
1467 : Opcodes(Bytes), Ptr(Bytes.begin()), SegmentOffset(0), SegmentIndex(0),
1468 RemainingLoopCount(0), AdvanceAmount(0), RebaseType(0),
1469 PointerSize(is64Bit ? 8 : 4), Malformed(false), Done(false) {}
1470
1471void MachORebaseEntry::moveToFirst() {
1472 Ptr = Opcodes.begin();
1473 moveNext();
1474}
1475
1476void MachORebaseEntry::moveToEnd() {
1477 Ptr = Opcodes.end();
1478 RemainingLoopCount = 0;
1479 Done = true;
1480}
1481
1482void MachORebaseEntry::moveNext() {
1483 // If in the middle of some loop, move to next rebasing in loop.
1484 SegmentOffset += AdvanceAmount;
1485 if (RemainingLoopCount) {
1486 --RemainingLoopCount;
1487 return;
1488 }
1489 if (Ptr == Opcodes.end()) {
1490 Done = true;
1491 return;
1492 }
1493 bool More = true;
1494 while (More && !Malformed) {
1495 // Parse next opcode and set up next loop.
1496 uint8_t Byte = *Ptr++;
1497 uint8_t ImmValue = Byte & MachO::REBASE_IMMEDIATE_MASK;
1498 uint8_t Opcode = Byte & MachO::REBASE_OPCODE_MASK;
1499 switch (Opcode) {
1500 case MachO::REBASE_OPCODE_DONE:
1501 More = false;
1502 Done = true;
1503 moveToEnd();
1504 DEBUG_WITH_TYPE("mach-o-rebase", llvm::dbgs() << "REBASE_OPCODE_DONE\n");
1505 break;
1506 case MachO::REBASE_OPCODE_SET_TYPE_IMM:
1507 RebaseType = ImmValue;
1508 DEBUG_WITH_TYPE(
1509 "mach-o-rebase",
1510 llvm::dbgs() << "REBASE_OPCODE_SET_TYPE_IMM: "
1511 << "RebaseType=" << (int) RebaseType << "\n");
1512 break;
1513 case MachO::REBASE_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB:
1514 SegmentIndex = ImmValue;
1515 SegmentOffset = readULEB128();
1516 DEBUG_WITH_TYPE(
1517 "mach-o-rebase",
1518 llvm::dbgs() << "REBASE_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB: "
1519 << "SegmentIndex=" << SegmentIndex << ", "
1520 << format("SegmentOffset=0x%06X", SegmentOffset)
1521 << "\n");
1522 break;
1523 case MachO::REBASE_OPCODE_ADD_ADDR_ULEB:
1524 SegmentOffset += readULEB128();
1525 DEBUG_WITH_TYPE("mach-o-rebase",
1526 llvm::dbgs() << "REBASE_OPCODE_ADD_ADDR_ULEB: "
1527 << format("SegmentOffset=0x%06X",
1528 SegmentOffset) << "\n");
1529 break;
1530 case MachO::REBASE_OPCODE_ADD_ADDR_IMM_SCALED:
1531 SegmentOffset += ImmValue * PointerSize;
1532 DEBUG_WITH_TYPE("mach-o-rebase",
1533 llvm::dbgs() << "REBASE_OPCODE_ADD_ADDR_IMM_SCALED: "
1534 << format("SegmentOffset=0x%06X",
1535 SegmentOffset) << "\n");
1536 break;
1537 case MachO::REBASE_OPCODE_DO_REBASE_IMM_TIMES:
1538 AdvanceAmount = PointerSize;
1539 RemainingLoopCount = ImmValue - 1;
1540 DEBUG_WITH_TYPE(
1541 "mach-o-rebase",
1542 llvm::dbgs() << "REBASE_OPCODE_DO_REBASE_IMM_TIMES: "
1543 << format("SegmentOffset=0x%06X", SegmentOffset)
1544 << ", AdvanceAmount=" << AdvanceAmount
1545 << ", RemainingLoopCount=" << RemainingLoopCount
1546 << "\n");
1547 return;
1548 case MachO::REBASE_OPCODE_DO_REBASE_ULEB_TIMES:
1549 AdvanceAmount = PointerSize;
1550 RemainingLoopCount = readULEB128() - 1;
1551 DEBUG_WITH_TYPE(
1552 "mach-o-rebase",
1553 llvm::dbgs() << "REBASE_OPCODE_DO_REBASE_ULEB_TIMES: "
1554 << format("SegmentOffset=0x%06X", SegmentOffset)
1555 << ", AdvanceAmount=" << AdvanceAmount
1556 << ", RemainingLoopCount=" << RemainingLoopCount
1557 << "\n");
1558 return;
1559 case MachO::REBASE_OPCODE_DO_REBASE_ADD_ADDR_ULEB:
1560 AdvanceAmount = readULEB128() + PointerSize;
1561 RemainingLoopCount = 0;
1562 DEBUG_WITH_TYPE(
1563 "mach-o-rebase",
1564 llvm::dbgs() << "REBASE_OPCODE_DO_REBASE_ADD_ADDR_ULEB: "
1565 << format("SegmentOffset=0x%06X", SegmentOffset)
1566 << ", AdvanceAmount=" << AdvanceAmount
1567 << ", RemainingLoopCount=" << RemainingLoopCount
1568 << "\n");
1569 return;
1570 case MachO::REBASE_OPCODE_DO_REBASE_ULEB_TIMES_SKIPPING_ULEB:
1571 RemainingLoopCount = readULEB128() - 1;
1572 AdvanceAmount = readULEB128() + PointerSize;
1573 DEBUG_WITH_TYPE(
1574 "mach-o-rebase",
1575 llvm::dbgs() << "REBASE_OPCODE_DO_REBASE_ULEB_TIMES_SKIPPING_ULEB: "
1576 << format("SegmentOffset=0x%06X", SegmentOffset)
1577 << ", AdvanceAmount=" << AdvanceAmount
1578 << ", RemainingLoopCount=" << RemainingLoopCount
1579 << "\n");
1580 return;
1581 default:
1582 Malformed = true;
1583 }
1584 }
1585}
1586
1587uint64_t MachORebaseEntry::readULEB128() {
1588 unsigned Count;
1589 uint64_t Result = decodeULEB128(Ptr, &Count);
1590 Ptr += Count;
1591 if (Ptr > Opcodes.end()) {
1592 Ptr = Opcodes.end();
1593 Malformed = true;
1594 }
1595 return Result;
1596}
1597
1598uint32_t MachORebaseEntry::segmentIndex() const { return SegmentIndex; }
1599
1600uint64_t MachORebaseEntry::segmentOffset() const { return SegmentOffset; }
1601
1602StringRef MachORebaseEntry::typeName() const {
1603 switch (RebaseType) {
1604 case MachO::REBASE_TYPE_POINTER:
1605 return "pointer";
1606 case MachO::REBASE_TYPE_TEXT_ABSOLUTE32:
1607 return "text abs32";
1608 case MachO::REBASE_TYPE_TEXT_PCREL32:
1609 return "text rel32";
1610 }
1611 return "unknown";
1612}
1613
1614bool MachORebaseEntry::operator==(const MachORebaseEntry &Other) const {
1615 assert(Opcodes == Other.Opcodes && "compare iterators of different files");
1616 return (Ptr == Other.Ptr) &&
1617 (RemainingLoopCount == Other.RemainingLoopCount) &&
1618 (Done == Other.Done);
1619}
1620
1621iterator_range<rebase_iterator>
1622MachOObjectFile::rebaseTable(ArrayRef<uint8_t> Opcodes, bool is64) {
1623 MachORebaseEntry Start(Opcodes, is64);
1624 Start.moveToFirst();
1625
1626 MachORebaseEntry Finish(Opcodes, is64);
1627 Finish.moveToEnd();
1628
1629 return iterator_range<rebase_iterator>(rebase_iterator(Start),
1630 rebase_iterator(Finish));
1631}
1632
1633iterator_range<rebase_iterator> MachOObjectFile::rebaseTable() const {
1634 return rebaseTable(getDyldInfoRebaseOpcodes(), is64Bit());
1635}
1636
Nick Kledzik56ebef42014-09-16 01:41:51 +00001637
1638MachOBindEntry::MachOBindEntry(ArrayRef<uint8_t> Bytes, bool is64Bit,
1639 Kind BK)
1640 : Opcodes(Bytes), Ptr(Bytes.begin()), SegmentOffset(0), SegmentIndex(0),
1641 Ordinal(0), Flags(0), Addend(0), RemainingLoopCount(0), AdvanceAmount(0),
1642 BindType(0), PointerSize(is64Bit ? 8 : 4),
1643 TableKind(BK), Malformed(false), Done(false) {}
1644
1645void MachOBindEntry::moveToFirst() {
1646 Ptr = Opcodes.begin();
1647 moveNext();
1648}
1649
1650void MachOBindEntry::moveToEnd() {
1651 Ptr = Opcodes.end();
1652 RemainingLoopCount = 0;
1653 Done = true;
1654}
1655
1656void MachOBindEntry::moveNext() {
1657 // If in the middle of some loop, move to next binding in loop.
1658 SegmentOffset += AdvanceAmount;
1659 if (RemainingLoopCount) {
1660 --RemainingLoopCount;
1661 return;
1662 }
1663 if (Ptr == Opcodes.end()) {
1664 Done = true;
1665 return;
1666 }
1667 bool More = true;
1668 while (More && !Malformed) {
1669 // Parse next opcode and set up next loop.
1670 uint8_t Byte = *Ptr++;
1671 uint8_t ImmValue = Byte & MachO::BIND_IMMEDIATE_MASK;
1672 uint8_t Opcode = Byte & MachO::BIND_OPCODE_MASK;
1673 int8_t SignExtended;
1674 const uint8_t *SymStart;
1675 switch (Opcode) {
1676 case MachO::BIND_OPCODE_DONE:
1677 if (TableKind == Kind::Lazy) {
1678 // Lazying bindings have a DONE opcode between entries. Need to ignore
1679 // it to advance to next entry. But need not if this is last entry.
1680 bool NotLastEntry = false;
1681 for (const uint8_t *P = Ptr; P < Opcodes.end(); ++P) {
1682 if (*P) {
1683 NotLastEntry = true;
1684 }
1685 }
1686 if (NotLastEntry)
1687 break;
1688 }
1689 More = false;
1690 Done = true;
1691 moveToEnd();
1692 DEBUG_WITH_TYPE("mach-o-bind", llvm::dbgs() << "BIND_OPCODE_DONE\n");
1693 break;
1694 case MachO::BIND_OPCODE_SET_DYLIB_ORDINAL_IMM:
1695 Ordinal = ImmValue;
1696 DEBUG_WITH_TYPE(
1697 "mach-o-bind",
1698 llvm::dbgs() << "BIND_OPCODE_SET_DYLIB_ORDINAL_IMM: "
1699 << "Ordinal=" << Ordinal << "\n");
1700 break;
1701 case MachO::BIND_OPCODE_SET_DYLIB_ORDINAL_ULEB:
1702 Ordinal = readULEB128();
1703 DEBUG_WITH_TYPE(
1704 "mach-o-bind",
1705 llvm::dbgs() << "BIND_OPCODE_SET_DYLIB_ORDINAL_ULEB: "
1706 << "Ordinal=" << Ordinal << "\n");
1707 break;
1708 case MachO::BIND_OPCODE_SET_DYLIB_SPECIAL_IMM:
1709 if (ImmValue) {
1710 SignExtended = MachO::BIND_OPCODE_MASK | ImmValue;
1711 Ordinal = SignExtended;
1712 } else
1713 Ordinal = 0;
1714 DEBUG_WITH_TYPE(
1715 "mach-o-bind",
1716 llvm::dbgs() << "BIND_OPCODE_SET_DYLIB_SPECIAL_IMM: "
1717 << "Ordinal=" << Ordinal << "\n");
1718 break;
1719 case MachO::BIND_OPCODE_SET_SYMBOL_TRAILING_FLAGS_IMM:
1720 Flags = ImmValue;
1721 SymStart = Ptr;
1722 while (*Ptr) {
1723 ++Ptr;
1724 }
Nick Kledzik56ebef42014-09-16 01:41:51 +00001725 SymbolName = StringRef(reinterpret_cast<const char*>(SymStart),
1726 Ptr-SymStart);
Nick Kledzika6375362014-09-17 01:51:43 +00001727 ++Ptr;
Nick Kledzik56ebef42014-09-16 01:41:51 +00001728 DEBUG_WITH_TYPE(
1729 "mach-o-bind",
1730 llvm::dbgs() << "BIND_OPCODE_SET_SYMBOL_TRAILING_FLAGS_IMM: "
1731 << "SymbolName=" << SymbolName << "\n");
1732 if (TableKind == Kind::Weak) {
1733 if (ImmValue & MachO::BIND_SYMBOL_FLAGS_NON_WEAK_DEFINITION)
1734 return;
1735 }
1736 break;
1737 case MachO::BIND_OPCODE_SET_TYPE_IMM:
1738 BindType = ImmValue;
1739 DEBUG_WITH_TYPE(
1740 "mach-o-bind",
1741 llvm::dbgs() << "BIND_OPCODE_SET_TYPE_IMM: "
1742 << "BindType=" << (int)BindType << "\n");
1743 break;
1744 case MachO::BIND_OPCODE_SET_ADDEND_SLEB:
1745 Addend = readSLEB128();
1746 if (TableKind == Kind::Lazy)
1747 Malformed = true;
1748 DEBUG_WITH_TYPE(
1749 "mach-o-bind",
1750 llvm::dbgs() << "BIND_OPCODE_SET_ADDEND_SLEB: "
1751 << "Addend=" << Addend << "\n");
1752 break;
1753 case MachO::BIND_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB:
1754 SegmentIndex = ImmValue;
1755 SegmentOffset = readULEB128();
1756 DEBUG_WITH_TYPE(
1757 "mach-o-bind",
1758 llvm::dbgs() << "BIND_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB: "
1759 << "SegmentIndex=" << SegmentIndex << ", "
1760 << format("SegmentOffset=0x%06X", SegmentOffset)
1761 << "\n");
1762 break;
1763 case MachO::BIND_OPCODE_ADD_ADDR_ULEB:
1764 SegmentOffset += readULEB128();
1765 DEBUG_WITH_TYPE("mach-o-bind",
1766 llvm::dbgs() << "BIND_OPCODE_ADD_ADDR_ULEB: "
1767 << format("SegmentOffset=0x%06X",
1768 SegmentOffset) << "\n");
1769 break;
1770 case MachO::BIND_OPCODE_DO_BIND:
1771 AdvanceAmount = PointerSize;
1772 RemainingLoopCount = 0;
1773 DEBUG_WITH_TYPE("mach-o-bind",
1774 llvm::dbgs() << "BIND_OPCODE_DO_BIND: "
1775 << format("SegmentOffset=0x%06X",
1776 SegmentOffset) << "\n");
1777 return;
1778 case MachO::BIND_OPCODE_DO_BIND_ADD_ADDR_ULEB:
Nick Kledzik3b2aa052014-10-18 01:21:02 +00001779 AdvanceAmount = readULEB128() + PointerSize;
Nick Kledzik56ebef42014-09-16 01:41:51 +00001780 RemainingLoopCount = 0;
1781 if (TableKind == Kind::Lazy)
1782 Malformed = true;
1783 DEBUG_WITH_TYPE(
1784 "mach-o-bind",
Nick Kledzik3b2aa052014-10-18 01:21:02 +00001785 llvm::dbgs() << "BIND_OPCODE_DO_BIND_ADD_ADDR_ULEB: "
Nick Kledzik56ebef42014-09-16 01:41:51 +00001786 << format("SegmentOffset=0x%06X", SegmentOffset)
1787 << ", AdvanceAmount=" << AdvanceAmount
1788 << ", RemainingLoopCount=" << RemainingLoopCount
1789 << "\n");
1790 return;
1791 case MachO::BIND_OPCODE_DO_BIND_ADD_ADDR_IMM_SCALED:
Nick Kledzik3b2aa052014-10-18 01:21:02 +00001792 AdvanceAmount = ImmValue * PointerSize + PointerSize;
Nick Kledzik56ebef42014-09-16 01:41:51 +00001793 RemainingLoopCount = 0;
1794 if (TableKind == Kind::Lazy)
1795 Malformed = true;
1796 DEBUG_WITH_TYPE("mach-o-bind",
1797 llvm::dbgs()
1798 << "BIND_OPCODE_DO_BIND_ADD_ADDR_IMM_SCALED: "
1799 << format("SegmentOffset=0x%06X",
1800 SegmentOffset) << "\n");
1801 return;
1802 case MachO::BIND_OPCODE_DO_BIND_ULEB_TIMES_SKIPPING_ULEB:
1803 RemainingLoopCount = readULEB128() - 1;
1804 AdvanceAmount = readULEB128() + PointerSize;
1805 if (TableKind == Kind::Lazy)
1806 Malformed = true;
1807 DEBUG_WITH_TYPE(
1808 "mach-o-bind",
1809 llvm::dbgs() << "BIND_OPCODE_DO_BIND_ULEB_TIMES_SKIPPING_ULEB: "
1810 << format("SegmentOffset=0x%06X", SegmentOffset)
1811 << ", AdvanceAmount=" << AdvanceAmount
1812 << ", RemainingLoopCount=" << RemainingLoopCount
1813 << "\n");
1814 return;
1815 default:
1816 Malformed = true;
1817 }
1818 }
1819}
1820
1821uint64_t MachOBindEntry::readULEB128() {
1822 unsigned Count;
1823 uint64_t Result = decodeULEB128(Ptr, &Count);
1824 Ptr += Count;
1825 if (Ptr > Opcodes.end()) {
1826 Ptr = Opcodes.end();
1827 Malformed = true;
1828 }
1829 return Result;
1830}
1831
1832int64_t MachOBindEntry::readSLEB128() {
1833 unsigned Count;
1834 int64_t Result = decodeSLEB128(Ptr, &Count);
1835 Ptr += Count;
1836 if (Ptr > Opcodes.end()) {
1837 Ptr = Opcodes.end();
1838 Malformed = true;
1839 }
1840 return Result;
1841}
1842
1843
1844uint32_t MachOBindEntry::segmentIndex() const { return SegmentIndex; }
1845
1846uint64_t MachOBindEntry::segmentOffset() const { return SegmentOffset; }
1847
1848StringRef MachOBindEntry::typeName() const {
1849 switch (BindType) {
1850 case MachO::BIND_TYPE_POINTER:
1851 return "pointer";
1852 case MachO::BIND_TYPE_TEXT_ABSOLUTE32:
1853 return "text abs32";
1854 case MachO::BIND_TYPE_TEXT_PCREL32:
1855 return "text rel32";
1856 }
1857 return "unknown";
1858}
1859
1860StringRef MachOBindEntry::symbolName() const { return SymbolName; }
1861
1862int64_t MachOBindEntry::addend() const { return Addend; }
1863
1864uint32_t MachOBindEntry::flags() const { return Flags; }
1865
1866int MachOBindEntry::ordinal() const { return Ordinal; }
1867
1868bool MachOBindEntry::operator==(const MachOBindEntry &Other) const {
1869 assert(Opcodes == Other.Opcodes && "compare iterators of different files");
1870 return (Ptr == Other.Ptr) &&
1871 (RemainingLoopCount == Other.RemainingLoopCount) &&
1872 (Done == Other.Done);
1873}
1874
1875iterator_range<bind_iterator>
1876MachOObjectFile::bindTable(ArrayRef<uint8_t> Opcodes, bool is64,
1877 MachOBindEntry::Kind BKind) {
1878 MachOBindEntry Start(Opcodes, is64, BKind);
1879 Start.moveToFirst();
1880
1881 MachOBindEntry Finish(Opcodes, is64, BKind);
1882 Finish.moveToEnd();
1883
1884 return iterator_range<bind_iterator>(bind_iterator(Start),
1885 bind_iterator(Finish));
1886}
1887
1888iterator_range<bind_iterator> MachOObjectFile::bindTable() const {
1889 return bindTable(getDyldInfoBindOpcodes(), is64Bit(),
1890 MachOBindEntry::Kind::Regular);
1891}
1892
1893iterator_range<bind_iterator> MachOObjectFile::lazyBindTable() const {
1894 return bindTable(getDyldInfoLazyBindOpcodes(), is64Bit(),
1895 MachOBindEntry::Kind::Lazy);
1896}
1897
1898iterator_range<bind_iterator> MachOObjectFile::weakBindTable() const {
1899 return bindTable(getDyldInfoWeakBindOpcodes(), is64Bit(),
1900 MachOBindEntry::Kind::Weak);
1901}
1902
Alexey Samsonovd319c4f2015-06-03 22:19:36 +00001903MachOObjectFile::load_command_iterator
1904MachOObjectFile::begin_load_commands() const {
1905 return LoadCommands.begin();
1906}
1907
1908MachOObjectFile::load_command_iterator
1909MachOObjectFile::end_load_commands() const {
1910 return LoadCommands.end();
1911}
1912
1913iterator_range<MachOObjectFile::load_command_iterator>
1914MachOObjectFile::load_commands() const {
1915 return iterator_range<load_command_iterator>(begin_load_commands(),
1916 end_load_commands());
1917}
1918
Rafael Espindola56f976f2013-04-18 18:08:55 +00001919StringRef
1920MachOObjectFile::getSectionFinalSegmentName(DataRefImpl Sec) const {
1921 ArrayRef<char> Raw = getSectionRawFinalSegmentName(Sec);
1922 return parseSegmentOrSectionName(Raw.data());
1923}
1924
1925ArrayRef<char>
1926MachOObjectFile::getSectionRawName(DataRefImpl Sec) const {
Rafael Espindola0d85d102015-05-22 14:59:27 +00001927 assert(Sec.d.a < Sections.size() && "Should have detected this earlier");
Charles Davis8bdfafd2013-09-01 04:28:48 +00001928 const section_base *Base =
1929 reinterpret_cast<const section_base *>(Sections[Sec.d.a]);
Craig Toppere1d12942014-08-27 05:25:25 +00001930 return makeArrayRef(Base->sectname);
Rafael Espindola56f976f2013-04-18 18:08:55 +00001931}
1932
1933ArrayRef<char>
1934MachOObjectFile::getSectionRawFinalSegmentName(DataRefImpl Sec) const {
Rafael Espindola0d85d102015-05-22 14:59:27 +00001935 assert(Sec.d.a < Sections.size() && "Should have detected this earlier");
Charles Davis8bdfafd2013-09-01 04:28:48 +00001936 const section_base *Base =
1937 reinterpret_cast<const section_base *>(Sections[Sec.d.a]);
Craig Toppere1d12942014-08-27 05:25:25 +00001938 return makeArrayRef(Base->segname);
Rafael Espindola56f976f2013-04-18 18:08:55 +00001939}
1940
1941bool
Charles Davis8bdfafd2013-09-01 04:28:48 +00001942MachOObjectFile::isRelocationScattered(const MachO::any_relocation_info &RE)
Rafael Espindola56f976f2013-04-18 18:08:55 +00001943 const {
Charles Davis8bdfafd2013-09-01 04:28:48 +00001944 if (getCPUType(this) == MachO::CPU_TYPE_X86_64)
Rafael Espindola56f976f2013-04-18 18:08:55 +00001945 return false;
Charles Davis8bdfafd2013-09-01 04:28:48 +00001946 return getPlainRelocationAddress(RE) & MachO::R_SCATTERED;
Rafael Espindola56f976f2013-04-18 18:08:55 +00001947}
1948
Eric Christopher1d62c252013-07-22 22:25:07 +00001949unsigned MachOObjectFile::getPlainRelocationSymbolNum(
Charles Davis8bdfafd2013-09-01 04:28:48 +00001950 const MachO::any_relocation_info &RE) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00001951 if (isLittleEndian())
Charles Davis8bdfafd2013-09-01 04:28:48 +00001952 return RE.r_word1 & 0xffffff;
1953 return RE.r_word1 >> 8;
Rafael Espindola56f976f2013-04-18 18:08:55 +00001954}
1955
Eric Christopher1d62c252013-07-22 22:25:07 +00001956bool MachOObjectFile::getPlainRelocationExternal(
Charles Davis8bdfafd2013-09-01 04:28:48 +00001957 const MachO::any_relocation_info &RE) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00001958 if (isLittleEndian())
Charles Davis8bdfafd2013-09-01 04:28:48 +00001959 return (RE.r_word1 >> 27) & 1;
1960 return (RE.r_word1 >> 4) & 1;
Rafael Espindola56f976f2013-04-18 18:08:55 +00001961}
1962
Eric Christopher1d62c252013-07-22 22:25:07 +00001963bool MachOObjectFile::getScatteredRelocationScattered(
Charles Davis8bdfafd2013-09-01 04:28:48 +00001964 const MachO::any_relocation_info &RE) const {
1965 return RE.r_word0 >> 31;
Rafael Espindola56f976f2013-04-18 18:08:55 +00001966}
1967
Eric Christopher1d62c252013-07-22 22:25:07 +00001968uint32_t MachOObjectFile::getScatteredRelocationValue(
Charles Davis8bdfafd2013-09-01 04:28:48 +00001969 const MachO::any_relocation_info &RE) const {
1970 return RE.r_word1;
Rafael Espindola56f976f2013-04-18 18:08:55 +00001971}
1972
Kevin Enderby9907d0a2014-11-04 00:43:16 +00001973uint32_t MachOObjectFile::getScatteredRelocationType(
1974 const MachO::any_relocation_info &RE) const {
1975 return (RE.r_word0 >> 24) & 0xf;
1976}
1977
Eric Christopher1d62c252013-07-22 22:25:07 +00001978unsigned MachOObjectFile::getAnyRelocationAddress(
Charles Davis8bdfafd2013-09-01 04:28:48 +00001979 const MachO::any_relocation_info &RE) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00001980 if (isRelocationScattered(RE))
1981 return getScatteredRelocationAddress(RE);
1982 return getPlainRelocationAddress(RE);
1983}
1984
Charles Davis8bdfafd2013-09-01 04:28:48 +00001985unsigned MachOObjectFile::getAnyRelocationPCRel(
1986 const MachO::any_relocation_info &RE) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00001987 if (isRelocationScattered(RE))
1988 return getScatteredRelocationPCRel(this, RE);
1989 return getPlainRelocationPCRel(this, RE);
1990}
1991
Eric Christopher1d62c252013-07-22 22:25:07 +00001992unsigned MachOObjectFile::getAnyRelocationLength(
Charles Davis8bdfafd2013-09-01 04:28:48 +00001993 const MachO::any_relocation_info &RE) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00001994 if (isRelocationScattered(RE))
1995 return getScatteredRelocationLength(RE);
1996 return getPlainRelocationLength(this, RE);
1997}
1998
1999unsigned
Charles Davis8bdfafd2013-09-01 04:28:48 +00002000MachOObjectFile::getAnyRelocationType(
2001 const MachO::any_relocation_info &RE) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00002002 if (isRelocationScattered(RE))
2003 return getScatteredRelocationType(RE);
2004 return getPlainRelocationType(this, RE);
2005}
2006
Rafael Espindola52501032013-04-30 15:40:54 +00002007SectionRef
Keno Fischerc780e8e2015-05-21 21:24:32 +00002008MachOObjectFile::getAnyRelocationSection(
Charles Davis8bdfafd2013-09-01 04:28:48 +00002009 const MachO::any_relocation_info &RE) const {
Rafael Espindola52501032013-04-30 15:40:54 +00002010 if (isRelocationScattered(RE) || getPlainRelocationExternal(RE))
Rafael Espindolab5155a52014-02-10 20:24:04 +00002011 return *section_end();
Rafael Espindola9ac06a02015-06-18 22:38:20 +00002012 unsigned SecNum = getPlainRelocationSymbolNum(RE);
2013 if (SecNum == MachO::R_ABS || SecNum > Sections.size())
2014 return *section_end();
Rafael Espindola52501032013-04-30 15:40:54 +00002015 DataRefImpl DRI;
Rafael Espindola9ac06a02015-06-18 22:38:20 +00002016 DRI.d.a = SecNum - 1;
Rafael Espindola52501032013-04-30 15:40:54 +00002017 return SectionRef(DRI, this);
2018}
2019
Charles Davis8bdfafd2013-09-01 04:28:48 +00002020MachO::section MachOObjectFile::getSection(DataRefImpl DRI) const {
Rafael Espindola62a07cb2015-05-22 15:43:00 +00002021 assert(DRI.d.a < Sections.size() && "Should have detected this earlier");
Charles Davis8bdfafd2013-09-01 04:28:48 +00002022 return getStruct<MachO::section>(this, Sections[DRI.d.a]);
Rafael Espindola56f976f2013-04-18 18:08:55 +00002023}
2024
Charles Davis8bdfafd2013-09-01 04:28:48 +00002025MachO::section_64 MachOObjectFile::getSection64(DataRefImpl DRI) const {
Rafael Espindola62a07cb2015-05-22 15:43:00 +00002026 assert(DRI.d.a < Sections.size() && "Should have detected this earlier");
Charles Davis8bdfafd2013-09-01 04:28:48 +00002027 return getStruct<MachO::section_64>(this, Sections[DRI.d.a]);
Rafael Espindola56f976f2013-04-18 18:08:55 +00002028}
2029
Charles Davis8bdfafd2013-09-01 04:28:48 +00002030MachO::section MachOObjectFile::getSection(const LoadCommandInfo &L,
Rafael Espindola6e040c02013-04-26 20:07:33 +00002031 unsigned Index) const {
2032 const char *Sec = getSectionPtr(this, L, Index);
Charles Davis8bdfafd2013-09-01 04:28:48 +00002033 return getStruct<MachO::section>(this, Sec);
Rafael Espindola6e040c02013-04-26 20:07:33 +00002034}
2035
Charles Davis8bdfafd2013-09-01 04:28:48 +00002036MachO::section_64 MachOObjectFile::getSection64(const LoadCommandInfo &L,
2037 unsigned Index) const {
Rafael Espindola6e040c02013-04-26 20:07:33 +00002038 const char *Sec = getSectionPtr(this, L, Index);
Charles Davis8bdfafd2013-09-01 04:28:48 +00002039 return getStruct<MachO::section_64>(this, Sec);
Rafael Espindola6e040c02013-04-26 20:07:33 +00002040}
2041
Charles Davis8bdfafd2013-09-01 04:28:48 +00002042MachO::nlist
Rafael Espindola56f976f2013-04-18 18:08:55 +00002043MachOObjectFile::getSymbolTableEntry(DataRefImpl DRI) const {
Rafael Espindola75c30362013-04-24 19:47:55 +00002044 const char *P = reinterpret_cast<const char *>(DRI.p);
Charles Davis8bdfafd2013-09-01 04:28:48 +00002045 return getStruct<MachO::nlist>(this, P);
Rafael Espindola56f976f2013-04-18 18:08:55 +00002046}
2047
Charles Davis8bdfafd2013-09-01 04:28:48 +00002048MachO::nlist_64
Rafael Espindola56f976f2013-04-18 18:08:55 +00002049MachOObjectFile::getSymbol64TableEntry(DataRefImpl DRI) const {
Rafael Espindola75c30362013-04-24 19:47:55 +00002050 const char *P = reinterpret_cast<const char *>(DRI.p);
Charles Davis8bdfafd2013-09-01 04:28:48 +00002051 return getStruct<MachO::nlist_64>(this, P);
Rafael Espindola56f976f2013-04-18 18:08:55 +00002052}
2053
Charles Davis8bdfafd2013-09-01 04:28:48 +00002054MachO::linkedit_data_command
2055MachOObjectFile::getLinkeditDataLoadCommand(const LoadCommandInfo &L) const {
2056 return getStruct<MachO::linkedit_data_command>(this, L.Ptr);
Rafael Espindola56f976f2013-04-18 18:08:55 +00002057}
2058
Charles Davis8bdfafd2013-09-01 04:28:48 +00002059MachO::segment_command
Rafael Espindola6e040c02013-04-26 20:07:33 +00002060MachOObjectFile::getSegmentLoadCommand(const LoadCommandInfo &L) const {
Charles Davis8bdfafd2013-09-01 04:28:48 +00002061 return getStruct<MachO::segment_command>(this, L.Ptr);
Rafael Espindola6e040c02013-04-26 20:07:33 +00002062}
2063
Charles Davis8bdfafd2013-09-01 04:28:48 +00002064MachO::segment_command_64
Rafael Espindola6e040c02013-04-26 20:07:33 +00002065MachOObjectFile::getSegment64LoadCommand(const LoadCommandInfo &L) const {
Charles Davis8bdfafd2013-09-01 04:28:48 +00002066 return getStruct<MachO::segment_command_64>(this, L.Ptr);
Rafael Espindola6e040c02013-04-26 20:07:33 +00002067}
2068
Kevin Enderbyd0b6b7f2014-12-18 00:53:40 +00002069MachO::linker_option_command
2070MachOObjectFile::getLinkerOptionLoadCommand(const LoadCommandInfo &L) const {
2071 return getStruct<MachO::linker_option_command>(this, L.Ptr);
Rafael Espindola6e040c02013-04-26 20:07:33 +00002072}
2073
Jim Grosbach448334a2014-03-18 22:09:05 +00002074MachO::version_min_command
2075MachOObjectFile::getVersionMinLoadCommand(const LoadCommandInfo &L) const {
2076 return getStruct<MachO::version_min_command>(this, L.Ptr);
2077}
2078
Tim Northover8f9590b2014-06-30 14:40:57 +00002079MachO::dylib_command
2080MachOObjectFile::getDylibIDLoadCommand(const LoadCommandInfo &L) const {
2081 return getStruct<MachO::dylib_command>(this, L.Ptr);
2082}
2083
Kevin Enderby8ae63c12014-09-04 16:54:47 +00002084MachO::dyld_info_command
2085MachOObjectFile::getDyldInfoLoadCommand(const LoadCommandInfo &L) const {
2086 return getStruct<MachO::dyld_info_command>(this, L.Ptr);
2087}
2088
2089MachO::dylinker_command
2090MachOObjectFile::getDylinkerCommand(const LoadCommandInfo &L) const {
2091 return getStruct<MachO::dylinker_command>(this, L.Ptr);
2092}
2093
2094MachO::uuid_command
2095MachOObjectFile::getUuidCommand(const LoadCommandInfo &L) const {
2096 return getStruct<MachO::uuid_command>(this, L.Ptr);
2097}
2098
Jean-Daniel Dupas00cc1f52014-12-04 07:37:02 +00002099MachO::rpath_command
2100MachOObjectFile::getRpathCommand(const LoadCommandInfo &L) const {
2101 return getStruct<MachO::rpath_command>(this, L.Ptr);
2102}
2103
Kevin Enderby8ae63c12014-09-04 16:54:47 +00002104MachO::source_version_command
2105MachOObjectFile::getSourceVersionCommand(const LoadCommandInfo &L) const {
2106 return getStruct<MachO::source_version_command>(this, L.Ptr);
2107}
2108
2109MachO::entry_point_command
2110MachOObjectFile::getEntryPointCommand(const LoadCommandInfo &L) const {
2111 return getStruct<MachO::entry_point_command>(this, L.Ptr);
2112}
2113
Kevin Enderby0804f4672014-12-16 23:25:52 +00002114MachO::encryption_info_command
2115MachOObjectFile::getEncryptionInfoCommand(const LoadCommandInfo &L) const {
2116 return getStruct<MachO::encryption_info_command>(this, L.Ptr);
2117}
2118
Kevin Enderby57538292014-12-17 01:01:30 +00002119MachO::encryption_info_command_64
2120MachOObjectFile::getEncryptionInfoCommand64(const LoadCommandInfo &L) const {
2121 return getStruct<MachO::encryption_info_command_64>(this, L.Ptr);
2122}
2123
Kevin Enderbyb4b79312014-12-18 19:24:35 +00002124MachO::sub_framework_command
2125MachOObjectFile::getSubFrameworkCommand(const LoadCommandInfo &L) const {
2126 return getStruct<MachO::sub_framework_command>(this, L.Ptr);
2127}
Tim Northover8f9590b2014-06-30 14:40:57 +00002128
Kevin Enderbya2bd8d92014-12-18 23:13:26 +00002129MachO::sub_umbrella_command
2130MachOObjectFile::getSubUmbrellaCommand(const LoadCommandInfo &L) const {
2131 return getStruct<MachO::sub_umbrella_command>(this, L.Ptr);
2132}
2133
Kevin Enderby36c8d3a2014-12-19 19:48:16 +00002134MachO::sub_library_command
2135MachOObjectFile::getSubLibraryCommand(const LoadCommandInfo &L) const {
2136 return getStruct<MachO::sub_library_command>(this, L.Ptr);
2137}
2138
Kevin Enderby186eac32014-12-19 21:06:24 +00002139MachO::sub_client_command
2140MachOObjectFile::getSubClientCommand(const LoadCommandInfo &L) const {
2141 return getStruct<MachO::sub_client_command>(this, L.Ptr);
2142}
2143
Kevin Enderby52e4ce42014-12-19 22:25:22 +00002144MachO::routines_command
2145MachOObjectFile::getRoutinesCommand(const LoadCommandInfo &L) const {
2146 return getStruct<MachO::routines_command>(this, L.Ptr);
2147}
2148
2149MachO::routines_command_64
2150MachOObjectFile::getRoutinesCommand64(const LoadCommandInfo &L) const {
2151 return getStruct<MachO::routines_command_64>(this, L.Ptr);
2152}
2153
Kevin Enderby48ef5342014-12-23 22:56:39 +00002154MachO::thread_command
2155MachOObjectFile::getThreadCommand(const LoadCommandInfo &L) const {
2156 return getStruct<MachO::thread_command>(this, L.Ptr);
2157}
2158
Charles Davis8bdfafd2013-09-01 04:28:48 +00002159MachO::any_relocation_info
Rafael Espindola56f976f2013-04-18 18:08:55 +00002160MachOObjectFile::getRelocation(DataRefImpl Rel) const {
Rafael Espindola128b8112014-04-03 23:51:28 +00002161 DataRefImpl Sec;
2162 Sec.d.a = Rel.d.a;
2163 uint32_t Offset;
2164 if (is64Bit()) {
2165 MachO::section_64 Sect = getSection64(Sec);
2166 Offset = Sect.reloff;
2167 } else {
2168 MachO::section Sect = getSection(Sec);
2169 Offset = Sect.reloff;
2170 }
2171
2172 auto P = reinterpret_cast<const MachO::any_relocation_info *>(
2173 getPtr(this, Offset)) + Rel.d.b;
2174 return getStruct<MachO::any_relocation_info>(
2175 this, reinterpret_cast<const char *>(P));
Rafael Espindola56f976f2013-04-18 18:08:55 +00002176}
2177
Charles Davis8bdfafd2013-09-01 04:28:48 +00002178MachO::data_in_code_entry
Kevin Enderby273ae012013-06-06 17:20:50 +00002179MachOObjectFile::getDice(DataRefImpl Rel) const {
2180 const char *P = reinterpret_cast<const char *>(Rel.p);
Charles Davis8bdfafd2013-09-01 04:28:48 +00002181 return getStruct<MachO::data_in_code_entry>(this, P);
Kevin Enderby273ae012013-06-06 17:20:50 +00002182}
2183
Alexey Samsonov13415ed2015-06-04 19:22:03 +00002184const MachO::mach_header &MachOObjectFile::getHeader() const {
Alexey Samsonovfa5edc52015-06-04 22:49:55 +00002185 return Header;
Rafael Espindola56f976f2013-04-18 18:08:55 +00002186}
2187
Alexey Samsonov13415ed2015-06-04 19:22:03 +00002188const MachO::mach_header_64 &MachOObjectFile::getHeader64() const {
2189 assert(is64Bit());
2190 return Header64;
Rafael Espindola6e040c02013-04-26 20:07:33 +00002191}
2192
Charles Davis8bdfafd2013-09-01 04:28:48 +00002193uint32_t MachOObjectFile::getIndirectSymbolTableEntry(
2194 const MachO::dysymtab_command &DLC,
2195 unsigned Index) const {
2196 uint64_t Offset = DLC.indirectsymoff + Index * sizeof(uint32_t);
2197 return getStruct<uint32_t>(this, getPtr(this, Offset));
Rafael Espindola6e040c02013-04-26 20:07:33 +00002198}
2199
Charles Davis8bdfafd2013-09-01 04:28:48 +00002200MachO::data_in_code_entry
Rafael Espindola6e040c02013-04-26 20:07:33 +00002201MachOObjectFile::getDataInCodeTableEntry(uint32_t DataOffset,
2202 unsigned Index) const {
Charles Davis8bdfafd2013-09-01 04:28:48 +00002203 uint64_t Offset = DataOffset + Index * sizeof(MachO::data_in_code_entry);
2204 return getStruct<MachO::data_in_code_entry>(this, getPtr(this, Offset));
Rafael Espindola6e040c02013-04-26 20:07:33 +00002205}
2206
Charles Davis8bdfafd2013-09-01 04:28:48 +00002207MachO::symtab_command MachOObjectFile::getSymtabLoadCommand() const {
Kevin Enderby6f326ce2014-10-23 19:37:31 +00002208 if (SymtabLoadCmd)
2209 return getStruct<MachO::symtab_command>(this, SymtabLoadCmd);
2210
2211 // If there is no SymtabLoadCmd return a load command with zero'ed fields.
2212 MachO::symtab_command Cmd;
2213 Cmd.cmd = MachO::LC_SYMTAB;
2214 Cmd.cmdsize = sizeof(MachO::symtab_command);
2215 Cmd.symoff = 0;
2216 Cmd.nsyms = 0;
2217 Cmd.stroff = 0;
2218 Cmd.strsize = 0;
2219 return Cmd;
Rafael Espindola56f976f2013-04-18 18:08:55 +00002220}
2221
Charles Davis8bdfafd2013-09-01 04:28:48 +00002222MachO::dysymtab_command MachOObjectFile::getDysymtabLoadCommand() const {
Kevin Enderby6f326ce2014-10-23 19:37:31 +00002223 if (DysymtabLoadCmd)
2224 return getStruct<MachO::dysymtab_command>(this, DysymtabLoadCmd);
2225
2226 // If there is no DysymtabLoadCmd return a load command with zero'ed fields.
2227 MachO::dysymtab_command Cmd;
2228 Cmd.cmd = MachO::LC_DYSYMTAB;
2229 Cmd.cmdsize = sizeof(MachO::dysymtab_command);
2230 Cmd.ilocalsym = 0;
2231 Cmd.nlocalsym = 0;
2232 Cmd.iextdefsym = 0;
2233 Cmd.nextdefsym = 0;
2234 Cmd.iundefsym = 0;
2235 Cmd.nundefsym = 0;
2236 Cmd.tocoff = 0;
2237 Cmd.ntoc = 0;
2238 Cmd.modtaboff = 0;
2239 Cmd.nmodtab = 0;
2240 Cmd.extrefsymoff = 0;
2241 Cmd.nextrefsyms = 0;
2242 Cmd.indirectsymoff = 0;
2243 Cmd.nindirectsyms = 0;
2244 Cmd.extreloff = 0;
2245 Cmd.nextrel = 0;
2246 Cmd.locreloff = 0;
2247 Cmd.nlocrel = 0;
2248 return Cmd;
Rafael Espindola6e040c02013-04-26 20:07:33 +00002249}
2250
Charles Davis8bdfafd2013-09-01 04:28:48 +00002251MachO::linkedit_data_command
Kevin Enderby273ae012013-06-06 17:20:50 +00002252MachOObjectFile::getDataInCodeLoadCommand() const {
2253 if (DataInCodeLoadCmd)
Charles Davis8bdfafd2013-09-01 04:28:48 +00002254 return getStruct<MachO::linkedit_data_command>(this, DataInCodeLoadCmd);
Kevin Enderby273ae012013-06-06 17:20:50 +00002255
2256 // If there is no DataInCodeLoadCmd return a load command with zero'ed fields.
Charles Davis8bdfafd2013-09-01 04:28:48 +00002257 MachO::linkedit_data_command Cmd;
2258 Cmd.cmd = MachO::LC_DATA_IN_CODE;
2259 Cmd.cmdsize = sizeof(MachO::linkedit_data_command);
2260 Cmd.dataoff = 0;
2261 Cmd.datasize = 0;
Kevin Enderby273ae012013-06-06 17:20:50 +00002262 return Cmd;
2263}
2264
Kevin Enderby9a509442015-01-27 21:28:24 +00002265MachO::linkedit_data_command
2266MachOObjectFile::getLinkOptHintsLoadCommand() const {
2267 if (LinkOptHintsLoadCmd)
2268 return getStruct<MachO::linkedit_data_command>(this, LinkOptHintsLoadCmd);
2269
2270 // If there is no LinkOptHintsLoadCmd return a load command with zero'ed
2271 // fields.
2272 MachO::linkedit_data_command Cmd;
2273 Cmd.cmd = MachO::LC_LINKER_OPTIMIZATION_HINT;
2274 Cmd.cmdsize = sizeof(MachO::linkedit_data_command);
2275 Cmd.dataoff = 0;
2276 Cmd.datasize = 0;
2277 return Cmd;
2278}
2279
Nick Kledzikd04bc352014-08-30 00:20:14 +00002280ArrayRef<uint8_t> MachOObjectFile::getDyldInfoRebaseOpcodes() const {
2281 if (!DyldInfoLoadCmd)
2282 return ArrayRef<uint8_t>();
2283
2284 MachO::dyld_info_command DyldInfo
2285 = getStruct<MachO::dyld_info_command>(this, DyldInfoLoadCmd);
2286 const uint8_t *Ptr = reinterpret_cast<const uint8_t*>(
2287 getPtr(this, DyldInfo.rebase_off));
2288 return ArrayRef<uint8_t>(Ptr, DyldInfo.rebase_size);
2289}
2290
2291ArrayRef<uint8_t> MachOObjectFile::getDyldInfoBindOpcodes() const {
2292 if (!DyldInfoLoadCmd)
2293 return ArrayRef<uint8_t>();
2294
2295 MachO::dyld_info_command DyldInfo
2296 = getStruct<MachO::dyld_info_command>(this, DyldInfoLoadCmd);
2297 const uint8_t *Ptr = reinterpret_cast<const uint8_t*>(
2298 getPtr(this, DyldInfo.bind_off));
2299 return ArrayRef<uint8_t>(Ptr, DyldInfo.bind_size);
2300}
2301
2302ArrayRef<uint8_t> MachOObjectFile::getDyldInfoWeakBindOpcodes() const {
2303 if (!DyldInfoLoadCmd)
2304 return ArrayRef<uint8_t>();
2305
2306 MachO::dyld_info_command DyldInfo
2307 = getStruct<MachO::dyld_info_command>(this, DyldInfoLoadCmd);
2308 const uint8_t *Ptr = reinterpret_cast<const uint8_t*>(
2309 getPtr(this, DyldInfo.weak_bind_off));
2310 return ArrayRef<uint8_t>(Ptr, DyldInfo.weak_bind_size);
2311}
2312
2313ArrayRef<uint8_t> MachOObjectFile::getDyldInfoLazyBindOpcodes() const {
2314 if (!DyldInfoLoadCmd)
2315 return ArrayRef<uint8_t>();
2316
2317 MachO::dyld_info_command DyldInfo
2318 = getStruct<MachO::dyld_info_command>(this, DyldInfoLoadCmd);
2319 const uint8_t *Ptr = reinterpret_cast<const uint8_t*>(
2320 getPtr(this, DyldInfo.lazy_bind_off));
2321 return ArrayRef<uint8_t>(Ptr, DyldInfo.lazy_bind_size);
2322}
2323
2324ArrayRef<uint8_t> MachOObjectFile::getDyldInfoExportsTrie() const {
2325 if (!DyldInfoLoadCmd)
2326 return ArrayRef<uint8_t>();
2327
2328 MachO::dyld_info_command DyldInfo
2329 = getStruct<MachO::dyld_info_command>(this, DyldInfoLoadCmd);
2330 const uint8_t *Ptr = reinterpret_cast<const uint8_t*>(
2331 getPtr(this, DyldInfo.export_off));
2332 return ArrayRef<uint8_t>(Ptr, DyldInfo.export_size);
2333}
2334
Alexander Potapenko6909b5b2014-10-15 23:35:45 +00002335ArrayRef<uint8_t> MachOObjectFile::getUuid() const {
2336 if (!UuidLoadCmd)
2337 return ArrayRef<uint8_t>();
Benjamin Kramer014601d2014-10-24 15:52:05 +00002338 // Returning a pointer is fine as uuid doesn't need endian swapping.
2339 const char *Ptr = UuidLoadCmd + offsetof(MachO::uuid_command, uuid);
2340 return ArrayRef<uint8_t>(reinterpret_cast<const uint8_t *>(Ptr), 16);
Alexander Potapenko6909b5b2014-10-15 23:35:45 +00002341}
Nick Kledzikd04bc352014-08-30 00:20:14 +00002342
Rafael Espindola6e040c02013-04-26 20:07:33 +00002343StringRef MachOObjectFile::getStringTableData() const {
Charles Davis8bdfafd2013-09-01 04:28:48 +00002344 MachO::symtab_command S = getSymtabLoadCommand();
2345 return getData().substr(S.stroff, S.strsize);
Rafael Espindola6e040c02013-04-26 20:07:33 +00002346}
2347
Rafael Espindola56f976f2013-04-18 18:08:55 +00002348bool MachOObjectFile::is64Bit() const {
2349 return getType() == getMachOType(false, true) ||
Lang Hames84bc8182014-07-15 19:35:22 +00002350 getType() == getMachOType(true, true);
Rafael Espindola56f976f2013-04-18 18:08:55 +00002351}
2352
2353void MachOObjectFile::ReadULEB128s(uint64_t Index,
2354 SmallVectorImpl<uint64_t> &Out) const {
2355 DataExtractor extractor(ObjectFile::getData(), true, 0);
2356
2357 uint32_t offset = Index;
2358 uint64_t data = 0;
2359 while (uint64_t delta = extractor.getULEB128(&offset)) {
2360 data += delta;
2361 Out.push_back(data);
2362 }
2363}
2364
Rafael Espindolac66d7612014-08-17 19:09:37 +00002365bool MachOObjectFile::isRelocatableObject() const {
2366 return getHeader().filetype == MachO::MH_OBJECT;
2367}
2368
Rafael Espindola437b0d52014-07-31 03:12:45 +00002369ErrorOr<std::unique_ptr<MachOObjectFile>>
Rafael Espindola48af1c22014-08-19 18:44:46 +00002370ObjectFile::createMachOObjectFile(MemoryBufferRef Buffer) {
2371 StringRef Magic = Buffer.getBuffer().slice(0, 4);
Rafael Espindola3acea392014-06-12 21:46:39 +00002372 std::error_code EC;
Ahmed Charles56440fd2014-03-06 05:51:42 +00002373 std::unique_ptr<MachOObjectFile> Ret;
Rafael Espindola56f976f2013-04-18 18:08:55 +00002374 if (Magic == "\xFE\xED\xFA\xCE")
Rafael Espindola48af1c22014-08-19 18:44:46 +00002375 Ret.reset(new MachOObjectFile(Buffer, false, false, EC));
Rafael Espindola56f976f2013-04-18 18:08:55 +00002376 else if (Magic == "\xCE\xFA\xED\xFE")
Rafael Espindola48af1c22014-08-19 18:44:46 +00002377 Ret.reset(new MachOObjectFile(Buffer, true, false, EC));
Rafael Espindola56f976f2013-04-18 18:08:55 +00002378 else if (Magic == "\xFE\xED\xFA\xCF")
Rafael Espindola48af1c22014-08-19 18:44:46 +00002379 Ret.reset(new MachOObjectFile(Buffer, false, true, EC));
Rafael Espindola56f976f2013-04-18 18:08:55 +00002380 else if (Magic == "\xCF\xFA\xED\xFE")
Rafael Espindola48af1c22014-08-19 18:44:46 +00002381 Ret.reset(new MachOObjectFile(Buffer, true, true, EC));
Rafael Espindola6304e942014-06-23 22:00:37 +00002382 else
Rafael Espindola692410e2014-01-21 23:06:54 +00002383 return object_error::parse_failed;
Rafael Espindola56f976f2013-04-18 18:08:55 +00002384
Rafael Espindola692410e2014-01-21 23:06:54 +00002385 if (EC)
2386 return EC;
Rafael Espindola437b0d52014-07-31 03:12:45 +00002387 return std::move(Ret);
Rafael Espindola56f976f2013-04-18 18:08:55 +00002388}
2389