17330f729Sjoerg //===-- llvm-jitlink-macho.cpp -- MachO parsing support for llvm-jitlink --===//
27330f729Sjoerg //
37330f729Sjoerg // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
47330f729Sjoerg // See https://llvm.org/LICENSE.txt for license information.
57330f729Sjoerg // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
67330f729Sjoerg //
77330f729Sjoerg //===----------------------------------------------------------------------===//
87330f729Sjoerg //
97330f729Sjoerg // MachO parsing support for llvm-jitlink.
107330f729Sjoerg //
117330f729Sjoerg //===----------------------------------------------------------------------===//
127330f729Sjoerg
137330f729Sjoerg #include "llvm-jitlink.h"
147330f729Sjoerg
157330f729Sjoerg #include "llvm/Support/Error.h"
167330f729Sjoerg #include "llvm/Support/Path.h"
177330f729Sjoerg
18*82d56013Sjoerg #define DEBUG_TYPE "llvm_jitlink"
197330f729Sjoerg
207330f729Sjoerg using namespace llvm;
217330f729Sjoerg using namespace llvm::jitlink;
227330f729Sjoerg
isMachOGOTSection(Section & S)237330f729Sjoerg static bool isMachOGOTSection(Section &S) { return S.getName() == "$__GOT"; }
247330f729Sjoerg
isMachOStubsSection(Section & S)257330f729Sjoerg static bool isMachOStubsSection(Section &S) {
267330f729Sjoerg return S.getName() == "$__STUBS";
277330f729Sjoerg }
287330f729Sjoerg
getFirstRelocationEdge(LinkGraph & G,Block & B)297330f729Sjoerg static Expected<Edge &> getFirstRelocationEdge(LinkGraph &G, Block &B) {
307330f729Sjoerg auto EItr = std::find_if(B.edges().begin(), B.edges().end(),
317330f729Sjoerg [](Edge &E) { return E.isRelocation(); });
327330f729Sjoerg if (EItr == B.edges().end())
337330f729Sjoerg return make_error<StringError>("GOT entry in " + G.getName() + ", \"" +
347330f729Sjoerg B.getSection().getName() +
357330f729Sjoerg "\" has no relocations",
367330f729Sjoerg inconvertibleErrorCode());
377330f729Sjoerg return *EItr;
387330f729Sjoerg }
397330f729Sjoerg
getMachOGOTTarget(LinkGraph & G,Block & B)407330f729Sjoerg static Expected<Symbol &> getMachOGOTTarget(LinkGraph &G, Block &B) {
417330f729Sjoerg auto E = getFirstRelocationEdge(G, B);
427330f729Sjoerg if (!E)
437330f729Sjoerg return E.takeError();
447330f729Sjoerg auto &TargetSym = E->getTarget();
457330f729Sjoerg if (!TargetSym.hasName())
467330f729Sjoerg return make_error<StringError>(
477330f729Sjoerg "GOT entry in " + G.getName() + ", \"" +
487330f729Sjoerg TargetSym.getBlock().getSection().getName() +
497330f729Sjoerg "\" points to anonymous "
507330f729Sjoerg "symbol",
517330f729Sjoerg inconvertibleErrorCode());
527330f729Sjoerg return TargetSym;
537330f729Sjoerg }
547330f729Sjoerg
getMachOStubTarget(LinkGraph & G,Block & B)557330f729Sjoerg static Expected<Symbol &> getMachOStubTarget(LinkGraph &G, Block &B) {
567330f729Sjoerg auto E = getFirstRelocationEdge(G, B);
577330f729Sjoerg if (!E)
587330f729Sjoerg return E.takeError();
597330f729Sjoerg auto &GOTSym = E->getTarget();
607330f729Sjoerg if (!GOTSym.isDefined() || !isMachOGOTSection(GOTSym.getBlock().getSection()))
617330f729Sjoerg return make_error<StringError>(
627330f729Sjoerg "Stubs entry in " + G.getName() + ", \"" +
637330f729Sjoerg GOTSym.getBlock().getSection().getName() +
647330f729Sjoerg "\" does not point to GOT entry",
657330f729Sjoerg inconvertibleErrorCode());
667330f729Sjoerg return getMachOGOTTarget(G, GOTSym.getBlock());
677330f729Sjoerg }
687330f729Sjoerg
697330f729Sjoerg namespace llvm {
707330f729Sjoerg
registerMachOGraphInfo(Session & S,LinkGraph & G)71*82d56013Sjoerg Error registerMachOGraphInfo(Session &S, LinkGraph &G) {
727330f729Sjoerg auto FileName = sys::path::filename(G.getName());
737330f729Sjoerg if (S.FileInfos.count(FileName)) {
747330f729Sjoerg return make_error<StringError>("When -check is passed, file names must be "
757330f729Sjoerg "distinct (duplicate: \"" +
767330f729Sjoerg FileName + "\")",
777330f729Sjoerg inconvertibleErrorCode());
787330f729Sjoerg }
797330f729Sjoerg
807330f729Sjoerg auto &FileInfo = S.FileInfos[FileName];
817330f729Sjoerg LLVM_DEBUG({
827330f729Sjoerg dbgs() << "Registering MachO file info for \"" << FileName << "\"\n";
837330f729Sjoerg });
847330f729Sjoerg for (auto &Sec : G.sections()) {
857330f729Sjoerg LLVM_DEBUG({
867330f729Sjoerg dbgs() << " Section \"" << Sec.getName() << "\": "
87*82d56013Sjoerg << (llvm::empty(Sec.symbols()) ? "empty. skipping."
88*82d56013Sjoerg : "processing...")
897330f729Sjoerg << "\n";
907330f729Sjoerg });
917330f729Sjoerg
927330f729Sjoerg // Skip empty sections.
93*82d56013Sjoerg if (llvm::empty(Sec.symbols()))
947330f729Sjoerg continue;
957330f729Sjoerg
967330f729Sjoerg if (FileInfo.SectionInfos.count(Sec.getName()))
977330f729Sjoerg return make_error<StringError>("Encountered duplicate section name \"" +
987330f729Sjoerg Sec.getName() + "\" in \"" + FileName +
997330f729Sjoerg "\"",
1007330f729Sjoerg inconvertibleErrorCode());
1017330f729Sjoerg
1027330f729Sjoerg bool isGOTSection = isMachOGOTSection(Sec);
1037330f729Sjoerg bool isStubsSection = isMachOStubsSection(Sec);
1047330f729Sjoerg
1057330f729Sjoerg bool SectionContainsContent = false;
1067330f729Sjoerg bool SectionContainsZeroFill = false;
1077330f729Sjoerg
1087330f729Sjoerg auto *FirstSym = *Sec.symbols().begin();
1097330f729Sjoerg auto *LastSym = FirstSym;
1107330f729Sjoerg for (auto *Sym : Sec.symbols()) {
1117330f729Sjoerg if (Sym->getAddress() < FirstSym->getAddress())
1127330f729Sjoerg FirstSym = Sym;
1137330f729Sjoerg if (Sym->getAddress() > LastSym->getAddress())
1147330f729Sjoerg LastSym = Sym;
1157330f729Sjoerg if (isGOTSection) {
1167330f729Sjoerg if (Sym->isSymbolZeroFill())
1177330f729Sjoerg return make_error<StringError>("zero-fill atom in GOT section",
1187330f729Sjoerg inconvertibleErrorCode());
1197330f729Sjoerg
1207330f729Sjoerg if (auto TS = getMachOGOTTarget(G, Sym->getBlock()))
1217330f729Sjoerg FileInfo.GOTEntryInfos[TS->getName()] = {Sym->getSymbolContent(),
1227330f729Sjoerg Sym->getAddress()};
1237330f729Sjoerg else
1247330f729Sjoerg return TS.takeError();
1257330f729Sjoerg SectionContainsContent = true;
1267330f729Sjoerg } else if (isStubsSection) {
1277330f729Sjoerg if (Sym->isSymbolZeroFill())
1287330f729Sjoerg return make_error<StringError>("zero-fill atom in Stub section",
1297330f729Sjoerg inconvertibleErrorCode());
1307330f729Sjoerg
1317330f729Sjoerg if (auto TS = getMachOStubTarget(G, Sym->getBlock()))
1327330f729Sjoerg FileInfo.StubInfos[TS->getName()] = {Sym->getSymbolContent(),
1337330f729Sjoerg Sym->getAddress()};
1347330f729Sjoerg else
1357330f729Sjoerg return TS.takeError();
1367330f729Sjoerg SectionContainsContent = true;
1377330f729Sjoerg } else if (Sym->hasName()) {
1387330f729Sjoerg if (Sym->isSymbolZeroFill()) {
1397330f729Sjoerg S.SymbolInfos[Sym->getName()] = {Sym->getSize(), Sym->getAddress()};
1407330f729Sjoerg SectionContainsZeroFill = true;
1417330f729Sjoerg } else {
1427330f729Sjoerg S.SymbolInfos[Sym->getName()] = {Sym->getSymbolContent(),
1437330f729Sjoerg Sym->getAddress()};
1447330f729Sjoerg SectionContainsContent = true;
1457330f729Sjoerg }
1467330f729Sjoerg }
1477330f729Sjoerg }
1487330f729Sjoerg
1497330f729Sjoerg JITTargetAddress SecAddr = FirstSym->getAddress();
1507330f729Sjoerg uint64_t SecSize =
1517330f729Sjoerg (LastSym->getBlock().getAddress() + LastSym->getBlock().getSize()) -
1527330f729Sjoerg SecAddr;
1537330f729Sjoerg
1547330f729Sjoerg if (SectionContainsZeroFill && SectionContainsContent)
1557330f729Sjoerg return make_error<StringError>("Mixed zero-fill and content sections not "
1567330f729Sjoerg "supported yet",
1577330f729Sjoerg inconvertibleErrorCode());
1587330f729Sjoerg if (SectionContainsZeroFill)
1597330f729Sjoerg FileInfo.SectionInfos[Sec.getName()] = {SecSize, SecAddr};
1607330f729Sjoerg else
1617330f729Sjoerg FileInfo.SectionInfos[Sec.getName()] = {
162*82d56013Sjoerg ArrayRef<char>(FirstSym->getBlock().getContent().data(), SecSize),
1637330f729Sjoerg SecAddr};
1647330f729Sjoerg }
1657330f729Sjoerg
1667330f729Sjoerg return Error::success();
1677330f729Sjoerg }
1687330f729Sjoerg
1697330f729Sjoerg } // end namespace llvm
170