blob: 3ed2dabf4545efaebc2affc96991ad35d4c7f8a6 [file] [log] [blame]
Lang Hames1cf99872018-05-21 21:11:13 +00001//===-------------------- Layer.cpp - Layer interfaces --------------------===//
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 Hames1cf99872018-05-21 21:11:13 +00006//
7//===----------------------------------------------------------------------===//
8
9#include "llvm/ExecutionEngine/Orc/Layer.h"
Lang Hames1cf99872018-05-21 21:11:13 +000010#include "llvm/Object/ObjectFile.h"
Lang Hames46f40a72018-09-28 15:03:11 +000011#include "llvm/Support/Debug.h"
12
13#define DEBUG_TYPE "orc"
Lang Hames1cf99872018-05-21 21:11:13 +000014
15namespace llvm {
16namespace orc {
17
Lang Hames1cf99872018-05-21 21:11:13 +000018IRLayer::IRLayer(ExecutionSession &ES) : ES(ES) {}
19IRLayer::~IRLayer() {}
20
Lang Hames8b942742018-10-16 20:13:06 +000021Error IRLayer::add(JITDylib &JD, ThreadSafeModule TSM, VModuleKey K) {
Lang Hamesd5f56c52018-08-17 21:18:18 +000022 return JD.define(llvm::make_unique<BasicIRLayerMaterializationUnit>(
Lang Hames8d76c712018-09-26 01:24:12 +000023 *this, std::move(K), std::move(TSM)));
Lang Hames1cf99872018-05-21 21:11:13 +000024}
25
Lang Hames5261aa92018-05-22 16:15:38 +000026IRMaterializationUnit::IRMaterializationUnit(ExecutionSession &ES,
Lang Hames8b942742018-10-16 20:13:06 +000027 ThreadSafeModule TSM, VModuleKey K)
28 : MaterializationUnit(SymbolFlagsMap(), std::move(K)), TSM(std::move(TSM)) {
Lang Hames1cf99872018-05-21 21:11:13 +000029
Lang Hames8d76c712018-09-26 01:24:12 +000030 assert(this->TSM && "Module must not be null");
31
32 MangleAndInterner Mangle(ES, this->TSM.getModule()->getDataLayout());
33 for (auto &G : this->TSM.getModule()->global_values()) {
Lang Hames6a941342018-06-26 21:35:48 +000034 if (G.hasName() && !G.isDeclaration() && !G.hasLocalLinkage() &&
35 !G.hasAvailableExternallyLinkage() && !G.hasAppendingLinkage()) {
Lang Hames1cf99872018-05-21 21:11:13 +000036 auto MangledName = Mangle(G.getName());
37 SymbolFlags[MangledName] = JITSymbolFlags::fromGlobalValue(G);
Lang Hamesd3a76f52018-05-31 19:29:01 +000038 SymbolToDefinition[MangledName] = &G;
Lang Hames1cf99872018-05-21 21:11:13 +000039 }
40 }
41}
42
Lang Hamesd6155ff2018-06-03 19:22:48 +000043IRMaterializationUnit::IRMaterializationUnit(
Lang Hames8b942742018-10-16 20:13:06 +000044 ThreadSafeModule TSM, VModuleKey K, SymbolFlagsMap SymbolFlags,
Lang Hamesd6155ff2018-06-03 19:22:48 +000045 SymbolNameToDefinitionMap SymbolToDefinition)
Lang Hames8b942742018-10-16 20:13:06 +000046 : MaterializationUnit(std::move(SymbolFlags), std::move(K)),
47 TSM(std::move(TSM)), SymbolToDefinition(std::move(SymbolToDefinition)) {}
Lang Hamesd6155ff2018-06-03 19:22:48 +000048
Lang Hames46f40a72018-09-28 15:03:11 +000049StringRef IRMaterializationUnit::getName() const {
50 if (TSM.getModule())
51 return TSM.getModule()->getModuleIdentifier();
52 return "<null module>";
53}
54
Lang Hamescb5702c32018-10-06 23:02:06 +000055void IRMaterializationUnit::discard(const JITDylib &JD,
56 const SymbolStringPtr &Name) {
Lang Hames46f40a72018-09-28 15:03:11 +000057 LLVM_DEBUG(JD.getExecutionSession().runSessionLocked([&]() {
58 dbgs() << "In " << JD.getName() << " discarding " << *Name << " from MU@"
59 << this << " (" << getName() << ")\n";
60 }););
61
Lang Hamesd3a76f52018-05-31 19:29:01 +000062 auto I = SymbolToDefinition.find(Name);
63 assert(I != SymbolToDefinition.end() &&
Lang Hames1cf99872018-05-21 21:11:13 +000064 "Symbol not provided by this MU, or previously discarded");
Lang Hamesd3a76f52018-05-31 19:29:01 +000065 assert(!I->second->isDeclaration() &&
66 "Discard should only apply to definitions");
Lang Hames1cf99872018-05-21 21:11:13 +000067 I->second->setLinkage(GlobalValue::AvailableExternallyLinkage);
Lang Hamesd3a76f52018-05-31 19:29:01 +000068 SymbolToDefinition.erase(I);
Lang Hames1cf99872018-05-21 21:11:13 +000069}
70
Lang Hames5261aa92018-05-22 16:15:38 +000071BasicIRLayerMaterializationUnit::BasicIRLayerMaterializationUnit(
Lang Hames8d76c712018-09-26 01:24:12 +000072 IRLayer &L, VModuleKey K, ThreadSafeModule TSM)
Lang Hames8b942742018-10-16 20:13:06 +000073 : IRMaterializationUnit(L.getExecutionSession(), std::move(TSM),
74 std::move(K)),
75 L(L), K(std::move(K)) {}
Lang Hames5261aa92018-05-22 16:15:38 +000076
77void BasicIRLayerMaterializationUnit::materialize(
78 MaterializationResponsibility R) {
Lang Hames8d76c712018-09-26 01:24:12 +000079
Lang Hamesc3053e42018-09-29 23:49:56 +000080 // Throw away the SymbolToDefinition map: it's not usable after we hand
81 // off the module.
82 SymbolToDefinition.clear();
83
84 // If cloneToNewContextOnEmit is set, clone the module now.
Lang Hames8d76c712018-09-26 01:24:12 +000085 if (L.getCloneToNewContextOnEmit())
86 TSM = cloneToNewContext(TSM);
87
Lang Hames46f40a72018-09-28 15:03:11 +000088#ifndef NDEBUG
89 auto &ES = R.getTargetJITDylib().getExecutionSession();
Nick Desaulniers28e351a2019-05-20 22:17:43 +000090 auto &N = R.getTargetJITDylib().getName();
Lang Hames46f40a72018-09-28 15:03:11 +000091#endif // NDEBUG
92
Lang Hames8d76c712018-09-26 01:24:12 +000093 auto Lock = TSM.getContextLock();
Nick Desaulniers28e351a2019-05-20 22:17:43 +000094 LLVM_DEBUG(ES.runSessionLocked(
95 [&]() { dbgs() << "Emitting, for " << N << ", " << *this << "\n"; }););
Lang Hames8b942742018-10-16 20:13:06 +000096 L.emit(std::move(R), std::move(TSM));
Lang Hames46f40a72018-09-28 15:03:11 +000097 LLVM_DEBUG(ES.runSessionLocked([&]() {
Nick Desaulniers28e351a2019-05-20 22:17:43 +000098 dbgs() << "Finished emitting, for " << N << ", " << *this << "\n";
Lang Hames46f40a72018-09-28 15:03:11 +000099 }););
Lang Hames5261aa92018-05-22 16:15:38 +0000100}
101
Lang Hames1cf99872018-05-21 21:11:13 +0000102ObjectLayer::ObjectLayer(ExecutionSession &ES) : ES(ES) {}
103
104ObjectLayer::~ObjectLayer() {}
105
Lang Hames8b942742018-10-16 20:13:06 +0000106Error ObjectLayer::add(JITDylib &JD, std::unique_ptr<MemoryBuffer> O,
107 VModuleKey K) {
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000108 auto ObjMU = BasicObjectLayerMaterializationUnit::Create(*this, std::move(K),
109 std::move(O));
110 if (!ObjMU)
111 return ObjMU.takeError();
Lang Hamesd5f56c52018-08-17 21:18:18 +0000112 return JD.define(std::move(*ObjMU));
Lang Hames1cf99872018-05-21 21:11:13 +0000113}
114
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000115Expected<std::unique_ptr<BasicObjectLayerMaterializationUnit>>
116BasicObjectLayerMaterializationUnit::Create(ObjectLayer &L, VModuleKey K,
117 std::unique_ptr<MemoryBuffer> O) {
Lang Hamesc0514f02018-08-05 22:35:37 +0000118 auto SymbolFlags =
119 getObjectSymbolFlags(L.getExecutionSession(), O->getMemBufferRef());
Lang Hames1cf99872018-05-21 21:11:13 +0000120
Lang Hamesc0514f02018-08-05 22:35:37 +0000121 if (!SymbolFlags)
122 return SymbolFlags.takeError();
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000123
124 return std::unique_ptr<BasicObjectLayerMaterializationUnit>(
Lang Hamesc0514f02018-08-05 22:35:37 +0000125 new BasicObjectLayerMaterializationUnit(L, K, std::move(O),
126 std::move(*SymbolFlags)));
Lang Hames1cf99872018-05-21 21:11:13 +0000127}
128
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000129BasicObjectLayerMaterializationUnit::BasicObjectLayerMaterializationUnit(
Lang Hamesc0514f02018-08-05 22:35:37 +0000130 ObjectLayer &L, VModuleKey K, std::unique_ptr<MemoryBuffer> O,
131 SymbolFlagsMap SymbolFlags)
Lang Hames8b942742018-10-16 20:13:06 +0000132 : MaterializationUnit(std::move(SymbolFlags), std::move(K)), L(L),
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000133 O(std::move(O)) {}
134
Lang Hames46f40a72018-09-28 15:03:11 +0000135StringRef BasicObjectLayerMaterializationUnit::getName() const {
136 if (O)
137 return O->getBufferIdentifier();
138 return "<null object>";
139}
140
Lang Hames1cf99872018-05-21 21:11:13 +0000141void BasicObjectLayerMaterializationUnit::materialize(
142 MaterializationResponsibility R) {
Lang Hames8b942742018-10-16 20:13:06 +0000143 L.emit(std::move(R), std::move(O));
Lang Hames1cf99872018-05-21 21:11:13 +0000144}
145
Lang Hamesd5f56c52018-08-17 21:18:18 +0000146void BasicObjectLayerMaterializationUnit::discard(const JITDylib &JD,
Lang Hamescb5702c32018-10-06 23:02:06 +0000147 const SymbolStringPtr &Name) {
Lang Hames1cf99872018-05-21 21:11:13 +0000148 // FIXME: Support object file level discard. This could be done by building a
149 // filter to pass to the object layer along with the object itself.
150}
151
Lang Hamesc0514f02018-08-05 22:35:37 +0000152Expected<SymbolFlagsMap> getObjectSymbolFlags(ExecutionSession &ES,
153 MemoryBufferRef ObjBuffer) {
154 auto Obj = object::ObjectFile::createObjectFile(ObjBuffer);
155
156 if (!Obj)
157 return Obj.takeError();
158
159 SymbolFlagsMap SymbolFlags;
160 for (auto &Sym : (*Obj)->symbols()) {
Lang Hames60511582018-08-26 16:46:02 +0000161 // Skip symbols not defined in this object file.
162 if (Sym.getFlags() & object::BasicSymbolRef::SF_Undefined)
163 continue;
164
165 // Skip symbols that are not global.
166 if (!(Sym.getFlags() & object::BasicSymbolRef::SF_Global))
167 continue;
168
169 auto Name = Sym.getName();
170 if (!Name)
171 return Name.takeError();
Lang Hames71d781c2018-09-30 23:18:24 +0000172 auto InternedName = ES.intern(*Name);
Lang Hames60511582018-08-26 16:46:02 +0000173 auto SymFlags = JITSymbolFlags::fromObjectSymbol(Sym);
174 if (!SymFlags)
175 return SymFlags.takeError();
176 SymbolFlags[InternedName] = std::move(*SymFlags);
Lang Hamesc0514f02018-08-05 22:35:37 +0000177 }
178
179 return SymbolFlags;
180}
181
Lang Hames1cf99872018-05-21 21:11:13 +0000182} // End namespace orc.
183} // End namespace llvm.