blob: 195e93966718921f54a2fdefbb618be23b7bb00a [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
11#include "llvm/IR/Constants.h"
12#include "llvm/IR/Function.h"
13#include "llvm/IR/GlobalVariable.h"
14#include "llvm/IR/Module.h"
Lang Hames6a941342018-06-26 21:35:48 +000015#include "llvm/Support/TargetRegistry.h"
16#include "llvm/Target/TargetMachine.h"
Lang Hamesb1cd98a2015-04-02 04:34:45 +000017
18namespace llvm {
19namespace orc {
20
21CtorDtorIterator::CtorDtorIterator(const GlobalVariable *GV, bool End)
22 : InitList(
23 GV ? dyn_cast_or_null<ConstantArray>(GV->getInitializer()) : nullptr),
24 I((InitList && End) ? InitList->getNumOperands() : 0) {
25}
26
27bool CtorDtorIterator::operator==(const CtorDtorIterator &Other) const {
28 assert(InitList == Other.InitList && "Incomparable iterators.");
29 return I == Other.I;
30}
31
32bool CtorDtorIterator::operator!=(const CtorDtorIterator &Other) const {
33 return !(*this == Other);
34}
35
36CtorDtorIterator& CtorDtorIterator::operator++() {
37 ++I;
38 return *this;
39}
40
41CtorDtorIterator CtorDtorIterator::operator++(int) {
42 CtorDtorIterator Temp = *this;
43 ++I;
44 return Temp;
45}
46
47CtorDtorIterator::Element CtorDtorIterator::operator*() const {
48 ConstantStruct *CS = dyn_cast<ConstantStruct>(InitList->getOperand(I));
49 assert(CS && "Unrecognized type in llvm.global_ctors/llvm.global_dtors");
50
51 Constant *FuncC = CS->getOperand(1);
52 Function *Func = nullptr;
53
54 // Extract function pointer, pulling off any casts.
55 while (FuncC) {
56 if (Function *F = dyn_cast_or_null<Function>(FuncC)) {
57 Func = F;
58 break;
59 } else if (ConstantExpr *CE = dyn_cast_or_null<ConstantExpr>(FuncC)) {
60 if (CE->isCast())
61 FuncC = dyn_cast_or_null<ConstantExpr>(CE->getOperand(0));
62 else
63 break;
64 } else {
65 // This isn't anything we recognize. Bail out with Func left set to null.
66 break;
67 }
68 }
69
70 ConstantInt *Priority = dyn_cast<ConstantInt>(CS->getOperand(0));
Lang Hames5721ee42018-03-15 00:30:14 +000071 Value *Data = CS->getNumOperands() == 3 ? CS->getOperand(2) : nullptr;
Lang Hames2f178242018-06-26 22:43:01 +000072 if (Data && !isa<GlobalValue>(Data))
Lang Hames6a941342018-06-26 21:35:48 +000073 Data = nullptr;
Lang Hamesb1cd98a2015-04-02 04:34:45 +000074 return Element(Priority->getZExtValue(), Func, Data);
75}
76
77iterator_range<CtorDtorIterator> getConstructors(const Module &M) {
78 const GlobalVariable *CtorsList = M.getNamedGlobal("llvm.global_ctors");
79 return make_range(CtorDtorIterator(CtorsList, false),
80 CtorDtorIterator(CtorsList, true));
81}
82
83iterator_range<CtorDtorIterator> getDestructors(const Module &M) {
84 const GlobalVariable *DtorsList = M.getNamedGlobal("llvm.global_dtors");
85 return make_range(CtorDtorIterator(DtorsList, false),
86 CtorDtorIterator(DtorsList, true));
87}
88
Lang Hames079df9a2018-10-15 22:56:10 +000089void CtorDtorRunner::add(iterator_range<CtorDtorIterator> CtorDtors) {
Matthias Braun9fd397b2018-10-31 00:23:23 +000090 if (empty(CtorDtors))
Lang Hames6a941342018-06-26 21:35:48 +000091 return;
92
93 MangleAndInterner Mangle(
Lang Hamesd5f56c52018-08-17 21:18:18 +000094 JD.getExecutionSession(),
Lang Hames6a941342018-06-26 21:35:48 +000095 (*CtorDtors.begin()).Func->getParent()->getDataLayout());
96
97 for (const auto &CtorDtor : CtorDtors) {
98 assert(CtorDtor.Func && CtorDtor.Func->hasName() &&
99 "Ctor/Dtor function must be named to be runnable under the JIT");
100
Lang Hamesbf6603e2018-10-09 20:44:32 +0000101 // FIXME: Maybe use a symbol promoter here instead.
102 if (CtorDtor.Func->hasLocalLinkage()) {
103 CtorDtor.Func->setLinkage(GlobalValue::ExternalLinkage);
104 CtorDtor.Func->setVisibility(GlobalValue::HiddenVisibility);
105 }
106
Lang Hames6a941342018-06-26 21:35:48 +0000107 if (CtorDtor.Data && cast<GlobalValue>(CtorDtor.Data)->isDeclaration()) {
108 dbgs() << " Skipping because why now?\n";
109 continue;
110 }
111
112 CtorDtorsByPriority[CtorDtor.Priority].push_back(
113 Mangle(CtorDtor.Func->getName()));
114 }
115}
116
Lang Hames079df9a2018-10-15 22:56:10 +0000117Error CtorDtorRunner::run() {
Lang Hames6a941342018-06-26 21:35:48 +0000118 using CtorDtorTy = void (*)();
119
120 SymbolNameSet Names;
121
122 for (auto &KV : CtorDtorsByPriority) {
123 for (auto &Name : KV.second) {
124 auto Added = Names.insert(Name).second;
125 (void)Added;
126 assert(Added && "Ctor/Dtor names clashed");
127 }
128 }
129
Lang Hames7899ccb2018-10-13 21:53:40 +0000130 auto &ES = JD.getExecutionSession();
Reid Klecknerdb367e92018-10-23 20:54:43 +0000131 if (auto CtorDtorMap =
Lang Hames23cb2e72018-10-23 23:01:39 +0000132 ES.lookup(JITDylibSearchList({{&JD, true}}), std::move(Names),
133 NoDependenciesToRegister, true)) {
Lang Hames6a941342018-06-26 21:35:48 +0000134 for (auto &KV : CtorDtorsByPriority) {
135 for (auto &Name : KV.second) {
136 assert(CtorDtorMap->count(Name) && "No entry for Name");
137 auto CtorDtor = reinterpret_cast<CtorDtorTy>(
138 static_cast<uintptr_t>((*CtorDtorMap)[Name].getAddress()));
139 CtorDtor();
140 }
141 }
142 return Error::success();
143 } else
144 return CtorDtorMap.takeError();
145
146 CtorDtorsByPriority.clear();
Lang Hames8f9dbb12018-06-26 22:30:42 +0000147
148 return Error::success();
Lang Hames6a941342018-06-26 21:35:48 +0000149}
150
151void LocalCXXRuntimeOverridesBase::runDestructors() {
Lang Hamesb1cd98a2015-04-02 04:34:45 +0000152 auto& CXXDestructorDataPairs = DSOHandleOverride;
153 for (auto &P : CXXDestructorDataPairs)
154 P.first(P.second);
155 CXXDestructorDataPairs.clear();
156}
157
Lang Hames6a941342018-06-26 21:35:48 +0000158int LocalCXXRuntimeOverridesBase::CXAAtExitOverride(DestructorPtr Destructor,
159 void *Arg,
160 void *DSOHandle) {
Lang Hamesb1cd98a2015-04-02 04:34:45 +0000161 auto& CXXDestructorDataPairs =
162 *reinterpret_cast<CXXDestructorDataPairList*>(DSOHandle);
163 CXXDestructorDataPairs.push_back(std::make_pair(Destructor, Arg));
164 return 0;
165}
166
Lang Hames079df9a2018-10-15 22:56:10 +0000167Error LocalCXXRuntimeOverrides::enable(JITDylib &JD,
Lang Hamesd5f56c52018-08-17 21:18:18 +0000168 MangleAndInterner &Mangle) {
Lang Hames6e66b2a2018-10-15 22:27:02 +0000169 SymbolMap RuntimeInterposes;
170 RuntimeInterposes[Mangle("__dso_handle")] =
171 JITEvaluatedSymbol(toTargetAddress(&DSOHandleOverride),
172 JITSymbolFlags::Exported);
173 RuntimeInterposes[Mangle("__cxa_atexit")] =
174 JITEvaluatedSymbol(toTargetAddress(&CXAAtExitOverride),
175 JITSymbolFlags::Exported);
Lang Hames6a941342018-06-26 21:35:48 +0000176
Lang Hamesd5f56c52018-08-17 21:18:18 +0000177 return JD.define(absoluteSymbols(std::move(RuntimeInterposes)));
Lang Hames6a941342018-06-26 21:35:48 +0000178}
179
Lang Hamesa5157d62018-10-15 05:07:54 +0000180DynamicLibrarySearchGenerator::DynamicLibrarySearchGenerator(
Lang Hames11c8dfa52019-04-20 17:10:34 +0000181 sys::DynamicLibrary Dylib, char GlobalPrefix, SymbolPredicate Allow)
Lang Hames6a941342018-06-26 21:35:48 +0000182 : Dylib(std::move(Dylib)), Allow(std::move(Allow)),
Lang Hames11c8dfa52019-04-20 17:10:34 +0000183 GlobalPrefix(GlobalPrefix) {}
Lang Hames6a941342018-06-26 21:35:48 +0000184
Lang Hamesa5157d62018-10-15 05:07:54 +0000185Expected<DynamicLibrarySearchGenerator>
Lang Hames11c8dfa52019-04-20 17:10:34 +0000186DynamicLibrarySearchGenerator::Load(const char *FileName, char GlobalPrefix,
Lang Hamesa5157d62018-10-15 05:07:54 +0000187 SymbolPredicate Allow) {
Lang Hames47d0a372018-10-01 00:59:28 +0000188 std::string ErrMsg;
189 auto Lib = sys::DynamicLibrary::getPermanentLibrary(FileName, &ErrMsg);
190 if (!Lib.isValid())
191 return make_error<StringError>(std::move(ErrMsg), inconvertibleErrorCode());
Lang Hames11c8dfa52019-04-20 17:10:34 +0000192 return DynamicLibrarySearchGenerator(std::move(Lib), GlobalPrefix,
193 std::move(Allow));
Lang Hames47d0a372018-10-01 00:59:28 +0000194}
195
Lang Hamesa5157d62018-10-15 05:07:54 +0000196SymbolNameSet DynamicLibrarySearchGenerator::
Lang Hamesd5f56c52018-08-17 21:18:18 +0000197operator()(JITDylib &JD, const SymbolNameSet &Names) {
Lang Hames6a941342018-06-26 21:35:48 +0000198 orc::SymbolNameSet Added;
199 orc::SymbolMap NewSymbols;
200
201 bool HasGlobalPrefix = (GlobalPrefix != '\0');
202
203 for (auto &Name : Names) {
Lang Hamesa5157d62018-10-15 05:07:54 +0000204 if ((*Name).empty())
205 continue;
206
207 if (Allow && !Allow(Name))
Lang Hames6a941342018-06-26 21:35:48 +0000208 continue;
209
210 if (HasGlobalPrefix && (*Name).front() != GlobalPrefix)
211 continue;
212
Lang Hames11c8dfa52019-04-20 17:10:34 +0000213 std::string Tmp((*Name).data() + HasGlobalPrefix,
214 (*Name).size() - HasGlobalPrefix);
Lang Hames6a941342018-06-26 21:35:48 +0000215 if (void *Addr = Dylib.getAddressOfSymbol(Tmp.c_str())) {
216 Added.insert(Name);
217 NewSymbols[Name] = JITEvaluatedSymbol(
218 static_cast<JITTargetAddress>(reinterpret_cast<uintptr_t>(Addr)),
219 JITSymbolFlags::Exported);
220 }
221 }
222
Lang Hamesa5157d62018-10-15 05:07:54 +0000223 // Add any new symbols to JD. Since the generator is only called for symbols
224 // that are not already defined, this will never trigger a duplicate
Lang Hames6a941342018-06-26 21:35:48 +0000225 // definition error, so we can wrap this call in a 'cantFail'.
226 if (!NewSymbols.empty())
Lang Hamesd5f56c52018-08-17 21:18:18 +0000227 cantFail(JD.define(absoluteSymbols(std::move(NewSymbols))));
Lang Hames6a941342018-06-26 21:35:48 +0000228
229 return Added;
230}
231
Lang Hamesb1cd98a2015-04-02 04:34:45 +0000232} // End namespace orc.
233} // End namespace llvm.