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