fibonacci.cpp revision f6b5c1abce89dbd7e8e12407aa8e4a04f805fdf2
166e7cd0eea6f116f3ed79acb8948c6d8db50833cReid Spencer//===--- examples/Fibonacci/fibonacci.cpp - An example use of the JIT -----===//
2237cef4b0b94b17ca065efad484f386f42579b61Misha Brukman//
3e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer//                     The LLVM Compiler Infrastructure
4e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer//
5e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer// This file was developed by Valery A. Khamenya and is distributed under the
6e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer// University of Illinois Open Source License. See LICENSE.TXT for details.
7237cef4b0b94b17ca065efad484f386f42579b61Misha Brukman//
8e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer//===----------------------------------------------------------------------===//
9e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer//
1038f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner// This small program provides an example of how to build quickly a small module
1138f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner// with function Fibonacci and execute it with the JIT.
12e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer//
1338f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner// The goal of this snippet is to create in the memory the LLVM module
1438f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner// consisting of one function as follow:
15e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer//
1638f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner//   int fib(int x) {
1738f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner//     if(x<=2) return 1;
1838f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner//     return fib(x-1)+fib(x-2);
1938f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner//   }
20237cef4b0b94b17ca065efad484f386f42579b61Misha Brukman//
2138f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner// Once we have this, we compile the module via JIT, then execute the `fib'
22e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer// function and return result to a driver, i.e. to a "host program".
23e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer//
2438f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner//===----------------------------------------------------------------------===//
25e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer
2638f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner#include "llvm/Module.h"
2738f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner#include "llvm/DerivedTypes.h"
2838f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner#include "llvm/Constants.h"
2938f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner#include "llvm/Instructions.h"
3038f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner#include "llvm/ModuleProvider.h"
3138f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner#include "llvm/Analysis/Verifier.h"
32e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer#include "llvm/ExecutionEngine/ExecutionEngine.h"
33e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer#include "llvm/ExecutionEngine/GenericValue.h"
3438f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner#include <iostream>
35e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencerusing namespace llvm;
36e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer
3738f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattnerstatic Function *CreateFibFunction(Module *M) {
3838f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  // Create the fib function and insert it into module M.  This function is said
3938f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  // to return an int and take an int parameter.
4038f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  Function *FibF = M->getOrInsertFunction("fib", Type::IntTy, Type::IntTy, 0);
41237cef4b0b94b17ca065efad484f386f42579b61Misha Brukman
4238f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  // Add a basic block to the function.
4338f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  BasicBlock *BB = new BasicBlock("EntryBlock", FibF);
44237cef4b0b94b17ca065efad484f386f42579b61Misha Brukman
4538f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  // Get pointers to the constants.
4638f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  Value *One = ConstantSInt::get(Type::IntTy, 1);
4738f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  Value *Two = ConstantSInt::get(Type::IntTy, 2);
48e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer
4938f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  // Get pointer to the integer argument of the add1 function...
50dadf88123f7abce7afe0db12beccc24c87e004a5Alkis Evlogimenos  Argument *ArgX = FibF->arg_begin();   // Get the arg.
5138f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  ArgX->setName("AnArg");            // Give it a nice symbolic name for fun.
52e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer
5338f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  // Create the true_block.
5438f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  BasicBlock *RetBB = new BasicBlock("return", FibF);
5538f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  // Create an exit block.
5638f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  BasicBlock* RecurseBB = new BasicBlock("recurse", FibF);
57e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer
5838f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  // Create the "if (arg < 2) goto exitbb"
5938f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  Value *CondInst = BinaryOperator::createSetLE(ArgX, Two, "cond", BB);
6038f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  new BranchInst(RetBB, RecurseBB, CondInst, BB);
61e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer
6238f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  // Create: ret int 1
6338f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  new ReturnInst(One, RetBB);
64237cef4b0b94b17ca065efad484f386f42579b61Misha Brukman
6538f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  // create fib(x-1)
6638f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  Value *Sub = BinaryOperator::createSub(ArgX, One, "arg", RecurseBB);
67f6b5c1abce89dbd7e8e12407aa8e4a04f805fdf2Chris Lattner  CallInst *CallFibX1 = new CallInst(FibF, Sub, "fibx1", RecurseBB);
68f6b5c1abce89dbd7e8e12407aa8e4a04f805fdf2Chris Lattner  CallFibX1->setTailCall();
69237cef4b0b94b17ca065efad484f386f42579b61Misha Brukman
7038f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  // create fib(x-2)
7138f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  Sub = BinaryOperator::createSub(ArgX, Two, "arg", RecurseBB);
72f6b5c1abce89dbd7e8e12407aa8e4a04f805fdf2Chris Lattner  CallInst *CallFibX2 = new CallInst(FibF, Sub, "fibx2", RecurseBB);
73f6b5c1abce89dbd7e8e12407aa8e4a04f805fdf2Chris Lattner  CallFibX2->setTailCall();
7447968e4dfd849b83a7eb958611c994e6b500998cChris Lattner
7538f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner
7638f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  // fib(x-1)+fib(x-2)
7738f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  Value *Sum = BinaryOperator::createAdd(CallFibX1, CallFibX2,
7838f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner                                         "addresult", RecurseBB);
79237cef4b0b94b17ca065efad484f386f42579b61Misha Brukman
8038f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  // Create the return instruction and add it to the basic block
8138f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  new ReturnInst(Sum, RecurseBB);
82e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer
8338f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  return FibF;
8438f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner}
85e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer
86e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer
8738f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattnerint main(int argc, char **argv) {
8838f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  int n = argc > 1 ? atol(argv[1]) : 24;
89e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer
9038f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  // Create some module to put our function into it.
9138f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  Module *M = new Module("test");
9238f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner
9338f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  // We are about to create the "fib" function:
9438f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  Function *FibF = CreateFibFunction(M);
95e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer
96237cef4b0b94b17ca065efad484f386f42579b61Misha Brukman  // Now we going to create JIT
9738f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  ExistingModuleProvider *MP = new ExistingModuleProvider(M);
9838f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  ExecutionEngine *EE = ExecutionEngine::create(MP, false);
99e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer
10038f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  std::cerr << "verifying... ";
101e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer  if (verifyModule(*M)) {
10238f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner    std::cerr << argv[0] << ": Error constructing function!\n";
103e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer    return 1;
104e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer  }
105e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer
10638f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  std::cerr << "OK\n";
10738f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  std::cerr << "We just constructed this LLVM module:\n\n---------\n" << *M;
1087cf540bba0b262681a14058d01ad41a87ac870dfMisha Brukman  std::cerr << "---------\nstarting fibonacci(" << n << ") with JIT...\n";
109e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer
1107cf540bba0b262681a14058d01ad41a87ac870dfMisha Brukman  // Call the Fibonacci function with argument n:
11138f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  std::vector<GenericValue> Args(1);
1123c7d7ee76136bf0041693fc939e155f34a197b2bChris Lattner  Args[0].IntVal = n;
11338f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  GenericValue GV = EE->runFunction(FibF, Args);
114e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer
11538f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  // import result of execution
11638f024daea1f27b6a8b610e3f8d21596f3e928d8Chris Lattner  std::cout << "Result: " << GV.IntVal << "\n";
117e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer  return 0;
118e784fa40c5808bfb88480f0ab3746ed378a939dfReid Spencer}
119