blob: 16e52bf04099053916b76ba2add86b9381dcff87 [file] [log] [blame]
Reid Spencer987319d2004-09-11 20:30:11 +00001//===--- examples/Fibonacci/fibonacci.cpp - An example use of the JIT -----===//
Misha Brukman2f72baf2005-04-20 16:42:34 +00002//
Reid Spencerf30f28e2004-08-19 20:10:04 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerbcf65db2007-12-29 20:37:57 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman2f72baf2005-04-20 16:42:34 +00007//
Reid Spencerf30f28e2004-08-19 20:10:04 +00008//===----------------------------------------------------------------------===//
9//
Chris Lattnerbd2886d2004-11-03 21:43:03 +000010// This small program provides an example of how to build quickly a small module
11// with function Fibonacci and execute it with the JIT.
Reid Spencerf30f28e2004-08-19 20:10:04 +000012//
Chris Lattnerbd2886d2004-11-03 21:43:03 +000013// The goal of this snippet is to create in the memory the LLVM module
14// consisting of one function as follow:
Reid Spencerf30f28e2004-08-19 20:10:04 +000015//
Chris Lattnerbd2886d2004-11-03 21:43:03 +000016// int fib(int x) {
17// if(x<=2) return 1;
18// return fib(x-1)+fib(x-2);
19// }
Misha Brukman2f72baf2005-04-20 16:42:34 +000020//
Chris Lattnerbd2886d2004-11-03 21:43:03 +000021// Once we have this, we compile the module via JIT, then execute the `fib'
Reid Spencerf30f28e2004-08-19 20:10:04 +000022// function and return result to a driver, i.e. to a "host program".
23//
Chris Lattnerbd2886d2004-11-03 21:43:03 +000024//===----------------------------------------------------------------------===//
Reid Spencerf30f28e2004-08-19 20:10:04 +000025
Eugene Zelenko2b8e4172016-05-25 01:18:36 +000026#include "llvm/ADT/APInt.h"
Chandler Carruthd7cd9ac92014-01-13 09:53:45 +000027#include "llvm/IR/Verifier.h"
Eugene Zelenko2b8e4172016-05-25 01:18:36 +000028#include "llvm/ExecutionEngine/ExecutionEngine.h"
Chandler Carruth605e30e2012-12-04 10:16:57 +000029#include "llvm/ExecutionEngine/GenericValue.h"
Lang Hames717eacf2016-06-11 05:47:04 +000030#include "llvm/ExecutionEngine/MCJIT.h"
Eugene Zelenko2b8e4172016-05-25 01:18:36 +000031#include "llvm/IR/Argument.h"
32#include "llvm/IR/BasicBlock.h"
Chandler Carruth005f27a2013-01-02 11:56:33 +000033#include "llvm/IR/Constants.h"
34#include "llvm/IR/DerivedTypes.h"
Eugene Zelenko2b8e4172016-05-25 01:18:36 +000035#include "llvm/IR/Function.h"
36#include "llvm/IR/InstrTypes.h"
Chandler Carruth005f27a2013-01-02 11:56:33 +000037#include "llvm/IR/Instructions.h"
38#include "llvm/IR/LLVMContext.h"
39#include "llvm/IR/Module.h"
Eugene Zelenko2b8e4172016-05-25 01:18:36 +000040#include "llvm/IR/Type.h"
41#include "llvm/Support/Casting.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000042#include "llvm/Support/TargetSelect.h"
Chandler Carruth605e30e2012-12-04 10:16:57 +000043#include "llvm/Support/raw_ostream.h"
Eugene Zelenko2b8e4172016-05-25 01:18:36 +000044#include <algorithm>
45#include <cstdlib>
46#include <memory>
47#include <string>
48#include <vector>
Hans Wennborgcc9deb42015-09-29 18:02:48 +000049
Reid Spencerf30f28e2004-08-19 20:10:04 +000050using namespace llvm;
51
Owen Andersonb6b25302009-07-14 23:09:55 +000052static Function *CreateFibFunction(Module *M, LLVMContext &Context) {
Quentin Colombet301d05a2012-10-23 16:03:18 +000053 // Create the fib function and insert it into module M. This function is said
Chris Lattnerbd2886d2004-11-03 21:43:03 +000054 // to return an int and take an int parameter.
Chris Lattnerb800b392007-01-07 07:40:09 +000055 Function *FibF =
Arnaud A. de Grandmaison503ca9e2012-06-21 22:26:01 +000056 cast<Function>(M->getOrInsertFunction("fib", Type::getInt32Ty(Context),
Owen Anderson55f1c092009-08-13 21:58:54 +000057 Type::getInt32Ty(Context),
Hans Wennborgcc9deb42015-09-29 18:02:48 +000058 nullptr));
Misha Brukman2f72baf2005-04-20 16:42:34 +000059
Chris Lattnerbd2886d2004-11-03 21:43:03 +000060 // Add a basic block to the function.
Owen Anderson55f1c092009-08-13 21:58:54 +000061 BasicBlock *BB = BasicBlock::Create(Context, "EntryBlock", FibF);
Misha Brukman2f72baf2005-04-20 16:42:34 +000062
Chris Lattnerbd2886d2004-11-03 21:43:03 +000063 // Get pointers to the constants.
Owen Anderson55f1c092009-08-13 21:58:54 +000064 Value *One = ConstantInt::get(Type::getInt32Ty(Context), 1);
65 Value *Two = ConstantInt::get(Type::getInt32Ty(Context), 2);
Reid Spencerf30f28e2004-08-19 20:10:04 +000066
Chris Lattnerbd2886d2004-11-03 21:43:03 +000067 // Get pointer to the integer argument of the add1 function...
Duncan P. N. Exon Smith5717ecb2015-11-07 00:55:46 +000068 Argument *ArgX = &*FibF->arg_begin(); // Get the arg.
Chris Lattnerbd2886d2004-11-03 21:43:03 +000069 ArgX->setName("AnArg"); // Give it a nice symbolic name for fun.
70
Chris Lattnerbd2886d2004-11-03 21:43:03 +000071 // Create the true_block.
Owen Anderson55f1c092009-08-13 21:58:54 +000072 BasicBlock *RetBB = BasicBlock::Create(Context, "return", FibF);
Chris Lattnerbd2886d2004-11-03 21:43:03 +000073 // Create an exit block.
Owen Anderson55f1c092009-08-13 21:58:54 +000074 BasicBlock* RecurseBB = BasicBlock::Create(Context, "recurse", FibF);
Chris Lattnerbd2886d2004-11-03 21:43:03 +000075
Chris Lattner723f2a12008-03-13 03:29:42 +000076 // Create the "if (arg <= 2) goto exitbb"
Owen Anderson1e5f00e2009-07-09 23:48:35 +000077 Value *CondInst = new ICmpInst(*BB, ICmpInst::ICMP_SLE, ArgX, Two, "cond");
Gabor Greife9ecc682008-04-06 20:25:17 +000078 BranchInst::Create(RetBB, RecurseBB, CondInst, BB);
Chris Lattnerbd2886d2004-11-03 21:43:03 +000079
80 // Create: ret int 1
Owen Anderson55f1c092009-08-13 21:58:54 +000081 ReturnInst::Create(Context, One, RetBB);
Misha Brukman2f72baf2005-04-20 16:42:34 +000082
Chris Lattnerbd2886d2004-11-03 21:43:03 +000083 // create fib(x-1)
Gabor Greife1f6e4b2008-05-16 19:29:10 +000084 Value *Sub = BinaryOperator::CreateSub(ArgX, One, "arg", RecurseBB);
Gabor Greife9ecc682008-04-06 20:25:17 +000085 CallInst *CallFibX1 = CallInst::Create(FibF, Sub, "fibx1", RecurseBB);
Chris Lattner5879f9c2005-05-06 06:21:59 +000086 CallFibX1->setTailCall();
Misha Brukman2f72baf2005-04-20 16:42:34 +000087
Chris Lattnerbd2886d2004-11-03 21:43:03 +000088 // create fib(x-2)
Gabor Greife1f6e4b2008-05-16 19:29:10 +000089 Sub = BinaryOperator::CreateSub(ArgX, Two, "arg", RecurseBB);
Gabor Greife9ecc682008-04-06 20:25:17 +000090 CallInst *CallFibX2 = CallInst::Create(FibF, Sub, "fibx2", RecurseBB);
Chris Lattner5879f9c2005-05-06 06:21:59 +000091 CallFibX2->setTailCall();
Chris Lattnereaf625d2005-05-06 05:59:50 +000092
Chris Lattnerbd2886d2004-11-03 21:43:03 +000093 // fib(x-1)+fib(x-2)
Gabor Greife1f6e4b2008-05-16 19:29:10 +000094 Value *Sum = BinaryOperator::CreateAdd(CallFibX1, CallFibX2,
Chris Lattnerbd2886d2004-11-03 21:43:03 +000095 "addresult", RecurseBB);
Misha Brukman2f72baf2005-04-20 16:42:34 +000096
Chris Lattnerbd2886d2004-11-03 21:43:03 +000097 // Create the return instruction and add it to the basic block
Owen Anderson55f1c092009-08-13 21:58:54 +000098 ReturnInst::Create(Context, Sum, RecurseBB);
Chris Lattnerbd2886d2004-11-03 21:43:03 +000099
100 return FibF;
101}
102
Chris Lattnerbd2886d2004-11-03 21:43:03 +0000103int main(int argc, char **argv) {
104 int n = argc > 1 ? atol(argv[1]) : 24;
Reid Spencerf30f28e2004-08-19 20:10:04 +0000105
Chris Lattner4ba8e5d2009-12-01 01:56:27 +0000106 InitializeNativeTarget();
Lang Hames717eacf2016-06-11 05:47:04 +0000107 InitializeNativeTargetAsmPrinter();
Owen Anderson6773d382009-07-01 16:58:40 +0000108 LLVMContext Context;
Arnaud A. de Grandmaison503ca9e2012-06-21 22:26:01 +0000109
Reid Spencerf30f28e2004-08-19 20:10:04 +0000110 // Create some module to put our function into it.
Rafael Espindola2a8a2792014-08-19 04:04:25 +0000111 std::unique_ptr<Module> Owner(new Module("test", Context));
112 Module *M = Owner.get();
Reid Spencerf30f28e2004-08-19 20:10:04 +0000113
Reid Spencerf30f28e2004-08-19 20:10:04 +0000114 // We are about to create the "fib" function:
Rafael Espindola2a8a2792014-08-19 04:04:25 +0000115 Function *FibF = CreateFibFunction(M, Context);
Reid Spencerf30f28e2004-08-19 20:10:04 +0000116
Misha Brukman2f72baf2005-04-20 16:42:34 +0000117 // Now we going to create JIT
Chris Lattner4ba8e5d2009-12-01 01:56:27 +0000118 std::string errStr;
Chris Lattner7b7768a2010-09-05 23:09:30 +0000119 ExecutionEngine *EE =
Rafael Espindola2a8a2792014-08-19 04:04:25 +0000120 EngineBuilder(std::move(Owner))
Chris Lattner7b7768a2010-09-05 23:09:30 +0000121 .setErrorStr(&errStr)
Chris Lattner7b7768a2010-09-05 23:09:30 +0000122 .create();
Chris Lattner4ba8e5d2009-12-01 01:56:27 +0000123
124 if (!EE) {
Chris Lattner7b7768a2010-09-05 23:09:30 +0000125 errs() << argv[0] << ": Failed to construct ExecutionEngine: " << errStr
126 << "\n";
Chris Lattner4ba8e5d2009-12-01 01:56:27 +0000127 return 1;
128 }
Reid Spencerf30f28e2004-08-19 20:10:04 +0000129
Chris Lattner0c19df42008-08-23 22:23:09 +0000130 errs() << "verifying... ";
Reid Spencerf30f28e2004-08-19 20:10:04 +0000131 if (verifyModule(*M)) {
Chris Lattner0c19df42008-08-23 22:23:09 +0000132 errs() << argv[0] << ": Error constructing function!\n";
Reid Spencerf30f28e2004-08-19 20:10:04 +0000133 return 1;
134 }
Reid Spencerf30f28e2004-08-19 20:10:04 +0000135
Chris Lattner0c19df42008-08-23 22:23:09 +0000136 errs() << "OK\n";
137 errs() << "We just constructed this LLVM module:\n\n---------\n" << *M;
138 errs() << "---------\nstarting fibonacci(" << n << ") with JIT...\n";
Reid Spencerf30f28e2004-08-19 20:10:04 +0000139
Misha Brukmana73e7ca2004-11-05 04:11:40 +0000140 // Call the Fibonacci function with argument n:
Chris Lattnerbd2886d2004-11-03 21:43:03 +0000141 std::vector<GenericValue> Args(1);
Reid Spencer8a9ae482007-03-06 17:24:31 +0000142 Args[0].IntVal = APInt(32, n);
Chris Lattnerbd2886d2004-11-03 21:43:03 +0000143 GenericValue GV = EE->runFunction(FibF, Args);
Reid Spencerf30f28e2004-08-19 20:10:04 +0000144
Chris Lattnerbd2886d2004-11-03 21:43:03 +0000145 // import result of execution
Chris Lattner0c19df42008-08-23 22:23:09 +0000146 outs() << "Result: " << GV.IntVal << "\n";
Arnaud A. de Grandmaison503ca9e2012-06-21 22:26:01 +0000147
Reid Spencerf30f28e2004-08-19 20:10:04 +0000148 return 0;
149}