1987319d3SReid Spencer //===-- examples/HowToUseJIT/HowToUseJIT.cpp - An example use of the JIT --===// 2b987b7ceSReid Spencer // 3*2946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*2946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information. 5*2946cd70SChandler 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" 392b8e4170SEugene Zelenko #include "llvm/IR/Argument.h" 402b8e4170SEugene Zelenko #include "llvm/IR/BasicBlock.h" 41005f27a0SChandler Carruth #include "llvm/IR/Constants.h" 42005f27a0SChandler Carruth #include "llvm/IR/DerivedTypes.h" 432b8e4170SEugene Zelenko #include "llvm/IR/Function.h" 44005f27a0SChandler Carruth #include "llvm/IR/IRBuilder.h" 45005f27a0SChandler Carruth #include "llvm/IR/Instructions.h" 46005f27a0SChandler Carruth #include "llvm/IR/LLVMContext.h" 47005f27a0SChandler Carruth #include "llvm/IR/Module.h" 482b8e4170SEugene Zelenko #include "llvm/IR/Type.h" 492b8e4170SEugene Zelenko #include "llvm/Support/Casting.h" 5073312b3fSTorok Edwin #include "llvm/Support/ManagedStatic.h" 51605e30e9SChandler Carruth #include "llvm/Support/TargetSelect.h" 520c19df48SChris Lattner #include "llvm/Support/raw_ostream.h" 532b8e4170SEugene Zelenko #include <algorithm> 542b8e4170SEugene Zelenko #include <cassert> 552b8e4170SEugene Zelenko #include <memory> 562b8e4170SEugene Zelenko #include <vector> 578ad343f2SEric Christopher 58b987b7ceSReid Spencer using namespace llvm; 59b987b7ceSReid Spencer 60b987b7ceSReid Spencer int main() { 61d24df245SChris Lattner InitializeNativeTarget(); 62d24df245SChris Lattner 636773d388SOwen Anderson LLVMContext Context; 646773d388SOwen Anderson 65b987b7ceSReid Spencer // Create some module to put our function into it. 662a8a2795SRafael Espindola std::unique_ptr<Module> Owner = make_unique<Module>("test", Context); 672a8a2795SRafael Espindola Module *M = Owner.get(); 68b987b7ceSReid Spencer 69b987b7ceSReid Spencer // Create the add1 function entry and insert this entry into module M. The 70b987b7ceSReid Spencer // function will have a return type of "int" and take an argument of "int". 71b800b392SChris Lattner Function *Add1F = 7255f1c09eSOwen Anderson cast<Function>(M->getOrInsertFunction("add1", Type::getInt32Ty(Context), 7359a2d7b9SSerge Guelton Type::getInt32Ty(Context))); 74b987b7ceSReid Spencer 75b987b7ceSReid Spencer // Add a basic block to the function. As before, it automatically inserts 76b987b7ceSReid Spencer // because of the last argument. 7755f1c09eSOwen Anderson BasicBlock *BB = BasicBlock::Create(Context, "EntryBlock", Add1F); 78b987b7ceSReid Spencer 798ad343f2SEric Christopher // Create a basic block builder with default parameters. The builder will 808ad343f2SEric Christopher // automatically append instructions to the basic block `BB'. 818ad343f2SEric Christopher IRBuilder<> builder(BB); 828ad343f2SEric Christopher 83b987b7ceSReid Spencer // Get pointers to the constant `1'. 848ad343f2SEric Christopher Value *One = builder.getInt32(1); 85b987b7ceSReid Spencer 86b987b7ceSReid Spencer // Get pointers to the integer argument of the add1 function... 87222dcd44SAlkis Evlogimenos assert(Add1F->arg_begin() != Add1F->arg_end()); // Make sure there's an arg 885717ecbaSDuncan P. N. Exon Smith Argument *ArgX = &*Add1F->arg_begin(); // Get the arg 89b987b7ceSReid Spencer ArgX->setName("AnArg"); // Give it a nice symbolic name for fun. 90b987b7ceSReid Spencer 91b987b7ceSReid Spencer // Create the add instruction, inserting it into the end of BB. 928ad343f2SEric Christopher Value *Add = builder.CreateAdd(One, ArgX); 93b987b7ceSReid Spencer 94b987b7ceSReid Spencer // Create the return instruction and add it to the basic block 958ad343f2SEric Christopher builder.CreateRet(Add); 96b987b7ceSReid Spencer 97b987b7ceSReid Spencer // Now, function add1 is ready. 98b987b7ceSReid Spencer 999e4b6899SJohnny Chen // Now we're going to create function `foo', which returns an int and takes no 100b987b7ceSReid Spencer // arguments. 101b800b392SChris Lattner Function *FooF = 10259a2d7b9SSerge Guelton cast<Function>(M->getOrInsertFunction("foo", Type::getInt32Ty(Context))); 103b987b7ceSReid Spencer 104b987b7ceSReid Spencer // Add a basic block to the FooF function. 10555f1c09eSOwen Anderson BB = BasicBlock::Create(Context, "EntryBlock", FooF); 106b987b7ceSReid Spencer 1078ad343f2SEric Christopher // Tell the basic block builder to attach itself to the new basic block 1088ad343f2SEric Christopher builder.SetInsertPoint(BB); 109b987b7ceSReid Spencer 1108ad343f2SEric Christopher // Get pointer to the constant `10'. 1118ad343f2SEric Christopher Value *Ten = builder.getInt32(10); 1128ad343f2SEric Christopher 1138ad343f2SEric Christopher // Pass Ten to the call to Add1F 1148ad343f2SEric Christopher CallInst *Add1CallRes = builder.CreateCall(Add1F, Ten); 115eaf625dcSChris Lattner Add1CallRes->setTailCall(true); 116b987b7ceSReid Spencer 117b987b7ceSReid Spencer // Create the return instruction and add it to the basic block. 1188ad343f2SEric Christopher builder.CreateRet(Add1CallRes); 119b987b7ceSReid Spencer 120b987b7ceSReid Spencer // Now we create the JIT. 1212a8a2795SRafael Espindola ExecutionEngine* EE = EngineBuilder(std::move(Owner)).create(); 122b987b7ceSReid Spencer 1230c19df48SChris Lattner outs() << "We just constructed this LLVM module:\n\n" << *M; 1240c19df48SChris Lattner outs() << "\n\nRunning foo: "; 1250c19df48SChris Lattner outs().flush(); 126b987b7ceSReid Spencer 127b987b7ceSReid Spencer // Call the `foo' function with no arguments: 128b987b7ceSReid Spencer std::vector<GenericValue> noargs; 129b987b7ceSReid Spencer GenericValue gv = EE->runFunction(FooF, noargs); 130b987b7ceSReid Spencer 131b987b7ceSReid Spencer // Import result of execution: 1320c19df48SChris Lattner outs() << "Result: " << gv.IntVal << "\n"; 13373312b3fSTorok Edwin delete EE; 13473312b3fSTorok Edwin llvm_shutdown(); 135b987b7ceSReid Spencer return 0; 136b987b7ceSReid Spencer } 137