blob: d4270b5aa79671e2707ebb2980aa377072305668 [file] [log] [blame]
Lang Hames11c8dfa52019-04-20 17:10:34 +00001//===--------- JITLinkGeneric.cpp - Generic JIT linker utilities ----------===//
2//
3// 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
6//
7//===----------------------------------------------------------------------===//
8//
9// Generic JITLinker utility class.
10//
11//===----------------------------------------------------------------------===//
12
13#include "JITLinkGeneric.h"
Lang Hames11c8dfa52019-04-20 17:10:34 +000014
15#include "llvm/Support/BinaryStreamReader.h"
16#include "llvm/Support/MemoryBuffer.h"
17
18#define DEBUG_TYPE "jitlink"
19
20namespace llvm {
21namespace jitlink {
22
23JITLinkerBase::~JITLinkerBase() {}
24
25void JITLinkerBase::linkPhase1(std::unique_ptr<JITLinkerBase> Self) {
26
Lang Hames4e920e52019-10-04 03:55:26 +000027 // Build the link graph.
Lang Hames11c8dfa52019-04-20 17:10:34 +000028 if (auto GraphOrErr = buildGraph(Ctx->getObjectBuffer()))
29 G = std::move(*GraphOrErr);
30 else
31 return Ctx->notifyFailed(GraphOrErr.takeError());
32 assert(G && "Graph should have been created by buildGraph above");
33
34 // Prune and optimize the graph.
Lang Hames4e920e52019-10-04 03:55:26 +000035 if (auto Err = runPasses(Passes.PrePrunePasses))
Lang Hames11c8dfa52019-04-20 17:10:34 +000036 return Ctx->notifyFailed(std::move(Err));
37
38 LLVM_DEBUG({
Lang Hames4e920e52019-10-04 03:55:26 +000039 dbgs() << "Link graph \"" << G->getName() << "\" pre-pruning:\n";
Lang Hames11c8dfa52019-04-20 17:10:34 +000040 dumpGraph(dbgs());
41 });
42
43 prune(*G);
44
45 LLVM_DEBUG({
Lang Hames4e920e52019-10-04 03:55:26 +000046 dbgs() << "Link graph \"" << G->getName() << "\" post-pruning:\n";
Lang Hames11c8dfa52019-04-20 17:10:34 +000047 dumpGraph(dbgs());
48 });
49
50 // Run post-pruning passes.
Lang Hames4e920e52019-10-04 03:55:26 +000051 if (auto Err = runPasses(Passes.PostPrunePasses))
Lang Hames11c8dfa52019-04-20 17:10:34 +000052 return Ctx->notifyFailed(std::move(Err));
53
Lang Hames4e920e52019-10-04 03:55:26 +000054 // Sort blocks into segments.
55 auto Layout = layOutBlocks();
Lang Hames11c8dfa52019-04-20 17:10:34 +000056
57 // Allocate memory for segments.
58 if (auto Err = allocateSegments(Layout))
59 return Ctx->notifyFailed(std::move(Err));
60
Lang Hames4e920e52019-10-04 03:55:26 +000061 // Notify client that the defined symbols have been assigned addresses.
Lang Hames11c8dfa52019-04-20 17:10:34 +000062 Ctx->notifyResolved(*G);
63
64 auto ExternalSymbols = getExternalSymbolNames();
65
66 // We're about to hand off ownership of ourself to the continuation. Grab a
67 // pointer to the context so that we can call it to initiate the lookup.
68 //
69 // FIXME: Once callee expressions are defined to be sequenced before argument
70 // expressions (c++17) we can simplify all this to:
71 //
72 // Ctx->lookup(std::move(UnresolvedExternals),
73 // [Self=std::move(Self)](Expected<AsyncLookupResult> Result) {
74 // Self->linkPhase2(std::move(Self), std::move(Result));
75 // });
Lang Hames11c8dfa52019-04-20 17:10:34 +000076 auto *TmpCtx = Ctx.get();
Lang Hames4e920e52019-10-04 03:55:26 +000077 TmpCtx->lookup(std::move(ExternalSymbols),
78 createLookupContinuation(
79 [S = std::move(Self), L = std::move(Layout)](
80 Expected<AsyncLookupResult> LookupResult) mutable {
81 auto &TmpSelf = *S;
82 TmpSelf.linkPhase2(std::move(S), std::move(LookupResult),
83 std::move(L));
84 }));
Lang Hames11c8dfa52019-04-20 17:10:34 +000085}
86
87void JITLinkerBase::linkPhase2(std::unique_ptr<JITLinkerBase> Self,
Lang Hames4e920e52019-10-04 03:55:26 +000088 Expected<AsyncLookupResult> LR,
89 SegmentLayoutMap Layout) {
Lang Hames11c8dfa52019-04-20 17:10:34 +000090 // If the lookup failed, bail out.
91 if (!LR)
Lang Hames3181b872019-05-01 02:43:52 +000092 return deallocateAndBailOut(LR.takeError());
Lang Hames11c8dfa52019-04-20 17:10:34 +000093
Lang Hames4e920e52019-10-04 03:55:26 +000094 // Assign addresses to external addressables.
Lang Hames11c8dfa52019-04-20 17:10:34 +000095 applyLookupResult(*LR);
96
97 LLVM_DEBUG({
Lang Hames4e920e52019-10-04 03:55:26 +000098 dbgs() << "Link graph \"" << G->getName() << "\" before copy-and-fixup:\n";
Lang Hames11c8dfa52019-04-20 17:10:34 +000099 dumpGraph(dbgs());
100 });
101
Lang Hames4e920e52019-10-04 03:55:26 +0000102 // Copy block content to working memory and fix up.
103 if (auto Err = copyAndFixUpBlocks(Layout, *Alloc))
Lang Hames3181b872019-05-01 02:43:52 +0000104 return deallocateAndBailOut(std::move(Err));
Lang Hames11c8dfa52019-04-20 17:10:34 +0000105
106 LLVM_DEBUG({
Lang Hames4e920e52019-10-04 03:55:26 +0000107 dbgs() << "Link graph \"" << G->getName() << "\" after copy-and-fixup:\n";
Lang Hames11c8dfa52019-04-20 17:10:34 +0000108 dumpGraph(dbgs());
109 });
110
Lang Hames4e920e52019-10-04 03:55:26 +0000111 if (auto Err = runPasses(Passes.PostFixupPasses))
Lang Hames3181b872019-05-01 02:43:52 +0000112 return deallocateAndBailOut(std::move(Err));
Lang Hames11c8dfa52019-04-20 17:10:34 +0000113
114 // FIXME: Use move capture once we have c++14.
115 auto *UnownedSelf = Self.release();
116 auto Phase3Continuation = [UnownedSelf](Error Err) {
117 std::unique_ptr<JITLinkerBase> Self(UnownedSelf);
118 UnownedSelf->linkPhase3(std::move(Self), std::move(Err));
119 };
120
121 Alloc->finalizeAsync(std::move(Phase3Continuation));
122}
123
124void JITLinkerBase::linkPhase3(std::unique_ptr<JITLinkerBase> Self, Error Err) {
125 if (Err)
Lang Hames3181b872019-05-01 02:43:52 +0000126 return deallocateAndBailOut(std::move(Err));
Lang Hames11c8dfa52019-04-20 17:10:34 +0000127 Ctx->notifyFinalized(std::move(Alloc));
128}
129
Lang Hames4e920e52019-10-04 03:55:26 +0000130Error JITLinkerBase::runPasses(LinkGraphPassList &Passes) {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000131 for (auto &P : Passes)
Lang Hames4e920e52019-10-04 03:55:26 +0000132 if (auto Err = P(*G))
Lang Hames11c8dfa52019-04-20 17:10:34 +0000133 return Err;
134 return Error::success();
135}
136
Lang Hames4e920e52019-10-04 03:55:26 +0000137JITLinkerBase::SegmentLayoutMap JITLinkerBase::layOutBlocks() {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000138
Lang Hames4e920e52019-10-04 03:55:26 +0000139 SegmentLayoutMap Layout;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000140
Lang Hames4e920e52019-10-04 03:55:26 +0000141 /// Partition blocks based on permissions and content vs. zero-fill.
142 for (auto *B : G->blocks()) {
143 auto &SegLists = Layout[B->getSection().getProtectionFlags()];
144 if (!B->isZeroFill())
145 SegLists.ContentBlocks.push_back(B);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000146 else
Lang Hames4e920e52019-10-04 03:55:26 +0000147 SegLists.ZeroFillBlocks.push_back(B);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000148 }
149
Lang Hames4e920e52019-10-04 03:55:26 +0000150 /// Sort blocks within each list.
Lang Hames11c8dfa52019-04-20 17:10:34 +0000151 for (auto &KV : Layout) {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000152
Lang Hames4e920e52019-10-04 03:55:26 +0000153 auto CompareBlocks = [](const Block *LHS, const Block *RHS) {
154 if (LHS->getSection().getOrdinal() != RHS->getSection().getOrdinal())
155 return LHS->getSection().getOrdinal() < RHS->getSection().getOrdinal();
156 return LHS->getOrdinal() < RHS->getOrdinal();
157 };
Lang Hames0d8ae1e2019-05-07 22:56:40 +0000158
Lang Hames4e920e52019-10-04 03:55:26 +0000159 auto &SegLists = KV.second;
160 llvm::sort(SegLists.ContentBlocks, CompareBlocks);
161 llvm::sort(SegLists.ZeroFillBlocks, CompareBlocks);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000162 }
163
164 LLVM_DEBUG({
165 dbgs() << "Segment ordering:\n";
166 for (auto &KV : Layout) {
167 dbgs() << " Segment "
168 << static_cast<sys::Memory::ProtectionFlags>(KV.first) << ":\n";
169 auto &SL = KV.second;
170 for (auto &SIEntry :
Lang Hames4e920e52019-10-04 03:55:26 +0000171 {std::make_pair(&SL.ContentBlocks, "content block"),
172 std::make_pair(&SL.ZeroFillBlocks, "zero-fill block")}) {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000173 dbgs() << " " << SIEntry.second << ":\n";
Lang Hames4e920e52019-10-04 03:55:26 +0000174 for (auto *B : *SIEntry.first)
175 dbgs() << " " << *B << "\n";
Lang Hames11c8dfa52019-04-20 17:10:34 +0000176 }
177 }
178 });
Lang Hames4e920e52019-10-04 03:55:26 +0000179
180 return Layout;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000181}
182
183Error JITLinkerBase::allocateSegments(const SegmentLayoutMap &Layout) {
184
185 // Compute segment sizes and allocate memory.
186 LLVM_DEBUG(dbgs() << "JIT linker requesting: { ");
187 JITLinkMemoryManager::SegmentsRequestMap Segments;
188 for (auto &KV : Layout) {
189 auto &Prot = KV.first;
Lang Hames4e920e52019-10-04 03:55:26 +0000190 auto &SegLists = KV.second;
191
192 uint64_t SegAlign = 1;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000193
194 // Calculate segment content size.
195 size_t SegContentSize = 0;
Lang Hames4e920e52019-10-04 03:55:26 +0000196 for (auto *B : SegLists.ContentBlocks) {
197 SegAlign = std::max(SegAlign, B->getAlignment());
198 SegContentSize = alignToBlock(SegContentSize, *B);
199 SegContentSize += B->getSize();
Lang Hames11c8dfa52019-04-20 17:10:34 +0000200 }
201
Lang Hames4e920e52019-10-04 03:55:26 +0000202 uint64_t SegZeroFillStart = SegContentSize;
203 uint64_t SegZeroFillEnd = SegZeroFillStart;
Lang Hames70e158e2019-08-27 15:22:23 +0000204
Lang Hames4e920e52019-10-04 03:55:26 +0000205 for (auto *B : SegLists.ZeroFillBlocks) {
206 SegAlign = std::max(SegAlign, B->getAlignment());
207 SegZeroFillEnd = alignToBlock(SegZeroFillEnd, *B);
208 SegZeroFillEnd += B->getSize();
Lang Hames11c8dfa52019-04-20 17:10:34 +0000209 }
210
Lang Hames4e920e52019-10-04 03:55:26 +0000211 Segments[Prot] = {SegAlign, SegContentSize,
212 SegZeroFillEnd - SegZeroFillStart};
Lang Hames11c8dfa52019-04-20 17:10:34 +0000213
214 LLVM_DEBUG({
215 dbgs() << (&KV == &*Layout.begin() ? "" : "; ")
Lang Hames4e920e52019-10-04 03:55:26 +0000216 << static_cast<sys::Memory::ProtectionFlags>(Prot)
217 << ": alignment = " << SegAlign
218 << ", content size = " << SegContentSize
219 << ", zero-fill size = " << (SegZeroFillEnd - SegZeroFillStart);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000220 });
221 }
222 LLVM_DEBUG(dbgs() << " }\n");
223
224 if (auto AllocOrErr = Ctx->getMemoryManager().allocate(Segments))
225 Alloc = std::move(*AllocOrErr);
226 else
227 return AllocOrErr.takeError();
228
229 LLVM_DEBUG({
230 dbgs() << "JIT linker got working memory:\n";
231 for (auto &KV : Layout) {
232 auto Prot = static_cast<sys::Memory::ProtectionFlags>(KV.first);
233 dbgs() << " " << Prot << ": "
234 << (const void *)Alloc->getWorkingMemory(Prot).data() << "\n";
235 }
236 });
237
Lang Hames4e920e52019-10-04 03:55:26 +0000238 // Update block target addresses.
Lang Hames11c8dfa52019-04-20 17:10:34 +0000239 for (auto &KV : Layout) {
240 auto &Prot = KV.first;
241 auto &SL = KV.second;
242
Lang Hames4e920e52019-10-04 03:55:26 +0000243 JITTargetAddress NextBlockAddr =
Lang Hames11c8dfa52019-04-20 17:10:34 +0000244 Alloc->getTargetMemory(static_cast<sys::Memory::ProtectionFlags>(Prot));
245
Lang Hames4e920e52019-10-04 03:55:26 +0000246 for (auto *SIList : {&SL.ContentBlocks, &SL.ZeroFillBlocks})
247 for (auto *B : *SIList) {
248 NextBlockAddr = alignToBlock(NextBlockAddr, *B);
249 B->setAddress(NextBlockAddr);
250 NextBlockAddr += B->getSize();
Lang Hames45139292019-05-13 04:51:31 +0000251 }
Lang Hames11c8dfa52019-04-20 17:10:34 +0000252 }
253
254 return Error::success();
255}
256
257DenseSet<StringRef> JITLinkerBase::getExternalSymbolNames() const {
Lang Hames4e920e52019-10-04 03:55:26 +0000258 // Identify unresolved external symbols.
Lang Hames11c8dfa52019-04-20 17:10:34 +0000259 DenseSet<StringRef> UnresolvedExternals;
Lang Hames4e920e52019-10-04 03:55:26 +0000260 for (auto *Sym : G->external_symbols()) {
261 assert(Sym->getAddress() == 0 &&
Lang Hames11c8dfa52019-04-20 17:10:34 +0000262 "External has already been assigned an address");
Lang Hames4e920e52019-10-04 03:55:26 +0000263 assert(Sym->getName() != StringRef() && Sym->getName() != "" &&
Lang Hames11c8dfa52019-04-20 17:10:34 +0000264 "Externals must be named");
Lang Hames4e920e52019-10-04 03:55:26 +0000265 UnresolvedExternals.insert(Sym->getName());
Lang Hames11c8dfa52019-04-20 17:10:34 +0000266 }
267 return UnresolvedExternals;
268}
269
270void JITLinkerBase::applyLookupResult(AsyncLookupResult Result) {
Lang Hames4e920e52019-10-04 03:55:26 +0000271 for (auto *Sym : G->external_symbols()) {
272 assert(Sym->getAddress() == 0 && "Symbol already resolved");
273 assert(!Sym->isDefined() && "Symbol being resolved is already defined");
274 assert(Result.count(Sym->getName()) && "Missing resolution for symbol");
275 Sym->getAddressable().setAddress(Result[Sym->getName()].getAddress());
Lang Hames11c8dfa52019-04-20 17:10:34 +0000276 }
277
Lang Hamesd407b4b2019-04-30 21:28:07 +0000278 LLVM_DEBUG({
279 dbgs() << "Externals after applying lookup result:\n";
Lang Hames4e920e52019-10-04 03:55:26 +0000280 for (auto *Sym : G->external_symbols())
281 dbgs() << " " << Sym->getName() << ": "
282 << formatv("{0:x16}", Sym->getAddress()) << "\n";
Lang Hamesd407b4b2019-04-30 21:28:07 +0000283 });
Lang Hames4e920e52019-10-04 03:55:26 +0000284 assert(llvm::all_of(G->external_symbols(),
285 [](Symbol *Sym) { return Sym->getAddress() != 0; }) &&
286 "All symbols should have been resolved by this point");
Lang Hames11c8dfa52019-04-20 17:10:34 +0000287}
288
Lang Hames3181b872019-05-01 02:43:52 +0000289void JITLinkerBase::deallocateAndBailOut(Error Err) {
290 assert(Err && "Should not be bailing out on success value");
291 assert(Alloc && "can not call deallocateAndBailOut before allocation");
292 Ctx->notifyFailed(joinErrors(std::move(Err), Alloc->deallocate()));
293}
294
Lang Hames11c8dfa52019-04-20 17:10:34 +0000295void JITLinkerBase::dumpGraph(raw_ostream &OS) {
296 assert(G && "Graph is not set yet");
297 G->dump(dbgs(), [this](Edge::Kind K) { return getEdgeKindName(K); });
298}
299
Lang Hames4e920e52019-10-04 03:55:26 +0000300void prune(LinkGraph &G) {
301 std::vector<Symbol *> Worklist;
302 DenseSet<Block *> VisitedBlocks;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000303
Lang Hames4e920e52019-10-04 03:55:26 +0000304 // Build the initial worklist from all symbols initially live.
305 for (auto *Sym : G.defined_symbols())
306 if (Sym->isLive())
307 Worklist.push_back(Sym);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000308
Lang Hames4e920e52019-10-04 03:55:26 +0000309 // Propagate live flags to all symbols reachable from the initial live set.
Lang Hames11c8dfa52019-04-20 17:10:34 +0000310 while (!Worklist.empty()) {
Lang Hames4e920e52019-10-04 03:55:26 +0000311 auto *Sym = Worklist.back();
Lang Hames11c8dfa52019-04-20 17:10:34 +0000312 Worklist.pop_back();
313
Lang Hames4e920e52019-10-04 03:55:26 +0000314 auto &B = Sym->getBlock();
Lang Hames11c8dfa52019-04-20 17:10:34 +0000315
Lang Hames4e920e52019-10-04 03:55:26 +0000316 // Skip addressables that we've visited before.
317 if (VisitedBlocks.count(&B))
Lang Hames11c8dfa52019-04-20 17:10:34 +0000318 continue;
319
Lang Hames4e920e52019-10-04 03:55:26 +0000320 VisitedBlocks.insert(&B);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000321
Lang Hames4e920e52019-10-04 03:55:26 +0000322 for (auto &E : Sym->getBlock().edges()) {
323 if (E.getTarget().isDefined() && !E.getTarget().isLive()) {
324 E.getTarget().setLive(true);
325 Worklist.push_back(&E.getTarget());
326 }
Lang Hames11c8dfa52019-04-20 17:10:34 +0000327 }
328 }
329
Lang Hames4e920e52019-10-04 03:55:26 +0000330 // Collect all the symbols to remove, then remove them.
331 {
332 LLVM_DEBUG(dbgs() << "Dead-stripping symbols:\n");
333 std::vector<Symbol *> SymbolsToRemove;
334 for (auto *Sym : G.defined_symbols())
335 if (!Sym->isLive())
336 SymbolsToRemove.push_back(Sym);
337 for (auto *Sym : SymbolsToRemove) {
338 LLVM_DEBUG(dbgs() << " " << *Sym << "...\n");
339 G.removeDefinedSymbol(*Sym);
340 }
Lang Hames11c8dfa52019-04-20 17:10:34 +0000341 }
342
Lang Hames4e920e52019-10-04 03:55:26 +0000343 // Delete any unused blocks.
Lang Hames11c8dfa52019-04-20 17:10:34 +0000344 {
Lang Hames4e920e52019-10-04 03:55:26 +0000345 LLVM_DEBUG(dbgs() << "Dead-stripping blocks:\n");
346 std::vector<Block *> BlocksToRemove;
347 for (auto *B : G.blocks())
348 if (!VisitedBlocks.count(B))
349 BlocksToRemove.push_back(B);
350 for (auto *B : BlocksToRemove) {
351 LLVM_DEBUG(dbgs() << " " << *B << "...\n");
352 G.removeBlock(*B);
353 }
Lang Hames11c8dfa52019-04-20 17:10:34 +0000354 }
355}
356
357} // end namespace jitlink
358} // end namespace llvm