blob: 3d97fe9eeab176427b5d8abba2fa2c3ac8047e17 [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 Hames6a941342018-06-26 21:35:48 +000016#include "llvm/Support/TargetRegistry.h"
17#include "llvm/Target/TargetMachine.h"
Lang Hamesb1cd98a2015-04-02 04:34:45 +000018
19namespace llvm {
20namespace orc {
21
Lang Hamesece8fed2019-12-02 01:45:49 -080022int runAsMain(int (*Main)(int, char *[]), ArrayRef<std::string> Args,
23 Optional<StringRef> ProgramName) {
24 std::vector<std::unique_ptr<char[]>> ArgVStorage;
25 std::vector<char *> ArgV;
26
27 ArgVStorage.reserve(Args.size() + (ProgramName ? 1 : 0));
28 ArgV.reserve(Args.size() + 1 + (ProgramName ? 1 : 0));
29
30 if (ProgramName) {
31 ArgVStorage.push_back(std::make_unique<char[]>(ProgramName->size() + 1));
32 llvm::copy(*ProgramName, &ArgVStorage.back()[0]);
33 ArgVStorage.back()[ProgramName->size()] = '\0';
34 ArgV.push_back(ArgVStorage.back().get());
35 }
36
37 for (auto &Arg : Args) {
38 ArgVStorage.push_back(std::make_unique<char[]>(Arg.size() + 1));
39 llvm::copy(Arg, &ArgVStorage.back()[0]);
40 ArgVStorage.back()[Arg.size()] = '\0';
41 ArgV.push_back(ArgVStorage.back().get());
42 }
43 ArgV.push_back(nullptr);
44
Lang Hames2cdb18a2020-01-11 12:58:38 -080045 return Main(Args.size() + !!ProgramName, ArgV.data());
Lang Hamesece8fed2019-12-02 01:45:49 -080046}
47
Lang Hamesb1cd98a2015-04-02 04:34:45 +000048CtorDtorIterator::CtorDtorIterator(const GlobalVariable *GV, bool End)
49 : InitList(
50 GV ? dyn_cast_or_null<ConstantArray>(GV->getInitializer()) : nullptr),
51 I((InitList && End) ? InitList->getNumOperands() : 0) {
52}
53
54bool CtorDtorIterator::operator==(const CtorDtorIterator &Other) const {
55 assert(InitList == Other.InitList && "Incomparable iterators.");
56 return I == Other.I;
57}
58
59bool CtorDtorIterator::operator!=(const CtorDtorIterator &Other) const {
60 return !(*this == Other);
61}
62
63CtorDtorIterator& CtorDtorIterator::operator++() {
64 ++I;
65 return *this;
66}
67
68CtorDtorIterator CtorDtorIterator::operator++(int) {
69 CtorDtorIterator Temp = *this;
70 ++I;
71 return Temp;
72}
73
74CtorDtorIterator::Element CtorDtorIterator::operator*() const {
75 ConstantStruct *CS = dyn_cast<ConstantStruct>(InitList->getOperand(I));
76 assert(CS && "Unrecognized type in llvm.global_ctors/llvm.global_dtors");
77
78 Constant *FuncC = CS->getOperand(1);
79 Function *Func = nullptr;
80
81 // Extract function pointer, pulling off any casts.
82 while (FuncC) {
83 if (Function *F = dyn_cast_or_null<Function>(FuncC)) {
84 Func = F;
85 break;
86 } else if (ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(FuncC)) {
87 if (CE->isCast())
88 FuncC = dyn_cast_or_null<ConstantExpr>(CE->getOperand(0));
89 else
90 break;
91 } else {
92 // This isn't anything we recognize. Bail out with Func left set to null.
93 break;
94 }
95 }
96
Simon Pilgrim7efa6e32019-09-24 12:43:55 +000097 auto *Priority = cast<ConstantInt>(CS->getOperand(0));
Lang Hames5721ee42018-03-15 00:30:14 +000098 Value *Data = CS->getNumOperands() == 3 ? CS->getOperand(2) : nullptr;
Lang Hames2f178242018-06-26 22:43:01 +000099 if (Data && !isa<GlobalValue>(Data))
Lang Hames6a941342018-06-26 21:35:48 +0000100 Data = nullptr;
Lang Hamesb1cd98a2015-04-02 04:34:45 +0000101 return Element(Priority->getZExtValue(), Func, Data);
102}
103
104iterator_range<CtorDtorIterator> getConstructors(const Module &M) {
105 const GlobalVariable *CtorsList = M.getNamedGlobal("llvm.global_ctors");
106 return make_range(CtorDtorIterator(CtorsList, false),
107 CtorDtorIterator(CtorsList, true));
108}
109
110iterator_range<CtorDtorIterator> getDestructors(const Module &M) {
111 const GlobalVariable *DtorsList = M.getNamedGlobal("llvm.global_dtors");
112 return make_range(CtorDtorIterator(DtorsList, false),
113 CtorDtorIterator(DtorsList, true));
114}
115
Lang Hames079df9a2018-10-15 22:56:10 +0000116void CtorDtorRunner::add(iterator_range<CtorDtorIterator> CtorDtors) {
Jordan Rosefdaa7422019-10-07 18:14:24 +0000117 if (CtorDtors.empty())
Lang Hames6a941342018-06-26 21:35:48 +0000118 return;
119
120 MangleAndInterner Mangle(
Lang Hamesd5f56c52018-08-17 21:18:18 +0000121 JD.getExecutionSession(),
Lang Hames6a941342018-06-26 21:35:48 +0000122 (*CtorDtors.begin()).Func->getParent()->getDataLayout());
123
Mark de Wever8dc7b982020-01-01 17:23:21 +0100124 for (auto CtorDtor : CtorDtors) {
Lang Hames6a941342018-06-26 21:35:48 +0000125 assert(CtorDtor.Func && CtorDtor.Func->hasName() &&
126 "Ctor/Dtor function must be named to be runnable under the JIT");
127
Lang Hamesbf6603e2018-10-09 20:44:32 +0000128 // FIXME: Maybe use a symbol promoter here instead.
129 if (CtorDtor.Func->hasLocalLinkage()) {
130 CtorDtor.Func->setLinkage(GlobalValue::ExternalLinkage);
131 CtorDtor.Func->setVisibility(GlobalValue::HiddenVisibility);
132 }
133
Lang Hames6a941342018-06-26 21:35:48 +0000134 if (CtorDtor.Data && cast<GlobalValue>(CtorDtor.Data)->isDeclaration()) {
135 dbgs() << " Skipping because why now?\n";
136 continue;
137 }
138
139 CtorDtorsByPriority[CtorDtor.Priority].push_back(
140 Mangle(CtorDtor.Func->getName()));
141 }
142}
143
Lang Hames079df9a2018-10-15 22:56:10 +0000144Error CtorDtorRunner::run() {
Lang Hames6a941342018-06-26 21:35:48 +0000145 using CtorDtorTy = void (*)();
146
Lang Hames674df132019-11-25 21:57:27 -0800147 SymbolLookupSet LookupSet;
148 for (auto &KV : CtorDtorsByPriority)
149 for (auto &Name : KV.second)
150 LookupSet.add(Name);
151 assert(!LookupSet.containsDuplicates() &&
152 "Ctor/Dtor list contains duplicates");
Lang Hames6a941342018-06-26 21:35:48 +0000153
Lang Hames7899ccb2018-10-13 21:53:40 +0000154 auto &ES = JD.getExecutionSession();
Lang Hames674df132019-11-25 21:57:27 -0800155 if (auto CtorDtorMap = ES.lookup(
156 makeJITDylibSearchOrder(&JD, JITDylibLookupFlags::MatchAllSymbols),
157 std::move(LookupSet))) {
Lang Hames6a941342018-06-26 21:35:48 +0000158 for (auto &KV : CtorDtorsByPriority) {
159 for (auto &Name : KV.second) {
160 assert(CtorDtorMap->count(Name) && "No entry for Name");
161 auto CtorDtor = reinterpret_cast<CtorDtorTy>(
162 static_cast<uintptr_t>((*CtorDtorMap)[Name].getAddress()));
163 CtorDtor();
164 }
165 }
Lang Hames0dcf69e2019-05-20 21:30:33 +0000166 CtorDtorsByPriority.clear();
Lang Hames6a941342018-06-26 21:35:48 +0000167 return Error::success();
168 } else
169 return CtorDtorMap.takeError();
Lang Hames6a941342018-06-26 21:35:48 +0000170}
171
172void LocalCXXRuntimeOverridesBase::runDestructors() {
Lang Hamesb1cd98a2015-04-02 04:34:45 +0000173 auto& CXXDestructorDataPairs = DSOHandleOverride;
174 for (auto &P : CXXDestructorDataPairs)
175 P.first(P.second);
176 CXXDestructorDataPairs.clear();
177}
178
Lang Hames6a941342018-06-26 21:35:48 +0000179int LocalCXXRuntimeOverridesBase::CXAAtExitOverride(DestructorPtr Destructor,
180 void *Arg,
181 void *DSOHandle) {
Lang Hamesb1cd98a2015-04-02 04:34:45 +0000182 auto& CXXDestructorDataPairs =
183 *reinterpret_cast<CXXDestructorDataPairList*>(DSOHandle);
184 CXXDestructorDataPairs.push_back(std::make_pair(Destructor, Arg));
185 return 0;
186}
187
Lang Hames079df9a2018-10-15 22:56:10 +0000188Error LocalCXXRuntimeOverrides::enable(JITDylib &JD,
Lang Hamesd5f56c52018-08-17 21:18:18 +0000189 MangleAndInterner &Mangle) {
Lang Hames6e66b2a2018-10-15 22:27:02 +0000190 SymbolMap RuntimeInterposes;
191 RuntimeInterposes[Mangle("__dso_handle")] =
192 JITEvaluatedSymbol(toTargetAddress(&DSOHandleOverride),
193 JITSymbolFlags::Exported);
194 RuntimeInterposes[Mangle("__cxa_atexit")] =
195 JITEvaluatedSymbol(toTargetAddress(&CXAAtExitOverride),
196 JITSymbolFlags::Exported);
Lang Hames6a941342018-06-26 21:35:48 +0000197
Lang Hamesd5f56c52018-08-17 21:18:18 +0000198 return JD.define(absoluteSymbols(std::move(RuntimeInterposes)));
Lang Hames6a941342018-06-26 21:35:48 +0000199}
200
Lang Hamesa5157d62018-10-15 05:07:54 +0000201DynamicLibrarySearchGenerator::DynamicLibrarySearchGenerator(
Lang Hames11c8dfa52019-04-20 17:10:34 +0000202 sys::DynamicLibrary Dylib, char GlobalPrefix, SymbolPredicate Allow)
Lang Hames6a941342018-06-26 21:35:48 +0000203 : Dylib(std::move(Dylib)), Allow(std::move(Allow)),
Lang Hames11c8dfa52019-04-20 17:10:34 +0000204 GlobalPrefix(GlobalPrefix) {}
Lang Hames6a941342018-06-26 21:35:48 +0000205
Lang Hames52a34a72019-08-13 16:05:18 +0000206Expected<std::unique_ptr<DynamicLibrarySearchGenerator>>
Lang Hames11c8dfa52019-04-20 17:10:34 +0000207DynamicLibrarySearchGenerator::Load(const char *FileName, char GlobalPrefix,
Lang Hamesa5157d62018-10-15 05:07:54 +0000208 SymbolPredicate Allow) {
Lang Hames47d0a372018-10-01 00:59:28 +0000209 std::string ErrMsg;
210 auto Lib = sys::DynamicLibrary::getPermanentLibrary(FileName, &ErrMsg);
211 if (!Lib.isValid())
212 return make_error<StringError>(std::move(ErrMsg), inconvertibleErrorCode());
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000213 return std::make_unique<DynamicLibrarySearchGenerator>(
Lang Hames52a34a72019-08-13 16:05:18 +0000214 std::move(Lib), GlobalPrefix, std::move(Allow));
Lang Hames47d0a372018-10-01 00:59:28 +0000215}
216
Lang Hames674df132019-11-25 21:57:27 -0800217Error DynamicLibrarySearchGenerator::tryToGenerate(
218 LookupKind K, JITDylib &JD, JITDylibLookupFlags JDLookupFlags,
219 const SymbolLookupSet &Symbols) {
Lang Hames6a941342018-06-26 21:35:48 +0000220 orc::SymbolMap NewSymbols;
221
222 bool HasGlobalPrefix = (GlobalPrefix != '\0');
223
Lang Hames674df132019-11-25 21:57:27 -0800224 for (auto &KV : Symbols) {
225 auto &Name = KV.first;
226
Lang Hamesa5157d62018-10-15 05:07:54 +0000227 if ((*Name).empty())
228 continue;
229
230 if (Allow && !Allow(Name))
Lang Hames6a941342018-06-26 21:35:48 +0000231 continue;
232
233 if (HasGlobalPrefix && (*Name).front() != GlobalPrefix)
234 continue;
235
Lang Hames11c8dfa52019-04-20 17:10:34 +0000236 std::string Tmp((*Name).data() + HasGlobalPrefix,
237 (*Name).size() - HasGlobalPrefix);
Lang Hames6a941342018-06-26 21:35:48 +0000238 if (void *Addr = Dylib.getAddressOfSymbol(Tmp.c_str())) {
Lang Hames6a941342018-06-26 21:35:48 +0000239 NewSymbols[Name] = JITEvaluatedSymbol(
240 static_cast<JITTargetAddress>(reinterpret_cast<uintptr_t>(Addr)),
241 JITSymbolFlags::Exported);
242 }
243 }
244
Lang Hames674df132019-11-25 21:57:27 -0800245 if (NewSymbols.empty())
246 return Error::success();
Lang Hames6a941342018-06-26 21:35:48 +0000247
Lang Hames674df132019-11-25 21:57:27 -0800248 return JD.define(absoluteSymbols(std::move(NewSymbols)));
Lang Hames6a941342018-06-26 21:35:48 +0000249}
250
Lang Hames52a34a72019-08-13 16:05:18 +0000251Expected<std::unique_ptr<StaticLibraryDefinitionGenerator>>
252StaticLibraryDefinitionGenerator::Load(ObjectLayer &L, const char *FileName) {
253 auto ArchiveBuffer = errorOrToExpected(MemoryBuffer::getFile(FileName));
254
255 if (!ArchiveBuffer)
256 return ArchiveBuffer.takeError();
257
258 return Create(L, std::move(*ArchiveBuffer));
259}
260
261Expected<std::unique_ptr<StaticLibraryDefinitionGenerator>>
262StaticLibraryDefinitionGenerator::Create(
263 ObjectLayer &L, std::unique_ptr<MemoryBuffer> ArchiveBuffer) {
264 Error Err = Error::success();
265
266 std::unique_ptr<StaticLibraryDefinitionGenerator> ADG(
267 new StaticLibraryDefinitionGenerator(L, std::move(ArchiveBuffer), Err));
268
269 if (Err)
Bill Wendlingc55cf4a2020-02-10 07:06:45 -0800270 return std::move(Err);
Lang Hames52a34a72019-08-13 16:05:18 +0000271
Bill Wendlingc55cf4a2020-02-10 07:06:45 -0800272 return std::move(ADG);
Lang Hames52a34a72019-08-13 16:05:18 +0000273}
274
Lang Hames674df132019-11-25 21:57:27 -0800275Error StaticLibraryDefinitionGenerator::tryToGenerate(
276 LookupKind K, JITDylib &JD, JITDylibLookupFlags JDLookupFlags,
277 const SymbolLookupSet &Symbols) {
278
279 // Don't materialize symbols from static archives unless this is a static
280 // lookup.
281 if (K != LookupKind::Static)
282 return Error::success();
283
284 // Bail out early if we've already freed the archive.
285 if (!Archive)
286 return Error::success();
Lang Hames52a34a72019-08-13 16:05:18 +0000287
288 DenseSet<std::pair<StringRef, StringRef>> ChildBufferInfos;
Lang Hames52a34a72019-08-13 16:05:18 +0000289
Lang Hames674df132019-11-25 21:57:27 -0800290 for (const auto &KV : Symbols) {
291 const auto &Name = KV.first;
292 auto Child = Archive->findSym(*Name);
Lang Hames52a34a72019-08-13 16:05:18 +0000293 if (!Child)
294 return Child.takeError();
295 if (*Child == None)
296 continue;
297 auto ChildBuffer = (*Child)->getMemoryBufferRef();
298 if (!ChildBuffer)
299 return ChildBuffer.takeError();
300 ChildBufferInfos.insert(
301 {ChildBuffer->getBuffer(), ChildBuffer->getBufferIdentifier()});
Lang Hames52a34a72019-08-13 16:05:18 +0000302 }
303
304 for (auto ChildBufferInfo : ChildBufferInfos) {
305 MemoryBufferRef ChildBufferRef(ChildBufferInfo.first,
306 ChildBufferInfo.second);
307
308 if (auto Err =
309 L.add(JD, MemoryBuffer::getMemBuffer(ChildBufferRef), VModuleKey()))
Lang Hames674df132019-11-25 21:57:27 -0800310 return Err;
Lang Hames52a34a72019-08-13 16:05:18 +0000311 }
312
Lang Hames674df132019-11-25 21:57:27 -0800313 return Error::success();
Lang Hames52a34a72019-08-13 16:05:18 +0000314}
315
316StaticLibraryDefinitionGenerator::StaticLibraryDefinitionGenerator(
317 ObjectLayer &L, std::unique_ptr<MemoryBuffer> ArchiveBuffer, Error &Err)
318 : L(L), ArchiveBuffer(std::move(ArchiveBuffer)),
Lang Hames674df132019-11-25 21:57:27 -0800319 Archive(std::make_unique<object::Archive>(*this->ArchiveBuffer, Err)) {}
Lang Hames52a34a72019-08-13 16:05:18 +0000320
Lang Hamesb1cd98a2015-04-02 04:34:45 +0000321} // End namespace orc.
322} // End namespace llvm.