blob: 5ba8a7f1a82a0f57c16b6c42c4cb54fa0913285e [file] [log] [blame]
Reid Spencer66e7cd02004-09-11 20:30:11 +00001//===-- examples/HowToUseJIT/HowToUseJIT.cpp - An example use of the JIT --===//
Misha Brukman237cef42005-04-20 16:42:34 +00002//
Reid Spencer26a4ba72004-08-10 19:14:36 +00003// The LLVM Compiler Infrastructure
4//
5// This file was developed by Valery A. Khamenya and is distributed under the
6// University of Illinois Open Source License. See LICENSE.TXT for details.
Misha Brukman237cef42005-04-20 16:42:34 +00007//
Reid Spencer26a4ba72004-08-10 19:14:36 +00008//===----------------------------------------------------------------------===//
9//
Reid Spencer54706d62004-08-10 19:18:51 +000010// This small program provides an example of how to quickly build a small
Misha Brukman237cef42005-04-20 16:42:34 +000011// module with two functions and execute it with the JIT.
12//
13// Goal:
Reid Spencer26a4ba72004-08-10 19:14:36 +000014// The goal of this snippet is to create in the memory
15// the LLVM module consisting of two functions as follow:
16//
17// int add1(int x) {
18// return x+1;
19// }
Misha Brukman237cef42005-04-20 16:42:34 +000020//
Reid Spencer26a4ba72004-08-10 19:14:36 +000021// int foo() {
22// return add1(10);
23// }
Misha Brukman237cef42005-04-20 16:42:34 +000024//
25// then compile the module via JIT, then execute the `foo'
Reid Spencer26a4ba72004-08-10 19:14:36 +000026// function and return result to a driver, i.e. to a "host program".
Misha Brukman237cef42005-04-20 16:42:34 +000027//
Reid Spencer26a4ba72004-08-10 19:14:36 +000028// Some remarks and questions:
Misha Brukman237cef42005-04-20 16:42:34 +000029//
Reid Spencer26a4ba72004-08-10 19:14:36 +000030// - could we invoke some code using noname functions too?
Misha Brukman237cef42005-04-20 16:42:34 +000031// e.g. evaluate "foo()+foo()" without fears to introduce
Reid Spencer26a4ba72004-08-10 19:14:36 +000032// conflict of temporary function name with some real
33// existing function name?
Misha Brukman237cef42005-04-20 16:42:34 +000034//
Chris Lattnere8bf58c2004-08-15 23:21:54 +000035//===----------------------------------------------------------------------===//
Reid Spencer26a4ba72004-08-10 19:14:36 +000036
Chris Lattnere8bf58c2004-08-15 23:21:54 +000037#include "llvm/Module.h"
38#include "llvm/Constants.h"
39#include "llvm/Type.h"
40#include "llvm/Instructions.h"
41#include "llvm/ModuleProvider.h"
Reid Spencer26a4ba72004-08-10 19:14:36 +000042#include "llvm/ExecutionEngine/ExecutionEngine.h"
43#include "llvm/ExecutionEngine/GenericValue.h"
Chris Lattnere8bf58c2004-08-15 23:21:54 +000044#include <iostream>
Reid Spencer26a4ba72004-08-10 19:14:36 +000045using namespace llvm;
46
47int main() {
Reid Spencer26a4ba72004-08-10 19:14:36 +000048 // Create some module to put our function into it.
49 Module *M = new Module("test");
50
Chris Lattnere8bf58c2004-08-15 23:21:54 +000051 // Create the add1 function entry and insert this entry into module M. The
52 // function will have a return type of "int" and take an argument of "int".
53 // The '0' terminates the list of argument types.
Jeff Cohen66c5fd62005-10-23 04:37:20 +000054 Function *Add1F = M->getOrInsertFunction("add1", Type::IntTy, Type::IntTy,
55 (Type *)0);
Reid Spencer26a4ba72004-08-10 19:14:36 +000056
Chris Lattnere8bf58c2004-08-15 23:21:54 +000057 // Add a basic block to the function. As before, it automatically inserts
58 // because of the last argument.
59 BasicBlock *BB = new BasicBlock("EntryBlock", Add1F);
Misha Brukman237cef42005-04-20 16:42:34 +000060
Chris Lattnere8bf58c2004-08-15 23:21:54 +000061 // Get pointers to the constant `1'.
62 Value *One = ConstantSInt::get(Type::IntTy, 1);
Reid Spencer26a4ba72004-08-10 19:14:36 +000063
Chris Lattnere8bf58c2004-08-15 23:21:54 +000064 // Get pointers to the integer argument of the add1 function...
Alkis Evlogimenos1d9f2622005-03-15 07:20:55 +000065 assert(Add1F->arg_begin() != Add1F->arg_end()); // Make sure there's an arg
66 Argument *ArgX = Add1F->arg_begin(); // Get the arg
Chris Lattnere8bf58c2004-08-15 23:21:54 +000067 ArgX->setName("AnArg"); // Give it a nice symbolic name for fun.
Reid Spencer26a4ba72004-08-10 19:14:36 +000068
Chris Lattnere8bf58c2004-08-15 23:21:54 +000069 // Create the add instruction, inserting it into the end of BB.
70 Instruction *Add = BinaryOperator::createAdd(One, ArgX, "addresult", BB);
Misha Brukman237cef42005-04-20 16:42:34 +000071
Chris Lattnere8bf58c2004-08-15 23:21:54 +000072 // Create the return instruction and add it to the basic block
73 new ReturnInst(Add, BB);
Reid Spencer26a4ba72004-08-10 19:14:36 +000074
Chris Lattnere8bf58c2004-08-15 23:21:54 +000075 // Now, function add1 is ready.
Reid Spencer26a4ba72004-08-10 19:14:36 +000076
77
Chris Lattnere8bf58c2004-08-15 23:21:54 +000078 // Now we going to create function `foo', which returns an int and takes no
79 // arguments.
Jeff Cohen66c5fd62005-10-23 04:37:20 +000080 Function *FooF = M->getOrInsertFunction("foo", Type::IntTy, (Type *)0);
Reid Spencer26a4ba72004-08-10 19:14:36 +000081
Chris Lattnere8bf58c2004-08-15 23:21:54 +000082 // Add a basic block to the FooF function.
83 BB = new BasicBlock("EntryBlock", FooF);
84
85 // Get pointers to the constant `10'.
86 Value *Ten = ConstantSInt::get(Type::IntTy, 10);
87
88 // Pass Ten to the call call:
89 std::vector<Value*> Params;
90 Params.push_back(Ten);
Chris Lattner47968e42005-05-06 05:59:50 +000091 CallInst *Add1CallRes = new CallInst(Add1F, Params, "add1", BB);
92 Add1CallRes->setTailCall(true);
Misha Brukman237cef42005-04-20 16:42:34 +000093
Chris Lattnere8bf58c2004-08-15 23:21:54 +000094 // Create the return instruction and add it to the basic block.
95 new ReturnInst(Add1CallRes, BB);
Reid Spencer26a4ba72004-08-10 19:14:36 +000096
Chris Lattnere8bf58c2004-08-15 23:21:54 +000097 // Now we create the JIT.
Reid Spencer26a4ba72004-08-10 19:14:36 +000098 ExistingModuleProvider* MP = new ExistingModuleProvider(M);
Chris Lattner95f114c2004-08-15 23:31:57 +000099 ExecutionEngine* EE = ExecutionEngine::create(MP, false);
Chris Lattnere8bf58c2004-08-15 23:21:54 +0000100
101 std::cout << "We just constructed this LLVM module:\n\n" << *M;
102 std::cout << "\n\nRunning foo: " << std::flush;
Reid Spencer26a4ba72004-08-10 19:14:36 +0000103
104 // Call the `foo' function with no arguments:
105 std::vector<GenericValue> noargs;
106 GenericValue gv = EE->runFunction(FooF, noargs);
107
Chris Lattnere8bf58c2004-08-15 23:21:54 +0000108 // Import result of execution:
109 std::cout << "Result: " << gv.IntVal << "\n";
Reid Spencer26a4ba72004-08-10 19:14:36 +0000110 return 0;
111}