1987319d3SReid Spencer //===-- examples/HowToUseJIT/HowToUseJIT.cpp - An example use of the JIT --===//
2b987b7ceSReid Spencer //
3b987b7ceSReid Spencer //                     The LLVM Compiler Infrastructure
4b987b7ceSReid Spencer //
5bcf65db6SChris Lattner // This file is distributed under the University of Illinois Open Source
6bcf65db6SChris Lattner // License. See LICENSE.TXT for details.
7b987b7ceSReid Spencer //
8b987b7ceSReid Spencer //===----------------------------------------------------------------------===//
9b987b7ceSReid Spencer //
10b987b7ceSReid Spencer //  This small program provides an example of how to quickly build a small
11b987b7ceSReid Spencer //  module with two functions and execute it with the JIT.
12b987b7ceSReid Spencer //
13b987b7ceSReid Spencer // Goal:
14b987b7ceSReid Spencer //  The goal of this snippet is to create in the memory
15b987b7ceSReid Spencer //  the LLVM module consisting of two functions as follow:
16b987b7ceSReid Spencer //
17b987b7ceSReid Spencer // int add1(int x) {
18b987b7ceSReid Spencer //   return x+1;
19b987b7ceSReid Spencer // }
20b987b7ceSReid Spencer //
21b987b7ceSReid Spencer // int foo() {
22b987b7ceSReid Spencer //   return add1(10);
23b987b7ceSReid Spencer // }
24b987b7ceSReid Spencer //
25b987b7ceSReid Spencer // then compile the module via JIT, then execute the `foo'
26b987b7ceSReid Spencer // function and return result to a driver, i.e. to a "host program".
27b987b7ceSReid Spencer //
28b987b7ceSReid Spencer // Some remarks and questions:
29b987b7ceSReid Spencer //
30b987b7ceSReid Spencer // - could we invoke some code using noname functions too?
31b987b7ceSReid Spencer //   e.g. evaluate "foo()+foo()" without fears to introduce
32b987b7ceSReid Spencer //   conflict of temporary function name with some real
33b987b7ceSReid Spencer //   existing function name?
34b987b7ceSReid Spencer //
35b987b7ceSReid Spencer //===----------------------------------------------------------------------===//
36b987b7ceSReid Spencer 
37b987b7ceSReid Spencer #include "llvm/Module.h"
38b987b7ceSReid Spencer #include "llvm/Constants.h"
39727f31b2SReid Spencer #include "llvm/DerivedTypes.h"
40b987b7ceSReid Spencer #include "llvm/Instructions.h"
41b987b7ceSReid Spencer #include "llvm/ModuleProvider.h"
42e46cbe7aSJeff Cohen #include "llvm/ExecutionEngine/JIT.h"
43e46cbe7aSJeff Cohen #include "llvm/ExecutionEngine/Interpreter.h"
44b987b7ceSReid Spencer #include "llvm/ExecutionEngine/GenericValue.h"
45*0c19df48SChris Lattner #include "llvm/Support/raw_ostream.h"
46b987b7ceSReid Spencer using namespace llvm;
47b987b7ceSReid Spencer 
48b987b7ceSReid Spencer int main() {
49b987b7ceSReid Spencer   // Create some module to put our function into it.
50b987b7ceSReid Spencer   Module *M = new Module("test");
51b987b7ceSReid Spencer 
52b987b7ceSReid Spencer   // Create the add1 function entry and insert this entry into module M.  The
53b987b7ceSReid Spencer   // function will have a return type of "int" and take an argument of "int".
54b987b7ceSReid Spencer   // The '0' terminates the list of argument types.
55b800b392SChris Lattner   Function *Add1F =
56b800b392SChris Lattner     cast<Function>(M->getOrInsertFunction("add1", Type::Int32Ty, Type::Int32Ty,
57b800b392SChris Lattner                                           (Type *)0));
58b987b7ceSReid Spencer 
59b987b7ceSReid Spencer   // Add a basic block to the function. As before, it automatically inserts
60b987b7ceSReid Spencer   // because of the last argument.
61e9ecc68dSGabor Greif   BasicBlock *BB = BasicBlock::Create("EntryBlock", Add1F);
62b987b7ceSReid Spencer 
63b987b7ceSReid Spencer   // Get pointers to the constant `1'.
64bc013ba3SReid Spencer   Value *One = ConstantInt::get(Type::Int32Ty, 1);
65b987b7ceSReid Spencer 
66b987b7ceSReid Spencer   // Get pointers to the integer argument of the add1 function...
67222dcd44SAlkis Evlogimenos   assert(Add1F->arg_begin() != Add1F->arg_end()); // Make sure there's an arg
68222dcd44SAlkis Evlogimenos   Argument *ArgX = Add1F->arg_begin();  // Get the arg
69b987b7ceSReid Spencer   ArgX->setName("AnArg");            // Give it a nice symbolic name for fun.
70b987b7ceSReid Spencer 
71b987b7ceSReid Spencer   // Create the add instruction, inserting it into the end of BB.
72e1f6e4b2SGabor Greif   Instruction *Add = BinaryOperator::CreateAdd(One, ArgX, "addresult", BB);
73b987b7ceSReid Spencer 
74b987b7ceSReid Spencer   // Create the return instruction and add it to the basic block
75e9ecc68dSGabor Greif   ReturnInst::Create(Add, BB);
76b987b7ceSReid Spencer 
77b987b7ceSReid Spencer   // Now, function add1 is ready.
78b987b7ceSReid Spencer 
79b987b7ceSReid Spencer 
80b987b7ceSReid Spencer   // Now we going to create function `foo', which returns an int and takes no
81b987b7ceSReid Spencer   // arguments.
82b800b392SChris Lattner   Function *FooF =
83b800b392SChris Lattner     cast<Function>(M->getOrInsertFunction("foo", Type::Int32Ty, (Type *)0));
84b987b7ceSReid Spencer 
85b987b7ceSReid Spencer   // Add a basic block to the FooF function.
86e9ecc68dSGabor Greif   BB = BasicBlock::Create("EntryBlock", FooF);
87b987b7ceSReid Spencer 
88b987b7ceSReid Spencer   // Get pointers to the constant `10'.
89bc013ba3SReid Spencer   Value *Ten = ConstantInt::get(Type::Int32Ty, 10);
90b987b7ceSReid Spencer 
91b987b7ceSReid Spencer   // Pass Ten to the call call:
92e9ecc68dSGabor Greif   CallInst *Add1CallRes = CallInst::Create(Add1F, Ten, "add1", BB);
93eaf625dcSChris Lattner   Add1CallRes->setTailCall(true);
94b987b7ceSReid Spencer 
95b987b7ceSReid Spencer   // Create the return instruction and add it to the basic block.
96e9ecc68dSGabor Greif   ReturnInst::Create(Add1CallRes, BB);
97b987b7ceSReid Spencer 
98b987b7ceSReid Spencer   // Now we create the JIT.
99b987b7ceSReid Spencer   ExistingModuleProvider* MP = new ExistingModuleProvider(M);
100b987b7ceSReid Spencer   ExecutionEngine* EE = ExecutionEngine::create(MP, false);
101b987b7ceSReid Spencer 
102*0c19df48SChris Lattner   outs() << "We just constructed this LLVM module:\n\n" << *M;
103*0c19df48SChris Lattner   outs() << "\n\nRunning foo: ";
104*0c19df48SChris Lattner   outs().flush();
105b987b7ceSReid Spencer 
106b987b7ceSReid Spencer   // Call the `foo' function with no arguments:
107b987b7ceSReid Spencer   std::vector<GenericValue> noargs;
108b987b7ceSReid Spencer   GenericValue gv = EE->runFunction(FooF, noargs);
109b987b7ceSReid Spencer 
110b987b7ceSReid Spencer   // Import result of execution:
111*0c19df48SChris Lattner   outs() << "Result: " << gv.IntVal << "\n";
112b987b7ceSReid Spencer   return 0;
113b987b7ceSReid Spencer }
114