xref: /openbsd-src/gnu/llvm/llvm/examples/Fibonacci/fibonacci.cpp (revision 09467b48e8bc8b4905716062da846024139afbf2)
1*09467b48Spatrick //===--- examples/Fibonacci/fibonacci.cpp - An example use of the JIT -----===//
2*09467b48Spatrick //
3*09467b48Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*09467b48Spatrick // See https://llvm.org/LICENSE.txt for license information.
5*09467b48Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*09467b48Spatrick //
7*09467b48Spatrick //===----------------------------------------------------------------------===//
8*09467b48Spatrick //
9*09467b48Spatrick // This small program provides an example of how to build quickly a small module
10*09467b48Spatrick // with function Fibonacci and execute it with the JIT.
11*09467b48Spatrick //
12*09467b48Spatrick // The goal of this snippet is to create in the memory the LLVM module
13*09467b48Spatrick // consisting of one function as follow:
14*09467b48Spatrick //
15*09467b48Spatrick //   int fib(int x) {
16*09467b48Spatrick //     if(x<=2) return 1;
17*09467b48Spatrick //     return fib(x-1)+fib(x-2);
18*09467b48Spatrick //   }
19*09467b48Spatrick //
20*09467b48Spatrick // Once we have this, we compile the module via JIT, then execute the `fib'
21*09467b48Spatrick // function and return result to a driver, i.e. to a "host program".
22*09467b48Spatrick //
23*09467b48Spatrick //===----------------------------------------------------------------------===//
24*09467b48Spatrick 
25*09467b48Spatrick #include "llvm/ADT/APInt.h"
26*09467b48Spatrick #include "llvm/IR/Verifier.h"
27*09467b48Spatrick #include "llvm/ExecutionEngine/ExecutionEngine.h"
28*09467b48Spatrick #include "llvm/ExecutionEngine/GenericValue.h"
29*09467b48Spatrick #include "llvm/ExecutionEngine/MCJIT.h"
30*09467b48Spatrick #include "llvm/IR/Argument.h"
31*09467b48Spatrick #include "llvm/IR/BasicBlock.h"
32*09467b48Spatrick #include "llvm/IR/Constants.h"
33*09467b48Spatrick #include "llvm/IR/DerivedTypes.h"
34*09467b48Spatrick #include "llvm/IR/Function.h"
35*09467b48Spatrick #include "llvm/IR/InstrTypes.h"
36*09467b48Spatrick #include "llvm/IR/Instructions.h"
37*09467b48Spatrick #include "llvm/IR/LLVMContext.h"
38*09467b48Spatrick #include "llvm/IR/Module.h"
39*09467b48Spatrick #include "llvm/IR/Type.h"
40*09467b48Spatrick #include "llvm/Support/Casting.h"
41*09467b48Spatrick #include "llvm/Support/TargetSelect.h"
42*09467b48Spatrick #include "llvm/Support/raw_ostream.h"
43*09467b48Spatrick #include <algorithm>
44*09467b48Spatrick #include <cstdlib>
45*09467b48Spatrick #include <memory>
46*09467b48Spatrick #include <string>
47*09467b48Spatrick #include <vector>
48*09467b48Spatrick 
49*09467b48Spatrick using namespace llvm;
50*09467b48Spatrick 
CreateFibFunction(Module * M,LLVMContext & Context)51*09467b48Spatrick static Function *CreateFibFunction(Module *M, LLVMContext &Context) {
52*09467b48Spatrick   // Create the fib function and insert it into module M. This function is said
53*09467b48Spatrick   // to return an int and take an int parameter.
54*09467b48Spatrick   FunctionType *FibFTy = FunctionType::get(Type::getInt32Ty(Context),
55*09467b48Spatrick                                            {Type::getInt32Ty(Context)}, false);
56*09467b48Spatrick   Function *FibF =
57*09467b48Spatrick       Function::Create(FibFTy, Function::ExternalLinkage, "fib", M);
58*09467b48Spatrick 
59*09467b48Spatrick   // Add a basic block to the function.
60*09467b48Spatrick   BasicBlock *BB = BasicBlock::Create(Context, "EntryBlock", FibF);
61*09467b48Spatrick 
62*09467b48Spatrick   // Get pointers to the constants.
63*09467b48Spatrick   Value *One = ConstantInt::get(Type::getInt32Ty(Context), 1);
64*09467b48Spatrick   Value *Two = ConstantInt::get(Type::getInt32Ty(Context), 2);
65*09467b48Spatrick 
66*09467b48Spatrick   // Get pointer to the integer argument of the add1 function...
67*09467b48Spatrick   Argument *ArgX = &*FibF->arg_begin(); // Get the arg.
68*09467b48Spatrick   ArgX->setName("AnArg");            // Give it a nice symbolic name for fun.
69*09467b48Spatrick 
70*09467b48Spatrick   // Create the true_block.
71*09467b48Spatrick   BasicBlock *RetBB = BasicBlock::Create(Context, "return", FibF);
72*09467b48Spatrick   // Create an exit block.
73*09467b48Spatrick   BasicBlock* RecurseBB = BasicBlock::Create(Context, "recurse", FibF);
74*09467b48Spatrick 
75*09467b48Spatrick   // Create the "if (arg <= 2) goto exitbb"
76*09467b48Spatrick   Value *CondInst = new ICmpInst(*BB, ICmpInst::ICMP_SLE, ArgX, Two, "cond");
77*09467b48Spatrick   BranchInst::Create(RetBB, RecurseBB, CondInst, BB);
78*09467b48Spatrick 
79*09467b48Spatrick   // Create: ret int 1
80*09467b48Spatrick   ReturnInst::Create(Context, One, RetBB);
81*09467b48Spatrick 
82*09467b48Spatrick   // create fib(x-1)
83*09467b48Spatrick   Value *Sub = BinaryOperator::CreateSub(ArgX, One, "arg", RecurseBB);
84*09467b48Spatrick   CallInst *CallFibX1 = CallInst::Create(FibF, Sub, "fibx1", RecurseBB);
85*09467b48Spatrick   CallFibX1->setTailCall();
86*09467b48Spatrick 
87*09467b48Spatrick   // create fib(x-2)
88*09467b48Spatrick   Sub = BinaryOperator::CreateSub(ArgX, Two, "arg", RecurseBB);
89*09467b48Spatrick   CallInst *CallFibX2 = CallInst::Create(FibF, Sub, "fibx2", RecurseBB);
90*09467b48Spatrick   CallFibX2->setTailCall();
91*09467b48Spatrick 
92*09467b48Spatrick   // fib(x-1)+fib(x-2)
93*09467b48Spatrick   Value *Sum = BinaryOperator::CreateAdd(CallFibX1, CallFibX2,
94*09467b48Spatrick                                          "addresult", RecurseBB);
95*09467b48Spatrick 
96*09467b48Spatrick   // Create the return instruction and add it to the basic block
97*09467b48Spatrick   ReturnInst::Create(Context, Sum, RecurseBB);
98*09467b48Spatrick 
99*09467b48Spatrick   return FibF;
100*09467b48Spatrick }
101*09467b48Spatrick 
main(int argc,char ** argv)102*09467b48Spatrick int main(int argc, char **argv) {
103*09467b48Spatrick   int n = argc > 1 ? atol(argv[1]) : 24;
104*09467b48Spatrick 
105*09467b48Spatrick   InitializeNativeTarget();
106*09467b48Spatrick   InitializeNativeTargetAsmPrinter();
107*09467b48Spatrick   LLVMContext Context;
108*09467b48Spatrick 
109*09467b48Spatrick   // Create some module to put our function into it.
110*09467b48Spatrick   std::unique_ptr<Module> Owner(new Module("test", Context));
111*09467b48Spatrick   Module *M = Owner.get();
112*09467b48Spatrick 
113*09467b48Spatrick   // We are about to create the "fib" function:
114*09467b48Spatrick   Function *FibF = CreateFibFunction(M, Context);
115*09467b48Spatrick 
116*09467b48Spatrick   // Now we going to create JIT
117*09467b48Spatrick   std::string errStr;
118*09467b48Spatrick   ExecutionEngine *EE =
119*09467b48Spatrick     EngineBuilder(std::move(Owner))
120*09467b48Spatrick     .setErrorStr(&errStr)
121*09467b48Spatrick     .create();
122*09467b48Spatrick 
123*09467b48Spatrick   if (!EE) {
124*09467b48Spatrick     errs() << argv[0] << ": Failed to construct ExecutionEngine: " << errStr
125*09467b48Spatrick            << "\n";
126*09467b48Spatrick     return 1;
127*09467b48Spatrick   }
128*09467b48Spatrick 
129*09467b48Spatrick   errs() << "verifying... ";
130*09467b48Spatrick   if (verifyModule(*M)) {
131*09467b48Spatrick     errs() << argv[0] << ": Error constructing function!\n";
132*09467b48Spatrick     return 1;
133*09467b48Spatrick   }
134*09467b48Spatrick 
135*09467b48Spatrick   errs() << "OK\n";
136*09467b48Spatrick   errs() << "We just constructed this LLVM module:\n\n---------\n" << *M;
137*09467b48Spatrick   errs() << "---------\nstarting fibonacci(" << n << ") with JIT...\n";
138*09467b48Spatrick 
139*09467b48Spatrick   // Call the Fibonacci function with argument n:
140*09467b48Spatrick   std::vector<GenericValue> Args(1);
141*09467b48Spatrick   Args[0].IntVal = APInt(32, n);
142*09467b48Spatrick   GenericValue GV = EE->runFunction(FibF, Args);
143*09467b48Spatrick 
144*09467b48Spatrick   // import result of execution
145*09467b48Spatrick   outs() << "Result: " << GV.IntVal << "\n";
146*09467b48Spatrick 
147*09467b48Spatrick   return 0;
148*09467b48Spatrick }
149