blob: 4d255cd66c1be02f64ad08b3d4a92e911d5ce306 [file] [log] [blame]
Lang Hamesb1cd98a2015-04-02 04:34:45 +00001//===---- ExecutionUtils.cpp - Utilities for executing functions in Orc ---===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Lang Hamesb1cd98a2015-04-02 04:34:45 +00006//
7//===----------------------------------------------------------------------===//
8
9#include "llvm/ExecutionEngine/Orc/ExecutionUtils.h"
10
Lang Hames52a34a72019-08-13 16:05:18 +000011#include "llvm/ExecutionEngine/Orc/Layer.h"
Lang Hamesb1cd98a2015-04-02 04:34:45 +000012#include "llvm/IR/Constants.h"
13#include "llvm/IR/Function.h"
14#include "llvm/IR/GlobalVariable.h"
15#include "llvm/IR/Module.h"
Lang Hames1b39c6f2020-04-04 09:50:56 -070016#include "llvm/Object/MachOUniversal.h"
17#include "llvm/Support/FormatVariadic.h"
Lang Hames6a941342018-06-26 21:35:48 +000018#include "llvm/Support/TargetRegistry.h"
19#include "llvm/Target/TargetMachine.h"
Lang Hamesb1cd98a2015-04-02 04:34:45 +000020
21namespace llvm {
22namespace orc {
23
Lang Hamesece8fed2019-12-02 01:45:49 -080024int runAsMain(int (*Main)(int, char *[]), ArrayRef<std::string> Args,
25 Optional<StringRef> ProgramName) {
26 std::vector<std::unique_ptr<char[]>> ArgVStorage;
27 std::vector<char *> ArgV;
28
29 ArgVStorage.reserve(Args.size() + (ProgramName ? 1 : 0));
30 ArgV.reserve(Args.size() + 1 + (ProgramName ? 1 : 0));
31
32 if (ProgramName) {
33 ArgVStorage.push_back(std::make_unique<char[]>(ProgramName->size() + 1));
34 llvm::copy(*ProgramName, &ArgVStorage.back()[0]);
35 ArgVStorage.back()[ProgramName->size()] = '\0';
36 ArgV.push_back(ArgVStorage.back().get());
37 }
38
39 for (auto &Arg : Args) {
40 ArgVStorage.push_back(std::make_unique<char[]>(Arg.size() + 1));
41 llvm::copy(Arg, &ArgVStorage.back()[0]);
42 ArgVStorage.back()[Arg.size()] = '\0';
43 ArgV.push_back(ArgVStorage.back().get());
44 }
45 ArgV.push_back(nullptr);
46
Lang Hames2cdb18a2020-01-11 12:58:38 -080047 return Main(Args.size() + !!ProgramName, ArgV.data());
Lang Hamesece8fed2019-12-02 01:45:49 -080048}
49
Lang Hamesb1cd98a2015-04-02 04:34:45 +000050CtorDtorIterator::CtorDtorIterator(const GlobalVariable *GV, bool End)
51 : InitList(
52 GV ? dyn_cast_or_null<ConstantArray>(GV->getInitializer()) : nullptr),
53 I((InitList && End) ? InitList->getNumOperands() : 0) {
54}
55
56bool CtorDtorIterator::operator==(const CtorDtorIterator &Other) const {
57 assert(InitList == Other.InitList && "Incomparable iterators.");
58 return I == Other.I;
59}
60
61bool CtorDtorIterator::operator!=(const CtorDtorIterator &Other) const {
62 return !(*this == Other);
63}
64
65CtorDtorIterator& CtorDtorIterator::operator++() {
66 ++I;
67 return *this;
68}
69
70CtorDtorIterator CtorDtorIterator::operator++(int) {
71 CtorDtorIterator Temp = *this;
72 ++I;
73 return Temp;
74}
75
76CtorDtorIterator::Element CtorDtorIterator::operator*() const {
77 ConstantStruct *CS = dyn_cast<ConstantStruct>(InitList->getOperand(I));
78 assert(CS && "Unrecognized type in llvm.global_ctors/llvm.global_dtors");
79
80 Constant *FuncC = CS->getOperand(1);
81 Function *Func = nullptr;
82
83 // Extract function pointer, pulling off any casts.
84 while (FuncC) {
85 if (Function *F = dyn_cast_or_null<Function>(FuncC)) {
86 Func = F;
87 break;
88 } else if (ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(FuncC)) {
89 if (CE->isCast())
90 FuncC = dyn_cast_or_null<ConstantExpr>(CE->getOperand(0));
91 else
92 break;
93 } else {
94 // This isn't anything we recognize. Bail out with Func left set to null.
95 break;
96 }
97 }
98
Simon Pilgrim7efa6e32019-09-24 12:43:55 +000099 auto *Priority = cast<ConstantInt>(CS->getOperand(0));
Lang Hames5721ee42018-03-15 00:30:14 +0000100 Value *Data = CS->getNumOperands() == 3 ? CS->getOperand(2) : nullptr;
Lang Hames2f178242018-06-26 22:43:01 +0000101 if (Data && !isa<GlobalValue>(Data))
Lang Hames6a941342018-06-26 21:35:48 +0000102 Data = nullptr;
Lang Hamesb1cd98a2015-04-02 04:34:45 +0000103 return Element(Priority->getZExtValue(), Func, Data);
104}
105
106iterator_range<CtorDtorIterator> getConstructors(const Module &M) {
107 const GlobalVariable *CtorsList = M.getNamedGlobal("llvm.global_ctors");
108 return make_range(CtorDtorIterator(CtorsList, false),
109 CtorDtorIterator(CtorsList, true));
110}
111
112iterator_range<CtorDtorIterator> getDestructors(const Module &M) {
113 const GlobalVariable *DtorsList = M.getNamedGlobal("llvm.global_dtors");
114 return make_range(CtorDtorIterator(DtorsList, false),
115 CtorDtorIterator(DtorsList, true));
116}
117
Lang Hames85fb9972019-12-16 02:50:40 -0800118bool StaticInitGVIterator::isStaticInitGlobal(GlobalValue &GV) {
119 if (GV.isDeclaration())
120 return false;
121
122 if (GV.hasName() && (GV.getName() == "llvm.global_ctors" ||
123 GV.getName() == "llvm.global_dtors"))
124 return true;
125
126 if (ObjFmt == Triple::MachO) {
127 // FIXME: These section checks are too strict: We should match first and
128 // second word split by comma.
129 if (GV.hasSection() &&
130 (GV.getSection().startswith("__DATA,__objc_classlist") ||
131 GV.getSection().startswith("__DATA,__objc_selrefs")))
132 return true;
133 }
134
135 return false;
136}
137
Lang Hames079df9a2018-10-15 22:56:10 +0000138void CtorDtorRunner::add(iterator_range<CtorDtorIterator> CtorDtors) {
Jordan Rosefdaa7422019-10-07 18:14:24 +0000139 if (CtorDtors.empty())
Lang Hames6a941342018-06-26 21:35:48 +0000140 return;
141
142 MangleAndInterner Mangle(
Lang Hamesd5f56c52018-08-17 21:18:18 +0000143 JD.getExecutionSession(),
Lang Hames6a941342018-06-26 21:35:48 +0000144 (*CtorDtors.begin()).Func->getParent()->getDataLayout());
145
Mark de Wever8dc7b982020-01-01 17:23:21 +0100146 for (auto CtorDtor : CtorDtors) {
Lang Hames6a941342018-06-26 21:35:48 +0000147 assert(CtorDtor.Func && CtorDtor.Func->hasName() &&
148 "Ctor/Dtor function must be named to be runnable under the JIT");
149
Lang Hamesbf6603e2018-10-09 20:44:32 +0000150 // FIXME: Maybe use a symbol promoter here instead.
151 if (CtorDtor.Func->hasLocalLinkage()) {
152 CtorDtor.Func->setLinkage(GlobalValue::ExternalLinkage);
153 CtorDtor.Func->setVisibility(GlobalValue::HiddenVisibility);
154 }
155
Lang Hames6a941342018-06-26 21:35:48 +0000156 if (CtorDtor.Data && cast<GlobalValue>(CtorDtor.Data)->isDeclaration()) {
157 dbgs() << " Skipping because why now?\n";
158 continue;
159 }
160
161 CtorDtorsByPriority[CtorDtor.Priority].push_back(
162 Mangle(CtorDtor.Func->getName()));
163 }
164}
165
Lang Hames079df9a2018-10-15 22:56:10 +0000166Error CtorDtorRunner::run() {
Lang Hames6a941342018-06-26 21:35:48 +0000167 using CtorDtorTy = void (*)();
168
Lang Hames674df132019-11-25 21:57:27 -0800169 SymbolLookupSet LookupSet;
170 for (auto &KV : CtorDtorsByPriority)
171 for (auto &Name : KV.second)
172 LookupSet.add(Name);
173 assert(!LookupSet.containsDuplicates() &&
174 "Ctor/Dtor list contains duplicates");
Lang Hames6a941342018-06-26 21:35:48 +0000175
Lang Hames7899ccb2018-10-13 21:53:40 +0000176 auto &ES = JD.getExecutionSession();
Lang Hames674df132019-11-25 21:57:27 -0800177 if (auto CtorDtorMap = ES.lookup(
178 makeJITDylibSearchOrder(&JD, JITDylibLookupFlags::MatchAllSymbols),
179 std::move(LookupSet))) {
Lang Hames6a941342018-06-26 21:35:48 +0000180 for (auto &KV : CtorDtorsByPriority) {
181 for (auto &Name : KV.second) {
182 assert(CtorDtorMap->count(Name) && "No entry for Name");
183 auto CtorDtor = reinterpret_cast<CtorDtorTy>(
184 static_cast<uintptr_t>((*CtorDtorMap)[Name].getAddress()));
185 CtorDtor();
186 }
187 }
Lang Hames0dcf69e2019-05-20 21:30:33 +0000188 CtorDtorsByPriority.clear();
Lang Hames6a941342018-06-26 21:35:48 +0000189 return Error::success();
190 } else
191 return CtorDtorMap.takeError();
Lang Hames6a941342018-06-26 21:35:48 +0000192}
193
194void LocalCXXRuntimeOverridesBase::runDestructors() {
Lang Hamesb1cd98a2015-04-02 04:34:45 +0000195 auto& CXXDestructorDataPairs = DSOHandleOverride;
196 for (auto &P : CXXDestructorDataPairs)
197 P.first(P.second);
198 CXXDestructorDataPairs.clear();
199}
200
Lang Hames6a941342018-06-26 21:35:48 +0000201int LocalCXXRuntimeOverridesBase::CXAAtExitOverride(DestructorPtr Destructor,
202 void *Arg,
203 void *DSOHandle) {
Lang Hamesb1cd98a2015-04-02 04:34:45 +0000204 auto& CXXDestructorDataPairs =
205 *reinterpret_cast<CXXDestructorDataPairList*>(DSOHandle);
206 CXXDestructorDataPairs.push_back(std::make_pair(Destructor, Arg));
207 return 0;
208}
209
Lang Hames079df9a2018-10-15 22:56:10 +0000210Error LocalCXXRuntimeOverrides::enable(JITDylib &JD,
Lang Hamesd5f56c52018-08-17 21:18:18 +0000211 MangleAndInterner &Mangle) {
Lang Hames6e66b2a2018-10-15 22:27:02 +0000212 SymbolMap RuntimeInterposes;
213 RuntimeInterposes[Mangle("__dso_handle")] =
214 JITEvaluatedSymbol(toTargetAddress(&DSOHandleOverride),
215 JITSymbolFlags::Exported);
216 RuntimeInterposes[Mangle("__cxa_atexit")] =
217 JITEvaluatedSymbol(toTargetAddress(&CXAAtExitOverride),
218 JITSymbolFlags::Exported);
Lang Hames6a941342018-06-26 21:35:48 +0000219
Lang Hamesd5f56c52018-08-17 21:18:18 +0000220 return JD.define(absoluteSymbols(std::move(RuntimeInterposes)));
Lang Hames6a941342018-06-26 21:35:48 +0000221}
222
Lang Hames85fb9972019-12-16 02:50:40 -0800223void ItaniumCXAAtExitSupport::registerAtExit(void (*F)(void *), void *Ctx,
224 void *DSOHandle) {
225 std::lock_guard<std::mutex> Lock(AtExitsMutex);
226 AtExitRecords[DSOHandle].push_back({F, Ctx});
227}
228
229void ItaniumCXAAtExitSupport::runAtExits(void *DSOHandle) {
230 std::vector<AtExitRecord> AtExitsToRun;
231
232 {
233 std::lock_guard<std::mutex> Lock(AtExitsMutex);
234 auto I = AtExitRecords.find(DSOHandle);
235 if (I != AtExitRecords.end()) {
236 AtExitsToRun = std::move(I->second);
237 AtExitRecords.erase(I);
238 }
239 }
240
241 while (!AtExitsToRun.empty()) {
242 AtExitsToRun.back().F(AtExitsToRun.back().Ctx);
243 AtExitsToRun.pop_back();
244 }
245}
246
Lang Hamesa5157d62018-10-15 05:07:54 +0000247DynamicLibrarySearchGenerator::DynamicLibrarySearchGenerator(
Lang Hames11c8dfa52019-04-20 17:10:34 +0000248 sys::DynamicLibrary Dylib, char GlobalPrefix, SymbolPredicate Allow)
Lang Hames6a941342018-06-26 21:35:48 +0000249 : Dylib(std::move(Dylib)), Allow(std::move(Allow)),
Lang Hames11c8dfa52019-04-20 17:10:34 +0000250 GlobalPrefix(GlobalPrefix) {}
Lang Hames6a941342018-06-26 21:35:48 +0000251
Lang Hames52a34a72019-08-13 16:05:18 +0000252Expected<std::unique_ptr<DynamicLibrarySearchGenerator>>
Lang Hames11c8dfa52019-04-20 17:10:34 +0000253DynamicLibrarySearchGenerator::Load(const char *FileName, char GlobalPrefix,
Lang Hamesa5157d62018-10-15 05:07:54 +0000254 SymbolPredicate Allow) {
Lang Hames47d0a372018-10-01 00:59:28 +0000255 std::string ErrMsg;
256 auto Lib = sys::DynamicLibrary::getPermanentLibrary(FileName, &ErrMsg);
257 if (!Lib.isValid())
258 return make_error<StringError>(std::move(ErrMsg), inconvertibleErrorCode());
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000259 return std::make_unique<DynamicLibrarySearchGenerator>(
Lang Hames52a34a72019-08-13 16:05:18 +0000260 std::move(Lib), GlobalPrefix, std::move(Allow));
Lang Hames47d0a372018-10-01 00:59:28 +0000261}
262
Lang Hames674df132019-11-25 21:57:27 -0800263Error DynamicLibrarySearchGenerator::tryToGenerate(
264 LookupKind K, JITDylib &JD, JITDylibLookupFlags JDLookupFlags,
265 const SymbolLookupSet &Symbols) {
Lang Hames6a941342018-06-26 21:35:48 +0000266 orc::SymbolMap NewSymbols;
267
268 bool HasGlobalPrefix = (GlobalPrefix != '\0');
269
Lang Hames674df132019-11-25 21:57:27 -0800270 for (auto &KV : Symbols) {
271 auto &Name = KV.first;
272
Lang Hamesa5157d62018-10-15 05:07:54 +0000273 if ((*Name).empty())
274 continue;
275
276 if (Allow && !Allow(Name))
Lang Hames6a941342018-06-26 21:35:48 +0000277 continue;
278
279 if (HasGlobalPrefix && (*Name).front() != GlobalPrefix)
280 continue;
281
Lang Hames11c8dfa52019-04-20 17:10:34 +0000282 std::string Tmp((*Name).data() + HasGlobalPrefix,
283 (*Name).size() - HasGlobalPrefix);
Lang Hames6a941342018-06-26 21:35:48 +0000284 if (void *Addr = Dylib.getAddressOfSymbol(Tmp.c_str())) {
Lang Hames6a941342018-06-26 21:35:48 +0000285 NewSymbols[Name] = JITEvaluatedSymbol(
286 static_cast<JITTargetAddress>(reinterpret_cast<uintptr_t>(Addr)),
287 JITSymbolFlags::Exported);
288 }
289 }
290
Lang Hames674df132019-11-25 21:57:27 -0800291 if (NewSymbols.empty())
292 return Error::success();
Lang Hames6a941342018-06-26 21:35:48 +0000293
Lang Hames674df132019-11-25 21:57:27 -0800294 return JD.define(absoluteSymbols(std::move(NewSymbols)));
Lang Hames6a941342018-06-26 21:35:48 +0000295}
296
Lang Hames52a34a72019-08-13 16:05:18 +0000297Expected<std::unique_ptr<StaticLibraryDefinitionGenerator>>
298StaticLibraryDefinitionGenerator::Load(ObjectLayer &L, const char *FileName) {
299 auto ArchiveBuffer = errorOrToExpected(MemoryBuffer::getFile(FileName));
300
301 if (!ArchiveBuffer)
302 return ArchiveBuffer.takeError();
303
304 return Create(L, std::move(*ArchiveBuffer));
305}
306
307Expected<std::unique_ptr<StaticLibraryDefinitionGenerator>>
Lang Hames1b39c6f2020-04-04 09:50:56 -0700308StaticLibraryDefinitionGenerator::Load(ObjectLayer &L, const char *FileName,
309 const Triple &TT) {
310 auto B = object::createBinary(FileName);
311 if (!B)
312 return B.takeError();
313
314 // If this is a regular archive then create an instance from it.
315 if (isa<object::Archive>(B->getBinary()))
316 return Create(L, std::move(B->takeBinary().second));
317
318 // If this is a universal binary then search for a slice matching the given
319 // Triple.
320 if (auto *UB = cast<object::MachOUniversalBinary>(B->getBinary())) {
321 for (const auto &Obj : UB->objects()) {
322 auto ObjTT = Obj.getTriple();
323 if (ObjTT.getArch() == TT.getArch() &&
324 ObjTT.getSubArch() == TT.getSubArch() &&
325 ObjTT.getVendor() == TT.getVendor()) {
326 // We found a match. Create an instance from a buffer covering this
327 // slice.
328 auto SliceBuffer = MemoryBuffer::getFileSlice(FileName, Obj.getSize(),
329 Obj.getOffset());
330 if (!SliceBuffer)
331 return make_error<StringError>(
332 Twine("Could not create buffer for ") + TT.str() + " slice of " +
333 FileName + ": [ " + formatv("{0:x}", Obj.getOffset()) +
334 " .. " + formatv("{0:x}", Obj.getOffset() + Obj.getSize()) +
335 ": " + SliceBuffer.getError().message(),
336 SliceBuffer.getError());
337 return Create(L, std::move(*SliceBuffer));
338 }
339 }
340
341 return make_error<StringError>(Twine("Universal binary ") + FileName +
342 " does not contain a slice for " +
343 TT.str(),
344 inconvertibleErrorCode());
345 }
346
347 return make_error<StringError>(Twine("Unrecognized file type for ") +
348 FileName,
349 inconvertibleErrorCode());
350}
351
352Expected<std::unique_ptr<StaticLibraryDefinitionGenerator>>
Lang Hames52a34a72019-08-13 16:05:18 +0000353StaticLibraryDefinitionGenerator::Create(
354 ObjectLayer &L, std::unique_ptr<MemoryBuffer> ArchiveBuffer) {
355 Error Err = Error::success();
356
357 std::unique_ptr<StaticLibraryDefinitionGenerator> ADG(
358 new StaticLibraryDefinitionGenerator(L, std::move(ArchiveBuffer), Err));
359
360 if (Err)
Bill Wendlingc55cf4a2020-02-10 07:06:45 -0800361 return std::move(Err);
Lang Hames52a34a72019-08-13 16:05:18 +0000362
Bill Wendlingc55cf4a2020-02-10 07:06:45 -0800363 return std::move(ADG);
Lang Hames52a34a72019-08-13 16:05:18 +0000364}
365
Lang Hames674df132019-11-25 21:57:27 -0800366Error StaticLibraryDefinitionGenerator::tryToGenerate(
367 LookupKind K, JITDylib &JD, JITDylibLookupFlags JDLookupFlags,
368 const SymbolLookupSet &Symbols) {
369
370 // Don't materialize symbols from static archives unless this is a static
371 // lookup.
372 if (K != LookupKind::Static)
373 return Error::success();
374
375 // Bail out early if we've already freed the archive.
376 if (!Archive)
377 return Error::success();
Lang Hames52a34a72019-08-13 16:05:18 +0000378
379 DenseSet<std::pair<StringRef, StringRef>> ChildBufferInfos;
Lang Hames52a34a72019-08-13 16:05:18 +0000380
Lang Hames674df132019-11-25 21:57:27 -0800381 for (const auto &KV : Symbols) {
382 const auto &Name = KV.first;
383 auto Child = Archive->findSym(*Name);
Lang Hames52a34a72019-08-13 16:05:18 +0000384 if (!Child)
385 return Child.takeError();
386 if (*Child == None)
387 continue;
388 auto ChildBuffer = (*Child)->getMemoryBufferRef();
389 if (!ChildBuffer)
390 return ChildBuffer.takeError();
391 ChildBufferInfos.insert(
392 {ChildBuffer->getBuffer(), ChildBuffer->getBufferIdentifier()});
Lang Hames52a34a72019-08-13 16:05:18 +0000393 }
394
395 for (auto ChildBufferInfo : ChildBufferInfos) {
396 MemoryBufferRef ChildBufferRef(ChildBufferInfo.first,
397 ChildBufferInfo.second);
398
Lang Hames8e5a8f62020-04-01 11:36:36 -0700399 if (auto Err = L.add(JD, MemoryBuffer::getMemBuffer(ChildBufferRef, false),
400 VModuleKey()))
Lang Hames674df132019-11-25 21:57:27 -0800401 return Err;
Lang Hames52a34a72019-08-13 16:05:18 +0000402 }
403
Lang Hames674df132019-11-25 21:57:27 -0800404 return Error::success();
Lang Hames52a34a72019-08-13 16:05:18 +0000405}
406
407StaticLibraryDefinitionGenerator::StaticLibraryDefinitionGenerator(
408 ObjectLayer &L, std::unique_ptr<MemoryBuffer> ArchiveBuffer, Error &Err)
409 : L(L), ArchiveBuffer(std::move(ArchiveBuffer)),
Lang Hames674df132019-11-25 21:57:27 -0800410 Archive(std::make_unique<object::Archive>(*this->ArchiveBuffer, Err)) {}
Lang Hames52a34a72019-08-13 16:05:18 +0000411
Lang Hamesb1cd98a2015-04-02 04:34:45 +0000412} // End namespace orc.
413} // End namespace llvm.