xref: /netbsd-src/external/apache2/llvm/dist/llvm/tools/llvm-jitlink/llvm-jitlink-macho.cpp (revision 82d56013d7b633d116a93943de88e08335357a7c)
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