1987319d3SReid Spencer //===-- examples/HowToUseJIT/HowToUseJIT.cpp - An example use of the JIT --===//
2b987b7ceSReid Spencer //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6b987b7ceSReid Spencer //
7b987b7ceSReid Spencer //===----------------------------------------------------------------------===//
8b987b7ceSReid Spencer //
9b987b7ceSReid Spencer // This small program provides an example of how to quickly build a small
10b987b7ceSReid Spencer // module with two functions and execute it with the JIT.
11b987b7ceSReid Spencer //
12b987b7ceSReid Spencer // Goal:
13b987b7ceSReid Spencer // The goal of this snippet is to create in the memory
14b987b7ceSReid Spencer // the LLVM module consisting of two functions as follow:
15b987b7ceSReid Spencer //
16b987b7ceSReid Spencer // int add1(int x) {
17b987b7ceSReid Spencer // return x+1;
18b987b7ceSReid Spencer // }
19b987b7ceSReid Spencer //
20b987b7ceSReid Spencer // int foo() {
21b987b7ceSReid Spencer // return add1(10);
22b987b7ceSReid Spencer // }
23b987b7ceSReid Spencer //
24b987b7ceSReid Spencer // then compile the module via JIT, then execute the `foo'
25b987b7ceSReid Spencer // function and return result to a driver, i.e. to a "host program".
26b987b7ceSReid Spencer //
27b987b7ceSReid Spencer // Some remarks and questions:
28b987b7ceSReid Spencer //
29b987b7ceSReid Spencer // - could we invoke some code using noname functions too?
30b987b7ceSReid Spencer // e.g. evaluate "foo()+foo()" without fears to introduce
31b987b7ceSReid Spencer // conflict of temporary function name with some real
32b987b7ceSReid Spencer // existing function name?
33b987b7ceSReid Spencer //
34b987b7ceSReid Spencer //===----------------------------------------------------------------------===//
35b987b7ceSReid Spencer
3685c9bacaSNAKAMURA Takumi #include "llvm/ADT/STLExtras.h"
372b8e4170SEugene Zelenko #include "llvm/ExecutionEngine/ExecutionEngine.h"
38605e30e9SChandler Carruth #include "llvm/ExecutionEngine/GenericValue.h"
39*b3d7e761SLang Hames #include "llvm/ExecutionEngine/MCJIT.h"
402b8e4170SEugene Zelenko #include "llvm/IR/Argument.h"
412b8e4170SEugene Zelenko #include "llvm/IR/BasicBlock.h"
42005f27a0SChandler Carruth #include "llvm/IR/Constants.h"
43005f27a0SChandler Carruth #include "llvm/IR/DerivedTypes.h"
442b8e4170SEugene Zelenko #include "llvm/IR/Function.h"
45005f27a0SChandler Carruth #include "llvm/IR/IRBuilder.h"
46005f27a0SChandler Carruth #include "llvm/IR/Instructions.h"
47005f27a0SChandler Carruth #include "llvm/IR/LLVMContext.h"
48005f27a0SChandler Carruth #include "llvm/IR/Module.h"
492b8e4170SEugene Zelenko #include "llvm/IR/Type.h"
502b8e4170SEugene Zelenko #include "llvm/Support/Casting.h"
5173312b3fSTorok Edwin #include "llvm/Support/ManagedStatic.h"
52605e30e9SChandler Carruth #include "llvm/Support/TargetSelect.h"
530c19df48SChris Lattner #include "llvm/Support/raw_ostream.h"
542b8e4170SEugene Zelenko #include <algorithm>
552b8e4170SEugene Zelenko #include <cassert>
562b8e4170SEugene Zelenko #include <memory>
572b8e4170SEugene Zelenko #include <vector>
588ad343f2SEric Christopher
59b987b7ceSReid Spencer using namespace llvm;
60b987b7ceSReid Spencer
main()61b987b7ceSReid Spencer int main() {
62d24df245SChris Lattner InitializeNativeTarget();
63*b3d7e761SLang Hames LLVMInitializeNativeAsmPrinter();
64d24df245SChris Lattner
656773d388SOwen Anderson LLVMContext Context;
666773d388SOwen Anderson
67b987b7ceSReid Spencer // Create some module to put our function into it.
680eaee545SJonas Devlieghere std::unique_ptr<Module> Owner = std::make_unique<Module>("test", Context);
692a8a2795SRafael Espindola Module *M = Owner.get();
70b987b7ceSReid Spencer
71b987b7ceSReid Spencer // Create the add1 function entry and insert this entry into module M. The
72b987b7ceSReid Spencer // function will have a return type of "int" and take an argument of "int".
73b800b392SChris Lattner Function *Add1F =
7413680223SJames Y Knight Function::Create(FunctionType::get(Type::getInt32Ty(Context),
7513680223SJames Y Knight {Type::getInt32Ty(Context)}, false),
7613680223SJames Y Knight Function::ExternalLinkage, "add1", M);
77b987b7ceSReid Spencer
78b987b7ceSReid Spencer // Add a basic block to the function. As before, it automatically inserts
79b987b7ceSReid Spencer // because of the last argument.
8055f1c09eSOwen Anderson BasicBlock *BB = BasicBlock::Create(Context, "EntryBlock", Add1F);
81b987b7ceSReid Spencer
828ad343f2SEric Christopher // Create a basic block builder with default parameters. The builder will
838ad343f2SEric Christopher // automatically append instructions to the basic block `BB'.
848ad343f2SEric Christopher IRBuilder<> builder(BB);
858ad343f2SEric Christopher
86b987b7ceSReid Spencer // Get pointers to the constant `1'.
878ad343f2SEric Christopher Value *One = builder.getInt32(1);
88b987b7ceSReid Spencer
89b987b7ceSReid Spencer // Get pointers to the integer argument of the add1 function...
90222dcd44SAlkis Evlogimenos assert(Add1F->arg_begin() != Add1F->arg_end()); // Make sure there's an arg
915717ecbaSDuncan P. N. Exon Smith Argument *ArgX = &*Add1F->arg_begin(); // Get the arg
92b987b7ceSReid Spencer ArgX->setName("AnArg"); // Give it a nice symbolic name for fun.
93b987b7ceSReid Spencer
94b987b7ceSReid Spencer // Create the add instruction, inserting it into the end of BB.
958ad343f2SEric Christopher Value *Add = builder.CreateAdd(One, ArgX);
96b987b7ceSReid Spencer
97b987b7ceSReid Spencer // Create the return instruction and add it to the basic block
988ad343f2SEric Christopher builder.CreateRet(Add);
99b987b7ceSReid Spencer
100b987b7ceSReid Spencer // Now, function add1 is ready.
101b987b7ceSReid Spencer
1029e4b6899SJohnny Chen // Now we're going to create function `foo', which returns an int and takes no
103b987b7ceSReid Spencer // arguments.
104b800b392SChris Lattner Function *FooF =
10513680223SJames Y Knight Function::Create(FunctionType::get(Type::getInt32Ty(Context), {}, false),
10613680223SJames Y Knight Function::ExternalLinkage, "foo", M);
107b987b7ceSReid Spencer
108b987b7ceSReid Spencer // Add a basic block to the FooF function.
10955f1c09eSOwen Anderson BB = BasicBlock::Create(Context, "EntryBlock", FooF);
110b987b7ceSReid Spencer
1118ad343f2SEric Christopher // Tell the basic block builder to attach itself to the new basic block
1128ad343f2SEric Christopher builder.SetInsertPoint(BB);
113b987b7ceSReid Spencer
1148ad343f2SEric Christopher // Get pointer to the constant `10'.
1158ad343f2SEric Christopher Value *Ten = builder.getInt32(10);
1168ad343f2SEric Christopher
1178ad343f2SEric Christopher // Pass Ten to the call to Add1F
1188ad343f2SEric Christopher CallInst *Add1CallRes = builder.CreateCall(Add1F, Ten);
119eaf625dcSChris Lattner Add1CallRes->setTailCall(true);
120b987b7ceSReid Spencer
121b987b7ceSReid Spencer // Create the return instruction and add it to the basic block.
1228ad343f2SEric Christopher builder.CreateRet(Add1CallRes);
123b987b7ceSReid Spencer
124b987b7ceSReid Spencer // Now we create the JIT.
1252a8a2795SRafael Espindola ExecutionEngine* EE = EngineBuilder(std::move(Owner)).create();
126b987b7ceSReid Spencer
1270c19df48SChris Lattner outs() << "We just constructed this LLVM module:\n\n" << *M;
1280c19df48SChris Lattner outs() << "\n\nRunning foo: ";
1290c19df48SChris Lattner outs().flush();
130b987b7ceSReid Spencer
131b987b7ceSReid Spencer // Call the `foo' function with no arguments:
132b987b7ceSReid Spencer std::vector<GenericValue> noargs;
133b987b7ceSReid Spencer GenericValue gv = EE->runFunction(FooF, noargs);
134b987b7ceSReid Spencer
135b987b7ceSReid Spencer // Import result of execution:
1360c19df48SChris Lattner outs() << "Result: " << gv.IntVal << "\n";
13773312b3fSTorok Edwin delete EE;
13873312b3fSTorok Edwin llvm_shutdown();
139b987b7ceSReid Spencer return 0;
140b987b7ceSReid Spencer }
141