1*4299d8d0SLang Hames //===------ ObjectFileInterface.cpp - MU interface utils for objects ------===//
2*4299d8d0SLang Hames //
3*4299d8d0SLang Hames // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*4299d8d0SLang Hames // See https://llvm.org/LICENSE.txt for license information.
5*4299d8d0SLang Hames // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*4299d8d0SLang Hames //
7*4299d8d0SLang Hames //===----------------------------------------------------------------------===//
8*4299d8d0SLang Hames 
9*4299d8d0SLang Hames #include "llvm/ExecutionEngine/Orc/ObjectFileInterface.h"
10*4299d8d0SLang Hames #include "llvm/ExecutionEngine/Orc/ELFNixPlatform.h"
11*4299d8d0SLang Hames #include "llvm/ExecutionEngine/Orc/MachOPlatform.h"
12*4299d8d0SLang Hames #include "llvm/Object/ELFObjectFile.h"
13*4299d8d0SLang Hames #include "llvm/Object/MachO.h"
14*4299d8d0SLang Hames #include "llvm/Object/ObjectFile.h"
15*4299d8d0SLang Hames #include "llvm/Support/Debug.h"
16*4299d8d0SLang Hames 
17*4299d8d0SLang Hames #define DEBUG_TYPE "orc"
18*4299d8d0SLang Hames 
19*4299d8d0SLang Hames namespace llvm {
20*4299d8d0SLang Hames namespace orc {
21*4299d8d0SLang Hames 
22*4299d8d0SLang Hames void addInitSymbol(MaterializationUnit::Interface &I, ExecutionSession &ES,
23*4299d8d0SLang Hames                    StringRef ObjFileName) {
24*4299d8d0SLang Hames   assert(!I.InitSymbol && "I already has an init symbol");
25*4299d8d0SLang Hames   size_t Counter = 0;
26*4299d8d0SLang Hames 
27*4299d8d0SLang Hames   do {
28*4299d8d0SLang Hames     std::string InitSymString;
29*4299d8d0SLang Hames     raw_string_ostream(InitSymString)
30*4299d8d0SLang Hames         << "$." << ObjFileName << ".__inits." << Counter++;
31*4299d8d0SLang Hames     I.InitSymbol = ES.intern(InitSymString);
32*4299d8d0SLang Hames   } while (I.SymbolFlags.count(I.InitSymbol));
33*4299d8d0SLang Hames 
34*4299d8d0SLang Hames   I.SymbolFlags[I.InitSymbol] = JITSymbolFlags::MaterializationSideEffectsOnly;
35*4299d8d0SLang Hames }
36*4299d8d0SLang Hames 
37*4299d8d0SLang Hames static Expected<MaterializationUnit::Interface>
38*4299d8d0SLang Hames getMachOObjectFileSymbolInfo(ExecutionSession &ES,
39*4299d8d0SLang Hames                              const object::MachOObjectFile &Obj) {
40*4299d8d0SLang Hames   MaterializationUnit::Interface I;
41*4299d8d0SLang Hames 
42*4299d8d0SLang Hames   for (auto &Sym : Obj.symbols()) {
43*4299d8d0SLang Hames     Expected<uint32_t> SymFlagsOrErr = Sym.getFlags();
44*4299d8d0SLang Hames     if (!SymFlagsOrErr)
45*4299d8d0SLang Hames       // TODO: Test this error.
46*4299d8d0SLang Hames       return SymFlagsOrErr.takeError();
47*4299d8d0SLang Hames 
48*4299d8d0SLang Hames     // Skip symbols not defined in this object file.
49*4299d8d0SLang Hames     if (*SymFlagsOrErr & object::BasicSymbolRef::SF_Undefined)
50*4299d8d0SLang Hames       continue;
51*4299d8d0SLang Hames 
52*4299d8d0SLang Hames     // Skip symbols that are not global.
53*4299d8d0SLang Hames     if (!(*SymFlagsOrErr & object::BasicSymbolRef::SF_Global))
54*4299d8d0SLang Hames       continue;
55*4299d8d0SLang Hames 
56*4299d8d0SLang Hames     // Skip symbols that have type SF_File.
57*4299d8d0SLang Hames     if (auto SymType = Sym.getType()) {
58*4299d8d0SLang Hames       if (*SymType == object::SymbolRef::ST_File)
59*4299d8d0SLang Hames         continue;
60*4299d8d0SLang Hames     } else
61*4299d8d0SLang Hames       return SymType.takeError();
62*4299d8d0SLang Hames 
63*4299d8d0SLang Hames     auto Name = Sym.getName();
64*4299d8d0SLang Hames     if (!Name)
65*4299d8d0SLang Hames       return Name.takeError();
66*4299d8d0SLang Hames     auto InternedName = ES.intern(*Name);
67*4299d8d0SLang Hames     auto SymFlags = JITSymbolFlags::fromObjectSymbol(Sym);
68*4299d8d0SLang Hames     if (!SymFlags)
69*4299d8d0SLang Hames       return SymFlags.takeError();
70*4299d8d0SLang Hames 
71*4299d8d0SLang Hames     // Strip the 'exported' flag from MachO linker-private symbols.
72*4299d8d0SLang Hames     if (Name->startswith("l"))
73*4299d8d0SLang Hames       *SymFlags &= ~JITSymbolFlags::Exported;
74*4299d8d0SLang Hames 
75*4299d8d0SLang Hames     I.SymbolFlags[InternedName] = std::move(*SymFlags);
76*4299d8d0SLang Hames   }
77*4299d8d0SLang Hames 
78*4299d8d0SLang Hames   for (auto &Sec : Obj.sections()) {
79*4299d8d0SLang Hames     auto SecType = Obj.getSectionType(Sec);
80*4299d8d0SLang Hames     if ((SecType & MachO::SECTION_TYPE) == MachO::S_MOD_INIT_FUNC_POINTERS) {
81*4299d8d0SLang Hames       addInitSymbol(I, ES, Obj.getFileName());
82*4299d8d0SLang Hames       break;
83*4299d8d0SLang Hames     }
84*4299d8d0SLang Hames     auto SegName = Obj.getSectionFinalSegmentName(Sec.getRawDataRefImpl());
85*4299d8d0SLang Hames     auto SecName = cantFail(Obj.getSectionName(Sec.getRawDataRefImpl()));
86*4299d8d0SLang Hames     if (MachOPlatform::isInitializerSection(SegName, SecName)) {
87*4299d8d0SLang Hames       addInitSymbol(I, ES, Obj.getFileName());
88*4299d8d0SLang Hames       break;
89*4299d8d0SLang Hames     }
90*4299d8d0SLang Hames   }
91*4299d8d0SLang Hames 
92*4299d8d0SLang Hames   return I;
93*4299d8d0SLang Hames }
94*4299d8d0SLang Hames 
95*4299d8d0SLang Hames static Expected<MaterializationUnit::Interface>
96*4299d8d0SLang Hames getELFObjectFileSymbolInfo(ExecutionSession &ES,
97*4299d8d0SLang Hames                            const object::ELFObjectFileBase &Obj) {
98*4299d8d0SLang Hames   MaterializationUnit::Interface I;
99*4299d8d0SLang Hames 
100*4299d8d0SLang Hames   for (auto &Sym : Obj.symbols()) {
101*4299d8d0SLang Hames     Expected<uint32_t> SymFlagsOrErr = Sym.getFlags();
102*4299d8d0SLang Hames     if (!SymFlagsOrErr)
103*4299d8d0SLang Hames       // TODO: Test this error.
104*4299d8d0SLang Hames       return SymFlagsOrErr.takeError();
105*4299d8d0SLang Hames 
106*4299d8d0SLang Hames     // Skip symbols not defined in this object file.
107*4299d8d0SLang Hames     if (*SymFlagsOrErr & object::BasicSymbolRef::SF_Undefined)
108*4299d8d0SLang Hames       continue;
109*4299d8d0SLang Hames 
110*4299d8d0SLang Hames     // Skip symbols that are not global.
111*4299d8d0SLang Hames     if (!(*SymFlagsOrErr & object::BasicSymbolRef::SF_Global))
112*4299d8d0SLang Hames       continue;
113*4299d8d0SLang Hames 
114*4299d8d0SLang Hames     // Skip symbols that have type SF_File.
115*4299d8d0SLang Hames     if (auto SymType = Sym.getType()) {
116*4299d8d0SLang Hames       if (*SymType == object::SymbolRef::ST_File)
117*4299d8d0SLang Hames         continue;
118*4299d8d0SLang Hames     } else
119*4299d8d0SLang Hames       return SymType.takeError();
120*4299d8d0SLang Hames 
121*4299d8d0SLang Hames     auto Name = Sym.getName();
122*4299d8d0SLang Hames     if (!Name)
123*4299d8d0SLang Hames       return Name.takeError();
124*4299d8d0SLang Hames     auto InternedName = ES.intern(*Name);
125*4299d8d0SLang Hames     auto SymFlags = JITSymbolFlags::fromObjectSymbol(Sym);
126*4299d8d0SLang Hames     if (!SymFlags)
127*4299d8d0SLang Hames       return SymFlags.takeError();
128*4299d8d0SLang Hames 
129*4299d8d0SLang Hames     // ELF STB_GNU_UNIQUE should map to Weak for ORC.
130*4299d8d0SLang Hames     if (Sym.getBinding() == ELF::STB_GNU_UNIQUE)
131*4299d8d0SLang Hames       *SymFlags |= JITSymbolFlags::Weak;
132*4299d8d0SLang Hames 
133*4299d8d0SLang Hames     I.SymbolFlags[InternedName] = std::move(*SymFlags);
134*4299d8d0SLang Hames   }
135*4299d8d0SLang Hames 
136*4299d8d0SLang Hames   SymbolStringPtr InitSymbol;
137*4299d8d0SLang Hames   for (auto &Sec : Obj.sections()) {
138*4299d8d0SLang Hames     if (auto SecName = Sec.getName()) {
139*4299d8d0SLang Hames       if (ELFNixPlatform::isInitializerSection(*SecName)) {
140*4299d8d0SLang Hames         addInitSymbol(I, ES, Obj.getFileName());
141*4299d8d0SLang Hames         break;
142*4299d8d0SLang Hames       }
143*4299d8d0SLang Hames     }
144*4299d8d0SLang Hames   }
145*4299d8d0SLang Hames 
146*4299d8d0SLang Hames   return I;
147*4299d8d0SLang Hames }
148*4299d8d0SLang Hames 
149*4299d8d0SLang Hames Expected<MaterializationUnit::Interface>
150*4299d8d0SLang Hames getGenericObjectFileSymbolInfo(ExecutionSession &ES,
151*4299d8d0SLang Hames                                const object::ObjectFile &Obj) {
152*4299d8d0SLang Hames   MaterializationUnit::Interface I;
153*4299d8d0SLang Hames 
154*4299d8d0SLang Hames   for (auto &Sym : Obj.symbols()) {
155*4299d8d0SLang Hames     Expected<uint32_t> SymFlagsOrErr = Sym.getFlags();
156*4299d8d0SLang Hames     if (!SymFlagsOrErr)
157*4299d8d0SLang Hames       // TODO: Test this error.
158*4299d8d0SLang Hames       return SymFlagsOrErr.takeError();
159*4299d8d0SLang Hames 
160*4299d8d0SLang Hames     // Skip symbols not defined in this object file.
161*4299d8d0SLang Hames     if (*SymFlagsOrErr & object::BasicSymbolRef::SF_Undefined)
162*4299d8d0SLang Hames       continue;
163*4299d8d0SLang Hames 
164*4299d8d0SLang Hames     // Skip symbols that are not global.
165*4299d8d0SLang Hames     if (!(*SymFlagsOrErr & object::BasicSymbolRef::SF_Global))
166*4299d8d0SLang Hames       continue;
167*4299d8d0SLang Hames 
168*4299d8d0SLang Hames     // Skip symbols that have type SF_File.
169*4299d8d0SLang Hames     if (auto SymType = Sym.getType()) {
170*4299d8d0SLang Hames       if (*SymType == object::SymbolRef::ST_File)
171*4299d8d0SLang Hames         continue;
172*4299d8d0SLang Hames     } else
173*4299d8d0SLang Hames       return SymType.takeError();
174*4299d8d0SLang Hames 
175*4299d8d0SLang Hames     auto Name = Sym.getName();
176*4299d8d0SLang Hames     if (!Name)
177*4299d8d0SLang Hames       return Name.takeError();
178*4299d8d0SLang Hames     auto InternedName = ES.intern(*Name);
179*4299d8d0SLang Hames     auto SymFlags = JITSymbolFlags::fromObjectSymbol(Sym);
180*4299d8d0SLang Hames     if (!SymFlags)
181*4299d8d0SLang Hames       return SymFlags.takeError();
182*4299d8d0SLang Hames 
183*4299d8d0SLang Hames     I.SymbolFlags[InternedName] = std::move(*SymFlags);
184*4299d8d0SLang Hames   }
185*4299d8d0SLang Hames 
186*4299d8d0SLang Hames   return I;
187*4299d8d0SLang Hames }
188*4299d8d0SLang Hames 
189*4299d8d0SLang Hames Expected<MaterializationUnit::Interface>
190*4299d8d0SLang Hames getObjectFileInterface(ExecutionSession &ES, MemoryBufferRef ObjBuffer) {
191*4299d8d0SLang Hames   auto Obj = object::ObjectFile::createObjectFile(ObjBuffer);
192*4299d8d0SLang Hames 
193*4299d8d0SLang Hames   if (!Obj)
194*4299d8d0SLang Hames     return Obj.takeError();
195*4299d8d0SLang Hames 
196*4299d8d0SLang Hames   if (auto *MachOObj = dyn_cast<object::MachOObjectFile>(Obj->get()))
197*4299d8d0SLang Hames     return getMachOObjectFileSymbolInfo(ES, *MachOObj);
198*4299d8d0SLang Hames   else if (auto *ELFObj = dyn_cast<object::ELFObjectFileBase>(Obj->get()))
199*4299d8d0SLang Hames     return getELFObjectFileSymbolInfo(ES, *ELFObj);
200*4299d8d0SLang Hames 
201*4299d8d0SLang Hames   return getGenericObjectFileSymbolInfo(ES, **Obj);
202*4299d8d0SLang Hames }
203*4299d8d0SLang Hames 
204*4299d8d0SLang Hames } // End namespace orc.
205*4299d8d0SLang Hames } // End namespace llvm.
206