blob: 4a3482242dbc7986c90390571a266c349fa695cb [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
22CtorDtorIterator::CtorDtorIterator(const GlobalVariable *GV, bool End)
23 : InitList(
24 GV ? dyn_cast_or_null<ConstantArray>(GV->getInitializer()) : nullptr),
25 I((InitList && End) ? InitList->getNumOperands() : 0) {
26}
27
28bool CtorDtorIterator::operator==(const CtorDtorIterator &Other) const {
29 assert(InitList == Other.InitList && "Incomparable iterators.");
30 return I == Other.I;
31}
32
33bool CtorDtorIterator::operator!=(const CtorDtorIterator &Other) const {
34 return !(*this == Other);
35}
36
37CtorDtorIterator& CtorDtorIterator::operator++() {
38 ++I;
39 return *this;
40}
41
42CtorDtorIterator CtorDtorIterator::operator++(int) {
43 CtorDtorIterator Temp = *this;
44 ++I;
45 return Temp;
46}
47
48CtorDtorIterator::Element CtorDtorIterator::operator*() const {
49 ConstantStruct *CS = dyn_cast<ConstantStruct>(InitList->getOperand(I));
50 assert(CS && "Unrecognized type in llvm.global_ctors/llvm.global_dtors");
51
52 Constant *FuncC = CS->getOperand(1);
53 Function *Func = nullptr;
54
55 // Extract function pointer, pulling off any casts.
56 while (FuncC) {
57 if (Function *F = dyn_cast_or_null<Function>(FuncC)) {
58 Func = F;
59 break;
60 } else if (ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(FuncC)) {
61 if (CE->isCast())
62 FuncC = dyn_cast_or_null<ConstantExpr>(CE->getOperand(0));
63 else
64 break;
65 } else {
66 // This isn't anything we recognize. Bail out with Func left set to null.
67 break;
68 }
69 }
70
Simon Pilgrim7efa6e32019-09-24 12:43:55 +000071 auto *Priority = cast<ConstantInt>(CS->getOperand(0));
Lang Hames5721ee42018-03-15 00:30:14 +000072 Value *Data = CS->getNumOperands() == 3 ? CS->getOperand(2) : nullptr;
Lang Hames2f178242018-06-26 22:43:01 +000073 if (Data && !isa<GlobalValue>(Data))
Lang Hames6a941342018-06-26 21:35:48 +000074 Data = nullptr;
Lang Hamesb1cd98a2015-04-02 04:34:45 +000075 return Element(Priority->getZExtValue(), Func, Data);
76}
77
78iterator_range<CtorDtorIterator> getConstructors(const Module &M) {
79 const GlobalVariable *CtorsList = M.getNamedGlobal("llvm.global_ctors");
80 return make_range(CtorDtorIterator(CtorsList, false),
81 CtorDtorIterator(CtorsList, true));
82}
83
84iterator_range<CtorDtorIterator> getDestructors(const Module &M) {
85 const GlobalVariable *DtorsList = M.getNamedGlobal("llvm.global_dtors");
86 return make_range(CtorDtorIterator(DtorsList, false),
87 CtorDtorIterator(DtorsList, true));
88}
89
Lang Hames079df9a2018-10-15 22:56:10 +000090void CtorDtorRunner::add(iterator_range<CtorDtorIterator> CtorDtors) {
Jordan Rosefdaa7422019-10-07 18:14:24 +000091 if (CtorDtors.empty())
Lang Hames6a941342018-06-26 21:35:48 +000092 return;
93
94 MangleAndInterner Mangle(
Lang Hamesd5f56c52018-08-17 21:18:18 +000095 JD.getExecutionSession(),
Lang Hames6a941342018-06-26 21:35:48 +000096 (*CtorDtors.begin()).Func->getParent()->getDataLayout());
97
98 for (const auto &CtorDtor : CtorDtors) {
99 assert(CtorDtor.Func && CtorDtor.Func->hasName() &&
100 "Ctor/Dtor function must be named to be runnable under the JIT");
101
Lang Hamesbf6603e2018-10-09 20:44:32 +0000102 // FIXME: Maybe use a symbol promoter here instead.
103 if (CtorDtor.Func->hasLocalLinkage()) {
104 CtorDtor.Func->setLinkage(GlobalValue::ExternalLinkage);
105 CtorDtor.Func->setVisibility(GlobalValue::HiddenVisibility);
106 }
107
Lang Hames6a941342018-06-26 21:35:48 +0000108 if (CtorDtor.Data && cast<GlobalValue>(CtorDtor.Data)->isDeclaration()) {
109 dbgs() << " Skipping because why now?\n";
110 continue;
111 }
112
113 CtorDtorsByPriority[CtorDtor.Priority].push_back(
114 Mangle(CtorDtor.Func->getName()));
115 }
116}
117
Lang Hames079df9a2018-10-15 22:56:10 +0000118Error CtorDtorRunner::run() {
Lang Hames6a941342018-06-26 21:35:48 +0000119 using CtorDtorTy = void (*)();
120
Lang Hames674df132019-11-25 21:57:27 -0800121 SymbolLookupSet LookupSet;
122 for (auto &KV : CtorDtorsByPriority)
123 for (auto &Name : KV.second)
124 LookupSet.add(Name);
125 assert(!LookupSet.containsDuplicates() &&
126 "Ctor/Dtor list contains duplicates");
Lang Hames6a941342018-06-26 21:35:48 +0000127
Lang Hames7899ccb2018-10-13 21:53:40 +0000128 auto &ES = JD.getExecutionSession();
Lang Hames674df132019-11-25 21:57:27 -0800129 if (auto CtorDtorMap = ES.lookup(
130 makeJITDylibSearchOrder(&JD, JITDylibLookupFlags::MatchAllSymbols),
131 std::move(LookupSet))) {
Lang Hames6a941342018-06-26 21:35:48 +0000132 for (auto &KV : CtorDtorsByPriority) {
133 for (auto &Name : KV.second) {
134 assert(CtorDtorMap->count(Name) && "No entry for Name");
135 auto CtorDtor = reinterpret_cast<CtorDtorTy>(
136 static_cast<uintptr_t>((*CtorDtorMap)[Name].getAddress()));
137 CtorDtor();
138 }
139 }
Lang Hames0dcf69e2019-05-20 21:30:33 +0000140 CtorDtorsByPriority.clear();
Lang Hames6a941342018-06-26 21:35:48 +0000141 return Error::success();
142 } else
143 return CtorDtorMap.takeError();
Lang Hames6a941342018-06-26 21:35:48 +0000144}
145
146void LocalCXXRuntimeOverridesBase::runDestructors() {
Lang Hamesb1cd98a2015-04-02 04:34:45 +0000147 auto& CXXDestructorDataPairs = DSOHandleOverride;
148 for (auto &P : CXXDestructorDataPairs)
149 P.first(P.second);
150 CXXDestructorDataPairs.clear();
151}
152
Lang Hames6a941342018-06-26 21:35:48 +0000153int LocalCXXRuntimeOverridesBase::CXAAtExitOverride(DestructorPtr Destructor,
154 void *Arg,
155 void *DSOHandle) {
Lang Hamesb1cd98a2015-04-02 04:34:45 +0000156 auto& CXXDestructorDataPairs =
157 *reinterpret_cast<CXXDestructorDataPairList*>(DSOHandle);
158 CXXDestructorDataPairs.push_back(std::make_pair(Destructor, Arg));
159 return 0;
160}
161
Lang Hames079df9a2018-10-15 22:56:10 +0000162Error LocalCXXRuntimeOverrides::enable(JITDylib &JD,
Lang Hamesd5f56c52018-08-17 21:18:18 +0000163 MangleAndInterner &Mangle) {
Lang Hames6e66b2a2018-10-15 22:27:02 +0000164 SymbolMap RuntimeInterposes;
165 RuntimeInterposes[Mangle("__dso_handle")] =
166 JITEvaluatedSymbol(toTargetAddress(&DSOHandleOverride),
167 JITSymbolFlags::Exported);
168 RuntimeInterposes[Mangle("__cxa_atexit")] =
169 JITEvaluatedSymbol(toTargetAddress(&CXAAtExitOverride),
170 JITSymbolFlags::Exported);
Lang Hames6a941342018-06-26 21:35:48 +0000171
Lang Hamesd5f56c52018-08-17 21:18:18 +0000172 return JD.define(absoluteSymbols(std::move(RuntimeInterposes)));
Lang Hames6a941342018-06-26 21:35:48 +0000173}
174
Lang Hamesa5157d62018-10-15 05:07:54 +0000175DynamicLibrarySearchGenerator::DynamicLibrarySearchGenerator(
Lang Hames11c8dfa52019-04-20 17:10:34 +0000176 sys::DynamicLibrary Dylib, char GlobalPrefix, SymbolPredicate Allow)
Lang Hames6a941342018-06-26 21:35:48 +0000177 : Dylib(std::move(Dylib)), Allow(std::move(Allow)),
Lang Hames11c8dfa52019-04-20 17:10:34 +0000178 GlobalPrefix(GlobalPrefix) {}
Lang Hames6a941342018-06-26 21:35:48 +0000179
Lang Hames52a34a72019-08-13 16:05:18 +0000180Expected<std::unique_ptr<DynamicLibrarySearchGenerator>>
Lang Hames11c8dfa52019-04-20 17:10:34 +0000181DynamicLibrarySearchGenerator::Load(const char *FileName, char GlobalPrefix,
Lang Hamesa5157d62018-10-15 05:07:54 +0000182 SymbolPredicate Allow) {
Lang Hames47d0a372018-10-01 00:59:28 +0000183 std::string ErrMsg;
184 auto Lib = sys::DynamicLibrary::getPermanentLibrary(FileName, &ErrMsg);
185 if (!Lib.isValid())
186 return make_error<StringError>(std::move(ErrMsg), inconvertibleErrorCode());
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000187 return std::make_unique<DynamicLibrarySearchGenerator>(
Lang Hames52a34a72019-08-13 16:05:18 +0000188 std::move(Lib), GlobalPrefix, std::move(Allow));
Lang Hames47d0a372018-10-01 00:59:28 +0000189}
190
Lang Hames674df132019-11-25 21:57:27 -0800191Error DynamicLibrarySearchGenerator::tryToGenerate(
192 LookupKind K, JITDylib &JD, JITDylibLookupFlags JDLookupFlags,
193 const SymbolLookupSet &Symbols) {
Lang Hames6a941342018-06-26 21:35:48 +0000194 orc::SymbolMap NewSymbols;
195
196 bool HasGlobalPrefix = (GlobalPrefix != '\0');
197
Lang Hames674df132019-11-25 21:57:27 -0800198 for (auto &KV : Symbols) {
199 auto &Name = KV.first;
200
Lang Hamesa5157d62018-10-15 05:07:54 +0000201 if ((*Name).empty())
202 continue;
203
204 if (Allow && !Allow(Name))
Lang Hames6a941342018-06-26 21:35:48 +0000205 continue;
206
207 if (HasGlobalPrefix && (*Name).front() != GlobalPrefix)
208 continue;
209
Lang Hames11c8dfa52019-04-20 17:10:34 +0000210 std::string Tmp((*Name).data() + HasGlobalPrefix,
211 (*Name).size() - HasGlobalPrefix);
Lang Hames6a941342018-06-26 21:35:48 +0000212 if (void *Addr = Dylib.getAddressOfSymbol(Tmp.c_str())) {
Lang Hames6a941342018-06-26 21:35:48 +0000213 NewSymbols[Name] = JITEvaluatedSymbol(
214 static_cast<JITTargetAddress>(reinterpret_cast<uintptr_t>(Addr)),
215 JITSymbolFlags::Exported);
216 }
217 }
218
Lang Hames674df132019-11-25 21:57:27 -0800219 if (NewSymbols.empty())
220 return Error::success();
Lang Hames6a941342018-06-26 21:35:48 +0000221
Lang Hames674df132019-11-25 21:57:27 -0800222 return JD.define(absoluteSymbols(std::move(NewSymbols)));
Lang Hames6a941342018-06-26 21:35:48 +0000223}
224
Lang Hames52a34a72019-08-13 16:05:18 +0000225Expected<std::unique_ptr<StaticLibraryDefinitionGenerator>>
226StaticLibraryDefinitionGenerator::Load(ObjectLayer &L, const char *FileName) {
227 auto ArchiveBuffer = errorOrToExpected(MemoryBuffer::getFile(FileName));
228
229 if (!ArchiveBuffer)
230 return ArchiveBuffer.takeError();
231
232 return Create(L, std::move(*ArchiveBuffer));
233}
234
235Expected<std::unique_ptr<StaticLibraryDefinitionGenerator>>
236StaticLibraryDefinitionGenerator::Create(
237 ObjectLayer &L, std::unique_ptr<MemoryBuffer> ArchiveBuffer) {
238 Error Err = Error::success();
239
240 std::unique_ptr<StaticLibraryDefinitionGenerator> ADG(
241 new StaticLibraryDefinitionGenerator(L, std::move(ArchiveBuffer), Err));
242
243 if (Err)
244 return std::move(Err);
245
246 return std::move(ADG);
247}
248
Lang Hames674df132019-11-25 21:57:27 -0800249Error StaticLibraryDefinitionGenerator::tryToGenerate(
250 LookupKind K, JITDylib &JD, JITDylibLookupFlags JDLookupFlags,
251 const SymbolLookupSet &Symbols) {
252
253 // Don't materialize symbols from static archives unless this is a static
254 // lookup.
255 if (K != LookupKind::Static)
256 return Error::success();
257
258 // Bail out early if we've already freed the archive.
259 if (!Archive)
260 return Error::success();
Lang Hames52a34a72019-08-13 16:05:18 +0000261
262 DenseSet<std::pair<StringRef, StringRef>> ChildBufferInfos;
Lang Hames52a34a72019-08-13 16:05:18 +0000263
Lang Hames674df132019-11-25 21:57:27 -0800264 for (const auto &KV : Symbols) {
265 const auto &Name = KV.first;
266 auto Child = Archive->findSym(*Name);
Lang Hames52a34a72019-08-13 16:05:18 +0000267 if (!Child)
268 return Child.takeError();
269 if (*Child == None)
270 continue;
271 auto ChildBuffer = (*Child)->getMemoryBufferRef();
272 if (!ChildBuffer)
273 return ChildBuffer.takeError();
274 ChildBufferInfos.insert(
275 {ChildBuffer->getBuffer(), ChildBuffer->getBufferIdentifier()});
Lang Hames52a34a72019-08-13 16:05:18 +0000276 }
277
278 for (auto ChildBufferInfo : ChildBufferInfos) {
279 MemoryBufferRef ChildBufferRef(ChildBufferInfo.first,
280 ChildBufferInfo.second);
281
282 if (auto Err =
283 L.add(JD, MemoryBuffer::getMemBuffer(ChildBufferRef), VModuleKey()))
Lang Hames674df132019-11-25 21:57:27 -0800284 return Err;
Lang Hames52a34a72019-08-13 16:05:18 +0000285 }
286
Lang Hames674df132019-11-25 21:57:27 -0800287 return Error::success();
Lang Hames52a34a72019-08-13 16:05:18 +0000288}
289
290StaticLibraryDefinitionGenerator::StaticLibraryDefinitionGenerator(
291 ObjectLayer &L, std::unique_ptr<MemoryBuffer> ArchiveBuffer, Error &Err)
292 : L(L), ArchiveBuffer(std::move(ArchiveBuffer)),
Lang Hames674df132019-11-25 21:57:27 -0800293 Archive(std::make_unique<object::Archive>(*this->ArchiveBuffer, Err)) {}
Lang Hames52a34a72019-08-13 16:05:18 +0000294
Lang Hamesb1cd98a2015-04-02 04:34:45 +0000295} // End namespace orc.
296} // End namespace llvm.