1767b328eSStefan Gränitz //===- LLJITWithExecutorProcessControl.cpp - LLJIT example with EPC utils -===//
2767b328eSStefan Gränitz //
3767b328eSStefan Gränitz // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4767b328eSStefan Gränitz // See https://llvm.org/LICENSE.txt for license information.
5767b328eSStefan Gränitz // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6767b328eSStefan Gränitz //
7767b328eSStefan Gränitz //===----------------------------------------------------------------------===//
8767b328eSStefan Gränitz //
9767b328eSStefan Gränitz // In this example we will use the lazy re-exports utility to lazily compile
10767b328eSStefan Gränitz // IR modules. We will do this in seven steps:
11767b328eSStefan Gränitz //
12767b328eSStefan Gränitz // 1. Create an LLJIT instance.
13767b328eSStefan Gränitz // 2. Install a transform so that we can see what is being compiled.
14767b328eSStefan Gränitz // 3. Create an indirect stubs manager and lazy call-through manager.
15767b328eSStefan Gränitz // 4. Add two modules that will be conditionally compiled, plus a main module.
16767b328eSStefan Gränitz // 5. Add lazy-rexports of the symbols in the conditionally compiled modules.
17767b328eSStefan Gränitz // 6. Dump the ExecutionSession state to see the symbol table prior to
18767b328eSStefan Gränitz // executing any code.
19767b328eSStefan Gränitz // 7. Verify that only modules containing executed code are compiled.
20767b328eSStefan Gränitz //
21767b328eSStefan Gränitz //===----------------------------------------------------------------------===//
22767b328eSStefan Gränitz
23767b328eSStefan Gränitz #include "llvm/ADT/StringMap.h"
24767b328eSStefan Gränitz #include "llvm/ExecutionEngine/JITLink/JITLinkMemoryManager.h"
25767b328eSStefan Gränitz #include "llvm/ExecutionEngine/Orc/EPCIndirectionUtils.h"
26767b328eSStefan Gränitz #include "llvm/ExecutionEngine/Orc/ExecutorProcessControl.h"
27767b328eSStefan Gränitz #include "llvm/ExecutionEngine/Orc/LLJIT.h"
28767b328eSStefan Gränitz #include "llvm/ExecutionEngine/Orc/ObjectLinkingLayer.h"
29767b328eSStefan Gränitz #include "llvm/ExecutionEngine/Orc/OrcABISupport.h"
30767b328eSStefan Gränitz #include "llvm/Support/InitLLVM.h"
31767b328eSStefan Gränitz #include "llvm/Support/TargetSelect.h"
32767b328eSStefan Gränitz #include "llvm/Support/raw_ostream.h"
33767b328eSStefan Gränitz
34767b328eSStefan Gränitz #include "../ExampleModules.h"
35767b328eSStefan Gränitz
36767b328eSStefan Gränitz #include <future>
37767b328eSStefan Gränitz
38767b328eSStefan Gränitz using namespace llvm;
39767b328eSStefan Gränitz using namespace llvm::orc;
40767b328eSStefan Gränitz
41767b328eSStefan Gränitz ExitOnError ExitOnErr;
42767b328eSStefan Gränitz
43767b328eSStefan Gränitz // Example IR modules.
44767b328eSStefan Gränitz //
45767b328eSStefan Gränitz // Note that in the conditionally compiled modules, FooMod and BarMod, functions
46767b328eSStefan Gränitz // have been given an _body suffix. This is to ensure that their names do not
47767b328eSStefan Gränitz // clash with their lazy-reexports.
48767b328eSStefan Gränitz // For clients who do not wish to rename function bodies (e.g. because they want
49767b328eSStefan Gränitz // to re-use cached objects between static and JIT compiles) techniques exist to
50767b328eSStefan Gränitz // avoid renaming. See the lazy-reexports section of the ORCv2 design doc.
51767b328eSStefan Gränitz
52767b328eSStefan Gränitz const llvm::StringRef FooMod =
53767b328eSStefan Gränitz R"(
54767b328eSStefan Gränitz declare i32 @return1()
55767b328eSStefan Gränitz
56767b328eSStefan Gränitz define i32 @foo_body() {
57767b328eSStefan Gränitz entry:
58767b328eSStefan Gränitz %0 = call i32 @return1()
59767b328eSStefan Gränitz ret i32 %0
60767b328eSStefan Gränitz }
61767b328eSStefan Gränitz )";
62767b328eSStefan Gränitz
63767b328eSStefan Gränitz const llvm::StringRef BarMod =
64767b328eSStefan Gränitz R"(
65767b328eSStefan Gränitz declare i32 @return2()
66767b328eSStefan Gränitz
67767b328eSStefan Gränitz define i32 @bar_body() {
68767b328eSStefan Gränitz entry:
69767b328eSStefan Gränitz %0 = call i32 @return2()
70767b328eSStefan Gränitz ret i32 %0
71767b328eSStefan Gränitz }
72767b328eSStefan Gränitz )";
73767b328eSStefan Gränitz
74767b328eSStefan Gränitz const llvm::StringRef MainMod =
75767b328eSStefan Gränitz R"(
76767b328eSStefan Gränitz
77767b328eSStefan Gränitz define i32 @entry(i32 %argc) {
78767b328eSStefan Gränitz entry:
79767b328eSStefan Gränitz %and = and i32 %argc, 1
80767b328eSStefan Gränitz %tobool = icmp eq i32 %and, 0
81767b328eSStefan Gränitz br i1 %tobool, label %if.end, label %if.then
82767b328eSStefan Gränitz
83767b328eSStefan Gränitz if.then: ; preds = %entry
84767b328eSStefan Gränitz %call = tail call i32 @foo() #2
85767b328eSStefan Gränitz br label %return
86767b328eSStefan Gränitz
87767b328eSStefan Gränitz if.end: ; preds = %entry
88767b328eSStefan Gränitz %call1 = tail call i32 @bar() #2
89767b328eSStefan Gränitz br label %return
90767b328eSStefan Gränitz
91767b328eSStefan Gränitz return: ; preds = %if.end, %if.then
92767b328eSStefan Gränitz %retval.0 = phi i32 [ %call, %if.then ], [ %call1, %if.end ]
93767b328eSStefan Gränitz ret i32 %retval.0
94767b328eSStefan Gränitz }
95767b328eSStefan Gränitz
96767b328eSStefan Gränitz declare i32 @foo()
97767b328eSStefan Gränitz declare i32 @bar()
98767b328eSStefan Gränitz )";
99767b328eSStefan Gränitz
return1()100767b328eSStefan Gränitz extern "C" int32_t return1() { return 1; }
return2()101767b328eSStefan Gränitz extern "C" int32_t return2() { return 2; }
102767b328eSStefan Gränitz
reenter(void * Ctx,void * TrampolineAddr)103767b328eSStefan Gränitz static void *reenter(void *Ctx, void *TrampolineAddr) {
104767b328eSStefan Gränitz std::promise<void *> LandingAddressP;
105767b328eSStefan Gränitz auto LandingAddressF = LandingAddressP.get_future();
106767b328eSStefan Gränitz
107767b328eSStefan Gränitz auto *EPCIU = static_cast<EPCIndirectionUtils *>(Ctx);
108767b328eSStefan Gränitz EPCIU->getLazyCallThroughManager().resolveTrampolineLandingAddress(
1098b1771bdSLang Hames ExecutorAddr::fromPtr(TrampolineAddr), [&](ExecutorAddr LandingAddress) {
1108b1771bdSLang Hames LandingAddressP.set_value(LandingAddress.toPtr<void *>());
111767b328eSStefan Gränitz });
112767b328eSStefan Gränitz return LandingAddressF.get();
113767b328eSStefan Gränitz }
114767b328eSStefan Gränitz
reportErrorAndExit()115767b328eSStefan Gränitz static void reportErrorAndExit() {
116767b328eSStefan Gränitz errs() << "Unable to lazily compile function. Exiting.\n";
117767b328eSStefan Gränitz exit(1);
118767b328eSStefan Gränitz }
119767b328eSStefan Gränitz
120767b328eSStefan Gränitz cl::list<std::string> InputArgv(cl::Positional,
121767b328eSStefan Gränitz cl::desc("<program arguments>..."));
122767b328eSStefan Gränitz
main(int argc,char * argv[])123767b328eSStefan Gränitz int main(int argc, char *argv[]) {
124767b328eSStefan Gränitz // Initialize LLVM.
125767b328eSStefan Gränitz InitLLVM X(argc, argv);
126767b328eSStefan Gränitz
127767b328eSStefan Gränitz InitializeNativeTarget();
128767b328eSStefan Gränitz InitializeNativeTargetAsmPrinter();
129767b328eSStefan Gränitz
130767b328eSStefan Gränitz cl::ParseCommandLineOptions(argc, argv, "LLJITWithLazyReexports");
131767b328eSStefan Gränitz ExitOnErr.setBanner(std::string(argv[0]) + ": ");
132767b328eSStefan Gränitz
133767b328eSStefan Gränitz // (1) Create LLJIT instance.
134767b328eSStefan Gränitz auto EPC = ExitOnErr(SelfExecutorProcessControl::Create());
135767b328eSStefan Gränitz auto J = ExitOnErr(
136767b328eSStefan Gränitz LLJITBuilder().setExecutorProcessControl(std::move(EPC)).create());
137767b328eSStefan Gränitz
138767b328eSStefan Gränitz // (2) Install transform to print modules as they are compiled:
139767b328eSStefan Gränitz J->getIRTransformLayer().setTransform(
140767b328eSStefan Gränitz [](ThreadSafeModule TSM,
141767b328eSStefan Gränitz const MaterializationResponsibility &R) -> Expected<ThreadSafeModule> {
142767b328eSStefan Gränitz TSM.withModuleDo([](Module &M) { dbgs() << "---Compiling---\n" << M; });
143767b328eSStefan Gränitz return std::move(TSM); // Not a redundant move: fix build on gcc-7.5
144767b328eSStefan Gränitz });
145767b328eSStefan Gränitz
146767b328eSStefan Gränitz // (3) Create stubs and call-through managers:
147*d120d77fSLang Hames auto EPCIU = ExitOnErr(EPCIndirectionUtils::Create(J->getExecutionSession()));
1488b1771bdSLang Hames ExitOnErr(EPCIU->writeResolverBlock(ExecutorAddr::fromPtr(&reenter),
1498b1771bdSLang Hames ExecutorAddr::fromPtr(EPCIU.get())));
150767b328eSStefan Gränitz EPCIU->createLazyCallThroughManager(
1518b1771bdSLang Hames J->getExecutionSession(), ExecutorAddr::fromPtr(&reportErrorAndExit));
152767b328eSStefan Gränitz auto ISM = EPCIU->createIndirectStubsManager();
153767b328eSStefan Gränitz
154767b328eSStefan Gränitz // (4) Add modules.
155767b328eSStefan Gränitz ExitOnErr(J->addIRModule(ExitOnErr(parseExampleModule(FooMod, "foo-mod"))));
156767b328eSStefan Gränitz ExitOnErr(J->addIRModule(ExitOnErr(parseExampleModule(BarMod, "bar-mod"))));
157767b328eSStefan Gränitz ExitOnErr(J->addIRModule(ExitOnErr(parseExampleModule(MainMod, "main-mod"))));
158767b328eSStefan Gränitz
159767b328eSStefan Gränitz // (5) Add lazy reexports.
160767b328eSStefan Gränitz MangleAndInterner Mangle(J->getExecutionSession(), J->getDataLayout());
161767b328eSStefan Gränitz SymbolAliasMap ReExports(
162767b328eSStefan Gränitz {{Mangle("foo"),
163767b328eSStefan Gränitz {Mangle("foo_body"),
164767b328eSStefan Gränitz JITSymbolFlags::Exported | JITSymbolFlags::Callable}},
165767b328eSStefan Gränitz {Mangle("bar"),
166767b328eSStefan Gränitz {Mangle("bar_body"),
167767b328eSStefan Gränitz JITSymbolFlags::Exported | JITSymbolFlags::Callable}}});
168767b328eSStefan Gränitz ExitOnErr(J->getMainJITDylib().define(
169767b328eSStefan Gränitz lazyReexports(EPCIU->getLazyCallThroughManager(), *ISM,
170767b328eSStefan Gränitz J->getMainJITDylib(), std::move(ReExports))));
171767b328eSStefan Gränitz
172767b328eSStefan Gränitz // (6) Dump the ExecutionSession state.
173767b328eSStefan Gränitz dbgs() << "---Session state---\n";
174767b328eSStefan Gränitz J->getExecutionSession().dump(dbgs());
175767b328eSStefan Gränitz dbgs() << "\n";
176767b328eSStefan Gränitz
177767b328eSStefan Gränitz // (7) Execute the JIT'd main function and pass the example's command line
178767b328eSStefan Gränitz // arguments unmodified. This should cause either ExampleMod1 or ExampleMod2
179767b328eSStefan Gränitz // to be compiled, and either "1" or "2" returned depending on the number of
180767b328eSStefan Gränitz // arguments passed.
181767b328eSStefan Gränitz
182767b328eSStefan Gränitz // Look up the JIT'd function, cast it to a function pointer, then call it.
18316dcbb53SLang Hames auto EntryAddr = ExitOnErr(J->lookup("entry"));
18416dcbb53SLang Hames auto *Entry = EntryAddr.toPtr<int(int)>();
185767b328eSStefan Gränitz
186767b328eSStefan Gränitz int Result = Entry(argc);
187767b328eSStefan Gränitz outs() << "---Result---\n"
188767b328eSStefan Gränitz << "entry(" << argc << ") = " << Result << "\n";
189767b328eSStefan Gränitz
1907581f138SLang Hames // Destroy the EPCIndirectionUtils utility.
1917581f138SLang Hames ExitOnErr(EPCIU->cleanup());
1927581f138SLang Hames
193767b328eSStefan Gränitz return 0;
194767b328eSStefan Gränitz }
195