1 //===- MachOObjectFile.cpp - Mach-O object file binding ---------*- C++ -*-===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This file defines the MachOObjectFile class, which binds the MachOObject 11 // class to the generic ObjectFile wrapper. 12 // 13 //===----------------------------------------------------------------------===// 14 15 #include "llvm/Object/MachO.h" 16 #include "llvm/ADT/STLExtras.h" 17 #include "llvm/ADT/Triple.h" 18 #include "llvm/Support/DataExtractor.h" 19 #include "llvm/Support/Format.h" 20 #include "llvm/Support/Host.h" 21 #include "llvm/Support/MemoryBuffer.h" 22 #include "llvm/Support/raw_ostream.h" 23 #include <cctype> 24 #include <cstring> 25 #include <limits> 26 27 using namespace llvm; 28 using namespace object; 29 30 namespace llvm { 31 namespace object { 32 33 struct nlist_base { 34 uint32_t n_strx; 35 uint8_t n_type; 36 uint8_t n_sect; 37 uint16_t n_desc; 38 }; 39 40 struct section_base { 41 char sectname[16]; 42 char segname[16]; 43 }; 44 45 template<typename T> 46 static void SwapValue(T &Value) { 47 Value = sys::SwapByteOrder(Value); 48 } 49 50 template<typename T> 51 static void SwapStruct(T &Value); 52 53 template<> 54 void SwapStruct(MachO::any_relocation_info &H) { 55 SwapValue(H.r_word0); 56 SwapValue(H.r_word1); 57 } 58 59 template<> 60 void SwapStruct(MachO::load_command &L) { 61 SwapValue(L.cmd); 62 SwapValue(L.cmdsize); 63 } 64 65 template<> 66 void SwapStruct(nlist_base &S) { 67 SwapValue(S.n_strx); 68 SwapValue(S.n_desc); 69 } 70 71 template<> 72 void SwapStruct(MachO::section &S) { 73 SwapValue(S.addr); 74 SwapValue(S.size); 75 SwapValue(S.offset); 76 SwapValue(S.align); 77 SwapValue(S.reloff); 78 SwapValue(S.nreloc); 79 SwapValue(S.flags); 80 SwapValue(S.reserved1); 81 SwapValue(S.reserved2); 82 } 83 84 template<> 85 void SwapStruct(MachO::section_64 &S) { 86 SwapValue(S.addr); 87 SwapValue(S.size); 88 SwapValue(S.offset); 89 SwapValue(S.align); 90 SwapValue(S.reloff); 91 SwapValue(S.nreloc); 92 SwapValue(S.flags); 93 SwapValue(S.reserved1); 94 SwapValue(S.reserved2); 95 SwapValue(S.reserved3); 96 } 97 98 template<> 99 void SwapStruct(MachO::nlist &S) { 100 SwapValue(S.n_strx); 101 SwapValue(S.n_desc); 102 SwapValue(S.n_value); 103 } 104 105 template<> 106 void SwapStruct(MachO::nlist_64 &S) { 107 SwapValue(S.n_strx); 108 SwapValue(S.n_desc); 109 SwapValue(S.n_value); 110 } 111 112 template<> 113 void SwapStruct(MachO::mach_header &H) { 114 SwapValue(H.magic); 115 SwapValue(H.cputype); 116 SwapValue(H.cpusubtype); 117 SwapValue(H.filetype); 118 SwapValue(H.ncmds); 119 SwapValue(H.sizeofcmds); 120 SwapValue(H.flags); 121 } 122 123 template<> 124 void SwapStruct(MachO::mach_header_64 &H) { 125 SwapValue(H.magic); 126 SwapValue(H.cputype); 127 SwapValue(H.cpusubtype); 128 SwapValue(H.filetype); 129 SwapValue(H.ncmds); 130 SwapValue(H.sizeofcmds); 131 SwapValue(H.flags); 132 SwapValue(H.reserved); 133 } 134 135 template<> 136 void SwapStruct(MachO::symtab_command &C) { 137 SwapValue(C.cmd); 138 SwapValue(C.cmdsize); 139 SwapValue(C.symoff); 140 SwapValue(C.nsyms); 141 SwapValue(C.stroff); 142 SwapValue(C.strsize); 143 } 144 145 template<> 146 void SwapStruct(MachO::dysymtab_command &C) { 147 SwapValue(C.cmd); 148 SwapValue(C.cmdsize); 149 SwapValue(C.ilocalsym); 150 SwapValue(C.nlocalsym); 151 SwapValue(C.iextdefsym); 152 SwapValue(C.nextdefsym); 153 SwapValue(C.iundefsym); 154 SwapValue(C.nundefsym); 155 SwapValue(C.tocoff); 156 SwapValue(C.ntoc); 157 SwapValue(C.modtaboff); 158 SwapValue(C.nmodtab); 159 SwapValue(C.extrefsymoff); 160 SwapValue(C.nextrefsyms); 161 SwapValue(C.indirectsymoff); 162 SwapValue(C.nindirectsyms); 163 SwapValue(C.extreloff); 164 SwapValue(C.nextrel); 165 SwapValue(C.locreloff); 166 SwapValue(C.nlocrel); 167 } 168 169 template<> 170 void SwapStruct(MachO::linkedit_data_command &C) { 171 SwapValue(C.cmd); 172 SwapValue(C.cmdsize); 173 SwapValue(C.dataoff); 174 SwapValue(C.datasize); 175 } 176 177 template<> 178 void SwapStruct(MachO::segment_command &C) { 179 SwapValue(C.cmd); 180 SwapValue(C.cmdsize); 181 SwapValue(C.vmaddr); 182 SwapValue(C.vmsize); 183 SwapValue(C.fileoff); 184 SwapValue(C.filesize); 185 SwapValue(C.maxprot); 186 SwapValue(C.initprot); 187 SwapValue(C.nsects); 188 SwapValue(C.flags); 189 } 190 191 template<> 192 void SwapStruct(MachO::segment_command_64 &C) { 193 SwapValue(C.cmd); 194 SwapValue(C.cmdsize); 195 SwapValue(C.vmaddr); 196 SwapValue(C.vmsize); 197 SwapValue(C.fileoff); 198 SwapValue(C.filesize); 199 SwapValue(C.maxprot); 200 SwapValue(C.initprot); 201 SwapValue(C.nsects); 202 SwapValue(C.flags); 203 } 204 205 template<> 206 void SwapStruct(uint32_t &C) { 207 SwapValue(C); 208 } 209 210 template<> 211 void SwapStruct(MachO::linker_options_command &C) { 212 SwapValue(C.cmd); 213 SwapValue(C.cmdsize); 214 SwapValue(C.count); 215 } 216 217 template<> 218 void SwapStruct(MachO::version_min_command&C) { 219 SwapValue(C.cmd); 220 SwapValue(C.cmdsize); 221 SwapValue(C.version); 222 SwapValue(C.reserved); 223 } 224 225 template<> 226 void SwapStruct(MachO::data_in_code_entry &C) { 227 SwapValue(C.offset); 228 SwapValue(C.length); 229 SwapValue(C.kind); 230 } 231 232 template<typename T> 233 T getStruct(const MachOObjectFile *O, const char *P) { 234 T Cmd; 235 memcpy(&Cmd, P, sizeof(T)); 236 if (O->isLittleEndian() != sys::IsLittleEndianHost) 237 SwapStruct(Cmd); 238 return Cmd; 239 } 240 241 static uint32_t 242 getSegmentLoadCommandNumSections(const MachOObjectFile *O, 243 const MachOObjectFile::LoadCommandInfo &L) { 244 if (O->is64Bit()) { 245 MachO::segment_command_64 S = O->getSegment64LoadCommand(L); 246 return S.nsects; 247 } 248 MachO::segment_command S = O->getSegmentLoadCommand(L); 249 return S.nsects; 250 } 251 252 static const char * 253 getSectionPtr(const MachOObjectFile *O, MachOObjectFile::LoadCommandInfo L, 254 unsigned Sec) { 255 uintptr_t CommandAddr = reinterpret_cast<uintptr_t>(L.Ptr); 256 257 bool Is64 = O->is64Bit(); 258 unsigned SegmentLoadSize = Is64 ? sizeof(MachO::segment_command_64) : 259 sizeof(MachO::segment_command); 260 unsigned SectionSize = Is64 ? sizeof(MachO::section_64) : 261 sizeof(MachO::section); 262 263 uintptr_t SectionAddr = CommandAddr + SegmentLoadSize + Sec * SectionSize; 264 return reinterpret_cast<const char*>(SectionAddr); 265 } 266 267 static const char *getPtr(const MachOObjectFile *O, size_t Offset) { 268 return O->getData().substr(Offset, 1).data(); 269 } 270 271 static nlist_base 272 getSymbolTableEntryBase(const MachOObjectFile *O, DataRefImpl DRI) { 273 const char *P = reinterpret_cast<const char *>(DRI.p); 274 return getStruct<nlist_base>(O, P); 275 } 276 277 static StringRef parseSegmentOrSectionName(const char *P) { 278 if (P[15] == 0) 279 // Null terminated. 280 return P; 281 // Not null terminated, so this is a 16 char string. 282 return StringRef(P, 16); 283 } 284 285 // Helper to advance a section or symbol iterator multiple increments at a time. 286 template<class T> 287 static void advance(T &it, size_t Val) { 288 while (Val--) 289 ++it; 290 } 291 292 static unsigned getCPUType(const MachOObjectFile *O) { 293 return O->getHeader().cputype; 294 } 295 296 static void printRelocationTargetName(const MachOObjectFile *O, 297 const MachO::any_relocation_info &RE, 298 raw_string_ostream &fmt) { 299 bool IsScattered = O->isRelocationScattered(RE); 300 301 // Target of a scattered relocation is an address. In the interest of 302 // generating pretty output, scan through the symbol table looking for a 303 // symbol that aligns with that address. If we find one, print it. 304 // Otherwise, we just print the hex address of the target. 305 if (IsScattered) { 306 uint32_t Val = O->getPlainRelocationSymbolNum(RE); 307 308 for (const SymbolRef &Symbol : O->symbols()) { 309 error_code ec; 310 uint64_t Addr; 311 StringRef Name; 312 313 if ((ec = Symbol.getAddress(Addr))) 314 report_fatal_error(ec.message()); 315 if (Addr != Val) 316 continue; 317 if ((ec = Symbol.getName(Name))) 318 report_fatal_error(ec.message()); 319 fmt << Name; 320 return; 321 } 322 323 // If we couldn't find a symbol that this relocation refers to, try 324 // to find a section beginning instead. 325 for (const SectionRef &Section : O->sections()) { 326 error_code ec; 327 uint64_t Addr; 328 StringRef Name; 329 330 if ((ec = Section.getAddress(Addr))) 331 report_fatal_error(ec.message()); 332 if (Addr != Val) 333 continue; 334 if ((ec = Section.getName(Name))) 335 report_fatal_error(ec.message()); 336 fmt << Name; 337 return; 338 } 339 340 fmt << format("0x%x", Val); 341 return; 342 } 343 344 StringRef S; 345 bool isExtern = O->getPlainRelocationExternal(RE); 346 uint64_t Val = O->getPlainRelocationSymbolNum(RE); 347 348 if (isExtern) { 349 symbol_iterator SI = O->symbol_begin(); 350 advance(SI, Val); 351 SI->getName(S); 352 } else { 353 section_iterator SI = O->section_begin(); 354 // Adjust for the fact that sections are 1-indexed. 355 advance(SI, Val - 1); 356 SI->getName(S); 357 } 358 359 fmt << S; 360 } 361 362 static uint32_t 363 getPlainRelocationAddress(const MachO::any_relocation_info &RE) { 364 return RE.r_word0; 365 } 366 367 static unsigned 368 getScatteredRelocationAddress(const MachO::any_relocation_info &RE) { 369 return RE.r_word0 & 0xffffff; 370 } 371 372 static bool getPlainRelocationPCRel(const MachOObjectFile *O, 373 const MachO::any_relocation_info &RE) { 374 if (O->isLittleEndian()) 375 return (RE.r_word1 >> 24) & 1; 376 return (RE.r_word1 >> 7) & 1; 377 } 378 379 static bool 380 getScatteredRelocationPCRel(const MachOObjectFile *O, 381 const MachO::any_relocation_info &RE) { 382 return (RE.r_word0 >> 30) & 1; 383 } 384 385 static unsigned getPlainRelocationLength(const MachOObjectFile *O, 386 const MachO::any_relocation_info &RE) { 387 if (O->isLittleEndian()) 388 return (RE.r_word1 >> 25) & 3; 389 return (RE.r_word1 >> 5) & 3; 390 } 391 392 static unsigned 393 getScatteredRelocationLength(const MachO::any_relocation_info &RE) { 394 return (RE.r_word0 >> 28) & 3; 395 } 396 397 static unsigned getPlainRelocationType(const MachOObjectFile *O, 398 const MachO::any_relocation_info &RE) { 399 if (O->isLittleEndian()) 400 return RE.r_word1 >> 28; 401 return RE.r_word1 & 0xf; 402 } 403 404 static unsigned 405 getScatteredRelocationType(const MachO::any_relocation_info &RE) { 406 return (RE.r_word0 >> 24) & 0xf; 407 } 408 409 static uint32_t getSectionFlags(const MachOObjectFile *O, 410 DataRefImpl Sec) { 411 if (O->is64Bit()) { 412 MachO::section_64 Sect = O->getSection64(Sec); 413 return Sect.flags; 414 } 415 MachO::section Sect = O->getSection(Sec); 416 return Sect.flags; 417 } 418 419 MachOObjectFile::MachOObjectFile(MemoryBuffer *Object, bool IsLittleEndian, 420 bool Is64bits, error_code &EC, 421 bool BufferOwned) 422 : ObjectFile(getMachOType(IsLittleEndian, Is64bits), Object, BufferOwned), 423 SymtabLoadCmd(NULL), DysymtabLoadCmd(NULL), DataInCodeLoadCmd(NULL) { 424 uint32_t LoadCommandCount = this->getHeader().ncmds; 425 MachO::LoadCommandType SegmentLoadType = is64Bit() ? 426 MachO::LC_SEGMENT_64 : MachO::LC_SEGMENT; 427 428 MachOObjectFile::LoadCommandInfo Load = getFirstLoadCommandInfo(); 429 for (unsigned I = 0; ; ++I) { 430 if (Load.C.cmd == MachO::LC_SYMTAB) { 431 assert(!SymtabLoadCmd && "Multiple symbol tables"); 432 SymtabLoadCmd = Load.Ptr; 433 } else if (Load.C.cmd == MachO::LC_DYSYMTAB) { 434 assert(!DysymtabLoadCmd && "Multiple dynamic symbol tables"); 435 DysymtabLoadCmd = Load.Ptr; 436 } else if (Load.C.cmd == MachO::LC_DATA_IN_CODE) { 437 assert(!DataInCodeLoadCmd && "Multiple data in code tables"); 438 DataInCodeLoadCmd = Load.Ptr; 439 } else if (Load.C.cmd == SegmentLoadType) { 440 uint32_t NumSections = getSegmentLoadCommandNumSections(this, Load); 441 for (unsigned J = 0; J < NumSections; ++J) { 442 const char *Sec = getSectionPtr(this, Load, J); 443 Sections.push_back(Sec); 444 } 445 } 446 447 if (I == LoadCommandCount - 1) 448 break; 449 else 450 Load = getNextLoadCommandInfo(Load); 451 } 452 } 453 454 void MachOObjectFile::moveSymbolNext(DataRefImpl &Symb) const { 455 unsigned SymbolTableEntrySize = is64Bit() ? 456 sizeof(MachO::nlist_64) : 457 sizeof(MachO::nlist); 458 Symb.p += SymbolTableEntrySize; 459 } 460 461 error_code MachOObjectFile::getSymbolName(DataRefImpl Symb, 462 StringRef &Res) const { 463 StringRef StringTable = getStringTableData(); 464 nlist_base Entry = getSymbolTableEntryBase(this, Symb); 465 const char *Start = &StringTable.data()[Entry.n_strx]; 466 Res = StringRef(Start); 467 return object_error::success; 468 } 469 470 error_code MachOObjectFile::getSymbolAddress(DataRefImpl Symb, 471 uint64_t &Res) const { 472 if (is64Bit()) { 473 MachO::nlist_64 Entry = getSymbol64TableEntry(Symb); 474 Res = Entry.n_value; 475 } else { 476 MachO::nlist Entry = getSymbolTableEntry(Symb); 477 Res = Entry.n_value; 478 } 479 return object_error::success; 480 } 481 482 error_code MachOObjectFile::getSymbolAlignment(DataRefImpl DRI, 483 uint32_t &Result) const { 484 uint32_t flags = getSymbolFlags(DRI); 485 if (flags & SymbolRef::SF_Common) { 486 nlist_base Entry = getSymbolTableEntryBase(this, DRI); 487 Result = 1 << MachO::GET_COMM_ALIGN(Entry.n_desc); 488 } else { 489 Result = 0; 490 } 491 return object_error::success; 492 } 493 494 error_code MachOObjectFile::getSymbolSize(DataRefImpl DRI, 495 uint64_t &Result) const { 496 uint64_t BeginOffset; 497 uint64_t EndOffset = 0; 498 uint8_t SectionIndex; 499 500 nlist_base Entry = getSymbolTableEntryBase(this, DRI); 501 uint64_t Value; 502 getSymbolAddress(DRI, Value); 503 504 BeginOffset = Value; 505 506 SectionIndex = Entry.n_sect; 507 if (!SectionIndex) { 508 uint32_t flags = getSymbolFlags(DRI); 509 if (flags & SymbolRef::SF_Common) 510 Result = Value; 511 else 512 Result = UnknownAddressOrSize; 513 return object_error::success; 514 } 515 // Unfortunately symbols are unsorted so we need to touch all 516 // symbols from load command 517 for (const SymbolRef &Symbol : symbols()) { 518 DataRefImpl DRI = Symbol.getRawDataRefImpl(); 519 Entry = getSymbolTableEntryBase(this, DRI); 520 getSymbolAddress(DRI, Value); 521 if (Entry.n_sect == SectionIndex && Value > BeginOffset) 522 if (!EndOffset || Value < EndOffset) 523 EndOffset = Value; 524 } 525 if (!EndOffset) { 526 uint64_t Size; 527 DataRefImpl Sec; 528 Sec.d.a = SectionIndex-1; 529 getSectionSize(Sec, Size); 530 getSectionAddress(Sec, EndOffset); 531 EndOffset += Size; 532 } 533 Result = EndOffset - BeginOffset; 534 return object_error::success; 535 } 536 537 error_code MachOObjectFile::getSymbolType(DataRefImpl Symb, 538 SymbolRef::Type &Res) const { 539 nlist_base Entry = getSymbolTableEntryBase(this, Symb); 540 uint8_t n_type = Entry.n_type; 541 542 Res = SymbolRef::ST_Other; 543 544 // If this is a STAB debugging symbol, we can do nothing more. 545 if (n_type & MachO::N_STAB) { 546 Res = SymbolRef::ST_Debug; 547 return object_error::success; 548 } 549 550 switch (n_type & MachO::N_TYPE) { 551 case MachO::N_UNDF : 552 Res = SymbolRef::ST_Unknown; 553 break; 554 case MachO::N_SECT : 555 Res = SymbolRef::ST_Function; 556 break; 557 } 558 return object_error::success; 559 } 560 561 uint32_t MachOObjectFile::getSymbolFlags(DataRefImpl DRI) const { 562 nlist_base Entry = getSymbolTableEntryBase(this, DRI); 563 564 uint8_t MachOType = Entry.n_type; 565 uint16_t MachOFlags = Entry.n_desc; 566 567 uint32_t Result = SymbolRef::SF_None; 568 569 if ((MachOType & MachO::N_TYPE) == MachO::N_UNDF) 570 Result |= SymbolRef::SF_Undefined; 571 572 if (MachOType & MachO::N_STAB) 573 Result |= SymbolRef::SF_FormatSpecific; 574 575 if (MachOType & MachO::N_EXT) { 576 Result |= SymbolRef::SF_Global; 577 if ((MachOType & MachO::N_TYPE) == MachO::N_UNDF) { 578 uint64_t Value; 579 getSymbolAddress(DRI, Value); 580 if (Value) 581 Result |= SymbolRef::SF_Common; 582 } 583 } 584 585 if (MachOFlags & (MachO::N_WEAK_REF | MachO::N_WEAK_DEF)) 586 Result |= SymbolRef::SF_Weak; 587 588 if ((MachOType & MachO::N_TYPE) == MachO::N_ABS) 589 Result |= SymbolRef::SF_Absolute; 590 591 return Result; 592 } 593 594 error_code 595 MachOObjectFile::getSymbolSection(DataRefImpl Symb, 596 section_iterator &Res) const { 597 nlist_base Entry = getSymbolTableEntryBase(this, Symb); 598 uint8_t index = Entry.n_sect; 599 600 if (index == 0) { 601 Res = section_end(); 602 } else { 603 DataRefImpl DRI; 604 DRI.d.a = index - 1; 605 Res = section_iterator(SectionRef(DRI, this)); 606 } 607 608 return object_error::success; 609 } 610 611 void MachOObjectFile::moveSectionNext(DataRefImpl &Sec) const { 612 Sec.d.a++; 613 } 614 615 error_code 616 MachOObjectFile::getSectionName(DataRefImpl Sec, StringRef &Result) const { 617 ArrayRef<char> Raw = getSectionRawName(Sec); 618 Result = parseSegmentOrSectionName(Raw.data()); 619 return object_error::success; 620 } 621 622 error_code 623 MachOObjectFile::getSectionAddress(DataRefImpl Sec, uint64_t &Res) const { 624 if (is64Bit()) { 625 MachO::section_64 Sect = getSection64(Sec); 626 Res = Sect.addr; 627 } else { 628 MachO::section Sect = getSection(Sec); 629 Res = Sect.addr; 630 } 631 return object_error::success; 632 } 633 634 error_code 635 MachOObjectFile::getSectionSize(DataRefImpl Sec, uint64_t &Res) const { 636 if (is64Bit()) { 637 MachO::section_64 Sect = getSection64(Sec); 638 Res = Sect.size; 639 } else { 640 MachO::section Sect = getSection(Sec); 641 Res = Sect.size; 642 } 643 644 return object_error::success; 645 } 646 647 error_code 648 MachOObjectFile::getSectionContents(DataRefImpl Sec, StringRef &Res) const { 649 uint32_t Offset; 650 uint64_t Size; 651 652 if (is64Bit()) { 653 MachO::section_64 Sect = getSection64(Sec); 654 Offset = Sect.offset; 655 Size = Sect.size; 656 } else { 657 MachO::section Sect = getSection(Sec); 658 Offset = Sect.offset; 659 Size = Sect.size; 660 } 661 662 Res = this->getData().substr(Offset, Size); 663 return object_error::success; 664 } 665 666 error_code 667 MachOObjectFile::getSectionAlignment(DataRefImpl Sec, uint64_t &Res) const { 668 uint32_t Align; 669 if (is64Bit()) { 670 MachO::section_64 Sect = getSection64(Sec); 671 Align = Sect.align; 672 } else { 673 MachO::section Sect = getSection(Sec); 674 Align = Sect.align; 675 } 676 677 Res = uint64_t(1) << Align; 678 return object_error::success; 679 } 680 681 error_code 682 MachOObjectFile::isSectionText(DataRefImpl Sec, bool &Res) const { 683 uint32_t Flags = getSectionFlags(this, Sec); 684 Res = Flags & MachO::S_ATTR_PURE_INSTRUCTIONS; 685 return object_error::success; 686 } 687 688 error_code MachOObjectFile::isSectionData(DataRefImpl DRI, bool &Result) const { 689 // FIXME: Unimplemented. 690 Result = false; 691 return object_error::success; 692 } 693 694 error_code MachOObjectFile::isSectionBSS(DataRefImpl DRI, bool &Result) const { 695 // FIXME: Unimplemented. 696 Result = false; 697 return object_error::success; 698 } 699 700 error_code 701 MachOObjectFile::isSectionRequiredForExecution(DataRefImpl Sec, 702 bool &Result) const { 703 // FIXME: Unimplemented. 704 Result = true; 705 return object_error::success; 706 } 707 708 error_code MachOObjectFile::isSectionVirtual(DataRefImpl Sec, 709 bool &Result) const { 710 // FIXME: Unimplemented. 711 Result = false; 712 return object_error::success; 713 } 714 715 error_code 716 MachOObjectFile::isSectionZeroInit(DataRefImpl Sec, bool &Res) const { 717 uint32_t Flags = getSectionFlags(this, Sec); 718 unsigned SectionType = Flags & MachO::SECTION_TYPE; 719 Res = SectionType == MachO::S_ZEROFILL || 720 SectionType == MachO::S_GB_ZEROFILL; 721 return object_error::success; 722 } 723 724 error_code MachOObjectFile::isSectionReadOnlyData(DataRefImpl Sec, 725 bool &Result) const { 726 // Consider using the code from isSectionText to look for __const sections. 727 // Alternately, emit S_ATTR_PURE_INSTRUCTIONS and/or S_ATTR_SOME_INSTRUCTIONS 728 // to use section attributes to distinguish code from data. 729 730 // FIXME: Unimplemented. 731 Result = false; 732 return object_error::success; 733 } 734 735 error_code 736 MachOObjectFile::sectionContainsSymbol(DataRefImpl Sec, DataRefImpl Symb, 737 bool &Result) const { 738 SymbolRef::Type ST; 739 this->getSymbolType(Symb, ST); 740 if (ST == SymbolRef::ST_Unknown) { 741 Result = false; 742 return object_error::success; 743 } 744 745 uint64_t SectBegin, SectEnd; 746 getSectionAddress(Sec, SectBegin); 747 getSectionSize(Sec, SectEnd); 748 SectEnd += SectBegin; 749 750 uint64_t SymAddr; 751 getSymbolAddress(Symb, SymAddr); 752 Result = (SymAddr >= SectBegin) && (SymAddr < SectEnd); 753 754 return object_error::success; 755 } 756 757 relocation_iterator MachOObjectFile::section_rel_begin(DataRefImpl Sec) const { 758 DataRefImpl Ret; 759 Ret.d.a = Sec.d.a; 760 Ret.d.b = 0; 761 return relocation_iterator(RelocationRef(Ret, this)); 762 } 763 764 relocation_iterator 765 MachOObjectFile::section_rel_end(DataRefImpl Sec) const { 766 uint32_t Num; 767 if (is64Bit()) { 768 MachO::section_64 Sect = getSection64(Sec); 769 Num = Sect.nreloc; 770 } else { 771 MachO::section Sect = getSection(Sec); 772 Num = Sect.nreloc; 773 } 774 775 DataRefImpl Ret; 776 Ret.d.a = Sec.d.a; 777 Ret.d.b = Num; 778 return relocation_iterator(RelocationRef(Ret, this)); 779 } 780 781 void MachOObjectFile::moveRelocationNext(DataRefImpl &Rel) const { 782 ++Rel.d.b; 783 } 784 785 error_code 786 MachOObjectFile::getRelocationAddress(DataRefImpl Rel, uint64_t &Res) const { 787 MachO::any_relocation_info RE = getRelocation(Rel); 788 uint64_t Offset = getAnyRelocationAddress(RE); 789 790 DataRefImpl Sec; 791 Sec.d.a = Rel.d.a; 792 uint64_t SecAddress; 793 getSectionAddress(Sec, SecAddress); 794 Res = SecAddress + Offset; 795 return object_error::success; 796 } 797 798 error_code MachOObjectFile::getRelocationOffset(DataRefImpl Rel, 799 uint64_t &Res) const { 800 MachO::any_relocation_info RE = getRelocation(Rel); 801 Res = getAnyRelocationAddress(RE); 802 return object_error::success; 803 } 804 805 symbol_iterator 806 MachOObjectFile::getRelocationSymbol(DataRefImpl Rel) const { 807 MachO::any_relocation_info RE = getRelocation(Rel); 808 uint32_t SymbolIdx = getPlainRelocationSymbolNum(RE); 809 bool isExtern = getPlainRelocationExternal(RE); 810 if (!isExtern) 811 return symbol_end(); 812 813 MachO::symtab_command S = getSymtabLoadCommand(); 814 unsigned SymbolTableEntrySize = is64Bit() ? 815 sizeof(MachO::nlist_64) : 816 sizeof(MachO::nlist); 817 uint64_t Offset = S.symoff + SymbolIdx * SymbolTableEntrySize; 818 DataRefImpl Sym; 819 Sym.p = reinterpret_cast<uintptr_t>(getPtr(this, Offset)); 820 return symbol_iterator(SymbolRef(Sym, this)); 821 } 822 823 error_code MachOObjectFile::getRelocationType(DataRefImpl Rel, 824 uint64_t &Res) const { 825 MachO::any_relocation_info RE = getRelocation(Rel); 826 Res = getAnyRelocationType(RE); 827 return object_error::success; 828 } 829 830 error_code 831 MachOObjectFile::getRelocationTypeName(DataRefImpl Rel, 832 SmallVectorImpl<char> &Result) const { 833 StringRef res; 834 uint64_t RType; 835 getRelocationType(Rel, RType); 836 837 unsigned Arch = this->getArch(); 838 839 switch (Arch) { 840 case Triple::x86: { 841 static const char *const Table[] = { 842 "GENERIC_RELOC_VANILLA", 843 "GENERIC_RELOC_PAIR", 844 "GENERIC_RELOC_SECTDIFF", 845 "GENERIC_RELOC_PB_LA_PTR", 846 "GENERIC_RELOC_LOCAL_SECTDIFF", 847 "GENERIC_RELOC_TLV" }; 848 849 if (RType > 5) 850 res = "Unknown"; 851 else 852 res = Table[RType]; 853 break; 854 } 855 case Triple::x86_64: { 856 static const char *const Table[] = { 857 "X86_64_RELOC_UNSIGNED", 858 "X86_64_RELOC_SIGNED", 859 "X86_64_RELOC_BRANCH", 860 "X86_64_RELOC_GOT_LOAD", 861 "X86_64_RELOC_GOT", 862 "X86_64_RELOC_SUBTRACTOR", 863 "X86_64_RELOC_SIGNED_1", 864 "X86_64_RELOC_SIGNED_2", 865 "X86_64_RELOC_SIGNED_4", 866 "X86_64_RELOC_TLV" }; 867 868 if (RType > 9) 869 res = "Unknown"; 870 else 871 res = Table[RType]; 872 break; 873 } 874 case Triple::arm: { 875 static const char *const Table[] = { 876 "ARM_RELOC_VANILLA", 877 "ARM_RELOC_PAIR", 878 "ARM_RELOC_SECTDIFF", 879 "ARM_RELOC_LOCAL_SECTDIFF", 880 "ARM_RELOC_PB_LA_PTR", 881 "ARM_RELOC_BR24", 882 "ARM_THUMB_RELOC_BR22", 883 "ARM_THUMB_32BIT_BRANCH", 884 "ARM_RELOC_HALF", 885 "ARM_RELOC_HALF_SECTDIFF" }; 886 887 if (RType > 9) 888 res = "Unknown"; 889 else 890 res = Table[RType]; 891 break; 892 } 893 case Triple::arm64: 894 case Triple::aarch64: { 895 static const char *const Table[] = { 896 "ARM64_RELOC_UNSIGNED", "ARM64_RELOC_SUBTRACTOR", 897 "ARM64_RELOC_BRANCH26", "ARM64_RELOC_PAGE21", 898 "ARM64_RELOC_PAGEOFF12", "ARM64_RELOC_GOT_LOAD_PAGE21", 899 "ARM64_RELOC_GOT_LOAD_PAGEOFF12", "ARM64_RELOC_POINTER_TO_GOT", 900 "ARM64_RELOC_TLVP_LOAD_PAGE21", "ARM64_RELOC_TLVP_LOAD_PAGEOFF12", 901 "ARM64_RELOC_ADDEND" 902 }; 903 904 if (RType >= array_lengthof(Table)) 905 res = "Unknown"; 906 else 907 res = Table[RType]; 908 break; 909 } 910 case Triple::ppc: { 911 static const char *const Table[] = { 912 "PPC_RELOC_VANILLA", 913 "PPC_RELOC_PAIR", 914 "PPC_RELOC_BR14", 915 "PPC_RELOC_BR24", 916 "PPC_RELOC_HI16", 917 "PPC_RELOC_LO16", 918 "PPC_RELOC_HA16", 919 "PPC_RELOC_LO14", 920 "PPC_RELOC_SECTDIFF", 921 "PPC_RELOC_PB_LA_PTR", 922 "PPC_RELOC_HI16_SECTDIFF", 923 "PPC_RELOC_LO16_SECTDIFF", 924 "PPC_RELOC_HA16_SECTDIFF", 925 "PPC_RELOC_JBSR", 926 "PPC_RELOC_LO14_SECTDIFF", 927 "PPC_RELOC_LOCAL_SECTDIFF" }; 928 929 if (RType > 15) 930 res = "Unknown"; 931 else 932 res = Table[RType]; 933 break; 934 } 935 case Triple::UnknownArch: 936 res = "Unknown"; 937 break; 938 } 939 Result.append(res.begin(), res.end()); 940 return object_error::success; 941 } 942 943 error_code 944 MachOObjectFile::getRelocationValueString(DataRefImpl Rel, 945 SmallVectorImpl<char> &Result) const { 946 MachO::any_relocation_info RE = getRelocation(Rel); 947 948 unsigned Arch = this->getArch(); 949 950 std::string fmtbuf; 951 raw_string_ostream fmt(fmtbuf); 952 unsigned Type = this->getAnyRelocationType(RE); 953 bool IsPCRel = this->getAnyRelocationPCRel(RE); 954 955 // Determine any addends that should be displayed with the relocation. 956 // These require decoding the relocation type, which is triple-specific. 957 958 // X86_64 has entirely custom relocation types. 959 if (Arch == Triple::x86_64) { 960 bool isPCRel = getAnyRelocationPCRel(RE); 961 962 switch (Type) { 963 case MachO::X86_64_RELOC_GOT_LOAD: 964 case MachO::X86_64_RELOC_GOT: { 965 printRelocationTargetName(this, RE, fmt); 966 fmt << "@GOT"; 967 if (isPCRel) fmt << "PCREL"; 968 break; 969 } 970 case MachO::X86_64_RELOC_SUBTRACTOR: { 971 DataRefImpl RelNext = Rel; 972 moveRelocationNext(RelNext); 973 MachO::any_relocation_info RENext = getRelocation(RelNext); 974 975 // X86_64_RELOC_SUBTRACTOR must be followed by a relocation of type 976 // X86_64_RELOC_UNSIGNED. 977 // NOTE: Scattered relocations don't exist on x86_64. 978 unsigned RType = getAnyRelocationType(RENext); 979 if (RType != MachO::X86_64_RELOC_UNSIGNED) 980 report_fatal_error("Expected X86_64_RELOC_UNSIGNED after " 981 "X86_64_RELOC_SUBTRACTOR."); 982 983 // The X86_64_RELOC_UNSIGNED contains the minuend symbol; 984 // X86_64_RELOC_SUBTRACTOR contains the subtrahend. 985 printRelocationTargetName(this, RENext, fmt); 986 fmt << "-"; 987 printRelocationTargetName(this, RE, fmt); 988 break; 989 } 990 case MachO::X86_64_RELOC_TLV: 991 printRelocationTargetName(this, RE, fmt); 992 fmt << "@TLV"; 993 if (isPCRel) fmt << "P"; 994 break; 995 case MachO::X86_64_RELOC_SIGNED_1: 996 printRelocationTargetName(this, RE, fmt); 997 fmt << "-1"; 998 break; 999 case MachO::X86_64_RELOC_SIGNED_2: 1000 printRelocationTargetName(this, RE, fmt); 1001 fmt << "-2"; 1002 break; 1003 case MachO::X86_64_RELOC_SIGNED_4: 1004 printRelocationTargetName(this, RE, fmt); 1005 fmt << "-4"; 1006 break; 1007 default: 1008 printRelocationTargetName(this, RE, fmt); 1009 break; 1010 } 1011 // X86 and ARM share some relocation types in common. 1012 } else if (Arch == Triple::x86 || Arch == Triple::arm || 1013 Arch == Triple::ppc) { 1014 // Generic relocation types... 1015 switch (Type) { 1016 case MachO::GENERIC_RELOC_PAIR: // prints no info 1017 return object_error::success; 1018 case MachO::GENERIC_RELOC_SECTDIFF: { 1019 DataRefImpl RelNext = Rel; 1020 moveRelocationNext(RelNext); 1021 MachO::any_relocation_info RENext = getRelocation(RelNext); 1022 1023 // X86 sect diff's must be followed by a relocation of type 1024 // GENERIC_RELOC_PAIR. 1025 unsigned RType = getAnyRelocationType(RENext); 1026 1027 if (RType != MachO::GENERIC_RELOC_PAIR) 1028 report_fatal_error("Expected GENERIC_RELOC_PAIR after " 1029 "GENERIC_RELOC_SECTDIFF."); 1030 1031 printRelocationTargetName(this, RE, fmt); 1032 fmt << "-"; 1033 printRelocationTargetName(this, RENext, fmt); 1034 break; 1035 } 1036 } 1037 1038 if (Arch == Triple::x86 || Arch == Triple::ppc) { 1039 switch (Type) { 1040 case MachO::GENERIC_RELOC_LOCAL_SECTDIFF: { 1041 DataRefImpl RelNext = Rel; 1042 moveRelocationNext(RelNext); 1043 MachO::any_relocation_info RENext = getRelocation(RelNext); 1044 1045 // X86 sect diff's must be followed by a relocation of type 1046 // GENERIC_RELOC_PAIR. 1047 unsigned RType = getAnyRelocationType(RENext); 1048 if (RType != MachO::GENERIC_RELOC_PAIR) 1049 report_fatal_error("Expected GENERIC_RELOC_PAIR after " 1050 "GENERIC_RELOC_LOCAL_SECTDIFF."); 1051 1052 printRelocationTargetName(this, RE, fmt); 1053 fmt << "-"; 1054 printRelocationTargetName(this, RENext, fmt); 1055 break; 1056 } 1057 case MachO::GENERIC_RELOC_TLV: { 1058 printRelocationTargetName(this, RE, fmt); 1059 fmt << "@TLV"; 1060 if (IsPCRel) fmt << "P"; 1061 break; 1062 } 1063 default: 1064 printRelocationTargetName(this, RE, fmt); 1065 } 1066 } else { // ARM-specific relocations 1067 switch (Type) { 1068 case MachO::ARM_RELOC_HALF: 1069 case MachO::ARM_RELOC_HALF_SECTDIFF: { 1070 // Half relocations steal a bit from the length field to encode 1071 // whether this is an upper16 or a lower16 relocation. 1072 bool isUpper = getAnyRelocationLength(RE) >> 1; 1073 1074 if (isUpper) 1075 fmt << ":upper16:("; 1076 else 1077 fmt << ":lower16:("; 1078 printRelocationTargetName(this, RE, fmt); 1079 1080 DataRefImpl RelNext = Rel; 1081 moveRelocationNext(RelNext); 1082 MachO::any_relocation_info RENext = getRelocation(RelNext); 1083 1084 // ARM half relocs must be followed by a relocation of type 1085 // ARM_RELOC_PAIR. 1086 unsigned RType = getAnyRelocationType(RENext); 1087 if (RType != MachO::ARM_RELOC_PAIR) 1088 report_fatal_error("Expected ARM_RELOC_PAIR after " 1089 "ARM_RELOC_HALF"); 1090 1091 // NOTE: The half of the target virtual address is stashed in the 1092 // address field of the secondary relocation, but we can't reverse 1093 // engineer the constant offset from it without decoding the movw/movt 1094 // instruction to find the other half in its immediate field. 1095 1096 // ARM_RELOC_HALF_SECTDIFF encodes the second section in the 1097 // symbol/section pointer of the follow-on relocation. 1098 if (Type == MachO::ARM_RELOC_HALF_SECTDIFF) { 1099 fmt << "-"; 1100 printRelocationTargetName(this, RENext, fmt); 1101 } 1102 1103 fmt << ")"; 1104 break; 1105 } 1106 default: { 1107 printRelocationTargetName(this, RE, fmt); 1108 } 1109 } 1110 } 1111 } else 1112 printRelocationTargetName(this, RE, fmt); 1113 1114 fmt.flush(); 1115 Result.append(fmtbuf.begin(), fmtbuf.end()); 1116 return object_error::success; 1117 } 1118 1119 error_code 1120 MachOObjectFile::getRelocationHidden(DataRefImpl Rel, bool &Result) const { 1121 unsigned Arch = getArch(); 1122 uint64_t Type; 1123 getRelocationType(Rel, Type); 1124 1125 Result = false; 1126 1127 // On arches that use the generic relocations, GENERIC_RELOC_PAIR 1128 // is always hidden. 1129 if (Arch == Triple::x86 || Arch == Triple::arm || Arch == Triple::ppc) { 1130 if (Type == MachO::GENERIC_RELOC_PAIR) Result = true; 1131 } else if (Arch == Triple::x86_64) { 1132 // On x86_64, X86_64_RELOC_UNSIGNED is hidden only when it follows 1133 // an X86_64_RELOC_SUBTRACTOR. 1134 if (Type == MachO::X86_64_RELOC_UNSIGNED && Rel.d.a > 0) { 1135 DataRefImpl RelPrev = Rel; 1136 RelPrev.d.a--; 1137 uint64_t PrevType; 1138 getRelocationType(RelPrev, PrevType); 1139 if (PrevType == MachO::X86_64_RELOC_SUBTRACTOR) 1140 Result = true; 1141 } 1142 } 1143 1144 return object_error::success; 1145 } 1146 1147 error_code MachOObjectFile::getLibraryNext(DataRefImpl LibData, 1148 LibraryRef &Res) const { 1149 report_fatal_error("Needed libraries unimplemented in MachOObjectFile"); 1150 } 1151 1152 error_code MachOObjectFile::getLibraryPath(DataRefImpl LibData, 1153 StringRef &Res) const { 1154 report_fatal_error("Needed libraries unimplemented in MachOObjectFile"); 1155 } 1156 1157 basic_symbol_iterator MachOObjectFile::symbol_begin_impl() const { 1158 DataRefImpl DRI; 1159 if (!SymtabLoadCmd) 1160 return basic_symbol_iterator(SymbolRef(DRI, this)); 1161 1162 MachO::symtab_command Symtab = getSymtabLoadCommand(); 1163 DRI.p = reinterpret_cast<uintptr_t>(getPtr(this, Symtab.symoff)); 1164 return basic_symbol_iterator(SymbolRef(DRI, this)); 1165 } 1166 1167 basic_symbol_iterator MachOObjectFile::symbol_end_impl() const { 1168 DataRefImpl DRI; 1169 if (!SymtabLoadCmd) 1170 return basic_symbol_iterator(SymbolRef(DRI, this)); 1171 1172 MachO::symtab_command Symtab = getSymtabLoadCommand(); 1173 unsigned SymbolTableEntrySize = is64Bit() ? 1174 sizeof(MachO::nlist_64) : 1175 sizeof(MachO::nlist); 1176 unsigned Offset = Symtab.symoff + 1177 Symtab.nsyms * SymbolTableEntrySize; 1178 DRI.p = reinterpret_cast<uintptr_t>(getPtr(this, Offset)); 1179 return basic_symbol_iterator(SymbolRef(DRI, this)); 1180 } 1181 1182 section_iterator MachOObjectFile::section_begin() const { 1183 DataRefImpl DRI; 1184 return section_iterator(SectionRef(DRI, this)); 1185 } 1186 1187 section_iterator MachOObjectFile::section_end() const { 1188 DataRefImpl DRI; 1189 DRI.d.a = Sections.size(); 1190 return section_iterator(SectionRef(DRI, this)); 1191 } 1192 1193 library_iterator MachOObjectFile::needed_library_begin() const { 1194 // TODO: implement 1195 report_fatal_error("Needed libraries unimplemented in MachOObjectFile"); 1196 } 1197 1198 library_iterator MachOObjectFile::needed_library_end() const { 1199 // TODO: implement 1200 report_fatal_error("Needed libraries unimplemented in MachOObjectFile"); 1201 } 1202 1203 uint8_t MachOObjectFile::getBytesInAddress() const { 1204 return is64Bit() ? 8 : 4; 1205 } 1206 1207 StringRef MachOObjectFile::getFileFormatName() const { 1208 unsigned CPUType = getCPUType(this); 1209 if (!is64Bit()) { 1210 switch (CPUType) { 1211 case llvm::MachO::CPU_TYPE_I386: 1212 return "Mach-O 32-bit i386"; 1213 case llvm::MachO::CPU_TYPE_ARM: 1214 return "Mach-O arm"; 1215 case llvm::MachO::CPU_TYPE_POWERPC: 1216 return "Mach-O 32-bit ppc"; 1217 default: 1218 assert((CPUType & llvm::MachO::CPU_ARCH_ABI64) == 0 && 1219 "64-bit object file when we're not 64-bit?"); 1220 return "Mach-O 32-bit unknown"; 1221 } 1222 } 1223 1224 // Make sure the cpu type has the correct mask. 1225 assert((CPUType & llvm::MachO::CPU_ARCH_ABI64) 1226 == llvm::MachO::CPU_ARCH_ABI64 && 1227 "32-bit object file when we're 64-bit?"); 1228 1229 switch (CPUType) { 1230 case llvm::MachO::CPU_TYPE_X86_64: 1231 return "Mach-O 64-bit x86-64"; 1232 case llvm::MachO::CPU_TYPE_ARM64: 1233 return "Mach-O arm64"; 1234 case llvm::MachO::CPU_TYPE_POWERPC64: 1235 return "Mach-O 64-bit ppc64"; 1236 default: 1237 return "Mach-O 64-bit unknown"; 1238 } 1239 } 1240 1241 Triple::ArchType MachOObjectFile::getArch(uint32_t CPUType) { 1242 switch (CPUType) { 1243 case llvm::MachO::CPU_TYPE_I386: 1244 return Triple::x86; 1245 case llvm::MachO::CPU_TYPE_X86_64: 1246 return Triple::x86_64; 1247 case llvm::MachO::CPU_TYPE_ARM: 1248 return Triple::arm; 1249 case llvm::MachO::CPU_TYPE_ARM64: 1250 return Triple::arm64; 1251 case llvm::MachO::CPU_TYPE_POWERPC: 1252 return Triple::ppc; 1253 case llvm::MachO::CPU_TYPE_POWERPC64: 1254 return Triple::ppc64; 1255 default: 1256 return Triple::UnknownArch; 1257 } 1258 } 1259 1260 unsigned MachOObjectFile::getArch() const { 1261 return getArch(getCPUType(this)); 1262 } 1263 1264 StringRef MachOObjectFile::getLoadName() const { 1265 // TODO: Implement 1266 report_fatal_error("get_load_name() unimplemented in MachOObjectFile"); 1267 } 1268 1269 relocation_iterator MachOObjectFile::section_rel_begin(unsigned Index) const { 1270 DataRefImpl DRI; 1271 DRI.d.a = Index; 1272 return section_rel_begin(DRI); 1273 } 1274 1275 relocation_iterator MachOObjectFile::section_rel_end(unsigned Index) const { 1276 DataRefImpl DRI; 1277 DRI.d.a = Index; 1278 return section_rel_end(DRI); 1279 } 1280 1281 dice_iterator MachOObjectFile::begin_dices() const { 1282 DataRefImpl DRI; 1283 if (!DataInCodeLoadCmd) 1284 return dice_iterator(DiceRef(DRI, this)); 1285 1286 MachO::linkedit_data_command DicLC = getDataInCodeLoadCommand(); 1287 DRI.p = reinterpret_cast<uintptr_t>(getPtr(this, DicLC.dataoff)); 1288 return dice_iterator(DiceRef(DRI, this)); 1289 } 1290 1291 dice_iterator MachOObjectFile::end_dices() const { 1292 DataRefImpl DRI; 1293 if (!DataInCodeLoadCmd) 1294 return dice_iterator(DiceRef(DRI, this)); 1295 1296 MachO::linkedit_data_command DicLC = getDataInCodeLoadCommand(); 1297 unsigned Offset = DicLC.dataoff + DicLC.datasize; 1298 DRI.p = reinterpret_cast<uintptr_t>(getPtr(this, Offset)); 1299 return dice_iterator(DiceRef(DRI, this)); 1300 } 1301 1302 StringRef 1303 MachOObjectFile::getSectionFinalSegmentName(DataRefImpl Sec) const { 1304 ArrayRef<char> Raw = getSectionRawFinalSegmentName(Sec); 1305 return parseSegmentOrSectionName(Raw.data()); 1306 } 1307 1308 ArrayRef<char> 1309 MachOObjectFile::getSectionRawName(DataRefImpl Sec) const { 1310 const section_base *Base = 1311 reinterpret_cast<const section_base *>(Sections[Sec.d.a]); 1312 return ArrayRef<char>(Base->sectname); 1313 } 1314 1315 ArrayRef<char> 1316 MachOObjectFile::getSectionRawFinalSegmentName(DataRefImpl Sec) const { 1317 const section_base *Base = 1318 reinterpret_cast<const section_base *>(Sections[Sec.d.a]); 1319 return ArrayRef<char>(Base->segname); 1320 } 1321 1322 bool 1323 MachOObjectFile::isRelocationScattered(const MachO::any_relocation_info &RE) 1324 const { 1325 if (getCPUType(this) == MachO::CPU_TYPE_X86_64) 1326 return false; 1327 return getPlainRelocationAddress(RE) & MachO::R_SCATTERED; 1328 } 1329 1330 unsigned MachOObjectFile::getPlainRelocationSymbolNum( 1331 const MachO::any_relocation_info &RE) const { 1332 if (isLittleEndian()) 1333 return RE.r_word1 & 0xffffff; 1334 return RE.r_word1 >> 8; 1335 } 1336 1337 bool MachOObjectFile::getPlainRelocationExternal( 1338 const MachO::any_relocation_info &RE) const { 1339 if (isLittleEndian()) 1340 return (RE.r_word1 >> 27) & 1; 1341 return (RE.r_word1 >> 4) & 1; 1342 } 1343 1344 bool MachOObjectFile::getScatteredRelocationScattered( 1345 const MachO::any_relocation_info &RE) const { 1346 return RE.r_word0 >> 31; 1347 } 1348 1349 uint32_t MachOObjectFile::getScatteredRelocationValue( 1350 const MachO::any_relocation_info &RE) const { 1351 return RE.r_word1; 1352 } 1353 1354 unsigned MachOObjectFile::getAnyRelocationAddress( 1355 const MachO::any_relocation_info &RE) const { 1356 if (isRelocationScattered(RE)) 1357 return getScatteredRelocationAddress(RE); 1358 return getPlainRelocationAddress(RE); 1359 } 1360 1361 unsigned MachOObjectFile::getAnyRelocationPCRel( 1362 const MachO::any_relocation_info &RE) const { 1363 if (isRelocationScattered(RE)) 1364 return getScatteredRelocationPCRel(this, RE); 1365 return getPlainRelocationPCRel(this, RE); 1366 } 1367 1368 unsigned MachOObjectFile::getAnyRelocationLength( 1369 const MachO::any_relocation_info &RE) const { 1370 if (isRelocationScattered(RE)) 1371 return getScatteredRelocationLength(RE); 1372 return getPlainRelocationLength(this, RE); 1373 } 1374 1375 unsigned 1376 MachOObjectFile::getAnyRelocationType( 1377 const MachO::any_relocation_info &RE) const { 1378 if (isRelocationScattered(RE)) 1379 return getScatteredRelocationType(RE); 1380 return getPlainRelocationType(this, RE); 1381 } 1382 1383 SectionRef 1384 MachOObjectFile::getRelocationSection( 1385 const MachO::any_relocation_info &RE) const { 1386 if (isRelocationScattered(RE) || getPlainRelocationExternal(RE)) 1387 return *section_end(); 1388 unsigned SecNum = getPlainRelocationSymbolNum(RE) - 1; 1389 DataRefImpl DRI; 1390 DRI.d.a = SecNum; 1391 return SectionRef(DRI, this); 1392 } 1393 1394 MachOObjectFile::LoadCommandInfo 1395 MachOObjectFile::getFirstLoadCommandInfo() const { 1396 MachOObjectFile::LoadCommandInfo Load; 1397 1398 unsigned HeaderSize = is64Bit() ? sizeof(MachO::mach_header_64) : 1399 sizeof(MachO::mach_header); 1400 Load.Ptr = getPtr(this, HeaderSize); 1401 Load.C = getStruct<MachO::load_command>(this, Load.Ptr); 1402 return Load; 1403 } 1404 1405 MachOObjectFile::LoadCommandInfo 1406 MachOObjectFile::getNextLoadCommandInfo(const LoadCommandInfo &L) const { 1407 MachOObjectFile::LoadCommandInfo Next; 1408 Next.Ptr = L.Ptr + L.C.cmdsize; 1409 Next.C = getStruct<MachO::load_command>(this, Next.Ptr); 1410 return Next; 1411 } 1412 1413 MachO::section MachOObjectFile::getSection(DataRefImpl DRI) const { 1414 return getStruct<MachO::section>(this, Sections[DRI.d.a]); 1415 } 1416 1417 MachO::section_64 MachOObjectFile::getSection64(DataRefImpl DRI) const { 1418 return getStruct<MachO::section_64>(this, Sections[DRI.d.a]); 1419 } 1420 1421 MachO::section MachOObjectFile::getSection(const LoadCommandInfo &L, 1422 unsigned Index) const { 1423 const char *Sec = getSectionPtr(this, L, Index); 1424 return getStruct<MachO::section>(this, Sec); 1425 } 1426 1427 MachO::section_64 MachOObjectFile::getSection64(const LoadCommandInfo &L, 1428 unsigned Index) const { 1429 const char *Sec = getSectionPtr(this, L, Index); 1430 return getStruct<MachO::section_64>(this, Sec); 1431 } 1432 1433 MachO::nlist 1434 MachOObjectFile::getSymbolTableEntry(DataRefImpl DRI) const { 1435 const char *P = reinterpret_cast<const char *>(DRI.p); 1436 return getStruct<MachO::nlist>(this, P); 1437 } 1438 1439 MachO::nlist_64 1440 MachOObjectFile::getSymbol64TableEntry(DataRefImpl DRI) const { 1441 const char *P = reinterpret_cast<const char *>(DRI.p); 1442 return getStruct<MachO::nlist_64>(this, P); 1443 } 1444 1445 MachO::linkedit_data_command 1446 MachOObjectFile::getLinkeditDataLoadCommand(const LoadCommandInfo &L) const { 1447 return getStruct<MachO::linkedit_data_command>(this, L.Ptr); 1448 } 1449 1450 MachO::segment_command 1451 MachOObjectFile::getSegmentLoadCommand(const LoadCommandInfo &L) const { 1452 return getStruct<MachO::segment_command>(this, L.Ptr); 1453 } 1454 1455 MachO::segment_command_64 1456 MachOObjectFile::getSegment64LoadCommand(const LoadCommandInfo &L) const { 1457 return getStruct<MachO::segment_command_64>(this, L.Ptr); 1458 } 1459 1460 MachO::linker_options_command 1461 MachOObjectFile::getLinkerOptionsLoadCommand(const LoadCommandInfo &L) const { 1462 return getStruct<MachO::linker_options_command>(this, L.Ptr); 1463 } 1464 1465 MachO::version_min_command 1466 MachOObjectFile::getVersionMinLoadCommand(const LoadCommandInfo &L) const { 1467 return getStruct<MachO::version_min_command>(this, L.Ptr); 1468 } 1469 1470 MachO::any_relocation_info 1471 MachOObjectFile::getRelocation(DataRefImpl Rel) const { 1472 DataRefImpl Sec; 1473 Sec.d.a = Rel.d.a; 1474 uint32_t Offset; 1475 if (is64Bit()) { 1476 MachO::section_64 Sect = getSection64(Sec); 1477 Offset = Sect.reloff; 1478 } else { 1479 MachO::section Sect = getSection(Sec); 1480 Offset = Sect.reloff; 1481 } 1482 1483 auto P = reinterpret_cast<const MachO::any_relocation_info *>( 1484 getPtr(this, Offset)) + Rel.d.b; 1485 return getStruct<MachO::any_relocation_info>( 1486 this, reinterpret_cast<const char *>(P)); 1487 } 1488 1489 MachO::data_in_code_entry 1490 MachOObjectFile::getDice(DataRefImpl Rel) const { 1491 const char *P = reinterpret_cast<const char *>(Rel.p); 1492 return getStruct<MachO::data_in_code_entry>(this, P); 1493 } 1494 1495 MachO::mach_header MachOObjectFile::getHeader() const { 1496 return getStruct<MachO::mach_header>(this, getPtr(this, 0)); 1497 } 1498 1499 MachO::mach_header_64 MachOObjectFile::getHeader64() const { 1500 return getStruct<MachO::mach_header_64>(this, getPtr(this, 0)); 1501 } 1502 1503 uint32_t MachOObjectFile::getIndirectSymbolTableEntry( 1504 const MachO::dysymtab_command &DLC, 1505 unsigned Index) const { 1506 uint64_t Offset = DLC.indirectsymoff + Index * sizeof(uint32_t); 1507 return getStruct<uint32_t>(this, getPtr(this, Offset)); 1508 } 1509 1510 MachO::data_in_code_entry 1511 MachOObjectFile::getDataInCodeTableEntry(uint32_t DataOffset, 1512 unsigned Index) const { 1513 uint64_t Offset = DataOffset + Index * sizeof(MachO::data_in_code_entry); 1514 return getStruct<MachO::data_in_code_entry>(this, getPtr(this, Offset)); 1515 } 1516 1517 MachO::symtab_command MachOObjectFile::getSymtabLoadCommand() const { 1518 return getStruct<MachO::symtab_command>(this, SymtabLoadCmd); 1519 } 1520 1521 MachO::dysymtab_command MachOObjectFile::getDysymtabLoadCommand() const { 1522 return getStruct<MachO::dysymtab_command>(this, DysymtabLoadCmd); 1523 } 1524 1525 MachO::linkedit_data_command 1526 MachOObjectFile::getDataInCodeLoadCommand() const { 1527 if (DataInCodeLoadCmd) 1528 return getStruct<MachO::linkedit_data_command>(this, DataInCodeLoadCmd); 1529 1530 // If there is no DataInCodeLoadCmd return a load command with zero'ed fields. 1531 MachO::linkedit_data_command Cmd; 1532 Cmd.cmd = MachO::LC_DATA_IN_CODE; 1533 Cmd.cmdsize = sizeof(MachO::linkedit_data_command); 1534 Cmd.dataoff = 0; 1535 Cmd.datasize = 0; 1536 return Cmd; 1537 } 1538 1539 StringRef MachOObjectFile::getStringTableData() const { 1540 MachO::symtab_command S = getSymtabLoadCommand(); 1541 return getData().substr(S.stroff, S.strsize); 1542 } 1543 1544 bool MachOObjectFile::is64Bit() const { 1545 return getType() == getMachOType(false, true) || 1546 getType() == getMachOType(true, true); 1547 } 1548 1549 void MachOObjectFile::ReadULEB128s(uint64_t Index, 1550 SmallVectorImpl<uint64_t> &Out) const { 1551 DataExtractor extractor(ObjectFile::getData(), true, 0); 1552 1553 uint32_t offset = Index; 1554 uint64_t data = 0; 1555 while (uint64_t delta = extractor.getULEB128(&offset)) { 1556 data += delta; 1557 Out.push_back(data); 1558 } 1559 } 1560 1561 ErrorOr<ObjectFile *> ObjectFile::createMachOObjectFile(MemoryBuffer *Buffer, 1562 bool BufferOwned) { 1563 StringRef Magic = Buffer->getBuffer().slice(0, 4); 1564 error_code EC; 1565 std::unique_ptr<MachOObjectFile> Ret; 1566 if (Magic == "\xFE\xED\xFA\xCE") 1567 Ret.reset(new MachOObjectFile(Buffer, false, false, EC, BufferOwned)); 1568 else if (Magic == "\xCE\xFA\xED\xFE") 1569 Ret.reset(new MachOObjectFile(Buffer, true, false, EC, BufferOwned)); 1570 else if (Magic == "\xFE\xED\xFA\xCF") 1571 Ret.reset(new MachOObjectFile(Buffer, false, true, EC, BufferOwned)); 1572 else if (Magic == "\xCF\xFA\xED\xFE") 1573 Ret.reset(new MachOObjectFile(Buffer, true, true, EC, BufferOwned)); 1574 else { 1575 delete Buffer; 1576 return object_error::parse_failed; 1577 } 1578 1579 if (EC) 1580 return EC; 1581 return Ret.release(); 1582 } 1583 1584 } // end namespace object 1585 } // end namespace llvm 1586