blob: 00784adb7149efdc9f2c2bc3596a6858f3727f76 [file] [log] [blame]
Chris Lattnerd7ff5782001-08-23 17:05:04 +00001//===-- Interpreter.h ------------------------------------------*- C++ -*--===//
John Criswell29265fe2003-10-21 15:17:13 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
Chris Lattnerd7ff5782001-08-23 17:05:04 +00009//
10// This header file defines the interpreter structure
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLI_INTERPRETER_H
15#define LLI_INTERPRETER_H
16
Chris Lattnerb5b9ba62003-11-05 06:20:27 +000017#include "llvm/Function.h"
Brian Gaekef3a300d2003-09-05 19:39:22 +000018#include "llvm/ExecutionEngine/ExecutionEngine.h"
19#include "llvm/ExecutionEngine/GenericValue.h"
Chris Lattner185045c2003-05-10 21:22:39 +000020#include "llvm/Support/InstVisitor.h"
Brian Gaeke18b59572003-11-07 19:26:23 +000021#include "llvm/Support/CallSite.h"
Chris Lattnerad481312003-09-05 20:08:15 +000022#include "llvm/Target/TargetData.h"
23#include "Support/DataTypes.h"
Chris Lattner1f017262001-11-07 04:23:00 +000024
Chris Lattner470754e2003-05-08 16:18:31 +000025struct FunctionInfo; // Defined in ExecutionAnnotations.h
Chris Lattnerd7ff5782001-08-23 17:05:04 +000026
Chris Lattnerfb55ba02002-02-19 18:50:09 +000027// AllocaHolder - Object to track all of the blocks of memory allocated by
28// alloca. When the function returns, this object is poped off the execution
29// stack, which causes the dtor to be run, which frees all the alloca'd memory.
30//
31class AllocaHolder {
32 friend class AllocaHolderHandle;
33 std::vector<void*> Allocations;
34 unsigned RefCnt;
35public:
36 AllocaHolder() : RefCnt(0) {}
37 void add(void *mem) { Allocations.push_back(mem); }
38 ~AllocaHolder() {
39 for (unsigned i = 0; i < Allocations.size(); ++i)
40 free(Allocations[i]);
41 }
42};
43
44// AllocaHolderHandle gives AllocaHolder value semantics so we can stick it into
45// a vector...
46//
47class AllocaHolderHandle {
48 AllocaHolder *H;
49public:
50 AllocaHolderHandle() : H(new AllocaHolder()) { H->RefCnt++; }
51 AllocaHolderHandle(const AllocaHolderHandle &AH) : H(AH.H) { H->RefCnt++; }
52 ~AllocaHolderHandle() { if (--H->RefCnt == 0) delete H; }
53
54 void add(void *mem) { H->add(mem); }
55};
56
Chris Lattner7f74a562002-01-20 22:54:45 +000057typedef std::vector<GenericValue> ValuePlaneTy;
Chris Lattnerd7ff5782001-08-23 17:05:04 +000058
59// ExecutionContext struct - This struct represents one stack frame currently
60// executing.
61//
62struct ExecutionContext {
Chris Lattner470754e2003-05-08 16:18:31 +000063 Function *CurFunction;// The currently executing function
Chris Lattnerd7ff5782001-08-23 17:05:04 +000064 BasicBlock *CurBB; // The currently executing BB
65 BasicBlock::iterator CurInst; // The next instruction to execute
Brian Gaekeb77e5892003-10-24 19:59:37 +000066 std::map<Value *, GenericValue> Values; // LLVM values used in this invocation
Chris Lattner22e90432003-05-08 16:06:52 +000067 std::vector<GenericValue> VarArgs; // Values passed through an ellipsis
Brian Gaeke18b59572003-11-07 19:26:23 +000068 CallSite Caller; // Holds the call that called subframes.
69 // NULL if main func or debugger invoked fn
Chris Lattnerfb55ba02002-02-19 18:50:09 +000070 AllocaHolderHandle Allocas; // Track memory allocated by alloca
Chris Lattnerd7ff5782001-08-23 17:05:04 +000071};
72
Chris Lattnerd7ff5782001-08-23 17:05:04 +000073// Interpreter - This class represents the entirety of the interpreter.
74//
Chris Lattner185045c2003-05-10 21:22:39 +000075class Interpreter : public ExecutionEngine, public InstVisitor<Interpreter> {
Chris Lattnerd7ff5782001-08-23 17:05:04 +000076 int ExitCode; // The exit code to be returned by the lli util
Chris Lattnera0d7b082002-12-23 23:59:41 +000077 TargetData TD;
Chris Lattnerd7ff5782001-08-23 17:05:04 +000078
79 // The runtime stack of executing code. The top of the stack is the current
Chris Lattner62b7fd12002-04-07 20:49:59 +000080 // function record.
Chris Lattner7f74a562002-01-20 22:54:45 +000081 std::vector<ExecutionContext> ECStack;
Chris Lattnerd7ff5782001-08-23 17:05:04 +000082
Brian Gaekea7669032003-09-05 18:42:01 +000083 // AtExitHandlers - List of functions to call when the program exits,
84 // registered with the atexit() library function.
Chris Lattner4a5bb952003-05-14 14:21:30 +000085 std::vector<Function*> AtExitHandlers;
Chris Lattnera28e1f22003-09-17 17:26:22 +000086
Chris Lattnerd7ff5782001-08-23 17:05:04 +000087public:
Brian Gaekeb77e5892003-10-24 19:59:37 +000088 Interpreter(Module *M, bool isLittleEndian, bool isLongPointer);
89 inline ~Interpreter() { }
Chris Lattnerd7ff5782001-08-23 17:05:04 +000090
Brian Gaekea7669032003-09-05 18:42:01 +000091 /// runAtExitHandlers - Run any functions registered by the
92 /// program's calls to atexit(3), which we intercept and store in
93 /// AtExitHandlers.
94 ///
95 void runAtExitHandlers ();
96
Brian Gaeke4bd3bd52003-09-03 20:34:19 +000097 /// create - Create an interpreter ExecutionEngine. This can never fail.
98 ///
Brian Gaekeb77e5892003-10-24 19:59:37 +000099 static ExecutionEngine *create(Module *M);
Brian Gaeke4bd3bd52003-09-03 20:34:19 +0000100
Chris Lattnera0d7b082002-12-23 23:59:41 +0000101 /// run - Start execution with the specified function and arguments.
102 ///
Brian Gaekea7669032003-09-05 18:42:01 +0000103 virtual GenericValue run(Function *F,
104 const std::vector<GenericValue> &ArgValues);
Chris Lattnerd7ff5782001-08-23 17:05:04 +0000105
Brian Gaekea7669032003-09-05 18:42:01 +0000106 // Methods used to execute code:
107 // Place a call on the stack
Chris Lattner470754e2003-05-08 16:18:31 +0000108 void callFunction(Function *F, const std::vector<GenericValue> &ArgVals);
Brian Gaekea7669032003-09-05 18:42:01 +0000109 void run(); // Execute instructions until nothing left to do
Chris Lattnerd7ff5782001-08-23 17:05:04 +0000110
111 // Opcode Implementations
Chris Lattner185045c2003-05-10 21:22:39 +0000112 void visitReturnInst(ReturnInst &I);
113 void visitBranchInst(BranchInst &I);
114 void visitSwitchInst(SwitchInst &I);
115
116 void visitBinaryOperator(BinaryOperator &I);
117 void visitAllocationInst(AllocationInst &I);
118 void visitFreeInst(FreeInst &I);
119 void visitLoadInst(LoadInst &I);
120 void visitStoreInst(StoreInst &I);
121 void visitGetElementPtrInst(GetElementPtrInst &I);
Chris Lattner185045c2003-05-10 21:22:39 +0000122 void visitPHINode(PHINode &PN) { assert(0 && "PHI nodes already handled!"); }
123 void visitCastInst(CastInst &I);
Brian Gaekea6454d352003-11-07 20:04:22 +0000124
125 void visitCallSite(CallSite CS);
126 void visitCallInst(CallInst &I) { visitCallSite (CallSite (&I)); }
127 void visitInvokeInst(InvokeInst &I) { visitCallSite (CallSite (&I)); }
Brian Gaeke6d145eb2003-11-07 20:07:06 +0000128 void visitUnwindInst(UnwindInst &I);
Brian Gaekea6454d352003-11-07 20:04:22 +0000129
Chris Lattner185045c2003-05-10 21:22:39 +0000130 void visitShl(ShiftInst &I);
131 void visitShr(ShiftInst &I);
Chris Lattnerfefd3be2003-10-18 05:55:25 +0000132 void visitVANextInst(VANextInst &I);
Brian Gaeke9ef636c2003-11-07 21:20:47 +0000133 void visitVAArgInst(VAArgInst &I);
Chris Lattner185045c2003-05-10 21:22:39 +0000134 void visitInstruction(Instruction &I) {
135 std::cerr << I;
136 assert(0 && "Instruction not interpretable yet!");
137 }
138
Chris Lattner470754e2003-05-08 16:18:31 +0000139 GenericValue callExternalFunction(Function *F,
140 const std::vector<GenericValue> &ArgVals);
Chris Lattner15157b82001-10-27 04:15:57 +0000141 void exitCalled(GenericValue GV);
Chris Lattnerd7ff5782001-08-23 17:05:04 +0000142
Chris Lattner4a5bb952003-05-14 14:21:30 +0000143 void addAtExitHandler(Function *F) {
144 AtExitHandlers.push_back(F);
145 }
146
Chris Lattnera0d7b082002-12-23 23:59:41 +0000147 //FIXME: private:
148public:
149 GenericValue executeGEPOperation(Value *Ptr, User::op_iterator I,
150 User::op_iterator E, ExecutionContext &SF);
Chris Lattnera0d7b082002-12-23 23:59:41 +0000151
Chris Lattnerd7ff5782001-08-23 17:05:04 +0000152private: // Helper functions
Chris Lattnerbd6771c2003-05-10 20:21:16 +0000153 // SwitchToNewBasicBlock - Start execution in a new basic block and run any
154 // PHI nodes in the top of the block. This is used for intraprocedural
155 // control flow.
156 //
157 void SwitchToNewBasicBlock(BasicBlock *Dest, ExecutionContext &SF);
158
Brian Gaekeaa586642003-08-13 18:17:54 +0000159 void *getPointerToFunction(Function *F) { return (void*)F; }
Chris Lattnera0d7b082002-12-23 23:59:41 +0000160
Chris Lattner8bd5c772001-10-30 20:28:23 +0000161 void initializeExecutionEngine();
Chris Lattner470754e2003-05-08 16:18:31 +0000162 void initializeExternalFunctions();
Brian Gaeke9b518bc2003-09-05 18:55:03 +0000163 GenericValue getOperandValue(Value *V, ExecutionContext &SF);
164 GenericValue executeCastOperation(Value *SrcVal, const Type *Ty,
165 ExecutionContext &SF);
Brian Gaeke65cac902003-11-07 05:22:49 +0000166 void popStackAndReturnValueToCaller(const Type *RetTy, GenericValue Result);
Chris Lattnerd7ff5782001-08-23 17:05:04 +0000167};
168
169#endif