blob: 7e2f830e4cb3267b1ca8bbdc764aca5c2766e274 [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"
Lang Hames1cf99872018-05-21 21:11:13 +000011#include "llvm/Object/ObjectFile.h"
Lang Hames1cf99872018-05-21 21:11:13 +000012
13namespace llvm {
14namespace orc {
15
Lang Hames1cf99872018-05-21 21:11:13 +000016IRLayer::IRLayer(ExecutionSession &ES) : ES(ES) {}
17IRLayer::~IRLayer() {}
18
Lang Hamesd5f56c52018-08-17 21:18:18 +000019Error IRLayer::add(JITDylib &JD, VModuleKey K, std::unique_ptr<Module> M) {
20 return JD.define(llvm::make_unique<BasicIRLayerMaterializationUnit>(
Lang Hames1cf99872018-05-21 21:11:13 +000021 *this, std::move(K), std::move(M)));
22}
23
Lang Hames5261aa92018-05-22 16:15:38 +000024IRMaterializationUnit::IRMaterializationUnit(ExecutionSession &ES,
25 std::unique_ptr<Module> M)
26 : MaterializationUnit(SymbolFlagsMap()), M(std::move(M)) {
Lang Hames1cf99872018-05-21 21:11:13 +000027
Lang Hames1cf99872018-05-21 21:11:13 +000028 MangleAndInterner Mangle(ES, this->M->getDataLayout());
29 for (auto &G : this->M->global_values()) {
Lang Hames6a941342018-06-26 21:35:48 +000030 if (G.hasName() && !G.isDeclaration() && !G.hasLocalLinkage() &&
31 !G.hasAvailableExternallyLinkage() && !G.hasAppendingLinkage()) {
Lang Hames1cf99872018-05-21 21:11:13 +000032 auto MangledName = Mangle(G.getName());
33 SymbolFlags[MangledName] = JITSymbolFlags::fromGlobalValue(G);
Lang Hamesd3a76f52018-05-31 19:29:01 +000034 SymbolToDefinition[MangledName] = &G;
Lang Hames1cf99872018-05-21 21:11:13 +000035 }
36 }
37}
38
Lang Hamesd6155ff2018-06-03 19:22:48 +000039IRMaterializationUnit::IRMaterializationUnit(
40 std::unique_ptr<Module> M, SymbolFlagsMap SymbolFlags,
41 SymbolNameToDefinitionMap SymbolToDefinition)
42 : MaterializationUnit(std::move(SymbolFlags)), M(std::move(M)),
43 SymbolToDefinition(std::move(SymbolToDefinition)) {}
44
Lang Hamesd5f56c52018-08-17 21:18:18 +000045void IRMaterializationUnit::discard(const JITDylib &JD, SymbolStringPtr Name) {
Lang Hamesd3a76f52018-05-31 19:29:01 +000046 auto I = SymbolToDefinition.find(Name);
47 assert(I != SymbolToDefinition.end() &&
Lang Hames1cf99872018-05-21 21:11:13 +000048 "Symbol not provided by this MU, or previously discarded");
Lang Hamesd3a76f52018-05-31 19:29:01 +000049 assert(!I->second->isDeclaration() &&
50 "Discard should only apply to definitions");
Lang Hames1cf99872018-05-21 21:11:13 +000051 I->second->setLinkage(GlobalValue::AvailableExternallyLinkage);
Lang Hamesd3a76f52018-05-31 19:29:01 +000052 SymbolToDefinition.erase(I);
Lang Hames1cf99872018-05-21 21:11:13 +000053}
54
Lang Hames5261aa92018-05-22 16:15:38 +000055BasicIRLayerMaterializationUnit::BasicIRLayerMaterializationUnit(
56 IRLayer &L, VModuleKey K, std::unique_ptr<Module> M)
57 : IRMaterializationUnit(L.getExecutionSession(), std::move(M)),
58 L(L), K(std::move(K)) {}
59
60void BasicIRLayerMaterializationUnit::materialize(
61 MaterializationResponsibility R) {
62 L.emit(std::move(R), std::move(K), std::move(M));
63}
64
Lang Hames1cf99872018-05-21 21:11:13 +000065ObjectLayer::ObjectLayer(ExecutionSession &ES) : ES(ES) {}
66
67ObjectLayer::~ObjectLayer() {}
68
Lang Hamesd5f56c52018-08-17 21:18:18 +000069Error ObjectLayer::add(JITDylib &JD, VModuleKey K,
70 std::unique_ptr<MemoryBuffer> O) {
Lang Hamesbfea8cd2018-08-01 22:42:23 +000071 auto ObjMU = BasicObjectLayerMaterializationUnit::Create(*this, std::move(K),
72 std::move(O));
73 if (!ObjMU)
74 return ObjMU.takeError();
Lang Hamesd5f56c52018-08-17 21:18:18 +000075 return JD.define(std::move(*ObjMU));
Lang Hames1cf99872018-05-21 21:11:13 +000076}
77
Lang Hamesbfea8cd2018-08-01 22:42:23 +000078Expected<std::unique_ptr<BasicObjectLayerMaterializationUnit>>
79BasicObjectLayerMaterializationUnit::Create(ObjectLayer &L, VModuleKey K,
80 std::unique_ptr<MemoryBuffer> O) {
Lang Hamesc0514f02018-08-05 22:35:37 +000081 auto SymbolFlags =
82 getObjectSymbolFlags(L.getExecutionSession(), O->getMemBufferRef());
Lang Hames1cf99872018-05-21 21:11:13 +000083
Lang Hamesc0514f02018-08-05 22:35:37 +000084 if (!SymbolFlags)
85 return SymbolFlags.takeError();
Lang Hamesbfea8cd2018-08-01 22:42:23 +000086
87 return std::unique_ptr<BasicObjectLayerMaterializationUnit>(
Lang Hamesc0514f02018-08-05 22:35:37 +000088 new BasicObjectLayerMaterializationUnit(L, K, std::move(O),
89 std::move(*SymbolFlags)));
Lang Hames1cf99872018-05-21 21:11:13 +000090}
91
Lang Hamesbfea8cd2018-08-01 22:42:23 +000092BasicObjectLayerMaterializationUnit::BasicObjectLayerMaterializationUnit(
Lang Hamesc0514f02018-08-05 22:35:37 +000093 ObjectLayer &L, VModuleKey K, std::unique_ptr<MemoryBuffer> O,
94 SymbolFlagsMap SymbolFlags)
Lang Hamesbfea8cd2018-08-01 22:42:23 +000095 : MaterializationUnit(std::move(SymbolFlags)), L(L), K(std::move(K)),
96 O(std::move(O)) {}
97
Lang Hames1cf99872018-05-21 21:11:13 +000098void BasicObjectLayerMaterializationUnit::materialize(
99 MaterializationResponsibility R) {
100 L.emit(std::move(R), std::move(K), std::move(O));
101}
102
Lang Hamesd5f56c52018-08-17 21:18:18 +0000103void BasicObjectLayerMaterializationUnit::discard(const JITDylib &JD,
Lang Hames1cf99872018-05-21 21:11:13 +0000104 SymbolStringPtr Name) {
105 // FIXME: Support object file level discard. This could be done by building a
106 // filter to pass to the object layer along with the object itself.
107}
108
Lang Hamesc0514f02018-08-05 22:35:37 +0000109Expected<SymbolFlagsMap> getObjectSymbolFlags(ExecutionSession &ES,
110 MemoryBufferRef ObjBuffer) {
111 auto Obj = object::ObjectFile::createObjectFile(ObjBuffer);
112
113 if (!Obj)
114 return Obj.takeError();
115
116 SymbolFlagsMap SymbolFlags;
117 for (auto &Sym : (*Obj)->symbols()) {
Lang Hames60511582018-08-26 16:46:02 +0000118 // Skip symbols not defined in this object file.
119 if (Sym.getFlags() & object::BasicSymbolRef::SF_Undefined)
120 continue;
121
122 // Skip symbols that are not global.
123 if (!(Sym.getFlags() & object::BasicSymbolRef::SF_Global))
124 continue;
125
126 auto Name = Sym.getName();
127 if (!Name)
128 return Name.takeError();
129 auto InternedName = ES.getSymbolStringPool().intern(*Name);
130 auto SymFlags = JITSymbolFlags::fromObjectSymbol(Sym);
131 if (!SymFlags)
132 return SymFlags.takeError();
133 SymbolFlags[InternedName] = std::move(*SymFlags);
Lang Hamesc0514f02018-08-05 22:35:37 +0000134 }
135
136 return SymbolFlags;
137}
138
Lang Hames1cf99872018-05-21 21:11:13 +0000139} // End namespace orc.
140} // End namespace llvm.