blob: 11af76825e9fd09d2daef003f96871cfe32391ee [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 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(ExecutionSession &ES) : ES(ES) {}
20IRLayer::~IRLayer() {}
21
Lang Hames8b942742018-10-16 20:13:06 +000022Error IRLayer::add(JITDylib &JD, ThreadSafeModule TSM, VModuleKey K) {
Lang Hamesd5f56c52018-08-17 21:18:18 +000023 return JD.define(llvm::make_unique<BasicIRLayerMaterializationUnit>(
Lang Hames8d76c712018-09-26 01:24:12 +000024 *this, std::move(K), std::move(TSM)));
Lang Hames1cf99872018-05-21 21:11:13 +000025}
26
Lang Hames5261aa92018-05-22 16:15:38 +000027IRMaterializationUnit::IRMaterializationUnit(ExecutionSession &ES,
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
33 MangleAndInterner Mangle(ES, this->TSM.getModule()->getDataLayout());
34 for (auto &G : this->TSM.getModule()->global_values()) {
Lang Hames6a941342018-06-26 21:35:48 +000035 if (G.hasName() && !G.isDeclaration() && !G.hasLocalLinkage() &&
36 !G.hasAvailableExternallyLinkage() && !G.hasAppendingLinkage()) {
Lang Hames1cf99872018-05-21 21:11:13 +000037 auto MangledName = Mangle(G.getName());
38 SymbolFlags[MangledName] = JITSymbolFlags::fromGlobalValue(G);
Lang Hamesd3a76f52018-05-31 19:29:01 +000039 SymbolToDefinition[MangledName] = &G;
Lang Hames1cf99872018-05-21 21:11:13 +000040 }
41 }
42}
43
Lang Hamesd6155ff2018-06-03 19:22:48 +000044IRMaterializationUnit::IRMaterializationUnit(
Lang Hames8b942742018-10-16 20:13:06 +000045 ThreadSafeModule TSM, VModuleKey K, SymbolFlagsMap SymbolFlags,
Lang Hamesd6155ff2018-06-03 19:22:48 +000046 SymbolNameToDefinitionMap SymbolToDefinition)
Lang Hames8b942742018-10-16 20:13:06 +000047 : MaterializationUnit(std::move(SymbolFlags), std::move(K)),
48 TSM(std::move(TSM)), SymbolToDefinition(std::move(SymbolToDefinition)) {}
Lang Hamesd6155ff2018-06-03 19:22:48 +000049
Lang Hames46f40a72018-09-28 15:03:11 +000050StringRef IRMaterializationUnit::getName() const {
51 if (TSM.getModule())
52 return TSM.getModule()->getModuleIdentifier();
53 return "<null module>";
54}
55
Lang Hamescb5702c32018-10-06 23:02:06 +000056void IRMaterializationUnit::discard(const JITDylib &JD,
57 const SymbolStringPtr &Name) {
Lang Hames46f40a72018-09-28 15:03:11 +000058 LLVM_DEBUG(JD.getExecutionSession().runSessionLocked([&]() {
59 dbgs() << "In " << JD.getName() << " discarding " << *Name << " from MU@"
60 << this << " (" << getName() << ")\n";
61 }););
62
Lang Hamesd3a76f52018-05-31 19:29:01 +000063 auto I = SymbolToDefinition.find(Name);
64 assert(I != SymbolToDefinition.end() &&
Lang Hames1cf99872018-05-21 21:11:13 +000065 "Symbol not provided by this MU, or previously discarded");
Lang Hamesd3a76f52018-05-31 19:29:01 +000066 assert(!I->second->isDeclaration() &&
67 "Discard should only apply to definitions");
Lang Hames1cf99872018-05-21 21:11:13 +000068 I->second->setLinkage(GlobalValue::AvailableExternallyLinkage);
Lang Hamesd3a76f52018-05-31 19:29:01 +000069 SymbolToDefinition.erase(I);
Lang Hames1cf99872018-05-21 21:11:13 +000070}
71
Lang Hames5261aa92018-05-22 16:15:38 +000072BasicIRLayerMaterializationUnit::BasicIRLayerMaterializationUnit(
Lang Hames8d76c712018-09-26 01:24:12 +000073 IRLayer &L, VModuleKey K, ThreadSafeModule TSM)
Lang Hames8b942742018-10-16 20:13:06 +000074 : IRMaterializationUnit(L.getExecutionSession(), std::move(TSM),
75 std::move(K)),
76 L(L), K(std::move(K)) {}
Lang Hames5261aa92018-05-22 16:15:38 +000077
78void BasicIRLayerMaterializationUnit::materialize(
79 MaterializationResponsibility R) {
Lang Hames8d76c712018-09-26 01:24:12 +000080
Lang Hamesc3053e42018-09-29 23:49:56 +000081 // Throw away the SymbolToDefinition map: it's not usable after we hand
82 // off the module.
83 SymbolToDefinition.clear();
84
85 // If cloneToNewContextOnEmit is set, clone the module now.
Lang Hames8d76c712018-09-26 01:24:12 +000086 if (L.getCloneToNewContextOnEmit())
87 TSM = cloneToNewContext(TSM);
88
Lang Hames46f40a72018-09-28 15:03:11 +000089#ifndef NDEBUG
90 auto &ES = R.getTargetJITDylib().getExecutionSession();
91#endif // NDEBUG
92
Lang Hames8d76c712018-09-26 01:24:12 +000093 auto Lock = TSM.getContextLock();
Lang Hames46f40a72018-09-28 15:03:11 +000094 LLVM_DEBUG(ES.runSessionLocked([&]() {
95 dbgs() << "Emitting, for " << R.getTargetJITDylib().getName() << ", "
96 << *this << "\n";
97 }););
Lang Hames8b942742018-10-16 20:13:06 +000098 L.emit(std::move(R), std::move(TSM));
Lang Hames46f40a72018-09-28 15:03:11 +000099 LLVM_DEBUG(ES.runSessionLocked([&]() {
100 dbgs() << "Finished emitting, for " << R.getTargetJITDylib().getName()
101 << ", " << *this << "\n";
102 }););
Lang Hames5261aa92018-05-22 16:15:38 +0000103}
104
Lang Hames1cf99872018-05-21 21:11:13 +0000105ObjectLayer::ObjectLayer(ExecutionSession &ES) : ES(ES) {}
106
107ObjectLayer::~ObjectLayer() {}
108
Lang Hames8b942742018-10-16 20:13:06 +0000109Error ObjectLayer::add(JITDylib &JD, std::unique_ptr<MemoryBuffer> O,
110 VModuleKey K) {
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000111 auto ObjMU = BasicObjectLayerMaterializationUnit::Create(*this, std::move(K),
112 std::move(O));
113 if (!ObjMU)
114 return ObjMU.takeError();
Lang Hamesd5f56c52018-08-17 21:18:18 +0000115 return JD.define(std::move(*ObjMU));
Lang Hames1cf99872018-05-21 21:11:13 +0000116}
117
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000118Expected<std::unique_ptr<BasicObjectLayerMaterializationUnit>>
119BasicObjectLayerMaterializationUnit::Create(ObjectLayer &L, VModuleKey K,
120 std::unique_ptr<MemoryBuffer> O) {
Lang Hamesc0514f02018-08-05 22:35:37 +0000121 auto SymbolFlags =
122 getObjectSymbolFlags(L.getExecutionSession(), O->getMemBufferRef());
Lang Hames1cf99872018-05-21 21:11:13 +0000123
Lang Hamesc0514f02018-08-05 22:35:37 +0000124 if (!SymbolFlags)
125 return SymbolFlags.takeError();
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000126
127 return std::unique_ptr<BasicObjectLayerMaterializationUnit>(
Lang Hamesc0514f02018-08-05 22:35:37 +0000128 new BasicObjectLayerMaterializationUnit(L, K, std::move(O),
129 std::move(*SymbolFlags)));
Lang Hames1cf99872018-05-21 21:11:13 +0000130}
131
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000132BasicObjectLayerMaterializationUnit::BasicObjectLayerMaterializationUnit(
Lang Hamesc0514f02018-08-05 22:35:37 +0000133 ObjectLayer &L, VModuleKey K, std::unique_ptr<MemoryBuffer> O,
134 SymbolFlagsMap SymbolFlags)
Lang Hames8b942742018-10-16 20:13:06 +0000135 : MaterializationUnit(std::move(SymbolFlags), std::move(K)), L(L),
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000136 O(std::move(O)) {}
137
Lang Hames46f40a72018-09-28 15:03:11 +0000138StringRef BasicObjectLayerMaterializationUnit::getName() const {
139 if (O)
140 return O->getBufferIdentifier();
141 return "<null object>";
142}
143
Lang Hames1cf99872018-05-21 21:11:13 +0000144void BasicObjectLayerMaterializationUnit::materialize(
145 MaterializationResponsibility R) {
Lang Hames8b942742018-10-16 20:13:06 +0000146 L.emit(std::move(R), std::move(O));
Lang Hames1cf99872018-05-21 21:11:13 +0000147}
148
Lang Hamesd5f56c52018-08-17 21:18:18 +0000149void BasicObjectLayerMaterializationUnit::discard(const JITDylib &JD,
Lang Hamescb5702c32018-10-06 23:02:06 +0000150 const SymbolStringPtr &Name) {
Lang Hames1cf99872018-05-21 21:11:13 +0000151 // FIXME: Support object file level discard. This could be done by building a
152 // filter to pass to the object layer along with the object itself.
153}
154
Lang Hamesc0514f02018-08-05 22:35:37 +0000155Expected<SymbolFlagsMap> getObjectSymbolFlags(ExecutionSession &ES,
156 MemoryBufferRef ObjBuffer) {
157 auto Obj = object::ObjectFile::createObjectFile(ObjBuffer);
158
159 if (!Obj)
160 return Obj.takeError();
161
162 SymbolFlagsMap SymbolFlags;
163 for (auto &Sym : (*Obj)->symbols()) {
Lang Hames60511582018-08-26 16:46:02 +0000164 // Skip symbols not defined in this object file.
165 if (Sym.getFlags() & object::BasicSymbolRef::SF_Undefined)
166 continue;
167
168 // Skip symbols that are not global.
169 if (!(Sym.getFlags() & object::BasicSymbolRef::SF_Global))
170 continue;
171
172 auto Name = Sym.getName();
173 if (!Name)
174 return Name.takeError();
Lang Hames71d781c2018-09-30 23:18:24 +0000175 auto InternedName = ES.intern(*Name);
Lang Hames60511582018-08-26 16:46:02 +0000176 auto SymFlags = JITSymbolFlags::fromObjectSymbol(Sym);
177 if (!SymFlags)
178 return SymFlags.takeError();
179 SymbolFlags[InternedName] = std::move(*SymFlags);
Lang Hamesc0514f02018-08-05 22:35:37 +0000180 }
181
182 return SymbolFlags;
183}
184
Lang Hames1cf99872018-05-21 21:11:13 +0000185} // End namespace orc.
186} // End namespace llvm.