blob: ed0ca68653fab228242893b55c4f3113878b0465 [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;
NAKAMURA Takumi10c80e72015-09-22 11:19:03 +0000281 } else if (Load.C.cmd == MachO::LC_DYLD_INFO ||
Nick Kledzikd04bc352014-08-30 00:20:14 +0000282 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 }
Kevin Enderby1829c682016-01-22 22:49:55 +0000320 if (!SymtabLoadCmd) {
321 if (DysymtabLoadCmd) {
322 // Diagnostic("truncated or malformed object (contains LC_DYSYMTAB load "
323 // "command without a LC_SYMTAB load command)");
324 EC = object_error::parse_failed;
325 return;
326 }
327 } else if (DysymtabLoadCmd) {
328 MachO::symtab_command Symtab =
329 getStruct<MachO::symtab_command>(this, SymtabLoadCmd);
330 MachO::dysymtab_command Dysymtab =
331 getStruct<MachO::dysymtab_command>(this, DysymtabLoadCmd);
332 if (Dysymtab.nlocalsym != 0 && Dysymtab.ilocalsym > Symtab.nsyms) {
333 // Diagnostic("truncated or malformed object (ilocalsym in LC_DYSYMTAB "
334 // "load command extends past the end of the symbol table)"
335 EC = object_error::parse_failed;
336 return;
337 }
338 uint64_t big_size = Dysymtab.ilocalsym;
339 big_size += Dysymtab.nlocalsym;
340 if (Dysymtab.nlocalsym != 0 && big_size > Symtab.nsyms) {
341 // Diagnostic("truncated or malformed object (ilocalsym plus nlocalsym "
342 // "in LC_DYSYMTAB load command extends past the end of the symbol table)"
343 EC = object_error::parse_failed;
344 return;
345 }
346 if (Dysymtab.nextdefsym != 0 && Dysymtab.ilocalsym > Symtab.nsyms) {
347 // Diagnostic("truncated or malformed object (nextdefsym in LC_DYSYMTAB "
348 // "load command extends past the end of the symbol table)"
349 EC = object_error::parse_failed;
350 return;
351 }
352 big_size = Dysymtab.iextdefsym;
353 big_size += Dysymtab.nextdefsym;
354 if (Dysymtab.nextdefsym != 0 && big_size > Symtab.nsyms) {
355 // Diagnostic("truncated or malformed object (iextdefsym plus nextdefsym "
356 // "in LC_DYSYMTAB load command extends past the end of the symbol table)"
357 EC = object_error::parse_failed;
358 return;
359 }
360 if (Dysymtab.nundefsym != 0 && Dysymtab.iundefsym > Symtab.nsyms) {
361 // Diagnostic("truncated or malformed object (nundefsym in LC_DYSYMTAB "
362 // "load command extends past the end of the symbol table)"
363 EC = object_error::parse_failed;
364 return;
365 }
366 big_size = Dysymtab.iundefsym;
367 big_size += Dysymtab.nundefsym;
368 if (Dysymtab.nundefsym != 0 && big_size > Symtab.nsyms) {
369 // Diagnostic("truncated or malformed object (iundefsym plus nundefsym "
370 // "in LC_DYSYMTAB load command extends past the end of the symbol table)"
371 EC = object_error::parse_failed;
372 return;
373 }
374 }
Alexey Samsonovd319c4f2015-06-03 22:19:36 +0000375 assert(LoadCommands.size() == LoadCommandCount);
Rafael Espindola56f976f2013-04-18 18:08:55 +0000376}
377
Rafael Espindola5e812af2014-01-30 02:49:50 +0000378void MachOObjectFile::moveSymbolNext(DataRefImpl &Symb) const {
Rafael Espindola75c30362013-04-24 19:47:55 +0000379 unsigned SymbolTableEntrySize = is64Bit() ?
Charles Davis8bdfafd2013-09-01 04:28:48 +0000380 sizeof(MachO::nlist_64) :
381 sizeof(MachO::nlist);
Rafael Espindola75c30362013-04-24 19:47:55 +0000382 Symb.p += SymbolTableEntrySize;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000383}
384
Rafael Espindola5d0c2ff2015-07-02 20:55:21 +0000385ErrorOr<StringRef> MachOObjectFile::getSymbolName(DataRefImpl Symb) const {
Rafael Espindola6e040c02013-04-26 20:07:33 +0000386 StringRef StringTable = getStringTableData();
Artyom Skrobov78d5daf2014-07-18 09:26:16 +0000387 MachO::nlist_base Entry = getSymbolTableEntryBase(this, Symb);
Charles Davis8bdfafd2013-09-01 04:28:48 +0000388 const char *Start = &StringTable.data()[Entry.n_strx];
Filipe Cabecinhasc552c9a2015-01-15 23:50:44 +0000389 if (Start < getData().begin() || Start >= getData().end())
Kevin Enderbyf681ec52016-01-22 18:47:14 +0000390 return object_error::parse_failed;
Rafael Espindola5d0c2ff2015-07-02 20:55:21 +0000391 return StringRef(Start);
Rafael Espindola56f976f2013-04-18 18:08:55 +0000392}
393
Rafael Espindola0e77a942014-12-10 20:46:55 +0000394unsigned MachOObjectFile::getSectionType(SectionRef Sec) const {
395 DataRefImpl DRI = Sec.getRawDataRefImpl();
396 uint32_t Flags = getSectionFlags(this, DRI);
397 return Flags & MachO::SECTION_TYPE;
398}
399
Rafael Espindola59128922015-06-24 18:14:41 +0000400uint64_t MachOObjectFile::getNValue(DataRefImpl Sym) const {
401 if (is64Bit()) {
402 MachO::nlist_64 Entry = getSymbol64TableEntry(Sym);
403 return Entry.n_value;
404 }
405 MachO::nlist Entry = getSymbolTableEntry(Sym);
406 return Entry.n_value;
407}
408
Kevin Enderby980b2582014-06-05 21:21:57 +0000409// getIndirectName() returns the name of the alias'ed symbol who's string table
410// index is in the n_value field.
Rafael Espindola3acea392014-06-12 21:46:39 +0000411std::error_code MachOObjectFile::getIndirectName(DataRefImpl Symb,
412 StringRef &Res) const {
Kevin Enderby980b2582014-06-05 21:21:57 +0000413 StringRef StringTable = getStringTableData();
Rafael Espindola59128922015-06-24 18:14:41 +0000414 MachO::nlist_base Entry = getSymbolTableEntryBase(this, Symb);
415 if ((Entry.n_type & MachO::N_TYPE) != MachO::N_INDR)
416 return object_error::parse_failed;
417 uint64_t NValue = getNValue(Symb);
Kevin Enderby980b2582014-06-05 21:21:57 +0000418 if (NValue >= StringTable.size())
419 return object_error::parse_failed;
420 const char *Start = &StringTable.data()[NValue];
421 Res = StringRef(Start);
Rui Ueyama7d099192015-06-09 15:20:42 +0000422 return std::error_code();
Kevin Enderby980b2582014-06-05 21:21:57 +0000423}
424
Rafael Espindolabe8b0ea2015-07-07 17:12:59 +0000425uint64_t MachOObjectFile::getSymbolValueImpl(DataRefImpl Sym) const {
Rafael Espindola7e7be922015-07-07 15:05:09 +0000426 return getNValue(Sym);
Rafael Espindola991af662015-06-24 19:11:10 +0000427}
428
Rafael Espindolaed067c42015-07-03 18:19:00 +0000429ErrorOr<uint64_t> MachOObjectFile::getSymbolAddress(DataRefImpl Sym) const {
430 return getSymbolValue(Sym);
Rafael Espindola56f976f2013-04-18 18:08:55 +0000431}
432
Rafael Espindolaa4d224722015-05-31 23:52:50 +0000433uint32_t MachOObjectFile::getSymbolAlignment(DataRefImpl DRI) const {
Rafael Espindola20122a42014-01-31 20:57:12 +0000434 uint32_t flags = getSymbolFlags(DRI);
Rafael Espindolae4dd2e02013-04-29 22:24:22 +0000435 if (flags & SymbolRef::SF_Common) {
Artyom Skrobov78d5daf2014-07-18 09:26:16 +0000436 MachO::nlist_base Entry = getSymbolTableEntryBase(this, DRI);
Rafael Espindolaa4d224722015-05-31 23:52:50 +0000437 return 1 << MachO::GET_COMM_ALIGN(Entry.n_desc);
Rafael Espindolae4dd2e02013-04-29 22:24:22 +0000438 }
Rafael Espindolaa4d224722015-05-31 23:52:50 +0000439 return 0;
Rafael Espindolae4dd2e02013-04-29 22:24:22 +0000440}
441
Rafael Espindolad7a32ea2015-06-24 10:20:30 +0000442uint64_t MachOObjectFile::getCommonSymbolSizeImpl(DataRefImpl DRI) const {
Rafael Espindola05cbccc2015-07-07 13:58:32 +0000443 return getNValue(DRI);
Rafael Espindola56f976f2013-04-18 18:08:55 +0000444}
445
Rafael Espindola2fa80cc2015-06-26 12:18:49 +0000446SymbolRef::Type MachOObjectFile::getSymbolType(DataRefImpl Symb) const {
Artyom Skrobov78d5daf2014-07-18 09:26:16 +0000447 MachO::nlist_base Entry = getSymbolTableEntryBase(this, Symb);
Charles Davis8bdfafd2013-09-01 04:28:48 +0000448 uint8_t n_type = Entry.n_type;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000449
Rafael Espindola56f976f2013-04-18 18:08:55 +0000450 // If this is a STAB debugging symbol, we can do nothing more.
Rafael Espindola2fa80cc2015-06-26 12:18:49 +0000451 if (n_type & MachO::N_STAB)
452 return SymbolRef::ST_Debug;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000453
Charles Davis74ec8b02013-08-27 05:00:13 +0000454 switch (n_type & MachO::N_TYPE) {
455 case MachO::N_UNDF :
Rafael Espindola2fa80cc2015-06-26 12:18:49 +0000456 return SymbolRef::ST_Unknown;
Charles Davis74ec8b02013-08-27 05:00:13 +0000457 case MachO::N_SECT :
Kuba Breckade833222015-11-12 09:40:29 +0000458 section_iterator Sec = *getSymbolSection(Symb);
459 if (Sec->isData() || Sec->isBSS())
460 return SymbolRef::ST_Data;
Rafael Espindola2fa80cc2015-06-26 12:18:49 +0000461 return SymbolRef::ST_Function;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000462 }
Rafael Espindola2fa80cc2015-06-26 12:18:49 +0000463 return SymbolRef::ST_Other;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000464}
465
Rafael Espindola20122a42014-01-31 20:57:12 +0000466uint32_t MachOObjectFile::getSymbolFlags(DataRefImpl DRI) const {
Artyom Skrobov78d5daf2014-07-18 09:26:16 +0000467 MachO::nlist_base Entry = getSymbolTableEntryBase(this, DRI);
Rafael Espindola56f976f2013-04-18 18:08:55 +0000468
Charles Davis8bdfafd2013-09-01 04:28:48 +0000469 uint8_t MachOType = Entry.n_type;
470 uint16_t MachOFlags = Entry.n_desc;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000471
Rafael Espindola20122a42014-01-31 20:57:12 +0000472 uint32_t Result = SymbolRef::SF_None;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000473
Tim Northovereaef0742014-05-30 13:22:59 +0000474 if ((MachOType & MachO::N_TYPE) == MachO::N_INDR)
475 Result |= SymbolRef::SF_Indirect;
476
Rafael Espindolaa1356322013-11-02 05:03:24 +0000477 if (MachOType & MachO::N_STAB)
Rafael Espindola56f976f2013-04-18 18:08:55 +0000478 Result |= SymbolRef::SF_FormatSpecific;
479
Charles Davis74ec8b02013-08-27 05:00:13 +0000480 if (MachOType & MachO::N_EXT) {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000481 Result |= SymbolRef::SF_Global;
Charles Davis74ec8b02013-08-27 05:00:13 +0000482 if ((MachOType & MachO::N_TYPE) == MachO::N_UNDF) {
Rafael Espindola05cbccc2015-07-07 13:58:32 +0000483 if (getNValue(DRI))
Rafael Espindolae4dd2e02013-04-29 22:24:22 +0000484 Result |= SymbolRef::SF_Common;
Rafael Espindolad8247722015-07-07 14:26:39 +0000485 else
486 Result |= SymbolRef::SF_Undefined;
Rafael Espindolae4dd2e02013-04-29 22:24:22 +0000487 }
Lang Hames7e0692b2015-01-15 22:33:30 +0000488
489 if (!(MachOType & MachO::N_PEXT))
490 Result |= SymbolRef::SF_Exported;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000491 }
492
Charles Davis74ec8b02013-08-27 05:00:13 +0000493 if (MachOFlags & (MachO::N_WEAK_REF | MachO::N_WEAK_DEF))
Rafael Espindola56f976f2013-04-18 18:08:55 +0000494 Result |= SymbolRef::SF_Weak;
495
Kevin Enderbyec5ca032014-08-18 20:21:02 +0000496 if (MachOFlags & (MachO::N_ARM_THUMB_DEF))
497 Result |= SymbolRef::SF_Thumb;
498
Charles Davis74ec8b02013-08-27 05:00:13 +0000499 if ((MachOType & MachO::N_TYPE) == MachO::N_ABS)
Rafael Espindola56f976f2013-04-18 18:08:55 +0000500 Result |= SymbolRef::SF_Absolute;
501
Rafael Espindola20122a42014-01-31 20:57:12 +0000502 return Result;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000503}
504
Rafael Espindola8bab8892015-08-07 23:27:14 +0000505ErrorOr<section_iterator>
506MachOObjectFile::getSymbolSection(DataRefImpl Symb) const {
Artyom Skrobov78d5daf2014-07-18 09:26:16 +0000507 MachO::nlist_base Entry = getSymbolTableEntryBase(this, Symb);
Charles Davis8bdfafd2013-09-01 04:28:48 +0000508 uint8_t index = Entry.n_sect;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000509
Rafael Espindola8bab8892015-08-07 23:27:14 +0000510 if (index == 0)
511 return section_end();
512 DataRefImpl DRI;
513 DRI.d.a = index - 1;
514 if (DRI.d.a >= Sections.size())
Kevin Enderby1f472ea2016-01-21 21:13:27 +0000515 return object_error::parse_failed;
Rafael Espindola8bab8892015-08-07 23:27:14 +0000516 return section_iterator(SectionRef(DRI, this));
Rafael Espindola56f976f2013-04-18 18:08:55 +0000517}
518
Rafael Espindola6bf32212015-06-24 19:57:32 +0000519unsigned MachOObjectFile::getSymbolSectionID(SymbolRef Sym) const {
520 MachO::nlist_base Entry =
521 getSymbolTableEntryBase(this, Sym.getRawDataRefImpl());
522 return Entry.n_sect - 1;
523}
524
Rafael Espindola5e812af2014-01-30 02:49:50 +0000525void MachOObjectFile::moveSectionNext(DataRefImpl &Sec) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000526 Sec.d.a++;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000527}
528
Rafael Espindola3acea392014-06-12 21:46:39 +0000529std::error_code MachOObjectFile::getSectionName(DataRefImpl Sec,
530 StringRef &Result) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000531 ArrayRef<char> Raw = getSectionRawName(Sec);
532 Result = parseSegmentOrSectionName(Raw.data());
Rui Ueyama7d099192015-06-09 15:20:42 +0000533 return std::error_code();
Rafael Espindola56f976f2013-04-18 18:08:55 +0000534}
535
Rafael Espindola80291272014-10-08 15:28:58 +0000536uint64_t MachOObjectFile::getSectionAddress(DataRefImpl Sec) const {
537 if (is64Bit())
538 return getSection64(Sec).addr;
539 return getSection(Sec).addr;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000540}
541
Rafael Espindola80291272014-10-08 15:28:58 +0000542uint64_t MachOObjectFile::getSectionSize(DataRefImpl Sec) const {
Kevin Enderby46e642f2015-10-08 22:50:55 +0000543 // In the case if a malformed Mach-O file where the section offset is past
544 // the end of the file or some part of the section size is past the end of
545 // the file return a size of zero or a size that covers the rest of the file
546 // but does not extend past the end of the file.
547 uint32_t SectOffset, SectType;
548 uint64_t SectSize;
549
550 if (is64Bit()) {
551 MachO::section_64 Sect = getSection64(Sec);
552 SectOffset = Sect.offset;
553 SectSize = Sect.size;
554 SectType = Sect.flags & MachO::SECTION_TYPE;
555 } else {
556 MachO::section Sect = getSection(Sec);
557 SectOffset = Sect.offset;
558 SectSize = Sect.size;
559 SectType = Sect.flags & MachO::SECTION_TYPE;
560 }
561 if (SectType == MachO::S_ZEROFILL || SectType == MachO::S_GB_ZEROFILL)
562 return SectSize;
563 uint64_t FileSize = getData().size();
564 if (SectOffset > FileSize)
565 return 0;
566 if (FileSize - SectOffset < SectSize)
567 return FileSize - SectOffset;
568 return SectSize;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000569}
570
Rafael Espindola3acea392014-06-12 21:46:39 +0000571std::error_code MachOObjectFile::getSectionContents(DataRefImpl Sec,
572 StringRef &Res) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000573 uint32_t Offset;
574 uint64_t Size;
575
576 if (is64Bit()) {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000577 MachO::section_64 Sect = getSection64(Sec);
578 Offset = Sect.offset;
579 Size = Sect.size;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000580 } else {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000581 MachO::section Sect = getSection(Sec);
582 Offset = Sect.offset;
583 Size = Sect.size;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000584 }
585
586 Res = this->getData().substr(Offset, Size);
Rui Ueyama7d099192015-06-09 15:20:42 +0000587 return std::error_code();
Rafael Espindola56f976f2013-04-18 18:08:55 +0000588}
589
Rafael Espindola80291272014-10-08 15:28:58 +0000590uint64_t MachOObjectFile::getSectionAlignment(DataRefImpl Sec) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000591 uint32_t Align;
592 if (is64Bit()) {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000593 MachO::section_64 Sect = getSection64(Sec);
594 Align = Sect.align;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000595 } else {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000596 MachO::section Sect = getSection(Sec);
597 Align = Sect.align;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000598 }
599
Rafael Espindola80291272014-10-08 15:28:58 +0000600 return uint64_t(1) << Align;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000601}
602
Rafael Espindola80291272014-10-08 15:28:58 +0000603bool MachOObjectFile::isSectionText(DataRefImpl Sec) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000604 uint32_t Flags = getSectionFlags(this, Sec);
Rafael Espindola80291272014-10-08 15:28:58 +0000605 return Flags & MachO::S_ATTR_PURE_INSTRUCTIONS;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000606}
607
Rafael Espindola80291272014-10-08 15:28:58 +0000608bool MachOObjectFile::isSectionData(DataRefImpl Sec) const {
Kevin Enderby403258f2014-05-19 20:36:02 +0000609 uint32_t Flags = getSectionFlags(this, Sec);
610 unsigned SectionType = Flags & MachO::SECTION_TYPE;
Rafael Espindola80291272014-10-08 15:28:58 +0000611 return !(Flags & MachO::S_ATTR_PURE_INSTRUCTIONS) &&
612 !(SectionType == MachO::S_ZEROFILL ||
613 SectionType == MachO::S_GB_ZEROFILL);
Michael J. Spencer800619f2011-09-28 20:57:30 +0000614}
615
Rafael Espindola80291272014-10-08 15:28:58 +0000616bool MachOObjectFile::isSectionBSS(DataRefImpl Sec) const {
Kevin Enderby403258f2014-05-19 20:36:02 +0000617 uint32_t Flags = getSectionFlags(this, Sec);
618 unsigned SectionType = Flags & MachO::SECTION_TYPE;
Rafael Espindola80291272014-10-08 15:28:58 +0000619 return !(Flags & MachO::S_ATTR_PURE_INSTRUCTIONS) &&
620 (SectionType == MachO::S_ZEROFILL ||
621 SectionType == MachO::S_GB_ZEROFILL);
Preston Gurd2138ef62012-04-12 20:13:57 +0000622}
623
Rafael Espindola6bf32212015-06-24 19:57:32 +0000624unsigned MachOObjectFile::getSectionID(SectionRef Sec) const {
625 return Sec.getRawDataRefImpl().d.a;
626}
627
Rafael Espindola80291272014-10-08 15:28:58 +0000628bool MachOObjectFile::isSectionVirtual(DataRefImpl Sec) const {
Rafael Espindolac2413f52013-04-09 14:49:08 +0000629 // FIXME: Unimplemented.
Rafael Espindola80291272014-10-08 15:28:58 +0000630 return false;
Rafael Espindolac2413f52013-04-09 14:49:08 +0000631}
632
Rui Ueyamabc654b12013-09-27 21:47:05 +0000633relocation_iterator MachOObjectFile::section_rel_begin(DataRefImpl Sec) const {
Rafael Espindola04d3f492013-04-25 12:45:46 +0000634 DataRefImpl Ret;
Rafael Espindola128b8112014-04-03 23:51:28 +0000635 Ret.d.a = Sec.d.a;
636 Ret.d.b = 0;
Rafael Espindola04d3f492013-04-25 12:45:46 +0000637 return relocation_iterator(RelocationRef(Ret, this));
Michael J. Spencere5fd0042011-10-07 19:25:32 +0000638}
Rafael Espindolac0406e12013-04-08 20:45:01 +0000639
Rafael Espindola56f976f2013-04-18 18:08:55 +0000640relocation_iterator
Rui Ueyamabc654b12013-09-27 21:47:05 +0000641MachOObjectFile::section_rel_end(DataRefImpl Sec) const {
Rafael Espindola04d3f492013-04-25 12:45:46 +0000642 uint32_t Num;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000643 if (is64Bit()) {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000644 MachO::section_64 Sect = getSection64(Sec);
Charles Davis8bdfafd2013-09-01 04:28:48 +0000645 Num = Sect.nreloc;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000646 } else {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000647 MachO::section Sect = getSection(Sec);
Charles Davis8bdfafd2013-09-01 04:28:48 +0000648 Num = Sect.nreloc;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000649 }
Eric Christopher7b015c72011-04-22 03:19:48 +0000650
Rafael Espindola56f976f2013-04-18 18:08:55 +0000651 DataRefImpl Ret;
Rafael Espindola128b8112014-04-03 23:51:28 +0000652 Ret.d.a = Sec.d.a;
653 Ret.d.b = Num;
Rafael Espindola56f976f2013-04-18 18:08:55 +0000654 return relocation_iterator(RelocationRef(Ret, this));
655}
Benjamin Kramer022ecdf2011-09-08 20:52:17 +0000656
Rafael Espindola5e812af2014-01-30 02:49:50 +0000657void MachOObjectFile::moveRelocationNext(DataRefImpl &Rel) const {
Rafael Espindola128b8112014-04-03 23:51:28 +0000658 ++Rel.d.b;
Benjamin Kramer022ecdf2011-09-08 20:52:17 +0000659}
Owen Anderson171f4852011-10-24 23:20:07 +0000660
Rafael Espindola96d071c2015-06-29 23:29:12 +0000661uint64_t MachOObjectFile::getRelocationOffset(DataRefImpl Rel) const {
Rafael Espindola72475462014-04-04 00:31:12 +0000662 assert(getHeader().filetype == MachO::MH_OBJECT &&
663 "Only implemented for MH_OBJECT");
Charles Davis8bdfafd2013-09-01 04:28:48 +0000664 MachO::any_relocation_info RE = getRelocation(Rel);
Rafael Espindola96d071c2015-06-29 23:29:12 +0000665 return getAnyRelocationAddress(RE);
David Meyer2fc34c52012-03-01 01:36:50 +0000666}
667
Rafael Espindola806f0062013-06-05 01:33:53 +0000668symbol_iterator
669MachOObjectFile::getRelocationSymbol(DataRefImpl Rel) const {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000670 MachO::any_relocation_info RE = getRelocation(Rel);
Tim Northover07f99fb2014-07-04 10:57:56 +0000671 if (isRelocationScattered(RE))
672 return symbol_end();
673
Rafael Espindola56f976f2013-04-18 18:08:55 +0000674 uint32_t SymbolIdx = getPlainRelocationSymbolNum(RE);
675 bool isExtern = getPlainRelocationExternal(RE);
Rafael Espindola806f0062013-06-05 01:33:53 +0000676 if (!isExtern)
Rafael Espindolab5155a52014-02-10 20:24:04 +0000677 return symbol_end();
Rafael Espindola75c30362013-04-24 19:47:55 +0000678
Charles Davis8bdfafd2013-09-01 04:28:48 +0000679 MachO::symtab_command S = getSymtabLoadCommand();
Rafael Espindola75c30362013-04-24 19:47:55 +0000680 unsigned SymbolTableEntrySize = is64Bit() ?
Charles Davis8bdfafd2013-09-01 04:28:48 +0000681 sizeof(MachO::nlist_64) :
682 sizeof(MachO::nlist);
683 uint64_t Offset = S.symoff + SymbolIdx * SymbolTableEntrySize;
Rafael Espindola75c30362013-04-24 19:47:55 +0000684 DataRefImpl Sym;
685 Sym.p = reinterpret_cast<uintptr_t>(getPtr(this, Offset));
Rafael Espindola806f0062013-06-05 01:33:53 +0000686 return symbol_iterator(SymbolRef(Sym, this));
Rafael Espindola56f976f2013-04-18 18:08:55 +0000687}
688
Keno Fischerc780e8e2015-05-21 21:24:32 +0000689section_iterator
690MachOObjectFile::getRelocationSection(DataRefImpl Rel) const {
691 return section_iterator(getAnyRelocationSection(getRelocation(Rel)));
692}
693
Rafael Espindola99c041b2015-06-30 01:53:01 +0000694uint64_t MachOObjectFile::getRelocationType(DataRefImpl Rel) const {
Charles Davis8bdfafd2013-09-01 04:28:48 +0000695 MachO::any_relocation_info RE = getRelocation(Rel);
Rafael Espindola99c041b2015-06-30 01:53:01 +0000696 return getAnyRelocationType(RE);
Rafael Espindola56f976f2013-04-18 18:08:55 +0000697}
698
Rafael Espindola41bb4322015-06-30 04:08:37 +0000699void MachOObjectFile::getRelocationTypeName(
700 DataRefImpl Rel, SmallVectorImpl<char> &Result) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +0000701 StringRef res;
Rafael Espindola99c041b2015-06-30 01:53:01 +0000702 uint64_t RType = getRelocationType(Rel);
Rafael Espindola56f976f2013-04-18 18:08:55 +0000703
704 unsigned Arch = this->getArch();
705
706 switch (Arch) {
707 case Triple::x86: {
708 static const char *const Table[] = {
709 "GENERIC_RELOC_VANILLA",
710 "GENERIC_RELOC_PAIR",
711 "GENERIC_RELOC_SECTDIFF",
712 "GENERIC_RELOC_PB_LA_PTR",
713 "GENERIC_RELOC_LOCAL_SECTDIFF",
714 "GENERIC_RELOC_TLV" };
715
Eric Christopher13250cb2013-12-06 02:33:38 +0000716 if (RType > 5)
Rafael Espindola56f976f2013-04-18 18:08:55 +0000717 res = "Unknown";
718 else
719 res = Table[RType];
720 break;
721 }
722 case Triple::x86_64: {
723 static const char *const Table[] = {
724 "X86_64_RELOC_UNSIGNED",
725 "X86_64_RELOC_SIGNED",
726 "X86_64_RELOC_BRANCH",
727 "X86_64_RELOC_GOT_LOAD",
728 "X86_64_RELOC_GOT",
729 "X86_64_RELOC_SUBTRACTOR",
730 "X86_64_RELOC_SIGNED_1",
731 "X86_64_RELOC_SIGNED_2",
732 "X86_64_RELOC_SIGNED_4",
733 "X86_64_RELOC_TLV" };
734
735 if (RType > 9)
736 res = "Unknown";
737 else
738 res = Table[RType];
739 break;
740 }
741 case Triple::arm: {
742 static const char *const Table[] = {
743 "ARM_RELOC_VANILLA",
744 "ARM_RELOC_PAIR",
745 "ARM_RELOC_SECTDIFF",
746 "ARM_RELOC_LOCAL_SECTDIFF",
747 "ARM_RELOC_PB_LA_PTR",
748 "ARM_RELOC_BR24",
749 "ARM_THUMB_RELOC_BR22",
750 "ARM_THUMB_32BIT_BRANCH",
751 "ARM_RELOC_HALF",
752 "ARM_RELOC_HALF_SECTDIFF" };
753
754 if (RType > 9)
755 res = "Unknown";
756 else
757 res = Table[RType];
758 break;
759 }
Tim Northover00ed9962014-03-29 10:18:08 +0000760 case Triple::aarch64: {
761 static const char *const Table[] = {
762 "ARM64_RELOC_UNSIGNED", "ARM64_RELOC_SUBTRACTOR",
763 "ARM64_RELOC_BRANCH26", "ARM64_RELOC_PAGE21",
764 "ARM64_RELOC_PAGEOFF12", "ARM64_RELOC_GOT_LOAD_PAGE21",
765 "ARM64_RELOC_GOT_LOAD_PAGEOFF12", "ARM64_RELOC_POINTER_TO_GOT",
766 "ARM64_RELOC_TLVP_LOAD_PAGE21", "ARM64_RELOC_TLVP_LOAD_PAGEOFF12",
767 "ARM64_RELOC_ADDEND"
768 };
769
770 if (RType >= array_lengthof(Table))
771 res = "Unknown";
772 else
773 res = Table[RType];
774 break;
775 }
Rafael Espindola56f976f2013-04-18 18:08:55 +0000776 case Triple::ppc: {
777 static const char *const Table[] = {
778 "PPC_RELOC_VANILLA",
779 "PPC_RELOC_PAIR",
780 "PPC_RELOC_BR14",
781 "PPC_RELOC_BR24",
782 "PPC_RELOC_HI16",
783 "PPC_RELOC_LO16",
784 "PPC_RELOC_HA16",
785 "PPC_RELOC_LO14",
786 "PPC_RELOC_SECTDIFF",
787 "PPC_RELOC_PB_LA_PTR",
788 "PPC_RELOC_HI16_SECTDIFF",
789 "PPC_RELOC_LO16_SECTDIFF",
790 "PPC_RELOC_HA16_SECTDIFF",
791 "PPC_RELOC_JBSR",
792 "PPC_RELOC_LO14_SECTDIFF",
793 "PPC_RELOC_LOCAL_SECTDIFF" };
794
Eric Christopher13250cb2013-12-06 02:33:38 +0000795 if (RType > 15)
796 res = "Unknown";
797 else
798 res = Table[RType];
Rafael Espindola56f976f2013-04-18 18:08:55 +0000799 break;
800 }
801 case Triple::UnknownArch:
802 res = "Unknown";
803 break;
804 }
805 Result.append(res.begin(), res.end());
Rafael Espindola56f976f2013-04-18 18:08:55 +0000806}
807
Keno Fischer281b6942015-05-30 19:44:53 +0000808uint8_t MachOObjectFile::getRelocationLength(DataRefImpl Rel) const {
809 MachO::any_relocation_info RE = getRelocation(Rel);
810 return getAnyRelocationLength(RE);
811}
812
Kevin Enderby980b2582014-06-05 21:21:57 +0000813//
814// guessLibraryShortName() is passed a name of a dynamic library and returns a
815// guess on what the short name is. Then name is returned as a substring of the
816// StringRef Name passed in. The name of the dynamic library is recognized as
817// a framework if it has one of the two following forms:
818// Foo.framework/Versions/A/Foo
819// Foo.framework/Foo
820// Where A and Foo can be any string. And may contain a trailing suffix
821// starting with an underbar. If the Name is recognized as a framework then
822// isFramework is set to true else it is set to false. If the Name has a
823// suffix then Suffix is set to the substring in Name that contains the suffix
824// else it is set to a NULL StringRef.
825//
826// The Name of the dynamic library is recognized as a library name if it has
827// one of the two following forms:
828// libFoo.A.dylib
829// libFoo.dylib
830// The library may have a suffix trailing the name Foo of the form:
831// libFoo_profile.A.dylib
832// libFoo_profile.dylib
833//
834// The Name of the dynamic library is also recognized as a library name if it
835// has the following form:
836// Foo.qtx
837//
838// If the Name of the dynamic library is none of the forms above then a NULL
839// StringRef is returned.
840//
841StringRef MachOObjectFile::guessLibraryShortName(StringRef Name,
842 bool &isFramework,
843 StringRef &Suffix) {
844 StringRef Foo, F, DotFramework, V, Dylib, Lib, Dot, Qtx;
845 size_t a, b, c, d, Idx;
846
847 isFramework = false;
848 Suffix = StringRef();
849
850 // Pull off the last component and make Foo point to it
851 a = Name.rfind('/');
852 if (a == Name.npos || a == 0)
853 goto guess_library;
854 Foo = Name.slice(a+1, Name.npos);
855
856 // Look for a suffix starting with a '_'
857 Idx = Foo.rfind('_');
858 if (Idx != Foo.npos && Foo.size() >= 2) {
859 Suffix = Foo.slice(Idx, Foo.npos);
860 Foo = Foo.slice(0, Idx);
861 }
862
863 // First look for the form Foo.framework/Foo
864 b = Name.rfind('/', a);
865 if (b == Name.npos)
866 Idx = 0;
867 else
868 Idx = b+1;
869 F = Name.slice(Idx, Idx + Foo.size());
870 DotFramework = Name.slice(Idx + Foo.size(),
871 Idx + Foo.size() + sizeof(".framework/")-1);
872 if (F == Foo && DotFramework == ".framework/") {
873 isFramework = true;
874 return Foo;
875 }
876
877 // Next look for the form Foo.framework/Versions/A/Foo
878 if (b == Name.npos)
879 goto guess_library;
880 c = Name.rfind('/', b);
881 if (c == Name.npos || c == 0)
882 goto guess_library;
883 V = Name.slice(c+1, Name.npos);
884 if (!V.startswith("Versions/"))
885 goto guess_library;
886 d = Name.rfind('/', c);
887 if (d == Name.npos)
888 Idx = 0;
889 else
890 Idx = d+1;
891 F = Name.slice(Idx, Idx + Foo.size());
892 DotFramework = Name.slice(Idx + Foo.size(),
893 Idx + Foo.size() + sizeof(".framework/")-1);
894 if (F == Foo && DotFramework == ".framework/") {
895 isFramework = true;
896 return Foo;
897 }
898
899guess_library:
900 // pull off the suffix after the "." and make a point to it
901 a = Name.rfind('.');
902 if (a == Name.npos || a == 0)
903 return StringRef();
904 Dylib = Name.slice(a, Name.npos);
905 if (Dylib != ".dylib")
906 goto guess_qtx;
907
908 // First pull off the version letter for the form Foo.A.dylib if any.
909 if (a >= 3) {
910 Dot = Name.slice(a-2, a-1);
911 if (Dot == ".")
912 a = a - 2;
913 }
914
915 b = Name.rfind('/', a);
916 if (b == Name.npos)
917 b = 0;
918 else
919 b = b+1;
920 // ignore any suffix after an underbar like Foo_profile.A.dylib
921 Idx = Name.find('_', b);
922 if (Idx != Name.npos && Idx != b) {
923 Lib = Name.slice(b, Idx);
924 Suffix = Name.slice(Idx, a);
925 }
926 else
927 Lib = Name.slice(b, a);
928 // There are incorrect library names of the form:
929 // libATS.A_profile.dylib so check for these.
930 if (Lib.size() >= 3) {
931 Dot = Lib.slice(Lib.size()-2, Lib.size()-1);
932 if (Dot == ".")
933 Lib = Lib.slice(0, Lib.size()-2);
934 }
935 return Lib;
936
937guess_qtx:
938 Qtx = Name.slice(a, Name.npos);
939 if (Qtx != ".qtx")
940 return StringRef();
941 b = Name.rfind('/', a);
942 if (b == Name.npos)
943 Lib = Name.slice(0, a);
944 else
945 Lib = Name.slice(b+1, a);
946 // There are library names of the form: QT.A.qtx so check for these.
947 if (Lib.size() >= 3) {
948 Dot = Lib.slice(Lib.size()-2, Lib.size()-1);
949 if (Dot == ".")
950 Lib = Lib.slice(0, Lib.size()-2);
951 }
952 return Lib;
953}
954
955// getLibraryShortNameByIndex() is used to get the short name of the library
956// for an undefined symbol in a linked Mach-O binary that was linked with the
957// normal two-level namespace default (that is MH_TWOLEVEL in the header).
958// It is passed the index (0 - based) of the library as translated from
959// GET_LIBRARY_ORDINAL (1 - based).
Rafael Espindola3acea392014-06-12 21:46:39 +0000960std::error_code MachOObjectFile::getLibraryShortNameByIndex(unsigned Index,
Nick Kledzikd04bc352014-08-30 00:20:14 +0000961 StringRef &Res) const {
Kevin Enderby980b2582014-06-05 21:21:57 +0000962 if (Index >= Libraries.size())
963 return object_error::parse_failed;
964
Kevin Enderby980b2582014-06-05 21:21:57 +0000965 // If the cache of LibrariesShortNames is not built up do that first for
966 // all the Libraries.
967 if (LibrariesShortNames.size() == 0) {
968 for (unsigned i = 0; i < Libraries.size(); i++) {
969 MachO::dylib_command D =
970 getStruct<MachO::dylib_command>(this, Libraries[i]);
Nick Kledzik30061302014-09-17 00:25:22 +0000971 if (D.dylib.name >= D.cmdsize)
972 return object_error::parse_failed;
Kevin Enderby4eff6cd2014-06-20 18:07:34 +0000973 const char *P = (const char *)(Libraries[i]) + D.dylib.name;
Kevin Enderby980b2582014-06-05 21:21:57 +0000974 StringRef Name = StringRef(P);
Nick Kledzik30061302014-09-17 00:25:22 +0000975 if (D.dylib.name+Name.size() >= D.cmdsize)
976 return object_error::parse_failed;
Kevin Enderby980b2582014-06-05 21:21:57 +0000977 StringRef Suffix;
978 bool isFramework;
979 StringRef shortName = guessLibraryShortName(Name, isFramework, Suffix);
Nick Kledzik30061302014-09-17 00:25:22 +0000980 if (shortName.empty())
Kevin Enderby980b2582014-06-05 21:21:57 +0000981 LibrariesShortNames.push_back(Name);
982 else
983 LibrariesShortNames.push_back(shortName);
984 }
985 }
986
987 Res = LibrariesShortNames[Index];
Rui Ueyama7d099192015-06-09 15:20:42 +0000988 return std::error_code();
Kevin Enderby980b2582014-06-05 21:21:57 +0000989}
990
Rafael Espindola76ad2322015-07-06 14:55:37 +0000991section_iterator
992MachOObjectFile::getRelocationRelocatedSection(relocation_iterator Rel) const {
993 DataRefImpl Sec;
994 Sec.d.a = Rel->getRawDataRefImpl().d.a;
995 return section_iterator(SectionRef(Sec, this));
996}
997
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000998basic_symbol_iterator MachOObjectFile::symbol_begin_impl() const {
Kevin Enderby1829c682016-01-22 22:49:55 +0000999 DataRefImpl DRI;
1000 MachO::symtab_command Symtab = getSymtabLoadCommand();
1001 if (!SymtabLoadCmd || Symtab.nsyms == 0)
1002 return basic_symbol_iterator(SymbolRef(DRI, this));
1003
Lang Hames36072da2014-05-12 21:39:59 +00001004 return getSymbolByIndex(0);
Rafael Espindola56f976f2013-04-18 18:08:55 +00001005}
1006
Rafael Espindolaf12b8282014-02-21 20:10:59 +00001007basic_symbol_iterator MachOObjectFile::symbol_end_impl() const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00001008 DataRefImpl DRI;
Kevin Enderby1829c682016-01-22 22:49:55 +00001009 MachO::symtab_command Symtab = getSymtabLoadCommand();
1010 if (!SymtabLoadCmd || Symtab.nsyms == 0)
Rafael Espindolaf12b8282014-02-21 20:10:59 +00001011 return basic_symbol_iterator(SymbolRef(DRI, this));
Rafael Espindola75c30362013-04-24 19:47:55 +00001012
Rafael Espindola75c30362013-04-24 19:47:55 +00001013 unsigned SymbolTableEntrySize = is64Bit() ?
Charles Davis8bdfafd2013-09-01 04:28:48 +00001014 sizeof(MachO::nlist_64) :
1015 sizeof(MachO::nlist);
1016 unsigned Offset = Symtab.symoff +
1017 Symtab.nsyms * SymbolTableEntrySize;
Rafael Espindola75c30362013-04-24 19:47:55 +00001018 DRI.p = reinterpret_cast<uintptr_t>(getPtr(this, Offset));
Rafael Espindolaf12b8282014-02-21 20:10:59 +00001019 return basic_symbol_iterator(SymbolRef(DRI, this));
Rafael Espindola56f976f2013-04-18 18:08:55 +00001020}
1021
Lang Hames36072da2014-05-12 21:39:59 +00001022basic_symbol_iterator MachOObjectFile::getSymbolByIndex(unsigned Index) const {
Lang Hames36072da2014-05-12 21:39:59 +00001023 MachO::symtab_command Symtab = getSymtabLoadCommand();
Kevin Enderby1829c682016-01-22 22:49:55 +00001024 if (!SymtabLoadCmd || Index >= Symtab.nsyms)
Filipe Cabecinhas40139502015-01-15 22:52:38 +00001025 report_fatal_error("Requested symbol index is out of range.");
Lang Hames36072da2014-05-12 21:39:59 +00001026 unsigned SymbolTableEntrySize =
1027 is64Bit() ? sizeof(MachO::nlist_64) : sizeof(MachO::nlist);
Kevin Enderby1829c682016-01-22 22:49:55 +00001028 DataRefImpl DRI;
Lang Hames36072da2014-05-12 21:39:59 +00001029 DRI.p = reinterpret_cast<uintptr_t>(getPtr(this, Symtab.symoff));
1030 DRI.p += Index * SymbolTableEntrySize;
1031 return basic_symbol_iterator(SymbolRef(DRI, this));
1032}
1033
Rafael Espindolab5155a52014-02-10 20:24:04 +00001034section_iterator MachOObjectFile::section_begin() const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00001035 DataRefImpl DRI;
1036 return section_iterator(SectionRef(DRI, this));
1037}
1038
Rafael Espindolab5155a52014-02-10 20:24:04 +00001039section_iterator MachOObjectFile::section_end() const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00001040 DataRefImpl DRI;
1041 DRI.d.a = Sections.size();
1042 return section_iterator(SectionRef(DRI, this));
1043}
1044
Rafael Espindola56f976f2013-04-18 18:08:55 +00001045uint8_t MachOObjectFile::getBytesInAddress() const {
Rafael Espindola60689982013-04-07 19:05:30 +00001046 return is64Bit() ? 8 : 4;
Eric Christopher7b015c72011-04-22 03:19:48 +00001047}
1048
Rafael Espindola56f976f2013-04-18 18:08:55 +00001049StringRef MachOObjectFile::getFileFormatName() const {
1050 unsigned CPUType = getCPUType(this);
1051 if (!is64Bit()) {
1052 switch (CPUType) {
Charles Davis74ec8b02013-08-27 05:00:13 +00001053 case llvm::MachO::CPU_TYPE_I386:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001054 return "Mach-O 32-bit i386";
Charles Davis74ec8b02013-08-27 05:00:13 +00001055 case llvm::MachO::CPU_TYPE_ARM:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001056 return "Mach-O arm";
Charles Davis74ec8b02013-08-27 05:00:13 +00001057 case llvm::MachO::CPU_TYPE_POWERPC:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001058 return "Mach-O 32-bit ppc";
1059 default:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001060 return "Mach-O 32-bit unknown";
1061 }
1062 }
1063
Rafael Espindola56f976f2013-04-18 18:08:55 +00001064 switch (CPUType) {
Charles Davis74ec8b02013-08-27 05:00:13 +00001065 case llvm::MachO::CPU_TYPE_X86_64:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001066 return "Mach-O 64-bit x86-64";
Tim Northover00ed9962014-03-29 10:18:08 +00001067 case llvm::MachO::CPU_TYPE_ARM64:
1068 return "Mach-O arm64";
Charles Davis74ec8b02013-08-27 05:00:13 +00001069 case llvm::MachO::CPU_TYPE_POWERPC64:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001070 return "Mach-O 64-bit ppc64";
1071 default:
1072 return "Mach-O 64-bit unknown";
1073 }
1074}
1075
Alexey Samsonove6388e62013-06-18 15:03:28 +00001076Triple::ArchType MachOObjectFile::getArch(uint32_t CPUType) {
1077 switch (CPUType) {
Charles Davis74ec8b02013-08-27 05:00:13 +00001078 case llvm::MachO::CPU_TYPE_I386:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001079 return Triple::x86;
Charles Davis74ec8b02013-08-27 05:00:13 +00001080 case llvm::MachO::CPU_TYPE_X86_64:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001081 return Triple::x86_64;
Charles Davis74ec8b02013-08-27 05:00:13 +00001082 case llvm::MachO::CPU_TYPE_ARM:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001083 return Triple::arm;
Tim Northover00ed9962014-03-29 10:18:08 +00001084 case llvm::MachO::CPU_TYPE_ARM64:
Tim Northovere19bed72014-07-23 12:32:47 +00001085 return Triple::aarch64;
Charles Davis74ec8b02013-08-27 05:00:13 +00001086 case llvm::MachO::CPU_TYPE_POWERPC:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001087 return Triple::ppc;
Charles Davis74ec8b02013-08-27 05:00:13 +00001088 case llvm::MachO::CPU_TYPE_POWERPC64:
Rafael Espindola56f976f2013-04-18 18:08:55 +00001089 return Triple::ppc64;
1090 default:
1091 return Triple::UnknownArch;
1092 }
1093}
1094
Kevin Enderbyec5ca032014-08-18 20:21:02 +00001095Triple MachOObjectFile::getArch(uint32_t CPUType, uint32_t CPUSubType,
1096 const char **McpuDefault) {
1097 if (McpuDefault)
1098 *McpuDefault = nullptr;
1099
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001100 switch (CPUType) {
1101 case MachO::CPU_TYPE_I386:
1102 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
1103 case MachO::CPU_SUBTYPE_I386_ALL:
1104 return Triple("i386-apple-darwin");
1105 default:
1106 return Triple();
1107 }
1108 case MachO::CPU_TYPE_X86_64:
1109 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
1110 case MachO::CPU_SUBTYPE_X86_64_ALL:
1111 return Triple("x86_64-apple-darwin");
1112 case MachO::CPU_SUBTYPE_X86_64_H:
1113 return Triple("x86_64h-apple-darwin");
1114 default:
1115 return Triple();
1116 }
1117 case MachO::CPU_TYPE_ARM:
1118 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
1119 case MachO::CPU_SUBTYPE_ARM_V4T:
1120 return Triple("armv4t-apple-darwin");
1121 case MachO::CPU_SUBTYPE_ARM_V5TEJ:
1122 return Triple("armv5e-apple-darwin");
Kevin Enderbyae2a9a22014-08-07 21:30:25 +00001123 case MachO::CPU_SUBTYPE_ARM_XSCALE:
1124 return Triple("xscale-apple-darwin");
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001125 case MachO::CPU_SUBTYPE_ARM_V6:
1126 return Triple("armv6-apple-darwin");
1127 case MachO::CPU_SUBTYPE_ARM_V6M:
Kevin Enderbyec5ca032014-08-18 20:21:02 +00001128 if (McpuDefault)
1129 *McpuDefault = "cortex-m0";
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001130 return Triple("armv6m-apple-darwin");
Kevin Enderbyae2a9a22014-08-07 21:30:25 +00001131 case MachO::CPU_SUBTYPE_ARM_V7:
1132 return Triple("armv7-apple-darwin");
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001133 case MachO::CPU_SUBTYPE_ARM_V7EM:
Kevin Enderbyec5ca032014-08-18 20:21:02 +00001134 if (McpuDefault)
1135 *McpuDefault = "cortex-m4";
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001136 return Triple("armv7em-apple-darwin");
1137 case MachO::CPU_SUBTYPE_ARM_V7K:
1138 return Triple("armv7k-apple-darwin");
1139 case MachO::CPU_SUBTYPE_ARM_V7M:
Kevin Enderbyec5ca032014-08-18 20:21:02 +00001140 if (McpuDefault)
1141 *McpuDefault = "cortex-m3";
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001142 return Triple("armv7m-apple-darwin");
1143 case MachO::CPU_SUBTYPE_ARM_V7S:
1144 return Triple("armv7s-apple-darwin");
1145 default:
1146 return Triple();
1147 }
1148 case MachO::CPU_TYPE_ARM64:
1149 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
1150 case MachO::CPU_SUBTYPE_ARM64_ALL:
1151 return Triple("arm64-apple-darwin");
1152 default:
1153 return Triple();
1154 }
1155 case MachO::CPU_TYPE_POWERPC:
1156 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
1157 case MachO::CPU_SUBTYPE_POWERPC_ALL:
1158 return Triple("ppc-apple-darwin");
1159 default:
1160 return Triple();
1161 }
1162 case MachO::CPU_TYPE_POWERPC64:
Reid Kleckner4da3d572014-06-30 20:12:59 +00001163 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001164 case MachO::CPU_SUBTYPE_POWERPC_ALL:
1165 return Triple("ppc64-apple-darwin");
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001166 default:
1167 return Triple();
1168 }
1169 default:
1170 return Triple();
1171 }
1172}
1173
Kevin Enderbyec5ca032014-08-18 20:21:02 +00001174Triple MachOObjectFile::getThumbArch(uint32_t CPUType, uint32_t CPUSubType,
1175 const char **McpuDefault) {
1176 if (McpuDefault)
1177 *McpuDefault = nullptr;
1178
1179 switch (CPUType) {
1180 case MachO::CPU_TYPE_ARM:
1181 switch (CPUSubType & ~MachO::CPU_SUBTYPE_MASK) {
1182 case MachO::CPU_SUBTYPE_ARM_V4T:
1183 return Triple("thumbv4t-apple-darwin");
1184 case MachO::CPU_SUBTYPE_ARM_V5TEJ:
1185 return Triple("thumbv5e-apple-darwin");
1186 case MachO::CPU_SUBTYPE_ARM_XSCALE:
1187 return Triple("xscale-apple-darwin");
1188 case MachO::CPU_SUBTYPE_ARM_V6:
1189 return Triple("thumbv6-apple-darwin");
1190 case MachO::CPU_SUBTYPE_ARM_V6M:
1191 if (McpuDefault)
1192 *McpuDefault = "cortex-m0";
1193 return Triple("thumbv6m-apple-darwin");
1194 case MachO::CPU_SUBTYPE_ARM_V7:
1195 return Triple("thumbv7-apple-darwin");
1196 case MachO::CPU_SUBTYPE_ARM_V7EM:
1197 if (McpuDefault)
1198 *McpuDefault = "cortex-m4";
1199 return Triple("thumbv7em-apple-darwin");
1200 case MachO::CPU_SUBTYPE_ARM_V7K:
1201 return Triple("thumbv7k-apple-darwin");
1202 case MachO::CPU_SUBTYPE_ARM_V7M:
1203 if (McpuDefault)
1204 *McpuDefault = "cortex-m3";
1205 return Triple("thumbv7m-apple-darwin");
1206 case MachO::CPU_SUBTYPE_ARM_V7S:
1207 return Triple("thumbv7s-apple-darwin");
1208 default:
1209 return Triple();
1210 }
1211 default:
1212 return Triple();
1213 }
1214}
1215
1216Triple MachOObjectFile::getArch(uint32_t CPUType, uint32_t CPUSubType,
NAKAMURA Takumi0a7d0ad2015-09-22 11:15:07 +00001217 const char **McpuDefault, Triple *ThumbTriple) {
Kevin Enderbyec5ca032014-08-18 20:21:02 +00001218 Triple T = MachOObjectFile::getArch(CPUType, CPUSubType, McpuDefault);
1219 *ThumbTriple = MachOObjectFile::getThumbArch(CPUType, CPUSubType,
1220 McpuDefault);
1221 return T;
1222}
1223
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001224Triple MachOObjectFile::getHostArch() {
1225 return Triple(sys::getDefaultTargetTriple());
1226}
1227
Rafael Espindola72318b42014-08-08 16:30:17 +00001228bool MachOObjectFile::isValidArch(StringRef ArchFlag) {
1229 return StringSwitch<bool>(ArchFlag)
1230 .Case("i386", true)
1231 .Case("x86_64", true)
1232 .Case("x86_64h", true)
1233 .Case("armv4t", true)
1234 .Case("arm", true)
1235 .Case("armv5e", true)
1236 .Case("armv6", true)
1237 .Case("armv6m", true)
Frederic Riss40baa0a2015-06-16 17:37:03 +00001238 .Case("armv7", true)
Rafael Espindola72318b42014-08-08 16:30:17 +00001239 .Case("armv7em", true)
1240 .Case("armv7k", true)
1241 .Case("armv7m", true)
1242 .Case("armv7s", true)
1243 .Case("arm64", true)
1244 .Case("ppc", true)
1245 .Case("ppc64", true)
1246 .Default(false);
Kevin Enderby4c8dfe42014-06-30 18:45:23 +00001247}
1248
Alexey Samsonove6388e62013-06-18 15:03:28 +00001249unsigned MachOObjectFile::getArch() const {
1250 return getArch(getCPUType(this));
1251}
1252
Kevin Enderbyec5ca032014-08-18 20:21:02 +00001253Triple MachOObjectFile::getArch(const char **McpuDefault,
1254 Triple *ThumbTriple) const {
Alexey Samsonov13415ed2015-06-04 19:22:03 +00001255 *ThumbTriple = getThumbArch(Header.cputype, Header.cpusubtype, McpuDefault);
1256 return getArch(Header.cputype, Header.cpusubtype, McpuDefault);
Kevin Enderbyec5ca032014-08-18 20:21:02 +00001257}
1258
Rui Ueyamabc654b12013-09-27 21:47:05 +00001259relocation_iterator MachOObjectFile::section_rel_begin(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_begin(DRI);
Rafael Espindola6e040c02013-04-26 20:07:33 +00001263}
1264
Rui Ueyamabc654b12013-09-27 21:47:05 +00001265relocation_iterator MachOObjectFile::section_rel_end(unsigned Index) const {
Rafael Espindola6e040c02013-04-26 20:07:33 +00001266 DataRefImpl DRI;
1267 DRI.d.a = Index;
Rui Ueyamabc654b12013-09-27 21:47:05 +00001268 return section_rel_end(DRI);
Rafael Espindola6e040c02013-04-26 20:07:33 +00001269}
1270
Kevin Enderby273ae012013-06-06 17:20:50 +00001271dice_iterator MachOObjectFile::begin_dices() const {
1272 DataRefImpl DRI;
1273 if (!DataInCodeLoadCmd)
1274 return dice_iterator(DiceRef(DRI, this));
1275
Charles Davis8bdfafd2013-09-01 04:28:48 +00001276 MachO::linkedit_data_command DicLC = getDataInCodeLoadCommand();
1277 DRI.p = reinterpret_cast<uintptr_t>(getPtr(this, DicLC.dataoff));
Kevin Enderby273ae012013-06-06 17:20:50 +00001278 return dice_iterator(DiceRef(DRI, this));
1279}
1280
1281dice_iterator MachOObjectFile::end_dices() const {
1282 DataRefImpl DRI;
1283 if (!DataInCodeLoadCmd)
1284 return dice_iterator(DiceRef(DRI, this));
1285
Charles Davis8bdfafd2013-09-01 04:28:48 +00001286 MachO::linkedit_data_command DicLC = getDataInCodeLoadCommand();
1287 unsigned Offset = DicLC.dataoff + DicLC.datasize;
Kevin Enderby273ae012013-06-06 17:20:50 +00001288 DRI.p = reinterpret_cast<uintptr_t>(getPtr(this, Offset));
1289 return dice_iterator(DiceRef(DRI, this));
1290}
1291
NAKAMURA Takumi70ad98a2015-09-22 11:13:55 +00001292ExportEntry::ExportEntry(ArrayRef<uint8_t> T)
1293 : Trie(T), Malformed(false), Done(false) {}
Nick Kledzikd04bc352014-08-30 00:20:14 +00001294
1295void ExportEntry::moveToFirst() {
1296 pushNode(0);
1297 pushDownUntilBottom();
1298}
1299
1300void ExportEntry::moveToEnd() {
1301 Stack.clear();
1302 Done = true;
1303}
1304
1305bool ExportEntry::operator==(const ExportEntry &Other) const {
NAKAMURA Takumi84965032015-09-22 11:14:12 +00001306 // Common case, one at end, other iterating from begin.
Nick Kledzikd04bc352014-08-30 00:20:14 +00001307 if (Done || Other.Done)
1308 return (Done == Other.Done);
1309 // Not equal if different stack sizes.
1310 if (Stack.size() != Other.Stack.size())
1311 return false;
1312 // Not equal if different cumulative strings.
Yaron Keren075759a2015-03-30 15:42:36 +00001313 if (!CumulativeString.equals(Other.CumulativeString))
Nick Kledzikd04bc352014-08-30 00:20:14 +00001314 return false;
1315 // Equal if all nodes in both stacks match.
1316 for (unsigned i=0; i < Stack.size(); ++i) {
1317 if (Stack[i].Start != Other.Stack[i].Start)
1318 return false;
1319 }
NAKAMURA Takumi10c80e72015-09-22 11:19:03 +00001320 return true;
Nick Kledzikd04bc352014-08-30 00:20:14 +00001321}
1322
Nick Kledzikac7cbdc2014-09-02 18:50:24 +00001323uint64_t ExportEntry::readULEB128(const uint8_t *&Ptr) {
1324 unsigned Count;
1325 uint64_t Result = decodeULEB128(Ptr, &Count);
1326 Ptr += Count;
1327 if (Ptr > Trie.end()) {
1328 Ptr = Trie.end();
Nick Kledzikd04bc352014-08-30 00:20:14 +00001329 Malformed = true;
1330 }
Nick Kledzikac7cbdc2014-09-02 18:50:24 +00001331 return Result;
Nick Kledzikd04bc352014-08-30 00:20:14 +00001332}
1333
1334StringRef ExportEntry::name() const {
Yaron Keren075759a2015-03-30 15:42:36 +00001335 return CumulativeString;
Nick Kledzikd04bc352014-08-30 00:20:14 +00001336}
1337
1338uint64_t ExportEntry::flags() const {
1339 return Stack.back().Flags;
1340}
1341
1342uint64_t ExportEntry::address() const {
1343 return Stack.back().Address;
1344}
1345
1346uint64_t ExportEntry::other() const {
1347 return Stack.back().Other;
1348}
1349
1350StringRef ExportEntry::otherName() const {
1351 const char* ImportName = Stack.back().ImportName;
1352 if (ImportName)
1353 return StringRef(ImportName);
1354 return StringRef();
1355}
1356
1357uint32_t ExportEntry::nodeOffset() const {
1358 return Stack.back().Start - Trie.begin();
1359}
1360
NAKAMURA Takumi70ad98a2015-09-22 11:13:55 +00001361ExportEntry::NodeState::NodeState(const uint8_t *Ptr)
1362 : Start(Ptr), Current(Ptr), Flags(0), Address(0), Other(0),
1363 ImportName(nullptr), ChildCount(0), NextChildIndex(0),
1364 ParentStringLength(0), IsExportNode(false) {}
Nick Kledzikd04bc352014-08-30 00:20:14 +00001365
1366void ExportEntry::pushNode(uint64_t offset) {
1367 const uint8_t *Ptr = Trie.begin() + offset;
1368 NodeState State(Ptr);
1369 uint64_t ExportInfoSize = readULEB128(State.Current);
1370 State.IsExportNode = (ExportInfoSize != 0);
1371 const uint8_t* Children = State.Current + ExportInfoSize;
1372 if (State.IsExportNode) {
1373 State.Flags = readULEB128(State.Current);
1374 if (State.Flags & MachO::EXPORT_SYMBOL_FLAGS_REEXPORT) {
1375 State.Address = 0;
1376 State.Other = readULEB128(State.Current); // dylib ordinal
1377 State.ImportName = reinterpret_cast<const char*>(State.Current);
1378 } else {
1379 State.Address = readULEB128(State.Current);
Nick Kledzik1b591bd2014-08-30 01:57:34 +00001380 if (State.Flags & MachO::EXPORT_SYMBOL_FLAGS_STUB_AND_RESOLVER)
NAKAMURA Takumi10c80e72015-09-22 11:19:03 +00001381 State.Other = readULEB128(State.Current);
Nick Kledzikd04bc352014-08-30 00:20:14 +00001382 }
1383 }
1384 State.ChildCount = *Children;
1385 State.Current = Children + 1;
1386 State.NextChildIndex = 0;
1387 State.ParentStringLength = CumulativeString.size();
1388 Stack.push_back(State);
1389}
1390
1391void ExportEntry::pushDownUntilBottom() {
1392 while (Stack.back().NextChildIndex < Stack.back().ChildCount) {
1393 NodeState &Top = Stack.back();
1394 CumulativeString.resize(Top.ParentStringLength);
1395 for (;*Top.Current != 0; Top.Current++) {
Nick Kledzikac7cbdc2014-09-02 18:50:24 +00001396 char C = *Top.Current;
1397 CumulativeString.push_back(C);
Nick Kledzikd04bc352014-08-30 00:20:14 +00001398 }
1399 Top.Current += 1;
1400 uint64_t childNodeIndex = readULEB128(Top.Current);
1401 Top.NextChildIndex += 1;
1402 pushNode(childNodeIndex);
1403 }
1404 if (!Stack.back().IsExportNode) {
1405 Malformed = true;
1406 moveToEnd();
1407 }
1408}
1409
1410// We have a trie data structure and need a way to walk it that is compatible
1411// with the C++ iterator model. The solution is a non-recursive depth first
1412// traversal where the iterator contains a stack of parent nodes along with a
1413// string that is the accumulation of all edge strings along the parent chain
1414// to this point.
1415//
NAKAMURA Takumi59c74b222014-10-27 08:08:18 +00001416// There is one "export" node for each exported symbol. But because some
Nick Kledzikd04bc352014-08-30 00:20:14 +00001417// symbols may be a prefix of another symbol (e.g. _dup and _dup2), an export
NAKAMURA Takumi84965032015-09-22 11:14:12 +00001418// node may have child nodes too.
Nick Kledzikd04bc352014-08-30 00:20:14 +00001419//
1420// The algorithm for moveNext() is to keep moving down the leftmost unvisited
1421// child until hitting a node with no children (which is an export node or
1422// else the trie is malformed). On the way down, each node is pushed on the
1423// stack ivar. If there is no more ways down, it pops up one and tries to go
1424// down a sibling path until a childless node is reached.
1425void ExportEntry::moveNext() {
1426 if (Stack.empty() || !Stack.back().IsExportNode) {
1427 Malformed = true;
1428 moveToEnd();
1429 return;
1430 }
1431
1432 Stack.pop_back();
1433 while (!Stack.empty()) {
1434 NodeState &Top = Stack.back();
1435 if (Top.NextChildIndex < Top.ChildCount) {
1436 pushDownUntilBottom();
1437 // Now at the next export node.
1438 return;
1439 } else {
1440 if (Top.IsExportNode) {
1441 // This node has no children but is itself an export node.
1442 CumulativeString.resize(Top.ParentStringLength);
1443 return;
1444 }
1445 Stack.pop_back();
1446 }
1447 }
1448 Done = true;
1449}
1450
NAKAMURA Takumi10c80e72015-09-22 11:19:03 +00001451iterator_range<export_iterator>
Nick Kledzikd04bc352014-08-30 00:20:14 +00001452MachOObjectFile::exports(ArrayRef<uint8_t> Trie) {
1453 ExportEntry Start(Trie);
Juergen Ributzka4d7f70d2014-12-19 02:31:01 +00001454 if (Trie.size() == 0)
1455 Start.moveToEnd();
1456 else
1457 Start.moveToFirst();
Nick Kledzikd04bc352014-08-30 00:20:14 +00001458
1459 ExportEntry Finish(Trie);
1460 Finish.moveToEnd();
1461
Craig Topper15576e12015-12-06 05:08:07 +00001462 return make_range(export_iterator(Start), export_iterator(Finish));
Nick Kledzikd04bc352014-08-30 00:20:14 +00001463}
1464
1465iterator_range<export_iterator> MachOObjectFile::exports() const {
1466 return exports(getDyldInfoExportsTrie());
1467}
1468
Nick Kledzikac431442014-09-12 21:34:15 +00001469MachORebaseEntry::MachORebaseEntry(ArrayRef<uint8_t> Bytes, bool is64Bit)
1470 : Opcodes(Bytes), Ptr(Bytes.begin()), SegmentOffset(0), SegmentIndex(0),
1471 RemainingLoopCount(0), AdvanceAmount(0), RebaseType(0),
1472 PointerSize(is64Bit ? 8 : 4), Malformed(false), Done(false) {}
1473
1474void MachORebaseEntry::moveToFirst() {
1475 Ptr = Opcodes.begin();
1476 moveNext();
1477}
1478
1479void MachORebaseEntry::moveToEnd() {
1480 Ptr = Opcodes.end();
1481 RemainingLoopCount = 0;
1482 Done = true;
1483}
1484
1485void MachORebaseEntry::moveNext() {
1486 // If in the middle of some loop, move to next rebasing in loop.
1487 SegmentOffset += AdvanceAmount;
1488 if (RemainingLoopCount) {
1489 --RemainingLoopCount;
1490 return;
1491 }
1492 if (Ptr == Opcodes.end()) {
1493 Done = true;
1494 return;
1495 }
1496 bool More = true;
1497 while (More && !Malformed) {
1498 // Parse next opcode and set up next loop.
1499 uint8_t Byte = *Ptr++;
1500 uint8_t ImmValue = Byte & MachO::REBASE_IMMEDIATE_MASK;
1501 uint8_t Opcode = Byte & MachO::REBASE_OPCODE_MASK;
1502 switch (Opcode) {
1503 case MachO::REBASE_OPCODE_DONE:
1504 More = false;
1505 Done = true;
1506 moveToEnd();
1507 DEBUG_WITH_TYPE("mach-o-rebase", llvm::dbgs() << "REBASE_OPCODE_DONE\n");
1508 break;
1509 case MachO::REBASE_OPCODE_SET_TYPE_IMM:
1510 RebaseType = ImmValue;
1511 DEBUG_WITH_TYPE(
1512 "mach-o-rebase",
1513 llvm::dbgs() << "REBASE_OPCODE_SET_TYPE_IMM: "
1514 << "RebaseType=" << (int) RebaseType << "\n");
1515 break;
1516 case MachO::REBASE_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB:
1517 SegmentIndex = ImmValue;
1518 SegmentOffset = readULEB128();
1519 DEBUG_WITH_TYPE(
1520 "mach-o-rebase",
1521 llvm::dbgs() << "REBASE_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB: "
1522 << "SegmentIndex=" << SegmentIndex << ", "
1523 << format("SegmentOffset=0x%06X", SegmentOffset)
1524 << "\n");
1525 break;
1526 case MachO::REBASE_OPCODE_ADD_ADDR_ULEB:
1527 SegmentOffset += readULEB128();
1528 DEBUG_WITH_TYPE("mach-o-rebase",
1529 llvm::dbgs() << "REBASE_OPCODE_ADD_ADDR_ULEB: "
1530 << format("SegmentOffset=0x%06X",
1531 SegmentOffset) << "\n");
1532 break;
1533 case MachO::REBASE_OPCODE_ADD_ADDR_IMM_SCALED:
1534 SegmentOffset += ImmValue * PointerSize;
1535 DEBUG_WITH_TYPE("mach-o-rebase",
1536 llvm::dbgs() << "REBASE_OPCODE_ADD_ADDR_IMM_SCALED: "
1537 << format("SegmentOffset=0x%06X",
1538 SegmentOffset) << "\n");
1539 break;
1540 case MachO::REBASE_OPCODE_DO_REBASE_IMM_TIMES:
1541 AdvanceAmount = PointerSize;
1542 RemainingLoopCount = ImmValue - 1;
1543 DEBUG_WITH_TYPE(
1544 "mach-o-rebase",
1545 llvm::dbgs() << "REBASE_OPCODE_DO_REBASE_IMM_TIMES: "
1546 << format("SegmentOffset=0x%06X", SegmentOffset)
1547 << ", AdvanceAmount=" << AdvanceAmount
1548 << ", RemainingLoopCount=" << RemainingLoopCount
1549 << "\n");
1550 return;
1551 case MachO::REBASE_OPCODE_DO_REBASE_ULEB_TIMES:
1552 AdvanceAmount = PointerSize;
1553 RemainingLoopCount = readULEB128() - 1;
1554 DEBUG_WITH_TYPE(
1555 "mach-o-rebase",
1556 llvm::dbgs() << "REBASE_OPCODE_DO_REBASE_ULEB_TIMES: "
1557 << format("SegmentOffset=0x%06X", SegmentOffset)
1558 << ", AdvanceAmount=" << AdvanceAmount
1559 << ", RemainingLoopCount=" << RemainingLoopCount
1560 << "\n");
1561 return;
1562 case MachO::REBASE_OPCODE_DO_REBASE_ADD_ADDR_ULEB:
1563 AdvanceAmount = readULEB128() + PointerSize;
1564 RemainingLoopCount = 0;
1565 DEBUG_WITH_TYPE(
1566 "mach-o-rebase",
1567 llvm::dbgs() << "REBASE_OPCODE_DO_REBASE_ADD_ADDR_ULEB: "
1568 << format("SegmentOffset=0x%06X", SegmentOffset)
1569 << ", AdvanceAmount=" << AdvanceAmount
1570 << ", RemainingLoopCount=" << RemainingLoopCount
1571 << "\n");
1572 return;
1573 case MachO::REBASE_OPCODE_DO_REBASE_ULEB_TIMES_SKIPPING_ULEB:
1574 RemainingLoopCount = readULEB128() - 1;
1575 AdvanceAmount = readULEB128() + PointerSize;
1576 DEBUG_WITH_TYPE(
1577 "mach-o-rebase",
1578 llvm::dbgs() << "REBASE_OPCODE_DO_REBASE_ULEB_TIMES_SKIPPING_ULEB: "
1579 << format("SegmentOffset=0x%06X", SegmentOffset)
1580 << ", AdvanceAmount=" << AdvanceAmount
1581 << ", RemainingLoopCount=" << RemainingLoopCount
1582 << "\n");
1583 return;
1584 default:
1585 Malformed = true;
1586 }
1587 }
1588}
1589
1590uint64_t MachORebaseEntry::readULEB128() {
1591 unsigned Count;
1592 uint64_t Result = decodeULEB128(Ptr, &Count);
1593 Ptr += Count;
1594 if (Ptr > Opcodes.end()) {
1595 Ptr = Opcodes.end();
1596 Malformed = true;
1597 }
1598 return Result;
1599}
1600
1601uint32_t MachORebaseEntry::segmentIndex() const { return SegmentIndex; }
1602
1603uint64_t MachORebaseEntry::segmentOffset() const { return SegmentOffset; }
1604
1605StringRef MachORebaseEntry::typeName() const {
1606 switch (RebaseType) {
1607 case MachO::REBASE_TYPE_POINTER:
1608 return "pointer";
1609 case MachO::REBASE_TYPE_TEXT_ABSOLUTE32:
1610 return "text abs32";
1611 case MachO::REBASE_TYPE_TEXT_PCREL32:
1612 return "text rel32";
1613 }
1614 return "unknown";
1615}
1616
1617bool MachORebaseEntry::operator==(const MachORebaseEntry &Other) const {
1618 assert(Opcodes == Other.Opcodes && "compare iterators of different files");
1619 return (Ptr == Other.Ptr) &&
1620 (RemainingLoopCount == Other.RemainingLoopCount) &&
1621 (Done == Other.Done);
1622}
1623
1624iterator_range<rebase_iterator>
1625MachOObjectFile::rebaseTable(ArrayRef<uint8_t> Opcodes, bool is64) {
1626 MachORebaseEntry Start(Opcodes, is64);
1627 Start.moveToFirst();
1628
1629 MachORebaseEntry Finish(Opcodes, is64);
1630 Finish.moveToEnd();
1631
Craig Topper15576e12015-12-06 05:08:07 +00001632 return make_range(rebase_iterator(Start), rebase_iterator(Finish));
Nick Kledzikac431442014-09-12 21:34:15 +00001633}
1634
1635iterator_range<rebase_iterator> MachOObjectFile::rebaseTable() const {
1636 return rebaseTable(getDyldInfoRebaseOpcodes(), is64Bit());
1637}
1638
NAKAMURA Takumi70ad98a2015-09-22 11:13:55 +00001639MachOBindEntry::MachOBindEntry(ArrayRef<uint8_t> Bytes, bool is64Bit, Kind BK)
Nick Kledzik56ebef42014-09-16 01:41:51 +00001640 : 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
Nick Kledzik56ebef42014-09-16 01:41:51 +00001843uint32_t MachOBindEntry::segmentIndex() const { return SegmentIndex; }
1844
1845uint64_t MachOBindEntry::segmentOffset() const { return SegmentOffset; }
1846
1847StringRef MachOBindEntry::typeName() const {
1848 switch (BindType) {
1849 case MachO::BIND_TYPE_POINTER:
1850 return "pointer";
1851 case MachO::BIND_TYPE_TEXT_ABSOLUTE32:
1852 return "text abs32";
1853 case MachO::BIND_TYPE_TEXT_PCREL32:
1854 return "text rel32";
1855 }
1856 return "unknown";
1857}
1858
1859StringRef MachOBindEntry::symbolName() const { return SymbolName; }
1860
1861int64_t MachOBindEntry::addend() const { return Addend; }
1862
1863uint32_t MachOBindEntry::flags() const { return Flags; }
1864
1865int MachOBindEntry::ordinal() const { return Ordinal; }
1866
1867bool MachOBindEntry::operator==(const MachOBindEntry &Other) const {
1868 assert(Opcodes == Other.Opcodes && "compare iterators of different files");
1869 return (Ptr == Other.Ptr) &&
1870 (RemainingLoopCount == Other.RemainingLoopCount) &&
1871 (Done == Other.Done);
1872}
1873
1874iterator_range<bind_iterator>
1875MachOObjectFile::bindTable(ArrayRef<uint8_t> Opcodes, bool is64,
1876 MachOBindEntry::Kind BKind) {
1877 MachOBindEntry Start(Opcodes, is64, BKind);
1878 Start.moveToFirst();
1879
1880 MachOBindEntry Finish(Opcodes, is64, BKind);
1881 Finish.moveToEnd();
1882
Craig Topper15576e12015-12-06 05:08:07 +00001883 return make_range(bind_iterator(Start), bind_iterator(Finish));
Nick Kledzik56ebef42014-09-16 01:41:51 +00001884}
1885
1886iterator_range<bind_iterator> MachOObjectFile::bindTable() const {
1887 return bindTable(getDyldInfoBindOpcodes(), is64Bit(),
1888 MachOBindEntry::Kind::Regular);
1889}
1890
1891iterator_range<bind_iterator> MachOObjectFile::lazyBindTable() const {
1892 return bindTable(getDyldInfoLazyBindOpcodes(), is64Bit(),
1893 MachOBindEntry::Kind::Lazy);
1894}
1895
1896iterator_range<bind_iterator> MachOObjectFile::weakBindTable() const {
1897 return bindTable(getDyldInfoWeakBindOpcodes(), is64Bit(),
1898 MachOBindEntry::Kind::Weak);
1899}
1900
Alexey Samsonovd319c4f2015-06-03 22:19:36 +00001901MachOObjectFile::load_command_iterator
1902MachOObjectFile::begin_load_commands() const {
1903 return LoadCommands.begin();
1904}
1905
1906MachOObjectFile::load_command_iterator
1907MachOObjectFile::end_load_commands() const {
1908 return LoadCommands.end();
1909}
1910
1911iterator_range<MachOObjectFile::load_command_iterator>
1912MachOObjectFile::load_commands() const {
Craig Topper15576e12015-12-06 05:08:07 +00001913 return make_range(begin_load_commands(), end_load_commands());
Alexey Samsonovd319c4f2015-06-03 22:19:36 +00001914}
1915
Rafael Espindola56f976f2013-04-18 18:08:55 +00001916StringRef
1917MachOObjectFile::getSectionFinalSegmentName(DataRefImpl Sec) const {
1918 ArrayRef<char> Raw = getSectionRawFinalSegmentName(Sec);
1919 return parseSegmentOrSectionName(Raw.data());
1920}
1921
1922ArrayRef<char>
1923MachOObjectFile::getSectionRawName(DataRefImpl Sec) const {
Rafael Espindola0d85d102015-05-22 14:59:27 +00001924 assert(Sec.d.a < Sections.size() && "Should have detected this earlier");
Charles Davis8bdfafd2013-09-01 04:28:48 +00001925 const section_base *Base =
1926 reinterpret_cast<const section_base *>(Sections[Sec.d.a]);
Craig Toppere1d12942014-08-27 05:25:25 +00001927 return makeArrayRef(Base->sectname);
Rafael Espindola56f976f2013-04-18 18:08:55 +00001928}
1929
1930ArrayRef<char>
1931MachOObjectFile::getSectionRawFinalSegmentName(DataRefImpl Sec) const {
Rafael Espindola0d85d102015-05-22 14:59:27 +00001932 assert(Sec.d.a < Sections.size() && "Should have detected this earlier");
Charles Davis8bdfafd2013-09-01 04:28:48 +00001933 const section_base *Base =
1934 reinterpret_cast<const section_base *>(Sections[Sec.d.a]);
Craig Toppere1d12942014-08-27 05:25:25 +00001935 return makeArrayRef(Base->segname);
Rafael Espindola56f976f2013-04-18 18:08:55 +00001936}
1937
1938bool
Charles Davis8bdfafd2013-09-01 04:28:48 +00001939MachOObjectFile::isRelocationScattered(const MachO::any_relocation_info &RE)
Rafael Espindola56f976f2013-04-18 18:08:55 +00001940 const {
Charles Davis8bdfafd2013-09-01 04:28:48 +00001941 if (getCPUType(this) == MachO::CPU_TYPE_X86_64)
Rafael Espindola56f976f2013-04-18 18:08:55 +00001942 return false;
Charles Davis8bdfafd2013-09-01 04:28:48 +00001943 return getPlainRelocationAddress(RE) & MachO::R_SCATTERED;
Rafael Espindola56f976f2013-04-18 18:08:55 +00001944}
1945
Eric Christopher1d62c252013-07-22 22:25:07 +00001946unsigned MachOObjectFile::getPlainRelocationSymbolNum(
Charles Davis8bdfafd2013-09-01 04:28:48 +00001947 const MachO::any_relocation_info &RE) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00001948 if (isLittleEndian())
Charles Davis8bdfafd2013-09-01 04:28:48 +00001949 return RE.r_word1 & 0xffffff;
1950 return RE.r_word1 >> 8;
Rafael Espindola56f976f2013-04-18 18:08:55 +00001951}
1952
Eric Christopher1d62c252013-07-22 22:25:07 +00001953bool MachOObjectFile::getPlainRelocationExternal(
Charles Davis8bdfafd2013-09-01 04:28:48 +00001954 const MachO::any_relocation_info &RE) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00001955 if (isLittleEndian())
Charles Davis8bdfafd2013-09-01 04:28:48 +00001956 return (RE.r_word1 >> 27) & 1;
1957 return (RE.r_word1 >> 4) & 1;
Rafael Espindola56f976f2013-04-18 18:08:55 +00001958}
1959
Eric Christopher1d62c252013-07-22 22:25:07 +00001960bool MachOObjectFile::getScatteredRelocationScattered(
Charles Davis8bdfafd2013-09-01 04:28:48 +00001961 const MachO::any_relocation_info &RE) const {
1962 return RE.r_word0 >> 31;
Rafael Espindola56f976f2013-04-18 18:08:55 +00001963}
1964
Eric Christopher1d62c252013-07-22 22:25:07 +00001965uint32_t MachOObjectFile::getScatteredRelocationValue(
Charles Davis8bdfafd2013-09-01 04:28:48 +00001966 const MachO::any_relocation_info &RE) const {
1967 return RE.r_word1;
Rafael Espindola56f976f2013-04-18 18:08:55 +00001968}
1969
Kevin Enderby9907d0a2014-11-04 00:43:16 +00001970uint32_t MachOObjectFile::getScatteredRelocationType(
1971 const MachO::any_relocation_info &RE) const {
1972 return (RE.r_word0 >> 24) & 0xf;
1973}
1974
Eric Christopher1d62c252013-07-22 22:25:07 +00001975unsigned MachOObjectFile::getAnyRelocationAddress(
Charles Davis8bdfafd2013-09-01 04:28:48 +00001976 const MachO::any_relocation_info &RE) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00001977 if (isRelocationScattered(RE))
1978 return getScatteredRelocationAddress(RE);
1979 return getPlainRelocationAddress(RE);
1980}
1981
Charles Davis8bdfafd2013-09-01 04:28:48 +00001982unsigned MachOObjectFile::getAnyRelocationPCRel(
1983 const MachO::any_relocation_info &RE) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00001984 if (isRelocationScattered(RE))
1985 return getScatteredRelocationPCRel(this, RE);
1986 return getPlainRelocationPCRel(this, RE);
1987}
1988
Eric Christopher1d62c252013-07-22 22:25:07 +00001989unsigned MachOObjectFile::getAnyRelocationLength(
Charles Davis8bdfafd2013-09-01 04:28:48 +00001990 const MachO::any_relocation_info &RE) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00001991 if (isRelocationScattered(RE))
1992 return getScatteredRelocationLength(RE);
1993 return getPlainRelocationLength(this, RE);
1994}
1995
1996unsigned
Charles Davis8bdfafd2013-09-01 04:28:48 +00001997MachOObjectFile::getAnyRelocationType(
1998 const MachO::any_relocation_info &RE) const {
Rafael Espindola56f976f2013-04-18 18:08:55 +00001999 if (isRelocationScattered(RE))
2000 return getScatteredRelocationType(RE);
2001 return getPlainRelocationType(this, RE);
2002}
2003
Rafael Espindola52501032013-04-30 15:40:54 +00002004SectionRef
Keno Fischerc780e8e2015-05-21 21:24:32 +00002005MachOObjectFile::getAnyRelocationSection(
Charles Davis8bdfafd2013-09-01 04:28:48 +00002006 const MachO::any_relocation_info &RE) const {
Rafael Espindola52501032013-04-30 15:40:54 +00002007 if (isRelocationScattered(RE) || getPlainRelocationExternal(RE))
Rafael Espindolab5155a52014-02-10 20:24:04 +00002008 return *section_end();
Rafael Espindola9ac06a02015-06-18 22:38:20 +00002009 unsigned SecNum = getPlainRelocationSymbolNum(RE);
2010 if (SecNum == MachO::R_ABS || SecNum > Sections.size())
2011 return *section_end();
Rafael Espindola52501032013-04-30 15:40:54 +00002012 DataRefImpl DRI;
Rafael Espindola9ac06a02015-06-18 22:38:20 +00002013 DRI.d.a = SecNum - 1;
Rafael Espindola52501032013-04-30 15:40:54 +00002014 return SectionRef(DRI, this);
2015}
2016
Charles Davis8bdfafd2013-09-01 04:28:48 +00002017MachO::section MachOObjectFile::getSection(DataRefImpl DRI) const {
Rafael Espindola62a07cb2015-05-22 15:43:00 +00002018 assert(DRI.d.a < Sections.size() && "Should have detected this earlier");
Charles Davis8bdfafd2013-09-01 04:28:48 +00002019 return getStruct<MachO::section>(this, Sections[DRI.d.a]);
Rafael Espindola56f976f2013-04-18 18:08:55 +00002020}
2021
Charles Davis8bdfafd2013-09-01 04:28:48 +00002022MachO::section_64 MachOObjectFile::getSection64(DataRefImpl DRI) const {
Rafael Espindola62a07cb2015-05-22 15:43:00 +00002023 assert(DRI.d.a < Sections.size() && "Should have detected this earlier");
Charles Davis8bdfafd2013-09-01 04:28:48 +00002024 return getStruct<MachO::section_64>(this, Sections[DRI.d.a]);
Rafael Espindola56f976f2013-04-18 18:08:55 +00002025}
2026
Charles Davis8bdfafd2013-09-01 04:28:48 +00002027MachO::section MachOObjectFile::getSection(const LoadCommandInfo &L,
Rafael Espindola6e040c02013-04-26 20:07:33 +00002028 unsigned Index) const {
2029 const char *Sec = getSectionPtr(this, L, Index);
Charles Davis8bdfafd2013-09-01 04:28:48 +00002030 return getStruct<MachO::section>(this, Sec);
Rafael Espindola6e040c02013-04-26 20:07:33 +00002031}
2032
Charles Davis8bdfafd2013-09-01 04:28:48 +00002033MachO::section_64 MachOObjectFile::getSection64(const LoadCommandInfo &L,
2034 unsigned Index) const {
Rafael Espindola6e040c02013-04-26 20:07:33 +00002035 const char *Sec = getSectionPtr(this, L, Index);
Charles Davis8bdfafd2013-09-01 04:28:48 +00002036 return getStruct<MachO::section_64>(this, Sec);
Rafael Espindola6e040c02013-04-26 20:07:33 +00002037}
2038
Charles Davis8bdfafd2013-09-01 04:28:48 +00002039MachO::nlist
Rafael Espindola56f976f2013-04-18 18:08:55 +00002040MachOObjectFile::getSymbolTableEntry(DataRefImpl DRI) const {
Rafael Espindola75c30362013-04-24 19:47:55 +00002041 const char *P = reinterpret_cast<const char *>(DRI.p);
Charles Davis8bdfafd2013-09-01 04:28:48 +00002042 return getStruct<MachO::nlist>(this, P);
Rafael Espindola56f976f2013-04-18 18:08:55 +00002043}
2044
Charles Davis8bdfafd2013-09-01 04:28:48 +00002045MachO::nlist_64
Rafael Espindola56f976f2013-04-18 18:08:55 +00002046MachOObjectFile::getSymbol64TableEntry(DataRefImpl DRI) const {
Rafael Espindola75c30362013-04-24 19:47:55 +00002047 const char *P = reinterpret_cast<const char *>(DRI.p);
Charles Davis8bdfafd2013-09-01 04:28:48 +00002048 return getStruct<MachO::nlist_64>(this, P);
Rafael Espindola56f976f2013-04-18 18:08:55 +00002049}
2050
Charles Davis8bdfafd2013-09-01 04:28:48 +00002051MachO::linkedit_data_command
2052MachOObjectFile::getLinkeditDataLoadCommand(const LoadCommandInfo &L) const {
2053 return getStruct<MachO::linkedit_data_command>(this, L.Ptr);
Rafael Espindola56f976f2013-04-18 18:08:55 +00002054}
2055
Charles Davis8bdfafd2013-09-01 04:28:48 +00002056MachO::segment_command
Rafael Espindola6e040c02013-04-26 20:07:33 +00002057MachOObjectFile::getSegmentLoadCommand(const LoadCommandInfo &L) const {
Charles Davis8bdfafd2013-09-01 04:28:48 +00002058 return getStruct<MachO::segment_command>(this, L.Ptr);
Rafael Espindola6e040c02013-04-26 20:07:33 +00002059}
2060
Charles Davis8bdfafd2013-09-01 04:28:48 +00002061MachO::segment_command_64
Rafael Espindola6e040c02013-04-26 20:07:33 +00002062MachOObjectFile::getSegment64LoadCommand(const LoadCommandInfo &L) const {
Charles Davis8bdfafd2013-09-01 04:28:48 +00002063 return getStruct<MachO::segment_command_64>(this, L.Ptr);
Rafael Espindola6e040c02013-04-26 20:07:33 +00002064}
2065
Kevin Enderbyd0b6b7f2014-12-18 00:53:40 +00002066MachO::linker_option_command
2067MachOObjectFile::getLinkerOptionLoadCommand(const LoadCommandInfo &L) const {
2068 return getStruct<MachO::linker_option_command>(this, L.Ptr);
Rafael Espindola6e040c02013-04-26 20:07:33 +00002069}
2070
Jim Grosbach448334a2014-03-18 22:09:05 +00002071MachO::version_min_command
2072MachOObjectFile::getVersionMinLoadCommand(const LoadCommandInfo &L) const {
2073 return getStruct<MachO::version_min_command>(this, L.Ptr);
2074}
2075
Tim Northover8f9590b2014-06-30 14:40:57 +00002076MachO::dylib_command
2077MachOObjectFile::getDylibIDLoadCommand(const LoadCommandInfo &L) const {
2078 return getStruct<MachO::dylib_command>(this, L.Ptr);
2079}
2080
Kevin Enderby8ae63c12014-09-04 16:54:47 +00002081MachO::dyld_info_command
2082MachOObjectFile::getDyldInfoLoadCommand(const LoadCommandInfo &L) const {
2083 return getStruct<MachO::dyld_info_command>(this, L.Ptr);
2084}
2085
2086MachO::dylinker_command
2087MachOObjectFile::getDylinkerCommand(const LoadCommandInfo &L) const {
2088 return getStruct<MachO::dylinker_command>(this, L.Ptr);
2089}
2090
2091MachO::uuid_command
2092MachOObjectFile::getUuidCommand(const LoadCommandInfo &L) const {
2093 return getStruct<MachO::uuid_command>(this, L.Ptr);
2094}
2095
Jean-Daniel Dupas00cc1f52014-12-04 07:37:02 +00002096MachO::rpath_command
2097MachOObjectFile::getRpathCommand(const LoadCommandInfo &L) const {
2098 return getStruct<MachO::rpath_command>(this, L.Ptr);
2099}
2100
Kevin Enderby8ae63c12014-09-04 16:54:47 +00002101MachO::source_version_command
2102MachOObjectFile::getSourceVersionCommand(const LoadCommandInfo &L) const {
2103 return getStruct<MachO::source_version_command>(this, L.Ptr);
2104}
2105
2106MachO::entry_point_command
2107MachOObjectFile::getEntryPointCommand(const LoadCommandInfo &L) const {
2108 return getStruct<MachO::entry_point_command>(this, L.Ptr);
2109}
2110
Kevin Enderby0804f4672014-12-16 23:25:52 +00002111MachO::encryption_info_command
2112MachOObjectFile::getEncryptionInfoCommand(const LoadCommandInfo &L) const {
2113 return getStruct<MachO::encryption_info_command>(this, L.Ptr);
2114}
2115
Kevin Enderby57538292014-12-17 01:01:30 +00002116MachO::encryption_info_command_64
2117MachOObjectFile::getEncryptionInfoCommand64(const LoadCommandInfo &L) const {
2118 return getStruct<MachO::encryption_info_command_64>(this, L.Ptr);
2119}
2120
Kevin Enderbyb4b79312014-12-18 19:24:35 +00002121MachO::sub_framework_command
2122MachOObjectFile::getSubFrameworkCommand(const LoadCommandInfo &L) const {
2123 return getStruct<MachO::sub_framework_command>(this, L.Ptr);
2124}
Tim Northover8f9590b2014-06-30 14:40:57 +00002125
Kevin Enderbya2bd8d92014-12-18 23:13:26 +00002126MachO::sub_umbrella_command
2127MachOObjectFile::getSubUmbrellaCommand(const LoadCommandInfo &L) const {
2128 return getStruct<MachO::sub_umbrella_command>(this, L.Ptr);
2129}
2130
Kevin Enderby36c8d3a2014-12-19 19:48:16 +00002131MachO::sub_library_command
2132MachOObjectFile::getSubLibraryCommand(const LoadCommandInfo &L) const {
2133 return getStruct<MachO::sub_library_command>(this, L.Ptr);
2134}
2135
Kevin Enderby186eac32014-12-19 21:06:24 +00002136MachO::sub_client_command
2137MachOObjectFile::getSubClientCommand(const LoadCommandInfo &L) const {
2138 return getStruct<MachO::sub_client_command>(this, L.Ptr);
2139}
2140
Kevin Enderby52e4ce42014-12-19 22:25:22 +00002141MachO::routines_command
2142MachOObjectFile::getRoutinesCommand(const LoadCommandInfo &L) const {
2143 return getStruct<MachO::routines_command>(this, L.Ptr);
2144}
2145
2146MachO::routines_command_64
2147MachOObjectFile::getRoutinesCommand64(const LoadCommandInfo &L) const {
2148 return getStruct<MachO::routines_command_64>(this, L.Ptr);
2149}
2150
Kevin Enderby48ef5342014-12-23 22:56:39 +00002151MachO::thread_command
2152MachOObjectFile::getThreadCommand(const LoadCommandInfo &L) const {
2153 return getStruct<MachO::thread_command>(this, L.Ptr);
2154}
2155
Charles Davis8bdfafd2013-09-01 04:28:48 +00002156MachO::any_relocation_info
Rafael Espindola56f976f2013-04-18 18:08:55 +00002157MachOObjectFile::getRelocation(DataRefImpl Rel) const {
Rafael Espindola128b8112014-04-03 23:51:28 +00002158 DataRefImpl Sec;
2159 Sec.d.a = Rel.d.a;
2160 uint32_t Offset;
2161 if (is64Bit()) {
2162 MachO::section_64 Sect = getSection64(Sec);
2163 Offset = Sect.reloff;
2164 } else {
2165 MachO::section Sect = getSection(Sec);
2166 Offset = Sect.reloff;
2167 }
2168
2169 auto P = reinterpret_cast<const MachO::any_relocation_info *>(
2170 getPtr(this, Offset)) + Rel.d.b;
2171 return getStruct<MachO::any_relocation_info>(
2172 this, reinterpret_cast<const char *>(P));
Rafael Espindola56f976f2013-04-18 18:08:55 +00002173}
2174
Charles Davis8bdfafd2013-09-01 04:28:48 +00002175MachO::data_in_code_entry
Kevin Enderby273ae012013-06-06 17:20:50 +00002176MachOObjectFile::getDice(DataRefImpl Rel) const {
2177 const char *P = reinterpret_cast<const char *>(Rel.p);
Charles Davis8bdfafd2013-09-01 04:28:48 +00002178 return getStruct<MachO::data_in_code_entry>(this, P);
Kevin Enderby273ae012013-06-06 17:20:50 +00002179}
2180
Alexey Samsonov13415ed2015-06-04 19:22:03 +00002181const MachO::mach_header &MachOObjectFile::getHeader() const {
Alexey Samsonovfa5edc52015-06-04 22:49:55 +00002182 return Header;
Rafael Espindola56f976f2013-04-18 18:08:55 +00002183}
2184
Alexey Samsonov13415ed2015-06-04 19:22:03 +00002185const MachO::mach_header_64 &MachOObjectFile::getHeader64() const {
2186 assert(is64Bit());
2187 return Header64;
Rafael Espindola6e040c02013-04-26 20:07:33 +00002188}
2189
Charles Davis8bdfafd2013-09-01 04:28:48 +00002190uint32_t MachOObjectFile::getIndirectSymbolTableEntry(
2191 const MachO::dysymtab_command &DLC,
2192 unsigned Index) const {
2193 uint64_t Offset = DLC.indirectsymoff + Index * sizeof(uint32_t);
2194 return getStruct<uint32_t>(this, getPtr(this, Offset));
Rafael Espindola6e040c02013-04-26 20:07:33 +00002195}
2196
Charles Davis8bdfafd2013-09-01 04:28:48 +00002197MachO::data_in_code_entry
Rafael Espindola6e040c02013-04-26 20:07:33 +00002198MachOObjectFile::getDataInCodeTableEntry(uint32_t DataOffset,
2199 unsigned Index) const {
Charles Davis8bdfafd2013-09-01 04:28:48 +00002200 uint64_t Offset = DataOffset + Index * sizeof(MachO::data_in_code_entry);
2201 return getStruct<MachO::data_in_code_entry>(this, getPtr(this, Offset));
Rafael Espindola6e040c02013-04-26 20:07:33 +00002202}
2203
Charles Davis8bdfafd2013-09-01 04:28:48 +00002204MachO::symtab_command MachOObjectFile::getSymtabLoadCommand() const {
Kevin Enderby6f326ce2014-10-23 19:37:31 +00002205 if (SymtabLoadCmd)
2206 return getStruct<MachO::symtab_command>(this, SymtabLoadCmd);
2207
2208 // If there is no SymtabLoadCmd return a load command with zero'ed fields.
2209 MachO::symtab_command Cmd;
2210 Cmd.cmd = MachO::LC_SYMTAB;
2211 Cmd.cmdsize = sizeof(MachO::symtab_command);
2212 Cmd.symoff = 0;
2213 Cmd.nsyms = 0;
2214 Cmd.stroff = 0;
2215 Cmd.strsize = 0;
2216 return Cmd;
Rafael Espindola56f976f2013-04-18 18:08:55 +00002217}
2218
Charles Davis8bdfafd2013-09-01 04:28:48 +00002219MachO::dysymtab_command MachOObjectFile::getDysymtabLoadCommand() const {
Kevin Enderby6f326ce2014-10-23 19:37:31 +00002220 if (DysymtabLoadCmd)
2221 return getStruct<MachO::dysymtab_command>(this, DysymtabLoadCmd);
2222
2223 // If there is no DysymtabLoadCmd return a load command with zero'ed fields.
2224 MachO::dysymtab_command Cmd;
2225 Cmd.cmd = MachO::LC_DYSYMTAB;
2226 Cmd.cmdsize = sizeof(MachO::dysymtab_command);
2227 Cmd.ilocalsym = 0;
2228 Cmd.nlocalsym = 0;
2229 Cmd.iextdefsym = 0;
2230 Cmd.nextdefsym = 0;
2231 Cmd.iundefsym = 0;
2232 Cmd.nundefsym = 0;
2233 Cmd.tocoff = 0;
2234 Cmd.ntoc = 0;
2235 Cmd.modtaboff = 0;
2236 Cmd.nmodtab = 0;
2237 Cmd.extrefsymoff = 0;
2238 Cmd.nextrefsyms = 0;
2239 Cmd.indirectsymoff = 0;
2240 Cmd.nindirectsyms = 0;
2241 Cmd.extreloff = 0;
2242 Cmd.nextrel = 0;
2243 Cmd.locreloff = 0;
2244 Cmd.nlocrel = 0;
2245 return Cmd;
Rafael Espindola6e040c02013-04-26 20:07:33 +00002246}
2247
Charles Davis8bdfafd2013-09-01 04:28:48 +00002248MachO::linkedit_data_command
Kevin Enderby273ae012013-06-06 17:20:50 +00002249MachOObjectFile::getDataInCodeLoadCommand() const {
2250 if (DataInCodeLoadCmd)
Charles Davis8bdfafd2013-09-01 04:28:48 +00002251 return getStruct<MachO::linkedit_data_command>(this, DataInCodeLoadCmd);
Kevin Enderby273ae012013-06-06 17:20:50 +00002252
2253 // If there is no DataInCodeLoadCmd return a load command with zero'ed fields.
Charles Davis8bdfafd2013-09-01 04:28:48 +00002254 MachO::linkedit_data_command Cmd;
2255 Cmd.cmd = MachO::LC_DATA_IN_CODE;
2256 Cmd.cmdsize = sizeof(MachO::linkedit_data_command);
2257 Cmd.dataoff = 0;
2258 Cmd.datasize = 0;
Kevin Enderby273ae012013-06-06 17:20:50 +00002259 return Cmd;
2260}
2261
Kevin Enderby9a509442015-01-27 21:28:24 +00002262MachO::linkedit_data_command
2263MachOObjectFile::getLinkOptHintsLoadCommand() const {
2264 if (LinkOptHintsLoadCmd)
2265 return getStruct<MachO::linkedit_data_command>(this, LinkOptHintsLoadCmd);
2266
2267 // If there is no LinkOptHintsLoadCmd return a load command with zero'ed
2268 // fields.
2269 MachO::linkedit_data_command Cmd;
2270 Cmd.cmd = MachO::LC_LINKER_OPTIMIZATION_HINT;
2271 Cmd.cmdsize = sizeof(MachO::linkedit_data_command);
2272 Cmd.dataoff = 0;
2273 Cmd.datasize = 0;
2274 return Cmd;
2275}
2276
Nick Kledzikd04bc352014-08-30 00:20:14 +00002277ArrayRef<uint8_t> MachOObjectFile::getDyldInfoRebaseOpcodes() const {
NAKAMURA Takumi10c80e72015-09-22 11:19:03 +00002278 if (!DyldInfoLoadCmd)
Craig Topper0013be12015-09-21 05:32:41 +00002279 return None;
Nick Kledzikd04bc352014-08-30 00:20:14 +00002280
NAKAMURA Takumi70ad98a2015-09-22 11:13:55 +00002281 MachO::dyld_info_command DyldInfo =
2282 getStruct<MachO::dyld_info_command>(this, DyldInfoLoadCmd);
2283 const uint8_t *Ptr =
2284 reinterpret_cast<const uint8_t *>(getPtr(this, DyldInfo.rebase_off));
Craig Topper0013be12015-09-21 05:32:41 +00002285 return makeArrayRef(Ptr, DyldInfo.rebase_size);
Nick Kledzikd04bc352014-08-30 00:20:14 +00002286}
2287
2288ArrayRef<uint8_t> MachOObjectFile::getDyldInfoBindOpcodes() const {
NAKAMURA Takumi10c80e72015-09-22 11:19:03 +00002289 if (!DyldInfoLoadCmd)
Craig Topper0013be12015-09-21 05:32:41 +00002290 return None;
Nick Kledzikd04bc352014-08-30 00:20:14 +00002291
NAKAMURA Takumi70ad98a2015-09-22 11:13:55 +00002292 MachO::dyld_info_command DyldInfo =
2293 getStruct<MachO::dyld_info_command>(this, DyldInfoLoadCmd);
2294 const uint8_t *Ptr =
2295 reinterpret_cast<const uint8_t *>(getPtr(this, DyldInfo.bind_off));
Craig Topper0013be12015-09-21 05:32:41 +00002296 return makeArrayRef(Ptr, DyldInfo.bind_size);
Nick Kledzikd04bc352014-08-30 00:20:14 +00002297}
2298
2299ArrayRef<uint8_t> MachOObjectFile::getDyldInfoWeakBindOpcodes() const {
NAKAMURA Takumi10c80e72015-09-22 11:19:03 +00002300 if (!DyldInfoLoadCmd)
Craig Topper0013be12015-09-21 05:32:41 +00002301 return None;
Nick Kledzikd04bc352014-08-30 00:20:14 +00002302
NAKAMURA Takumi70ad98a2015-09-22 11:13:55 +00002303 MachO::dyld_info_command DyldInfo =
2304 getStruct<MachO::dyld_info_command>(this, DyldInfoLoadCmd);
2305 const uint8_t *Ptr =
2306 reinterpret_cast<const uint8_t *>(getPtr(this, DyldInfo.weak_bind_off));
Craig Topper0013be12015-09-21 05:32:41 +00002307 return makeArrayRef(Ptr, DyldInfo.weak_bind_size);
Nick Kledzikd04bc352014-08-30 00:20:14 +00002308}
2309
2310ArrayRef<uint8_t> MachOObjectFile::getDyldInfoLazyBindOpcodes() const {
NAKAMURA Takumi10c80e72015-09-22 11:19:03 +00002311 if (!DyldInfoLoadCmd)
Craig Topper0013be12015-09-21 05:32:41 +00002312 return None;
Nick Kledzikd04bc352014-08-30 00:20:14 +00002313
NAKAMURA Takumi70ad98a2015-09-22 11:13:55 +00002314 MachO::dyld_info_command DyldInfo =
2315 getStruct<MachO::dyld_info_command>(this, DyldInfoLoadCmd);
2316 const uint8_t *Ptr =
2317 reinterpret_cast<const uint8_t *>(getPtr(this, DyldInfo.lazy_bind_off));
Craig Topper0013be12015-09-21 05:32:41 +00002318 return makeArrayRef(Ptr, DyldInfo.lazy_bind_size);
Nick Kledzikd04bc352014-08-30 00:20:14 +00002319}
2320
2321ArrayRef<uint8_t> MachOObjectFile::getDyldInfoExportsTrie() const {
NAKAMURA Takumi10c80e72015-09-22 11:19:03 +00002322 if (!DyldInfoLoadCmd)
Craig Topper0013be12015-09-21 05:32:41 +00002323 return None;
Nick Kledzikd04bc352014-08-30 00:20:14 +00002324
NAKAMURA Takumi70ad98a2015-09-22 11:13:55 +00002325 MachO::dyld_info_command DyldInfo =
2326 getStruct<MachO::dyld_info_command>(this, DyldInfoLoadCmd);
2327 const uint8_t *Ptr =
2328 reinterpret_cast<const uint8_t *>(getPtr(this, DyldInfo.export_off));
Craig Topper0013be12015-09-21 05:32:41 +00002329 return makeArrayRef(Ptr, DyldInfo.export_size);
Nick Kledzikd04bc352014-08-30 00:20:14 +00002330}
2331
Alexander Potapenko6909b5b2014-10-15 23:35:45 +00002332ArrayRef<uint8_t> MachOObjectFile::getUuid() const {
2333 if (!UuidLoadCmd)
Craig Topper0013be12015-09-21 05:32:41 +00002334 return None;
Benjamin Kramer014601d2014-10-24 15:52:05 +00002335 // Returning a pointer is fine as uuid doesn't need endian swapping.
2336 const char *Ptr = UuidLoadCmd + offsetof(MachO::uuid_command, uuid);
Craig Topper0013be12015-09-21 05:32:41 +00002337 return makeArrayRef(reinterpret_cast<const uint8_t *>(Ptr), 16);
Alexander Potapenko6909b5b2014-10-15 23:35:45 +00002338}
Nick Kledzikd04bc352014-08-30 00:20:14 +00002339
Rafael Espindola6e040c02013-04-26 20:07:33 +00002340StringRef MachOObjectFile::getStringTableData() const {
Charles Davis8bdfafd2013-09-01 04:28:48 +00002341 MachO::symtab_command S = getSymtabLoadCommand();
2342 return getData().substr(S.stroff, S.strsize);
Rafael Espindola6e040c02013-04-26 20:07:33 +00002343}
2344
Rafael Espindola56f976f2013-04-18 18:08:55 +00002345bool MachOObjectFile::is64Bit() const {
2346 return getType() == getMachOType(false, true) ||
Lang Hames84bc8182014-07-15 19:35:22 +00002347 getType() == getMachOType(true, true);
Rafael Espindola56f976f2013-04-18 18:08:55 +00002348}
2349
2350void MachOObjectFile::ReadULEB128s(uint64_t Index,
2351 SmallVectorImpl<uint64_t> &Out) const {
2352 DataExtractor extractor(ObjectFile::getData(), true, 0);
2353
2354 uint32_t offset = Index;
2355 uint64_t data = 0;
2356 while (uint64_t delta = extractor.getULEB128(&offset)) {
2357 data += delta;
2358 Out.push_back(data);
2359 }
2360}
2361
Rafael Espindolac66d7612014-08-17 19:09:37 +00002362bool MachOObjectFile::isRelocatableObject() const {
2363 return getHeader().filetype == MachO::MH_OBJECT;
2364}
2365
Rafael Espindola437b0d52014-07-31 03:12:45 +00002366ErrorOr<std::unique_ptr<MachOObjectFile>>
Rafael Espindola48af1c22014-08-19 18:44:46 +00002367ObjectFile::createMachOObjectFile(MemoryBufferRef Buffer) {
2368 StringRef Magic = Buffer.getBuffer().slice(0, 4);
Rafael Espindola3acea392014-06-12 21:46:39 +00002369 std::error_code EC;
Ahmed Charles56440fd2014-03-06 05:51:42 +00002370 std::unique_ptr<MachOObjectFile> Ret;
Rafael Espindola56f976f2013-04-18 18:08:55 +00002371 if (Magic == "\xFE\xED\xFA\xCE")
Rafael Espindola48af1c22014-08-19 18:44:46 +00002372 Ret.reset(new MachOObjectFile(Buffer, false, false, EC));
Rafael Espindola56f976f2013-04-18 18:08:55 +00002373 else if (Magic == "\xCE\xFA\xED\xFE")
Rafael Espindola48af1c22014-08-19 18:44:46 +00002374 Ret.reset(new MachOObjectFile(Buffer, true, false, EC));
Rafael Espindola56f976f2013-04-18 18:08:55 +00002375 else if (Magic == "\xFE\xED\xFA\xCF")
Rafael Espindola48af1c22014-08-19 18:44:46 +00002376 Ret.reset(new MachOObjectFile(Buffer, false, true, EC));
Rafael Espindola56f976f2013-04-18 18:08:55 +00002377 else if (Magic == "\xCF\xFA\xED\xFE")
Rafael Espindola48af1c22014-08-19 18:44:46 +00002378 Ret.reset(new MachOObjectFile(Buffer, true, true, EC));
Rafael Espindola6304e942014-06-23 22:00:37 +00002379 else
Rafael Espindola692410e2014-01-21 23:06:54 +00002380 return object_error::parse_failed;
Rafael Espindola56f976f2013-04-18 18:08:55 +00002381
Rafael Espindola692410e2014-01-21 23:06:54 +00002382 if (EC)
2383 return EC;
Rafael Espindola437b0d52014-07-31 03:12:45 +00002384 return std::move(Ret);
Rafael Espindola56f976f2013-04-18 18:08:55 +00002385}