blob: ebc7801f11ffaa06483cf87aea14ce13c469b64a [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 Hamesce2207a2020-01-21 16:28:30 -080010#include "llvm/IR/Constants.h"
Lang Hames1cf99872018-05-21 21:11:13 +000011#include "llvm/Object/ObjectFile.h"
Lang Hames46f40a72018-09-28 15:03:11 +000012#include "llvm/Support/Debug.h"
13
14#define DEBUG_TYPE "orc"
Lang Hames1cf99872018-05-21 21:11:13 +000015
16namespace llvm {
17namespace orc {
18
Lang Hames1cf99872018-05-21 21:11:13 +000019IRLayer::~IRLayer() {}
20
Lang Hames8b942742018-10-16 20:13:06 +000021Error IRLayer::add(JITDylib &JD, ThreadSafeModule TSM, VModuleKey K) {
Jonas Devlieghere0eaee542019-08-15 15:54:37 +000022 return JD.define(std::make_unique<BasicIRLayerMaterializationUnit>(
Lang Hamesce2207a2020-01-21 16:28:30 -080023 *this, *getManglingOptions(), std::move(TSM), std::move(K)));
Lang Hames1cf99872018-05-21 21:11:13 +000024}
25
Lang Hames5261aa92018-05-22 16:15:38 +000026IRMaterializationUnit::IRMaterializationUnit(ExecutionSession &ES,
Lang Hamesce2207a2020-01-21 16:28:30 -080027 const ManglingOptions &MO,
Lang Hames8b942742018-10-16 20:13:06 +000028 ThreadSafeModule TSM, VModuleKey K)
29 : MaterializationUnit(SymbolFlagsMap(), std::move(K)), TSM(std::move(TSM)) {
Lang Hames1cf99872018-05-21 21:11:13 +000030
Lang Hames8d76c712018-09-26 01:24:12 +000031 assert(this->TSM && "Module must not be null");
32
Lang Hames809e9d12019-08-02 15:21:37 +000033 MangleAndInterner Mangle(ES, this->TSM.getModuleUnlocked()->getDataLayout());
34 this->TSM.withModuleDo([&](Module &M) {
35 for (auto &G : M.global_values()) {
Lang Hamesce2207a2020-01-21 16:28:30 -080036 // Skip globals that don't generate symbols.
37 if (!G.hasName() || G.isDeclaration() || G.hasLocalLinkage() ||
38 G.hasAvailableExternallyLinkage() || G.hasAppendingLinkage())
39 continue;
40
41 // thread locals generate different symbols depending on whether or not
42 // emulated TLS is enabled.
43 if (G.isThreadLocal() && MO.EmulatedTLS) {
44 auto &GV = cast<GlobalVariable>(G);
45
46 auto Flags = JITSymbolFlags::fromGlobalValue(GV);
47
48 auto EmuTLSV = Mangle(("__emutls_v." + GV.getName()).str());
49 SymbolFlags[EmuTLSV] = Flags;
50 SymbolToDefinition[EmuTLSV] = &GV;
51
52 // If this GV has a non-zero initializer we'll need to emit an
53 // __emutls.t symbol too.
54 if (GV.hasInitializer()) {
55 const auto *InitVal = GV.getInitializer();
56
57 // Skip zero-initializers.
58 if (isa<ConstantAggregateZero>(InitVal))
59 continue;
60 const auto *InitIntValue = dyn_cast<ConstantInt>(InitVal);
61 if (InitIntValue && InitIntValue->isZero())
62 continue;
63
64 auto EmuTLST = Mangle(("__emutls_t." + GV.getName()).str());
65 SymbolFlags[EmuTLST] = Flags;
66 }
67 continue;
Lang Hames809e9d12019-08-02 15:21:37 +000068 }
Lang Hamesce2207a2020-01-21 16:28:30 -080069
70 // Otherwise we just need a normal linker mangling.
71 auto MangledName = Mangle(G.getName());
72 SymbolFlags[MangledName] = JITSymbolFlags::fromGlobalValue(G);
73 SymbolToDefinition[MangledName] = &G;
Lang Hames1cf99872018-05-21 21:11:13 +000074 }
Lang Hames809e9d12019-08-02 15:21:37 +000075 });
Lang Hames1cf99872018-05-21 21:11:13 +000076}
77
Lang Hamesd6155ff2018-06-03 19:22:48 +000078IRMaterializationUnit::IRMaterializationUnit(
Lang Hames8b942742018-10-16 20:13:06 +000079 ThreadSafeModule TSM, VModuleKey K, SymbolFlagsMap SymbolFlags,
Lang Hamesd6155ff2018-06-03 19:22:48 +000080 SymbolNameToDefinitionMap SymbolToDefinition)
Lang Hames8b942742018-10-16 20:13:06 +000081 : MaterializationUnit(std::move(SymbolFlags), std::move(K)),
82 TSM(std::move(TSM)), SymbolToDefinition(std::move(SymbolToDefinition)) {}
Lang Hamesd6155ff2018-06-03 19:22:48 +000083
Lang Hames46f40a72018-09-28 15:03:11 +000084StringRef IRMaterializationUnit::getName() const {
Lang Hames809e9d12019-08-02 15:21:37 +000085 if (TSM)
86 return TSM.withModuleDo(
Matthias Gehre5b3275e2019-08-19 21:59:44 +000087 [](const Module &M) -> StringRef { return M.getModuleIdentifier(); });
Lang Hames46f40a72018-09-28 15:03:11 +000088 return "<null module>";
89}
90
Lang Hamescb5702c32018-10-06 23:02:06 +000091void IRMaterializationUnit::discard(const JITDylib &JD,
92 const SymbolStringPtr &Name) {
Lang Hames46f40a72018-09-28 15:03:11 +000093 LLVM_DEBUG(JD.getExecutionSession().runSessionLocked([&]() {
94 dbgs() << "In " << JD.getName() << " discarding " << *Name << " from MU@"
95 << this << " (" << getName() << ")\n";
96 }););
97
Lang Hamesd3a76f52018-05-31 19:29:01 +000098 auto I = SymbolToDefinition.find(Name);
99 assert(I != SymbolToDefinition.end() &&
Lang Hames1cf99872018-05-21 21:11:13 +0000100 "Symbol not provided by this MU, or previously discarded");
Lang Hamesd3a76f52018-05-31 19:29:01 +0000101 assert(!I->second->isDeclaration() &&
102 "Discard should only apply to definitions");
Lang Hames1cf99872018-05-21 21:11:13 +0000103 I->second->setLinkage(GlobalValue::AvailableExternallyLinkage);
Lang Hamesd3a76f52018-05-31 19:29:01 +0000104 SymbolToDefinition.erase(I);
Lang Hames1cf99872018-05-21 21:11:13 +0000105}
106
Lang Hames5261aa92018-05-22 16:15:38 +0000107BasicIRLayerMaterializationUnit::BasicIRLayerMaterializationUnit(
Lang Hamesce2207a2020-01-21 16:28:30 -0800108 IRLayer &L, const ManglingOptions &MO, ThreadSafeModule TSM, VModuleKey K)
109 : IRMaterializationUnit(L.getExecutionSession(), MO, std::move(TSM),
Lang Hames8b942742018-10-16 20:13:06 +0000110 std::move(K)),
111 L(L), K(std::move(K)) {}
Lang Hames5261aa92018-05-22 16:15:38 +0000112
113void BasicIRLayerMaterializationUnit::materialize(
114 MaterializationResponsibility R) {
Lang Hames8d76c712018-09-26 01:24:12 +0000115
Lang Hamesc3053e42018-09-29 23:49:56 +0000116 // Throw away the SymbolToDefinition map: it's not usable after we hand
117 // off the module.
118 SymbolToDefinition.clear();
119
120 // If cloneToNewContextOnEmit is set, clone the module now.
Lang Hames8d76c712018-09-26 01:24:12 +0000121 if (L.getCloneToNewContextOnEmit())
122 TSM = cloneToNewContext(TSM);
123
Lang Hames46f40a72018-09-28 15:03:11 +0000124#ifndef NDEBUG
125 auto &ES = R.getTargetJITDylib().getExecutionSession();
Nick Desaulniers28e351a2019-05-20 22:17:43 +0000126 auto &N = R.getTargetJITDylib().getName();
Lang Hames46f40a72018-09-28 15:03:11 +0000127#endif // NDEBUG
128
Nick Desaulniers28e351a2019-05-20 22:17:43 +0000129 LLVM_DEBUG(ES.runSessionLocked(
130 [&]() { dbgs() << "Emitting, for " << N << ", " << *this << "\n"; }););
Lang Hames8b942742018-10-16 20:13:06 +0000131 L.emit(std::move(R), std::move(TSM));
Lang Hames46f40a72018-09-28 15:03:11 +0000132 LLVM_DEBUG(ES.runSessionLocked([&]() {
Nick Desaulniers28e351a2019-05-20 22:17:43 +0000133 dbgs() << "Finished emitting, for " << N << ", " << *this << "\n";
Lang Hames46f40a72018-09-28 15:03:11 +0000134 }););
Lang Hames5261aa92018-05-22 16:15:38 +0000135}
136
Lang Hames1cf99872018-05-21 21:11:13 +0000137ObjectLayer::ObjectLayer(ExecutionSession &ES) : ES(ES) {}
138
139ObjectLayer::~ObjectLayer() {}
140
Lang Hames8b942742018-10-16 20:13:06 +0000141Error ObjectLayer::add(JITDylib &JD, std::unique_ptr<MemoryBuffer> O,
142 VModuleKey K) {
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000143 auto ObjMU = BasicObjectLayerMaterializationUnit::Create(*this, std::move(K),
144 std::move(O));
145 if (!ObjMU)
146 return ObjMU.takeError();
Lang Hamesd5f56c52018-08-17 21:18:18 +0000147 return JD.define(std::move(*ObjMU));
Lang Hames1cf99872018-05-21 21:11:13 +0000148}
149
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000150Expected<std::unique_ptr<BasicObjectLayerMaterializationUnit>>
151BasicObjectLayerMaterializationUnit::Create(ObjectLayer &L, VModuleKey K,
152 std::unique_ptr<MemoryBuffer> O) {
Lang Hamesc0514f02018-08-05 22:35:37 +0000153 auto SymbolFlags =
154 getObjectSymbolFlags(L.getExecutionSession(), O->getMemBufferRef());
Lang Hames1cf99872018-05-21 21:11:13 +0000155
Lang Hamesc0514f02018-08-05 22:35:37 +0000156 if (!SymbolFlags)
157 return SymbolFlags.takeError();
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000158
159 return std::unique_ptr<BasicObjectLayerMaterializationUnit>(
Lang Hamesc0514f02018-08-05 22:35:37 +0000160 new BasicObjectLayerMaterializationUnit(L, K, std::move(O),
161 std::move(*SymbolFlags)));
Lang Hames1cf99872018-05-21 21:11:13 +0000162}
163
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000164BasicObjectLayerMaterializationUnit::BasicObjectLayerMaterializationUnit(
Lang Hamesc0514f02018-08-05 22:35:37 +0000165 ObjectLayer &L, VModuleKey K, std::unique_ptr<MemoryBuffer> O,
166 SymbolFlagsMap SymbolFlags)
Lang Hames8b942742018-10-16 20:13:06 +0000167 : MaterializationUnit(std::move(SymbolFlags), std::move(K)), L(L),
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000168 O(std::move(O)) {}
169
Lang Hames46f40a72018-09-28 15:03:11 +0000170StringRef BasicObjectLayerMaterializationUnit::getName() const {
171 if (O)
172 return O->getBufferIdentifier();
173 return "<null object>";
174}
175
Lang Hames1cf99872018-05-21 21:11:13 +0000176void BasicObjectLayerMaterializationUnit::materialize(
177 MaterializationResponsibility R) {
Lang Hames8b942742018-10-16 20:13:06 +0000178 L.emit(std::move(R), std::move(O));
Lang Hames1cf99872018-05-21 21:11:13 +0000179}
180
Lang Hamesd5f56c52018-08-17 21:18:18 +0000181void BasicObjectLayerMaterializationUnit::discard(const JITDylib &JD,
Lang Hamescb5702c32018-10-06 23:02:06 +0000182 const SymbolStringPtr &Name) {
Lang Hames1cf99872018-05-21 21:11:13 +0000183 // FIXME: Support object file level discard. This could be done by building a
184 // filter to pass to the object layer along with the object itself.
185}
186
Lang Hamesc0514f02018-08-05 22:35:37 +0000187Expected<SymbolFlagsMap> getObjectSymbolFlags(ExecutionSession &ES,
188 MemoryBufferRef ObjBuffer) {
189 auto Obj = object::ObjectFile::createObjectFile(ObjBuffer);
190
191 if (!Obj)
192 return Obj.takeError();
193
194 SymbolFlagsMap SymbolFlags;
195 for (auto &Sym : (*Obj)->symbols()) {
Lang Hames60511582018-08-26 16:46:02 +0000196 // Skip symbols not defined in this object file.
197 if (Sym.getFlags() & object::BasicSymbolRef::SF_Undefined)
198 continue;
199
200 // Skip symbols that are not global.
201 if (!(Sym.getFlags() & object::BasicSymbolRef::SF_Global))
202 continue;
203
204 auto Name = Sym.getName();
205 if (!Name)
206 return Name.takeError();
Lang Hames71d781c2018-09-30 23:18:24 +0000207 auto InternedName = ES.intern(*Name);
Lang Hames60511582018-08-26 16:46:02 +0000208 auto SymFlags = JITSymbolFlags::fromObjectSymbol(Sym);
209 if (!SymFlags)
210 return SymFlags.takeError();
211 SymbolFlags[InternedName] = std::move(*SymFlags);
Lang Hamesc0514f02018-08-05 22:35:37 +0000212 }
213
214 return SymbolFlags;
215}
216
Lang Hames1cf99872018-05-21 21:11:13 +0000217} // End namespace orc.
218} // End namespace llvm.