xref: /llvm-project/llvm/lib/ExecutionEngine/Orc/ObjectFileInterface.cpp (revision 2ccf7ed277df28651b94bbee9fccefdf22fb074f)
14299d8d0SLang Hames //===------ ObjectFileInterface.cpp - MU interface utils for objects ------===//
24299d8d0SLang Hames //
34299d8d0SLang Hames // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
44299d8d0SLang Hames // See https://llvm.org/LICENSE.txt for license information.
54299d8d0SLang Hames // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
64299d8d0SLang Hames //
74299d8d0SLang Hames //===----------------------------------------------------------------------===//
84299d8d0SLang Hames 
94299d8d0SLang Hames #include "llvm/ExecutionEngine/Orc/ObjectFileInterface.h"
103d4e9d5eSLang Hames #include "llvm/ExecutionEngine/Orc/Shared/ObjectFormats.h"
11db995d72SSunho Kim #include "llvm/Object/COFF.h"
124299d8d0SLang Hames #include "llvm/Object/ELFObjectFile.h"
134299d8d0SLang Hames #include "llvm/Object/MachO.h"
144299d8d0SLang Hames #include "llvm/Object/ObjectFile.h"
1554ea422dSKazu Hirata #include <optional>
164299d8d0SLang Hames 
174299d8d0SLang Hames #define DEBUG_TYPE "orc"
184299d8d0SLang Hames 
194299d8d0SLang Hames namespace llvm {
204299d8d0SLang Hames namespace orc {
214299d8d0SLang Hames 
224299d8d0SLang Hames void addInitSymbol(MaterializationUnit::Interface &I, ExecutionSession &ES,
234299d8d0SLang Hames                    StringRef ObjFileName) {
244299d8d0SLang Hames   assert(!I.InitSymbol && "I already has an init symbol");
254299d8d0SLang Hames   size_t Counter = 0;
264299d8d0SLang Hames 
274299d8d0SLang Hames   do {
284299d8d0SLang Hames     std::string InitSymString;
294299d8d0SLang Hames     raw_string_ostream(InitSymString)
304299d8d0SLang Hames         << "$." << ObjFileName << ".__inits." << Counter++;
314299d8d0SLang Hames     I.InitSymbol = ES.intern(InitSymString);
324299d8d0SLang Hames   } while (I.SymbolFlags.count(I.InitSymbol));
334299d8d0SLang Hames 
344299d8d0SLang Hames   I.SymbolFlags[I.InitSymbol] = JITSymbolFlags::MaterializationSideEffectsOnly;
354299d8d0SLang Hames }
364299d8d0SLang Hames 
374299d8d0SLang Hames static Expected<MaterializationUnit::Interface>
384299d8d0SLang Hames getMachOObjectFileSymbolInfo(ExecutionSession &ES,
394299d8d0SLang Hames                              const object::MachOObjectFile &Obj) {
404299d8d0SLang Hames   MaterializationUnit::Interface I;
414299d8d0SLang Hames 
424299d8d0SLang Hames   for (auto &Sym : Obj.symbols()) {
434299d8d0SLang Hames     Expected<uint32_t> SymFlagsOrErr = Sym.getFlags();
444299d8d0SLang Hames     if (!SymFlagsOrErr)
454299d8d0SLang Hames       // TODO: Test this error.
464299d8d0SLang Hames       return SymFlagsOrErr.takeError();
474299d8d0SLang Hames 
484299d8d0SLang Hames     // Skip symbols not defined in this object file.
494299d8d0SLang Hames     if (*SymFlagsOrErr & object::BasicSymbolRef::SF_Undefined)
504299d8d0SLang Hames       continue;
514299d8d0SLang Hames 
524299d8d0SLang Hames     // Skip symbols that are not global.
534299d8d0SLang Hames     if (!(*SymFlagsOrErr & object::BasicSymbolRef::SF_Global))
544299d8d0SLang Hames       continue;
554299d8d0SLang Hames 
564299d8d0SLang Hames     // Skip symbols that have type SF_File.
574299d8d0SLang Hames     if (auto SymType = Sym.getType()) {
584299d8d0SLang Hames       if (*SymType == object::SymbolRef::ST_File)
594299d8d0SLang Hames         continue;
604299d8d0SLang Hames     } else
614299d8d0SLang Hames       return SymType.takeError();
624299d8d0SLang Hames 
634299d8d0SLang Hames     auto Name = Sym.getName();
644299d8d0SLang Hames     if (!Name)
654299d8d0SLang Hames       return Name.takeError();
664299d8d0SLang Hames     auto SymFlags = JITSymbolFlags::fromObjectSymbol(Sym);
674299d8d0SLang Hames     if (!SymFlags)
684299d8d0SLang Hames       return SymFlags.takeError();
694299d8d0SLang Hames 
704299d8d0SLang Hames     // Strip the 'exported' flag from MachO linker-private symbols.
71586ecdf2SKazu Hirata     if (Name->starts_with("l"))
724299d8d0SLang Hames       *SymFlags &= ~JITSymbolFlags::Exported;
734299d8d0SLang Hames 
742ca81cd9SLang Hames     I.SymbolFlags[ES.intern(*Name)] = std::move(*SymFlags);
754299d8d0SLang Hames   }
764299d8d0SLang Hames 
774299d8d0SLang Hames   for (auto &Sec : Obj.sections()) {
784299d8d0SLang Hames     auto SecType = Obj.getSectionType(Sec);
794299d8d0SLang Hames     if ((SecType & MachO::SECTION_TYPE) == MachO::S_MOD_INIT_FUNC_POINTERS) {
804299d8d0SLang Hames       addInitSymbol(I, ES, Obj.getFileName());
814299d8d0SLang Hames       break;
824299d8d0SLang Hames     }
834299d8d0SLang Hames     auto SegName = Obj.getSectionFinalSegmentName(Sec.getRawDataRefImpl());
844299d8d0SLang Hames     auto SecName = cantFail(Obj.getSectionName(Sec.getRawDataRefImpl()));
853d4e9d5eSLang Hames     if (isMachOInitializerSection(SegName, SecName)) {
864299d8d0SLang Hames       addInitSymbol(I, ES, Obj.getFileName());
874299d8d0SLang Hames       break;
884299d8d0SLang Hames     }
894299d8d0SLang Hames   }
904299d8d0SLang Hames 
914299d8d0SLang Hames   return I;
924299d8d0SLang Hames }
934299d8d0SLang Hames 
944299d8d0SLang Hames static Expected<MaterializationUnit::Interface>
954299d8d0SLang Hames getELFObjectFileSymbolInfo(ExecutionSession &ES,
964299d8d0SLang Hames                            const object::ELFObjectFileBase &Obj) {
974299d8d0SLang Hames   MaterializationUnit::Interface I;
984299d8d0SLang Hames 
994299d8d0SLang Hames   for (auto &Sym : Obj.symbols()) {
1004299d8d0SLang Hames     Expected<uint32_t> SymFlagsOrErr = Sym.getFlags();
1014299d8d0SLang Hames     if (!SymFlagsOrErr)
1024299d8d0SLang Hames       // TODO: Test this error.
1034299d8d0SLang Hames       return SymFlagsOrErr.takeError();
1044299d8d0SLang Hames 
1054299d8d0SLang Hames     // Skip symbols not defined in this object file.
1064299d8d0SLang Hames     if (*SymFlagsOrErr & object::BasicSymbolRef::SF_Undefined)
1074299d8d0SLang Hames       continue;
1084299d8d0SLang Hames 
1094299d8d0SLang Hames     // Skip symbols that are not global.
1104299d8d0SLang Hames     if (!(*SymFlagsOrErr & object::BasicSymbolRef::SF_Global))
1114299d8d0SLang Hames       continue;
1124299d8d0SLang Hames 
1134299d8d0SLang Hames     // Skip symbols that have type SF_File.
1144299d8d0SLang Hames     if (auto SymType = Sym.getType()) {
1154299d8d0SLang Hames       if (*SymType == object::SymbolRef::ST_File)
1164299d8d0SLang Hames         continue;
1174299d8d0SLang Hames     } else
1184299d8d0SLang Hames       return SymType.takeError();
1194299d8d0SLang Hames 
1204299d8d0SLang Hames     auto Name = Sym.getName();
1214299d8d0SLang Hames     if (!Name)
1224299d8d0SLang Hames       return Name.takeError();
1232ca81cd9SLang Hames 
1244299d8d0SLang Hames     auto SymFlags = JITSymbolFlags::fromObjectSymbol(Sym);
1254299d8d0SLang Hames     if (!SymFlags)
1264299d8d0SLang Hames       return SymFlags.takeError();
1274299d8d0SLang Hames 
1284299d8d0SLang Hames     // ELF STB_GNU_UNIQUE should map to Weak for ORC.
1294299d8d0SLang Hames     if (Sym.getBinding() == ELF::STB_GNU_UNIQUE)
1304299d8d0SLang Hames       *SymFlags |= JITSymbolFlags::Weak;
1314299d8d0SLang Hames 
132*2ccf7ed2SJared Wyles     I.SymbolFlags[ES.intern(std::move(*Name))] = std::move(*SymFlags);
1334299d8d0SLang Hames   }
1344299d8d0SLang Hames 
1354299d8d0SLang Hames   SymbolStringPtr InitSymbol;
1364299d8d0SLang Hames   for (auto &Sec : Obj.sections()) {
1374299d8d0SLang Hames     if (auto SecName = Sec.getName()) {
1383d4e9d5eSLang Hames       if (isELFInitializerSection(*SecName)) {
1394299d8d0SLang Hames         addInitSymbol(I, ES, Obj.getFileName());
1404299d8d0SLang Hames         break;
1414299d8d0SLang Hames       }
1424299d8d0SLang Hames     }
1434299d8d0SLang Hames   }
1444299d8d0SLang Hames 
1454299d8d0SLang Hames   return I;
1464299d8d0SLang Hames }
1474299d8d0SLang Hames 
148db995d72SSunho Kim static Expected<MaterializationUnit::Interface>
149db995d72SSunho Kim getCOFFObjectFileSymbolInfo(ExecutionSession &ES,
150db995d72SSunho Kim                             const object::COFFObjectFile &Obj) {
151db995d72SSunho Kim   MaterializationUnit::Interface I;
15254ea422dSKazu Hirata   std::vector<std::optional<object::coff_aux_section_definition>> ComdatDefs(
153c7ea2090SSunho Kim       Obj.getNumberOfSections() + 1);
154db995d72SSunho Kim   for (auto &Sym : Obj.symbols()) {
155db995d72SSunho Kim     Expected<uint32_t> SymFlagsOrErr = Sym.getFlags();
156db995d72SSunho Kim     if (!SymFlagsOrErr)
157db995d72SSunho Kim       // TODO: Test this error.
158db995d72SSunho Kim       return SymFlagsOrErr.takeError();
159db995d72SSunho Kim 
160c7ea2090SSunho Kim     // Handle comdat symbols
161c7ea2090SSunho Kim     auto COFFSym = Obj.getCOFFSymbol(Sym);
162c7ea2090SSunho Kim     bool IsWeak = false;
163c7ea2090SSunho Kim     if (auto *Def = COFFSym.getSectionDefinition()) {
164c7ea2090SSunho Kim       auto Sec = Obj.getSection(COFFSym.getSectionNumber());
165c7ea2090SSunho Kim       if (!Sec)
166c7ea2090SSunho Kim         return Sec.takeError();
167c7ea2090SSunho Kim       if (((*Sec)->Characteristics & COFF::IMAGE_SCN_LNK_COMDAT) &&
168c7ea2090SSunho Kim           Def->Selection != COFF::IMAGE_COMDAT_SELECT_ASSOCIATIVE) {
169c7ea2090SSunho Kim         ComdatDefs[COFFSym.getSectionNumber()] = *Def;
170c7ea2090SSunho Kim         continue;
171c7ea2090SSunho Kim       }
172c7ea2090SSunho Kim     }
173c7ea2090SSunho Kim     if (!COFF::isReservedSectionNumber(COFFSym.getSectionNumber()) &&
174c7ea2090SSunho Kim         ComdatDefs[COFFSym.getSectionNumber()]) {
175c7ea2090SSunho Kim       auto Def = ComdatDefs[COFFSym.getSectionNumber()];
176c7ea2090SSunho Kim       if (Def->Selection != COFF::IMAGE_COMDAT_SELECT_NODUPLICATES) {
177c7ea2090SSunho Kim         IsWeak = true;
178c7ea2090SSunho Kim       }
179aadaafacSKazu Hirata       ComdatDefs[COFFSym.getSectionNumber()] = std::nullopt;
180c7ea2090SSunho Kim     } else {
181db995d72SSunho Kim       // Skip symbols not defined in this object file.
182db995d72SSunho Kim       if (*SymFlagsOrErr & object::BasicSymbolRef::SF_Undefined)
183db995d72SSunho Kim         continue;
184c7ea2090SSunho Kim     }
185db995d72SSunho Kim 
186db995d72SSunho Kim     // Skip symbols that are not global.
187db995d72SSunho Kim     if (!(*SymFlagsOrErr & object::BasicSymbolRef::SF_Global))
188db995d72SSunho Kim       continue;
189db995d72SSunho Kim 
190db995d72SSunho Kim     // Skip symbols that have type SF_File.
191db995d72SSunho Kim     if (auto SymType = Sym.getType()) {
192db995d72SSunho Kim       if (*SymType == object::SymbolRef::ST_File)
193db995d72SSunho Kim         continue;
194db995d72SSunho Kim     } else
195db995d72SSunho Kim       return SymType.takeError();
196db995d72SSunho Kim 
197db995d72SSunho Kim     auto Name = Sym.getName();
198db995d72SSunho Kim     if (!Name)
199db995d72SSunho Kim       return Name.takeError();
200db995d72SSunho Kim 
201db995d72SSunho Kim     auto SymFlags = JITSymbolFlags::fromObjectSymbol(Sym);
202db995d72SSunho Kim     if (!SymFlags)
203db995d72SSunho Kim       return SymFlags.takeError();
204db995d72SSunho Kim     *SymFlags |= JITSymbolFlags::Exported;
205db995d72SSunho Kim 
206db995d72SSunho Kim     // Weak external is always a function
207c7ea2090SSunho Kim     if (COFFSym.isWeakExternal())
208db995d72SSunho Kim       *SymFlags |= JITSymbolFlags::Callable;
209c7ea2090SSunho Kim 
210c7ea2090SSunho Kim     if (IsWeak)
211c7ea2090SSunho Kim       *SymFlags |= JITSymbolFlags::Weak;
212db995d72SSunho Kim 
213db995d72SSunho Kim     I.SymbolFlags[ES.intern(*Name)] = std::move(*SymFlags);
214db995d72SSunho Kim   }
215db995d72SSunho Kim 
2169189a266SSunho Kim   SymbolStringPtr InitSymbol;
2179189a266SSunho Kim   for (auto &Sec : Obj.sections()) {
2189189a266SSunho Kim     if (auto SecName = Sec.getName()) {
2193d4e9d5eSLang Hames       if (isCOFFInitializerSection(*SecName)) {
2209189a266SSunho Kim         addInitSymbol(I, ES, Obj.getFileName());
2219189a266SSunho Kim         break;
2229189a266SSunho Kim       }
2239189a266SSunho Kim     } else
2249189a266SSunho Kim       return SecName.takeError();
2259189a266SSunho Kim   }
226db995d72SSunho Kim 
227db995d72SSunho Kim   return I;
228db995d72SSunho Kim }
229db995d72SSunho Kim 
2304299d8d0SLang Hames Expected<MaterializationUnit::Interface>
2314299d8d0SLang Hames getGenericObjectFileSymbolInfo(ExecutionSession &ES,
2324299d8d0SLang Hames                                const object::ObjectFile &Obj) {
2334299d8d0SLang Hames   MaterializationUnit::Interface I;
2344299d8d0SLang Hames 
2354299d8d0SLang Hames   for (auto &Sym : Obj.symbols()) {
2364299d8d0SLang Hames     Expected<uint32_t> SymFlagsOrErr = Sym.getFlags();
2374299d8d0SLang Hames     if (!SymFlagsOrErr)
2384299d8d0SLang Hames       // TODO: Test this error.
2394299d8d0SLang Hames       return SymFlagsOrErr.takeError();
2404299d8d0SLang Hames 
2414299d8d0SLang Hames     // Skip symbols not defined in this object file.
2424299d8d0SLang Hames     if (*SymFlagsOrErr & object::BasicSymbolRef::SF_Undefined)
2434299d8d0SLang Hames       continue;
2444299d8d0SLang Hames 
2454299d8d0SLang Hames     // Skip symbols that are not global.
2464299d8d0SLang Hames     if (!(*SymFlagsOrErr & object::BasicSymbolRef::SF_Global))
2474299d8d0SLang Hames       continue;
2484299d8d0SLang Hames 
2494299d8d0SLang Hames     // Skip symbols that have type SF_File.
2504299d8d0SLang Hames     if (auto SymType = Sym.getType()) {
2514299d8d0SLang Hames       if (*SymType == object::SymbolRef::ST_File)
2524299d8d0SLang Hames         continue;
2534299d8d0SLang Hames     } else
2544299d8d0SLang Hames       return SymType.takeError();
2554299d8d0SLang Hames 
2564299d8d0SLang Hames     auto Name = Sym.getName();
2574299d8d0SLang Hames     if (!Name)
2584299d8d0SLang Hames       return Name.takeError();
2592ca81cd9SLang Hames 
2604299d8d0SLang Hames     auto SymFlags = JITSymbolFlags::fromObjectSymbol(Sym);
2614299d8d0SLang Hames     if (!SymFlags)
2624299d8d0SLang Hames       return SymFlags.takeError();
2634299d8d0SLang Hames 
2642ca81cd9SLang Hames     I.SymbolFlags[ES.intern(*Name)] = std::move(*SymFlags);
2654299d8d0SLang Hames   }
2664299d8d0SLang Hames 
2674299d8d0SLang Hames   return I;
2684299d8d0SLang Hames }
2694299d8d0SLang Hames 
2704299d8d0SLang Hames Expected<MaterializationUnit::Interface>
2714299d8d0SLang Hames getObjectFileInterface(ExecutionSession &ES, MemoryBufferRef ObjBuffer) {
2724299d8d0SLang Hames   auto Obj = object::ObjectFile::createObjectFile(ObjBuffer);
2734299d8d0SLang Hames 
2744299d8d0SLang Hames   if (!Obj)
2754299d8d0SLang Hames     return Obj.takeError();
2764299d8d0SLang Hames 
2774299d8d0SLang Hames   if (auto *MachOObj = dyn_cast<object::MachOObjectFile>(Obj->get()))
2784299d8d0SLang Hames     return getMachOObjectFileSymbolInfo(ES, *MachOObj);
2794299d8d0SLang Hames   else if (auto *ELFObj = dyn_cast<object::ELFObjectFileBase>(Obj->get()))
2804299d8d0SLang Hames     return getELFObjectFileSymbolInfo(ES, *ELFObj);
281db995d72SSunho Kim   else if (auto *COFFObj = dyn_cast<object::COFFObjectFile>(Obj->get()))
282db995d72SSunho Kim     return getCOFFObjectFileSymbolInfo(ES, *COFFObj);
2834299d8d0SLang Hames 
2844299d8d0SLang Hames   return getGenericObjectFileSymbolInfo(ES, **Obj);
2854299d8d0SLang Hames }
2864299d8d0SLang Hames 
2874299d8d0SLang Hames } // End namespace orc.
2884299d8d0SLang Hames } // End namespace llvm.
289