blob: 26ed2dc6d156141cc89ff682433cc0b16db88c0d [file] [log] [blame]
Chris Lattner92101ac2001-08-23 17:05:04 +00001//===-- Interpreter.h ------------------------------------------*- C++ -*--===//
2//
3// This header file defines the interpreter structure
4//
5//===----------------------------------------------------------------------===//
6
7#ifndef LLI_INTERPRETER_H
8#define LLI_INTERPRETER_H
9
Chris Lattnerfd131292003-09-05 20:08:15 +000010#include "llvm/BasicBlock.h"
11#include "llvm/Assembly/CachedWriter.h"
Brian Gaeke97222942003-09-05 19:39:22 +000012#include "llvm/ExecutionEngine/ExecutionEngine.h"
13#include "llvm/ExecutionEngine/GenericValue.h"
Chris Lattnerd7916e92003-05-10 21:22:39 +000014#include "llvm/Support/InstVisitor.h"
Chris Lattnerfd131292003-09-05 20:08:15 +000015#include "llvm/Target/TargetData.h"
16#include "Support/DataTypes.h"
Chris Lattner5af0c482001-11-07 04:23:00 +000017
Chris Lattnerfe11a972002-12-23 23:59:41 +000018extern CachedWriter CW; // Object to accelerate printing of LLVM
Chris Lattner92101ac2001-08-23 17:05:04 +000019
Chris Lattnerda82ed52003-05-08 16:18:31 +000020struct FunctionInfo; // Defined in ExecutionAnnotations.h
Chris Lattner92101ac2001-08-23 17:05:04 +000021
Chris Lattner9bffa732002-02-19 18:50:09 +000022// AllocaHolder - Object to track all of the blocks of memory allocated by
23// alloca. When the function returns, this object is poped off the execution
24// stack, which causes the dtor to be run, which frees all the alloca'd memory.
25//
26class AllocaHolder {
27 friend class AllocaHolderHandle;
28 std::vector<void*> Allocations;
29 unsigned RefCnt;
30public:
31 AllocaHolder() : RefCnt(0) {}
32 void add(void *mem) { Allocations.push_back(mem); }
33 ~AllocaHolder() {
34 for (unsigned i = 0; i < Allocations.size(); ++i)
35 free(Allocations[i]);
36 }
37};
38
39// AllocaHolderHandle gives AllocaHolder value semantics so we can stick it into
40// a vector...
41//
42class AllocaHolderHandle {
43 AllocaHolder *H;
44public:
45 AllocaHolderHandle() : H(new AllocaHolder()) { H->RefCnt++; }
46 AllocaHolderHandle(const AllocaHolderHandle &AH) : H(AH.H) { H->RefCnt++; }
47 ~AllocaHolderHandle() { if (--H->RefCnt == 0) delete H; }
48
49 void add(void *mem) { H->add(mem); }
50};
51
Chris Lattner697954c2002-01-20 22:54:45 +000052typedef std::vector<GenericValue> ValuePlaneTy;
Chris Lattner92101ac2001-08-23 17:05:04 +000053
54// ExecutionContext struct - This struct represents one stack frame currently
55// executing.
56//
57struct ExecutionContext {
Chris Lattnerda82ed52003-05-08 16:18:31 +000058 Function *CurFunction;// The currently executing function
Chris Lattner92101ac2001-08-23 17:05:04 +000059 BasicBlock *CurBB; // The currently executing BB
60 BasicBlock::iterator CurInst; // The next instruction to execute
Chris Lattnerda82ed52003-05-08 16:18:31 +000061 FunctionInfo *FuncInfo; // The FuncInfo annotation for the function
Chris Lattner697954c2002-01-20 22:54:45 +000062 std::vector<ValuePlaneTy> Values;// ValuePlanes for each type
Chris Lattnercdf51782003-05-08 16:06:52 +000063 std::vector<GenericValue> VarArgs; // Values passed through an ellipsis
Chris Lattner92101ac2001-08-23 17:05:04 +000064
Chris Lattner92101ac2001-08-23 17:05:04 +000065 CallInst *Caller; // Holds the call that called subframes.
66 // NULL if main func or debugger invoked fn
Chris Lattner9bffa732002-02-19 18:50:09 +000067 AllocaHolderHandle Allocas; // Track memory allocated by alloca
Chris Lattner92101ac2001-08-23 17:05:04 +000068};
69
Chris Lattner92101ac2001-08-23 17:05:04 +000070// Interpreter - This class represents the entirety of the interpreter.
71//
Chris Lattnerd7916e92003-05-10 21:22:39 +000072class Interpreter : public ExecutionEngine, public InstVisitor<Interpreter> {
Chris Lattner92101ac2001-08-23 17:05:04 +000073 int ExitCode; // The exit code to be returned by the lli util
Chris Lattner43e3f7c2001-10-27 08:43:52 +000074 bool Trace; // Tracing enabled?
Chris Lattner92101ac2001-08-23 17:05:04 +000075 int CurFrame; // The current stack frame being inspected
Chris Lattnerfe11a972002-12-23 23:59:41 +000076 TargetData TD;
Chris Lattner92101ac2001-08-23 17:05:04 +000077
78 // The runtime stack of executing code. The top of the stack is the current
Chris Lattner2fbfdcf2002-04-07 20:49:59 +000079 // function record.
Chris Lattner697954c2002-01-20 22:54:45 +000080 std::vector<ExecutionContext> ECStack;
Chris Lattner92101ac2001-08-23 17:05:04 +000081
Brian Gaeke70975ee2003-09-05 18:42:01 +000082 // AtExitHandlers - List of functions to call when the program exits,
83 // registered with the atexit() library function.
Chris Lattner44edb6b2003-05-14 14:21:30 +000084 std::vector<Function*> AtExitHandlers;
Chris Lattner92101ac2001-08-23 17:05:04 +000085public:
Chris Lattner39c07262003-08-24 19:50:53 +000086 Interpreter(Module *M, bool isLittleEndian, bool isLongPointer,
Brian Gaekef58815e2003-09-04 22:21:24 +000087 bool TraceMode);
Chris Lattnerfe11a972002-12-23 23:59:41 +000088 inline ~Interpreter() { CW.setModule(0); }
Chris Lattner92101ac2001-08-23 17:05:04 +000089
Brian Gaeke70975ee2003-09-05 18:42:01 +000090 /// runAtExitHandlers - Run any functions registered by the
91 /// program's calls to atexit(3), which we intercept and store in
92 /// AtExitHandlers.
93 ///
94 void runAtExitHandlers ();
95
Brian Gaeke82d82772003-09-03 20:34:19 +000096 /// create - Create an interpreter ExecutionEngine. This can never fail.
97 ///
Brian Gaekef58815e2003-09-04 22:21:24 +000098 static ExecutionEngine *create(Module *M, bool TraceMode);
Brian Gaeke82d82772003-09-03 20:34:19 +000099
Chris Lattnerfe11a972002-12-23 23:59:41 +0000100 /// run - Start execution with the specified function and arguments.
101 ///
Brian Gaeke70975ee2003-09-05 18:42:01 +0000102 virtual GenericValue run(Function *F,
103 const std::vector<GenericValue> &ArgValues);
Chris Lattner92101ac2001-08-23 17:05:04 +0000104
Brian Gaeke70975ee2003-09-05 18:42:01 +0000105 // Methods used for debug printouts:
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000106 static void print(const Type *Ty, GenericValue V);
Chris Lattner365a76e2001-09-10 04:49:44 +0000107 static void printValue(const Type *Ty, GenericValue V);
Chris Lattner92101ac2001-08-23 17:05:04 +0000108
Brian Gaeke70975ee2003-09-05 18:42:01 +0000109 // Methods used to execute code:
110 // Place a call on the stack
Chris Lattnerda82ed52003-05-08 16:18:31 +0000111 void callFunction(Function *F, const std::vector<GenericValue> &ArgVals);
Brian Gaeke70975ee2003-09-05 18:42:01 +0000112 void executeInstruction(); // Execute one instruction
113 void run(); // Execute instructions until nothing left to do
Chris Lattner92101ac2001-08-23 17:05:04 +0000114
115 // Opcode Implementations
Chris Lattnerd7916e92003-05-10 21:22:39 +0000116 void visitReturnInst(ReturnInst &I);
117 void visitBranchInst(BranchInst &I);
118 void visitSwitchInst(SwitchInst &I);
119
120 void visitBinaryOperator(BinaryOperator &I);
121 void visitAllocationInst(AllocationInst &I);
122 void visitFreeInst(FreeInst &I);
123 void visitLoadInst(LoadInst &I);
124 void visitStoreInst(StoreInst &I);
125 void visitGetElementPtrInst(GetElementPtrInst &I);
126
127 void visitPHINode(PHINode &PN) { assert(0 && "PHI nodes already handled!"); }
128 void visitCastInst(CastInst &I);
129 void visitCallInst(CallInst &I);
130 void visitShl(ShiftInst &I);
131 void visitShr(ShiftInst &I);
132 void visitVarArgInst(VarArgInst &I);
133 void visitInstruction(Instruction &I) {
134 std::cerr << I;
135 assert(0 && "Instruction not interpretable yet!");
136 }
137
Chris Lattnerda82ed52003-05-08 16:18:31 +0000138 GenericValue callExternalFunction(Function *F,
139 const std::vector<GenericValue> &ArgVals);
Chris Lattnere43db882001-10-27 04:15:57 +0000140 void exitCalled(GenericValue GV);
Chris Lattner92101ac2001-08-23 17:05:04 +0000141
Chris Lattner44edb6b2003-05-14 14:21:30 +0000142 void addAtExitHandler(Function *F) {
143 AtExitHandlers.push_back(F);
144 }
145
Chris Lattnerfe11a972002-12-23 23:59:41 +0000146 //FIXME: private:
147public:
148 GenericValue executeGEPOperation(Value *Ptr, User::op_iterator I,
149 User::op_iterator E, ExecutionContext &SF);
Chris Lattnerfe11a972002-12-23 23:59:41 +0000150
Chris Lattner92101ac2001-08-23 17:05:04 +0000151private: // Helper functions
Chris Lattner77113b62003-05-10 20:21:16 +0000152 // SwitchToNewBasicBlock - Start execution in a new basic block and run any
153 // PHI nodes in the top of the block. This is used for intraprocedural
154 // control flow.
155 //
156 void SwitchToNewBasicBlock(BasicBlock *Dest, ExecutionContext &SF);
157
Brian Gaekefb0ef2e2003-08-13 18:17:54 +0000158 void *getPointerToFunction(Function *F) { return (void*)F; }
Chris Lattnerfe11a972002-12-23 23:59:41 +0000159
Chris Lattner5deea3c2001-10-30 20:28:23 +0000160 void initializeExecutionEngine();
Chris Lattnerda82ed52003-05-08 16:18:31 +0000161 void initializeExternalFunctions();
Brian Gaeke29794cb2003-09-05 18:55:03 +0000162 GenericValue getOperandValue(Value *V, ExecutionContext &SF);
163 GenericValue executeCastOperation(Value *SrcVal, const Type *Ty,
164 ExecutionContext &SF);
Chris Lattner92101ac2001-08-23 17:05:04 +0000165};
166
167#endif