blob: a80f78afe80f9c6d91c4a8d54747f0427a108a62 [file] [log] [blame]
Lang Hames6a941342018-06-26 21:35:48 +00001//===--------- LLJIT.cpp - An ORC-based JIT for compiling LLVM IR ---------===//
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 Hames6a941342018-06-26 21:35:48 +00006//
7//===----------------------------------------------------------------------===//
8
9#include "llvm/ExecutionEngine/Orc/LLJIT.h"
10#include "llvm/ExecutionEngine/Orc/OrcError.h"
Lang Hameseb14dc72019-04-29 22:37:27 +000011#include "llvm/ExecutionEngine/Orc/RTDyldObjectLinkingLayer.h"
Lang Hames6a941342018-06-26 21:35:48 +000012#include "llvm/ExecutionEngine/SectionMemoryManager.h"
13#include "llvm/IR/Mangler.h"
14
15namespace llvm {
16namespace orc {
17
Lang Hameseb14dc72019-04-29 22:37:27 +000018Error LLJITBuilderState::prepareForConstruction() {
19
20 if (!JTMB) {
21 if (auto JTMBOrErr = JITTargetMachineBuilder::detectHost())
22 JTMB = std::move(*JTMBOrErr);
23 else
24 return JTMBOrErr.takeError();
25 }
26
27 return Error::success();
28}
29
Lang Hamesf0a3fd882018-09-26 16:26:59 +000030LLJIT::~LLJIT() {
31 if (CompileThreads)
32 CompileThreads->wait();
33}
34
Lang Hames6a941342018-06-26 21:35:48 +000035Error LLJIT::defineAbsolute(StringRef Name, JITEvaluatedSymbol Sym) {
Lang Hames71d781c2018-09-30 23:18:24 +000036 auto InternedName = ES->intern(Name);
Lang Hames6a941342018-06-26 21:35:48 +000037 SymbolMap Symbols({{InternedName, Sym}});
38 return Main.define(absoluteSymbols(std::move(Symbols)));
39}
40
Lang Hames8d76c712018-09-26 01:24:12 +000041Error LLJIT::addIRModule(JITDylib &JD, ThreadSafeModule TSM) {
42 assert(TSM && "Can not add null module");
Lang Hames6a941342018-06-26 21:35:48 +000043
Lang Hames809e9d12019-08-02 15:21:37 +000044 if (auto Err =
45 TSM.withModuleDo([&](Module &M) { return applyDataLayout(M); }))
Lang Hames6a941342018-06-26 21:35:48 +000046 return Err;
47
Lang Hameseb14dc72019-04-29 22:37:27 +000048 return CompileLayer->add(JD, std::move(TSM), ES->allocateVModule());
Lang Hames6a941342018-06-26 21:35:48 +000049}
50
Lang Hames37a66412018-08-28 20:20:31 +000051Error LLJIT::addObjectFile(JITDylib &JD, std::unique_ptr<MemoryBuffer> Obj) {
52 assert(Obj && "Can not add null object");
53
Lang Hameseb14dc72019-04-29 22:37:27 +000054 return ObjLinkingLayer->add(JD, std::move(Obj), ES->allocateVModule());
Lang Hames37a66412018-08-28 20:20:31 +000055}
56
Lang Hamesd5f56c52018-08-17 21:18:18 +000057Expected<JITEvaluatedSymbol> LLJIT::lookupLinkerMangled(JITDylib &JD,
Lang Hames6a941342018-06-26 21:35:48 +000058 StringRef Name) {
Lang Hames23cb2e72018-10-23 23:01:39 +000059 return ES->lookup(JITDylibSearchList({{&JD, true}}), ES->intern(Name));
Lang Hames6a941342018-06-26 21:35:48 +000060}
61
Lang Hameseb14dc72019-04-29 22:37:27 +000062std::unique_ptr<ObjectLayer>
63LLJIT::createObjectLinkingLayer(LLJITBuilderState &S, ExecutionSession &ES) {
Lang Hames6a941342018-06-26 21:35:48 +000064
Lang Hameseb14dc72019-04-29 22:37:27 +000065 // If the config state provided an ObjectLinkingLayer factory then use it.
66 if (S.CreateObjectLinkingLayer)
Lang Hamescb391272019-08-02 19:43:20 +000067 return S.CreateObjectLinkingLayer(ES, S.JTMB->getTargetTriple());
Lang Hamesf0a3fd882018-09-26 16:26:59 +000068
Lang Hameseb14dc72019-04-29 22:37:27 +000069 // Otherwise default to creating an RTDyldObjectLinkingLayer that constructs
70 // a new SectionMemoryManager for each object.
Jonas Devlieghere0eaee542019-08-15 15:54:37 +000071 auto GetMemMgr = []() { return std::make_unique<SectionMemoryManager>(); };
Lang Hamescb391272019-08-02 19:43:20 +000072 auto ObjLinkingLayer =
Jonas Devlieghere0eaee542019-08-15 15:54:37 +000073 std::make_unique<RTDyldObjectLinkingLayer>(ES, std::move(GetMemMgr));
Lang Hamescb391272019-08-02 19:43:20 +000074
75 if (S.JTMB->getTargetTriple().isOSBinFormatCOFF())
76 ObjLinkingLayer->setOverrideObjectFlagsWithResponsibilityFlags(true);
77
Lang Hames17077352019-08-05 20:30:35 +000078 // FIXME: Explicit conversion to std::unique_ptr<ObjectLayer> added to silence
79 // errors from some GCC / libstdc++ bots. Remove this conversion (i.e.
80 // just return ObjLinkingLayer) once those bots are upgraded.
81 return std::unique_ptr<ObjectLayer>(std::move(ObjLinkingLayer));
Lang Hameseb14dc72019-04-29 22:37:27 +000082}
Lang Hames8b813952018-09-27 21:13:07 +000083
Lang Hames843f1982019-07-10 17:24:24 +000084Expected<IRCompileLayer::CompileFunction>
85LLJIT::createCompileFunction(LLJITBuilderState &S,
86 JITTargetMachineBuilder JTMB) {
87
88 /// If there is a custom compile function creator set then use it.
89 if (S.CreateCompileFunction)
90 return S.CreateCompileFunction(std::move(JTMB));
91
92 // Otherwise default to creating a SimpleCompiler, or ConcurrentIRCompiler,
93 // depending on the number of threads requested.
94 if (S.NumCompileThreads > 0)
95 return ConcurrentIRCompiler(std::move(JTMB));
96
97 auto TM = JTMB.createTargetMachine();
98 if (!TM)
99 return TM.takeError();
100
101 return TMOwningSimpleCompiler(std::move(*TM));
102}
103
Lang Hameseb14dc72019-04-29 22:37:27 +0000104LLJIT::LLJIT(LLJITBuilderState &S, Error &Err)
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000105 : ES(S.ES ? std::move(S.ES) : std::make_unique<ExecutionSession>()),
Lang Hameseb14dc72019-04-29 22:37:27 +0000106 Main(this->ES->getMainJITDylib()), DL(""), CtorRunner(Main),
107 DtorRunner(Main) {
108
109 ErrorAsOutParameter _(&Err);
110
111 ObjLinkingLayer = createObjectLinkingLayer(S, *ES);
112
Lang Hames843f1982019-07-10 17:24:24 +0000113 if (auto DLOrErr = S.JTMB->getDefaultDataLayoutForTarget())
114 DL = std::move(*DLOrErr);
115 else {
116 Err = DLOrErr.takeError();
117 return;
118 }
Lang Hameseb14dc72019-04-29 22:37:27 +0000119
Lang Hames843f1982019-07-10 17:24:24 +0000120 {
121 auto CompileFunction = createCompileFunction(S, std::move(*S.JTMB));
122 if (!CompileFunction) {
123 Err = CompileFunction.takeError();
Lang Hameseb14dc72019-04-29 22:37:27 +0000124 return;
125 }
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000126 CompileLayer = std::make_unique<IRCompileLayer>(
Lang Hames843f1982019-07-10 17:24:24 +0000127 *ES, *ObjLinkingLayer, std::move(*CompileFunction));
128 }
Lang Hameseb14dc72019-04-29 22:37:27 +0000129
Lang Hames843f1982019-07-10 17:24:24 +0000130 if (S.NumCompileThreads > 0) {
131 CompileLayer->setCloneToNewContextOnEmit(true);
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000132 CompileThreads = std::make_unique<ThreadPool>(S.NumCompileThreads);
Lang Hameseb14dc72019-04-29 22:37:27 +0000133 ES->setDispatchMaterialization(
134 [this](JITDylib &JD, std::unique_ptr<MaterializationUnit> MU) {
Benjamin Kramer6baaa4b2019-09-13 11:59:51 +0000135 // FIXME: Switch to move capture once we have c++14.
136 auto SharedMU = std::shared_ptr<MaterializationUnit>(std::move(MU));
137 auto Work = [SharedMU, &JD]() { SharedMU->doMaterialize(JD); };
Lang Hameseb14dc72019-04-29 22:37:27 +0000138 CompileThreads->async(std::move(Work));
139 });
Lang Hameseb14dc72019-04-29 22:37:27 +0000140 }
Lang Hamesf0a3fd882018-09-26 16:26:59 +0000141}
142
Lang Hames6a941342018-06-26 21:35:48 +0000143std::string LLJIT::mangle(StringRef UnmangledName) {
144 std::string MangledName;
145 {
146 raw_string_ostream MangledNameStream(MangledName);
147 Mangler::getNameWithPrefix(MangledNameStream, UnmangledName, DL);
148 }
149 return MangledName;
150}
151
Lang Hames6a941342018-06-26 21:35:48 +0000152Error LLJIT::applyDataLayout(Module &M) {
153 if (M.getDataLayout().isDefault())
154 M.setDataLayout(DL);
155
156 if (M.getDataLayout() != DL)
157 return make_error<StringError>(
158 "Added modules have incompatible data layouts",
159 inconvertibleErrorCode());
160
161 return Error::success();
162}
163
164void LLJIT::recordCtorDtors(Module &M) {
165 CtorRunner.add(getConstructors(M));
166 DtorRunner.add(getDestructors(M));
167}
168
Lang Hameseb14dc72019-04-29 22:37:27 +0000169Error LLLazyJITBuilderState::prepareForConstruction() {
170 if (auto Err = LLJITBuilderState::prepareForConstruction())
171 return Err;
172 TT = JTMB->getTargetTriple();
173 return Error::success();
Lang Hames6a941342018-06-26 21:35:48 +0000174}
175
Lang Hames8d76c712018-09-26 01:24:12 +0000176Error LLLazyJIT::addLazyIRModule(JITDylib &JD, ThreadSafeModule TSM) {
177 assert(TSM && "Can not add null module");
Lang Hames6a941342018-06-26 21:35:48 +0000178
Lang Hames809e9d12019-08-02 15:21:37 +0000179 if (auto Err = TSM.withModuleDo([&](Module &M) -> Error {
180 if (auto Err = applyDataLayout(M))
181 return Err;
Lang Hames6a941342018-06-26 21:35:48 +0000182
Lang Hames809e9d12019-08-02 15:21:37 +0000183 recordCtorDtors(M);
184 return Error::success();
185 }))
186 return Err;
Lang Hames6a941342018-06-26 21:35:48 +0000187
Lang Hameseb14dc72019-04-29 22:37:27 +0000188 return CODLayer->add(JD, std::move(TSM), ES->allocateVModule());
Lang Hames6a941342018-06-26 21:35:48 +0000189}
190
Lang Hameseb14dc72019-04-29 22:37:27 +0000191LLLazyJIT::LLLazyJIT(LLLazyJITBuilderState &S, Error &Err) : LLJIT(S, Err) {
Lang Hames6a941342018-06-26 21:35:48 +0000192
Lang Hameseb14dc72019-04-29 22:37:27 +0000193 // If LLJIT construction failed then bail out.
194 if (Err)
195 return;
196
197 ErrorAsOutParameter _(&Err);
198
199 /// Take/Create the lazy-compile callthrough manager.
200 if (S.LCTMgr)
201 LCTMgr = std::move(S.LCTMgr);
202 else {
203 if (auto LCTMgrOrErr = createLocalLazyCallThroughManager(
204 S.TT, *ES, S.LazyCompileFailureAddr))
205 LCTMgr = std::move(*LCTMgrOrErr);
206 else {
207 Err = LCTMgrOrErr.takeError();
208 return;
209 }
210 }
211
212 // Take/Create the indirect stubs manager builder.
213 auto ISMBuilder = std::move(S.ISMBuilder);
214
215 // If none was provided, try to build one.
216 if (!ISMBuilder)
217 ISMBuilder = createLocalIndirectStubsManagerBuilder(S.TT);
218
219 // No luck. Bail out.
220 if (!ISMBuilder) {
221 Err = make_error<StringError>("Could not construct "
222 "IndirectStubsManagerBuilder for target " +
223 S.TT.str(),
224 inconvertibleErrorCode());
225 return;
226 }
227
228 // Create the transform layer.
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000229 TransformLayer = std::make_unique<IRTransformLayer>(*ES, *CompileLayer);
Lang Hameseb14dc72019-04-29 22:37:27 +0000230
231 // Create the COD layer.
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000232 CODLayer = std::make_unique<CompileOnDemandLayer>(
Lang Hameseb14dc72019-04-29 22:37:27 +0000233 *ES, *TransformLayer, *LCTMgr, std::move(ISMBuilder));
234
235 if (S.NumCompileThreads > 0)
236 CODLayer->setCloneToNewContextOnEmit(true);
Lang Hames8b813952018-09-27 21:13:07 +0000237}
Lang Hamesf0a3fd882018-09-26 16:26:59 +0000238
Lang Hames6a941342018-06-26 21:35:48 +0000239} // End namespace orc.
240} // End namespace llvm.