blob: cbf1f4c244d288e41cc8b5ee50fc43e9863b588a [file] [log] [blame]
Lang Hames1cf99872018-05-21 21:11:13 +00001//===-------------------- Layer.cpp - Layer interfaces --------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "llvm/ExecutionEngine/Orc/Layer.h"
11#include "llvm/IR/Mangler.h"
12#include "llvm/Object/ObjectFile.h"
13#include "llvm/Support/MemoryBuffer.h"
14
15namespace llvm {
16namespace orc {
17
18MangleAndInterner::MangleAndInterner(ExecutionSession &ES, const DataLayout &DL)
19 : ES(ES), DL(DL) {}
20
21SymbolStringPtr MangleAndInterner::operator()(StringRef Name) {
22 std::string MangledName;
23 {
24 raw_string_ostream MangledNameStream(MangledName);
25 Mangler::getNameWithPrefix(MangledNameStream, Name, DL);
26 }
27 return ES.getSymbolStringPool().intern(MangledName);
28}
29
30IRLayer::IRLayer(ExecutionSession &ES) : ES(ES) {}
31IRLayer::~IRLayer() {}
32
33Error IRLayer::add(VSO &V, VModuleKey K, std::unique_ptr<Module> M) {
34 return V.define(llvm::make_unique<BasicIRLayerMaterializationUnit>(
35 *this, std::move(K), std::move(M)));
36}
37
Lang Hames5261aa92018-05-22 16:15:38 +000038IRMaterializationUnit::IRMaterializationUnit(ExecutionSession &ES,
39 std::unique_ptr<Module> M)
40 : MaterializationUnit(SymbolFlagsMap()), M(std::move(M)) {
Lang Hames1cf99872018-05-21 21:11:13 +000041
Lang Hames1cf99872018-05-21 21:11:13 +000042 MangleAndInterner Mangle(ES, this->M->getDataLayout());
43 for (auto &G : this->M->global_values()) {
44 if (G.hasName() && !G.isDeclaration() &&
45 !G.hasLocalLinkage() &&
46 !G.hasAvailableExternallyLinkage()) {
47 auto MangledName = Mangle(G.getName());
48 SymbolFlags[MangledName] = JITSymbolFlags::fromGlobalValue(G);
Lang Hamesd3a76f52018-05-31 19:29:01 +000049 SymbolToDefinition[MangledName] = &G;
Lang Hames1cf99872018-05-21 21:11:13 +000050 }
51 }
52}
53
Lang Hamesd6155ff2018-06-03 19:22:48 +000054IRMaterializationUnit::IRMaterializationUnit(
55 std::unique_ptr<Module> M, SymbolFlagsMap SymbolFlags,
56 SymbolNameToDefinitionMap SymbolToDefinition)
57 : MaterializationUnit(std::move(SymbolFlags)), M(std::move(M)),
58 SymbolToDefinition(std::move(SymbolToDefinition)) {}
59
Lang Hames5261aa92018-05-22 16:15:38 +000060void IRMaterializationUnit::discard(const VSO &V, SymbolStringPtr Name) {
Lang Hamesd3a76f52018-05-31 19:29:01 +000061 auto I = SymbolToDefinition.find(Name);
62 assert(I != SymbolToDefinition.end() &&
Lang Hames1cf99872018-05-21 21:11:13 +000063 "Symbol not provided by this MU, or previously discarded");
Lang Hamesd3a76f52018-05-31 19:29:01 +000064 assert(!I->second->isDeclaration() &&
65 "Discard should only apply to definitions");
Lang Hames1cf99872018-05-21 21:11:13 +000066 I->second->setLinkage(GlobalValue::AvailableExternallyLinkage);
Lang Hamesd3a76f52018-05-31 19:29:01 +000067 SymbolToDefinition.erase(I);
Lang Hames1cf99872018-05-21 21:11:13 +000068}
69
Lang Hames5261aa92018-05-22 16:15:38 +000070BasicIRLayerMaterializationUnit::BasicIRLayerMaterializationUnit(
71 IRLayer &L, VModuleKey K, std::unique_ptr<Module> M)
72 : IRMaterializationUnit(L.getExecutionSession(), std::move(M)),
73 L(L), K(std::move(K)) {}
74
75void BasicIRLayerMaterializationUnit::materialize(
76 MaterializationResponsibility R) {
77 L.emit(std::move(R), std::move(K), std::move(M));
78}
79
Lang Hames1cf99872018-05-21 21:11:13 +000080ObjectLayer::ObjectLayer(ExecutionSession &ES) : ES(ES) {}
81
82ObjectLayer::~ObjectLayer() {}
83
84Error ObjectLayer::add(VSO &V, VModuleKey K, std::unique_ptr<MemoryBuffer> O) {
85 return V.define(llvm::make_unique<BasicObjectLayerMaterializationUnit>(
86 *this, std::move(K), std::move(O)));
87}
88
89BasicObjectLayerMaterializationUnit::BasicObjectLayerMaterializationUnit(
90 ObjectLayer &L, VModuleKey K, std::unique_ptr<MemoryBuffer> O)
91 : MaterializationUnit(SymbolFlagsMap()), L(L), K(std::move(K)),
92 O(std::move(O)) {
93
94 auto &ES = L.getExecutionSession();
95 auto Obj = cantFail(
96 object::ObjectFile::createObjectFile(this->O->getMemBufferRef()));
97
98 for (auto &Sym : Obj->symbols()) {
99 if (!(Sym.getFlags() & object::BasicSymbolRef::SF_Undefined) &&
100 (Sym.getFlags() & object::BasicSymbolRef::SF_Exported)) {
101 auto InternedName =
102 ES.getSymbolStringPool().intern(cantFail(Sym.getName()));
103 SymbolFlags[InternedName] = JITSymbolFlags::fromObjectSymbol(Sym);
104 }
105 }
106}
107
108void BasicObjectLayerMaterializationUnit::materialize(
109 MaterializationResponsibility R) {
110 L.emit(std::move(R), std::move(K), std::move(O));
111}
112
113void BasicObjectLayerMaterializationUnit::discard(const VSO &V,
114 SymbolStringPtr Name) {
115 // FIXME: Support object file level discard. This could be done by building a
116 // filter to pass to the object layer along with the object itself.
117}
118
119} // End namespace orc.
120} // End namespace llvm.